title: Probing the assembly of dwarf galaxies through cosmic time with damped Lyman-$\alpha$ absorption spectroscopy

abstract: We investigate the absorption features associated with a gas-rich dwarf galaxy using cosmological hydrodynamics simulations. Our goal is to explore whether the progenitors of the lowest mass dwarf galaxies known to harbor neutral hydrogen today (M_star~10^6 solar mass, M_halo=4x10^9 solar mass) could possibly be detected as Damped Lyman-alpha Absorbers (DLAs) over cosmic time. We trace the evolution of a single dwarf galaxy, pre-selected to contain DLAs, from the era of the first metal-free, so-called Population~III (Pop~III), stars, down to z=0, thus allowing us to study the metal enrichment history of DLAs associated with the simulated galaxy. We find that the progenitors of the simulated dwarf are expected to be seen for most of their evolution as DLAs that are contaminated by normal, Population~II, stars. The time period during which DLAs are only metal-enriched by Pop~III stars, on the other hand, is likely very brief, confined to high redshifts, z~6. The susceptibility of the dwarfs to the external UV radiation background allows them to preserve neutral gas only at the centre (a few ~100 pc). This results in a small probability that the simulated dwarf would be observed as a DLA. This study suggests that DLAs are unlikely to be hosted in the lowest mass dwarfs that can harbor neutral gas (M_halo~ 4x10^9 solar mass), below which neutral gas is unlikely to exist. However, this study does illustrate that, when detected, absorption lines provide a powerful method for probing ISM conditions inside the smallest dwarf galaxies at intermediate to high redshifts.


title: On the Super-Renormalizablity of Quantum Gravity in the Linear Approximation

abstract: We compute the one-loop contributions of the chronological products for massless gravity in the second order of the perturbation theory. We prove that the loop contributions are coboundaries i.e. expressions which give zero when averaged on physical states. We conjecture that such a result should be true in higher orders of the perturbation theory also. This result should make easier the problem of constructive quantum field theory.


title: Measuring and simulating latency in interactive remote rendering systems

abstract: Background: The computationally intensive task of real-time rendering can be offloaded to remote cloud systems. However, due to network latency, interactive remote rendering (IRR) introduces the challenge of interaction latency (IL), which is the time between an action and response to that action. Objectives: to model sources of latency, measure it in a real-world network and to use this understanding to simulate latency so that we have a controlled platform for experimental work in latency management. Method: we present a seven-parameter model of latency for a typical IRR system; we describe new, minimally intrusive software methods for measuring latency in a 3D graphics environment and create a novel latency simulator tool in software. Results: We demonstrate our latency simulator is comparable to real-world behavior and confirm that real-world latency exceeds the interactive limit of 70ms over long distance connections. We also find that current approaches to measuring IL are not general enough for most situations and therefore propose a novel general-purpose solution. Conclusion: to ameliorate latency in IRR systems we need controllable simulation tools for experimentation. In addition to a new measurement technique, we propose a new approach that will be of interest to IRR researchers and developers when designing IL compensation techniques.


title: BERT with History Answer Embedding for Conversational Question Answering

abstract: Conversational search is an emerging topic in the information retrieval community. One of the major challenges to multi-turn conversational search is to model the conversation history to answer the current question. Existing methods either prepend history turns to the current question or use complicated attention mechanisms to model the history. We propose a conceptually simple yet highly effective approach referred to as history answer embedding. It enables seamless integration of conversation history into a conversational question answering (ConvQA) model built on BERT (Bidirectional Encoder Representations from Transformers). We first explain our view that ConvQA is a simplified but concrete setting of conversational search, and then we provide a general framework to solve ConvQA. We further demonstrate the effectiveness of our approach under this framework. Finally, we analyze the impact of different numbers of history turns under different settings to provide new insights into conversation history modeling in ConvQA.


title: Coefficients of the Inverse Functions and Radius Estimates of Certain Starlike Functions

abstract: Ma-Minda class (of starlike functions) consists of all normalized analytic functions $f$ on the unit disk for which the image of $zf'(z)/f(z)$ is contained in the some starlike region in the right-half plane. We obtain the best possible bounds on the second and third coefficient for the inverse functions of functions in the Ma-Minda class. The bounds on the Fekete-Szeg\"o functional and the second Hankel determinant of the inverse functions of the functions belonging to the Ma-Minda class are also determined. Further, the bounds on the first five coefficients of the inverse functions are investigated for two particular subclasses of the Ma-Minda class. In addition, some radius estimates associated with the two subclasses are also computed.


title: Radio jet structures at ~100 parsec and larger scales of the $\gamma$-ray-emitting narrow-line Seyfert 1 galaxy PMN J0948+0022

abstract: The narrow-line Seyfert 1 (NLS1) galaxy PMN J0948+0022 is an archetype of gamma-ray-emitting NLS1s in active galactic nuclei (AGNs). In this study, we investigate its radio structures using archival data obtained using the Karl G.~Jansky very large array (VLA) and the very long baseline array (VLBA). The new VLA images reveal an outermost radio emission separated by 9.1 arcsec. Its resolved structure and steep spectrum suggest a terminal shock in a radio lobe energized by the jet from the PMN J0948+0022 nucleus. This large-scale radio component is found at almost the same position angle as that of the pc-scale jet, indicating a stable jet direction up to ~1 Mpc. Its apparent one-sidedness implies a moderate advancing speed ($\beta>0.27$). The kinematic age of 1 x 10^7 year of the jet activity is consistent with the expected NLS1 phase of ~10^7 year in the AGN lifetime. The VLBA image reveals the jet structure at distances ranging from r=0.82 milliarcsec to 3.5 milliarcsec, corresponding to approximately 100 pc, where superluminal motions were found. The jet width profile ($\propto r^{1.12}$) and flux-density profile ($\propto r^{-1.44}$) depending on the distance $r$ along the jet suggest that the jet kinetic energy is converted into internal energy in this region. The jet is causally connected in a nearly conical streamline, which is supported by ambient pressure at 100 pc scales in the host galaxy of PMN J0948+0022.


title: Optimal rearrangement problem and normalized obstacle problem in the fractional setting

abstract: We consider an optimal rearrangement minimization problem involving the fractional Laplace operator $(-\Delta)^s$, $0<s<1$, and Gagliardo-Nirenberg seminorm $|u|_s$. We prove the existence of the unique minimizer, analyze its properties as well as derive the non-local and highly non-linear PDE it satisfies $$ -(-\Delta)^s U-\chi_{\{U\leq 0\}}\min\{-(-\Delta)^s U^+;1\}=\chi_{\{U>0\}}, $$ which happens to be the fractional analogue of the normalized obstacle problem $\Delta u=\chi_{\{u>0\}}$. A new section analyzing $s \to 1$ has been added.


title: Expression Conditional GAN for Facial Expression-to-Expression Translation

abstract: In this paper, we focus on the facial expression translation task and propose a novel Expression Conditional GAN (ECGAN) which can learn the mapping from one image domain to another one based on an additional expression attribute. The proposed ECGAN is a generic framework and is applicable to different expression generation tasks where specific facial expression can be easily controlled by the conditional attribute label. Besides, we introduce a novel face mask loss to reduce the influence of background changing. Moreover, we propose an entire framework for facial expression generation and recognition in the wild, which consists of two modules, i.e., generation and recognition. Finally, we evaluate our framework on several public face datasets in which the subjects have different races, illumination, occlusion, pose, color, content and background conditions. Even though these datasets are very diverse, both the qualitative and quantitative results demonstrate that our approach is able to generate facial expressions accurately and robustly.


title: Fast assembly of Galerkin matrices for 3D solid laminated composites using finite element and isogeometric discretizations

abstract: This work presents a novel methodology for speeding up the assembly of stiffness matrices for laminate composite 3D structures in the context of isogeometric and finite element discretizations. By splitting the involved terms into their in-plane and out-of-plane contributions, this method computes the problems's 3D stiffness matrix as a combination of 2D (in-plane) and 1D (out-of-plane) integrals. Therefore, the assembly's computational complexity is reduced to the one of a 2D problem. Additionally, the number of 2D integrals to be computed becomes independent of the number of material layers that constitute the laminated composite, it only depends on the number of different materials used (or different orientations of the same anisotropic material). Hence, when a high number of layers is present, the proposed technique reduces by orders of magnitude the computational time required to create the stiffness matrix with standard methods, being the resulting matrices identical up to machine precision. The predicted performance is illustrated through numerical experiments.


title: Gorenstein graphic matroids

abstract: The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein.


title: Fermi-Bose mixtures and BCS-BEC crossover in high-Tc superconductors

abstract: In this review article we consider theoretically and give experimental support to the models of the Fermi-Bose mixtures and the BCS-BEC crossover compared with the strong-coupling approach, which can serve as the cornerstones on the way from high-temperature to room-temperature superconductivity in pressurized metallic hydrides. We discuss some key theoretical ideas and mechanisms proposed for unconventional superconductors (cuprates, pnictides, chalcogenides, bismuthates, diborides, heavy-fermions, organics, bilayer graphene, twisted graphene, oxide hetero-structures), superfluids and balanced or imbalanced ultracold Fermi gases in magnetic traps. We build a bridge between unconventional superconductors and recently discovered pressurized hydrides superconductors H3S and LaH10 with the critical temperature close to room temperature. We discuss systems with line of nodal Dirac points close to the Fermi surface, superconducting shape resonances and hyperbolic superconducting networks which are very important for the development of novel topological superconductors, for the energetics, for the applications in nano-electronics and quantum computations.


title: Towards a Skeleton-Based Action Recognition For Realistic Scenarios

abstract: Understanding human actions is a crucial problem for service robots. However, the general trend in Action Recognition is developing and testing these systems on structured datasets. That's why this work presents a practical Skeleton-based Action Recognition framework which can be used in realistic scenarios. Our results show that although non-augmented and non-normalized data may yield comparable results on the test split of the dataset, it is far from being useful on another dataset which is a manually collected data.


title: Search for a generic heavy Higgs at the LHC

