title: EarthGPT: A Universal Multi-modal Large Language Model for Multi-sensor Image Comprehension in Remote Sensing Domain

abstract: Multi-modal large language models (MLLMs) have demonstrated remarkable success in vision and visual-language tasks within the natural image domain. Owing to the significant diversities between the natural and remote sensing (RS) images, the development of MLLMs in the RS domain is still in the infant stage. To fill the gap, a pioneer MLLM named EarthGPT integrating various multi-sensor RS interpretation tasks uniformly is proposed in this paper for universal RS image comprehension. In EarthGPT, three key techniques are developed including a visual-enhanced perception mechanism, a cross-modal mutual comprehension approach, and a unified instruction tuning method for multi-sensor multi-task in the RS domain. More importantly, a dataset named MMRS-1M featuring large-scale multi-sensor multi-modal RS instruction-following is constructed, comprising over 1M image-text pairs based on 34 existing diverse RS datasets and including multi-sensor images such as optical, synthetic aperture radar (SAR), and infrared. The MMRS-1M dataset addresses the drawback of MLLMs on RS expert knowledge and stimulates the development of MLLMs in the RS domain. Extensive experiments are conducted, demonstrating the EarthGPT's superior performance in various RS visual interpretation tasks compared with the other specialist models and MLLMs, proving the effectiveness of the proposed EarthGPT and offering a versatile paradigm for open-set reasoning tasks.


title: Application of Methods of Artificial Intelligence in Systems for Continuous Automatic Monitoring of Dust Concentration and Deposits in Mine Atmosphere

abstract: With the growth of coal production, the load on the production capacity of coal enterprises also increases, which leads to a concomitant increase in dust formation in both opencast and underground methods of mining coal deposits. Dust, generated during drilling, blasting operations, excavation, loading, crushing and transportation of mined rock is one of the factors that has a negative impact on the health of mining workers and on the level of environmental pollution with solid particles. Thus, increasing the efficiency of controlling the concentration of solid particles in the mine atmosphere and dust deposits is an urgent scientific and technical task. In doing so, the use of modern digital technologies within the framework of the industry 4.0 concept makes it possible to develop approaches that can significantly improve the quality of monitoring the state of the mine atmosphere at coal mining enterprises. This article provides a theoretical basis and test results for a system for continuous automatic monitoring of dust concentration in a mine atmosphere as the component of the multifunctional coal mine safety system. It is shown that monitoring the state of mine workings aerological safety can be carried out in real time through the system of the new generation using artificial intelligence. The ability of the proposed system to measure basic physical parameters affecting dust deposition (disperse composition, air humidity, dust concentration and air flow velocity) is noted.


title: Nematic-Isotropic phase transition in Beris-Edward system at critical temperature

abstract: We are concerned with the sharp interface limit for the Beris-Edward system in a bounded domain $\Omega \subset \mathbb{R}^3$ in this paper. The system can be described as the incompressible Navier-Stokes equations coupled with an evolution equation for the Q-tensor. We prove that the solutions to the Beris-Edward system converge to the corresponding solutions of a sharp interface model under well-prepared initial data, as the thickness of the diffuse interfacial zone tends to zero. Moreover, we give not only the spatial decay estimates of the velocity vector field in the $H^1$ sense but also the error estimates of the phase field. The analysis relies on the relative entropy method and elaborated energy estimates.


title: Smart Fitting Room: A One-stop Framework for Matching-aware Virtual Try-on

abstract: The development of virtual try-on has revolutionized online shopping by allowing customers to visualize themselves in various fashion items, thus extending the in-store try-on experience to the cyber space. Although virtual try-on has attracted considerable research initiatives, existing systems only focus on the quality of image generation, overlooking whether the fashion item is a good match to the given person and clothes. Recognizing this gap, we propose to design a one-stop Smart Fitting Room, with the novel formulation of matching-aware virtual try-on. Following this formulation, we design a Hybrid Matching-aware Virtual Try-On Framework (HMaVTON), which combines retrieval-based and generative methods to foster a more personalized virtual try-on experience. This framework integrates a hybrid mix-and-match module and an enhanced virtual try-on module. The former can recommend fashion items available on the platform to boost sales and generate clothes that meets the diverse tastes of consumers. The latter provides high-quality try-on effects, delivering a one-stop shopping service. To validate the effectiveness of our approach, we enlist the expertise of fashion designers for a professional evaluation, assessing the rationality and diversity of the clothes combinations and conducting an evaluation matrix analysis. Our method significantly enhances the practicality of virtual try-on. The code is available at https://github.com/Yzcreator/HMaVTON.


title: Design of Linear Precoders for Correlated Sources in MIMO Multiple Access Channels

abstract: This work focuses on distributed linear precoding when users transmit correlated information over a fading Multiple-Input and Multiple-Output Multiple Access Channel. Precoders are optimized in order to minimize the sum-Mean Square Error (MSE) between the source and the estimated symbols. When sources are correlated, minimizing the sum-MSE results in a non-convex optimization problem. Precoders for an arbitrary number of users and transmit and receive antennas are thus obtained via a projected steepest-descent algorithm and a low-complexity heuristic approach. For the more restrictive case of two single-antenna users, a closed-form expression for the minimum sum-MSE precoders is derived. Moreover, for the scenario with a single receive antenna and any number of users, a solution is obtained by means of a semidefinite relaxation. Finally, we also consider precoding schemes where the precoders are decomposed into complex scalars and unit norm vectors. Simulation results show a significant improvement when source correlation is exploited at precoding, especially for low SNRs and when the number of receive antennas is lower than the number of transmitting nodes.


title: 3D-Printed Hydraulic Fluidic Logic Circuitry for Soft Robots

abstract: Fluidic logic circuitry analogous to its electric counterpart could potentially provide soft robots with machine intelligence due to its supreme adaptability, dexterity, and seamless compatibility using state-of-the-art additive manufacturing processes. However, conventional microfluidic channel based circuitry suffers from limited driving force, while macroscopic pneumatic logic lacks timely responsivity and desirable accuracy. Producing heavy duty, highly responsive and integrated fluidic soft robotic circuitry for control and actuation purposes for biomedical applications has yet to be accomplished in a hydraulic manner. Here, we present a 3D printed hydraulic fluidic half-adder system, composing of three basic hydraulic fluidic logic building blocks: AND, OR, and NOT gates. Furthermore, a hydraulic soft robotic half-adder system is implemented using an XOR operation and modified dual NOT gate system based on an electrical oscillator structure. This half-adder system possesses binary arithmetic capability as a key component of arithmetic logic unit in modern computers. With slight modifications, it can realize the control over three different directions of deformation of a three degree-of-freedom soft actuation mechanism solely by changing the states of the two fluidic inputs. This hydraulic fluidic system utilizing a small number of inputs to control multiple distinct outputs, can alter the internal state of the circuit solely based on external inputs, holding significant promises for the development of microfluidics, fluidic logic, and intricate internal systems of untethered soft robots with machine intelligence.


title: Simulating signed mixtures

abstract: Simulating mixtures of distributions with signed weights proves a challenge as standard simulation algorithms are inefficient in handling the negative weights. In particular, the natural representation of mixture variates as associated with latent component indicators is no longer available. We propose here an exact accept-reject algorithm in the general case of finite signed mixtures that relies on optimaly pairing positive and negative components and designing a stratified sampling scheme on pairs. We analyze the performances of our approach, relative to the inverse cdf approach, since the cdf of the distribution remains available for standard signed mixtures.


title: Persistent Homology analysis for solar magnetograms

abstract: Understanding the magnetic fields of the Sun is essential for unraveling the underlying mechanisms driving solar activity. Integrating topological data analysis techniques into these investigations can provide valuable insights into the intricate structures of magnetic fields, enhancing our comprehension of solar activity and its implications. In this study, we explore what persistent homology can offer in the analysis of solar magnetograms, with the objective of introducing a novel tool that will serve as the foundation for further studies of magnetic structures at the solar surface. By combining various filtration methods of the persistent homology analysis, we conduct an analysis of solar magnetograms that captures the broad magnetic scene, involving a mixture of positive and negative polarities. This analysis is applied to observations of both quiet Sun and active regions, taken with Hinode/SOT and SDO/HMI, respectively. Our primary focus is on analyzing the properties of the spatial structures and features of the magnetic fields identified through these techniques. The results show that persistent diagrams can encode the spatial structural complexity of the magnetic flux of active regions by identifying the isolated, connected, and interacting features. They facilitate the classification of active regions based on their morphology and the detection and quantification of interacting structures of opposing polarities, such as $\delta$-spots. The small-scale events in the quiet Sun, such as magnetic flux cancellation and emergence, are also revealed in persistent diagrams and can be studied by observing the evolution of the plots and tracking the relevant features.


title: LATENTPATCH: A Non-Parametric Approach for Face Generation and Editing

abstract: This paper presents LatentPatch, a new method for generating realistic images from a small dataset of only a few images. We use a lightweight model with only a few thousand parameters. Unlike traditional few-shot generation methods that finetune pre-trained large-scale generative models, our approach is computed directly on the latent distribution by sequential feature matching, and is explainable by design. Avoiding large models based on transformers, recursive networks, or self-attention, which are not suitable for small datasets, our method is inspired by non-parametric texture synthesis and style transfer models, and ensures that generated image features are sampled from the source distribution. We extend previous single-image models to work with a few images and demonstrate that our method can generate realistic images, as well as enable conditional sampling and image editing. We conduct experiments on face datasets and show that our simplistic model is effective and versatile.


title: Maximal planar graphs that embed as centers

abstract: A maximal planar graph is a graph which can be embedded in the plane such that every face of the graph is a triangle. The center of a graph is the subgraph induced by the vertices of minimum eccentricity. We introduce the notion of quasi-eccentric vertices, and use this to characterize maximal planar graphs that are the center of some planar graph. We also present some easier to check only necessary / only sufficient conditions for planar and maximal planar graphs to be the center of a planar graph. Finally, we use the aforementioned characterization to prove that all maximal planar graphs of order at most 8 are the center of some planar graph -- and this bound is sharp.


