title: Double dark-matter admixed neutron star

abstract: The dark matter in neutron stars can exist from the lifetime of the progenitor or captured by this compact object. The properties of dark matter entered the neutron stars through each step could be different from each other. Here, we investigate the structure of neutron stars which are influenced by the dark matter in two processes. Applying a generalization of two-fluid formalism to three-fluid one and the equation of state from the rotational curves of galaxies, we explore the structure of double dark-matter admixed neutron stars. The behavior of the neutron and dark matter portions for these stars is considered. In addition, the influence of the dark matter equations of state on the stars with different contributions of visible and dark matter is studied. The gravitational redshift of these stars in different cases of dark matter equations of state is investigated.


title: XZ: Deriving redshifts from X-ray spectra of obscured AGN

abstract: Context: Redshifts are fundamental for our understanding of extragalactic X-ray sources. Ambiguous counterpart associations, expensive optical spectroscopy and/or multimission multiwavelength coverage to resolve degeneracies make estimation often difficult in practice. Aims: We attempt to constrain redshifts of obscured Active Galactic Nuclei (AGN) using only low-resolution X-ray spectra. Methods: Our XZ method fits AGN X-ray spectra with a moderately complex spectral model incorporating a corona, torus obscurer and warm mirror. Using the Bayesian X-ray Astronomy (BXA) package, we constrain redshift, column density, photon index and luminosity simultaneously. The redshift information primarily comes from absorption edges in Compton-thin AGN, and from the Fe K$\alpha$ fluorescent line in heavily obscured AGN. A new generic background fitting method allows us to extract more information from limited numbers of source counts. Results: We derive redshift constraints for 74/321 hard-band detected sources in the Chandra deep field South. Comparing with spectroscopic redshifts, we find an outlier fraction of 8%, indicating that our model assumptions are valid. For three Chandra deep fields, we release our XZ redshift estimates. Conclusions: The independent XZ estimate is easy to apply and effective for a large fraction of obscured AGN in todays deep surveys without the need for any additional data. Comparing to different redshift estimation methods, XZ can resolve degeneracies in photometric redshifts, help to detect potential association problems and confirm uncertain single-line spectroscopic redshifts. With high spectral resolution and large collecting area, this technique will be highly effective for Athena/WFI observations.


title: A uniqueness theorem for warped $N>16$ Minkowski backgrounds with fluxes

abstract: We demonstrate that warped Minkowski space backgrounds, $\mathbb{R}^{n-1,1}\times_w M^{d-n}$, $n\geq3$, that preserve strictly more than 16 supersymmetries in $d=11$ and type II $d=10$ supergravities and with fields which may not be smooth everywhere are locally isometric to the $\mathbb{R}^{d-1,1}$ Minkowski vacuum. In particular, all such flux compactification vacua of these theories have the same local geometry as the maximally supersymmetric vacuum $\mathbb{R}^{n-1,1}\times T^{d-n}$.


title: Program Language Translation Using a Grammar-Driven Tree-to-Tree Model

abstract: The task of translating between programming languages differs from the challenge of translating natural languages in that programming languages are designed with a far more rigid set of structural and grammatical rules. Previous work has used a tree-to-tree encoder/decoder model to take advantage of the inherent tree structure of programs during translation. Neural decoders, however, by default do not exploit known grammar rules of the target language. In this paper, we describe a tree decoder that leverages knowledge of a language's grammar rules to exclusively generate syntactically correct programs. We find that this grammar-based tree-to-tree model outperforms the state of the art tree-to-tree model in translating between two programming languages on a previously used synthetic task.


title: Failure of Smooth Pasting Principle and Nonexistence of Equilibrium Stopping Rules under Time-Inconsistency

abstract: This paper considers a time-inconsistent stopping problem in which the inconsistency arises from non-constant time preference rates. We show that the smooth pasting principle, the main approach that has been used to construct explicit solutions for conventional time-consistent optimal stopping problems, may fail under time-inconsistency. Specifically, we prove that the smooth pasting principle solves a time-inconsistent problem within the intra-personal game theoretic framework if and only if a certain inequality on the model primitives is satisfied. We show that the violation of this inequality can happen even for very simple non-exponential discount functions. Moreover, we demonstrate that the stopping problem does not admit any intra-personal equilibrium whenever the smooth pasting principle fails. The "negative" results in this paper caution blindly extending the classical approaches for time-consistent stopping problems to their time-inconsistent counterparts.


title: Betweenness Centrality as Predictor for Forces in Granular Packings

abstract: A load applied to a jammed frictional granular system will be localized into a network of force chains making inter-particle connections throughout the system. Because such systems are typically under-constrained, the observed force network is not unique to a given particle configuration, but instead varies upon repeated formation. In this paper, we examine the ensemble of force chain configurations created under repeated assembly in order to develop tools to statistically forecast the observed force network. In experiments on a gently suspended 2D layer of photoelastic particles, we subject the assembly to hundreds of repeated cyclic compressions. As expected, we observe the non-unique nature of the force network, which differs for each compression cycle, by measuring all vector inter-particle contact forces using our open source PeGS software. We find that total pressure on each particle in the system correlates to its betweenness centrality value extracted from the geometric contact network. Thus, the mesoscale network structure is a key control on individual particle pressures.


title: HST/WFPC2 imaging analysis and Cloudy modelling of the multiple shell planetary nebulae NGC 3242, NGC 6826 and NGC 7662

abstract: We performed a detailed photometric analysis and photoionisation modelling on three high excitation multiple shell planetary nebulae: NGC 3242, NGC 6826 and NGC 7662. Archival HST/WFPC2 narrow band filter images were used to investigate shocked regions by two independent methods: using low excitation ions (via H alpha/[N II] vs H alpha/[S II] extended diagnostic diagrams) and by means of high excitation species looking for regions of enhanced [O III]/H alpha line ratios. Shocked region analysis via low excitation ions shows that major deviations from the general inside to outside ionisation trend correspond only to regions where FLIERs or LISs are located. The reduction on the SNR at the outskirts of the [O III]/H alpha ratio maps, made us unable to unambiguously identified for an enhancement on the [O III]/H alpha line ratio as an indicator for shocks. For non-shocked regions we performed a photoionisation modelling using Cloudy. Fittings to the [O III] and H alpha observed radial profiles lead us to constrain on the free parameters of the density laws and filling factors together to temperatures and luminosities for the CSPNe. Best fit models show a very well representation of the [O III] and H alpha emission. Discrepancies in the model fittings to the [N II] and [S II] profiles at NGC 6826 and NGC 3242, can be attributed in the former case, due to a contamination by the light of the CSPN and, in the latter case, either due to gas inhomogeneities within the clumps or to a leaking of UV radiation.


title: MITOS-RCNN: A Novel Approach to Mitotic Figure Detection in Breast Cancer Histopathology Images using Region Based Convolutional Neural Networks

abstract: Studies estimate that there will be 266,120 new cases of invasive breast cancer and 40,920 breast cancer induced deaths in the year of 2018 alone. Despite the pervasiveness of this affliction, the current process to obtain an accurate breast cancer prognosis is tedious and time consuming, requiring a trained pathologist to manually examine histopathological images in order to identify the features that characterize various cancer severity levels. We propose MITOS-RCNN: a novel region based convolutional neural network (RCNN) geared for small object detection to accurately grade one of the three factors that characterize tumor belligerence described by the Nottingham Grading System: mitotic count. Other computational approaches to mitotic figure counting and detection do not demonstrate ample recall or precision to be clinically viable. Our models outperformed all previous participants in the ICPR 2012 challenge, the AMIDA 2013 challenge and the MITOS-ATYPIA-14 challenge along with recently published works. Our model achieved an F-measure score of 0.955, a 6.11% improvement in accuracy from the most accurate of the previously proposed models.


title: Efficient and Deterministic Propagation of Mixed Quantum-Classical Liouville Dynamics

abstract: We propose a highly efficient mixed quantum-classical molecular dynamics scheme based on a solution of the quantum-classical Liouville equation (QCLE). By casting the equations of motion for the quantum subsystem and classical bath degrees of freedom onto an approximate set of coupled first-order differential equations for c-numbers, this scheme propagates the composite system in time deterministically in terms of independent classical-like trajectories. To demonstrate its performance, we apply the method to the spin-boson model, a photo-induced electron transfer model, and a Fenna-Matthews-Olsen complex model, and find excellent agreement out to long times with the numerically exact results, using several orders of magnitude fewer trajectories than surface-hopping solutions of the QCLE. Owing to its accuracy and efficiency, this method promises to be very useful for studying the dynamics of mixed quantum-classical systems.


title: Quantifying the leading role of the surface state in the Kondo effect of Co/Ag(111)

abstract: Using a combination of scanning tunneling spectroscopy and atomic lateral manipulation, we obtained a systematic variation of the Kondo temperature ($T_\mathrm K$) of Co atoms on Ag(111) as a function of the surface state contribution to the total density of states at the atom adsorption site ($\rho_s$). By sampling the $T_\mathrm K$ of a Co atom on positions where $\rho_s$ was spatially resolved beforehand, we obtain a nearly linear relationship between both magnitudes. We interpret the data on the basis of an Anderson model including orbital and spin degrees of freedom (SU(4)) in good agreement with the experimental findings. The fact that the onset of the surface band is near the Fermi level is crucial to lead to the observed linear behavior. In the light of this model, the quantitative analysis of the experimental data evidences that at least a quarter of the coupling of Co impurities with extended states takes place through the hybridization to surface states. This result is of fundamental relevance in the understanding of Kondo screening of magnetic impurities on noble metal surfaces, where bulk and surface electronic states coexist.


title: The Case for Nonlocal Modifications of Gravity

