title: Axial-vector form factors of the baryon octet and chiral symmetry

abstract: We consider the axial-vector form factors of the baryon octet in flavor-SU(3) chiral perturbation theory. The baryon octet and decuplet and the pseudoscalar-meson octet are included as explicit degrees of freedom. We explore the use of on-shell meson and baryon masses in the one-loop contributions to the axial-vector form factors and focus on a consistent treatment in terms of chiral power counting. The convergence properties of such an approach are scrutinized. We discuss the potential for comparison to upcoming QCD lattice data.


title: Long Short-term Memory RNN

abstract: This paper is based on a machine learning project at the Norwegian University of Science and Technology, fall 2020. The project was initiated with a literature review on the latest developments within time-series forecasting methods in the scientific community over the past five years. The paper summarizes the essential aspects of this research. Furthermore, in this paper, we introduce an LSTM cell's architecture, and explain how different components go together to alter the cell's memory and predict the output. Also, the paper provides the necessary formulas and foundations to calculate a forward iteration through an LSTM. Then, the paper refers to some practical applications and research that emphasize the strength and weaknesses of LSTMs, shown within the time-series domain and the natural language processing (NLP) domain. Finally, alternative statistical methods for time series predictions are highlighted, where the paper outline ARIMA and exponential smoothing. Nevertheless, as LSTMs can be viewed as a complex architecture, the paper assumes that the reader has some knowledge of essential machine learning aspects, such as the multi-layer perceptron, activation functions, overfitting, backpropagation, bias, over- and underfitting, and more.


title: Quantifying the Impact of Boundary Constraint Handling Methods on Differential Evolution

abstract: Constraint handling is one of the most influential aspects of applying metaheuristics to real-world applications, which can hamper the search progress if treated improperly. In this work, we focus on a particular case - the box constraints, for which many boundary constraint handling methods (BCHMs) have been proposed. We call for the necessity of studying the impact of BCHMs on metaheuristics' performance and behavior, which receives seemingly little attention in the field. We target quantifying such impacts through systematic benchmarking by investigating 28 major variants of Differential Evolution (DE) taken from the modular DE framework (by combining different mutation and crossover operators) and $13$ commonly applied BCHMs, resulting in $28 \times 13 = 364$ algorithm instances after pairing DE variants with BCHMs. After executing the algorithm instances on the well-known BBOB/COCO problem set, we analyze the best-reached objective function value (performance-wise) and the percentage of repaired solutions (behavioral) using statistical ranking methods for each combination of mutation, crossover, and BBOB function group. Our results clearly show that the choice of BCHMs substantially affects the empirical performance as well as the number of generated infeasible solutions, which allows us to provide general guidelines for selecting an appropriate BCHM for a given scenario.


title: Discovering the Rationale of Decisions: Experiments on Aligning Learning and Reasoning

abstract: In AI and law, systems that are designed for decision support should be explainable when pursuing justice. In order for these systems to be fair and responsible, they should make correct decisions and make them using a sound and transparent rationale. In this paper, we introduce a knowledge-driven method for model-agnostic rationale evaluation using dedicated test cases, similar to unit-testing in professional software development. We apply this new method in a set of machine learning experiments aimed at extracting known knowledge structures from artificial datasets from fictional and non-fictional legal settings. We show that our method allows us to analyze the rationale of black-box machine learning systems by assessing which rationale elements are learned or not. Furthermore, we show that the rationale can be adjusted using tailor-made training data based on the results of the rationale evaluation.


title: Search for lepton number and flavour violation in $K^{+}$ and $\pi^{0}$ decays

abstract: Searches for the lepton number violating $K^{+} \rightarrow \pi^{-} \mu^{+} e^{+}$ decay and the lepton flavour violating $K^{+} \rightarrow \pi^{+} \mu^{-} e^{+}$ and $\pi^{0} \rightarrow \mu^{-} e^{+}$ decays are reported using data collected by the NA62 experiment at CERN in $2017$-$2018$. No evidence for these decays is found and upper limits of the branching ratios are obtained at 90% confidence level: $\mathcal{B}(K^{+}\rightarrow\pi^{-}\mu^{+}e^{+})<4.2\times 10^{-11}$, $\mathcal{B}(K^{+}\rightarrow\pi^{+}\mu^{-}e^{+})<6.6\times10^{-11}$ and $\mathcal{B}(\pi^{0}\rightarrow\mu^{-}e^{+})<3.2\times 10^{-10}$. These results improve by one order of magnitude over previous results for these decay modes.


title: Swelling Dynamics of a Disk-Shaped Gel

abstract: When a gel absorbs solvent from surrounding, stress field is created in the gel, and this causes complex dynamics of the swelling behavior. Here we study this effect for disk-shaped gel by rigorously solving the diffusio-mechanical coupling equation. We show that (a) while the macroscopic thickness and the radius of the gel increases monotonically in time, the gel is compressed near the mid-plane, and that (b) while the swelling time depends on the shear modulus $G$ of the gel, its dependence is weak, and the time is mainly determined by the friction constant of the gel network and the osmotic bulk modulus of the gel. We also show that these characteristic features are reproduced accurately by a simple variational calculation for the gel deformation. An analytical expression is given for the swelling time.


title: Benchmarking near-term quantum devices with the Variational Quantum Eigensolver and the Lipkin-Meshkov-Glick model

abstract: The Variational Quantum Eigensolver (VQE) is a promising algorithm for Noisy Intermediate Scale Quantum (NISQ) computation. Verification and validation of NISQ algorithms' performance on NISQ devices is an important task. We consider the exactly-diagonalizable Lipkin-Meshkov-Glick (LMG) model as a candidate for benchmarking NISQ computers. We use the Bethe ansatz to construct eigenstates of the trigonometric LMG model using quantum circuits inspired by the LMG's underlying algebraic structure. We construct circuits with depth $\mathcal{O}(N)$ and $\mathcal{O}(\log_2N)$ that can prepare any trigonometric LMG eigenstate of $N$ particles. The number of gates required for both circuits is $\mathcal{O}(N)$. The energies of the eigenstates can then be measured and compared to the exactly-known answers.


title: DialogSum: A Real-Life Scenario Dialogue Summarization Dataset

abstract: Proposal of large-scale datasets has facilitated research on deep neural models for news summarization. Deep learning can also be potentially useful for spoken dialogue summarization, which can benefit a range of real-life scenarios including customer service management and medication tracking. To this end, we propose DialogSum, a large-scale labeled dialogue summarization dataset. We conduct empirical analysis on DialogSum using state-of-the-art neural summarizers. Experimental results show unique challenges in dialogue summarization, such as spoken terms, special discourse structures, coreferences and ellipsis, pragmatics and social common sense, which require specific representation learning technologies to better deal with.


title: Translating Extensive Form Games to Open Games with Agency

abstract: We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion of player and their agency within open games, and the lack of choice operators. Using the former we construct the latter, and these choice operators subsume previous proposed operators for open games, thereby making progress towards a core, canonical and ergonomic calculus of game operators. Collectively these innovations increase the level of compositionality of open games, and demonstrate their expressiveness.


title: Erd\"os-Ko-Rado sets of flags of finite sets

abstract: A flag of a finite set $S$ is a set $f$ of non-empty proper subsets of $S$ such that $A\subseteq B$ or $B\subseteq A$ for all $A,B\in f$. The set $\{|A|:A\in f\}$ is called the type of $f$. Two flags $f$ and $f'$ are in general position (with respect to $S$) when $A\cap B=\emptyset$ or $A\cup B=S$ for all $A\in f$ and $B\in f'$. We study sets of flags of a fixed type $T$ that are mutually not in general position and are interested in the largest cardinality of these sets. This is a generalization of the classical Erd\"os-Ko-Rado problem. We will give some basic facts and determine the largest cardinality in several non-trivial cases. For this we will define graphs whose vertices are flags and the problem is to determine the independence number of these graphs.


title: Two-dimensional multi-target detection: an autocorrelation analysis approach

abstract: We consider the two-dimensional multi-target detection problem of recovering a target image from a noisy measurement that contains multiple copies of the image, each randomly rotated and translated. Motivated by the structure reconstruction problem in single-particle cryo-electron microscopy, we focus on the high noise regime, where the noise hampers accurate detection of the image occurrences. We develop an autocorrelation analysis framework to estimate the image directly from a measurement with an arbitrary spacing distribution of image occurrences, bypassing the estimation of individual locations and rotations. We conduct extensive numerical experiments, and demonstrate image recovery in highly noisy environments. The code to reproduce all numerical experiments is publicly available at https://github.com/krshay/MTD-2D.


title: Objective comparison of methods to decode anomalous diffusion

abstract: Deviations from Brownian motion leading to anomalous diffusion are ubiquitously found in transport dynamics, playing a crucial role in phenomena from quantum physics to life sciences. The detection and characterization of anomalous diffusion from the measurement of an individual trajectory are challenging tasks, which traditionally rely on calculating the mean squared displacement of the trajectory. However, this approach breaks down for cases of important practical interest, e.g., short or noisy trajectories, ensembles of heterogeneous trajectories, or non-ergodic processes. Recently, several new approaches have been proposed, mostly building on the ongoing machine-learning revolution. Aiming to perform an objective comparison of methods, we gathered the community and organized an open competition, the Anomalous Diffusion challenge (AnDi). Participating teams independently applied their own algorithms to a commonly-defined dataset including diverse conditions. Although no single method performed best across all scenarios, the results revealed clear differences between the various approaches, providing practical advice for users and a benchmark for developers.

categories: physics.data-an cond-mat.soft physics.bio-ph q-bio.QM


title: Sofically presented dynamical systems

