title: Finite temperature effects in quantum systems with competing scalar orders

abstract: The study of the competition or coexistence of different ground states in many-body systems is an exciting and actual topic of research, both experimentally and theoretically. Quantum fluctuations of a given phase can suppress or enhance another phase depending on the nature of the coupling between the order parameters, their dynamics and the dimensionality of the system. The zero temperature phase diagrams of systems with competing scalar order parameters with quartic and bilinear coupling terms have been previously studied for the cases of a zero temperature bicritical point and of coexisting orders. In this work, we apply the Matsubara summation technique from finite temperature quantum field theory to introduce the effects of thermal fluctuations on the effective potential of these systems. This is essential to make contact with experiments. We consider two and three-dimensional materials characterized by a Lorentz invariant quantum critical theory. We obtain that in both cases, thermal fluctuations lead to weak first-order temperature phase transitions, at which coexisting phases arising from quantum corrections become unstable. We show that above this critical temperature, the system presents scaling behavior consistent with that approaching a quantum critical point. Below the transition the specific heat has a thermally activated contribution with a gap related to the size of the domains of the ordered phases. We show that the critical temperature (Tc) in the coexistence region decreases as a function of the distance to the zero temperature classical bicritical point. This indicates that at the fine tuned value of this transition, the system attains the highest Tc in the region of coexistence.


title: Cho-Maison magnetic monopole: BPS limit and lower mass bound

abstract: We construct a class of effective extensions of the Standard Model that support finite-mass Cho-Maison magnetic monopole in the Bogomol'nyi-Prasad-Sommerfield (BPS) limit. We present an example of exact analytic monopole solution and derive a universal lower mass bound $M \geq 2\pi v/ g \approx 2.37\,\,\mathrm{TeV}$ of the Cho-Maison magnetic monopole.


title: The Tate-Shafarevich groups of multinorm-one tori

abstract: Let k be a global field and L be a finite dimensional \'etale algebra over k. In this paper, we assume that L is a product of cyclic extensions of k. Let T_{L/k} be the multinorm-one torus defined by the multinorm equation: N_{L/k} (t) = 1. Let X_c be the variety defined by the equation N_{L/k} (t) = c, for some c in k*. In this paper, we compute the Tate-Shafarevich group and the algebraic Tate-Shafarevich group of the character group of T_{L/k}. These groups measure the obstruction to the local-global principle for existence of rational points of X_c and the obstruction to the weak appraximation.


title: Serrin's type problems in warped product manifolds

abstract: In this paper we consider Serrin's overdetermined problems in warped product manifolds and we prove Serrin's type rigidity results by using the P-function approach introduced by Weinberger.


title: On the threshold of spread-out contact process percolation

abstract: We study the stationary distribution of the (spread-out) $d$-dimensional contact process from the point of view of site percolation. In this process, vertices of $\mathbb{Z}^d$ can be healthy (state 0) or infected (state 1). With rate one infected sites recover, and with rate $\lambda$ they transmit the infection to some other vertex chosen uniformly within a ball of radius $R$. The classical phase transition result for this process states that there is a critical value $\lambda_c(R)$ such that the process has a non-trivial stationary distribution if and only if $\lambda > \lambda_c(R)$. In configurations sampled from this stationary distribution, we study nearest-neighbor site percolation of the set of infected sites; the associated percolation threshold is denoted $\lambda_p(R)$. We prove that $\lambda_p(R)$ converges to $1/(1-p_c)$ as $R$ tends to infinity, where $p_c$ is the threshold for Bernoulli site percolation on $\mathbb{Z}^d$. As a consequence, we prove that $\lambda_p(R) > \lambda_c(R)$ for large enough $R$, answering an open question of Liggett and Steif in the spread-out case.


title: Properties of OB star-black hole systems derived from detailed binary evolution models

abstract: The recent gravitational wave measurements have demonstrated the existence of stellar mass black hole binaries. It is essential for our understanding of massive star evolution to identify the contribution of binary evolution to the formation of double black holes. A promising way to progress is investigating the progenitors of double black hole systems and comparing predictions with local massive star samples such as the population in 30 Doradus in the Large Magellanic Cloud (LMC). Methods. To this purpose, we analyse a large grid of detailed binary evolution models at LMC metallicity with initial primary masses between 10 and 40 Msun, and identify which model systems potentially evolve into a binary consisting of a black hole and a massive main sequence star. We then derive the observable properties of such systems, as well as peculiarities of the OB star component. We find that about 3% of the LMC late O and early B stars in binaries are expected to possess a black hole companion, when assuming stars with a final helium core mass above 6.6 M to form black holes. While the vast majority of them may be X-ray quiet, our models suggest that these may be identified in spectroscopic binaries, either by large amplitude radial velocity variations ( > 50 km s ) and simultaneous nitrogen surface enrichment, or through a moderate radial velocity ( > 10 km/s ) and simultaneously rapid rotation of the OB star. The predicted mass ratios are such that main sequence companions could be excluded in most cases. A comparison to the observed OB+WR binaries in the LMC, Be/X-ray binaries, and known massive BH binaries supports our conclusion. We expect spectroscopic observations to be able to test key assumptions in our models, with important implications for massive star evolution in general, and for the formation of double-black hole mergers in particular.


title: Spectral quantities in thermal QCD: a progress report from the FASTSUM collaboration

abstract: In order to study spectral quantities in thermal QCD, the FASTSUM collaboration employs anisotropic lattice simulations with N_f=2+1 flavours of Wilson fermions. Here we discuss our Generation 2 and Generation 2L ensembles, which differ in the pion mass. The focus is on observables related to the light quarks and chiral symmetry restoration.


title: Representations of Solvable Subgroups of PSL(3,C)

abstract: In this paper, we give a complete description of the representations of all upper triangular complex Kleinian subgroups of PSL(3,C). In https://doi.org/10.1007/s00574-021-00254-9 we show that any solvable group is virtually triangularizable and can be constructed as the semidirect product of two layers of parabolic elements and two layers of loxodromic elements. There are five families of purely parabolic discrete groups of PSL(3,C) https://doi.org/10.1016/j.laa.2022.08.027, therefore, the parabolic part of any upper triangular group belongs to one of these five families. In this paper we study which loxodromic elements can be combined with the elements of the parabolic part of an upper triangular discrete subgroup of PSL(3,C) in each of these five cases. These parabolic elements impose strong restrictions on the type, and number, of loxodromic elements that can be present in the group. We show that up to conjugation, there are 16 types of upper triangular complex Kleinian groups in PSL(3,C) containing loxodromic elements. These results are a further step towards the completion of the study of elementary discrete subgroups of PSL(3,C).


title: Re-analysis of Lepping's Fitting Method for Magnetic Clouds: Lundquist Fit Reloaded

abstract: Magnetic clouds (MCs) are a subset of ejecta, launched from the Sun as coronal mass ejections. The coherent rotation of the magnetic field vector observed in MCs leads to envision MCs as formed by flux ropes (FRs). Among all the methods used to analyze MCs, Lepping's method (Lepping et al, 1990, JGR 95, 11957) is the broadest used. While this fitting method does not require the axial field component to vanish at the MC boundaries, this idea is largely spread in publications. Then, we revisit Lepping's method to emphasize its hypothesis and the meaning of its output parameters. As originally defined, these parameters imply a fitted FR which could be smaller or larger than the studied MC. We rather provide a re-interpretation of Lepping's results with a fitted model limited to the observed MC interval. We find that, typically the crossed FRs are asymmetric with a larger side both in size and magnetic flux before or after the FR axis. At the boundary of the largest side we find an axial magnetic field component distributed around 0 which we justify by the physics of solar eruptions. In contrast, at the boundary of the smaller side the axial field distribution is shifted to positive values, as expected with erosion acting during the interplanetary travel. This new analysis of Lepping's results have several implications. First, global quantities, such as magnetic fluxes and helicity, need to be revised depending on the aim (estimating global properties of FRs just after the solar launch or at 1 au). Second, the deduced twist profiles in MCs range quasi-continuously from nearly uniform, to increasing away from the FR axis, up to a reversal near the MC boundaries. There is no trace of outsider cases, but a continuum of cases. Finally, the impact parameter of the remaining FR crossed at 1 au is revised. Its distribution is compatible with weakly flatten FR cross-sections.


title: A new construction of nonlinear codes via rational function fields

abstract: It is well known that constructing codes with good parameters is one of the most important and fundamental problems in coding theory. Though a great many of good codes have been produced, most of them are defined over alphabets of sizes equal to prime powers. In this paper, we provide a new explicit construction of (q+1)-ary nonlinear codes via rational function fields, where q is a prime power. Our codes are constructed by evaluations of rational functions at all the rational places (including the place of "infinity") of the rational function field. Compared to the rational algebraic geometry codes, the main difference is that we allow rational functions to be evaluated at pole places. After evaluating rational functions from a union of Riemann-Roch spaces, we obtain a family of nonlinear codes with length q+1 over the alphabet $\mathbb{F}_{q}\cup \{\infty\}$. As a result, our codes have reasonable parameters as they are very close to the Singleton bound. Furthermore, our codes have better parameters than those obtained from MDS codes via code alphabet restriction or extension.


title: Background Hardly Matters: Understanding Personality Attribution in Deep Residual Networks

abstract: Perceived personality traits attributed to an individual do not have to correspond to their actual personality traits and may be determined in part by the context in which one encounters a person. These apparent traits determine, to a large extent, how other people will behave towards them. Deep neural networks are increasingly being used to perform automated personality attribution (e.g., job interviews). It is important that we understand the driving factors behind the predictions, in humans and in deep neural networks. This paper explicitly studies the effect of the image background on apparent personality prediction while addressing two important confounds present in existing literature; overlapping data splits and including facial information in the background. Surprisingly, we found no evidence that background information improves model predictions for apparent personality traits. In fact, when background is explicitly added to the input, a decrease in performance was measured across all models.


