title: GradMix for nuclei segmentation and classification in imbalanced pathology image datasets

abstract: An automated segmentation and classification of nuclei is an essential task in digital pathology. The current deep learning-based approaches require a vast amount of annotated datasets by pathologists. However, the existing datasets are imbalanced among different types of nuclei in general, leading to a substantial performance degradation. In this paper, we propose a simple but effective data augmentation technique, termed GradMix, that is specifically designed for nuclei segmentation and classification. GradMix takes a pair of a major-class nucleus and a rare-class nucleus, creates a customized mixing mask, and combines them using the mask to generate a new rare-class nucleus. As it combines two nuclei, GradMix considers both nuclei and the neighboring environment by using the customized mixing mask. This allows us to generate realistic rare-class nuclei with varying environments. We employed two datasets to evaluate the effectiveness of GradMix. The experimental results suggest that GradMix is able to improve the performance of nuclei segmentation and classification in imbalanced pathology image datasets.


title: A Black-Hole Excision Scheme for General Relativistic Core-Collapse Supernova Simulations

abstract: Fallback supernovae and the collapsar scenario for long-gamma ray burst and hypernovae have received considerable interest as pathways to black-hole formation and extreme transient events. Consistent simulations of these scenarios require a general relativistic treatment and need to deal appropriately with the formation of a singularity. Free evolution schemes for the Einstein equations can handle the formation of black holes by means of excision or puncture schemes. However, in constrained schemes, which offer distinct advantages in long-term numerical stability in stellar collapse simulations over well above $10^{4}$ light-crossing time scales, the dynamical treatment of black-hole spacetimes is more challenging. Building on previous work on excision in conformally flat spacetimes, we here present the implementation of a black-hole excision scheme for supernova simulations with the CoCoNuT-FMT neutrino transport code. We describe in detail a choice of boundary conditions that ensures long-time numerical stability, and also address upgrades to the hydrodynamics solver that are required to stably evolve the relativistic accretion flow onto the black hole. The scheme is currently limited to a spherically symmetric metric, but the hydrodynamics can be treated multi-dimensionally. For demonstration, we present a spherically symmetric simulation of black-hole formation in an $85 M_\odot$ star, as well as a two-dimensional simulation of the fallback explosion of the same progenitor. These extend past 9s and 0.3s after black-hole formation, respectively.


title: Heterogeneous Information Crossing on Graphs for Session-based Recommender Systems

abstract: Recommender systems are fundamental information filtering techniques to recommend content or items that meet users' personalities and potential needs. As a crucial solution to address the difficulty of user identification and unavailability of historical information, session-based recommender systems provide recommendation services that only rely on users' behaviors in the current session. However, most existing studies are not well-designed for modeling heterogeneous user behaviors and capturing the relationships between them in practical scenarios. To fill this gap, in this paper, we propose a novel graph-based method, namely Heterogeneous Information Crossing on Graphs (HICG). HICG utilizes multiple types of user behaviors in the sessions to construct heterogeneous graphs, and captures users' current interests with their long-term preferences by effectively crossing the heterogeneous information on the graphs. In addition, we also propose an enhanced version, named HICG-CL, which incorporates contrastive learning (CL) technique to enhance item representation ability. By utilizing the item co-occurrence relationships across different sessions, HICG-CL improves the recommendation performance of HICG. We conduct extensive experiments on three real-world recommendation datasets, and the results verify that (i) HICG achieves the state-of-the-art performance by utilizing multiple types of behaviors on the heterogeneous graph. (ii) HICG-CL further significantly improves the recommendation performance of HICG by the proposed contrastive learning module.


title: Unsupervised Graph Outlier Detection: Problem Revisit, New Insight, and Superior Method

abstract: A large number of studies on Graph Outlier Detection (GOD) have emerged in recent years due to its wide applications, in which Unsupervised Node Outlier Detection (UNOD) on attributed networks is an important area. UNOD focuses on detecting two kinds of typical outliers in graphs: the structural outlier and the contextual outlier. Most existing works conduct experiments based on datasets with injected outliers. However, we find that the most widely-used outlier injection approach has a serious data leakage issue. By only utilizing such data leakage, a simple approach can achieve state-of-the-art performance in detecting outliers. In addition, we observe that existing algorithms have a performance drop with the mitigated data leakage issue. The other major issue is on balanced detection performance between the two types of outliers, which has not been considered by existing studies. In this paper, we analyze the cause of the data leakage issue in depth since the injection approach is a building block to advance UNOD. Moreover, we devise a novel variance-based model to detect structural outliers, which outperforms existing algorithms significantly and is more robust at kinds of injection settings. On top of this, we propose a new framework, Variance based Graph Outlier Detection (VGOD), which combines our variance-based model and attribute reconstruction model to detect outliers in a balanced way. Finally, we conduct extensive experiments to demonstrate the effectiveness and efficiency of VGOD. The results on 5 real-world datasets validate that VGOD achieves not only the best performance in detecting outliers but also a balanced detection performance between structural and contextual outliers.


title: Are Current Task-oriented Dialogue Systems Able to Satisfy Impolite Users?

abstract: Task-oriented dialogue (TOD) systems have assisted users on many tasks, including ticket booking and service inquiries. While existing TOD systems have shown promising performance in serving customer needs, these systems mostly assume that users would interact with the dialogue agent politely. This assumption is unrealistic as impatient or frustrated customers may also interact with TOD systems impolitely. This paper aims to address this research gap by investigating impolite users' effects on TOD systems. Specifically, we constructed an impolite dialogue corpus and conducted extensive experiments to evaluate the state-of-the-art TOD systems on our impolite dialogue corpus. Our experimental results show that existing TOD systems are unable to handle impolite user utterances. We also present a data augmentation method to improve TOD performance in impolite dialogues. Nevertheless, handling impolite dialogues remains a very challenging research task. We hope by releasing the impolite dialogue corpus and establishing the benchmark evaluations, more researchers are encouraged to investigate this new challenging research task.


title: Electrochemical Shot-Noise of a Redox Monolayer

abstract: Redox monolayers are the base for a wide variety of devices including high-frequency molecular diodes or biomolecular sensors. We introduce a formalism to describe the electrochemical shot-noise of such monolayer, confirmed experimentally at room temperature in liquid. The proposed method, carried out at equilibrium, avoids parasitic capacitance, increases the sensitivity and allows to obtain quantitative information such as the electronic coupling (or standard electron transfer rates), its dispersion and the number of molecules. Unlike in solid-state physics, the homogeneity in energy levels and transfer rates in the monolayer yields a Lorentzian spectrum. This first step for shot-noise studies in molecular electrochemical systems opens perspectives for quantum transport studies in liquid environment at room temperature as well as highly sensitive measurements for bioelectrochemical sensors.


title: Deep Edge Intelligence: Architecture, Key Features, Enabling Technologies and Challenges

abstract: With the breakthroughs in Deep Learning, recent years have witnessed a massive surge in Artificial Intelligence applications and services. Meanwhile, the rapid advances in Mobile Computing and Internet of Things has also given rise to billions of mobile and smart sensing devices connected to the Internet, generating zettabytes of data at the network edge. The opportunity to combine these two domains of technologies to power interconnected devices with intelligence is likely to pave the way for a new wave of technology revolutions. Embracing this technology revolution, in this article, we present a novel computing vision named Deep Edge Intelligence (DEI). DEI employs Deep Learning, Artificial Intelligence, Cloud and Edge Computing, 5G/6G networks, Internet of Things, Microservices, etc. aiming to provision reliable and secure intelligence services to every person and organisation at any place with better user experience. The vision, system architecture, key layers and features of DEI are also detailed. Finally, we reveal the key enabling technologies and research challenges associated with it.


title: Revisiting Sparse Convolutional Model for Visual Recognition

abstract: Despite strong empirical performance for image classification, deep neural networks are often regarded as ``black boxes'' and they are difficult to interpret. On the other hand, sparse convolutional models, which assume that a signal can be expressed by a linear combination of a few elements from a convolutional dictionary, are powerful tools for analyzing natural images with good theoretical interpretability and biological plausibility. However, such principled models have not demonstrated competitive performance when compared with empirically designed deep networks. This paper revisits the sparse convolutional modeling for image classification and bridges the gap between good empirical performance (of deep learning) and good interpretability (of sparse convolutional models). Our method uses differentiable optimization layers that are defined from convolutional sparse coding as drop-in replacements of standard convolutional layers in conventional deep neural networks. We show that such models have equally strong empirical performance on CIFAR-10, CIFAR-100, and ImageNet datasets when compared to conventional neural networks. By leveraging stable recovery property of sparse modeling, we further show that such models can be much more robust to input corruptions as well as adversarial perturbations in testing through a simple proper trade-off between sparse regularization and data reconstruction terms. Source code can be found at https://github.com/Delay-Xili/SDNet.


title: Lattice isometries and K3 surface automorphisms: Salem numbers of degree 20

abstract: This article extends Bayer-Fluckiger's theorem on characteristic polynomials of isometries on an even unimodular lattice to the case where the isometries have determinant $-1$. As an application, we show that the logarithm of every Salem number of degree $20$ is realized as the topological entropy of an automorphism of a nonprojective K3 surface.


title: IT-RUDA: Information Theory Assisted Robust Unsupervised Domain Adaptation

abstract: Distribution shift between train (source) and test (target) datasets is a common problem encountered in machine learning applications. One approach to resolve this issue is to use the Unsupervised Domain Adaptation (UDA) technique that carries out knowledge transfer from a label-rich source domain to an unlabeled target domain. Outliers that exist in either source or target datasets can introduce additional challenges when using UDA in practice. In this paper, $\alpha$-divergence is used as a measure to minimize the discrepancy between the source and target distributions while inheriting robustness, adjustable with a single parameter $\alpha$, as the prominent feature of this measure. Here, it is shown that the other well-known divergence-based UDA techniques can be derived as special cases of the proposed method. Furthermore, a theoretical upper bound is derived for the loss in the target domain in terms of the source loss and the initial $\alpha$-divergence between the two domains. The robustness of the proposed method is validated through testing on several benchmarked datasets in open-set and partial UDA setups where extra classes existing in target and source datasets are considered as outliers.


