title: Semantics-Empowered Communication: A Tutorial-cum-Survey

abstract: Along with the springing up of the semantics-empowered communication (SemCom) research, it is now witnessing an unprecedentedly growing interest towards a wide range of aspects (e.g., theories, applications, metrics and implementations) in both academia and industry. In this work, we primarily aim to provide a comprehensive survey on both the background and research taxonomy, as well as a detailed technical tutorial. Specifically, we start by reviewing the literature and answering the "what" and "why" questions in semantic transmissions. Afterwards, we present the ecosystems of SemCom, including history, theories, metrics, datasets and toolkits, on top of which the taxonomy for research directions is presented. Furthermore, we propose to categorize the critical enabling techniques by explicit and implicit reasoning-based methods, and elaborate on how they evolve and contribute to modern content & channel semantics-empowered communications. Besides reviewing and summarizing the latest efforts in SemCom, we discuss the relations with other communication levels (e.g., conventional communications) from a holistic and unified viewpoint. Subsequently, in order to facilitate future developments and industrial applications, we also highlight advanced practical techniques for boosting semantic accuracy, robustness, and large-scale scalability, just to mention a few. Finally, we discuss the technical challenges that shed light on future research opportunities.


title: Effective Field Theory for Large Scale Structure

abstract: This chapter is a non-expert introduction to the effective field theory of large scale structure. First, we give a detailed pedagogical explanation of why previous attempts to build non-linear cosmological perturbation theory failed. After that we introduce the description of dark matter as an effective non-ideal fluid and show how it corrects the shortcomings of the previous approaches. Finally, we develop a formulation of the effective field theory of large-scale structure from a nonequilibrium field theory perspective, called time-sliced perturbation theory. We show how this framework can be used for a consistent renormalization of cosmological correlation functions and a systematic resummation of large infrared effects relevant for the baryon acoustic oscillations.


title: Effectiveness of Text, Acoustic, and Lattice-based representations in Spoken Language Understanding tasks

abstract: In this paper, we perform an exhaustive evaluation of different representations to address the intent classification problem in a Spoken Language Understanding (SLU) setup. We benchmark three types of systems to perform the SLU intent detection task: 1) text-based, 2) lattice-based, and a novel 3) multimodal approach. Our work provides a comprehensive analysis of what could be the achievable performance of different state-of-the-art SLU systems under different circumstances, e.g., automatically- vs. manually-generated transcripts. We evaluate the systems on the publicly available SLURP spoken language resource corpus. Our results indicate that using richer forms of Automatic Speech Recognition (ASR) outputs, namely word-consensus-networks, allows the SLU system to improve in comparison to the 1-best setup (5.5% relative improvement). However, crossmodal approaches, i.e., learning from acoustic and text embeddings, obtains performance similar to the oracle setup, a relative improvement of 17.8% over the 1-best configuration, being a recommended alternative to overcome the limitations of working with automatically generated transcripts.


title: LOANet: A Lightweight Network Using Object Attention for Extracting Buildings and Roads from UAV Aerial Remote Sensing Images

abstract: Semantic segmentation for extracting buildings and roads from uncrewed aerial vehicle (UAV) remote sensing images by deep learning becomes a more efficient and convenient method than traditional manual segmentation in surveying and mapping fields. In order to make the model lightweight and improve the model accuracy, a Lightweight Network Using Object Attention (LOANet) for Buildings and Roads from UAV Aerial Remote Sensing Images is proposed. The proposed network adopts an encoder-decoder architecture in which a Lightweight Densely Connected Network (LDCNet) is developed as the encoder. In the decoder part, the dual multi-scale context modules which consist of the Atrous Spatial Pyramid Pooling module (ASPP) and the Object Attention Module (OAM) are designed to capture more context information from feature maps of UAV remote sensing images. Between ASPP and OAM, a Feature Pyramid Network (FPN) module is used to fuse multi-scale features extracted from ASPP. A private dataset of remote sensing images taken by UAV which contains 2431 training sets, 945 validation sets, and 475 test sets is constructed. The proposed basic model performs well on this dataset, with only 1.4M parameters and 5.48G floating point operations (FLOPs), achieving excellent mean Intersection-over-Union (mIoU). Further experiments on the publicly available LoveDA and CITY-OSM datasets have been conducted to further validate the effectiveness of the proposed basic and large model, and outstanding mIoU results have been achieved. All codes are available on https://github.com/GtLinyer/LOANet.


title: A class of highly symmetric Archdeacon embeddings

abstract: Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array to provide explicit constructions of biembeddings of the complete graph $K_v$ into orientable surfaces, the so-called Archdeacon embeddings, and proved that these embeddings are $\mathbb{Z}_{v}$-regular. In this paper, we show that an Archdeacon embedding may admit an automorphism group that is strictly larger than $\mathbb{Z}_{v}$. Indeed, as an application of the interesting class of arrays recently introduced by Buratti in $[2]$, we exhibit, for infinitely many values of $v$, an embedding of this type having full automorphism group of size ${v \choose 2}$ that is the largest possible one.


title: Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model

abstract: The Ohta-Kawasaki model for diblock copolymers exhibits a rich equilibrium bifurcation structure. Even on one-dimensional base domains the bifurcation set is characterized by high levels of multi-stability and numerous secondary bifurcation points. Many of these bifurcations are of pitchfork type. In previous work, the authors showed that if pitchfork bifurcations are induced by a simple $\mathbb{Z}_2$ symmetry-breaking, then computer-assisted proof techniques can be used to rigorously validate them using extended systems. However, many diblock copolymer pitchfork bifurcations cannot be treated in this way. In the present paper, we show that in these more involved cases, a cyclic group action is responsible for their existence, based on cyclic groups of even order. We present theoretical results establishing such bifurcation points and show that they can be characterized as nondegenerate solutions of a suitable extended nonlinear system. Using the latter characterization, we also demonstrate that computer-assisted proof techniques can be used to validate such bifurcations. While the methods proposed in this paper are only applied to the diblock copolymer model, we expect that they will also apply to other parabolic partial differential equations.


title: Understanding the limits of remote focusing

abstract: It has previously been demonstrated in both simulation and experiment that well aligned remote focusing microscopes exhibit residual spherical aberration outside the focal plane. In this work, compensation of the residual spherical aberration is provided by the correction collar on the primary objective, controlled by a high precision stepper motor. A Shack-Hartmann wave front sensor is used to demonstrate the magnitude of the spherical aberration generated by the correction collar matches that predicted by an optical model of the objective lens. The limited impact of spherical aberration compensation on the diffraction limited range of the remote focusing system is described through a consideration of both on-axis and off-axis comatic and astigmatic aberrations, which are an inherent feature of remote focusing microscopes.


title: The proxy-SU(3) symmetry in atomic nuclei

abstract: The microscopic origins and the up-to-now predictions of the proxy-SU(3) symmetry model of atomic nuclei are reviewed. Starting from the experimental evidence for the special role played by nucleon pairs with maximal spatial overlap, the proxy-SU(3) approximation scheme is introduced and its validity is demonstrated through Nilsson model calculations, as well as through its connection to the spherical shell model. The major role played by highest weight irreducible representations of SU(3) in shaping up the nuclear properties is pointed out, resulting in parameter-free predictions of the collective variables beta and gamma for even-even nuclei, in the explanation of the dominance of prolate over oblate shapes in the ground states of even-even nuclei, in the prediction of a shape/phase transition from prolate to oblate shapes below closed shells, as well as in the prediction of specific islands on the nuclear chart in which shape coexistence is confined. Further developments within the proxy-SU(3) scheme are outlined.


title: Adaptive Tracking Control of Uncertain Euler-Lagrange Systems with State and Input Constraints

abstract: This paper proposes a novel control architecture for state and input constrained Euler-Lagrange (E-L) systems with parametric uncertainties. A simple saturated controller is strategically coupled with a Barrier Lyapunov Function (BLF) based controller to ensure state and input constraint satisfaction. To the best of the authors' knowledge, this is the first result for E-L systems that guarantee asymptotic tracking with user-specified state and input constraints. The proposed controller also ensures that all the closed-loop signals remain bounded. The efficacy of the proposed controller in terms of constraint satisfaction and tracking performance is verified using simulation on a robot manipulator system.


title: Federated Learning with Flexible Control

abstract: Federated learning (FL) enables distributed model training from local data collected by users. In distributed systems with constrained resources and potentially high dynamics, e.g., mobile edge networks, the efficiency of FL is an important problem. Existing works have separately considered different configurations to make FL more efficient, such as infrequent transmission of model updates, client subsampling, and compression of update vectors. However, an important open problem is how to jointly apply and tune these control knobs in a single FL algorithm, to achieve the best performance by allowing a high degree of freedom in control decisions. In this paper, we address this problem and propose FlexFL - an FL algorithm with multiple options that can be adjusted flexibly. Our FlexFL algorithm allows both arbitrary rates of local computation at clients and arbitrary amounts of communication between clients and the server, making both the computation and communication resource consumption adjustable. We prove a convergence upper bound of this algorithm. Based on this result, we further propose a stochastic optimization formulation and algorithm to determine the control decisions that (approximately) minimize the convergence bound, while conforming to constraints related to resource consumption. The advantage of our approach is also verified using experiments.


title: Modeling aspects of Schr\"odinger equation diffraction with regularized potentials and initial values

abstract: We discuss spectral properties of a regularization approach to a Schr\"odinger equation set-up for the diffraction of a quantum particle at (almost) planar patterns. Physically meaningful initial values and potentials are modeled in terms of regularizing families and the solutions can be interpreted as generalized functions. We establish spectral and scattering theoretical properties of the regularizing solution families and provide some comparison with the more direct approximations and simplifications used in physics.