title: Electron-phonon interaction and zero-field charge carrier transport in the nodal-line semimetal ZrSiS

abstract: We study electron-phonon interaction and related transport properties of nodal-line semimetal ZrSiS using first-principles calculations. We find that ZrSiS is characterized by a weak electron-phonon coupling on the order of 0.1, which is almost energy independent. The main contribution to the electron-phonon coupling originates from long-wavelength optical phonons, causing no significant renormalization of the electron spectral function. At the charge neutrality point, we find that electrons and holes provide a comparable contribution to the scattering rate. The phonon-limited resistivity calculated within the Boltzmann transport theory is found to be strongly direction-dependent with the ratio between out-of-plane and in-plane directions being $\rho_{zz}/\rho_{xx}\sim 7.5$, mainly determined by the anisotropy of carrier velocities. We estimate zero-field resistivity to be $\rho_{xx}\approx12$ $\mu\Omega$ cm at 300 K, which is in good agreement with experimental data. Relatively small resistivity in ZrSiS can be attributed to a combination of weak electron-phonon coupling and high carrier velocities.


title: Large time behavior of solutions to the nonlinear heat equation with absorption with highly singular antisymmetric initial values

abstract: In this paper we study global well-posedness and long time asymptotic behavior of solutions to the nonlinear heat equation with absorption, $ u_t - \Delta u + |u|^\alpha u =0$, where $u=u(t,x)\in {\mathbb R}, $ $(t,x)\in (0,\infty)\times{\mathbb R}^N$ and $\alpha>0$. We focus particularly on highly singular initial values which are antisymmetric with respect to the variables $x_1,\; x_2,\; \cdots,\; x_m$ for some $m\in \{1,2, \cdots, N\}$, such as $u_0 = (-1)^m\partial_1\partial_2 \cdots \partial_m|\cdot|^{-\gamma} \in {{\mathcal S'}({\mathbb R}^N)}$, $0 < \gamma < N$. In fact, we show global well-posedness for initial data bounded in an appropriate sense by $u_0$, for any $\alpha>0$. Our approach is to study well-posedness and large time behavior on sectorial domains of the form $\Omega_m = \{x \in {{\mathbb R}^N} : x_1, \cdots, x_m > 0\}$, and then to extend the results by reflection to solutions on ${{\mathbb R}^N}$ which are antisymmetric. We show that the large time behavior depends on the relationship between $\alpha$ and $2/(\gamma+m)$, and we consider all three cases, $\alpha$ equal to, greater than, and less than $2/(\gamma+m)$. Our results include, among others, new examples of self-similar and asymptotically self-similar solutions.


title: Nonlocal-interaction equation on graphs: gradient flow structure and continuum limit

abstract: We consider dynamics driven by interaction energies on graphs. We introduce graph analogues of the continuum nonlocal-interaction equation and interpret them as gradient flows with respect to a graph Wasserstein distance. The particular Wasserstein distance we consider arises from the graph analogue of the Benamou-Brenier formulation where the graph continuity equation uses an upwind interpolation to define the density along the edges. While this approach has both theoretical and computational advantages, the resulting distance is only a quasi-metric. We investigate this quasi-metric both on graphs and on more general structures where the set of "vertices" is an arbitrary positive measure. We call the resulting gradient flow of the nonlocal-interaction energy the nonlocal nonlocal-interaction equation (NL$^2$IE). We develop the existence theory for the solutions of the NL$^2$IE as curves of maximal slope with respect to the upwind Wasserstein quasi-metric. Furthermore, we show that the solutions of the NL$^2$IE on graphs converge as the empirical measures of the set of vertices converge weakly, which establishes a valuable discrete-to-continuum convergence result.

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


title: On a class of semipositone problems with singular Trudinger-Moser nonlinearities

abstract: We prove the existence of positive solutions for a class of semipositone problem with singular Trudinger-Moser nonlinearities. The proof is based on compactness and regularity arguments.


title: Logarithmic adic spaces: some foundational results

abstract: We develop a theory of log adic spaces by combining the theories of adic spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale topology for such spaces. We also establish the primitive comparison theorem in this context, and deduce from it some related cohomological finiteness or vanishing results.


title: A measurement of soft-drop jet observables in $pp$ collisions with the ATLAS detector at $\sqrt{s} = 13$ TeV

abstract: Jet substructure quantities are measured using jets groomed with the soft-drop grooming procedure in dijet events from 32.9 fb$^{-1}$ of $pp$ collisions collected with the ATLAS detector at $\sqrt{s} = 13$ TeV. These observables are sensitive to a wide range of QCD phenomena. Some observables, such as the jet mass and opening angle between the two subjets which pass the soft-drop condition, can be described by a high-order (resummed) series in the strong coupling constant $\alpha_S$. Other observables, such as the momentum sharing between the two subjets, are nearly independent of $\alpha_S$. These observables can be constructed using all interacting particles or using only charged particles reconstructed in the inner tracking detectors. Track-based versions of these observables are not collinear safe, but are measured more precisely, and universal non-perturbative functions can absorb the collinear singularities. The unfolded data are directly compared with QCD calculations and hadron-level Monte Carlo simulations. The measurements are performed in different pseudorapidity regions, which are then used to extract quark and gluon jet shapes using the predicted quark and gluon fractions in each region. All of the parton shower and analytical calculations provide an excellent description of the data in most regions of phase space.


title: Distribution of tree parameters by martingale approach

abstract: For a uniform random labelled tree, we find the limiting distribution of tree parameters which are stable (in some sense) with respect to local perturbations of the tree structure. The proof is based on the martingale central limit theorem and the Aldous--Broder algorithm. In particular, our general result implies the asymptotic normality of the number of occurrences of any given small pattern and the asymptotic log-normality of the number of automorphisms.


title: High-resolution gas phase spectroscopy of molecules desorbed from an ice surface: a proof-of-principle study

abstract: High-resolution gas phase spectroscopy techniques in the microwave, millimeter-wave and terahertz spectral ranges can be used to study complex organic molecules desorbed from interstellar ice analogues surface with a high sensitivity. High-resolution gas phase spectroscopy gives unambiguous information about the molecular composition, the molecular structure, and transition frequencies needed for their detection by radio telescopes in various interstellar and circumstellar environments. The results will be useful not only for interpreting astronomical spectra and understanding astrophysical processes, but also for more general studies of gas-surface chemistry. This paper presents a new experimental approach based on a combination of a chirped-pulse Fourier transform microwave spectrometer detection and a low temperature surface desorption experiment. The experimental set-up is benchmarked on the desorption of ammonia ice detected by high-resolution gas phase microwave spectroscopy.


title: Viscosity limits for 0th order pseudodifferential operators

abstract: Motivated by the work of Colin de Verdi\`ere and Saint-Raymond on spectral theory 0th order pseudodifferential operators on tori we consider viscosity limits in which 0th order operators $ P $ are replaced by $ P + i \nu \Delta $, $ \nu > 0 $. By adapting the Helffer--Sj\"ostrand theory of scattering resonances we show that in a complex neighbourhood of the continuous spectrum eigenvalues of $ P + i \nu \Delta $ have limits as viscosity $ \nu $ goes to 0. In the simplified setting of tori this justifies claims made in the physics literature.


title: Hydrodynamics for SSEP with non-reversible slow boundary dynamics: Part I, the critical regime and beyond

abstract: The purpose of this article is to provide a simple proof of the hydrodynamic and hydrostatic behavior of the SSEP in contact with slowed reservoirs which inject and remove particles in a finite size windows at the extremities of the bulk. More precisely, the reservoirs inject/remove particles at/from any point of a window of size K placed at each extremity of the bulk and particles are injected/removed to the first open/occupied position in that window. The hydrodynamic limit is given by the heat equation with non-linear Robin boundary conditions or Neumann boundary conditions, the latter being in the case when the reservoirs are too slow. The proof goes through the entropy method of Guo, Papanicolaou and Varadhan. We also derive the hydrostatic limit for this model, whose proof is based on the method developed by Landim and Tsunoda. We observe that we do not make use of correlation estimates in none of our results.


title: Hydrodynamics for SSEP with non-reversible slow boundary dynamics: Part II, below the critical regime

abstract: The purpose of this article is to provide a simple proof of the hydrodynamic and hydrostatic behavior of the SSEP in contact with reservoirs which inject and remove particles in a finite size windows at the extremities of the bulk. More precisely, the reservoirs inject/remove particles at/from any point of a window of size $K$ placed at each extremity of the bulk and particles are injected/removed to the first open/occupied position in that window. The reservoirs have slow dynamics, in the sense that they intervene at speed $N^{-\theta}$ w.r.t. the bulk dynamics. In the first part of this article, we treated the case $\theta>1$ for which the entropy method can be adapted. We treat here the case where the boundary dynamics is too fast for the Entropy Method to apply. We prove, using duality estimates inspired by previous work by Erignoux, Landim and Xu, that the hydrodynamic limit is given by the heat equation with Dirichlet boundary conditions, where the density at the boundaries is fixed by the parameters of the model.


title: New method for fitting coefficients in standard model effective theory

abstract: We present an alternative method for carrying out a principal-component analysis of Wilson coefficients in standard model effective field theory (SMEFT). The method is based on singular-value decomposition (SVD). The SVD method provides information about the sensitivity of experimental observables to physics beyond the standard model that is not accessible in the Fisher-information method. In principle, the SVD method can also have computational advantages over diagonalization of the Fisher information matrix. We demonstrate the SVD method by applying it to the dimension-6 coefficients for the process of top-quark decay to a $b$ quark and a $W$ boson and use this example to illustrate some pitfalls in widely used fitting procedures. We also outline an iterative procedure for applying the SVD method to dimension-8 SMEFT coefficients.


title: Hurry-up: Scaling Web Search on Big/Little Multi-core Architectures

abstract: Heterogeneous multi-core systems such as big/little architectures have been introduced as an attractive server design option with the potential to improve performance under power constraints in data centres. Since both big high-performing and little power-efficient cores can run on the same system sharing the workload processing, thread mapping/scheduling turns out to be much more challenging. This is particularly hard when considering the different trade-offs shaped by the heterogeneous cores on the quality-of-service (expressed as tail latency) experienced by user-facing applications, such as Web Search. In this work, we present Hurry-up, a runtime thread mapping solution designed to select individual requests to run on the most appropriate heterogeneous cores to improve tail latency. Hurry-up accelerates compute-intensive requests on big cores, while letting less intensive threads to execute on little cores. We implement and deploy Hurry-up on a real 64-bit big/little architecture (ARM Juno), and show that, compared to a conservative policy on Linux, Hurry-up reduces the server tail latency by 39.5% (mean).


title: An introduction to microlocal complex deformations

abstract: In this expository article we relate the presentation of weighted estimates in the book of Martinez to the Bergman kernel approach of Sj\"ostrand. It is meant as an introduction to the Helffer--Sj\"ostrand theory (designed for the study of quantum resonances) in the simplest setting and to its adaptations to compact manifolds.


title: Near-zero-sidelobe optical subwavelength asymmetric focusing lens with dual-layer metasurfaces

abstract: The existing metasurfaces with ultrathin volume for asymmetric transmission were often constructed by metal with low efficiency in optical frequency, and could not realize the optical asymmetric transmission and focusing simultaneously. Although the acoustic asymmetric focusing in asymmetric focusing lens (AFL) was realized, the obtained focal point was accompanied by large sidelobe. To solve those problems, an AFL with dual-layer metasurfaces designed by using dielectric materials can realize optical asymmetric transmission and focusing simultaneously in this paper. Furtherly, through optimizing the design theory of AFL, the near-zero-sidelobe (NZS) focusing can be realized on the subwavelength scale. The NZS asymmetric focusing of the optimized AFL is effective in broadband, which is expected to possess tremendous potential in the optical micro-nano processing, quantum communication, optical micromanipulation, etc.


title: Transfer Learning with Edge Attention for Prostate MRI Segmentation

abstract: Prostate cancer is one of the common diseases in men, and it is the most common malignant tumor in developed countries. Studies have shown that the male prostate incidence rate is as high as 2.5% to 16%, Currently, the inci-dence of prostate cancer in Asia is lower than that in the West, but it is increas-ing rapidly. If prostate cancer can be found as early as possible and treated in time, it will have a high survival rate. Therefore, it is of great significance for the diagnosis and treatment of prostate cancer. In this paper, we propose a trans-fer learning method based on deep neural network for prostate MRI segmenta-tion. In addition, we design a multi-level edge attention module using wavelet decomposition to overcome the difficulty of ambiguous boundary in prostate MRI segmentation tasks. The prostate images were provided by MICCAI Grand Challenge-Prostate MR Image Segmentation 2012 (PROMISE 12) challenge dataset.


title: Prediction of Physical Load Level by Machine Learning Analysis of Heart Activity after Exercises

abstract: The assessment of energy expenditure in real life is of great importance for monitoring the current physical state of people, especially in work, sport, elderly care, health care, and everyday life even. This work reports about application of some machine learning methods (linear regression, linear discriminant analysis, k-nearest neighbors, decision tree, random forest, Gaussian naive Bayes, support-vector machine) for monitoring energy expenditures in athletes. The classification problem was to predict the known level of the in-exercise loads (in three categories by calories) by the heart rate activity features measured during the short period of time (1 minute only) after training, i.e by features of the post-exercise load. The results obtained shown that the post-exercise heart activity features preserve the information of the in-exercise training loads and allow us to predict their actual in-exercise levels. The best performance can be obtained by the random forest classifier with all 8 heart rate features (micro-averaged area under curve value AUCmicro = 0.87 and macro-averaged one AUCmacro = 0.88) and the k-nearest neighbors classifier with 4 most important heart rate features (AUCmicro = 0.91 and AUCmacro = 0.89). The limitations and perspectives of the ML methods used are outlined, and some practical advices are proposed as to their improvement and implementation for the better prediction of in-exercise energy expenditures.


title: Wave-Selection Techniques for Partial-Wave Analysis in Light-Meson Spectroscopy

abstract: The light-meson spectrum can be studied by analyzing data from diffractive dissociation of pion or kaon beams. The contributions of the various states that are produced in these reactions are disentangled by the means of partial-wave analysis. A challenge in these analyses is that the partial-wave expansion has to be truncated, i.e. that only a finite subset of the infinitely many partial-wave amplitudes can be inferred from the data. In recent years, different groups have applied regularization techniques in order to determine the contributing waves from the data. However, to obtain meaningful results the choice of the regularization term is crucial. We present our recent developments of wave-selection methods for partial-wave analyses based on simulated data for diffractively produced three-pion events.


title: Strong Performance Enhancement in Lead-Halide Perovskite Solar Cells through Rapid, Atmospheric Deposition of n-type Buffer Layer Oxides

abstract: Thin (approximately 10 nm) oxide buffer layers grown over lead-halide perovskite device stacks are critical for protecting the perovskite against mechanical and environmental damage. However, the limited perovskite stability restricts the processing methods and temperatures (<=110 C) that can be used to deposit the oxide overlayers, with the latter limiting the electronic properties of the oxides achievable. In this work, we demonstrate an alternative to existing methods that can grow pinhole-free TiOx (x = 2.00+/-0.05) films with the requisite thickness in <1 min without vacuum. This technique is atmospheric pressure chemical vapor deposition (AP-CVD). The rapid but soft deposition enables growth temperatures of >=180 {\deg}C to be used to coat the perovskite. This is >=70 {\deg}C higher than achievable by current methods and results in more conductive TiOx films, boosting solar cell efficiencies by >2%. Likewise, when AP-CVD SnOx (x ~ 2) is grown on perovskites, there is also minimal damage to the perovskite beneath. The SnOx layer is pinhole-free and conformal, which reduces shunting in devices, and increases steady-state efficiencies from 16.5% (no SnOx) to 19.4% (60 nm SnOx), with fill factors reaching 84%. This work shows AP-CVD to be a versatile technique for growing oxides on thermally-sensitive materials.


title: Improving ADMMs for Solving Doubly Nonnegative Programs through Dual Factorization

abstract: Alternating direction methods of multipliers (ADMMs) are popular approaches to handle large scale semidefinite programs that gained attention during the past decade. In this paper, we focus on solving doubly nonnegative programs (DNN), which are semidefinite programs where the elements of the matrix variable are constrained to be nonnegative. Starting from two algorithms already proposed in the literature on conic programming, we introduce two new ADMMs by employing a factorization of the dual variable. It is well known that first order methods are not suitable to compute high precision optimal solutions, however an optimal solution of moderate precision often suffices to get high quality lower bounds on the primal optimal objective function value. We present methods to obtain such bounds by either perturbing the dual objective function value or by constructing a dual feasible solution from a dual approximate optimal solution. Both procedures can be used as a post-processing phase in our ADMMs. Numerical results for DNNs that are relaxations of the stable set problem are presented. They show the impact of using the factorization of the dual variable in order to improve the progress towards the optimal solution within an iteration of the ADMM. This decreases the number of iterations as well as the CPU time to solve the DNN to a given precision. The experiments also demonstrate that within a computationally cheap post-processing, we can compute bounds that are close to the optimal value even if the DNN was solved to moderate precision only. This makes ADMMs applicable also within a branch-and-bound algorithm.


title: Reply to "Absence of Evidence for the Ultimate Regime in Two-Dimensional Rayleigh-B\'enard Convection"

abstract: Rely to the comment by Doering et al. in Phys. Rev. Lett. 123, 259401 (2019)


title: Data-driven study of timelike Compton scattering

abstract: In the framework of collinear QCD factorization, the leading twist scattering amplitudes for deeply virtual Compton scattering (DVCS) and timelike Compton scattering (TCS) are intimately related thanks to analytic properties of leading and next-to-leading order amplitudes. We exploit this welcome feature to make data-driven predictions for TCS observables to be measured in near future experiments. Using a recent extraction of DVCS Compton form factors from most of the existing experimental data for that process, we derive TCS amplitudes and calculate TCS observables only assuming leading-twist dominance. Artificial neural network techniques are used for an essential reduction of model dependency, while a careful propagation of experimental uncertainties is achieved with replica methods. Our analysis allows for stringent tests of the leading twist dominance of DVCS and TCS amplitudes. Moreover, this study helps to understand quantitatively the complementarity of DVCS and TCS measurements to test the universality of generalized parton distributions, which is crucial e.g. to perform the nucleon tomography.


title: A quantitative description of skyrmions in ultrathin ferromagnetic films and rigidity of degree $\pm1$ harmonic maps from $\mathbb{R}^2$ to $\mathbb{S}^2$

abstract: We characterize skyrmions in ultrathin ferromagnetic films as local minimizers of a reduced micromagnetic energy appropriate for quasi two-dimensional materials with perpendicular magnetic anisotropy and interfacial Dzyaloshinskii-Moriya interaction. The minimization is carried out in a suitable class of two-dimensional magnetization configurations that prevents the energy from going to negative infinity, while not imposing any restrictions on the spatial scale of the configuration. We first demonstrate existence of minimizers for an explicit range of the model parameters when the energy is dominated by the exchange energy. We then investigate the conformal limit, in which only the exchange energy survives and identify the asymptotic profiles of the skyrmions as degree 1 harmonic maps from the plane to the sphere, together with their radii, angles and energies. A byproduct of our analysis is a quantitative rigidity result for degree $\pm 1$ harmonic maps from the two-dimensional sphere to itself.

categories: math.AP cond-mat.mes-hall math-ph math.MP nlin.PS


title: Explainability and Adversarial Robustness for RNNs

abstract: Recurrent Neural Networks (RNNs) yield attractive properties for constructing Intrusion Detection Systems (IDSs) for network data. With the rise of ubiquitous Machine Learning (ML) systems, malicious actors have been catching up quickly to find new ways to exploit ML vulnerabilities for profit. Recently developed adversarial ML techniques focus on computer vision and their applicability to network traffic is not straightforward: Network packets expose fewer features than an image, are sequential and impose several constraints on their features. We show that despite these completely different characteristics, adversarial samples can be generated reliably for RNNs. To understand a classifier's potential for misclassification, we extend existing explainability techniques and propose new ones, suitable particularly for sequential data. Applying them shows that already the first packets of a communication flow are of crucial importance and are likely to be targeted by attackers. Feature importance methods show that even relatively unimportant features can be effectively abused to generate adversarial samples. Since traditional evaluation metrics such as accuracy are not sufficient for quantifying the adversarial threat, we propose the Adversarial Robustness Score (ARS) for comparing IDSs, capturing a common notion of adversarial robustness, and show that an adversarial training procedure can significantly and successfully reduce the attack surface.


title: Generalized scalar field cosmologies

abstract: In this paper, we use both local and global phase-space descriptions and averaging methods to find qualitative features of solutions for the FLRW and Bianchi I metrics in the context of scalar field cosmologies with arbitrary potentials and arbitrary couplings to matter. We prove new theorems and also retrieve previous results that can be seen as corollaries of the present results. We study the stability of the equilibrium points in a phase-space, as well as the dynamics in the regime where the scalar field diverges. We obtain equilibrium points that represent some solutions of cosmological interest, such as several types of scaling solutions, a kinetic dominated solution representing a stiff fluid, a solution dominated by an effective energy density of geometric origin, a quintessence scalar field dominated solution, the vacuum de Sitter solution associated to the minimum of the potential, and a non-interacting matter dominated solution. All reveal a very rich cosmological phenomenology. Finally, we present some examples that violate one or more hypotheses of the Theorems proved, obtaining some counterexamples. In particular, we incorporate small cosine-like corrections motivated by inflationary loop-quantum cosmology, and we study the oscillatory behavior.


title: Analysis of Video Feature Learning in Two-Stream CNNs on the Example of Zebrafish Swim Bout Classification

abstract: Semmelhack et al. (2014) have achieved high classification accuracy in distinguishing swim bouts of zebrafish using a Support Vector Machine (SVM). Convolutional Neural Networks (CNNs) have reached superior performance in various image recognition tasks over SVMs, but these powerful networks remain a black box. Reaching better transparency helps to build trust in their classifications and makes learned features interpretable to experts. Using a recently developed technique called Deep Taylor Decomposition, we generated heatmaps to highlight input regions of high relevance for predictions. We find that our CNN makes predictions by analyzing the steadiness of the tail's trunk, which markedly differs from the manually extracted features used by Semmelhack et al. (2014). We further uncovered that the network paid attention to experimental artifacts. Removing these artifacts ensured the validity of predictions. After correction, our best CNN beats the SVM by 6.12%, achieving a classification accuracy of 96.32%. Our work thus demonstrates the utility of AI explainability for CNNs.


title: Understanding the suppression of structure formation from dark matter$\unicode{x2013}$dark energy momentum coupling

abstract: Models in which scalar field dark energy interacts with dark matter via a pure momentum coupling have previously been found to potentially ease the structure formation tension between early- and late-universe observations. In this article we explore the physical mechanism underlying this feature. We argue analytically that the perturbation growth equations imply the suppression of structure growth, illustrating our discussion with numerical calculations. Then we generalise the previously studied quadratic coupling between the dark energy and dark matter to a more general power law case, also allowing for the slope of the dark energy exponential potential to vary. We find that the structure growth suppression is a generic feature of power law couplings and it can, for a range of parameter values, be larger than previously found.


title: Lightweight and Unobtrusive Data Obfuscation at IoT Edge for Remote Inference

abstract: Executing deep neural networks for inference on the server-class or cloud backend based on data generated at the edge of Internet of Things is desirable due primarily to the limited compute power of edge devices and the need to protect the confidentiality of the inference neural networks. However, such a remote inference scheme incurs concerns regarding the privacy of the inference data transmitted by the edge devices to the curious backend. This paper presents a lightweight and unobtrusive approach to obfuscate the inference data at the edge devices. It is lightweight in that the edge device only needs to execute a small-scale neural network; it is unobtrusive in that the edge device does not need to indicate whether obfuscation is applied. Extensive evaluation by three case studies of free spoken digit recognition, handwritten digit recognition, and American sign language recognition shows that our approach effectively protects the confidentiality of the raw forms of the inference data while effectively preserving the backend's inference accuracy.


title: Hessian matrices, automorphisms of $p$-groups, and torsion points of elliptic curves

abstract: We describe the automorphism groups of finite $p$-groups arising naturally via Hessian determinantal representations of elliptic curves defined over number fields. Moreover, we derive explicit formulas for the orders of these automorphism groups for elliptic curves of $j$-invariant $1728$ given in Weierstrass form. We interpret these orders in terms of the numbers of $3$-torsion points (or flex points) of the relevant curves over finite fields. Our work greatly generalizes and conceptualizes previous examples given by du Sautoy and Vaughan-Lee. It explains, in particular, why the orders arising in these examples are polynomial on Frobenius sets and vary with the primes in a nonquasipolynomial manner.


title: Quantum Fourier Transform in Oscillating Modes

abstract: Quantum Fourier transform (QFT) is a key ingredient of many quantum algorithms where a considerable amount of ancilla qubits and gates are often needed to form a Hilbert space large enough for high-precision results. Qubit recycling reduces the number of ancilla qubits to one but imposes the requirement of repeated measurements and feedforward within the coherence time of the qubits. Moreover, recycling only applies to certain cases where QFT can be carried out in a semi-classical way. Here, we report a novel approach based on two harmonic resonators which form a high-dimensional Hilbert space for the realization of QFT. By employing the all-resonant and perfect state-transfer methods, we develop a protocol that transfers an unknown multi-qubit state to one resonator. QFT is performed by the free evolution of the two resonators with a cross-Kerr interaction. Then, the fully-quantum result can be localized in the second resonator by a projective measurement. Qualitative analysis shows that a 2^10-dimensional QFT can be realized in current superconducting quantum circuits which paves the way for implementing various quantum algorithms in the noisy intermediate-scale quantum (NISQ) era.


title: $\tau \to \mu\mu\mu$ at a rate of one out of $10^{14}$ tau decays?

abstract: We present in a full analytic form the partial widths for the lepton flavour violating decays $\mu^\pm \to e^\pm e^+ e^-$ and $\tau^\pm \to \ell^\pm \ell'^{+} \ell'^{-}$, with $\ell,\ell'=\mu,e$, mediated by neutrino oscillations in the one-loop diagrams. Compared to the first result by Petcov in [1], obtained in the zero momentum limit $\mathcal{P}\ll m_{\nu} \ll M_W$, we retain full dependence on $\mathcal{P}$, the momenta and masses of external particles, and we determine the branching ratios in the physical limit $m_\nu \ll \mathcal{P} \ll M_W$. We show that the claim presented in [2] that the $\tau \to \ell \ell' \ell'$ branching ratios could be as large as $10^{-14}$, as a consequence of keeping the $\mathcal{P}$ dependence, is flawed. We find rates of order $10^{-55}$, even smaller than those obtained in the zero momentum limit, as the latter prediction contains an unphysical logarithmic enhancement.


title: Discretizations of Stochastic Evolution Equations in Variational Approach Driven by Jump-Diffusion

abstract: Stochastic evolution equations with compensated Poisson noise are considered in the variational approach with monotone and coercive coefficients. Here the Poisson noise is assumed to be time-homogeneous with $\sigma$-finite intensity measure on a metric space. By using finite element methods and Galerkin approximations, some explicit and implicit discretizations for this equation are presented and their convergence is proved. Polynomial growth condition and linear growth condition are assumed on the drift operator, respectively for the implicit and explicit schemes.


title: Convergence of Opinion Diffusion is PSPACE-complete

abstract: We analyse opinion diffusion in social networks, where a finite set of individuals is connected in a directed graph and each simultaneously changes their opinion to that of the majority of their influencers. We study the algorithmic properties of the fixed-point behaviour of such networks, showing that the problem of establishing whether individuals converge to stable opinions is PSPACE-complete.


title: Evidence that Emission and Absorption Outflows in Quasars Are Related

abstract: We analyze VLT/X-shooter data for 7 quasars, where we study the relationships between their broad absorption line (BAL) and emission line outflows. We find: 1) the luminosity of the [OIII] $\lambda$5007 emission profile decreases with increasing electron number density (n$_e$) derived from the BAL outflow in the same quasar, 2) the measured velocity widths from the [OIII] emission features and CIV absorption troughs in the same object are similar, and 3) the mean radial velocity derived from the BAL outflow is moderately larger than the one from the [OIII] emission outflow. These findings can be explained by the physical interpretation that the [OIII] and BAL outflow are different manifestations of the same wind. When we have outflows with smaller distances to the central source, their n$_e$ is higher. Therefore, the [OIII] emission is collisionally de-excited and the [OIII] luminosity is then suppressed. Comparisons to previous studies show that the objects in our sample exhibit broad [OIII] emission features similar to the ones in extremely red quasars (ERQs). This might imply that BAL quasars and ERQs have the same geometry of outflows or are at a similar evolutionary stage. We found that the physical parameters derived from the BAL outflows can explain the amount of observed [OIII] luminosity, which strengthens our claim of both BAL and [OIII] outflows are from the same wind. These estimates can be tested with upcoming James Webb Space Telescope observations.


title: Measurement of isolated-photon plus two-jet production in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: The dynamics of isolated-photon plus two-jet production in $pp$ collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset corresponding to an integrated luminosity of 36.1 fb$^{-1}$. Cross sections are measured as functions of a variety of observables, including angular correlations and invariant masses of the objects in the final state, $\gamma+jet+jet$. Measurements are also performed in phase-space regions enriched in each of the two underlying physical mechanisms, namely direct and fragmentation processes. The measurements cover the range of photon (jet) transverse momenta from 150 GeV (100 GeV) to 2 TeV. The tree-level plus parton-shower predictions from SHERPA and PYTHIA as well as the next-to-leading-order QCD predictions from SHERPA are compared with the measurements. The next-to-leading-order QCD predictions describe the data adequately in shape and normalisation except for regions of phase space such as those with high values of the invariant mass or rapidity separation of the two jets, where the predictions overestimate the data.


title: Meta-Graph: Few Shot Link Prediction via Meta Learning

abstract: We consider the task of few shot link prediction on graphs. The goal is to learn from a distribution over graphs so that a model is able to quickly infer missing edges in a new graph after a small amount of training. We show that current link prediction methods are generally ill-equipped to handle this task. They cannot effectively transfer learned knowledge from one graph to another and are unable to effectively learn from sparse samples of edges. To address this challenge, we introduce a new gradient-based meta learning framework, Meta-Graph. Our framework leverages higher-order gradients along with a learned graph signature function that conditionally generates a graph neural network initialization. Using a novel set of few shot link prediction benchmarks, we show that Meta-Graph can learn to quickly adapt to a new graph using only a small sample of true edges, enabling not only fast adaptation but also improved results at convergence.


title: On the Domains of Dirichlet Forms on Metric Measure Spaces

abstract: We prove that the domain of the local Dirichlet form is strictly contained in the domain of any stable-like non-local Dirichlet form on general metric measure spaces.


title: Quantum radiation in dielectric media with dispersion and dissipation

abstract: By a generalization of the Hopfield model, we construct a microscopic Lagrangian describing a dielectric medium with dispersion and dissipation. This facilitates a well-defined and unambiguous $\textit{ab initio}$ treatment of quantum electrodynamics in such media, even in time-dependent backgrounds. As an example, we calculate the number of photons created by switching on and off dissipation in dependence on the temporal switching function. This effect may be stronger than quantum radiation produced by variations of the refractive index $\Delta n(t)$ since the latter are typically very small and yield photon numbers of order $(\Delta n)^2$. As another difference, we find that the partner particles of the created medium photons are not other medium photons but excitations of the environment field causing the dissipation (which is switched on and off).


title: QoS-aware energy-efficient workload routing and server speed control policy in data centers: a robust queueing theoretic approach

abstract: Operating cloud service infrastructures requires high energy efficiency while ensuring a satisfactory service level. Motivated by data centers, we consider a workload routing and server speed control policy applicable to the system operating under fluctuating demands. Dynamic control algorithms are generally more energy-efficient than static ones. However, they often require frequent information exchanges between routers and servers, making the data centers' management hesitate to deploy these algorithms. This study presents a static routing and server speed control policy that could achieve energy efficiency similar to a dynamic algorithm and eliminate the necessity of frequent communication among resources. We take a robust queueing theoretic approach to response time constraints for the quality of service (QoS) conditions. Each server is modeled as a G/G/1 processor sharing queue, and the concept of uncertainty sets defines the domain of stochastic primitives. We derive an approximative upper bound of sojourn times from uncertainty sets and develop an approximative sojourn time quantile estimation method for QoS. Numerical experiments confirm the proposed static policy offers competitive solutions compared with the dynamic algorithm.


title: Convergence Rate Abstractions for Weakly-Hard Real-Time Control

abstract: Classically, a control loop is designed to be executed strictly periodically. This is, however, difficult to achieve in many scenarios, for example, when overload or packet loss cannot be entirely avoided. Here, weakly-hard real-time control systems are a common approach which relaxes timing constraints and leverages the inherent robustness of controllers. Yet, their analysis is often hampered by the complexity arising from the system dimension and the vast number of possible timing sequences. In this paper, we present the novel concept of convergence rate abstractions that provide a sound yet simple one-dimensional system description. This approach simplifies the stability analysis of weakly-hard real-time control systems. At the same time, our abstractions facilitate efficient computation of bounds on the worst-case system state at run-time and thus the implementation of adaptation mechanisms.


title: Many cliques with few edges

abstract: Recently Cutler and Radcliffe proved that the graph on $n$ vertices with maximum degree at most $r$ having the most cliques is a disjoint union of $\lfloor n/(r+1)\rfloor$ cliques of size $r+1$ together with a clique on the remainder of the vertices. It is very natural also to consider this question when the limiting resource is edges rather than vertices. In this paper we prove that among graphs with $m$ edges and maximum degree at most $r$, the graph that has the most cliques of size at least two is the disjoint union of $\bigl\lfloor m \bigm/\binom{r+1}{2} \bigr\rfloor$ cliques of size $r+1$ together with the colex graph using the remainder of the edges.


title: Second Order Cumulants: second order even elements and R-diagonal elements

abstract: We introduce $R$-diagonal and even operators of second order. We give a formula for the second order free cumulants of the square $x^2$ of a second order even element in terms of the second order free cumulants of $x$. Similar formulas are proved for the second order free cumulants of $aa^*$, when $a$ is a second order $R$-diagonal operator. We also show that if $r$ is second order $R$-diagonal and $b$ is second order free from $r$, then $rb$ is also second order $R$-diagonal. We present a large number of examples, in particular the limit distribution of products of Ginibre matrices. We prove the conjectured formula of Dartois and Forrester for the fluctuations moments of the product of two independent complex Wishart matrices and generalize it to any number of factors.


title: Cavity-enhanced non-destructive detection of atoms for an optical lattice clock

abstract: We demonstrate a new method of cavity-enhanced non-destructive detection of atoms for a strontium optical lattice clock. The detection scheme is shown to be linear in atom number up to at least 10,000 atoms, to reject technical noise sources, to achieve signal to noise ratio close to the photon shot noise limit, to provide spatially uniform atom-cavity coupling, and to minimize inhomogeneous ac Stark shifts. These features enable detection of atoms with minimal perturbation to the atomic state, a critical step towards realizing an ultra-high-stability, quantum-enhanced optical lattice clock.


title: Stubborn Set Reduction for Two-Player Reachability Games

abstract: Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of the explored state space. We present a theory of partial order reduction based on stubborn sets in the game-theoretical setting of 2-player games with reachability objectives. Our stubborn reduction allows us to prune the interleaving behaviour of both players in the game, and we formally prove its correctness on the class of games played on general labelled transition systems. We then instantiate the framework to the class of weighted Petri net games with inhibitor arcs and provide its efficient implementation in the model checker TAPAAL. Finally, we evaluate our stubborn reduction on several case studies and demonstrate its efficiency.


title: Features of the Accretion in the EX Hydrae System: Results of Numerical Simulation

abstract: A two dimensional numerical model in the axisymmetric approximation that describes the flow structure in the magnetosphere of the white dwarf in the EX Hya system has been developed. Results of simulations show that the accretion in EX Hya proceeds via accretion columns, that are not closed and have curtain-like shapes. The thickness of the accretion curtains depends only weakly on the thickness of the accretion disk. This thickness developed in the simulations does not agree with observations. It is concluded that the main reason for the formation of thick accretion curtains in the used model is the assumption that the magnetic field penetrates fully into the plasma of the disk. An analysis based on simple estimates shows that a diamagnetic disk that fully or partially shields the magnetic field of the star may be a more attractive explanation for the observed features of the accretion in EX Hya.


title: CTLearn: Deep Learning for Gamma-ray Astronomy

abstract: CTLearn is a new Python package under development that uses the deep learning technique to analyze data from imaging atmospheric Cherenkov telescope (IACT) arrays. IACTs use the Cherenkov light emitted from air showers, initiated by very-high-energy gamma rays, to form an image of the longitudinal development of the air shower on the camera plane. The spatial, temporal, and calorimetric information of the originating high-energy particle is then recorded electronically. The sensitivity of IACTs to astrophysical sources depends strongly on the efficient rejection of the background of much more numerous cosmic-ray showers. CTLearn includes modules for running machine learning models with TensorFlow, using pixel-wise camera data as input. Its high-level interface provides a configuration-file-based workflow to drive reproducible training and prediction. We illustrate the capabilities of CTLearn by presenting some results using IACT simulated data.


title: Trapezoidal methods for fractional differential equations: theoretical and computational aspects

abstract: The paper describes different approaches to generalize the trapezoidal method to fractional differential equations. We analyze the main theoretical properties and we discuss computational aspects to implement efficient algorithms. Numerical experiments are provided to illustrate potential and limitations of the different methods under investigation.


title: When to Talk: Chatbot Controls the Timing of Talking during Multi-turn Open-domain Dialogue Generation

abstract: Despite the multi-turn open-domain dialogue systems have attracted more and more attention and made great progress, the existing dialogue systems are still very boring. Nearly all the existing dialogue models only provide a response when the user's utterance is accepted. But during daily conversations, humans always decide whether to continue to utter an utterance based on the context. Intuitively, a dialogue model that can control the timing of talking autonomously based on the conversation context can chat with humans more naturally. In this paper, we explore the dialogue system that automatically controls the timing of talking during the conversation. Specifically, we adopt the decision module for the existing dialogue models. Furthermore, modeling conversation context effectively is very important for controlling the timing of talking. So we also adopt the graph neural networks to process the context with the natural graph structure. Extensive experiments on two benchmarks show that controlling the timing of talking can effectively improve the quality of dialogue generation, and the proposed methods significantly improve the accuracy of the timing of talking. In addition, we have publicly released the codes of our proposed model.


title: Deterministic generation of a four-component optical cat state

abstract: The four-component cat state represents a particularly useful quantum state for realizing fault-tolerant continuous variable quantum computing. While such encoding has been experimentally generated and employed in the microwave regime, the states have not yet been produced in the optical regime. Here we propose a simple linear optical circuit combined with photon counters for the generation of such optical four-component cat states. This work might pave the way for the first experimental generation of fault-tolerant optical continuous variable quantum codes.


title: Morphy: A Datamorphic Software Test Automation Tool

abstract: This paper presents an automated tool called Morphy for datamorphic testing. It classifies software test artefacts into test entities and test morphisms, which are mappings on testing entities. In addition to datamorphisms, metamorphisms and seed test case makers, Morphy also employs a set of other test morphisms including test case metrics and filters, test set metrics and filters, test result analysers and test executers to realise test automation. In particular, basic testing activities can be automated by invoking test morphisms. Test strategies can be realised as complex combinations of test morphisms. Test processes can be automated by recording, editing and playing test scripts that invoke test morphisms and strategies. Three types of test strategies have been implemented in Morphy: datamorphism combination strategies, cluster border exploration strategies and strategies for test set optimisation via genetic algorithms. This paper focuses on the datamorphism combination strategies by giving their definitions and implementation algorithms. The paper also illustrates their uses for testing both traditional software and AI applications with three case studies.


title: Design and Implementation of a Blockchain-based Consent Management System

abstract: A blockchain is a distributed ledger forming a distributed consensus on a history of transactions. It is the underlying technology for the Bitcoin cryptocurrency, but there are many applications beyond the financial sector. With built-in security and removal of the need for third party trust, blockchain has started to see some use within contract applications among other things. In this paper, we present the design and implementation of a permissioned-based blockchain third party consent management system, whose policy can be decided by a government agency. We have constructed a proof of concept implementation using Hyperledger Fabric to provide a service that allows end-users to control and consent to who manages their private information. We believe our solution meets the guiding principles of EU General Data Protection Regulation or GDPR. While our performance and usability evaluation are limited, our solution design and its implementation meet the 7 foundational principles of privacy by design.


title: A Model-Based Fuzzy Analysis of Questionnaires

abstract: In dealing with veracity of data analytics, fuzzy methods are more and more relying on probabilistic and statistical techniques to underpin their applicability. Conversely, standard statistical models usually disregard to take into account the inherent fuzziness of choices and this issue is particularly worthy of note in customers' satisfaction surveys, since there are different shades of evaluations that classical statistical tools fail to catch. Given these motivations, the paper introduces a model-based fuzzy analysis of questionnaire with sound statistical foundation, driven by the design of a hybrid method that sets in between fuzzy evaluation systems and statistical modelling. The proposal is advanced on the basis of \cub mixture models to account for uncertainty in ordinal data analysis and moves within the general framework of Intuitionistic Fuzzy Set theory to allow membership, non-membership, vagueness and accuracy assessments. Particular emphasis is given to defuzzification procedures that enable uncertainty measures also at an aggregated level. An application to a survey run at the University of Naples Federico II about the evaluation of Orientation Services supports the efficacy of the proposal.


title: Ab initio simulation of warm dense matter

abstract: Warm dense matter (WDM) -- an exotic state of highly compressed matter -- has attracted high interest in recent years in astrophysics and for dense laboratory systems. At the same time, this state is extremely difficult to treat theoretically. This is due to the simultaneous appearance of quantum degeneracy, Coulomb correlations and thermal effects, as well as the overlap of plasma and condensed phases. Recent breakthroughs are due to the successful application of density functional theory (DFT) methods which, however, often lack the necessary accuracy and predictive capability for WDM applications. The situation has changed with the availability of the first \textit{ab initio} data for the exchange-correlation free energy of the warm dense uniform electron gas (UEG) that were obtained by quantum Monte Carlo (QMC) simulations, for recent reviews, see Dornheim \textit{et al.}, Phys. Plasmas \textbf{24}, 056303 (2017) and Phys. Rep. \textbf{744}, 1-86 (2018). In the present article we review recent further progress in QMC simulations of the warm dense UEG: namely, \textit{ab initio} results for the static local field correction $G(q)$ and for the dynamic structure factor $S(q,\omega)$. These data are of key relevance for the comparison with x-ray scattering experiments at free electron laser facilities and for the improvement of theoretical models. In the second part of this paper we discuss simulations of WDM out of equilibrium. The theoretical approaches include Born-Oppenheimer molecular dynamics, quantum kinetic theory, time-dependent DFT and hydrodynamics. Here we analyze strengths and limitations of these methods and argue that progress in WDM simulations will require a suitable combination of all methods. A particular role might be played by quantum hydrodynamics, and we concentrate on problems, recent progress, and possible improvements of this method.


title: Unitarity at the Late time Boundary of de Sitter

abstract: The symmetry group of the de Sitter spacetime, accommodates fields of various masses and spin among its unitary irreducible representations. These unitary representations are labeled by the spin and the weight contribution to the scaling dimension and depending on the mass and spin of the field the weight may take either purely real or purely imaginary values. In this work, we construct the late time boundary operators for a massive scalar field propagating in de Sitter spacetime, in arbitrary dimensions. We show that contrary to the case of Anti de Sitter, purely imaginary weights also correspond to unitary operators, as well as the ones with real weight, and identify the corresponding unitary representations. We demonstrate that these operators correspond to the late time boundary operators and elucidate that all of them have positive definite norm.


title: The multi-thermal chromosphere: inversions of ALMA and IRIS data

abstract: Numerical simulations of the solar chromosphere predict a diverse thermal structure with both hot and cool regions. Observations of plage regions in particular feature broader and brighter chromospheric lines, which suggest that they are formed in hotter and denser conditions than in the quiet-Sun, but also implies a non-thermal component whose source is unclear. We revisit the problem of the stratification of temperature and microturbulence in plage now adding millimeter continuum observations provided by ALMA to inversions of near-ultraviolet IRIS spectra as a powerful new diagnostic to disentangle the two parameters. We fit cool chromospheric holes and track the fast evolution of compact mm brightenings in the plage region. We use the STiC non-LTE inversion code to simultaneously fit real ultraviolet and millimeter spectra in order to infer the thermodynamic parameters of the plasma. We confirm the anticipated constraining potential of ALMA in non-LTE inversions of the solar chromosphere. We find significant differences between the inversion results of IRIS data alone compared to the results of a combination with the mm data: the IRIS+ALMA inversions have increased contrast and temperature range, and tend to favor lower values of microturbulence in the chromosphere of plage. The average brightness temperature of the plage region at 1.25 mm is 8500 K, but the ALMA maps also show much cooler ($\sim3000$ K) and hotter ($\sim11\,000$ K) evolving features partially seen in other diagnostics. To explain the former, the inversions require the existence of localized, low temperature regions in the chromosphere where molecules such as CO could form. The hot features could sustain such high temperatures due to non-equilibrium hydrogen ionization effects in a shocked chromosphere - a scenario that is supported by low-frequency shock wave patterns found in the MgII lines probed by IRIS.


title: Permutable subgroups in $\GL_n(D)$ and applications to locally finite group algebras

abstract: In this paper we study the existence of free non-abelian subgroups in non-central permutable subgroups of general skew linear groups and locally finite group algebras.


title: Continuous Time Simulations of Strong Coupling LQCD at Finite Baryon Density

abstract: We study lattice QCD in the limit of infinite gauge coupling on a discrete spatial yet continuous Euclidean time lattice at finite baryon chemical potential $\mu_B$. The continuous time framework is based on sending $N_\tau\rightarrow \infty$ and the bare anisotropy to infinity while fixing the temperature in a non-perturbative setup. This leads to a sign problem free algorithm that allows us to study the whole $\mu_B$-$T$ plane. We construct Taylor coefficients required for a Taylor expansion in the pressure at zero chemical potential and in the chiral limit. On that account, cumulants in the baryon number density are measured in various fashions to improve on accuracy. These calculations are based on our worm type Monte Carlo algorithm featuring a polymer resummation scheme and a histogram method.


title: Periodic orbits exhibit oblique stripe patterns in plane Couette flow

abstract: Spatio-temporally chaotic dynamics of transitional plane Couette flow may give rise to regular turbulent-laminar stripe patterns with a large-scale pattern wavelength and an oblique orientation relative to the laminar flow direction. A recent dynamical systems analysis of the oblique stripe pattern demonstrated that the Navier-Stokes equations have unstable equilibrium solutions that capture the three-dimensional spatial structure of the oblique stripe patterns. Here we identify unstable periodic orbits that not only show oblique large-scale amplitude modulation but also have a characteristic time-evolution, unlike steady equilibrium solutions. The periodic orbits represent standing waves that slowly propagate across wavy velocity streaks in the flow on viscous diffusion time scales. The unstable periodic orbits are embedded in the edge of chaos in a symmetry subspace of plane Couette flow and thereby may mediate transition to and from turbulent flows with oblique patterns.


title: High-statistics measurement of neutrino quasielastic-like scattering at <E_nu>=~6 GeV on a hydrocarbon target

abstract: We measure neutrino charged current quasielastic-like scattering on hydrocarbon at high statistics using the wide-band NuMI beam with neutrino energy peaked at 6 GeV. The double-differential cross section is reported in terms of muon longitudinal and transverse momentum. Cross-section contours versus lepton momentum components are approximately described by a conventional generator-based simulation, however discrepancies are observed for transverse momenta above 0.5 GeV/c for longitudinal momentum ranges 3 to 5 GeV/c and 9 to 20 GeV/c. The single differential cross section versus momentum transfer squared ($d\sigma/dQ_{QE}^2$) is measured over a four-decade range of $Q^2$ that extends to $10~GeV^2$. The cross section turn-over and fall-off in the $Q^2$ range 0.3 to $10~GeV^2$ is not fully reproduced by generator predictions that rely on dipole form factors. Our measurement probes the axial-vector content of the hadronic current and complements the electromagnetic form factor data obtained using electron-nucleon elastic scattering. These results help oscillation experiments because they probe the importance of various correlations and final-state interaction effects within the nucleus, which have different effects on the visible energy in detectors.


title: Subpacketization-Beamformer Interaction in Multi-Antenna Coded Caching

abstract: We study the joint effect of beamformer structure and subpacketization value on the achievable rate of cache-enabled multi-antenna communications at low-SNR. A mathematical approach with low-SNR approximations is used, to show that using simplistic beamformer structures, increasing subpacketization degrades the achievable rate; in contrast to what has been shown in the literature for more complex, optimized beamformer structures. The results suggest that for improving the low-SNR rate, subpacketization and beamformer complexity should be jointly increased.


title: Non-equilibrium metastable state in a chain of interacting spinless fermions with localized loss

abstract: We investigate a chain of spinless fermions with nearest-neighbour interactions that are subject to a local loss process. We determine the time evolution of the system using matrix product state methods. We find that at intermediate times a metastable state is formed, which has very different properties than usual equilibrium states. In particular, in a region around the loss, the filling is reduced, while Friedel oscillations with a period corresponding to the original filling continue to exist. The associated momentum distribution is emptied at all momenta by the loss process and the Fermi edge remains approximately at its original value. Even in the presence of strong interactions, where a redistribution by the scattering is naively expected, such a regime can exist over a long time-scale. Additionally, we point out the existence a system.


title: A Fair Comparison of Graph Neural Networks for Graph Classification

abstract: Experimental reproducibility and replicability are critical topics in machine learning. Authors have often raised concerns about their lack in scientific publications to improve the quality of the field. Recently, the graph representation learning field has attracted the attention of a wide research community, which resulted in a large stream of works. As such, several Graph Neural Network models have been developed to effectively tackle graph classification. However, experimental procedures often lack rigorousness and are hardly reproducible. Motivated by this, we provide an overview of common practices that should be avoided to fairly compare with the state of the art. To counter this troubling trend, we ran more than 47000 experiments in a controlled and uniform framework to re-evaluate five popular models across nine common benchmarks. Moreover, by comparing GNNs with structure-agnostic baselines we provide convincing evidence that, on some datasets, structural information has not been exploited yet. We believe that this work can contribute to the development of the graph learning field, by providing a much needed grounding for rigorous evaluations of graph classification models.


title: Few-particle dynamics of fractional quantum Hall lattice models

abstract: Considering lattice Hamiltonians designed using conformal field theory to have fractional quantum Hall states as ground states, we study the dynamics of one or two particles on such lattices. Examining the eigenspectrum and dynamics of the single-particle sector, we demonstrate that these Hamiltonians cannot be regarded as describing interacting particles placed on a Chern band, so that the physics is fundamentally different from fractional Chern insulators. The single-particle spectrum is shown to consist of eigenstates localized in shells which have larger radius for larger eigenenergies. This leads to chiral dynamics along reasonably well-defined orbits, both in the single-particle and in the two-particle sectors.


title: Constraining resonance properties through kaon production in pion-nucleus collisions at low energies

abstract: Hadronic interactions are crucial for the dynamical description of heavy-ion reactions at low collision energies and in the late dilute stages at high collision energies. In particular, the properties and decay channels of resonances are an essential ingredient of hadronic transport approaches. The HADES collaboration measured particle production in collisions of pions with carbon and tungsten nuclei at $E_\text{kin} = 1.7\,\text{GeV}$. Such reactions are of high interest, because they allow to probe the properties of baryonic resonances produced in a much cleaner environment than the usual nucleus-nucleus collisions. We study these reactions with two transport approaches: SMASH (Simulating Many Accelerated Strongly-interacting Hadrons) and UrQMD (Ultra relativistic Quantum Molecular Dynamics) which follow the same underlying concept but with different implementations. The differential spectra in rapidity and transverse momentum are used to show how model parameters, as the decay channels of high mass resonances and angular distributions of kaon elastic scattering, can be constrained. It is found that the data favor the production of more particles with lower momentum over the production of few particles with higher momentum in these decays. In addition, the shape of the rapidity distribution of the kaons strongly depends on the angular distribution of the elastic kaon-nucleon cross section.


title: Parity Detection of Propagating Microwave Fields

abstract: The parity of the number of elementary excitations present in a quantum system provides important insights into its physical properties. Parity measurements are used, for example, to tomographically reconstruct quantum states or to determine if a decay of an excitation has occurred, information which can be used for quantum error correction in computation or communication protocols. Here we demonstrate a versatile parity detector for propagating microwaves, which distinguishes between radiation fields containing an even or odd number n of photons, both in a single-shot measurement and without perturbing the parity of the detected field. We showcase applications of the detector for direct Wigner tomography of propagating microwaves and heralded generation of Schr\"odinger cat states. This parity detection scheme is applicable over a broad frequency range and may prove useful, for example, for heralded or fault-tolerant quantum communication protocols.


title: Zeros, growth and Taylor coefficients of entire solutions of linear $q$-difference equations

abstract: We consider transcendental entire solutions of linear $q$-difference equations with polynomial coefficients and determine the asymptotic behavior of their Taylor coefficients. We use this to show that under a suitable hypothesis on the associated Newton-Puiseux diagram their zeros are asymptotic to finitely many geometric progressions. We also sharpen previous results on the growth rate of entire solutions.


title: Studying deep convolutional neural networks with hexagonal lattices for imaging atmospheric Cherenkov telescope event reconstruction

abstract: Deep convolutional neural networks (DCNs) are a promising machine learning technique to reconstruct events recorded by imaging atmospheric Cherenkov telescopes (IACTs), but require optimization to reach full performance. One of the most pressing challenges is processing raw images captured by cameras made of hexagonal lattices of photo-multipliers, a common layout among IACT cameras which topologically differs from the square lattices conventionally expected, as their input data, by DCN models. Strategies directed to tackle this challenge range from the conversion of the hexagonal lattices onto square lattices by means of oversampling or interpolation to the implementation of hexagonal convolutional kernels. In this contribution we present a comparison of several of those strategies, using DCN models trained on simulated IACT data.


title: Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing

abstract: It is well-known that classifiers are vulnerable to adversarial perturbations. To defend against adversarial perturbations, various certified robustness results have been derived. However, existing certified robustnesses are limited to top-1 predictions. In many real-world applications, top-$k$ predictions are more relevant. In this work, we aim to derive certified robustness for top-$k$ predictions. In particular, our certified robustness is based on randomized smoothing, which turns any classifier to a new classifier via adding noise to an input example. We adopt randomized smoothing because it is scalable to large-scale neural networks and applicable to any classifier. We derive a tight robustness in $\ell_2$ norm for top-$k$ predictions when using randomized smoothing with Gaussian noise. We find that generalizing the certified robustness from top-1 to top-$k$ predictions faces significant technical challenges. We also empirically evaluate our method on CIFAR10 and ImageNet. For example, our method can obtain an ImageNet classifier with a certified top-5 accuracy of 62.8\% when the $\ell_2$-norms of the adversarial perturbations are less than 0.5 (=127/255). Our code is publicly available at: \url{https://github.com/jjy1994/Certify_Topk}.


title: Sufficient conditions for quantum advantage in random access code protocols with two-qubit states

abstract: Random access code (RAC) is an important communication protocol to obtain information about a randomly specified substring of an n-bit string, while only having limited information about the n-bit string. Quantum RACs usually utilise either communication of quantum bits or a shared-in-advance quantum state used in conjunction with classical communication. Here we consider the latter version of the quantum protocols under the constraint of single-bit communication and with shared arbitrary state of two qubits. Taking the worst-case success probability as the figure of merit, we demonstrate that any state with invertible correlation matrix can be used to outperform the best classical RAC for n=3. We derive an additional condition sufficient to beat the best classical performance in the case of n=2. In particular, separable states turn out to be a useful resource behind the quantum advantage for n=2,3. For $n \geq 4$ RACs assisted with a single copy of a quantum state do not outperform the classical RACs.


title: A fast and efficient SIMD track reconstruction algorithm for the LHCb Upgrade 1 VELO-PIX detector

abstract: The upgraded CERN LHCb detector, due to start data taking in 2021, will have to reconstruct 4 TB/s of raw detector data in real time using commodity processors. This is one of the biggest real-time data processing challenges in any scientific domain. We present an intrinsically parallel reconstruction algorithm for the vertex detector of the LHCb experiment designed to optimally exploit multi-core general purpose architectures. We compare it to previous state-of-the-art scalar pattern recognition algorithms and show significantly faster processing and in some cases increased physics performance over all current alternatives. We evaluate the algorithm on two high-end architectures from two different vendors and discuss in detail the impact of different SIMD Instruction Set Architecture extensions on the performance.


title: Dependable Neural Networks for Safety Critical Tasks

abstract: Neural Networks are being integrated into safety critical systems, e.g., perception systems for autonomous vehicles, which require trained networks to perform safely in novel scenarios. It is challenging to verify neural networks because their decisions are not explainable, they cannot be exhaustively tested, and finite test samples cannot capture the variation across all operating conditions. Existing work seeks to train models robust to new scenarios via domain adaptation, style transfer, or few-shot learning. But these techniques fail to predict how a trained model will perform when the operating conditions differ from the testing conditions. We propose a metric, Machine Learning (ML) Dependability, that measures the network's probability of success in specified operating conditions which need not be the testing conditions. In addition, we propose the metrics Task Undependability and Harmful Undependability to distinguish network failures by their consequences. We evaluate the performance of a Neural Network agent trained using Reinforcement Learning in a simulated robot manipulation task. Our results demonstrate that we can accurately predict the ML Dependability, Task Undependability, and Harmful Undependability for operating conditions that are significantly different from the testing conditions. Finally, we design a Safety Function, using harmful failures identified during testing, that reduces harmful failures, in one example, by a factor of 700 while maintaining a high probability of success.


title: Heterogeneous tissue characterization using ultrasound: a comparison of fractal analysis backscatter models on liver tumors

abstract: Assessing tumor tissue heterogeneity via ultrasound has recently been suggested for predicting early response to treatment. The ultrasound backscattering characteristics can assist in better understanding the tumor texture by highlighting local concentration and spatial arrangement of tissue scatterers. However, it is challenging to quantify the various tissue heterogeneities ranging from fine-to-coarse of the echo envelope peaks in tumor texture. Local parametric fractal features extracted via maximum likelihood estimation from five well-known statistical model families are evaluated for the purpose of ultrasound tissue characterization. The fractal dimension (self-similarity measure) was used to characterize the spatial distribution of scatterers, while the Lacunarity (sparsity measure) was applied to determine scatterer number density. Performance was assessed based on 608 cross-sectional clinical ultrasound RF images of liver tumors (230 and 378 demonstrating respondent and non-respondent cases, respectively). Crossvalidation via leave-one-tumor-out and with different k-folds methodologies using a Bayesian classifier were employed for validation. The fractal properties of the backscattered echoes based on the Nakagami model (Nkg) and its extend four-parameter Nakagami-generalized inverse Gaussian (NIG) distribution achieved best results - with nearly similar performance - for characterizing liver tumor tissue. Accuracy, sensitivity and specificity for the Nkg/NIG were: 85.6%/86.3%, 94.0%/96.0%, and 73.0%/71.0%, respectively. Other statistical models, such as the Rician, Rayleigh, and K-distribution were found to not be as effective in characterizing the subtle changes in tissue texture as an indication of response to treatment. Employing the most relevant and practical statistical model could have potential consequences for the design of an early and effective clinical therapy.


title: Cosmic Ray Boosted Sub-GeV Gravitationally Interacting Dark Matter in Direct Detection

abstract: Detections of non-gravitational interactions of massive dark matter (DM) with visible sector so far have given null results. The DM may communicate with the ordinary matter only through gravitational interaction. Besides, the majority of traditional direct detections have poor sensitivities for light DM because of the small recoil energy. Thanks to the high energy cosmic rays (CRs), the light DM can be boosted by scattering with CRs and thus may be detected in the ongoing experiments. In this work, we derive the exclusion limits on the cosmic ray boosted sub-GeV DM with gravitational mediator from the Xenon1T data. It turns out that a sizable region of such a cosmic ray boosted DM can be excluded by the current data.


title: No-Regret Learning from Partially Observed Data in Repeated Auctions

abstract: We study a general class of repeated auctions, such as the ones found in electricity markets, as multi-agent games between the bidders. In such a repeated setting, bidders can adapt their strategies online based on the data observed in the previous auction rounds. Moreover, if no-regret algorithms are employed by the bidders to update their strategies, the game is known to converge to a coarse-correlated equilibrium, which generalizes the notion of Nash equilibrium to a probabilistic view of the auction state. Well-studied no-regret algorithms depend on the feedback information available at every round, and can be mainly distinguished as bandit (or payoff-based), and full-information. However, the information structure found in auctions lies in between these two models, since participants can often obtain partial observations of their utilities under different strategies. To this end, we modify existing bandit algorithms to exploit such additional information. Specifically, we utilize the feedback information that bidders can obtain when their bids are not accepted, and build a more accurate estimator of the utility vector. This results in improved regret guarantees compared to standard bandit algorithms. Moreover, we propose a heuristic method for auction settings where the proposed algorithm is not directly applicable. Finally, we demonstrate our findings on case studies based on realistic electricity market models.


title: Born's rule and measurement

abstract: Born's rule in its conventional textbook form applies to the small class of projective measurements only. It is well-known that a generalization of Born's rule to realistic experiments must be phrased in terms of positive operator valued measures (POVMs). This generalization accounts for things like losses, imperfect measurements, limited detection accuracy, dark detector counts, and the simultaneous measurement of position and momentum. Starting from first principles, this paper gives a self-contained, deductive introduction to quantum measurement and Born's rule, in its generalized form that applies to the results of measurements described by POVMs. It is based on a suggestive definition of what constitutes a detector, assuming an intuitive informal notion of response. The formal exposition is embedded into the context of a variaety of quotes from the literature illuminating historical aspects of the subject. The material presented suggests a new approach to introductory courses on quantum mechanics.


title: Impact of transduction scaling laws on nanoelectromechanical systems

abstract: We study the electromechanical transduction in nanoelectromechanical actuators and show that the differences in scaling for electrical and mechanical effects lead to an overall non-trivial scaling behavior. In particular, the previously neglected fringing fields considerably increase electrical forces and improve the stability of nanoscale actuators. This shows that electrostatics does not pose any limitations to downscaling of electromechanical systems, in fact in several respects, nanosystems outperform their microscale counterparts. As a specific example, we consider in-plane actuation of ultrathin slabs and show that devices consisting of a few layers of graphene are feasible, implying that electromechanical resonators operating beyond 40 GHz are possible with currently available technology.


title: Yield Optimization based on Adaptive Newton-Monte Carlo and Polynomial Surrogates

abstract: In this paper we present an algorithm for yield estimation and optimization exploiting Hessian based optimization methods, an adaptive Monte Carlo (MC) strategy, polynomial surrogates and several error indicators. Yield estimation is used to quantify the impact of uncertainty in a manufacturing process. Since computational efficiency is one main issue in uncertainty quantification, we propose a hybrid method, where a large part of a MC sample is evaluated with a surrogate model, and only a small subset of the sample is re-evaluated with a high fidelity finite element model. In order to determine this critical fraction of the sample, an adjoint error indicator is used for both the surrogate error and the finite element error. For yield optimization we propose an adaptive Newton-MC method. We reduce computational effort and control the MC error by adaptively increasing the sample size. The proposed method minimizes the impact of uncertainty by optimizing the yield. It allows to control the finite element error, surrogate error and MC error. At the same time it is much more efficient than standard MC approaches combined with standard Newton algorithms.


title: String scale interacting dark matter from $\pi_1$

abstract: We show that in a wide class of string derived models of particle physics, heavy string modes with masses around the GUT scale can serve as a viable dark matter candidate. These heavy string modes wind around specific cycles in the extra-dimensional space, closely related to the fundamental group $\pi_1$. As a consequence of a non-trivial $\pi_1$, there is an exact discrete symmetry that stabilizes such winding strings. The dark matter candidate couples to the Standard Model via gravity and via the exchange of heavy string states. We find that, for reasonable values of the string coupling, our dark matter candidate can be produced in sizable amounts via freeze-in. Our scheme applies to many string constructions, including Calabi-Yau compactifications, and can be tested against constraints from the CMB.


title: Report on the First HIPstIR Workshop on the Future of Information Retrieval

abstract: The vision of HIPstIR is that early stage information retrieval (IR) researchers get together to develop a future for non-mainstream ideas and research agendas in IR. The first iteration of this vision materialized in the form of a three day workshop in Portsmouth, New Hampshire attended by 24 researchers across academia and industry. Attendees pre-submitted one or more topics that they want to pitch at the meeting. Then over the three days during the workshop, we self-organized into groups and worked on six specific proposals of common interest. In this report, we present an overview of the workshop and brief summaries of the six proposals that resulted from the workshop.


title: A gallery model for affine flag varieties via chimney retractions

abstract: This paper provides a unified combinatorial framework to study orbits in certain affine flag varieties via the associated Bruhat-Tits buildings. We first formulate, for arbitrary affine buildings, the notion of a chimney retraction. This simultaneously generalizes the two well-known notions of retractions in affine buildings: retractions from chambers at infinity and retractions from alcoves. We then present a recursive formula for computing the images of certain minimal galleries in the building under chimney retractions, using purely combinatorial tools associated to the underlying affine Weyl group. Finally, for Bruhat-Tits buildings in the function field case, we relate these retractions and their effect on minimal galleries to double coset intersections in the corresponding affine flag variety.


title: Assurance via workflow+ modelling and conformance

abstract: We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process is defined and executed, and checking their conformance. These workflows are based on precise data modelling as in functional block diagrams, but their distinctive feature is the presence of relationships between the output data of a process and its input data; hence, the name ``WorkflowPlus'', WF+ . A typical WP^+ model comprises three layers: (i) process and control flow, (ii) dataflow (with input-output relationships), and (iii) argument flow or constraint derivation. Precise dataflow modelling signifies a crucial distinction of (WP+)-based and GSN-based assurance, in which the data layer is mainly implicit. We provide a detailed comparative analysis of the two formalisms and conclude that GSN does not fulfil its promises.


title: Hierarchical Character Embeddings: Learning Phonological and Semantic Representations in Languages of Logographic Origin using Recursive Neural Networks

abstract: Logographs (Chinese characters) have recursive structures (i.e. hierarchies of sub-units in logographs) that contain phonological and semantic information, as developmental psychology literature suggests that native speakers leverage on the structures to learn how to read. Exploiting these structures could potentially lead to better embeddings that can benefit many downstream tasks. We propose building hierarchical logograph (character) embeddings from logograph recursive structures using treeLSTM, a recursive neural network. Using recursive neural network imposes a prior on the mapping from logographs to embeddings since the network must read in the sub-units in logographs according to the order specified by the recursive structures. Based on human behavior in language learning and reading, we hypothesize that modeling logographs' structures using recursive neural network should be beneficial. To verify this claim, we consider two tasks (1) predicting logographs' Cantonese pronunciation from logographic structures and (2) language modeling. Empirical results show that the proposed hierarchical embeddings outperform baseline approaches. Diagnostic analysis suggests that hierarchical embeddings constructed using treeLSTM is less sensitive to distractors, thus is more robust, especially on complex logographs.