title: Searching for neutrinos from solar flares across solar cycles 23 and 24 with the Super-Kamiokande detector

abstract: Neutrinos associated with solar flares (solar-flare neutrinos) provide information on particle acceleration mechanisms during the impulsive phase of solar flares. We searched using the Super-Kamiokande detector for neutrinos from solar flares that occurred during solar cycles $23$ and $24$, including the largest solar flare (X28.0) on November 4th, 2003. In order to minimize the background rate we searched for neutrino interactions within narrow time windows coincident with $\gamma$-rays and soft X-rays recorded by satellites. In addition, we performed the first attempt to search for solar-flare neutrinos from solar flares on the invisible side of the Sun by using the emission time of coronal mass ejections (CMEs). By selecting twenty powerful solar flares above X5.0 on the visible side and eight CMEs whose emission speed exceeds $2000$ $\mathrm{km \, s^{-1}}$ on the invisible side from 1996 to 2018, we found two (six) neutrino events coincident with solar flares occurring on the visible (invisible) side of the Sun, with a typical background rate of $0.10$ ($0.62$) events per flare in the MeV-GeV energy range. No significant solar-flare neutrino signal above the estimated background rate was observed. As a result we set the following upper limit on neutrino fluence at the Earth $\mathit{\Phi}<1.1\times10^{6}$ $\mathrm{cm^{-2}}$ at the $90\%$ confidence level for the largest solar flare. The resulting fluence limits allow us to constrain some of the theoretical models for solar-flare neutrino emission.

categories: astro-ph.SR astro-ph.HE hep-ex physics.space-ph


title: Enhancing Label Consistency on Document-level Named Entity Recognition

abstract: Named entity recognition (NER) is a fundamental part of extracting information from documents in biomedical applications. A notable advantage of NER is its consistency in extracting biomedical entities in a document context. Although existing document NER models show consistent predictions, they still do not meet our expectations. We investigated whether the adjectives and prepositions within an entity cause a low label consistency, which results in inconsistent predictions. In this paper, we present our method, ConNER, which enhances the label dependency of modifiers (e.g., adjectives and prepositions) to achieve higher label agreement. ConNER refines the draft labels of the modifiers to improve the output representations of biomedical entities. The effectiveness of our method is demonstrated on four popular biomedical NER datasets; in particular, its efficacy is proved on two datasets with 7.5-8.6% absolute improvements in the F1 score. We interpret that our ConNER method is effective on datasets that have intrinsically low label consistency. In the qualitative analysis, we demonstrate how our approach makes the NER model generate consistent predictions. Our code and resources are available at https://github.com/dmis-lab/ConNER/.


title: Higher order Boundary Schauder Estimates in Carnot Groups

abstract: In his seminal 1981 study D. Jerison showed the remarkable negative phenomenon that there exist, in general, no Schauder estimates near the characteristic boundary in the Heisenberg group $\mathbb H^n$. On the positive side, by adapting tools from Fourier and microlocal analysis, he developed a Schauder theory at a non-characteristic portion of the boundary, based on the non-isotropic Folland-Stein H\"older classes. On the other hand, the 1976 celebrated work of Rothschild and Stein on their lifting theorem established the central position of stratified nilpotent Lie groups (nowadays known as Carnot groups) in the analysis of H\"ormander operators but, to present date, there exists no known counterpart of Jerison's results in these sub-Riemannian ambients. In this paper we fill this gap. We prove optimal $\Gamma^{k,\alpha}$ ($k\geq 2$) Schauder estimates near a $C^{k,\alpha}$ non-characteristic portion of the boundary for $\Gamma^{k-2, \alpha}$ perturbations of horizontal Laplacians in Carnot groups.


title: Distances between fixed-point sets in 2-dimensional Euclidean buildings are realised

abstract: We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings.


title: Ares: A System-Oriented Wargame Framework for Adversarial ML

abstract: Since the discovery of adversarial attacks against machine learning models nearly a decade ago, research on adversarial machine learning has rapidly evolved into an eternal war between defenders, who seek to increase the robustness of ML models against adversarial attacks, and adversaries, who seek to develop better attacks capable of weakening or defeating these defenses. This domain, however, has found little buy-in from ML practitioners, who are neither overtly concerned about these attacks affecting their systems in the real world nor are willing to trade off the accuracy of their models in pursuit of robustness against these attacks. In this paper, we motivate the design and implementation of Ares, an evaluation framework for adversarial ML that allows researchers to explore attacks and defenses in a realistic wargame-like environment. Ares frames the conflict between the attacker and defender as two agents in a reinforcement learning environment with opposing objectives. This allows the introduction of system-level evaluation metrics such as time to failure and evaluation of complex strategies such as moving target defenses. We provide the results of our initial exploration involving a white-box attacker against an adversarially trained defender.


title: Implementation of Trained Factorization Machine Recommendation System on Quantum Annealer

abstract: Factorization Machine (FM) is the most commonly used model to build a recommendation system since it can incorporate side information to improve performance. However, producing item suggestions for a given user with a trained FM is time-consuming. It requires a run-time of $O((N_m \log N_m)^2)$, where $N_m$ is the number of items in the dataset. To address this problem, we propose a quadratic unconstrained binary optimization (QUBO) scheme to combine with FM and apply quantum annealing (QA) computation. Compared to classical methods, this hybrid algorithm provides a faster than quadratic speedup in finding good user suggestions. We then demonstrate the aforementioned computational advantage on current NISQ hardware by experimenting with a real example on a D-Wave annealer.


title: Message Passing-Based Joint User Activity Detection and Channel Estimation for Temporally-Correlated Massive Access

abstract: This paper studies the user activity detection and channel estimation problem in a temporally-correlated massive access system where a very large number of users communicate with a base station sporadically and each user once activated can transmit with a large probability over multiple consecutive frames. We formulate the problem as a dynamic compressed sensing (DCS) problem to exploit both the sparsity and the temporal correlation of user activity. By leveraging the hybrid generalized approximate message passing (HyGAMP) framework, we design a computationally efficient algorithm, HyGAMP-DCS, to solve this problem. In contrast to only exploit the historical estimations, the proposed algorithm performs bidirectional message passing between the neighboring frames for activity likelihood update to fully exploit the temporally-correlated user activities. Furthermore, we develop an expectation maximization HyGAMP-DCS (EM-HyGAMP-DCS) algorithm to adaptively learn the hyperparameters during the estimation procedure when the system statistics are unknown. In particular, we propose to utilize the analysis tool of state evolution to find the appropriate hyperparameter initialization of EM-HyGAMP-DCS. Simulation results demonstrate that our proposed algorithms can significantly improve the user activity detection accuracy and reduce the channel estimation error.


title: The Case for Accelerating BFT Protocols Using In-Network Ordering

abstract: Mission critical systems deployed in data centers today are facing more sophisticated failures. Byzantine fault tolerant (BFT) protocols are capable of masking these types of failures, but are rarely deployed due to their performance cost and complexity. In this work, we propose a new approach to designing high performance BFT protocols in data centers. By re-examining the ordering responsibility between the network and the BFT protocol, we advocate a new abstraction offered by the data center network infrastructure. Concretely, we design a new authenticated ordered multicast primitive (AOM) that provides transferable authentication and non-equivocation guarantees. Feasibility of the design is demonstrated by two hardware implementations of AOM -- one using HMAC and the other using public key cryptography for authentication -- on new-generation programmable switches. We then co-design a new BFT protocol, Matrix, that leverages the guarantees of AOM to eliminate cross-replica coordination and authentication in the common case. Evaluation results show that Matrix outperforms state-of-the-art protocols on both latency and throughput metrics by a wide margin, demonstrating the benefit of our new network ordering abstraction for BFT systems.


title: Gate-tunable Lifshitz transition of Fermi arcs and its nonlocal transport signatures

abstract: One hallmark of the Weyl semimetal is the emergence of Fermi arcs (FAs) in the surface Brillouin zone that connect the projected Weyl nodes of opposite chirality. The unclosed FAs can give rise to various exotic effects that have attracted tremendous research interest. The configurations of the FAs are usually thought to be determined fully by the band topology of the bulk states, which seems impossible to manipulate. Here, we show that the FAs can be simply modified by a surface gate voltage. Because the penetration length of the surface states depends on the in-plane momentum, a surface gate voltage induces an effective energy dispersion. As a result, a continuous deformation of the surface band can be implemented by tuning the surface gate voltage. In particular, as the saddle point of the surface band meets the Fermi energy, the topological Lifshitz transition takes place for the FAs, during which the Weyl nodes switch their partners connected by the FAs. Accordingly, the magnetic Weyl orbits composed of the FAs on opposite surfaces and chiral Landau bands inside the bulk change its configurations. We show that such an effect can be probed by the nonlocal transport measurements in a magnetic field, in which the switch on and off of the nonlocal conductance by the surface gate voltage signals the Lifshitz transition. Our work opens a new route for manipulating the FAs by surface gates and exploring novel transport phenomena associated with the topological Lifshitz transition.


title: On the optimization and pruning for Bayesian deep learning

abstract: The goal of Bayesian deep learning is to provide uncertainty quantification via the posterior distribution. However, exact inference over the weight space is computationally intractable due to the ultra-high dimensions of the neural network. Variational inference (VI) is a promising approach, but naive application on weight space does not scale well and often underperform on predictive accuracy. In this paper, we propose a new adaptive variational Bayesian algorithm to train neural networks on weight space that achieves high predictive accuracy. By showing that there is an equivalence to Stochastic Gradient Hamiltonian Monte Carlo(SGHMC) with preconditioning matrix, we then propose an MCMC within EM algorithm, which incorporates the spike-and-slab prior to capture the sparsity of the neural network. The EM-MCMC algorithm allows us to perform optimization and model pruning within one-shot. We evaluate our methods on CIFAR-10, CIFAR-100 and ImageNet datasets, and demonstrate that our dense model can reach the state-of-the-art performance and our sparse model perform very well compared to previously proposed pruning schemes.