abstract: A generic heavy Higgs has both dim-4 and effective dim-6 interactions with the Standard Model (SM) particles. The former has been the focus of LHC searches in all major Higgs production channels, just as the SM one, but with negative results so far. If the heavy Higgs is connected with Beyond Standard Model (BSM) physics at a few TeV scale, its dim-6 operators will play a very important role - they significantly enhance the Higgs momentum, and reduce the SM background in a special phase space corner to a level such that a heavy Higgs emerges, which is not possible with dim-4 operators only. We focus on the associated VH production channel, where the effect of dim-6 operators is the largest and the SM background is the lowest. Main search regions for this type of signal are identified, and substructure variables of boosted jets are employed to enhance the signal from backgrounds. The parameter space of these operators are scanned over, and expected exclusion regions with 300 fb$^{-1}$ and 3 ab$^{-1}$ LHC data are shown, if no BSM is present. The strategy given in this paper will shed light on a heavy Higgs which may be otherwise hiding in the present and future LHC data.


title: Critical cones for sufficient second order conditions in PDE constrained optimization

abstract: In this paper, we analyze optimal control problems governed by semilinear parabolic equations. Box constraints for the controls are imposed and the cost functional involves the state and possibly a sparsity-promoting term, but not a Tikhonov regularization term. Unlike finite dimensional optimization or control problems involving Tikhonov regularization, second order sufficient optimality conditions for the control problems we deal with must be imposed in a cone larger than the one used to obtain necessary conditions. Different extensions of this cone have been proposed in the literature for different kinds of minima: strong or weak minimizers for optimal control problems. After a discussion on these extensions, we propose a new extended cone smaller than those considered until now. We prove that a second order condition based on this new cone is sufficient for a strong local minimum.


title: Stochastic methods for solving high-dimensional partial differential equations

abstract: We propose algorithms for solving high-dimensional Partial Differential Equations (PDEs) that combine a probabilistic interpretation of PDEs, through Feynman-Kac representation, with sparse interpolation. Monte-Carlo methods and time-integration schemes are used to estimate pointwise evaluations of the solution of a PDE. We use a sequential control variates algorithm, where control variates are constructed based on successive approximations of the solution of the PDE. Two different algorithms are proposed, combining in different ways the sequential control variates algorithm and adaptive sparse interpolation. Numerical examples will illustrate the behavior of these algorithms.


title: Quadratic life span of periodic gravity-capillary water waves

abstract: We consider the gravity-capillary water waves equations for a bi-dimensional fluid with a periodic one-dimensional free surface. We prove a rigorous reduction of this system to Birkhoff normal form up to cubic degree. Due to the possible presence of 3-waves resonances for general values of gravity, surface tension and depth, such normal form may be not trivial and exhibit a chaotic dynamics (Wilton-ripples). Nevertheless we prove that for all the values of gravity, surface tension and depth, initial data that are of size $\epsilon$ in a sufficiently smooth Sobolev space lead to a solution that remains in an $\epsilon$-ball of the same Sobolev space up to times of order $\epsilon^{-2}$. We exploit that the $3$-waves resonances are finitely many, and the Hamiltonian nature of the Birkhoff normal form.


title: Panoramic Annular Localizer: Tackling the Variation Challenges of Outdoor Localization Using Panoramic Annular Images and Active Deep Descriptors

abstract: Visual localization is an attractive problem that estimates the camera localization from database images based on the query image. It is a crucial task for various applications, such as autonomous vehicles, assistive navigation and augmented reality. The challenging issues of the task lie in various appearance variations between query and database images, including illumination variations, dynamic object variations and viewpoint variations. In order to tackle those challenges, Panoramic Annular Localizer into which panoramic annular lens and robust deep image descriptors are incorporated is proposed in this paper. The panoramic annular images captured by the single camera are processed and fed into the NetVLAD network to form the active deep descriptor, and sequential matching is utilized to generate the localization result. The experiments carried on the public datasets and in the field illustrate the validation of the proposed system.


title: Viscosity solution of system of integro-partial differential equations with interconnected obstacles of non-local type without Monotonicity Conditions

abstract: In this paper, we study a system of second order integro-partial differential equations with interconnected obstacles with non-local terms, related to an optimal switching problem with the jump-diffusion model. Getting rid of the monotonicity condition on the generators with respect to the jump component, we construct a continuous viscosity solution which is unique in the class of functions with polynomial growth. In our study, the main tool is the notion of reflected backward stochastic differential equations with jumps with interconnected obstacles for which we show the existence of a solution.


title: Uniformizing surfaces via discrete harmonic maps

abstract: We show that for any closed surface of genus greater than one and for any finite weighted graph filling the surface, there exists a hyperbolic metric which realizes the least Dirichlet energy harmonic embedding of the graph among a fixed homotopy class and all hyperbolic metrics on the surface. We give explicit examples of such hyperbolic surfaces through a new interpretation of the Nielsen realization problem for the mapping class groups.


title: Observation of CP violation in charm decays at LHCb

abstract: A search for charge-parity (CP) violation in $D^0 \to K^- K^+$ and $D^0 \to \pi^-\pi^+$ decays is reported, using $pp$ collision data corresponding to an integrated luminosity of 5.9 $\mathrm{fb}^{-1}$ collected at a center-of-mass energy of 13 TeV with the LHCb detector. The flavor of the $D^0$ meson is determined from the charge of the pion in $D^*(2010)^+ \to D^0 \pi^+$ decays or from the charge of the muon in $\kern 0.18em\overline{\kern -0.18em B}{} \to D^0 \mu^- \bar{\nu}_\mu X$ decays. The difference between the CP asymmetries in $D^0 \to K^- K^+$ and $D^0 \to \pi^-\pi^+$ decays is measured to be $\Delta A_{\rm CP} = [ -18.2 \pm 3.2\,(\rm stat.) \pm 0.9\,(\rm syst.) ] \times 10^{-4}$ for $\pi$-tagged and $\Delta A_{\rm CP} = [ -9 \pm 8\,(\rm stat.) \pm 5\,(\rm syst.) ] \times 10^{-4} $ for $\mu$-tagged $D^0$ mesons. The combination with previous LHCb results leads to $$\Delta A_{\rm CP} = ( -15.4 \pm 2.9) \times 10^{-4},$$ where the uncertainty includes both statistical and systematic contributions. The measured value differs from zero by more than five standard deviations. This is the first observation of CP violation in the decay of charm hadrons.


title: A Solvable Two-dimensional Optimal Stopping Problem in the Presence of Ambiguity

abstract: According to conventional wisdom, ambiguity accelerates optimal timing by decreasing the value of waiting in comparison with the unambiguous benchmark case. We study this mechanism in a multidimensional setting and show that in a multifactor model ambiguity does not only influence the rate at which the underlying processes are expected to grow, it also affects the rate at which the problem is discounted. This mechanism where nature also selects the rate at which the problem is discounted cannot appear in a one-dimensional setting and as such we identify an indirect way of how ambiguity affects optimal timing.


title: KOOLS--IFU: Kyoto Okayama Optical Low-dispersion Spectrograph with Optical-Fiber Integral Field Unit

abstract: Observations of transient objects, such as short gamma-ray bursts (GRBs) and electromagnetic counterparts of gravitational wave sources, require prompt spectroscopy. To carry out prompt spectroscopy, we developed an optical-fiber integral field unit (IFU) and connected it with an existing optical spectrograph KOOLS. KOOLS with IFU, hereafter KOOLS--IFU, was mounted on the Okayama Astrophysical Observatory 188-cm telescope. The fiber core and cladding diameters of the fiber bundle are 100 $\mu$m and 125 $\mu$m, respectively, and 127 fibers are hexagonally close-packed in the sleeve of the two-dimensional (2D) fiber array. We conducted test observations to measure the KOOLS--IFU performance and obtained the following conclusions: (1) the spatial sampling is 2''.34 $\pm$ 0''.05 per fiber, and the total field of view (FoV) is 30''.4 $\pm$ 0''.65 with 127 fibers; (2) the observable wavelength and the spectral resolving power of the grisms of KOOLS are 4030--7310 A and 400--600; 5020--8830 A and 600--900; 4160--6000 A and 1000--1200; and 6150--7930 A and 1800--2400, respectively; and (3) the estimated limiting magnitude is 18.2--18.7 AB mag during 30-min exposure under the optimal condition.


title: A TDMA-like Access Scheme with Splitting Request and Transmission for Vehicular Networks

abstract: In this paper, we consider safety message transmission in a dense vehicular network. With increasing vehicular network density, the collision rate increases when multiple vehicles transmit safety messages simultaneously. To address this issue, we propose a request-transmission split time division multiple access (TDMA) scheme, referred to as RTS-TDMA. In our scheme, we divide a frame into three phases, i.e., a contention access phase, a broadcast feedback phase, and a contention-free transmission phase. Each vehicle selects a repetition rate according to a given probability distribution and repeats the transmission of its request packet to improve the reliability of the request. In addition, a roadside unit acts as the coordinator and uses a successive interference cancellation technique to resolve request collisions. RTS-TDMA also reduces the request time percentage by containing only the vehicle identity in each request packet. Both theoretical analysis and numerical results verify that the RTS-TDMA scheme can provide higher throughput than the coded slotted ALOHA scheme.


title: Quantum mechanical bound for efficiency of quantum Otto heat engine

abstract: The second law of thermodynamics constrains that the efficiency of heat engines, classical or quantum, cannot be greater than the universal Carnot efficiency. We discover another bound for the efficiency of a quantum Otto heat engine consisting of a harmonic oscillator. Dynamics of the engine is governed by the Lindblad equation for the density matrix, which is mapped to the Fokker-Planck equation for the quasi-probability distribution. Applying stochastic thermodynamics to the Fokker-Planck equation system, we obtain the $\hbar$-dependent quantum mechanical bound for the efficiency. It turns out that the bound is tighter than the Carnot efficiency. The engine achieves the bound in the low temperature limit where quantum effects dominate. Our work demonstrates that quantum nature could suppress the performance of heat engines in terms of efficiency bound, work and power output.


