title: Impact of boron atom clustering on the electronic structure of (B,In)N alloys

abstract: Tailoring the electronic and optical properties of nitride-based alloys for optoelectronic applications in the ultraviolet and red spectral range has attracted significant attention in recent years. Adding boron nitride (BN) to indium gallium nitride, (In,Ga)N, alloys, can help to control the lattice mismatch between (In,Ga)N and GaN and may thus allow reduction of strain related defect formation. However, understanding of the impact of BN on the electronic properties of III-N alloys, in particular the influence of experimentally observed boron atom clustering, is sparse. This work presents first-principles calculations investigating the electronic properties of (B,In)N alloys with boron contents between 2% and 7%. Special attention is paid to the impact of the alloy microstructure. While the results show that the lattice constants of such alloys largely agree with lattice constants determined from a Vegard approximation, the electronic properties strongly depend on the local boron atom configurations. For instance, if boron atoms are dispersed throughout the structure and are not sharing nitrogen atoms, the band gap of (B,In)N alloys is largely unaffected and stays close to the gap of pristine InN. However, in the case of boron atom clustering, e.g., when boron atoms are sharing nitrogen atoms, the band gap can be strongly reduced, often leading to a metallic state in (B,In)N alloys. These strong band gap reductions are mainly driven by carrier localization effects in the valence band. The calculations thus show that the electronic structure of (B,In)N alloys strongly depends on the alloy microstructure and that boron atom clustering plays an important role in understanding the electronic and optical properties of these emerging materials.


title: Stabilities for non-uniform $t$-intersecting families

abstract: The study of intersection problems on families of sets is one of the most important topics in extremal combinatorics. As we all know, the extremal problems involving certain intersection constraints are equivalent to that with the union properties by taking complement of sets. A family of sets is called $s$-union if the union of any two sets in this family has size at most $s$. Katona [Acta Math. Hungar. 15 (1964)] provided the maximum size of an $s$-union family of sets of $[n]$, and he also determined the extremal families up to isomorphism. Recently, Frankl [J. Combin. Theory Ser. B 122 (2017) 869--876] sharpened this result by establishing the maximum size of an $s$-union family that is not a subfamily of the so-called Katona family. In this paper, we determine the maximum size of an $s$-union family that is neither contained in the Katona family nor in the Frankl family. Moreover, we characterize all extremal families achieving the upper bounds.


title: Statistics in Survey Sampling

abstract: Survey sampling theory and methods are introduced. Sampling designs and estimation methods are carefully discussed as a textbook for survey sampling. Topics includes Horvitz-Thompson estimation, simple random sampling, stratified sampling, cluster sampling, ratio estimation, regression estimation, variance estimation, two-phase sampling, and nonresponse adjustment methods.


title: DNN-based identification of additional b jets for a differential $t\bar{t}b\bar{b}$ cross section measurement

abstract: In differential measurements of the $t\bar{t}b\bar{b}$ process, observables related to the b jets not originating from top quark decays are of special interest to probe the multi-scale QCD nature of the $t\bar{t}b\bar{b}$ process, and the description of the additional b jet radiation via different simulation tools. In order to access these additional b jets, identification algorithms have to be applied to determine which of the b jets recorded in the detector are the b jets of interest. This is achieved via a DNN-based method which will be highlighted in this article.


title: Cost-sensitive Feature Selection for Support Vector Machines

abstract: Feature Selection is a crucial procedure in Data Science tasks such as Classification, since it identifies the relevant variables, making thus the classification procedures more interpretable, cheaper in terms of measurement and more effective by reducing noise and data overfit. The relevance of features in a classification procedure is linked to the fact that misclassifications costs are frequently asymmetric, since false positive and false negative cases may have very different consequences. However, off-the-shelf Feature Selection procedures seldom take into account such cost-sensitivity of errors. In this paper we propose a mathematical-optimization-based Feature Selection procedure embedded in one of the most popular classification procedures, namely, Support Vector Machines, accommodating asymmetric misclassification costs. The key idea is to replace the traditional margin maximization by minimizing the number of features selected, but imposing upper bounds on the false positive and negative rates. The problem is written as an integer linear problem plus a quadratic convex problem for Support Vector Machines with both linear and radial kernels. The reported numerical experience demonstrates the usefulness of the proposed Feature Selection procedure. Indeed, our results on benchmark data sets show that a substantial decrease of the number of features is obtained, whilst the desired trade-off between false positive and false negative rates is achieved.


title: Fusion of $^{7}$Li with $^{205}$Tl at near barrier energies

abstract: The complete and incomplete fusion cross sections for the $^{7}$Li+$^{205}$Tl reaction were measured at near barrier energies by online characteristic $\gamma$ ray detection technique. The complete fusion (CF) cross sections at energies above the Coulomb barrier were found to be suppressed by $\sim$ 26 \% compared to the coupled channel calculations. Reduced fusion cross sections for the present system at energies normalised to the Coulomb barrier were also found to be systematically lower than those with strongly bound projectiles forming a similar compound nucleus. The suppression observed in CF cross sections is found to be commensurate with the measured total incomplete fusion (ICF) cross sections. In the ICF cross sections, t capture is found to be dominant than $\alpha$ capture at all the measured energies. The systematic study of available CF, ICF and total fusion (TF) data with $^7$Li projectile is performed.


title: Fine-Grained Prototypes Distillation for Few-Shot Object Detection

abstract: Few-shot object detection (FSOD) aims at extending a generic detector for novel object detection with only a few training examples. It attracts great concerns recently due to the practical meanings. Meta-learning has been demonstrated to be an effective paradigm for this task. In general, methods based on meta-learning employ an additional support branch to encode novel examples (a.k.a. support images) into class prototypes, which are then fused with query branch to facilitate the model prediction. However, the class-level prototypes are difficult to precisely generate, and they also lack detailed information, leading to instability in performance.New methods are required to capture the distinctive local context for more robust novel object detection. To this end, we propose to distill the most representative support features into fine-grained prototypes. These prototypes are then assigned into query feature maps based on the matching results, modeling the detailed feature relations between two branches. This process is realized by our Fine-Grained Feature Aggregation (FFA) module. Moreover, in terms of high-level feature fusion, we propose Balanced Class-Agnostic Sampling (B-CAS) strategy and Non-Linear Fusion (NLF) module from differenct perspectives. They are complementary to each other and depict the high-level feature relations more effectively. Extensive experiments on PASCAL VOC and MS COCO benchmarks show that our method sets a new state-of-the-art performance in most settings. Our code is available at https://github.com/wangchen1801/FPD.


title: Passive particle in an active bath: How can we tell it is out of equilibrium?

abstract: We study a passive probe immersed in a fluid of active particles. Despite the system's non-equilibrium nature, the trajectory of the probe does not exhibit non-equilibrium signatures: its velocity distribution remains Gaussian, the second fluctuation dissipation theorem is not fundamentally violated, and the motion does not indicate breaking of time reversal symmetry. To tell that the probe is out of equilibrium requires examination of its behavior in tandem with that of the active fluid: the kinetic temperature of the probe does not equilibrate to that of the surrounding active particles. As a strategy to diagnose non-equilibrium from probe trajectories alone, we propose to examine their response to a small perturbation which reveals a non-equilibrium signature through a violation of the first fluctuation dissipation theorem.


title: Fixed-parameter debordering of Waring rank

abstract: Border complexity measures are defined via limits (or topological closures), so that any function which can approximated arbitrarily closely by low complexity functions itself has low border complexity. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of limits. Debordering is at the heart of understanding the difference between Valiant's determinant vs permanent conjecture, and Mulmuley and Sohoni's variation which uses border determinantal complexity. The debordering of matrix multiplication tensors by Bini played a pivotal role in the development of efficient matrix multiplication algorithms. Consequently, debordering finds applications in both establishing computational complexity lower bounds and facilitating algorithm design. Currently, very few debordering results are known. In this work, we study the question of debordering the border Waring rank of polynomials. Waring and border Waring rank are very well studied measures in the context of invariant theory, algebraic geometry, and matrix multiplication algorithms. For the first time, we obtain a Waring rank upper bound that is exponential in the border Waring rank and only linear in the degree. All previous known results were exponential in the degree. For polynomials with constant border Waring rank, our results imply an upper bound on the Waring rank linear in degree, which previously was only known for polynomials with border Waring rank at most 5.


title: Symbol letters of Feynman integrals from Gram determinants

abstract: Symbol letters are crucial for analytically calculating Feynman integrals in terms of iterated integrals. We present a novel method to construct the symbol letters for a given integral family without prior knowledge of the canonical differential equations. We provide a program package implementing our algorithm, and demonstrate its effectiveness in solving non-trivial problems with multiple loops and legs. Using our method, we successfully bootstrap the canonical differential equations for a two-loop five-point family with two external masses and for a three-loop four-point family with two external masses, which were previously unknown in the literature. We anticipate that our method can be applied to a wide range of cutting-edge calculations in the future.


title: Compact spaces homeomorphic to their respective squares

abstract: We deal with topological spaces homeomorphic to their respective squares. Primarily, we investigate the existence of large families of such spaces in some subclasses of compact metrizable spaces. As our main result we show that there is a family of size continuum of pairwise non-homeomorphic compact metrizable zero-dimensional spaces homeomorphic to their respective squares. This answers a question of W. J. Charatonik. We also discuss the situation in the classes of continua, Peano continua and absolute retracts.


title: Time-energy uncertainty relation in nonrelativistic quantum mechanics