title: Evaluating vaccine allocation strategies using simulation-assisted causal modelling

abstract: Early on during a pandemic, vaccine availability is limited, requiring prioritisation of different population groups. Evaluating vaccine allocation is therefore a crucial element of pandemics response. In the present work, we develop a model to retrospectively evaluate age-dependent counterfactual vaccine allocation strategies against the COVID-19 pandemic. To estimate the effect of allocation on the expected severe-case incidence, we employ a simulation-assisted causal modelling approach which combines a compartmental infection-dynamics simulation, a coarse-grained, data-driven causal model and literature estimates for immunity waning. We compare Israel's implemented vaccine allocation strategy in 2021 to counterfactual strategies such as no prioritisation, prioritisation of younger age groups or a strict risk-ranked approach; we find that Israel's implemented strategy was indeed highly effective. We also study the marginal impact of increasing vaccine uptake for a given age group and find that increasing vaccinations in the elderly is most effective at preventing severe cases, whereas additional vaccinations for middle-aged groups reduce infections most effectively. Due to its modular structure, our model can easily be adapted to study future pandemics. We demonstrate this flexibility by investigating vaccine allocation strategies for a pandemic with characteristics of the Spanish Flu. Our approach thus helps evaluate vaccination strategies under the complex interplay of core epidemic factors, including age-dependent risk profiles, immunity waning, vaccine availability and spreading rates.


title: Entanglement negativity in a nonequilibrium steady state

abstract: We study entanglement properties in a nonequilibrium steady state of a free-fermion chain, that emerges after connecting two half-chains prepared at different temperatures. The entanglement negativity and the R\'enyi mutual information between two adjacent intervals scale logarithmically in the system size, with prefactors that we calculate analytically as a function of the bath temperatures. In particular, we show that the negativity and the R\'enyi mutual information with index $\alpha=1/2$ are described by different prefactors, and thus the two quantities provide inequivalent information about the state. Furthermore, we show that the logarithmic growth of the negativity during time evolution is also governed by the steady-state prefactor.


title: Upper bound on the Guessing probability using Machine Learning

abstract: The estimation of the guessing probability has paramount importance in quantum cryptographic processes. It can also be used as a witness for nonlocal correlations. In most of the studied scenarios, estimating the guessing probability amounts to solving a semi-definite programme, for which potent algorithms exist. However, the size of those programs grows exponentially with the system size, becoming infeasible even for small numbers of inputs and outputs. We have implemented deep learning approaches for some relevant Bell scenarios to confront this problem. Our results show the capabilities of machine learning for estimating the guessing probability and for understanding nonlocality.


title: Heegaard Floer multicurves of double tangles

abstract: We describe a simple formula for computing the Heegaard Floer multicurve invariant of double tangles from the Heegaard Floer multicurve invariant of knot complements. A comparison with a similar multicurve invariant for Conway tangles in the setting of Khovanov homology confirms that knot Floer homology and Khovanov homology behave very differently under satellite operations, echoing recent observations from arXiv:2208.13612. We also obtain a new characterisation of L-space knots in terms of Heegaard Floer A-link satellites. Along the way, we find the first example of a satellite knot whose knot Floer homology is thin.


title: JUNO Sensitivity on Proton Decay $p\to \bar\nu K^+$ Searches

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this paper, the potential on searching for proton decay in $p\to \bar\nu K^+$ mode with JUNO is investigated.The kaon and its decay particles feature a clear three-fold coincidence signature that results in a high efficiency for identification. Moreover, the excellent energy resolution of JUNO permits to suppress the sizable background caused by other delayed signals. Based on these advantages, the detection efficiency for the proton decay via $p\to \bar\nu K^+$ is 36.9% with a background level of 0.2 events after 10 years of data taking. The estimated sensitivity based on 200 kton-years exposure is $9.6 \times 10^{33}$ years, competitive with the current best limits on the proton lifetime in this channel.


title: Mesh d-refinement: a data-based computational framework to account for complex material response

abstract: Model-free data-driven computational mechanics (DDCM) is a new paradigm for simulations in solid mechanics. The modeling step associated to the definition of a material constitutive law is circumvented through the introduction of an abstract phase space in which, following a pre-defined rule, physically-admissible states are matched to observed material response data (coming from either experiments or lower-scale simulations). In terms of computational resources, the search procedure that performs these matches is the most onerous step in the algorithm. One of the main advantages of DDCM is the fact that it avoids regression-based, bias-prone constitutive modeling. However, many materials do display a simple linear response in the small-strain regime while also presenting complex behavior after a certain deformation threshold. Motivated by this fact, we present a novel refinement technique that turns regular elements (equipped with a linear-elastic constitutive law) into data-driven ones if they are expected to surpass the threshold known to trigger material non-linear response. We term this technique ``data refinement'', ``d-refinement'' for short. Starting from an initially regular FEM mesh, the proposed algorithm detects where the refinement is needed and iterates until all elements presumed to display non-linearity become data-driven ones. Insertion criteria are discussed. The scheme is well-suited for simulations that feature non-linear response in relatively small portions of the domain while the rest remains linear-elastic. The method is validated against a traditional incremental solver (i.e., Newton-Raphson method) and we show that the d-refinement framework can outperform it in terms of speed at no loss of accuracy. We provide an application that showcases the advantage of the new method: bridging scales in architected metamaterials.


title: Morphological Classification of Radio Galaxies with wGAN-supported Augmentation

abstract: Machine learning techniques that perform morphological classification of astronomical sources often suffer from a scarcity of labelled training data. Here, we focus on the case of supervised deep learning models for the morphological classification of radio galaxies, which is particularly topical for the forthcoming large radio surveys. We demonstrate the use of generative models, specifically Wasserstein GANs (wGANs), to generate data for different classes of radio galaxies. Further, we study the impact of augmenting the training data with images from our wGAN on three different classification architectures. We find that this technique makes it possible to improve models for the morphological classification of radio galaxies. A simple Fully Connected Neural Network (FCN) benefits most from including generated images into the training set, with a considerable improvement of its classification accuracy. In addition, we find it is more difficult to improve complex classifiers. The classification performance of a Convolutional Neural Network (CNN) can be improved slightly. However, this is not the case for a Vision Transformer (ViT).


title: Embeddings of $\mathrm{PSL}_2(q)$ in exceptional groups of Lie type over a field of characteristic $\ne2,3$

abstract: Let $\boldsymbol{G}$ be an algebraic group of exceptional Lie type in characteristic $p$, $G=\boldsymbol{G}^{\sigma}$ its fixed-point subgroup under the action of a Steinberg endomorphism $\sigma$, and $\overline{G}$ an almost simple group with socle $G$. A maximal subgroup $M<\overline{G}$ is called non-generic if it is almost simple and its socle is not isomorphic to a group of Lie type in characteristic $p$. A finite subgroup $H$ of $\boldsymbol{G}$ is Lie primitive if it does not lie in any proper closed positive-dimensional subgroup of $\boldsymbol{G}$; it is Lie imprimitive if it lies in a positive-dimensional subgroup $\boldsymbol{X}$ of $\boldsymbol{G}$; it is strongly imprimitive if $\boldsymbol{X}$ can be chosen to be stable under the action of $N_{\mathrm{Aut}\boldsymbol{G}}(H)$, where $\mathrm{Aut}\boldsymbol{G}$ is the group generated by inner, diagonal, graph, and field automorphisms of $\boldsymbol{G}$. We study the possible embeddings of a non-generic primitive simple group $H$ in the adjoint algebraic group $\boldsymbol{G}$ in characteristic coprime to $|H|$ when $(\boldsymbol{G},H)$ is one of $(\boldsymbol{F}_4,\mathrm{PSL}_2(25))$, $(\boldsymbol{F}_4,\mathrm{PSL}_2(27))$, $(\boldsymbol{E}_7,\mathrm{PSL}_2(29))$, $(\boldsymbol{E}_7,\mathrm{PSL}_2(37))$. In particular, we construct copies of $H$ in $G$ over a suitable finite field $k$, and use them to deduce the number of conjugacy classes of $H$ in $G$ and $\boldsymbol{G}$, and whether $N_{\overline{G}}(H)$ is a maximal subgroup of $\overline{G}$. We also study the case of $H\simeq\mathrm{Alt}_6\simeq\mathrm{PSL}_2(9)$ when $\boldsymbol{G}$ is one of $\boldsymbol{F}_4$ and $\boldsymbol{E}_6$ in characteristic coprime to $|H|$, and show that in such cases $H$ is a strongly imprimitive subgroup of $\boldsymbol{G}$; in particular, $N_{\overline{G}}(H)$ is not a maximal subgroup of $\overline{G}$.


title: Weakly Supervised Video Anomaly Detection Based on Cross-Batch Clustering Guidance

abstract: Weakly supervised video anomaly detection (WSVAD) is a challenging task since only video-level labels are available for training. In previous studies, the discriminative power of the learned features is not strong enough, and the data imbalance resulting from the mini-batch training strategy is ignored. To address these two issues, we propose a novel WSVAD method based on cross-batch clustering guidance. To enhance the discriminative power of features, we propose a batch clustering based loss to encourage a clustering branch to generate distinct normal and abnormal clusters based on a batch of data. Meanwhile, we design a cross-batch learning strategy by introducing clustering results from previous mini-batches to reduce the impact of data imbalance. In addition, we propose to generate more accurate segment-level anomaly scores based on batch clustering guidance further improving the performance of WSVAD. Extensive experiments on two public datasets demonstrate the effectiveness of our approach.


title: Robust Explanation Constraints for Neural Networks