title: An Effective Semiclassical Approach to IR Spectroscopy

abstract: We present a novel approach to calculate molecular IR spectra based on semiclassical molecular dynamics. The main advance from a previous semiclassical method [M. Micciarelli, R. Conte, J. Suarez, M. Ceotto J. Chem. Phys. 149, 064115 (2018)] consists in the possibility to avoid state-to-state calculations making applications to systems characterized by sizable densities of vibrational states feasible. Furthermore, this new method accounts not only for positions and intensities of the several absorption bands which make up the IR spectrum, but also for their shapes. We show that accurate semiclassical IR spectra including quantum effects and anharmonicities for both frequencies and intensities can be obtained starting from semiclassical power spectra. The approach is first tested against the water molecule, and then applied to the 10-atom glycine aminoacid.


title: Joint Power Control and Rate Allocation enabling Ultra-Reliability and Energy Efficiency in SIMO Wireless Networks

abstract: Coming cellular systems are envisioned to open up to new services with stringent reliability and energy efficiency requirements. In this paper we focus on the joint power control and rate allocation problem in Single-Input Multiple-Output (SIMO) wireless systems with Rayleigh fading and stringent reliability constraints. We propose an allocation scheme that maximizes the energy efficiency of the system while making use only of average statistics of the signal and interference, and the number of antennas $M$ that are available at the receiver side. We show the superiority of the Maximum Ratio Combining (MRC) scheme over Selection Combining (SC) in terms of energy efficiency, and prove that the gap between the optimum allocated resources converges to $(M!)^(1/(2M))$ as the reliability constraint becomes more stringent. Meanwhile, in most cases MRC was also shown to be more energy efficient than Switch and Stay Combining (SSC) scheme, although this does not hold only when operating with extremely large $M$, extremely high/small average signal/interference power and/or highly power consuming receiving circuitry. Numerical results show the feasibility of the ultra-reliable operation when $M$ increases, while greater the fixed power consumption and/or drain efficiency of the transmit amplifier is, the greater the optimum transmit power and rate.


title: Deep Gaussian Processes with Importance-Weighted Variational Inference

abstract: Deep Gaussian processes (DGPs) can model complex marginal densities as well as complex mappings. Non-Gaussian marginals are essential for modelling real-world data, and can be generated from the DGP by incorporating uncorrelated variables to the model. Previous work on DGP models has introduced noise additively and used variational inference with a combination of sparse Gaussian processes and mean-field Gaussians for the approximate posterior. Additive noise attenuates the signal, and the Gaussian form of variational distribution may lead to an inaccurate posterior. We instead incorporate noisy variables as latent covariates, and propose a novel importance-weighted objective, which leverages analytic results and provides a mechanism to trade off computation for improved accuracy. Our results demonstrate that the importance-weighted objective works well in practice and consistently outperforms classical variational inference, especially for deeper models.


title: Nonconvex fraction function recovery sparse signal by convex optimization algorithm

abstract: In this paper, we will generate a convex iterative FP thresholding algorithm to solve the problem $(FP^{\lambda}_{a})$. Two schemes of convex iterative FP thresholding algorithms are generated. One is convex iterative FP thresholding algorithm-Scheme 1 and the other is convex iterative FP thresholding algorithm-Scheme 2. A global convergence theorem is proved for the convex iterative FP thresholding algorithm-Scheme 1. Under an adaptive rule, the convex iterative FP thresholding algorithm-Scheme 2 will be adaptive both for the choice of the regularized parameter $\lambda$ and parameter $a$. These are the advantages for our two schemes of convex iterative FP thresholding algorithm compared with our previous proposed two schemes of iterative FP thresholding algorithm. At last, we provide a series of numerical simulations to test the performance of the convex iterative FP thresholding algorithm-Scheme 2, and the simulation results show that our convex iterative FP thresholding algorithm-Scheme 2 performs very well in recovering a sparse signal.


title: Estimating Socioeconomic Status via Temporal-Spatial Mobility Analysis -- A Case Study of Smart Card Data

abstract: The notion of socioeconomic status (SES) of a person or family reflects the corresponding entity's social and economic rank in society. Such information may help applications like bank loaning decisions and provide measurable inputs for related studies like social stratification, social welfare and business planning. Traditionally, estimating SES for a large population is performed by national statistical institutes through a large number of household interviews, which is highly expensive and time-consuming. Recently researchers try to estimate SES from data sources like mobile phone call records and online social network platforms, which is much cheaper and faster. Instead of relying on these data about users' cyberspace behaviors, various alternative data sources on real-world users' behavior such as mobility may offer new insights for SES estimation. In this paper, we leverage Smart Card Data (SCD) for public transport systems which records the temporal and spatial mobility behavior of a large population of users. More specifically, we develop S2S, a deep learning based approach for estimating people's SES based on their SCD. Essentially, S2S models two types of SES-related features, namely the temporal-sequential feature and general statistical feature, and leverages deep learning for SES estimation. We evaluate our approach in an actual dataset, Shanghai SCD, which involves millions of users. The proposed model clearly outperforms several state-of-art methods in terms of various evaluation metrics.


title: Nonlocal conductance spectroscopy of Andreev bound states: Symmetry relations and BCS charges

abstract: Two-terminal conductance spectroscopy of superconducting devices is a common tool for probing Andreev and Majorana bound states. Here, we study theoretically a three-terminal setup, with two normal leads coupled to a grounded superconducting terminal. Using a single-electron scattering matrix, we derive the subgap conductance matrix for the normal leads and discuss its symmetries. In particular, we show that the local and the nonlocal elements of the conductance matrix have pairwise identical antisymmetric components. Moreover, we find that the nonlocal elements are directly related to the local BCS charges of the bound states close to the normal probes and we show how the BCS charge of overlapping Majorana bound states can be extracted from experiments.


title: Atmospheric aerosol attenuation effect on FD data analysis at the Pierre Auger Observatory

abstract: The atmospheric aerosol monitoring system of the Pierre Auger Observatory has been operating smoothly since 2004. Two laser facilities (Central Laser Facility, CLF and eXtreme Laser Facility, XLF) fire sets of 50 shots four times per hour during FD shifts to measure the highly variable hourly aerosol attenuation to correct the longitudinal UV light profiles of the Extensive Air Showers detected by the Fluorescence Detector. Hourly aerosol attenuation loads (Vertical Aerosol Optical Depth) are used to correct the measured profiles. Two techniques are used to determine the aerosol profiles, which have been proven to be fully compatible. The uncertainty in the VAOD profiles measured consequently leads to an uncertainty on the energy and on the estimation of the depth at the maximum development of a shower (X max ) of the event in analysis. To prove the validity of the aerosol attenuation measurements used in FD event analysis, the flatness of the ratio of reconstructed SD to FD energy as a function of the aerosol transmission to the depth of shower maximum has been verified.


title: Beam-deconvolved Planck LFI maps

abstract: The Planck Collaboration made its final data release in 2018. In this paper we describe beam-deconvolution map products made from Planck LFI data using the artDeco deconvolution code to symmetrize the effective beam. The deconvolution results are auxiliary data products, available through the Planck Legacy Archive. Analysis of these deconvolved survey difference maps reveals signs of residual signal in the 30-GHz and 44-GHz frequency channels. We produce low-resolution maps and corresponding noise covariance matrices (NCVMs). The NCVMs agree reasonably well with the half-ring noise estimates except for 44 GHz, where we observe an asymmetry between $EE$ and $BB$ noise spectra, possibly a sign of further unresolved systematics.


title: Revisiting Precision and Recall Definition for Generative Model Evaluation

abstract: In this article we revisit the definition of Precision-Recall (PR) curves for generative models proposed by Sajjadi et al. (arXiv:1806.00035). Rather than providing a scalar for generative quality, PR curves distinguish mode-collapse (poor recall) and bad quality (poor precision). We first generalize their formulation to arbitrary measures, hence removing any restriction to finite support. We also expose a bridge between PR curves and type I and type II error rates of likelihood ratio classifiers on the task of discriminating between samples of the two distributions. Building upon this new perspective, we propose a novel algorithm to approximate precision-recall curves, that shares some interesting methodological properties with the hypothesis testing technique from Lopez-Paz et al (arXiv:1610.06545). We demonstrate the interest of the proposed formulation over the original approach on controlled multi-modal datasets.


title: LSANet: Feature Learning on Point Sets by Local Spatial Aware Layer

abstract: Directly learning features from the point cloud has become an active research direction in 3D understanding. Existing learning-based methods usually construct local regions from the point cloud and extract the corresponding features. However, most of these processes do not adequately take the spatial distribution of the point cloud into account, limiting the ability to perceive fine-grained patterns. We design a novel Local Spatial Aware (LSA) layer, which can learn to generate Spatial Distribution Weights (SDWs) hierarchically based on the spatial relationship in local region for spatial independent operations, to establish the relationship between these operations and spatial distribution, thus capturing the local geometric structure sensitively.We further propose the LSANet, which is based on LSA layer, aggregating the spatial information with associated features in each layer of the network better in network design.The experiments show that our LSANet can achieve on par or better performance than the state-of-the-art methods when evaluating on the challenging benchmark datasets. For example, our LSANet can achieve 93.2% accuracy on ModelNet40 dataset using only 1024 points, significantly higher than other methods under the same conditions. The source code is available at https://github.com/LinZhuoChen/LSANet.


title: Superposition of macroscopically squeezed states with enhanced squeezing in cavity optomechanical system at single-photon level

abstract: We propose an efficient approach to generate the superposed macroscopically squeezed states with enhanced squeezing in a two-mode optomechanical system. This can be achieved by introducing a sinusoidal modulation to either the cavity frequencies or the coupling strengths between two cavity modes. The squeezement of the oscillator can be significantly enhanced to 12.16 dB with single photon, once the relative ratio of coupling strength is optimized under proper conditions. Further enhanced squeezing can be obtained by carefully adjusting the system parameters. In terms of the Wigner quasi-probability distribution, we show the squeezed error ellipses and interference fringes of the Yurke-Stoler-type squeezed states, denoting the squeezing and superposition properties. Our state generation scheme show reliable performance and robust resistance to finite environmental fluctuations, which implies applications for both fundamental interest and practical value.