abstract: The time-energy uncertainty relation in nonrelativistic quantum mechanics has been intensely debated with regard to its formal derivation, validity, and physical meaning. Here, we analyze two formal relations proposed by Mandelstam and Tamm and by Margolus and Levitin and evaluate their validity using a minimal quantum toy model composed of a single qubit inside an external magnetic field. We show that the $\ell_1$ norm of energy coherence $\mathcal{C}$ is invariant with respect to the unitary evolution of the quantum state. Thus, the $\ell_1$ norm of energy coherence $\mathcal{C}$ of an initial quantum state is useful for the classification of the ability of quantum observables to change in time or the ability of the quantum state to evolve into an orthogonal state. In the single-qubit toy model, for quantum states with the submaximal $\ell_1$ norm of energy coherence, $\mathcal{C}<1$, the Mandelstam-Tamm and Margolus-Levitin relations generate instances of infinite "time uncertainty" that is devoid of physical meaning. Only for quantum states with the maximal $\ell_1$ norm of energy coherence, $\mathcal{C}=1$, the Mandelstam-Tamm and Margolus-Levitin relations avoid infinite "time uncertainty", but they both reduce to a strict equality that expresses the Einstein-Planck relation between energy and frequency. The presented results elucidate the fact that the time in the Schr\"{o}dinger equation is a scalar variable that commutes with the quantum Hamiltonian and is not subject to statistical variance.


title: Riemann's hypothesis via Robin's Theorem

abstract: As essential condition for the validy of Robin's Theorem as a precondition for the proof of the Riemann hypothesis, we show that the minimum of the function $F={\rm e}^{\gamma}\,\ln(\ln\,n)-\sigma(n)/n$ is found to be positive. Therefore, $F>0$ holds for any $n>5040$.


title: Isomorphism Testing of Rooted Trees in Linear Time

abstract: The AHU-algorithm solves the computationally difficult graph isomorphism problem for rooted trees, and does so with a linear time complexity. Although the AHU-algorithm has remained state of the art for almost 50 years, it has been criticized for being unclearly presented, and no complete proof of correctness has been given. In this text, that gap is filled: we formalize the algorithm's main point of assigning and compressing labels to provide a characterization of isomorphic rooted trees, and then proceed with proving the correctness and optimal runtime of the AHU-algorithm.


title: Magnetic properties of Sohncke-type Pb(TiO)Cu4(PO4)4

abstract: The enantiomorphous (chiral) crystal class of the Sohncke-type insulator Pb(TiO)Cu4(PO4)4 permits the rotation of the plane of polarization of light (optical activity). Copper ions participate in antiferromagnetic order below a temperature 7 K, with magnetoelectric and piezomagnetic effects permitted. Lattice and magnetic symmetries of Pb(TiO)Cu4(PO4)4 are fully incorporated in calculated resonant x-ray Bragg diffraction patterns that are successfully compared with existing limited measurements on paramagnetic and magnetically ordered Pb(TiO)Cu4(PO4)4 [Misawa et al. Phys. Rev. B 103, 174409 (2021)]. Specifically, there is additional intensity in the ordered phase to a Bragg spot (a chiral signature) from circular polarization in the primary beam of x-rays. It is created by Cu axial magnetic dipoles, with the prospect of future experiments revealing interference between magnetic dipoles and charge-like (time-even, Templeton-Templeton) quadrupoles. Polar and magnetic (parity- and time-odd) Dirac quadrupoles and octupoles are potentially strong sources of diffraction when the reflection vector is parallel to the unique direction in the tetragonal lattice.


title: Four-quark scatterings in QCD II

abstract: In [1], we initiated a program for the quantitative investigation of dynamical chiral symmetry breaking and resonant bound states in QCD with the functional renormalisation group, concentrating on the full infrared dynamics of four-quark scatterings. In the present work we extend this study and take into account a three-momentum channel approximation ($s,t,u$-channel) for the Fierz-complete four-quark vertices. We find that the four-quark vertex in this approximation is quantitatively reliable. In particular, we have computed the pion pole mass, pion decay constant, Bethe-Salpeter amplitudes, the quark mass function and wave function. Our results confirm previous findings that low energy effective theories only reproduce QCD quantitatively, if initiated with a relatively low ultraviolet cutoff scale of the order of 500 MeV. The quantitative description set up here paves the way for reliable quantitative access to the resonance structure in QCD within the fRG approach to QCD.


title: Compute-Efficient Active Learning

abstract: Active learning, a powerful paradigm in machine learning, aims at reducing labeling costs by selecting the most informative samples from an unlabeled dataset. However, the traditional active learning process often demands extensive computational resources, hindering scalability and efficiency. In this paper, we address this critical issue by presenting a novel method designed to alleviate the computational burden associated with active learning on massive datasets. To achieve this goal, we introduce a simple, yet effective method-agnostic framework that outlines how to strategically choose and annotate data points, optimizing the process for efficiency while maintaining model performance. Through case studies, we demonstrate the effectiveness of our proposed method in reducing computational costs while maintaining or, in some cases, even surpassing baseline model outcomes. Code is available at https://github.com/aimotive/Compute-Efficient-Active-Learning.


title: Directed Ear Anonymity

abstract: We define and study a new structural parameter for directed graphs, which we call \emph{ear anonymity}. Our parameter aims to generalize the useful properties of \emph{funnels} to larger digraph classes. In particular, funnels are exactly the acyclic digraphs with ear anonymity one. We prove that computing the ear anonymity of a digraph is \NP/-hard and that it can be solved in $O(m(n + m))$-time on acyclic digraphs (where \(n\) is the number of vertices and \(m\) is the number of arcs in the input digraph). It remains open where exactly in the polynomial hierarchy the problem of computing ear anonymity lies, however for a related problem we manage to show $\Sigma_2^p$-completeness.


title: SwinTextSpotter v2: Towards Better Synergy for Scene Text Spotting

abstract: End-to-end scene text spotting, which aims to read the text in natural images, has garnered significant attention in recent years. However, recent state-of-the-art methods usually incorporate detection and recognition simply by sharing the backbone, which does not directly take advantage of the feature interaction between the two tasks. In this paper, we propose a new end-to-end scene text spotting framework termed SwinTextSpotter v2, which seeks to find a better synergy between text detection and recognition. Specifically, we enhance the relationship between two tasks using novel Recognition Conversion and Recognition Alignment modules. Recognition Conversion explicitly guides text localization through recognition loss, while Recognition Alignment dynamically extracts text features for recognition through the detection predictions. This simple yet effective design results in a concise framework that requires neither an additional rectification module nor character-level annotations for the arbitrarily-shaped text. Furthermore, the parameters of the detector are greatly reduced without performance degradation by introducing a Box Selection Schedule. Qualitative and quantitative experiments demonstrate that SwinTextSpotter v2 achieved state-of-the-art performance on various multilingual (English, Chinese, and Vietnamese) benchmarks. The code will be available at \href{https://github.com/mxin262/SwinTextSpotterv2}{SwinTextSpotter v2}.


title: Optimal control, viscosity approximation and Arrhenius Law for the shallow lake problem

abstract: We prove existence of optimal control for the deterministic and stochastic shallow lake problem without any restrictions on the parameter space and we establish a generalization of the Arrhenius Law in the case of noise-dependent potentials, which naturally arise in control theory problems. We also prove a result about convergence of the derivatives in the viscosity approximation of the value function and use this result to derive the Arrhenius Law for the shallow lake problem.


title: Machine Learning-based xApp for Dynamic Resource Allocation in O-RAN Networks

abstract: The disaggregated, distributed and virtualised implementation of radio access networks allows for dynamic resource allocation. These attributes can be realised by virtue of the Open Radio Access Networks (O-RAN) architecture. In this article, we tackle the issue of dynamic resource allocation using a data-driven approach by employing Machine Learning (ML). We present an xApp-based implementation for the proposed ML algorithm. The core aim of this work is to optimise resource allocation and fulfil Service Level Specifications (SLS). This is accomplished by dynamically adjusting the allocation of Physical Resource Blocks (PRBs) based on traffic demand and Quality of Service (QoS) requirements. The proposed ML model effectively selects the best allocation policy for each base station and enhances the performance of scheduler functionality in O-RAN - Distributed Unit (O-DU). We show that an xApp implementing the Random Forest Classifier can yield high (85\%) performance accuracy for optimal policy selection. This can be attained using the O-RAN instance state input parameters over a short training duration.


title: Resource Allocation in STAR-RIS-Aided SWIPT with RSMA via Meta-Learning

abstract: Simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) is a cutting-edge concept for the sixth-generation (6G) wireless networks. In this paper, we propose a novel system that incorporates STAR-RIS with simultaneous wireless information and power transfer (SWIPT) using rate splitting multiple access (RSMA). The proposed system facilitates communication from a multi-antenna base station (BS) to single-antenna users in a downlink transmission. The BS concurrently sends energy and information signals to multiple energy harvesting receivers (EHRs) and information data receivers (IDRs) with the support of a deployed STAR-RIS. Furthermore, an optimization is introduced to strike a balance between users' sum rate and the total harvested energy. To achieve this, an optimization problem is formulated to optimize the energy/information beamforming vectors at the BS, the phase shifts at the STAR-RIS, and the common message rate. Subsequently, we employ a meta deep deterministic policy gradient (Meta-DDPG) approach to solve the complex problem. Simulation results validate that the proposed algorithm significantly enhances both data rate and harvested energy in comparison to conventional DDPG.


title: Nontrivial self-consistent backreaction of quantum fields in 2D dilaton gravity

abstract: We consider $(1+1)$-dimensional dilatonic black hole with two horizons, canonical temperatures of which do not coincide. We show that the presence of quantum fields in such a background leads to a substantial backreaction on the metric: 2D dilatonic analog of the semiclassical Einstein equations are solved self-consistently, and we demonstrate that taking into account of backreaction leads to a geometry with two horizons with coinciding temperatures.


title: Multifractal-spectral features enhance classification of anomalous diffusion