abstract: Post-hoc explanation methods are used with the intent of providing insights about neural networks and are sometimes said to help engender trust in their outputs. However, popular explanations methods have been found to be fragile to minor perturbations of input features or model parameters. Relying on constraint relaxation techniques from non-convex optimization, we develop a method that upper-bounds the largest change an adversary can make to a gradient-based explanation via bounded manipulation of either the input features or model parameters. By propagating a compact input or parameter set as symbolic intervals through the forwards and backwards computations of the neural network we can formally certify the robustness of gradient-based explanations. Our bounds are differentiable, hence we can incorporate provable explanation robustness into neural network training. Empirically, our method surpasses the robustness provided by previous heuristic approaches. We find that our training method is the only method able to learn neural networks with certificates of explanation robustness across all six datasets tested.


title: Coarse-grained effective Hamiltonian via the Magnus Expansion for a three-level system

abstract: Quantum state processing is one of the main tools of quantum technologies. While real systems are complicated and/or may be driven by non-ideal control they may nevertheless exhibit simple dynamics approximately confined to a low-energy Hilbert subspace. Adiabatic elimination is the simplest approximation scheme allowing us to derive in certain cases an effective Hamiltonian operating in a low-dimensional Hilbert subspace. However, these approximations may present ambiguities and difficulties hindering a systematic improvement of their accuracy in larger and larger systems. Here we use the Magnus expansion as a systematic tool to derive ambiguity-free effective Hamiltonians. We show that the validity of the approximations ultimately leverages only on a properly done coarse-graining in time of the exact dynamics. We validate the accuracy of the obtained effective Hamiltonians with suitably tailored fidelities of quantum operations.


title: Moate Simulation of Stochastic Processes

abstract: A novel approach called Moate Simulation is presented to provide an accurate numerical evolution of probability distribution functions represented on grids arising from stochastic differential processes where initial conditions are specified. Where the variables of stochastic differential equations may be transformed via It\^o-Doeblin calculus into stochastic differentials with a constant diffusion term, the probability distribution function for these variables can be simulated in discrete time steps. The drift is applied directly to a volume element of the distribution while the stochastic diffusion term is applied through the use of convolution techniques such as Fast or Discrete Fourier Transforms. This allows for highly accurate distributions to be efficiently simulated to a given time horizon and may be employed in one, two or higher dimensional expectation integrals, e.g. for pricing of financial derivatives. The Moate Simulation approach forms a more accurate and considerably faster alternative to Monte Carlo Simulation for many applications while retaining the opportunity to alter the distribution in mid-simulation.


title: Whispering-gallery-mode barcode-based broadband sub-femtometer-resolution spectroscopy with an electro-optic frequency comb

abstract: Spectroscopy is the basic tool for studying molecular physics and realizing bio-chemical sensing. However, it is challenging to realize sub-femtometer resolution spectroscopy over broad bandwidth. In this paper, broadband and high-resolution spectroscopy with calibrated optical frequency is demonstrated by bridging the fields of speckle patterns and electro-optic frequency comb (EOFC). A novel wavemeter based on whispering-gallery-mode (WGM) speckles (or WGM barcodes) is proposed to link the frequency of a tunable continuous-wave (CW) laser to an optical reference provided by an ultra-stable laser. The ultra-fine comb lines generated from the CW laser sample the spectrum with sub-femtometer resolution. Measurement bandwidth is far extended by performing sequential acquisitions, since the centre optical frequency of EOFC is absolutely determined by WGM speckle-based wavemter. This approach fully utilizes the advantages of two fields to realize 0.8-fm resolution with a fiber laser and 80-nm bandwidth with an external cavity diode laser. The spectroscopic measurements of an ultrahigh-Q cavity and the HCN gas absorption is demonstrated, which shows the potentials of this compact system with high resolution and broad bandwidth for more applications.


title: Road Detection in Snowy Forest Environment using RGB Camera

abstract: Automated driving technology has gained a lot of momentum in the last few years. For the exploration field, navigation is the important key for autonomous operation. In difficult scenarios such as snowy environment, the road is covered with snow and road detection is impossible in this situation using only basic techniques. This paper introduces detection of snowy road in forest environment using RGB camera. The method combines noise filtering technique with morphological operation to classify the image component. By using the assumption that all road is covered by snow and the snow part is defined as road area. From the perspective image of road, the vanishing point of road is one of factor to scope the region of road. This vanishing point is found with fitting triangle technique. The performance of algorithm is evaluated by two error value: False Negative Rate and False Positive Rate. The error shows that the method has high efficiency for detect road with straight road but low performance for curved road. This road region will be applied with depth information from camera to detect for obstacle in the future work.


title: Subproduct systems with quantum group symmetry. II

abstract: We complete our analysis of the Temperley-Lieb subproduct systems, which define quantum analogues of Arveson's $2$-shift, by extending the main results of the previous paper to the general parameter case. Specifically, we show that the associated Toeplitz algebras are nuclear, find complete sets of relations for them, prove that they are equivariantly $KK$-equivalent to $\mathbb C$ and compute the $K$-theory of the associated Cuntz-Pimsner algebras. A key role is played by quantum symmetry groups, first studied by Mrozinski, preserving Temperley-Lieb polynomials up to rescaling, and their monoidal equivalence to $U_q(2)$.


title: Challenges and Opportunities for Bioenergy in Europe: National Deployment, Policy Support, and Possible Future Roles

abstract: Bioenergy is currently a major renewable energy source in Europe but faces an unclear future because of conflicting modelling results and the lack of long-term policy. This paper identifies three challenges and potential opportunities by reviewing bioenergy historical national deployment, current policy support, and possible future roles in Europe. The first challenge is on the supply side. Analysing the supply-consumption dynamics and import dependency of EU bioenergy, we find that the security of bioenergy supply is challenging for liquid biofuels and those countries with the highest per-capita bioenergy consumption in Europe. Second, the definition of sustainable bioenergy in modelling studies is sometimes inconsistent with how EU policies label it. Third, on the demand side, there are unique but competing uses for bioenergy without a clear long-term strategy in Europe. We conclude with three opportunities to tackle these challenges for future research. First, utilising the untapped bioenergy potential with low environmental impacts could improve supply security. A clear and harmonised definition of sustainable bioenergy could better convey modelling results to policymaking. Finally, understanding where best to use limited sustainable bioenergy supply through sector-coupled energy system models can provide direction for a clearer EU bioenergy strategy towards 2050.


title: Check-worthy Claim Detection across Topics for Automated Fact-checking

abstract: An important component of an automated fact-checking system is the claim check-worthiness detection system, which ranks sentences by prioritising them based on their need to be checked. Despite a body of research tackling the task, previous research has overlooked the challenging nature of identifying check-worthy claims across different topics. In this paper, we assess and quantify the challenge of detecting check-worthy claims for new, unseen topics. After highlighting the problem, we propose the AraCWA model to mitigate the performance deterioration when detecting check-worthy claims across topics. The AraCWA model enables boosting the performance for new topics by incorporating two components for few-shot learning and data augmentation. Using a publicly available dataset of Arabic tweets consisting of 14 different topics, we demonstrate that our proposed data augmentation strategy achieves substantial improvements across topics overall, where the extent of the improvement varies across topics. Further, we analyse the semantic similarities between topics, suggesting that the similarity metric could be used as a proxy to determine the difficulty level of an unseen topic prior to undertaking the task of labelling the underlying sentences.


title: The Formal Theory of Monads, Univalently

abstract: We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads internal to a bicategory, and prove that it is univalent. We also define Eilenberg-Moore objects, and we show that both Eilenberg-Moore categories and Kleisli categories give rise to Eilenberg-Moore objects. Finally, we relate monads and adjunctions in arbitrary bicategories. Our work is formalized in Coq using the UniMath library.


title: Large baseline optical imaging assisted by single photons and linear quantum optics

abstract: In this work, we show that by combining quantum metrology and networking tools, it is possible to extend the baseline of an interferometric optical telescope and thus improve diffraction-limited imaging of point source positions. The quantum interferometer is based on single-photon sources, linear optical circuits, and efficient photon number counters. Surprisingly, with thermal (stellar) sources of low photon number per mode and high transmission losses across the baseline, the detected photon probability distribution still retains a large amount of Fisher information about the source position, allowing for a significant improvement in the resolution of positioning point sources, on the order of 10 {\mu}as. Our proposal can be implemented with current technology. In particular, our proposal does not require experimental optical quantum memories.


title: The hot gas distribution, X-ray luminosity and baryon budget in the L-Galaxies semi-analytic model of galaxy formation

abstract: Hot ionized gas is important in the baryon cycle of galaxies and contributes the majority of their ``missing baryons''. Until now, most semi-analytic models of galaxy formation have paid little attention to hot gaseous haloes and their X-ray emission. In this paper, we adopt the one-dimensional model from Sharma et al. instead of the isothermal sphere to describe the radial distribution of hot gas in the L-Galaxies semi-analytic model. The hot gas halo can be divided into two parts according to the ratio of the local thermal instability time-scale and the free-fall time-scale: a cool core with $t_{\rm TI}/t_{\rm ff}=10$ and a stable outer halo with $t_{\rm TI}/t_{\rm ff}>10$. We update the prescriptions of cooling, feedback and stripping based on the new hot gas profiles, and then reproduce several X-ray observational results, like the radial profiles of hot gas density, and the scaling relations of X-ray luminosity and temperature. We find: (1) Consistent with observations, flatter density profiles in halo centers produce lower X-ray emission than an isothermal sphere; (2) Cool core regions prone to precipitation have higher gas temperature than the virial temperature, and a larger $T_{\rm X}/T_{\rm 200}$ ratio in smaller haloes leads to a steeper slope in the $L_{\rm X}-T_{\rm X}$ relation; (3) The ionized gas in the unbounded reservoir and low temperature intergalactic gas in low mass haloes could be the main components of the halo ``missing baryons''. Our model outputs can predict the observations of hot gas in the nearby universe and produce mock surveys of baryons probed by future X-ray telescopes.