abstract: The huge amounts of undetected and exotic dark matter and dark energy needed to make general relativity work on large scales argue that we should investigate modifications of gravity. The only stable, metric-based and invariant alternative to general relativity is $f(R)$ models. These models can explain primordial inflation, but they cannot dispense with either dark matter or dark energy. I advocate nonlocal modifications of gravity, not as new fundamental theories but rather as the gravitational vacuum polarization engendered by infrared quanta produced during primordial inflation. I also discuss some of the many objections which have been raised to this idea.


title: Stability and Quasinormal Modes of Black Holes in Conformal Weyl Gravity

abstract: In this paper, we first investigate the thermal stability of black holes in conformal Weyl gravity with a comparison with the Schwarzschild black holes. Then, we consider a minimally coupled massive scalar perturbation and calculate the quasinormal modes in asymptotically dS spacetime by employing the sixth order WKB approximation and asymptotic iteration method. The deviations from those of the Schwarzschild-dS solutions are obtained and the possibility of the presence of quasi-resonance modes for Weyl black hole solutions is investigated. Finally, we consider a massless scalar perturbation in the background of asymptotically AdS solutions and calculate the quasinormal modes by using the pseudospectral method. The effects of the free parameter of the theory on the quasinormal modes are studied and deviations from those of the Schwarzschild-AdS black holes are investigated. The imaginary part of quasinormal frequencies in AdS spacetime is the time scale of a thermal state (in the conformal field theory) to approach thermal equilibrium.


title: A New Look at the Refund Mechanism in the Bitcoin Payment Protocol

abstract: BIP70 is the Bitcoin payment protocol for communication between a merchant and a pseudonymous customer. McCorry et al. (FC~2016) showed that BIP70 is prone to refund attacks and proposed a fix that requires the customer to sign their refund request. They argued that this minimal change will provide resistance against refund attacks. In this paper, we point out the drawbacks of McCorry et al.'s fix and propose a new approach for protection against refund attacks using the Bitcoin multi-signature mechanism. Our solution does not rely on merchants storing refund requests, and unlike the previous solution, allows updating refund addresses through email. We discuss the security of our proposed method and compare it with the previous solution. We also propose a novel application of our refund mechanism in providing anonymity for payments between a payer and payee in which merchants act as mixing servers. We finally discuss how to combine the above two mechanisms in a single payment protocol to have an anonymous payment protocol secure against refund attacks.


title: Existential monadic second order logic of undirected graphs: a disproof of the Le Bars conjecture

abstract: In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) about undirected graphs. He proved that there exists an EMSO sentence $\phi$ such that ${\sf P}(G_n \models\phi)$ does not converge as $n\to\infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1, \dots, n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.


title: A diachronic study of historiography

abstract: The humanities are often characterized by sociologists as having a low mutual dependence among scholars and high task uncertainty. According to Fuchs' theory of scientific change, this leads over time to intellectual and social fragmentation, as new scholarship accumulates in the absence of shared unifying theories. We consider here a set of specialisms in the discipline of history and measure the connectivity properties of their bibliographic coupling networks over time, in order to assess whether fragmentation is indeed occurring. We construct networks using both reference overlap and textual similarity. It is shown that the connectivity of reference overlap networks is gradually and steadily declining over time, whilst that of textual similarity networks is stable. Author bibliographic coupling networks also show signs of a decline in connectivity, in the absence of an increasing propensity for collaborations. We speculate that, despite the gradual weakening of ties among historians as mapped by references, new scholarship might be continually integrated through shared vocabularies and narratives. This would support our belief that citations are but one kind of bibliometric data to consider --- perhaps even of secondary importance --- when studying the humanities, while text should play a more prominent role.


title: Probing Electroweak Precision Physics via boosted Higgs-strahlung at the LHC

abstract: We study the process $pp \to Z(\ell^+ \ell^-)h(b\bar b)$ in the Standard Model Effective Field Theory (SMEFT) at high energies using subjet techniques to reconstruct the Higgs boson. We show that at high energies this process probes four directions in the dimension 6 EFT space, namely the operators that contribute to the four contact interactions, $hZ_\mu \bar{f}\gamma^\mu f$, where $f=u_L, u_R,d_L$ and $d_R$. These four directions are, however, already constrained by the $Z$-pole and diboson measurements at LEP. We show that by utilising the energy growth of this process in the SMEFT and the accuracy that can be achieved by using subjet techniques at the High Luminosity LHC, one can obtain bounds on these operators that are an order of magnitude better than existing LEP bounds.


title: Phases of granular matter

abstract: An understanding of homogeneous nucleation of crystalline structure from a disordered medium such as a liquid remains an important unsolved problem in condensed matter physics. Guided by the results from a number of experiments on granular and colloidal systems in the past two decades, including in particular observations of homogeneous nucleation in colloidal and granular systems, we suggest an alternative to the statistical mechanics approach to static granular matter initiated by Edwards and Oakeshott in 1989.


title: Regularizing Autoencoder-Based Matrix Completion Models via Manifold Learning

abstract: Autoencoders are popular among neural-network-based matrix completion models due to their ability to retrieve potential latent factors from the partially observed matrices. Nevertheless, when training data is scarce their performance is significantly degraded due to overfitting. In this paper, we mit- igate overfitting with a data-dependent regularization technique that relies on the principles of multi-task learning. Specifically, we propose an autoencoder-based matrix completion model that performs prediction of the unknown matrix values as a main task, and manifold learning as an auxiliary task. The latter acts as an inductive bias, leading to solutions that generalize better. The proposed model outperforms the existing autoencoder-based models designed for matrix completion, achieving high reconstruction accuracy in well-known datasets.


title: Gap formation in helical edge states with magnetic impurities

abstract: Helical edge states appear at the surface of two dimensional topological insulators and are characterized by spin up traveling in one direction and the spin down traveling in the opposite direction. Such states are protected by time reversal symmetry and no backscattering due to scalar impurities can occur. However, magnetic impurities break time reversal symmetry and lead to backscattering. Often their presence is unintentional, but in some cases they are introduced into the sample to open up gaps in the spectrum. We investigate the influence of random impurities on helical edge states, specifically how the gap behaves in the realistic case of impurities having both a magnetic and a scalar component. It turns out that for a fixed magnetic contribution the gap closes when either the scalar component, or Fermi velocity is increased. We compare diagrammatic techniques in the self-consistent Born approximation to numerical calculations which yields good agreement. For experimentally relevant parameters we find that even moderate scalar components can be quite detrimental for the gap formation.


title: Towards a Generalized Hydrodynamics description of R\'enyi entropies in integrable systems

abstract: We investigate the steady-state R\'enyi entanglement entropies after a quench from a piecewise homogeneous initial state in integrable models. In the quench protocol two macroscopically different chains (leads) are joined together at the initial time, and the subsequent dynamics is studied. We study the entropies of a finite subsystem at the interface between the two leads. The density of R\'enyi entropies coincides with that of the entropies of the Generalized Gibbs Ensemble (GGE) that describes the interface between the chains. By combining the Generalized Hydrodynamics (GHD) treatment of the quench with the Bethe ansatz approach for the R\'enyi entropies, we provide exact results for quenches from several initial states in the anisotropic Heisenberg chain (XXZ chain), although the approach is applicable, in principle, to any low-entangled initial state and any integrable model. An interesting protocol that we consider is the expansion quench, in which one of the two leads is prepared in the vacuum of the model excitations. An intriguing feature is that for moderately large anisotropy the transport of bound-state is not allowed. Moreover, we show that there is a `critical' anisotropy, above which bound-state transport is permitted. This is reflected in the steady-state entropies, which for large enough anisotropy do not contain information about the bound states. Finally, we benchmark our results against time-dependent Density Matrix Renormalization Group (tDMRG) simulations.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th


title: Feature-based reformulation of entities in triple pattern queries

abstract: Knowledge graphs encode uniquely identifiable entities to other entities or literal values by means of relationships, thus enabling semantically rich querying over the stored data. Typically, the semantics of such queries are often crisp thereby resulting in crisp answers. Query log statistics show that a majority of the queries issued to knowledge graphs are often entity centric queries. When a user needs additional answers the state-of-the-art in assisting users is to rewrite the original query resulting in a set of approximations. Several strategies have been proposed in past to address this. They typically move up the taxonomy to relax a specific element to a more generic element. Entities don't have a taxonomy and they end up being generalized. To address this issue, in this paper, we propose an entity centric reformulation strategy that utilizes schema information and entity features present in the graph to suggest rewrites. Once the features are identified, the entity in concern is reformulated as a set of features. Since entities can have a large number of features, we introduce strategies that select the top-k most relevant and {informative ranked features and augment them to the original query to create a valid reformulation. We then evaluate our approach by showing that our reformulation strategy produces results that are more informative when compared with state-of-the-art


title: Semiorthogonal decompositions on total spaces of tautological bundles

abstract: Let U be the tautological subbundle on the Grassmannian $\mathrm{Gr}(k, n)$. There is a natural morphism $\mathrm{Tot}(U) \to \mathbb{A}^n$. Using it, we give a semiorthogonal decomposition for the bounded derived category $D^b_{\mathrm{coh}}(\mathrm{Tot}(U))$ into several exceptional objects and several copies of $D^b_{\mathrm{coh}}(\mathbb{A}^n)$. We also prove a global version of this result: given a vector bundle $E$ with a regular section $s$, consider a subvariety of the relative Grassmannian $\mathrm{Gr}(k, E)$ of those subspaces which contain the value of $s$. The derived category of this subvariety admits a similar decomposition into copies of the base and the zero locus of $s$. This may be viewed as a generalization of the blow-up formula of Orlov, which is the case $k = 1$.


title: Azimuthal modulation of electromagnetically induced transparency using structured light