abstract: Anomalous diffusion processes pose a unique challenge in classification and characterization. Previously (Mangalam et al., 2023, Physical Review Research 5, 023144), we established a framework for understanding anomalous diffusion using multifractal formalism. The present study delves into the potential of multifractal spectral features for effectively distinguishing anomalous diffusion trajectories from five widely used models: fractional Brownian motion, scaled Brownian motion, continuous time random walk, annealed transient time motion, and L\'evy walk. To accomplish this, we generate extensive datasets comprising $10^6$ trajectories from these five anomalous diffusion models and extract multiple multifractal spectra from each trajectory. Our investigation entails a thorough analysis of neural network performance, encompassing features derived from varying numbers of spectra. Furthermore, we explore the integration of multifractal spectra into traditional feature datasets, enabling us to assess their impact comprehensively. To ensure a statistically meaningful comparison, we categorize features into concept groups and train neural networks using features from each designated group. Notably, several feature groups demonstrate similar levels of accuracy, with the highest performance observed in groups utilizing moving-window characteristics and $p$-variation features. Multifractal spectral features, particularly those derived from three spectra involving different timescales and cutoffs, closely follow, highlighting their robust discriminatory potential. Remarkably, a neural network exclusively trained on features from a single multifractal spectrum exhibits commendable performance, surpassing other feature groups. Our findings underscore the diverse and potent efficacy of multifractal spectral features in enhancing classification of anomalous diffusion.


title: Pushchino multibeams pulsar search -- III. Drift periods of pulsars from summed power spectra method

abstract: The drift periods P2 and P3 were searched for using the summed power spectra of 41 pulsars observed at declinations from -9o to +42o. The power spectra of pulses with a given period, pulse width and drift behavior have been simulated, the applicability of such a method for estimating drift parameters is shown. For most pulsars, the distribution of harmonic amplitudes in the power spectra corresponds to the expected distribution for these pulsars without drift. At the same time, it was found that for a number of sources, the summed power spectra accumulated over a long period of time give the same drift parameters as those determined by other methods. For 11 pulsars we have defined or redefined the drift period P2. For 8 sources the drift period P3 has been determined or redefined. The drift direction of subpulses was redefined for them.


title: Singular fractal dimension at periodicity cascades in parameters spaces

abstract: In the parameter spaces of nonlinear dynamical systems, we investigate the boundaries between periodicity and chaos and unveil the existence of fractal sets characterized by a singular fractal dimension. This dimension stands out from the typical fractal dimensions previously considered universal for these parameter boundaries. We show that the singular fractal sets dwell along parameter curves, called extreme curves, that intersect periodicity cascades at their center of stability in all scales of parameters spaces. The results reported here are generally demonstrated for the class of one-dimensional maps with at least two control parameters, generalizations to other classes of systems are possible.


title: Generation of intense, polarization-controlled magnetic fields with non-paraxial structured laser beams

abstract: The ability to spatially separate the electric and magnetic fields of a light beam enables the inspection of laser-matter interactions driven solely by optical magnetic fields. However, magnetic field excitations are commonly orders of magnitude weaker than those driven by the electric field. Several studies have already demonstrated the isolation of an intense, linearly polarized magnetic field using structured light. In this work, we report the generation of isolated high intensity magnetic fields with controlled polarization state in the non-paraxial regime using structured laser beams. Our theoretical findings highlight a significant enhancement in the amplitude of the longitudinal magnetic field carried by an azimuthally polarized laser under tight-focusing conditions. Furthermore, by implementing a multiple-beam configuration, we achieve precise control over the polarization state and amplitude of the spatially isolated magnetic field. We report the generation of polarization-controlled magnetic fields reaching up to tens of Tesla, even from moderately intense laser beams of $\sim 10^{12} \, \mathrm{W}/\mathrm{cm}^2$. Our study paves the way for ultraintense interactions with circularly polarized magnetic fields from a feasible experimental setup point of view, particularly interesting to probe ferromagnetic materials and chiral media.


title: Summary of CMS Higgs Physics

abstract: Since the discovery of the Higgs boson in 2012, substantial advancements have been achieved in exploring its characteristics. The utilization of extensive data sets has facilitated recent results, enabling not only the determination of the Higgs boson mass and total production cross section in the most sensitive decay channels, but also measurements of fiducial and differential cross sections, as well as searches for rare or exotic processes. The study of the Higgs boson pair production which is fundamental to the study of the Higgs boson self-coupling, received a significant boost, too. These proceedings focus on the latest Higgs physics results achieved by the CMS Collaboration using the entire dataset collected during Run-2 of the LHC, corresponding to an integrated luminosity of approximately 140 fb$^{-1}$.


title: First dynamical simulations with minimally doubled fermions

abstract: For thermodynamics studies it is desirable to simulate two degenerate flavors and retain at least a remnant of the chiral symmetry. Staggered fermions can achieve this at the cost of rooting the determinant. Rooting can be avoided using minimally doubled fermions. This discretization describes two degenerate quark flavors while explicitly breaking hyper-cubic symmetry, thus, requiring additional counter-terms. We use one particular formulation of minimally doubled fermions called the Kirsten-Wilczek action and mitigate lattice artifacts by improving the spatial derivatives in the Dirac operator. In this pilot study we determine the counter-terms non-perturbatively to facilitate proper dynamical simulations.


title: Global well posedness of leading order equations for nonlinear wave propagation in the troposphere

abstract: In this paper, we investigate the well-posedness of a recently derived model by A. Constantin and R.S. Johnson that describes nonlinear propagation of waves in the troposphere, particularly the 'morning glory' cloud pattern. More precisely, we establish the existence and uniqueness of global strong solutions for this model. To achieve this, we use the standard Galerkin approximation procedure in combination with an anisotropic Sobolev inequality.


title: Correlation of the hyperon potential stiffness with hyperon constituents in neutron stars and heavy-ion collisions

abstract: The breaking of SU(6) symmetry to a more general flavor SU(3) symmetry could serve as a potential explanation for the "hyperon puzzle" of neutron stars by adjusting the hyperon potentials. Specifically, when the soft relativistic mean-field (RMF) $\Lambda$ hyperon potentials fall within the domains of chiral SU(3) interactions NLO13 with two-body forces, the maximum mass of neutron stars is expected to be lower than 2.0 $M_\odot$, whereas it can exceed $2.0M_\odot$ if the RMF $\Lambda$ hyperon potentials are sufficiently stiff to be consistent with those from chiral SU(3) interactions NLO13 with three-body forces. In our investigation involving these two types of $\Lambda$ hyperon potentials, we explore how the hyperon yields and flows are affected in heavy-ion collisions. We find that the inclusion of hyperon potentials results in better agreement of the $\Lambda$ directed flows with data but without clear differentiation in the stiffness of the hyperon potentials. Similarly negligent is the disparity in the rapidity distributions of the $\Lambda$ collective flows predicted by the stiff and soft hyperon potentials. In contrast, the $\Lambda$ collective flows beyond the central rapidity region turn out to be sensitive to the stiffness of the RMF equation of state (EOS) with the preference of a soft RMF EOS to a stiff one. Notably, the transverse momentum distributions of $\Lambda$ hyperon production are sensitive to both the stiffness of the RMF EOS and $\Lambda$ hyperon potential at high transverse momenta.


title: Foundation Models for Biomedical Image Segmentation: A Survey

abstract: Recent advancements in biomedical image analysis have been significantly driven by the Segment Anything Model (SAM). This transformative technology, originally developed for general-purpose computer vision, has found rapid application in medical image processing. Within the last year, marked by over 100 publications, SAM has demonstrated its prowess in zero-shot learning adaptations for medical imaging. The fundamental premise of SAM lies in its capability to segment or identify objects in images without prior knowledge of the object type or imaging modality. This approach aligns well with tasks achievable by the human visual system, though its application in non-biological vision contexts remains more theoretically challenging. A notable feature of SAM is its ability to adjust segmentation according to a specified resolution scale or area of interest, akin to semantic priming. This adaptability has spurred a wave of creativity and innovation in applying SAM to medical imaging. Our review focuses on the period from April 1, 2023, to September 30, 2023, a critical first six months post-initial publication. We examine the adaptations and integrations of SAM necessary to address longstanding clinical challenges, particularly in the context of 33 open datasets covered in our analysis. While SAM approaches or achieves state-of-the-art performance in numerous applications, it falls short in certain areas, such as segmentation of the carotid artery, adrenal glands, optic nerve, and mandible bone. Our survey delves into the innovative techniques where SAM's foundational approach excels and explores the core concepts in translating and applying these models effectively in diverse medical imaging scenarios.


title: MLAD: A Unified Model for Multi-system Log Anomaly Detection

abstract: In spite of the rapid advancements in unsupervised log anomaly detection techniques, the current mainstream models still necessitate specific training for individual system datasets, resulting in costly procedures and limited scalability due to dataset size, thereby leading to performance bottlenecks. Furthermore, numerous models lack cognitive reasoning capabilities, posing challenges in direct transferability to similar systems for effective anomaly detection. Additionally, akin to reconstruction networks, these models often encounter the "identical shortcut" predicament, wherein the majority of system logs are classified as normal, erroneously predicting normal classes when confronted with rare anomaly logs due to reconstruction errors. To address the aforementioned issues, we propose MLAD, a novel anomaly detection model that incorporates semantic relational reasoning across multiple systems. Specifically, we employ Sentence-bert to capture the similarities between log sequences and convert them into highly-dimensional learnable semantic vectors. Subsequently, we revamp the formulas of the Attention layer to discern the significance of each keyword in the sequence and model the overall distribution of the multi-system dataset through appropriate vector space diffusion. Lastly, we employ a Gaussian mixture model to highlight the uncertainty of rare words pertaining to the "identical shortcut" problem, optimizing the vector space of the samples using the maximum expectation model. Experiments on three real-world datasets demonstrate the superiority of MLAD.


title: Learning Explainable and Better Performing Representations of POMDP Strategies

abstract: Strategies for partially observable Markov decision processes (POMDP) typically require memory. One way to represent this memory is via automata. We present a method to learn an automaton representation of a strategy using a modification of the L*-algorithm. Compared to the tabular representation of a strategy, the resulting automaton is dramatically smaller and thus also more explainable. Moreover, in the learning process, our heuristics may even improve the strategy's performance. In contrast to approaches that synthesize an automaton directly from the POMDP thereby solving it, our approach is incomparably more scalable.


title: Empirical Evidence for the Fragment level Understanding on Drug Molecular Structure of LLMs