title: NGO-GM: Natural Gradient Optimization for Graphical Models

abstract: This paper deals with estimating model parameters in graphical models. We reformulate it as an information geometric optimization problem and introduce a natural gradient descent strategy that incorporates additional meta parameters. We show that our approach is a strong alternative to the celebrated EM approach for learning in graphical models. Actually, our natural gradient based strategy leads to learning optimal parameters for the final objective function without artificially trying to fit a distribution that may not correspond to the real one. We support our theoretical findings with the question of trend detection in financial markets and show that the learned model performs better than traditional practitioner methods and is less prone to overfitting.


title: Transition Subspace Learning based Least Squares Regression for Image Classification

abstract: Only learning one projection matrix from original samples to the corresponding binary labels is too strict and will consequentlly lose some intrinsic geometric structures of data. In this paper, we propose a novel transition subspace learning based least squares regression (TSL-LSR) model for multicategory image classification. The main idea of TSL-LSR is to learn a transition subspace between the original samples and binary labels to alleviate the problem of overfitting caused by strict projection learning. Moreover, in order to reflect the underlying low-rank structure of transition matrix and learn more discriminative projection matrix, a low-rank constraint is added to the transition subspace. Experimental results on several image datasets demonstrate the effectiveness of the proposed TSL-LSR model in comparison with state-of-the-art algorithms


title: D2D Assisted Beamforming for Coded Caching

abstract: Device-to-device (D2D) aided beamforming for coded caching is considered in finite signal-to-noise ratio regime. A novel beamforming scheme is proposed where the local cache content exchange among nearby users is exploited. The transmission is split into two phases: local D2D content exchange and downlink transmission. In the D2D phase, users can autonomously share content with the adjacent users. The downlink phase utilizes multicast beamforming to simultaneously serve all users to fulfill the remaining content requests. We first explain the main procedure via two simple examples and then present the general formulation. Furthermore, D2D transmission scenarios and conditions useful for minimizing the overall delivery time are identified. We also investigate the benefits of using D2D transmission for decreasing the transceiver complexity of multicast beamforming. By exploiting the direct D2D exchange of file fragments, the common multicasting rate for delivering the remaining file fragments in the downlink phase is increased providing greatly enhanced overall content delivery performance.


title: Volume function over a trivially valued field

abstract: We introduce an adelic Cartier divisor over a trivially valued field and discuss the bigness of it. For bigness, we give the integral representation of the arithmetic volume and prove the existence of limit of it. Moreover, we show that the arithmetic volume is continuous and log concave.


title: Inverse Design Based on Nonlinear Thermoelastic Material Models Applied to Injection Molding

abstract: This paper describes an inverse shape design method for thermoelastic bodies. With a known equilibrium shape as input, the focus of this paper is the determination of the corresponding initial shape of a body undergoing thermal expansion or contraction, as well as nonlinear elastic deformations. A distinguishing feature of the described method lies in its capability to approximately prescribe an initial heterogeneous temperature distribution as well as an initial stress field even though the initial shape is unknown. At the core of the method, there is a system of nonlinear partial differential equations. They are discretized and solved with the finite element method or isogeometric analysis. In order to better integrate the method with application-oriented simulations, an iterative procedure is described that allows fine-tuning of the results. The method was motivated by an inverse cavity design problem in injection molding applications. Its use in this field is specifically highlighted, but the general description is kept independent of the application to simplify its adaptation to a wider range of use cases.


title: UAV Swarm-Enabled Aerial CoMP: A Physical Layer Security Perspective

abstract: Unlike aerial base station enabled by a single unmanned aerial vehicle (UAV), aerial coordinated multiple points (CoMP) can be enabled by a UAV swarm. In this case, the management of multiple UAVs is important. This paper considers the power allocation strategy for a UAV swarm-enabled aerial network to enhance the physical layer security of the downlink transmission, where an eavesdropper moves following the trajectory of the swarm for better eavesdropping. Unlike existing works, we use only the large-scale channel state information (CSI) and maximize the secrecy throughput in a whole-trajectory-oriented manner. The overall transmission energy constraint on each UAV and the total transmission duration for all the legitimate users are considered. The non-convexity of the formulated problem is solved by using max-min optimization with iteration. Both the transmission power of desired signals and artificial noise (AN) are derived iteratively. Simulation results are presented to validate the effectiveness of our proposed power allocation algorithm and to show the advantage of aerial CoMP by using only the large-scale CSI.


title: Fixed-price Diffusion Mechanism Design

abstract: We consider a fixed-price mechanism design setting where a seller sells one item via a social network, but the seller can only directly communicate with her neighbours initially. Each other node in the network is a potential buyer with a valuation derived from a common distribution. With a standard fixed-price mechanism, the seller can only sell the item among her neighbours. To improve her revenue, she needs more buyers to join in the sale. To achieve this, we propose the very first fixed-price mechanism to incentivize the seller's neighbours to inform their neighbours about the sale and to eventually inform all buyers in the network to improve seller's revenue. Compared with the existing mechanisms for the same purpose, our mechanism does not require the buyers to reveal their valuations and it is computationally easy. More importantly, it guarantees that the improved revenue is at least 1/2 of the optimal.


title: Moment-Based Variational Inference for Markov Jump Processes

abstract: We propose moment-based variational inference as a flexible framework for approximate smoothing of latent Markov jump processes. The main ingredient of our approach is to partition the set of all transitions of the latent process into classes. This allows to express the Kullback-Leibler divergence between the approximate and the exact posterior process in terms of a set of moment functions that arise naturally from the chosen partition. To illustrate possible choices of the partition, we consider special classes of jump processes that frequently occur in applications. We then extend the results to parameter inference and demonstrate the method on several examples.


title: ADMM-based multi-parameter wavefield reconstruction inversion in VTI acoustic media with TV regularization

abstract: Full waveform inversion (FWI) is a nonlinear waveform matching procedure, which suffers from cycle skipping when the initial model is not kinematically-accurate enough. To mitigate cycle skipping, wavefield reconstruction inversion (WRI) extends the inversion search space by computing wavefields with a relaxation of the wave equation in order to fit the data from the first iteration. Then, the subsurface parameters are updated by minimizing the source residuals the relaxation generated. Capitalizing on the wave-equation bilinearity, performing wavefield reconstruction and parameter estimation in alternating mode decomposes WRI into two linear subproblems, which can solved efficiently with the alternating-direction method of multiplier (ADMM), leading to the so-called IR-WRI. Moreover, ADMM provides a suitable framework to implement bound constraints and different types of regularizations and their mixture in IR-WRI. Here, IR-WRI is extended to multiparameter reconstruction for VTI acoustic media. To achieve this goal, we first propose different forms of bilinear VTI acoustic wave equation. We develop more specifically IR-WRI for the one that relies on a parametrisation involving vertical wavespeed and Thomsen's parameters delta and epsilon. With a toy numerical example, we first show that the radiation patterns of the virtual sources generate similar wavenumber filtering and parameter cross-talks in classical FWI and IR-WRI. Bound constraints and TV regularization in IR-WRI fully remove these undesired effects for an idealized piecewise constant target. We show with a more realistic long-offset case study representative of the North Sea that anisotropic IR-WRI successfully reconstruct the vertical wavespeed starting from a laterally homogeneous model and update the long-wavelengths of the starting epsilon model, while a smooth delta model is used as a passive background model.


title: Multiservice UAVs for Emergency Tasks in Post-disaster Scenarios

abstract: UAVs are increasingly being employed to carry out surveillance, parcel delivery, communication-support and other specific tasks. Their equipment and mission plan are carefully selected to minimize the carried load an overall resource consumption. Typically, several single task UAVs are dispatched to perform different missions. In certain cases, (part of) the geographical area of operation may be common to these single task missions (such as those supporting post-disaster recovery) and it may be more efficient to have multiple tasks carried out as part of a single UAV mission using common or even additional specialized equipment. In this paper, we propose and investigate a joint planning of multitask missions leveraging a fleet of UAVs equipped with a standard set of accessories enabling heterogeneous tasks. To this end, an optimization problem is formulated yielding the optimal joint planning and deriving the resulting quality of the delivered tasks. In addition, a heuristic solution is developed for large-scale environments to cope with the increased complexity of the optimization framework. The developed joint planning of multitask missions is applied to a specific post-disaster recovery scenario of a flooding in the San Francisco area. The results show the effectiveness of the proposed solutions and the potential savings in the number of UAVs needed to carry out all the tasks with the required level of quality.


title: Robustification of deep net classifiers by key based diversified aggregation with pre-filtering

abstract: In this paper, we address a problem of machine learning system vulnerability to adversarial attacks. We propose and investigate a Key based Diversified Aggregation (KDA) mechanism as a defense strategy. The KDA assumes that the attacker (i) knows the architecture of classifier and the used defense strategy, (ii) has an access to the training data set but (iii) does not know the secret key. The robustness of the system is achieved by a specially designed key based randomization. The proposed randomization prevents the gradients' back propagation or the creating of a "bypass" system. The randomization is performed simultaneously in several channels and a multi-channel aggregation stabilizes the results of randomization by aggregating soft outputs from each classifier in multi-channel system. The performed experimental evaluation demonstrates a high robustness and universality of the KDA against the most efficient gradient based attacks like those proposed by N. Carlini and D. Wagner and the non-gradient based sparse adversarial perturbations like OnePixel attacks.


title: Diagram technique for the heat kernel of the covariant Laplace operator

abstract: We present a diagram technique used to calculate the Seeley-DeWitt coefficients for a covariant Laplace operator. We use the combinatorial properties of the coefficients to construct a matrix formalism and derive a formula for an arbitrary coefficient.


title: Hyperon I: Study of the $\Lambda(1405)$

