title: Averages of $b$-hadron, $c$-hadron, and $\tau$-lepton properties as of 2018

abstract: This paper reports world averages of measurements of $b$-hadron, $c$-hadron, and $\tau$-lepton properties obtained by the Heavy Flavor Averaging Group using results available through September 2018. In rare cases, significant results obtained several months later are also used. For the averaging, common input parameters used in the various analyses are adjusted (rescaled) to common values, and known correlations are taken into account. The averages include branching fractions, lifetimes, neutral meson mixing parameters, CP violation parameters, parameters of semileptonic decays, and Cabibbo-Kobayashi-Maskawa matrix elements.


title: GA-GAN: CT reconstruction from Biplanar DRRs using GAN with Guided Attention

abstract: This work investigates the use of guided attention in the reconstruction of CTvolumes from biplanar DRRs. We try to improve the visual image quality of the CT reconstruction using Guided Attention based GANs (GA-GAN). We also consider the use of Vector Quantization (VQ) for the CT reconstruction so that the memory usage can be reduced, maintaining the same visual image quality. To the best of our knowledge no work has been done before that explores the Vector Quantization for this purpose. Although our findings show that our approaches outperform the previous works, still there is a lot of room for improvement.


title: Query by Semantic Sketch

abstract: Sketch-based query formulation is very common in image and video retrieval as these techniques often complement textual retrieval methods that are based on either manual or machine generated annotations. In this paper, we present a retrieval approach that allows to query visual media collections by sketching concept maps, thereby merging sketch-based retrieval with the search for semantic labels. Users can draw a spatial distribution of different concept labels, such as "sky", "sea" or "person" and then use these sketches to find images or video scenes that exhibit a similar distribution of these concepts. Hence, this approach does not only take the semantic concepts themselves into account, but also their semantic relations as well as their spatial context. The efficient vector representation enables efficient retrieval even in large multimedia collections. We have integrated the semantic sketch query mode into our retrieval engine vitrivr and demonstrated its effectiveness.


title: A note on orthogonal polynomials described by Chebyshev polynomials

abstract: The purpose of this note is to extend in a simple and unified way some results on orthogonal polynomials with respect to the weight function $$\frac{|T_m(x)|^p}{\sqrt{1-x^2}}\;,\quad-1<x<1\;,$$ where $T_m$ is the Chebyshev polynomial of the first kind of degree $m$ and $p>-1$.


title: Orientation Dependent Interaction and Self-assembly of Cubic Magnetic Colloids in a Nematic Liquid Crystal

abstract: Spherical microparticles dispersed in nematic liquid crystals have been extensively investigated in the past years. Here, we report experimental studies on the elastic deformation, colloidal interaction and self-assembly of hematite microcubes with homeotropic surface anchoring in a nematic liquid crystal. We demonstrate that the colloidal interaction and self-assembly of cubic colloids are orientation dependent. In a notable departure from the conventional microspheres, the microcubes stabilise diverse structures, such as bent chains, branches, kinks and closed-loops. The microcubes reorient under rotating external magnetic field, thereby experiencing an elastic torque in the medium, which allows us to measure the magnetic moment through competition between elastic and magnetic torques. Our findings envisage that the faceted magnetic colloids in liquid crystals are potential for developing new functional magnetic materials with specific morphologies.


title: PowNet: a power systems analysis model for large-scale water-energy nexus studies

abstract: PowNet is a free modelling tool for simulating the Unit Commitment / Economic Dispatch of large-scale power systems. PowNet is specifically conceived for applications in the water-energy nexus domain, which investigate the impact of water availability on electricity supply. To this purpose, PowNet is equipped with features that guarantee accuracy, reusability, and computational efficiency over large spatial and temporal domains. Specifically, the model (i) accounts for the techno-economic constraints of both generating units and transmission networks, (ii) can be easily coupled with models that estimate the status of generating units as a function of the climatic conditions, and (iii) explicitly includes import/export nodes, which are often found in cross-border systems. PowNet is implemented in Python and runs with the help of any standard optimization solver (e.g., Gurobi, CPLEX). Its functionality is demonstrated on the Cambodian power system.


title: Robust Factor Analysis Parameter Estimation

abstract: This paper considers the problem of robustly estimating the parameters of a heavy-tailed multivariate distribution when the covariance matrix is known to have the structure of a low-rank matrix plus a diagonal matrix as considered in factor analysis (FA). By assuming the observed data to follow the multivariate Student's t distribution, we can robustly estimate the parameters via maximum likelihood estimation (MLE). However, the MLE of parameters becomes an intractable problem when the multivariate Student's t distribution and the FA structure are both introduced. In this paper, we propose an algorithm based on the generalized expectation maximization (GEM) method to obtain estimators. The robustness of our proposed method is further enhanced to cope with missing values. Finally, we show the performance of our proposed algorithm using both synthetic data and real financial data.


title: Entanglement in first excited states of some many-body quantum spin systems: indication of quantum phase transition in finite size systems

abstract: We compute concurrence, a measure of bipartite entanglement, of the first excited state of the $1$-D Heisenberg frustrated $J_1$-$J_2$ spin-chain and observe a sudden change in the entanglement of the eigen state near the coupling strength $\alpha=J_2/J_1\approx0.241$, where a quantum phase transition from spin-fluid phase to dimer phase has been previously reported. We numerically observe this phenomena for spin-chain with $8$ sites to $16$ sites, and the value of $\alpha$ at which the change in entanglement is observed asymptotically tends to a value $\alpha_c\approx0.24116$. We have calculated the finite-size scaling exponents for spin chains with even and odd spins. It may be noted that bipartite as well as multipartite entanglement measures applied on the ground state of the system, fail to detect any quantum phase transition from the gapless to the gapped phase in the $1$-D Heisenberg frustrated $J_1$-$J_2$ spin-chain. Furthermore, we measure bipartite entanglement of first excited states for other spin models like $2$-D Heisenberg $J_1$-$J_2$ model and Shastry-Sutherland model and find similar indications of quantum phase transitions.


title: Prominent Cooper Pairing Away From the Fermi Level and its Spectroscopic Signature in Twisted Bilayer Graphene

abstract: We investigate phonon-mediated Cooper pairing in flat electronic band systems by solving the full-bandwidth multiband Eliashberg equations for superconductivity in magic angle twisted bilayer graphene using a realistic tight-binding model. We find that Cooper pairing away from the Fermi level contributes decisively to superconductivity by enhancing the critical temperature and ensures a robust finite superfluid density. We show that this pairing yields particle-hole asymmetric superconducting domes in the temperature-gating phase diagram and gives rise to distinct spectroscopic signatures in the superconducting state. We predict several such features in tunneling and angle resolved photoemission spectra for future experiments.


title: Efficient computation of the density matrix with error control on distributed computer systems

abstract: The recursive polynomial expansion for construction of a density matrix approximation with rigorous error control [J. Chem. Phys. 128, 074106 (2008)] is implemented in the quantum chemistry program Ergo [SoftwareX 7, 107 (2018)] using the Chunks and Tasks matrix library [Parallel Comput. 57, 87 (2016)]. The expansion is based on second-order polynomials and accelerated by the scale-and-fold technique [J. Chem. Theory Comput. 7, 1233 (2011)]. We evaluate the performance of the implementation by computing the density matrix from the Fock matrix in the large-scale self-consistent field calculations. We demonstrate that the amount of communicated data per worker process tends to a constant with increasing system size and number of computer nodes such that the amount of work per worker process is fixed.


title: Quantumness of Relative Incompatibility

abstract: We propose a new measure of relative incompatibility for a quantum system with respect to two non-commuting observables, and call it quantumness of relative incompatibility. In case of a classical state, order of observation is inconsequential, hence probability distribution of outcomes of any observable remains undisturbed. We define relative entropy of the two marginal probability distributions as a measure of quantumness in the state, which is revealed only in presence of two non-commuting observables. Like all other measures, we show that the proposed measure satisfies some basic axioms. Also, we find that this measure depicts complementarity with quantum coherence. The relation is more vivid when we choose one of the observables in such a way that its eigen basis matches with the basis in which the coherence is measured. Our result indicates that the quantumness in a single system is still an interesting question to explore and there can be an inherent feature of the state which manifests beyond the idea of quantum coherence.


title: Federated User Representation Learning

abstract: Collaborative personalization, such as through learned user representations (embeddings), can improve the prediction accuracy of neural-network-based models significantly. We propose Federated User Representation Learning (FURL), a simple, scalable, privacy-preserving and resource-efficient way to utilize existing neural personalization techniques in the Federated Learning (FL) setting. FURL divides model parameters into federated and private parameters. Private parameters, such as private user embeddings, are trained locally, but unlike federated parameters, they are not transferred to or averaged on the server. We show theoretically that this parameter split does not affect training for most model personalization approaches. Storing user embeddings locally not only preserves user privacy, but also improves memory locality of personalization compared to on-server training. We evaluate FURL on two datasets, demonstrating a significant improvement in model quality with 8% and 51% performance increases, and approximately the same level of performance as centralized training with only 0% and 4% reductions. Furthermore, we show that user embeddings learned in FL and the centralized setting have a very similar structure, indicating that FURL can learn collaboratively through the shared parameters while preserving user privacy.


title: Entropy Stable p-Nonconforming Discretizations with the Summation-by-Parts Property for the Compressible Euler equations

abstract: The entropy conservative/stable algorithm of Friedrich~\etal (2018) for hyperbolic conservation laws on nonconforming p-refined/coarsened Cartesian grids, is extended to curvilinear grids for the compressible Euler equations. The primary focus is on constructing appropriate coupling procedures across the curvilinear nonconforming interfaces. A simple and flexible approach is proposed that uses interpolation operators from one element to the other. On the element faces, the analytic metrics are used to construct coupling terms, while metric terms in the volume are approximated to satisfy a discretization of the geometric conservation laws. The resulting scheme is entropy conservative/stable, elementwise conservative, and freestream preserving. The accuracy and stability properties of the resulting numerical algorithm are shown to be comparable to those of the original conforming scheme (~p+1 convergence) in the context of the isentropic Euler vortex and the inviscid Taylor-Green vortex problems on manufactured high order grids.