title: Systemic robustness: a mean-field particle system approach

abstract: This paper is concerned with the problem of budget control in a large particle system modeled by stochastic differential equations involving hitting times, which arises from considerations of systemic risk in a regional financial network. Motivated by Tang and Tsai (Ann. Probab., 46(2018), pp. 1597{1650), we focus on the number or proportion of surviving entities that never default to measure the systemic robustness. First we show that both the mean-field particle system and its limiting McKean-Vlasov equation are well-posed by virtue of the notion of minimal solutions. We then establish a connection between the proportion of surviving entities in the large particle system and the probability of default in the limiting McKean-Vlasov equation as the size of the interacting particle system N tends to infinity. Finally, we study the asymptotic efficiency of budget control in different economy regimes: the expected number of surviving entities is of constant order in a negative economy; it is of order of the square root of N in a neutral economy; and it is of order N in a positive economy where the budget's effect is negligible.


title: Investigating the vertical distribution of the disk as a function of radial action

abstract: As heating processes can broaden the distributions of radial actions and the vertical distributions of the Galactic disks, we investigate the vertical distribution of the Galactic disks as a function of radial action based on Apache Point Observatory Galactic Evolution Experiment(APOGEE) and Gaia data in order to deepen our understanding of the formation and heating history of the Galactic disks. We find that the distributions of radial action for both the thin and thick disks can be approximately described by pseudo-isothermal distributions, which give a statistical measurement for the temperature of the disk as indicated by the mean radial action of the star sample. Estimations of the scale heights in different radial action ranges for these pseudo-isothermal distributions of the disks seem to show fixed relationships between radial action $J_R$ and scale height $h$. We describe these relationships with a two-parameter function of $h = \sqrt{J_R /a} + b$, where $a$ and $b$ are free parameters. When testing with a three-parameter function of $h=\sqrt[\alpha]{J_R/a}+b$, we find that this two-parameter function describes the thin disk well, but we note the function should be used with care for the thick disk. When comparing the best-fit relationships between the inner and outer disk for both of the thin and thick disks, we find that the relationships are nearly the same for the thin disks but are different for the thick disks. The inner thick disk shows a nearly flattened relationship, while the outer thick disk presents a gradually increasing relationship. This work highlights an alternative way to unveil the heating history of the disks by investigating the relationship between scale height and radial action, as these relationships encode the formation and heating history of the Galactic disks.


title: On categories of spaces with L-fuzzy partitions, L-fuzzy closure system spaces and coalgebras (dialgebras)

abstract: In this contribution, we aim to introduce and study L-fuzzy partition spaces and L-fuzzy closure system spaces in a categorical framework. Further, we present the concepts of coalgebras and dialgebras corresponding to a direct upper F -transform under certain conditions and show the functorial relationship between the category of spaces with L-fuzzy partition and the category of coalgebras (dialgebras). Moreover, we show that the categories of coalgebras and dialgebras are isomorphic and introduce a pair of adjoint functors between the coalgebras and dialgebras.


title: The Yang problem for complete bounded complex submanifolds: a survey

abstract: We survey the history as well as recent progress in the Yang problem concerning the existence of complete bounded complex submanifolds of the complex Euclidean spaces. We also point out some open questions on the topic.


title: Rewriting the Infinite Chase

abstract: Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answered by a variant of the chase - a quintessential technique for reasoning with dependencies. However, there has been little work on concrete algorithms and even less on implementation. To address this gap, we revisit Datalog rewriting approaches to query answering, where GTGDs are transformed to a Datalog program that entails the same base facts on each base instance. We show that the rewriting can be seen as containing "shortcut" rules that circumvent certain chase steps, we present several algorithms that compute the rewriting by simulating specific types of chase steps, and we discuss important implementation issues. Finally, we show empirically that our techniques can process complex GTGDs derived from synthetic and real benchmarks and are thus suitable for practical use.


title: Tunable disorder in accessories can enhance precision of atomic clocks

abstract: We find that a quantum device having an accessory involving precision measurement can have an enhancement of its metrological precision in estimating an unknown parameter of the quantum system by insertion of glassy disorder, accidental or engineered. We clearly mention how an unbiased estimator can also be identified in a disordered situation, and how the precision thereof can be bounded by the quantum Cramer-Rao inequality. We compare the Fisher information-based lower bound of the minimum standard deviation of an unbiased estimator, in presence of glassy disorder in the system, with the same of an ideal, viz. disorder-free, situation. The phenomenon can boost the efficiency of certain measuring devices, such as atomic clocks. The precision of these clocks, when measuring time, hinges on the precise determination of the frequency of a two-level atom. In cases where impurities are present in the atom, and can be modeled as a disorder parameter, it is possible for the measurement of frequency to be more accurate than in an ideal, disorder-free scenario. Moreover, disorder insertion can reduce the requirement of entanglement content of the initial probes, which are copies of two-qubit states, along with providing a disorder-induced enhancement.


title: A field investigation of the friction between cross-country skis and snow

abstract: Cross country skiing is an interplay between the active motion of the body of the skier and the physical interaction between the surface of the skis and the snow. Friction and glide between the ski base and the snow depend on the snow temperature, ski surface chemistry and roughness, dry friction with the snow crystals and liquid meltwater film flow properties. Although a great amount of resources are being spent on understanding glide and friction, a basic physical understanding of the phenomena at play is still at large and the methodology used for assessing the gliding quality of different full scale configurations is still coarse in real world applications, which limits novel development of robust methods to control and optimize glide. Such understanding and full scale testing is particularly important for designing new ski gliders. In the present work, we develop a novel experimental setup and use it to investigate through field experiments the basic mechanical phenomena that influence glide and friction of full scale skis on snow. The field setup features a mobile, novel linear tribometer allowing investigation with whole skis in realistic cross-country conditions (speed and load). The coefficient of friction between the skis and snow is obtained from a load cell, which reports the force necessary to pull a ski sled along a flat track. Simultaneously, thermistors measure the temperature at the ski-snow interface. In addition, a GPS measures displacement and velocity. The results obtained are in good agreement with several measurements reported from similar experiments, and provide a real-world validation of results obtained in the laboratory. In addition, we release the general tribometer setup as open source material in order to provide a foundation on which other research teams as well as cross-country teams can further iterate when designing later experiments.


title: Resource-Interaction Graph: Efficient Graph Representation for Anomaly Detection

abstract: Security research has concentrated on converting operating system audit logs into suitable graphs, such as provenance graphs, for analysis. However, provenance graphs can grow very large requiring significant computational resources beyond what is necessary for many security tasks and are not feasible for resource constrained environments, such as edge devices. To address this problem, we present the \textit{resource-interaction graph} that is built directly from the audit log. We show that the resource-interaction graph's storage requirements are significantly lower than provenance graphs using an open-source data set with two container escape attacks captured from an edge device. We use a graph autoencoder and graph clustering technique to evaluate the representation for an anomaly detection task. Both approaches are unsupervised and are thus suitable for detecting zero-day attacks. The approaches can achieve f1 scores typically over 80\% and in some cases over 90\% for the selected data set and attacks.


title: Unifying Human Motion Synthesis and Style Transfer with Denoising Diffusion Probabilistic Models

abstract: Generating realistic motions for digital humans is a core but challenging part of computer animations and games, as human motions are both diverse in content and rich in styles. While the latest deep learning approaches have made significant advancements in this domain, they mostly consider motion synthesis and style manipulation as two separate problems. This is mainly due to the challenge of learning both motion contents that account for the inter-class behaviour and styles that account for the intra-class behaviour effectively in a common representation. To tackle this challenge, we propose a denoising diffusion probabilistic model solution for styled motion synthesis. As diffusion models have a high capacity brought by the injection of stochasticity, we can represent both inter-class motion content and intra-class style behaviour in the same latent. This results in an integrated, end-to-end trained pipeline that facilitates the generation of optimal motion and exploration of content-style coupled latent space. To achieve high-quality results, we design a multi-task architecture of diffusion model that strategically generates aspects of human motions for local guidance. We also design adversarial and physical regulations for global guidance. We demonstrate superior performance with quantitative and qualitative results and validate the effectiveness of our multi-task architecture.


title: Aspects of the Dark Dimension in Cosmology

abstract: It was recently understood that if the swampland conjectures are confronted to experiment they naturally point to a solution of the cosmological hierarchy problem in which the smallness of the dark energy is ascribed to an internal (dark) dimension with characteristic length-scale in the micron range. It was later inferred that the universal coupling of the Standard Model fields to the massive spin-2 Kaluza-Klein (KK) excitations of the graviton in the dark dimension leads to a dark matter candidate. Since the partial decay widths of KK gravitons into the visible sector must be relatively small to accommodate experiment, the model is particularly challenging to probe. We show that the model can accommodate neutrino masses associated to right-handed neutrinos propagating in the bulk of the dark dimension with an additional constraint imposed by neutrino oscillation data. After that, we study the impact of the KK tower in cosmology. We show that the modulation of redshifted 21-cm lines driven by ${\rm KK} \to \gamma \gamma$ could be within the reach of next generation experiments (e.g. SKA and FARSIDE). We also show that indirect dark matter searches could uncover the ${\rm KK} \to \gamma \gamma$ signal. These two observations combined have the potential for model identification. Finally, we explore the global structure of the inflationary phase and demonstrate that the model parameters required for a successful uniform inflation driven by a 5-dimensional cosmological constant (corresponding to a flat region of the 5-dimensional potential) are natural.


title: The TRAPUM L-band survey for pulsars in Fermi-LAT gamma-ray sources

abstract: More than 100 millisecond pulsars (MSPs) have been discovered in radio observations of gamma-ray sources detected by the Fermi Large Area Telescope (LAT), but hundreds of pulsar-like sources remain unidentified. Here we present the first results from the targeted survey of Fermi-LAT sources being performed by the Transients and Pulsars with MeerKAT (TRAPUM) Large Survey Project. We observed 79 sources identified as possible gamma-ray pulsar candidates by a Random Forest classification of unassociated sources from the 4FGL catalogue. Each source was observed for 10 minutes on two separate epochs using MeerKAT's L-band receiver (856-1712 MHz), with typical pulsed flux density sensitivities of $\sim$100$\,\mu$Jy. Nine new MSPs were discovered, eight of which are in binary systems, including two eclipsing redbacks and one system, PSR J1526$-$2744, that appears to have a white dwarf companion in an unusually compact 5 hr orbit. We obtained phase-connected timing solutions for two of these MSPs, enabling the detection of gamma-ray pulsations in the Fermi-LAT data. A follow-up search for continuous gravitational waves from PSR J1526$-$2744 in Advanced LIGO data using the resulting Fermi-LAT timing ephemeris yielded no detection, but sets an upper limit on the neutron star ellipticity of $2.45\times10^{-8}$. We also detected X-ray emission from the redback PSR J1803$-$6707 in data from the first eROSITA all-sky survey, likely due to emission from an intra-binary shock.


title: The Equilibrium of Coronal Loops Near Separatrices

abstract: We present numerical models from the field-aligned Hydrodynamics and Radiation Code (HYDRAD) of a highly asymmetric closed coronal loop with near-singular expansion factor. This loop was chosen to simulate a coronal magnetic flux tube that passes close to a null point, as in the last set of closed loops under the fan surface of a coronal jet or a pseudostreamer. The loop has a very large cross-section localized near the coronal null. The coronal heating was assumed to be uniform and steady. A siphon flow establishes itself within 4 hours of simulation time, flowing from the smaller-area footpoint to the larger-area footpoint, with high initial speeds dropping rapidly as the plasma approaches the null region. Observationally, this would translate to strong upflows on the order of 10 km s$^{-1}$ from the footpoint rooted in the localized minority polarity, and weak downflows from the fan-surface footpoint on the order of a few km s$^{-1}$, along with near stationary plasma near the null region. We present the model results for two heating rates. In addition, we analyzed analogous Hinode EIS observations of null-point topologies, which show associated Doppler shifts in the plasma that correlate well with the simulation results in both direction and magnitude of the bulk velocity. We discuss the implications of our results for determining observationally the topology of the coronal magnetic field.


title: Weak Interactions in Dimethyl Sulfoxide (DMSO) -- Tertiary Amide Solutions: the Versatility of DMSO as a Solvent

abstract: The structures of equimolar mixtures of the commonly used polar aprotic solvents dimethylformamide (DMF) and dimethylacetamide (DMAc) in dimethylsulfoxide (DMSO) have been investigated via neutron diffraction augmented by extensive hydrogen/deuterium isotopic substitution. Detailed 3-dimensional structural models of these solutions have been derived from the neutron data via Empirical Potential Structure Refinement (EPSR).The intermolecular Centre-of-Mass (CoM) distributions show that the first coordination shell of the amides comprises 13-14 neighbours, of which approximately half are DMSO. In spite of this near ideal coordination shell mixing, the changes to the amide-amide structure are found to be relatively subtle when compared to the pure liquids. Analysis of specific intermolecular atom-atom correlations allows quantitative interpretation of the competition between weak interactions in solution. We find a hierarchy of formic and methyl C-H to O hydrogen bonds form the dominant local motifs, with peak positions in the range 2.5-3.0 {\AA}. We also observe a rich variety of steric and dispersion interactions, including those involving the amide pi-backbones. This detailed insight into the structural landscape of these important liquids demonstrates the versatility of DMSO as a solvent and the unparalleled resolution of neutron diffraction, which is critical for understanding weak intermolecular interactions at the nanoscale and thereby tailoring solvent properties to specific applications.


title: Learning and Extrapolation of Robotic Skills using Task-Parameterized Equation Learner Networks

abstract: Imitation learning approaches achieve good generalization within the range of the training data, but tend to generate unpredictable motions when querying outside this range. We present a novel approach to imitation learning with enhanced extrapolation capabilities that exploits the so-called Equation Learner Network (EQLN). Unlike conventional approaches, EQLNs use supervised learning to fit a set of analytical expressions that allows them to extrapolate beyond the range of the training data. We augment the task demonstrations with a set of task-dependent parameters representing spatial properties of each motion and use them to train the EQLN. At run time, the features are used to query the Task-Parameterized Equation Learner Network (TP-EQLN) and generate the corresponding robot trajectory. The set of features encodes kinematic constraints of the task such as desired height or a final point to reach. We validate the results of our approach on manipulation tasks where it is important to preserve the shape of the motion in the extrapolation domain. Our approach is also compared with existing state-of-the-art approaches, in simulation and in real setups. The experimental results show that TP-EQLN can respect the constraints of the trajectory encoded in the feature parameters, even in the extrapolation domain, while preserving the overall shape of the trajectory provided in the demonstrations.


title: Do Not Trust a Model Because It is Confident: Uncovering and Characterizing Unknown Unknowns to Student Success Predictors in Online-Based Learning

abstract: Student success models might be prone to develop weak spots, i.e., examples hard to accurately classify due to insufficient representation during model creation. This weakness is one of the main factors undermining users' trust, since model predictions could for instance lead an instructor to not intervene on a student in need. In this paper, we unveil the need of detecting and characterizing unknown unknowns in student success prediction in order to better understand when models may fail. Unknown unknowns include the students for which the model is highly confident in its predictions, but is actually wrong. Therefore, we cannot solely rely on the model's confidence when evaluating the predictions quality. We first introduce a framework for the identification and characterization of unknown unknowns. We then assess its informativeness on log data collected from flipped courses and online courses using quantitative analyses and interviews with instructors. Our results show that unknown unknowns are a critical issue in this domain and that our framework can be applied to support their detection. The source code is available at https://github.com/epfl-ml4ed/unknown-unknowns.


title: Semantic Sensing and Communications for Ultimate Extended Reality

abstract: As a key technology in metaversa, wireless ultimate extended reality (XR) has attracted extensive attentions from both industry and academia. However, the stringent latency and ultra-high data rates requirements have hindered the development of wireless ultimate XR. Instead of transmitting the original source data bit-by-bit, semantic communications focus on the successful delivery of semantic information contained in the source, which have shown great potentials in reducing the data traffic of wireless systems. Inspired by semantic communications, this article develops a joint semantic sensing, rendering, and communication framework for wireless ultimate XR. In particular, semantic sensing is used to improve the sensing efficiency by exploring the spatial-temporal distributions of semantic information. Semantic rendering is designed to reduce the costs on semantically-redundant pixels. Next, semantic communications are adopted for high data transmission efficiency in wireless ultimate XR. Then, two case studies are provided to demonstrate the effectiveness of the proposed framework. Finally, potential research directions are identified to boost the development of semantic-aware wireless ultimate XR.


title: Dynamic Interplay Between Kerr Combs and Brillouin Lasing in Fiber Cavities

abstract: We study a re-configurable nonreciprocal fiber ring cavity setup to generate tunable optical frequency combs. Coherent combs can be obtained by finely exploiting bi-chromatic Brillouin lasing and cascaded four-wave mixing in the nonlinear fiber cavity. We introduce a numerical model of the cavity system, which is validated by comparisons with experiments. Our work shows the importance of the mode pulling effect, controlled by the pump laser detuning, in setting the dynamics of the comb. This effect along with the impact of multimode lasing had been overlooked in previous fiber experiments. We discuss these limitations and devise several scaling laws for these system.


title: Design Considerations of a Coordinative Demand Charge Mitigation Strategy

abstract: This paper presents a coordinative demand charge mitigation (DCM) strategy for reducing electricity consumption during system peak periods. Available DCM resources include batteries, diesel generators, controllable loads, and conservation voltage reduction. All resources are directly controlled by load serving entities. A mixed integer linear programming based energy management algorithm is developed to optimally coordinate of DCM resources considering the load payback effect. To better capture system peak periods, two different kinds of load forecast are used: the day-ahead load forecast and the peak-hour probability forecast. Five DCM strategies are compared for reconciling the discrepancy between the two forecasting results. The DCM strategies are tested using actual utility data. Simulation results show that the proposed algorithm can effectively mitigate the demand charge while preventing the system peak from being shifted to the payback hours. We also identify the diminishing return effect, which can help load serving entities optimize the size of their DCM resources.


title: Detection-aware multi-object tracking evaluation

abstract: How would you fairly evaluate two multi-object tracking algorithms (i.e. trackers), each one employing a different object detector? Detectors keep improving, thus trackers can make less effort to estimate object states over time. Is it then fair to compare a new tracker employing a new detector with another tracker using an old detector? In this paper, we propose a novel performance measure, named Tracking Effort Measure (TEM), to evaluate trackers that use different detectors. TEM estimates the improvement that the tracker does with respect to its input data (i.e. detections) at frame level (intra-frame complexity) and sequence level (inter-frame complexity). We evaluate TEM over well-known datasets, four trackers and eight detection sets. Results show that, unlike conventional tracking evaluation measures, TEM can quantify the effort done by the tracker with a reduced correlation on the input detections. Its implementation is publicly available online at https://github.com/vpulab/MOT-evaluation.


title: Dynamic formation of multi-threaded prominences in arcade configurations

abstract: With this study, we aim to understand the nature of prominences, governed by their formation process. We use a state-of-the-art threaded prominence model within a dipped magnetic arcade. The non-ideal magnetohydrodynamic (MHD) equations are solved using the open-source MPI-AMRVAC MHD toolkit. Unlike many previous 1D models, we study the full 2D dynamics in a fixed-shaped arcade. This allows for sideways field deformations and cross-field thermodynamic coupling. To achieve a realistic setup we consider field-aligned thermal conduction, radiative cooling and heating, wherein the latter combines a steady background and a localized stochastic component. The stochastic component simulates energy pulses localized in time and space at the footpoints of the magnetic arcade. We vary the height and amplitude of the localized heating and observe how it influences the prominence, its threads, and its overall dynamics. We show the importance of random localized heating in the evolution of prominences and their threaded structure. Random heating strongly influences the morphology of the prominence threaded structure, the area, the mass the threads reach, their minimum temperature and their average density. More importantly, the strength of the localized heating plays a role in maintaining the balance between condensation and draining, affecting the general prominence stability. Stronger sources form condensations faster and result in larger and more massive prominences. We show how the condensation rates scale with the amplitude of the heating inputs and quantify how these rates match with values from observations. We detail how stochastic sources determine counterstreaming flows and oscillations of prominence threads.


title: Environmental Doping-Induced Degradation of the Quantum Anomalous Hall Insulators

abstract: The quantum anomalous Hall (QAH) insulator is a topological quantum state with quantized Hall resistance and zero longitudinal resistance in the absence of an external magnetic field. The QAH insulator carries spin-polarized dissipation-free chiral edge current and thus provides a unique opportunity to develop energy-efficient transformative information technology. Despite promising advances on the QAH effect over the past decade, the QAH insulator has thus far eluded any practical applications. In addition to its low working temperature, the QAH state in magnetically doped topological insulator (TI) films/heterostructures usually deteriorates with time in ambient conditions. In this work, we prepare three QAH devices with similar initial properties and store them in different environments to investigate the evolution of their transport properties. The QAH device without a protection layer in air show clear degradation and becomes hole-doped with the charge neutral point shifting significantly to positive gate voltages. The QAH device kept in an argon glove box without a protection layer shows no measurable degradation after 560 hours and the device protected by a 3 nm AlOx protection layer in air shows minimal degradation with stable QAH properties. Our work shows a route to preserve the dissipation-free chiral edge state in QAH devices for potential applications in quantum information technology.


title: Predicting Autonomous Vehicle Collision Injury Severity Levels for Ethical Decision Making and Path Planning

abstract: Developments in autonomous vehicles (AVs) are rapidly advancing and will in the next 20 years become a central part to our society. However, especially in the early stages of deployment, there is expected to be incidents involving AVs. In the event of AV incidents, decisions will need to be made that require ethical decisions, e.g., deciding between colliding into a group of pedestrians or a rigid barrier. For an AV to undertake such ethical decision making and path planning, simulation models of the situation will be required that are used in real-time on-board the AV. These models will enable path planning and ethical decision making to be undertaken based on predetermined collision injury severity levels. In this research, models are developed for the path planning and ethical decision making that predetermine knowledge regarding the possible collision injury severities, i.e., peak deformation of the AV colliding into the rigid barrier or the impact velocity of the AV colliding into a pedestrian. Based on such knowledge and using fuzzy logic, a novel nonlinear weighted utility cost function for the collision injury severity levels is developed. This allows the model-based predicted collision outcomes arising from AV peak deformation and AV-pedestrian impact velocity to be examined separately via weighted utility cost functions with a common structure. The general form of the weighted utility cost function exploits a fuzzy sets approach, thus allowing common utility costs from the two separate utility cost functions to be meaningfully compared. A decision-making algorithm, which makes use of a utilitarian ethical approach, ensures that the AV will always steer onto the path which represents the lowest injury severity level, hence utility cost to society.


title: A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties

abstract: Performance is a key quality of modern software. Although recent years have seen a spike in research on automated improvement of software's execution time, energy, memory consumption, etc., there is a noticeable lack of standard benchmarks for such work. It is also unclear how such benchmarks are representative of current software. Furthermore, frequently non-functional properties of software are targeted for improvement one-at-a-time, neglecting potential negative impact on other properties. In order to facilitate more research on automated improvement of non-functional properties of software, we conducted a survey gathering benchmarks used in previous work. We considered 5 major online repositories of software engineering work: ACM Digital Library, IEEE Xplore, Scopus, Google Scholar, and ArXiV. We gathered 5000 publications (3749 unique), which were systematically reviewed to identify work that empirically improves non-functional properties of software. We identified 386 relevant papers. We find that execution time is the most frequently targeted property for improvement (in 62% of relevant papers), while multi-objective improvement is rarely considered (5%). Static approaches are prevalent (in 53% of papers), with exploratory approaches (evolutionary in 18% and non-evolutionary in 14% of papers) increasingly popular in the last 10 years. Only 40% of 386 papers describe work that uses benchmark suites, rather than single software, of those SPEC is most popular (covered in 33 papers). We also provide recommendations for choice of benchmarks in future work, noting, e.g., lack of work that covers Python or JavaScript. We provide all programs found in the 386 papers on our dedicated webpage at https://bloa.github.io/nfunc_survey/ We hope that this effort will facilitate more research on the topic of automated improvement of software's non-functional properties.


title: Learnable Commutative Monoids for Graph Neural Networks

abstract: Graph neural networks (GNNs) have been shown to be highly sensitive to the choice of aggregation function. While summing over a node's neighbours can approximate any permutation-invariant function over discrete inputs, Cohen-Karlik et al. [2020] proved there are set-aggregation problems for which summing cannot generalise to unbounded inputs, proposing recurrent neural networks regularised towards permutation-invariance as a more expressive aggregator. We show that these results carry over to the graph domain: GNNs equipped with recurrent aggregators are competitive with state-of-the-art permutation-invariant aggregators, on both synthetic benchmarks and real-world problems. However, despite the benefits of recurrent aggregators, their $O(V)$ depth makes them both difficult to parallelise and harder to train on large graphs. Inspired by the observation that a well-behaved aggregator for a GNN is a commutative monoid over its latent space, we propose a framework for constructing learnable, commutative, associative binary operators. And with this, we construct an aggregator of $O(\log V)$ depth, yielding exponential improvements for both parallelism and dependency length while achieving performance competitive with recurrent aggregators. Based on our empirical observations, our proposed learnable commutative monoid (LCM) aggregator represents a favourable tradeoff between efficient and expressive aggregators.


title: Context-aware Fine-tuning of Self-supervised Speech Models

abstract: Self-supervised pre-trained transformers have improved the state of the art on a variety of speech tasks. Due to the quadratic time and space complexity of self-attention, they usually operate at the level of relatively short (e.g., utterance) segments. In this paper, we study the use of context, i.e., surrounding segments, during fine-tuning and propose a new approach called context-aware fine-tuning. We attach a context module on top of the last layer of a pre-trained model to encode the whole segment into a context embedding vector which is then used as an additional feature for the final prediction. During the fine-tuning stage, we introduce an auxiliary loss that encourages this context embedding vector to be similar to context vectors of surrounding segments. This allows the model to make predictions without access to these surrounding segments at inference time and requires only a tiny overhead compared to standard fine-tuned models. We evaluate the proposed approach using the SLUE and Libri-light benchmarks for several downstream tasks: Automatic speech recognition (ASR), named entity recognition (NER), and sentiment analysis (SA). The results show that context-aware fine-tuning not only outperforms a standard fine-tuning baseline but also rivals a strong context injection baseline that uses neighboring speech segments during inference.


title: Modelling and analysis of rank ordered data with ties via a generalized Plackett-Luce model

abstract: A simple generative model for rank ordered data with ties is presented. The model is based on ordering geometric latent variables and can be seen as the discrete counterpart of the Plackett-Luce (PL) model, a popular, relatively tractable model for permutations. The model, which will be referred to as the GPL model, for generalized (or geometric) Plackett-Luce model, contains the PL model as a limiting special case. A closed form expression for the likelihood is derived. With a focus on Bayesian inference via data augmentation, simple Gibbs sampling and EM algorithms are derived for both the general case of multiple comparisons and the special case of paired comparisons. The methodology is applied to several real data examples. The examples highlight the flexibility of the GPL model to cope with a range of data types, the simplicity and efficiency of the inferential algorithms, and the ability of the GPL model to naturally facilitate predictive inference due to its simple generative construction.


title: Geometric scaling behaviors of the Fortuin-Kasteleyn Ising model in high dimensions

abstract: Recently, we argued [Chin. Phys. Lett. $39$, 080502 (2022)] that the Ising model simultaneously exhibits two upper critical dimensions $(d_c=4, d_p=6)$ in the Fortuin-Kasteleyn (FK) random-cluster representation. In this paper, we perform a systematic study of the FK Ising model on hypercubic lattices with spatial dimensions $d$ from 5 to 7, and on the complete graph. We provide a detailed data analysis of the critical behaviors of a variety of quantities at and near the critical points. Our results clearly show that many quantities exhibit distinct critical phenomena for $4 < d < 6$ and $d\geq 6$, and thus strongly support the argument that $6$ is also an upper critical dimension. Moreover, for each studied dimension, we observe the existence of two configuration sectors, two lengthscales, as well as two scaling windows, and thus, two sets of critical exponents are needed to describe these behaviors. Our finding enriches the understanding of the critical phenomena in the Ising model.


title: Enriched finite element approach for modeling discontinuous electric field in multimaterial problems

abstract: This work is devoted to the development of an efficient and robust technique for accurate capturing of the electric field in multi-material problems. The formulation is based on the finite element method enriched by the introduction of hat-type shape function within the elements crossed by the material interface. The peculiar feature of the proposed method consists in the direct employment of the hat-function that requires solely one additional degree of freedom per cut element for capturing the discontinuity in the electric potential gradient and, thus, the electric field. This additional degree of freedom is subsequently statically condensed element-wise prior to the assembly of the global discrete system. As a consequence, the graph of the system matrix remains the same as that of the standard finite element method. In order to guarantee the robust performance of the proposed method for a wide range of electrical material property ratios, it also accounts for the possible discontinuities among the neighboring cut elements that arise due to employing additional degrees of freedom fully local to the element. The method is tested using several examples solved on structured and unstructured grids. The proposed approach constitutes a basis for enriched FEM applicable to a wide range of electromagnetic problems.


title: Estimating truncation effects of quantum bosonic systems using sampling algorithms

abstract: To simulate bosons on a qubit- or qudit-based quantum computer, one has to regularize the theory by truncating infinite-dimensional local Hilbert spaces to finite dimensions. In the search for practical quantum applications, it is important to know how big the truncation errors can be. In general, it is not easy to estimate errors unless we have a good quantum computer. In this paper, we show that traditional sampling methods on classical devices, specifically Markov Chain Monte Carlo, can address this issue for a rather generic class of bosonic systems with a reasonable amount of computational resources available today. As a demonstration, we apply this idea to the scalar field theory on a two-dimensional lattice, with a size that goes beyond what is achievable using exact diagonalization methods. This method can be used to estimate the resources needed for realistic quantum simulations of bosonic theories, and also, to check the validity of the results of the corresponding quantum simulations.


title: Polarized target as a tool for probing the non-standard properties of dark matter

abstract: Possibility of using the polarized nucleus target for testing the non-standard properties of fermionic dark matter is considered. It is assumed that the incoming dark matter scatters on the polarized nuclei in the presence of vector, axial, scalar and tensor interactions. The scalar and tensor couplings are assumed to be complex numbers. Various types of measurement settings are tested depending on the assumptions regarding dark matter polarization and measurement of the recoil nucleus spin. In particular we address the question of finding and distinguishing effects of theoretically possible scenarios in which mixed triple products among various polarization vectors, the momenta of incoming dark matter and of recoil nucleus appear in the cross section. Their presence would indicate the possibility of time reversal symmetry violation in the polarized dark matter-nucleus scattering. Our considerations are model-independent and carried out in the non-relativistic dark matter and recoiled nucleus limit.


title: The deterministic excitation paradigm and the late Pleistocene glacial terminations

abstract: A deterministic excitation (DE) paradigm is formulated, according to which the late Pleistocene glacial terminations correspond to the excitation, by the orbital forcing, of nonlinear relaxation oscillations (ROs) internal to the climate system in the absence of any stochastic parameterization. Specific threshold crossing rules parameterizing the activation of internal climate feedbacks leading to RO excitations are derived according to the DE assumption. They are then applied to an energy balance model describing the fluctuations induced by realistic orbital forcing on the glacial state. The timing of the glacial terminations thus obtained in a reference simulation is found to be in good agreement with proxy records. A sensitivity analysis insures the robustness of the timing. The potential irrelevance of noise allowing DE to hold is discussed, and a possible explanation of the 100-kyr cycle problem based on DE is outlined. In conclusion, the DE paradigm characterizes in one of the simplest possible ways the link between orbital forcing and glacial terminations implied by the Milankovitch hypothesis.


title: Microcanonical Hamiltonian Monte Carlo

abstract: We develop Microcanonical Hamiltonian Monte Carlo (MCHMC), a class of models which follow a fixed energy Hamiltonian dynamics, in contrast to Hamiltonian Monte Carlo (HMC), which follows canonical distribution with different energy levels. MCHMC tunes the Hamiltonian function such that the marginal of the uniform distribution on the constant-energy-surface over the momentum variables gives the desired target distribution. We show that MCHMC requires occasional energy conserving billiard-like momentum bounces for ergodicity, analogous to momentum resampling in HMC. We generalize the concept of bounces to a continuous version with partial direction preserving bounces at every step, which gives an energy conserving underdamped Langevin-like dynamics with non-Gaussian noise (MCLMC). MCHMC and MCLMC exhibit favorable scalings with condition number and dimensionality. We develop an efficient hyperparameter tuning scheme that achieves high performance and consistently outperforms NUTS HMC on several standard benchmark problems, in some cases by more than an order of magnitude.


title: Fine-grained Czech News Article Dataset: An Interdisciplinary Approach to Trustworthiness Analysis

abstract: We present the Verifee Dataset: a novel dataset of news articles with fine-grained trustworthiness annotations. We develop a detailed methodology that assesses the texts based on their parameters encompassing editorial transparency, journalist conventions, and objective reporting while penalizing manipulative techniques. We bring aboard a diverse set of researchers from social, media, and computer sciences to overcome barriers and limited framing of this interdisciplinary problem. We collect over $10,000$ unique articles from almost $60$ Czech online news sources. These are categorized into one of the $4$ classes across the credibility spectrum we propose, raging from entirely trustworthy articles all the way to the manipulative ones. We produce detailed statistics and study trends emerging throughout the set. Lastly, we fine-tune multiple popular sequence-to-sequence language models using our dataset on the trustworthiness classification task and report the best testing F-1 score of $0.52$. We open-source the dataset, annotation methodology, and annotators' instructions in full length at https://verifee.ai/research to enable easy build-up work. We believe similar methods can help prevent disinformation and educate in the realm of media literacy.


title: Terminating a common envelope jets supernova impostor event with a super-Eddington blue supergiant

abstract: We conducted one-dimensional stellar evolutionary numerical simulations to build blue supergiant stellar models with a very low-envelope mass and a super-Eddington luminosity of 10^7Lo that mimic the last phase of a common envelope evolution (CEE) where a neutron star (NS) accretes mass from the envelope and launches jets that power the system. Common envelope jets supernovae (CEJSNe) are CEE transient events where a NS spirals-in inside the envelope and then the core of a red supergiant (RSG) star accretes mass and launches jets that power the transient event. In case that the NS (or black hole) does not enter the core of the RSG the event is a CEJSN-impostor. We propose that in some cases a CEJSN-impostor event might end with such a phase of a blue supergiant lasting for several years to few tens of years. The radius of the blue supergiant is about tens to few hundreds solar radii. We use a simple prescription to deposit the jets energy into the envelope. We find that the expected accretion rate of envelope mass onto the NS at the end of the CEE allows the power of the jets to be as we assume, 10^7Lo. Such a low-mass envelope might be the end of the RSG envelope, or might be a rebuilt envelope from mass fallback. Our study of a blue supergiant at the termination of a CEJSN-impostor event adds to the rich variety of transients that CEJSNe and CEJSN-impostors might form.


title: Unraveling effects of electron correlation in two-dimensional Fe$_{n}$GeTe$_{2}$ (n=3, 4, 5) by dynamical mean field theory

abstract: The Fe$_{n}$GeTe$_{2}$ systems are newly discovered two-dimensional van-der-Waals materials, exhibiting magnetism at room temperature. The sub-systems belonging to Fe$_{n}$GeTe$_{2}$ class are special because they show site-dependent magnetic behavior. We focus on the critical evaluation of magnetic properties and electron correlation effects in Fe$_{n}$GeTe$_{2}$ ($n$= 3, 4, 5) (FGT) systems performing first-principles calculations. Three different ab-initio approaches have been used, viz., i) standard density functional theory (DFT), ii) incorporating static electron correlation (DFT+U) and iii) inclusion of dynamic electron correlation effect (DFT+DMFT). Our results show that DFT+DMFT is the most accurate technique to correctly reproduce the magnetic interactions and experimentally observed transition temperatures. The inaccurate values of structural parameters, magnetic moments and exchange interactions obtained from DFT+U make this method inapplicable for the FGT family. Correct determination of magnetic properties for this class of materials is important since they are promising candidates for spin transport and spintronic applications at room temperature.