title: Analysis of Knowledge Tracing performance on synthesised student data

abstract: Knowledge Tracing (KT) aims to predict the future performance of students by tracking the development of their knowledge states. Despite all the recent progress made in this field, the application of KT models in education systems is still restricted from the data perspectives: 1) limited access to real life data due to data protection concerns, 2) lack of diversity in public datasets, 3) noises in benchmark datasets such as duplicate records. To resolve these problems, we simulated student data with three statistical strategies based on public datasets and tested their performance on two KT baselines. While we observe only minor performance improvement with additional synthetic data, our work shows that using only synthetic data for training can lead to similar performance as real data.


title: Strong Polarization for Shortened and Punctured Polar Codes

abstract: Polar codes were originally specified for codelengths that are powers of two. In many applications, it is desired to have a code that is not restricted to such lengths. Two common strategies of modifying the length of a code are shortening and puncturing. Simple and explicit schemes for shortening and puncturing were introduced by Wang and Liu, and by Niu, Chen, and Lin, respectively. In this paper, we prove that both schemes yield polar codes that are capacity achieving. Moreover, the probability of error for both the shortened and the punctured polar codes decreases to zero at the same exponential rate as seminal polar codes. These claims hold for \emph{all} codelengths large enough.


title: Rate of Convergence in the Functional Central Limit Theorem for Stable Processes

abstract: In this article, we quantify the functional convergence of the rescaled random walk with heavy tails to a stable process.This generalizes the Generalized Central Limit Theorem for stable random variables infinite dimension. We show that provided we have a control between the randomwalk or the limiting stable process and their respective affine interpolation, we canlift the rate of convergence obtained for multivariate distributions to a rateof convergence in some functional spaces.


title: Efficient numerical approximations for a non-conservative Nonlinear Schrodinger equation appearing in wind-forced ocean waves

abstract: We consider a non-conservative nonlinear Schrodinger equation (NCNLS) with time-dependent coefficients, inspired by a water waves problem. This problem does not have mass or energy conservation, but instead mass and energy change in time under explicit balance laws. In this paper we extend to the particular NCNLS two numerical schemes which are known to conserve energy and mass in the discrete level for the cubic NLS. Both schemes are second oder accurate in time, and we prove that their extensions satisfy discrete versions of the mass and energy balance laws for the NCNLS. The first scheme is a relaxation scheme that is linearly implicit. The other scheme is a modified Delfour-Fortin-Payre scheme and it is fully implicit. Numerical results show that both schemes capture robustly the correct values of mass and energy, even in strongly non-conservative problems. We finally compare the two numerical schemes and discuss their performance.


title: Coseparable Nonnegative Tensor Factorization With T-CUR Decomposition

abstract: Nonnegative Matrix Factorization (NMF) is an important unsupervised learning method to extract meaningful features from data. To address the NMF problem within a polynomial time framework, researchers have introduced a separability assumption, which has recently evolved into the concept of coseparability. This advancement offers a more efficient core representation for the original data. However, in the real world, the data is more natural to be represented as a multi-dimensional array, such as images or videos. The NMF's application to high-dimensional data involves vectorization, which risks losing essential multi-dimensional correlations. To retain these inherent correlations in the data, we turn to tensors (multidimensional arrays) and leverage the tensor t-product. This approach extends the coseparable NMF to the tensor setting, creating what we term coseparable Nonnegative Tensor Factorization (NTF). In this work, we provide an alternating index selection method to select the coseparable core. Furthermore, we validate the t-CUR sampling theory and integrate it with the tensor Discrete Empirical Interpolation Method (t-DEIM) to introduce an alternative, randomized index selection process. These methods have been tested on both synthetic and facial analysis datasets. The results demonstrate the efficiency of coseparable NTF when compared to coseparable NMF.


title: A fully differentiable model for unsupervised singing voice separation

abstract: A novel model was recently proposed by Schulze-Forster et al. in [1] for unsupervised music source separation. This model allows to tackle some of the major shortcomings of existing source separation frameworks. Specifically, it eliminates the need for isolated sources during training, performs efficiently with limited data, and can handle homogeneous sources (such as singing voice). But, this model relies on an external multipitch estimator and incorporates an Ad hoc voice assignment procedure. In this paper, we propose to extend this framework and to build a fully differentiable model by integrating a multipitch estimator and a novel differentiable assignment module within the core model. We show the merits of our approach through a set of experiments, and we highlight in particular its potential for processing diverse and unseen data.


title: A Complete Fragment of LTL(EB)

abstract: The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment $\square$LTL of the logic LTL(EB), the integration of the UNTIL-fragment of Pnueli's linear time temporal logic (LTL) and the logic of Event-B, in which the most commonly used liveness conditions can be expressed. For this fragment a sound set of derivation rules is developed, which is also complete under mild restrictions for Event-B machines.


title: Understanding broad-spike oscillations in a model of intracellular calcium dynamics

abstract: Oscillations of free intracellular calcium concentration are thought to be important in the control of a wide variety of physiological phenomena, and there is long-standing interest in understanding these oscillations via the investigation of suitable mathematical models. Many of these models have the feature that different variables or terms in the model evolve on very different time-scales, which often results in the accompanying oscillations being temporally complex. Cloete et al [5] constructed an ordinary differential equation model of calcium oscillations in hepatocytes in an attempt to understand the origin of two distinct types of oscillation observed in experiments: narrow-spike oscillations in which rapid spikes of calcium concentration alternate with relatively long periods of quiescence, and broad-spike oscillations in which there is a fast rise in calcium levels followed by a slower decline then a period of quiescence. These two types of oscillation can be observed in the model if a single system parameter is varied but the mathematical mechanisms underlying the different types of oscillations were not explored in detail in [5]. We use ideas from geometric singular perturbation theory to investigate the origin of broad-spike solutions in this model. We find that the analysis is intractable in the full model, but are able to uncover structure in particular singular limits of a related model that point to the origin of the broad-spike solutions.


title: Towards Large-scale Network Emulation on Analog Neuromorphic Hardware

abstract: We present a novel software feature for the BrainScaleS-2 accelerated neuromorphic platform that facilitates the emulation of partitioned large-scale spiking neural networks. This approach is well suited for many deep spiking neural networks, where the constraint of the largest recurrent subnetwork fitting on the substrate or the limited fan-in of neurons is often not a limitation in practice. We demonstrate the training of two deep spiking neural network models, using the MNIST and EuroSAT datasets, that exceed the physical size constraints of a single-chip BrainScaleS-2 system. The ability to emulate and train networks larger than the substrate provides a pathway for accurate performance evaluation in planned or scaled systems, ultimately advancing the development and understanding of large-scale models and neuromorphic computing architectures.


title: jaxsnn: Event-driven Gradient Estimation for Analog Neuromorphic Hardware

abstract: Traditional neuromorphic hardware architectures rely on event-driven computation, where the asynchronous transmission of events, such as spikes, triggers local computations within synapses and neurons. While machine learning frameworks are commonly used for gradient-based training, their emphasis on dense data structures poses challenges for processing asynchronous data such as spike trains. This problem is particularly pronounced for typical tensor data structures. In this context, we present a novel library (jaxsnn) built on top of JAX, that departs from conventional machine learning frameworks by providing flexibility in the data structures used and the handling of time, while maintaining Autograd functionality and composability. Our library facilitates the simulation of spiking neural networks and gradient estimation, with a focus on compatibility with time-continuous neuromorphic backends, such as the BrainScaleS-2 system, during the forward pass. This approach opens avenues for more efficient and flexible training of spiking neural networks, bridging the gap between traditional neuromorphic architectures and contemporary machine learning frameworks.


title: Sticky-reflecting diffusion as a Wasserstein gradient flow

abstract: In this paper we identify the Fokker-Planck equation for (reflected) Sticky Brownian Motion as a Wasserstein gradient flow in the space of probability measures. The driving functional is the relative entropy with respect to a non-standard reference measure, the sum of an absolutely continuous interior part plus a singular part supported on the boundary. Taking the small time-step limit in a minimizing movement (JKO scheme) we prove existence of weak solutions for the coupled system of PDEs satisfying in addition an Energy Dissipation Inequality.


title: Evaluating ML-Based Anomaly Detection Across Datasets of Varied Integrity: A Case Study

abstract: Cybersecurity remains a critical challenge in the digital age, with network traffic flow anomaly detection being a key pivotal instrument in the fight against cyber threats. In this study, we address the prevalent issue of data integrity in network traffic datasets, which are instrumental in developing machine learning (ML) models for anomaly detection. We introduce two refined versions of the CICIDS-2017 dataset, NFS-2023-nTE and NFS-2023-TE, processed using NFStream to ensure methodologically sound flow expiration and labeling. Our research contrasts the performance of the Random Forest (RF) algorithm across the original CICIDS-2017, its refined counterparts WTMC-2021 and CRiSIS-2022, and our NFStream-generated datasets, in both binary and multi-class classification contexts. We observe that the RF model exhibits exceptional robustness, achieving consistent high-performance metrics irrespective of the underlying dataset quality, which prompts a critical discussion on the actual impact of data integrity on ML efficacy. Our study underscores the importance of continual refinement and methodological rigor in dataset generation for network security research. As the landscape of network threats evolves, so must the tools and techniques used to detect and analyze them.


title: Congestion Pricing for Efficiency and Equity: Theory and Applications to the San Francisco Bay Area

