title: Force renormalization for probes immersed in an active bath

abstract: Langevin equations or generalized Langevin equations (GLEs) are popular models for describing the motion of a particle in a fluid medium in an effective manner. Here we examine particles immersed in an inherently nonequilibrium fluid, i.e., an active bath, which are subject to an external force. Specifically, we consider two types of forces that are highly relevant for microrheological studies: A harmonic, trapping force and a constant, "drag" force. We study such systems by molecular simulations and use the simulation data to derive an effective GLE description. We find that, in an active bath, the external force in the GLE is not equal to the physical external force, but rather a renormalized external force, which can be significantly smaller. The effect cannot be attributed to the mere temperature renormalization, which is also observed.


title: The LoReLi database: 21 cm signal inference with 3D radiative hydrodynamics simulations

abstract: The Square Kilometer array is expected to measure the 21cm signal from the Epoch of Reionization (EoR) in the coming decade, and its pathfinders may provide a statistical detection even earlier. The currently reported upper limits provide tentative constraints on the astrophysical parameters of the models of the EoR. In order to interpret such data with 3D radiative hydrodynamics simulations using Bayesian inference, we present the latest developments of the \textsc{Licorice} code. Relying on an implementation of the halo conditional mass function to account for unresolved star formation, this code now allows accurate simulations of the EoR at $256^3$ resolution. We use this version of \textsc{Licorice} to produce the first iteration of \textsc{LoReLi}, a public dataset now containing hundreds of 21cm signals computed from radiative hydrodynamics simulations. We train a neural network on \textsc{LoReLi} to provide a fast emulator of the \textsc{Licorice} power spectra, \textsc{LorEMU}, which has $\sim 5\%$ rms error relative to the simulated signals. \textsc{LorEMU} is used in a Markov Chain Monte Carlo framework to perform Bayesian inference, first on a mock observation composed of a simulated signal and thermal noise corresponding to 100h observations with the SKA. We then apply our inference pipeline to the latest measurements from the HERA interferometer. We report constraints on the X-ray emissivity, and confirm that cold reionization scenarios are unlikely to accurately represent our Universe.


title: Coupling strength induced BCS-BEC crossover on phase boundary of pion superfluid

abstract: Coupling strength effect on the quark matter with finite isospin chemical potential is studied in a Pauli-Villars regularized NJL model. A BCS-BEC crossover occurs along the phase boundary of pion superfluid phase transition, as increasing coupling strength $G$. For strong coupling cases, the critical isospin chemical potential for pion superfluid phase transition $\mu_I^c$ is exactly the same as pion mass in vacuum $M_\pi$. Around the critical point $\mu_I^c$, the pion superfluid quark matter is in BEC state, associated with a fast increase of pion condensate. For weak coupling cases, we obtain $\mu_I^c<M_\pi$, and a mass jump of the Goldstone boson at the critical point $\mu_I^c$. The pion superfluid quark matter is in BCS state even around $\mu_I^c$, accompanied by a slow increase of pion condensate. Note that $\mu_I^c$ is a non-monotonic function of coupling strength $G$. On the other hand, coupling strength effect changes the bulk properties of quark matter. In strong (weak) coupling cases, the EoS of quark matter at finite isospin chemical potential is stiff (soft). Therefore, the compact stars composed of strong (weak) coupling pion superfluid quark matter has a heavier (lighter) mass and larger (smaller) radius.


title: Enhanced Entanglement in the Measurement-Altered Quantum Ising Chain

abstract: Understanding the influence of measurements on the properties of many-body systems is a fundamental problem in quantum mechanics and for quantum technologies. This paper explores how a finite density of stochastic local measurement modifies a given state's entanglement structure. Considering various measurement protocols, we explore the typical quantum correlations of their associated projected ensembles arising from the ground state of the quantum Ising model. Using large-scale numerical simulations, we demonstrate substantial differences among inequivalent measurement protocols. Surprisingly, we observe that forced on-site measurements can enhance both bipartite and multipartite entanglement. We present a phenomenological toy model and perturbative calculations to analytically support these results. Furthermore, we extend these considerations to the non-Hermitian Ising model, naturally arising in optically monitored systems, and we show that its qualitative entanglement features are not altered by a finite density of projective measurements. Overall, these results reveal a complex phenomenology where local quantum measurements do not simply disentangle degrees of freedom, but may actually strengthen the entanglement in the system.


title: USB-NeRF: Unrolling Shutter Bundle Adjusted Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) has received much attention recently due to its impressive capability to represent 3D scene and synthesize novel view images. Existing works usually assume that the input images are captured by a global shutter camera. Thus, rolling shutter (RS) images cannot be trivially applied to an off-the-shelf NeRF algorithm for novel view synthesis. Rolling shutter effect would also affect the accuracy of the camera pose estimation (e.g. via COLMAP), which further prevents the success of NeRF algorithm with RS images. In this paper, we propose Unrolling Shutter Bundle Adjusted Neural Radiance Fields (USB-NeRF). USB-NeRF is able to correct rolling shutter distortions and recover accurate camera motion trajectory simultaneously under the framework of NeRF, by modeling the physical image formation process of a RS camera. Experimental results demonstrate that USB-NeRF achieves better performance compared to prior works, in terms of RS effect removal, novel view image synthesis as well as camera motion estimation. Furthermore, our algorithm can also be used to recover high-fidelity high frame-rate global shutter video from a sequence of RS images.


title: Generalized time-dependent SIS Hamiltonian models: Exact solutions and quantum deformations

abstract: The theory of Lie-Hamilton systems is used to construct generalized time-dependent SIS epidemic Hamiltonians with a variable infection rate from the 'book' Lie algebra. Although these are characterized by a set of non-autonomous nonlinear and coupled differential equations, their corresponding exact solution is explicitly found. Moreover, the quantum deformation of the book algebra is also considered, from which the corresponding deformed SIS Hamiltonians are obtained and interpreted as perturbations in terms of the quantum deformation parameter of previously known SIS systems. The exact solutions for these deformed systems are also obtained.


title: Nonlinear terahertz polarizability of electrons solvated in a polar liquid

abstract: The nonlinear polaronic response of electrons solvated in liquid 2-propanol is studied by two-dimensional terahertz spectroscopy. Solvated electrons with a concentration of c$_e \approx$ 800 $\mu$M are generated by femtosecond photoionization of alcohol molecules. Electron relaxation to a localized ground state impulsively excites coherent polaron oscillations with a frequency of 3.9 THz. Off-resonant perturbation of the THz coherence by a pulse centered at 1.5 THz modifies the polaron oscillation phase. This nonlinear change of electron polarizability is reproduced by theoretical calculations.


title: Multi-Dimension-Embedding-Aware Modality Fusion Transformer for Psychiatric Disorder Clasification

abstract: Deep learning approaches, together with neuroimaging techniques, play an important role in psychiatric disorders classification. Previous studies on psychiatric disorders diagnosis mainly focus on using functional connectivity matrices of resting-state functional magnetic resonance imaging (rs-fMRI) as input, which still needs to fully utilize the rich temporal information of the time series of rs-fMRI data. In this work, we proposed a multi-dimension-embedding-aware modality fusion transformer (MFFormer) for schizophrenia and bipolar disorder classification using rs-fMRI and T1 weighted structural MRI (T1w sMRI). Concretely, to fully utilize the temporal information of rs-fMRI and spatial information of sMRI, we constructed a deep learning architecture that takes as input 2D time series of rs-fMRI and 3D volumes T1w. Furthermore, to promote intra-modality attention and information fusion across different modalities, a fusion transformer module (FTM) is designed through extensive self-attention of hybrid feature maps of multi-modality. In addition, a dimension-up and dimension-down strategy is suggested to properly align feature maps of multi-dimensional from different modalities. Experimental results on our private and public OpenfMRI datasets show that our proposed MFFormer performs better than that using a single modality or multi-modality MRI on schizophrenia and bipolar disorder diagnosis.


title: Robust Ocean Subgrid-Scale Parameterizations Using Fourier Neural Operators

abstract: In climate simulations, small-scale processes shape ocean dynamics but remain computationally expensive to resolve directly. For this reason, their contributions are commonly approximated using empirical parameterizations, which lead to significant errors in long-term projections. In this work, we develop parameterizations based on Fourier Neural Operators, showcasing their accuracy and generalizability in comparison to other approaches. Finally, we discuss the potential and limitations of neural networks operating in the frequency domain, paving the way for future investigation.


title: Clustering-based Image-Text Graph Matching for Domain Generalization

abstract: Learning domain-invariant visual representations is important to train a model that can generalize well to unseen target task domains. Recent works demonstrate that text descriptions contain high-level class-discriminative information and such auxiliary semantic cues can be used as effective pivot embedding for domain generalization problem. However, they use pivot embedding in global manner (i.e., aligning an image embedding with sentence-level text embedding), not fully utilizing the semantic cues of given text description. In this work, we advocate for the use of local alignment between image regions and corresponding textual descriptions. To this end, we first represent image and text inputs with graphs. We subsequently cluster nodes in those graphs and match the graph-based image node features into textual graphs. This matching process is conducted globally and locally, tightly aligning visual and textual semantic sub-structures. We experiment with large-scale public datasets, such as CUB-DG and DomainBed, and our model achieves matched or better state-of-the-art performance on these datasets. Our code will be publicly available upon publication.


title: Resilient Clock Synchronization Architecture for Industrial Time-Sensitive Networking

abstract: Time-Sensitive Networking (TSN) is a promising industrial Internet of Things technology. Clock synchronization provides unified time reference, which is critical to the deterministic communication of TSN. However, changes in internal network status and external work environments of devices both degrade practical synchronization performance. This paper proposes a temperature-resilient architecture considering delay asymmetry (TACD) to enhance the timing accuracy under the impacts of internal delay and external thermal changes. In TACD, an anti-delay-asymmetry method is developed, which employs a partial variational Bayesian algorithm to promote adaptability to non-stationary delay variation. An optimized skew estimator is further proposed, fusing the temperature skew model for ambiance perception with the traditional linear clock model to compensate for nonlinear error caused by temperature changes. Theoretical derivation of skew estimation lower bound proves the promotion of optimal accuracy after the fusion of clock models. Evaluations based on measured delay data demonstrate accuracy advantages regardless of internal or external influences.