abstract: Recently a scheme has been proposed for detection of the structured light by measuring the transmission of a vortex beam through a cloud of cold rubidium atoms with energy levels of the $\Lambda$-type configuration {[}N. Radwell et al., Phys. Rev. Lett. 114, 123603 (2015){]}. This enables observation of regions of spatially dependent electromagnetically induced transparency (EIT). Here we suggest another scenario for detection of the structured light by measuring the absorption profile of a weak nonvortex probe beam in a highly resonant five-level combined tripod and $\Lambda$ (CTL) atom-light coupling setup. We demonstrate that due to the closed-loop structure of CTL scheme, the absorption of the probe beam depends on the azimuthal angle and orbital angular momentum (OAM) of the control vortex beams. This feature is missing in simple $\Lambda$ or tripod schemes, as there is no loop in such atom-light couplings. One can identify different regions of spatially structured transparency through measuring the absorption of probe field under different configurations of structured control light.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: Optimal Ball Recycling

abstract: Balls-and-bins games have been a wildly successful tool for modeling load balancing problems. In this paper, we study a new scenario, which we call the ball recycling game, defined as follows: Throw m balls into n bins i.i.d. according to a given probability distribution p. Then, at each time step, pick a non-empty bin and recycle its balls: take the balls from the selected bin and re-throw them according to p. This balls-and-bins game closely models memory-access heuristics in databases. The goal is to have a bin-picking method that maximizes the recycling rate, defined to be the expected number of balls recycled per step in the stationary distribution. We study two natural strategies for ball recycling: Fullest Bin, which greedily picks the bin with the maximum number of balls, and Random Ball, which picks a ball at random and recycles its bin. We show that for general p, Random Ball is constant-optimal, whereas Fullest Bin can be pessimal. However, when p = u, the uniform distribution, Fullest Bin is optimal to within an additive constant.


title: Quantum correlations in two-level atomic system over Herring-Flicker coupling

abstract: We study the thermal quantum correlations in tripartite atomic system under the existence of Herring-Flicker (HF) coupling among the atoms. We explore two topologically distinct configurations of three coupled two-level atoms, viz., loop and line, differing in their coupling pattern. Further, the systems having asymmetric arrangement of atoms are quantum mechanically correlated more strongly than systems having symmetric arrangements. The variable nature of HF coupling leads to the increase of both concurrence and discord from zero to a saturation value from where they decrease to zero as a function of inter-atomic distance. Further separation leads to both the quantities attaining another saturation value. This controlled correlations play an important role in the design of quantum data buses that can transfer quantum states to establish quantum communication. The systems coupled via HF coupling will be efficient for this task as they are maximally entangled in parametrically controlled manner. Thus, these systems will be propitious for various quantum protocols such as secure communication, quantum cryptography, quantum key distribution etc.


title: Deep Cross-modality Adaptation via Semantics Preserving Adversarial Learning for Sketch-based 3D Shape Retrieval

abstract: Due to the large cross-modality discrepancy between 2D sketches and 3D shapes, retrieving 3D shapes by sketches is a significantly challenging task. To address this problem, we propose a novel framework to learn a discriminative deep cross-modality adaptation model in this paper. Specifically, we first separately adopt two metric networks, following two deep convolutional neural networks (CNNs), to learn modality-specific discriminative features based on an importance-aware metric learning method. Subsequently, we explicitly introduce a cross-modality transformation network to compensate for the divergence between two modalities, which can transfer features of 2D sketches to the feature space of 3D shapes. We develop an adversarial learning based method to train the transformation model, by simultaneously enhancing the holistic correlations between data distributions of two modalities, and mitigating the local semantic divergences through minimizing a cross-modality mean discrepancy term. Experimental results on the SHREC 2013 and SHREC 2014 datasets clearly show the superior retrieval performance of our proposed model, compared to the state-of-the-art approaches.


title: Spin-orbit coupling driven insulating state in hexagonal iridates Sr3MIrO6 (M = Sr, Na and Li)

abstract: The spin-orbit coupling (SOC) interactions, electron correlation effects and Hund coupling cooperate and compete with each other, leading to novel properties, quantum phase and non-trivial topological electronic behavior in iridium oxides. Because of the well separated IrO6 octahedra approaching cubic crystal-field limit, the hexagonal iridates Sr3MIrO6 (M = Sr, Na and Li) serves as a canonical model system to investigate the underlying physical properties that arises from the novel Jeff state. Based on density functional theory calculations complemented by Green's function methods, we systematically explore the critical role of SOC on the electronic structure and magnetic properties of Sr3MIrO6. The crystal-field splitting combined with correlation effects are insufficient to account for the insulating nature, but the SOC interactions is the intrinsic source to trigger the insulating ground states in these hexagonal iridates. The decreasing geometry connectivity of IrO6 octahedra gives rise to the increasing of effective electronic correlations and SOC interactions, tuning the hexagonal iridates from low-spin Jeff = 1/2 states with large local magnetic moments for the Ir4+ (5d5) ions in Sr4IrO6 to nonmagnetic singlet Jeff = 0 states without magnetic moments for the Ir5+ (5d4) ions in Sr3NaIrO6 and Sr3LiIrO6. The theoretical calculated results are in good agreement with available experimental data, and explain the magnetic properties of Sr3MIrO6 well.


title: Discrete Sampling using Semigradient-based Product Mixtures

abstract: We consider the problem of inference in discrete probabilistic models, that is, distributions over subsets of a finite ground set. These encompass a range of well-known models in machine learning, such as determinantal point processes and Ising models. Locally-moving Markov chain Monte Carlo algorithms, such as the Gibbs sampler, are commonly used for inference in such models, but their convergence is, at times, prohibitively slow. This is often caused by state-space bottlenecks that greatly hinder the movement of such samplers. We propose a novel sampling strategy that uses a specific mixture of product distributions to propose global moves and, thus, accelerate convergence. Furthermore, we show how to construct such a mixture using semigradient information. We illustrate the effectiveness of combining our sampler with existing ones, both theoretically on an example model, as well as practically on three models learned from real-world data sets.


title: Mean-field avalanche size exponent for sandpiles on Galton-Watson trees

abstract: We show that in abelian sandpiles on infinite Galton-Watson trees, the probability that the total avalanche has more than $t$ topplings decays as $t^{-1/2}$. We prove both quenched and annealed bounds, under suitable moment conditions. Our proofs are based on an analysis of the conductance martingale of Morris (2003), that was previously used by Lyons, Morris and Schramm (2008) to study uniform spanning forests on $\mathbb{Z}^d$, $d\geq 3$, and other transient graphs.


title: Evidence for a 5 MeV Spectral Deviation in the Goesgen Reactor Neutrino Oscillation Experiment

abstract: Recent reactor neutrino experiments observe an anomalous excess around 5 MeV in the prompt energy spectra of positrons following the inverse beta decay reaction. In this note we suggest that this 5 MeV anomaly was already present in a much earlier experiment, which was carried out in the 1980's at three distances from the 2.8 GW nuclear powerplant at Goesgen, Switzerland. In particular we demonstrate with a log-likelihood test performed on the Goesgen data that the no-anomaly hypothesis is disfavored at a level of 3.8 sigma.


title: Quantum Hall Ground States and Regular Graphs

abstract: We show that every uniform state on the sphere is essentially a superposition of regular graphs. In addition, we develop a graph-based ansatz to construct trial FHQ ground states sharing the local properties of Jack polynomials. In particular, our graphic states have the $(k,r)$ clustering property. Moreover, a subclass of the construction is realizable as the densest zero-energy state of a model that modifies the projection Hamiltonian.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP


title: A Gauge Field Theory for Continuous Spin Tachyons

abstract: We present a gauge field theory for the continuous spin tachyonic representation of the Poincar\'e group. It was obtained by a dimensional reduction of a complex gauge field theory for a continuous spin particle in a cotangent bundle over Minkowski space-time. Some cubic vertices are also presented and their properties discussed. In the massless limit it reduces to a gauge theory for a continuous spin particle with a global $U(1)$ symmetry.


title: A Chebyshev-based rectangular-polar integral solver for scattering by general geometries described by non-overlapping patches

abstract: This paper introduces a high-order-accurate strategy for integration of singular kernels and edge-singular integral densities that appear in the context of boundary integral equation formulations of the problem of acoustic scattering. In particular, the proposed method is designed for use in conjunction with geometry descriptions given by a set of arbitrary non-overlapping logically-quadrilateral patches---which makes the algorithm particularly well suited for treatment of CAD-generated geometries. Fej\'er's first quadrature rule is incorporated in the algorithm, to provide a spectrally accurate method for evaluation of contributions from far integration regions, while highly-accurate precomputations of singular and near-singular integrals over certain "surface patches" together with two-dimensional Chebyshev transforms and suitable surface-varying "rectangular-polar" changes of variables, are used to obtain the contributions for singular and near-singular interactions. The overall integration method is then used in conjunction with the linear-algebra solver GMRES to produce solutions for sound-soft open- and closed-surface scattering obstacles, including an application to an aircraft described by means of a CAD representation. The approach is robust, fast, and highly accurate: use of a few points per wavelength suffices for the algorithm to produce far-field accuracies of a fraction of a percent, and slight increases in the discretization densities give rise to significant accuracy improvements.


title: A probability distribution for quantum tunneling times

abstract: We propose a general expression for the probability distribution of real-valued tunneling times of a localized particle, as measured by the Salecker-Wigner-Peres quantum clock. This general expression is used to obtain the distribution of times for the scattering of a particle through a static rectangular barrier and for the tunneling decay of an initially bound state after the sudden deformation of the potential, the latter case being relevant to understand tunneling times in recent attosecond experiments involving strong field ionization.


title: Periodic orbits, entanglement and quantum many-body scars in constrained models: matrix product state approach

abstract: We analyze quantum dynamics of strongly interacting, kinetically constrained many-body systems. Motivated by recent experiments demonstrating surprising long-lived, periodic revivals after quantum quenches in Rydberg atom arrays, we introduce a manifold of locally entangled spin states, representable by low-bond dimension matrix product states, and derive equations of motions for them using the time-dependent variational principle. We find that they feature isolated, unstable periodic orbits, which capture the recurrences and represent nonergodic dynamical trajectories. Our results provide a theoretical framework for understanding quantum dynamics in a class of constrained spin models, which allow us to examine the recently suggested explanation of 'quantum many-body scarring' [Nature Physics (2018), doi:10.1038], and establish a connection to the corresponding phenomenon in chaotic single-particle systems.