title: Is it Required? Ranking the Skills Required for a Job-Title

abstract: In this paper, we describe our method for ranking the skills required for a given job title. Our analysis shows that important/relevant skills appear more frequently in similar job titles. We train a Language-agnostic BERT Sentence Encoder (LaBSE) model to predict the importance of the skills using weak supervision. We show the model can learn the importance of skills and perform well in other languages. Furthermore, we show how the Inverse Document Frequency factor of skill boosts the specialised skills.


title: An automated parameter domain decomposition approach for gravitational wave surrogates using hp-greedy refinement

abstract: We introduce hp-greedy, a refinement approach for building gravitational wave surrogates as an extension of the standard reduced basis framework. Our proposal is data-driven, with a domain decomposition of the parameter space, local reduced basis, and a binary tree as the resulting structure, which are obtained in an automated way. When compared to the standard global reduced basis approach, the numerical simulations of our proposal show three salient features: i) representations of lower dimension with no loss of accuracy, ii) a significantly higher accuracy for a fixed maximum dimensionality of the basis, in some cases by orders of magnitude, and iii) results that depend on the reduced basis seed choice used by the refinement algorithm. We first illustrate the key parts of our approach with a toy model and then present a more realistic use case of gravitational waves emitted by the collision of two spinning, non-precessing black holes. We discuss performance aspects of hp-greedy, such as overfitting with respect to the depth of the tree structure, and other hyperparameter dependences. As two direct applications of the proposed hp-greedy refinement, we envision: i) a further acceleration of statistical inference, which might be complementary to focused reduced-order quadratures, and ii) the search of gravitational waves through clustering and nearest neighbors.