categories: math.NA cs.NA math-ph math.MP physics.flu-dyn


title: Fast shared response model for fMRI data

abstract: The shared response model provides a simple but effective framework to analyse fMRI data of subjects exposed to naturalistic stimuli. However when the number of subjects or runs is large, fitting the model requires a large amount of memory and computational power, which limits its use in practice. In this work, we introduce the FastSRM algorithm that relies on an intermediate atlas-based representation. It provides considerable speed-up in time and memory usage, hence it allows easy and fast large-scale analysis of naturalistic-stimulus fMRI data. Using four different datasets, we show that our method matches the performance of the original SRM algorithm while being about 5x faster and 20x to 40x more memory efficient. Based on this contribution, we use FastSRM to predict age from movie watching data on the CamCAN sample. Besides delivering accurate predictions (mean absolute error of 7.5 years), FastSRM extracts topographic patterns that are predictive of age, demonstrating that brain activity during free perception reflects age.


title: Ranks and Singularities of Cubic Surfaces

abstract: We explore the connection between the rank of a polynomial and the singularities of its vanishing locus. We first describe the singularity of generic polynomials of fixed rank. We then focus on cubic surfaces. Cubic surfaces with isolated singularities are known to fall into 22 singularity types. We compute the rank of a cubic surface of each singularity type. This enables us to find the possible singular loci of a cubic surface of fixed rank. Finally, we study connections to the Hessian discriminant. We show that a cubic surface with singularities that are not ordinary double points lies on the Hessian discriminant, and that the Hessian discriminant is the closure of the rank six cubic surfaces.


title: Automorphisms of character varieties

abstract: We show that the algebraic automorphism group of the SL(2,C) character variety of a closed orientable surface with negative Euler characteristic is a finite extension of its mapping class group. Along the way, we provide a simple characterization of the valuations on the character algebra coming from measured laminations.


title: Lightning-Fast and Privacy-Preserving Outsourced Computation in the Cloud

abstract: In this paper, we propose a framework for lightning-fast privacy-preserving outsourced computation framework in the cloud, which we refer to as LightCom. Using LightCom, a user can securely achieve the outsource data storage and fast secure data processing in a single cloud server different from the existing multi-server outsourced computation model. Specifically, we first present a general secure computation framework for LightCom under the cloud server equipped with multiple Trusted Processing Units (TPUs) which face the side-channel attack. Under the LightCom, we design two specified fast processing toolkits which allow the user to achieve the commonly-used secure integer computation and secure floating-point computation against the side-channel information leakage of TPUs, respectively. Furthermore, our LightCom can also guarantee access pattern protection during the data processing and achieve user private information retrieve after the computation. We prove that the proposed LightCom can successfully achieve the goal of single cloud outsourced data processing to avoid the extra computation server and trusted computation server, and demonstrate the utility and the efficiency of LightCom using simulations.


title: Recent developments in LLRF and its controls at CERN Linac4

abstract: At the end of the Large Hadron Collider's Run 2, CERN's Proton Injector Linac 2, commissioned in 1978, delivered its final beam in December 2018. For Run 3, from March 2021, a new H$^{-}$ will take over the role: Linac4. The machine has been producing test beams since 2013 and in 2016 it reached its design 160 MeV energy with 20 mA beam current. Since then several improvements have been made which enhance the LLRF performance and stability. In this paper the structure of the machine and the control system are presented. Problems arising from different RF station types are described and our solutions explained, along with new features recently added to the LLRF. An Adaptive Feed Forward implemented as a flexible hybrid hardware-software solution is described, and first results of this application running on a laboratory test stand are presented. Addition of the set point modulation needed for longitudinal phase-space painting is discussed. Finally, software tools for automation of setting up, monitoring and operations are described. As the hardware and low-level software are still reaching maturity, these are only briefly introduced here.


title: Maximum Entropy Framework for a Universal Rank Order distribution with Socio-economic Applications

abstract: In this paper we derive the maximum entropy characteristics of a particular rank order distribution, namely the discrete generalized beta distribution, which has recently been observed to be extremely useful in modelling many several rank-size distributions from different context in Arts and Sciences, as a two-parameter generalization of Zipf's law. Although it has been seen to provide excellent fits for several real world empirical datasets, the underlying theory responsible for the success of this particular rank order distribution is not explored properly. Here we, for the first time, provide its generating process which describes it as a natural maximum entropy distribution under an appropriate bivariate utility constraint. Further, considering the similarity of the proposed utility function with the usual logarithmic utility function from economic literature, we have also explored its acceptability in universal modeling of different types of socio-economic factors within a country as well as across the countries. The values of distributional parameters estimated through a rigorous statistical estimation method, along with the $entropy$ values, are used to characterize the distributions of all these socio-economic factors over the years.


title: Dirac equation on a square waveguide lattice with site-dependent coupling strengths and the gravitational Aharonov-Bohm effect

abstract: The main objective of this work is to present a theoretical proposal for an implementation of the $(2 + 1)$-dimensional Dirac equation in classical gravitational and electromagnetic backgrounds in a two-dimensional waveguide array. For this, a framework for achieving site-dependent effective coupling constants in two-dimensional waveguide arrays is developed. Implementability of the Dirac equation under the proposed scheme puts minor demands on gauge and spacetime backgrounds; however, a wide array of physical spacetimes, such as all vacuum and static solutions, prove to be implementable. As an interesting and instructive example, we discuss a tabletop realization of the gravitational Aharonov-Bohm effect: After devising a thought experiment in which signatures of the gravitational Aharonov-Bohm effect could be detected, we briefly discuss how the analogue of such a setting can in principle be implemented using the proposed waveguide setup.


title: Contrasted Sn Substitution effects on Dirac line node semimetals SrIrO$_{3}$ and CaIrO$_{3}$

abstract: Perovskite-type iridates SrIrO$_{3}$ and CaIrO$_{3}$ are a Dirac line node semimetal protected by crystalline symmetry, providing an interesting playground to investigate electron correlation effects on topological semimetals. The effect of Sn doping was examined by growing SrIr$_{1-x}$Sn$_{x}$O$_{3}$ and CaIr$_{1-x}$Sn$_{x}$O$_{3}$ thin films epitaxially on SrTiO$_{3}$(001) substrate using pulsed laser deposition. Upon Sn doping, the semimetallic ground state switches into an insulator. As temperature is lowered, the resistivity, $\rho (T)$, of SrIr$_{1-x}$Sn$_{x}$O$_{3}$ above a critical doping level ($x_{\text{c}} \sim 0.1$) shows a well-defined transition from the semimetal to a weakly ferromagnetic insulator at $T = T_{\text{c}}$. In contrast, the $\rho (T)$ of CaIr$_{1-x}$Sn$_{x}$O$_{3}$ with increasing $x$ shows a rapid increase of magnitude but does not show clear signature of metal-insulator transition in the temperature dependence. We argue that the contrasted behavior of the two closely related iridates reflects the interplay between the effects of electron correlation and disorder enhanced by Sn doping.


title: Symplectic resolutions of character varieties

abstract: In this article we consider the connected component of the identity of $G$-character varieties of compact Riemann surfaces of genus $g > 0$, for connected complex reductive groups $G$ of type $A$ (e.g., $SL_n$ and $GL_n$). We show that these varieties are symplectic singularities and classify which admit symplectic resolutions. The classification reduces to the semi-simple case, where we show that a resolution exists if and only if either $g=1$ and $G$ is a product of special linear groups of any rank and copies of the group $PGL_2$, or if $g=2$ and $G = (SL_2)^m$ for some $m$.


title: Entropy Stable p-Nonconforming Discretizations with the Summation-by-Parts Property for the Compressible Navier-Stokes Equations

abstract: The entropy conservative, curvilinear, nonconforming, p-refinement algorithm for hyperbolic conservation laws of Del Rey Fernandez et al. (2019), is extended from the compressible Euler equations to the compressible Navier-Stokes equations. A simple and flexible coupling procedure with planar interpolation operators between adjoining nonconforming elements is used. Curvilinear volume metric terms are numerically approximated via a minimization procedure and satisfy the discrete geometric conservation law conditions. Distinct curvilinear surface metrics are used on the adjoining interfaces to construct the interface coupling terms, thereby localizing the discrete geometric conservation law constraints to each individual element. The resulting scheme is entropy conservative/stable, element-wise conservative, and freestream preserving. Viscous interface dissipation operators are developed that retain the entropy stability of the base scheme. The accuracy and stability properties of the resulting numerical scheme are shown to be comparable to those of the original conforming scheme (achieving ~p+1 convergence) in the context of the viscous shock problem, the Taylor-Green vortex problem at a Reynolds number of Re=1,600, and a subsonic turbulent flow past a sphere at Re = 2,000.


title: Global solutions for chemotaxis-Navier-Stokes system with Robin boundary conditions

abstract: We consider a chemotaxis-Navier-Stokes system modelling cellular swimming in fluid drops where an exchange of oxygen between the drop and its environment is taken into account. This phenomenon results in an inhomogeneous Robin-type boundary condition. Moreover, the system is studied without the logistic growth of the bacteria population. We prove that in two dimensions, the system has a unique global classical solution, while the existence of a global weak solution is shown in three dimensions. In the latter case, we show that the energy is bounded uniformly in time. A key idea is to utilise a boundary energy to derive suitable {\it a priori} estimates. Moreover, we are able to remove the convexity assumption on the domain.


title: Self-inversive polynomial and quasi-orthogonality on the unit circle

abstract: In this paper we study quasi-orthogonality on the unit circle based on the structural and orthogonal properties of a class of self-invariant polynomials. We discuss a special case in which these polynomials are represented in terms of the reversed Szeg\H{o} polynomials of consecutive degrees and illustrate the results using contiguous relations of hypergeometric functions. This work is motivated partly by the fact that recently cases have been made to establish para-orthogonal polynomials as the unit circle analogues of quasi-orthogonal polynomials on the real line so far as spectral properties are concerned. We show that structure wise too there is great analogy when self-inversive polynomials are used to study quasi-orthogonality on the unit circle.