abstract: Congestion pricing, while adopted by many cities to alleviate traffic congestion, raises concerns about widening socioeconomic disparities due to its disproportionate impact on low-income travelers. In this study, we address this concern by proposing a new class of congestion pricing schemes that not only minimize congestion levels but also incorporate an equity objective to reduce cost disparities among travelers with different willingness-to-pay. Our analysis builds on a congestion game model with heterogeneous traveler populations. We present four pricing schemes that account for practical considerations, such as the ability to charge differentiated tolls to various traveler populations and the option to toll all or only a subset of edges in the network. We evaluate our pricing schemes in the calibrated freeway network of the San Francisco Bay Area. We demonstrate that the proposed congestion pricing schemes improve both efficiency (in terms of reduced average travel time) and equity (the disparities of travel costs experienced by different populations) compared to the current pricing scheme. Moreover, our pricing schemes also generate a total revenue comparable to the current pricing scheme. Our results further show that pricing schemes charging differentiated prices to traveler populations with varying willingness-to-pay lead to a more equitable distribution of travel costs compared to those that charge a homogeneous price to all.


title: Chronicling Germany: An Annotated Historical Newspaper Dataset

abstract: The correct detection of article layout in historical newspaper pages remains challenging but is important for Natural Language Processing ( NLP) and machine learning applications in the field of digital history. Digital newspaper portals typically provide Optical Character Recognition ( OCR) text, albeit of varying quality. Unfortunately, layout information is often missing, limiting this rich source's scope. Our dataset is designed to address this issue for historic German-language newspapers. The Chronicling Germany dataset contains 581 annotated historical newspaper pages from the time period between 1852 and 1924. Historic domain experts have spent more than 1,500 hours annotating the dataset. The paper presents a processing pipeline and establishes baseline results on in- and out-of-domain test data using this pipeline. Both our dataset and the corresponding baseline code are freely available online. This work creates a starting point for future research in the field of digital history and historic German language newspaper processing. Furthermore, it provides the opportunity to study a low-resource task in computer vision.


title: Block quantum dynamical semigroups of completely positive definite kernels