abstract: Systems obtained by quotienting a subshift of finite type (SFT) by another SFT are called finitely presented in the literature. Analogously, if a sofic shift is quotiented by a sofic equivalence relation, we call the resulting system sofically presented. Generalizing an observation of Fried, for all discrete countable monoids M, we show that M-subshift/SFT systems are precisely the expansive dynamical M-systems, where S_1/S_2 denotes the class of systems obtained by quotienting subshifts in S_1 by (relative) subshifts in S_2. We show that for all finitely generated infinite monoids M, M-SFT \subsetneq M-sofic \subsetneq M-SFT/SFT = M-sofic/SFT \subsetneq M-SFT/sofic = M-sofic/sofic, and that Ma\~n\'e's theorem about the dimension of expansive systems characterizes the virtually cyclic groups. In the case of one-dimensional actions, Ma\~ne's theorem generalizes to sofically presented systems, which also have finite topological dimension. The basis of this is the construction of an explicit metric for a sofically presented system. We show that any finite connected simplicial complex is a connected component of a finitely presented system, and prove that conjugacy of one-dimensional sofically presented dynamical systems is undecidable. A key idea is the introduction of so-called automatic spaces. We also study the automorphism groups and periodic points of sofically presented systems. We also perform two case studies. First, in the context of $\beta$-shifts, we define the $\beta$-kernel -- the least subshift relation that identifies $1$ with its orbit. We give a classification of the $\beta$-shift/$\beta$-kernel pair as a function of $\beta$. Second, we revisit the classical study of toral automorphisms in our framework, and in particular for the classical "golden mean" toral automorphism we explicitly compute the kernel of the standard presentation.


title: Discriminating 1D new physics solutions in $b\to s\ell\ell$ decays

abstract: The recent measurements of $R_{K^+}$, $R_{K_S^0}$, $R_{K^{*+}}$, $B_s\to\mu^+\mu^-$, a set of CP-averaged angular observables for the $B^0\to K^{*0}\mu^+\mu^-$ decay, and its isospin partner $B^+\to K^{*+}\mu^+\mu^-$ by the LHCb Collaboration, consistently hint at lepton universality violation in the $b\to s\ell\ell$ transitions. In this work, we first perform global fits to the $b\to s\ell\ell$ data and show that five one-dimensional scenarios, i.e, $\delta C_9^{\mu}$, $\delta C_{10}^{\mu}$, $\delta C_L^{\mu}$, $\delta C_9^{\mu}=C_{10}^{\mu\prime}$, and $\delta C_9^{\mu}=-C_9^{\mu\prime}$ can best explain the so-called B anamolies. Furthermore, we explore how these scenarios can be distinguished from each other. For this purpose, we first study the combinations of four angular asymmetries $A_i$~$(i=3,4,5,9)$ and find that they cannot distinguish the five new physics scenarios. We then show that a newly constructed ratio $R_{S}$ can uniquely discriminate the five new physics scenarios in proper intervals of $q^2$ if it can be measured with a percent level precision.


title: Functional, Durable, and Scalable Origami-Inspired Springs

abstract: Origami has recently emerged as a platform for building functional engineering systems with versatile characteristics that targeted niche applications. One widely utilized origami-based structure is known as the Kresling origami spring (KOS), which inspired, among many other things, the design of vibration isolators, fluidic muscles, and mechanical bit memory switches. Previous demonstrations of such concepts were carried out using paper-based KOSs, which are suitable for conceptual illustrations but not for implementation in a real environment. In addition to the very low durability resulting from the high plastic deformations at the paper folds; lack of repeatability, and high variation of performance among similar samples are also inevitable. To circumvent these issues, this paper presents a novel approach for the design of a non-paper based KOS, which mimics the qualitative behavior of the paper-based KOS without compromising on durability, repeatability, and functionality. In the new design, each fundamental triangle in the paper-based KOS is replaced by an inner central rigid core and an outer flexible rubber-like frame, which are fabricated out of different visco-elastic materials using advanced 3-D printing technologies. The quasi-static behavior of the fabricated springs was assessed under both compressive and tensile loads. It is shown that KOSs with linear, softening, hardening, mono- and bi-stable restoring force behavior can be fabricated using the proposed design by simple changes to the geometric design parameters, further pointing to the vast range of potential applications of such springs.


title: Quantum constraint learning for quantum approximate optimization algorithm

abstract: The quantum approximate optimization algorithm (QAOA) is a hybrid quantum-classical variational algorithm that offers the potential to handle combinatorial optimization problems. Introducing constraints in such combinatorial optimization problems poses a significant challenge in the extensions of QAOA to support relevant larger-scale problems. This paper introduces a quantum machine learning approach to learn the mixer Hamiltonian required to hard constrain the search subspace. We show that this method can be used for encoding any general form of constraints. One can directly plug the learnt unitary into the QAOA framework using an adaptable ansatz. This procedure gives the flexibility to control the depth of the circuit at the cost of the accuracy of enforcing the constraint, thus having immediate application in the Noisy Intermediate Scale Quantum (NISQ) era. We also develop an intuitive metric that uses Wasserstein distance to assess the performance of general approximate optimization algorithms with/without constraints. Finally, using this metric, we evaluate the performance of the proposed algorithm.


title: SISPO: Space Imaging Simulator for Proximity Operations

abstract: This paper describes the architecture and demonstrates the capabilities of a newly developed, physically-based imaging simulator environment called SISPO, developed for small solar system body fly-by and terrestrial planet surface mission simulations. The image simulator utilises the open-source 3D visualisation system Blender and its Cycles rendering engine, which supports physically based rendering capabilities and procedural micropolygon displacement texture generation. The simulator concentrates on realistic surface rendering and has supplementary models to produce realistic dust- and gas-environment optical models for comets and active asteroids. The framework also includes tools to simulate the most common image aberrations, such as tangential and sagittal astigmatism, internal and external comatic aberration, and simple geometric distortions. The model framework's primary objective is to support small-body space mission design by allowing better simulations for characterisation of imaging instrument performance, assisting mission planning, and developing computer-vision algorithms. SISPO allows the simulation of trajectories, light parameters and camera's intrinsic parameters.


title: Heterogeneously Perceived Incentives in Dynamic Environments: Rationalization, Robustness and Unique Selections

abstract: In dynamic settings each economic agent's choices can be revealing of her private information. This elicitation via the rationalization of observable behavior depends each agent's perception of which payoff-relevant contingencies other agents persistently deem as impossible. We formalize the potential heterogeneity of these perceptions as disagreements at higher-orders about the set of payoff states of a dynamic game. We find that apparently negligible disagreements greatly affect how agents interpret information and assess the optimality of subsequent behavior: When knowledge of the state space is only 'almost common', strategic uncertainty may be greater when choices are rationalized than when they are not--forward and backward induction predictions, respectively, and while backward induction predictions are robust to small disagreements about the state space, forward induction predictions are not. We also prove that forward induction predictions always admit unique selections a la Weinstein and Yildiz (2007) (also for spaces not satisfying richness) and backward induction predictions do not.


title: Giant Metrewave Radio Telescope Detection of HI 21 cm Emission from Star-forming Galaxies at $z \approx 1.3$

abstract: We report a $\approx 400$-hour Giant Metrewave Radio Telescope (GMRT) search for HI 21 cm emission from star-forming galaxies at $z = 1.18-1.39$ in seven fields of the DEEP2 Galaxy Survey. Including data from an earlier 60-hour GMRT observing run, we co-added the HI 21 cm emission signals from 2,841 blue star-forming galaxies that lie within the full-width at half-maximum of the GMRT primary beam. This yielded a $5.0\sigma$ detection of the average HI 21 cm signal from the 2,841 galaxies at an average redshift $\langle z \rangle \approx 1.3$, only the second detection of HI 21 cm emission at $z\ge1$. We obtain an average HI mass of $\langle {\rm M_{HI}} \rangle=(3.09 \pm 0.61) \times 10^{10}\ {\rm M}_\odot$ and an HI-to-stellar mass ratio of $2.6\pm0.5$, both significantly higher than values in galaxies with similar stellar masses in the local Universe. We also stacked the 1.4 GHz continuum emission of the galaxies to obtain a median star-formation rate (SFR) of $14.5\pm1.1\ {\rm M}_\odot \textrm{yr}^{-1}$. This implies an average HI depletion timescale of $\approx 2$ Gyr for blue star-forming galaxies at $z\approx 1.3$, a factor of $\approx 3.5$ lower than that of similar local galaxies. Our results suggest that the HI content of galaxies towards the end of the epoch of peak cosmic SFR density is insufficient to sustain their high SFR for more than $\approx 2$ Gyr. Insufficient gas accretion to replenish the HI could then explain the observed decline in the cosmic SFR density at $z< 1$.


abstract: Discrete Weierstrass-type representations yield a construction method in discrete differential geometry for certain classes of discrete surfaces. We show that the known discrete Weierstrass-type representations of certain surface classes can be viewed as applications of the $\Omega$-dual transform to lightlike Gauss maps in Laguerre geometry. From this construction, further Weierstrass-type representations arise. As an application of the techniques we develop, we show that all discrete linear Weingarten surfaces of Bryant or Bianchi type locally arise via Weierstrass-type representations from discrete holomorhpic maps.


title: Exploring the Intrinsic Probability Distribution for Hyperspectral Anomaly Detection

abstract: In recent years, neural network-based anomaly detection methods have attracted considerable attention in the hyperspectral remote sensing domain due to the powerful reconstruction ability compared with traditional methods. However, actual probability distribution statistics hidden in the latent space are not discovered by exploiting the reconstruction error because the probability distribution of anomalies is not explicitly modeled. To address the issue, we propose a novel probability distribution representation detector (PDRD) that explores the intrinsic distribution of both the background and the anomalies in original data for hyperspectral anomaly detection in this paper. First, we represent the hyperspectral data with multivariate Gaussian distributions from a probabilistic perspective. Then, we combine the local statistics with the obtained distributions to leverage the spatial information. Finally, the difference between the corresponding distributions of the test pixel and the average expectation of the pixels in the Chebyshev neighborhood is measured by computing the modified Wasserstein distance to acquire the detection map. We conduct the experiments on four real data sets to evaluate the performance of our proposed method. Experimental results demonstrate the accuracy and efficiency of our proposed method compared to the state-of-the-art detection methods.


title: Diophantine approximation in metric space

