title: Privacy Preserving and Cost Optimal Mobile Crowdsensing using Smart Contracts on Blockchain

abstract: The popularity and applicability of mobile crowdsensing applications are continuously increasing due to the widespread of mobile devices and their sensing and processing capabilities. However, we need to offer appropriate incentives to the mobile users who contribute their resources and preserve their privacy. Blockchain technologies enable semi-anonymous multi-party interactions and can be utilized in crowdsensing applications to maintain the privacy of the mobile users while ensuring first-rate crowdsensed data. In this work, we propose to use blockchain technologies and smart contracts to orchestrate the interactions between mobile crowdsensing providers and mobile users for the case of spatial crowdsensing, where mobile users need to be at specific locations to perform the tasks. Smart contracts, by operating as processes that are executed on the blockchain, are used to preserve users' privacy and make payments. Furthermore, for the assignment of the crowdsensing tasks to the mobile users, we design a truthful, cost-optimal auction that minimizes the payments from the crowdsensing providers to the mobile users. Extensive experimental results show that the proposed privacy preserving auction outperforms state-of-the-art proposals regarding cost by ten times for high numbers of mobile users and tasks.


title: A study of spectral curvature in the radio relic in Abell 4038 using the uGMRT

abstract: The remnant radio galaxies in galaxy clusters are important sources of seed relativistic electron population in the intra-cluster medium (ICM). Their occurrence and spectral properties are poorly studied. In this work we present a broadband study of the radio relic in the galaxy cluster Abell 4038 using the Upgraded Giant Metrewave Radio Telescope (uGMRT). We present the uGMRT images in the bands 300 - 500 MHz and 1050 - 1450 MHz having rms noise $70\,\mu$Jy beam$^{-1}$ and $30\,\mu$Jy beam$^{-1}$, respectively, that are the deepest images of this field so far. A spectral analysis of the relic over 300 - 1450 MHz using images in sub-bands scaled to have constant fractional bandwidths to achieve a closely matched uv-coverage was carried out. The 100 kpc extent of the relic is divided into Loop, Arc, Bridge and North-end. The Loop has a steep spectral index of $\alpha=2.3\pm0.2$ ($S_{\nu}\propto\nu^{-\alpha}$). The North-end has ultra-steep spectra in the range $2.4 - 3.7$. The Arc is found to skirt a curved region seen in the \emph{Chandra} X-ray surface brightness image and the highest spectral curvature in it reaches $1.6\pm0.3$. We interpret the morphology and spectral properties of the relic in the scenario of an adiabatically compressed cocoon from the past activity of the Brightest Cluster Galaxy in the cluster. A comparison of the properties of the A4038 relic with a sample of 10 such relics is discussed.


title: Estimating the Distribution of Random Parameters in a Diffusion Equation Forward Model for a Transdermal Alcohol Biosensor

abstract: We estimate the distribution of random parameters in a distributed parameter model with unbounded input and output for the transdermal transport of ethanol in humans. The model takes the form of a diffusion equation with the input being the blood alcohol concentration and the output being the transdermal alcohol concentration. Our approach is based on the idea of reformulating the underlying dynamical system in such a way that the random parameters are now treated as additional space variables. When the distribution to be estimated is assumed to be defined in terms of a joint density, estimating the distribution is equivalent to estimating the diffusivity in a multi-dimensional diffusion equation and thus well-established finite dimensional approximation schemes, functional analytic based convergence arguments, optimization techniques, and computational methods may all be employed. We use our technique to estimate a bivariate normal distribution based on data for multiple drinking episodes from a single subject.


title: Iso-contact embeddings of manifolds in co-dimension $2$

abstract: The purpose of this article is to study co-dimension $2$ iso-contact embeddings of closed contact manifolds. We first show that a closed contact manifold $(M^{2n-1}, \xi_M)$ iso-contact embeds in a contact manifold $(N^{2n+1}, \xi_N),$ provided $M$ contact embeds in $(N, \xi_N)$ with a trivial normal bundle and the contact structure induced on $M$ via this embedding is homotopic as an almost-contact structure to $\xi_M.$ We apply this result to first establish that a closed contact $3$--manifold having no $2$--torsion in its second integral cohomology iso-contact embeds in the standard contact $5$--sphere if and only if the first Chern class of the contact structure is zero. Finally, we discuss iso-contact embeddings of closed simply connected contact $5$--manifolds.


title: Rigid colourings of hypergraphs and contiguity

abstract: We consider the problem of $q$-colouring a $k$-uniform random hypergraph, where $q,k \geq 3$, and determine the rigidity threshold. For edge densities above the rigidity threshold, we show that almost all solutions have a linear number of vertices that are linearly frozen, meaning that they cannot be recoloured by a sequence of colourings that each change the colour of a sublinear number of vertices. When the edge density is below the threshold, we prove that all but a vanishing proportion of the vertices can be recoloured by a sequence of colourings that recolour only one vertex at a time. This change in the geometry of the solution space has been hypothesised to be the cause of the algorithmic barrier faced by naive colouring algorithms. Our calculations verify predictions made by statistical physicists using the non-rigorous cavity method. The traditional model for problems of this type is the random colouring model, where a random hypergraph is chosen and then a random colouring of that hypergraph is selected. However, it is often easier to work with the planted model, where a random colouring is selected first, and then edges are randomly chosen which respect the colouring. As part of our analysis, we show that up to the condensation phase transition, the random colouring model is contiguous with respect to the planted model. This result is of independent interest.


title: Ultraviolet asymptotics of particle creation with respect to a congruence of observers

abstract: The construction of quantum field theory (QFT) of a free massive scalar field with respect to a general congruence of observers is considered, the splitting into positive- and negative-frequency modes being defined by diagonalization of the instantaneous Hamiltonian. The explicit expression for the ultraviolet asymptotics of the average number of particles created from the vacuum is found. It is shown that, for a general congruence of observers in the $D$-dimensional spacetime with $D\geqslant3$, the total number of created particles diverges in the ultraviolet domain in the regularization removal limit. This holds even in the Minkowski spacetime. Therefore, in this case, the quantum evolution is not unitary in the regularization removal limit. It is proved that not all classically admissible congruences of observers are proper on a quantum level. Namely, unitarity of QFT with respect to a congruence of observers is violated when the equal time hypersurfaces of this congruence are not spacelike, even for a theory with a finite cutoff. The implications of these results are discussed.


title: Speeding Up Constrained $k$-Means Through 2-Means

abstract: For the constrained 2-means problem, we present a $O\left(dn+d({1\over\epsilon})^{O({1\over \epsilon})}\log n\right)$ time algorithm. It generates a collection $U$ of approximate center pairs $(c_1, c_2)$ such that one of pairs in $U$ can induce a $(1+\epsilon)$-approximation for the problem. The existing approximation scheme for the constrained 2-means problem takes $O(({1\over\epsilon})^{O({1\over \epsilon})}dn)$ time, and the existing approximation scheme for the constrained $k$-means problem takes $O(({k\over\epsilon})^{O({k\over \epsilon})}dn)$ time. Using the method developed in this paper, we point out that every existing approximating scheme for the constrained $k$-means so far with time $C(k, n, d, \epsilon)$ can be transformed to a new approximation scheme with time complexity ${C(k, n, d, \epsilon)/ k^{\Omega({1\over\epsilon})}}$.


title: Time Perception Machine: Temporal Point Processes for the When, Where and What of Activity Prediction

abstract: Numerous powerful point process models have been developed to understand temporal patterns in sequential data from fields such as health-care, electronic commerce, social networks, and natural disaster forecasting. In this paper, we develop novel models for learning the temporal distribution of human activities in streaming data (e.g., videos and person trajectories). We propose an integrated framework of neural networks and temporal point processes for predicting when the next activity will happen. Because point processes are limited to taking event frames as input, we propose a simple yet effective mechanism to extract features at frames of interest while also preserving the rich information in the remaining frames. We evaluate our model on two challenging datasets. The results show that our model outperforms traditional statistical point process approaches significantly, demonstrating its effectiveness in capturing the underlying temporal dynamics as well as the correlation within sequential activities. Furthermore, we also extend our model to a joint estimation framework for predicting the timing, spatial location, and category of the activity simultaneously, to answer the when, where, and what of activity prediction.


title: Regularizing Neural Machine Translation by Target-bidirectional Agreement

abstract: Although Neural Machine Translation (NMT) has achieved remarkable progress in the past several years, most NMT systems still suffer from a fundamental shortcoming as in other sequence generation tasks: errors made early in generation process are fed as inputs to the model and can be quickly amplified, harming subsequent sequence generation. To address this issue, we propose a novel model regularization method for NMT training, which aims to improve the agreement between translations generated by left-to-right (L2R) and right-to-left (R2L) NMT decoders. This goal is achieved by introducing two Kullback-Leibler divergence regularization terms into the NMT training objective to reduce the mismatch between output probabilities of L2R and R2L models. In addition, we also employ a joint training strategy to allow L2R and R2L models to improve each other in an interactive update process. Experimental results show that our proposed method significantly outperforms state-of-the-art baselines on Chinese-English and English-German translation tasks.


title: Characterizing Regular Lagrangians by Lefschetz Fibration

abstract: We prove that the existence of regular Lagrangians can be given by existence of Weinstein Lefschetz fibrations with an hypothesis.


title: Spin correlation function theory of spin-charge conversion effects

abstract: Theory of spin-charge conversion effects in spintronics are presented in terms of correlation functions of physical observables, spin and electric current. Direct and inverse spin Hall effects and spin pumping effect are studied considering metallic systems with random spin-orbit interaction and spatially nonuniform Rashba interaction. The theory is free from ambiguity associated with spin current, and provides clear physical picture of the spin-charge conversion effects. In the present approach, so-called the spin current transmission efficiency is essentially the nonuniform component of magnetic susceptibility.


title: Game Theoretic Analysis for Joint Sponsored and Edge Caching Content Service Market