title: The Braess' Paradox for Pendant Twins

abstract: The Kemeny's constant $\kappa(G)$ of a connected undirected graph $G$ can be interpreted as the expected transit time between two randomly chosen vertices for the Markov chain associated with $G$. In certain cases, inserting a new edge into $G$ has the counter-intuitive effect of increasing the value of $\kappa(G)$. In the current work we identify a large class of graphs exhibiting this "paradoxical" behavior - namely, those graphs having a pair of twin pendant vertices. We also investigate the occurrence of this phenomenon in random graphs, showing that almost all connected planar graphs are paradoxical. To establish these results, we make use of a connection between the Kemeny's constant and the resistance distance of graphs.


title: Single-cell eQTLGen Consortium: a personalized understanding of disease

abstract: In recent years, functional genomics approaches combining genetic information with bulk RNA-sequencing data have identified the downstream expression effects of disease-associated genetic risk factors through so-called expression quantitative trait locus (eQTL) analysis. Single-cell RNA-sequencing creates enormous opportunities for mapping eQTLs across different cell types and in dynamic processes, many of which are obscured when using bulk methods. The enormous increase in throughput and reduction in cost per cell now allow this technology to be applied to large-scale population genetics studies. Therefore, we have founded the single-cell eQTLGen consortium (sc-eQTLGen), aimed at pinpointing disease-causing genetic variants and identifying the cellular contexts in which they affect gene expression. Ultimately, this information can enable development of personalized medicine. Here, we outline the goals, approach, potential utility and early proofs-of-concept of the sc-eQTLGen consortium. We also provide a set of study design considerations for future single-cell eQTL studies.


title: Netboost: Boosting-supported network analysis improves high-dimensional omics prediction in acute myeloid leukemia and Huntington's disease

abstract: Background: State-of-the art selection methods fail to identify weak but cumulative effects of features found in many high-dimensional omics datasets. Nevertheless, these features play an important role in certain diseases. Results: We present Netboost, a three-step dimension reduction technique. First, a boosting-based filter is combined with the topological overlap measure to identify the essential edges of the network. Second, sparse hierarchical clustering is applied on the selected edges to identify modules and finally module information is aggregated by the first principal components. The primary analysis is than carried out on these summary measures instead of the original data. We demonstrate the application of the newly developed Netboost in combination with CoxBoost for survival prediction of DNA methylation and gene expression data from 180 acute myeloid leukemia (AML) patients and show, based on cross-validated prediction error curve estimates, its prediction superiority over variable selection on the full dataset as well as over an alternative clustering approach. The identified signature related to chromatin modifying enzymes was replicated in an independent dataset of AML patients in the phase II AMLSG 12-09 study. In a second application we combine Netboost with Random Forest classification and improve the disease classification error in RNA-sequencing data of Huntington's disease mice. Conclusion: Netboost improves definition of predictive variables for survival analysis and classification. It is a freely available Bioconductor R package for dimension reduction and hypothesis generation in high-dimensional omics applications.


title: Learning search spaces for Bayesian optimization: Another view of hyperparameter transfer learning

abstract: Bayesian optimization (BO) is a successful methodology to optimize black-box functions that are expensive to evaluate. While traditional methods optimize each black-box function in isolation, there has been recent interest in speeding up BO by transferring knowledge across multiple related black-box functions. In this work, we introduce a method to automatically design the BO search space by relying on evaluations of previous black-box functions. We depart from the common practice of defining a set of arbitrary search ranges a priori by considering search space geometries that are learned from historical data. This simple, yet effective strategy can be used to endow many existing BO methods with transfer learning properties. Despite its simplicity, we show that our approach considerably boosts BO by reducing the size of the search space, thus accelerating the optimization of a variety of black-box optimization problems. In particular, the proposed approach combined with random search results in a parameter-free, easy-to-implement, robust hyperparameter optimization strategy. We hope it will constitute a natural baseline for further research attempting to warm-start BO.


title: Median-point approximation and its application for the study of fermionic systems

abstract: We consider a system of fermions with local interactions on a lattice (Hubbard model) and apply a novel extension of the Laplace's method (saddle-point approximation) for evaluating the corresponding partition function. There, we introduce dual free bosonic fields, with a propagator corresponding to an effective (renormalized) interaction with Maki-Thompson and Aslamazov-Larkin type corrections and beyond, and demonstrate that the superconducting pairing originates as an instability of the effective interaction. We derive the corresponding Bethe-Salpeter equation (instability criterion) and show that the interaction enters the equation only in its effective form to all orders, including the exchange part of the self-energy. An important implication of this result is that the effective interaction always remains finite, even at phase-transition points, directly contradicting the often used assumption of linear relationship between the interaction and susceptibility, established within the random-phase approximation. By analyzing the Bethe-Salpeter equation in the context of unconventional superconductivity, we find that the presence of a flat band close the Fermi level, found in materials such as twisted bilayer graphene, has a twofold favorable impact persisting beyond the weak-coupling approximation: a reduced kinetic energy cost of the gap formation and an increased anisotropy of the effective interaction, favoring a momentum dependent order parameter.


title: A dense, solar metallicity ISM in the z=4.2 dusty star-forming galaxy SPT0418-47

abstract: We present a study of six far-infrared fine structure lines in the z=4.225 lensed dusty star-forming galaxy SPT0418-47 to probe the physical conditions of its InterStellar Medium (ISM). In particular, we report Atacama Pathfinder EXperiment (APEX) detections of the [OI]145um and [OIII]88um lines and Atacama Compact Array (ACA) detections of the [NII]122 and 205um lines. The [OI]145um / [CII]158um line ratio is ~5x higher compared to the average of local galaxies. We interpret this as evidence that the ISM is dominated by photo-dissociation regions with high gas densities. The line ratios, and in particular those of [OIII]88um and [NII]122um imply that the ISM in SPT0418-47 is already chemically enriched close to solar metallicity. While the strong gravitational amplification was required to detect these lines with APEX, larger samples can be observed with the Atacama Large Millimeter/submillimeter Array (ALMA), and should allow to determine if the observed dense, solar metallicity ISM is common among these highly star-forming galaxies.


title: Identifying through Flows for Recovering Latent Representations

abstract: Identifiability, or recovery of the true latent representations from which the observed data originates, is de facto a fundamental goal of representation learning. Yet, most deep generative models do not address the question of identifiability, and thus fail to deliver on the promise of the recovery of the true latent sources that generate the observations. Recent work proposed identifiable generative modelling using variational autoencoders (iVAE) with a theory of identifiability. Due to the intractablity of KL divergence between variational approximate posterior and the true posterior, however, iVAE has to maximize the evidence lower bound (ELBO) of the marginal likelihood, leading to suboptimal solutions in both theory and practice. In contrast, we propose an identifiable framework for estimating latent representations using a flow-based model (iFlow). Our approach directly maximizes the marginal likelihood, allowing for theoretical guarantees on identifiability, thereby dispensing with variational approximations. We derive its optimization objective in analytical form, making it possible to train iFlow in an end-to-end manner. Simulations on synthetic data validate the correctness and effectiveness of our proposed method and demonstrate its practical advantages over other existing methods.


title: A Phase Field Approach to Compressible Droplet Impingement

abstract: We consider the impingement of a droplet onto a wall with high impact speed. To model this process we favour a diffuse-interface concept. Precisely, we suggest a compressible Navier--Stokes--Allen--Cahn model. Basic properties of the model are discussed. To cope with the fluid-wall interaction, we derive thermodynamically consistent boundary conditions that account for dynamic contact angles. We briefly discuss an discontinuous Galerkin scheme which approximates the energy dissipation of the system exactly and illustrate the results with a series of numerical simulations. Currently, these simulations are restricted to static contact angle boundary conditions.


title: Multi-Agent Actor-Critic with Hierarchical Graph Attention Network

abstract: Most previous studies on multi-agent reinforcement learning focus on deriving decentralized and cooperative policies to maximize a common reward and rarely consider the transferability of trained policies to new tasks. This prevents such policies from being applied to more complex multi-agent tasks. To resolve these limitations, we propose a model that conducts both representation learning for multiple agents using hierarchical graph attention network and policy learning using multi-agent actor-critic. The hierarchical graph attention network is specially designed to model the hierarchical relationships among multiple agents that either cooperate or compete with each other to derive more advanced strategic policies. Two attention networks, the inter-agent and inter-group attention layers, are used to effectively model individual and group level interactions, respectively. The two attention networks have been proven to facilitate the transfer of learned policies to new tasks with different agent compositions and allow one to interpret the learned strategies. Empirically, we demonstrate that the proposed model outperforms existing methods in several mixed cooperative and competitive tasks.


title: Tracing Kinematic and Chemical Properties of Sagittarius Stream by K-Giants, M-Giants, and BHB stars

abstract: We characterize the kinematic and chemical properties of $\sim$3,000 Sagittarius (Sgr) stream stars, including K-giants, M-giants, and BHBs, select from SEGUE-2, LAMOST, and SDSS separately in Integrals-of-Motion space. The orbit of Sgr stream is quite clear from the velocity vector in $X$-$Z$ plane. Stars traced by K-giants and M-giants present the apogalacticon of trailing steam is $\sim$ 100 kpc. The metallicity distributions of Sgr K-, M-giants, and BHBs present that the M-giants are on average the most metal-rich population, followed by K-giants and BHBs. All of the K-, M-giants, and BHBs indicate that the trailing arm is on average more metal-rich than leading arm, and the K-giants show that the Sgr debris is the most metal-poor part. The $\alpha$-abundance of Sgr stars exhibits a similar trend with the Galactic halo stars at lower metallicity ([Fe/H] $<\sim$ $-$1.0 dex), and then evolve down to lower [$\alpha$/Fe] than disk stars at higher metallicity, which is close to the evolution pattern of $\alpha$-element of Milky Way dwarf galaxies. We find $V_Y$ and metallicity of K-giants have gradients along the direction of line-of-sight from the Galactic center in $X$-$Z$ plane, and the K-giants show that $V_Y$ increases with metallicity at [Fe/H] $>\sim-$1.5 dex. After dividing the Sgr stream into bright and faint stream according to their locations in equatorial coordinate, the K-giants and BHBs show that the bright and faint stream present different $V_Y$ and metallicities, the bright stream is on average higher in $V_Y$ and metallicity than the faint stream.