abstract: AI for drug discovery has been a research hotspot in recent years, and SMILES-based language models has been increasingly applied in drug molecular design. However, no work has explored whether and how language models understand the chemical spatial structure from 1D sequences. In this work, we pre-train a transformer model on chemical language and fine-tune it toward drug design objectives, and investigate the correspondence between high-frequency SMILES substrings and molecular fragments. The results indicate that language models can understand chemical structures from the perspective of molecular fragments, and the structural knowledge learned through fine-tuning is reflected in the high-frequency SMILES substrings generated by the model.


title: Robustness Evaluation of Localization Techniques for Autonomous Racing

abstract: This work introduces SynPF, an MCL-based algorithm tailored for high-speed racing environments. Benchmarked against Cartographer, a state-of-the-art pose-graph SLAM algorithm, SynPF leverages synergies from previous particle-filtering methods and synthesizes them for the high-performance racing domain. Our extensive in-field evaluations reveal that while Cartographer excels under nominal conditions, it struggles when subjected to wheel-slip, a common phenomenon in a racing scenario due to varying grip levels and aggressive driving behaviour. Conversely, SynPF demonstrates robustness in these challenging conditions and a low-latency computation time of 1.25 ms on on-board computers without a GPU. Using the F1TENTH platform, a 1:10 scaled autonomous racing vehicle, this work not only highlights the vulnerabilities of existing algorithms in high-speed scenarios, tested up until 7.6 m/s, but also emphasizes the potential of SynPF as a viable alternative, especially in deteriorating odometry conditions.


title: Parent Hamiltonian for Fully-augmented Matrix Product States

abstract: Fully-augmented Matrix Product States (FAMPS) was proposed recently (Chin. Phys. Lett. 40, 057102 (2023)) as an accurate numerical tool to study two-dimensional quantum many-body systems. It is constructed by including a disentangler layer upon MPS. The cost of simulating quantum models with FAMPS is similar as DMRG (with small overhead), but FAMPS can support area-law entanglement entropy for two-dimensional systems. These properties make FAMPS an effective and efficient tool. In this work, we demonstrate that for each FAMPS we can construct a two-dimensional Hamiltonian with the FAMPS being its ground state. We show how to construct the parent Hamiltonian for given FAMPS. We also perform numerical simulation to show that the algorithm proposed in Chin. Phys. Lett. 40, 057102 (2023) can find the exact FAMPS for the parent Hamiltonian. FAMPS and the corresponding parent Hamiltonian provides a useful framework for the future study of two-dimensional quantum many-body systems


title: Ion channels in critical membranes: clustering, cooperativity, and memory effects

abstract: Much progress has been made in elucidating the inner workings of voltage-gated ion channels, but less understood is the influence of lipid rafts on gating kinetics. Here we propose that state-dependent channel affinity for different lipid species provides a unified explanation for the experimentally observed behaviors of clustering, cooperativity, and hysteresis. We develop models of diffusing lipids and channels engaged in Ising-like interactions to investigate the collective behaviors driven by raft formation in critical membranes close to the demixing transition. The model channels demonstrate lipid-mediated long-range interactions, activation curve steepening, and long-term memory in ionic currents. These behaviors likely play a role in channel-mediated cellular signaling and suggest a universal mechanism for self-organization of biomolecular assemblies.


title: On the number of residues of certain second-order linear recurrences

abstract: For every monic polynomial $f \in \mathbb{Z}[X]$ with $\operatorname{deg}(f) \geq 1$, let $\mathcal{L}(f)$ be the set of all linear recurrences with values in $\mathbb{Z}$ and characteristic polynomial $f$, and let \begin{equation*} \mathcal{R}(f) := \big\{\rho(\mathbf{x}; m) : \mathbf{x} \in \mathcal{L}(f), \, m \in \mathbb{Z}^+ \big\} , \end{equation*} where $\rho(\mathbf{x}; m)$ is the number of distinct residues of $\mathbf{x}$ modulo $m$. Dubickas and Novikas proved that $\mathcal{R}(X^2 - X - 1) = \mathbb{Z}^+$. We generalize this result by showing that $\mathcal{R}(X^2 - a_1 X - 1) = \mathbb{Z}^+$ for every nonzero integer $a_1$. As a corollary, we deduce that for all integers $a_1 \geq 1$ and $k \geq 4$ there exists $\xi \in \mathbb{R}$ such that the sequence of fractional parts $\big(\!\operatorname{frac}(\xi \alpha^n)\big)_{n \geq 0}$, where $\alpha := \big(a_1 + \sqrt{a_1^2 + 4}\,\big) / 2$, has exactly $k$ limit points. Our proofs are constructive and employ some results on the existence of special primitive divisors of certain Lehmer sequences.


title: Final States in Quantum Cosmology: Cosmic Acceleration as a Quantum Post-Selection Effect

abstract: Standard quantum theory admits naturally statistical ensembles that are both pre-selected and post-selected, i.e., they involve both an initial and a final state. We argue that there is no compelling physical reason to preclude a probability assignment with a final quantum state at the cosmological level. We therefore analyze the implications of a final state in the probability assignment for quantum cosmology. We show that the effective deterministic equations that arise at the classical limit may be very different from the solutions to the classical equations of motion. In particular, effective equations for a Friedman-Robertson-Walker cosmology with both initial and final conditions generically describe cosmic acceleration in the absence of a cosmological constant, dark energy, or modified gravitational dynamics. Therefore, cosmic acceleration emerges as a quantum post-selection effect.


title: Selene: Pioneering Automated Proof in Software Verification

abstract: Ensuring correctness is a pivotal aspect of software engineering. Among the various strategies available, software verification offers a definitive assurance of correctness. Nevertheless, writing verification proofs is resource-intensive and manpower-consuming, and there is a great need to automate this process. We introduce Selene in this paper, which is the first project-level automated proof benchmark constructed based on the real-world industrial-level operating system microkernel, seL4. Selene provides a comprehensive framework for end-to-end proof generation and a lightweight verification environment. Our experimental results with advanced large language models (LLMs), such as GPT-3.5-turbo and GPT-4, highlight the capabilities of LLMs in the domain of automated proof generation. Additionally, our further proposed augmentations indicate that the challenges presented by Selene can be mitigated in future research endeavors.


title: Scalar modes of polarization and speed of gravitational waves in $f(R)$ gravity

abstract: We explore the gravitational waves (GWs) within the framework of the $f(R)$ gravity model represented by $f(R)=R^{1+\delta}/R^\delta_c$ in the weak field approximation. In this scenario, gravitational waves exhibit an additional polarization mode beyond the standard transverse-traceless (TT) tensor modes. We show that the polarization characteristics of these waves are connected to the scalaron mass and the effective potential derived from the function $f(R)$. Furthermore, the study of the speed of gravitational waves ($c_g$) within the Horndeski theory, particularly using the $f(R)$ model, reveals an intriguing feature about the equality of the speed of gravitational waves to that that of electromagnetic waves. This equivalence arises due to the modification introduced in the Ricci scalar within the $f(R)$ model.


title: Long time behavior of one-dimensional McKean-Vlasov SDEs with common noise

abstract: In this paper, by introducing a new type asymptotic coupling by reflection, we explore the long time behavior of random probability measure flows associated with a large class of one-dimensional McKean-Vlasov SDEs with common noise. Concerning the McKean-Vlasov SDEs with common noise under consideration in the present work, in contrast to the existing literature, the drift terms are much more general rather than of the convolution form, and, in particular, can be of polynomial growth with respect to the spatial variables, and moreover idiosyncratic noises are allowed to be of multiplicative type. Most importantly, our main result indicates that both the common noise and the idiosyncratic noise facilitate the exponential contractivity of the associated measure-valued processes.


title: Isospin-breaking corrections to weak decays: the current status and a new infrared improvement

abstract: We provide an overview of the current state of lattice calculations concerning isospin-breaking corrections in weak decays, focusing in particular on leptonic decays of light pseudoscalar mesons. We examine the two currently existing calculations, placing a particular emphasis on the role of electromagnetic finite-volume corrections. Given the large systematic uncertainty associated with such corrections, we propose a novel method to improve the finite-volume scaling of leptonic decay rates and other hadronic observables, like hadron masses and the hadronic vacuum polarization contribution to the muon $g{-}2$. We introduce a new prescription for the QED action, referred to as QED$_\mathrm{r}$, which effectively removes finite-volume corrections at $\mathcal{O}(1/L^3)$ and consequently shifts the systematic uncertainty to a higher order. The specifics of this action, the practical implementation of the infrared improvement, and the ongoing numerical tests are also discussed.


title: Adiabatic Limit of Calderon Projector on Manifold with Cylindrical End

abstract: For a Riemannian manifold with a cylindrical end, consider a Dirac-type operator that is asymptotically product type with the generalized Atiyah-Patodi-Singer boundary condition on any finite portion of the cylinder. In the present work we consider the problem of constructing the Calderon projector in this setting and studying the adiabatic limit of it along the cylindrical end. As a consequence, we extend a result of Nicolaescu on adiabatic limits of Cauchy data spaces. The proof leverages resolvent and its estimates in the framework of the b-calculus needed for the construction of the Calderon projector corresponding to our Dirac-type operator.


abstract: Based on the hypocoercivity approach due to Villani \cite{Villani}, Dolbeault, Mouhot and Schmeiser \cite{DMS} established a new and simple framework to investigate directly the $L^2$-exponential convergence to the equilibrium for the solution to the kinetic Fokker-Planck equation. Nowadays, the general framework advanced in \cite{DMS} is named as the DMS framework for hypocoercivity. Subsequently, Grothaus and Stilgenbauer \cite{Grothaus} builded a dual version of the DMS framework in the kinetic Fokker-Planck setting. No matter what the abstract DMS framework in \cite{DMS} and the dual counterpart in \cite{Grothaus}, the densely defined linear operator involved is assumed to be decomposed into two parts, where one part is symmetric and the other part is anti-symmetric. Thus, the existing DMS framework is not applicable to investigate the $L^2$-exponential ergodicity for stochastic Hamiltonian systems with $\alpha$-stable L\'{e}vy noises, where one part of the associated infinitesimal generators is anti-symmetric whereas the other part is not symmetric. In this paper, we shall develop a dual version of the DMS framework in the fractional kinetic Fokker-Planck setup, where one part of the densely defined linear operator under consideration need not to be symmetric. As a direct application, we explore the $L^2$-exponential ergodicity of stochastic Hamiltonian systems with $\alpha$-stable L\'evy noises. The proof is also based on Poincar\'e inequalities for non-local stable-like Dirichlet forms and the potential theory for fractional Riesz potentials.