abstract: With a sponsored content scheme in a wireless network, a sponsored content service provider can pay to a network operator on behalf of the mobile users/subscribers to lower down the network subscription fees at the reasonable cost in terms of receiving some amount of advertisements. As such, content providers, network operators and mobile users are all actively motivated to participate in the sponsored content ecosystem. Meanwhile, in 5G cellular networks, caching technique is employed to improve content service quality, which stores potentially popular contents on edge networks nodes to serve mobile users. In this work, we propose the joint sponsored and edge caching content service market model. We investigate an interplay between the sponsored content service provider and the edge caching content service provider under the non-cooperative game framework. Furthermore, a three-stage Stackelberg game is formulated to model the interactions among the network operator, content service provider, and mobile users. Sub-game perfect equilibrium in each stage is analyzed by backward induction. The existence of Stackelberg equilibrium is validated by employing the bilevel optimization programming. Based on the game properties, we propose a sub-gradient based iterative algorithm, which ensures to converge to the Stackelberg equilibrium.


title: A Transfer Learning based Feature-Weak-Relevant Method for Image Clustering

abstract: Image clustering is to group a set of images into disjoint clusters in a way that images in the same cluster are more similar to each other than to those in other clusters, which is an unsupervised or semi-supervised learning process. It is a crucial and challenging task in machine learning and computer vision. The performances of existing image clustering methods have close relations with features used for clustering, even if unsupervised coding based methods have improved the performances a lot. To reduce the effect of clustering features, we propose a feature-weak-relevant method for image clustering. The proposed method converts an unsupervised clustering process into an alternative iterative process of unsupervised learning and transfer learning. The clustering process firstly starts up from handcrafted features based image clustering to estimate an initial label for every image, and secondly use a proposed sampling strategy to choose images with reliable labels to feed a transfer-learning model to learn representative features that can be used for next round of unsupervised learning. In this manner, image clustering is iteratively optimized. What's more, the handcrafted features are used to boot up the clustering process, and just have a little effect on the final performance; therefore, the proposed method is feature-weak-relevant. Experimental results on six kinds of public available datasets show that the proposed method outperforms state of the art methods and depends less on the employed features at the same time.


title: Mean field models for segregation dynamics

abstract: In this paper we derive and analyse mean-field models for the dynamics of groups of individuals undergoing a random walk. The random motion of individuals is only influenced by the perceived densities of the different groups present as well as the available space. All individuals have the tendency to stay within their own group and avoid the others. These interactions lead to the formation of aggregates in case of a single species, and to segregation in the case of multiple species. We derive two different mean-field models, which are based on these interactions and weigh local and non-local effects differently. We discuss existence and stability properties of solutions for both models and illustrate the rich dynamics with numerical simulations.


title: Two-dimensional supersymmetric gauge theories with exceptional gauge groups

abstract: We apply the recent proposal for mirrors of nonabelian (2,2) supersymmetric two-dimensional gauge theories to make predictions for two-dimensional supersymmetric gauge theories with exceptional gauge groups G2, F4, E6, E7, and E8. We compute the mirror Landau-Ginzburg models and predict excluded Coulomb loci and Coulomb branch relations (quantum cohomology). We also discuss the relationship between weight lattice normalizations and theta angle periodicities in the proposal, and explore different conventions for the mirrors. Finally, we discuss the behavior of pure gauge theories with exceptional gauge groups under RG flow, and describe evidence that any pure supersymmetric two-dimensional gauge theory with connected and simply-connected semisimple gauge group flows in the IR to a free theory of as many twisted chiral superfields as the rank of the gauge group, extending previous results for SU, SO, and Sp gauge theories.


title: Language Style Transfer from Sentences with Arbitrary Unknown Styles

abstract: Language style transfer is the problem of migrating the content of a source sentence to a target style. In many of its applications, parallel training data are not available and source sentences to be transferred may have arbitrary and unknown styles. First, each sentence is encoded into its content and style latent representations. Then, by recombining the content with the target style, we decode a sentence aligned in the target domain. To adequately constrain the encoding and decoding functions, we couple them with two loss functions. The first is a style discrepancy loss, enforcing that the style representation accurately encodes the style information guided by the discrepancy between the sentence style and the target style. The second is a cycle consistency loss, which ensures that the transferred sentence should preserve the content of the original sentence disentangled from its style. We validate the effectiveness of our model in three tasks: sentiment modification of restaurant reviews, dialog response revision with a romantic style, and sentence rewriting with a Shakespearean style.


title: Principal Minor Assignment, Isometries of Hilbert Spaces, Volumes of Parallelepipeds and Rescalling of Sesqui-holomorphic Functions

abstract: In this article we consider the following equivalence relation on the class of all functions of two variables on a set $X$: we will say that $L,M: X\times X\to \mathbb{C}$ are rescalings if there are non-vanishing functions $f,g$ on $X$ such that $M\left(x,y\right)=f\left(x\right)g\left(y\right) L\left(x,y\right)$, for any $x,y\in X$. We give criteria for being rescalings when $X$ is a topological space, and $L$ and $M$ are separately continuous, or when $X$ is a domain in $\mathbb{C}^{n}$ and $L$ and $M$ are sesqui-holomorphic. A special case of interest is when $L$ and $M$ are symmetric, and $f=g$ only has values $\pm 1$. This relation between $M$ and $L$ in the case when $X$ is finite (and so $L$ and $M$ are square matrices) is known to be characterized by the equality of the principal minors of these matrices. We extend this result to the case when $X$ is infinite. As an application we characterize restrictions of isometries of Hilbert spaces on weakly connected sets as the maps that preserve the volumes of parallelepipeds spanned by finite collections of vectors.


title: Quantification of the underlying mechanisms and relationship among cancer, metastasis and differentiation/development

abstract: Recurrence and metastasis have been regarded as two of the greatest obstacles for curing cancer. Cancer stem cell (CSC) have been found. They contribute to cancer development with the distinct feature of recurrence and resistance to the popular treatments such as drugs and chemotherapy. In addition, recent discoveries suggest that the epithelial mesenchymal transition (EMT) is an essential process in normal embryogenesis and tissue repair, which is a required step in cancer metastasis. Although there are many indications showing the connections between metastasis and stem cell, researches often studied them separately or at most bi-laterally, not in an integrated way. In this study, we aim at exploring the global mechanisms and interrelationship among cancer, development and metastasis which are currently poorly understood. To start, we constructed a core gene regulatory network motif which contain specific genes and microRNAs of CSC, EMT and cancer. We uncovered seven distinct states emerged from the underlying landscape. They are identified as Normal, Premalignant, Cancer, stem cell (SC), cancer stem cell (CSC), Lesion and Hyperlasia state. Given the biological definition of each state, we also discussed the metastasis ability of each state. We show how and which types of cells can be transformed to a cancer state and the connections among cancer, CSC and EMT. The barrier height and flux of the kinetic paths are explored to quantify how and which cells switch stochastically between the states. Our landscape model provides a quantitative way which reveals the global mechanisms of cancer, development and metastasis.


title: Lectures on the holographic duality of gauge fields and strings

abstract: Lectures presented at the Les Houches 2016 Summer School "Integrability: from Statistical Systems to Gauge Theory".


title: Random field theory-based p-values: A review of the SPM implementation

abstract: P-values and null-hypothesis significance testing are popular data-analytical tools in functional neuroimaging. Sparked by the analysis of resting-state fMRI data, there has been a resurgence of interest in the validity of some of the p-values evaluated with the widely used software SPM in recent years. The default parametric p-values reported in SPM are based on the application of results from random field theory to statistical parametric maps, a framework commonly referred to as RFT. While RFT was established two decades ago and has since been applied in a plethora of fMRI studies, there does not exist a unified documentation of the mathematical and computational underpinnings of RFT as implemented in current versions of SPM. Here, we provide such a documentation with the aim of contributing to contemporary efforts towards higher levels of computational transparency in functional neuroimaging.


title: Coherent random lasing in a disordered array of amplifying microresonators

abstract: In this thesis, we explore random lasing from a system comprising of amplifying microresonators. Using Monte-Carlo simulation, we investigate the diffusive propagation of light in an amplifying medium with randomly suspended resonant scatterers. The simulation shows that a more efficient and stable coherent random lasing can be achieved with monodisperse scatterers having amplification in the intra-scatterer region. To realize that experimentally, the array of amplifying microdroplets is created using a vibrating orifice droplet generator. The degree of randomness is tuned by varying the size and spacing between the droplets. Upon optical excitation, coherent random lasing is observed in the longitudinal direction of the array. By making the droplets monodisperse, we realized amplifying periodic-on-average random superlattice (aPARS) system. The statistical study of the lasing wavelengths from aPARS droplet array shows that the lasing peaks occur only within a specific interval of wavelengths. Using spectral mode-matching, we restrict the frequency fluctuation of modes within ~ 1.2 nm. The calculation based on the transfer matrix method shows that experimentally observed lasing peaks arise from the perturbed band-edge states of the underlying periodic system. The spatial intensity distribution of the lasing modes in droplet array confirms its Anderson-localized nature. We also consider the microdroplet array as a direct-coupled active chain of spherical microcavities and examine the ability of gain to overcome the bending and other radiative losses.


title: The instability spectra of near-extremal Reissner-Nordstr\"om-de Sitter black holes

abstract: The linearized dynamics of charged massive scalar fields in the near-extremal charged Reissner-Nordstr\"om-de Sitter (RNdS) black-hole spacetime is studied analytically. Interestingly, it is proved that the non-asymptotically flat charged black-hole-field system is characterized by {\it unstable} (exponentially growing in time) complex resonant modes. Using a WKB analysis in the eikonal large-mass regime $M\mu\gg1$, we provide a remarkably compact analytical formula for the quasinormal resonant spectrum $\{\omega_n(M,Q,\Lambda,\mu,q)\}_{n=0}^{n=\infty}$ which characterizes the unstable modes of the composed RNdS-black-hole-charged-massive-scalar-field system [here $\{M,Q,\Lambda\}$ are respectively the mass, electric charge, and cosmological constant of the black-hole spacetime, and $\{\mu,q\}$ are the proper mass and charge coupling constant of the linearized field].


title: Magnetic Clouds: Solar Cycle Dependence, Sources, and Geomagnetic Impacts