abstract: Low-energy data on the three charge states in $\gamma p \to K^+(\Sigma\pi)$ from CLAS at JLab, on $K^-p\to \pi^0\pi^0\Lambda$ and $\pi^0\pi^0\Sigma$ from the Crystal Ball at BNL, bubble chamber data on $K^-p\to\pi^-\pi^+\pi^{\pm}\Sigma^{\mp}$, low-energy total cross sections on $K^-$ induced reactions, and data on the $K^-p$ atom are fitted with the BnGa partial-wave-analysis program. We find that the data can be fitted well with just one isoscalar spin-1/2 negative-parity pole, the $\Lambda(1405)$, and background contributions.


title: Asymptotic escape rates and limiting distributions for multimodal maps

abstract: We consider multimodal maps with holes and study the evolution of the open systems with respect to equilibrium states for both geometric and H\"older potentials. For small holes, we show that a large class of initial distributions share the same escape rate and converge to a unique absolutely continuous conditionally invariant measure; we also prove a variational principle connecting the escape rate to the pressure on the survivor set, with no conditions on the placement of the hole. Finally, introducing a weak condition on the centre of the hole, we prove scaling limits for the escape rate for holes centred at both periodic and nonperiodic points, as the diameter of the hole goes to zero.


title: Local Density Fluctuation Governs the Divergence of Viscosity underlying Elastic and Hydrodynamic Anomalies in a 2D Glass-Forming Liquid

abstract: If a liquid is cooled rapidly to form a glass, its structural relaxation becomes retarded, producing a drastic increase in viscosity. In two dimensions, strong long-wavelength fluctuations persist, even at low temperature, making it difficult to evaluate the microscopic structural relaxation time. This Letter shows that, in a 2D glass-forming liquid, relative displacement between neighbor particles yields a relaxation time that grows in proportion to the viscosity. In addition to thermal elastic vibrations, hydrodynamic fluctuations are found to affect the long-wavelength dynamics, yielding a logarithmically diverging diffusivity in the long-time limit.


title: Space-time duality for semi-fractional diffusions

abstract: Almost sixty years ago Zolotarev proved a duality result which relates an $\alpha$-stable density for $\alpha\in(1,2)$ to the density of a $\frac1{\alpha}$-stable distribution on the positive real line. In recent years Zolotarev duality was the key to show space-time duality for fractional diffusions stating that certain heat-type fractional equations with a fractional derivative of order $\alpha$ in space are equivalent to corresponding time-fractional differential equations of order $\frac1{\alpha}$. We review on this space-time duality and take it as a recipe for a generalization from the stable to the semistable situation.


title: Cognitive Graph for Multi-Hop Reading Comprehension at Scale

abstract: We propose a new CogQA framework for multi-hop question answering in web-scale documents. Inspired by the dual process theory in cognitive science, the framework gradually builds a \textit{cognitive graph} in an iterative process by coordinating an implicit extraction module (System 1) and an explicit reasoning module (System 2). While giving accurate answers, our framework further provides explainable reasoning paths. Specifically, our implementation based on BERT and graph neural network efficiently handles millions of documents for multi-hop reasoning questions in the HotpotQA fullwiki dataset, achieving a winning joint $F_1$ score of 34.9 on the leaderboard, compared to 23.6 of the best competitor.


title: Learning Generative Models across Incomparable Spaces

abstract: Generative Adversarial Networks have shown remarkable success in learning a distribution that faithfully recovers a reference distribution in its entirety. However, in some cases, we may want to only learn some aspects (e.g., cluster or manifold structure), while modifying others (e.g., style, orientation or dimension). In this work, we propose an approach to learn generative models across such incomparable spaces, and demonstrate how to steer the learned distribution towards target properties. A key component of our model is the Gromov-Wasserstein distance, a notion of discrepancy that compares distributions relationally rather than absolutely. While this framework subsumes current generative models in identically reproducing distributions, its inherent flexibility allows application to tasks in manifold learning, relational learning and cross-domain learning.


title: Qubit-Qutrit ($2 \otimes 3$) quantum systems: An investigation of some quantum correlations under collective dephasing

abstract: We revisit qubit-qutrit quantum systems under collective dephasing and answer some of the questions which have not been asked and addressed so far in the literature. In particular, we examine the possibilities of non-trivial phenomena of {\it time-invariant} entanglement and {\it freezing} dynamics of entanglement for this dimension of Hilbert space. Interestingly, we find that for qubit-qutrit systems both of these peculiar features coexist, that is, we observe not only time-invariant entanglement for certain quantum states but we find also find evidence that many quantum states freeze their entanglement after decaying for some time. To our knowledge, the existance of both these phenomena for one dimension of Hilbert space is not found so far. All previous studies suggest that if there is freezing dynamics of entanglement, then there is no time-invariant entanglement and vice versa. In addition, we study local quantum uncertainity and other correlations for certain families of states and discuss the interesting dynamics. Our study is an extension of similar studies for qubit-qubit systems, qubit-qutrit, and multipartite quantum systems.


title: Convergence of sequences of Schr\"odinger means

abstract: We study convergence almost everywhere of sequences of Schr\"odinger means. We also replace sequences by uncountable sets.


title: Sensitivity to neutrino-antineutrino transitions for boron neutrinos

abstract: Neutrino-antineutrino conversion is an important new physics process. The observation of this phenomenon could indicate total lepton number violation and potential CPT-violation. Searching for the appearance of electron antineutrinos from solar neutrinos from $\rm^8B$ decay allows us to hunt for this rare process, although it can also be explained by other mechanisms or hypotheses. This analysis examines the capabilities of observing neutrino-antineutrino transition from $\rm^8B$ unoscillated solar neutrinos using different liquid scintillator detector configurations. High energy reactor neutrinos and atmospheric neutrinos are the two dominant background sources. Large volume liquid scintillator detectors with deep underground shielding, placed far away from reactors and with capabilities of pulse shaped discrimination will significantly increase the search sensitivity. It is demonstrated that for the next generation of large liquid scintillator detectors being planned or under construction, the sensitivity to the average probability of neutrino-antineutrino transitions can reach $10^{-6}$, which is an order of magnitude better than the current best experimental limits.


title: Sharp Poincar\'e inequalities under Measure Contraction Property

abstract: We prove a sharp Poincar\'e inequality for subsets $\Omega$ of (essentially non-branching) metric measure spaces satisfying the Measure Contraction Property $\textrm{MCP}(K,N)$, whose diameter is bounded above by $D$. This is achieved by identifying the corresponding one-dimensional model densities and a localization argument, ensuring that the Poincar\'e constant we obtain is best possible as a function of $K$, $N$ and $D$. Another new feature of our work is that we do not need to assume that $\Omega$ is geodesically convex, by employing the geodesic hull of $\Omega$ on the energy side of the Poincar\'e inequality. In particular, our results apply to geodesic balls in ideal sub-Riemannian manifolds, such as the Heisenberg group.


title: Wilkinson's bus: Weak condition numbers, with an application to singular polynomial eigenproblems

abstract: We propose a new approach to the theory of conditioning for numerical analysis problems for which both classical and stochastic perturbation theory fail to predict the observed accuracy of computed solutions. To motivate our ideas, we present examples of problems that are discontinuous at a given input and have infinite classical and stochastic condition number, but where the solution is still computed to machine precision without relying on structured algorithms. Stimulated by the failure of classical and stochastic perturbation theory in capturing such phenomena, we define and analyse a weak worst-case and a weak stochastic condition number. This new theory is a more powerful predictor of the accuracy of computations than existing tools, especially when the worst-case and the expected sensitivity of a problem to perturbations of the input is not finite. We apply our analysis to the computation of simple eigenvalues of matrix polynomials, including the more difficult case of singular matrix polynomials. In addition, we show how the weak condition numbers can be estimated in practice.


title: Subdiffusive L\'evy flights in quantum nonlinear Schr\"odinger lattices with algebraic power nonlinearity

abstract: We report a new result concerning the dynamics of an initially localized wave packet in quantum nonlinear Schr\"odinger lattices with a disordered potential. A class of nonlinear lattices with subquadratic power nonlinearity is considered. We show that there exists a parameter range for which an initially localized wave packet can spread along the lattice to unlimited distances, but the phenomenon is purely quantum and is hindered in the corresponding classical lattices. The mechanism for this spreading assumes that the components of the wave field may form coupled states by tunneling under the topological barriers caused by multiple discontinuities in the operator space. Then these coupled states thought of as quasiparticle states can propagate to long distances on L\'evy flights with a distribution of waiting times. The overall process is subdiffusive and occurs as a competition between long-distance jumps of the quasiparticle states, on the one hand, and long-time trapping phenomena mediated by clustering of unstable modes in wave number space, on the other hand. The kinetic description of the transport, discussed in this work, is based on fractional-derivative equations allowing for both non-Markovianity of the spreading process as a result of attractive interaction among the unstable modes and the effect of long-range correlations in wave number space tending to introduce fast channels for the transport, the so-called stripes. We argue that the notion of stripes is key to understand the topological constraints behind the quantum spreading, and we involve the idea of stripy ordering to obtain self-consistently the parameters of the associated waiting-time and jump-length distributions. Finally, we predict the asymptotic laws for quantum transport and show that the relevant parameter determining these laws is the exponent of the power-law defining the type of the nonlinearity.


title: Graph-Based Decoding Model for Functional Alignment of Unaligned fMRI Data