title: Composition, Attention, or Both?

abstract: In this paper, we propose a novel architecture called Composition Attention Grammars (CAGs) that recursively compose subtrees into a single vector representation with a composition function, and selectively attend to previous structural information with a self-attention mechanism. We investigate whether these components -- the composition function and the self-attention mechanism -- can both induce human-like syntactic generalization. Specifically, we train language models (LMs) with and without these two components with the model sizes carefully controlled, and evaluate their syntactic generalization performance against six test circuits on the SyntaxGym benchmark. The results demonstrated that the composition function and the self-attention mechanism both play an important role to make LMs more human-like, and closer inspection of linguistic phenomenon implied that the composition function allowed syntactic features, but not semantic features, to percolate into subtree representations.


title: Searches for Ultra-High-Energy Photons at the Pierre Auger Observatory

abstract: The Pierre Auger Observatory, being the largest air-shower experiment in the world, offers an unprecedented exposure to neutral particles at the highest energies. Since the start of data taking more than 18 years ago, various searches for ultra-high-energy (UHE, $E\gtrsim10^{17}\,\text{eV}$) photons have been performed: either for a diffuse flux of UHE photons, for point sources of UHE photons or for UHE photons associated with transient events like gravitational wave events. In the present paper, we summarize these searches and review the current results obtained using the wealth of data collected by the Pierre Auger Observatory.


title: Human Cognition and Language Processing with Neural-Lexicon Hypothesis

abstract: Cognition and language seem closely related to the human cognitive process, although they have not been studied and investigated in detail. Our brain is too complex to fully comprehend the structures and connectivity, as well as its functions, with the currently available technology such as electro-encephalography, positron emission tomography, or functional magnetic resonance imaging, and neurobiological data. Therefore, the exploration of neurobiological processes, such as cognition, requires substantially more related evidences, especially from in-vivo human experiments. Cognition and language are of inter-disciplinary nature and additional methodological support is needed from other disciplines, such as deep learning in the field of artificial intelligence, for example. In this paper, we have attempted to explain the neural mechanisms underlying "cognition and language processing" or "cognition or thinking" using a novel neural network model with several newly emerging developments such as neuronal resonance, in-vivo human fiber tractography or connectivity data, Engram and Hebbian hypothesis, human memory formation in the high brain areas, deep learning, and more recently developed neural memory concepts, the neural lexicon. The neural lexicon is developed via language by repeated exposure to the neural system, similar to multilayer signal processing in deep learning. We have derived a neural model to explain how human "cognition and language processing" or "cognition and thinking" works, with a focus on language, a universal medium of the human society. Although the proposed hypothesis is not fully based on experimental evidences, a substantial portion of the observations in this study is directly and indirectly supported by recent experimental findings and the theoretical bases of deep learning research.


title: Is jet re-orientation the elusive trigger for star formation suppression in radio galaxies?

abstract: Jet re-orientation associated with the time evolution of radio quasars explains the formation of X-shaped radio galaxies and their preference for isolated environments. But since X-shaped radio galaxies are generally not found in dense environments (e.g. groups/clusters), the jet re-orientation phenomenon for radio galaxies in groups and clusters has been ignored. We take a closer look at the re-orientation of FRI jets with respect to FRII jets, and find that it may constitute the as-yet unidentified trigger for star formation suppression in radio galaxies. We show how the recently explored radio "red geyser" galaxies can be interpreted in this context and ultimately reveal a deeper understanding of why FRII radio galaxies are on one side of the star formation enhancement/suppression divide compared to FRI radio galaxies.


title: Geometric Flows of $G_2$-Structures on 3-Sasakian 7-Manifolds

abstract: A 3-Sasakian structure on a 7-manifold may be used to define two distinct Einstein metrics: the 3-Sasakian metric and the squashed Einstein metric. Both metrics are induced by nearly parallel $G_2$-structures which may also be expressed in terms of the 3-Sasakian structure. Just as Einstein metrics are critical points for the Ricci flow up to rescaling, nearly parallel $G_2$-structures provide natural critical points of the (rescaled) geometric flows of $G_2$-structures known as the Laplacian flow and Laplacian coflow. We study each of these flows in the 3-Sasakian setting and see that their behaviour is markedly different, particularly regarding the stability of the nearly parallel $G_2$-structures. We also compare the behaviour of the flows of $G_2$-structures with the (rescaled) Ricci flow.


title: de Sitter space, extremal surfaces and "time-entanglement"

abstract: We refine previous investigations on de Sitter space and extremal surfaces anchored at the future boundary $I^+$. Since such surfaces do not return, they require extra data or boundary conditions in the past (interior). In entirely Lorentzian de Sitter spacetime, this leads to future-past timelike surfaces stretching between $I^\pm$. Apart from an overall $-i$ factor (relative to spacelike surfaces in $AdS$) their areas are real and positive. With a no-boundary type boundary condition, the top half of these timelike surfaces joins with a spacelike part on the hemisphere giving a complex-valued area. Motivated by these, we describe two aspects of "time-entanglement" in simple toy models in quantum mechanics. One is based on a future-past thermofield double type state entangling timelike separated states, which leads to entirely positive structures. Another is based on the time evolution operator and reduced transition amplitudes, which leads to complex-valued entropy.


title: Non-Contrastive Learning-based Behavioural Biometrics for Smart IoT Devices

abstract: Behaviour biometrics are being explored as a viable alternative to overcome the limitations of traditional authentication methods such as passwords and static biometrics. Also, they are being considered as a viable authentication method for IoT devices such as smart headsets with AR/VR capabilities, wearables, and erables, that do not have a large form factor or the ability to seamlessly interact with the user. Recent behavioural biometric solutions use deep learning models that require large amounts of annotated training data. Collecting such volumes of behaviour biometrics data raises privacy and usability concerns. To this end, we propose using SimSiam-based non-contrastive self-supervised learning to improve the label efficiency of behavioural biometric systems. The key idea is to use large volumes of unlabelled (and anonymised) data to build good feature extractors that can be subsequently used in supervised settings. Using two EEG datasets, we show that at lower amounts of labelled data, non-contrastive learning performs 4%-11% more than conventional methods such as supervised learning and data augmentation. We also show that, in general, self-supervised learning methods perform better than other baselines. Finally, through careful experimentation, we show various modifications that can be incorporated into the non-contrastive learning process to archive high performance.


title: High-Resolution Image Editing via Multi-Stage Blended Diffusion

abstract: Diffusion models have shown great results in image generation and in image editing. However, current approaches are limited to low resolutions due to the computational cost of training diffusion models for high-resolution generation. We propose an approach that uses a pre-trained low-resolution diffusion model to edit images in the megapixel range. We first use Blended Diffusion to edit the image at a low resolution, and then upscale it in multiple stages, using a super-resolution model and Blended Diffusion. Using our approach, we achieve higher visual fidelity than by only applying off the shelf super-resolution methods to the output of the diffusion model. We also obtain better global consistency than directly using the diffusion model at a higher resolution.


title: The shortest non-simple closed geodesics on hyperbolic surfaces

abstract: This article explores closed geodesics on hyperbolic surfaces. We show that, for sufficiently large $k$, the shortest closed geodesics with at least $k$ self-intersections, taken among all hyperbolic surfaces, all lie on an ideal pair of pants and have length $2\arccosh(2k+1)$.


title: Fractional topological charge in lattice Abelian gauge theory

abstract: We construct a non-trivial $U(1)/\mathbb{Z}_q$ principal bundle on~$T^4$ from the compact $U(1)$ lattice gauge field by generalizing L\"uscher's constriction so that the cocycle condition contains $\mathbb{Z}_q$ elements (the 't~Hooft flux). The construction requires an admissibility condition on lattice gauge field configurations. From the transition function so constructed, we have the fractional topological charge that is $\mathbb{Z}_q$ one-form gauge invariant and odd under the lattice time reversal transformation. Assuming a rescaling of the vacuum angle $\theta\to q\theta$ suggested from the Witten effect, our construction provides a lattice implementation of the mixed 't~Hooft anomaly between the $\mathbb{Z}_q$ one-form symmetry and the time reversal symmetry in the $U(1)$ gauge theory with matter fields of charge~$q\in2\mathbb{Z}$ when $\theta=\pi$, which was studied by Honda and Tanizaki [J. High Energy Phys. \textbf{12}, 154 (2020)] in the continuum framework.


title: Overlap, matching, or entropy weights: what are we weighting for?

abstract: There has been a recent surge in statistical methods for handling the lack of adequate positivity when using inverse probability weights (IPW). However, these nascent developments have raised a number of questions. Thus, we demonstrate the ability of equipoise estimators (overlap, matching, and entropy weights) to handle the lack of positivity. Compared to IPW, the equipoise estimators have been shown to be flexible and easy to interpret. However, promoting their wide use requires that researchers know clearly why, when to apply them and what to expect. In this paper, we provide the rationale to use these estimators to achieve robust results. We specifically look into the impact imbalances in treatment allocation can have on the positivity and, ultimately, on the estimates of the treatment effect. We zero into the typical pitfalls of the IPW estimator and its relationship with the estimators of the average treatment effect on the treated (ATT) and on the controls (ATC). Furthermore, we also compare IPW trimming to the equipoise estimators. We focus particularly on two key points: What fundamentally distinguishes their estimands? When should we expect similar results? Our findings are illustrated through Monte-Carlo simulation studies and a data example on healthcare expenditure.


title: Spatial Structures of Wind Farms: Correlation Analysis of the Generated Electrical Power