title: Systems of ergodic BSDEs arising in regime switching forward performance processes

abstract: We introduce and solve a new type of quadratic backward stochastic differential equation systems defined in an infinite time horizon, called \emph{ergodic BSDE systems}. Such systems arise naturally as candidate solutions to characterize forward performance processes and their associated optimal trading strategies in a regime switching market. In addition, we develop a connection between the solution of the ergodic BSDE system and the long-term growth rate of classical utility maximization problems, and use the ergodic BSDE system to study the large time behavior of PDE systems with quadratic growth Hamiltonians.


title: Probing the innermost accretion flow geometry of Sgr A* with Event Horizon Telescope

abstract: Upcoming Event Horizon Telescope (EHT) observations will provide a unique opportunity to reveal the innermost region of the radiative inefficient accretion flow (RIAF) around the Galactic black hole, Sgr A*. Depending on the flow dynamics and accumulated magnetic flux, the innermost region of an RIAF could have a quasi-spherical or disk-like geometry. Here we present a phenomenological model to investigate the characteristics of the black hole shadow images with different flow geometries, together with the effect of black hole spin and flow dynamics. The resulting image consists in general of two major components: a crescent, which may surround the funnel region of the black hole or the black hole itself, and a photon ring, which may be partially luminous and overlapped with the crescent component. Compared to a quasi-spherical flow case, a disk-like flow in the vicinity of a black hole exhibits the following image features: (i) due to less material near the funnel region, the crescent structure has a smaller size, and (ii) due to the combination of emission from the flow beside and behind the black hole, the crescent structure has a more irregular shape, and a less smooth brightness distribution. How these features can result in different observables for EHT observations is discussed.


title: Performance Evaluation of the Symmetrical Quasi-Classical Dynamics Method based on Meyer-Miller Mapping Hamiltonian in the Treatment of Site-Exciton Models

abstract: The symmetrical quasi-classical dynamics method based on the Meyer-Miller mapping Hamiltonian (MM-SQC) shows the great potential in the treatment of the nonadiabatic dynamics of complex systems. We performed the comprehensive benchmark calculations to evaluate the performance of the MM-SQC method in various site-exciton models with respect to the accurate results of quantum dynamics method multilayer multiconfigurational time-dependent Hartree (ML-MCTDH). The parameters of the site-exciton models are chosen to represent a few of prototypes used in the description of photoinduced excitonic dynamics processes in photoharvesting systems and organic solar cells, which include the rather board situations with the fast or slow bath and different system-bath couplings. When the characteristic frequency of the bath is low, the MM-SQC method performs extremely well, and it gives almost the identical results to those of ML-MCTDH. When the fast bath is considered, the deviations exist between the MM-SQC and ML-MCTDH results if the high-frequency bath modes are improperly treated by the classical manner. When the so-called adiabatic renormalization was employed to construct the reduced Hamiltonian by freezing high-frequency modes, the MM-SQC dynamics can give the results comparable to the ML-MCTDH ones. Thus, the MM-SQC method itself provide reasonable results in all test site-exciton models, while the proper treatments of the bath modes must be employed. The possible dependence of the MM-SQC dynamics on the different initial sampling methods for the nuclear degrees of freedom is also discussed.


title: Renewal-scaled solutions of the Kolmogorov forward equation for residual times

abstract: Let $N(\tau)$ be a renewal process for independent holding times $\{X_i\}_{k \ge 0}$ ,where $\{X_k\}_{k\ge 1}$ are identically distributed with density $p(x)$. If the associated residual time $R(\tau)$ has a density $u(x,\tau)$, its Kolmogorov forward equation is given by \begin{equation*} \partial_\tau u(x,\tau)-\partial_x u(x,\tau) = p(x)u(0,\tau), \quad x,\tau \in [0, \infty), \end{equation*} with an initial holding time density $u(x,0)=u_0(x)$. We derive a measure-valued solution formula for the density of residual times after an expected number of renewals occur. Solutions under this time scale are then shown to evolve continuously in the space of measures with the weak topology for a wide variety of holding times.


title: Differential limit on the extremely-high-energy cosmic neutrino flux in the presence of astrophysical background from nine years of IceCube data

abstract: We report a quasi-differential upper limit on the extremely-high-energy (EHE) neutrino flux above $5\times 10^{6}$ GeV based on an analysis of nine years of IceCube data. The astrophysical neutrino flux measured by IceCube extends to PeV energies, and it is a background flux when searching for an independent signal flux at higher energies, such as the cosmogenic neutrino signal. We have developed a new method to place robust limits on the EHE neutrino flux in the presence of an astrophysical background, whose spectrum has yet to be understood with high precision at PeV energies. A distinct event with a deposited energy above $10^{6}$ GeV was found in the new two-year sample, in addition to the one event previously found in the seven-year EHE neutrino search. These two events represent a neutrino flux that is incompatible with predictions for a cosmogenic neutrino flux and are considered to be an astrophysical background in the current study. The obtained limit is the most stringent to date in the energy range between $5 \times 10^{6}$ and $5 \times 10^{10}$ GeV. This result constrains neutrino models predicting a three-flavor neutrino flux of $E_\nu^2\phi_{\nu_e+\nu_\mu+\nu_\tau}\simeq2\times 10^{-8}\ {\rm GeV}/{\rm cm}^2\ \sec\ {\rm sr}$ at $10^9\ {\rm GeV}$. A significant part of the parameter-space for EHE neutrino production scenarios assuming a proton-dominated composition of ultra-high-energy cosmic rays is excluded.


title: Commuting graph of a group on a transversal

abstract: Given a finite group $G$ and a subset $X$ of $G$, the commuting graph of $G$ on $X$, denoted by ${\cal C}(G,X)$, is the graph that has $X$ as its vertex set with $x,y\in X$ joined by an edge whenever $x\neq y$ and $xy=yx$. Let $T$ be a transversal of the center $Z(G)$ of $G$. When $G$ is a finite non-abelian group and $X=T\setminus Z(G)$, we denote the graph ${\cal C}(G,X)$ by ${\cal T}(G)$. In this paper, we show that ${\cal T}(G)$ is a connected strongly regular graph if and only if $G$ is isoclinic to an extraspecial $2$-group of order at least $32$. We also characterize the finite non-abelian groups $G$ for which the graph ${\cal T}(G)$ is disconnected strongly regular.


title: Thermally-robust spin correlations between two 85Rb atoms in an optical microtrap

abstract: The complex collisional properties of atoms fundamentally limit investigations into a range of processes in many-atom ensembles. In contrast, the bottom-up assembly of few- and many-body systems from individual atoms offers a controlled approach to isolating and studying such collisional processes. Here, we use optical tweezers to individually assemble pairs of trapped $^{85}$Rb atoms, and study the spin dynamics of the two-body system in a thermal state. The spin-2 atoms show strong pair correlation between magnetic sublevels on timescales exceeding one second, with measured relative number fluctuations $11.9\pm0.3$ dB below quantum shot noise, limited only by detection efficiency. Spin populations display relaxation dynamics consistent with simulations and theoretical predictions for $^{85}$Rb spin interactions, and contrary to the coherent spin waves witnessed in finite-temperature many-body experiments and zero-temperature two-body experiments. Our experimental approach offers a versatile platform for studying two-body quantum dynamics and may provide a route to thermally-robust entanglement generation.


title: Quantum correlations between two distant cavity QED systems coupled by a mechanical resonator

abstract: Achieving quantum correlations between two distant systems is a desirable feature for quantum networking. In this work, we study a system composed of two quantum emitter-cavity subsystems spatially separated. A mechanical resonator couples to either both quantum emitters or both cavities leading to quantum correlations between both subsystems such as non-local light-matter dressed states and cavity-cavity normal mode splitting. These indirect couplings can be explained by an effective Hamiltonian for large energy detuning between the mechanical resonator and the atoms/cavities. Moreover, it is found optimal conditions for the physical parameters of the system in order to maximize the entanglement of such phonon-mediated couplings.


title: Tracy-Widom asymptotics for a river delta model

abstract: We study an oriented first passage percolation model for the evolution of a river delta. This model is exactly solvable and occurs as the low temperature limit of the beta random walk in random environment. We analyze the asymptotics of an exact formula from [4] to show that, at any fixed positive time, the width of a river delta of length $L$ approaches a constant times $L^{2/3}$ with Tracy-Widom GUE fluctuations of order $L^{4/9}$. This result can be rephrased in terms of particle systems. We introduce an exactly solvable particle system on the integer half line and show that after running the system for only finite time the particle positions have Tracy-Widom fluctuations.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: The Tur\'{a}n Number for Spanning Linear Forests

abstract: For a set of graphs $\mathcal{F}$, the extremal number $ex(n;\mathcal{F})$ is the maximum number of edges in a graph of order $n$ not containing any subgraph isomorphic to some graph in $\mathcal{F}$. If $\mathcal{F}$ contains a graph on $n$ vertices, then we often call the problem a spanning Tur\'{a}n problem. A linear forest is a graph whose connected components are all paths and isolated vertices. In this paper, we let $\mathcal{L}_n^k$ be the set of all linear forests of order $n$ with at least $n-k+1$ edges. We prove that when $n\geq 3k$ and $k\geq 2$, \[ ex(n;\mathcal{L}_n^k)=\binom{n-k+1}{2}+ O(k^2). \] Clearly, the result is interesting when $k=o(n)$.


title: PortraitGAN for Flexible Portrait Manipulation