abstract: Kolmogorov decomposition for a given completely positive definite kernel is a generalization of Paschke's GNS construction for the completely positive map. Using Kolmogorov decomposition, to every quantum dynamical semigroup (QDS) for completely positive definite kernels over a set $S$ on given $C^*$-algebra $\mathcal{A},$ we shall assign an inclusion system $F = (F_s)_{s\ge 0}$ of Hilbert bimodules over $\mathcal{A}$ with a generating unit $\xi^{\sigma}=(\xi^{\sigma}_s)_{s\ge 0}.$ Consider a von Neumann algebra $\mathcal{B}$, and let $\mathfrak{T}=(\mathfrak{T}_s)_{s\ge 0}$ be a QDS over a set $S$ on the algebra $M_2(\mathcal{B})$ with $\mathfrak{T}_s=\begin{pmatrix}\mathfrak{K}_{s,1} & \mathfrak{L}_s\\\mathfrak{L}_s^*& \mathfrak{K}_{s,2} \end{pmatrix}$ which acts block-wise. Further, suppose that $(F^i_s )_{s\ge 0}$ is the inclusion system affiliated to the diagonal QDS $(\mathfrak{K}_{s,i})_{s\ge 0}$ along with the generating unit $(\xi^{\sigma}_{s,i} )_{s\ge 0},$ $\sigma\in S,i\in \{1,2\}$, then we prove that there exists a unique contractive (weak) morphism $V = (V_s)_{s\ge 0}:F^2_s \to F^1_s$ such that $\mathfrak{L}_s^{\sigma,\sigma'}(b)=\langle \xi_{s,1}^{\sigma},V_s b\xi_{s,2}^{\sigma'}\rangle$ for every $\sigma',\sigma\in S$ and $b\in \mathcal{B}.$ We also study the semigroup version of a factorization theorem for $\mathfrak{K}$-families.


title: X-ray Image Generation as a Method of Performance Prediction for Real-Time Inspection: a Case Study

abstract: X-ray imaging can be efficiently used for high-throughput in-line inspection of industrial products. However, designing a system that satisfies industrial requirements and achieves high accuracy is a challenging problem. The effect of many system settings is application-specific and difficult to predict in advance. Consequently, the system is often configured using empirical rules and visual observations. The performance of the resulting system is characterized by extensive experimental testing. We propose to use computational methods to substitute real measurements with generated images corresponding to the same experimental settings. With this approach, it is possible to observe the influence of experimental settings on a large amount of data and to make a prediction of the system performance faster than with conventional methods. We argue that a high accuracy of the image generator may be unnecessary for an accurate performance prediction. We propose a quantitative methodology to characterize the quality of the generation model using POD curves. The proposed approach can be adapted to various applications and we demonstrate it on the poultry inspection problem. We show how a calibrated image generation model can be used to quantitatively evaluate the effect of the X-ray exposure time on the performance of the inspection system.


title: Data-driven network analysis using local delay embeddings

abstract: Data-driven methods for the identification of the governing equations of dynamical systems or the computation of reduced surrogate models play an increasingly important role in many application areas such as physics, chemistry, biology, and engineering. Given only measurement or observation data, data-driven modeling techniques allow us to gain important insights into the characteristic properties of a system, without requiring detailed mechanistic models. However, most methods assume that we have access to the full state of the system, which might be too restrictive. We show that it is possible to learn certain global dynamical features from local observations using delay embedding techniques, provided that the system satisfies a localizability condition -- a property that is closely related to the observability and controllability of linear time-invariant systems.


title: Intermittent random walks under stochastic resetting

abstract: We analyze a one-dimensional intermittent random walk on an unbounded domain in the presence of stochastic resetting. In this process, the walker alternates between local intensive search, diffusion, and rapid ballistic relocations in which it does not react to the target. We demonstrate that Poissonian resetting leads to the existence of a non-equilibrium steady state. We calculate the distribution of the first arrival time to a target along with its mean and show the existence of an optimal reset rate. In particular, we prove that the initial condition of the walker, i.e., either starting diffusely or relocating, can significantly affect the long-time properties of the search process. Moreover, we demonstrate the presence of distinct parameter regimes for the global optimization of the mean first arrival time when ballistic and diffusive movements are in direct competition.


title: Spatial-Temporal Activity-Informed Diarization and Separation

abstract: A robust multichannel speaker diarization and separation system is proposed by exploiting the spatio-temporal activity of the speakers. The system is realized in a hybrid architecture that combines the array signal processing units and the deep learning units. For speaker diarization, a spatial coherence matrix across time frames is computed based on the whitened relative transfer functions (wRTFs) of the microphone array. This serves as a robust feature for subsequent machine learning without the need for prior knowledge of the array configuration. A computationally efficient Spatial Activity-driven Speaker Diarization network (SASDnet) is constructed to estimate the speaker activity directly from the spatial coherence matrix. For speaker separation, we propose the Global and Local Activity-driven Speaker Extraction network (GLASEnet) to separate speaker signals via speaker-specific global and local spatial activity functions. The local spatial activity functions depend on the coherence between the wRTFs of each time-frequency bin and the target speaker-dominant bins. The global spatial activity functions are computed from the global spatial coherence functions based on frequency-averaged local spatial activity functions. Experimental results have demonstrated superior speaker, diarization, counting, and separation performance achieved by the proposed system with low computational complexity compared to the pre-selected baselines.


title: Modelling the non-steady peeling of viscoelastic tapes

abstract: We present a model to study the non-steady V-shaped peeling of a viscoelastic thin tape adhering to a rigid flat substrate. Geometry evolution and viscoelastic creep in the tape are the main features involved in the process, which allows to derive specific governing equations in the framework of energy balance. Finally, these are numerically integrated following an iterative scheme to calculate the process evolution assuming different controlling conditions (peeling front velocity, peeling force, tape tip velocity). Results show that the peeling behavior is strongly affected by viscoelasticity. Specifically, for a given applied force, the peeling can either be prevented, start and stop after some while, or endlessly propagate, depending on the original undeformed tape geometry. Viscoelasticity also entails that the interface toughness strongly increases when the tape tip is fast pulled, which agrees to recent experimental observations on tougher adhesion of natural systems under impact loads, such as see waves and wind gusts.


title: Checkmating One, by Using Many: Combining Mixture of Experts with MCTS to Improve in Chess

abstract: This paper presents a new approach that integrates deep learning with computational chess, using both the Mixture of Experts (MoE) method and Monte-Carlo Tree Search (MCTS). Our methodology employs a suite of specialized models, each designed to respond to specific changes in the game's input data. This results in a framework with sparsely activated models, which provides significant computational benefits. Our framework combines the MoE method with MCTS, in order to align it with the strategic phases of chess, thus departing from the conventional ``one-for-all'' model. Instead, we utilize distinct game phase definitions to effectively distribute computational tasks across multiple expert neural networks. Our empirical research shows a substantial improvement in playing strength, surpassing the traditional single-model framework. This validates the efficacy of our integrated approach and highlights the potential of incorporating expert knowledge and strategic principles into neural network design. The fusion of MoE and MCTS offers a promising avenue for advancing machine learning architectures.


title: Transmission of Spatio-Temporal Correlated Sources Over Fading Multiple Access Channels With DQLC Mappings

abstract: The design of zero-delay Joint Source-Channel Coding (JSCC) schemes for the transmission of correlated information over fading Multiple Access Channels (MACs) is an interesting problem for many communication scenarios like Wireless Sensor Networks (WSNs). Among the different JSCC schemes so far proposed for this scenario, Distributed Quantizer Linear Coding (DQLC) represents an appealing solution since it is able to outperform uncoded transmissions for any correlation level at high Signal-to-Noise Ratios (SNRs) with a low computational cost. In this paper, we extend the design of DQLC-based schemes for fading MACs considering sphere decoding to make the optimal Minimum Mean Squared Error (MMSE) estimation computationally affordable for an arbitrary number of transmit users. The use of sphere decoding also allows to formulate a practical algorithm for the optimization of DQLC-based systems. Finally, non-linear Kalman Filtering for the DQLC is considered to jointly exploit the temporal and spatial correlation of the source symbols. The results of computer experiments show that the proposed DQLC scheme with the Kalman Filter decoding approach clearly outperforms uncoded transmissions for medium and high SNRs.


title: Influence of Defects on Barrier Energy Formation for OOH* Intermediate in ORR on Tetragonal-ZrO 2 with Adsorbed-Hydroxyl

abstract: Accelerating the oxygen reduction reaction (ORR) is a main subject of electrocatalysis research.A critical step of ORR is the formation of the hydroperoxyl functional group (OOH*) intermediate. In this study, we investigate the influence of defects on facilitating the creation of OOH* in a zirconia-based cathode under hydroxyl group (-OH) adsorption. Simulations involve tetragonal pristine ZrO2 (111) surfaces with introduced oxygen vacancy (t-ZrO2-x) and nitrogen dopant (ZrO2-xNx). Density functional theory (DFT) is used to calculate the competitive -OH adsorption energies on pristine and defective surfaces. It reveals that oxynitride t-ZrO2-xNx and under-stoichiometric oxide t-ZrO2-x exhibit the lowest and highest susceptibility to -OH adsorption, respectively. Additionally, we have determined the Minimum Energy Pathway (MEP) for OOH* formation on t-ZrO2, t-ZrO2-x, and t-ZrO2-xNx with adsorbed-OH using the Nudged Elastic Band (NEB) approach with the COMB3 potential. Our results highlight the significant influence of defects on tuning the barrier energy of OOH* formation. The trend in the barrier energy formation of OOH* decreases in the order of t-ZrO2-x > pristine t-ZrO2 > t-ZrO2-xNx. We demonstrate that ZrO2-xNx is a promising candidate for accelerating ORR due to its lower barrier energy for OOH* creation. The findings from this study offer crucial insights for experimentalists aiming to develop optimal non-platinum-based cathode materials.


title: Classification diagrams of simplicial categories

abstract: We show that the classification diagram of a relative $\infty$-category arising from a relative simplicial category is equivalent to the levelwise nerve. Applications include the comparison of the diagonal of the levelwise nerve and the homotopy coherent nerve, and a result on the levelwise localizations of simplicial categories.


title: BAR Nash Equilibrium and Application to Blockchain Design

abstract: This paper presents a novel solution concept, called BAR Nash Equilibrium (BARNE) and apply it to analyse the Verifier's dilemma, a fundamental problem in blockchain. Our solution concept adapts the Nash equilibrium (NE) to accommodate interactions among Byzantine, altruistic and rational agents, which became known as the BAR setting in the literature. We prove the existence of BARNE in a large class of games and introduce two natural refinements, global and local stability. Using this equilibrium and its refinement, we analyse the free-rider problem in the context of byzantine consensus. We demonstrate that by incorporating fines and forced errors into a standard quorum-based blockchain protocol, we can effectively reestablish honest behavior as a globally stable BARNE.


title: Entropy production rate and correlations of cavity magnomechanical system

abstract: We present the irreversibility generated by a stationary cavity magnomechanical system composed of a yttrium iron garnet (YIG) sphere with a diameter of a few hundred micrometers inside a microwave cavity. In this system, the magnons, i.e., collective spin excitations in the sphere, are coupled to the cavity photon mode via magnetic dipole interaction and to the phonon mode via magnetostrictive force (optomechanical-like). We employ the quantum phase space formulation of the entropy change to evaluate the steady-state entropy production rate and associated quantum correlation in the system. We find that the behavior of the entropy flow between the cavity photon mode and the phonon mode is determined by the magnon-photon coupling and the cavity photon dissipation rate. Interestingly, the entropy production rate can increase/decrease depending on the strength of the magnon-photon coupling and the detuning parameters. We further show that the amount of correlations between the magnon and phonon modes is linked to the irreversibility generated in the system for small magnon-photon coupling. Our results demonstrate the possibility of exploring irreversibility in driven magnon-based hybrid quantum systems and open a promising route for quantum thermal applications.


title: Low-Rate, Low-Distortion Compression with Wasserstein Distortion

abstract: Wasserstein distortion is a one-parameter family of distortion measures that was recently proposed to unify fidelity and realism constraints. After establishing continuity results for Wasserstein in the extreme cases of pure fidelity and pure realism, we prove the first coding theorems for compression under Wasserstein distortion focusing on the regime in which both the rate and the distortion are small.


title: Line tension in a thick soap film

abstract: The thickness of freshly made soap films is usually in the micron range, and interference colors make thickness fluctuations easily visible. Circular patterns of constant thickness are commonly observed, either a thin film disc in a thicker film or the reverse. In this Letter, we evidence the line tension at the origin of these circular patterns. Using a well controlled soap film preparation, we produce a piece of thin film surrounded by a thicker film. The thickness profile, measured with a spectral camera, leads to a line tension of the order of 0.1 nN which drives the relaxation of the thin film shape, initially very elongated, toward a circular shape.A balance between line tension and air friction leads to a quantitative prediction of the relaxation process. Such a line tension is expected to play a role in the production of marginal regeneration patches, involved in soap film drainage and stability.


title: Quasicondensation and off-diagonal long-range order of hard-core bosons during a free expansion

abstract: Quasicondensation in one dimension is known to occur for equilibrium systems of hard-core bosons (HCBs) at zero temperature. This phenomenon arises due to the off-diagonal long-range order in the ground state, characterized by a power-law decay of the one-particle density matrix $g_1(x,y)\sim |x-y|^{-1/2}$~--~a well-known outcome of Luttinger liquid theory. Remarkably, HCBs, when allowed to freely expand from an initial product state (i.e., characterized by initial zero correlation), exhibit quasicondensation and demonstrate the emergence of off-diagonal long-range order during nonequilibrium dynamics. This phenomenon has been substantiated by numerical and experimental investigations in the early 2000s. In this work, we revisit the dynamical quasicondensation of HCBs, providing a fully analytical treatment of the issue. In particular, we derive an exact asymptotic formula for the equal-time one-particle density matrix by borrowing ideas from the framework of quantum Generalized Hydrodynamics. Our findings elucidate the phenomenology of quasicondensation and of dynamical fermionization occurring at different stages of the time evolution, as well as the crossover between the two.


title: Repositioning the Subject within Image

abstract: Current image manipulation primarily centers on static manipulation, such as replacing specific regions within an image or altering its overall style. In this paper, we introduce an innovative dynamic manipulation task, subject repositioning. This task involves relocating a user-specified subject to a desired position while preserving the image's fidelity. Our research reveals that the fundamental sub-tasks of subject repositioning, which include filling the void left by the repositioned subject, reconstructing obscured portions of the subject and blending the subject to be consistent with surrounding areas, can be effectively reformulated as a unified, prompt-guided inpainting task. Consequently, we can employ a single diffusion generative model to address these sub-tasks using various task prompts learned through our proposed task inversion technique. Additionally, we integrate pre-processing and post-processing techniques to further enhance the quality of subject repositioning. These elements together form our SEgment-gEnerate-and-bLEnd (SEELE) framework. To assess SEELE's effectiveness in subject repositioning, we assemble a real-world subject repositioning dataset called ReS. Results of SEELE on ReS demonstrate its efficacy.


title: State Value Generation with Prompt Learning and Self-Training for Low-Resource Dialogue State Tracking

abstract: Recently, low-resource dialogue state tracking (DST) has received increasing attention. First obtaining state values then based on values to generate slot types has made great progress in this task. However, obtaining state values is still an under-studied problem. Existing extraction-based approaches cannot capture values that require the understanding of context and are not generalizable either. To address these issues, we propose a novel State VAlue Generation based framework (SVAG), decomposing DST into state value generation and domain slot generation. Specifically, we propose to generate state values and use self-training to further improve state value generation. Moreover, we design an estimator aiming at detecting incomplete generation and incorrect generation for pseudo-labeled data selection during self-training. Experimental results on the MultiWOZ 2.1 dataset show that our method which has only less than 1 billion parameters achieves state-of-the-art performance under the data ratio settings of 5%, 10%, and 25% when limited to models under 100 billion parameters. Compared to models with more than 100 billion parameters, SVAG still reaches competitive results.


title: Enabling the Digital Democratic Revival: A Research Program for Digital Democracy

abstract: This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computationally informed way. The paper is co-authored by an international and interdisciplinary team of researchers and arose from the Lorentz Center Workshop on ``Algorithmic Technology for Democracy'' (Leiden, October 2022).


title: Revisiting series expansions of neutrino oscillation and decay probabilities in matter

abstract: We present analytic expressions for three-flavor neutrino oscillations in presence of invisible neutrino decay and matter effects. Using the well-known Cayley-Hamilton formalism, the leading-order terms are derived for oscillation probabilities in all major channels assuming the neutrino mass eigenstate $\nu_3$ to decay into sterile neutrinos. Our work extends and complements previous studies utilizing the Cayley-Hamilton theorem, providing the series expansions for $\nu_e \rightarrow \nu_e$, $\nu_e \rightarrow \nu_\mu$, $\nu_e \rightarrow \nu_\tau$, $\nu_\mu \rightarrow \nu_\mu$, $\nu_\mu \rightarrow \nu_\tau$ and $\nu_\tau \rightarrow \nu_\tau$. The accuracy of the analytical formulas is investigated by comparing the results with numerically calculated probabilities. We also comment on the implications on unitarity violation.


title: Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor

abstract: Since Google introduced Kotlin as an official programming language for developing Android apps in 2017, Kotlin has gained widespread adoption in Android development. However, compared to Java, there is limited support for Kotlin code dependency analysis, which is the foundation to software analysis. To bridge this gap, we developed Depends-Kotlin to extract entities and their dependencies in Kotlin source code. Not only does Depends-Kotlin support extracting entities' dependencies in Kotlin code, but it can also extract dependency relations between Kotlin and Java. The extraction of such cross-language dependencies can help developers understand the migration process from Java to Kotlin. Additionally, we used a Java project with confirmed dependencies as a benchmark and converted this project to two projects: Kotlin-only and a combination of Kotlin and Java. The dependencies in these two projects were then extracted using our tool. The consistency observed among dependency relations in all three projects confirms the accuracy of Depends-Kotlin. Furthermore, the performance of Depends-Kotlin was assessed using another three projects of varying sizes. The source code of Depends-Kotlin and the dataset used in this demo paper have been uploaded to https://github.com/XYZboom/depends-kotlin. We also provided a screencast presenting Depends-Kotlin https://youtu.be/daZuXOwn1Ls.


title: New Centralized MSR Codes With Small Sub-packetization

abstract: Centralized repair refers to repairing $h\geq 2$ node failures using $d$ helper nodes in a centralized way, where the repair bandwidth is counted by the total amount of data downloaded from the helper nodes. A centralized MSR code is an MDS array code with $(h,d)$-optimal repair for some $h$ and $d$. In this paper, we present several classes of centralized MSR codes with small sub-packetization. At first, we construct an alternative MSR code with $(1,d_i)$-optimal repair for multiple repair degrees $d_i$ simultaneously. Based on the code structure, we are able to construct a centralized MSR code with $(h_i,d_i)$-optimal repair property for all possible $(h_i,d_i)$ with $h_i\mid (d_i-k)$ simultaneously. The sub-packetization is no more than ${\rm lcm}(1,2,\ldots,n-k)(n-k)^n$, which is much smaller than a previous work given by Ye and Barg ($({\rm lcm}(1,2,\ldots,n-k))^n$). Moreover, for general parameters $2\leq h\leq n-k$ and $k\leq d\leq n-h$, we further give a centralized MSR code enabling $(h,d)$-optimal repair with sub-packetization smaller than all previous works.


title: A Tournament of Transformation Models: B-Spline-based vs. Mesh-based Multi-Objective Deformable Image Registration

abstract: The transformation model is an essential component of any deformable image registration approach. It provides a representation of physical deformations between images, thereby defining the range and realism of registrations that can be found. Two types of transformation models have emerged as popular choices: B-spline models and mesh models. Although both models have been investigated in detail, a direct comparison has not yet been made, since the models are optimized using very different optimization methods in practice. B-spline models are predominantly optimized using gradient-descent methods, while mesh models are typically optimized using finite-element method solvers or evolutionary algorithms. Multi-objective optimization methods, which aim to find a diverse set of high-quality trade-off registrations, are increasingly acknowledged to be important in deformable image registration. Since these methods search for a diverse set of registrations, they can provide a more complete picture of the capabilities of different transformation models, making them suitable for a comparison of models. In this work, we conduct the first direct comparison between B-spline and mesh transformation models, by optimizing both models with the same state-of-the-art multi-objective optimization method, the Multi-Objective Real-Valued Gene-pool Optimal Mixing Evolutionary Algorithm (MO-RV-GOMEA). The combination with B-spline transformation models, moreover, is novel. We experimentally compare both models on two different registration problems that are both based on pelvic CT scans of cervical cancer patients, featuring large deformations. Our results, on three cervical cancer patients, indicate that the choice of transformation model can have a profound impact on the diversity and quality of achieved registration outcomes.


title: Observation of dielectrically confined excitons in ultrathin GaN nanowires up to room temperature

abstract: The realization of semiconductor structures with stable excitons at room temperature is crucial for the development of excitonics and polaritonics. Quantum confinement has commonly been employed for enhancing excitonic effects in semiconductor heterostructures. Dielectric confinement, which is potentially much stronger, has proven to be more difficult to achieve because of the rapid nonradiative surface/interface recombination in hybrid dielectric-semiconductor structures. Here, we demonstrate intense excitonic emission from bare GaN nanowires with diameters down to 6 nm. The large dielectric mismatch between the nanowires and vacuum greatly enhances the Coulomb interaction, with the thinnest nanowires showing the strongest dielectric confinement and the highest radiative efficiency at room temperature. In situ monitoring of the fabrication of these structures allows one to accurately control the degree of dielectric enhancement. These ultrathin nanowires may constitute the basis for the fabrication of advanced low-dimensional structures with an unprecedented degree of confinement.


title: Modal interactions and energy transfers between a linear oscillator and a nonlinear vibration absorber

abstract: Considerable attention has been given to the use of a nonlinear energy sink (NES) as a nonlinear vibration absorber. The NES is an efficient passive control device, which has been the focus of extensive research. In this paper, the modal interactions and the energy transfers between a linear primary system subjected to a harmonically external excitation and a grounded NES are studied. Based on the complexification-averaging method and the fast-slow analysis, this system is reduced from the four-dimensional (4D) real vector fields to the two-dimensional (2D) complex vector fields, namely the slow flow. By analyzing the fast-slow systems, defined on different time scales, the critical manifold is obtained to capture the dynamics of the system. With the change of the system parameters, the critical manifold, projected on its modulus plane, presents distinct structures, that capture diverse types of modal interactions between the linear oscillator and the NES. The numerical results and the Hilbert spectrums verify that the critical manifold on the modulus plane can predict modal interactions and energy transfers on multiple time scales well. Additionally, the two special types of oscillations, namely the point-type oscillations and the ring-type oscillations, cannot be captured by the critical manifold.


title: Krasnoselskii-Mann Iterations: Inertia, Perturbations and Approximation

abstract: This paper is concerned with the study of a family of fixed point iterations combining relaxation with different inertial (acceleration) principles. We provide a systematic, unified and insightful analysis of the hypotheses that ensure their weak, strong and linear convergence, either matching or improving previous results obtained by analysing particular cases separately. We also show that these methods are robust with respect to different kinds of perturbations--which may come from computational errors, intentional deviations, as well as regularisation or approximation schemes--under surprisingly weak assumptions. Although we mostly focus on theoretical aspects, numerical illustrations in image inpainting and electricity production markets reveal possible trends in the behaviour of these types of methods.


title: Node Flux-Linkage Synchronizing Control of Power Systems with 100% Wind Power Generation Based on Capacitor Voltage Balancing Scheme

abstract: This paper proposes a node flux-linkage synchronizing control method (NFSCM) for power systems with 100% wind power generation based on a capacitor voltage balancing scheme (CVBS). Different from the conventional grid-forming controllers, NFSCM is designed to regulate inverters as virtual flux-linkage sources. Auto-synchronization of flux-linkage vectors is achieved through the CVBS-based NFSCM. The mismatch among the angular frequencies of flux-linkage vectors is eliminated by regulating the tracking errors of DC-link voltages, which establishes a negative feedback between the output frequency and active power of the inverter. NFSCM is adaptive to weak and strong grids. It avoids the excitation inrush currents in the step-up transformer of wind power generators. It also eliminates the DC components of the three-phase currents, and avoids low-frequency oscillations in active power. In order to limit the short-circuit current of inverters, a logic-based bang-bang funnel control (LBFC) is designed to control the switches of inverter bridges when over-current is detected. LBFC is able to restrict various fault currents within an acceptable range within the shortest time. LBFC and NFSCM are designed to operate in a switched manner according to a state-dependent switching strategy. Time-domain simulations were conducted on a 100% wind power generation test system, and the performance of NFSCM and LBFC were investigated.


title: A Scalable RISC-V Vector Processor Enabling Efficient Multi-Precision DNN Inference

abstract: RISC-V processors encounter substantial challenges in deploying multi-precision deep neural networks (DNNs) due to their restricted precision support, constrained throughput, and suboptimal dataflow design. To tackle these challenges, a scalable RISC-V vector (RVV) processor, namely SPEED, is proposed to enable efficient multi-precision DNN inference by innovations from customized instructions, hardware architecture, and dataflow mapping. Firstly, dedicated customized RISC-V instructions are proposed based on RVV extensions, providing SPEED with fine-grained control over processing precision ranging from 4 to 16 bits. Secondly, a parameterized multi-precision systolic array unit is incorporated within the scalable module to enhance parallel processing capability and data reuse opportunities. Finally, a mixed multi-precision dataflow strategy, compatible with different convolution kernels and data precision, is proposed to effectively improve data utilization and computational efficiency. We perform synthesis of SPEED in TSMC 28nm technology. The experimental results demonstrate that SPEED achieves a peak throughput of 287.41 GOPS and an energy efficiency of 1335.79 GOPS/W at 4-bit precision condition, respectively. Moreover, when compared to the pioneer open-source vector processor Ara, SPEED provides an area efficiency improvement of 2.04$\times$ and 1.63$\times$ under 16-bit and 8-bit precision conditions, respectively, which shows SPEED's significant potential for efficient multi-precision DNN inference.


title: A chaotic long-lived vortex at Venus southern pole

abstract: Polar vortices are common in the atmospheres of rapidly rotating planets [1-4]. On Earth and Mars they are tied to the surface and their existence follows the seasonal insolation cycle [1-3]. Venus is a slowly rotating planet but it is also known to have vortices at both poles at the edge of a superrotating atmosphere [5-8]. However, their nature and long-term properties have not been constrained so far impeding precise modeling. Here we report cloud motions at two altitude levels (about 42 km and 63 km above the surface) using infrared images from the VIRTIS instrument onboard Venus Express that show that the south polar vortex is a permanent but erratic and unpredictable feature. We find that the centers of rotation of the vortex at these levels rarely coincide and both wander erratically around the pole with speeds of up to 16 m s-1. The cloud morphology and vorticity patches are uncorrelated and change continuously developing transient areas of small vertical motions. Venus south polar vortex is a continuously evolving structure immersed in a baroclinic environment laying at altitude levels that have variable vertical and meridional wind shears, extending at least 20 km in height through a quasi-convective turbulent region.


title: Molecular Beam Epitaxy of GaN Nanowires on Epitaxial Graphene

abstract: We demonstrate an all-epitaxial and scalable growth approach to fabricate single-crystalline GaN nanowires on graphene by plasma-assisted molecular beam epitaxy. As substrate, we explore several types of epitaxial graphene layer structures synthesized on SiC. The different structures differ mainly in their total number of graphene layers. Because graphene is found to be etched under active N exposure, the direct growth of GaN nanowires on graphene is only achieved on multilayer graphene structures. The analysis of the nanowire ensembles prepared on multilayer graphene by Raman spectroscopy and transmission electron microscopy reveals the presence of graphene underneath as well as in between nanowires, as desired for the use of this material as contact layer in nanowire-based devices. The nanowires nucleate preferentially at step edges, are vertical, well aligned, epitaxial, and of comparable structural quality as similar structures fabricated on conventional substrates.


title: Quantum Circuit Mapping for Universal and Scalable Computing in MZI-based Integrated Photonics

abstract: Linear optical quantum computing (LOQC) offers a quantum computation paradigm based on well-established and robust technology and flexible environmental conditions following DiVincenzo's criteria. Within this framework, integrated photonics can be utilized to achieve gate-based quantum computing, defining qubits by path-encoding, quantum gates through the use of Mach-Zehnder interferometers (MZIs) as fundamental building blocks, and measurements through single-photon detectors. In particular, universal two-qubit gates can be achieved by suitable structures of MZIs together with post-selection or heralding. The most resource-efficient choice is given by the post-selected CZ gate. However, this implementation is characterized by a design which has a non-regular structure and cannot be cascaded. This limits the implementation of large-scale LOQC. Starting from these issues, we suggest an approach to move toward a universal and scalable LOQC on the integrated photonic platform. First of all, choosing the post-selected CZ as universal two-qubit gate, we extend the path-encoded dual-rail qubit to a triplet of waveguides, composed of an auxiliary waveguide and the pair of waveguides corresponding to the qubit basis states. Additionally, we introduce a swap photonic network that maps the regularly-labeled structure of the new path-encoded qubits to the structure needed for the post-selected CZ. We also discuss the optical swap gate that allows the connection of non-nearest neighbor path-encoded qubits. In this way, we can deterministically exchange the locations of the qubits and execute controlled quantum gates between any path-encoded qubits. Next, by truncating the auxiliary waveguides after any post-selected CZ, we find that it is possible to cascade this optical gate when it acts on different pairs that share only one qubit.


title: Zero-shot Classification using Hyperdimensional Computing

abstract: Classification based on Zero-shot Learning (ZSL) is the ability of a model to classify inputs into novel classes on which the model has not previously seen any training examples. Providing an auxiliary descriptor in the form of a set of attributes describing the new classes involved in the ZSL-based classification is one of the favored approaches to solving this challenging task. In this work, inspired by Hyperdimensional Computing (HDC), we propose the use of stationary binary codebooks of symbol-like distributed representations inside an attribute encoder to compactly represent a computationally simple end-to-end trainable model, which we name Hyperdimensional Computing Zero-shot Classifier~(HDC-ZSC). It consists of a trainable image encoder, an attribute encoder based on HDC, and a similarity kernel. We show that HDC-ZSC can be used to first perform zero-shot attribute extraction tasks and, can later be repurposed for Zero-shot Classification tasks with minimal architectural changes and minimal model retraining. HDC-ZSC achieves Pareto optimal results with a 63.8% top-1 classification accuracy on the CUB-200 dataset by having only 26.6 million trainable parameters. Compared to two other state-of-the-art non-generative approaches, HDC-ZSC achieves 4.3% and 9.9% better accuracy, while they require more than 1.85x and 1.72x parameters compared to HDC-ZSC, respectively.


title: Bardeen-Cooper-Schrieffer interaction as an infinite-range Penson-Kolb pairing mechanism

abstract: We demonstrate that the well-known $(k\uparrow, -k\downarrow)$ Bardeen-Cooper-Schrieffer interaction, when considered in real space, is equivalent to an infinite-range Penson-Kolb pairing mechanism coexisting with an attractive Hubbard term. Driven by this discovery and aiming at exploring the conduction properties, we investigate the dynamics of fermionic particles confined in a ring-shaped lattice. We assume that fermions are simultaneously influenced by the pairing interaction and by an Aharonov-Bohm electromagnetic phase, which is incorporated into the model in a highly non-trivial manner. Remarkably, the aforementioned model shows Richardson integrability for both integer and half-integer values of the applied magnetic flux $\Phi/\Phi_0$, thus permitting the exact solution of a genuine many-body problem. We discuss the ground state properties of both two-particle and many-particle systems, drawing comparisons with results from the attractive Hubbard model. Our approach combines exact diagonalization, density matrix renormalization group techniques, and numerical solution of the Richardson equations. This comprehensive analysis allows us to study various key metrics, including the system's conductivity as a function of the interaction strength. In this way, the BCS-BEC transition is investigated in a continuous manner, thus permitting to shed light on fundamental aspects of superconducting pairing. Our findings can be experimentally tested in a condensed matter context or, with greater level of control, using atomtronics platforms.


title: Enhancing EEG Signal-Based Emotion Recognition with Synthetic Data: Diffusion Model Approach

abstract: Emotions are crucial in human life, influencing perceptions, relationships, behaviour, and choices. Emotion recognition using Electroencephalography (EEG) in the Brain-Computer Interface (BCI) domain presents significant challenges, particularly the need for extensive datasets. This study aims to generate synthetic EEG samples that are similar to real samples but are distinct by augmenting noise to a conditional denoising diffusion probabilistic model, thus addressing the prevalent issue of data scarcity in EEG research. The proposed method is tested on the DEAP dataset, showcasing a 1.94% improvement in classification performance when using synthetic data. This is higher compared to the traditional GAN-based and DDPM-based approaches. The proposed diffusion-based approach for EEG data generation appears promising in refining the accuracy of emotion recognition systems and marks a notable contribution to EEG-based emotion recognition. Our research further evaluates the effectiveness of state-of-the-art classifiers on EEG data, employing both real and synthetic data with varying noise levels.


title: Optimal Control of a Stochastic Power System -- Algorithms and Mathematical Analysis

abstract: The considered optimal control problem of a stochastic power system, is to select the set of power supply vectors which infimizes the probability that the phase-angle differences of any power flow of the network, endangers the transient stability of the power system by leaving a critical subset. The set of control laws is restricted to be a periodically recomputed set of fixed power supply vectors based on predictions of power demand for the next short horizon. Neither state feedback nor output feedback is used. The associated control objective function is Lipschitz continuous, nondifferentiable, and nonconvex. The results of the paper include that a minimum exists in the value range of the control objective function. Furthermore, it includes a two-step procedure to compute an approximate minimizer based on two key methods: (1) a projected generalized subgradient method for computing an initial vector, and (2) a steepest descent method for approximating a local minimizer. Finally, it includes two convergence theorems that an approximation sequence converges to a local minimum.


title: The nonlinear dynamic behavior of a Rubber-Layer Roller Bearing (RLRB) for vibration isolation

abstract: In this paper, we study the dynamic behavior of a Rubber-Layer Roller Bearing (RLRB) interposed between a spring-mass elemental superstructure and a vibrating base. Thanks to the viscoelastic rolling contact between the rigid rollers and the rubber layers, the RLRB is able to provide a nonlinear damping behavior. The effect of the RLRB geometric and material parameters is investigated under periodic base excitation, showing that both periodic and aperiodic responses can be achieved. Specifically, since the viscoelastic damping is non-monotonic (bell shaped), there exist systemdynamic conditions involving the decreasing portion of the damping curve in which a strongly nonlinear behavior is experienced. In the second part of the paper, we investigate the effectiveness of the nonlinear device in terms of seismic isolation. Focusing on the mean shock of the Central Italy 2016 earthquake, we opportunely tune the material and geometrical RLRB parameters, showing that a significant reduction of both the peak and root-mean-square value of the inertial force acting on the superstructure is achieved, compared to the best performance of a linear base isolation system.


title: Semiclassical $L^p$ quasimode restriction estimates in two dimensions

abstract: We establish the $L^p$ restriction estimates for quasimodes on a smooth curve in two dimensions. Our estimates are sharp for all smooth curves. As an application, we address $L^p$ eigenfunction restriction estimates for Laplace-Beltrami eigenfunctions on $2$-dimensional compact Riemannian manifolds without boundary and Hermite functions on $\mathbb R^2$. Our method involves a geometric analysis of the contact order between the curve and the bicharacteristic flow of the semiclassical pseudodifferential operator.


title: Prototype Cherenkov Detector Characterization for Muon Tomography Applications

abstract: Muography is an innovative imaging technique using naturally produced elementary particles -- atmospheric muons -- like the X-rays of medical imaging. The modification of the particles flux -- by scattering or absorption --, reflects the contrasts in density within the medium and therefore offers the possibility for an image of the crossed volumes. The imaging process is based on the tracking of the particles which accounts for the absorption or the scattering of the muons trajectories. Neither the energy nor the identity of the particles (the so-called PID) is exploited since this information traditionally relies on the use of calorimeters and/or high intensity magnetic fields. Both these techniques hinder detector portability which in the case of muography is important and this renders them impractical for its purpose. In this paper we characterize the performance of a simple and small water Cherenkov detector capable on the one hand of providing some insights on energy and PID and on the other hand of improving the background rejection for a muon telescope. We tested a prototype of such water Cherenkov detector in combination with two small muon hodoscopes. Both systems are using the same opto-electronics chain -- optical fibers and pixellized photosensors -- and the same data acquisition (DAQ) readout system which ensures an easy integration and implementation within presently running systems. This article presents the test setup, the detector response to cosmic muons and its performance evaluation against a basic simulation of its geometry and detection principle.


title: A survey for variable young stars with small telescopes: VIII -- Properties of 1687 Gaia selected members in 21 nearby clusters

abstract: The Hunting Outbursting Young Stars (HOYS) project performs long-term, optical, multi-filter, high cadence monitoring of 25 nearby young clusters and star forming regions. Utilising Gaia DR3 data we have identified about 17000 potential young stellar members in 45 coherent astrometric groups in these fields. Twenty one of them are clear young groups or clusters of stars within one kiloparsec and they contain 9143 Gaia selected potential members. The cluster distances, proper motions and membership numbers are determined. We analyse long term (about 7yr) V, R, and I-band light curves from HOYS for 1687 of the potential cluster members. One quarter of the stars are variable in all three optical filters, and two thirds of these have light curves that are symmetric around the mean. Light curves affected by obscuration from circumstellar materials are more common than those affected by accretion bursts, by a factor of 2-4. The variability fraction in the clusters ranges from 10 to almost 100 percent, and correlates positively with the fraction of stars with detectable inner disks, indicating that a lot of variability is driven by the disk. About one in six variables shows detectable periodicity, mostly caused by magnetic spots. Two thirds of the periodic variables with disk excess emission are slow rotators, and amongst the stars without disk excess two thirds are fast rotators - in agreement with rotation being slowed down by the presence of a disk.


title: Robust Error Accumulation Suppression

abstract: We present an advanced quantum error suppression technique, which we dub robust error accumulation suppression (REAS). Our method reduces the accumulation of errors in any circuit composed of single- or two-qubit gates expressed as $e^{-i \sigma\theta }$ for Pauli operators $\sigma$ and $\theta \in [0,\pi)$; since such gates form a universal gate set, our results apply to a strictly larger class of circuits than those comprising only Clifford gates, thereby generalizing previous results. In the case of coherent errors -- which include crosstalk -- we demonstrate a reduction of the error scaling in an $L$-depth circuit from $O(L)$ to $O(\sqrt{L})$. Crucially, REAS makes no assumption on the cleanness of the error-suppressing protocol itself and is, therefore, truly robust, applying to situations in which the newly inserted gates have non-negligible coherent noise. Furthermore, we show that REAS can also suppress certain types of decoherence noise by transforming some gates to be robust against such noise, which is verified by the demonstration of the quadratic suppression of error scaling in the numerical simulation. Our results, therefore, present an advanced, robust method of error suppression that can be used in conjunction with error correction as a viable path toward fault-tolerant quantum computation.


title: Local modification of subdiffusion by initial Fickian diffusion: Multiscale modeling, analysis and computation

abstract: We propose a local modification of the standard subdiffusion model by introducing the initial Fickian diffusion, which results in a multiscale diffusion model. The developed model resolves the incompatibility between the nonlocal operators in subdiffusion and the local initial conditions and thus eliminates the initial singularity of the solutions of the subdiffusion, while retaining its heavy tail behavior away from the initial time. The well-posedness of the model and high-order regularity estimates of its solutions are analyzed by resolvent estimates, based on which the numerical discretization and analysis are performed. Numerical experiments are carried out to substantiate the theoretical findings.


title: CAFCT: Contextual and Attentional Feature Fusions of Convolutional Neural Networks and Transformer for Liver Tumor Segmentation

abstract: Medical image semantic segmentation techniques can help identify tumors automatically from computed tomography (CT) scans. In this paper, we propose a Contextual and Attentional feature Fusions enhanced Convolutional Neural Network (CNN) and Transformer hybrid network (CAFCT) model for liver tumor segmentation. In the proposed model, three other modules are introduced in the network architecture: Attentional Feature Fusion (AFF), Atrous Spatial Pyramid Pooling (ASPP) of DeepLabv3, and Attention Gates (AGs) to improve contextual information related to tumor boundaries for accurate segmentation. Experimental results show that the proposed CAFCT achieves a mean Intersection over Union (IoU) of 90.38% and Dice score of 86.78%, respectively, on the Liver Tumor Segmentation Benchmark (LiTS) dataset, outperforming pure CNN or Transformer methods, e.g., Attention U-Net, and PVTFormer.


title: Electrical characterization of all-epitaxial Fe/GaN(0001) Schottky tunnel contacts

abstract: We analyze the properties of Fe Schottky contacts prepared in situ on n-type GaN(0001) by molecular beam epitaxy. In particular, we investigate the suitability of these epitaxial Fe layers for electrical spin injection. Current-voltage-temperature measurements demonstrate pure field emission for Fe/GaN:Si Schottky diodes with [Si] = 5 $\times$ 10$^{18}$ cm$^{-3}$. The Schottky barrier height of the clean, epitaxial Fe/GaN interface is determined by both current-voltage-temperature and capacitance-voltage techniques to be (1.47 $\pm$ 0.09) eV.


title: The Thins Ordering on Relations

abstract: Earlier papers \cite{VB2022,VB2023a} introduced the notions of a core and an index of a relation (an index being a special case of a core). A limited form of the axiom of choice was postulated -- specifically that all partial equivalence relations (pers) have an index -- and the consequences of adding the axiom to axiom systems for point-free reasoning were explored. In this paper, we define a partial ordering on relations, which we call the \textsf{thins} ordering. We show that our axiom of choice is equivalent to the property that core relations are the minimal elements of the \textsf{thins} ordering. We also postulate a novel axiom that guarantees that, when \textsf{thins} is restricted to non-empty pers, equivalence relations are maximal. This and other properties of \textsf{thins} provide further evidence that our axiom of choice is a desirable means of strengthening point-free reasoning on relations. Although our novel axiom is valid for concrete relations and is a sufficient condition for characterising maximality, we show that it is not a necessary condition in the abstract point-free algebra. This leaves open the problem of deriving a necessary and sufficient condition.


title: Reinforcement Learning for Versatile, Dynamic, and Robust Bipedal Locomotion Control

abstract: This paper presents a comprehensive study on using deep reinforcement learning (RL) to create dynamic locomotion controllers for bipedal robots. Going beyond focusing on a single locomotion skill, we develop a general control solution that can be used for a range of dynamic bipedal skills, from periodic walking and running to aperiodic jumping and standing. Our RL-based controller incorporates a novel dual-history architecture, utilizing both a long-term and short-term input/output (I/O) history of the robot. This control architecture, when trained through the proposed end-to-end RL approach, consistently outperforms other methods across a diverse range of skills in both simulation and the real world.The study also delves into the adaptivity and robustness introduced by the proposed RL system in developing locomotion controllers. We demonstrate that the proposed architecture can adapt to both time-invariant dynamics shifts and time-variant changes, such as contact events, by effectively using the robot's I/O history. Additionally, we identify task randomization as another key source of robustness, fostering better task generalization and compliance to disturbances. The resulting control policies can be successfully deployed on Cassie, a torque-controlled human-sized bipedal robot. This work pushes the limits of agility for bipedal robots through extensive real-world experiments. We demonstrate a diverse range of locomotion skills, including: robust standing, versatile walking, fast running with a demonstration of a 400-meter dash, and a diverse set of jumping skills, such as standing long jumps and high jumps.


title: Black Hole Firewalls and Quantum Mechanics

abstract: Firewalls in black holes are easiest to understand by imposing time reversal invariance, together with a unitary evolution law. The best approach seems to be to split up the time span of a black hole into short periods, during which no firewalls can be detected by any observer. Then, gluing together subsequent time periods, firewalls seem to appear, but they can always be transformed away. At all times we need a Hilbert space of a finite dimension, as long as particles far separated from the black hole are ignored. Our conclusion contradicts other findings, particularly a recent paper by Strauss and Whiting. Indeed, the firewall transformation removes the entanglement between very early and very late in- and out-particles, in a far-from-trivial way.


title: Channeling of fluorescence photons from quantum dots into guided modes of an optical nanofiber tip

abstract: We demonstrate the channeling of fluorescence photons from quantum dots (QDs) into guided modes of an optical nanofiber tip (ONFT). We deposit QDs on the ONFT using micro/nano fluidic technology. We measure the photon-counting and emission spectrum of fluorescence photons that are channeled into guided modes of the ONFT. The measured emission spectrum confirms the deposition of QDs on the ONFT. We perform numerical simulations to determine channeling efficiency ({\eta}) for the ONFT and a single dipole source (SDS) system. For the radially oriented SDS at the center of the facet of the ONFT, we found the maximum {\eta}-value of 44% at the fiber size parameter of 7.16, corresponding to the ONFT radius of 0.71 {\mu}m for the emission wavelength at 620 nm. Additionally, we investigate the SDS position dependence in transverse directions on the facet of the ONFT in view of keeping experimental ambiguities. The present fiber inline platform may open new avenues in quantum technologies.


title: Left braces of size $p^2(2p+1)^2$, for $p$ an odd Germain prime

abstract: We consider relatively prime integer numbers $m$ and $n$ such that each group of order $mn$ has a normal subgroup of order $m$. We prove that each brace of size $mn$ is a semidirect product of a brace of size $m$ and a brace of size $n$. We further give a method to classify braces of size $mn$ from the classification of braces of sizes $m$ and $n$. We apply this result to determine all braces of size $p^2q^2$, for $p$ an odd Germain prime and $q=2p+1$.


title: Computational Power of Opaque Robots

abstract: In the field of distributed computing by robot swarms, the research comprehends manifold models where robots operate in the Euclidean plane through a sequence of look-compute-move cycles. Models under study differ for (i) the possibility of storing constant-size information, (ii) the possibility of communicating constant-size information, and (iii) the synchronization mode. By varying features (i,ii), we obtain the noted four base models: OBLOT (silent and oblivious robots), FSTA (silent and finite-state robots), FCOM (oblivious and finite-communication robots), and LUMI (finite-state and finite-communication robots). Combining each base model with the three main synchronization modes (fully synchronous, semi-synchronous, and asynchronous), we obtain the well-known 12 models. Extensive research has studied their computational power, proving the hierarchical relations between different models. However, only transparent robots have been considered. In this work, we study the taxonomy of the 12 models considering collision-intolerant opaque robots. We present six witness problems that prove the majority of the computational relations between the 12 models. In particular, the last witness problem depicts a peculiar issue occurring in the case of obstructed visibility and asynchrony.


title: Collective quantum stochastic resonance in Rydberg atoms

abstract: We study the collective response of a group of dissipative Rydberg atoms to a periodic modulation of the Rydberg excitation laser. Focusing on the emergent collective-jump dynamics, where the system stochastically switches between states with distinct Rydberg excitations, we show that the counting statistics of the state switching is qualitatively changed by the periodic drive. The impact is most prominent when the driving frequency is comparable to the emergent collective-jump rate, as the jumps tend to synchronize with the external drive, and their counting statistics exhibits a series of suppressed subharmonics of the driving frequency. These phenomena are manifestations of a novel type of stochastic resonance, where a cooperative collective state switching is facilitated by quantum fluctuations in a many-body open system. Such a collective quantum stochastic resonance further leads to an enhanced signal-to-noise ratio in the power spectrum of the Rydberg excitations, for which the synchronized collective jumps are viewed as the output signal. We confirm the many-body quantum nature of the resonance by devising a cluster model, under which the role of many-body correlations is analyzed by changing the size of the atom clusters.


title: Cross-Lingual Transfer from Related Languages: Treating Low-Resource Maltese as Multilingual Code-Switching

abstract: Although multilingual language models exhibit impressive cross-lingual transfer capabilities on unseen languages, the performance on downstream tasks is impacted when there is a script disparity with the languages used in the multilingual model's pre-training data. Using transliteration offers a straightforward yet effective means to align the script of a resource-rich language with a target language, thereby enhancing cross-lingual transfer capabilities. However, for mixed languages, this approach is suboptimal, since only a subset of the language benefits from the cross-lingual transfer while the remainder is impeded. In this work, we focus on Maltese, a Semitic language, with substantial influences from Arabic, Italian, and English, and notably written in Latin script. We present a novel dataset annotated with word-level etymology. We use this dataset to train a classifier that enables us to make informed decisions regarding the appropriate processing of each token in the Maltese language. We contrast indiscriminate transliteration or translation to mixing processing pipelines that only transliterate words of Arabic origin, thereby resulting in text with a mixture of scripts. We fine-tune the processed data on four downstream tasks and show that conditional transliteration based on word etymology yields the best results, surpassing fine-tuning with raw Maltese or Maltese processed with non-selective pipelines.


title: Parallelly Sliced Optimal Transport on Spheres and on the Rotation Group

abstract: Sliced optimal transport, which is basically a Radon transform followed by one-dimensional optimal transport, became popular in various applications due to its efficient computation. In this paper, we deal with sliced optimal transport on the sphere $\mathbb{S}^{d-1}$ and on the rotation group SO(3). We propose a parallel slicing procedure of the sphere which requires again only optimal transforms on the line. We analyze the properties of the corresponding parallelly sliced optimal transport, which provides in particular a rotationally invariant metric on the spherical probability measures. For SO(3), we introduce a new two-dimensional Radon transform and develop its singular value decomposition. Based on this, we propose a sliced optimal transport on SO(3). As Wasserstein distances were extensively used in barycenter computations, we derive algorithms to compute the barycenters with respect to our new sliced Wasserstein distances and provide synthetic numerical examples on the 2-sphere that demonstrate their behavior for both the free and fixed support setting of discrete spherical measures. In terms of computational speed, they outperform the existing methods for semicircular slicing as well as the regularized Wasserstein barycenters.


title: Hamiltonian integrable systems in a magnetic field and Symplectic-Haantjes geometry

abstract: We investigate the geometry of classical Hamiltonian systems immersed in a magnetic field in three-dimensional Riemannian configuration spaces. We prove that these systems admit non-trivial symplectic-Haantjes manifolds, which are symplectic manifolds endowed with an algebra of Haantjes (1,1)-tensors. These geometric structures allow us to determine separation variables for known systems algorithmically; besides, the underlying St\"ackel geometry is used to construct new families of integrable Hamiltonian models immersed in a magnetic field.


title: Exploring the giant dynamical Franz-Keldysh effect in massless Dirac materials

abstract: The dynamical Franz-Keldysh effect, indicative of the transient light-matter interaction regime between quantum and classical realms, is widely recognized as an essential signature in wide bandgap condensed matter systems such as dielectrics. In this study, we applied the time-resolved transient absorption spectroscopy to investigate ultrafast optical responses in graphene, a zero-bandgap system. We observed in the gate-tuned graphene that the massless Dirac materials notably enhance intraband light-driven transitions, significantly leading to the giant dynamical Franz-Keldysh effect compared to the massive Dirac materials, a wide bandgap system. In addition, employing the angle-resolved spectroscopy, it is found that the perpendicular polarization orientation for the pump and the probe further pronounces the optical spectra to exhibit the complete fishbone structure, reflecting the unique pseudospin nature of Dirac cones. Our findings expand the establishment of emergent transient spectroscopy frameworks into not only zero-bandgap systems but also pseudospin-mediated quantum phenomena, moving beyond dielectrics.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el physics.optics


title: MAkEable: Memory-centered and Affordance-based Task Execution Framework for Transferable Mobile Manipulation Skills

abstract: To perform versatile mobile manipulation tasks in human-centered environments, the ability to efficiently transfer learned tasks and experiences from one robot to another or across different environments is key. In this paper, we present MAkEable, a versatile uni- and multi-manual mobile manipulation framework that facilitates the transfer of capabilities and knowledge across different tasks, environments, and robots. Our framework integrates an affordance-based task description into the memory-centric cognitive architecture of the ARMAR humanoid robot family, which supports the sharing of experiences and demonstrations for transfer learning. By representing mobile manipulation actions through affordances, i.e., interaction possibilities of the robot with its environment, we provide a unifying framework for the autonomous uni- and multi-manual manipulation of known and unknown objects in various environments. We demonstrate the applicability of the framework in real-world experiments for multiple robots, tasks, and environments. This includes grasping known and unknown objects, object placing, bimanual object grasping, memory-enabled skill transfer in a drawer opening scenario across two different humanoid robots, and a pouring task learned from human demonstration.


title: 2-classifiers via dense generators and Hofmann-Streicher universe in stacks

abstract: We expand the theory of 2-classifiers, that are a 2-categorical generalization of subobject classifiers introduced by Weber. The idea is to upgrade monomorphisms to discrete opfibrations. We prove that the conditions of 2-classifier can be checked just on a dense generator. The study of what is classified by a 2-classifier is similarly reduced to a study over the objects that form a dense generator. We then apply our results to the cases of prestacks and stacks, where we can thus look just at the representables. We produce a 2-classifier in prestacks that classifies all discrete opfibrations with small fibres. Finally, we restrict such 2-classifier to a 2-classifier in stacks. This is the main ingredient of a proof that Grothendieck 2-topoi are elementary 2-topoi. Our results also solve a problem posed by Hofmann and Streicher when attempting to lift Grothendieck universes to sheaves.


title: Deep Contextual Bandit and Reinforcement Learning for IRS-Assisted MU-MIMO Systems

abstract: The combination of multiple-input multiple-output (MIMO) systems and intelligent reflecting surfaces (IRSs) is foreseen as a critical enabler of beyond 5G (B5G) and 6G. In this work, two different approaches are considered for the joint optimization of the IRS phase-shift matrix and MIMO precoders of an IRS-assisted multi-stream (MS) multi-user MIMO (MU-MIMO) system. Both approaches aim to maximize the system sum-rate for every channel realization. The first proposed solution is a novel contextual bandit (CB) framework with continuous state and action spaces called deep contextual bandit-oriented deep deterministic policy gradient (DCB-DDPG). The second is an innovative deep reinforcement learning (DRL) formulation where the states, actions, and rewards are selected such that the Markov decision process (MDP) property of reinforcement learning (RL) is appropriately met. Both proposals perform remarkably better than state-of-the-art heuristic methods in scenarios with high multi-user interference.


title: One-excitation spin dynamics in homogeneous closed chain governed by XX-Hamiltonian

abstract: We analytically investigate the one-excitation spin dynamics in a homogeneous closed spin-1/2 chain via diagonalization of the one-excitation block of the XX-Hamiltonian, which allows to derive the analytical expressions for probability amplitudes describing state transfers between any two spins of a chain. We analytically investigate the $M$-neighbor approximation ($M\ge 1$) of spin dynamics with arbitrary initial state and analyze its accuracy using special integral characteristics defined in terms of the above probability amplitudes. We find $M$ providing the required accuracy of evolution approximation for chains of different lengths.


title: Automorphisms of $\mathbb{C}^2$ with cycles of escaping Fatou components with hyperbolic limit sets

abstract: We study the stable dynamics of non-polynomial automorphisms of $\mathbb{C}^2$ of the form $F(z,w)=(e^{-z^m}+ \delta e^{\frac{2 \pi}{m}i}\, w\,,\,z)$, with $m\ge 2$ a natural number and $\mathbb{R}\ni\delta>2$. If $m$ is even, there are $\frac{m}{2}$ cycles of escaping Fatou components, all of period $2m$. If $m$ is odd there are $\frac{m-1}{2}$ cycles of escaping Fatou components of period $2m$ and just one cycle of escaping Fatou components of period $m$. These maps have two distinct limit functions on each cycle, both of which have generic rank 1. Each Fatou component in each cycle has two disjoint and hyperbolic limit sets on the line at infinity, except for the Fatou components that belong to the unique cycle of period $m$: the latter in fact have the same hyperbolic limit set on the line at infinity.


title: A Simple Dirac Prescription for Two-Loop Anomalous Dimension Matrices

abstract: A novel method to treat effects from evanescent operators in next-to-leading order (NLO) computations is introduced. The approach allows, besides further simplifications, to discard evanescent-to-physical mixing contributions in NLO calculations. The method is independent of the treatments of $\gamma_5$ and can therefore be combined with different renormalization schemes. We illustrate the utility of this result by reproducing literature results of two-loop anomalous dimension matrices for both $|\Delta F| = 1$ and $|\Delta F| = 2$ transitions.


title: Emulating dark energy models with known equation of state via the created cold dark matter scenario

abstract: In this work we establish only at background dynamics level, the equivalence between the Created Cold Dark Matter (CCDM) model and diverse dark energy (DE) models. We find that for a barotropic or linear equation of state (EoS) for the DE, $p=w \rho$, and standard matter sector the corresponding CCDM model is described by the same functional structure of the ratio of particle production, $\Gamma$. For a different EoS the functional form of the $\Gamma$ term is not longer maintained, however, in the case of a polytropic EoS given by the Chaplygin gas the resulting $\Gamma$ term can be written as the one obtained in the barotropic case under certain considerations.