title: FiGCLIP: Fine-Grained CLIP Adaptation via Densely Annotated Videos

abstract: While contrastive language image pretraining (CLIP) have exhibited impressive performance by learning highly semantic and generalized representations, recent works have exposed a fundamental drawback in its syntactic properties, that includes interpreting fine-grained attributes, actions, spatial relations, states, and details that require compositional reasoning. One reason for this is that natural captions often do not capture all the visual details of a scene. This leads to unaddressed visual concepts being misattributed to the wrong words. And the pooled image and text features, ends up acting as a bag of words, hence losing the syntactic information. In this work, we ask: Is it possible to enhance CLIP's fine-grained and syntactic abilities without compromising its semantic properties? We show that this is possible by adapting CLIP efficiently on a high-quality, comprehensive, and relatively small dataset. We demonstrate our adaptation strategy on VidSitu, a video situation recognition dataset annotated with verbs and rich semantic role labels (SRL). We use the SRL and verb information to create rule-based detailed captions, making sure they capture most of the visual concepts. Combined with hard negatives and hierarchical losses, these annotations allow us to learn a powerful visual representation, dubbed Fine-Grained CLIP (FiGCLIP), that preserves semantic understanding while being detail-oriented. We evaluate on five diverse vision-language tasks in both fine-tuning and zero-shot settings, achieving consistent improvements over the base CLIP model.


title: Real-time imaging of standing-wave patterns in microresonators

abstract: Real-time characterization of microresonator dynamics is important for many applications. In particular it is critical for near-field sensing and understanding light-matter interactions. Here, we report camera-facilitated imaging and analysis of standing wave patterns in optical ring resonators. The standing wave pattern is generated through bi-directional pumping of a microresonator and the scattered light from the microresonator is collected by a short-wave infrared (SWIR) camera. The recorded scattering patterns are wavelength dependent, and the scattered intensity exhibits a linear relation with the circulating power within the microresonator. By modulating the relative phase between the two pump waves, we can control the generated standing waves movements and characterize the resonator with the SWIR camera. The visualized standing wave enables subwavelength distance measurements of scattering targets with nanometer-level accuracy. This work opens new avenues for applications in on-chip near-field (bio-)sensing, real time characterization of photonic integrated circuits and backscattering control in telecom systems.


title: CLSA-CIM: A Cross-Layer Scheduling Approach for Computing-in-Memory Architectures

abstract: The demand for efficient machine learning (ML) accelerators is growing rapidly, driving the development of novel computing concepts such as resistive random access memory (RRAM)-based tiled computing-in-memory (CIM) architectures. CIM allows to compute within the memory unit, resulting in faster data processing and reduced power consumption. Efficient compiler algorithms are essential to exploit the potential of tiled CIM architectures. While conventional ML compilers focus on code generation for CPUs, GPUs, and other von Neumann architectures, adaptations are needed to cover CIM architectures. Cross-layer scheduling is a promising approach, as it enhances the utilization of CIM cores, thereby accelerating computations. Although similar concepts are implicitly used in previous work, there is a lack of clear and quantifiable algorithmic definitions for cross-layer scheduling for tiled CIM architectures. To close this gap, we present CLSA-CIM, a cross-layer scheduling algorithm for tiled CIM architectures. We integrate CLSA-CIM with existing weight-mapping strategies and compare performance against state-of-the-art (SOTA) scheduling algorithms. CLSA-CIM improves the utilization by up to 17.9 x , resulting in an overall speedup increase of up to 29.2 x compared to SOTA.


title: Accelerated Gradient Methods with Gradient Restart: Global Linear Convergence

abstract: Gradient restarting has been shown to improve the numerical performance of accelerated gradient methods. This paper provides a mathematical analysis to understand these advantages. First, we establish global linear convergence guarantees for the gradient restarted accelerated proximal gradient method when solving strongly convex composite optimization problems. Second, through analysis of the corresponding ordinary differential equation model, we prove the continuous trajectory of gradient restarted Nesterov's accelerated gradient method exhibits global linear convergence for quadratic strongly convex objectives, while the non-restarted version provably lacks this property by [Su, Boyd, and Cand\'es, J. Mach. Learn. Res., 2016, 17(153), 1-43].


title: AutoTAB: An Algorithm to Track Bipolar Magnetic Regions and Initial results from the Tracked BMRs

abstract: AutoTAB is a state-of-the-art, fully automatic algorithm that tracks the Bipolar Magnetic Regions (BMRs) in magnetogram observations. AutoTAB employs identified BMR regions from Line-of-Sight magnetograms from MDI and HMI (1996--2022) to track the BMRs through their evolution on the nearside of the Sun. AutoTAB enables us to create a comprehensive and unique catalog of tracked information of 9232 BMRs in the mentioned time period. This dataset is used to study the collective statistical properties of BMRs and particularly to identify the correct theory for the BMR formation. Here, we discuss the algorithm's functionality and the initial findings obtained from the AutoTAB BMRs catalog.


title: Performance Evaluation of Kubernetes Networking Approaches across Constraint Edge Environments

abstract: Kubernetes (K8s) serves as a mature orchestration system for the seamless deployment and management of containerized applications spanning across cloud and edge environments. Since high-performance connectivity and minimal resource utilization become critical factors as we approach the edge, evaluating the performance of K8s networking in this context is essential. This paper contributes to this effort, by conducting a qualitative and quantitative performance evaluation of diverse Container Network Interface (CNI) plugins within different K8s environments, incorporating lightweight implementations designed for the Edge. Our experimental assessment was conducted in two distinct (intra- and inter-host) scenarios, revealing interesting insights for both researchers and practitioners. For example, the deployment of plugins across lightweight distributions does not necessarily lead to resource utilization improvements, e.g., in terms of CPU/memory or throughput.


title: Crystallization Instead of Amorphization in Collision Cascades in Gallium Oxide

abstract: Disordering of solids typically leads to amorphization, but polymorph transitions, facilitated by favorable atomic rearrangements, may temporarily help to maintain long-range periodicity in the solid state. In far-from-equilibrium situations, such as atomic collision cascades, these rearrangements may not necessarily follow a thermodynamically gainful path, but may be kinetically limited. In this Letter, we focused on such crystallization instead of amorphization in collision cascades in gallium oxide (\ce{Ga2O3}). We determined the disorder threshold for irreversible $\beta$-to-$\gamma$ polymorph transition and explained why it results in elevating energy to that of the $\gamma$-polymorph, which exhibits the highest polymorph energy in the system below the amorphous state. Specifically, we demonstrate that upon reaching the disorder transition threshold, the \ce{Ga}-sublattice kinetically favors transitioning to the $\gamma$-like configuration, requiring significantly less migration for \ce{Ga} atoms to reach the lattice sites during post-cascade processes. As such, our data provide a consistent explanation of this remarkable phenomenon and can serve as a toolbox for predictive multi-polymorph fabrication.


title: The size-luminosity relation of local active galactic nuclei from interferometric observations of the broad-line region

abstract: By using the GRAVITY instrument with the near-infrared (NIR) Very Large Telescope Interferometer (VLTI), the structure of the broad (emission-)line region (BLR) in active galactic nuclei (AGNs) can be spatially resolved, allowing the central black hole (BH) mass to be determined. This work reports new NIR VLTI/GRAVITY interferometric spectra for four type 1 AGNs (Mrk 509, PDS 456, Mrk 1239, and IC 4329A) with resolved broad-line emission. Dynamical modelling of interferometric data constrains the BLR radius and central BH mass measurements for our targets and reveals outflow-dominated BLRs for Mrk 509 and PDS 456. We present an updated radius-luminosity (R-L) relation independent of that derived with reverberation mapping (RM) measurements using all the GRAVITY-observed AGNs. We find our R-L relation to be largely consistent with that derived from RM measurements except at high luminosity, where BLR radii seem to be smaller than predicted. This is consistent with RM-based claims that high Eddington ratio AGNs show consistently smaller BLR sizes. The BH masses of our targets are also consistent with the standard $M_\mathrm{BH}$-$\sigma_*$ relation. Model-independent photocentre fitting shows spatial offsets between the hot dust continuum and the BLR photocentres (ranging from $\sim$17 $\mu$as to 140 $\mu$as) that are generally perpendicular to the alignment of the red- and blueshifted BLR photocentres. These offsets are found to be related to the AGN luminosity and could be caused by asymmetric K-band emission of the hot dust, shifting the dust photocentre. We discuss various possible scenarios that can explain this phenomenon.


title: Quantitative Information Flow Control by Construction for Component-Based Systems

abstract: Secure software architecture is increasingly important in a data-driven world. When security is neglected sensitive information might leak through unauthorized access. To mitigate this software architects needs tools and methods to quantify security risks in complex systems. This paper presents doctoral research in its early stages concerned with creating constructive methods for building secure component-based systems from a quantitative information flow specification. This research aim at developing a method that allows software architects to develop secure systems from a repository of secure components. Planned contributions are refinement rules for secure development of components from a specification and well-formedness rules for secure composition of said components.


title: Transverse MHD waves as signatures of braiding-induced magnetic reconnection in coronal loops

