title: Ground-to-satellite quantum teleportation

abstract: An arbitrary unknown quantum state cannot be precisely measured or perfectly replicated. However, quantum teleportation allows faithful transfer of unknown quantum states from one object to another over long distance, without physical travelling of the object itself. Long-distance teleportation has been recognized as a fundamental element in protocols such as large-scale quantum networks and distributed quantum computation. However, the previous teleportation experiments between distant locations were limited to a distance on the order of 100 kilometers, due to photon loss in optical fibres or terrestrial free-space channels. An outstanding open challenge for a global-scale "quantum internet" is to significantly extend the range for teleportation. A promising solution to this problem is exploiting satellite platform and space-based link, which can conveniently connect two remote points on the Earth with greatly reduced channel loss because most of the photons' propagation path is in empty space. Here, we report the first quantum teleportation of independent single-photon qubits from a ground observatory to a low Earth orbit satellite - through an up-link channel - with a distance up to 1400 km. To optimize the link efficiency and overcome the atmospheric turbulence in the up-link, a series of techniques are developed, including a compact ultra-bright source of multi-photon entanglement, narrow beam divergence, high-bandwidth and high-accuracy acquiring, pointing, and tracking (APT). We demonstrate successful quantum teleportation for six input states in mutually unbiased bases with an average fidelity of 0.80+/-0.01, well above the classical limit. This work establishes the first ground-to-satellite up-link for faithful and ultra-long-distance quantum teleportation, an essential step toward global-scale quantum internet.


title: Mode-selective quantization and multimodal effective models for spherically layered systems

abstract: We propose a geometry-specific, mode-selective quantization scheme in coupled field-emitter systems which makes it easy to include material and geometrical properties, intrinsic losses as well as the positions of an arbitrary number of quantum emitters. The method is presented through the example of a spherically symmetric, non-magnetic, arbitrarily layered system. We follow it up by a framework to project the system on simpler, effective cavity QED models. Maintaining a well-defined connection to the original quantization, we derive the emerging effective quantities from the full, mode-selective model in a mathematically consistent way. We discuss the uses and limitations of these effective models.


title: Window-of-interest based Multi-objective Evolutionary Search for Satisficing Concepts

abstract: The set-based concept approach has been suggested as a means to simultaneously explore different design concepts, which are meaningful sub-sets of the entire set of solutions. Previous efforts concerning the suggested approach focused on either revealing the global front (s-Pareto front), of all the concepts, or on finding the concepts' fronts, within a relaxation zone. In contrast, here the aim is to reveal which of the concepts have at least one solution with a performance vector within a pre-defined window-of-interest (WOI). This paper provides the rational for this new concept-based exploration problem, and suggests a WOI-based rather than Pareto-based multi-objective evolutionary algorithm. The proposed algorithm, which simultaneously explores different concepts, is tested using a recently suggested concept-based benchmarking approach. The numerical study of this paper shows that the algorithm can cope with various numerical difficulties in a simultaneous way, which outperforms a sequential exploration approach.


title: Molecular-Cloud-Scale Chemical Composition I: Mapping Spectral Line Survey toward W51 in the 3 mm Band

abstract: We have conducted a mapping spectral line survey toward the Galactic giant molecular cloud W51 in the 3 mm band with the Mopra 22 m telescope in order to study an averaged chemical composition of the gas extended over a molecular cloud scale in our Galaxy. We have observed the area of $25' \times 30'$, which corresponds to 39 pc $\times$ 47 pc. The frequency ranges of the observation are 85.1 - 101.1 GHz and 107.0 - 114.9 GHz. In the spectrum spatially averaged over the observed area, spectral lines of 12 molecular species and 4 additional isotopologues are identified. An intensity pattern of the spatially-averaged spectrum is found to be similar to that of the spiral arm in the external galaxy M51, indicating that these two sources have similar chemical compositions. The observed area has been classified into 5 sub-regions according to the integrated intensity of $^{13}$CO($J=1-0$) ($I_{\rm ^{13}CO}$), and contributions of the fluxes of 11 molecular lines from each sub-region to the averaged spectrum have been evaluated. For most of molecular species, 50 % or more of the flux come from the sub-regions with $I_{\rm ^{13}CO}$ from 25 K km s$^{-1}$ to 100 K km s$^{-1}$, which does not involve active star forming regions. Therefore, the molecular-cloud-scale spectrum observed in the 3 mm band hardly represents the chemical composition of star forming cores, but mainly represents the chemical composition of an extended quiescent molecular gas. The present result constitutes a sound base for interpreting the spectra of external galaxies at a resolution of a molecular cloud scale ($\sim10$ pc) or larger.


title: Non-Abelian strategies in quantum penny flip game

abstract: In this paper, we formulate and analyze generalizations of the quantum penny flip game. In the penny flip game, one coin has two states, heads or tails, and two players apply alternating operations on the coin. In the original Meyer game, the first player is allowed to use quantum (i.e., non-commutative) operations, but the second player is still only allowed to use classical (i.e., commutative) operations. In our generalized games, both players are allowed to use non-commutative operations, with the second player being partially restricted in what operators they use. We show that even if the second player is allowed to use "phase-variable" operations, which are non-Abelian in general, the first player still has winning strategies. Furthermore, we show that even when the second player is allowed to choose one from two or more elements of the group $U(2)$, the second player has winning strategies under certain conditions. These results suggest that there is often a method for restoring the quantum state disturbed by another agent.


title: The Einstein dark energy model

abstract: In 1919 Einstein tried to solve the problem of the structure of matter by assuming that the elementary particles are held together solely by gravitational forces. In addition, Einstein also assumed the presence inside matter of electromagnetic interactions. Einstein showed that the cosmological constant can be interpreted as an integration constant, and that the energy content of the Universe should consist of 25\% gravitational energy, and 75\% electromagnetic energy. In the present paper we reinterpret Einstein's elementary particle theory as a vector type dark energy model, by assuming a gravitational action containing a linear combination of the Ricci scalar and the trace of the matter energy-momentum tensor, as well as a massive self-interacting vector type dark energy field, coupled with the matter current. Since in this model the matter energy-momentum tensor is not conserved, we interpret these equations from the point of view of the thermodynamics of open systems as describing matter creation from the gravitational field. In the vacuum case the model admits a de Sitter type solution. The cosmological parameters, including Hubble function, deceleration parameter, matter energy density are obtained as a function of the redshift by using analytical and numerical techniques, and for different values of the model parameters. For all considered cases the Universe experiences an accelerating expansion, ending with a de Sitter type evolution.


title: A note on deriving linearizing transformations for a class of second order nonlinear ordinary differential equations

abstract: We present a method of deriving linearizing transformations for a class of second order nonlinear ordinary differential equations. We construct a general form of a nonlinear ordinary differential equation that admits Bernoulli equation as its first integral. We extract conditions for this integral to yield three different linearizing transformations, namely point, Sundman and generalized linearizing transformations. The explicit forms of these linearizing transformations are given. The exact forms and the general solution of the nonlinear ODE for these three linearizables cases are also enumerated. We illustrate the procedure with three different examples.


title: Quantitative analysis of nonadiabatic effects in dense H$_3$S and PH$_3$ superconductors

abstract: The comparison study of high pressure superconducting state of recently synthesized H$_3$S and PH$_3$ compounds are conducted within the framework of the strong-coupling theory. By generalization of the standard Eliashberg equations to include the lowest-order vertex correction, we have investigated the influence of the nonadiabatic effects on the Coulomb pseudopotential, electron effective mass, energy gap function and on the $2\Delta(0)/T_C$ ratio. We found that, for a fixed value of critical temperature ($178$ K for H$_3$S and $81$ K for PH$_3$), the nonadiabatic corrections reduce the Coulomb pseudopotential for H$_3$S from $0.204$ to $0.185$ and for PH$_3$ from $0.088$ to $0.083$, however, the electron effective mass and ratio $2\Delta(0)/T_C$ remain unaffected. Independently of the assumed method of analysis, the thermodynamic parameters of superconducting H$_3$S and PH$_3$ strongly deviate from the prediction of BCS theory due to the strong-coupling and retardation effects.


title: Magnetotransport properties of the new-type topological semimetal ZrTe

abstract: We report the first experimental results of the magnetoresistance, Hall effect, and quantum Shubnikov-de Haas oscillations on single crystals of ZrTe, which was recently predicted to be a new type of topological semimetal hosting both triply degenerate crossing points and Weyl fermion state. The analysis of Hall effect and quantum oscillations indicate that ZrTe is a multiband system with low carrier density, high carrier mobility, small cross-sectional area of Fermi surface, and light cyclotron effective mass, as observed in many topological semimetals. Meanwhile, the angular dependence of the magnetoresistance and the quantum-oscillation frequencies further suggest that ZrTe possesses a three-dimensional Fermi surface that is rather complex. Our results provide a new platform to realize exotic quantum phenomena related to the new three-component fermions distinct from Dirac and Weyl fermions.


title: The sample complexity of multi-reference alignment

abstract: The growing role of data-driven approaches to scientific discovery has unveiled a large class of models that involve latent transformations with a rigid algebraic constraint. Three-dimensional molecule reconstruction in Cryo-Electron Microscopy (cryo-EM) is a central problem in this class. Despite decades of algorithmic and software development, there is still little theoretical understanding of the sample complexity of this problem, that is, number of images required for 3-D reconstruction. Here we consider multi-reference alignment (MRA), a simple model that captures fundamental aspects of the statistical and algorithmic challenges arising in cryo-EM and related problems. In MRA, an unknown signal is subject to two types of corruption: a latent cyclic shift and the more traditional additive white noise. The goal is to recover the signal at a certain precision from independent samples. While at high signal-to-noise ratio (SNR), the number of observations needed to recover a generic signal is proportional to $1/\mathrm{SNR}$, we prove that it rises to a surprising $1/\mathrm{SNR}^3$ in the low SNR regime. This precise phenomenon was observed empirically more than twenty years ago for cryo-EM but has remained unexplained to date. Furthermore, our techniques can easily be extended to the heterogeneous MRA model where the samples come from a mixture of signals, as is often the case in applications such as cryo-EM, where molecules may have different conformations. This provides a first step towards a statistical theory for heterogeneous cryo-EM.