title: Probabilistic Block Term Decomposition for the Modelling of Higher-Order Arrays

abstract: Tensors are ubiquitous in science and engineering and tensor factorization approaches have become important tools for the characterization of higher order structure. Factorizations includes the outer-product rank Canonical Polyadic Decomposition (CPD) as well as the multi-linear rank Tucker decomposition in which the Block-Term Decomposition (BTD) is a structured intermediate interpolating between these two representations. Whereas CPD, Tucker, and BTD have traditionally relied on maximum-likelihood estimation, Bayesian inference has been use to form probabilistic CPD and Tucker. We propose, an efficient variational Bayesian probabilistic BTD, which uses the von-Mises Fisher matrix distribution to impose orthogonality in the multi-linear Tucker parts forming the BTD. On synthetic and two real datasets, we highlight the Bayesian inference procedure and demonstrate using the proposed pBTD on noisy data and for model order quantification. We find that the probabilistic BTD can quantify suitable multi-linear structures providing a means for robust inference of patterns in multi-linear data.


title: Combing the Brown Dwarf Desert with Gaia DR3

abstract: We have created an up-to-date catalogue of 214 brown dwarfs (BDs) in binaries with $P < 10^4$ d. This allows us to examine the population statistics of the brown dwarf desert. We searched $\textit{Gaia}$ DR3 NSS results for orbital inclinations of BD candidates, deriving 12 new masses. Three remain as desert BDs whereas nine candidates are found to be low-mass stars. We improved the RV solutions for three previously studied BD candidates. A further 19 BD masses with periods less than $\sim$ 1200 d were identified in the DR3 $\texttt{binary_masses}$ database. We confirm a valley in the mass distribution with a minimum around 30-35 M$_{\textrm{jup}}$, and find that periods $<$ 100 d are still under-populated in comparison to longer periods. The updated mass and eccentricity distribution of BDs still shows a marginally statistically significant split into high- and low-mass BD populations. This hints at two different parent distributions, and two potential origins $-$ either akin to planetary formation, or stellar. There are no low eccentricity BDs at periods around 100 d. The mass-metallicity distribution of BDs indicates that core accretion is not the dominant formation mechanism for BDs as they do not follow the same trends that giant exoplanets do with metallicity. We identify a diagonal envelope bounding the Gaia BDs in the mass-period plane due to the detection thresholds of the currently available NSS solutions from 34 months of data.


title: Curve Trajectory Model for Human Preferred Path Planning of Automated Vehicles

abstract: Automated driving systems are often used for lane keeping tasks. By these systems, a local path is planned ahead of the vehicle. However, these paths are often found unnatural by human drivers. We propose a linear driver model, which can calculate node points that reflect the preferences of human drivers and based on these node points a human driver preferred motion path can be designed for autonomous driving. The model input is the road curvature. We apply this model to a self-developed Euler-curve-based curve fitting algorithm. Through a case study, we show that the model based planned path can reproduce the average behavior of human curve path selection. We analyze the performance of the proposed model through statistical analysis that shows the validity of the captured relations.


title: Sounding the metabolic orchestra: A delay dynamical systems perspective on the glucose-insulin regulatory response to on-off glucose infusion

abstract: We investigate the consequences of periodic, on-off glucose infusion on the glucose-insulin regulatory system on the basis of a system-level mathematical model with two explicit time delays. Studying the effects of such infusion protocols is mathematically challenging yet a promising direction for probing the system response to infusion. We pay special attention to the interplay of the infusion with intermediate-time-scale, ultradian oscillations that arise as a results of the physiological response of glucose uptake and back-release into the bloodstream. By using numerical solvers and numerical continuation software, we investigate the response of the model to different infusion patterns, and explore how these patterns affect the overall levels of glucose and insulin, and can lead to entrainment. By doing so, we provide a road-map of system responses that can potentially help identify new test strategies for detecting abnormal responses to glucose uptake.


title: Enhanced Federated Optimization: Adaptive Unbiased Sampling with Reduced Variance

abstract: Federated Learning (FL) is a distributed learning paradigm to train a global model across multiple devices without collecting local data. In FL, a server typically selects a subset of clients for each training round to optimize resource usage. Central to this process is the technique of unbiased client sampling, which ensures a representative selection of clients. Current methods primarily utilize a random sampling procedure which, despite its effectiveness, achieves suboptimal efficiency owing to the loose upper bound caused by the sampling variance. In this work, by adopting an independent sampling procedure, we propose a federated optimization framework focused on adaptive unbiased client sampling, improving the convergence rate via an online variance reduction strategy. In particular, we present the first adaptive client sampler, K-Vib, employing an independent sampling procedure. K-Vib achieves a linear speed-up on the regret bound $\tilde{\mathcal{O}}\big(N^{\frac{1}{3}}T^{\frac{2}{3}}/K^{\frac{4}{3}}\big)$ within a set communication budget $K$. Empirical studies indicate that K-Vib doubles the speed compared to baseline algorithms, demonstrating significant potential in federated optimization.


title: Continual Contrastive Spoken Language Understanding

abstract: Recently, neural networks have shown impressive progress across diverse fields, with speech processing being no exception. However, recent breakthroughs in this area require extensive offline training using large datasets and tremendous computing resources. Unfortunately, these models struggle to retain their previously acquired knowledge when learning new tasks continually, and retraining from scratch is almost always impractical. In this paper, we investigate the problem of learning sequence-to-sequence models for spoken language understanding in a class-incremental learning (CIL) setting and we propose COCONUT, a CIL method that relies on the combination of experience replay and contrastive learning. Through a modified version of the standard supervised contrastive loss applied only to the rehearsal samples, COCONUT preserves the learned representations by pulling closer samples from the same class and pushing away the others. Moreover, we leverage a multimodal contrastive loss that helps the model learn more discriminative representations of the new data by aligning audio and text features. We also investigate different contrastive designs to combine the strengths of the contrastive loss with teacher-student architectures used for distillation. Experiments on two established SLU datasets reveal the effectiveness of our proposed approach and significant improvements over the baselines. We also show that COCONUT can be combined with methods that operate on the decoder side of the model, resulting in further metrics improvements.


title: Insights of using Control Theory for minimizing Induced Seismicity in Underground Reservoirs

abstract: Deep Geothermal Energy, Carbon Capture, and Storage and Hydrogen Storage have significant potential to meet the large-scale needs of the energy sector and reduce the CO$_2$ emissions. However, the injection of fluids into the earth's crust, upon which these activities rely, can lead to the formation of new seismogenic faults or the reactivation of existing ones, thereby causing earthquakes. In this study, we propose a novel approach based on control theory to address this issue. First, we obtain a simplified model of induced seismicity due to fluid injections in an underground reservoir using a diffusion equation in three dimensions. Then, we design a robust tracking control approach to force the seismicity rate to follow desired references. In this way, the induced seismicity is minimized while ensuring fluid circulation for the needs of renewable energy production and storage. The designed control guarantees the achievement of the control objectives even in the presence of system uncertainties and unknown dynamics. Finally, we present simulations of a simplified geothermal reservoir under different scenarios of energy demand to show the reliability and performance of the control approach, opening new perspectives for field experiments based on real-time regulators.


title: Cheeger cuts and Robin spectral minimal partitions of metric graphs

abstract: We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) vertex conditions at the boundary of the partition elements. We prove existence of minimising $k$-partitions, $k \geq 2$, for both these functionals. We also show that, for each $k \geq 2$, as the Robin parameter $\alpha \to 0$, up to a renormalisation the spectral minimal Robin energy converges to the $k$-Cheeger constant. Moreover, up to a subsequence, the Robin spectral minimal $k$-partitions converge in a natural sense to a $k$-Cheeger cut of the graph. Finally, we show that as $\alpha \to \infty$ there is convergence in a similar sense to the corresponding Dirichlet minimal energy and partitions. It is strongly expected that similar results hold on general (smooth, bounded) Euclidean domains and manifolds.


title: FedAWARE: Maximizing Gradient Diversity for Heterogeneous Federated Server-side Optimization