abstract: A major coronal heating theory based on magnetic reconnection relies on the existence of braided magnetic field structures in the corona. In this small-angle reconnection scenario, numerical simulations indicate that the reconnected magnetic field lines are driven sideways by magnetic tension and can overshoot from their new rest position, thereby leading to low-amplitude transverse MHD waves. This provides an efficient mechanism for transverse MHD wave generation, and the direct causality also constitutes substantial evidence of reconnection from braiding. However, this wave-generation mechanism has never been directly observed. Recently, the telltale signature of small-angle reconnection in a sheared coronal structure has been identified through nanojets, which are small, short-lived, and fast jet-like bursts in the nanoflare range transverse to the guide-field. We present for the first time IRIS and SDO observations of transverse MHD waves in a coronal loop that directly result from braiding-induced reconnection. The reconnection is identified by the presence of nanojets at the loop apex which release nanoflare-range energy. We find that the oscillations have an energy flux on the order of $10^6 - 10^8$~erg~cm$^{-2}$~s$^{-1}$, which is within the budget to power active region loops. The estimated kinetic and thermal energy from the nanojets is also sufficient to power the transverse waves and sustain the observed heating at the loop apex. This discovery provides major support to (a) existing theories that transverse MHD waves can be a signature of reconnection, (b) the existence of braiding in coronal structures and (c) the coronal reconnection scenario identified by nanojets.


title: Some counterexamples to Alt-Caffarelli-Friedman monotonicity formulas in Carnot groups

abstract: In this paper we continue the analysis of an Alt-Caffarelli-Friedman (ACF) monotonicity formula in Carnot groups of step $s >1$ confirming the existence of counterexamples to the monotone increasing behavior. In particular, we provide a sufficient condition that implies the existence of some counterexamples to the monotone increasing behavior of the ACF formula in Carnot groups. The main tool is based on the lack of orthogonality of harmonic polynomials in Carnot groups. This paper generalizes the results proved in \cite{ferrari2023counterexample}.


title: Strategies, model checking and branching-time properties in Maude

abstract: Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformations are described by rewriting rules, which can be controlled at a higher level using a builtin strategy language added to Maude~3. This specification resource would not be of much interest without tools to analyze their models, so in a previous work, we extended the Maude LTL model checker to verify strategy-controlled systems. In this paper, CTL* and $\mu$-calculus are added to the repertoire of supported logics, after discussing which adaptations are needed for branching-time properties. The new extension relies on some external model checkers that are exposed the Maude models through general and efficient connections, profitable for future extensions and further applications. The performance of these model checkers is compared.


title: Effect of target signals and delays on spatially selective active noise control for open-fitting hearables

abstract: Spatially selective active noise control (ANC) hearables are designed to reduce unwanted noise from certain directions while preserving desired sounds from other directions. In previous studies, the target signal has been defined either as the delayed desired component in one of the reference microphone signals or as the desired component in the error microphone signal without any delay. In this paper, we systematically investigate the influence of delays in different target signals on the ANC performance and provide an intuitive explanation for how the system obtains the desired signal. Simulations were conducted on a pair of open-fitting hearables for localized speech and noise sources in an anechoic environment. The performance was assessed in terms of noise reduction, signal quality and control effort. Results indicate that optimal performance is achieved without delays when the target signal is defined at the error microphone, whereas causality necessitates delays when the target signal is defined at the reference microphone. The optimal delay is found to be the acoustic delay between this reference microphone and the error microphone from the desired source.


title: Cash and Card Acceptance in Retail Payments: Motivations and Factors

abstract: The landscape of payment methods in retail is a complex and evolving area. Vendors are motivated to conduct an appropriate analysis to decide what payment methods to accept out of a vast range of options. Many factors are included in this decision process, some qualitative and some quantitative. The following research project investigates vendors' acceptance of cards and cash from various viewpoints, all chosen to represent a novel perspective, including the barriers and preferences for each and correlations with external demographic factors. We observe that lower interchange fees, limited in this instance by the regulatory framework, play a crucial role in facilitating merchants' acceptance of card payments. The regulatory constraints on interchange fees create a favorable cost structure for merchants, making card payment adoption financially feasible. However, additional factors like technological readiness and consumer preferences might also play a significant role in their decision-making process. We also note that aggregate Merchant Service Providers (MSPs) have positively impacted the payment landscape by offering more competitive fee rates, particularly beneficial for small merchants and entrepreneurs. However, associated risks, such as account freezes or abrupt terminations, pose challenges and often lack transparency. Last, the quantitative analysis of the relationship between demographic variables and acceptance of payment types is presented. This analysis combines the current landscape of payment acceptance in the UK with data from the most recent census from 2021. We show that the unemployment rates shape card and cash acceptance, age affects contactless preference, and work-from-home impacts credit card preference.


title: Assisted Knowledge Graph Authoring: Human-Supervised Knowledge Graph Construction from Natural Language

abstract: Encyclopedic knowledge graphs, such as Wikidata, host an extensive repository of millions of knowledge statements. However, domain-specific knowledge from fields such as history, physics, or medicine is significantly underrepresented in those graphs. Although few domain-specific knowledge graphs exist (e.g., Pubmed for medicine), developing specialized retrieval applications for many domains still requires constructing knowledge graphs from scratch. To facilitate knowledge graph construction, we introduce WAKA: a Web application that allows domain experts to create knowledge graphs through the medium with which they are most familiar: natural language.


title: Final CONUS results on coherent elastic neutrino nucleus scattering at the Brokdorf reactor

abstract: The CONUS experiment studies coherent elastic neutrino nucleus scattering in four 1 kg germanium spectrometers. Low ionization energy thresholds of 210 eV were achieved. The detectors were operated inside an optimized shield at the Brokdorf nuclear power plant which provided a reactor antineutrino flux of up to $2.3\cdot10^{13}$ cm$^{-2}$s$^{-1}$. In the final phase of data collection at this site, the constraints on the neutrino interaction rate were improved by an order of magnitude as compared to the previous CONUS analysis. The new limit of less than 0.34 signal events kg$^{-1}$d$^{-1}$ is within a factor 2 of the rate predicted by the Standard Model.


title: A Human-Powered Public Display that Nudges Social Biking via Motion Gesturing

abstract: The WeWatt bike serves as an energy station that enables passers-by to charge their mobile devices through physical activity. However, despite multiple people using it simultaneously, the bike is typically used individually. To address this limitation, we developed the WeWattTree, an installation utilising human-powered energy to filter environmental air. Through the orchestration of subtle motion gestures, our goal is to entice passers-by to participate and encourage them to socially interact, synchronising their pace. In this work-in-progress, we provide insights into the prototyping process, combining physical experimentation and computational simulation, and delve into the underlying concepts of our grammar of motion gestures. We highlight how a single design effectively merged multiple functionalities, how the role of material characteristics shaped the interaction design, and discuss the potential for social performances as captivating public displays.


title: Acoustic Mode Hybridization in a Single Dimer of Gold Nanoparticles

abstract: The acoustic vibrations of single monomers and dimers of gold nanoparticles were investigated by measuring for the first time their ultra-low frequency micro-Raman scattering. This experiment provides access not only to the frequency of the detected vibrational modes, but also to their damping rate, which is obscured by inhomogeneous effects in measurements on ensembles of nano-objects. This allows a detailed analysis of the mechanical coupling occurring between two close nanoparticles (mediated by the polymer surrounding them) in the dimer case. Such coupling induces the hybridization of the vibrational modes of each nanoparticle, leading to the appearance in the Raman spectra of two ultra-low frequency modes corresponding to the out-of-phase longitudinal and transverse (with respect to the dimer axis) quasi-translations of the nanoparticles. Additionally, it is also shown to shift the frequency of the quadrupolar modes of the nanoparticles. Experimental results are interpreted using finite-element simulations, which enable the unambiguous identification of the detected modes and, despite the simplifications made, lead to a reasonable reproduction of their measured frequencies and quality factors. The demonstrated feasibility of low frequency Raman scattering experiments on single nano-objects opens up new possibilities to improve the understanding of nanoscale vibrations, this technique being complementary with single nano-object time-resolved spectroscopy as it gives access to different vibrational modes.


title: Symplectic fillings of unit cotangent bundles of hyperbolic surfaces

abstract: We consider strong symplectic fillings of the unit cotangent bundle of a hyperbolic surface, equipped with its canonical contact structure. We show that every finitely presentable group can be realised as the fundamental group of such a filling.


title: Fuzzy Set with Hyperbolic Valued Membership Function

abstract: In this article, we have introdued D-fuzzy sets. We have discussed the notions of inclusion, union, intersection, complementation and convexity of such D-fuzzy sets. Also we have proved separation theorem of convex D-fuzzy sets.


title: Impermanent Loss Conditions: An Analysis of Decentralized Exchange Platforms

abstract: Decentralized exchanges are widely used platforms for trading crypto assets. The most common types work with automated market makers (AMM), allowing traders to exchange assets without needing to find matching counterparties. Thereby, traders exchange against asset reserves managed by smart contracts. These assets are provided by liquidity providers in exchange for a fee. Static analysis shows that small price changes in one of the assets can result in losses for liquidity providers. Despite the success of AMMs, it is claimed that liquidity providers often suffer losses. However, the literature does not adequately consider the dynamic effects of fees over time. Therefore, we investigate the impermanent loss problem in a dynamic setting using Monte Carlo simulations. Our findings indicate that price changes do not necessarily lead to losses. Fees paid by traders and arbitrageurs are equally important. In this respect, we can show that an arbitrage-friendly environment benefits the liquidity provider. Thus, we suggest that AMM developers should promote an arbitrage-friendly environment rather than trying to prevent arbitrage.


title: Encoding position by spins: Objectivity in the boson-spin model

abstract: We investigate quantum objectivity in the boson-spin model, where a central harmonic oscillator interacts with a thermal bath of spin-1/2 systems. We analyze how information about a continuous position variable can be encoded into discrete, finite-dimensional environments. More precisely, we study conditions under which the so-called Spectrum Broadcast Structures (SBS) can be formed in the model. These are multipartite quantum state structures, representing a mode-refined form of decoherence. Working in the recoil-less limit, we use the Floquet theory to show that despite its apparent simplicity, the model has a rich structure with different regimes, depending on the motion of the central system. In one of them, the faithful encoding of the position and hence objectivity are impossible irrespectively of the resources used. In other, large enough collections of spins will faithfully encode the position information. We derive the characteristic length scales, corresponding to decoherence and precision of the encoding.