title: A novel entropy recurrence quantification analysis

abstract: The growing study of time series, especially those related to nonlinear systems, has challenged the methodologies to characterize and classify dynamical structures of a signal. Here we conceive a new diagnostic tool for time series based on the concept of information entropy, in which the probabilities are associated to microstates defined from the recurrence phase space. Recurrence properties can properly be studied using recurrence plots, a methodology based on binary matrices where trajec- tories in phase space of dynamical systems are evaluated against other embedded trajectory. Our novel entropy methodology has several advantages compared to the traditional recurrence entropy defined in the literature, namely, the correct evaluation of the chaoticity level of the signal, the weak dependence on parameters, correct evaluation of periodic time series properties and more sensitivity to noise level of time series. Furthermore, the new entropy quantifier developed in this manuscript also fixes inconsistent results of the traditional recurrence entropy concept, reproducing classical results with novel insights.


title: Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

abstract: SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language.


title: Turbulence Hierarchy in a Random Fibre Laser

abstract: Turbulence is a challenging feature common to a wide range of complex phenomena. Random fibre lasers are a special class of lasers in which the feedback arises from multiple scattering in a one-dimensional disordered cavity-less medium. Here, we report on statistical signatures of turbulence in the distribution of intensity fluctuations in a continuous-wave-pumped erbium-based random fibre laser, with random Bragg grating scatterers. The distribution of intensity fluctuations in an extensive data set exhibits three qualitatively distinct behaviours: a Gaussian regime below threshold, a mixture of two distributions with exponentially decaying tails near the threshold, and a mixture of distributions with stretched-exponential tails above threshold. All distributions are well described by a hierarchical stochastic model that incorporates Kolmogorov's theory of turbulence, which includes energy cascade and the intermittence phenomenon. Our findings have implications for explaining the remarkably challenging turbulent behaviour in photonics, using a random fibre laser as the experimental platform.


title: The Role of Money in the Business Cycle

abstract: The aim of this paper is to reemphasize the money theory of exchange which is centered on the function of exchange medium of money, and make a contribution towards linearization of the quantity equation of exchange. A dynamical quantity equation is presented and an important balanced path of economic evolution is derived. To understand the business cycle we propose a hypothesis of natural cycle and driving cycle concerning the evolution of the balanced path and plentiful conclusions can be made.


title: Anomaly Detection and Modeling in 802.11 Wireless Networks

abstract: IEEE 802.11 Wireless Networks are getting more and more popular at university campuses, enterprises, shopping centers, airports and in so many other public places, providing Internet access to a large crowd openly and quickly. The wireless users are also getting more dependent on WiFi technology and therefore demanding more reliability and higher performance for this vital technology. However, due to unstable radio conditions, faulty equipment, and dynamic user behavior among other reasons, there are always unpredictable performance problems in a wireless covered area. Detection and prediction of such problems is of great significance to network managers if they are to alleviate the connectivity issues of the mobile users and provide a higher quality wireless service. This paper aims to improve the management of the 802.11 wireless networks by characterizing and modeling wireless usage patterns in a set of anomalous scenarios that can occur in such networks. We apply time-invariant (Gaussian Mixture Models) and time-variant (Hidden Markov Models) modeling approaches to a dataset generated from a large production network and describe how we use these models for anomaly detection. We then generate several common anomalies on a Testbed network and evaluate the proposed anomaly detection methodologies in a controlled environment. The experimental results of the Testbed show that HMM outperforms GMM and yields a higher anomaly detection ratio and a lower false alarm rate.


title: A Multispecies Exclusion Process with Fusion and Fission of Rods: a model inspired by Intraflagellar Transport