abstract: Previous methods have dealt with discrete manipulation of facial attributes such as smile, sad, angry, surprise etc, out of canonical expressions and they are not scalable, operating in single modality. In this paper, we propose a novel framework that supports continuous edits and multi-modality portrait manipulation using adversarial learning. Specifically, we adapt cycle-consistency into the conditional setting by leveraging additional facial landmarks information. This has two effects: first cycle mapping induces bidirectional manipulation and identity preserving; second pairing samples from different modalities can thus be utilized. To ensure high-quality synthesis, we adopt texture-loss that enforces texture consistency and multi-level adversarial supervision that facilitates gradient flow. Quantitative and qualitative experiments show the effectiveness of our framework in performing flexible and multi-modality portrait manipulation with photo-realistic effects.


title: Learning Theory and Algorithms for Revenue Management in Sponsored Search

abstract: Online advertisement is the main source of revenue for Internet business. Advertisers are typically ranked according to a score that takes into account their bids and potential click-through rates(eCTR). Generally, the likelihood that a user clicks on an ad is often modeled by optimizing for the click through rates rather than the performance of the auction in which the click through rates will be used. This paper attempts to eliminate this dis-connection by proposing loss functions for click modeling that are based on final auction performance.In this paper, we address two feasible metrics (AUC^R and SAUC) to evaluate the on-line RPM (revenue per mille) directly rather than the CTR. And then, we design an explicit ranking function by incorporating the calibration fac-tor and price-squashed factor to maximize the revenue. Given the power of deep networks, we also explore an implicit optimal ranking function with deep model. Lastly, various experiments with two real world datasets are presented. In particular, our proposed methods perform better than the state-of-the-art methods with regard to the revenue of the platform.


title: Observations and perspectives on the variation of biodiversity

abstract: Based on statistical analysis of the complete genome sequences, a remote relationship has been observed between the evolution of the genetic code and the three domain tree of life. The existence of such a remote relationship need to be explained. The unity of the living system throughout the history of life relies on the common features of life: the homochirality, the genetic code and the universal genome format. The universal genome format has been observed in the genomic codon distributions as a common feature of life at the sequence level. A main aim of this article is to reconstruct and to explain the Phanerozoic biodiversity curve. It has been observed that the exponential growth rate of the Phanerozoic biodiversity curve is about equal to the exponential growth rate of genome size evolution. Hence it is strongly indicated that the expansion of genomes causes the exponential trend of the Phanerozoic biodiversity curve, where the conservative property during the evolution of life is guaranteed by the universal genome format at the sequence level. In addition, a consensus curve based on the climatic and eustatic data is obtained to explain the fluctuations of the Phanerozoic biodiversity curve. Thus, the reconstructed biodiversity curve based on genomic, climatic and eustatic data agrees with Sepkoski's curve based on fossil data. The five mass extinctions can be discerned in this reconstructed biodiversity curve, which indicates a tectonic cause of the mass extinctions. And the declining origination rate and extinction rate throughout the Phanerozoic eon might be due to the growth trend in genome size evolution.


title: LinBFT: Linear-Communication Byzantine Fault Tolerance for Public Blockchains

abstract: This paper presents LinBFT, a novel Byzantine fault tolerance (BFT) protocol for blockchain systems that achieves amortized O(n) communication volume per block under reasonable conditions (where n is the number of participants), while satisfying determinist guarantees on safety and liveness. This significantly improves previous results, which either incurs quadratic communication complexity, or only satisfies safety in a probabilistic sense. LinBFT is based on the popular PBFT protocol, and cuts down its $O(n^4)$ complexity with three tricks, each by $O(n)$: linear view change, threshold signatures, and verifiable random functions. All three are known, i.e., the solutions are right in front of our eyes, and yet LinBFT is the first $O(n)$ solution with deterministic security guarantees. Further, LinBFT also addresses issues that are specific to permission-less, public blockchain systems, such as anonymous participants without a public-key infrastructure, proof-of-stake with slashing, rotating leader, and a dynamic participant set. In addition, LinBFT contains no proof-of-work module, reaches consensus for every block, and tolerates changing honesty of the participants for different blocks.


title: Per-decision Multi-step Temporal Difference Learning with Control Variates

abstract: Multi-step temporal difference (TD) learning is an important approach in reinforcement learning, as it unifies one-step TD learning with Monte Carlo methods in a way where intermediate algorithms can outperform either extreme. They address a bias-variance trade off between reliance on current estimates, which could be poor, and incorporating longer sampled reward sequences into the updates. Especially in the off-policy setting, where the agent aims to learn about a policy different from the one generating its behaviour, the variance in the updates can cause learning to diverge as the number of sampled rewards used in the estimates increases. In this paper, we introduce per-decision control variates for multi-step TD algorithms, and compare them to existing methods. Our results show that including the control variates can greatly improve performance on both on and off-policy multi-step temporal difference learning tasks.


title: Sato hyperfunctions via relative Dolbeault cohomology

abstract: The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way of representing the latter. In this paper we use this cohomology to give simple explicit expressions of Sato hyperfunctions, some fundamental operations on them and related local duality theorems. This approach also yields a new insight into the theory of hyperfunctions and leads to a number of further results and applications. As one of such, we give an explicit embedding morphism of Schwartz distributions into the space of hyperfunctions.


title: Front propagation in both directions and coexistence of traveling fronts and pulses

abstract: For scalar reaction-diffusion equations, a traveling wave is a front which transforms a higher energy state to a lower energy state. The same is true for a system of equations with a gradient structure. At the core of this phenomenon, the wave propagation results in an invasion of an equilibrium state from a different one. This paper is aimed at two questions: (i) Can reaction-diffusion waves exhibit front propagation in both directions between two distinct equilibrium states? (ii) The co-existence of traveling fronts and pulses; a subject rarely studied. Working on a FitzHugh-Nagumo model with the same physical parameters, we give positive answers to both questions.


title: Deconvolution-Based Backproject-Filter (BPF) Computed Tomography Image Reconstruction Method Using Deep Learning Technique

abstract: For conventional computed tomography (CT) image reconstruction tasks, the most popular method is the so-called filtered-back-projection (FBP) algorithm. In it, the acquired Radon projections are usually filtered first by a ramp kernel before back-projected to generate CT images. In this work, as a contrary, we realized the idea of image-domain backproject-filter (BPF) CT image reconstruction using the deep learning techniques for the first time. With a properly designed convolutional neural network (CNN), preliminary results demonstrate that it is feasible to reconstruct CT images with maintained high spatial resolution and accurate pixel values from the highly blurred back-projection image, i.e., laminogram. In addition, experimental results also show that this deconvolution-based CT image reconstruction network has the potential to reduce CT image noise (up to 20%), indicating that patient radiation dose may be reduced. Due to these advantages, this proposed CNN-based image-domain BPF type CT image reconstruction scheme provides promising prospects in generating high spatial resolution, low-noise CT images for future clinical applications.


title: Towards a facile method to protect shorelines

abstract: Mangroves are found worldwide across the rivers and coastlines in tropical regions. They are robust against storm surges and tsunamic for a long time. The roots have the most contributions for their resiliency and therefore can be inspired for future manmade structures. The motion of water in riverine mangrove forest is expected to be impacted by mangrove roots, which in turn disturb the transport of nutrients, contaminants, and residues in these systems. In this paper, a facile method for protecting shoreline is described and review and the significant impact of this method were reviewed. Bioinspired simplified models as an obstruction to water currents in shorelines and coastal areas are presented. It was found that Mangrove roots produce complex flow structure interactions with their environment, which affect the nutrient, habitat and aquatic animals. Analysis of the flow structure behind the roots extend to a broad range of mangrove-inspired applications and provide understandings into flows that are more complex and more indicative of the flows encountered in the unidirectional riverine flow


title: Sub-MHz Self-Q-switching in Nd:LuAG Laser

abstract: A compact pulsed Nd:LuAG laser at 1064 nm based on the self-Q-switching technique is reported, having the output power as high as 6.61 W at the incident pump power of 21.32 W, corresponding to the optical conversion efficiency of ~31 %. The temporal width of the pulse was in the range from 532.2 ns to 652.6 ns, and the repetition rate varied between 488.6 kHz and 551.9 kHz. To the best of our knowledge, this is the first report on the self-Q-switching Nd:LuAG laser. Possible reasons for the self-Q-switching of Nd:LuAG were also provided, and the factor leading to the high repetition rate was analyzed. The compact cavity generating pulses with high output power and high repetition rate not only reveal that the self-Q-switching technique could be an efficient method for the generation of pulses with high output power and high repetition rate, but enrich the characteristics of Nd:LuAG crystal.


title: Sanity Check: A Strong Alignment and Information Retrieval Baseline for Question Answering

abstract: While increasingly complex approaches to question answering (QA) have been proposed, the true gain of these systems, particularly with respect to their expensive training requirements, can be inflated when they are not compared to adequate baselines. Here we propose an unsupervised, simple, and fast alignment and information retrieval baseline that incorporates two novel contributions: a \textit{one-to-many alignment} between query and document terms and \textit{negative alignment} as a proxy for discriminative information. Our approach not only outperforms all conventional baselines as well as many supervised recurrent neural networks, but also approaches the state of the art for supervised systems on three QA datasets. With only three hyperparameters, we achieve 47\% P@1 on an 8th grade Science QA dataset, 32.9\% P@1 on a Yahoo! answers QA dataset and 64\% MAP on WikiQA. We also achieve 26.56\% and 58.36\% on ARC challenge and easy dataset respectively. In addition to including the additional ARC results in this version of the paper, for the ARC easy set only we also experimented with one additional parameter -- number of justifications retrieved.


title: Environmental effects on nonlocal correlations

abstract: Environmental interactions are ubiquitous in practical instances of any quantum information processing protocol. The interaction results in depletion of various quantum resources and even complete loss in numerous situations. Nonlocality, which is one particular quantum resource marking a significant departure of quantum mechanics from classical mechanics, meets the same fate. In the present work we study the decay in nonlocality to the extent of the output state admitting a local hidden state model. Using some fundamental quantum channels we also demonstrate the complete decay in the resources in the purview of the Bell-CHSH inequality and a 3-settings steering inequality. We also obtain bounds on the parameter of the depolarizing map for which it becomes steerability breaking pertaining to a general class of two qubit states.