title: $L^{p}$ estimates for joint quasimodes of semiclassical pseudodifferential operators whose characteristic sets have $k$th order contact

abstract: In this paper we develop $L^{p}$ estimates for functions $u$ which are joint quasimodes of semiclassical pseudodifferential operators $p_{1}(x,hD)$ and $p_{2}(x,hD)$ whose characteristic sets meet with $k$th order contact, $k\geq{}1$. As part of the technical development we use Fourier integral operators to adapt a flat wavelet analysis to the curved level sets of $p_{1}(x,\xi)$.


title: Uniqueness results in the inverse spectral Steklov problem

abstract: This paper is devoted to an inverse Steklov problem for a particular class of n-dimensional manifolds having the topology of a hollow sphere and equipped with a warped product metric. We prove that the knowledge of the Steklov spectrum determines uniquely the associated warping function up to a natural invariance.


title: Data-Driven Robust Stabilization with RobustDomain of Attraction Estimate for Nonlinear Discrete-Time Systems

abstract: Nonlinear robust control is pursued by overcoming the drawback of linear robust control that it ignores available information about existing nonlinearities and the resulting controllers may be too conservative, especially when the nonlinearities are significant. However, most existing nonlinear robust control approaches just consider the affine nonlinear nominal model and thereby ignore available information about existing non-affine nonlinearities. When the general nonlinear nominal model is considered, the robust domain of attraction (RDOA) of closed-loops requires extensive investigation because it is hard to achieve the global stabilization. In this paper, we propose a new nonlinear robust control method based on Lyapunov function to stabilize a discrete-time uncertain system and to estimate the RDOA of closed-loops. First, a sufficient condition for robust stabilization of all plants in a plant set and estimation of the RDOA of all closed-loops is proposed. Then, to tackle the non-affine nonlinearities, a data-driven method of estimating the robust negative-definite domains (RNDD) is presented, and based on it the estimation of the RDOA of closed-loops and the resulting controller design are also given.


title: Status of the llrf system for SARAF phase II

abstract: CEA is committed to the design, construction and commissioning of a Medium Energy Beam Transfer line and a superconducting linac (SCL) for SARAF accelerator in order to accelerate 5mA beam of either protons from 1.3 MeV to 35 MeV or deuterons from 2.6 MeV to 40 MeV. The Low Level RF (LLRF) is a subsystem of the CEA control domain for the SARAF-LINAC instrumentation. The top level requirement of the LLRF system has been presented in the last LLRF conference. The paper shows a simulink model to analyse and determinate the LLRF technical specification. The public bidding for SARAF LLRF is in the last phase: discussion with the selected company. The first prototype test will be performed at the start of 2020.


title: Mutation testing of smart contracts at scale

abstract: It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and completeness of the tests. There are already several approaches that tackle this challenge with mutation testing, but their effectiveness is questionable since they only considered small contract samples. Hence, we evaluate the quality of smart contract mutation testing at scale. We choose the most promising of the existing (smart contract specific) mutation operators, analyse their effectiveness in terms of killability and highlight severe vulnerabilities that can be injected with the mutations. Moreover, we improve the existing mutation methods by introducing a novel killing condition that is able to detect a deviation in the gas consumption, i.e., in the monetary value that is required to perform transactions. This paper has a replication package at https://github.com/pieterhartel/Mutation-at-scale


title: Correlations of conserved charges and QCD phase structure

abstract: Correlations of conserved charges, i.e., the baryon number, electric charge and the strangeness, have been calculated at finite temperature and chemical potential up to the fourth order. The calculations are done in a 2+1 flavor low energy effective theory, where quantum and thermal fluctuations are encoded through the evolution of flow equations within the functional renormalization group approach. Strangeness neutrality and a fixed ratio of the electric charge to the baryon number density are implemented throughout the computation. We find that higher-order correlations carry more sensitive critical dynamics in comparison to the quadratic ones, and a non-monotonic dependence of the fourth-order correlations between the baryon number and strangeness, $-\chi^{BS}_{31}/\chi^{S}_{2}$ and $\chi^{BS}_{22}/\chi^{S}_{2}$, on the collision energy is found.


title: Broadcasting of non-locality

abstract: Bell nonlocality and steering are archetypal characteristics of quantum mechanics that mark a significant departure from conventional classical notions. They basically refer to the presence of quantum correlations between separated systems which violate a nonlocal inequality, the violation otherwise not possible if we restrict ourselves only to classical correlations. In view of the importance of such unique correlations one may be interested to generate more states exhibiting nonlocality starting from a few, a protocol which is termed as broadcasting. However, in the present submission, we show using universal Buzek-Hillary(BH) quantum cloning machine that, if one restricts to broadcasting through local quantum cloning, then such nonlocality cannot be broadcasted. Our study is done in the purview of the Bell-CHSH inequality and the CJWR (E.G.Cavalcanti,S.J. Jones,H.M Wiseman and M.D. Reid, Phys.Rev.A 80,032112(2009)) steering inequality. It is observed that when number of measurement settings is greater than 6, some of the output states are steerable after the application of local optimal B-H cloners. We find that, under some restrictions, if the Werner and Bell diagonal states are subjected to such procedures, then the resultant state is rendered unsteerable. We extend this study to three qubit systems and find that genuine tripartite nonlocality cannot be broadcasted using universal BH local quantum cloners, when we consider the Svetlichny's inequality. For two qubit systems, we have considered $10^5$ simulated general local unitaries over Werner and Bell-diagonal states and find that for none of these states broadcasting on nonlocality and 3-steerability is possible.


title: Distantly Supervised Question Parsing

abstract: The emergence of structured databases for Question Answering (QA) systems has led to developing methods, in which the problem of learning the correct answer efficiently is based on a linking task between the constituents of the question and the corresponding entries in the database. As a result, parsing the questions in order to determine their main elements, which are required for answer retrieval, becomes crucial. However, most datasets for QA systems lack gold annotations for parsing, i.e., labels are only available in the form of (question, formal-query, answer). In this paper, we propose a distantly supervised learning framework based on reinforcement learning to learn the mentions of entities and relations in questions. We leverage the provided formal queries to characterize delayed rewards for optimizing a policy gradient objective for the parsing model. An empirical evaluation of our approach shows a significant improvement in the performance of entity and relation linking compared to the state of the art. We also demonstrate that a more accurate parsing component enhances the overall performance of QA systems.


title: Cell-Free Massive MIMO for Wireless Federated Learning

abstract: This paper proposes a novel scheme for cell-free massive multiple-input multiple-output (CFmMIMO) networks to support any federated learning (FL) framework. This scheme allows each instead of all the iterations of the FL framework to happen in a large-scale coherence time to guarantee a stable operation of an FL process. To show how to optimize the FL performance using this proposed scheme, we consider an existing FL framework as an example and target FL training time minimization for this framework. An optimization problem is then formulated to jointly optimize the local accuracy, transmit power, data rate, and users' processing frequency. This mixed-timescale stochastic nonconvex problem captures the complex interactions among the training time, and transmission and computation of training updates of one FL process. By employing the online successive convex approximation approach, we develop a new algorithm to solve the formulated problem with proven convergence to the neighbourhood of its stationary points. Our numerical results confirm that the presented joint design reduces the training time by up to $55\%$ over baseline approaches. They also show that CFmMIMO here requires the lowest training time for FL processes compared with cell-free time-division multiple access massive MIMO and collocated massive MIMO.


title: Realizing the Hayden-Preskill Protocol with Coupled Dicke Models

abstract: Hayden and Preskill proposed a thought experiment that Bob can recover the information Alice throws into a black hole if he has a quantum computer entangled with the black hole, and Yoshida and Kitaev recently proposed a concrete decoding scheme. The parallel question is that after a small system is thermalized with a large system, how one can decode the initial state information with the help of two entangled many-body systems. Here we propose to realize this protocol in a physical system of two Dicke models, with two cavity fields prepared in a thermofield double state. We show that the Yoshida-Kitaev protocol allows us to read out the initial spin information after it is scrambled into the cavity. We show that the readout efficiency reaches a maximum when the model parameter is tuned to the regime where the system is the most chaotic, characterized by the shortest scrambling time in the out-of-time-ordered correlation function. Our proposal opens up the possibility of discussing this profound thought experiment in a realistic setting.


title: Evolution of magnetic fields in a transversely expanding highly conductive fluid

abstract: Due to the absence of a transverse expansion with respect to the beam direction, the Bjorken flow is unable to describe certain observables in heavy ion collisions. This caveat has motivated the introduction of analytical relativistic hydrodynamics (RH) solutions with transverse expansion, in particular, the 3+1 self-similar (SSF) and Gubser flows. Inspired by recent generalizations of the Bjorken flow to the relativistic magnetohydrodynamics (RMHD), we present a procedure for a generalization of RH solutions to RMHD. Our method is mainly based on symmetry arguments. Using this method, we find the relation between RH degrees of freedom and the magnetic field evolution in the ideal limit for an infinitely conductive fluid, and determine the proper time dependence of the magnetic field in aforementioned flows. In the case of SSF, a family of solutions are found that are related through a certain differential equation. To find the magnetic field evolution in the Gubser flow, we solve RMHD equations for a stationary fluid in a conformally flat $dS^3\times E^1$ spacetime. The result is then Weyl transformed back into the Minkowski spacetime. In this case, the temporal evolution of the magnetic field exhibits a transmission between $1/t$ to $1/t^3$ near the center of the collision. The longitudinal component of the magnetic field is found to be sensitive to the transverse size of the fluid. We also find the radial evolution of the magnetic field for both flows. The radial domain of validity in the case of SSF is highly restricted, in contrast to the Gubser flow. A comparison of the results suggests that the Gubser RMHD may give a more appropriate qualitative picture of the magnetic field decay in the quark-gluon plasma (QGP).