abstract: Magnetic clouds (MCs) are transient magnetic structures giving the strongest southward magnetic field (Bz south) in the solar wind. The sheath regions of MCs may also carry southward magnetic field. Southward magnetic field is responsible for causing space-weather disturbances. We report a comprehensive analysis of MCs and Bz components in their sheath regions during 1995 to 2017. Eighty-five percent of 303 MCs contain a south Bz up to 50 nT. Sheath Bz during the 23 years may reach as high as 40 nT. The MCs of strongest magnetic magnitude and Bz south occur in the declining phase of the solar cycle. The bipolar MCs have solar-cycle dependence in their polarity, but not in the occurrence frequency. Unipolar MCs show solar-cycle dependence in their occurrence frequency but not in their polarity. MCs with the highest speeds, largest total B magnitudes and sheath Bz south are from source regions closer to the solar disk center. About 80% of large Dst storms are caused by MC events. The combinations of south Bz in the sheath and the south-first MCs in close succession have given the largest storms. The solar-cycle dependence of bipolar MCs is extended to 2017, spanning 42 years. We find that the bipolar MC Bz polarity solar-cycle dependence is given by MCs originated from quiescent filaments in decayed active regions and a group of weak MCs of unclear sources, while the polarity of bipolar MCs with active-region flares always has mixed Bz polarity without solar-cycle dependence and is therefore the least predictable for Bz forecasting.


title: Floquet Topological Semimetal with Nodal Helix

abstract: Topological semimetals with nodal line are a novel class of topological matter extending the concept of topological matter beyond topological insulators and Weyl/Dirac semimetals. Here, we show that a Floquet topological semimetal with nodal helix can be generated by irradiating graphene or the surface of a topological insulator with circularly polarized light. Nodal helix is a form of nodal line running across the Brillouin zone with helical winding. Specifically, it is shown that the dynamics of irradiated graphene is described by the time Stark Hamiltonian, which can host a Floquet topological insulator and a weakly driven Floquet topological semimetal with nodal helix in the high and low frequency limits, respectively. It is predicted that, at low frequency, the $\pi$ shift of the Zak phase generates a topological discontinuity along the projected nodal helix in the momentum spectrum of the Floquet states. At intermediate frequency, this topological discontinuity can create an interesting change of patterns in the quasienergy dispersion of the Floquet states.


title: Dynamics of viscoelastic pipe flow in the maximum drag reduction limit

abstract: Polymer additives can substantially reduce the drag of turbulent flows and the upper limit, the so called "maximum drag reduction" (MDR) asymptote is universal, i.e. independent of the type of polymer and solvent used. Until recently, the consensus was that, in this limit, flows are in a marginal state where only a minimal level of turbulence activity persists. Observations in direct numerical simulations using minimal sized channels appeared to support this view and reported long "hibernation" periods where turbulence is marginalized. In simulations of pipe flow we find that, indeed, with increasing Weissenberg number (Wi), turbulence expresses long periods of hibernation if the domain size is small. However, with increasing pipe length, the temporal hibernation continuously alters to spatio-temporal intermittency and here the flow consists of turbulent puffs surrounded by laminar flow. Moreover, upon an increase in Wi, the flow fully relaminarises, in agreement with recent experiments. At even larger Wi, a different instability is encountered causing a drag increase towards MDR. Our findings hence link earlier minimal flow unit simulations with recent experiments and confirm that the addition of polymers initially suppresses Newtonian turbulence and leads to a reverse transition. The MDR state on the other hand results from a separate instability and the underlying dynamics corresponds to the recently proposed state of elasto-inertial-turbulence (EIT).


title: Detection of magnetic fields in He-rich early B-type stars using HARPSpol

abstract: We focus on early-B type stars with helium overabundance, for which the presence of a magnetic field has not previously been reported. The measurements were carried out using high-spectral-resolution spectropolarimetric observations obtained with the High Accuracy Radial velocity Planet Searcher (HARPS) in polarimetric mode, installed at the ESO La Silla 3.6m telescope. For five He-rich stars, the longitudinal magnetic field was detected for the first time. For one target, HD58260, the presence of a longitudinal magnetic field of the order of 1.8 kG has already been reported in the literature, but the magnetic field has remained constant over tens of years. Our measurement carried out using the polarimetric spectra obtained in 2015 March indicates a slight decrease of the longitudinal magnetic field strength compared to measurements reported in previous works. A search for periodic modulation in available photometric data allowed us to confidently establish a period of 2.64119$\pm$0.00420 d in archival ASAS3 data for CPD -27$^{\circ}$ 1791. No period could be determined for the other five stars. The obtained results support the scenario that all He-rich stars are detectably magnetic and form an extension of the Ap star phenomenon to higher temperatures.


title: Principles of bar induction and continuity on Baire space

abstract: Brouwer-operations, also known as inductively defined neighbourhood functions, provide a good notion of continuity on Baire space which naturally extends that of uniform continuity on Cantor space. In this paper, we introduce a continuity principle for Baire space which says that every pointwise continuous function from Baire space to the set of natural numbers is induced by a Brouwer-operation. Working in Bishop constructive mathematics, we show that the above principle is equivalent to a version of bar induction whose strength is between that of the monotone bar induction and the decidable bar induction. We also show that the monotone bar induction and the decidable bar induction can be characterised by similar principles of continuity. Moreover, we show that the $\Pi^{0}_{1}$ bar induction in general implies LLPO (the lesser limited principle of omniscience). This, together with a fact that the $\Sigma^{0}_{1}$ bar induction implies LPO (the limited principle of omniscience), shows that an intuitionistically acceptable form of bar induction requires the bar to be monotone.


title: Measuring the Duration of Last Scattering

abstract: The cosmic microwave background (CMB) fluctuations effectively measure the basic properties of the universe during the recombination epoch. CMB measurements fix the distance to the surface of last scatter, the sound horizon of the baryon-photon fluid and the fraction of the energy density in relativistic species. We show that the microwave background observations can also very effectively constrain the thickness of the last scattering surface, which is directly related to the ratio of the small-scale E-mode polarization signal to the small-scale temperature signal. The current cosmological data enables a 0.1\% measurement of the thickness of the surface of last scatter: $19 \pm 0.065$ Mpc. This constraint is relatively model-independent, so it can provide a new metric for systematic errors and an independent test of the $\Lambda {\rm CDM}$ model. On the other hand, it is sensitive to models which affect the reionization history of the universe such as models with annihilating dark matter and varying fundamental constants (e.g., the fine-structure constant, $\alpha_{\rm EM}$, and electron rest mass, $m_{\rm e}$) and as such can be used as a viable tool to constrain them.


title: Stretched and compressed exponentials in the relaxation dynamics of a metallic glass-forming melt

abstract: The relaxation dynamics of glass-forming systems shows a multitude of features that are absent in normal liquids, such as non-exponential relaxation and a strong temperature-dependence of the relaxation time. Connecting these dynamic properties to the microscopic structure of the system is very challenging because of the presence of the structural disorder. Here we use computer simulations of a metallic glass-former to establish such a connection. By probing the temperature and wave-vector dependence of the intermediate scattering function we find that the relaxation dynamics of the glassy melt is directly related to the local arrangement of icosahedral structures: Isolated icosahedra give rise to a flow-like stretched exponential relaxation whereas clusters of icosahedra lead to a compressed exponential relaxation that is reminiscent to the one found in a solid. Our results show that in metallic glass-formers these two types of relaxation processes can coexist and give rise to a surprisingly complex dynamics, insight that will allow to get a deeper understanding of the outstanding mechanical properties of metallic glasses.


title: Magnetic noise from ultra-thin abrasively deposited materials on diamond

abstract: Sensing techniques based on the negatively charged nitrogen-vacancy (NV) centre in diamond have emerged as promising candidates to characterise ultra-thin and 2D materials. An outstanding challenge to this goal is isolating the contribution of 2D materials from undesired contributions arising from surface contamination, and changes to the diamond surface induced by the sample or transfer process. Here we report on such a scenario, in which the abrasive deposition of trace amounts of materials onto a diamond gives rise to a previously unreported source of magnetic noise. By deliberately scratching the diamond surface with macroscopic blocks of various metals (Fe, Cu, Cr, Au), we are able to form ultra-thin structures (i.e. with thicknesses down to $<1$\,nm), and find that these structures give rise to a broadband source of noise. Explanation for these effects are discussed, including spin and charge noise native to the sample and/or induced by sample-surface interactions, and indirect effects, where the deposited material affects the charge stability and magnetic environment of the sensing layer. This work illustrates the high sensitivity of NV noise spectroscopy to ultra-thin materials down to sub-nm regimes -- a key step towards the study of 2D electronic systems -- and highlights the need to passivate the diamond surface for future sensing applications in ultra-thin and 2D materials.


title: Long properly coloured cycles in edge-coloured graphs

abstract: Let $G$ be an edge-coloured graph. The minimum colour degree $\delta^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v$, there are at least $k$ distinct colours on edges incident to $v$. We say that $G$ is properly coloured if no two adjacent edges have the same colour. In this paper, we show that, for any $\varepsilon >0$ and $n$ large, every edge-coloured graph $G$ with $\delta^c(G) \ge (1/2+\varepsilon)n$ contains a properly coloured cycle of length at least $\min\{ n , \lfloor 2 \delta^c(G)/3 \rfloor\}$.


title: Robust and efficient control of spin probes in a complex (biological) environment. Towards sensing of fast temperature fluctuations

abstract: We present an optimized scheme for nanoscale measurements of temperature in a complex environment using the nitrogen-vacancy center in nanodiamonds. To this end we combine a Ramsey measurement utilized to temperature determination with advanced optimal control theory. We test our new design on single nitrogen-vacancy centers in bulk diamond and fixed nanodiamonds, achieving better readout signal than with common soft or hard microwave control pulses. We demonstrate temperature readout using rotating nanodiamonds in an agarose matrix. Our method opens the way to measure temperature fluctuations in complex biological environment. The used principle however, is universal and not restricted to temperature sensing.


title: Review of Different Privacy Preserving Techniques in PPDP