title: Improving Fuzzing Using Software Complexity Metrics

abstract: Vulnerable software represents a tremendous threat to modern information systems. Vulnerabilities in widespread applications may be used to spread malware, steal money and conduct target attacks. To address this problem, developers and researchers use different approaches of dynamic and static software analysis; one of these approaches is called fuzzing. Fuzzing is performed by generating and sending potentially malformed data to an application under test. Since first appearance in 1988, fuzzing has evolved a lot, but issues which addressed to effectiveness evaluation have not fully investigated until now. In our research, we propose a novel approach of fuzzing effectiveness evaluation, taking into account semantics of executed code along with a quantitative assessment. For this purpose, we use specific metrics of source code complexity assessment adapted to perform analysis of machine code. We conducted effectiveness evaluation of these metrics on 104 widespread applications with known vulnerabilities. As a result of these experiments, we were able to identify a set of metrics that are more suitable to find bugs. In addition, we conducted separate experiments on 7 applications without known vulnerabilities by using the set of metrics. The experimental results confirmed that proposed approach can be applied to increase performance of the fuzzing. Moreover, the tools helped detect two critical zero day (previously unknown) vulnerabilities in the wide-spread applications.


title: Internal clusterization in the Coulomb few-body systems and stability of the five- and six-body systems with unit charges

abstract: Stability of the bound ground states in the six five-body muonic $a b \mu e_2$ ions (or $(a b \mu e_2)^{-}$) and ten six-body $a b c \mu e_2$ quasi-molecules is investigated. The notations $a, b, c$ stand for the bare nuclei of three hydrogen isotopes - protium ($p$), deuterium ($d$) and tritium ($t$). All these systems are the Coulomb five- and six-body systems with unit charges. It is found that the ground bound $S(L = 0)-$states are stable in all six five-body $a b \mu e_2$ ions and in ten six-body $a b c \mu e_2$ quasi-molecules. As follows from accurate variational computations of the five-body $a b \mu e_2$ ions their internal structure is similar to the internal structure of the negatively charged hydrogen ion H$^{-}$. Analogously, we show that the internal structures of the six-body neutral $a b c \mu e_2$ quasi-molecules are similar to the structure of the two-center H$_{2}$ molecule which contains two heavy hydrogen nuclei and two bound electrons.


title: Constraining black-hole horizon effects by LIGO-Virgo detections of inspiralling binary black holes

abstract: General relativity predicts mass and spin growth of an inspiralling black hole due to an energy-momentum flux flowing through the black-hole horizon. The leading-order terms of this horizon flux introduce 2.5 and 3.5 post-Newtonian corrections to inspiral motions of binary black holes. The corrections may be measurable by gravitational waves detectors. Since the proper improvements to general relativity is still a mystery, it is possible that the true modified gravity theory introduces negligible direct corrections to the geodesics of test masses, while near horizon corrections are observable. We introduce a parameterization to describe arbitrary mass and spin growth of inspiralling black holes. Comparing signals of gravitational waves and a waveform model with parameterized horizon flux corrections, deviations from general relativity can be constrained. We simulate a set of gravitational waves signals following an astrophysical distribution with horizon flux modifications. Then, we perform a Bayesian analysis to obtain the expected constraints from the simulated response of the Advanced LIGO-Virgo detector network to the simulated signals. We show that the constraint can be improved by stacking multiple detections. The constraints of modified horizon flux can be used to test a specific class of modified gravity theories which predict dominant corrections near black-hole horizons over other types of corrections to general relativity. To support Hawking's area theorem at 90\% confidence level, over 10000 LIGO-Virgo detections are required. Within the lifetime of LIGO and Einstein Telescope, a future ground-based gravitational wave detector, near horizon corrections of modified gravity theories are potentially detectable if one of the modified gravity theory is true and the theory predicts a strong correction.


title: Numerical simulations of emulsions in shear flows

abstract: We present a modification of a recently developed volume of fluid method for multiphase problems, so that it can be used in conjunction with a fractional step-method and fast Poisson solver, and validate it with standard benchmark problems. We then consider emulsions of two-fluid systems and study their rheology in a plane Couette flow in the limit of vanishing inertia. We examine the dependency of the effective viscosity on the volume-fraction (from 10% to 30%) and the Capillary number (from 0.1 to 0.4) for the case of density and viscosity ratio 1. We show that the effective viscosity decreases with the deformation and the applied shear (shear-thinning) while exhibits a non-monotonic behavior with respect to the volume fraction. We report the appearance of a maximum in the effective viscosity curve and compare the results with those of suspensions of rigid and deformable particles and capsules. We show that the flow in the solvent is mostly a shear flow, while it is mostly rotational in the suspended phase; moreover this behavior tends to reverse as the volume fraction increases. Finally, we evaluate the contributions to the total shear stress of the viscous stresses in the two fluids and of the interfacial force between them.


title: A Comparative Study of Containers and Virtual Machines in Big Data Environment

abstract: Container technique is gaining increasing attention in recent years and has become an alternative to traditional virtual machines. Some of the primary motivations for the enterprise to adopt the container technology include its convenience to encapsulate and deploy applications, lightweight operations, as well as efficiency and flexibility in resources sharing. However, there still lacks an in-depth and systematic comparison study on how big data applications, such as Spark jobs, perform between a container environment and a virtual machine environment. In this paper, by running various Spark applications with different configurations, we evaluate the two environments from many interesting aspects, such as how convenient the execution environment can be set up, what are makespans of different workloads running in each setup, how efficient the hardware resources, such as CPU and memory, are utilized, and how well each environment can scale. The results show that compared with virtual machines, containers provide a more easy-to-deploy and scalable environment for big data workloads. The research work in this paper can help practitioners and researchers to make more informed decisions on tuning their cloud environment and configuring the big data applications, so as to achieve better performance and higher resources utilization.


title: Characterization of nonlocal diffusion operators satisfying the Liouville theorem. Irrational numbers and subgroups of $\mathbb{R}^d$

abstract: We investigate the characterization of generators $\mathcal{L}$ of L\'evy processes satisfying the Liouville theorem: Bounded functions $u$ solving $\mathcal{L}[u]=0$ are constant. These operators are degenerate elliptic of the form $\mathcal{L}=\mathcal{L}^{\sigma,b}+\mathcal{L}^\mu$ for some local part $\mathcal{L}^{\sigma,b}[u]=\text{tr}(\sigma \sigma^{\texttt{T}} D^2u)+b \cdot Du$ and nonlocal part $$ \mathcal{L}^\mu[u](x)=\int \big(u(x+z)-u(x)-z \cdot Du(x) \mathbf{1}_{|z| \leq 1}\big) \, \text{d} \mu(z), $$ where $\mu \geq 0$ is a so-called L\'evy measure possibly unbounded for small $z$. In this paper, we focus on the pure nonlocal case $\sigma=0$ and $b=0$, where we assume in addition that $\mu$ is symmetric which corresponds to self-adjoint pure jump L\'evy operators $\mathcal{L}=\mathcal{L}^\mu$. The case of general L\'evy operators $\mathcal{L}=\mathcal{L}^{\sigma,b}+\mathcal{L}^\mu$ will be considered in the forthcoming paper \cite{AlDTEnJa18}. In our setting, we show that $\mathcal{L}^\mu[u]=0$ if and only if $u$ is periodic wrt the subgroup generated by the support of $\mu$. Therefore, the Liouville property holds if and only if this subgroup is dense, and in space dimension $d=1$ there is an equivalent condition in terms of irrational numbers. In dimension $d \geq 1$, we have a clearer view of the operators \textit{not} satisfying the Liouville theorem whose general form is precisely identified. The proofs are based on arguments of propagation of maximum.


title: Pontogammarus Maeoticus Swarm Optimization: A Metaheuristic Optimization Algorithm

abstract: Nowadays, metaheuristic optimization algorithms are used to find the global optima in difficult search spaces. Pontogammarus Maeoticus Swarm Optimization (PMSO) is a metaheuristic algorithm imitating aquatic nature and foraging behavior. Pontogammarus Maeoticus, also called Gammarus in short, is a tiny creature found mostly in coast of Caspian Sea in Iran. In this algorithm, global optima is modeled as sea edge (coast) to which Gammarus creatures are willing to move in order to rest from sea waves and forage in sand. Sea waves satisfy exploration and foraging models exploitation. The strength of sea wave is determined according to distance of Gammarus from sea edge. The angles of waves applied on several particles are set randomly helping algorithm not be stuck in local bests. Meanwhile, the neighborhood of particles change adaptively resulting in more efficient progress in searching. The proposed algorithm, although is applicable on any optimization problem, is experimented for partially shaded solar PV array. Experiments on CEC05 benchmarks, as well as solar PV array, show the effectiveness of this optimization algorithm.


title: Metamorphic Moving Horizon Estimation

abstract: This paper considers a practical scenario where a classical estimation method might have already been implemented on a certain platform when one tries to apply more advanced techniques such as moving horizon estimation (MHE). We are interested to utilize MHE to upgrade, rather than completely discard, the existing estimation technique. This immediately raises the question how one can improve the estimation performance gradually based on the pre-estimator. To this end, we propose a general methodology which incorporates the pre-estimator with a tuning parameter {\lambda} between 0 and 1 into the quadratic cost functions that are usually adopted in MHE. We examine the above idea in two standard MHE frameworks that have been proposed in the existing literature. For both frameworks, when {\lambda} = 0, the proposed strategy exactly matches the existing classical estimator; when the value of {\lambda} is increased, the proposed strategy exhibits a more aggressive normalized forgetting effect towards the old data, thereby increasing the estimation performance gradually.


title: Logistic Regression, Neural Networks and Dempster-Shafer Theory: a New Perspective