abstract: Diophantine approximation is traditionally the study of how well real numbers are approximated by rationals. We propose a model for studying Diophantine approximation in an arbitrary totally bounded metric space where the rationals are replaced with a countable hierarchy of `well-spread' points, which we refer to as abstract rationals. We prove various Jarnik-Besicovitch type dimension bounds and investigate their sharpness.


title: Constructions of betweenness-uniform graphs from trees

abstract: Betweenness centrality is a measure of the importance of a vertex x inside a network based on the fraction of shortest paths passing through x. We study a blow-up construction that has been shown to produce graphs with uniform distribution of betweenness. We disprove the conjecture about this procedure's universality by showing that trees with a diameter at least three cannot be transformed into betweenness-uniform by the blow-up construction. It remains open to characterize graphs for which the blow-up construction can produce betweenness-uniform graphs.


title: Rare decays and searches for exotic signatures at LHCb: purely leptonic decays

abstract: A review of the experimental status of purely leptonic ${B^0_{[s]}\to\ell^+\ell^-}$ decays is given and the new analysis of ${B^0_{[s]}\to\mu^+\mu^-}$ observables with the LHCb experiment is presented. The new results are the most precise single experiment measurements of the quantities to date and are consistent with the Standard Model. However, they also match the recent anomalies found in $b\to s\ell\ell$ transitions excellently.


title: DARNet: Dual-Attention Residual Network for Automatic Diagnosis of COVID-19 via CT Images

abstract: The ongoing global pandemic of Coronavirus Disease 2019 (COVID-19) poses a serious threat to public health and the economy. Rapid and accurate diagnosis of COVID-19 is crucial to prevent the further spread of the disease and reduce its mortality. Chest Computed tomography (CT) is an effective tool for the early diagnosis of lung diseases including pneumonia. However, detecting COVID-19 from CT is demanding and prone to human errors as some early-stage patients may have negative findings on images. Recently, many deep learning methods have achieved impressive performance in this regard. Despite their effectiveness, most of these methods underestimate the rich spatial information preserved in the 3D structure or suffer from the propagation of errors. To address this problem, we propose a Dual-Attention Residual Network (DARNet) to automatically identify COVID-19 from other common pneumonia (CP) and healthy people using 3D chest CT images. Specifically, we design a dual-attention module consisting of channel-wise attention and depth-wise attention mechanisms. The former is utilized to enhance channel independence, while the latter is developed to recalibrate the depth-level features. Then, we integrate them in a unified manner to extract and refine the features at different levels to further improve the diagnostic performance. We evaluate DARNet on a large public CT dataset and obtain superior performance. Besides, the ablation study and visualization analysis prove the effectiveness and interpretability of the proposed method.


title: Voltage controllable superconducting state in the multi-terminal superconductor-normal metal bridge

abstract: We study voltage controllable superconducting state in multi-terminal bridge composed of the dirty superconductor/pure normal metal (SN) bilayer and pure normal metal. In the proposed system small control current $I_{ctrl}$ flows via normal bridge, creates voltage drop $V$ and modifies distribution function of electrons in connected SN bilayer. In case of long normal bridge the voltage induced nonequilibrium effects could be interpreted in terms of increased local electron temperature. In this limit we experimentally find large sensitivity of critical curent $I_c$ of Cu/MoN/Pt-Cu bridge to $I_{ctrl}$ and relatively large current gain which originate from steep dependence of $I_c$ on temperature and large $I_c$ (comparable with theoretical depairing current of superconducting bridge). In the short normal bridge deviation from equilibrium cannot be described by simple increase of local temperature but we also theoretically find large sensitivity of $I_c$ to control current/voltage. In this limit we predict existence at finite $V$ of so called in-plane Fulde-Ferrell state with spontaneous currents in SN bilayer. We argue that its appearance is connected with voltage induced paramagnetic response in N layer.


title: Fast coherent control of an NV- spin ensemble using a KTaO3 dielectric resonator at cryogenic temperatures

abstract: Microwave delivery to samples in a cryogenic environment can pose experimental challenges such as restricting optical access, space constraints and heat generation. Moreover, existing solutions that overcome various experimental restrictions do not necessarily provide a large, homogeneous oscillating magnetic field over macroscopic lengthscales, which is required for control of spin ensembles or fast gate operations in scaled-up quantum computing implementations. Here we show fast and coherent control of a negatively charged nitrogen vacancy spin ensemble by taking advantage of the high permittivity of a KTaO3 dielectric resonator at cryogenic temperatures. We achieve Rabi frequencies of up to 48 MHz, with the total field-to-power conversion ratio $C_{\rm P} = $ 9.66 mT/$\sqrt{\rm W}$ ($\approx191$ MHz/$\sqrt{\rm W}$). We use the nitrogen vacancy center spin ensemble to probe the quality factor, the coherent enhancement, and the spatial distribution of the magnetic field inside the diamond sample. The key advantages of the dielectric resonator utilised in this work are: ease of assembly, in-situ tuneability, a high magnetic field conversion efficiency, a low volume footprint, and optical transparency. This makes KTaO3 dielectric resonators a promising platform for the delivery of microwave fields for the control of spins in various materials at cryogenic temperatures.


title: SAT-Based Rigorous Explanations for Decision Lists

abstract: Decision lists (DLs) find a wide range of uses for classification problems in Machine Learning (ML), being implemented in a number of ML frameworks. DLs are often perceived as interpretable. However, building on recent results for decision trees (DTs), we argue that interpretability is an elusive goal for some DLs. As a result, for some uses of DLs, it will be important to compute (rigorous) explanations. Unfortunately, and in clear contrast with the case of DTs, this paper shows that computing explanations for DLs is computationally hard. Motivated by this result, the paper proposes propositional encodings for computing abductive explanations (AXps) and contrastive explanations (CXps) of DLs. Furthermore, the paper investigates the practical efficiency of a MARCO-like approach for enumerating explanations. The experimental results demonstrate that, for DLs used in practical settings, the use of SAT oracles offers a very efficient solution, and that complete enumeration of explanations is most often feasible.


title: Ultrafast electric control of cavity mediated single-photon and photon-pair generation with semiconductor quantum dots

abstract: Employing the ultrafast control of electronic states of a semiconductor quantum dot in a cavity, we introduce a novel approach to achieve on-demand emission of single photons with almost perfect indistinguishability and photon pairs with near ideal entanglement. Our scheme is based on optical excitation off-resonant to a cavity mode followed by ultrafast control of the electronic states using the time-dependent quantum-confined Stark effect, which then allows for cavity-resonant emission. Our theoretical analysis takes into account cavity-loss mechanisms, the Stark effect, and phonon-induced dephasing allowing realistic predictions for finite temperatures.


title: Efficient PAC Reinforcement Learning in Regular Decision Processes

abstract: Recently regular decision processes have been proposed as a well-behaved form of non-Markov decision process. Regular decision processes are characterised by a transition function and a reward function that depend on the whole history, though regularly (as in regular languages). In practice both the transition and the reward functions can be seen as finite transducers. We study reinforcement learning in regular decision processes. Our main contribution is to show that a near-optimal policy can be PAC-learned in polynomial time in a set of parameters that describe the underlying decision process. We argue that the identified set of parameters is minimal and it reasonably captures the difficulty of a regular decision process.


title: Partitioned Deep Learning of Fluid-Structure Interaction

abstract: We present a partitioned neural network-based framework for learning of fluid-structure interaction (FSI) problems. We decompose the simulation domain into two smaller sub-domains, i.e., fluid and solid domains, and incorporate an independent neural network for each. A library is used to couple the two networks which takes care of boundary data communication, data mapping and equation coupling. Simulation data are used for training of the both neural networks. We use a combination of convolutional and recurrent neural networks (CNN and RNN) to account for both spatial and temporal connectivity. A quasi-Newton method is used to accelerate the FSI coupling convergence. We observe a very good agreement between the results of the presented framework and the classical numerical methods for simulation of 1d fluid flow inside an elastic tube. This work is a preliminary step for using neural networks to speed-up the FSI coupling convergence by providing an accurate initial guess in each time step for classical numerical solvers


title: Beyond lowest order mean field theory for light interacting with atom arrays

abstract: Results from higher order mean field calculations of light interacting with atom arrays are presented for calculations of one- and two-time expectation values. The atoms are approximated as two-levels and are fixed in space. Calculations were performed for mean field approximations that include the expectation value of one operator (mean field), two operators (mean field-2), and three operators (mean field-3). For the one-time expectation values, we examined three different situations to understand the convergence with increasing order of mean field and some limitations of higher order mean field approximations. As a representation of a two-time expectation value, we calculated the $g^{(2)}(\tau )$ for a line of atoms illuminated by a perpendicular plane wave at several emission angles and two different intensities. For many cases, the mean field-2 will be sufficiently accurate to quantitatively predict the response of the atoms as measured by one-time expectation values. However, the mean field-3 approximation will often be needed for two-time expectation values.


title: Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

abstract: Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic programs and their partial correctness. Demonic calculus, introduced to model the behaviour of a machine where the demon is in control of nondeterminism, has also provided us with an extension of that reasoning to total correctness. We formalise the framework for relational reasoning about total correctness in nondeterministic programs using semigroups with ordinary composition and demonic lattice operations. We show that the class of representable demonic join semigroups is not finitely axiomatisable and that the representation class of demonic meet semigroups does not have the finite representation property for its finite members. For lattice semigroups (with composition, demonic join and demonic meet) we show that the representation problem for finite algebras is undecidable, moreover the finite representation problem is also undecidable. It follows that the representation class is not finitely axiomatisable, furthermore the finite representation property fails.


title: Sparse optimization of mutual synchronization in collectively oscillating networks

abstract: We consider a pair of collectively oscillating networks of dynamical elements and optimize their internetwork coupling for efficient mutual synchronization based on the phase reduction theory developed in Ref. [H. Nakao, S. Yasui, M. Ota, K. Arai, and Y. Kawamura, Chaos 28, 045103 (2018)]. The dynamical equations describing a pair of weakly coupled networks are reduced to a pair of coupled phase equations, and the linear stability of the synchronized state between the networks is represented as a function of the internetwork coupling matrix. We seek the optimal coupling by minimizing the Frobenius and L1 norms of the internetwork coupling matrix for the prescribed linear stability of the synchronized state. Depending on the norm, either a dense or sparse internetwork coupling yielding efficient mutual synchronization of the networks is obtained. In particular, a sparse yet resilient internetwork coupling is obtained by L1-norm optimization with additional constraints on the individual connection weights.


title: Two approaches that prove divergence free nature of non-local gravity

abstract: This paper is an attempt to study the thermodynamics of the structure formation in the large scale universe in the non local gravity using Boltzmann statistics and the Tsallis statistics. The partition function is obtained in both the approaches and the corresponding thermodynamics properties are evaluated. The important thing about the paper is that we surprisingly get the divergence free integrals and thus stress upon the fact that the nonlocal gravity is the singularity free model of gravity.


title: Mesoscopic simulations of the in situ NMR spectra of porous carbon based supercapacitors: Electronic structure and adsorbent reorganisation effects

abstract: In situ NMR spectroscopy is a powerful technique to investigate charge storage mechanisms in carbon-based supercapacitors thanks to its ability to distinguish ionic and molecular species adsorbed in the porous electrodes from those in the bulk electrolyte. The NMR peak corresponding to the adsorbed species shows a clear change of chemical shift as the applied potential difference is varied. This variation in chemical shift is thought to originate from a combination of ion reorganisation in the pores and changes in ring current shifts due to the changes of electronic density in the carbon. While previous Density Functional Theory calculations suggested that the electronic density has a large effect, the relative contributions of these two effects is challenging to untangle. Here, we use mesoscopic simulations to simulate NMR spectra and investigate the relative importance of ion reorganisation and ring currents on the resulting chemical shift. The model is able to predict chemical shifts in good agreement with NMR experiments and indicates that the ring currents are the dominant contribution. A thorough analysis of a specific electrode/electrolyte combination for which detailed NMR experiments have been reported allows us to confirm that local ion reorganisation has a very limited effect but the relative quantities of ions in pores of different sizes, which can change upon charging/discharging, can lead to a significant effect. Our findings suggest that in situ NMR spectra of supercapacitors may provide insights into the electronic structure of carbon materials in the future.


title: Agree to Disagree: When Deep Learning Models With Identical Architectures Produce Distinct Explanations

abstract: Deep Learning of neural networks has progressively become more prominent in healthcare with models reaching, or even surpassing, expert accuracy levels. However, these success stories are tainted by concerning reports on the lack of model transparency and bias against some medical conditions or patients' sub-groups. Explainable methods are considered the gateway to alleviate many of these concerns. In this study we demonstrate that the generated explanations are volatile to changes in model training that are perpendicular to the classification task and model structure. This raises further questions about trust in deep learning models for healthcare. Mainly, whether the models capture underlying causal links in the data or just rely on spurious correlations that are made visible via explanation methods. We demonstrate that the output of explainability methods on deep neural networks can vary significantly by changes of hyper-parameters, such as the random seed or how the training set is shuffled. We introduce a measure of explanation consistency which we use to highlight the identified problems on the MIMIC-CXR dataset. We find explanations of identical models but with different training setups have a low consistency: $\approx$ 33% on average. On the contrary, kernel methods are robust against any orthogonal changes, with explanation consistency at 94%. We conclude that current trends in model explanation are not sufficient to mitigate the risks of deploying models in real life healthcare applications.


title: Measurement of the H to ZZ branching fraction at 350 GeV and 3 TeV CLIC

abstract: In this paper we present results of determination of the statistical precision of Higgs branching fraction measurement, for Higgs decay to ZZ$^\ast$ pairs at 3 TeV and 350 GeV CLIC. Measurements are simulated with the CLIC_ILD detector model, taking into consideration all relevant physics and beam-induced background processes. It is shown that the product of the branching fraction BR(${H\rightarrow\thinspace ZZ^\ast}$) and the Higgs production cross-section can be measured with a relative statistical uncertainty of 3% (18%) at 3 TeV (350 GeV) center-of-mass energy, using semileptonic final states and assuming integrated luminosity of 5 (1) ab$^{-1}$.


title: Spectral separation of the stochastic gravitational-wave background for LISA: galactic, cosmological and astrophysical backgrounds

abstract: In its observation band, the Laser Interferometer Space Antenna (LISA) will simultaneously observe stochastic gravitational-wave background (SGWB) signals of different origins; orbitally modulated waveforms from galactic white dwarf binaries, a binary black hole produced background, and possibly a cosmologically produced SGWB. We simulate the emission of gravitational waves from galactic white dwarf binaries based on the Lamberts \cite{Lamberts} distributions and determine a complex waveform from the galactic foreground. We generate the modulated galactic signal detected by LISA due to its orbital motion, and present a data analysis strategy to address it. The Fisher Information and Markov Chain Monte Carlo methods give an estimate of the LISA noise and parameters for the different signal sources. We simultaneously estimate the galactic foreground, the astrophysical and cosmological backgrounds, and estimate detection limits for the future LISA observation of the SGWB in the spectral domain with the 3 LISA channels $ A $, $ E $ and $ T $. In the context of the expected astrophysical background and a galactic foreground, a cosmological background energy density of about $ \Omega_{GW,Cosmo} \approx 8 \times 10^{-13} $ could be detected by LISA with our spectral separation strategy.


title: Dark matter interacting via a massive spin-2 mediator in warped extra-dimensions

abstract: We study dark matter interacting via a massive spin-2 mediator. To have a consistent effective theory for the spin-2 particle, we work in a warped extra-dimensional model such that the mediator(s) are the Kaluza-Klein (KK) modes of the 5D graviton. We pay close attention to dark matter annihilations into KK-gravitons. Due to the high energy behavior of longitudinal modes of spin-2 fields, these channels exhibit a tremendous growth at large center of mass energies $\sqrt{s}$ if only one spin-2 mediator is considered. For the first time, we include the full KK-tower in this dark matter production process and find that this growth is unphysical and cancels once the full field content of the extra-dimensional theory is taken into account. Interestingly, this implies that it is not possible to approximate the results obtained in the full theory with a reduced set of effective interactions once $\sqrt{s}$ is greater than the first graviton mass. This casts some doubt on the universal applicability of previous studies with spin-2 mediators within an EFT framework and prompts us to revisit the phenomenological allowed parameter space of gravitationally interacting scalar dark matter in warped extra-dimensions.


title: Measurement of the Higgs Branching Ration BR($H\rightarrow\gamma\gamma$) at 3 TeV CLIC

abstract: In this paper we address the potential of a 3 TeV center-of-mass energy Compact Linear Collider (CLIC) to measure the Standard Model (SM) Higgs boson decay to two photons. Since photons are massless, they are not coupled to the Higgs boson at the tree level, but they are created in a loop exchange of heavy particles either from the Standard Model or beyond. Any deviation of the effective $H\rightarrow\gamma\gamma$ branching ratio and consequently of the Higgs to photon coupling may indicate New Physics. The Higgs decay to two photons is thus an interesting probe of the Higgs sector, both at the running and future experiments. A similar study has been performed by C. Grefe at 1.4 TeV CLIC, where the statistical uncertainty is determined to be 15\% for an integrated luminosity of 1.5 $ab^{-1}$ with unpolarized beams. \noindent This study is performed using a full simulation of the detector for CLIC and by considering all relevant physics and beam-induced processes in a full reconstruction chain. The measurement is simulated on 5000 samples of pseudo-experiments and the relative statistical uncertainty is extracted from the pull distribution. It is shown that the Higgs production cross-section in $W^+W^-$ fusion times the branching ratio BR($H\rightarrow\gamma\gamma$) can be measured with a relative statistical accuracy of 8.2\%, assuming an integrated luminosity of 5 $ab^{-1}$ with unpolarized beams.


title: Direct and inverse theorems on the approximation of almost periodic functions in Besicovitch-Stepanets spaces

abstract: Direct and inverse approximation theorems are proved in the Besicovitch-Stepanets spaces $B{\mathcal S}^{p}$ of almost periodic functions in terms of the best approximations of functions and their generalized moduli of smoothness.


title: Abelian subalgebras and ideals of maximal dimension in Leibniz algebras

abstract: In this paper, we compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional Leibniz algebras. We study Leibniz algebras containing abelian subalgebras of codimension 1, solvable and supersolvable Leibniz algebras for codimensions 1 and 2, nilpotent Leibniz algebras in case of codimension 2 and we also analyze the case of k-abelian p-filiform Leibniz algebras. Throughout the paper, we also give examples to clarify some results and the need for restrictions on the underlying field.


title: Evaluations of Tutte polynomials of regular graphs

abstract: Let $T_G(x,y)$ be the Tutte polynomial of a graph $G$. In this paper we show that if $(G_n)_n$ is a sequence of $d$-regular graphs with girth $g(G_n)\to \infty$, then for $x\geq 1$ and $0\leq y\leq 1$ we have $$\lim_{n\to \infty}T_{G_n}(x,y)^{1/v(G_n)}=t_d(x,y),$$ where $$t_d(x,y)=\left\{\begin{array}{lc} (d-1)\left(\frac{(d-1)^2}{(d-1)^2-x}\right)^{d/2-1}&\ \ \mbox{if}\ x\leq d-1,\\ x\left(1+\frac{1}{x-1}\right)^{d/2-1} &\ \ \mbox{if}\ x> d-1. \end{array}\right.$$ independently of $y$ if $0\leq y\leq 1$. If $(G_n)_n$ is a sequence of random $d$-regular graphs, then the same statement holds true asymptotically almost surely. This theorem generalizes results of McKay ($x=1,y=1$, spanning trees of random $d$-regular graphs) and Lyons ($x=1,y=1$, spanning trees of large-girth $d$-regular graphs). Interesting special cases are $T_G(2,1)$ counting the number of spanning forests, $T_G(2,0)$ counting the number of acyclic orientations.


title: Microscopic origin of the effect of substrate metallicity on interfacial free energies

abstract: We investigate the effect of the metallic character of solid substrates on solid-liquid interfacial thermodynamics using molecular simulations. Building on the recent development of a semi-classical Thomas-Fermi model to tune the metallicity in classical molecular dynamics simulations, we introduce a new thermodynamic integration framework to compute the evolution of the interfacial free energy as a function of the Thomas-Fermi screening length. We validate this approach against analytical results for empty capacitors and by comparing the predictions in the presence of an electrolyte with values determined from the contact angle of droplets on the surface. The general expression derived in this work highlights the role of the charge distribution within the metal. We further propose a simple model to interpret the evolution of the interfacial free energy with voltage and Thomas-Fermi length, which allows us to identify the charge correlations within the metal as the microscopic origin of the evolution of the interfacial free energy with the metallic character of the substrate. This new methodology opens the door to the molecular-scale study of the effect of the metallic character of the substrate on confinement-induced transitions in ionic systems, as reported in recent Atomic Force Microscopy and Surface Force Apparatus experiments.


title: A new approach to space-time boundary integral equations for the wave equation

abstract: We present a new approach for boundary integral equations for the wave equation with zero initial conditions. Unlike previous attempts, our mathematical formulation allows us to prove that the associated boundary integral operators are continuous and satisfy inf-sup conditions in trace spaces of the same regularity, which are closely related to standard energy spaces with the expected regularity in space and time. This feature is crucial from a numerical perspective, as it provides the foundations to derive sharper error estimates and paves the way to devise efficient adaptive space-time boundary element methods, which will be tackled in future work. On the other hand, the proposed approach is compatible with current time dependent boundary element method's implementations and we predict that it explains many of the behaviours observed in practice but that were not understood with the existing theory.


title: Upper bound for the number of spanning forests of regular graphs

abstract: We show that if $G$ is a $d$--regular graph on $n$ vertices, then the number of spanning forests $F(G)$ satisfies $F(G)\leq d^n$. The previous best bound due to Kahale and Schulman gave $(d+1/2+O(1/d))^n$. We also have the more precise conjecture that $$F(G)^{1/n}\leq \frac{(d-1)^{d-1}}{(d^2-2d-1)^{d/2-1}}.$$ If this conjecture is true, then the expression on the right hand side is the best possible.


title: Benchmark study of Nagaoka ferromagnetism by spin-adapted full configuration interaction quantum Monte Carlo

abstract: We investigate Nagaoka ferromagnetism in the two-dimensional Hubbard model with one hole using the spin-adapted ($SU(2)$ conserving) full configuration interaction quantum Monte Carlo method. This methodology gives us access to the ground state energies of all possible spin states $S$ of finite Hubbard lattices, here obtained for lattices up to 24 sites, for various interaction strengths ($U$). The critical interaction strength, $U_c$, at which the Nagaoka transition occurs is determined for each lattice and is found to be proportional to the lattice size for the larger lattices. Below $U_c$ the overall ground states are found to favour the minimal total spin ($S=\frac 1 2$), and no intermediate spin state is found to be the overall ground state on lattices larger than 16 sites. However, at $U_c$, the energies of all the spin states are found to be nearly degenerate, implying that large fluctuations in total spin can be expected in the vicinity of the Nagaoka transition.


title: Axion-CMB Scenario in Supercooled Universe

abstract: Axion-CMB scenario is an interesting possibility to explain the temperature anisotropy of the cosmic microwave background (CMB) by primordial fluctuations of the QCD axion \cite{Iso:2020pzv}. In this scenario, fluctuations of radiations are generated by an energy exchange between axions and radiations, which results in the correlation between the primordial axion fluctuations and the CMB anisotropies. Consequently, the cosmological observations stringently constrain a model of the axion and the early history of the universe. In particular, we need a large energy fraction $\Omega_A^{}$ of the axion at the QCD phase transition, but it must become tiny at the present universe to suppress the isocurvature power spectrum. One of natural cosmological scenarios to realize such a situation is the thermal inflation which can sufficiently dilute the axion abundance. Thermal inflation occurs in various models. In this paper, we focus on a classically conformal (CC) $B$-$L$ model with a QCD axion. In this model, the early universe undergoes a long supercooling era of the $B$-$L$ and electroweak symmetries, and thermal inflation naturally occurs. Thus it can be a good candidate for the axion-CMB scenario. But the axion abundance at the QCD transition is shown to be insufficient in the original CC $B$-$L$ model. To overcome the situation, we extend the model by introducing $N$ scalar fields $S$ (either massive or massless) and consider a novel cosmological history such that the $O(N)$ and the $B$-$L$ sectors evolve almost separately in the early universe. We find that all the necessary conditions for the axion-CMB scenario can be satisfied in some parameter regions for massless $S$ fields, typically $N\sim 10^{19}$ and the mass of $B$-$L$ gauge boson around $5-10$ TeV.


title: Locate and Label: A Two-stage Identifier for Nested Named Entity Recognition

abstract: Named entity recognition (NER) is a well-studied task in natural language processing. Traditional NER research only deals with flat entities and ignores nested entities. The span-based methods treat entity recognition as a span classification task. Although these methods have the innate ability to handle nested NER, they suffer from high computational cost, ignorance of boundary information, under-utilization of the spans that partially match with entities, and difficulties in long entity recognition. To tackle these issues, we propose a two-stage entity identifier. First we generate span proposals by filtering and boundary regression on the seed spans to locate the entities, and then label the boundary-adjusted span proposals with the corresponding categories. Our method effectively utilizes the boundary information of entities and partially matched spans during training. Through boundary regression, entities of any length can be covered theoretically, which improves the ability to recognize long entities. In addition, many low-quality seed spans are filtered out in the first stage, which reduces the time complexity of inference. Experiments on nested NER datasets demonstrate that our proposed method outperforms previous state-of-the-art models.


title: Slow Light Nanocoatings for Ultrashort Pulse Shaping

abstract: Transparent materials do not absorb light but have profound influence on the phase evolution of transmitted radiation. One consequence is chromatic dispersion, i.e., light of different frequencies travels at different velocities, causing ultrashort laser pulses to elongate in time while propagating. Here we experimentally demonstrate ultrathin nanostructured coatings that resolve this challenge: we tailor the dispersion of silicon nanopillar arrays such that they temporally reshape pulses upon transmission using slow light effects and act as ultrashort laser pulse compressors. The coatings induce anomalous group delay dispersion in the visible to near-infrared spectral region around 800 nm wavelength over an 80 nm bandwidth. We characterize the arrays' performance in the spectral domain via white light interferometry and directly demonstrate the temporal compression of femtosecond laser pulses. Applying these coatings to conventional optics renders them ultrashort pulse compatible and suitable for a wide range of applications.


title: EDIpack: A parallel exact diagonalization package for quantum impurity problems

abstract: We present EDIpack, an exact diagonalization package to solve generic quantum impurity problems. The algorithm includes a generalization of the look-up method introduced in [Lin, Gubernatis Comput. Phys., 7 (4) (1993), 400] and enables a massively parallel execution of the matrix-vector linear operations required by Lanczos and Arnoldi algorithms. We show that a suitable Fock basis organization is crucial to optimize the inter-processors communication in a distributed memory setup and to reach sub-linear scaling in sufficiently large systems. We discuss the algorithm in details indicating how to deal with multiple orbitals and electron-phonon coupling. Finally, we outline the download, installation and functioning of the package.


title: Salient Feature Extractor for Adversarial Defense on Deep Neural Networks

abstract: Recent years have witnessed unprecedented success achieved by deep learning models in the field of computer vision. However, their vulnerability towards carefully crafted adversarial examples has also attracted the increasing attention of researchers. Motivated by the observation that adversarial examples are due to the non-robust feature learned from the original dataset by models, we propose the concepts of salient feature(SF) and trivial feature(TF). The former represents the class-related feature, while the latter is usually adopted to mislead the model. We extract these two features with coupled generative adversarial network model and put forward a novel detection and defense method named salient feature extractor (SFE) to defend against adversarial attacks. Concretely, detection is realized by separating and comparing the difference between SF and TF of the input. At the same time, correct labels are obtained by re-identifying SF to reach the purpose of defense. Extensive experiments are carried out on MNIST, CIFAR-10, and ImageNet datasets where SFE shows state-of-the-art results in effectiveness and efficiency compared with baselines. Furthermore, we provide an interpretable understanding of the defense and detection process.


title: Waste detection in Pomerania: non-profit project for detecting waste in environment

abstract: Waste pollution is one of the most significant environmental issues in the modern world. The importance of recycling is well known, either for economic or ecological reasons, and the industry demands high efficiency. Our team conducted comprehensive research on Artificial Intelligence usage in waste detection and classification to fight the world's waste pollution problem. As a result an open-source framework that enables the detection and classification of litter was developed. The final pipeline consists of two neural networks: one that detects litter and a second responsible for litter classification. Waste is classified into seven categories: bio, glass, metal and plastic, non-recyclable, other, paper and unknown. Our approach achieves up to 70% of average precision in waste detection and around 75% of classification accuracy on the test dataset. The code used in the studies is publicly available online.


title: The double copy: from optics to quantum gravity

abstract: Recently, an intriguing relationship (the "double copy") has been discovered between theories like electromagnetism, and gravity. This potentially gives us a new way to think about gravity, and there are also practical applications involving the efficient calculation of gravitational observables, and also how to simulate gravity using optical systems. In this tutorial, we will review what is known about the double copy, and argue that now is the perfect time for researchers in optics and / or condensed matter to become interested in this fascinating correspondence.


title: Capt'n General: A generalized stellar dark matter capture and heat transport code

abstract: Capt'n General is a FORTRAN90 standalone package that can be used to compute the capture and heat transport of dark matter in stars. It can compute capture rates for constant, velocity and momentum-dependent DM-nucleon elastic scattering cross sections, as well as non-relativistic effective operator interactions. Capt'n General can be interfaced with the GAMBIT global fitting codebase as well as stellar evolution simulation codes such as MESA.


title: Quantified Sleep: Machine learning techniques for observational n-of-1 studies

abstract: This paper applies statistical learning techniques to an observational Quantified-Self (QS) study to build a descriptive model of sleep quality. A total of 472 days of my sleep data was collected with an Oura ring and combined with lifestyle, environmental, and psychological data. Such n-of-1 QS projects pose a number of challenges: heterogeneous data sources; missing values; high dimensionality; dynamic feedback loops; human biases. This paper directly addresses these challenges with an end-to-end QS pipeline that produces robust descriptive models. Sleep quality is one of the most difficult modelling targets in QS research, due to high noise and a large number of weakly-contributing factors. Sleep quality was selected so that approaches from this paper would generalise to most other n-of-1 QS projects. Techniques are presented for combining and engineering features for the different classes of data types, sample frequencies, and schema - including event logs, weather, and geo-spatial data. Statistical analyses for outliers, normality, (auto)correlation, stationarity, and missing data are detailed, along with a proposed method for hierarchical clustering to identify correlated groups of features. The missing data was overcome using a combination of knowledge-based and statistical techniques, including several multivariate imputation algorithms. "Markov unfolding" is presented for collapsing the time series into a collection of independent observations, whilst incorporating historical information. The final model was interpreted in two ways: by inspecting the internal $\beta$-parameters, and using the SHAP framework. These two interpretation techniques were combined to produce a list of the 16 most-predictive features, demonstrating that an observational study can greatly narrow down the number of features that need to be considered when designing interventional QS studies.


title: 3.5 GHz Coverage Assessment with a 5G Testbed

abstract: Today, cellular networks have saturated frequencies below 3\,GHz. Because of increasing capacity requirements, 5th generation (5G) mobile networks target the 3.5\,GHz band (3.4 to 3.8\,GHz). Despite its expected wide usage, there is little empirical path loss data and mobile radio network planning experience for the 3.5\,GHz band available. This paper presents the results of rural, suburban, and urban measurement campaigns using a pre-standard 5G prototype testbed operating at 3.5\,GHz, with outdoor as well as outdoor-to-indoor scenarios. Based on the measurement results, path loss models are evaluated, which are essential for network planning.


title: A cost-benefit analysis of cross-lingual transfer methods

abstract: An effective method for cross-lingual transfer is to fine-tune a bilingual or multilingual model on a supervised dataset in one language and evaluating it on another language in a zero-shot manner. Translating examples at training time or inference time are also viable alternatives. However, there are costs associated with these methods that are rarely addressed in the literature. In this work, we analyze cross-lingual methods in terms of their effectiveness (e.g., accuracy), development and deployment costs, as well as their latencies at inference time. Our experiments on three tasks indicate that the best cross-lingual method is highly task-dependent. Finally, by combining zero-shot and translation methods, we achieve the state-of-the-art in two of the three datasets used in this work. Based on these results, we question the need for manually labeled training data in a target language. Code and translated datasets are available at https://github.com/unicamp-dl/cross-lingual-analysis


title: Detection of the Mass-Dependent Dual-Type Transition of Galaxy Spins in IllustrisTNG Simulations

abstract: A numerical detection of the mass-dependent spin transition of the galaxies is presented. Analyzing a sample of the galaxies with stellar masses in the range of $10^{9}< (M_{\star}/M_{\odot})\le 10^{11}$ from the IllustrisTNG300-1 simulations, we explore the alignment tendency between the galaxy baryon spins and the three eigenvectors of the linearly reconstructed tidal field as a function of $M_{\star}$ and its evolution in the redshift range of $0\le z \le 1.5$. Detecting a significant signal of the occurrence of the mass-dependent transition of the galaxy spins, we show that the centrals differ from the satellites in their spin transition type. As $M_{\star}$ increases beyond a certain threshold mass, the preferred directions of the central galaxy spins transit from the minor to the intermediate tidal eigenvectors (type two) at $z=0.5$ and $1$, while those of the satellites transit from the minor to the major tidal eigenvectors (type one) at $z=1$ and $1.5$. It is also shown that the mass range and type of the spin transition depend on the galaxy morphology, degree of the alignments between the baryon and total spin vectors as well as on the environmental density. Meanwhile, the stellar spins of the galaxies are found to yield a weak signal of the T1 transitions at $z=0$, whose strength and trend depend on the degree of the alignments between the stellar and baryon spins. The possible mechanisms responsible for the T1 and T2 spin transitions are discussed.


title: Direct Transport between Superconducting Subgap States in a Double Quantum Dot

abstract: We demonstrate direct transport between two opposing sets of Yu-Shiba-Rusinov (YSR) subgap states realized in a double quantum dot. This sub-gap transport relies on intrinsic quasiparticle relaxation, but the tunability of the device allows us to explore also an additional relaxation mechanism based on charge transferring Andreev reflections. The transition between these two relaxation regimes is identified in the experiment as a marked gate-induced stepwise change in conductance. We present a transport calculation, including YSR bound states and multiple Andreev reflections alongside with quasiparticle relaxation, due to a weak tunnel coupling to a nearby normal metal, and obtain excellent agreement with the data.


title: Exploring Evaporating Primordial Black Holes with Gravitational Waves

abstract: Primordial black holes (PBHs) from the early Universe have been connected with the nature of dark matter and can significantly affect cosmological history. We show that coincidence dark radiation and density fluctuation gravitational wave signatures associated with evaporation of $\lesssim10^9$ g PBHs can be used to explore and obtain important hints about the formation mechanisms of spinning and non-spinning PBHs spanning orders of magnitude in mass-range, which is challenging to do otherwise.


title: Coherence effects on estimating general sub-Rayleigh object distribution moments

abstract: Quantum Fisher information and signal-to-noise ratio bounds are derived for the estimation of moments of general partially coherent objects. Under an asymptotic analysis in the sub-Rayleigh regime, these bounds are shown to be less restrictive than those of the incoherent case. This leaves open the possibility of more accurately estimating object distribution moments when the object is partially coherent.


title: Collaborative Spatial-Temporal Modeling for Language-Queried Video Actor Segmentation

abstract: Language-queried video actor segmentation aims to predict the pixel-level mask of the actor which performs the actions described by a natural language query in the target frames. Existing methods adopt 3D CNNs over the video clip as a general encoder to extract a mixed spatio-temporal feature for the target frame. Though 3D convolutions are amenable to recognizing which actor is performing the queried actions, it also inevitably introduces misaligned spatial information from adjacent frames, which confuses features of the target frame and yields inaccurate segmentation. Therefore, we propose a collaborative spatial-temporal encoder-decoder framework which contains a 3D temporal encoder over the video clip to recognize the queried actions, and a 2D spatial encoder over the target frame to accurately segment the queried actors. In the decoder, a Language-Guided Feature Selection (LGFS) module is proposed to flexibly integrate spatial and temporal features from the two encoders. We also propose a Cross-Modal Adaptive Modulation (CMAM) module to dynamically recombine spatial- and temporal-relevant linguistic features for multimodal feature interaction in each stage of the two encoders. Our method achieves new state-of-the-art performance on two popular benchmarks with less computational overhead than previous approaches.


title: Construction of equienergetic and Randic' equienergetic graphs

abstract: In this paper, we give several constructions for the pairs of graphs to be equienergetic and Randic' equienergetic graphs. Also, some new families of integral and Randic' integral graphs are obtained. As an application, a sequence of graphs established with reciprocal eigenvalue property and anti-reciprocal eigenvalue property.


title: Predicting Surface Reflectance Properties of Outdoor Scenes Under Unknown Natural Illumination

abstract: Estimating and modelling the appearance of an object under outdoor illumination conditions is a complex process. Although there have been several studies on illumination estimation and relighting, very few of them focus on estimating the reflectance properties of outdoor objects and scenes. This paper addresses this problem and proposes a complete framework to predict surface reflectance properties of outdoor scenes under unknown natural illumination. Uniquely, we recast the problem into its two constituent components involving the BRDF incoming light and outgoing view directions: (i) surface points' radiance captured in the images, and outgoing view directions are aggregated and encoded into reflectance maps, and (ii) a neural network trained on reflectance maps of renders of a unit sphere under arbitrary light directions infers a low-parameter reflection model representing the reflectance properties at each surface in the scene. Our model is based on a combination of phenomenological and physics-based scattering models and can relight the scenes from novel viewpoints. We present experiments that show that rendering with the predicted reflectance properties results in a visually similar appearance to using textures that cannot otherwise be disentangled from the reflectance properties.


title: Atkinson's formula for the mean square of $\zeta(s)$ with an explicit error term

abstract: We provide an explicit $O\left(\log^2{T}\right)$-term of the celebrated Atkinson's formula for the error term $E(T)$ of the second power moment of the Riemann zeta-function on the critical line. As an application, we obtain an explicit version of well-known estimate $E(T)\ll_{\varepsilon} T^{\frac{1}{3}+\varepsilon}$.


title: Multi-task Graph Convolutional Neural Network for Calcification Morphology and Distribution Analysis in Mammograms

abstract: The morphology and distribution of microcalcifications in a cluster are the most important characteristics for radiologists to diagnose breast cancer. However, it is time-consuming and difficult for radiologists to identify these characteristics, and there also lacks of effective solutions for automatic characterization. In this study, we proposed a multi-task deep graph convolutional network (GCN) method for the automatic characterization of morphology and distribution of microcalcifications in mammograms. Our proposed method transforms morphology and distribution characterization into node and graph classification problem and learns the representations concurrently. Through extensive experiments, we demonstrate significant improvements with the proposed multi-task GCN comparing to the baselines. Moreover, the achieved improvements can be related to and enhance clinical understandings. We explore, for the first time, the application of GCNs in microcalcification characterization that suggests the potential of graph learning for more robust understanding of medical images.


title: Off-Diagonal Heat Kernel Estimates for Symmetric Diffusions in a Degenerate Ergodic Environment

abstract: We study a symmetric diffusion process on $\mathbb{R}^d$, $d\geq 2$, in divergence form in a stationary and ergodic random environment. The coefficients are assumed to be degenerate and unbounded but satisfy a moment condition. We derive upper off-diagonal estimates on the heat kernel of this process for general speed measure. Lower off-diagonal estimates are also shown for a natural choice of speed measure, under an additional mixing assumption on the environment. Using these estimates, a scaling limit for the Green's function is proven.


title: Multi-Objective Optimisation of Cortical Spiking Neural Networks With Genetic Algorithms

abstract: Spiking neural networks (SNNs) communicate through the all-or-none spiking activity of neurons. However, fitting the large number of SNN model parameters to observed neural activity patterns, for example, in biological experiments, remains a challenge. Previous work using genetic algorithm (GA) optimisation on a specific efficient SNN model, using the Izhikevich neuronal model, was limited to a single parameter and objective. This work applied a version of GA, called non-dominated sorting GA (NSGA-III), to demonstrate the feasibility of performing multi-objective optimisation on the same SNN, focusing on searching network connectivity parameters to achieve target firing rates of excitatory and inhibitory neuronal types, including across different network connectivity sparsity. We showed that NSGA-III could readily optimise for various firing rates. Notably, when the excitatory neural firing rates were higher than or equal to that of inhibitory neurons, the errors were small. Moreover, when connectivity sparsity was considered as a parameter to be optimised, the optimal solutions required sparse network connectivity. We also found that for excitatory neural firing rates lower than that of inhibitory neurons, the errors were generally larger. Overall, we have successfully demonstrated the feasibility of implementing multi-objective GA optimisation on network parameters of recurrent and sparse SNN.


title: Domestic waste detection and grasping points for robotic picking up

abstract: This paper presents an AI system applied to location and robotic grasping. Experimental setup is based on a parameter study to train a deep-learning network based on Mask-RCNN to perform waste location in indoor and outdoor environment, using five different classes and generating a new waste dataset. Initially the AI system obtain the RGBD data of the environment, followed by the detection of objects using the neural network. Later, the 3D object shape is computed using the network result and the depth channel. Finally, the shape is used to compute grasping for a robot arm with a two-finger gripper. The objective is to classify the waste in groups to improve a recycling strategy.


title: Deformed Integrable Models from Holomorphic Chern-Simons Theory

abstract: We study the approaches to two-dimensional integrable field theories via a six-dimensional(6D) holomorphic Chern-Simons theory defined on twistor space. Under symmetry reduction, it reduces to a four-dimensional Chern-Simons theory, while under solving along fibres it leads to four-dimensional(4D) integrable theory, the anti-self-dual Yang-Mills or its generalizations. From both four-dimensional theories, various two-dimensional integrable field theories can be obtained. In this work, we try to investigate several two-dimensional integrable deformations in this framework. We find that the $\lambda$-deformation, the rational $\eta$-deformation and the generalized $\lambda$-deformation can not be realized from 4D integrable model approach, even though they could be obtained from 4D Chern-Simons theory. The obstacle stems from the incompatibility between the symmetry reduction and the boundary conditions. Nevertheless, we show that a coupled theory of $\lambda$-deformation and the $\eta$-deformation in the trigonometric description could be obtained from the 6D theory in both ways, by considering the case that $(3,0)$-form in the 6D theory is allowed to have zeros.


title: Profitable Strategy Design for Trades on Cryptocurrency Markets with Machine Learning Techniques

abstract: AI and data driven solutions have been applied to different fields and achieved outperforming and promising results. In this research work we apply k-Nearest Neighbours, eXtreme Gradient Boosting and Random Forest classifiers for detecting the trend problem of three cryptocurrency markets. We use these classifiers to design a strategy to trade in those markets. Our input data in the experiments include price data with and without technical indicators in separate tests to see the effect of using them. Our test results on unseen data are very promising and show a great potential for this approach in helping investors with an expert system to exploit the market and gain profit. Our highest profit factor for an unseen 66 day span is 1.60. We also discuss limitations of these approaches and their potential impact on Efficient Market Hypothesis.


title: Spalling-induced liftoff and transfer of electronic films using a van der Waals release layer

abstract: Heterogeneous integration strategies are increasingly being employed to achieve more compact and capable electronics systems for multiple applications including space, electric vehicles, and wearable and medical devices. To enable new integration strategies, the growth and transfer of thin electronic films and devices, including III-nitrides, metal oxides, and two-dimensional (2D) materials, using 2D boron nitride (BN)-on-sapphire templates is demonstrated. The van der Waals BN layer, in this case, acts as a preferred mechanical release layer for precise separation at the substrate-film interface and leaves a smooth surface suitable for van der Waals bonding. A tensilely-stressed Ni layer sputtered on top of the film induces controlled spalling fracture which propagates at the BN/sapphire interface. By incorporating controlled spalling, the process yield and sensitivity is greatly improved, owed to the greater fracture energy provided by the stressed metal layer relative to a soft tape or rubber stamp. With stress playing a critical role in this process, the influence of residual stress on detrimental cracking and bowing is investigated. Additionally, a selected area lift-off technique is developed which allows for isolation and transfer of individual devices while maximizing wafer area use and minimizing extra alignment steps in the integration process.


title: Empathetic Dialog Generation with Fine-Grained Intents

abstract: Empathetic dialog generation aims at generating coherent responses following previous dialog turns and, more importantly, showing a sense of caring and a desire to help. Existing models either rely on pre-defined emotion labels to guide the response generation, or use deterministic rules to decide the emotion of the response. With the advent of advanced language models, it is possible to learn subtle interactions directly from the dataset, providing that the emotion categories offer sufficient nuances and other non-emotional but emotional regulating intents are included. In this paper, we describe how to incorporate a taxonomy of 32 emotion categories and 8 additional emotion regulating intents to succeed the task of empathetic response generation. To facilitate the training, we also curated a large-scale emotional dialog dataset from movie subtitles. Through a carefully designed crowdsourcing experiment, we evaluated and demonstrated how our model produces more empathetic dialogs compared with its baselines.


title: Exploiting Aliasing for Manga Restoration

abstract: As a popular entertainment art form, manga enriches the line drawings details with bitonal screentones. However, manga resources over the Internet usually show screentone artifacts because of inappropriate scanning/rescaling resolution. In this paper, we propose an innovative two-stage method to restore quality bitonal manga from degraded ones. Our key observation is that the aliasing induced by downsampling bitonal screentones can be utilized as informative clues to infer the original resolution and screentones. First, we predict the target resolution from the degraded manga via the Scale Estimation Network (SE-Net) with spatial voting scheme. Then, at the target resolution, we restore the region-wise bitonal screentones via the Manga Restoration Network (MR-Net) discriminatively, depending on the degradation degree. Specifically, the original screentones are directly restored in pattern-identifiable regions, and visually plausible screentones are synthesized in pattern-agnostic regions. Quantitative evaluation on synthetic data and visual assessment on real-world cases illustrate the effectiveness of our method.


title: Quantum coarse-graining for extreme dimension reduction in modelling stochastic temporal dynamics

abstract: Stochastic modelling of complex systems plays an essential, yet often computationally intensive role across the quantitative sciences. Recent advances in quantum information processing have elucidated the potential for quantum simulators to exhibit memory advantages for such tasks. Heretofore, the focus has been on lossless memory compression, wherein the advantage is typically in terms of lessening the amount of information tracked by the model, while -- arguably more practical -- reductions in memory dimension are not always possible. Here we address the case of lossy compression for quantum stochastic modelling of continuous-time processes, introducing a method for coarse-graining in quantum state space that drastically reduces the requisite memory dimension for modelling temporal dynamics whilst retaining near-exact statistics. In contrast to classical coarse-graining, this compression is not based on sacrificing temporal resolution, and brings memory-efficient, high-fidelity stochastic modelling within reach of present quantum technologies.

categories: quant-ph cond-mat.stat-mech cs.IT math.IT


title: Norms on Categories and Analogs of the Schr\"oder-Bernstein Theorem

abstract: We generalize the concept of a norm on a vector space to one of a norm on a category. This provides a unified perspective on many specific matters in many different areas of mathematics like set theory, functional analysis, measure theory, topology, and metric space theory. We will especially address the two last areas in which the monotone-light factorization and, respectively, the Gromov-Hausdorff distance will naturally appear. In our formalization a Schr\"oder-Bernstein property becomes an axiom of a norm which constitutes interesting properties of the categories in question. The proposed concept provides a convenient framework for metrizations.


title: Trends in the E-commerce and in the Traditional Retail Sectors During the Covid-19 Pandemic: an Evolutionary Game Approach

abstract: An evolutionary game model is developed to study the interplay between consumers and producers when trade takes place on an e-commerce marketplace. The type of delivery service available and consumers' taste are particularly important regarding both game payoffs and players' strategies. The game payoff matrix is then adapted to analyse the different trading patterns that were developed during the COVID-19 pandemic in both the traditional retail and e-commerce sectors. In contrast to the former, investment in logistics and warehouses in the e-commerce sector allowed for the emergence of a trend in which fast delivery and eager consumers are becoming the norm.


title: Threshold Martingales and the Evolution of Forecasts

abstract: This paper introduces a martingale that characterizes two properties of evolving forecast distributions. Ideal forecasts of a future event behave as martingales, sequen- tially updating the forecast to leverage the available information as the future event approaches. The threshold martingale introduced here measures the proportion of the forecast distribution lying below a threshold. In addition to being calibrated, a threshold martingale has quadratic variation that accumulates to a total determined by a quantile of the initial forecast distribution. Deviations from calibration or to- tal volatility signal problems in the underlying model. Calibration adjustments are well-known, and we augment these by introducing a martingale filter that improves volatility while guaranteeing smaller mean squared error. Thus, post-processing can rectify problems with calibration and volatility without revisiting the original forecast- ing model. We apply threshold martingales first to forecasts from simulated models and then to models that predict the winner in professional basketball games.


title: An Experiment Exploring Gravitational Effects on CP Violation

abstract: We suggest a new experiment sensitive to a possible difference between the amount of CP violation as measured on the surface of the Earth and in a lower gravity environment. Our proposed experiment is model independent and could yield a $5\sigma$ measurement within tens of days, indicating a dependence of the level of CP violation in the neutral kaon system on the local gravitational potential.

categories: hep-ph astro-ph.HE astro-ph.IM gr-qc hep-ex


title: Single-mode lasers using parity-time-symmetric polarization eigenstates

abstract: Anisotropic mirrors are used to form a laser resonator exhibiting non-Hermitian, parity-time (PT) symmetric, polarization states. The relative angle of the two mirrors principal axes is used to control the degree of non-hermiticity. A sharp symmetry-breaking transition is observed at a specific angle, called the exceptional point, where the two states coalesce into a single polarization state and the interference pattern produced by counter-propagating (CP) waves vanishes. At a smaller angle, in the unbroken PT symmetry regime, the polarization state experiencing higher losses is suppressed. In the broken symmetry regime, the two polarization states coexist, but the orthogonality of the CP waves favors single longitudinal mode emission by suppressing the interference pattern of the standing wave. The two regimes meet at the exceptional point, where a unique polarization state exists in a resonator free from interference intensity pattern. Microchip PT-symmetric lasers operating at the exceptional point are thus an attractive solution to achieve single mode operation from a miniature monolithic device without any intra-cavity element.


title: Detection of entanglement during pure dephasing evolutions for systems and environments of any size

abstract: W generalize the scheme for detection of qubit-environment entanglement to qudit-environment systems. This is of relevance for many-qubit systems and the quantification of the operation of quantum algorithms under the influence of external noise, since only decoherence that is not entangling in its nature can be effectively described by quantum channels and similar methods in more complicated scenarios. The generalization involves an increase of the class of entangled states which are not detected by the scheme, but the type of entanglement which cannot be detected is also least likely to qualitatively influence decoherence. We exemplify the operation of the scheme on a realistically modelled NV-center spin qutrit interacting with an environment of nuclear spins.


title: Automatically Assessing and Extending Code Coverage for NPM Packages

abstract: Typical Node.js applications extensively rely on packages hosted in the npm registry. As such packages may be used by thousands of other packages or applications, it is important to assess their code coverage. Moreover, increasing code coverage may help detect previously unknown issues. In this paper, we introduce TESA, a new tool that automatically assembles a test suite for any package in the npm registry. The test suite includes 1) tests written for the target package and usually hosted in its development repository, and 2) tests selected from dependent packages. The former tests allow assessing the code coverage of the target package, while the latter ones can increase code coverage by exploiting third-party tests that also exercise code in the target package. We use TESA to assess the code coverage of 500 popular npm packages. Then, we demonstrate that TESA can significantly increase code coverage by including tests from dependent packages. Finally, we show that the test suites assembled by TESA increase the effectiveness of existing dynamic program analyses to identify performance issues that are not detectable when only executing the developer's tests.


title: Towards Navigation by Reasoning over Spatial Configurations

abstract: We deal with the navigation problem where the agent follows natural language instructions while observing the environment. Focusing on language understanding, we show the importance of spatial semantics in grounding navigation instructions into visual perceptions. We propose a neural agent that uses the elements of spatial configurations and investigate their influence on the navigation agent's reasoning ability. Moreover, we model the sequential execution order and align visual objects with spatial configurations in the instruction. Our neural agent improves strong baselines on the seen environments and shows competitive performance on the unseen environments. Additionally, the experimental results demonstrate that explicit modeling of spatial semantic elements in the instructions can improve the grounding and spatial reasoning of the model.


title: The academic wanderer: structure of collaboration network and relation with research performance

abstract: Thanks to the widespread availability of large-scale datasets on scholarly outputs, science itself has come under the microscope with the aim of capturing a quantitative understanding of its workings. In this study, we leverage well-established cognitive models coming from anthropology in order to characterise the personal network of collaborations between scientists, i.e., the network considered from the standpoint of each individual researcher (referred to as ego network), in terms of the cognitive investment they devote to the different collaborations. Building upon these models, we study the interplay between the structure of academic collaborations, academic performance, and academic mobility at different career stages. We take into account both purely academic mobility (i.e., the number of affiliation changes) and geographical mobility (i.e., physical relocations to different countries). For our investigation, we rely on a dataset comprising the geo-referenced publications of a group of 81,500 authors extracted from Scopus, one of the biggest repositories of academic knowledge. Our main finding is that there is a clear correlation between the structure of co-authorship ego networks and academic performance indices: the more one publishes and the higher their impact, the larger their collaboration network. However, we observe a capacity bound effect, whereby, beyond a certain point, higher performances become increasingly less correlated with large collaboration networks. We also find that international academic migrants are better at growing their networks than researchers that only migrate within the same country, but the latter seem to be better in exploiting their collaboration to achieve higher impact. High academic mobility does not appear to translate into better academic performance or larger collaboration networks.


title: Search for the doubly charmed baryon $\it{\Omega}_{cc}^{+}$

abstract: A search for the doubly charmed baryon $\it{\Omega}_{cc}^{+}$ with the decay mode $\it{\Omega}_{cc}^{+}\to\it{\Xi}_c^{+}K^{-}\pi^{+}$ is performed using proton-proton collision data at a centre-of-mass energy of 13$\mathrm{\,Te\kern -0.1em V}$ collected by the LHCb experiment from 2016 to 2018, corresponding to an integrated luminosity of $5.4\,\mathrm{fb}^{-1}$. No significant signal is observed within the invariant mass range of 3.6 to 4.0$\mathrm{\,Ge\kern -0.1em V}/c^2$. Upper limits are set on the ratio $R$ of the production cross-section times the total branching fraction of the $\it{\Omega}_{cc}^{+}\to\it{\Xi}_c^{+}K^{-}\pi^{+}$ decay with respect to the $\it{\Xi}_{cc}^{++}\to\it{\Lambda}_c^{+}K^{-}\pi^{+}\pi^{+}$ decay. Upper limits at 95% credibility level for $R$ in the range $0.005$ to $0.11$ are obtained for different hypotheses on the $\it{\Omega}_{cc}^{+}$ mass and lifetime in the rapidity range from 2.0 to 4.5 and transverse momentum range from 4 to 15$\mathrm{\,Ge\kern -0.1em V}/c$.


title: Notes about decidability of exponential equations

abstract: We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations with one variable is decidable but the corresponding problem for two variables is undecidable.


title: H2 formation on interstellar grains and the fate of reaction energy

abstract: Molecular hydrogen is the most abundant molecular species in the Universe. While no doubts exist that it is mainly formed on the interstellar dust grain surfaces, many details of this process remain poorly known. In this work, we focus on the fate of the energy released by the H$_2$ formation on the dust icy mantles, how it is partitioned between the substrate and the newly formed H$_2$, a process that has a profound impact on the interstellar medium. We carried out state-of-art \textit{ab-initio} molecular dynamics simulations of H$_2$ formation on periodic crystalline and amorphous ice surface models. Our calculations show that up to two thirds of the energy liberated in the reaction ($\sim$300 kJ/mol $\sim$3.1 eV) is absorbed by the ice in less than 1 ps. The remaining energy ($\sim$140 kJ/mol $\sim$1.5 eV) is kept by the newly born H$_2$. Since it is ten times larger than the H$_2$ binding energy on the ice, the new H$_2$ molecule will eventually be released into the gas-phase. The ice water molecules within $\sim$4 \AA ~from the reaction site acquire enough energy, between 3 and 14 kJ/mol (360--1560 K), to potentially liberate other frozen H$_2$ and, perhaps, frozen CO molecules. If confirmed, the latter process would solve the long standing conundrum of the presence of gaseous CO in molecular clouds. Finally, the vibrational state of the newly formed H$_2$ drops from highly excited states ($\nu = 6$) to low ($\nu \leq 2$) vibrational levels in a timescale of the order of ps.


title: Predicting speech intelligibility from EEG in a non-linear classification paradigm

abstract: Objective: Currently, only behavioral speech understanding tests are available, which require active participation of the person being tested. As this is infeasible for certain populations, an objective measure of speech intelligibility is required. Recently, brain imaging data has been used to establish a relationship between stimulus and brain response. Linear models have been successfully linked to speech intelligibility but require per-subject training. We present a deep-learning-based model incorporating dilated convolutions that operates in a match/mismatch paradigm. The accuracy of the model's match/mismatch predictions can be used as a proxy for speech intelligibility without subject-specific (re)training. Approach: We evaluated the performance of the model as a function of input segment length, EEG frequency band and receptive field size while comparing it to multiple baseline models. Next, we evaluated performance on held-out data and finetuning. Finally, we established a link between the accuracy of our model and the state-of-the-art behavioral MATRIX test. Main results: The dilated convolutional model significantly outperformed the baseline models for every input segment length, for all EEG frequency bands except the delta and theta band, and receptive field sizes between 250 and 500 ms. Additionally, finetuning significantly increased the accuracy on a held-out dataset. Finally, a significant correlation (r=0.59, p=0.0154) was found between the speech reception threshold estimated using the behavioral MATRIX test and our objective method. Significance: Our method is the first to predict the speech reception threshold from EEG for unseen subjects, contributing to objective measures of speech intelligibility.


title: Query Age of Information: Freshness in Pull-Based Communication

abstract: Age of Information (AoI) has become an important concept in communications, as it allows system designers to measure the freshness of the information available to remote monitoring or control processes. However, its definition tacitly assumes that new information is used at any time, which is not always the case: the instants at which information is collected and used are dependent on a certain query process. We propose a model that accounts for the discrete time nature of many monitoring processes, considering a pull-based communication model in which the freshness of information is only important when the receiver generates a query: if the monitoring process is not using the value, the age of the last update is irrelevant. We then define the Age of Information at Query (QAoI), a more general metric that fits the pull-based scenario, and show how its optimization can lead to very different choices from traditional push-based AoI optimization when using a Packet Erasure Channel (PEC) and with limited link availability. Our results show that QAoI-aware optimization can significantly reduce the average and worst-case perceived age for both periodic and stochastic queries.