title: Bayesian decision-theoretic design of experiments under an alternative model

abstract: Traditionally Bayesian decision-theoretic design of experiments proceeds by choosing a design to minimise expectation of a given loss function over the space of all designs. The loss function encapsulates the aim of the experiment, and the expectation is taken with respect to the joint distribution of all unknown quantities implied by the statistical model that will be fitted to observed responses. In this paper, an extended framework is proposed whereby the expectation of the loss is taken with respect to a joint distribution implied by an alternative statistical model. Motivation for this includes promoting robustness, ensuring computational feasibility and for allowing realistic prior specification when deriving a design. To aid in exploring the new framework, an asymptotic approximation to the expected loss under an alternative model is derived, and the properties of different loss functions are established. The framework is then demonstrated on a linear regression versus full-treatment model scenario, on estimating parameters of a non-linear model under model discrepancy and a cubic spline model under an unknown number of basis functions.


title: Superconducting proximity effect in InAsSb surface quantum wells with in-situ Al contact

abstract: We demonstrate robust superconducting proximity effect in InAs$_{0.5}$Sb$_{0.5}$ quantum wells grown with epitaxial Al contact, which has important implications for mesoscopic and topological superconductivity. Unlike more commonly studied InAs and InSb semiconductors, bulk InAs$_{0.5}$Sb$_{0.5}$ supports stronger spin-orbit coupling and larger $g$-factor. However, these potentially desirable properties have not been previously measured in epitaxial heterostructures with superconductors, which could serve as a platform for fault-tolerant topological quantum computing. Through structural and transport characterization we observe high-quality interfaces and strong spin-orbit coupling. We fabricate Josephson junctions based on InAs$_{0.5}$Sb$_{0.5}$ quantum wells and observe strong proximity effect. These junctions exhibit product of normal resistance and critical current, $I_{c}R_{N} = \SI{270}{\micro V}$, and excess current, $I_{ex}R_{N} = \SI{200}{\micro V}$ at contact separations of 500~nm. Both of these quantities demonstrate a robust and long-range proximity effect with highly-transparent contacts.


title: Effects of plasma turbulence on the nonlinear evolution of magnetic island in tokamak

abstract: Magnetic islands (MIs), resulting from a magnetic field reconnection, are ubiquitous structures in magnetized plasmas. In tokamak plasmas, recent researches suggested that the interaction between the MI and ambient turbulence can be important for the nonlinear MI evolution, but a lack of detailed experimental observations and analyses has prevented further understanding. Here, we provide comprehensive two-dimensional observations that indicate various effects of the ambient turbulence on the nonlinear MI evolution. It is shown that the modified plasma turbulence around the MI can lead to either destabilization or stabilization of the MI instability in tokamak plasmas. In particular, significantly enhanced turbulence at the X-point of the MI results in a violent disruption through the fast magnetic reconnection and magnetic field stochastization.


title: RGBD-GAN: Unsupervised 3D Representation Learning From Natural Image Datasets via RGBD Image Synthesis

abstract: Understanding three-dimensional (3D) geometries from two-dimensional (2D) images without any labeled information is promising for understanding the real world without incurring annotation cost. We herein propose a novel generative model, RGBD-GAN, which achieves unsupervised 3D representation learning from 2D images. The proposed method enables camera parameter-conditional image generation and depth image generation without any 3D annotations, such as camera poses or depth. We use an explicit 3D consistency loss for two RGBD images generated from different camera parameters, in addition to the ordinal GAN objective. The loss is simple yet effective for any type of image generator such as DCGAN and StyleGAN to be conditioned on camera parameters. Through experiments, we demonstrated that the proposed method could learn 3D representations from 2D images with various generator architectures.


title: Superfield approach to higher derivative N=1 superconformal mechanics

abstract: We formulate the equations which determine a potential function in an $\mathcal{N}=1$ higher derivative supersymmetric mechanics compatible with the $osp(2|1)\oplus so(d)$ symmetry and provide a few explicit examples.


title: Shuffle algebra realization of quantum affine superalgebra $U_{v}(\hat{\mathfrak{D}}(2,1;\theta))$

abstract: We give shuffle algebra realization of positive part of quantum affine superalgebra $U_{v}(\widehat{\mathfrak{D}}(2,1;\theta))$ associated to any simple root systems. We also determine the shuffle algebra associated to $\widehat{\mathfrak{sl}}(2|1)$ with odd root system when $v$ is a primitive root of unity of even order, generalizing results in \cite{FJMMT03}.


title: Mini-EUSO experiment to study UV emission of terrestrial and astrophysical origin onboard of the International Space Station

abstract: Mini-EUSO will observe the Earth in the UV range (300 - 400 nm) offering the opportunity to study a variety of atmospheric events such as Transient Luminous Events (TLEs), meteors and marine bioluminescence. Furthermore it aims to search for Ultra High Energy Cosmic Rays (UHECR) above $10^{21}$ eV and Strange Quark Matter (SQM). The detector is expected to be launched to the International Space Station in August 2019 and look at the Earth in nadir mode from the UV-transparent window of the Zvezda module of the International Space Station. The instrument comprises a compact telescope with a large field of view ($44^{\circ}$), based on an optical system employing two Fresnel lenses for light collection. The light is focused onto an array of 36 multi-anode photomultiplier tubes (MAPMT), for a total of 2304 pixels and the resulting signal is converted into digital, processed and stored via the electronics subsystems on-board. In addition to the main detector, Mini-EUSO contains two ancillary cameras for complementary measurements in the near infrared (1500 - 1600 nm) and visible (400 - 780 nm) range and also a 8x8 SiPM imaging array.


title: Flat Higgs bundles over non-compact affine Gauduchon manifolds

abstract: In this paper, we use the affine Hermitian-Yang-Mills flow to prove a generalized Donaldson-Uhlenbeck-Yau theorem on flat Higgs bundles over a class of non-compact affine Gauduchon manifolds.


title: A financial market with singular drift and no arbitrage

abstract: We study a financial market where the risky asset is modelled by a geometric It\^o-L\'{e}vy process, with a singular drift term. This can for example model a situation where the asset price is partially controlled by a company which intervenes when the price is reaching a certain lower barrier. See e.g. Jarrow & Protter for an explanation and discussion of this model in the Brownian motion case. As already pointed out by Karatzas & Shreve (in the continuous setting), this allows for arbitrages in the market. However, the situation in the case of jumps is not clear. Moreover, it is not clear what happens if there is a delay in the system. In this paper we consider a jump diffusion market model with a singular drift term modelled as the local time of a given process, and with a delay \theta>0 in the information flow available for the trader. We allow the stock price dynamics to depend on both a continuous process (Brownian motion) and a jump process (Poisson random measure). We believe that jumps and delays are essential in order to get more realistic financial market models. Using white noise calculus we compute explicitly the optimal consumption rate and portfolio in this case and we show that the maximal value is finite as long as the delay \theta> 0. This implies that there is no arbitrage in the market in that case. However, when \theta goes to 0, the value goes to infinity. This is in agreement with the above result that is an arbitrage when there is no delay. Our model is also relevant for high frequency trading issues. This is because high frequency trading often leads to intensive trading taking place on close to infinitesimal lengths of time, which in the limit corresponds to trading on time sets of measure 0. This may in turn lead to a singular drift in the pricing dynamics. See e.g. Lachapelle et al and the references therein.


title: Pruning from Scratch

abstract: Network pruning is an important research field aiming at reducing computational costs of neural networks. Conventional approaches follow a fixed paradigm which first trains a large and redundant network, and then determines which units (e.g., channels) are less important and thus can be removed. In this work, we find that pre-training an over-parameterized model is not necessary for obtaining the target pruned structure. In fact, a fully-trained over-parameterized model will reduce the search space for the pruned structure. We empirically show that more diverse pruned structures can be directly pruned from randomly initialized weights, including potential models with better performance. Therefore, we propose a novel network pruning pipeline which allows pruning from scratch. In the experiments for compressing classification models on CIFAR10 and ImageNet datasets, our approach not only greatly reduces the pre-training burden of traditional pruning methods, but also achieves similar or even higher accuracy under the same computation budgets. Our results facilitate the community to rethink the effectiveness of existing techniques used for network pruning.


title: Fast Fixed Dimension L2-Subspace Embeddings of Arbitrary Accuracy, With Application to L1 and L2 Tasks

abstract: We give a fast oblivious L2-embedding of $A\in \mathbb{R}^{n x d}$ to $B\in \mathbb{R}^{r x d}$ satisfying $(1-\varepsilon)\|A x\|_2^2 \le \|B x\|_2^2 <= (1+\varepsilon) \|Ax\|_2^2.$ Our embedding dimension $r$ equals $d$, a constant independent of the distortion $\varepsilon$. We use as a black-box any L2-embedding $\Pi^T A$ and inherit its runtime and accuracy, effectively decoupling the dimension $r$ from runtime and accuracy, allowing downstream machine learning applications to benefit from both a low dimension and high accuracy (in prior embeddings higher accuracy means higher dimension). We give applications of our L2-embedding to regression, PCA and statistical leverage scores. We also give applications to L1: 1.) An oblivious L1-embedding with dimension $d+O(d\ln^{1+\eta} d)$ and distortion $O((d\ln d)/\ln\ln d)$, with application to constructing well-conditioned bases; 2.) Fast approximation of L1-Lewis weights using our L2 embedding to quickly approximate L2-leverage scores.


title: An integral equation method for closely interacting surfactant-covered droplets in wall-confined Stokes flow