abstract: We revisit logistic regression and its nonlinear extensions, including multilayer feedforward neural networks, by showing that these classifiers can be viewed as converting input or higher-level features into Dempster-Shafer mass functions and aggregating them by Dempster's rule of combination. The probabilistic outputs of these classifiers are the normalized plausibilities corresponding to the underlying combined mass function. This mass function is more informative than the output probability distribution. In particular, it makes it possible to distinguish between lack of evidence (when none of the features provides discriminant information) from conflicting evidence (when different features support different classes). This expressivity of mass functions allows us to gain insight into the role played by each input feature in logistic regression, and to interpret hidden unit outputs in multilayer neural networks. It also makes it possible to use alternative decision rules, such as interval dominance, which select a set of classes when the available evidence does not unambiguously point to a single class, thus trading reduced error rate for higher imprecision.


title: Symmetric Decompositions of $f\in L^2(\mathbb{R})$ Via Fractional Riemann-Liouville Operators

abstract: It is proved that given $-1/2<s<1/2$, for any $f\in L^2(\mathbb{R})$, there is a unique $u\in \widehat{H}^{|s|}(\mathbb{R})$ such that $$ f=\boldsymbol{D}^{-s}u+\boldsymbol{D}^{s*}u\,, $$ where $\boldsymbol{D}^{-s}, \boldsymbol{D}^{s*}$ are fractional Riemann-Liouville operators and the fractional derivatives are understood in the weak sense. Furthermore, the regularity of $u$ is discussed, and other versions of the results are established. As an interesting consequence, the Fourier transform of elements of $L^2(\mathbb{R})$ is characterized.


title: State dependent jump processes: It\^o-Stratonovich interpretations, potential, and transient solutions

abstract: The abrupt changes that are ubiquitous in physical and natural systems are often well characterized by shot noise with a state dependent recurrence frequency and jump amplitude. For such state dependent behavior, we derive the transition probability for both the It\^o and Stratonovich jump interpretations, and subsequently use the transition probability to pose a master equation for the jump process. For exponentially distributed inputs, we present a novel class of transient solutions, as well as a generic steady state solution in terms of a potential function and the Pope-Ching formula. These new results allow us to describe state dependent jumps in a double well potential for steady state particle dynamics, as well as transient salinity dynamics forced by state dependent jumps. Both examples showcase a stochastic description that is more general than the limiting case of Brownian motion to which the jump process defaults in the limit of infinitely frequent and small jumps. Accordingly, our analysis may be used to explore a continuum of stochastic behavior from infrequent, large jumps to frequent, small jumps approaching a diffusion process.


title: Revisiting the isospin relaxation time in intermediate-energy heavy-ion collisions

abstract: Isospin relaxation times characterizing isospin transport processes between the projectile and the target with different $N/Z$ ratios and that between the neck and the spectator with different isospin asymmetries and densities in intermediate-energy heavy-ion collisions are studied within an isospin-dependent Boltzmann-Uehling-Uhlenbeck transport model using the lattice Hamiltonian approach. The respective roles and time scales of the isospin diffusion and drift as the major mechanisms of isospin transport in intermediate-energy heavy-ion collisions are discussed. Effects of nuclear symmetry energy and neutron-proton effective mass splitting on the isospin relaxation times are examined.


title: An Insight into the Unresolved Questions at Stack Overflow

abstract: For a significant number of questions at Stack Overflow, none of the posted answers were accepted as solutions. Acceptance of an answer indicates that the answer actually solves the discussed problem in the question, and the question is answered sufficiently. In this paper, we investigate 3,956 such unresolved questions using an exploratory study where we analyze four important aspects of those questions, their answers and the corresponding users that partially explain the observed scenario. We then propose a prediction model by employing five metrics related to user behaviour, topics and popularity of question, which predicts if the best answer for a question at Stack Overflow might remain unaccepted or not. Experiments using 8,057 questions show that the model can predict unresolved questions with 78.70% precision and 76.10% recall.


title: Impact of Continuous Integration on Code Reviews

abstract: Peer code review and continuous integration often interleave with each other in the modern software quality management. Although several studies investigate how non-technical factors (e.g., reviewer workload), developer participation and even patch size affect the code review process, the impact of continuous integration on code reviews is not yet properly understood. In this paper, we report an exploratory study using 578K automated build entries where we investigate the impact of automated builds on the code reviews. Our investigation suggests that successfully passed builds are more likely to encourage new code review participation in a pull request. Frequently built projects are found to be maintaining a steady level of reviewing activities over the years, which was quite missing from the rarely built projects. Experiments with 26,516 automated build entries reported that our proposed model can identify 64% of the builds that triggered new code reviews later.


title: Efficient online quantum state estimation using a matrix-exponentiated gradient method

abstract: In this paper, we explore an efficient online algorithm for quantum state estimation based on a matrix-exponentiated gradient method previously used in the context of machine learning. The state update is governed by a learning rate that determines how much weight is given to the new measurement results obtained in each step. We show convergence of the running state estimate in probability to the true state for both noiseless and noisy measurements. We find that in the latter case the learning rate has to be chosen adaptively and decreasing to guarantee convergence beyond the noise threshold. As a practical alternative we then propose to use running averages of the measurement statistics and a constant learning rate to overcome the noise problem. The proposed algorithm is numerically compared with batch maximum-likelihood and least-squares estimators. The results show a superior performance of the new algorithm in terms of accuracy and runtime complexity.


title: An Insight into the Pull Requests of GitHub

abstract: Given the increasing number of unsuccessful pull requests in GitHub projects, insights into the success and failure of these requests are essential for the developers. In this paper, we provide a comparative study between successful and unsuccessful pull requests made to 78 GitHub base projects by 20,142 developers from 103,192 forked projects. In the study, we analyze pull request discussion texts, project specific information (e.g., domain, maturity), and developer specific information (e.g., experience) in order to report useful insights, and use them to contrast between successful and unsuccessful pull requests. We believe our study will help developers overcome the issues with pull requests in GitHub, and project administrators with informed decision making.


title: Practical and Scalable Security Verification of Secure Architectures

abstract: We present a new and practical framework for security verification of secure architectures. Specifically, we break the verification task into external verification and internal verification. External verification considers the external protocols, i.e. interactions between users, compute servers, network entities, etc. Meanwhile, internal verification considers the interactions between hardware and software components within each server. This verification framework is general-purpose and can be applied to a stand-alone server, or a large-scale distributed system. We evaluate our verification method on the CloudMonatt and HyperWall architectures as examples.


title: Zipf's law in 50 languages: its structural pattern, linguistic interpretation, and cognitive motivation

abstract: Zipf's law has been found in many human-related fields, including language, where the frequency of a word is persistently found as a power law function of its frequency rank, known as Zipf's law. However, there is much dispute whether it is a universal law or a statistical artifact, and little is known about what mechanisms may have shaped it. To answer these questions, this study conducted a large scale cross language investigation into Zipf's law. The statistical results show that Zipf's laws in 50 languages all share a 3-segment structural pattern, with each segment demonstrating distinctive linguistic properties and the lower segment invariably bending downwards to deviate from theoretical expectation. This finding indicates that this deviation is a fundamental and universal feature of word frequency distributions in natural languages, not the statistical error of low frequency words. A computer simulation based on the dual-process theory yields Zipf's law with the same structural pattern, suggesting that Zipf's law of natural languages are motivated by common cognitive mechanisms. These results show that Zipf's law in languages is motivated by cognitive mechanisms like dual-processing that govern human verbal behaviors.


title: Stationarity and energy transfer in out-of-equilibrium systems

abstract: We define a characteristic energy density based on the measurement of the two first moments of the extrinsic injected power smoothed over time. Using the stationarity, we show that this definition characterizes an energy per degrees freedom of the intrinsic dissipation. Our framework can be applied to systems in contact with thermostats put out of equilibrium by an external driving but it holds also for intrinsically dissipative macroscopic systems that go at rest when the forcing is stopped. Moreover, we are not concerned about the fluctuations around zero of the smoothed injected power that can be extremely rare and difficult to catch experimentally. Then we show that the characteristic energy density we defined, reduces to the kinetic energy of a Brownian-like particle described by a set of Langevin equations with a viscous damping term. The particle can be either in contact with a thermostat or intrinsically dissipative and driven by a random force. In the first case, we recover the result obtained in the framework of the fluctuation relation but extended to a correlated thermal noise. Our characteristic energy density is measured in an experimental system of nonlinear waves generated by a large shaker in a thin elastic plate. A smaller shaker attached to the moving plate is used as a probe to measure the energy exchanged with the plate excited by the large shaker. For both, the proportionality of our characteristic energy density with the kinetic energy is demonstrated. It is a consequence of the viscous damping driving the dissipation in this system. Another system with nonlinear frictional dissipation is investigated numerically model. In this case, our definition of energy density deduced from fluctuations of injected power still characterizes the dissipation but is no more proportional to the kinetic energy because the dissipative process is not a viscous damping.


title: An IDE-Based Context-Aware Meta Search Engine

abstract: Traditional web search forces the developers to leave their working environments and look for solutions in the web browsers. It often does not consider the context of their programming problems. The context-switching between the web browser and the working environment is time-consuming and distracting, and the keyword-based traditional search often does not help much in problem solving. In this paper, we propose an Eclipse IDE-based web search solution that collects the data from three web search APIs-- Google, Yahoo, Bing and a programming Q & A site-- Stack Overflow. It then provides search results within IDE taking not only the content of the selected error into account but also the problem context, popularity and search engine recommendation of the result links. Experiments with 25 run time errors and exceptions show that the proposed approach outperforms the keyword-based search approaches with a recommendation accuracy of 96%. We also validate the results with a user study involving five prospective participants where we get a result agreement of 64.28%. While the preliminary results are promising, the approach needs to be further validated with more errors and exceptions followed by a user study with more participants to establish itself as a complete IDE-based web search solution.


title: On the Menezes-Teske-Weng's conjecture