abstract: We introduce a multispecies exclusion model where length-conserving probabilistic fusion and fission of the hard rods are allowed. Although all rods enter the system with the same initial length ${\ell}=1$, their length can keep changing, because of fusion and fission, as they move in a step-by-step manner towards the exit. Two neighboring hard rods of lengths ${\ell}_{1}$ and ${\ell}_{2}$ can fuse into a single rod of longer length ${\ell}={\ell}_{1}+{\ell}_{2}$ provided ${\ell} \leq N$. Similarly, length-conserving fission of a rod of length ${\ell}' \leq N$ results in two shorter daughter rods. Based on the extremum current hypothesis, we plot the phase diagram of the model under open boundary conditions utilizing the results derived for the same model under periodic boundary condition using mean-field approximation. The density profile and the flux profile of rods are in excellent agreement with computer simulations. Although the fusion and fission of the rods are motivated by similar phenomena observed in Intraflagellar Transport (IFT) in eukaryotic flagella, this exclusion model is too simple to account for the quantitative experimental data for any specific organism. Nevertheless, the concepts of `flux profile' and `transition zone' that emerge from the interplay of fusion and fission in this model are likely to have important implications for IFT and for other similar transport phenomena in long cell protrusions.


title: Analysis of the Adaptive Multilevel Splitting method on the isomerization of alanine dipeptide

abstract: We apply the Adaptive Multilevel Splitting method to the Ceq -> Cax transition of alanine dipeptide in vacuum. Some properties of the algorithm are numerically illustrated, such as the unbiasedness of the probability estimator and the robustness of the method with respect to the choice of the reaction coordinate. We also calculate the transition time obtained via the probability estimator, using an appropriate ensemble of initial conditions. Finally, we show how the Adaptive Multilevel Splitting method can be used to compute an approximation of the committor function.


title: Amplification of Cooper pair splitting current in a graphene based Cooper pair beam splitter geometry

abstract: Motivated by the recent experiments [Scientific reports 6, 23051 (2016), Phys. Rev. Lett. 114, 096602 (2015)], we theoretically investigate Cooper pair splitting current in a graphene based Cooper pair beam splitter geometry. By considering the graphene based superconductor as an entangler device, instead of normal (2D) BCS superconductor, we show that the Cooper pair splitting current mediated by Crossed Andreev process is amplified compared to its normal superconductor counterpart. This amplification is attributed to the strong suppression of local normal Andreev reflection process (arising from the Cooper pair splitting) from the graphene based superconductor to lead via the same quantum dot, in comparison to the usual 2D superconductor. Due to the vanishing density of states at the Dirac point of undoped graphene, a doped graphene based superconductor is considered here and it is observed that Cooper pair splitting current is very insensitive to the doping level in comparison to the usual 2D superconductor. The transport process of non-local spin entangled electrons also depends on the type of pairing i.e. whether the electron-hole pairing is on-site, inter-sublattice or the combination of both. The inter-sublattice pairing of graphene causes the maximum non-local Cooper pair splitting current, whereas presence of both pairing reduces the Cooper pair splitting current.


title: Gravitational systems in asymptotically anti-de Sitter space-times

abstract: Being a key ingredient of the AdS/CFT correspondence, AdS space-time is suspected to be non-linearly unstable since 2011. Even with arbitrarily small initial data, a singularity almost invariably emerges. However, some configurations allow for perfectly regular and quasi-periodic solutions. These are the so-called islands of stability. Among them, geons play the role of purely gravitational excitations of AdS space-time. In this manuscript, we tackle the problem of the numerical construction of several families of asymptotically AdS geons. We are able to definitely demonstrate the existence of the so-called excited geons, a point that was the subject to a lively debate in the literature. We also detail how several features of such space-times can be used as precision monitors and help us to validate numerics. Finally, we discuss in detail how geons shed new light on the AdS instability problem.


title: Study of Joint MMSE Consensus and Relay Selection Algorithms for Distributed Beamforming

abstract: This work presents joint minimum mean-square error (MMSE) consensus algorithm and relay selection algorithms for distributed beamforming. We propose joint MMSE consensus relay and selection schemes with a total power constraint and local communications among the relays for a network with cooperating sensors. We also devise greedy relay selection algorithms based on the MMSE consensus approach that optimize the network performance. Simulation results show that the proposed scheme and algorithms outperform existing techniques for distributed beamforming.


title: Predicting therapeutic and aggravating drugs for hepatocellular carcinoma based on tissue-specific pathways

abstract: Motivation: Hepatocellular carcinoma (HCC) is a significant health problem worldwide and annual number of cases are nearly more than 700,000. However,there are few safe and effective thera-peutic options for HCC patients.Here, we propose a new approach for predicting therapeutic and aggravating drugs for HCCbased ontissue-specificpathways, which considersnot onlyliver tis-sueand functional informationof pathways, but also the changes of single gene in pathways. Results: Firstly, we map genes related to HCC to the liver-specific protein interaction network and get anextended tissue-specific gene set of HCC. Then, based on the extended gene set, 12 en-riched KEGGfunctional pathways are extracted.Using Kolmogorov-Smirnov statistic, we calculate the therapeutic scores of drugs based on the 12 tissue-specific pathways. Finally, after filtering by Comparative Toxicogenomics Database (CTD) benchmark,we get 3 therapeutic drugs and 3 ag-gravating drugs for HCC. Furthermore, we validate the6potentially related drugs of HCC by analyz-ingtheiroverlaps with drug indications reported in PubMed literatures, and also making CMapprofile similarity analysis and KEGG enrichment analysis based on their targets. All analysis results sug-gest thatour approach is effective and accurate for discovering novel therapeutic options for HCC and it can be easily extended to other diseases.More importantly, our method can clearly distin-guish therapeutic and aggravating drugsforHCC, which also can be used to indicateunmarked drug-disease associations in CTD as positive or negative.


title: Position determination and strong field parallax effects for photon emitters in the Schwarzschild spacetime

abstract: Position determination of photon emitters and associated strong field parallax effects are investigated using relativistic optics when the photon orbits are confined to the equatorial plane of the Schwarzschild spacetime. We assume the emitter is at a fixed space position and the receiver moves along a circular geodesic orbit. This study requires solving the inverse problem of determining the (spatial) intersection point of two null geodesic initial data problems, serving as a simplified model for applications in relativistic astrometry as well as in radar and satellite communications.


title: Nilpotence in E_n Algebras

abstract: Nilpotence in the homotopy of $\mathbb{E}_\infty$-ring spectra is detected by the classical $H\mathbb{Z}$-Hurewicz homomorphism. Inspired by questions of Mathew, Noel, and Naumann, we investigate the extent to which this criterion holds in the homotopy of $\mathbb{E}_n$-ring spectra. For all odd primes $p$ and all chromatic heights $h$, we use the Cohen-Moore-Neisendorfer theorem to construct examples of $K(h)$-local, $\mathbb{E}_{2n-1}$-algebras with non-nilpotent $p^n$-torsion. We exploit the interaction of the Bousfield-Kuhn functor on odd spheres and Rezk's logarithm to show that our bound is sharp at height $1$, and remark on the situation at height $2$.


title: General bounds in Hybrid Natural Inflation

abstract: Recently we have studied in great detail a model of Hybrid Natural Inflation (HNI) by constructing two simple effective field theories. These two versions of the model allow inflationary energy scales as small as the electroweak scale in one of them or as large as the Grand Unification scale in the other, therefore covering the whole range of possible energy scales. In any case the inflationary sector of the model is of the form $V(\phi)=V_0 \left(1+a \cos(\phi/f)\right)$ where $0\leq a<1$ and the end of inflation is triggered by an independent waterfall field. One interesting characteristic of this model is that the slow-roll parameter $\epsilon(\phi)$ is a non-monotonic function of $\phi$ presenting a {\it maximum} close to the inflection point of the potential. Because the scalar spectrum $\mathcal{P}_s(k)$ of density fluctuations when written in terms of the potential is inversely proportional to $\epsilon(\phi)$ we find that $\mathcal{P}_s(k)$ presents a {\it minimum} at $\phi_{min}$. The origin of the HNI potential can be traced to a symmetry breaking phenomenon occurring at some energy scale $f$ which gives rise to a (massless) Goldstone boson. Non-perturbative physics at some temperature $T<f$ might occur which provides a potential (and a small mass) to the originally massless boson to become the inflaton (a pseudo-Nambu-Goldstone boson). Thus the inflaton energy scale $\Delta$ is bounded by the symmetry breaking scale, $\Delta\equiv V_H^{1/4} <f.$ To have such a well defined origin and hierarchy of scales in inflationary models is not common. We use this property of HNI to determine bounds for the inflationary energy scale $\Delta$ and for the tensor-to-scalar ratio $r$.


title: Gamma-ray emission from middle-aged supernova remnants interacting with molecular clouds: the challenge for current models

abstract: We compare the $\gamma$-ray spectra from 10 middle-aged supernova remnants (SNRs), which are interacting with molecular clouds (MCs), with the model prediction from widely used escaping scenario and direct interaction scenario. It is found that the $\gamma$-ray data is inconsistent with the escaping scenario statistically, as it predicts a diversity of spectral shape which is not observed. The inconsistency suggests that the free escape boundary adopted in the escaping model is not a good approximation, which challenges our understanding of cosmic ray (CR) escaping in SNRs. In addition, we show that ambient CRs is potentially important for the $\gamma$-ray emission of illuminated MCs external to W28 and W44. In direct interaction scenario, the model involving re-acceleration of pre-existing CRs and adiabatic compression is able to explain the emission from most SNRs. The dispersion shown in the TeV data is naturally explained by different acceleration time of CR particles in SNRs. Re-acceleration of pre-existing CRs suggests a transition of seed particles, which is from thermal injected seed particle in young SNRs to ambient CRs in old SNRs. The transition needs to be tested by future multi-wavelength observation. In the end, we propose that radiative SNR without MC interaction is also able to produce a significant amount of $\gamma$-ray emission. A good candidate is S147. With accumulated Fermi data and CTA in future we expect to detect more remnants like S147.


title: Dual ground state solutions for the critical nonlinear Helmholtz equation

abstract: Using a dual variational approach we obtain nontrivial real-valued solutions of the critical nonlinear Helmholtz equation $$ - \Delta u - k^{2}u = Q(x)|u|^{2^{\ast} - 2}u, \quad u \in W^{2,2^{\ast}}(\mathbb{R}^{N}) $$ for $N\geq 4$, where $2^{\ast} := \frac{2N}{N-2}$. The coefficient $Q \in L^{\infty}(\mathbb{R}^{N})\setminus\{0\}$ is assumed to be nonnegative, asymptotically periodic and to satisfy a flatness condition at one of its maximum points. The solutions obtained are so-called dual ground states, i.e., solutions arising from critical points of the dual functional with the property of having minimal energy among all nontrivial critical points. Moreover, we show that no dual ground state exists for $N=3$.


title: Contraction par Frobenius et modules de Steinberg

abstract: For a reductive group G defined over an algebraically closed field of positive characteristic, we show that the Frobenius contraction functor of G-modules is right adjoint to the Frobenius twist of the modules tensored with the Steinberg module twice. It follows that the Frobenius contraction functor preserves injectivity, good filtrations, but not semisiplicity.


title: A remark on the effect of random singular two-particle interactions

abstract: In this note we study a two-particle bound system (molecule) moving on the positive half-line under the influence of randomly distributed singular two-particle interactions generated by a Poisson process. We give a rigorous definition of the underlying Hamiltonian and study its spectral properties. As a main result we prove that, with finite probability, the random interactions destroy the discrete part of the spectrum which is present in the free system. Most interestingly, this phenomenon is somewhat contrary to the role attributed to random interactions in the context of Anderson localisation where disorder is generally associated with a suppression of transport.


title: Qubit entanglement across Epsilon near Zero Media

abstract: Currently epsilon near zero materials (ENZ) have become important for controlling the propagation of light and enhancing by several orders of magnitude the Kerr and other nonlinearities. Given this advance it is important to examine the quantum electrodynamic processes and information tasks near ENZ materials. We study the entanglement between two two-level systems near ENZ materials and compare our results with the case where the ENZ material is replaced by a metal. It is shown that with ENZ materials substantial entanglement can be achieved over larger distances than for metal films. We show that this entanglement over large distances is due to the fact that one can not only have large emission rates but also large energy transmission rates at the epsilon-nearzero wavelength. This establishes superiority of ENZ materials for studying processes specifically important for quantum information tasks.


title: The Aubin--Nitsche Trick for Semilinear Problems

abstract: The Aubin--Nitsche trick is a common tool to show $L^2$-error estimates for discretizations of $H^1$-elliptic linear partial differential equations arising for example as Euler--Lagrange equations of a quadratic energy functional. The technique itself is linear: for quasilinear problems it is not applicable. We generalize the Aubin--Nitsche trick to a class of minimization problems closely related to semi-linear partial differential equations.


title: Deterministic generation of single soliton Kerr frequency comb in microresonators by a single shot pulsed trigger

abstract: Kerr soliton frequency comb generation in monolithic microresonators recently attracted great interests as it enables chip-scale few-cycle pulse generation at microwave rates with smooth octave-spanning spectra for self-referencing. Such versatile platform finds significant applications in dual-comb spectroscopy, low-noise optical frequency synthesis, coherent communication systems, etc. However, it still remains challenging to straightforwardly and deterministically generate and sustain the single-soliton state in microresonators. In this paper, we propose and theoretically demonstrate the excitation of single-soliton Kerr frequency comb by seeding the continuous-wave driven nonlinear microcavity with a pulsed trigger. Unlike the mostly adopted frequency tuning scheme reported so far, we show that an energetic single shot pulse can trigger the single-soliton state deterministically without experiencing any unstable or chaotic states. Neither the pump frequency nor the cavity resonance is required to be tuned. The generated mode-locked single-soliton Kerr comb is robust and insensitive to perturbations. Even when the thermal effect induced by the absorption of the intracavity light is taken into account, the proposed single pulse trigger approach remains valid without requiring any thermal compensation means.


title: On The Brownian Loop Measure

abstract: In 2003 Lawler and Werner introduced the Brownian loop measure and studied some of its properties. Cardy and Gamsa has predicted a formula for the total mass of the Brownian loop measure on the set of simple loops in the upper half plane and disconnect two given points from the boundary. In this paper we give a rigorous proof of the formula using a result by Beliaev and Viklund and heavy computations.


title: A classical groupoid model for quantum networks

abstract: We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our approach is based on groubits, generalizations of classical bits based on groupoids. This network architecture allows the direct execution of a number of protocols that are usually associated with quantum networks, including teleportation, dense coding and secure key distribution.


title: A Classical String in Lifshitz-Vaidya Geometry

abstract: We study the time evolution of the expectation value of a rectangular Wilson loop in strongly anisotropic time-dependent plasma using gauge-gravity duality. The corresponding gravity theory is given by describing time evolution of a classical string in the Lifshitz-Vaidya background. We show that the expectation value of the Wilson loop oscillates about the value of the static potential with the same parameters after the energy injection is over. We discuss how the amplitude and frequency of the oscillation depend on the parameters of the theory. In particular, by raising the anisotropy parameter, we observe that the amplitude and frequency of the oscillation increase.


title: Bernoulli Processes in Riesz spaces

abstract: The action and averaging properties of conditional expectation operators are studied in the, measure-free, Riesz space, setting of Kuo, Labuschagne and Watson [{Conditional expectations on Riesz spaces}, J. Math. Anal. Appl., 303 (2005), 509-521] but on the abstract $L^2$ space, ${\cal L}^2(T)$ introduced by Labuschagne and Watson [{ Discrete Stochastic Integration in Riesz Spaces}, Positivity, 14, (2010), 859 - 575]. In this setting it is shown that conditional expectation operators leave ${\cal L}^2(T)$ invariant and the Bienaym\'e equality and Tchebichev inequality are proved. From this foundation Bernoulli processes are considered. Bernoulli's strong law of large numbers and Poisson's theorem are formulated and proved.


title: Nonlocal Venttsel' diffusion in fractal-type domains: regularity results and numerical approximation

abstract: We study a nonlocal Venttsel' problem in a non-convex bounded domain with a Koch-type boundary. Regularity results of the strict solution are proved in weighted Sobolev spaces. The numerical approximation of the problem is carried out and optimal a priori error estimates are obtained.


title: Double extensions of Lie superalgebras in characteristic 2 with nondegenerate invariant supersymmetric bilinear form

abstract: A Lie (super)algebra with a non-degenerate invariant symmetric bilinear form will be called a NIS-Lie (super)algebra. The double extension of a NIS-Lie (super)algebra is the result of simultaneously adding to it a central element and an outer derivation so that the larger algebra has also a NIS. Affine loop algebras, Lie (super)algebras with symmetrizable Cartan matrix over any field, Manin triples, symplectic reflection (super)algebras are among the Lie (super)algebras suitable to be doubly extended. We consider double extensions of Lie superalgebras in characteristic 2, and concentrate on peculiarities of these notions related with the possibility for the bilinear form, the center, and the derivation to be odd. Two Lie superalgebras we discovered by this method are indigenous to the characteristic 2.


title: Characterizing videos, audience and advertising in Youtube channels for kids

abstract: Online video services, messaging systems, games and social media services are tremendously popular among young people and children in many countries. Most of the digital services offered on the internet are advertising funded, which makes advertising ubiquitous in children's everyday life. To understand the impact of advertising-based digital services on children, we study the collective behavior of users of YouTube for kids channels and present the demographics of a large number of users. We collected data from 12,848 videos from 17 channels in US and UK and 24 channels in Brazil. The channels in English have been viewed more than 37 billion times. We also collected more than 14 million comments made by users. Based on a combination of text-analysis and face recognition tools, we show the presence of racial and gender biases in our large sample of users. We also identify children actively using YouTube, although the minimum age for using the service is 13 years in most countries. We provide comparisons of user behavior among the three countries, which represent large user populations in the global North and the global South.


title: Automatic estimation of harmonic tension by distributed representation of chords

abstract: The buildup and release of a sense of tension is one of the most essential aspects of the process of listening to music. A veridical computational model of perceived musical tension would be an important ingredient for many music informatics applications. The present paper presents a new approach to modelling harmonic tension based on a distributed representation of chords. The starting hypothesis is that harmonic tension as perceived by human listeners is related, among other things, to the expectedness of harmonic units (chords) in their local harmonic context. We train a word2vec-type neural network to learn a vector space that captures contextual similarity and expectedness, and define a quantitative measure of harmonic tension on top of this. To assess the veridicality of the model, we compare its outputs on a number of well-defined chord classes and cadential contexts to results from pertinent empirical studies in music psychology. Statistical analysis shows that the model's predictions conform very well with empirical evidence obtained from human listeners.


title: Empirical optimal transport on countable metric spaces: Distributional limits and statistical applications

abstract: We derive distributional limits for empirical transport distances between probability measures supported on countable sets. Our approach is based on sensitivity analysis of optimal values of infinite dimensional mathematical programs and a delta method for non-linear derivatives. A careful calibration of the norm on the space of probability measures is needed in order to combine differentiability and weak convergence of the underlying empirical process. Based on this we provide a sufficient and necessary condition for the underlying distribution on the countable metric space for such a distributional limit to hold. We give an explicit form of the limiting distribution for ultra-metric spaces. Finally, we apply our findings to optimal transport based inference in large scale problems. An application to nanoscale microscopy is given.


title: Nearest neighbor imputation for general parameter estimation in survey sampling

abstract: Nearest neighbor imputation is popular for handling item nonresponse in survey sampling. In this article, we study the asymptotic properties of the nearest neighbor imputation estimator for general population parameters, including population means, proportions and quantiles. For variance estimation, the conventional bootstrap inference for matching estimators with fixed number of matches has been shown to be invalid due to the nonsmoothness nature of the matching estimator. We propose asymptotically valid replication variance estimation. The key strategy is to construct replicates of the estimator directly based on linear terms, instead of individual records of variables. A simulation study confirms that the new procedure provides valid variance estimation.


title: Local moment formation and magnetic coupling of Mn guest atoms in Bi$_2$Se$_3$: a low-temperature ferromagnetic resonance study

abstract: We compare the magnetic and electronic configuration of single Mn atoms in molecular beam epitaxy (MBE) grown Bi$_2$Se$_3$ thin films, focusing on electron paramagnetic (ferromagnetic) resonance (EPR and FMR, respectively) and superconducting quantum interference device (SQUID) techniques. X-ray diffraction (XRD) and electron backscatter diffraction (EBSD) reveal the expected increase of disorder with increasing concentration of magnetic guest atoms, however, Kikuchi patterns show that disorder consists majorly of mum-scale 60deg twin domains in the hexagonal Bi$_2$Se$_3$ structure, which are promoted by the presence of single unclustered Mn impurities. Ferromagnetism below T$_C$ ~ (5.4 +/- 0.3) K can be well described by critical scaling laws M(T) ~ (1-T/T$_C$)$^\beta$ with a critical exponent $\beta$ = (0.34 +/- 0.2)), suggesting 3D Heisenberg class magnetism instead of e.g. 2D-type coupling between Mn-spins in van der Waals gap sites. From EPR hyperfine structure data we determine a Mn$^{2+}$ (d$^5$, S = 5/2) electronic configuration with a g-factor of 2.002 for -1/2 --> +1/2 transitions. In addition, from the strong dependence of the low temperature FMR fields and linewidth on the field strength and orientation with respect to the Bi$_2$Se$_3$ (0001) plane, we derive magnetic anisotropy energies of up to K1 = -3720 erg/cm3 in MBE-grown Mn-doped Bi$_2$Se$_3$, reflecting the first order magneto-crystalline anisotropy of an in-plane magnetic easy plane in a hexagonal (0001) crystal symmetry. Across the ferromagnetic-paramagnetic transition the FMR intensity is suppressed and resonance fields converge the paramagnetic limit of a Mn$^{2+}$ (d$^5$, S = 5/2).


title: Surface Acoustic wave modulation of a coherently driven quantum dot in a pillar microcavity

abstract: We report the efficient coherent photon scattering from a semiconductor quantum dot embedded in a pillar microcavity. We show that a surface acoustic wave can periodically modulate the energy levels of the quantum dot, but has a negligible effect on the cavity mode. The scattered narrow-band laser is converted to a pulsed single-photon stream, displaying an anti-bunching dip characteristic of single-photon emission. Multiple phonon sidebands are resolved in the emission spectrum, due to the absorption and emission of vibrational quanta in each scattering event.


title: Electric-Magnetic Aspects On Yang-Mills Fields

abstract: Let A be the space of irreducible connections (vector potentials) over a SU(n)-principal bundle on a three-dimensional manifold M. Let T be the fiber product of the tangent and cotangent bundles of A. We endow T with a symplectic structure \Omega which is represented by a vortex formula. The corresponding Poisson bracket will give a parallel formula discussed by Marsden-Weinstein in case of the electric-magnetic field, U(1)-gauge. We shall prove the Maxwell equations on T. The first two equations are the Hamilton equations of motion derived from the symplectic structure on T, and the second equations come from the moment maps of the action of the group of gauge transformations G. That is, these are conserved charges. The Yang-Mills field F is a subspace of T defined as the space with 0-charge. There is a Hamiltonian action of G on F. The moment map gives a new conserved quantity. Finally we shall give a symplectic variables (Clebsch parametrization) for (F, \Omega)


title: Network analysis of the COSMOS galaxy field

abstract: The galaxy data provided by COSMOS survey for 1 by 1 degree field of sky are analysed by methods of complex networks. Three galaxy samples (slices) with redshifts ranging within intervals 0.88-0.91, 0.91-0.94 and 0.94-0.97 are studied as two-dimensional projections for the spatial distributions of galaxies. We construct networks and calculate network measures for each sample, in order to analyse the network similarity of different samples, distinguish various topological environments, and find associations between galaxy properties (colour index and stellar mass) and their topological environments. Results indicate a high level of similarity between geometry and topology for different galaxy samples and no clear evidence of evolutionary trends in network measures. The distribution of local clustering coefficient C manifests three modes which allow for discrimination between stand-alone singlets and dumbbells (0 <= C <= 0.1), intermediately (0 < C < 0.9) and clique (0.9 <= C <= 1) like galaxies. Analysing astrophysical properties of galaxies (colour index and stellar masses), we show that distributions are similar in all slices, however weak evolutionary trends can also be seen across redshift slices. To specify different topological environments we have extracted selections of galaxies from each sample according to different modes of C distribution. We have found statistically significant associations between evolutionary parameters of galaxies and selections of C: the distribution of stellar mass for galaxies with interim C differ from the corresponding distributions for stand-alone and clique galaxies, and this difference holds for all redshift slices. The colour index realises somewhat different behaviour.


title: Magnetized strange quark matter in $f(R,T)$ gravity with bilinear and special form of time varying deceleration parameter

abstract: In this paper, we have studied homogeneous and anisotropic, locally rotationally symmetric (LRS) Bianchi type-I universe model with magnetized strange quark matter (MSQM) distribution and cosmological constant $\Lambda$ in $f(R,T)$ gravity. The exact solutions of the field equations are obtained under bilinear and special form of time varying deceleration parameter (DP). Firstly we have considered two specific form of bilinear DP with a single parameter of the form: $q=\frac{\alpha(1-t)}{1+t}$ and $q=-\frac{\alpha t}{1+t}$, which leads to a function with constant or linear nature with respect to the choice of constant $\alpha$. Second one is the special form of the DP as $q=-1+\frac{\beta}{1+a^{\beta}}$. From obtained results, we could say that in the early universe the magnetic flux has more effects and it gradually reducing its effects in later. For $t\rightarrow \infty$, we get $p\rightarrow -B_c$ and $\rho\rightarrow B_c$. So the strange quark matter along with magnetic epoch gives an idea of accelerated expansion of the universe as per the observations of the type Ia Supernovae.


title: Statistical Properties of Loss Rate Estimators in Tree Topology (2)

abstract: Four types of explicit estimators are proposed here to estimate the loss rates of the links in a network with the tree topology and all of them are derived by the maximum likelihood principle. One of the four is developed from an estimator that was used but neglected because it was suspected to have a higher variance. All of the estimators are proved to be either unbiased or asymptotic unbiased. In addition, a set of formulae are derived to compute the efficiencies and variances of the estimates obtained by the estimators. One of the formulae shows that if a path is divided into two segments, the variance of the estimates obtained for the pass rate of a segment is equal to the variance of the pass rate of the path divided by the square of the pass rate of the other segment. A number of theorems and corollaries are derived from the formulae that can be used to evaluate the performance of an estimator. Using the theorems and corollaries, we find the estimators from the neglected one are the best estimator for the networks with the tree topology in terms of efficiency and computation complexity.


title: Low-Overhead Code Concatenation Approaches for Universal Quantum Computation

abstract: As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approaches is one of the main bottlenecks for large-scale quantum computation. In this paper, two approaches for universal fault-tolerant quantum computation, mainly based on code concatenation, are proposed. The proposed approaches outperform code concatenation in terms of both number of qubits and code distance and has also significantly less resource overhead than code switching, magic state distillation and pieceable fault-tolerance at the cost of reducing the effective distance of the concatenated code for implementing non-transversal gates.


title: Borg's Periodicity Theorems for first order self-adjoint systems with complex potentials

abstract: A self-adjoint first order system with Hermitian $\pi$-periodic potential $Q(z)$, integrable on compact sets, is considered. It is shown that all zeros of $\Delta + 2e^{-i\int_0^\pi \Im q dt}$ are double zeros if and only if this self-adjoint system is unitarily equivalent to one in which $Q(z)$ is $\frac{\pi}{2}$-periodic. Furthermore, the zeros of $\Delta - 2e^{-i\int_0^\pi \Im q dt}$ are all double zeros if and only if the associated self-adjoint system is unitarily equivalent to one in which $Q(z) = \sigma_2 Q(z) \sigma_2$. Here $\Delta$ denotes the discriminant of the system and $\sigma_0$, $\sigma_2$ are Pauli matrices. Finally, it is shown that all instability intervals vanish if and only if $Q = r\sigma_0 + q\sigma_2$, for some real valued $\pi$-periodic functions $r$ and $q$ integrable on compact sets.


title: Magnetorotational Instability in Core-Collapse Supernovae

abstract: We discuss the relevance of the magnetorotational instability (MRI) in core-collapse supernovae (CCSNe). Our recent numerical studies show that in CCSNe, the MRI is terminated by parasitic instabilities of the Kelvin-Helmholtz type. To determine whether the MRI can amplify initially weak magnetic fields to dynamically relevant strengths in CCSNe, we performed three-dimensional simulations of a region close to the surface of a differentially rotating proto-neutron star in non-ideal magnetohydrodynamics with two different numerical codes. We find that under the conditions prevailing in proto-neutron stars, the MRI can amplify the magnetic field by (only) one order of magnitude. This severely limits the role of MRI channel modes as an agent amplifying the magnetic field in proto-neutron stars starting from small seed fields.


title: Frame-dependence of higher-order inflationary observables in scalar-tensor theories

abstract: In the context of scalar-tensor theories of gravity we compute the third-order corrected spectral indices in the slow-roll approximation. The calculation is carried out by employing the Green's function method for scalar and tensor perturbations in both the Einstein and Jordan frames. Then, using the interrelations between the Hubble slow-roll parameters in the two frames we find that the frames are equivalent up to third order. Since the Hubble slow-roll parameters are related to the potential slow-roll parameters, we express the observables in terms of the latter which are manifestly invariant. Nevertheless, the same inflaton excursion leads to different predictions in the two frames since the definition of the number of e-folds differs. To illustrate this effect we consider a nonminimal inflationary model and find that the difference in the predictions grows with the nonminimal coupling and it can actually be larger than the difference between the first and third order results for the observables. Finally, we demonstrate the effect of various end-of-inflation conditions on the observables. These effects will become important for the analyses of inflationary models in view of the improved sensitivity of future experiments.


title: From equality to diversity - bottom-up approach for hierarchy growth

abstract: The hierarchical topology is a common property of many complex systems. Here we introduce a simple but generic model of hierarchy growth from the bottom to the top. Therein, two dynamical processes are accounted for: agent's promotions to next hierarchy levels when local speakers are elected and followed by other agents and agent's degradations to the lowest hierarchy. Following the initial stage when all agents are at the bottom level in the course of time the system approaches a stationary state where new hierarchies no longer emerge and the distribution of agents at different levels is exponential. In the stationary state the average hierarchy level and the fraction of agents at the lowest level are independent from the system size however the height of hierarchy, i.e. maximal number of observed hierarchy levels grows logarithmically along the total number of agents. The average number of followers of an agent in the stationary state is much smaller than the number of followers he possessed at the promotion moment. Results from numerical simulations are confirmed by an analytical treatment based on the rate equation.


title: Dissipative quantum bifurcation machine: Quantum heating of coupled nonlinear oscillators

abstract: A network of driven nonlinear oscillators without dissipation has recently been proposed for solving combinatorial optimization problems via quantum adiabatic evolution through its bifurcation point. Here we investigate the behavior of the quantum bifurcation machine in the presence of dissipation. Our numerical study suggests that the output probability distribution of the dissipative quantum bifurcation machine is Boltzmann-like, where the energy in the Boltzmann distribution corresponds to the cost function of the optimization problem. We explain the Boltzmann distribution by generalizing the concept of quantum heating in a single oscillator to the case of multiple coupled oscillators. The present result also suggests that such driven dissipative nonlinear oscillator networks can be applied to Boltzmann sampling, which is used, e.g., for Boltzmann machine learning in the field of artificial intelligence.


title: Odd length: odd diagrams and descent classes

abstract: We define and study odd analogues of classical geometric and combinatorial objects associated to permutations, namely odd Schubert varieties, odd diagrams, and odd inversion sets. We show that there is a bijection between odd inversion sets of permutations and acyclic orientations of the Tur\'{a}n graph, that the dimension of the odd Schubert variety associated to a permutation is the odd length of the permutation, and give several necessary conditions for a subset of $[n] \times [n]$ to be the odd diagram of a permutation. We also study the sign-twisted generating function of the odd length over descent classes of the symmetric groups.


title: Two loop virtual corrections to $b\to(d,s)\ell^+\ell^-$ and $c\to u\ell^+\ell^-$ for arbitrary momentum transfer

abstract: Non-factorizable two loop corrections to heavy to light flavor changing neutral current transitions due to matrix elements of current-current operators are calculated analytically for arbitrary momentum transfer. This extends previous works on $b\to(d,s)\ell^+\ell^-$ transitions. New results for $c\to u\ell^+\ell^-$ transitions are presented. Recent works on polylogarithms are used for the master integrals. For $b\to s\ell^+\ell^-$ transitions, the corrections are most significant for the imaginary parts of the effective Wilson coefficients in the large hadronic recoil range. Analytical results and ready-to-use fitted results for a specific set of parameters are provided.


title: Blocking metal accretion onto population III stars by stellar wind

abstract: Low-mass population III (PopIII) stars of $\lesssim 0.8 M_{\odot}$ could survive up until the present. Non-detection of low-mass PopIII stars in our Galaxy has already put a stringent constraint on the initial mass function (IMF) of PopIII stars, suggesting that PopIII stars have a top-heavy IMF. On the other hand, some claims that the lack of such stars stems from metal enrichment of their surface by accretion of heavy elements from interstellar medium (ISM). We investigate effects of the stellar wind on the metal accretion onto low-mass PopIII stars because accretion of the local ISM onto the Sun is prevented by the solar wind even for neutrals. The stellar wind and radiation of low-mass PopIII stars are modeled based on knowledge of nearby low-mass stellar systems including our Sun. We find that low-mass PopIII stars traveling across the Galaxy forms the stellar magnetosphere in most of their life. Once the magnetosphere is formed, most of neutral interstellar particles are photoionized before reaching to the stellar surface and are blown away by the wind. Especially, the accretion abundance of iron will be reduced by a factor of $< 10^{-12}$ compared with Bondi-Hoyle-Lyttleton accretion. The metal accretion can enhance iron abundance [Fe/H] only up to $\sim -14$. This demonstrates that low-mass PopIII stars remain pristine and will be found as metal free stars and that further searches for them are valuable to constrain the IMF of PopIII stars.


title: SCUBA-2 Ultra Deep Imaging EAO Survey (STUDIES): Faint-End Counts at 450 um

abstract: The SCUBA-2 Ultra Deep Imaging EAO Survey (STUDIES) is a three-year JCMT Large Program aiming at reaching the 450 $\mu$m confusion limit in the COSMOS-CANDELS region, to study a representative sample of the high-redshift far-infrared galaxy population that gives rise to the bulk of the far-infrared background. We present the first-year data from STUDIES. We have reached a 450 $\mu$m noise level of 0.91~mJy for point sources at the map center, covered an area of 151 arcmin$^2$, and detected 98 and 141 sources at 4.0 and 3.5 $\sigma$, respectively. Our derived counts are best constrained in the 3.5-25 mJy regime using directly detected sources. Below the detection limits, our fluctuation analysis further constrains the slope of the counts down to 1 mJy. The resulting counts at 1-25 mJy are consistent with a power law having a slope of $-2.59$ ($\pm0.10$ for 3.5-25 mJy, and $^{+0.4}_{-0.7}$ for 1-3.5 mJy). There is no evidence of a faint-end termination or turn-over of the counts in this flux density range. Our counts are also consistent with previous SCUBA-2 blank-field and lensing cluster surveys. The integrated surface brightness from our counts down to 1 mJy is $90.0\pm17.2$ Jy deg$^{-2}$, which can account for up to $83^{+15}_{-16}\%$ of the COBE 450 $\mu$m background. We show that Herschel counts at 350 and 500 $\mu$m are significantly higher than our 450 $\mu$m counts, likely caused by its large beam and source clustering. High-angular resolution instruments like SCUBA-2 at 450 $\mu$m are therefore highly beneficial for measuring the luminosity and spatial density of high-redshift dusty galaxies.


title: Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees

abstract: Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics, ie any categorical interpretation of the logic compatible with its cut-elimination procedure. This notion can usually be captured syntactically by a set of rule permutations. Very generally, proofnets can be defined as combinatorial objects which provide canonical representatives of equivalence classes of proofs. In particular, the existence of proof nets for a logic provides a solution to the equivalence problem of this logic. In certain fragments of linear logic, it is possible to give a notion of proofnet with good computational properties, making it a suitable representation of proofs for studying the cut-elimination procedure, among other things. It has recently been proved that there cannot be such a notion of proofnets for the multiplicative (with units) fragment of linear logic, due to the equivalence problem for this logic being Pspace-complete. We investigate the multiplicative-additive (without unit) fragment of linear logic and show it is closely related to binary decision trees: we build a representation of proofs based on binary decision trees, reducing proof equivalence to decision tree equivalence, and give a converse encoding of binary decision trees as proofs. We get as our main result that the complexity of the proof equivalence problem of the studied fragment is Logspace-complete.


title: Obstacle problems and free boundaries: an overview

abstract: Free boundary problems are those described by PDEs that exhibit a priori unknown (free) interfaces or boundaries. These problems appear in Physics, Probability, Biology, Finance, or Industry, and the study of solutions and free boundaries uses methods from PDEs, Calculus of Variations, Geometric Measure Theory, and Harmonic Analysis. The most important mathematical challenge in this context is to understand the structure and regularity of free boundaries. In this paper we provide an invitation to this area of research by presenting, in a completely non-technical manner, some classical results as well as some recent results of the author.


title: Canonical systems in $\mathbb{R}^2$ with periodic potentials and vanishing instability intervals

abstract: Canonical systems in $\mathbb{R}^2$ with absolutely continuous real symmetric $\pi$-periodic potentials matrices are considered. A through analysis of the discriminant is given along with the indexing and interlacing of the eigenvalues of the periodic, anti-periodic and Dirichlet-type boundary value problems on $[0,\pi]$. The periodic and anti-periodic eigenvalues are characterized in terms of Dirichlet type eigenvalues. It is shown that all instability intervals vanish if and only if the potential is the product of an absolutely continuous real valued function with the identity matrix.


title: iDTI-ESBoost: Identification of Drug Target Interaction Using Evolutionary and Structural Features with Boosting

abstract: Prediction of new drug-target interactions is extremely important as it can lead the researchers to find new uses for old drugs and to realize the therapeutic profiles or side effects thereof. However, experimental prediction of drug-target interactions is expensive and time-consuming. As a result, computational methods for prediction of new drug-target interactions have gained much interest in recent times. We present iDTI-ESBoost, a prediction model for identification of drug-target interactions using evolutionary and structural features. Our proposed method uses a novel balancing technique and a boosting technique for the binary classification problem of drug-target interaction. On four benchmark datasets taken from a gold standard data, iDTI-ESBoost outperforms the state-of-the-art methods in terms of area under Receiver operating characteristic (auROC) curve. iDTI-ESBoost also outperforms the latest and the best-performing method in the literature to-date in terms of area under precision recall (auPR) curve. This is significant as auPR curves are argued to be more appropriate as a metric for comparison for imbalanced datasets, like the one studied in this research. In the sequel, our experiments establish the effectiveness of the classifier, balancing methods and the novel features incorporated in iDTI-ESBoost. iDTI-ESBoost is a novel prediction method that has for the first time exploited the structural features along with the evolutionary features to predict drug-protein interactions. We believe the excellent performance of iDTI-ESBoost both in terms of auROC and auPR would motivate the researchers and practitioners to use it to predict drug-target interactions. To facilitate that, iDTI-ESBoost is readily available for use at: http://farshidrayhan.pythonanywhere.com/iDTI-ESBoost/


title: An empirical study on the effectiveness of images in Multimodal Neural Machine Translation

abstract: In state-of-the-art Neural Machine Translation (NMT), an attention mechanism is used during decoding to enhance the translation. At every step, the decoder uses this mechanism to focus on different parts of the source sentence to gather the most useful information before outputting its target word. Recently, the effectiveness of the attention mechanism has also been explored for multimodal tasks, where it becomes possible to focus both on sentence parts and image regions that they describe. In this paper, we compare several attention mechanism on the multimodal translation task (English, image to German) and evaluate the ability of the model to make use of images to improve translation. We surpass state-of-the-art scores on the Multi30k data set, we nevertheless identify and report different misbehavior of the machine while translating.


title: Accumulation of individual fitness or wealth as a population game

abstract: The accumulation of individual fitness or wealth is modelled as a population game in which pairs of individuals are recurrently and randomly matched to play a game over a resource. In addition, all individuals have random access to a constant background resource, and their fitness or wealth depreciates over time. For brevity we focus on the well-known Hawk-Dove game. In the base-line model, the probability of winning a fight (that is, when both play Hawk) is the same for both parties. In an extended version, the individual with higher current fitness or wealth has a higher probability of winning. Analytical results are given for the fitness/wealth distribution at any given time, for the evolution of average fitness/wealth over time, and for the asymptotics with respect to time and population size. Long-run average fitness/wealth is non-monotonic in the value of the resource, thus providing a potential explanation of the curse of the riches.


title: Spin wave dispersion just above the magnetic order-order transition in the metallic antiferromagnet Mn$_3$Pt

abstract: Spin wave dispersion in the metallic antiferromagnet Mn$_3$Pt was investigated just above the order-order transition temperature by using the inelastic neutron scattering technique. The spin wave dispersion at $T = 400$ K along [100], [110] and [111] directions was isotropic within the measurement accuracy. The dispersion was described by $({\hbar\omega})^2 = c^2q^2 + \Delta^2$ with $c = 190$ meV {\AA} and $\Delta = 3.3$ meV. Compared with the dispersion at $T = 419$ K previously reported, the result demonstrates a large reduction of the stiffness constant $c$ with increasing temperature. This is similar to that observed in the metallic antiferromagnet FePt$_3$, and is an indication of the itinerancy of the magnetic moments.


title: Classifying Potts critical lines

abstract: We use scale invariant scattering theory to exactly determine the lines of renormalization group fixed points invariant under the permutational symmetry $S_q$ in two dimensions, and show how one of these scattering solutions describes the ferromagnetic and square lattice antiferromagnetic critical lines of the $q$-state Potts model. Other solutions we determine should correspond to new critical lines. In particular, we obtain that a $S_q$-invariant fixed point can be found up to the maximal value $q=(7+\sqrt{17})/2$. This is larger than the usually assumed maximal value 4 and leaves room for a second order antiferromagnetic transition at $q=5$.


title: Congruences of 5-secant conics and the rationality of some admissible cubic fourfolds

abstract: The works of Hassett and Kuznetsov identify countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and conjecture that the cubics corresponding to these divisors are precisely the rational ones. Rationality has been known classically for the first family $C_{14}$. We use congruences of 5-secant conics to prove rationality for the first three of the families $C_d$, corresponding to $d=14, 26, 38$ in Hassett's notation.


title: Quantum behaviour of pumped and damped triangular Bose Hubbard systems

abstract: We propose and analyse analogs of optical cavities for atoms using three-well Bose-Hubbard models with pumping and losses. We consider triangular configurations. With one well pumped and one damped, we find that both the mean-field dynamics and the quantum statistics show a quantitative dependence on the choice of damped well. The systems we analyse remain far from equilibrium, preserving good coherence between the wells in the steady-state. We find quadrature squeezing and mode entanglement for some parameter regimes and demonstrate that the trimer with pumping and damping at the same well is the stronger option for producing non-classical states. Due to recent experimental advances, it should be possible to demonstrate the effects we investigate and predict.


title: Parabolic Regularity and Dirichlet boundary value problems

abstract: We study the relationship between the Regularity and Dirichlet boundary value problems for parabolic equations of the form $Lu=\text{div}(A \nabla u)-u_t=0$ in Lip$(1,1/2)$ time-varying cylinders, where the coefficient matrix $A = \left[ a_{ij}(X,t)\right] $ is uniformly elliptic and bounded. We show that if the Regularity problem $(R)_p$ for the equation $Lu=0$ is solvable for some $1<p<\infty$ then the Dirichlet problem $(D^*)_{p'}$ for the adjoint equation $L^*v=0$ is also solvable, where $p'=p/(p-1)$. This result is an analogue of the result established in the elliptic case by Kenig and Pipher. In the parabolic settings in the special case of the heat equation in slightly smoother domains this has been established by Hofmann and Lewis and Nystr\"om for scalar parabolic systems. In comparison, our result is abstract with no assumption on the coefficients beyond the ellipticity condition and is valid in more general class of domains.


title: Proof of a conjecture of Klopsch-Voll on Weyl groups of type $A$

abstract: We prove a conjecture of Klopsch-Voll on the signed generating function of a new statistic on the quotients of the symmetric groups. As a consequence of our results we also prove a conjecture of Stasinski-Voll in type $B$.


title: Designing high-performance composite joints close to parent materials of aluminum matrix composites

abstract: Composite joints with high-performance close to the parent materials of aluminum matrix composites were fabricated by a new joining technology assisted by ultrasonic vibration. We found both the microstructure and the mechanical performance were systematically dependent on the volume fraction and the distribution of reinforcement particles in the bond region. This study can be generalized to the bonding of other ceramic-reinforced metal matrix composites.


title: Primordial nucleosynthesis

abstract: Primordial nucleosynthesis, or big bang nucleosynthesis (BBN), is one of the three evidences for the big bang model, together with the expansion of the universe and the cosmic microwave background. There is a good global agreement over a range of nine orders of magnitude between abundances of 4He, D, 3He and 7Li deduced from observations, and calculated in primordial nucleosynthesis. However, there remains a yet-unexplained discrepancy of a factor 3, between the calculated and observed lithium primordial abundances, that has not been reduced, neither by recent nuclear physics experiments, nor by new observations. The precision in deuterium observations in cosmological clouds has recently improved dramatically, so that nuclear cross-sections involved in deuterium BBN needs to be known with similar precision. We will briefly discuss nuclear aspects related to the BBN of Li and D, BBN with nonstandard neutron sources, and finally, improved sensitivity studies using a Monte Carlo method that can be used in other sites of nucleosynthesis.


title: D-meson azimuthal anisotropy in mid-central Pb-Pb collisions at $\mathbf{\sqrt{s_{\rm NN}}=5.02}$ TeV

abstract: The azimuthal anisotropy coefficient $v_2$ of prompt D$^0$, D$^+$, D$^{*+}$ and D$_s^+$ mesons was measured in mid-central (30-50% centrality class) Pb-Pb collisions at a centre-of-mass energy per nucleon pair $\sqrt{s_{\rm NN}} = 5.02$ TeV, with the ALICE detector at the LHC. The D mesons were reconstructed via their hadronic decays at mid-rapidity, $|y|<0.8$, in the transverse momentum interval $1<p_{\rm T}<24$ GeV/$c$. The measured D-meson $v_2$ has similar values as that of charged pions. The D$_s^+$ $v_2$, measured for the first time, is found to be compatible with that of non-strange D mesons. The measurements are compared with theoretical calculations of charm-quark transport in a hydrodynamically expanding medium and have the potential to constrain medium parameters.


title: Edge-Unfolding Nearly Flat Convex Caps

abstract: The main result of this paper is a proof that a nearly flat, acutely triangulated convex cap C in R^3 has an edge-unfolding to a non-overlapping polygon in the plane. A convex cap is the intersection of the surface of a convex polyhedron and a halfspace. "Nearly flat" means that every outer face normal forms a sufficiently small angle phi < Phi with the z-axis orthogonal to the halfspace bounding plane. The size of Phi depends on the acuteness gap alpha: if every triangle angle is at most pi/2-alpha, then Phi ~= 0.36 sqrt(alpha) suffices; e.g., for alpha ~= 3deg, Phi = 5deg. Even if C is closed to a polyhedron by adding the convex polygonal base under C, this polyhedron can be edge-unfolded without overlap. The proof employs the recent concepts of angle-monotone and radially monotone curves. The proof is constructive, leading to a polynomial-time algorithm for finding the edge-cuts, at worst O(n^2); a version has been implemented.


title: Context-Free Path Querying by Matrix Multiplication

abstract: Graph data models are widely used in many areas, for example, bioinformatics, graph databases. In these areas, it is often required to process queries for large graphs. Some of the most common graph queries are navigational queries. The result of query evaluation is a set of implicit relations between nodes of the graph, i.e. paths in the graph. A natural way to specify these relations is by specifying paths using formal grammars over the alphabet of edge labels. An answer to a context-free path query in this approach is usually a set of triples (A, m, n) such that there is a path from the node m to the node n, whose labeling is derived from a non-terminal A of the given context-free grammar. This type of queries is evaluated using the relational query semantics. Another example of path query semantics is the single-path query semantics which requires presenting a single path from the node m to the node n, whose labeling is derived from a non-terminal A for all triples (A, m, n) evaluated using the relational query semantics. There is a number of algorithms for query evaluation which use these semantics but all of them perform poorly on large graphs. One of the most common technique for efficient big data processing is the use of a graphics processing unit (GPU) to perform computations, but these algorithms do not allow to use this technique efficiently. In this paper, we show how the context-free path query evaluation using these query semantics can be reduced to the calculation of the matrix transitive closure. Also, we propose an algorithm for context-free path query evaluation which uses relational query semantics and is based on matrix operations that make it possible to speed up computations by using a GPU.


title: Inverse scattering on the line with a transfer condition

abstract: The inverse scattering problem for Sturm-Liouville operators on the line with a matrix transfer condition at the origin is considered. We show that the transfer matrix can be reconstructed from the eigenvalues and reflection coefficient. In addition, for potentials with compact essential support, we show that the potential can be uniquely reconstructed.


title: Visually Grounded Word Embeddings and Richer Visual Features for Improving Multimodal Neural Machine Translation

abstract: In Multimodal Neural Machine Translation (MNMT), a neural model generates a translated sentence that describes an image, given the image itself and one source descriptions in English. This is considered as the multimodal image caption translation task. The images are processed with Convolutional Neural Network (CNN) to extract visual features exploitable by the translation model. So far, the CNNs used are pre-trained on object detection and localization task. We hypothesize that richer architecture, such as dense captioning models, may be more suitable for MNMT and could lead to improved translations. We extend this intuition to the word-embeddings, where we compute both linguistic and visual representation for our corpus vocabulary. We combine and compare different confi


title: Ins-Robust Primitive Words

abstract: Let Q be the set of primitive words over a finite alphabet with at least two symbols. We characterize a class of primitive words, Q_I, referred to as ins-robust primitive words, which remain primitive on insertion of any letter from the alphabet and present some properties that characterizes words in the set Q_I. It is shown that the language Q_I is dense. We prove that the language of primitive words that are not ins-robust is not context-free. We also present a linear time algorithm to recognize ins-robust primitive words and give a lower bound on the number of n-length ins-robust primitive words.


title: Charged and uncharged vortices in quasiclassical theory

abstract: The charging effect of a superconducting vortex core is very important for transport properties of superconducting vortices. The chiral p-wave superconductor, known as a topological superconductor (SC), has a Majorana fermion in a vortex core and the charging effect has been studied using microscopic Bogoliubov-de Gennes (BdG) theory. According to calculations based on the BdG theory, one type of the vortex is charged as well as the vortex of the s-wave SC, while the other is uncharged. We reproduce this interesting charging effect using an augmented quasiclassical theory in chiral p-wave SCs, by which we can deal with particle-hole asymmetry in the quasiclassical approximation.


title: Quantum theory and the structure of space-time

abstract: We argue that space and space-time emerge as a consequence of dynamical collapse of the wave function of macroscopic objects. Locality and separability are properties of our approximate, emergent universe. At the fundamental level, space-time is non-commutative, and dynamics is non-local and non-separable.


title: Numbers with simply normal $\beta$-expansions

abstract: In [Bak] the first author proved that for any $\beta\in (1,\beta_{KL})$ every $x\in(0,\frac{1}{\beta-1})$ has a simply normal $\beta$-expansion, where $\beta_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented by an observation made in [JSS], where it was shown that whenever $\beta\in (\beta_T, 2]$ there exists an $x\in(0,\frac{1}{\beta-1})$ with a unique $\beta$-expansion, and this expansion is not simply normal. Here $\beta_T\approx 1.80194$ is the unique zero in $(1,2]$ of the polynomial $x^3-x^2-2x+1$. This leaves a gap in our understanding within the interval $[\beta_{KL}, \beta_T]$. In this paper we fill this gap and prove that for any $\beta\in (1,\beta_T],$ every $x\in(0,\frac{1}{\beta-1})$ has a simply normal $\beta$-expansion. For completion, we provide a proof that for any $\beta\in(1,2)$, Lebesgue almost every $x$ has a simply normal $\beta$-expansion. We also give examples of $x$ with multiple $\beta$-expansions, none of which are simply normal. Our proofs rely on ideas from combinatorics on words and dynamical systems.


title: Effect of the charged-lepton's mass on the quasielastic neutrino cross sections

abstract: Martini et al. [Phys. Rev. C 94, 015501 (2016)] recently observed that when the produced-lepton's mass plays an important role, the charged-current quasielastic cross section for muon neutrinos can be higher than that for electron neutrinos. Here I argue that this effect appears solely in the theoretical descriptions of nuclear effects in which nucleon knockout requires the energy and momentum transfers to lie in a narrow range of the kinematically allowed values.


title: Polarisation of submillimetre lines from interstellar medium

abstract: Magnetic fields play important roles in many astrophysical processes. However, there is no universal diagnostic for the magnetic fields in the interstellar medium (ISM) and each magnetic tracer has its limitation. Any new detection method is thus valuable. Theoretical studies have shown that submillimetre fine-structure lines are polarised due to atomic alignment by Ultraviolet (UV) photon-excitation, which opens up a new avenue to probe interstellar magnetic fields. We will, for the first time, perform synthetic observations on the simulated three-dimensional ISM to demonstrate the measurability of the polarisation of submillimetre atomic lines. The maximum polarisation for different absorption and emission lines expected from various sources, including Star-Forming Regions (SFRs) are provided. Our results demonstrate that the polarisation of submillimetre atomic lines is a powerful magnetic tracer and add great value to the observational studies of the submilimetre astronomy.


title: A synchronous game for binary constraint systems

abstract: Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate independence number are different. We prove new characterisations of synchronous quantum approximate correlations and synchronous quantum spatial correlations. We solve the synchronous approximation problem of Dykema and the second author, which yields a new equivalence of Connes' embedding problem in terms of synchronous correlations.


title: Higher order derivative coupling to gravity and its cosmological implications

abstract: We show that the $R^{(3)}\delta K$ operator in effective field theory is significant for avoiding the instability of nonsingular bounce, where $R^{(3)}$ and $K_{\mu\nu}$ are the three-dimensional Ricci scalar and the extrinsic curvature on the spacelike hypersurface, respectively. We point out that the covariant Lagrangian of $R^{(3)}\delta K$, i.e., $L_{R^{(3)}\delta K}$, has the second order derivative couplings of scalar field to gravity which do not appear in Horndeski theory or its extensions, but does not bring the Ostrogradski ghost. We also discuss the possible effect of $L_{R^{(3)}\delta K}$ on the primordial scalar perturbation in inflation scenario.


title: LED-based Photometric Stereo: Modeling, Calibration and Numerical Solution

abstract: We conduct a thorough study of photometric stereo under nearby point light source illumination, from modeling to numerical solution, through calibration. In the classical formulation of photometric stereo, the luminous fluxes are assumed to be directional, which is very difficult to achieve in practice. Rather, we use light-emitting diodes (LEDs) to illuminate the scene to reconstruct. Such point light sources are very convenient to use, yet they yield a more complex photometric stereo model which is arduous to solve. We first derive in a physically sound manner this model, and show how to calibrate its parameters. Then, we discuss two state-of-the-art numerical solutions. The first one alternatingly estimates the albedo and the normals, and then integrates the normals into a depth map. It is shown empirically to be independent from the initialization, but convergence of this sequential approach is not established. The second one directly recovers the depth, by formulating photometric stereo as a system of PDEs which are partially linearized using image ratios. Although the sequential approach is avoided, initialization matters a lot and convergence is not established either. Therefore, we introduce a provably convergent alternating reweighted least-squares scheme for solving the original system of PDEs, without resorting to image ratios for linearization. Finally, we extend this study to the case of RGB images.


title: Mixingales on Riesz spaces

abstract: A mixingale is a stochastic process which combines properties of martingales and mixing sequences. McLeish introduced the term mixingale at the $4^{th}$ Conference on Stochastic Processes and Application, at York University, Toronto, 1974, in the context of $L^2$. In this paper we generalize the concept of a mixingale to the measure-free Riesz space setting (this generalizes all of the $L^p, 1\le p\le \infty$ variants) and prove that a weak law of large numbers holds for Riesz space mixingales. In the process we also generalize the concept of uniform integrability to the Riesz space setting.


title: Astrometric accuracy during the past 2000 years

abstract: The great development of astrometric accuracy since the observations by Hipparchus about 150 BC was documented in 2008 in the first version of the present report. This report was updated in H{\o}g (2017d), e.g. with recent information on the catalogues before 1800 AD. The development has often been displayed in diagrams showing the accuracy versus time. A new simplified diagram is provided in the present report as Fig.2 and in a .png file and this information will presumably be the main interest for some readers.


title: A general framework for blockchain analytics

abstract: Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for different, and often undisclosed, purposes, making the blockchains a rich and increasingly growing source of valuable information, in part of difficult interpretation. Many data analytics have been developed, mostly based on specifically designed and ad-hoc engineered approaches. We propose a general-purpose framework, seamlessly supporting data analytics on both Bitcoin and Ethereum - currently the two most prominent cryptocurrencies. Such a framework allows us to integrate relevant blockchain data with data from other sources, and to organise them in a database, either SQL or NoSQL. Our framework is released as an open-source Scala library. We illustrate the distinguishing features of our approach on a set of significant use cases, which allow us to empirically compare ours to other competing proposals, and evaluate the impact of the database choice on scalability.


title: Method For Making 2-Electron Response Reduced Density Matrices Approximately N-representable

abstract: In methods like geminal-based approaches or coupled cluster that are solved using the projected Schr\"odinger equation, direct computation of the 2-electron reduced density matrix (2-RDM) is impractical and one falls back to a 2-RDM based on response theory. However, the 2-RDMs from response theory are not $N$-representable. That is, the response 2-RDM does not correspond to an actual physical $N$-electron wave function. We present a new algorithm for making these non-$N$-representable 2-RDMs approximately $N$-representable, i.e. it has the right symmetry and normalization and it fulfills the $P$-, $Q$- and $G$-conditions. Next to an algorithm which can be applied to any 2-RDM, we have also developed a 2-RDM optimization procedure specifically for seniority-zero 2-RDMs. We aim to find the 2-RDM with the right properties that is the closest (in the sense of the Frobenius norm) to the non-N-representable 2-RDM by minimizing the square norm of the difference between the initial 2-RDM and the targeted 2-RDM under the constraint that the trace is normalized and the 2-RDM, $Q$- and $G$-matrices are positive semidefinite, i.e. their eigenvalues are non-negative. Our method is suitable for fixing non-N-respresentable 2-RDMs which are close to being N-representable. Through the N-representability optimization algorithm we add a small correction to the initial 2-RDM such that it fulfills the most important N-representability conditions.


title: Loewner Equation driven by complex-valued functions

abstract: Consider the Loewner equation associated to the upper-half plane. Normally this equation is driven by a real-valued function. In this paper, we show that when the driving function is complex-valued with small $1/2$-H\"older norm, the corresponding hull is a quasi-arc, hence is a simple curve. We also study how the hull changes with respect to complex parameters and make a connection between Loewner equation and complex dynamics.


title: Polynomial description of inhomogeneous topological superconducting wires

abstract: We present universal features of the topological invariant of p-wave superconducting wires after the inclusion of spatial inhomogeneities. Three classes of distributed potentials are studied, a single- impurity, a commensurate and an incommensurate model using periodic site modulations. An analytical polynomial description is achieved by splitting the topological invariant into two parts, one dependent on the chemical potential and the other not. For the homogeneous case, an elliptical region is found where the topological invariant oscillates. The zeros of these oscillations occur at points where the fermion parity switches for finite wires. The increase of these oscillations with the inhomogeneity strength leads to new non-topological phases. We characterize these new phases according to each class of spatial distributions. Such phases could also be observed in the XY model.


title: Distance Properties of Short LDPC Codes and their Impact on the BP, ML and Near-ML Decoding Performance

abstract: Parameters of LDPC codes, such as minimum distance, stopping distance, stopping redundancy, girth of the Tanner graph, and their influence on the frame error rate performance of the BP, ML and near-ML decoding over a BEC and an AWGN channel are studied. Both random and structured LDPC codes are considered. In particular, the BP decoding is applied to the code parity-check matrices with an increasing number of redundant rows, and the convergence of the performance to that of the ML decoding is analyzed. A comparison of the simulated BP, ML, and near-ML performance with the improved theoretical bounds on the error probability based on the exact weight spectrum coefficients and the exact stopping size spectrum coefficients is presented. It is observed that decoding performance very close to the ML decoding performance can be achieved with a relatively small number of redundant rows for some codes, for both the BEC and the AWGN channels.


title: Polyhedra and parameter spaces for matroids over valuation rings

abstract: In this paper we address two of the major foundational questions in the theory of matroids over rings. First, we provide a cryptomorphic axiomatisation, by introducing an analogue of the base polytope for matroids. Second, we describe a parameter space for matroids over a valuation ring, which turns out to be a tropical version of the Bott-Samelson varieties for the full flag variety. Thus a matroid over a valuation ring is a sequence of flags of tropical linear spaces a.k.a. valuated matroids.


title: Logically automorphically equivalent knowledge bases

abstract: Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. Studying various equivalences of knowledge bases allows us to compare different knowledge bases. The main objective of this paper is logically automorphically equivalent knowledge bases. As we will see this notion gives us a good enough characterization of knowledge bases.


title: Multi-state models for evaluating conversion options in life insurance

abstract: In this paper we propose a multi-state model for the evaluation of the conversion option contract. The multi-state model is based on age-indexed semi-Markov chains that are able to reproduce many important aspects that influence the valuation of the option such as the duration problem, the time non-homogeneity and the ageing effect. The value of the conversion option is evaluated after the formal description of this contract.


title: Full NLO electroweak corrections to Z-boson pair production at the Large Hadron Collider

abstract: We report on a recent calculation of the full next-to-leading-order electroweak corrections to Z-boson pair production with subsequent decays into four charged leptons. Using the complete matrix elements at leading order and next-to-leading order in the electroweak coupling for the processes $pp\to\mu^+\mu^-e^+e^-$ and $pp \to\mu^+\mu^-\mu^+\mu^-$, this includes all off-shell effects of intermediate massive vector bosons and photons. We employ a gauge-invariant splitting for the electroweak corrections into purely weak and photonic corrections. The latter show the well-known radiative tails near kinematical thresholds or resonances. The former are generically at the level of $\sim-5\%$ for the fiducial cross section and reach several $-10\%$ in the high-energy tails of distributions due to logarithms of electroweak origin. The impact of interference effects due to equal-flavour leptons in the final state can reach the order of $5\%$ in off-shell-sensitive regions. Photon-induced contributions are included in our calculation, but turn out to be phenomenologically unimportant.


title: Ringing in de Sitter spacetime

abstract: Hydrodynamics is a universal effective theory describing relaxation of quantum field theories towards equilibrium. Massive QFTs in de Sitter spacetime are never at equilibrium. We use holographic gauge theory/gravity correspondence to describe relaxation of a QFT to its Bunch-Davies vacuum - an attractor of its late-time dynamics. Specifically, we compute the analogue of the quasinormal modes describing the relaxation of a holographic toy model QFT in de Sitter.


title: Decision-Making and Biases in Cybersecurity Capability Development: Evidence from a Simulation Game Experiment

abstract: We developed a simulation game to study the effectiveness of decision-makers in overcoming two complexities in building cybersecurity capabilities: potential delays in capability development; and uncertainties in predicting cyber incidents. Analyzing 1,479 simulation runs, we compared the performances of a group of experienced professionals with those of an inexperienced control group. Experienced subjects did not understand the mechanisms of delays any better than inexperienced subjects; however, experienced subjects were better able to learn the need for proactive decision-making through an iterative process. Both groups exhibited similar errors when dealing with the uncertainty of cyber incidents. Our findings highlight the importance of training for decision-makers with a focus on systems thinking skills, and lay the groundwork for future research on uncovering mental biases about the complexities of cybersecurity.