abstract: A highly accurate method for simulating surfactant-covered droplets in two-dimensional Stokes flow with solid boundaries is presented. The method handles both periodic channel flows of arbitrary shape and stationary solid constrictions. A boundary integral method together with a special quadrature scheme is applied to solve the Stokes equations to high accuracy, also for closely interacting droplets. The problem is considered in a periodic setting and Ewald decompositions for the Stokeslet and stresslet are derived. Computations are accelerated using the spectral Ewald method. The time evolution is handled with a fourth order, adaptive, implicit-explicit time-stepping scheme. The numerical method is tested through several convergence studies and other challenging examples and is shown to handle drops in close proximity both to other drops and solid objects to high accuracy.


title: Towards Coq-verified Esterel Semantics and Compiling

abstract: This paper focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant. In particular, in addition to the standard logical (LBS) semantics, constructive semantics (CBS) and constructive state semantics (CSS), we introduce a novel microstep semantics that gets rid of the Must/Can potential function pair of the constructive semantics and can be viewed as an abstract version of Esterel's circuit semantics used by compilers to generate software code and hardware designs. The paper also provides formal proofs in Coq of the equivalence beween the CBS and CSS semantics and of the refinement of the CSS by the microstep semantics.


title: Color continuity along the journey from ideas to objects

abstract: Human endeavor has involved making choices about color and looking for ways to color objects since the dawn of civilization. While it has been the exclusive domain of artists and craftspeople for millennia, the last century has seen the introduction of a scientific basis to color communication. The ultimate goal of this development is for color communication to happen seamlessly and in a transparent way. There are however two categories of challenges here: first, understanding and quantifying color needs and expectation and second, developing control mechanisms that deliver the desired color. In this paper a review will be presented of the color needs in end-to-end color journeys, from initial concept to final colored object and an overview of recent developments in color printing will follow. Topics like imaging pipelines (including the recently-introduced HP Pixel Control), the ease of use of color workflows (including HP Smart Color Tools), the handling of brand or corporate identity colors (via HP Professional PANTONE Emulation) and the measurement of color difference under specific viewing arrangements (i.e., the dENS metric for viewing samples without separation) will be addressed. Finally, a series of challenges for the future will be set out, so that their solution can be approached by both academic and industrial communities.


title: Upper Bound of Collective Attacks on Quantum Key Distribution

abstract: Evaluating the theoretical limit of the amount of information Eve can steal from a quantum key distribution protocol under given conditions is one of the most important things that need to be done in security proof. In addition to source loopholes and detection loopholes, channel attacks are considered to be the main ways of information leakage, while collective attacks are considered to be the most powerful active channel attacks. Here we deduce in detail the capability limit of Eve's collective attack in non-entangled quantum key distribution, like BB84 and measurement-device-independent protocols, and entangled quantum key distribution, like device-independent protocol, in which collective attack is composed of quantum weak measurement and quantum unambiguous state discrimination detection. The theoretical results show that collective attacks are equivalent in entangled and non-entangled quantum key distribution protocols. We also find that compared with the security proof based on entanglement purification, the security proof based on collective attack not only improves the system's tolerable bit error rate, but also improves the key rate.


title: Refined dimensional reduction for isotropic elastic Cosserat shells with initial curvature

abstract: Using a geometrically motivated 8-parameter ansatz through the thickness, we reduce a three-dimensional shell-like geometrically nonlinear Cosserat material to a fully two-dimensional shell model. Curvature effects are fully taken into account. For elastic isotropic Cosserat materials, the integration through the thickness can be performed analytically and a generalized plane stress condition allows for a closed-form expression of the thickness stretch and the nonsymmetric shift of the midsurface in bending. We obtain an explicit form of the elastic strain energy density for Cosserat shells, including terms up to order $O(h^5)$ in the shell thickness $h$. This energy density is expressed as a quadratic function of the nonlinear elastic shell strain tensor and the bending-curvature tensor, with coefficients depending on the initial curvature of the shell.


title: Efficient charge modulation in ultrathin LaAlO$_3$-SrTiO$_3$ field-effect transistors

abstract: At the LaAlO$_3$-SrTiO$_3$ interface, electronic phase transitions can be triggered by modulation of the charge carrier density, making this system an excellent prospect for the realization of versatile electronic devices. Here, we report repeatable transistor operation in locally gated LaAlO$_3$-SrTiO$_3$ field-effect devices of which the LaAlO$_3$ dielectric is only four unit cells thin, the critical thickness for conduction at this interface. This extremely thin dielectric allows a very efficient charge modulation of ${\sim}3.2\times10^{13}$ cm$^{-2}$ within a gate-voltage window of $\pm1$ V, as extracted from capacitance-voltage measurements. These also reveal a large stray capacitance between gate and source, presenting a complication for nanoscale device operation. Despite the small LaAlO$_3$ thickness, we observe a negligible gate leakage current, which we ascribe to the extension of the conducting states into the SrTiO$_3$ substrate.


title: The sharp Hardy--Moser--Trudinger inequality in dimension $n$

abstract: In this paper, we prove a Hardy--Moser--Trudinger inequality in the unit ball $\mathbb B^n$ in $\mathbb R^n$ which improves both the classical singular Moser--Trudinger inequality and the classical Hardy inequality at the same time. More precisely, we show that for any $\beta \in [0,n)$ there exists a constant $C>0$ depending only on $n$ and $\beta$ such that \[ \sup_{u\in W^{1,n}_0(\mathbb B^n), \mathcal H(u) \leq 1}\int_{\mathbb B^n} e^{(1-\frac\beta n)\alpha_n |u|^{\frac n{n-1}}} |x|^{-\beta} dx \leq C \] where $\alpha_n = n \omega_{n-1}^{\frac1{n-1}}$ with $\omega_{n-1}$ being the surface area of the unit sphere $S^{n-1} = \partial \mathbb B^n$, and \[ \mathcal H(u) = \int_{\mathbb B^n} |\nabla u|^n dx -\left(\frac{2(n-1)}n\right)^n \int_{\mathbb B^n} \frac{|u|^n}{(1-|x|^2)^n} dx. \] This extends an inequality of Wang and Ye in dimension two to higher dimensions and to the singular case as well. The proof is based on the method of transplantation of Green's functions and without using the blow-up analysis method. As a consequence, we obtain a singular Moser--Trudinger inequality in the hyperbolic spaces which confirms affirmatively a conjecture by Mancini, Sandeep and Tintarev \cite[Conjecture $5.2$]{MST}. We also propose an inequality which extends the singular Hardy--Moser--Trudinger inequality to any bounded convex domain in $\mathbb R^n$ which is analogue of the conjecture of Wang and Ye in higher dimensions.


title: An insight into the extragalactic transient and variable microJy radio sky across multiple decades

abstract: The mJy variable extragalactic radio sky is known to be broadly non-changing with approximately $3\%$ of persistent radio sources exhibiting variability which is largely AGN-related. In the faint (<mJy) flux density regime, it is widely accepted that the radio source population begins to change from AGN dominated to star-formation dominated, together with an emergent radio-quiet AGN component. Very little is known about the variable source component in this sub-mJy regime. In this paper, we provide the first insight into the $\mu$Jy variable sky by performing a careful analysis using deep VLA data in the well studied GOODS-N field. Using five epochs spread across 22 years, we investigate approximately 480 radio sources finding 10 which show signs of variability. We attribute this variability to the presence of an AGN in these systems. We confirm and extend the results of previous surveys, finding that variability in the faint radio sky is rather modest with only $\leq$2\% of sources exhibiting significant variability between any two epochs. We find that 70\% of variable sources show variability on timescales of a few days whilst on longer decadal time-scales, the fraction of variable sources decreases to $<1\%$. This suggests that the radio variability peaks on shorter timescales as suggested by other studies. We find that 80\% of variable sources have VLBI counterparts, and we use multi-wavelength data to infer that these may well be core-dominated FR-I sources as postulated by wide-field VLBI surveys and semi-empirical simulations.


title: Low-cost Wireless Condition Monitoring for an Ultracold Atom Machine

abstract: We present a flexible wireless monitoring system forbcondition-based maintenance and diagnostics tailored for dynamic and complex experimental setups encountered in modern research laboratories. Our platform leverages an Internet-of-Things approach to monitor a wide range of physical parameters via wireless sensor modules that broadcast to a networked computer. We give a specific demonstration for a so-called ultracold atom machine, which is the workhorse of many emerging quantum technologies and marries a broad spectrum of equipment and instrumentation into its setup. As a distinctive feature, our monitoring system taps into physical parameters of the ultracold atom machine both via customized sensor modules that directly perform measurements, and via modules that recruit and annex constituent instruments of the machine for the additional purpose of retrieving information for diagnostics.


title: Opinion dynamics with memory: how a society is shaped by its own past

abstract: In order to understand the development of common orientation of opinions in the modern world we propose a model of a society described as a large collection of agents that exchange their expressed opinions under the influence of their mutual interactions and external events. In particular we introduce an interaction bias which creates a collective memory effect such that the society is able to store and recall information coming from several external signals. Our model shows how the inner structure of the society and its future reactions can be shaped by its own history. We will provide an analytical explanation of how this might occur and we will show the emergent similarity between the reaction of a society modelled in this way and the Hopfield mechanism for information retrieval.


title: On large mass $\gamma \gamma$ and $\gamma$-meson photoproduction

abstract: Enlarging the set of hard exclusive reactions to be studied in the framework of QCD collinear factorization opens new possibilities to access generalized parton distributions (GPDs). We studied the photoproduction of a large invariant mass photon-photon or photon-meson pair in the generalized Bjorken regime which may be accessible both at JLab and at the EIC.


title: Debiased/Double Machine Learning for Instrumental Variable Quantile Regressions

abstract: In this study, we investigate estimation and inference on a low-dimensional causal parameter in the presence of high-dimensional controls in an instrumental variable quantile regression. Our proposed econometric procedure builds on the Neyman-type orthogonal moment conditions of a previous study Chernozhukov, Hansen and Wuthrich (2018) and is thus relatively insensitive to the estimation of the nuisance parameters. The Monte Carlo experiments show that the estimator copes well with high-dimensional controls. We also apply the procedure to empirically reinvestigate the quantile treatment effect of 401(k) participation on accumulated wealth.