title: GRB 080503: A very early blue kilonova and an adjacent non-thermal radiation component

abstract: The temporal behavior of the very dim optical afterglow of GRB 080503 is at odds with the regular forward shock afterglow model and a sole kilonova component responsible for optical emission has been speculated in some literature. Here we analyze the optical afterglow data available in archive and construct time-resolved spectra. The significant detection by Keck-I in {\it G/R} bands at $t\sim 3$ day, which has not been reported before, as well as the simultaneous Gemini-North {\it r} band measurement, are in favor of a power-law spectrum that is well consistent with the optical to X-ray spectrum measured at $t\sim 4.5$ day. However, for $t\leq 2$ day, the spectra are thermal-like and a straightforward interpretation is a kilonova emission from a neutron star merger, making it, possibly, the first detection of a very early kilonova signal at $t\sim 0.05$ day. A non-thermal nature of optical emission at late times ($t\sim 2$ day), anyhow, can not be ruled out because of the large uncertainty of the {\it g}-band data. We also propose to classify the neutron star merger induced optical transients, according to the temporal behaviors of the kilonova and the non-thermal afterglow emission, into four types. GRB 080503 would then represent the first observation of a sub-group of neutron star merger driven optical transients (i.e., Type IV) consisting of an early blue kilonova and an adjacent non-thermal afterglow radiation.