abstract: We investigate the interaction of many wind turbines in a wind farm with a focus on their electrical power production. The operational data of two offshore wind farms with a ten minute and a ten second time resolution, respectively, are analyzed. For the correlations of the active power between turbines over the entire wind farms, we find a dominant collective behavior. We manage to subtract the collective behavior and find a significant dependence of the correlation structure on the spatial structure of the wind farms. We further show a connection between the observed correlation structures and the prevailing wind direction. We attribute the differences between the two wind farms to the differences in the turbine spacing within the two wind farms.


abstract: The present paper is devoted to studying 2-local derivations on the planar Galilean conformal algebra. We prove that every 2-local derivation on the planar Galilean conformal algebra is a derivation.


title: Holistically-Attracted Wireframe Parsing: From Supervised to Self-Supervised Learning

abstract: This article presents Holistically-Attracted Wireframe Parsing (HAWP), a method for geometric analysis of 2D images containing wireframes formed by line segments and junctions. HAWP utilizes a parsimonious Holistic Attraction (HAT) field representation that encodes line segments using a closed-form 4D geometric vector field. The proposed HAWP consists of three sequential components empowered by end-to-end and HAT-driven designs: (1) generating a dense set of line segments from HAT fields and endpoint proposals from heatmaps, (2) binding the dense line segments to sparse endpoint proposals to produce initial wireframes, and (3) filtering false positive proposals through a novel endpoint-decoupled line-of-interest aligning (EPD LOIAlign) module that captures the co-occurrence between endpoint proposals and HAT fields for better verification. Thanks to our novel designs, HAWPv2 shows strong performance in fully supervised learning, while HAWPv3 excels in self-supervised learning, achieving superior repeatability scores and efficient training (24 GPU hours on a single GPU). Furthermore, HAWPv3 exhibits a promising potential for wireframe parsing in out-of-distribution images without providing ground truth labels of wireframes.


title: Radio-bright vs. Radio-dark Gamma-ray Bursts -- More Evidence for Distinct Progenitors

abstract: We analyze two distinct samples of GRBs, with and without radio afterglow emission. We use a sample of 211 GRBs which is an update of the previous sample from arXiv:1902.01974, and find, in agreement with previous results (although with a sample that is almost twice as large) as the intrinsic gamma-ray duration (Tint) and isotropic equivalent energy (Eiso) distributions between these two populations appear to differ significantly. The redshift (z) distributions of the two samples are not statistically different. We analyze several correlations between variables (Eiso, Tint, jet opening angle, and z), accounting for selection effects and redshift evolution using the Efron-Petrosian method. We find a statistically significant anti-correlation between the jet opening angle and redshift, as well as between Tint and redshift, for both radio-bright and radio-dark GRBs. Finally, in agreement with previous work, we find that very high energy (0.1 - 100 GeV) extended emission is present in the radio-bright GRB sample only. Our work supports the possibility that the radio-bright and the radio-dark GRBs originate from different progenitors.


title: Quantum corrections to the magnetoconductivity of surface states in three-dimensional topological insulators

abstract: The interplay between quantum interference, electron-electron interaction (EEI), and disorder is one of the central themes of condensed matter physics. Such interplay can cause high-order magnetoconductance (MC) corrections in semiconductors with weak spin-orbit coupling (SOC). However, it remains unexplored how the magnetotransport properties are modified by the high-order quantum corrections in the electron systems of symplectic symmetry class, which include topological insulators (TIs), Weyl semimetals, graphene with negligible intervalley scattering, and semiconductors with strong SOC. Here, we extend the theory of quantum conductance corrections to two-dimensional electron systems with the symplectic symmetry, and study experimentally such physics with dual-gated TI devices in which the transport is dominated by highly tunable surface states. We find that the MC can be enhanced significantly by the second-order interference and the EEI effects, in contrast to suppression of MC for the systems with orthogonal symmetry. Our work reveals that detailed MC analysis can provide deep insights into the complex electronic processes in TIs, such as the screening and dephasing effects of localized charge puddles, as well as the related particle-hole asymmetry.


title: Investigating Neuron Disturbing in Fusing Heterogeneous Neural Networks

abstract: Fusing deep learning models trained on separately located clients into a global model in a one-shot communication round is a straightforward implementation of Federated Learning. Although current model fusion methods are shown experimentally valid in fusing neural networks with almost identical architectures, they are rarely theoretically analyzed. In this paper, we reveal the phenomenon of neuron disturbing, where neurons from heterogeneous local models interfere with each other mutually. We give detailed explanations from a Bayesian viewpoint combining the data heterogeneity among clients and properties of neural networks. Furthermore, to validate our findings, we propose an experimental method that excludes neuron disturbing and fuses neural networks via adaptively selecting a local model, called AMS, to execute the prediction according to the input. The experiments demonstrate that AMS is more robust in data heterogeneity than general model fusion and ensemble methods. This implies the necessity of considering neural disturbing in model fusion. Besides, AMS is available for fusing models with varying architectures as an experimental algorithm, and we also list several possible extensions of AMS for future work.


title: Dynamical Control of Quantum Heat Engines Using Exceptional Points

abstract: A quantum thermal machine is an open quantum system coupled to hot and cold thermal baths. Thus, its dynamics can be well understood using the concepts and tools from non-Hermitian quantum systems. A hallmark of non-Hermiticity is the existence of exceptional points where the eigenvalues of a non-Hermitian Hamiltonian or an Liouvillian superoperator and their associated eigenvectors coalesce. Here, we report the experimental realisation of a single-ion heat engine and demonstrate the effect of the Liouvillian exceptional points on the dynamics and the performance of a quantum heat engine. Our experiments have revealed that operating the engine in the exact- and broken-phases, separated by a Liouvillian exceptional point, respectively during the isochoric heating and cooling strokes of an Otto cycle produces more work and output power and achieves higher efficiency than executing the Otto cycle completely in the exact phase where the system has an oscillatory dynamics and higher coherence. This result opens interesting possibilities for the control of quantum heat engines and will be of interest to other research areas that are concerned with the role of coherence and exceptional points in quantum processes and in work extraction by thermal machines.


title: 1-MHz operation of 1.7-cycle multiple plate compression at 35-W average output power

abstract: We generated 1.7-cycle and 35-$\mu$J pulses at a 1-MHz repetition rate by using two-stage multiple plate continuum compression of Yb-laser pulses with 80-W average input power. By adjusting the plate positions with careful consideration of the thermal lensing effect due to the high average power, we compressed the output pulse with a 184-fs initial duration to 5.7 fs by using only group-delay-dispersion compensation. This pulse achieved a sufficient beam quality ($M^2$ < 1.5) reaching a focused intensity over 10$^{14}$ W/cm$^2$ and a high spatial-spectral homogeneity (98%). Our study holds promise for a MHz-isolated-attosecond-pulse source for advanced attosecond spectroscopic and imaging technologies with unprecedentedly high signal-to-noise ratios.


title: Language-free Training for Zero-shot Video Grounding

abstract: Given an untrimmed video and a language query depicting a specific temporal moment in the video, video grounding aims to localize the time interval by understanding the text and video simultaneously. One of the most challenging issues is an extremely time- and cost-consuming annotation collection, including video captions in a natural language form and their corresponding temporal regions. In this paper, we present a simple yet novel training framework for video grounding in the zero-shot setting, which learns a network with only video data without any annotation. Inspired by the recent language-free paradigm, i.e. training without language data, we train the network without compelling the generation of fake (pseudo) text queries into a natural language form. Specifically, we propose a method for learning a video grounding model by selecting a temporal interval as a hypothetical correct answer and considering the visual feature selected by our method in the interval as a language feature, with the help of the well-aligned visual-language space of CLIP. Extensive experiments demonstrate the prominence of our language-free training framework, outperforming the existing zero-shot video grounding method and even several weakly-supervised approaches with large margins on two standard datasets.


title: Three-component contour dynamics model to simulate and analyze amoeboid cell motility

abstract: Amoeboid cell motility is relevant in a wide variety of biomedical applications such as wound healing, cancer metastasis, and embryonic morphogenesis. It is characterized by pronounced changes of the cell shape associated with expansions and retractions of the cell membrane, which result in a crawling kind of locomotion. Despite existing computational models of amoeboid motion, the inference of expansion and retraction components of individual cells, the corresponding classification of cells, and the a priori specification of the parameter regime to achieve a specific motility behavior remain challenging open problems. We propose a novel model of the spatio-temporal evolution of two-dimensional cell contours comprising three biophysiologically motivated components: a stochastic term accounting for membrane protrusions and two deterministic terms accounting for membrane retractions by regularizing the shape and area of the contour. Mathematically, these correspond to the intensity of a self-exciting Poisson point process, the area-preserving curve-shortening flow, and an area adjustment flow. The model is used to generate contour data for a variety of qualitatively different, e.g., polarized and non-polarized, cell tracks that are hardly distinguishable from experimental data. In application to experimental cell tracks, we inferred the protrusion component and examined its correlation to commonly used biomarkers: the actin concentration close to the membrane and its local motion. Due to the low model complexity, parameter estimation is fast, straightforward and offers a simple way to classify contour dynamics based on two locomotion types: the amoeboid and a so-called fan-shaped type. For both types, we use cell tracks segmented from fluorescence imaging data of the model organism D. discoideum. An implementation of the model is provided within the open-source software package AmoePy.


title: Multi-Type Conversational Question-Answer Generation with Closed-ended and Unanswerable Questions

abstract: Conversational question answering (CQA) facilitates an incremental and interactive understanding of a given context, but building a CQA system is difficult for many domains due to the problem of data scarcity. In this paper, we introduce a novel method to synthesize data for CQA with various question types, including open-ended, closed-ended, and unanswerable questions. We design a different generation flow for each question type and effectively combine them in a single, shared framework. Moreover, we devise a hierarchical answerability classification (hierarchical AC) module that improves quality of the synthetic data while acquiring unanswerable questions. Manual inspections show that synthetic data generated with our framework have characteristics very similar to those of human-generated conversations. Across four domains, CQA systems trained on our synthetic data indeed show good performance close to the systems trained on human-annotated data.