title: Existence and qualitative theory for nonlinear elliptic systems with a nonlinear interface condition used in electrochemistry

abstract: We study a nonlinear elliptic system with prescribed inner interface conditions. These models are frequently used in physical system where the ion transfer plays the important role for example in modelling of nano-layer growth or Li-on batteries. The key difficulty of the model consists of the rapid or very slow growth of nonlinearity in the constitutive equation inside the domain or on the interface. While on the interface, one can avoid the difficulty by proving a kind of maximum principle of a solution, inside the domain such regularity for the flux is not available in principle since the constitutive law is discontinuous with respect to the spatial variable. The key result of the paper is the existence theory for these problems, where we require that the leading functional satisfies either the delta-two or the nabla-two condition. This assumption is applicable in case of fast (exponential) growth as well as in the case of very slow (logarithmically superlinear) growth.


title: Suitability Analysis of Holographic vs Light Field and 2D Displays for Subjective Quality Assessment of Fourier Holograms

abstract: Visual quality assessment of digital holograms is facing many challenges. Main difficulties are related to the limited spatial resolution and angular field of view of holographic displays in combination with the complexity of steering and operating them for such tasks. Alternatively, non-holographic displays - and in particular light-field displays - can be utilized to visualize the numerically reconstructed content of a digital hologram. However, their suitability as alternative for holographic displays has not been validated. In this research, we have investigated this issue via a set of comprehensive experiments. We used Fourier holographic principle to acquire a diverse set of holograms, which were either computer-generated from point clouds or optically recorded from real macroscopic objects. A final public data set comprising 96 holograms was created using three compression methods which encoded the holograms at four bit-depths. Three separate subjective-tests were conducted using a holographic display, a light field display and a 2D display. For these subjective experiments, a double stimulus, multi-perspective, multi-depth subjective testing methodology was designed and implemented. The tests show that the non-holographic displays indicate a higher sensitivity to artifacts than the holographic display, though at the same time it is demonstrated they are highly correlated. This indicates that the numerically reconstructed holograms rendered on a light field or 2D display have a high predictive value for the perceived quality on holographic display.


title: Astrophysics from the 21-cm background

abstract: This chapter describes the astrophysics encoded by the 21-cm background. We begin with a brief introduction to the radiative transfer and ionization chemistry relevant to the high-z intergalactic medium. Then, we will provide a review of the most plausible sources of ionization and heating in the early Universe. Finally, we will explore a variety of current 21-cm predictions, and illustrate the sensitivity of the global 21-cm signal and power spectrum to parameters of interest.


title: From Elastica to Floating Bodies of Equilibrium

abstract: A short historical account of the curves related to the two-dimensional floating bodies of equilibrium and the bicycle problem is given. Bor, Levi, Perline and Tabachnikov found, quite a number had already been described as Elastica by Bernoulli and Euler and as Elastica under Pressure or Buckled Rings by Levy and Halphen. Auerbach already realized that Zindler had described curves for the floating bodies problem. An even larger class of curves solves the bicycle problem. The subsequent sections deal with some supplemental details: Several derivations of the equations for the elastica and elastica under pressure are given. Properties of Zindler curves and some work on the problem of floating bodies of equilibrium by other mathematicians are considered. Special cases of elastica under pressure reduce to algebraic curves, as shown by Greenhill. Since most of the curves considered here are bicycle curves, a few remarks concerning them are added.

categories: physics.class-ph math-ph math.MP physics.hist-ph


title: Lipschitz continuity of the eigenfunctions on optimal sets for functionals with variable coefficients

abstract: This paper is dedicated to the spectral optimization problem \begin{equation*} \min \big\{ \lambda_1(\Omega)+\cdots+\lambda_k(\Omega) + \Lambda|\Omega| \ : \ \Omega \subset D \text{ quasi-open} \big\} \end{equation*} where $D\subset\mathbb{R}^d$ is a bounded open set and $0<\lambda_1(\Omega)\leq\cdots\leq\lambda_k(\Omega)$ are the first $k$ eigenvalues on $\Omega$ of an operator in divergence form with Dirichlet boundary condition and H\"{o}lder continuous coefficients. We prove that the first $k$ eigenfunctions on an optimal set for this problem are locally Lipschtiz continuous in $D$ and, as a consequence, that the optimal sets are open sets. We also prove the Lipschitz continuity of vector-valued functions that are almost-minimizers of a two-phase functional with variable coefficients.


title: "Best-of-Many-Samples" Distribution Matching

abstract: Generative Adversarial Networks (GANs) can achieve state-of-the-art sample quality in generative modelling tasks but suffer from the mode collapse problem. Variational Autoencoders (VAE) on the other hand explicitly maximize a reconstruction-based data log-likelihood forcing it to cover all modes, but suffer from poorer sample quality. Recent works have proposed hybrid VAE-GAN frameworks which integrate a GAN-based synthetic likelihood to the VAE objective to address both the mode collapse and sample quality issues, with limited success. This is because the VAE objective forces a trade-off between the data log-likelihood and divergence to the latent prior. The synthetic likelihood ratio term also shows instability during training. We propose a novel objective with a "Best-of-Many-Samples" reconstruction cost and a stable direct estimate of the synthetic likelihood. This enables our hybrid VAE-GAN framework to achieve high data log-likelihood and low divergence to the latent prior at the same time and shows significant improvement over both hybrid VAE-GANS and plain GANs in mode coverage and quality.


title: Observation of sharp metamagnetic transition, Griffiths like phase and glassy nature in double perovskite Eu2CoMnO6

abstract: In the present investigation, some novel magnetic behaviors exhibited by double perovskite (DP) Eu2CoMnO6(ECMO) has been reported. XRD analysis of ECMO showed that it has a monoclinic crystal structure (space group P 21/n). A second-order magnetic phase transition as a sudden jump in the magnetization curve has been observed at 124.5 K. This is related to the paramagnetic to ferromagnetic/E*-type antiferromagnetic phase transition due to the competing Co-O-Mn exchange interactions. A clear low-temperature compensation point followed by negative magnetization is observed in the zero-field-cooled curve of the sample, suggesting the formation of canted ferromagnetic domains or antiparallel spins and clusters that are separated by an antiphase boundary. The large bifurcation between the ZFC and FC curves has been observed, suggesting strong spin frustration is present in the system. More interestingly, sharp multiple steps in magnetization are observed in M-H curve at 2 K and observed only in the forward field-sweep direction which vanishes on increasing temperature. Moreover, prominent smaller peaks immediately above the long-range ordering temperature are observed suggesting the presence of preformed percolating clusters which eventually gives rise to Griffiths like phase which is seen in DC as well in AC susceptibility. The real part of AC susceptibility with DC bias shows an unusual sharp peak near TC that broadens on increasing field strength and splits into two maxima around 750 Oe, which is attributed to the presence of critical fluctuations associated with a continuous transition to the FM state and large magnetic anisotropy in the system.


title: Continuous gravitational waves from neutron stars: current status and prospects

abstract: Gravitational waves astronomy allows us to study objects and events invisible in electromagnetic waves. It is crucial to validate the theories and models of the most mysterious and extreme matter in the Universe: the neutron stars. In addition to inspirals and mergers of neutrons stars, there are currently a few proposed mechanisms that can trigger radiation of long-lasting gravitational radiation from neutron stars, such as e.g., elastically and/or magnetically driven deformations: mountains on the stellar surface supported by the elastic strain or magnetic field, free precession, or unstable oscillation modes (e.g., the r-modes). The astrophysical motivation for continuous gravitational waves searches, current LIGO and Virgo strategies of data analysis and prospects are reviewed in this work.


title: Active Learning for Event Detection in Support of Disaster Analysis Applications

abstract: Disaster analysis in social media content is one of the interesting research domains having abundance of data. However, there is a lack of labeled data that can be used to train machine learning models for disaster analysis applications. Active learning is one of the possible solutions to such problem. To this aim, in this paper we propose and assess the efficacy of an active learning based framework for disaster analysis using images shared on social media outlets. Specifically, we analyze the performance of different active learning techniques employing several sampling and disagreement strategies. Moreover, we collect a large-scale dataset covering images from eight common types of natural disasters. The experimental results show that the use of active learning techniques for disaster analysis using images results in a performance comparable to that obtained using human annotated images, and could be used in frameworks for disaster analysis in images without tedious job of manual annotation.


title: Rotations and convolutions of harmonic convex mappings

abstract: In this paper, we consider the convolutions of slanted half-plane mappings and strip mappings and generalize related results in general settings. We also consider a class of harmonic mappings containing slanted half-plane mappings and strip mappings and, as a consequence, we prove that the convex combination of such mappings is convex.


title: Organisational Social Influence on Directed Hierarchical Graphs, from Tyranny to Anarchy

abstract: Coordinated human behaviour takes place within a diverse range of social organisational structures, which can be thought of as power structures with "managers" who influence "subordinates". A change in policy in one part of the organisation can cause cascades throughout the structure, which may or may not be desirable. As organisations change in size, complexity and structure, the system dynamics also change. Here, we consider majority rule dynamics on organisations modelled as hierarchical directed graphs, where the directed edges indicate influence. We utilise a topological measure called the trophic incoherence parameter, q, which effectively gauges the stratification of power structure in an organisation. We show that this measure bounds regimes of behaviour. There is fast consensus at low q (e.g. tyranny), slow consensus at mid q (e.g. democracy), and no consensus at high q (e.g. anarchy). These regimes are investigated analytically, numerically and empirically with diverse case studies in the Roman Army, US Government, and a healthcare organisation. Our work demonstrates the usefulness of the trophic incoherence parameter when considering models of social influence dynamics, with widespread consequences in the design and analysis of organisations.


title: Timing Performance of a Micro-Channel-Plate Photomultiplier Tube