title: Electronic Structure and Core Spectroscopy of Scandium Fluoride Polymorphs

abstract: The microscopic knowledge of the structural, energetic, and electronic properties of scandium fluoride is still incomplete, despite the relevance of this material as an intermediate for the manufacturing of Al-Sc alloys. In a work based on first-principles calculations and x-ray spectroscopy, we assess the stability and the electronic structure of six computationally predicted ScF$_3$ polymorphs, two of which correspond to experimentally resolved single-crystal phases. In the theoretical analysis based on density-functional theory (DFT), we identify similarities among the polymorphs based on their formation energies, charge-density distribution, and electronic properties (band gaps and density of states). We find striking analogies between the results obtained for the low- and high-temperature phases of the material, indirectly confirming that the transition occurring between them mainly consists of a rigid rotation of the lattice. With this knowledge, we examine the x-ray absorption spectra from the Sc and F K-edge contrasting first-principles results obtained from the solution of the Bethe-Salpeter equation on top of all-electron DFT with high-energy-resolution fluorescence detection measurements. The analysis of the computational results sheds light on the electronic origin of the absorption maxima and provides information on the prominent excitonic effects that characterize all spectra. Comparison with measurements confirms that the sample is mainly composed of the high- and low-temperature polymorphs of ScF$_3$. However, some fine details in the experimental results suggest that the probed powder sample may contain defects and/or residual traces of metastable polymorphs.