title: Living on the edge of the Central Molecular Zone: G1.3 is the more likely candidate for gas accretion into the CMZ

abstract: The 1.3deg (G1.3) and 1.6deg (G1.6) cloud complexes in the Central Molecular Zone (CMZ) of our Galaxy have been proposed to possibly reside at the intersection region of the X1 and X2 orbits for several reasons. This includes the detection of co-spatial low- and high-velocity clouds, high velocity dispersion, high fractional molecular abundances of shock-tracing molecules, and kinetic temperatures that are higher than for usual CMZ clouds. We mapped both cloud complexes in molecular lines in the frequency range from 85 to 475GHz with the IRAM 30m and the APEX 12m telescopes. The kinematic structure of G1.3 reveals an `emission bridge' at intermediate velocities (~150km/s) connecting low-velocity (~100km/s) and high-velocity (~180km/s) gas and an overall fluffy shell-like structure. These may represent observational evidence of cloud-cloud interactions. Low- and high-velocity gas components in G1.6 do not show such evidence of interaction, suggesting that they are spatially separated. We selected three positions in each cloud complex for further analysis. Based on non-LTE modelling of an ensemble of CH3CN lines, we derived kinetic temperatures of 60-100K and H2 volume densities of 10$^4$-10$^5$cm-3 in both complexes. Molecular abundances relative to H2 suggest a similar chemistry of the two clouds, which is moreover similar to that of other GC clouds. We conclude that G1.3 may indeed exhibit signs of cloud-cloud interactions. We propose an interaction of gas that is accreted from the near-side dust lane to the CMZ, with gas pre-existing at this location. Low- and high-velocity components in G1.6 are rather coincidentally observed along the same line of sight. They may be associated with either overshot decelerated gas from the far-side dust line or actual CMZ gas and high-velocity gas moving on a dust lane. These scenarios would be in agreement with numerical simulations.


title: On certain topological indices of graphs

abstract: In this paper we give new bounds for a several vertex-based and edge-based topological indices of graphs: Albertson irregularity index, degree variance index, Mostar and the first Zagreb index. Moreover, we give a new upper bound for the energy of graphs through IRB-index. Most of our results rely on a well-known characterization of the Laplacian spectral radius.


title: Unfocused notes on the Markoff equation and T-Singularities

abstract: We consider minimal resolutions of the singularities for weighted projective planes of type $\mathbb{P}(e^2, f^2, g^2)$, where $e, f, g$ satisfy the Markoff equation $ e^2 + f^2 + g^2 = 3efg$. We give a complete classification of such resolutions in terms of continued fractions similar to classical work of Frobenius. In particular, we investigate the behaviour of resolutions under mutations and describe a Cantor set emerging as limits of continued fractions.


title: Poisson multi-Bernoulli mixture filter with general target-generated measurements and arbitrary clutter

abstract: This paper shows that the Poisson multi-Bernoulli mixture (PMBM) density is a multi-target conjugate prior for general target-generated measurement distributions and arbitrary clutter distributions. That is, for this multi-target measurement model and the standard multi-target dynamic model with Poisson birth model, the predicted and filtering densities are PMBMs. We derive the corresponding PMBM filtering recursion. Based on this result, we implement a PMBM filter for point-target measurement models and negative binomial clutter density in which data association hypotheses with high weights are chosen via Gibbs sampling. We also implement an extended target PMBM filter with clutter that is the union of Poisson-distributed clutter and a finite number of independent clutter sources. Simulation results show the benefits of the proposed filters to deal with non-standard clutter.


title: Multiscale space-time ansatz for correlation functions of quantum systems based on quantics tensor trains

abstract: Correlation functions of quantum systems -- central objects in quantum field theories -- are defined in high-dimensional space-time domains. Their numerical treatment thus suffers from the curse of dimensionality, which hinders the application of sophisticated many-body theories to interesting problems. Here, we propose a multi-scale space-time ansatz for correlation functions of quantum systems based on quantics tensor trains (QTT), ``qubits'' describing exponentially different length scales. The ansatz then assumes a separation of length scales by decomposing the resulting high-dimensional tensors into tensor trains (known also as matrix product states). We numerically verify the ansatz for various equilibrium and nonequilibrium systems and demonstrate compression rates of several orders of magnitude for challenging cases. Essential building blocks of diagrammatic equations, such as convolutions or Fourier transforms are formulated in the compressed form. We numerically demonstrate the stability and efficiency of the proposed methods for the Dyson and Bethe-Salpeter equations. {The QTT representation} provides a unified framework for implementing efficient computations of quantum field theories.

categories: cond-mat.str-el cond-mat.mtrl-sci physics.comp-ph quant-ph


title: Maknuune: A Large Open Palestinian Arabic Lexicon

abstract: We present Maknuune, a large open lexicon for the Palestinian Arabic dialect. Maknuune has over 36K entries from 17K lemmas, and 3.7K roots. All entries include diacritized Arabic orthography, phonological transcription and English glosses. Some entries are enriched with additional information such as broken plurals and templatic feminine forms, associated phrases and collocations, Standard Arabic glosses, and examples or notes on grammar, usage, or location of collected entry.


title: Theta functions and adiabatic curvature on an Abelian variety

abstract: For an ample line bundle $L$ on an Abelian variety $M$, we study the theta functions associated with the family of line bundles $L\otimes T$ on $M$ indexed by $T\in \text{Pic}^{0}(M)$. Combined with an appropriate differential geometric setting, this leads to an explicit curvature computation of the direct image bundle $E$ on $\text{Pic}^{0}(M)$, whose fiber $E_{T}$ is the vector space spanned by the theta functions for the line bundle $L\otimes T$ on $M$. Some algebro-geometric properties of $E$ are also remarked.


title: Simulations of Odd Microswimmers

abstract: We perform numerical simulations of odd microswimmers consisting of three spheres and two odd springs. To describe the hydrodynamic interaction, both the Oseen-type and the Rotne-Prager-Yamakawa (RPY)-type mobilities are used. For the Oseen-type mobility, the simulation results quantitatively reproduce the asymptotic expression of the average velocity. For the RPY-type mobility, on the other hand, the average velocity is smaller than that of the Oseen-type mobility and the deviation is more pronounced for larger spheres. We also perform simulations of microswimmers having different sphere sizes and show that the average velocity becomes smaller than that of the equal size case. The size of the middle sphere plays an important role in determining the average velocity.


title: Embeddings between generalized weighted Lorentz spaces

abstract: We give a new characterization of a continuous embedding between two function spaces of type $G\Gamma$. Such spaces are governed by functionals of type $$ \|f\|_{G\Gamma(r,q;w,\delta)} := \left(\int_{0}^{L} \left( \frac1{\Delta(t)} \int_0^t f^*(s)^r \delta(s) ds \right)^{\frac{q}{r}} w(t) dt \right)^\frac1{q} < \infty, $$ in which $f^*$ is the nonincreasing rearrangement of $f$, $r,q \in (0, \infty)$, $w, \delta$ are weights and $\Delta$ is the primitive of $\delta$. To characterize the embedding of such a space, say $G\Gamma(r_1,q_1;w_1,\delta_1)$, into another, $G\Gamma(r_2,q_2;w_2,\delta_2)$, means to find a balance condition on the four positive real parameters and the four weights in order that an appropriate inequality holds for every admissible function. We develop a new discretization technique which will enable us to get rid of restrictions on parameters imposed in earlier work such as the non-degeneracy conditions or certain relations between the $r$'s and $q$'s. Such restrictions were caused mainly by the use of duality techniques, which we avoid in this paper. On the other hand we consider here only the case when $q_1\le q_2$ to keep the paper in a reasonable length.


title: Robust Object Detection in Remote Sensing Imagery with Noisy and Sparse Geo-Annotations (Full Version)

abstract: Recently, the availability of remote sensing imagery from aerial vehicles and satellites constantly improved. For an automated interpretation of such data, deep-learning-based object detectors achieve state-of-the-art performance. However, established object detectors require complete, precise, and correct bounding box annotations for training. In order to create the necessary training annotations for object detectors, imagery can be georeferenced and combined with data from other sources, such as points of interest localized by GPS sensors. Unfortunately, this combination often leads to poor object localization and missing annotations. Therefore, training object detectors with such data often results in insufficient detection performance. In this paper, we present a novel approach for training object detectors with extremely noisy and incomplete annotations. Our method is based on a teacher-student learning framework and a correction module accounting for imprecise and missing annotations. Thus, our method is easy to use and can be combined with arbitrary object detectors. We demonstrate that our approach improves standard detectors by 37.1\% $AP_{50}$ on a noisy real-world remote-sensing dataset. Furthermore, our method achieves great performance gains on two datasets with synthetic noise. Code is available at \url{https://github.com/mxbh/robust_object_detection}.


title: Optimal activity and battery scheduling algorithm using load and solar generation forecasts

abstract: Energy usage optimal scheduling has attracted great attention in the power system community, where various methodologies have been proposed. However, in real-world applications, the optimal scheduling problems require reliable energy forecasting, which is scarcely discussed as a joint solution to the scheduling problem. The 5\textsuperscript{th} IEEE Computational Intelligence Society (IEEE-CIS) competition raised a practical problem of decreasing the electricity bill by scheduling building activities, where forecasting the solar energy generation and building consumption is a necessity. To solve this problem, we propose a technical sequence for tackling the solar PV and demand forecast and optimal scheduling problems, where solar generation prediction methods and an optimal university lectures scheduling algorithm are proposed.


title: What cleaves? Is proteasomal cleavage prediction reaching a ceiling?

abstract: Epitope vaccines are a promising direction to enable precision treatment for cancer, autoimmune diseases, and allergies. Effectively designing such vaccines requires accurate prediction of proteasomal cleavage in order to ensure that the epitopes in the vaccine are presented to T cells by the major histocompatibility complex (MHC). While direct identification of proteasomal cleavage \emph{in vitro} is cumbersome and low throughput, it is possible to implicitly infer cleavage events from the termini of MHC-presented epitopes, which can be detected in large amounts thanks to recent advances in high-throughput MHC ligandomics. Inferring cleavage events in such a way provides an inherently noisy signal which can be tackled with new developments in the field of deep learning that supposedly make it possible to learn predictors from noisy labels. Inspired by such innovations, we sought to modernize proteasomal cleavage predictors by benchmarking a wide range of recent methods, including LSTMs, transformers, CNNs, and denoising methods, on a recently introduced cleavage dataset. We found that increasing model scale and complexity appeared to deliver limited performance gains, as several methods reached about 88.5% AUC on C-terminal and 79.5% AUC on N-terminal cleavage prediction. This suggests that the noise and/or complexity of proteasomal cleavage and the subsequent biological processes of the antigen processing pathway are the major limiting factors for predictive performance rather than the specific modeling approach used. While biological complexity can be tackled by more data and better models, noise and randomness inherently limit the maximum achievable predictive performance. All our datasets and experiments are available at https://github.com/ziegler-ingo/cleavage_prediction.


title: Further understanding the nature of $a_0(1710)$ in the $D^+_s \to \pi^0 K^+ K^0_S$ decay

abstract: Based on our previous work about the role of $a_0(1710)$ in the $D_s^+\to\pi^+K_S^0K_S^0$ decay [Phy. Rev. D 105, 116010 (2022)], we perform a further theoretical study of $a_0(1710)^+$ in the process $D^+_s \to \pi^0 a_0(1710)^+ \to \pi^0 K^+ K^0_S$. In addition to $a_0(1710)$, the contributions of $K^*$ and $a_0(980)$ are also taken into account. Firstly, we consider the contributions from the tree diagrams of $K^{*+} \to K^+\pi^0$ and $\bar{K}^{*0} \to \pi^0 \bar{K}^0$. Secondly, we describe the final state interaction of $K\bar{K}$ in the chiral unitary approach to study the contribution of $a_0(980)$, while the $a_0(1710)$ state is dynamically generated from the $K^*\bar{K}^*$ interaction, and then decays into $K^+\bar{K}^0$. Since the final $K^+ K_S^0$ state is in pure isospin $I=1$, the $D_s^+\to\pi^0K^+K_s^0$ decay is an ideal process to study the $a_0(1710)^+$ and $a_0(980)^+$ resonances. Based on our theoretical calculations, it is found that the recent experimental measurements on the $K^+K^0_S$, $\pi^0K^+$, and $\pi^0 K_S^0$ invariant mass distributions can be well reproduced, which supports the molecular $K^*\bar{K}^*$ nature of the scalar $a_0(1710)$ resonance.


title: Development of LGAD sensors with a thin entrance window for soft X-ray detection

abstract: We show the developments carried out to improve the silicon sensor technology for the detection of soft X-rays with hybrid X-ray detectors. An optimization of the entrance window technology is required to improve the quantum efficiency. The LGAD technology can be used to amplify the signal generated by the X-rays and to increase the signal-to-noise ratio, making single photon resolution in the soft X-ray energy range possible. In this paper, we report first results obtained from an LGAD sensor production with an optimized thin entrance window. Single photon detection of soft X-rays down to 452~eV has been demonstrated from measurements, with a signal-to-noise ratio better than 20.


title: On the role of the displacement current and the Cattaneo's law on boundary layers of plasma

abstract: In the present paper, we aim to mathematically analyse the role of the displacement current and the Cattaneo's law on the boundary-layer theory of plasma, when the corresponding characteristic speed is relativistic. We restrict our analysis to two-dimensional flows and we study the asymptotic limit of the Navier-Stokes-Maxwell equations with Cattaneo's law near a bounding flat line, when the Hartmann, Reynolds and magnetic Reynolds numbers proportionally diverge to infinity. The goal of this paper is twofold. We first show that the extended version of the Navier-Stokes-Maxwell equations leads to a new family of boundary layers, which are hyperbolic both on the momentum equation and the Ampere's law. Secondly, we address the well-posedness of the derived equations and show the existence of global-in-time analytic solutions for small initial data. Our modelling highlights which conditions on the dimensionless parameters allow to interpret the proposed system as boundary layers with thickness typical of Prandtl or Hartmann. Furthermore, our development shows that the conditions related to Hartmann might be more physically acceptable. Finally, our analysis suggests that the Cattaneo's law and the displacement current might indeed stabilise the derived system in terms of existence of global-in-time analytic solutions.


title: TridentSE: Guiding Speech Enhancement with 32 Global Tokens

abstract: In this paper, we present TridentSE, a novel architecture for speech enhancement, which is capable of efficiently capturing both global information and local details. TridentSE maintains T-F bin level representation to capture details, and uses a small number of global tokens to process the global information. Information is propagated between the local and the global representations through cross attention modules. To capture both inter- and intra-frame information, the global tokens are divided into two groups to process along the time and the frequency axis respectively. A metric discriminator is further employed to guide our model to achieve higher perceptual quality. Even with significantly lower computational cost, TridentSE outperforms a variety of previous speech enhancement methods, achieving a PESQ of 3.47 on VoiceBank+DEMAND dataset and a PESQ of 3.44 on DNS no-reverb test set. Visualization shows that the global tokens learn diverse and interpretable global patterns.


title: Static Information Flow Control Made Simpler

abstract: Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be statically isolated from unsecured data or program logic. Despite the wide applicability of IFC as a mechanism for guaranteeing confidentiality and integrity -- the fundamental properties on which computer security relies -- existing IFC systems have seen little use, requiring users to reason about complicated mechanisms such as lattices of security labels and dual notions of confidentiality and integrity within these lattices. We propose a system that diverges significantly from previous work on information flow control, opting to reason directly about the data that programmers already work with. In doing so, we naturally and seamlessly combine the clasically separate notions of confidentiality and integrity into one unified framework, further simplifying reasoning. We motivate and showcase our work through two case studies on TLS private key management: one for Rocket, a popular Rust web framework, and another for Conduit, a server implementation for the Matrix messaging service written in Rust.


title: Are Current Decoding Strategies Capable of Facing the Challenges of Visual Dialogue?

abstract: Decoding strategies play a crucial role in natural language generation systems. They are usually designed and evaluated in open-ended text-only tasks, and it is not clear how different strategies handle the numerous challenges that goal-oriented multimodal systems face (such as grounding and informativeness). To answer this question, we compare a wide variety of different decoding strategies and hyper-parameter configurations in a Visual Dialogue referential game. Although none of them successfully balance lexical richness, accuracy in the task, and visual grounding, our in-depth analysis allows us to highlight the strengths and weaknesses of each decoding strategy. We believe our findings and suggestions may serve as a starting point for designing more effective decoding algorithms that handle the challenges of Visual Dialogue tasks.


title: Non-Hermitian skin effects on many-body localized and thermal phases

abstract: Localization in one-dimensional interacting systems can be caused by disorder potentials or non-Hermiticity. The former phenomenon is the many-body localization (MBL), and the latter is the many-body non-Hermitian skin effect (NHSE). In this work, we numerically investigate the interplay between these two kinds of localization, where the energy-resolved MBL arises from a deterministic quasiperiodic potential in a fermionic chain. We propose a set of eigenstate properties and long-time dynamics that can collectively distinguish the two localization mechanisms in the presence of non-Hermiticity. By computing the proposed diagnostics, we show that the thermal states are vulnerable to the many-body NHSE while the MBL states remain resilient up to a strong non-Hermiticity. Finally, we discuss experimental observables that can probe the difference between the two localizations in a non-Hermitian quasiperiodic fermionic chain. Our results pave the way toward experimental observations on the interplay of interaction, quasiperiodic potential, and non-Hermiticity.


title: Effective circuit modelling and experimental realization of an ultra-compact self-rectifier flux pump

abstract: This paper presents experimental and modelling results of an ultra-compact self-rectifier flux pump energizing a superconducting coil. The device fits inside a volume of 65x65x50~mm and generates up to 320~A dc through the coil and a peak output voltage up to 60~mV. We also develop and present a full electromagnetic effective circuit model of the flux pump and compare its predictions to the experimental results. We show that our model can reproduce accurately the charging of the load coil and that it reproduces the systematic dependence of the maximum load coil current on the input current waveform. The experiments and modelling together show also the importance of dc-flux offsets in the transformer core on the final achievable current through the coil. The miniaturization possible for this class of flux pump and their minimal heat-leak into the cryogenic environment from thermal conduction make them attractive for applications with demanding size, weight and power limitations. Our effective circuit model is a useful tool in the understanding, design and optimization of such flux pumps which will accelerate their progression from research devices to their application.


title: Revealing the role of tin fluoride additive in narrow bandgap Pb-Sn perovskites for highly efficient flexible all-perovskite tandem cells

abstract: Tin fluoride (SnF2) is an indispensable additive for high-efficiency Pb-Sn perovskite solar cells (PSCs). However, the spatial distribution of SnF2 in the perovskite absorber is seldom investigated while essential for a comprehensive understanding of the exact role of the SnF2 additive. Herein, we revealed the spatial distribution of SnF2 additive and made structure-optoelectronic properties-flexible photovoltaic performance correlation. We observed the chemical transformation of SnF2 to a fluorinated oxy-phase on the Pb-Sn perovskite film surface, due to its rapid oxidation. In addition, at the buried perovskite interface, we detected and visualized the accumulation of F- ions. We found that the photoluminescence quantum yield of Pb-Sn perovskite reached the highest value with 10 mol% SnF2 in the precursor solution. When integrating the optimized absorber in flexible devices, we obtained the flexible Pb-Sn perovskite narrow bandgap (1.24 eV) solar cells with an efficiency of 18.5% and demonstrated 23.1%-efficient flexible 4-terminal all-perovskite tandem cells.


title: Modeling Information Change in Science Communication with Semantically Matched Paraphrases

abstract: Whether the media faithfully communicate scientific information has long been a core issue to the science community. Automatically identifying paraphrased scientific findings could enable large-scale tracking and analysis of information changes in the science communication process, but this requires systems to understand the similarity between scientific information across multiple domains. To this end, we present the SCIENTIFIC PARAPHRASE AND INFORMATION CHANGE DATASET (SPICED), the first paraphrase dataset of scientific findings annotated for degree of information change. SPICED contains 6,000 scientific finding pairs extracted from news stories, social media discussions, and full texts of original papers. We demonstrate that SPICED poses a challenging task and that models trained on SPICED improve downstream performance on evidence retrieval for fact checking of real-world scientific claims. Finally, we show that models trained on SPICED can reveal large-scale trends in the degrees to which people and organizations faithfully communicate new scientific findings. Data, code, and pre-trained models are available at http://www.copenlu.com/publication/2022_emnlp_wright/.


title: An Empirical Revisiting of Linguistic Knowledge Fusion in Language Understanding Tasks

abstract: Though linguistic knowledge emerges during large-scale language model pretraining, recent work attempt to explicitly incorporate human-defined linguistic priors into task-specific fine-tuning. Infusing language models with syntactic or semantic knowledge from parsers has shown improvements on many language understanding tasks. To further investigate the effectiveness of structural linguistic priors, we conduct empirical study of replacing parsed graphs or trees with trivial ones (rarely carrying linguistic knowledge e.g., balanced tree) for tasks in the GLUE benchmark. Encoding with trivial graphs achieves competitive or even better performance in fully-supervised and few-shot settings. It reveals that the gains might not be significantly attributed to explicit linguistic priors but rather to more feature interactions brought by fusion layers. Hence we call for attention to using trivial graphs as necessary baselines to design advanced knowledge fusion methods in the future.


title: Nilpotent cone and bivariant theory

abstract: We exhibit a new proof, relying on bivariant theory, that the nilpotent cone is rationally smooth. Our approach enables us to prove a slightly more general statement.


title: Efficient Representation of Natural Image Patches

abstract: Utilizing an abstract information processing model based on minimal yet realistic assumptions inspired by biological systems, we study how to achieve the early visual system's two ultimate objectives: efficient information transmission and accurate sensor probability distribution modeling. We prove that optimizing for information transmission does not guarantee optimal probability distribution modeling in general. We illustrate, using a two-pixel (2D) system and image patches, that an efficient representation can be realized through a nonlinear population code driven by two types of biologically plausible loss functions that depend solely on output. After unsupervised learning, our abstract information processing model bears remarkable resemblances to biological systems, despite not mimicking many features of real neurons, such as spiking activity. A preliminary comparison with a contemporary deep learning model suggests that our model offers a significant efficiency advantage. Our model provides novel insights into the computational theory of early visual systems as well as a potential new approach to enhance the efficiency of deep learning models.


title: Towards Out-of-Distribution Sequential Event Prediction: A Causal Treatment

abstract: The goal of sequential event prediction is to estimate the next event based on a sequence of historical events, with applications to sequential recommendation, user behavior analysis and clinical treatment. In practice, the next-event prediction models are trained with sequential data collected at one time and need to generalize to newly arrived sequences in remote future, which requires models to handle temporal distribution shift from training to testing. In this paper, we first take a data-generating perspective to reveal a negative result that existing approaches with maximum likelihood estimation would fail for distribution shift due to the latent context confounder, i.e., the common cause for the historical events and the next event. Then we devise a new learning objective based on backdoor adjustment and further harness variational inference to make it tractable for sequence learning problems. On top of that, we propose a framework with hierarchical branching structures for learning context-specific representations. Comprehensive experiments on diverse tasks (e.g., sequential recommendation) demonstrate the effectiveness, applicability and scalability of our method with various off-the-shelf models as backbones.


title: Testing general relativity with TianQin: the prospect of using the inspiral signals of black hole binaries

abstract: In this paper, we carry out a systematic study of the prospect of testing general relativity with the inspiral signals of black hole binaries that could be detected with TianQin. The study is based on the parameterized post-Einsteinian (ppE) waveform, so that many modified gravity theories can be covered simultaneously. We consider black hole binaries with total masses ranging from $10\rm M_\odot\sim10^7 M_\odot$ and ppE corrections at post-Newtonian (PN) orders ranging from $-4$PN to $2$PN. Compared to the current ground-based detectors, TianQin can improve the constraints on the ppE phase parameter $\beta$ by orders of magnitude. For example, the improvement at the $-4$PN and $2$PN orders can be about $13$ and $3$ orders of magnitude (compared to the results from GW150914), respectively. Compared to future ground-based detectors, such as ET, TianQin is expected to be superior below the $-1$PN order, and for corrections above the $-0.5$PN order, TianQin is still competitive near the large mass end of the low mass range $[10 \rm M_\odot, \,10^3 \rm M_\odot]\,$. Compared to the future space-based detector LISA, TianQin can be competitive in the lower mass end as the PN order is increased. For example, at the $-4$PN order, LISA is always superior for sources more massive than about $30\rm M_\odot\,$, while at the $2$PN order, TianQin becomes competitive for sources less massive than about $10^4\rm M_\odot$. We also study the scientific potentials of detector networks involving TianQin, LISA and ET, and discuss the constraints on specific theories such as the dynamic Chern-Simons theory and the Einstein-dilaton Gauss-Bonnet theory.


title: Iterative Patch Selection for High-Resolution Image Recognition

abstract: High-resolution images are prevalent in various applications, such as autonomous driving and computer-aided diagnosis. However, training neural networks on such images is computationally challenging and easily leads to out-of-memory errors even on modern GPUs. We propose a simple method, Iterative Patch Selection (IPS), which decouples the memory usage from the input size and thus enables the processing of arbitrarily large images under tight hardware constraints. IPS achieves this by selecting only the most salient patches, which are then aggregated into a global representation for image recognition. For both patch selection and aggregation, a cross-attention based transformer is introduced, which exhibits a close connection to Multiple Instance Learning. Our method demonstrates strong performance and has wide applicability across different domains, training regimes and image sizes while using minimal accelerator memory. For example, we are able to finetune our model on whole-slide images consisting of up to 250k patches (>16 gigapixels) with only 5 GB of GPU VRAM at a batch size of 16.


title: Consistent inference for diffusions from low frequency measurements

abstract: Let $(X_t)$ be a reflected diffusion process in a bounded convex domain in $\mathbb R^d$, solving the stochastic differential equation $$dX_t = \nabla f(X_t) dt + \sqrt{2f (X_t)} dW_t, ~t \ge 0,$$ with $W_t$ a $d$-dimensional Brownian motion. The data $X_0, X_D, \dots, X_{ND}$ consist of discrete measurements and the time interval $D$ between consecutive observations is fixed so that one cannot `zoom' into the observed path of the process. The goal is to infer the diffusivity $f$ and the associated transition operator $P_{t,f}$. We prove injectivity theorems and stability inequalities for the maps $f \mapsto P_{t,f} \mapsto P_{D,f}, t<D$. Using these estimates we establish the statistical consistency of a class of Bayesian algorithms based on Gaussian process priors for the infinite-dimensional parameter $f$, and show optimality of some of the convergence rates obtained. We discuss an underlying relationship between the degree of ill-posedness of this inverse problem and the `hot spots' conjecture from spectral geometry.