abstract: Federated learning (FL) is a distributed learning framework where numerous clients collaborate with a central server to train a model without sharing local data. However, the standard federated optimization in real-world applications faces both statistical and system heterogeneity challenges, which result in unfavorable convergence behavior. The previous works attempted to modify the local training process (client-side) to tackle heterogeneity challenges. However, they ignored that the updates on the server side can coordinate the diverse local updates efficiently. This work explores the effect of server-side updates against heterogeneity issues. We first introduce the gradient diversity maximization direction findings, suggesting the global model moves continuously in this direction for fast and stable convergence. Then, we derive a novel server-side optimizer \textsc{FedAWARE} with rigorous convergence analysis for general non-convex settings. Our extensive experiments across multiple heterogeneous federated settings using four datasets showcase that \textsc{FedAWARE} achieves competitive convergence performance in comparison to state-of-the-art adaptive federated optimizers. Furthermore, our results show that \textsc{FedAWARE} can enhance the performance of FL algorithms as a plug-in module. Our source code is available at \url{https://github.com/dunzeng/FedAWARE}.


title: Multi-fidelity No-U-Turn Sampling

abstract: Markov Chain Monte Carlo (MCMC) methods often take many iterations to converge for highly correlated or high-dimensional target density functions. Methods such as Hamiltonian Monte Carlo (HMC) or No-U-Turn Sampling (NUTS) use the first-order derivative of the density function to tackle the aforementioned issues. However, the calculation of the derivative represents a bottleneck for computationally expensive models. We propose to first build a multi-fidelity Gaussian Process (GP) surrogate. The building block of the multi-fidelity surrogate is a hierarchy of models of decreasing approximation error and increasing computational cost. Then the generated multi-fidelity surrogate is used to approximate the derivative. The majority of the computation is assigned to the cheap models thereby reducing the overall computational cost. The derivative of the multi-fidelity method is used to explore the target density function and generate proposals. We select or reject the proposals using the Metropolis Hasting criterion using the highest fidelity model which ensures that the proposed method is ergodic with respect to the highest fidelity density function. We apply the proposed method to three test cases including some well-known benchmarks to compare it with existing methods and show that multi-fidelity No-U-turn sampling outperforms other methods.


title: Extending Isabelle/HOL's Code Generator with support for the Go programming language

abstract: The Isabelle proof assistant includes a small functional language, which allows users to write and reason about programs. So far, these programs could be extracted into a number of functional languages: Standard ML, OCaml, Scala, and Haskell. This work adds support for Go as a fifth target language for the Code Generator. Unlike the previous targets, Go is not a functional language and encourages code in an imperative style, thus many of the features of Isabelle's language (particularly data types, pattern matching, and type classes) have to be emulated using imperative language constructs in Go. The developed Code Generation is provided as an add-on library that can be simply imported into existing theories.


title: B-physics from Lattice Gauge Theory

abstract: We discuss the main issues in dealing with heavy quarks on the lattice and shortly present the different approaches used. We discuss a selection of computations covering first the b-quark mass and the B(s) meson decay constants as the consolidated results (neglecting isospin breaking corrections). In the second part we consider recent calculations of form factors for tree-level semileptonic decays with emphasis on the tensions between the results produced by different collaborations. We propose benchmark quantities and tests suited to investigate the origin of such tensions. Finally, we review computations of the bag parameters parameterising neutral meson mixing and provide an overview on a few recent developments in the field.


title: Momentum Distribution of a Fermi Gas in the Random Phase Approximation

abstract: We consider a system of interacting fermions on the three-dimensional torus in the mean-field scaling limit. Our objective is computing the occupation number of the Fourier modes in a trial state obtained through the random phase approximation for the ground state. Our result shows that -- in the trial state -- the momentum distribution has a jump discontinuity, i. e., the system has a well-defined Fermi surface. Moreover the Fermi momentum does not depend on the interaction potential (it is universal).

categories: math-ph cond-mat.quant-gas cond-mat.str-el math.MP


title: Geometric spectral theory of quantum graphs

abstract: These are lecture notes from a course given at the summer school ``Heat kernels and spectral geometry: from manifolds to graphs'' in Bregenz, Austria, 2022. They are designed to be accessible to doctoral level students, and include background chapters on Laplacians on domains and quantum graphs before moving on to specialised topics involving the dependence and optimisation of operator eigenvalues on a metric graph in function of the graph geometry, drawn in part from the recent literature.


title: Beyond Diagonal Reconfigurable Intelligent Surfaces with Mutual Coupling: Modeling and Optimization

abstract: This work studies the modeling and optimization of beyond diagonal reconfigurable intelligent surface (BD-RIS) aided wireless communication systems in the presence of mutual coupling among the RIS elements. Specifically, we first derive the mutual coupling aware BD-RIS aided communication model using scattering and impedance parameter analysis. Based on the obtained communication model, we propose a general BD-RIS optimization algorithm applicable to different architectures of BD-RIS to maximize the channel gain. Numerical results validate the effectiveness of the proposed design and demonstrate that the larger the mutual coupling the larger the gain offered by BD-RIS over conventional diagonal RIS.


title: Nanotube spin defects for omnidirectional magnetic field sensing

abstract: Optically addressable spin defects in three-dimensional (3D) crystals and two-dimensional (2D) van der Waals (vdW) materials are revolutionizing nanoscale quantum sensing. Spin defects in one-dimensional (1D) vdW nanotubes will provide unique opportunities due to their small sizes in two dimensions and absence of dangling bonds on side walls. However, optically detected magnetic resonance of localized spin defects in a nanotube has not been observed. Here, we report the observation of single spin color centers in boron nitride nanotubes (BNNTs) at room temperature. Our findings suggest that these BNNT spin defects possess a spin $S=1/2$ ground state without an intrinsic quantization axis, leading to orientation-independent magnetic field sensing. We harness this unique feature to observe anisotropic magnetization of a 2D magnet in magnetic fields along orthogonal directions, a challenge for conventional spin $S=1$ defects such as diamond nitrogen-vacancy centers. Additionally, we develop a method to deterministically transfer a BNNT onto a cantilever and use it to demonstrate scanning probe magnetometry. Further refinement of our approach will enable atomic scale quantum sensing of magnetic fields in any direction.


title: Local Search GFlowNets

abstract: Generative Flow Networks (GFlowNets) are amortized sampling methods that learn a distribution over discrete objects proportional to their rewards. GFlowNets exhibit a remarkable ability to generate diverse samples, yet occasionally struggle to consistently produce samples with high rewards due to over-exploration on wide sample space. This paper proposes to train GFlowNets with local search, which focuses on exploiting high-rewarded sample space to resolve this issue. Our main idea is to explore the local neighborhood via backtracking and reconstruction guided by backward and forward policies, respectively. This allows biasing the samples toward high-reward solutions, which is not possible for a typical GFlowNet solution generation scheme, which uses the forward policy to generate the solution from scratch. Extensive experiments demonstrate a remarkable performance improvement in several biochemical tasks. Source code is available: \url{https://github.com/dbsxodud-11/ls_gfn}.


title: Anisotropy of magnetized quark matter

abstract: Strong transient magnetic fields are generated in non-central relativistic heavy-ion collisions. These fields induce anisotropy within the strongly interacting medium that, in principle, can affect the thermodynamic properties of the medium. We use the Polyakov loop extended Nambu Jona-Lasinio model to study the quark matter subjected to an external magnetic field at vanishing baryon chemical potential ($\mu_{B}$). We have estimated the degree of anisotropy in the speed of sound and isothermal compressibility within the magnetized quark matter as a function of temperature ($T$) and magnetic field ($eB$). This study helps us to understand the extent of directionality generated in the initial stages of non-central collisions while giving us useful information about the system.


title: ED-NeRF: Efficient Text-Guided Editing of 3D Scene with Latent Space NeRF

abstract: Recently, there has been a significant advancement in text-to-image diffusion models, leading to groundbreaking performance in 2D image generation. These advancements have been extended to 3D models, enabling the generation of novel 3D objects from textual descriptions. This has evolved into NeRF editing methods, which allow the manipulation of existing 3D objects through textual conditioning. However, existing NeRF editing techniques have faced limitations in their performance due to slow training speeds and the use of loss functions that do not adequately consider editing. To address this, here we present a novel 3D NeRF editing approach dubbed ED-NeRF by successfully embedding real-world scenes into the latent space of the latent diffusion model (LDM) through a unique refinement layer. This approach enables us to obtain a NeRF backbone that is not only faster but also more amenable to editing compared to traditional image space NeRF editing. Furthermore, we propose an improved loss function tailored for editing by migrating the delta denoising score (DDS) distillation loss, originally used in 2D image editing to the three-dimensional domain. This novel loss function surpasses the well-known score distillation sampling (SDS) loss in terms of suitability for editing purposes. Our experimental results demonstrate that ED-NeRF achieves faster editing speed while producing improved output quality compared to state-of-the-art 3D editing models.


title: scHyena: Foundation Model for Full-Length Single-Cell RNA-Seq Analysis in Brain

abstract: Single-cell RNA sequencing (scRNA-seq) has made significant strides in unraveling the intricate cellular diversity within complex tissues. This is particularly critical in the brain, presenting a greater diversity of cell types than other tissue types, to gain a deeper understanding of brain function within various cellular contexts. However, analyzing scRNA-seq data remains a challenge due to inherent measurement noise stemming from dropout events and the limited utilization of extensive gene expression information. In this work, we introduce scHyena, a foundation model designed to address these challenges and enhance the accuracy of scRNA-seq analysis in the brain. Specifically, inspired by the recent Hyena operator, we design a novel Transformer architecture called singe-cell Hyena (scHyena) that is equipped with a linear adaptor layer, the positional encoding via gene-embedding, and a {bidirectional} Hyena operator. This enables us to process full-length scRNA-seq data without losing any information from the raw data. In particular, our model learns generalizable features of cells and genes through pre-training scHyena using the full length of scRNA-seq data. We demonstrate the superior performance of scHyena compared to other benchmark methods in downstream tasks, including cell type classification and scRNA-seq imputation.


title: GETAvatar: Generative Textured Meshes for Animatable Human Avatars

abstract: We study the problem of 3D-aware full-body human generation, aiming at creating animatable human avatars with high-quality textures and geometries. Generally, two challenges remain in this field: i) existing methods struggle to generate geometries with rich realistic details such as the wrinkles of garments; ii) they typically utilize volumetric radiance fields and neural renderers in the synthesis process, making high-resolution rendering non-trivial. To overcome these problems, we propose GETAvatar, a Generative model that directly generates Explicit Textured 3D meshes for animatable human Avatar, with photo-realistic appearance and fine geometric details. Specifically, we first design an articulated 3D human representation with explicit surface modeling, and enrich the generated humans with realistic surface details by learning from the 2D normal maps of 3D scan data. Second, with the explicit mesh representation, we can use a rasterization-based renderer to perform surface rendering, allowing us to achieve high-resolution image generation efficiently. Extensive experiments demonstrate that GETAvatar achieves state-of-the-art performance on 3D-aware human generation both in appearance and geometry quality. Notably, GETAvatar can generate images at 512x512 resolution with 17FPS and 1024x1024 resolution with 14FPS, improving upon previous methods by 2x. Our code and models will be available.


title: Further results on covering codes with radius R and codimension tR + 1