title: Privacy-Aware Single-Nucleotide Polymorphisms (SNPs) using Bilinear Group Accumulators in Batch Mode

abstract: Biometric data is often highly sensitive, and a leak of this data can lead to serious privacy breaches. Some of the most sensitive of this type of data relates to the usage of DNA data on individuals. A leak of this type of data without consent could lead to privacy breaches of data protection laws. Along with this, there have been several recent data breaches related to the leak of DNA information, including from 23andMe and Ancestry. It is thus fundamental that a citizen should have the right to know if their DNA data is contained within a DNA database and ask for it to be removed if they are concerned about its usage. This paper outlines a method of hashing the core information contained within the data stores - known as Single-Nucleotide Polymorphisms (SNPs) - into a bilinear group accumulator in batch mode, which can then be searched by a trusted entity for matches. The time to create the witness proof and to verify were measured at 0.86 ms and 10.90 ms, respectively.


title: Formation of long-period post-common-envelope binaries I. No extra energy is needed to explain oxygen-neon white dwarfs paired with AFGK-type main-sequence stars

abstract: In this first in a series of papers related to long-period post-common-envelope (CE) binaries, we investigated whether extra energy is required or not to explain the currently known post-CE binaries with sufficiently long orbital periods consisting of oxygen-neon white dwarfs with AFGK-type main-sequence star companions. We carried out binary population simulations with the BSE code and searched for their formation pathways. Unlike what has been claimed for a long time, we show that all such post-CE binaries can be explained by assuming inefficient CE evolution, which is consistent with results achieved for the remaining post-CE binaries. There is therefore no need for an extra energy source. We also found that for CE efficiency close to 100%, post-CE binaries hosting oxygen-neon white dwarfs with orbital periods as long as a thousand days can be explained. For all known systems we found formation pathways consisting of CE evolution triggered when a highly evolved (i.e. the envelope mass being comparable to the core mass) thermally-pulsing asymptotic giant branch star fills its Roche lobe at an orbital period of several thousand days. Due to the sufficiently low envelope mass and sufficiently long orbital period, the resulting post-CE orbital period can easily be several tens of days. We conclude that the known post-CE binaries with oxygen-neon white dwarfs and AFGK-type main-sequence stars can be explained without invoking any energy source other than orbital and thermal energy. Our results strengthen the idea that the most common formation pathway of the overall population of post-CE binaries hosting white dwarfs is through inefficient CE evolution.


title: Corank spectral sequence for locally symmetric varieties

abstract: We construct a new type of spectral sequences for the mixed Hodge structures on the cohomology of locally symmetric varieties. These spectral sequences converge to the edge components in the Hodge triangles, and the E1 terms are expressed by simple geometric invariants associated to the cusps. They already degenerate at E1 in a certain range, which gives a simple expression of some Hodge components. An identity of holomorphic Euler numbers is obtained as a consequence. The theory of cellular (co)sheaves is used in the construction. When studying some examples, we also combine this approach with Hodge-theoretic analysis of the restriction map to the Borel-Serre boundary. The byproduct contains a simple proof of the surjectivity of the restriction map in some cases which does not use Eisenstein series.


title: Stochastic optimization with arbitrary recurrent data sampling

abstract: For obtaining optimal first-order convergence guarantee for stochastic optimization, it is necessary to use a recurrent data sampling algorithm that samples every data point with sufficient frequency. Most commonly used data sampling algorithms (e.g., i.i.d., MCMC, random reshuffling) are indeed recurrent under mild assumptions. In this work, we show that for a particular class of stochastic optimization algorithms, we do not need any other property (e.g., independence, exponential mixing, and reshuffling) than recurrence in data sampling algorithms to guarantee the optimal rate of first-order convergence. Namely, using regularized versions of Minimization by Incremental Surrogate Optimization (MISO), we show that for non-convex and possibly non-smooth objective functions, the expected optimality gap converges at an optimal rate $O(n^{-1/2})$ under general recurrent sampling schemes. Furthermore, the implied constant depends explicitly on the `speed of recurrence', measured by the expected amount of time to visit a given data point either averaged (`target time') or supremized (`hitting time') over the current location. We demonstrate theoretically and empirically that convergence can be accelerated by selecting sampling algorithms that cover the data set most effectively. We discuss applications of our general framework to decentralized optimization and distributed non-negative matrix factorization.


title: On small deviations of Gaussian multiplicative chaos with a strictly logarithmic covariance on Euclidean ball