categories: math.ST cs.NA math.AP math.NA math.PR stat.TH


title: The Uniqueness Theorem for Gysin Coherent Characteristic Classes of Singular Spaces

abstract: We establish a general computational scheme designed for a systematic computation of characteristic classes of singular complex algebraic varieties that satisfy a Gysin axiom in a transverse setup. This scheme is explicitly geometric and of a recursive nature terminating on genera of explicit characteristic subvarieties that we construct. It enables us e.g. to apply intersection theory of Schubert varieties to obtain a uniqueness result for such characteristic classes in the homology of an ambient Grassmannian. Our framework applies in particular to the Goresky-MacPherson L-class by virtue of the Gysin restriction formula obtained by the first author in previous work. We illustrate our approach for a systematic computation of the L-class in terms of normally nonsingular expansions in examples of singular Schubert varieties that do not satisfy Poincar\'{e} duality over the rationals.


title: Active Reconfigurable Intelligent Surface Aided Surveillance Scheme

abstract: This letter attempts to design a surveillance scheme by adopting an active reconfigurable intelligent surface (RIS). Different from the conventional passive RIS, the active RIS could not only adjust the phase shift but also amplify the amplitude of the reflected signal. With such reflecting, the reflected signal of active RIS could jointly adjust the signal to interference plus noise ratio (SINR) of the suspicious receiver and the legitimate monitor, hence the proactive eavesdropping at the physical layer could be effectively realized. We formulate the optimization problem with the target of maximizing the eavesdropping rate to obtain the optimal reflecting coefficient matrix of the active RIS. The formulated optimization problem is nonconvex fractional programming and challenging to deal with. We then solve the problem by approximating it as a series of convex constraints. Simulation results validate the effectiveness of our designed surveillance scheme and show that the proposed active RIS aided surveillance scheme has good performance in terms of eavesdropping rate compared with the scheme with passive RIS.