abstract: The length function $\ell_q(r,R)$ is the smallest possible length $n$ of a $ q $-ary linear $[n,n-r]_qR$ code with codimension (redundancy) $r$ and covering radius $R$. Let $s_q(N,\rho)$ be the smallest size of a $\rho$-saturating set in the projective space $\mathrm{PG}(N,q)$. There is a one-to-one correspondence between $[n,n-r]_qR$ codes and $(R-1)$-saturating $n$-sets in $\mathrm{PG}(r-1,q)$ that implies $\ell_q(r,R)=s_q(r-1,R-1)$. In this work, for $R\ge3$, new asymptotic upper bounds on $\ell_q(tR+1,R)$ are obtained in the following form: $\hspace{0.7cm} \bullet~\ell_q(tR+1,R) =s_q(tR,R-1)\le \sqrt[R]{\frac{R!}{R^{R-2}}}\cdot q^{(r-R)/R}\cdot\sqrt[R]{\ln q}+o(q^{(r-R)/R}), \hspace{0.3cm}r=tR+1,~t\ge1,~ q\text{ is an arbitrary prime power},~q\text{ is large enough};$ $\hspace{0.7cm} \bullet~\text{ if additionally }R\text{ is large enough, then }\sqrt[R]{\frac{R!}{R^{R-2}}}\thicksim\frac{1}{e}\thickapprox0.3679. $ The new bounds are essentially better than the known ones. For $t=1$, a new construction of $(R-1)$-saturating sets in the projective space $\mathrm{PG}(R,q)$, providing sets of small sizes, is proposed. The $[n,n-(R+1)]_qR$ codes, obtained by the construction, have minimum distance $R + 1$, i.e. they are almost MDS (AMDS) codes. These codes are taken as the starting ones in the lift-constructions (so-called "$q^m$-concatenating constructions") for covering codes to obtain infinite families of codes with growing codimension $r=tR+1$, $t\ge1$.


title: Transfinite version of the Mittag-Leffler condition for the vanishing of the derived limit

abstract: We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in an arbitrary abelian category having a generator and satisfying Grothendieck axioms ${\rm (AB3)}$ and ${\rm (AB4^*)}.$ We also show that the class of inverse sequences $S$ such that ${\rm lim}\: S={\rm lim}^1 S=0$ is the least class of inverse sequences containing the trivial inverse sequence and closed with respect to small limits and a certain type of extensions.


title: Online Clustering of Bandits with Misspecified User Models

abstract: The contextual linear bandit is an important online learning problem where given arm features, a learning agent selects an arm at each round to maximize the cumulative rewards in the long run. A line of works, called the clustering of bandits (CB), utilize the collaborative effect over user preferences and have shown significant improvements over classic linear bandit algorithms. However, existing CB algorithms require well-specified linear user models and can fail when this critical assumption does not hold. Whether robust CB algorithms can be designed for more practical scenarios with misspecified user models remains an open problem. In this paper, we are the first to present the important problem of clustering of bandits with misspecified user models (CBMUM), where the expected rewards in user models can be perturbed away from perfect linear models. We devise two robust CB algorithms, RCLUMB and RSCLUMB (representing the learned clustering structure with dynamic graph and sets, respectively), that can accommodate the inaccurate user preference estimations and erroneous clustering caused by model misspecifications. We prove regret upper bounds of $O(\epsilon_*T\sqrt{md\log T} + d\sqrt{mT}\log T)$ for our algorithms under milder assumptions than previous CB works (notably, we move past a restrictive technical assumption on the distribution of the arms), which match the lower bound asymptotically in $T$ up to logarithmic factors, and also match the state-of-the-art results in several degenerate cases. The techniques in proving the regret caused by misclustering users are quite general and may be of independent interest. Experiments on both synthetic and real-world data show our outperformance over previous algorithms.


title: Understanding Pan-Sharpening via Generalized Inverse

abstract: Pan-sharpening algorithm utilizes panchromatic image and multispectral image to obtain a high spatial and high spectral image. However, the optimizations of the algorithms are designed with different standards. We adopt the simple matrix equation to describe the Pan-sharpening problem. The solution existence condition and the acquirement of spectral and spatial resolution are discussed. A down-sampling enhancement method was introduced for better acquiring the spatial and spectral down-sample matrices. By the generalized inverse theory, we derived two forms of general inverse matrix formulations that can correspond to the two prominent classes of Pan-sharpening methods, that is, component substitution and multi-resolution analysis methods. Specifically, the Gram Schmidt Adaptive(GSA) was proved to follow the general inverse matrix formulation of component substitution. A model prior to the general inverse matrix of the spectral function was rendered. The theoretical errors are analyzed. Synthetic experiments and real data experiments are implemented. The proposed methods are better and sharper than other methods qualitatively in both synthetic and real experiments. The down-sample enhancement effect is shown of better results both quantitatively and qualitatively in real experiments. The generalized inverse matrix theory help us better understand the Pan-sharpening.


title: Condition numbers in multiview geometry, instability in relative pose estimation, and RANSAC

abstract: In this paper we introduce a general framework for analyzing the numerical conditioning of minimal problems in multiple view geometry, using tools from computational algebra and Riemannian geometry. Special motivation comes from the fact that relative pose estimation, based on standard 5-point or 7-point Random Sample Consensus (RANSAC) algorithms, can fail even when no outliers are present and there is enough data to support a hypothesis. We argue that these cases arise due to the intrinsic instability of the 5- and 7-point minimal problems. We apply our framework to characterize the instabilities, both in terms of the world scenes that lead to infinite condition number, and directly in terms of ill-conditioned image data. The approach produces computational tests for assessing the condition number before solving the minimal problem. Lastly synthetic and real data experiments suggest that RANSAC serves not only to remove outliers, but also to select for well-conditioned image data, as predicted by our theory.


title: Multi-resolution HuBERT: Multi-resolution Speech Self-Supervised Learning with Masked Unit Prediction

abstract: Existing Self-Supervised Learning (SSL) models for speech typically process speech signals at a fixed resolution of 20 milliseconds. This approach overlooks the varying informational content present at different resolutions in speech signals. In contrast, this paper aims to incorporate multi-resolution information into speech self-supervised representation learning. We introduce a SSL model that leverages a hierarchical Transformer architecture, complemented by HuBERT-style masked prediction objectives, to process speech at multiple resolutions. Experimental results indicate that the proposed model not only achieves more efficient inference but also exhibits superior or comparable performance to the original HuBERT model over various tasks. Specifically, significant performance improvements over the original HuBERT have been observed in fine-tuning experiments on the LibriSpeech speech recognition benchmark as well as in evaluations using the Speech Universal PERformance Benchmark (SUPERB) and Multilingual SUPERB (ML-SUPERB).


title: Leveraging Temporal Graph Networks Using Module Decoupling