title: On integral cohomology algebra of some oriented Grassmann manifolds

abstract: The integral cohomology algebra of $\widetilde G_{6,3}$ has been determined in the recent work of Kalafat and Yal\c{c}inkaya. We completely determine the integral cohomology algebra of $\widetilde G_{n,3}$ for $n=8$ and $n=10$. The main method used to describe these algebras is the Leray-Serre spectral sequence. We also illustrate this method by determining the integral cohomology algebra of $\widetilde G_{n,2}$ for $n$ odd.


title: Simulating Road Spray Effects in Automotive Lidar Sensor Models

abstract: Modeling perception sensors is key for simulation based testing of automated driving functions. Beyond weather conditions themselves, sensors are also subjected to object dependent environmental influences like tire spray caused by vehicles moving on wet pavement. In this work, a novel modeling approach for spray in lidar data is introduced. The model conforms to the Open Simulation Interface (OSI) standard and is based on the formation of detection clusters within a spray plume. The detections are rendered with a simple custom ray casting algorithm without the need of a fluid dynamics simulation or physics engine. The model is subsequently used to generate training data for object detection algorithms. It is shown that the model helps to improve detection in real-world spray scenarios significantly. Furthermore, a systematic real-world data set is recorded and published for analysis, model calibration and validation of spray effects in active perception sensors. Experiments are conducted on a test track by driving over artificially watered pavement with varying vehicle speeds, vehicle types and levels of pavement wetness. All models and data of this work are available open source.


title: Grothendieck inequalities characterize converses to the polynomial method

abstract: A surprising 'converse to the polynomial method' of Aaronson et al. (CCC'16) shows that any bounded quadratic polynomial can be computed exactly in expectation by a 1-query algorithm up to a universal multiplicative factor related to the famous Grothendieck constant. Here we show that such a result does not generalize to quartic polynomials and 2-query algorithms, even when we allow for additive approximations. We also show that the additive approximation implied by their result is tight for bounded bilinear forms, which gives a new characterization of the Grothendieck constant in terms of 1-query quantum algorithms. Along the way we provide reformulations of the completely bounded norm of a form, and its dual norm.


title: $h\to gg$ and $h\to\gamma\gamma$ with Anomalous Couplings at Next-to-Leading Order in QCD

abstract: We generalize the next-to-leading order QCD calculations for the decay rates of $h\to gg$ and $h\to\gamma\gamma$ to the case of anomalous couplings of the Higgs boson. We demonstrate how this computation can be done in a consistent way within the framework of an electroweak chiral Lagrangian, based on a systematic power counting. It turns out that no additional coupling parameters arise at NLO in QCD beyond those already present at leading order. The impact of QCD is large for $h\to gg$ and the uncertainties from QCD are significantly reduced at NLO. $h\to\gamma\gamma$ is only mildly affected by QCD; here the NLO treatment practically eliminates the uncertainties. Consequently, our results will allow for an improved determination of anomalous Higgs couplings from these processes. The relation of our framework to a treatment in Standard Model effective field theory is also discussed.


title: Phase separation of active Brownian particles on curved surfaces

abstract: The effect of curvature on an ensemble of repulsive active Brownian particles (ABPs) moving on a spherical surface is studied. Surface curvature strongly affects the dynamics of ABPs, as it introduces a new time scale $\tau=R/v_0$, with curvature radius $R$ and propulsion velocity $v_0$, in addition to the rotational diffusion time $\tau_r$. This implies that motility-induced phase separation (MIPS) disappears for small $R$. Furthermore, it causes a narrowing of the MIPS regime in the phase diagram of P{\'e}clet number $\text{Pe}$ and particle area fraction $\phi$. Also, the phase-separation boundary at low $\phi$ attains a turning point at small $R$, allowing for the possibility of a reentrant behavior. These results characterize the effect of curvature on ABP dynamics and MIPS, and will help to better understand the preferred occupation of certain niches by bacterial colonies in porous media.


title: Voigt transmission windows in optically thick atomic vapours: a method to create single-peaked line centre filters

abstract: Cascading light through two thermal vapour cells has been shown to improve the performance of atomic filters that aim to maximise peak transmission over a minimised bandpass window. In this paper, we explore the atomic physics responsible for the operation of the second cell, which is situated in a transverse (Voigt) magnetic field and opens a narrow transmission window in an optically thick atomic vapour. By assuming transitions with Gaussian line shapes and magnetic fields sufficiently large to access the hyperfine Paschen-Back regime, the window is modelled by resolving the two transitions closest to line centre. We discuss the validity of this model and perform an experiment which demonstrates the evolution of a naturally abundant Rb transmission window as a function of magnetic field. The model results in a significant reduction in two-cell parameter space, which we use to find theoretical optimised cascaded line centre filters for Na, K, Rb and Cs across both D lines. With the exception of Cs, these all have a better figure of merit than comparable single cell filters in literature. Most noteworthy is a Rb-D2 filter which outputs >92% of light through a single peak at line centre, with maximum transmission 0.71 and a width of 330 MHz at half maximum.


title: Wideband Josephson Parametric Isolator

abstract: The cryogenic hardware required to build a superconducting qubit based quantum computer demands a variety of microwave components. These elements include microwave couplers, filters, amplifiers, and circulators/isolators. Traditionally implemented as discrete components, integration of this peripheral hardware, in an effort to reduce overall footprint, thermal load, and added noise, is a key challenge to scaling modern quantum processors with qubit counts climbing over the 100+ mark. Ferrite--based microwave isolators, generally employed in the readout chain to decouple qubits and resonators from readout electronics, persist as one of the volumetrically largest devices still utilized as discrete components. Here we present an alternative two--port isolating integrated circuit derived from the DC Superconducting Quantum Interference Device (DC-SQUID). Non-reciprocal transmission is achieved using the three-wave microwave mixing properties of a flux-modulated DC--SQUID. We show that when multiple DC-SQUIDs are embedded in a multi--pole admittance inverting filter structure, the three-wave mixing derived from the flux pumping of the DC-SQUIDs can provide directional microwave power flow. For a three--pole filter device, we experimentally demonstrate a directionality greater than 15 dB over a 600 MHz bandwidth.


title: A new class of critical solutions for 1D cubic NLS

abstract: The aim of this article is to prove the existence of a new class of solutions of 1D cubic NLS with an initial data related to a sum of Dirac masses, of critical regularity $F(L^\infty)$, and belonging to $\dot H^s$ for any $s <-1/2$. This problem is motivated by the lack of result for critical regularity initial condition, and also by the study of the vortex filaments dynamics approximated by the binormal flow. Our result is based on a scattering approach, after performing a pseudo-conformal transformation, and on fine estimations of oscillatory integrals.


title: Automatic Identification of Motivation for Code-Switching in Speech Transcripts

abstract: Code-switching, or switching between languages, occurs for many reasons and has important linguistic, sociological, and cultural implications. Multilingual speakers code-switch for a variety of purposes, such as expressing emotions, borrowing terms, making jokes, introducing a new topic, etc. The reason for code-switching may be quite useful for analysis, but is not readily apparent. To remedy this situation, we annotate a new dataset of motivations for code-switching in Spanish-English. We build the first system (to our knowledge) to automatically identify a wide range of motivations that speakers code-switch in everyday speech, achieving an accuracy of 75% across all motivations. Additionally, we show that the system can be adapted to new language pairs, achieving 66% accuracy on a new language pair (Hindi-English), demonstrating the cross-lingual applicability of our annotation scheme