abstract: Big data is a term used for a very large data sets that have many difficulties in storing and processing the data. Analysis this much amount of data will lead to information loss. The main goal of this paper is to share data in a way that privacy is preserved while information loss is kept at least. Data that include Government agencies, University details and Medical history etc., are very necessary for an organization to do analysis and predict trends and patterns, but it may prevent the data owner from sharing the data because of privacy regulations [1]. By doing an analysis of several algorithms of Anonymization such as k-anonymity, l-diversity and tcloseness, one can achieve privacy at minimum loss. Admitting these techniques has some limitations. We need to maintain trade-off between privacy and information loss. We introduce a novel approach called Differential Privacy.


title: Theoreticians at the Physical-Technical Institute (To the centennial of the Ioffe Institute)

abstract: Dedicated to the centenary of the Ioffe Institute, the article contains the shortest review of scientific achievements of the theorists of the institute during this time. We concentrate mainly on research in the field of elementary particle physics, astrophysics, nuclear theory and atoms. To obtain very important scientific results became possible because outstanding theoreticians worked at this Institute. The high level of research persisted in spite of several mass moves of theorists - then to Kharkov, then to Moscow, then abroad. The author can testify to the atmosphere that reigned in the FTI in person, since he works at this institute since 1958. The article deals not only with research activity, but also with the famous physics schools and their outstanding cultural programs. We present also examples of extraordinary successful activity of theorists far beyond the field of their narrow specialization.


title: Improvement of superconducting properties by high mixing entropy at blocking layers in BiS2-based superconductor REO0.5F0.5BiS2

abstract: To investigate the interlayer interaction in the recently synthesized high-entropy-alloy-type (HEA-type) REO0.5F0.5BiS2 superconductors (RE: rare earth), we have systematically synthesized samples with close lattice parameters and different mixing entropy (DSmix) for the RE site. The crystal structure was investigated using synchrotron X-ray diffraction and Rietveld refinement. For the examined samples with different DSmix, the increase in DSmix does not largely affect the bond lengths and the bond angle of the BiS2 conducting layer but clearly suppresses the in-plane disorder at the in-plane S1 site, which is the parameter essential for the emergence of bulk superconductivity in the REO0.5F0.5BiS2 system. Bulk nature of superconductivity is enhanced by the increase in DSmix for the present samples. The results of this work clearly show that the increase in mixing entropy at the blocking layer can positively affect the emergence of bulk superconductivity in the conducting layer, which is the evidence of the interaction between the high entropy states of the blocking layers and the physical properties of the conducting layers.


title: Live Video Comment Generation Based on Surrounding Frames and Live Comments

abstract: In this paper, we propose the task of live comment generation. Live comments are a new form of comments on videos, which can be regarded as a mixture of comments and chats. A high-quality live comment should be not only relevant to the video, but also interactive with other users. In this work, we first construct a new dataset for live comment generation. Then, we propose a novel end-to-end model to generate the human-like live comments by referring to the video and the other users' comments. Finally, we evaluate our model on the constructed dataset. Experimental results show that our method can significantly outperform the baselines.


title: Detecting deviations from second-order stationarity in locally stationary functional time series

abstract: A time-domain test for the assumption of second order stationarity of a functional time series is proposed. The test is based on combining individual cumulative sum tests which are designed to be sensitive to changes in the mean, variance and autocovariance operators, respectively. The combination of their dependent $p$-values relies on a joint dependent block multiplier bootstrap of the individual test statistics. Conditions under which the proposed combined testing procedure is asymptotically valid under stationarity are provided. A procedure is proposed to automatically choose the block length parameter needed for the construction of the bootstrap. The finite-sample behavior of the proposed test is investigated in Monte Carlo experiments and an illustration on a real data set is provided.


title: Hilbert-Kunz density functions and $F$-thresholds

abstract: We had shown earlier that for a standard graded ring $R$ and a graded ideal $I$ in characteristic $p>0$, with $\ell(R/I) <\infty$, there exists a compactly supported continuous function $f_{R, I}$ whose Riemann integral is the HK multiplicity $e_{HK}(R, I)$. We explore further some other invariants, namely the shape of the graph of $f_{R, {\bf m}}$ (where ${\bf m}$ is the graded maximal ideal of $R$) and the maximum support (denoted as $\alpha(R,I)$) of $f_{R, I}$. In case $R$ is a domain of dimension $d\geq 2$, we prove that $(R, {\bf m})$ is a regular ring if and only if $f_{R, {\bf m}}$ has a symmetry $f_{R, {\bf m}}(x) = f_{R, {\bf m}}(d-x)$, for all $x$. If $R$ is strongly $F$-regular on the punctured spectrum then we prove that the $F$-threshold $c^I({\bf m})$ coincides with $\alpha(R,I)$. As a consequence, if $R$ is a two dimensional domain and $I$ is generated by homogeneous elements of the same degree, thene have (1) a formula for the $F$-threshold $c^I({\bf m})$ in terms of the minimum strong Harder-Narasimahan slope of the syzygy bundle and (2) a well defined notion of the $F$-threshold $c^I({\bf m})$ in characteristic $0$. This characterisation readily computes $c^{I(n)}({\bf m})$, for the set of all irreducible plane trinomials $k[x,y,z]/(h)$, where ${\bf m} = (x,y,z)$ and $I(n) = (x^n, y^n, z^n)$.


title: Colloidal Tin Sulfide Nanosheets: Formation Mechanism, Ligand-mediated Shape Tuning and Photo-detection

abstract: Colloidal materials of tin(II) sulfide (SnS), as a layered semiconductor with a narrow band gap, are emerging as a potential alternative to the more toxic metal chalcogenides (PbS, PbSe, CdS, CdSe) for various applications such as electronic and optoelectronic devices. We describe a new and simple pathway to produce colloidal SnS nanosheets with large lateral sizes and controllable thickness, as well as single-crystallinity. The synthesis of the nanosheets is achieved by employing tin(II) acetate as tin precursor instead of harmful precursors such as bis[bis(trimethylsilyl)amino] tin(II) and halogen-involved precursors like tin chloride, which limits the large-scale production. We successfully tuned the morphology between squared nanosheets with lateral dimensions from 150 to about 500 nm and a thickness from 24 to 29 nm, and hexagonal nanosheets with lateral sizes from 230 to 1680 nm and heights ranging from 16 to 50 nm by varying the ligands oleic acid and trioctylphosphine. The formation mechanism of both shapes has been investigated in depth, which is also supported by DFT simulations. The optoelectronic measurements show their relatively high conductivity with a pronounced sensitivity to light, which is promising in terms of photo-switching, photo-sensing, and photovoltaic applications also due to their reduced toxicity.


title: Search for heavy charged long-lived particles in proton-proton collisions at $\sqrt{s} = 13$ TeV using an ionisation measurement with the ATLAS detector

abstract: This Letter presents a search for heavy charged long-lived particles produced in proton-proton collisions at $\sqrt{s} = 13$ TeV at the LHC using a data sample corresponding to an integrated luminosity of 36.1 fb$^{-1}$ collected by the ATLAS experiment in 2015 and 2016. These particles are expected to travel with a velocity significantly below the speed of light, and therefore have a specific ionisation higher than any high-momentum Standard Model particle of unit charge. The pixel subsystem of the ATLAS detector is used in this search to measure the ionisation energy loss of all reconstructed charged particles which traverse the pixel detector. Results are interpreted assuming the pair production of $R$-hadrons as composite colourless states of a long-lived gluino and Standard Model partons. No significant deviation from Standard Model background expectations is observed, and lifetime-dependent upper limits on $R$-hadron production cross-sections and gluino masses are set, assuming the gluino always decays in two quarks and a stable neutralino. $R$-hadrons with lifetimes above 1.0 ns are excluded at the 95% confidence level, with lower limits on the gluino mass ranging between 1290 GeV and 2060 GeV. In the case of stable $R$-hadrons, the lower limit on the gluino mass at the 95% confidence level is 1890 GeV.


title: Directed Policy Gradient for Safe Reinforcement Learning with Human Advice

abstract: Many currently deployed Reinforcement Learning agents work in an environment shared with humans, be them co-workers, users or clients. It is desirable that these agents adjust to people's preferences, learn faster thanks to their help, and act safely around them. We argue that most current approaches that learn from human feedback are unsafe: rewarding or punishing the agent a-posteriori cannot immediately prevent it from wrong-doing. In this paper, we extend Policy Gradient to make it robust to external directives, that would otherwise break the fundamentally on-policy nature of Policy Gradient. Our technique, Directed Policy Gradient (DPG), allows a teacher or backup policy to override the agent before it acts undesirably, while allowing the agent to leverage human advice or directives to learn faster. Our experiments demonstrate that DPG makes the agent learn much faster than reward-based approaches, while requiring an order of magnitude less advice.


title: $\epsilon_K$ and $\epsilon'/\epsilon$ in a diquark model

abstract: Based on the calculations using the lattice QCD by RBC-UKQCD collaboration and a large $N_c$ dual QCD, the resulted $\epsilon'/\epsilon$, which is less than the experimental data by more than a $2\sigma$ in the standard model (SM), suggests the necessity of a new physics effect. In order to complement the insufficient $\epsilon'/\epsilon$, we study the extension of the SM with a colored scalar in a diquark model. In addition to the pure diquark box diagrams, it is found that the box diagrams with one $W$-boson and one diquark, ignored in the literature, play an important role in the $\Delta S=2$ process. The mass difference between $K_L$ and $K_S$ in the diquark model is well below the current data, whereas the Kaon indirect CP violation $\epsilon_K$ gives a strict constraint on the new parameters. Three mechanisms are classified in the study of $\epsilon'/\epsilon$, and they include: tree-level diagram, QCD and electroweak penguins, and chromomagnetic dipole. Taking the Kobayashi-Maskawa phase as the unique CP source, we analyze each contribution of the three mechanisms in detail and conclude that these diquark-mediated effects can singly enhance $\epsilon'/\epsilon$ to be of ${\cal O}(10^{-3})$, depending on the values of free parameters, when the bound from $\epsilon_K$ is satisfied.