abstract: Aggregating multi-subject functional magnetic resonance imaging (fMRI) data is indispensable for generating valid and general inferences from patterns distributed across human brains. The disparities in anatomical structures and functional topographies of human brains warrant aligning fMRI data across subjects. However, the existing functional alignment methods cannot handle well various kinds of fMRI datasets today, especially when they are not temporally-aligned, i.e., some of the subjects probably lack the responses to some stimuli, or different subjects might follow different sequences of stimuli. In this paper, a cross-subject graph that depicts the (dis)similarities between samples across subjects is used as a priori for developing a more flexible framework that suits an assortment of fMRI datasets. However, the high dimension of fMRI data and the use of multiple subjects makes the crude framework time-consuming or unpractical. To address this issue, we further regularize the framework, so that a novel feasible kernel-based optimization, which permits nonlinear feature extraction, could be theoretically developed. Specifically, a low-dimension assumption is imposed on each new feature space to avoid overfitting caused by the highspatial-low-temporal resolution of fMRI data. Experimental results on five datasets suggest that the proposed method is not only superior to several state-of-the-art methods on temporally-aligned fMRI data, but also suitable for dealing `with temporally-unaligned fMRI data.


title: An Improved Self-supervised GAN via Adversarial Training

abstract: We propose to improve unconditional Generative Adversarial Networks (GAN) by training the self-supervised learning with the adversarial process. In particular, we apply self-supervised learning via the geometric transformation on input images and assign the pseudo-labels to these transformed images. (i) In addition to the GAN task, which distinguishes data (real) versus generated (fake) samples, we train the discriminator to predict the correct pseudo-labels of real transformed samples (classification task). Importantly, we find out that simultaneously training the discriminator to classify the fake class from the pseudo-classes of real samples for the classification task will improve the discriminator and subsequently lead better guides to train generator. (ii) The generator is trained by attempting to confuse the discriminator for not only the GAN task but also the classification task. For the classification task, the generator tries to confuse the discriminator recognizing the transformation of its output as one of the real transformed classes. Especially, we exploit that when the generator creates samples that result in a similar loss (via cross-entropy) as that of the real ones, the training is more stable and the generator distribution tends to match better the data distribution. When integrating our techniques into a state-of-the-art Auto-Encoder (AE) based-GAN model, they help to significantly boost the model's performance and also establish new state-of-the-art Fr\'echet Inception Distance (FID) scores in the literature of unconditional GAN for CIFAR-10 and STL-10 datasets.


title: Stability conditions on morphisms in a category

abstract: Let $\mathrm{h}\mathscr{C}$ be the homotopy category of a stable infinity category $\mathscr{C}$. Then the homotopy category $\mathrm{h}\mathscr{C}^{\Delta^{1}}$ of morphisms in the stable infinity category $\mathscr{C}$ is also triangulated. Hence the space $\mathsf{Stab}\,{ \mathrm{h}\mathscr{C}^{\Delta^{1}}}$ of stability conditions on $\mathrm{h}\mathscr{C}^{\Delta^{1}}$ is well-defined though the non-emptiness of $\mathsf{Stab}\,{ \mathrm{h}\mathscr{C}^{\Delta^{1}}}$ is not obvious. Our basic motivation is a comparison of the homotopy type of $\mathsf{Stab}{\mathrm{h}\mathscr{C}}$ and that of $\mathsf{Stab}{\mathrm{h}\mathscr{C}^{\Delta^{1}}}$. Under the motivation we show that functors $d_{0}$ and $d_{1} \colon \mathscr{C}^{\Delta^{1}} \rightrightarrows \mathscr{C}$ induce continuous maps from $\mathsf{Stab} {\mathrm{h}\mathscr{C}}$ to $\mathsf{Stab}{\mathrm{h}\mathscr{C}^{\Delta^{1}}}$ contravariantly where $d_{0}$ (resp. $d_{1}$) takes a morphism to the target (resp. source) of the morphism. As a consequence, if $\mathsf{Stab}{\mathrm{h}\mathscr{C}}$ is nonempty then so is $\mathsf{Stab}{\mathrm{h}\mathscr{C}^{\Delta^{1}}}$. Assuming $\mathscr{C}$ is the derived infinity category of the projective line over a field, we further study basic properties of $d_{0}^{*} $ and $d_{1}^{*}$. In addition, we give an example of a derived category which does not have any stability condition.


title: Improving Neural Conversational Models with Entropy-Based Data Filtering

abstract: Current neural network-based conversational models lack diversity and generate boring responses to open-ended utterances. Priors such as persona, emotion, or topic provide additional information to dialog models to aid response generation, but annotating a dataset with priors is expensive and such annotations are rarely available. While previous methods for improving the quality of open-domain response generation focused on either the underlying model or the training objective, we present a method of filtering dialog datasets by removing generic utterances from training data using a simple entropy-based approach that does not require human supervision. We conduct extensive experiments with different variations of our method, and compare dialog models across 17 evaluation metrics to show that training on datasets filtered this way results in better conversational quality as chatbots learn to output more diverse responses.


title: Rayleigh-Benard convection in a nonuniformly rotating electrically conductive medium in an external spiral magnetic field

abstract: The research is devoted to the stability of convective flow in a nonuniformly rotating layer of an electrically conducting fluid in a spiral magnetic field. The stationary and oscillatory modes of magnetic convection are considered depending on the profile of the angular rotation velocity (Rossby number $\textrm{Ro}$) and on the profile of the external azimuthal magnetic field (magnetic Rossby number $\textrm{Rb}$). The nonlinear dynamic system of Lorentz type equations is obtained by using the Galerkin method. Numerical analysis of these equations has shown the presence of chaotic behavior of convective flows. The criteria of the occurrence of chaotic movements are found. It depends on the parameters of convection: dimensionless numbers of Rayleigh $\textrm{Ra}$, Chandrasekhar $\textrm{Q}$, Taylor $\textrm{Ta}$, and external azimuthal magnetic field with the Rossby magnetic number $\textrm{Rb}=-1$ for Rayleigh $(\textrm{Ro}=-1)$ and Kepler $(\textrm{Ro}=-3/4)$ profiles of the angular rotation velocity of the medium.


title: Spectral Stability Estimates of Dirichlet Divergence Form Elliptic Operators

abstract: We study spectral stability estimates of elliptic operators in divergence form $-\textrm{div} [A(w) \nabla g(w)]$ with the Dirichlet boundary condition in non-Lipschitz domains $\widetilde{\Omega} \subset \mathbb C$. The suggested method is based on connections of planar quasiconformal mappings with Sobolev spaces and its applications to the Poincar\'e inequalities.


title: Categories of coarse groups: quasi-homomorphisms and functorial coarse structures

abstract: Coarse geometry is the study of large-scale properties of spaces. In this paper we study group coarse structures (i.e., coarse structures on groups that agree with the algebraic structures), by using group ideals. We introduce a large class of examples of group coarse structures induced by cardinal invariants. In order to enhance the categorical treatment of the subject, we use quasi-homomorphisms, as a large-scale counterpart of homomorphisms. In particular, the localisation of a category plays a fundamental role. We then define the notion of functorial coarse structures and we give various examples of those structures.


title: Effective Cross-lingual Transfer of Neural Machine Translation Models without Shared Vocabularies

abstract: Transfer learning or multilingual model is essential for low-resource neural machine translation (NMT), but the applicability is limited to cognate languages by sharing their vocabularies. This paper shows effective techniques to transfer a pre-trained NMT model to a new, unrelated language without shared vocabularies. We relieve the vocabulary mismatch by using cross-lingual word embedding, train a more language-agnostic encoder by injecting artificial noises, and generate synthetic data easily from the pre-training data without back-translation. Our methods do not require restructuring the vocabulary or retraining the model. We improve plain NMT transfer by up to +5.1% BLEU in five low-resource translation tasks, outperforming multilingual joint training by a large margin. We also provide extensive ablation studies on pre-trained embedding, synthetic data, vocabulary size, and parameter freezing for a better understanding of NMT transfer.


title: Dynamics of Tipping Cascades on Complex Networks

abstract: Tipping points occur in diverse systems in various disciplines such as ecology, climate science, economy or engineering. Tipping points are critical thresholds in system parameters or state variables at which a tiny perturbation can lead to a qualitative change of the system. Many systems with tipping points can be modeled as networks of coupled multistable subsystems, e.g. coupled patches of vegetation, connected lakes, interacting climate tipping elements or multiscale infrastructure systems. In such networks, tipping events in one subsystem are able to induce tipping cascades via domino effects. Here, we investigate the effects of network topology on the occurrence of such cascades. Numerical cascade simulations with a conceptual dynamical model for tipping points are conducted on Erd\H{o}s-R\'enyi, Watts-Strogatz and Barab\'asi-Albert networks. Additionally, we generate more realistic networks using data from moisture-recycling simulations of the Amazon rainforest and compare the results to those obtained for the model networks. We furthermore use a directed configuration model and a stochastic block model which preserve certain topological properties of the Amazon network to understand which of these properties are responsible for its increased vulnerability. We find that clustering and spatial organization increase the vulnerability of networks and can lead to tipping of the whole network. These results could be useful to evaluate which systems are vulnerable or robust due to their network topology and might help to design or manage systems accordingly.


title: Higher order gravitational-wave modes with likelihood reweighting

abstract: The gravitational waveform of a merging stellar-mass binary is described at leading order by a quadrupolar mode. However, the complete waveform includes higher-order modes, which encode valuable information not accessible from the leading-order mode alone. Despite this, the majority of astrophysical inferences so far obtained with observations of gravitational waves employ only the leading order mode because calculations with higher-order modes are often computationally challenging. We show how to efficiently incorporate higher-order modes into astrophysical inference calculations with a two step procedure. First, we carry out Bayesian parameter estimation using a computationally cheap leading-order-mode waveform, which provides an initial estimate of binary parameters. Second, we weight the initial estimate using higher-order mode waveforms in order to fold in the extra information from the full waveform. We use mock data to demonstrate the effectiveness of this method. We apply the method to each binary black hole event in the first gravitational-wave transient catalog GWTC-1 to obtain posterior distributions and Bayesian evidence with higher-order modes. Performing Bayesian model selection on the events in GWTC-1, we find only a weak preference for waveforms with higher order modes. We discuss how this method can be generalized to a variety of other applications.


title: Parallel genetic algorithm for planning safe and optimal route for ship

abstract: The paper represents an algorithm for planning safe and optimal routes for transport facilities with unrestricted movement direction that travel within areas with obstacles. Paper explains the algorithm using a ship as an example of such a transport facility. This paper also provides a survey of several existing solutions for the problem. The method employs an evolutionary algorithm to plan several locally optimal routes and a parallel genetic algorithm to create the final route by optimising the abovementioned set of routes. The routes are optimized against the arrival time, assuming that the optimal route is the route with the lowermost arrival time. It is also possible to apply additional restriction to the routes.


title: The direct scattering problem for the perturbed $\textrm{Gr}(1, 2)_{\ge 0}$ Kadomtsev-Petviashvili solitons

abstract: Regular Kadomtsev-Petviashvili (KP) solitons have been investigated and classified successfully by the Grassmannian. We provide rigorous analysis for the direct scattering problem of perturbed $\textrm{Gr}(1, 2)_{\ge 0}$ KP solitons.


title: Regular points of extremal subsets in Alexandrov spaces

abstract: We define regular points of an extremal subset in an Alexandrov space and study their basic properties. We show that a neighborhood of a regular point in an extremal subset is almost isometric to an open subset in Euclidean space and that the set of regular points in an extremal subset has full measure and is dense in it. These results actually hold for strained points in an extremal subset. Applications include the volume convergence of extremal subsets under a noncollapsing convergence of Alexandrov spaces, and the existence of a cone fibration structure of a metric neighborhood of the regular part of an extremal subset. In an appendix, a deformation retraction of a metric neighborhood of a general extremal subset is constructed.


title: Collaborative Data Acquisition

abstract: We consider a requester who acquires a set of data (e.g. images) that is not owned by one party. In order to collect as many data as possible, crowdsourcing mechanisms have been widely used to seek help from the crowd. However, existing mechanisms rely on third-party platforms, and the workers from these platforms are not necessarily helpful and redundant data are also not properly handled. To combat this problem, we propose a novel crowdsourcing mechanism based on social networks, where the rewards of the workers are calculated by information entropy and a modified Shapley value. This mechanism incentivizes the workers from the network to not only provide all data they have but also further invite their neighbours to offer more data. Eventually, the mechanism is able to acquire all data from all workers on the network and the requester's cost is no more than the value of the data acquired. The experiments show that our mechanism outperforms traditional crowdsourcing mechanisms.


title: Rovibronic spectra of molecules dressed by light fields

abstract: The theory of rovibronic spectroscopy of light-dressed molecules is presented within the framework of quantum mechanically treated molecules interacting with classical light fields. Numerical applications are demonstrated for the homonuclear diatomic molecule Na$_2$, for which the general formulae can be simplified considerably and the physical processes leading to the light-dressed spectra can be understood straightforwardly. The physical origin of different peaks in the light-dressed spectrum of Na$_2$ is given and the light-dressed spectrum is investigated in terms of its dependence on the dressing field's intensity and wavelength, the turn-on time of the dressing field, and the temperature. The important implications of light-dressed spectroscopy on deriving field-free spectroscopic quantities are also discussed.


title: Shape optimization through proper orthogonal decomposition with interpolation and dynamic mode decomposition enhanced by active subspaces

abstract: We propose a numerical pipeline for shape optimization in naval engineering involving two different non-intrusive reduced order method (ROM) techniques. Such methods are proper orthogonal decomposition with interpolation (PODI) and dynamic mode decomposition (DMD). The ROM proposed will be enhanced by active subspaces (AS) as a pre-processing tool that reduce the parameter space dimension and suggest better sampling of the input space. We will focus on geometrical parameters describing the perturbation of a reference bulbous bow through the free form deformation (FFD) technique. The ROM are based on a finite volume method (FV) to simulate the multi-phase incompressible flow around the deformed hulls. In previous works we studied the reduction of the parameter space in naval engineering through AS [38, 10] focusing on different parts of the hull. PODI and DMD have been employed for the study of fast and reliable shape optimization cycles on a bulbous bow in [9]. The novelty of this work is the simultaneous reduction of both the input parameter space and the output fields of interest. In particular AS will be trained computing the total drag resistance of a hull advancing in calm water and its gradients with respect to the input parameters. DMD will improve the performance of each simulation of the campaign using only few snapshots of the solution fields in order to predict the regime state of the system. Finally PODI will interpolate the coefficients of the POD decomposition of the output fields for a fast approximation of all the fields at new untried parameters given by the optimization algorithm. This will result in a non-intrusive data-driven numerical optimization pipeline completely independent with respect to the full order solver used and it can be easily incorporated into existing numerical pipelines, from the reference CAD to the optimal shape.


title: A fibration theorem for collapsing sequences of Alexandrov spaces

abstract: Suppose a sequence $M_j$ of Alexandrov spaces collapses to a space $X$ with only weak singularities. Yamaguchi constructed a map $f_j:M_j\to X$ called an almost Lipschitz submersion for large $j$. We prove that if $M_j$ has a uniform positive lower bound for the volumes of spaces of directions, which is sufficiently large compared to the weakness of singularities of $X$, then $f_j$ is a locally trivial fibration. Moreover, we show some properties on the intrinsic metric and the volume of the fibers of $f_j$.


title: Shape-based Magnetic Domain Wall Drift for an Artificial Spintronic Leaky Integrate-and-Fire Neuron

abstract: Spintronic devices based on domain wall (DW) motion through ferromagnetic nanowire tracks have received great interest as components of neuromorphic information processing systems. Previous proposals for spintronic artificial neurons required external stimuli to perform the leaking functionality, one of the three fundamental functions of a leaky integrate-and-fire (LIF) neuron. The use of this external magnetic field or electrical current stimulus results in either a decrease in energy efficiency or an increase in fabrication complexity. In this work, we modify the shape of previously demonstrated three-terminal magnetic tunnel junction neurons to perform the leaking operation without any external stimuli. The trapezoidal structure causes shape-based DW drift, thus intrinsically providing the leaking functionality with no hardware cost. This LIF neuron therefore promises to advance the development of spintronic neural network crossbar arrays.


title: Finite-size and finite-time effects in large deviation functions near dynamical symmetry breaking transitions

abstract: We introduce and study a class of particle hopping models consisting of a single box coupled to a pair of reservoirs. Despite being zero-dimensional, in the limit of large particle number and long observation time, the current and activity large deviation functions of the models can exhibit symmetry-breaking dynamical phase transitions. We characterize exactly the critical properties of these transitions, showing them to be direct analogues of previously studied phase transitions in extended systems. The simplicity of the model allows us to study features of dynamical phase transitions which are not readily accessible for extended systems. In particular, we quantify finite-size and finite-time scaling exponents using both numerical and theoretical arguments. Importantly, we identify an analogue of critical slowing near symmetry breaking transitions and suggest how this can be used in the numerical studies of large deviations. All of our results are also expected to hold for extended systems.


title: American Sign Language Alphabet Recognition using Deep Learning

abstract: Tremendous headway has been made in the field of 3D hand pose estimation but the 3D depth cameras are usually inaccessible. We propose a model to recognize American Sign Language alphabet from RGB images. Images for the training were resized and pre-processed before training the Deep Neural Network. The model was trained on a squeezenet architecture to make it capable of running on mobile devices with an accuracy of 83.29%.


title: Hidden robust presence of a hole Fermi surface in a heavily electron doped iron based superconductor LaFe$_2$As$_2$

abstract: We investigate the electronic structure of a recently discovered, heavily electron-doped iron based superconductor LaFe$_2$As$_2$. Although first principles calculation shows apparent absence of hole Fermi surfaces around the $\Gamma$ point, we reveal, by hypothetically removing the La $d$ orbital contribution, that a hole Fermi surface around the $\Gamma$ point is essentially present. In the collapsed phase of LaFe$_2$As$_2$, which is non-superconducting, the hole Fermi surface is found to be absent, and the difference from the uncollapsed superconducting phase can be naturally understood within the spin-fluctuation mediated pairing scenario.


title: Dielectric-laser electron acceleration in a dual pillar grating with a distributed Bragg reflector

abstract: We report on the efficacy of a novel design for dielectric laser accelerators by adding a distributed Bragg reflector (DBR) to a dual pillar grating accelerating structure. This mimics a double-sided laser illumination, resulting in an enhanced longitudinal electric field while reducing the deflecting transverse effects, when compared to single-sided illumination. We improve the coupling efficiency of the incident electric field into the accelerating mode by 57 percent. The 12 $\mu$m long structures accelerate sub-relativistic 28 keV electrons with gradients of up to 200 MeV/m in theory and 133 MeV/m in practice. Our work shows how lithographically produced nano-structures help to make novel laser accelerators more efficient.


title: Non-malleability for quantum public-key encryption

abstract: Non-malleability is an important security property for public-key encryption (PKE). Its significance is due to the fundamental unachievability of integrity and authenticity guarantees in this setting, rendering it the strongest integrity-like property achievable using only PKE, without digital signatures. In this work, we generalize this notion to the setting of quantum public-key encryption. Overcoming the notorious "recording barrier" known from generalizing other integrity-like security notions to quantum encryption, we generalize one of the equivalent classical definitions, comparison-based non-malleability, and show how it can be fulfilled. In addition, we explore one-time non-malleability notions for symmetric-key encryption from the literature by defining plaintext and ciphertext variants and by characterizing their relation.


title: Non-Minimal Flavour Violation in $A_4\times SU(5)$ SUSY GUTs

abstract: We study CP-conserving non-minimal flavour violation in $A_4 \times SU(5)$ inspired Supersymmetric Grand Unified Theories (GUTs), focussing on the regions of parameter space where dark matter is successfully accommodated due to a light right-handed smuon a few GeV heavier than the lightest neutralino. We find that it is necessary to scan over all NMFV parameters simultaneously in order to properly constrain the space of the model.


title: Non-existence of generalized splitting methods with positive coefficients of order higher than four

abstract: We prove that generalized exponential splitting methods making explicit use of commutators of the vector fields are limited to order four when only real coefficients are admitted. This generalizes the restriction to order two for classical splitting methods with only positive coefficients.


title: Effects of Hexagonal Boron Nitride Encapsulation on the Electronic Structure of Few-layer MoS$_2$

abstract: The hexagonal boron nitride (hBN) encapsulation has been widely used in the electronics applications of 2D materials to improve device performance by protecting 2D materials against contamination and degradation. It is often assumed that hBN layers as a dielectric would not affect the electronic structure of encapsulated 2D materials. Here we studied few-layer MoS$_2$ encapsulated in hBN flakes by using a combination of theoretical and experimental Raman spectroscopy. We found that after the encapsulation the out-of-plane A$_{1g}$ mode is upshifted, while the in-plane E$_{2g}^1$ mode is downshifted. The measured downshift of the E$_{2g}^1$ mode does not decrease with increasing the thickness of MoS$_2$, which can be attributed to tensile strains in bilayer and trilayer MoS$_2$ caused by the typical experimental process of the hBN encapsulation. We estimated the strain magnitude and found that the induced strain may cause the K-Q crossover in the conduction band of few-layer MoS$_2$, so greatly modifies its electronic properties as an n-type semiconductor. Our study suggests that the hBN encapsulation should be used with caution, as it may affect the electronic properties of encapsulated few-layer 2D materials.


title: A practical algorithm for volume estimation based on billiard trajectories and simulated annealing

abstract: We tackle the problem of efficiently approximating the volume of convex polytopes, when these are given in three different representations: H-polytopes, which have been studied extensively, V-polytopes, and zonotopes (Z-polytopes). We design a novel practical Multiphase Monte Carlo algorithm that leverages random walks based on billiard trajectories, as well as a new empirical convergence tests and a simulated annealing schedule of adaptive convex bodies. After tuning several parameters of our proposed method, we present a detailed experimental evaluation of our tuned algorithm using a rich dataset containing Birkhoff polytopes and polytopes from structural biology. Our open-source implementation tackles problems that have been intractable so far, offering the first software to scale up in thousands of dimensions for H-polytopes and in the hundreds for V- and Z-polytopes on moderate hardware. Last, we illustrate our software in evaluating Z-polytope approximations.


title: Diffusion-driven blow-up for a non-local Fisher-KPP type model

abstract: The purpose of the current paper is to unveil the key mechanism which is responsible for the occurrence of {\it Turing-type instability} for a non-local Fisher-KPP type model. In particular, we prove that the solution of the considered non-local Fisher-KPP equation in the neighbourhood of a constant stationary solution, is destabilized via a {\it diffusion-driven blow-up}. It is also shown that the observed {\it diffusion-driven blow-up} is complete, whilst its blow-up rate is completely classified. Finally, the detected {\it diffusion-driven instability} results in the formation of unstable blow-up patterns, which are also identified through the determination of the blow-up profile of the solution.


title: Residuation in lattice effect algebras

abstract: We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a lattice effect algebra and every lattice effct algebra can be reconstructed form its assigned quasiresiduated lattice. We apply this method also for lattice pseudoeffect algebras introduced recently by Dvurecenskij and Vetterlein. We show that every good lattice pseudoeffect algebra can be organized into a (possibly non-commutative) quasiresiduated lattice with divisibility and conversely, every such a lattice can be converted into a lattice pseudoeffect algebra. Moreover, also a good lattice pseudoeffect algebra can be reconstructed from the assigned quasiresiduated lattice.


title: Revealing the complex nature of bonding in binary high-pressure compound FeO$_2$

abstract: Extreme pressures and temperatures are known to drastically affect the chemistry of iron oxides resulting in numerous compounds forming homologous series $n$FeO$\cdot m$Fe$_2$O$_3$ and the appearance of FeO$_2$. Here, based on the results of \emph{in situ} single-crystal X-ray diffraction, M\"ossbauer spectroscopy, X-ray absorption spectroscopy, and DFT+dynamical mean-field theory calculations we demonstrate that iron in high pressure cubic FeO$_2$ and isostructural FeO$_2$H$_{0.5}$ is ferric (Fe$^{3+}$), and oxygen has a formal valence less than two. Reduction of oxygen valence from 2, common for oxides, down to 1.5 can be explained by a formation of a localized hole at oxygen sites.


title: Bias-Reduced Hindsight Experience Replay with Virtual Goal Prioritization

abstract: Hindsight Experience Replay (HER) is a multi-goal reinforcement learning algorithm for sparse reward functions. The algorithm treats every failure as a success for an alternative (virtual) goal that has been achieved in the episode. Virtual goals are randomly selected, irrespective of which are most instructive for the agent. In this paper, we present two improvements over the existing HER algorithm. First, we prioritize virtual goals from which the agent will learn more valuable information. We call this property the instructiveness of the virtual goal and define it by a heuristic measure, which expresses how well the agent will be able to generalize from that virtual goal to actual goals. Secondly, we reduce existing bias in HER by the removal of misleading samples. To test our algorithms, we built two challenging environments with sparse reward functions. Our empirical results in both environments show vast improvement in the final success rate and sample efficiency when compared to the original HER algorithm. A video showing experimental results is available at https://youtu.be/3cZwfK8Nfps .


title: Global higher integrability of weak solutions of porous medium systems

abstract: We establish higher integrability up to the boundary for the gradient of solutions to porous medium type systems, whose model case is given by \begin{equation*} \partial_t u-\Delta(|u|^{m-1}u)=\mathrm{div}\,F\,, \end{equation*} where $m>1$. More precisely, we prove that under suitable assumptions the spatial gradient $D(|u|^{m-1}u)$ of any weak solution is integrable to a larger power than the natural power $2$. Our analysis includes both the case of the lateral boundary and the initial boundary.


title: Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP

abstract: The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and presentations, must be integrated. Such an integration relies on unified semantic foundations for the various notations, and co-ordination of a variety of automated verification tools. The contribution of this paper is Isabelle/UTP, an implementation of Hoare and He's Unifying Theories of Programming, a framework for unification of formal semantics. Isabelle/UTP permits the mechanisation of computational theories for diverse paradigms, and their use in constructing formalised semantic models. These can be further applied in the development of verification tools, harnessing Isabelle's proof automation facilities. Several layers of mathematical foundations are developed, including lenses to model variables and state spaces as algebraic objects, alphabetised predicates and relations to model programs, including algebraic and axiomatic semantics, proof tools for Hoare logic and refinement calculus, and UTP theories to encode computational paradigms.


title: Nematic and gas-liquid transitions for sticky rods on square and cubic lattices

abstract: Using grand-canonical Monte Carlo simulations, we investigate the phase diagram of hard rods of length $L$ with additional contact (sticky) attractions on square and cubic lattices. The phase diagram shows a competition between gas-liquid and ordering transitions (which are of demixing type on the square lattice for $L \ge 7$ and of nematic type on the cubic lattice for $L \ge 5$). On the square lattice, increasing attractions initially lead to a stabilization of the isotropic phase. On the cubic lattice, the nematic transition remains of weak first order upon increasing the attractions. In the vicinity of the gas-liquid transition, the coexistence gap of the nematic transition quickly widens. These features are different from nematic transitions in the continuum.


title: Neutral bremsstrahlung in two-phase argon electroluminescence: further studies and possible applications

abstract: We further study the effect of neutral bremsstrahlung (NBrS) in two-phase argon electroluminescence (EL), revealed recently in [1]. The absolute EL yield due to NBrS effect, in the visible and NIR range, was remeasured in pure gaseous argon in the two-phase mode, using a two-phase detector with EL gap read out directly by cryogenic PMTs and SiPMs. Possible applications of the NBrS effect in detection science are discussed, including those in two-phase dark matter detectors.


title: Dark Matter in logarithmic $F(R)$ gravity

abstract: The logarithmic $R^2$-corrected $F(R)$ gravity is investigated as a prototype model of modified gravity theories with quantum corrections. By using the auxiliary field method, the model is described by the general relativity with a scalaron field. The scalaron field can be identified as an inflaton at the primordial inflation era. It is also one of the dark matter candidates in the dark energy era. It is found that a wide range of the parameters is consistent with the current observations of CMB fluctuations, dark energy and dark matter.


title: A Variationally Computed IR Line List for the Methyl Radical CH$_3$

abstract: We present the first variational calculation of a hot temperature ab initio line list for the CH$_3$ radical. It is based on a high level ab initio potential energy surface and dipole moment surface of CH$_3$ in the ground electronic state. The ro-vibrational energy levels and Einstein $A$ coefficients were calculated using the general-molecule variational approach implemented in the computer program TROVE. Vibrational energies and vibrational intensities are found to be in very good agreement with the available experimental data. The line list comprises 9,127,123 ro-vibrational states ($J\le 40$) and 2,058,655,166 transitions covering the wavenumber range up to 10000 cm$^{-1}$ and should be suitable for temperatures up to $T= 1500$ K.


title: Conductance-matrix symmetries of a three-terminal hybrid device

abstract: We present conductance-matrix measurements of a three-terminal superconductor-semiconductor hybrid device consisting of two normal leads and one superconducting lead. Using a symmetry decomposition of the conductance, we find that the antisymmetric components of pairs of local and nonlocal conductances match at energies below the superconducting gap, consistent with expectations based on a non-interacting scattering matrix approach. Further, the local charge character of Andreev bound states is extracted from the symmetry-decomposed conductance data and is found to be similar at both ends of the device and tunable with gate voltage. Finally, we measure the conductance matrix as a function of magnetic field and identify correlated splittings in low-energy features, demonstrating how conductance-matrix measurements can complement traditional tunneling-probe measurements in the search for Majorana zero modes.


title: Symmetry breaking and RG flows with higher dimensional operators

abstract: We discuss the role of higher dimensional operators in the spontaneous breaking of internal symmetry and scale invariance, in the context of the Lorentz invariant scalar field theory. Using the $\varepsilon$-expansion we determine phase diagrams and demonstrate that (un)stable RG flows computed with a certain basis of dimension 6 operators in the Lagrangian, map to (un)stable RG flows of another basis related to the first by field redefinitions. Crucial is the presence of reparametrization ghosts if Ostrogradsky ghosts appear.