title: On Many-Actions Policy Gradient

abstract: We study the variance of stochastic policy gradients (SPGs) with many action samples per state. We derive a many-actions optimality condition, which determines when many-actions SPG yields lower variance as compared to a single-action agent with proportionally extended trajectory. We propose Model-Based Many-Actions (MBMA), an approach leveraging dynamics models for many-actions sampling in the context of SPG. MBMA addresses issues associated with existing implementations of many-actions SPG and yields lower bias and comparable variance to SPG estimated from states in model-simulated rollouts. We find that MBMA bias and variance structure matches that predicted by theory. As a result, MBMA achieves improved sample efficiency and higher returns on a range of continuous action environments as compared to model-free, many-actions, and model-based on-policy SPG baselines.


title: CMU-Net: A Strong ConvMixer-based Medical Ultrasound Image Segmentation Network

abstract: U-Net and its extensions have achieved great success in medical image segmentation. However, due to the inherent local characteristics of ordinary convolution operations, U-Net encoder cannot effectively extract global context information. In addition, simple skip connections cannot capture salient features. In this work, we propose a fully convolutional segmentation network (CMU-Net) which incorporates hybrid convolutions and multi-scale attention gate. The ConvMixer module extracts global context information by mixing features at distant spatial locations. Moreover, the multi-scale attention gate emphasizes valuable features and achieves efficient skip connections. We evaluate the proposed method using both breast ultrasound datasets and a thyroid ultrasound image dataset; and CMU-Net achieves average Intersection over Union (IoU) values of 73.27% and 84.75%, and F1 scores of 84.81% and 91.71%. The code is available at https://github.com/FengheTan9/CMU-Net.