abstract: The spatial dependence of the timing performance of the R3809U-50 Micro-Channel-Plate PMT (MCP-PMT) by Hamamatsu was studied in high energy muon beams. Particle position information is provided by a GEM tracker telescope, while timing is measured relative to a second MCP-PMT, identical in construction. In the inner part of the circular active area (radius r$<$5.5\,mm) the time resolution of the two MCP-PMTs combined is better than 10~ps. The signal amplitude decreases in the outer region due to less light reaching the photocathode, resulting in a worse time resolution. The observed radial dependence is in quantitative agreement with a dedicated simulation. With this characterization, the suitability of MCP-PMTs as $\text{t}_\text{0}$ reference detectors has been validated.


title: Towards Real-Time Multi-Object Tracking

abstract: Modern multiple object tracking (MOT) systems usually follow the \emph{tracking-by-detection} paradigm. It has 1) a detection model for target localization and 2) an appearance embedding model for data association. Having the two models separately executed might lead to efficiency problems, as the running time is simply a sum of the two steps without investigating potential structures that can be shared between them. Existing research efforts on real-time MOT usually focus on the association step, so they are essentially real-time association methods but not real-time MOT system. In this paper, we propose an MOT system that allows target detection and appearance embedding to be learned in a shared model. Specifically, we incorporate the appearance embedding model into a single-shot detector, such that the model can simultaneously output detections and the corresponding embeddings. We further propose a simple and fast association method that works in conjunction with the joint model. In both components the computation cost is significantly reduced compared with former MOT systems, resulting in a neat and fast baseline for future follow-ups on real-time MOT algorithm design. To our knowledge, this work reports the first (near) real-time MOT system, with a running speed of 22 to 40 FPS depending on the input resolution. Meanwhile, its tracking accuracy is comparable to the state-of-the-art trackers embodying separate detection and embedding (SDE) learning ($64.4\%$ MOTA \vs $66.1\%$ MOTA on MOT-16 challenge). Code and models are available at \url{https://github.com/Zhongdao/Towards-Realtime-MOT}.


title: Magnetoresistance effects in the metallic antiferromagnet Mn$_2$Au

abstract: In antiferromagnetic spintronics, it is essential to separate the resistance modifications of purely magnetic origin from other effects generated by current pulses intended to switch the N\'eel vector. We investigate the magnetoresistance effects resulting from magnetic field induced reorientations of the staggered magnetization of epitaxial antiferromagnetic Mn2Au(001) thin films. The samples were exposed to 60 T magnetic field pulses along different crystallographic in-plane directions of Mn2Au(001), while their resistance was measured. For the staggered magnetization aligned via a spin-flop transition parallel to the easy [110]-direction, an ansiotropic magnetoresistance of -0.15 % was measured. In the case of a forced alignment of the staggered magnetization parallel to the hard [100]-direction, evidence for a larger anisotropic magnetoresistance effect was found. Furthermore, transient resistance reductions of about 1 % were observed, which we associate with the annihilation of antiferromagnetic domain walls by the magnetic field pulses.


title: Hawking radiation in a non-covariant frame: the Jacobi metric approach

abstract: The present paper deals with a reformulation of the derivation of Hawking temperature for static and stationary black holes. In contrast to the conventional approach, where the covariant form of the metrics are used, we use the manifestly non-covariant Jacobi metric for the black holes in question. In the latter, a restricted form of Hamilton-Jacobi variational principle is exploited where the energy of the particle (pertaining to Hawking radiation) appears explicitly in the metric as a constant parameter. Our analysis shows that, as far as computation of Hawking temperature (for stationary black holes) is concerned, the Jacobi metric framework is more streamlined and yields the result with less amount of complications, (as for example, considerations of positive and negative energy modes and signature change of the metric across horizon do not play any direct role in the present analysis).


title: Charge Induced Acceleration Noise in the LISA Gravitational Reference Sensor

abstract: The presence of free charge on isolated proof-masses, such as those within space-borne gravitational reference sensors, causes a number of spurious forces which will give rise to associated acceleration noise. A complete discusssion of each charge induced force and its linear acceleration noise is presented. The resulting charge acceleration noise contributions to the LISA mission are evaluated using the LISA Pathfinder performance and design. It is shown that one term is largely dominant but that a full budget should be maintained for LISA and future missions due to the large number of possible contributions and their dependence on different sensor parameters.


title: Effective description of non-equilibrium currents in cold magnetized plasma

abstract: The dynamics of cold strongly magnetized plasma -- traditionally the domain of force-free electrodynamics -- has recently been reformulated in terms of symmetries and effective field theory, where the degrees of freedom are the momentum and magnetic flux carried by a fluid of cold strings. In physical applications where the electron mass can be neglected one might expect the presence of extra light charged modes -- electrons in the lowest Landau level -- propagating parallel to the magnetic field lines. We construct an effective description of such electric charges, describing their interaction with plasma degrees of freedom in terms of a new collective mode that can be thought of as a bosonization of the electric charge density along each field line. In this framework QED phenomena such as charged pair production and the axial anomaly are described at the classical level. Formally, our construction corresponds to gauging a particular part of the higher form symmetry associated with magnetic flux conservation. We study some simple applications of our effective theory, showing that the scattering of magnetosonic modes generically creates particles and that the rotating Michel monopole is now surrounded by a cloud of electric charge.


title: Persistent quantum walks: dynamic phases and diverging timescales

abstract: A discrete time quantum walk is considered in which the step lengths are chosen to be either $1$ or $2$ with the additional feature that the walker is persistent with a probability $p$. This implies that with probability $p$, the walker repeats the step length taken in the previous step and is otherwise antipersistent. We estimate the probability $P(x,t)$ that the walker is at $x$ at time $t$ and the first two moments. Asymptotically, $\langle x^2 \rangle = t^\nu$ for all $p$. For the extreme limits $p=0$ and $1$, the walk is known to show ballistic behaviour, i.e., $\nu = 2$. As $p$ is varied from zero to 1, the system is found in four different phases characterised by the value of $\nu$: $\nu =2$ at $p=0$, $1 \leq \nu \leq 3/2$ for $0 < p < p_c$, $\nu = 3/2$ for $ p_c < p <1$ and $\nu = 2$ again at $p=1$. $p_c$ is found to be very close to $1/3$ numerically. Close to $p=0,1$, the scaling behaviour shows a crossover in time. Associated with this crossover, two diverging timescales varying as $1/p$ and $1/(1-p)$ close to $p=0$ and $p=1$ respectively are detected. Using a different scheme in which the antipersistence behaviour is suppressed, one gets $\nu= 3/2$ for the entire region $0 < p< 1$. Further, a measure of the entropy of entanglement is studied for both the schemes.


title: Private and Rateless Adaptive Coded Matrix-Vector Multiplication

abstract: Edge computing is emerging as a new paradigm to allow processing data near the edge of the network, where the data is typically generated and collected. This enables critical computations at the edge in applications such as Internet of Things (IoT), in which an increasing number of devices (sensors, cameras, health monitoring devices, etc.) collect data that needs to be processed through computationally intensive algorithms with stringent reliability, security and latency constraints. Our key tool is the theory of coded computation, which advocates mixing data in computationally intensive tasks by employing erasure codes and offloading these tasks to other devices for computation. Coded computation is recently gaining interest, thanks to its higher reliability, smaller delay, and lower communication costs. In this paper, we develop a private and rateless adaptive coded computation (PRAC) algorithm for distributed matrix-vector multiplication by taking into account (i) the privacy requirements of IoT applications and devices, and (ii) the heterogeneous and time-varying resources of edge devices. We show that PRAC outperforms known secure coded computing methods when resources are heterogeneous. We provide theoretical guarantees on the performance of PRAC and its comparison to baselines. Moreover, we confirm our theoretical results through simulations and implementations on Android-based smartphones.


title: Biomedical Image Segmentation by Retina-like Sequential Attention Mechanism Using Only A Few Training Images

abstract: In this paper we propose a novel deep learning-based algorithm for biomedical image segmentation which uses a sequential attention mechanism able to shift the focus of attention across the image in a selective way, allowing subareas which are more difficult to classify to be processed at increased resolution. The spatial distribution of class information in each subarea is learned using a retina-like representation where resolution decreases with distance from the center of attention. The final segmentation is achieved by averaging class predictions over overlapping subareas, utilizing the power of ensemble learning to increase segmentation accuracy. Experimental results for semantic segmentation task for which only a few training images are available show that a CNN using the proposed method outperforms both a patch-based classification CNN and a fully convolutional-based method.


title: Polish G-spaces, the generalized model theory and complexity

abstract: Given Polish space ${\bf Y}$ and continuous language $L$ we study the corresponding logic $\mathsf{Iso}({\bf Y})$-space ${\bf Y}_L$. We build a framework of generalized model theory towards analysis of Borel/algorithmic complexity of subsets of ${\bf Y}^k_L \times (\mathsf{Iso} ({\bf Y})^l$. The paper substantially develops (and corrects) Section 5 of arxiv:1304.5135. The second version is extended by Remark 3.4.


title: Hot disk of the Swift J0243.6+6124 revealed by Insight-HXMT

abstract: We report on analysis of observations of the bright transient X-ray pulsar \src obtained during its 2017-2018 giant outburst with Insight-HXMT, \emph{NuSTAR}, and \textit{Swift} observatories. We focus on the discovery of a sharp state transition of the timing and spectral properties of the source at super-Eddington accretion rates, which we associate with the transition of the accretion disk to a radiation pressure dominated (RPD) state, the first ever directly observed for magnetized neutron star. This transition occurs at slightly higher luminosity compared to already reported transition of the source from sub- to super-critical accretion regime associate with onset of an accretion column. We argue that this scenario can only be realized for comparatively weakly magnetized neutron star, not dissimilar to other ultra-luminous X-ray pulsars (ULPs), which accrete at similar rates. Further evidence for this conclusion is provided by the non-detection of the transition to the propeller state in quiescence which strongly implies compact magnetosphere and thus rules out magnetar-like fields.


title: Profinite tree sets

abstract: Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they relate to the finite tree sets they induce, and obtain a characterization of infinite tree sets in combinatorial terms.