title: Eigenvectors of Deformed Wigner Random Matrices

abstract: We investigate eigenvectors of rank-one deformations of random matrices $\boldsymbol B = \boldsymbol A + \theta \boldsymbol {uu}^*$ in which $\boldsymbol A \in \mathbb R^{N \times N}$ is a Wigner real symmetric random matrix, $\theta \in \mathbb R^+$, and $\boldsymbol u$ is uniformly distributed on the unit sphere. It is well known that for $\theta > 1$ the eigenvector associated with the largest eigenvalue of $\boldsymbol B$ closely estimates $\boldsymbol u$ asymptotically, while for $\theta < 1$ the eigenvectors of $\boldsymbol B$ are uninformative about $\boldsymbol u$. We examine $\mathcal O(\frac{1}{N})$ correlation of eigenvectors with $\boldsymbol u$ before phase transition and show that eigenvectors with larger eigenvalue exhibit stronger alignment with deforming vector through an explicit inverse law. This distribution function will be shown to be the ordinary generating function of Chebyshev polynomials of second kind. These polynomials form an orthogonal set with respect to the semicircle weighting function. This law is an increasing function in the support of semicircle law for eigenvalues $(-2\: ,+2)$. Therefore, most of energy of the unknown deforming vector is concentrated in a $cN$-dimensional ($c<1$) known subspace of $\boldsymbol B$. We use a combinatorial approach to prove the result.


title: CUBE: A scalable framework for large-scale industrial simulations

abstract: Writing high performance solvers for engineering applications is a delicate task. These codes are often developed on an application to application basis, highly optimized to solve a certain problem. Here, we present our work on developing a general simulation framework for efficient computation of time resolved approximations of complex industrial flow problems - Complex Unified Building cubE method (Cube). To address the challenges of emerging, modern supercomputers, suitable data structures and communication patterns are developed and incorporated into Cube. We use a Cartesian grid together with various immersed boundary methods to accurately capture moving, complex geometries. The asymmetric workload of the immersed boundary is balanced by a predictive dynamic load balancer, and a multithreaded halo-exchange algorithm is employed to efficiently overlap communication with computations. Our work also concerns efficient methods for handling the large amount of data produced by large-scale flow simulations, such as scalable parallel I/O, data compression and in-situ processing.


title: Braided extensions of a rank $2$ fusion category

abstract: We classify braided extensions $C$ of a rank $2$ fusion category. The result shows that $C$ is tensor equivalent to a Deligne's tensor product of some known categories, except $C$ is slightly degenerate and generated by a $\sqrt{2}$-dimensional simple object. To start with, we describe the fusion rules, universal grading group, and the Frobenius-Perron dimensions of simple objects of $C$ without the restriction that $C$ is braided.


title: Axion emission and detection from a Galactic supernova

abstract: A Galactic supernova (SN) axion signal would be detected in a future neutrino Mton-class water Cherenkov detector, such as the proposed Hyper-Kamiokande in Japan. The main detection channel for axions is absorption on the oxygen nuclei in the water. The subsequent oxygen de-excitation leads to a potentially detectable gamma signal. In this contribution we present a calculation of the SN axion signal and discuss its detectability in Hyper-Kamiokande.


title: Parikh Matrices for Powers of Words

abstract: Certain upper triangular matrices, termed as Parikh matrices, are often used in the combinatorial study of words. Given a word, the Parikh matrix of that word elegantly computes the number of occurrences of certain predefined subwords in that word. In this paper, we compute the Parikh matrix of any word raised to an arbitrary power. Furthermore, we propose canonical decompositions of both Parikh matrices and words into normal forms. Finally, given a Parikh matrix, the relation between its normal form and the normal forms of words in the corresponding M-equivalence class is established.


title: Regularity and Sensitivity for McKean-Vlasov Type SPDEs Generated by Stable-like Processes

abstract: In this paper we study the sensitivity of nonlinear stochastic differential equations of McKean-Vlasov type generated by stable-like processes. By using the method of stochastic characteristics, we transfer these equations to the non-stochastic equations with random coefficients thus making it possible to use the results obtained for nonlinear PDE of McKean-Vlasov type generated by stable-like processes in the previous works. The motivation for studying sensitivity of nonlinear McKean-Vlasov SPDEs arises naturally from the analysis of the mean-field games with common noise.


title: Aspects of Defect Topology in Smectic Liquid Crystals

abstract: We study the topology of smectic defects in two and three dimensions. We give a topological classification of smectic point defects and disclination lines in three dimensions. In addition we describe the combination rules for smectic point defects in two and three dimensions, showing how the broken translational symmetry of the smectic confers a path dependence on the result of defect addition.


title: Reduced graphene oxide for control of octahedral distortion in orthorhombic Pbnm perovskite

abstract: Perovskites and related structures are renowned for technologically useful applications. The structural variations in perovskite crystals result in novel properties which can be regulated by external forces. The study attempts to regulate distortion of a perovskite compound LaFeO3 driven solely by reduced graphene oxide (RGO) and to demonstrate the effect using a critical parameter - electrochemical conductivity. A series of graphene concentration varied nanocomposites were synthesized via hydrothermal method. The crystal distortion is investigated using X-ray diffraction and Rietveld refinement. By analysis of the oxygen and Fe ion peaks of X-ray photoelectron spectroscopy, along with Raman spectra, a clear understanding of the distortion process is developed. The remarkable effect of distortion on dispersed phases generated by graphene matrix is coined with a new phrase Graphenostortion. The study revealed that the environment for the graphenostrotion originated from the interaction of oxygen functional groups of RGO with LaFeO3. The variation in bond covalency influenced by the percentage concentration of non-lattice oxygen, distorted the Pbnm geometry of the graphene nanocomposite. The developed mechanism for distortion is in good agreement with electrochemical activity studies. RGO as a tool to control distortion in metal oxide could facilitate new facets in technological applications of graphene nanocomposites.


title: Cone spherical metrics and stable vector bundles

abstract: Cone spherical metrics are conformal metrics with constant curvature one and finitely many conical singularities on compact Riemann surfaces. A cone spherical metric is called irreducible if each developing map of the metric does not have monodromy lying in ${\rm U(1)}$. We establish on compact Riemann surfaces of positive genera a correspondence between irreducible cone spherical metrics with cone angles being integral multiples of $2\pi$ and line subbundles of rank two stable vector bundles. Then we are motivated by it to prove a theorem of Lange-type that there always exists a stable extension of $L^*$ by $L$, for $L$ being a line bundle of negative degree on each compact Riemann surface of genus greater than one. At last, as an application of these two results, we obtain a new class of irreducible spherical metrics with cone angles being integral multiples of $2\pi$ on each compact Riemann surface of genus greater than one


title: Improved Recovery of Analysis Sparse Vectors in Presence of Prior Information

abstract: In this work, we consider the problem of recovering analysis-sparse signals from under-sampled measurements when some prior information about the support is available. We incorporate such information in the recovery stage by suitably tuning the weights in a weighted $\ell_1$ analysis optimization problem. Indeed, we try to set the weights such that the method succeeds with minimum number of measurements. For this purpose, we exploit the upper-bound on the statistical dimension of a certain cone to determine the weights. Our numerical simulations confirm that the introduced method with tuned weights outperforms the standard $\ell_1$ analysis technique.


title: Towards Audio to Scene Image Synthesis using Generative Adversarial Network

abstract: Humans can imagine a scene from a sound. We want machines to do so by using conditional generative adversarial networks (GANs). By applying the techniques including spectral norm, projection discriminator and auxiliary classifier, compared with naive conditional GAN, the model can generate images with better quality in terms of both subjective and objective evaluations. Almost three-fourth of people agree that our model have the ability to generate images related to sounds. By inputting different volumes of the same sound, our model output different scales of changes based on the volumes, showing that our model truly knows the relationship between sounds and images to some extent.


title: Mechanism for transitions between ferromagnetic and antiferromagnetic orders in $d$-electron metallic magnets

abstract: We propose mechanism for pressure-induced transitions between ferromagnetic and antiferromagnetic phases that relies on a competition between characteristic energy scales ubiquitous among $d$-electron metallic magnetic compounds. Principles behind the mechanism are demonstrated on the example of the minimal two-orbital $p$-$d$ lattice model. We suggest that LaCrGe$_3$, where pressure-induced ferromagnetic-to-antiferromagnetic phase transition has been recently observed, is a promising candidate to realize discussed mechanism.


title: Electrohydrodynamics of compound droplet in a microfluidic confinement

abstract: The present study deals with the dynamics of a double emulsion confined in a microchannel under the presence of a uniform electric field. Towards investigating the non-trivial electrohydrodynamics of a compound droplet, confined in between two parallel plate electrodes, a phase field approach has been adopted. Under the assumption of negligible fluid inertia and small shape deformation, an asymptotic model is also developed to predict the transient as well as the steady state droplet dynamics in the limiting case of an unbounded suspending medium. The phases involved are either assumed to be perfect dielectric or leaky dielectric. Subsequent investigation shows that shape deformation of either of the interfaces of the droplet increase with rise in the channel confinement for a perfect dielectric system. However, for a leaky dielectric system, the deformation of inner droplet and outer droplet can increase or decrease with the rise in channel confinement depending on the electric properties (conductivity and permittivity) of the system. The present study further takes into account the effect of eccentricity of the inner droplet. Depending on the relative magnitude of the permittivity and conductivity of the system, the inner droplet, if eccentrically located, may exhibit a to and fro or a simple translational motion. It is seen that increase in the channel confinement results in a translational motion of the inner droplet thus rendering its motion independent of any electrical properties. Since the compound droplet model approximately mimics the structure of a cell, the current investigation is expected to provide a significant impact towards predicting the effect of an externally imposed electrical field on the dynamics of a cell in any fluidic confinement and hence has the potential towards widespread applications in the field of medical diagnostics.


title: Proving Program Properties as First-Order Satisfiability