title: Towards Understanding Player Behavior in Blockchain Games: A Case Study of Aavegotchi

abstract: Blockchain games introduce unique gameplay and incentive mechanisms by allowing players to be rewarded with in-game assets or tokens through financial activities. However, most blockchain games are not comparable to traditional games in terms of lifespan and player engagement. In this paper, we try to see the big picture in a small way to explore and determine the impact of gameplay and financial factors on player behavior in blockchain games. Taking Aavegotchi as an example, we collect one year of operation data to build player profiles. We perform an in-depth analysis of player behavior from the macroscopic data and apply an unsupervised clustering method to distinguish the attraction of the gameplay and incentives. Our results reveal that the whole game is held up by a small number of players with high-frequent interaction or vast amounts of funds invested. Financial incentives are indispensable for blockchain games for they provide attraction and optional ways for players to engage with the game. However, financial services are tightly linked to the free market. The game will face an irreversible loss of players when the market experiences depression. For blockchain games, well-designed gameplay should be the fundamental basis for the long-lasting retention of players.


title: Geometric Knowledge Distillation: Topology Compression for Graph Neural Networks

abstract: We study a new paradigm of knowledge transfer that aims at encoding graph topological information into graph neural networks (GNNs) by distilling knowledge from a teacher GNN model trained on a complete graph to a student GNN model operating on a smaller or sparser graph. To this end, we revisit the connection between thermodynamics and the behavior of GNN, based on which we propose Neural Heat Kernel (NHK) to encapsulate the geometric property of the underlying manifold concerning the architecture of GNNs. A fundamental and principled solution is derived by aligning NHKs on teacher and student models, dubbed as Geometric Knowledge Distillation. We develop non- and parametric instantiations and demonstrate their efficacy in various experimental settings for knowledge distillation regarding different types of privileged topological information and teacher-student schemes.


title: An Opponent-Aware Reinforcement Learning Method for Team-to-Team Multi-Vehicle Pursuit via Maximizing Mutual Information Indicator

abstract: The pursuit-evasion game in Smart City brings a profound impact on the Multi-vehicle Pursuit (MVP) problem, when police cars cooperatively pursue suspected vehicles. Existing studies on the MVP problems tend to set evading vehicles to move randomly or in a fixed prescribed route. The opponent modeling method has proven considerable promise in tackling the non-stationary caused by the adversary agent. However, most of them focus on two-player competitive games and easy scenarios without the interference of environments. This paper considers a Team-to-Team Multi-vehicle Pursuit (T2TMVP) problem in the complicated urban traffic scene where the evading vehicles adopt the pre-trained dynamic strategies to execute decisions intelligently. To solve this problem, we propose an opponent-aware reinforcement learning via maximizing mutual information indicator (OARLM2I2) method to improve pursuit efficiency in the complicated environment. First, a sequential encoding-based opponents joint strategy modeling (SEOJSM) mechanism is proposed to generate evading vehicles' joint strategy model, which assists the multi-agent decision-making process based on deep Q-network (DQN). Then, we design a mutual information-united loss, simultaneously considering the reward fed back from the environment and the effectiveness of opponents' joint strategy model, to update pursuing vehicles' decision-making process. Extensive experiments based on SUMO demonstrate our method outperforms other baselines by 21.48% on average in reducing pursuit time. The code is available at \url{https://github.com/ANT-ITS/OARLM2I2}.


title: Cards Against AI: Predicting Humor in a Fill-in-the-blank Party Game

abstract: Humor is an inherently social phenomenon, with humorous utterances shaped by what is socially and culturally accepted. Understanding humor is an important NLP challenge, with many applications to human-computer interactions. In this work we explore humor in the context of Cards Against Humanity -- a party game where players complete fill-in-the-blank statements using cards that can be offensive or politically incorrect. We introduce a novel dataset of 300,000 online games of Cards Against Humanity, including 785K unique jokes, analyze it and provide insights. We trained machine learning models to predict the winning joke per game, achieving performance twice as good (20\%) as random, even without any user information. On the more difficult task of judging novel cards, we see the models' ability to generalize is moderate. Interestingly, we find that our models are primarily focused on punchline card, with the context having little impact. Analyzing feature importance, we observe that short, crude, juvenile punchlines tend to win.


title: Multi-directional unitarity and maximal entanglement in spatially symmetric quantum states

abstract: We consider dual unitary operators and their multi-leg generalizations that have appeared at various places in the literature. These objects can be related to multi-party quantum states with special entanglement patterns: the sites are arranged in a spatially symmetric pattern and the states have maximal entanglement for all bipartitions that follow from the reflection symmetries of the given geometry. We consider those cases where the state itself is invariant with respect to the geometrical symmetry group. The simplest examples are those dual unitary operators which are also self dual and reflection invariant, but we also consider the generalizations in the hexagonal, cubic, and octahedral geometries. We provide a number of constructions and concrete examples for these objects for various local dimensions. All of our examples can be used to build quantum cellular automata in 1+1 or 2+1 dimensions, with multiple equivalent choices for the ``direction of time''.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Angular time delay in quantum mechanical scattering

abstract: We apply Brunetti and Fredenhagen's [Phys. Rev. A 66 (2002) 044101] concept of the time of occurrence of an event in quantum mechanics to the example of scattering off a spherical potential. Thereby, we re-derive the expression of Froissart, Goldberger, and Watson [Phys. Rev. 131 (1963) 2820] for the angular time delay, clarifying some conceptual issues with their derivation. We also present an elementary re-derivation of the "space shift" (essentially the impact parameter) defined in the quantum mechanical context by the same authors. We clarify the relation of both quantities to their classical counterparts in the context of the WKB approximation. As an example, we apply the concepts to scattering at a hard sphere. We find pronounced peaks in the both the time delay and the space shift at the minima of intensity in the forward diffraction region for short wavelength scattering and discuss whether these could in principle be observable.


title: Improved Bohr inequalities for certain classes of harmonic mappings

abstract: The Bohr radius for the class of harmonic functions of the form $ f(z)=h+\overline{g} $ in the unit disk $ \mathbb{D}:=\{z\in\mathbb{C} : |z|<1\} $, where $ h(z)=\sum_{n=0}^{\infty}a_nz^n $ and $ g(z)=\sum_{n=1}^{\infty}b_nz^n $ is to find the largest radius $ r_f $, $ 0<r_f<1 $ such that \begin{equation*} \sum_{n=1}^{\infty}\left(|a_n|+|b_n|\right)|z|^n\leq d(f(0),\partial f(\mathbb{D})) \end{equation*} holds for $ |z|=r\leq r_f $, where $ d(f(0),\partial f(\mathbb{D})) $ is the Euclidean distance between $ f(0) $ and the boundary of $ f(\mathbb{D}) $. In this paper, we prove two-type of improved versions of the Bohr inequalities, one for a certain class of harmonic and univalent functions and the other for stable harmonic mappings. It is observed in the paper that to obtain sharp Bohr inequalities it is enough to consider any non-negative real coefficients of the quantity $ S_r/\pi $. As a consequence of the main result, we prove corollaries showing the precise value of the sharp Bohr radius.


title: On Tools for Completeness of Kleene Algebra with Hypotheses

abstract: In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO), or make specific assumptions about certain constants, as for instance in NetKAT. Many of these variants fit within the unifying perspective offered by Kleene algebra with hypotheses, which comes with a canonical language model constructed from a given set of hypotheses. For the case of KAT, this model corresponds to the familiar interpretation of expressions as languages of guarded strings. A relevant question therefore is whether Kleene algebra together with a given set of hypotheses is complete with respect to its canonical language model. In this paper, we revisit, combine and extend existing results on this question to obtain tools for proving completeness in a modular way. We showcase these tools by giving new and modular proofs of completeness for KAT, KAO and NetKAT, and we prove completeness for new variants of KAT: KAT extended with a constant for the full relation, KAT extended with a converse operation, and a version of KAT where the collection of tests only forms a distributive lattice.


title: Track reconstruction at the LUXE experiment using quantum algorithms

abstract: LUXE (Laser Und XFEL Experiment) is a proposed experiment at DESY which will study Quantum Electrodynamics (QED) in the strong-field regime, where QED becomes non-perturbative. Measuring the rate of created electron-positron pairs using a silicon pixel tracking detector is an essential ingredient to study this regime. Precision tracking of positrons traversing the four layers of the tracking detector becomes very challenging at high laser intensities due to the high rates, which can be computationally expensive for classical computers. In this work, we update our previous study of the potential of using quantum computing to reconstruct positron tracks. The reconstruction task is formulated as a quadratic unconstrained binary optimisation and is solved using simulated quantum computers and a hybrid quantum-classical algorithm, namely the variational quantum eigensolver. Different ansatz circuits and optimisers are studied. The results are discussed and compared with classical track reconstruction algorithms using a graph neural network and a combinatorial Kalman filter.


title: Asymptotics of the major index of a random standard tableau

abstract: In this article, we establish the mod-$\phi$ convergence of the major index of a uniform random standard tableau whose shape converges in the Thoma simplex. This implies various probabilistic estimates, in particular speed of convergence estimates of Berry--Esseen type, and strong large deviation principles.