abstract: In 2003, Alfred Menezes, Edlyn Teske and Annegret Weng presented a conjecture on properties of the solutions of a type of quadratic equation over the binary extension fields, which had been convinced by extensive experiments but the proof was unknown until now. We prove that this conjecture is correct. Furthermore, using this proved conjecture, we have completely determined the null space of a class of linear polynomials.


title: Heavy-ions collisions and fission dynamics with the time-dependent Hartree-Fock theory and its extensions

abstract: Microscopic methods and tools to describe nuclear dynamics have considerably been improved in the past few years. They are based on the time-dependent Hartree-Fock (TDHF) theory and its extensions to include pairing correlations and quantum fluctuations. The TDHF theory is the lowest level of approximation of a range of methods to solve the quantum many-body problem, showing its universality to describe many-fermion dynamics at the mean-field level. The range of applications of TDHF to describe realistic systems allowing for detailed comparisons with experiment has considerably increased. For instance, TDHF is now commonly used to investigate fusion, multi-nucleon transfer and quasi-fission reactions. Thanks to the inclusion of pairing correlations, it has also recently led to breakthroughs in our description of the saddle to scission evolution, and, in particular, the non-adiabatic effects near scission. Beyond mean-field approaches such as the time-dependent random-phase approximation (TDRPA) and stochastic mean-field methods have reached the point where they can be used for realistic applications. We review recent progresses in both techniques and applications to heavy-ion collision and fission.


title: Privacy-preserving Machine Learning through Data Obfuscation

abstract: As machine learning becomes a practice and commodity, numerous cloud-based services and frameworks are provided to help customers develop and deploy machine learning applications. While it is prevalent to outsource model training and serving tasks in the cloud, it is important to protect the privacy of sensitive samples in the training dataset and prevent information leakage to untrusted third parties. Past work have shown that a malicious machine learning service provider or end user can easily extract critical information about the training samples, from the model parameters or even just model outputs. In this paper, we propose a novel and generic methodology to preserve the privacy of training data in machine learning applications. Specifically we introduce an obfuscate function and apply it to the training data before feeding them to the model training task. This function adds random noise to existing samples, or augments the dataset with new samples. By doing so sensitive information about the properties of individual samples, or statistical properties of a group of samples, is hidden. Meanwhile the model trained from the obfuscated dataset can still achieve high accuracy. With this approach, the customers can safely disclose the data or models to third-party providers or end users without the need to worry about data privacy. Our experiments show that this approach can effective defeat four existing types of machine learning privacy attacks at negligible accuracy cost.


title: Spline Characterizations of the Radon-Nikod\'{y}m property

abstract: We give necessary and sufficient conditions for a Banach space $X$ having the Radon-Nikod\'{y}m property in terms of polynomial spline sequences.


title: Expansion and fragmentation of liquid metal droplet by a short laser pulse

abstract: We report an experimental and numerical investigation of the fragmentation mechanisms of micrometer-sized metal droplet irradiated by ultrashort laser pulses. The results of the experiment show that the fast one-side heating of such a droplet may lead to either symmetric or asymmetric expansion followed by different fragmentation scenarios. To unveil the underlying processes leading to fragmentation we perform simulation of liquid-tin droplet expansion produced by the initial conditions similar to those in experiment using the smoothed particle hydrodynamics (SPH) method. Simulation demonstrates that a thin heated surface layer generates a ultrashort shock wave propagating from the frontal side to rear side of the droplet. Convergence of such shock wave followed by a rarefaction tale to the droplet center results in the cavitation of material inside the central region by the strong tensile stress. Reflection of the shock wave from the rear side of droplet produces another region of highly stretched material where the spallation may occur producing a thin spallation layer moving with a velocity higher than expansion of the central shell after cavitation. It is shown both experimentally and numerically that the threshold laser intensity necessary for the spallation is higher than the threshold required to induce cavitation in the central region of droplet. Thus, the regime of asymmetrical expansion is realized if the laser intensity exceeds the spallation threshold. The transverse and longitudinal expansion velocities obtained in SPH simulations of different regimes of expansion are agreed well with our experimental data.


title: Quantum error-correcting code for ternary logic

abstract: Ternary quantum systems are being studied because these provide more computational state space per unit of information, known as qutrit. A qutrit has three basis states, thus a qubit may be considered as a special case of a qutrit where the coefficient of one of the basis states is zero. Hence both $(2 \times 2)$-dimensional as well as $(3 \times 3)$-dimensional Pauli errors can occur on qutrits. In this paper, we (i) explore the possible $(2 \times 2)$-dimensional as well as $(3 \times 3)$-dimensional Pauli errors in qutrits and show that any pairwise bit swap error can be expressed as a linear combination of shift errors and phase errors, (ii) propose a new type of error called quantum superposition error and show its equivalence to arbitrary rotation, (iii) formulate a nine qutrit code which can correct a single error in a qutrit, and (iv) provide its stabilizer and circuit realization.


title: Detecting Tiny Moving Vehicles in Satellite Videos

abstract: In recent years, the satellite videos have been captured by a moving satellite platform. In contrast to consumer, movie, and common surveillance videos, satellite video can record the snapshot of the city-scale scene. In a broad field-of-view of satellite videos, each moving target would be very tiny and usually composed of several pixels in frames. Even worse, the noise signals also existed in the video frames, since the background of the video frame has the subpixel-level and uneven moving thanks to the motion of satellites. We argue that this is a new type of computer vision task since previous technologies are unable to detect such tiny vehicles efficiently. This paper proposes a novel framework that can identify the small moving vehicles in satellite videos. In particular, we offer a novel detecting algorithm based on the local noise modeling. We differentiate the potential vehicle targets from noise patterns by an exponential probability distribution. Subsequently, a multi-morphological-cue based discrimination strategy is designed to distinguish correct vehicle targets from a few existing noises further. Another significant contribution is to introduce a series of evaluation protocols to measure the performance of tiny moving vehicle detection systematically. We annotate a satellite video manually and use it to test our algorithms under different evaluation criterion. The proposed algorithm is also compared with the state-of-the-art baselines, and demonstrates the advantages of our framework over the benchmarks.


title: An integrated localization-navigation scheme for distance-based docking of UAVs

abstract: In this paper we study the distance-based docking problem of unmanned aerial vehicles (UAVs) by using a single landmark placed at an arbitrarily unknown position. To solve the problem, we propose an integrated estimation-control scheme to simultaneously achieve the relative localization and navigation tasks for discrete-time integrators under bounded velocity: a nonlinear adaptive estimation scheme to estimate the relative position to the landmark, and a delicate control scheme to ensure both the convergence of the estimation and the asymptotic docking at the given landmark. A rigorous proof of convergence is provided by invoking the discrete-time LaSalle's invariance principle, and we also validate our theoretical findings on quadcopters equipped with ultra-wideband ranging sensors and optical flow sensors in a GPS-less environment.


title: Multi-Task Trust Transfer for Human-Robot Interaction

abstract: Trust is essential in shaping human interactions with one another and with robots. This paper discusses how human trust in robot capabilities transfers across multiple tasks. We first present a human-subject study of two distinct task domains: a Fetch robot performing household tasks and a virtual reality simulation of an autonomous vehicle performing driving and parking maneuvers. The findings expand our understanding of trust and inspire new differentiable models of trust evolution and transfer via latent task representations: (i) a rational Bayes model, (ii) a data-driven neural network model, and (iii) a hybrid model that combines the two. Experiments show that the proposed models outperform prevailing models when predicting trust over unseen tasks and users. These results suggest that (i) task-dependent functional trust models capture human trust in robot capabilities more accurately, and (ii) trust transfer across tasks can be inferred to a good degree. The latter enables trust-mediated robot decision-making for fluent human-robot interaction in multi-task settings.


title: Rogue breather modes: Topological sectors, and the `belt-trick', in a one-dimensional ferromagnetic spin chain

abstract: We present explicit solutions for breather soliton modes of excitation in the one-dimensional Heisenberg ferromagnetic spin chain. We identify a characteristic geometrical feature of these breather modes wherein a helicoidal configuration of spins is continuously transformed to one which differs from the initial helicoid by a total twist of `2'. This is a curious manoeuvre popularly known as the `belt trick', an illustration of the simple connectedness of the $\rm{SU}(2)$ group manifold, and its rotation period $4\pi$. We show that this effectively splits the configuration space of the ferromagnetic chain in one-dimension into two topological sectors, distinguished by their total twist -- either `0', or `1'. Further, the energy lower bound of the two sectors is separated by a finite gap varying inversely with the size of the lattice.


title: Hunting the Ethereum Smart Contract: Color-inspired Inspection of Potential Attacks

abstract: Blockchain and Cryptocurrencies are gaining unprecedented popularity and understanding. Meanwhile, Ethereum is gaining a significant popularity in the blockchain community, mainly due to the fact that it is designed in a way that enables developers to write smart contract and decentralized applications (Dapps). This new paradigm of applications opens the door to many possibilities and opportunities. However, the security of Ethereum smart contracts has not received much attention; several Ethereum smart contracts malfunctioning have recently been reported. Unlike many previous works that have applied static and dynamic analyses to find bugs in smart contracts, we do not attempt to define and extract any features; instead we focus on reducing the expert's labor costs. We first present a new in-depth analysis of potential attacks methodology and then translate the bytecode of solidity into RGB color code. After that, we transform them to a fixed-sized encoded image. Finally, the encoded image is fed to convolutional neural network (CNN) for automatic feature extraction and learning, detecting compiler bugs of Ethereum smart contract.


title: The RedPRL Proof Assistant (Invited Paper)

abstract: RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory. In the style of Nuprl, RedPRL users employ tactics to establish behavioral properties of cubical functional programs embodying the constructive content of proofs. Notably, RedPRL implements a two-level type theory, allowing an extensional, proof-irrelevant notion of exact equality to coexist with a higher-dimensional proof-relevant notion of paths.