abstract: Recognizing the regime of positive definiteness for a strictly logarithmic covariance kernel, we prove that the small deviations of a related Gaussian multiplicative chaos (GMC) $M_\gamma$ are for each natural dimension $d$ always of lognormal type, i.e. the upper and lower limits as $t\to \infty$ of $$ -\ln\Big(\mathbb{P}(M_\gamma(B(0,r))\le \delta \Big)/(\ln \delta)^2 $$ are finite and bounded away from zero. We then place the small deviations in the context of Laplace transforms of $M_\gamma$ and discuss the explicit bounds on the associated constants. We also provide some new representations of the Laplace transform of GMC related to a strictly logarithmic covariance kernel.


title: Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions

abstract: We present our vision for developing an automated tool capable of translating visual properties observed in Machine Learning (ML) visualisations into Python assertions. The tool aims to streamline the process of manually verifying these visualisations in the ML development cycle, which is critical as real-world data and assumptions often change post-deployment. In a prior study, we mined $54,070$ Jupyter notebooks from Github and created a catalogue of $269$ semantically related visualisation-assertion (VA) pairs. Building on this catalogue, we propose to build a taxonomy that organises the VA pairs based on ML verification tasks. The input feature space comprises of a rich source of information mined from the Jupyter notebooks -- visualisations, Python source code, and associated markdown text. The effectiveness of various AI models, including traditional NLP4Code models and modern Large Language Models, will be compared using established machine translation metrics and evaluated through a qualitative study with human participants. The paper also plans to address the challenge of extending the existing VA pair dataset with additional pairs from Kaggle and to compare the tool's effectiveness with commercial generative AI models like ChatGPT. This research not only contributes to the field of ML system validation but also explores novel ways to leverage AI for automating and enhancing software engineering practices in ML.


title: Data vs. Model Machine Learning Fairness Testing: An Empirical Study

abstract: Although several fairness definitions and bias mitigation techniques exist in the literature, all existing solutions evaluate fairness of Machine Learning (ML) systems after the training stage. In this paper, we take the first steps towards evaluating a more holistic approach by testing for fairness both before and after model training. We evaluate the effectiveness of the proposed approach and position it within the ML development lifecycle, using an empirical analysis of the relationship between model dependent and independent fairness metrics. The study uses 2 fairness metrics, 4 ML algorithms, 5 real-world datasets and 1600 fairness evaluation cycles. We find a linear relationship between data and model fairness metrics when the distribution and the size of the training data changes. Our results indicate that testing for fairness prior to training can be a ``cheap'' and effective means of catching a biased data collection process early; detecting data drifts in production systems and minimising execution of full training cycles thus reducing development time and costs.


title: Online Learning of Continuous Signed Distance Fields Using Piecewise Polynomials

abstract: Reasoning about distance is indispensable for establishing or avoiding contact in manipulation tasks. To this end, we present an online approach for learning implicit representations of signed distance using piecewise polynomial basis functions. Starting from an arbitrary prior shape, our method incrementally constructs a continuous and smooth distance representation from incoming surface points, with analytical access to gradient information. The underlying model does not store training data for prediction, and its performance can be balanced through interpretable hyperparameters such as polynomial degree and number of segments. We assess the accuracy of the incrementally learned model on a set of household objects and compare it to neural network and Gaussian process counterparts. The utility of intermediate results and analytical gradients is further demonstrated in a physical experiment. For code and video, see https://sites.google.com/view/pp-sdf/.


title: Dimension-free inequalities for low and high degree functions on the Hamming cube

abstract: We prove two types of optimal dimension-free $L^p$ inequalities, $1<p<\infty$, for low and high degree scalar-valued functions on the Hamming cube. More precisely, any function $f$ with spectrum bounded from above by $d$ satisfies the Bernstein--Markov type inequality $$ \|\Delta^k f\|_{L^p(\{-1,1\}^n)} \le Q(f)^\varepsilon C(p,\varepsilon)^k \,d^k\, \|f\|_{L^p(\{-1,1\}^n)},$$ for any $\varepsilon>0$ and $k\in\mathbb N$, and any function $f$ with spectrum bounded from below by $d$ satisfies the upper bound on the decay of the heat semigroup $$ \|e^{-t\Delta}f\|_{L^p(\{-1,1\}^n)} \le Q(f)^\varepsilon\exp(-c(p,\varepsilon) td) \|f\|_{L^p(\{-1,1\}^n)},$$ for any $t, \varepsilon>0$. Here, $Q(f)$ denotes the quotient between the largest and smallest non-zero values of $f$, and the constants $c(p,\varepsilon)$ and $C(p,\varepsilon)$ depend only on $p$ and $\varepsilon$; crucially, they are independent of the dimension $n$. In particular, if $f$ is Boolean-valued or $f\colon \{-1,1\}^n\to \{-1,0,1\},$ then the bounds we obtain are independent of $Q(f)$. We also provide counterexamples at the endpoint $p=\infty$, for which a linear growth in $d$ does not suffice when $k=1$.


title: From OTFS to AFDM: A Comparative Study of Next-Generation Waveforms for ISAC in Doubly-Dispersive Channels

abstract: Next-generation wireless systems will offer integrated sensing and communications (ISAC) functionalities not only in order to enable new applications, but also as a means to mitigate challenges such as doubly-dispersive channels, which arise in high mobility scenarios and/or at millimeter-wave (mmWave) and Terahertz (THz) bands. An emerging approach to accomplish these goals is the design of new waveforms, which draw from the inherent relationship between the doubly-dispersive nature of time-variant (TV) channels and the environmental features of scatterers manifested in the form of multi-path delays and Doppler shifts. Examples of such waveforms are the delay-Doppler domain orthogonal time frequency space (OTFS) and the recently proposed chirp domain affine frequency division multiplexing (AFDM), both of which seek to simultaneously combat the detrimental effects of double selectivity and exploit them for the estimation (or sensing) of environmental information. This article aims to provide a consolidated and comprehensive overview of the signal processing techniques required to support reliable ISAC over doubly-dispersive channels in beyond fifth generation (B5G)/sixth generation (6G) systems, with an emphasis on OTFS and AFDM waveforms, as those, together with the traditional orthogonal frequency division multiplexing (OFDM) waveform, suffice to elaborate on the most relevant properties of the trend. The analysis shows that OTFS and AFDM indeed enable significantly improved robustness against inter-carrier interference (ICI) arising from Doppler shifts compared to OFDM. In addition, the inherent delay-Doppler domain orthogonality of the OTFS and AFDM effective channels is found to provide significant advantages for the design and the performance of integrated sensing functionalities.


title: Adaptive Multistage Stochastic Programming

abstract: Multistage stochastic programming is a powerful tool allowing decision-makers to revise their decisions at each stage based on the realized uncertainty. However, in practice, organizations are not able to be fully flexible, as decisions cannot be revised too frequently due to their high organizational impact. Consequently, decision commitment becomes crucial to ensure that initially made decisions remain unchanged for a certain period. This paper introduces adaptive multistage stochastic programming, a new optimization paradigm that strikes an optimal balance between decision flexibility and commitment by determining the best stages to revise decisions depending on the allowed level of flexibility. We introduce a novel mathematical formulation and theoretical properties eliminating certain constraint sets. Furthermore, we develop a decomposition method that effectively handles mixed-integer adaptive multistage programs by adapting the integer L-shaped method and Benders decomposition. Computational experiments on stochastic lot-sizing and generation expansion planning problems show substantial advantages attained through optimal selections of revision times when flexibility is limited, while demonstrating computational efficiency of the proposed properties and solution methodology. Optimizing revision times in a less flexible case can outperform arbitrary selection in a more flexible case. By adhering to these optimal revision times, organizations can achieve performance levels comparable to fully flexible settings.


title: Prompting open-source and commercial language models for grammatical error correction of English learner text

abstract: Thanks to recent advances in generative AI, we are able to prompt large language models (LLMs) to produce texts which are fluent and grammatical. In addition, it has been shown that we can elicit attempts at grammatical error correction (GEC) from LLMs when prompted with ungrammatical input sentences. We evaluate how well LLMs can perform at GEC by measuring their performance on established benchmark datasets. We go beyond previous studies, which only examined GPT* models on a selection of English GEC datasets, by evaluating seven open-source and three commercial LLMs on four established GEC benchmarks. We investigate model performance and report results against individual error types. Our results indicate that LLMs do not always outperform supervised English GEC models except in specific contexts -- namely commercial LLMs on benchmarks annotated with fluency corrections as opposed to minimal edits. We find that several open-source models outperform commercial ones on minimal edit benchmarks, and that in some settings zero-shot prompting is just as competitive as few-shot prompting.


title: Polaron-induced changes in moir\'e exciton propagation in twisted van der Waals heterostructures

abstract: Twisted transition metal dichalcogenides (TMDs) present an intriguing platform for exploring excitons and their transport properties. By introducing a twist angle, a moir\'e superlattice forms, providing a spatially dependent exciton energy landscape. Based on a microscopic many-particle theory, we investigate in this work polaron-induced changes in exciton transport properties in the MoSe$_2$/WSe$_2$ heterostructure. We demonstrate that polaron formation and the associated enhancement of moir\'e excitonic mass lead to a significant band flattening. As a result, the hopping rate and the propagation velocity undergo noticeable temperature and twist-angle dependent changes. We predict a reduction of the hopping strength ranging from 80% at a twist angle of 1$^\circ$ to 30% at 3$^\circ$ at room temperature. The provided microscopic insights into the spatio-temporal exciton dynamics in presence of a moir\'e potential further deepens our understanding of the intriguing moir\'e exciton physics.


title: The Paradox of Function Header Comments

abstract: Perhaps the most widely used form of code documentation is function header comments. We performed a large-scale survey of 367 developers to catalog their expectations from such documentation and to chronicle actual practice. Paradoxically, we found that developers appreciate the value of header comments and estimate that they are worth the investment in time, but nevertheless they tend not to write such documentation in their own code. Reasons for not writing header comments vary from the belief that code should be self-documenting to concern that documentation will not be kept up-to-date. A possible outcome of this situation is that developers may evade requirements to write documentation by using templates to generate worthless comments that do not provide any real information. We define a simple metric for information-less documentation based on its similarity to the function signature. Applying this to 21,140 files in GitHub Python projects shows that most functions are undocumented, but when header comments are written they typically do contain additional information beyond the function signature.


title: The Johnson-Morita theory for the handlebody group

abstract: The Johnson-Morita theory is an algebraic approach to the mapping class group of a surface, in which one considers its action on the successive nilpotent quotients of the fundamental group of the surface. In this paper, we develop an analogue of this theory for the handlebody group, i.e. the mapping class group of a 3-dimensional handlebody. Thus, we obtain a filtration on the handlebody group, prove that its associated graded embeds into a Lie algebra of "special derivations", and give an explicit diagrammatic description of this graded Lie algebra in terms of "oriented trees with beads". Our new diagrammatic method reveals part of the richness of the algebraic structure of the handlebody group, which lies mainly in the subgroup generated by Dehn twists along meridians: the so-called "twist group". As an application, we obtain that each term of the associated graded of the lower central series of the twist group is infinitely generated.


title: Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals

abstract: The topic of this manuscript is the stability analysis of continuous-time switched nonlinear systems with constraints on the admissible switching signals. Our particular focus lies in considering signals characterized by upper and lower bounds on the length of the switching intervals. We adapt and extend the existing theory of multiple Lyapunov functions, providing converse results and thus a complete characterization of uniform stability for this class of systems. We specify our results in the context of switched linear systems, providing the equivalence of exponential stability and the existence of multiple Lyapunov norms. By restricting the class of candidate Lyapunov functions to the set of quadratic functions, we are able to provide semidefinite-optimization-based numerical schemes to check the proposed conditions. We provide numerical examples to illustrate our approach and highlight its advantages over existing methods.


title: Novel knotted non-abelian gauge fields

abstract: In analogy to null electromagnetic fields we define null YM fields. We show that the null non-abelian $SU(N)$ gauge fields admit a set of $2 N^2$ conserved "helicities". We derive null YM solutions that carry finite helicities by uplifting the abelian Hopfion solution and their generalizations. Another method that we implement is to deform YM solutions which do not carry helicities into ones that have nontrivial helicities. A nontrivial non-Abelian solution with helicities is found as a wave of infinite energy. We also discuss non-abelian generalizations of the Bateman parameterization for null abelian gauge fields.


title: Emergent Gauge Theory in Rydberg Atom Arrays

abstract: Rydberg atom arrays have emerged as a novel platform exhibiting rich quantum many-body physics and offering promise for universal quantum computation. The Rydberg blockade effect plays an essential role in establishing many-body correlations in this system. In this review, we will highlight that the lattice gauge theory is an efficient description of the Rydberg blockade effect and overview recent exciting developments in this system from equilibrium phases to quantum dynamics. These developments include realizing exotic ground states such as spin liquids, discovering quantum many-body scar states violating quantum thermalization, and observing confinement-deconfinement transition through quantum dynamics. We emphasize that the gauge theory description offers a universal theoretical framework to capture all these phenomena. This perspective of Rydberg atom arrays will inspire further the future development of quantum simulation and quantum computation in this platform.

categories: cond-mat.quant-gas cond-mat.str-el hep-lat hep-th quant-ph


title: Towards Efficient Diffusion-Based Image Editing with Instant Attention Masks

abstract: Diffusion-based Image Editing (DIE) is an emerging research hot-spot, which often applies a semantic mask to control the target area for diffusion-based editing. However, most existing solutions obtain these masks via manual operations or off-line processing, greatly reducing their efficiency. In this paper, we propose a novel and efficient image editing method for Text-to-Image (T2I) diffusion models, termed Instant Diffusion Editing(InstDiffEdit). In particular, InstDiffEdit aims to employ the cross-modal attention ability of existing diffusion models to achieve instant mask guidance during the diffusion steps. To reduce the noise of attention maps and realize the full automatics, we equip InstDiffEdit with a training-free refinement scheme to adaptively aggregate the attention distributions for the automatic yet accurate mask generation. Meanwhile, to supplement the existing evaluations of DIE, we propose a new benchmark called Editing-Mask to examine the mask accuracy and local editing ability of existing methods. To validate InstDiffEdit, we also conduct extensive experiments on ImageNet and Imagen, and compare it with a bunch of the SOTA methods. The experimental results show that InstDiffEdit not only outperforms the SOTA methods in both image quality and editing results, but also has a much faster inference speed, i.e., +5 to +6 times.


title: Go-Explore for Residential Energy Management

abstract: Reinforcement learning is commonly applied in residential energy management, particularly for optimizing energy costs. However, RL agents often face challenges when dealing with deceptive and sparse rewards in the energy control domain, especially with stochastic rewards. In such situations, thorough exploration becomes crucial for learning an optimal policy. Unfortunately, the exploration mechanism can be misled by deceptive reward signals, making thorough exploration difficult. Go-Explore is a family of algorithms which combines planning methods and reinforcement learning methods to achieve efficient exploration. We use the Go-Explore algorithm to solve the cost-saving task in residential energy management problems and achieve an improvement of up to 19.84\% compared to the well-known reinforcement learning algorithms.