abstract: Program semantics can often be expressed as a (many-sorted) first-order theory S, and program properties as sentences $\varphi$ which are intended to hold in the canonical model of such a theory, which is often incomputable. Recently, we have shown that properties $\varphi$ expressed as the existential closure of a boolean combination of atoms can be disproved by just finding a model of S and the negation $\neg\varphi$ of $\varphi$. Furthermore, this idea works quite well in practice due to the existence of powerful tools for the automatic generation of models for (many-sorted) first-order theories. In this paper we extend our previous result to arbitrary properties, expressed as sentences without any special restriction. Consequently, one can prove a program property $\varphi$ by just finding a model of an appropriate theory (including S and possibly something else) and an appropriate first-order formula related to $\varphi$. Beyond its possible theoretical interest, we show that our results can also be of practical use in several respects.


title: Anapole Dark Matter after DAMA/LIBRA-phase2

abstract: We re-examine the case of anapole dark matter as an explanation for the DAMA annual modulation in light of the DAMA/LIBRA-phase2 results and improved upper limits from other DM searches. If the WIMP velocity distribution is assumed to be a Maxwellian, anapole dark matter is unable to provide an explanation of the DAMA modulation compatible with the other searches. Nevertheless, anapole dark matter provides a better fit to the DAMA-phase2 modulation data than an isoscalar spin-independent interaction, due to its magnetic coupling with sodium targets. A halo-independent analysis shows that explaining the DAMA modulation above 2 keVee in terms of anapole dark matter is basically impossible in face of the other null results, while the DAMA/LIBRA-phase2 modulation measurements below 2 keVee are marginally allowed. We conclude that in light of current measurements, anapole dark matter does not seem to be a viable explanation for the totality of the DAMA modulation.


title: Quantitative and functional post-translational modification proteomics reveals that TREPH1 plays a role in plant thigmomorphogenesis

abstract: Plants can sense both intracellular and extracellular mechanical forces and can respond through morphological changes. The signaling components responsible for mechanotransduction of the touch response are largely unknown. Here, we performed a high-throughput SILIA (stable isotope labeling in Arabidopsis)-based quantitative phosphoproteomics analysis to profile changes in protein phosphorylation resulting from 40 seconds of force stimulation in Arabidopsis thaliana. Of the 24 touch-responsive phosphopeptides identified, many were derived from kinases, phosphatases, cytoskeleton proteins, membrane proteins and ion transporters. TOUCH-REGULATED PHOSPHOPROTEIN1 (TREPH1) and MAP KINASE KINASE 2 (MKK2) and/or MKK1 became rapidly phosphorylated in touch-stimulated plants. Both TREPH1 and MKK2 are required for touch-induced delayed flowering, a major component of thigmomorphogenesis. The treph1-1 and mkk2 mutants also exhibited defects in touch-inducible gene expression. A non-phosphorylatable site-specific isoform of TREPH1 (S625A) failed to restore touch-induced flowering delay of treph1-1, indicating the necessity of S625 for TREPH1 function and providing evidence consistent with the possible functional relevance of the touch-regulated TREPH1 phosphorylation. Bioinformatic analysis and biochemical subcellular fractionation of TREPH1 protein indicate that it is a soluble protein. Altogether, these findings identify new protein players in Arabidopsis thigmomorphogenesis regulation, suggesting that protein phosphorylation may play a critical role in plant force responses.


title: Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers

abstract: The first problem addressed by this article is the enumeration of some families of pattern-avoiding inversion sequences. We solve some enumerative conjectures left open by the foundational work on the topics by Corteel et al., some of these being also solved independently by Lin, and Kim and Lin. The strength of our approach is its robustness: we enumerate four families $F_1 \subset F_2 \subset F_3 \subset F_4$ of pattern-avoiding inversion sequences ordered by inclusion using the same approach. More precisely, we provide a generating tree (with associated succession rule) for each family $F_i$ which generalizes the one for the family $F_{i-1}$. The second topic of the paper is the enumeration of a fifth family $F_5$ of pattern-avoiding inversion sequences (containing $F_4$). This enumeration is also solved \emph{via} a succession rule, which however does not generalize the one for $F_4$. The associated enumeration sequence, which we call the \emph{powered Catalan numbers}, is quite intriguing, and further investigated. We provide two different succession rules for it, denoted $\Omega_{pCat}$ and $\Omega_{steady}$, and show that they define two types of families enumerated by powered Catalan numbers. Among such families, we introduce the \emph{steady paths}, which are naturally associated with $\Omega_{steady}$. They allow us to bridge the gap between the two types of families enumerated by powered Catalan numbers: indeed, we provide a size-preserving bijection between steady paths and valley-marked Dyck paths (which are naturally associated with $\Omega_{pCat}$). Along the way, we provide several nice connections to families of permutations defined by the avoidance of vincular patterns, and some enumerative conjectures.


title: The Bochner formula for Riemannian flows