abstract: Modern approaches for learning on dynamic graphs have adopted the use of batches instead of applying updates one by one. The use of batches allows these techniques to become helpful in streaming scenarios where updates to graphs are received at extreme speeds. Using batches, however, forces the models to update infrequently, which results in the degradation of their performance. In this work, we suggest a decoupling strategy that enables the models to update frequently while using batches. By decoupling the core modules of temporal graph networks and implementing them using a minimal number of learnable parameters, we have developed the Lightweight Decoupled Temporal Graph Network (LDTGN), an exceptionally efficient model for learning on dynamic graphs. LDTG was validated on various dynamic graph benchmarks, providing comparable or state-of-the-art results with significantly higher throughput than previous art. Notably, our method outperforms previous approaches by more than 20\% on benchmarks that require rapid model update rates, such as USLegis or UNTrade. The code to reproduce our experiments is available at \href{https://orfeld415.github.io/module-decoupling}{this http url}.


title: Discrete-time Quantum Walk on Multilayer Networks

abstract: Multilayer network is a potent platform which paves a way to study the interactions among entities in various networks with multiple types of relationships. In this study, the dynamics of discrete-time quantum walk on a multilayer network are explored in detail. We derive recurrence formulae for the coefficients of the wave function of a quantum walker on an undirected graph with finite number of nodes. By extending these formulae to include extra layers, we develop a simulation model to describe the time-evolution of the quantum walker on a multilayer network. The time-averaged probability and the return probability of the quantum walker are studied in relation to Fourier and Grover walks on multilayer networks. Furthermore, we analyze the impact of decoherence on the quantum transport, shedding light on how environmental interactions may impact the behavior of quantum walkers on multilayer network structures.


title: The Bohr radius and the Hadamard convolution operator

abstract: The concept of the Bohr radius of a pair of operators is introduced. In terms of the convolution function, a general formula for calculating the Bohr radius of the Hadamard convolution type operator with a fixed initial coefficient is obtained. We apply this formula to the problems of the Bohr radius of the operators of differentiation and integration. Using the concept of the Bohr radius of a pair of operators, we generalize the theorem of B.Bhowmik and N.Das on the comparison of majorant series of subordinate functions.


title: End-to-End Training of a Neural HMM with Label and Transition Probabilities

abstract: We investigate a novel modeling approach for end-to-end neural network training using hidden Markov models (HMM) where the transition probabilities between hidden states are modeled and learned explicitly. Most contemporary sequence-to-sequence models allow for from-scratch training by summing over all possible label segmentations in a given topology. In our approach there are explicit, learnable probabilities for transitions between segments as opposed to a blank label that implicitly encodes duration statistics. We implement a GPU-based forward-backward algorithm that enables the simultaneous training of label and transition probabilities. We investigate recognition results and additionally Viterbi alignments of our models. We find that while the transition model training does not improve recognition performance, it has a positive impact on the alignment quality. The generated alignments are shown to be viable targets in state-of-the-art Viterbi trainings.


title: Insights into oscillator network dynamics using a phase-isostable framework

abstract: Networks of coupled nonlinear oscillators can display a wide range of emergent behaviours under variation of the strength of the coupling. Network equations for pairs of coupled oscillators where the dynamics of each node is described by the evolution of its phase and slowest decaying isostable coordinate have previously been shown to capture bifurcations and dynamics of the network which cannot be explained through standard phase reduction. An alternative framework using isostable coordinates to obtain higher-order phase reductions has also demonstrated a similar descriptive ability for two oscillators. In this work we consider the phase-isostable network equations for an arbitrary but finite number of identical coupled oscillators, obtaining conditions required for stability of phase-locked states including synchrony. For the mean-field complex Ginzburg-Landau equation where the solutions of the full system are known, we compare the accuracy of the phase-isostable network equations and higher-order phase reductions in capturing bifurcations of phase-locked states. We find the former to be the more accurate and therefore employ this to investigate the dynamics of globally linearly coupled networks of Morris-Lecar neuron models (both two and many nodes). We observe qualitative correspondence between results from numerical simulations of the full system and the phase-isostable description demonstrating that in both small and large networks the phase-isostable framework is able to capture dynamics that the first-order phase description cannot.


title: Optimal Collaborative Transportation for Under-Capacitated Vehicle Routing Problems using Aerial Drone Swarms

abstract: Swarms of aerial drones have recently been considered for last-mile deliveries in urban logistics or automated construction. At the same time, collaborative transportation of payloads by multiple drones is another important area of recent research. However, efficient coordination algorithms for collaborative transportation of many payloads by many drones remain to be considered. In this work, we formulate the collaborative transportation of payloads by a swarm of drones as a novel, under-capacitated generalization of vehicle routing problems (VRP), which may also be of separate interest. In contrast to standard VRP and capacitated VRP, we must additionally consider waiting times for payloads lifted cooperatively by multiple drones, and the corresponding coordination. Algorithmically, we provide a solution encoding that avoids deadlocks and formulate an appropriate alternating minimization scheme to solve the problem. On the hardware side, we integrate our algorithms with collision avoidance and drone controllers. The approach and the impact of the system integration are successfully verified empirically, both on a swarm of real nano-quadcopters and for large swarms in simulation. Overall, we provide a framework for collaborative transportation with aerial drone swarms, that uses only as many drones as necessary for the transportation of any single payload.


title: Functional trustworthiness of AI systems by statistically valid testing

abstract: The authors are concerned about the safety, health, and rights of the European citizens due to inadequate measures and procedures required by the current draft of the EU Artificial Intelligence (AI) Act for the conformity assessment of AI systems. We observe that not only the current draft of the EU AI Act, but also the accompanying standardization efforts in CEN/CENELEC, have resorted to the position that real functional guarantees of AI systems supposedly would be unrealistic and too complex anyways. Yet enacting a conformity assessment procedure that creates the false illusion of trust in insufficiently assessed AI systems is at best naive and at worst grossly negligent. The EU AI Act thus misses the point of ensuring quality by functional trustworthiness and correctly attributing responsibilities. The trustworthiness of an AI decision system lies first and foremost in the correct statistical testing on randomly selected samples and in the precision of the definition of the application domain, which enables drawing samples in the first place. We will subsequently call this testable quality functional trustworthiness. It includes a design, development, and deployment that enables correct statistical testing of all relevant functions. We are firmly convinced and advocate that a reliable assessment of the statistical functional properties of an AI system has to be the indispensable, mandatory nucleus of the conformity assessment. In this paper, we describe the three necessary elements to establish a reliable functional trustworthiness, i.e., (1) the definition of the technical distribution of the application, (2) the risk-based minimum performance requirements, and (3) the statistically valid testing based on independent random samples.


title: Counterdiabatic Driving for Periodically Driven Systems

abstract: Periodically driven systems have emerged as a useful technique to engineer the properties of quantum systems, and are in the process of being developed into a standard toolbox for quantum simulation. An outstanding challenge that leaves this toolbox incomplete is the manipulation of the states dressed by strong periodic drives. The state-of-the-art in Floquet control is the adiabatic change of parameters. Yet, this requires long protocols conflicting with the limited coherence times in experiments. To achieve fast control of nonequilibrium quantum matter, we generalize the notion of variational counterdiabatic driving away from equilibrium focusing on Floquet systems. We derive a nonperturbative variational principle to find local approximations to the adiabatic gauge potential for the effective Floquet Hamiltonian. It enables transitionless driving of Floquet eigenstates far away from the adiabatic regime. We discuss applications to two-level, Floquet band, and interacting periodically-driven models. The developed technique allows us to capture non-perturbative photon resonances and obtain high-fidelity protocols that respect experimental limitations like the locality of the accessible control terms.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Efficient Quantification and Representation of Aggregate Flexibility in Electric Vehicles

abstract: Aggregation is crucial to the effective use of flexibility, especially in the case of electric vehicles (EVs) because of their limited individual battery sizes and large aggregate impact. This research proposes a novel method to quantify and represent the aggregate charging flexibility of EV fleets within a fixed flexibility request window. These windows can be chosen based on relevant network operator needs, such as evening congestion periods. The proposed representation is independent of the number of assets but scales only with the number of discrete time steps in the chosen window. The representation involves $2T$ parameters, with T being the number of consecutive time steps in the window. The feasibility of aggregate power signals can be checked using $2T$ constraints and optimized using $2(2^T-1)$ constraints, both exactly capturing the flexibility region. Using a request window eliminates uncertainty related to EV arrival and departure times outside the window. We present the necessary theoretical framework for our proposed methods and outline steps for transitioning between representations. Additionally, we compare the computational efficiency of the proposed method with the common direct aggregation method, where individual EV constraints are concatenated.


title: Emergence and control of synchronization in networks with directed many-body interactions

abstract: The emergence of collective behaviors in networks of dynamical units in pairwise interaction has been explained as the effect of diffusive coupling. How does the presence of higher-order interaction impact the onset of spontaneous or induced synchronous behavior? Inspired by actuation and measurement constraints typical of physical and engineered systems, we propose a diffusion mechanism over hypergraphs that explains the onset of synchronization through a clarifying analogy with signed graphs. Our findings are mathematically backed by general conditions for convergence to the synchronous state.


title: State Feedback Control Design for Input-output Decoupling of Boolean Control Networks

abstract: A state feedback control strategy is proposed for input-output (IO) decoupling of a class of fully output controllable Boolean control networks (BCNs). Some necessary and sufficient conditions for BCN IO-decoupling are presented. As an instrumental tool in our design, we introduce a canonical form for IO-decoupled BCNs along with some conditions guaranteeing its existence. Finally, two numerical examples are provided to illustrate the effectiveness of the proposed approach.


title: Discriminative Training of VBx Diarization

abstract: Bayesian HMM clustering of x-vector sequences (VBx) has become a widely adopted diarization baseline model in publications and challenges. It uses an HMM to model speaker turns, a generatively trained probabilistic linear discriminant analysis (PLDA) for speaker distribution modeling, and Bayesian inference to estimate the assignment of x-vectors to speakers. This paper presents a new framework for updating the VBx parameters using discriminative training, which directly optimizes a predefined loss. We also propose a new loss that better correlates with the diarization error rate compared to binary cross-entropy $\unicode{x2013}$ the default choice for diarization end-to-end systems. Proof-of-concept results across three datasets (AMI, CALLHOME, and DIHARD II) demonstrate the method's capability of automatically finding hyperparameters, achieving comparable performance to those found by extensive grid search, which typically requires additional hyperparameter behavior knowledge. Moreover, we show that discriminative fine-tuning of PLDA can further improve the model's performance. We release the source code with this publication.


title: Seasonally Varying Outgassing as an Explanation for Dark Comet Accelerations

abstract: Significant nonradial, nongravitational accelerations with magnitudes incompatible with radiation-driven effects have been reported in seven small, photometrically inactive near-Earth objects. Two of these objects exhibit large transverse accelerations (i.e., within the orbital plane but orthogonal to the radial direction), and six exhibit significant out-of-plane accelerations. Here, we find that anisotropic outgassing resulting from differential heating on a nucleus with nonzero spin-pole obliquity, averaged over an eccentric orbit, can explain these accelerations for most of the objects. This balanced outgassing model depends on three parameters -- the spin pole orientation (R.A. and Dec.) and an acceleration magnitude. For these "dark comets" (excepting 2003 RM), we obtain parameter values that reproduce the observed nongravitational accelerations. We derive formulae for the component accelerations under certain assumptions for the acceleration scaling over heliocentric distance. Although we lack estimates of these objects' spin axes to confirm our values, this mechanism is nevertheless a plausible explanation for the observed accelerations, and produces accurate perturbations to the heliocentric motions of most of these objects. This model may also be applied to active objects outside of the dark comets group.


title: Numerical modeling of hydrogel scaffold anisotropy during extrusion-based 3D printing for tissue engineering

abstract: Extrusion-based 3D printing is a recent and widely used tissue engineering tool that provides precise 3D control of bioinks to create organ-size biomaterial-based objects composed of hierarchically organized cellularized scaffolds. The internal organization of scaffold constituents should mimic the structural anisotropy of targeted tissue to stimulate proliferative cellular behavior during 3D cell culture. Both the choice of polymers constituting the bioink and the topological properties during the extrusion process greatly influence the structural anisotropy and cellular response of tissue engineering constructs. The bioink used in our study was a hydrogel made of three constituents: fibrinogen, alginate and gelatin. These components provide biocompatibility, printability and conservation of 3D shape after printing. The topological properties in flowing polymers are dictated by macromolecule conformation i.e. their orientation and degree of stretch. In this study, we used the micro-macro approach to describe the orientation state of hydrogel macromolecules during the extrusion process, offering a two-scale description of fluid behavior. The goal of our study was to use the Fokker-Planck equation, which describes the evolution of probability distribution function over time, to represent the real state of the constituent population in the representative elementary volume within a hydrogel during extrusion-based 3D printing. Our data suggest that for a tubular nozzle syringe, constituent orientation is driven by a high shear rate, which overcomes the fluid rheological behavior. Also, the interaction coefficient, which represents the microscopic interaction between fluid particles overcomes hydrogel behavior for constituent orientation in the prediction model.


title: Extracting Rules from Event Data for Study Planning

abstract: In this study, we examine how event data from campus management systems can be used to analyze the study paths of higher education students. The main goal is to offer valuable guidance for their study planning. We employ process and data mining techniques to explore the impact of sequences of taken courses on academic success. Through the use of decision tree models, we generate data-driven recommendations in the form of rules for study planning and compare them to the recommended study plan. The evaluation focuses on RWTH Aachen University computer science bachelor program students and demonstrates that the proposed course sequence features effectively explain academic performance measures. Furthermore, the findings suggest avenues for developing more adaptable study plans.


title: Searching for $H \to hh \to b\bar b\tau\tau$ in the 2HDM Type-I at the LHC

abstract: Unlike other realisations of the 2-Higgs Doublet Model (2HDM), the so-called Type-I allows for a very light Higgs boson spectrum. Specifically, herein, the heaviest of the two CP-even neutral Higgs states, $H$, can be the one discovered at the Large Hadron Collider (LHC) in 2012, with a mass of $\approx 125$ GeV and couplings consistent with those predicted by the Standard Model (SM). In such a condition of the model, referred to as `inverted mass hierarchy', the decay of the SM-like Higgs state into pairs of the lightest CP-even neutral Higgs boson, $h$, is possible, for masses of the latter ranging from $M_H/2\approx 65$ GeV down to 15 GeV or so, all compatible with experimental constraints. In this paper, we investigate the scope of the LHC in accessing the process $gg\to H \to hh\to b\bar b\tau\tau$ by performing a Monte Carlo (MC) analysis aimed at extracting this signal from the SM backgrounds, in presence of a dedicated trigger choice and kinematic selection. We prove that some sensitivity to such a channel exists already at Run 3 of the LHC while the High-Luminosity LHC (HL-LHC) will be able to either confirm or disprove this theoretical scenario over sizable regions of its parameter space.


title: Sigma model instantons and singular tau function

abstract: The generating series for the instanton contribution to Green functions of the $2D$ sigma model was found in the works of Schwarz, Fateev and Frolov. We show that this series can be written as a formal tau function of the two-sided two-component KP hierarchy. We call it formal singular tau function because this tau function is a sum where each term is the infrared and ultraviolet divergent one exactly as the series found by the mentioned authors. However one can regularize this singluar tau function and to obtain regular observables. This is because observables contains ratious of mentioned divergent expressions. Thus, we enladge the families of tau functions to work with.


title: Sloshing of viscous fluids: Application to aerospace

abstract: This bachelor project presents a theoretical model describing the resonant frequencies in rectangular and cylindrical tanks. It presents an experimental validation in the rectangular case. The resonant frequencies are determined and then used to construct a theoretical model for the free damping of viscous fluids. The predictions of the model are qualitatively analysed. The higher the resonant frequency, the higher the attenuation associated with that mode. Adding a layer of a more viscous liquid, even a thin one, significantly increases the attenuation. In addition, the addition of a layer of polystyrene beads prevents excitation at low frequencies. However, experiments are still needed to find out exactly what physical phenomena explain this. In addition. Finally, an algorithm is designed and implemented in a Matlab code to determine the behaviour of the liquid when subjected to a horizontal sinusoidal excitation. The results of the algorithm are promising, but it still encounters convergence problems for extreme cases. The algorithm can be used to make theoretical predictions for rocket propellants. The application of this research to the Bella Lui rocket of the EPFL rocket team is discussed.


title: uTalk: Bridging the Gap Between Humans and AI

abstract: Large Language Models (LLMs) have revolutionized various industries by harnessing their power to improve productivity and facilitate learning across different fields. One intriguing application involves combining LLMs with visual models to create a novel approach to Human-Computer Interaction. The core idea of this system is to create a user-friendly platform that enables people to utilize ChatGPT's features in their everyday lives. uTalk is comprised of technologies like Whisper, ChatGPT, Microsoft Speech Services, and the state-of-the-art (SOTA) talking head system SadTalker. Users can engage in human-like conversation with a digital twin and receive answers to any questions. Also, uTalk could generate content by submitting an image and input (text or audio). This system is hosted on Streamlit, where users will be prompted to provide an image to serve as their AI assistant. Then, as the input (text or audio) is provided, a set of operations will produce a video of the avatar with the precise response. This paper outlines how SadTalker's run-time has been optimized by 27.69% based on 25 frames per second (FPS) generated videos and 38.38% compared to our 20FPS generated videos. Furthermore, the integration and parallelization of SadTalker and Streamlit have resulted in a 9.8% improvement compared to the initial performance of the system.


title: Ergodic and mixing quantum channels: From two-qubit to many-body quantum systems

abstract: The development of classical ergodic theory has had a significant impact in the areas of mathematics, physics, and, in general, applied sciences. The quantum ergodic theory of Hamiltonian dynamics has its motivations to understand thermodynamics and statistical mechanics. Quantum channel, a completely positive trace-preserving map, represents a most general representation of quantum dynamics and is an essential aspect of quantum information theory and quantum computation. In this work, we study the ergodic theory of quantum channels by characterizing different levels of ergodic hierarchy from integrable to mixing. The quantum channels on single systems are constructed from the unitary operators acting on bipartite states and tracing out the environment. The interaction strength of these unitary operators measured in terms of operator entanglement provides sufficient conditions for the channel to be mixing. By using block diagonal unitary operators, we construct a set of non-ergodic channels. By using canonical form of two-qubit unitary operator, we analytically construct the channels on single qubit ranging from integrable to mixing. Moreover, we also study interacting many-body quantum systems that include the famous Sachdev-Ye-Kitaev (SYK) model and show that they display mixing within the framework of the quantum channel.


title: Averaging generalized scalar field cosmologies IV: locally rotationally symmetric Bianchi V model

abstract: This research focuses on scalar field cosmologies with a generalized harmonic potential. Our attention is centred on the anisotropic LRS Bianchi I and III metrics, Bianchi V metrics, and their isotropic limits. We provide a comprehensive overview of the first two metrics classes and offer new findings for Bianchi V metrics. We show that the Hubble parameter is a time-dependent perturbation parameter that controls the magnitude of the error between full-system and time-averaged solutions as it decreases, such that those complete and time-averaged systems have the same asymptotic behaviour. Therefore, oscillations entering the system can be controlled and smoothed out, which simplifies the problem at hand.


title: Comparative Analysis of Imbalanced Malware Byteplot Image Classification using Transfer Learning

abstract: Cybersecurity is a major concern due to the increasing reliance on technology and interconnected systems. Malware detectors help mitigate cyber-attacks by comparing malware signatures. Machine learning can improve these detectors by automating feature extraction, identifying patterns, and enhancing dynamic analysis. In this paper, the performance of six multiclass classification models is compared on the Malimg dataset, Blended dataset, and Malevis dataset to gain insights into the effect of class imbalance on model performance and convergence. It is observed that the more the class imbalance less the number of epochs required for convergence and a high variance across the performance of different models. Moreover, it is also observed that for malware detectors ResNet50, EfficientNetB0, and DenseNet169 can handle imbalanced and balanced data well. A maximum precision of 97% is obtained for the imbalanced dataset, a maximum precision of 95% is obtained on the intermediate imbalance dataset, and a maximum precision of 95% is obtained for the perfectly balanced dataset.


title: Reward Model Ensembles Help Mitigate Overoptimization

abstract: Reinforcement learning from human feedback (RLHF) is a standard approach for fine-tuning large language models to follow instructions. As part of this process, learned reward models are used to approximately model human preferences. However, as imperfect representations of the "true" reward, these learned reward models are susceptible to overoptimization. Gao et al. (2023) studied this phenomenon in a synthetic human feedback setup with a significantly larger "gold" reward model acting as the true reward (instead of humans) and showed that overoptimization remains a persistent problem regardless of the size of the proxy reward model and training data used. Using a similar setup, we conduct a systematic study to evaluate the efficacy of using ensemble-based conservative optimization objectives, specifically worst-case optimization (WCO) and uncertainty-weighted optimization (UWO), for mitigating reward model overoptimization when using two optimization methods: (a) best-of-n sampling (BoN) (b) proximal policy optimization (PPO). We additionally extend the setup of Gao et al. (2023) to include 25% label noise to better mirror real-world conditions. Both with and without label noise, we find that conservative optimization practically eliminates overoptimization and improves performance by up to 70% for BoN sampling. For PPO, ensemble-based conservative optimization always reduces overoptimization and outperforms single reward model optimization. Moreover, combining it with a small KL penalty successfully prevents overoptimization at no performance cost. Overall, our results demonstrate that ensemble-based conservative optimization can effectively counter overoptimization.


title: SALSA: Semantically-Aware Latent Space Autoencoder

abstract: In deep learning for drug discovery, chemical data are often represented as simplified molecular-input line-entry system (SMILES) sequences which allow for straightforward implementation of natural language processing methodologies, one being the sequence-to-sequence autoencoder. However, we observe that training an autoencoder solely on SMILES is insufficient to learn molecular representations that are semantically meaningful, where semantics are defined by the structural (graph-to-graph) similarities between molecules. We demonstrate by example that autoencoders may map structurally similar molecules to distant codes, resulting in an incoherent latent space that does not respect the structural similarities between molecules. To address this shortcoming we propose Semantically-Aware Latent Space Autoencoder (SALSA), a transformer-autoencoder modified with a contrastive task, tailored specifically to learn graph-to-graph similarity between molecules. Formally, the contrastive objective is to map structurally similar molecules (separated by a single graph edit) to nearby codes in the latent space. To accomplish this, we generate a novel dataset comprised of sets of structurally similar molecules and opt for a supervised contrastive loss that is able to incorporate full sets of positive samples. We compare SALSA to its ablated counterparts, and show empirically that the composed training objective (reconstruction and contrastive task) leads to a higher quality latent space that is more 1) structurally-aware, 2) semantically continuous, and 3) property-aware.


title: Dynamic Programming for Indefinite Stochastic McKean-Vlasov LQ Control Problem under Input Constraints

abstract: In this note, we study a class of indefinite stochastic McKean-Vlasov linear-quadratic (LQ in short) control problem under the control taking nonnegative values. In contrast to the conventional issue, both the classical dynamic programming principle (DPP in short) and the usual Riccati equation approach fail. We tackle these difficulties by extending the state space from $\mathbb{R}$ to probability measure space, afterward derive the the corresponding the infinite dimensional Hamilton--Jacobi--Bellman (HJB in short) equation. The optimal control and value function can be obtained basing on two functions constructed via two groups of novelty ordinary differential equations satisfying the HJB equation mentioned before. As an application, we revisit the mean-variance portfolio selection problems in continuous time under the constraint that short-selling of stocks is prohibited. The investment risk and the capital market line can be captured simultaneously.


title: Positive intermediate Ricci curvature on connected sums

abstract: We consider the problem of performing connected sums in the context of positive $k^{th}$ intermediate Ricci curvature. We show that such connected sums are possible if the manifolds involved possess `$k$-core metrics' for some $k$. Here, a $k$-core metric is a generalization of the notion of core metric introduced by Burdick for positive Ricci curvature. Further, we show that connected sums of linear sphere bundles over bases admitting such metrics admit positive $k^{th}$ intermediate Ricci curvature for $k$ in a particular range. This follows from a plumbing result we establish, which generalizes other recent plumbing results in the literature and is possibly of independent interest. As an example of a manifold admitting a $k$-core metric, we prove that $\mathbb{H} P^n$ admits a $(4n-3)$-core metric and that $\mathbb{O}P^2$ admits a $9$-core metric, and we show that in both cases these are optimal.


title: Independent sets in discrete tori of odd sidelength

abstract: It is a well known result due to Korshunov and Sapozhenko that the hypercube in $n$ dimensions has $(1 + o(1)) \cdot 2 \sqrt e \cdot 2^{2^{n-1}}$ independent sets. Jenssen and Keevash investigated in depth Cartesian powers of cycles of fixed even lengths far beyond counting independent sets. They wonder to which extent their results extend to cycles of odd length, where not even the easiest case, counting independent sets in Cartesian powers of the triangle, is known. In this paper, we make progress on their question by providing a lower bound, which we believe to be tight. We also obtain a less precise lower bound for the number of independent sets in Cartesian powers of arbitrary odd cycles and show how to approach this question both with the cluster expansion method as well as more directly with isoperimetric inequalities.


title: Hybrid Quantum Machine Learning Assisted Classification of COVID-19 from Computed Tomography Scans

abstract: Practical quantum computing (QC) is still in its infancy and problems considered are usually fairly small, especially in quantum machine learning when compared to its classical counterpart. Image processing applications in particular require models that are able to handle a large amount of features, and while classical approaches can easily tackle this, it is a major challenge and a cause for harsh restrictions in contemporary QC. In this paper, we apply a hybrid quantum machine learning approach to a practically relevant problem with real world-data. That is, we apply hybrid quantum transfer learning to an image processing task in the field of medical image processing. More specifically, we classify large CT-scans of the lung into COVID-19, CAP, or Normal. We discuss quantum image embedding as well as hybrid quantum machine learning and evaluate several approaches to quantum transfer learning with various quantum circuits and embedding techniques.


title: Michael Spaces and Ultrafilters

abstract: A Michael space is a Lindel\"of space which has a non-Lindel\"of product with the Baire space. In this work, we present the notion of Michael ultrafilter and we use it to construct a Michael space under the existence of a selective ultrafilter and $\max \{ \mathfrak{b}, \mathfrak{g} \} =\mathfrak{d}$.


title: Realization and simulations of the new SPES Beam Cooler

abstract: In order to allow a good separation of isotopes in a High Resolution Mass Spectrometer (HRMS), the transverse emittance and the energy spread of the beam should have very low values, for this reason a Beam Cooler (BC) is planned to be located between the ISOL target, i.e. the beam source, and the HRMS in the new project Selective Production of Exotic Species (SPES). In the SPES project the spectrometer resolution must be higher than dm/m=5E-5 and thus the features of the beam at the entrance of the HRMS should be at least emittance (95%, normalized) < 8.3E-3 pi mm mrad and sigma_E < 1.5eV. A new BC has been designed and realized by the Laboratoire de Physique Corpuscolaire (LPC) at Caen, France, for the SPES facility at Laboratori Nazionali di Legnaro (LNL), near Padova, Italy. BCs cool down the beam thanks to a dissipative process in which the thermal energy passes from the beam ions to another medium whose constituent is typically much lighter, Helium gas in our case. This process takes place inside a confinement system that on the one hand to limit the spread of the cooling medium, and on the other to allow the beam to continue along the required trajectory, in the presented device it is a row of radio frequency quadrupoles in an almost closed chamber. This document presents the main features of the new BC together with the results of a preliminary study where the beam dynamic has been simulated. The analysis embeds also the investigation of the gas distribution inside and outside the BC. The beam dynamic simulations are based on the Simion code while the estimation of the gas distribution is computed with MolFlow+. Simulations show that accurately setting the BC leads to a large improvement of the emittance while the energy spread still needs to be improved. Limiting the gas pressure in the acceleration zone seems to allow the required final boost.


title: SHOT: Suppressing the Hessian along the Optimization Trajectory for Gradient-Based Meta-Learning

abstract: In this paper, we hypothesize that gradient-based meta-learning (GBML) implicitly suppresses the Hessian along the optimization trajectory in the inner loop. Based on this hypothesis, we introduce an algorithm called SHOT (Suppressing the Hessian along the Optimization Trajectory) that minimizes the distance between the parameters of the target and reference models to suppress the Hessian in the inner loop. Despite dealing with high-order terms, SHOT does not increase the computational complexity of the baseline model much. It is agnostic to both the algorithm and architecture used in GBML, making it highly versatile and applicable to any GBML baseline. To validate the effectiveness of SHOT, we conduct empirical tests on standard few-shot learning tasks and qualitatively analyze its dynamics. We confirm our hypothesis empirically and demonstrate that SHOT outperforms the corresponding baseline. Code is available at: https://github.com/JunHoo-Lee/SHOT


title: Fair Feature Selection: A Comparison of Multi-Objective Genetic Algorithms

abstract: Machine learning classifiers are widely used to make decisions with a major impact on people's lives (e.g. accepting or denying a loan, hiring decisions, etc). In such applications,the learned classifiers need to be both accurate and fair with respect to different groups of people, with different values of variables such as sex and race. This paper focuses on fair feature selection for classification, i.e. methods that select a feature subset aimed at maximising both the accuracy and the fairness of the predictions made by a classifier. More specifically, we compare two recently proposed Genetic Algorithms (GAs) for fair feature selection that are based on two different multi-objective optimisation approaches: (a) a Pareto dominance-based GA; and (b) a lexicographic optimisation-based GA, where maximising accuracy has higher priority than maximising fairness. Both GAs use the same measures of accuracy and fairness, allowing for a controlled comparison. As far as we know, this is the first comparison between the Pareto and lexicographic approaches for fair classification. The results show that, overall, the lexicographic GA outperformed the Pareto GA with respect to accuracy without degradation of the fairness of the learned classifiers. This is an important result because at present nearly all GAs for fair classification are based on the Pareto approach, so these results suggest a promising new direction for research in this area.


title: MUNCH: Modelling Unique 'N Controllable Heads

abstract: The automated generation of 3D human heads has been an intriguing and challenging task for computer vision researchers. Prevailing methods synthesize realistic avatars but with limited control over the diversity and quality of rendered outputs and suffer from limited correlation between shape and texture of the character. We propose a method that offers quality, diversity, control, and realism along with explainable network design, all desirable features to game-design artists in the domain. First, our proposed Geometry Generator identifies disentangled latent directions and generate novel and diverse samples. A Render Map Generator then learns to synthesize multiply high-fidelty physically-based render maps including Albedo, Glossiness, Specular, and Normals. For artists preferring fine-grained control over the output, we introduce a novel Color Transformer Model that allows semantic color control over generated maps. We also introduce quantifiable metrics called Uniqueness and Novelty and a combined metric to test the overall performance of our model. Demo for both shapes and textures can be found: https://munch-seven.vercel.app/. We will release our model along with the synthetic dataset.


title: LC-Score: Reference-less estimation of Text Comprehension Difficulty

abstract: Being able to read and understand written text is critical in a digital era. However, studies shows that a large fraction of the population experiences comprehension issues. In this context, further initiatives in accessibility are required to improve the audience text comprehension. However, writers are hardly assisted nor encouraged to produce easy-to-understand content. Moreover, Automatic Text Simplification (ATS) model development suffers from the lack of metric to accurately estimate comprehension difficulty We present \textsc{LC-Score}, a simple approach for training text comprehension metric for any French text without reference \ie predicting how easy to understand a given text is on a $[0, 100]$ scale. Our objective with this scale is to quantitatively capture the extend to which a text suits to the \textit{Langage Clair} (LC, \textit{Clear Language}) guidelines, a French initiative closely related to English Plain Language. We explore two approaches: (i) using linguistically motivated indicators used to train statistical models, and (ii) neural learning directly from text leveraging pre-trained language models. We introduce a simple proxy task for comprehension difficulty training as a classification task. To evaluate our models, we run two distinct human annotation experiments, and find that both approaches (indicator based and neural) outperforms commonly used readability and comprehension metrics such as FKGL.


title: On Certain Recurrence Relations for Generalized Poly-Cauchy Numbers and Polynomials

abstract: The main objective of this paper is to present recurrence relations for the generalized poly-Cauchy numbers and polynomials. This is accomplished by introducing the concept of generalized m-poly-Cauchy numbers and polynomials. Additionally, the paper delves into the discussion of the corresponding generalized m-poly-Bernoulli numbers and polynomials that are associated with the aforementioned generalized m-poly-Cauchy numbers and polynomials.


title: Modeling of Annual and Daily Electricity Demand of Retrofitted Heat Pumps based on Gas Smart Meter Data

abstract: Currently, gas furnaces are common heating systems in Europe. Due to the efforts for decarbonizing the complete energy sector, heat pumps should continuously replace existing gas furnaces. At the same time, the electrification of the heating sector represents a significant challenge for the power grids and their operators. Thus, new approaches are required to estimate the additional electricity demand to operate heat pumps. The electricity required by a heat pump to produce a given amount of heat depends on the Seasonal Performance Factor (SPF), which is hard to model in theory due to many influencing factors and hard to measure in reality as the heat produced by a heat pump is usually not measured. Therefore, we show in this paper that collected smart meter data forms an excellent data basis on building level for modeling heat demand and the SPF. We present a novel methodology to estimate the mean SPF based on an unpaired dataset of heat pump electricity and gas consumption data taken from buildings within the same city by comparing the distributions using the Jensen-Shannon Divergence (JSD). Based on a real-world dataset, we evaluate this novel method by predicting the electricity demand required if all gas furnaces in a city were replaced by heat pumps and briefly highlight possible use cases.


title: Unraveling Multifractality and Mobility Edges in Quasiperiodic Aubry-Andr\'e-Harper Chains through High-Harmonic Generation

abstract: Quasicrystals are fascinating and important because of their unconventional atomic arrangements, which challenge traditional notions of crystalline structures. Unlike regular crystals, they lack translational symmetry and generate unique mechanical, thermal, and electrical properties, holding promise for numerous applications. In order to probe the electronic properties of quasicrystals, tools beyond linear response transport measurements are needed, since all spectral regions can be affected by the non-periodic geometry. Here we show that high-harmonic spectroscopy offers an advanced avenue for this goal. Focusing on the quasiperiodic 1D Aubry-Andr\'e-Harper (AAH) model, we leverage high-harmonic spectroscopy to delve into their intricate characteristics: By carefully analyzing emitted harmonic intensities, we extract the multifractal spectrum -- an essential indicator of the spatial distribution of electronic states in quasicrystals. Additionally, we address the detection of mobility edges, vital energy thresholds that demarcate localized and extended eigenstates within generalized AAH models. The precise identification of these mobility edges sheds light on the metal-insulator transition and the behavior of electronic states near these boundaries. Merging high-harmonic spectroscopy with the AAH model provides a powerful framework for understanding the interplay between localization and extended states in quasicrystals for an extremely wide energy range not captured within linear response studies, thereby offering valuable insights for guiding future experimental investigations.


title: Exploring the Brown Dwarf Desert with Precision Radial Velocities and Gaia DR3 Astrometric Orbits

abstract: Context. The observed scarcity of brown dwarfs in close orbits (within 10 au) around solar-type stars poses significant questions about the origins of these substellar companions. These questions impact our broader understanding of planetary formation processes. However, to resolve these formation mechanisms, accurate observational constraints are essential. Most of the brown dwarfs have been discovered by radial velocity surveys, but this method introduces uncertainties due to its inability to determine the orbital inclination, leaving the true mass-and thus their true nature-unresolved. This highlights the crucial role of astrometric data, helping us distinguish between genuine brown dwarfs and stars. Aims. We aim to refine the mass estimates of massive companions to solar-type stars, mostly discovered through radial velocity measurements and subsequently validated using Gaia DR3 astrometry, to gain a clearer understanding of their true mass and occurrence rates. Methods. We selected a sample of 31 sources with substellar companion candidates validated by Gaia DR3 and with available radial velocities. Using the Gaia DR3 solutions as prior information, we performed an MCMC fit with the available radial velocity measurements to integrate these two sources of data and thus obtain an estimate of their true mass. Results. Combining radial velocity measurements with Gaia DR3 data led to more precise mass estimations, leading us to reclassify several systems initially labeled as brown dwarfs as low-mass stars. Out of the 32 analyzed companions, 13 are determined to be stars, 17 are sub-stellar, and 2 have inconclusive results with the current data. Importantly, using these updated masses, we reevaluated the occurrence rate of brown dwarf companions (13-80 M$_{jup}$ ) on close orbits (<10 au) in the CORALIE sample, determining a tentative occurrence rate of $0.8^{+0.3}_{-0.2}\%$


title: Comparative Study and Framework for Automated Summariser Evaluation: LangChain and Hybrid Algorithms

abstract: Automated Essay Score (AES) is proven to be one of the cutting-edge technologies. Scoring techniques are used for various purposes. Reliable scores are calculated based on influential variables. Such variables can be computed by different methods based on the domain. The research is concentrated on the user's understanding of a given topic. The analysis is based on a scoring index by using Large Language Models. The user can then compare and contrast the understanding of a topic that they recently learned. The results are then contributed towards learning analytics and progression is made for enhancing the learning ability. In this research, the focus is on summarizing a PDF document and gauging a user's understanding of its content. The process involves utilizing a Langchain tool to summarize the PDF and extract the essential information. By employing this technique, the research aims to determine how well the user comprehends the summarized content.


title: A Hybrid Quantum-Classical Approach to the Electric Mobility Problem

abstract: We suggest a hybrid quantum-classical routine for the NP-hard Electric Vehicle Fleet Charging and Allocation Problem. The original formulation is a Mixed Integer Linear Program with continuous variables and inequality constraints. To separate inequality constraints that are difficult for quantum routines we use a decomposition in master and pricing problems: the former targets the assignment of vehicles to reservations and the latter suggests vehicle exploitation plans that respect the battery state-of-charge constraints. The master problem is equivalent to the search for an optimal set partition. In our hybrid scheme, the master problem is reformulated in a quadratic unconstrained binary optimization problem which can be solved with quantum annealing on the DWave Advantage system. On large instances, we benchmark the performance of the decomposition technique with classical and quantum-inspired metaheuristics: simulated annealing, tabu search, and vector annealing by NEC. The numerical results with purely classical solvers are comparable to the solutions from the traditional mixed integer linear programming approaches in terms of solution quality while being faster. In addition, it scales better to larger instances. The major advantage of the proposed approach is that it enables quantum-based methods for this realistic problem with many inequality constraints. We show this by initial studies on DWave hardware where optimal solutions can be found for small instances.


title: Disentangling photodoping, photoconductivity, and photosuperconductivity in the cuprates

abstract: The normal-state conductivity and superconducting critical temperature of oxygen-deficient YBa2Cu3O7-x can be persistently enhanced by illumination. Strongly debated for years, the origin of those effects -- termed persistent photoconductivity (PPC) and photosuperconductivity (PPS) -- has remained an unsolved critical problem, whose comprehension may provide key insights to harness the origin of high-temperature superconductivity itself. Here we make essential steps toward understanding PPS. While the models proposed so far assume that it is caused by a carrier-density increase (photodoping) observed concomitantly, our experiments contradict such conventional belief: we demonstrate that it is instead linked to a photo-induced decrease of the electronic scattering rate. Furthermore, we find that the latter effect and photodoping are completely disconnected and originate from different microscopic mechanisms since they present different wavelength and oxygen-content dependencies as well as strikingly different relaxation dynamics. Besides helping disentangle photodoping, PPC, and PPS, our results provide new evidence for the intimate relation between critical temperature and scattering rate, a key ingredient in modern theories on high-temperature superconductivity.


title: Recurrences for values of the Hurwitz type poly-Bernoulli numbers and polynomials

abstract: The main object of this paper is to investigate a new class of the generalized Hurwitz type poly-Bernoulli numbers and polynomials from which we derive some algorithms for evaluating the Hurwitz type poly-Bernoulli numbers and polynomials. By introducing a new generalization of the Stirling numbers of the second kind, we succeed to establish some combinatorial formulas for the generalized Hurwitz type poly-Bernoulli numbers and polynomials with negative upper indices. Moreover, we give a connection between the generalized Stirling numbers of the second kind and graph theory.


title: Possible explanation of not observing ultra-high energy cosmic neutrinos

abstract: Assuming that neutrinos are spacelike (tachyonic) fermions, we calculate width for the kinematically allowed, lepton number conserving, three-body decay $\nu_{\alpha}\rightarrow \nu_{\alpha} \; \nu_{\beta} \bar{\nu}_{\beta}$ in the Standard Model. Decays of tachyonic neutrinos over cosmological distances can lead to a reduction of the neutrino flux in the high-energy end of the spectrum. We estimate upper limits on the spacelike neutrino mass based on the PeV-energy cosmological neutrino events observed in the IceCube experiment. These limits are close to those deduced from the measurements of $m_{\nu}^2$ in the tritium-decay experiment KATRIN.


title: On the direct image of the adjoint line bundle

abstract: We give an algebraic-geometric proof of the fact that for a smooth fibration $\pi: X \longrightarrow Y$ of projective varieties, the direct image $\pi_*(L\otimes K_{X/Y})$ of the adjoint line bundle of an ample (respectively, nef and $\pi$-strongly big) line bundle $L$ is ample (respectively, nef and big).


title: Solutions to the stochastic thin-film equation for the range of mobility exponents $n\in (2,3)$

abstract: Recently, many existence results for the stochastic thin-film equation were established in the case of a quadratic mobility exponent $n=2$, in which the noise term $\partial_x(u^\frac{n}{2}\mathcal{W})$ becomes linear. In the case of a non-quadratic mobility exponent, results are only available in the situation that $n\ge \frac{8}{3}$ leaving the interval of mobility exponents $n\in (2,\frac{8}{3})$ untreated. In this article we resolve the current gap in the literature by presenting a proof, which works under the assumption $n\in (2,3)$. The key idea is to use that the $\log$-entropy dissipation coincides with the energy production due to the noise. To realize this idea, we approximate the stochastic thin-film equation by stochastic thin-film equations with inhomogeneous mobility functions. As a consequence the approximate solutions are non-negative, which is vital to use the $\log$-entropy estimate.