abstract: In this paper, we consider a Riemannian manifold (M, g) endowed with a Riemannian flow and we study the curvature term in the Bochner-Weitzenb{\"o}ck formula of the basic Laplacian on M. We prove that this term splits into two parts. The first part depends mainly on the curvature operator of the underlying manifold M and the second part is expressed in terms of the O'Neill tensor of the flow. After getting a lower bound for this term, depending on these two parts, we establish an eigenvalue estimate of the basic Laplacian on basic forms. We then discuss the limiting case of the estimate and prove that when equality occurs, the manifold M is a local product. This paper follows mainly the approach in [21].


title: A minimal $U(1)^\prime$ extension of MSSM in light of the B decay anomaly

abstract: Motivated by the $R_K$ and $R_{K^*}$ anomalies from B decays, we extend the minimal supersymmetric model with a non-universal anomaly-free $U(1)^\prime$ gauge symmetry, coupling non-universally to the lepton sector as well as the quark sector. In particular, only the third generation quarks are charged under this $U(1)^\prime$, which can easily evade the dilepton bound from the LHC searches. An extra singlet is introduced to break this $U(1)^\prime$ symmetry allowing for the $\mu$-term to be generated dynamically. The relevant constraints of $B_s-\bar{B}_s$ mixing, $D^0-\bar{D}^0$ mixing and the LHC dilepton searches are considered. We find that in the allowed parameter space this $U(1)^\prime$ gauge interaction can accommodate the $R_K$ and $R_{K^*}$ anomalies and weaken considerably the $Z^\prime$ mass limits while remaining perturbative up to the Planck scale.


title: Theoretical analysis of the $\gamma\gamma^{(*)} \to \pi^0\eta$ process

abstract: The theoretical analysis of the $\gamma\gamma \to \pi^0\eta$ process is presented within the energy range up to 1.4 GeV. The $S$-wave resonance $a_0(980)$ is described involving the coupled channel dispersive framework and the $D$-wave $a_2(1320)$ is approximated as a Breit-Wigner resonance. For the $a_0(980)$ the pole is found on the IV Riemann sheet resulting in a two-photon decay width of $\Gamma_{a_0\to\gamma\gamma}=0.27(4)$ keV. The first dispersive prediction is provided for the single-virtual $\gamma\gamma^*(Q^2)\to\pi^0\eta$ process in the spacelike region up to $Q^2=1$ GeV$^2$.


title: AsySPA: An Exact Asynchronous Algorithm for Convex Optimization Over Digraphs

abstract: This paper proposes a novel exact distributed asynchronous subgradient-push algorithm (AsySPA) to solve an additive cost optimization problem over directed graphs where each node only has access to a local convex function and updates asynchronously with an arbitrary rate. Specifically, each node of a strongly connected digraph does not wait for updates from other nodes but simply starts a new update within any bounded time interval by using local information available from its in-neighbors. "Exact" means that every node of the AsySPA can asymptotically converge to the same optimal solution, even under different update rates among nodes and bounded communication delays. To address uneven update rates, we design a simple mechanism to adaptively adjust stepsizes per update in each node, which is substantially different from the existing works. Then, we construct a delay-free augmented system to address asynchrony and delays, and study its convergence by proposing a generalized subgradient algorithm, which clearly has its own significance and helps us to explicitly evaluate the convergence rate of the AsySPA. Finally, we demonstrate advantages of the AsySPA in both theory and simulation.


title: Frequency domain integrals for stability preservation in Galerkin-type projection-based model order reduction

abstract: We investigate linear dynamical systems consisting of ordinary differential equations with high dimensionality. Model order reduction yields alternative systems of much lower dimensions. However, a reduced system may be unstable, although the original system is asymptotically stable. We consider projection-based model order reduction of Galerkin-type. A transformation of the original system ensures that any reduced system is asymptotically stable. This transformation requires the solution of a high-dimensional Lyapunov inequality. We solve this problem using a specific Lyapunov equation. Its solution can be represented as a matrix-valued integral in the frequency domain. Consequently, quadrature rules yield numerical approximations, where large sparse linear systems of algebraic equations have to be solved. We analyse this approach and show a sufficient condition on the error to meet the Lyapunov inequality. Furthermore, this technique is extended to systems of differential-algebraic equations with strictly proper transfer functions by a regularisation. Finally, we present results of numerical computations for high-dimensional examples, which indicate the efficiency of this stability-preserving method.


title: Transverse Fully Nonlinear Equations on Sasakian Manifolds and Applications

abstract: We prove a priori estimates for a class of transverse fully nonlinear equations on Sasakian manifolds and give some geometric applications such as the transversion Calabi-Yau theorem for transverse balanced and (strongly) Gauduchon metrics. We also explain that similar results hold on compact oriented, taut, transverse Hermitian foliated manifold of complex co-dimension $n$, and give some geometric applications such as the transverse Calabi-Yau theorems for transverse Hermitian and (strongly) Gauduchon metrics.


title: Image Inpainting Based on a Novel Criminisi Algorithm

abstract: In view of the problem of image inpainting error continuation and the deviation of finding best match block, an improved Criminisi algorithm is proposed. The improvement was mainly embodied in two aspects. In the repairing order aspect, we redefine the calculation formula of the priority. In order to solve the problem of error continuation caused by local confidence item updating, the mean value of Manhattan distance is used for replace the confidence item. In the matching strategy aspect, finding the best match block not only depend on the difference of the two pixels, but also consider the matching region. Therefore, Euclidean distance is introduced. Experiments confirm that the improved algorithm can overcome the insufficiencies of the original algorithm. The repairing effect has been improved, and the results have a better visual appearance.


title: A Capsule Network-based Embedding Model for Knowledge Graph Completion and Search Personalization

abstract: In this paper, we introduce an embedding model, named CapsE, exploring a capsule network to model relationship triples (subject, relation, object). Our CapsE represents each triple as a 3-column matrix where each column vector represents the embedding of an element in the triple. This 3-column matrix is then fed to a convolution layer where multiple filters are operated to generate different feature maps. These feature maps are reconstructed into corresponding capsules which are then routed to another capsule to produce a continuous vector. The length of this vector is used to measure the plausibility score of the triple. Our proposed CapsE obtains better performance than previous state-of-the-art embedding models for knowledge graph completion on two benchmark datasets WN18RR and FB15k-237, and outperforms strong search personalization baselines on SEARCH17.


title: The photocentre-AGN displacement: Is M87 actually harbouring a displaced supermassive black hole?

abstract: M87 has been identified as a displaced supermassive black hole (SMBH) candidate. We investigated this possibility by a temporal analysis of twelve Adaptive-Optics assisted-VLT and HST images spanning twenty years. We found that the centre of the isophotal fitting to the nuclear region of M87 -assumed to mark the centre of mass of the galaxy- changes location depending on the image and size of the image analysed. In an absolute frame of reference, the change varies from 15 to 130 miliarcseconds (mas) with respect to the active galactic nucleus (AGN), which remains stable within an uncertainty of $\pm$15 mas in both x and y axis. The temporal analysis of the results indicates that the major displacements measured coincide with a powerful outburst that took place between 2003 and 2007, where there was a flux increment in the nucleus and the first knot of the jet. After the outburst, the isophotal centre remains stable and is consistent with the AGN location. This suggests that the displacements are artificially caused by a flux variation in the galaxy and that the SMBH actually resides in the equilibrium position. We caution about the determination of the galaxy photocentre by isophotal fitting in cases of nuclear variability and/or presence of photometric irregularities, and advise a long-term temporal analysis of the results to confirm possible displaced SMBHs.


title: Methodology for identifying study sites in scientific corpus

abstract: The TERRE-ISTEX project aims at identifying the evolution of research working relation to study areas, disciplinary crossings and concrete research methods based on the heterogeneous digital content available in scientific corpora. The project is divided into three main actions: (1) to identify the periods and places which have been the subject of empirical studies, and which reflect the publications resulting from the corpus analyzed, (2) to identify the thematics addressed in these works and (3) to develop a web-based geographical information retrieval tool (GIR). The first two actions involve approaches combining Natural languages processing patterns with text mining methods. By crossing the three dimensions (spatial, thematic and temporal) in a GIR engine, it will be possible to understand what research has been carried out on which territories and at what time. In the project, the experiments are carried out on a heterogeneous corpus including electronic thesis and scientific articles from the ISTEX digital libraries and the CIRAD research center.


title: Theoretical study of the direct $\alpha+d$ $\rightarrow$ $^6$Li + $\gamma $ astrophysical capture process in a three-body model II. Reaction rates and primordial abundance

abstract: The astrophysical S-factor and reaction rate of the direct capture process $\alpha+d$ $\rightarrow$ $^6$Li + $\gamma$, as well as the abundance of the $^6$Li element are estimated in a three-body model. The initial state is factorized into the deuteron bound state and the $\alpha+d$ scattering state. The final nucleus $^6$Li(1+) is described as a three-body bound state $\alpha+n+p$ in the hyperspherical Lagrange-mesh method. Corrections to the asymptotics of the overlap integral in the S- and D-waves have been done for the E2 S-factor. The isospin forbidden E1 S-factor is calculated from the initial isosinglet states to the small isotriplet components of the final $^6$Li(1+) bound state. It is shown that the three-body model is able to reproduce the newest experimental data of the LUNA collaboration for the astrophysical S-factor and the reaction rates within the experimental error bars. The estimated $^6$Li/H abundance ratio of $(0.67 \pm 0.01)\times 10^{-14}$ is in a very good agreement with the recent measurement $(0.80 \pm 0.18)\times 10^{-14}$ of the LUNA collaboration.

categories: nucl-th astro-ph.CO astro-ph.GA astro-ph.SR


title: Modeling Semantics with Gated Graph Neural Networks for Knowledge Base Question Answering

abstract: The most approaches to Knowledge Base Question Answering are based on semantic parsing. In this paper, we address the problem of learning vector representations for complex semantic parses that consist of multiple entities and relations. Previous work largely focused on selecting the correct semantic relations for a question and disregarded the structure of the semantic parse: the connections between entities and the directions of the relations. We propose to use Gated Graph Neural Networks to encode the graph structure of the semantic parse. We show on two data sets that the graph networks outperform all baseline models that do not explicitly model the structure. The error analysis confirms that our approach can successfully process complex semantic parses.


title: Learning Explanations from Language Data

abstract: PatternAttribution is a recent method, introduced in the vision domain, that explains classifications of deep neural networks. We demonstrate that it also generates meaningful interpretations in the language domain.


title: Weak invariants, temporally-local equilibria, and isoenergetic processes described by the Lindblad equation

abstract: The concept of weak invariants is examined in the thermodynamic context. Discussions are made about the temporally-local equilibrium states, corrections to them, and isoenergetic processes based on the quantum master equations of the Lindblad type that admit time-dependent Hamiltonians as weak invariants. The method for determining the correction presented here may be thought of as a quantum-mechanical analog of the Chapman-Enskog expansion in nonequilibrium classical statistical mechanics. Then, the theory is applied to the time-dependent harmonic oscillator as a simple example, and the power output and the work along an isoenergetic process are evaluated within the framework of finite-time quantum thermodynamics.


title: Monitoring currents in cold-atom circuits

abstract: Complex circuits of cold atoms can be exploited to devise new protocols for the diagnostics of cold-atoms systems. Specifically, we study the quench dynamics of a condensate confined in a ring-shaped potential coupled with a rectilinear guide of finite size. We find that the dynamics of the atoms inside the guide is distinctive of the states with different winding numbers in the ring condensate. We also observe that the depletion of the density, localized around the tunneling region of the ring condensate, can decay in a pair of excitations experiencing a Sagnac effect. In our approach, the current states of the condensate in the ring can be read out by inspection of the rectilinear guide only, leaving the ring condensate minimally affected by the measurement. We believe that our results set the basis for definition of new quantum rotation sensors. At the same time, our scheme can be employed to explore fundamental questions involving dynamics of bosonic condensates.


title: Unusual changeover in the transition nature of local-interaction Potts models

abstract: A combinatorial approach is used to study the critical behavior of a $q$-state Potts model with a round-the-face interaction. Using this approach it is shown that the model exhibits a first order transition for $q>3$. A second order transition is numerically detected for $q=2$. Based on these findings, it is deduced that for some two-dimensional ferromagnetic Potts models with completely local interaction, there is a changeover in the transition order at a critical integer $q_c\leq 3$. This stands in contrast to the standard two-spin interaction Potts model where the maximal integer value for which the transition is continuous is $q_c=4$. A lower bound on the first order critical temperature is additionally derived.


title: Designs of magnetic atom-trap lattices for quantum simulation experiments

abstract: We have designed and realized magnetic trapping geometries for ultracold atoms based on permanent magnetic films. Magnetic chip based experiments give a high level of control over trap barriers and geometric boundaries in a compact experimental setup. These structures can be used to study quantum spin physics in a wide range of energies and length scales. By introducing defects into a triangular lattice, kagome and hexagonal lattice structures can be created. Rectangular lattices and (quasi-)one-dimensional structures such as ladders and diamond chain trapping potentials have also been created. Quantum spin models can be studied in all these geometries with Rydberg atoms, which allow for controlled interactions over several micrometers. We also present some nonperiodic geometries where the length scales of the traps are varied over a wide range. These tapered structures offer another way to transport large numbers of atoms adiabatically into subwavelength traps and back.


title: The Enigmatic compact radio source coincident with the energetic X-ray pulsar PSR J1813$-$1749 and HESS J1813$-$178

abstract: New VLA detections of the variable radio continuum source VLA J181335.1$-$174957, associated with the energetic X-ray pulsar PSR~J1813$-$1749 and the TeV source HESS J1813-178, are presented. The radio source has a right circular polarization of $\sim50\%$, and a negative spectral index of $-1.3\pm0.1$, which show that it is non-thermal. The radio pulses of the pulsar are not detected from additional Effelsberg observations at 1.4~GHz made within one week of a VLA detection. This result would appear to support the idea that the continuum radio emission detected with the VLA does not trace the time-averaged emission pulses, as had previously been suggested. We discuss other possible origins for the radio source, such as a pulsar wind, magnetospheric emission, and a low-mass star companion. However, observations made at higher frequencies by Camilo et al. (in preparation) show that the VLA source is in fact the time-averaged pulsed emission and that the detection of the pulses had not been achieved because this is the most scattered pulsar known.


title: Multi-object spectroscopy of CL1821+643: a dynamically relaxed cluster with a giant radio halo?

abstract: We present the study of the dynamical status of the galaxy cluster CL1821+643, a rare and intriguing cool-core cluster hosting a giant radio halo. We base our analysis on new spectroscopic data for 129 galaxies acquired at the Italian Telescopio Nazionale Galileo. We also use spectroscopic data available from the literature and photometric data from the Sloan Digital Sky Survey. We select 120 cluster member galaxies and compute the cluster redshift <z> ~ 0.296 and the global line-of-sight velocity dispersion $\sigma_{\rm V}$ ~ 1100 km/s. The results of our analysis are consistent with CL1821+643 being a massive dynamically relaxed cluster dominated by a big and luminous elliptical at the centre of the cluster potential well. None of the tests employed to study the cluster galaxies kinematics in the 1D (velocity information), 2D (spatial information), and 3D (combined velocity and spatial information) domains is able to detect significant substructures. While this picture is in agreement with previous results based on X-ray data and on the existence of the central cool core, we do not find any evidence of a merging process responsible for the radio halo discovered in this cluster. Thus, this radio halo remains an open problem that raises doubts about our understanding of diffuse radio sources in clusters.


title: DenseRAN for Offline Handwritten Chinese Character Recognition

abstract: Recently, great success has been achieved in offline handwritten Chinese character recognition by using deep learning methods. Chinese characters are mainly logographic and consist of basic radicals, however, previous research mostly treated each Chinese character as a whole without explicitly considering its internal two-dimensional structure and radicals. In this study, we propose a novel radical analysis network with densely connected architecture (DenseRAN) to analyze Chinese character radicals and its two-dimensional structures simultaneously. DenseRAN first encodes input image to high-level visual features by employing DenseNet as an encoder. Then a decoder based on recurrent neural networks is employed, aiming at generating captions of Chinese characters by detecting radicals and two-dimensional structures through attention mechanism. The manner of treating a Chinese character as a composition of two-dimensional structures and radicals can reduce the size of vocabulary and enable DenseRAN to possess the capability of recognizing unseen Chinese character classes, only if the corresponding radicals have been seen in training set. Evaluated on ICDAR-2013 competition database, the proposed approach significantly outperforms whole-character modeling approach with a relative character error rate (CER) reduction of 18.54%. Meanwhile, for the case of recognizing 3277 unseen Chinese characters in CASIA-HWDB1.2 database, DenseRAN can achieve a character accuracy of about 41% while the traditional whole-character method has no capability to handle them.


title: A dessin on the base: a description of mutually non-local 7-branes without using branch cuts

abstract: We consider the special roles of the zero loci of the Weierstrass invariants $g_2(\tau(z))$, $g_3(\tau(z))$ in F-theory on an elliptic fibration over $P^1$ or a further fibration thereof. They are defined as the zero loci of the coefficient functions $f(z)$ and $g(z)$ of a Weierstrass equation. They are thought of as complex co-dimension one objects and correspond to the two kinds of critical points of a dessin d'enfant of Grothendieck. The $P^1$ base is divided into several cell regions bounded by some domain walls extending from these planes and D-branes, on which the imaginary part of the $J$-function vanishes. This amounts to drawing a dessin with a canonical triangulation. We show that the dessin provides a new way of keeping track of mutual non-localness among 7-branes without employing unphysical branch cuts or their base point. With the dessin we can see that weak- and strong-coupling regions coexist and are located across an $S$-wall from each other. We also present a simple method for computing a monodromy matrix for an arbitrary path by tracing the walls it goes through.


title: Prospects of Deep Field Surveys with Global-MCAO on an ELT

abstract: Several astronomical surveys aimed at the investigation of the extragalactic components were carried out in order to map systematically the universe and its constituents. An excellent level of detail is needed, and it is possible only using space telescopes or with the application of adaptive optics (AO) techniques for ground-based observatories. By simulating K-band observations of 6000 high-redshift galaxies in the Chandra Deep Field South region, we have already shown how an extremely large telescope can carry out photometric surveys successfully using the Global-MCAO, a natural guide stars based technique that allows the development of extragalactic research, otherwise impracticable without using laser guide stars. As the outcome of the analysis represents an impact science case for the new instruments on upcoming ground-based telescopes, here we show how the investigation of other observed deep fields could profit from such a technique. Further to an overview of the surveys suitable for the proposed approach, we show preliminary estimations both on geometrical (FoV and height) and purely AO perspectives (richness and homogeneity of guide stars in the area) for planned giant telescope.


title: Bigravity and Horndeski gravity connected by a disformal coupling

abstract: In this paper, we have studied bi-gravity theory in a very specific limit where we focused only on one degree of freedom generated by the massive graviton. We have analyzed the model in the context of cosmology and demonstrated that the model can give rise to late time cosmic acceleration as an attractor of the dynamical system. However, the observational constraints due to tensor perturbations are stringent giving rise to large fine tuning.


title: Parsimonious HMMs for Offline Handwritten Chinese Text Recognition

abstract: Recently, hidden Markov models (HMMs) have achieved promising results for offline handwritten Chinese text recognition. However, due to the large vocabulary of Chinese characters with each modeled by a uniform and fixed number of hidden states, a high demand of memory and computation is required. In this study, to address this issue, we present parsimonious HMMs via the state tying which can fully utilize the similarities among different Chinese characters. Two-step algorithm with the data-driven question-set is adopted to generate the tied-state pool using the likelihood measure. The proposed parsimonious HMMs with both Gaussian mixture models (GMMs) and deep neural networks (DNNs) as the emission distributions not only lead to a compact model but also improve the recognition accuracy via the data sharing for the tied states and the confusion decreasing among state classes. Tested on ICDAR-2013 competition database, in the best configured case, the new parsimonious DNN-HMM can yield a relative character error rate (CER) reduction of 6.2%, 25% reduction of model size and 60% reduction of decoding time over the conventional DNN-HMM. In the compact setting case of average 1-state HMM, our parsimonious DNN-HMM significantly outperforms the conventional DNN-HMM with a relative CER reduction of 35.5%.


title: A Matching Based Theoretical Framework for Estimating Probability of Causation

abstract: The concept of Probability of Causation (PC) is critically important in legal contexts and can help in many other domains. While it has been around since 1986, current operationalizations can obtain only the minimum and maximum values of PC, and do not apply for purely observational data. We present a theoretical framework to estimate the distribution of PC from experimental and from purely observational data. We illustrate additional problems of the existing operationalizations and show how our method can be used to address them. We also provide two illustrative examples of how our method is used and how factors like sample size or rarity of events can influence the distribution of PC. We hope this will make the concept of PC more widely usable in practice.


title: Network Flows that Solve Least Squares for Linear Equations

abstract: This paper presents a first-order {distributed continuous-time algorithm} for computing the least-squares solution to a linear equation over networks. Given the uniqueness of the solution, with nonintegrable and diminishing step size, convergence results are provided for fixed graphs. The exact rate of convergence is also established for various types of step size choices falling into that category. For the case where non-unique solutions exist, convergence to one such solution is proved for constantly connected switching graphs with square integrable step size, and for uniformly jointly connected switching graphs under the boundedness assumption on system states. Validation of the results and illustration of the impact of step size on the convergence speed are made using a few numerical examples.


title: Symmetric decompositions and real-rootedness

abstract: In algebraic, topological, and geometric combinatorics inequalities among the coefficients of combinatorial polynomials are frequently studied. Recently a notion called the alternatingly increasing property, which is stronger than unimodality, was introduced. In this paper, we relate the alternatingly increasing property to real-rootedness of the symmetric decomposition of a polynomial to develop a systematic approach for proving the alternatingly increasing property for several classes of polynomials. We apply our results to strengthen and generalize real-rootedness, unimodality, and alternatingly increasing results pertaining to colored Eulerian and derangement polynomials, Ehrhart $h^\ast$-polynomials for lattice zonotopes, $h$-polynomials of barycentric subdivisions of doubly Cohen-Macaulay level simplicial complexes, and certain local $h$-polynomials for subdivisions of simplices. In particular, we prove two conjectures of Athanasiadis.


title: A New Hybrid Consensus Protocol: Deterministic Proof Of Work

abstract: The Decentralized-Consistent-Scale (DCS) Triangle defines three dimensions that illustrate the tradeoffs of the blockchain consensus mechanism. In this paper, we propose a new hybrid consensus protocol, called Deterministic Proof of Work (DPoW), which can reach high levels of scalability and consistency without significant reduction to decentralization. Our protocol introduces a Map-reduce PoW mining algorithm to perform alongside Practical Byzantine Fault Tolerance (PBFT) verification, which together allow for transactions to be confirmed immediately, largely improving scalability. In addition, the protocol is designed such that forking cannot occur, ensuring strong consistency and security against a multitude of attacks. The Map-reduce PoW mining process ensures that no single entity can control the network, guaranteeing decentralization. We analyzed the security of our protocol by evaluating the possibility of double spending attacks, and furthermore, conducted experiments which demonstrate our claims.


title: A Preliminary Study On Emerging Cloud Computing Security Challenges

abstract: Cloud computing is the internet based provisioning of the computing resources, software, and information on demand. Cloud Computing is referred to as one of most recent emerging paradigms of computing utilities. Since Cloud computing is the dominant infrastructure of the shared services over the internet, it is important to be aware of the security risk and the challenges associated with this emerging computing paradigm. This survey provides a brief introduction to the cloud computing, its major characteristics, and service models. It also explores cloud security threats, lists a few security solutions , and proposes a promsing research direction to deal with the evolving security challenges in Cloud computing.


title: Dependence of coronal mass ejection properties on their solar source active region characteristics and associated flare reconnection flux

abstract: The near-Sun kinematics of coronal mass ejections (CMEs) determine the severity and arrival time of associated geomagnetic storms. We investigate the relationship between the deprojected speed and kinetic energy of CMEs and magnetic measures of their solar sources, reconnection flux of associated eruptive events and intrinsic flux rope characteristics. Our data covers the period 2010-2014 in solar cycle 24. Using vector magnetograms of source active regions we estimate the size and nonpotentiality. We compute the total magnetic reconnection flux at the source regions of CMEs using the post-eruption arcade method. By forward modeling the CMEs we find their deprojected geometric parameters and constrain their kinematics and magnetic properties. Based on an analysis of this database we report that the correlation between CME speed and their source active region size and global nonpotentiality is weak, but not negligible. We find the near-Sun velocity and kinetic energy of CMEs to be well correlated with the associated magnetic reconnection flux. We establish a statistically significant empirical relationship between the CME speed and reconnection flux that may be utilized for prediction purposes. Furthermore, we find CME kinematics to be related with the axial magnetic field intensity and relative magnetic helicity of their intrinsic flux ropes. The amount of coronal magnetic helicity shed by CMEs is found to be well correlated with their near-Sun speeds. The kinetic energy of CMEs is well correlated with their intrinsic magnetic energy density. Our results constrain processes related to the origin and propagation of CMEs and may lead to better empirical forecasting of their arrival and geoeffectiveness.