title: Characteristic Study and Development of Surface Resistivity Measuring Device for Resistive Plate Chamber Detector

abstract: The India-based Neutrino Observatory (INO) is an approved multi-institutional experiment of India. It will use maximum 30,000 Resistive Plate Chamber (RPC) of size 2x2m as an active detector in which each will be sandwiched between two iron plates. Each RPC detectors will be made up of 3mm thick glass (or Bakelite) plates whose one surface will be coated with graphite paint to work as electrode. To achieve effective and uniform electric field, the coated graphite paint must have uniform distribution over the glass surface. Uniformity can be demonstrated by measuring the surface resistance of the coated graphite paint. However, manual measurement of 60,000 electrodes with the help of multimeter and the jig demands huge amount of person-hour with compromised accuracy, and therefore that requires the need and importance of the automatic scanning system. An advanced automatic scanning system (ASS) has been designed & developed to fulfill the required needs and overcome the shortcomings of the initially developed system. Measurement are sensitive to the contact pressure between the jig and RPC electrode's surface. In this paper, various parameters of the ASS have been precisely fixed. Obtained results are compared with the standard one and found satisfactory within error. It has been observed that for obtaining the correct and safe value of surface resistance, applied pressure value in terms of force should be in the range of 9-11 Newton.


title: Emergent Dark Gravity from (Non)Holographic Screens

abstract: In this work, a clear connection is made between E. Verlinde's recent theory of emergent gravity in de Sitter space and the earlier work that described emergent gravity using holographic screens. A modified (non)holographic screen scenario is presented, wherein the screen fails to encode an emergent mass in the bulk "unemerged" part of space for sufficiently large length-scales, where the volume-law of the non-holographic bulk degrees of freedom overtakes the area-law scaling of the entropy of the screen. Within this framework, we can describe both an emergent dark gravitational force, which scales like $\frac{1}{r}$, and also a version of the baryonic Tully-Fisher relation. We therefore recast these results within an emergent gravity framework in which there is an explicit violation of holography for sufficiently large length-scales.


title: The bootstrap in kernel regression for stationary ergodic data when both response and predictor are functions

abstract: We consider the double functional nonparametric regression model $Y=r(X)+\epsilon$, where the response variable $Y$ is Hilbert space-valued and the covariate $X$ takes values in a pseudometric space. The data satisfy an ergodicity criterion which dates back to Laib and Louani (2010) and are arranged in a triangular array. So our model also applies to samples obtained from spatial processes, e.g., stationary random fields indexed by the regular lattice $\mathbb{Z}^N$ for some $N\in\mathbb{N}_+$. We consider a kernel estimator of the Nadaraya--Watson type for the regression operator $r$ and study its limiting law which is a Gaussian operator on the Hilbert space. Moreover, we investigate both a naive and a wild bootstrap procedure in the double functional setting and demonstrate their asymptotic validity. This is quite useful as building confidence sets based on an asymptotic Gaussian distribution is often difficult.


title: Linearly convergent nonlinear conjugate gradient methods for a parameter identification problems

abstract: This paper presents a general description of a parameter estimation inverse problem for systems governed by nonlinear differential equations. The inverse problem is presented using optimal control tools with state constraints, where the minimization process is based on a first-order optimization technique such as adaptive monotony-backtracking steepest descent technique and nonlinear conjugate gradient methods satisfying strong Wolfe conditions. Global convergence theory of both methods is rigorously established where new linear convergence rates have been reported. Indeed, for the nonlinear non-convex optimization we show that under the Lipschitz-continuous condition of the gradient of the objective function we have a linear convergence rate toward a stationary point. Furthermore, nonlinear conjugate gradient method has also been shown to be linearly convergent toward stationary points where the second derivative of the objective function is bounded. The convergence analysis in this work has been established in a general nonlinear non-convex optimization under constraints framework where the considered time-dependent model could whether be a system of coupled ordinary differential equations or partial differential equations. Numerical evidence on a selection of popular nonlinear models is presented to support the theoretical results. Nonlinear Conjugate gradient methods, Nonlinear Optimal control and Convergence analysis and Dynamical systems and Parameter estimation and Inverse problem


title: Invariant tori for a class of singly thermostated hamiltonians

abstract: This paper demonstrates sufficient conditions for the existence of a positive measure set of invariant KAM tori in a singly thermostated, 1 degree-of-freedom hamiltonian vector field. This result is applied to 4 important single thermostats in the literature and it is shown that in each case, if the hamiltonian is real-analytic and well-behaved, then the thermostated system always has a positive measure set of invariant KAM tori for sufficiently weak coupling and high temperature. This extends results of Legoll, Luskin & Moeckel.


title: Towards a Logic for Reasoning About LF Specifications

abstract: We describe the development of a logic for reasoning about specifications in the Edinburgh Logical Framework (LF). In this logic, typing judgments in LF serve as atomic formulas, and quantification is permitted over contexts and terms that might appear in them. Further, contexts, which constitute type assignments to uniquely named variables that are modeled using the technical device of nominal constants, can be characterized via an inductive description of their structure. We present a semantics for such formulas and then consider the task of proving them. Towards this end, we restrict the collection of formulas we consider so as to ensure that they have normal forms upon which proof rules may be based. We then specifically discuss a proof rule that provides the basis for case analysis over LF typing judgments; this rule is the most complex and innovative one in the collection. We illustrate the proof system through an example. Finally, we discuss ongoing work and we relate our project to existing systems that have a similar goal.


title: On the Benefits of Network-level Cooperation in IoT Networks with Aggregators

abstract: In this work, we consider a random access Internet of Things IoT wireless network assisted by two aggregators collecting information from two disjoint groups of sensors. The nodes and the aggregators are transmitting in a random access manner under slotted time, the aggregators perform network-level cooperation for the data collection. The aggregators are equipped with queues to store data packets that are transmitted by the network nodes and relaying them to the destination node. We characterize the throughput performance of the IoT network and we obtain the stability conditions for the queues at the aggregators. We apply the theory of boundary value problems to analyze the delay performance. Our results show that the presence of the aggregators provides significant gains in the IoT network performance, in addition, we provide useful insights regarding the scalability of the IoT network.


title: Neural Cross-Lingual Coreference Resolution and its Application to Entity Linking

abstract: We propose an entity-centric neural cross-lingual coreference model that builds on multi-lingual embeddings and language-independent features. We perform both intrinsic and extrinsic evaluations of our model. In the intrinsic evaluation, we show that our model, when trained on English and tested on Chinese and Spanish, achieves competitive results to the models trained directly on Chinese and Spanish respectively. In the extrinsic evaluation, we show that our English model helps achieve superior entity linking accuracy on Chinese and Spanish test sets than the top 2015 TAC system without using any annotated data from Chinese or Spanish.


title: Fully resolved array of simulations investigating the influence of the magnetic Prandtl number on magnetohydrodynamic turbulence

abstract: We explore the effect of the magnetic Prandtl number Pm on energy and dissipation in fully resolved direct numerical simulations of steady-state, mechanically forced homogeneous magnetohydrodynamic turbulence in the range Pm = 1/32 to 32. We compare the spectra and show that if the simulations are not fully resolved, the steepness of the scaling of the kinetic-to-magnetic dissipation ratio with Pm is overestimated. We also present results of decaying turbulence with helical and nonhelical magnetic fields, where we find nonhelical reverse spectral transfer for Pm < 1. The results of this systematic analysis have applications including stars, planetary dynamos, and accretion disks.


title: An integral transform technique for kinetic systems with collisions

abstract: The linearized Vlasov-Poisson system can be exactly solved using the $G$-transform, an integral transform introduced in Refs. 1-3 that removes the electric field term, leaving a simple advection equation. We investigate how this integral transform interacts with the Fokker-Planck collision operator. The commutator of this collision operator with the $G$-transform (the "shielding term") is shown to be negligible. We exactly solve the advection-diffusion equation without the shielding term. This solution determines when collisions dominate and when advection (i.e. Landau damping) dominates. This integral transform can also be used to simplify gyro-/drift-kinetic equations. We present new gyrofluid equations formed by taking moments of the $G$-transformed equation. Since many gyro-/drift-kinetic codes use Hermite polynomials as basis elements, we include an explicit calculation of their $G$-transform.


title: Special Identities for Comtrans Algebras

abstract: Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gr\"obner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial identities for the special commutator $[x,y,z] = xyz-yxz$ and special translator $\langle x, y, z \rangle = xyz-yzx$ in associative triple systems. In degree 3, the defining identities for comtrans algebras generate all identities. In degree 5, we simplify known identities for each operation and determine new identities relating the operations. In degree 7, we use representation theory of the symmetric group to show that each operation satisfies identities which do not follow from those of lower degree but there are no new identities relating the operations. We use noncommutative Gr\"obner bases to construct the universal associative envelope for the special comtrans algebra of $2 \times 2$ matrices.


title: Spectroscopic and imaging observations of small-scale reconnection events

abstract: We present spectroscopic and imaging observations of small-scale reconnection events on the Sun. Using the Interface Region Imaging Spectrograph (IRIS) observations, one reconnection event is first detected as IRIS jets with fast bi-directional velocities in the chromosphere and transition region, which are identified as non-Gaussian broadenings with two extended wings in the line profiles of Si iv, C ii, and Mg ii k. The magnetograms under the IRIS jets from Helioseismic and Magnetic Images exhibit magnetic flux cancellation simultaneously, supporting that the IRIS jets are driven by magnetic reconnection. The Atmospheric Imaging Assembly images also show an extreme ultraviolet (EUV) brightening which is shortly after the underlying IRIS jets, i.e., in the 131 A, 171 A, 193 A, 211 A, and 94 A channels, implying that the over-lying EUV brightening in the corona is caused by the IRIS jets in the chromosphere and transition region. We also find another three reconnection events which show the same features during this IRIS observation. Our observational results suggest that the small-scale reconnection events might contribute to the coronal heating. The new result is that the process of magnetic reconnection is detected from the photosphere through chromosphere and transition region to the corona.


title: Deep Feature Factorization For Concept Discovery

abstract: We propose Deep Feature Factorization (DFF), a method capable of localizing similar semantic concepts within an image or a set of images. We use DFF to gain insight into a deep convolutional neural network's learned features, where we detect hierarchical cluster structures in feature space. This is visualized as heat maps, which highlight semantically matching regions across a set of images, revealing what the network `perceives' as similar. DFF can also be used to perform co-segmentation and co-localization, and we report state-of-the-art results on these tasks.


title: Obstructions to choosing distinct points on cubic plane curves

abstract: Every smooth cubic plane curve has 9 inflection points, 27 sextatic points, and 72 ``points of type nine". Motivated by these classical algebro-geometric constructions, we study the following topological question: Is it possible to continuously choose $n$ distinct unordered points on each smooth cubic plane curve for a natural number $n$? This question is equivalent to asking if certain fiber bundle admits a continuous section or not. We prove that the answer is no when $n$ is not a multiple of 9. Our result resolves a conjecture of Benson Farb.


title: Jacobian-squared function-germs

abstract: In this paper, it is shown that, for any equidimensional $C^\infty$ map-germ $f: (\mathbb{R}^n,0)\to (\mathbb{R}^n,0)$, the map-germ $F: (\mathbb{R}^n, 0) \to \mathbb{R}^n\times\mathbb{R}^{\ell}$ defined by $F(x)=\left(f(x), \mu_1(x){|Jf|^2(x)}, \cdots, \mu_\ell(x){|Jf|^2(x)}\right)$ is always a frontal; where $\mu_i$ is a $C^\infty$ function-germ and $|Jf|$ is the Jacobian-determinant of $f$. Moreover, it is also shown that when the multiplicity of $f$ is less than or equal to $3$, any frontal constructed from $f$ must be $\mathcal{A}$-equivalent to a frontal $F$ of the above form.


title: Web spline error estimation of non-cooperative elliptic equations for population dynamics

abstract: We analyze the error of the WEB-S finite element method applied to elliptic systems with non-cooperative dominant coupling,with a mixed Dirichlet/Neumann/Robin boundary condition. This problem is strongly related to a posteriori error estimates, giving computable bounds for computational errors and detecting zones in the solution domain where such errors are too large and certain mesh refinements should be performed. These results are based on an extensive regularity analysis of the interface problems of concern.Finally, the error analysis is illustrated by numerical experiments.


title: Listing All Maximal $k$-Plexes in Temporal Graphs

abstract: Many real-world networks evolve over time, that is, new contacts appear and old contacts may disappear. They can be modeled as temporal graphs where interactions between vertices (which represent people in the case of social networks) are represented by time-stamped edges. One of the most fundamental problems in (social) network analysis is community detection, and one of the most basic primitives to model a community is a clique. Addressing the problem of finding communities in temporal networks, Viard et al. [TCS 2016] introduced $\Delta$-cliques as a natural temporal version of cliques. Himmel et al. [SNAM 2017] showed how to adapt the well-known Bron-Kerbosch algorithm to enumerate $\Delta$-cliques. We continue this work and improve and extend the algorithm of Himmel et al. to enumerate temporal $k$-plexes (notably, cliques are the special case $k=1$). We define a $\Delta$-$k$-plex as a set of vertices and a time interval, where during this time interval each vertex has in each consecutive $\Delta + 1$ time steps at least one edge to all but at most $k-1$ vertices in the chosen set of vertices. We develop a recursive algorithm for enumerating all maximal $\Delta$-$k$-plexs and perform experiments on real-world social networks that demonstrate the practical feasibility of our approach. In particular, for the special case of $\Delta$-1-plexes (that is, $\Delta$-cliques), we observe that our algorithm is on average significantly faster than the previous algorithms by Himmel et al. [SNAM 2017] and Viard et al. [IPL 2018] for enumerating $\Delta$-cliques.


title: LBT/ARGOS adaptive optics observations of z$\sim 2$ lensed galaxies

abstract: Gravitationally lensed systems allow a detailed view of galaxies at high redshift. High spatial- and spectral-resolution measurements of arc-like structures can offer unique constraints on the physical and dynamical properties of high-z systems. We present near-infrared spectra centred on the gravitational arcs of six known z ~ 2 lensed star-forming galaxies of stellar masses of 10^9-10^11 Msun and star formation rate (SFR) in the range between 10 and 400 Msun/yr. Ground layer adaptive optics (AO)-assisted observations are obtained at the Large Binocular Telescope (LBT) with the LUCI spectrographs during the commissioning of the ARGOS facility. We used MOS masks with curved slits to follow the extended arched structures and study the diagnostic emission lines. Combining spatially resolved kinematic properties across the arc-like morphologies, emission line diagnostics and archival information, we distinguish between merging and rotationally supported systems, and reveal the possible presence of ejected gas. For galaxies that have evidence for outflows, we derive outflow energetics and mass-loading factors compatible with those observed for stellar winds in local and high-z galaxies. We also use flux ratio diagnostics to derive gas-phase metallicities. The low signal-to-noise ratio in the faint H$\beta$ and nitrogen lines allows us to derive an upper limit of ~ 0.15 dex for the spatial variations in metallicity along the slit for the lensed galaxy J1038. Analysed near-infrared spectra presented here represent the first scientific demonstration of performing AO-assisted multi-object spectroscopy with narrow curved-shape slits. The increased angular and spectral resolution, combined with the binocular operation mode with the 8.4-m-wide eyes of LBT, will allow the characterisation of kinematic and chemical properties of a large sample of galaxies at high-z in the near future.


title: Regular elements determined by generalized inverses

abstract: In a semiprime ring, von Neumann regular elements are determined by their inner inverses. In particular, for elements $a,b$ of a von Neumann regular ring $R$, $a=b$ if and only if $I(a)=I(b)$, where $I(x)$ denotes the set of inner inverses of $x\in R$. We also prove that, in a semiprime ring, the same is true for reflexive inverses.


title: The role of the US National Office in the Gemini partnership

abstract: We follow the history of the US National Gemini Office from its origin when the US National New Technology Telescope was reshaped into two 8m telescopes for the International Gemini Observatory. The development of the office in the decade of the 1990s continues to shape its function to the present. The following decade, 2000-2010, marked major milestones including the dedication of the telescopes, the reshaping of the Gemini instrumentation program, and dissatisfaction of the US community as expressed in the ALTAIR report. Nationally funded facilities are under financial pressure, as new projects must be funded from a nearly fixed budget. We will discuss how the US NGO should be used to advocate for both the US community and the Gemini Observatory. This role could be an essential one in protecting open access to 8m-class facilities.


title: Analysis of Pseudomonas aeruginosa Virulence in Dictyostelium discoideum Strains

abstract: Dictyostelium discoideum is an ideal organism to test the pathogenicity of Pseudomonas aeruginosa, since its eukaryote nature allows for comparisons to be made to human health. Additionally, D. discoideum naturally feeds on bacteria and has a simplistic genome which improves result interpretation. P. aeruginosa is a free living bacteria that is recognized for its ability to cause nosocomial, hospital contracted, infections in immunocompromised patients. This experiment attempts to understand how various strains of D. discoideum may be more susceptible or resistant to infections caused by P. aeruginosa, as a result of environmentally induced adaptive mechanisms. Wild-type strains of D. discoideum will be isolated from Massard Prairie soil and compared to axenic-type strains that have been cultured free from association with other microbiota. The results of this experiment may support studies done on conserved virulence pathways in bacteria and give insight into virulence of P. aeruginosa in humans. There is evidence that Dictyostelium has capabilities that allow for protection against bacteria similar to P. aeruginosa.16 Therefore, it is expected that the wild-type D. discoideum will have adaptive mechanisms that which will cause resistance to P. aeruginosa, unlike axenic-type strains that will have limited resistivity.


title: Contextual Language Model Adaptation for Conversational Agents

abstract: Statistical language models (LM) play a key role in Automatic Speech Recognition (ASR) systems used by conversational agents. These ASR systems should provide a high accuracy under a variety of speaking styles, domains, vocabulary and argots. In this paper, we present a DNN-based method to adapt the LM to each user-agent interaction based on generalized contextual information, by predicting an optimal, context-dependent set of LM interpolation weights. We show that this framework for contextual adaptation provides accuracy improvements under different possible mixture LM partitions that are relevant for both (1) Goal-oriented conversational agents where it's natural to partition the data by the requested application and for (2) Non-goal oriented conversational agents where the data can be partitioned using topic labels that come from predictions of a topic classifier. We obtain a relative WER improvement of 3% with a 1-pass decoding strategy and 6% in a 2-pass decoding framework, over an unadapted model. We also show up to a 15% relative improvement in recognizing named entities which is of significant value for conversational ASR systems.


title: Two-dimensional type-II Dirac fermions in a LaAlO3/LaNiO3/LaAlO3 quantum well

abstract: The type-II Dirac fermions that are characterized by a tilted Dirac cone and anisotropic magneto-transport properties have been recently proposed theoretically and confirmed experimentally. Here, we predict the emergence of two-dimensional type-II Dirac fermions in LaAlO3/LaNiO3/LaAlO3 quantum-well structures. Using first-principles calculations and model analysis, we show that the Dirac points are formed at the crossing between the dx2-y2 and dz2 bands protected by the mirror symmetry. The energy position of the Dirac points can be tuned to appear at the Fermi energy by changing the quantum-well width. For the quantum-well structure with a two-unit cell thick LaNiO3 layer, we predict the coexistence of the type-II Dirac points and the Dirac nodal line. The results are analyzed and interpreted using a tight-binding model and symmetry arguments. Our findings offer a practical way to realize the 2D type-II Dirac fermions in oxide heterostructures.


title: Energy and momentum dependence of nuclear short-range correlations - Spectral function, exclusive scattering experiments and the contact formalism

abstract: Results of electron-induced one- and two-nucleon hard knockout reactions, $A(e,e'p)$ and $A(e,e'pN)$, in kinematics sensitive to nuclear short-range correlations, are studied using the nuclear contact formalism. A relation between the spectral function and the nuclear contacts is derived and used to analyze the dependence of the data on the initial energy and momentum of the knocked-out proton. The ratio between the number of emitted proton-proton pairs and proton-neutron pairs is shown to depend predominantly on a single ratio of contacts. This ratio is expected to present a deep minima in the initial energy and momentum plane, associated with the node in the proton-proton wave function. The formalism is applied to analyze data from recent $^4$He and $^{12}$C electron-scattering experiments performed at Jefferson laboratory. Different nucleon-nucleon potentials were used to asses the model-dependence of the results. For the ratio of proton-proton to proton-neutron pairs in $^4$He, a fair agreement with the experimental data is obtained using the two potentials, whereas for the ratio of proton-proton pairs to the total knocked-out protons in $^{12}$C, some of the features of the theory are not seen in the experimental data. Several possible explanations for this disagreement are discussed. It is also observed that the spectral function at specific domains of the momentum-energy plane is sensitive to the nucleon-nucleon interaction. Based on this sensitivity, it might be possible to constrain the short range part of the nuclear potential using such experimental data.


title: Equicontinuous factors of one dimensional cellular automata

abstract: We are interested in topological and ergodic properties of one dimensional cellular automata. We show that an ergodic cellular automaton cannot have irrational eigenvalues. We show that any cellular automaton with an equicontinuous factor has also as a factor an equicontinuous cellular automaton. We show also that a cellular automaton with almost equicontinuous points according to Gilman's classification has an equicontinuous measurable factor which is a cellular automaton. 2000 Mathematics Subject Classification.: 37B15, 54H20, 37A30. Key words and phrases. Cellular Automata, Dynamical systems, equicontinuous factor.


title: From Reflection Equation Algebra to Braided Yangians

abstract: In general, quantum matrix algebras are associated with a couple of compatible braidings. A particular example of such an algebra is the so-called Reflection Equation algebra. In this paper we analyse its specific properties, which distinguish it from other quantum matrix algebras (in first turn, from the RTT one). Thus, we exhibit a specific form of the Cayley-Hamilton identity for its generating matrix, which in a limit turns into the Cayley-Hamilton identity for the generating matrix of the enveloping algebra U(gl(m)). Also, we consider some specific properties of the braided Yangians, recently introduced by the authors. In particular, we establish an analog of the Cayley-Hamilton identity for the generating matrix of such a braided Yangian. Besides, by passing to a limit of the braided Yangian, we get a Lie algebra similar to that entering the construction of the rational Gaudin model. In its enveloping algebra we construct a Bethe subalgebra by the method due to D.Talalaev.


title: Genus of The Hypercube Graph And Real Moment-Angle Complexes

abstract: In this paper we demonstrate a calculation to find the genus of the hypercube graph $Q_n$ using real moment-angle complex $\mathcal{Z}_\mathcal{K}(D^1,S^0)$ where $\mathcal{K}$ is the boundary of an $n$-gon. We also calculate an upper bound for the genus of the quotient graph $Q_n/C_n$, where $C_n$ represents the cyclic group with $n$ elements.


title: A Novel Quantum N-Queens Solver Algorithm and its Simulation and Application to Satellite Communication Using IBM Quantum Experience

abstract: Quantum computers can potentially solve problems that are computationally intractable on a classical computer in polynomial time using quantum-mechanical effects such as superposition and entanglement. The N-Queens Problem is a notable example that falls under the class of NP-complete problems. It involves the arrangement of N chess queens on an N x N chessboard such that no queen attacks any other queen, i.e. no two queens are placed along the same row, column or diagonal. The best time complexity that a classical computer has achieved so far in generating all solutions of the N-Queens Problem is of the order O(N!). In this paper, we propose a new algorithm to generate all solutions to the N-Queens Problem for a given N in polynomial time of order O(N^3) and polynomial memory of order O(N^2) on a quantum computer. We simulate the 4-queens problem and demonstrate its application to satellite communication using IBM Quantum Experience platform.


title: Conditional Sparse $\ell_p$-norm Regression With Optimal Probability

abstract: We consider the following conditional linear regression problem: the task is to identify both (i) a $k$-DNF condition $c$ and (ii) a linear rule $f$ such that the probability of $c$ is (approximately) at least some given bound $\mu$, and $f$ minimizes the $\ell_p$ loss of predicting the target $z$ in the distribution of examples conditioned on $c$. Thus, the task is to identify a portion of the distribution on which a linear rule can provide a good fit. Algorithms for this task are useful in cases where simple, learnable rules only accurately model portions of the distribution. The prior state-of-the-art for such algorithms could only guarantee finding a condition of probability $\Omega(\mu/n^k)$ when a condition of probability $\mu$ exists, and achieved an $O(n^k)$-approximation to the target loss, where $n$ is the number of Boolean attributes. Here, we give efficient algorithms for solving this task with a condition $c$ that nearly matches the probability of the ideal condition, while also improving the approximation to the target loss. We also give an algorithm for finding a $k$-DNF reference class for prediction at a given query point, that obtains a sparse regression fit that has loss within $O(n^k)$ of optimal among all sparse regression parameters and sufficiently large $k$-DNF reference classes containing the query point.


title: An Improved Algorithm for Counting Graphical Degree Sequences

abstract: We present an improved version of a previous efficient algorithm that computes the number $D(n)$ of zero-free graphical degree sequences of length $n$. A main ingredient of the improvement lies in a more efficient way to compute the function $P(N,k,l,s)$ of Barnes and Savage. We further show that the algorithm can be easily adapted to compute the $D(i)$ values for all $i\le n$ in a single run. Theoretical analysis shows that the new algorithm to compute all $D(i)$ values for $i\le n$ is a constant times faster than the previous algorithm to compute a single $D(n)$. Experimental evaluations show that the constant of improvement is about 10. We also perform simulations to estimate the asymptotic order of $D(n)$ by generating uniform random samples from the set of $E(n)$ integer partitions of fixed length $n$ with even sum and largest part less than $n$ and computing the proportion of them that are graphical degree sequences. The known numerical results of $D(n)$ for $n\le 290$ together with the known bounds of $D(n)$ and simulation results allow us to make an informed guess about its unknown asymptotic order. The techniques for the improved algorithm can be applied to compute other similar functions that count the number of graphical degree sequences of various classes of graphs of order $n$ and that all involve the function $P(N,k,l,s)$.


title: Active Galaxy Nuclei at high redshifts: properties and environment of Type 1 and 2 AGNs

abstract: We explore host galaxy properties and environment of a sample of Type 1 and 2 active galactic nuclei (AGN) taken from the COSMOS2015 catalog, within 0.3 $\leq z \leq$ 1.1 selected for their emission in X-rays, optical spectra and SED signatures. We find different properties of host galaxies of distinct AGNs: Type 1 AGNs reside in blue, star-forming and less massive host galaxies compared to Type 2. The majority of the AGNs have intermediate X-ray luminosities, $10^{42}\leq L_X<10^{44}$ \ergs, while only a few have X-ray luminosities ($L_X > 10^{44}$ \ergs) as those observed in QSOs. Non-parametric morphological analysis show that the majority of Type 1 AGN hosts are elliptical or compact galaxies, while Type 2 AGN host present more scatter, from spirals, irregulars and elliptical galaxies. The environment of the different AGN types are similar except at small scales ($r_p<$100 kpc), where Type 2 AGNs have more neighbour galaxies than Type 1s. Galaxies located close to Type 2 AGNs ($\sim$100 kpc) tend to have redder colours, and are more massive compared to the local environment of Type 1s. The observed differences in the environment and host galaxy properties of Type 1 and 2 AGN types show that the obscuration due to the presence of gas and dust may be distributed in larger galactic-scales, possibly originated by galaxy interactions or mergers.


title: Resolving the Structure and Kinematics of the Youngest HII Regions and Radio Jets from Young Stellar Objects

abstract: In this contribution we explore the new science that a Next Generation Very Large Array (ngVLA) would be able to perform on the topics of the youngest HII regions and (proto)stellar jets. Free-free continuum and radio recombination line (RRL) emission are often the only way of peering into the dense envelopes surrounding (proto)stars of all masses, and trace their initial feedback in the form of `radio jets', `hypercompact HII regions', or photoevaporating, partially-ionized flows. Properly disentangling free-free from dust emission is also mandatory in studies of protoplanetary and accretion disks. Current VLA research has reached an impasse in which a population of faint ionized radio sources, probably corresponding to the above mentioned objects, is detected, but their nature is mostly unknown. The ngVLA would allow us to resolve the density structure and kinematics of such sources, revolutionizing our knowledge of star formation across the entire stellar-mass spectrum.


title: K\"ahler quantization and entanglement

abstract: For a very ample line bundle L on a compact connected complex manifold X, with a real structure, we discuss entanglement properties of certain sequences of vectors in tensor products of spaces of holomorphic sections of powers of L.


title: The Determinants For User Intention To Adopt Web Based Early Childhood Supplementary Educational Platform

abstract: Education is defined as the fundamental key for the success and development for any given society. Hence, the forming of a strong basic educational foundation is crucial to ensure the children to stay competitive and achieve extraordinary in the changing world. I-zLink Sdn. Bhd. is a partnership company that formed by four individuals with the commitment to develop an early childhood learning solution named i-Future. The system, i-Future is a Supplementary Educational Platform that designs specially for children that fall between the age categories of two to six years which integrate with the latest technology to increase the engagement and flexibility in learning process as well as the effectiveness of study. In order to ensure that the system has a market value, an empirical study was conducted to determine the acceptance level and also the variables that would affect the user's intention to adopt i-Future. The variables used in the study include Perceived Ease of Use (PEU), Perceived Usefulness (PU), System Quality (SQ) and Social Norm (SN). Through the quantitative study, the relationship between these variables and user's intention to adopt i-Future was determined. Those variables which have significant impact on user's intention to adopt i-Future will be used to design i-Future.


title: Clustering coefficients for correlation networks

abstract: The clustering coefficient quantifies the abundance of connected triangles in a network and is a major descriptive statistics of networks. For example, it finds an application in the assessment of small-worldness of brain networks, which is affected by attentional and cognitive conditions, age, psychiatric disorders and so forth. However, it remains unclear how the clustering coefficient should be measured in a correlation-based network, which is among major representations of brain networks. In the present article, we propose clustering coefficients tailored to correlation matrices. The key idea is to use three-way partial correlation or partial mutual information to measure the strength of the association between the two neighbouring nodes of a focal node relative to the amount of pseudo-correlation expected from indirect paths between the nodes. Our method avoids the difficulties of previous applications of clustering coefficient (and other) measures in defining correlational networks, i.e., thresholding on the correlation value, discarding of negative correlation values, the pseudo-correlation problem and full partial correlation matrices whose estimation is computationally difficult. For proof of concept, we apply the proposed clustering coefficient measures to functional magnetic resonance imaging data obtained from healthy participants of various ages and compare them with conventional clustering coefficients. We show that the clustering coefficients decline with the age. The proposed clustering coefficients are more strongly correlated with age than the conventional ones are. We also show that the local variants of the proposed clustering coefficients are useful in characterising individual nodes. In contrast, the conventional local clustering coefficients were strongly correlated with and therefore may be confounded by the node's connectivity.


title: A simulational model for witnessing quantum effects of gravity using IBM quantum computer

abstract: Witnessing quantum effects in the gravitational field is found to be exceptionally difficult in practice due to lack of empirical evidence. Hence, a debate is going on among physicists whether gravity has a quantum domain or not. There had been no successful experiments at all to show the quantum nature of gravity till two recent independent works by Bose et al. [Phys. Rev. Lett. 119, 240401 (2017)] and by Marletto and Vedral [Phy. Rev. Lett. 119, 240402 (2017)]. The authors have proposed schemes to test the quantumness of gravity in two small test masses by entangling two spatially separated objects using gravitational interactions. They provide a method to witness the entanglement using spin correlation measurements, which could imply evidence for gravity being a quantum coherent mediator. Here we propose a simulational model by providing a new quantum circuit for verifying the above schemes. We simulate the schemes for the first time in IBM's 5-qubit quantum chip 'ibmqx4' by developing a quantum system which shows effects analogous to quantum gravity and calculates the degree of entanglement of the spin correlation. The entanglement witness over a range is obtained for different experimental parameters.


title: Guided evolutionary strategies: Augmenting random search with surrogate gradients

abstract: Many applications in machine learning require optimizing a function whose true gradient is unknown, but where surrogate gradient information (directions that may be correlated with, but not necessarily identical to, the true gradient) is available instead. This arises when an approximate gradient is easier to compute than the full gradient (e.g. in meta-learning or unrolled optimization), or when a true gradient is intractable and is replaced with a surrogate (e.g. in certain reinforcement learning applications, or when using synthetic gradients). We propose Guided Evolutionary Strategies, a method for optimally using surrogate gradient directions along with random search. We define a search distribution for evolutionary strategies that is elongated along a guiding subspace spanned by the surrogate gradients. This allows us to estimate a descent direction which can then be passed to a first-order optimizer. We analytically and numerically characterize the tradeoffs that result from tuning how strongly the search distribution is stretched along the guiding subspace, and we use this to derive a setting of the hyperparameters that works well across problems. Finally, we apply our method to example problems, demonstrating an improvement over both standard evolutionary strategies and first-order methods (that directly follow the surrogate gradient). We provide a demo of Guided ES at https://github.com/brain-research/guided-evolutionary-strategies


title: Tightness and Weak Convergence of Probabilities on the Skorokhod Space on the Dual of a Nuclear Space and Applications

abstract: Let $\Phi'_{\beta}$ denotes the strong dual of a nuclear space $\Phi$ and let $D_{T}(\Phi'_{\beta})$ be the Skorokhod space of right-continuous with left limits (c\`{a}dl\`{a}g) functions from $[0,T]$ into $\Phi'_{\beta}$. In this article we introduce the concepts of cylindrical random variables and cylindrical measures on $D_{T}(\Phi'_{\beta})$, and prove analogues of the regularization theorem and Minlos theorem for extensions of these objects to bona fide random variables and probability measures on $D_{T}(\Phi'_{\beta})$ respectively. Later, we establish analogues of L\'{e}vy's continuity theorem to provide necessary and sufficient conditions for uniform tightness of families of probability measures on $D_{T}(\Phi'_{\beta})$ and sufficient conditions for weak convergence of a sequence of probability measures on $D_{T}(\Phi'_{\beta})$. Extensions of the above results to the space $D_{\infty}(\Phi'_{\beta})$ of c\`{a}dl\`{a}g functions from $[0,\infty)$ into $\Phi'_{\beta}$ are also given. Afterwards, we apply our results to study weak convergence of $\Phi'_{\beta}$-valued c\`{a}dl\`{a}g processes and in particular to L\'{e}vy processes. We finalize with an application of our theory to the study of tightness and weak convergence of probability measures on the Skorokhod space $D_{\infty}(H)$ where $H$ is a Hilbert space.


title: Pion and kaon valence quark distribution functions from Dyson-Schwinger equations

abstract: Using realistic quark propagators and meson Bethe-Salpeter amplitudes based on the Dyson-Schwinger equations, we calculate the pion and kaon's valence parton distribution functions (PDF) through the modified impulse approximation. The PDFs we obtained at hadronic scale have the purely valence characteristic and exhibit both dynamical chiral symmetry breaking and SU(3) flavor symmetry breaking effects. A new calculation technique is introduced to determine the valence PDFs with precision. Through NLO DGLAP evolution, our result is compared with pion and kaon valence PDF data at experimental scale. Good agreement is found in the case of pion, while deviation emerges for kaon. We point out this situation can be resolved by incorporating gluon contributions into the mesons if the pion hosts more gluons than kaon nonperturbatively.


title: Manifolds with positive orthogonal Ricci curvature

abstract: In this paper we study the class of compact K\"ahler manifolds with positive orthogonal Ricci curvature: $Ric^\perp>0$. First we illustrate examples of K\"ahler manifolds with $Ric^\perp>0$ on K\"ahler C-spaces, and construct ones on certain projectivized vector bundles. These examples show the abundance of K\"ahler manifolds which admit metrics of $Ric^\perp>0$. Secondly we prove some (algebraic) geometric consequences of the condition $Ric^\perp>0$ to illustrate that the condition is also quite restrictive. Finally this last point is made evident with a classification result in dimension three and a partial classification in dimension four.


title: Scalable Gaussian Process Inference with Finite-data Mean and Variance Guarantees

abstract: Gaussian processes (GPs) offer a flexible class of priors for nonparametric Bayesian regression, but popular GP posterior inference methods are typically prohibitively slow or lack desirable finite-data guarantees on quality. We develop an approach to scalable approximate GP regression with finite-data guarantees on the accuracy of pointwise posterior mean and variance estimates. Our main contribution is a novel objective for approximate inference in the nonparametric setting: the preconditioned Fisher (pF) divergence. We show that unlike the Kullback--Leibler divergence (used in variational inference), the pF divergence bounds the 2-Wasserstein distance, which in turn provides tight bounds the pointwise difference of the mean and variance functions. We demonstrate that, for sparse GP likelihood approximations, we can minimize the pF divergence efficiently. Our experiments show that optimizing the pF divergence has the same computational requirements as variational sparse GPs while providing comparable empirical performance--in addition to our novel finite-data quality guarantees.


title: Indexing Operators to Extend the Reach of Symbolic Execution

abstract: Traditional program analysis analyses a program language, that is, all programs that can be written in the language. There is a difference, however, between all possible programs that can be written and the corpus of actual programs written in a language. We seek to exploit this difference: for a given program, we apply a bespoke program transformation Indexify to convert expressions that current SMT solvers do not, in general, handle, such as constraints on strings, into equisatisfiable expressions that they do handle. To this end, Indexify replaces operators in hard-to-handle expressions with homomorphic versions that behave the same on a finite subset of the domain of the original operator, and return bottom denoting unknown outside of that subset. By focusing on what literals and expressions are most useful for analysing a given program, Indexify constructs a small, finite theory that extends the power of a solver on the expressions a target program builds. Indexify's bespoke nature necessarily means that its evaluation must be experimental, resting on a demonstration of its effectiveness in practice. We have developed Indexif}, a tool for Indexify. We demonstrate its utility and effectiveness by applying it to two real world benchmarks --- string expressions in coreutils and floats in fdlibm53. Indexify reduces time-to-completion on coreutils from Klee's 49.5m on average to 6.0m. It increases branch coverage on coreutils from 30.10% for Klee and 14.79% for Zesti to 66.83%. When indexifying floats in fdlibm53, Indexifyl increases branch coverage from 34.45% to 71.56% over Klee. For a restricted class of inputs, Indexify permits the symbolic execution of program paths unreachable with previous techniques: it covers more than twice as many branches in coreutils as Klee.


title: Product Decomposition of Periodic Functions in Quantum Signal Processing

abstract: We consider an algorithm to approximate complex-valued periodic functions $f(e^{i\theta})$ as a matrix element of a product of $SU(2)$-valued functions, which underlies so-called quantum signal processing. We prove that the algorithm runs in time $\mathcal O(N^3 \mathrm{polylog}(N/\epsilon))$ under the random-access memory model of computation where $N$ is the degree of the polynomial that approximates $f$ with accuracy $\epsilon$; previous efficiency claim assumed a strong arithmetic model of computation and lacked numerical stability analysis.


title: A Note on the Generalized and Universal Associated Legendre Equations

abstract: A class of second-order differential equations commonly arising in physics applications are considered, and their explicit hypergeometric solutions are provided. Further, the relationship with the Generalized and Universal Associated Legendre Equations are examined and established. The hypergeometric solutions, presented in this work, will promote future investigations of their mathematical properties and applications to problems in theoretical physics.


title: Scalar charge of black holes in Einstein-Maxwell-dilaton theory

abstract: We show that the monopole scalar charge of black holes in Einstein--Maxwell--dilaton theory is proportional to the electric potential at the event horizon, with a proportionality factor given by (minus) the scalar coupling constant. We also show that the scalar charge, in the weak electric charge limit, does not depend on the black hole spin. This result can be very useful to circumvent spin degeneracy issues when testing the theory against gravitational waves observations.


title: The integer group determinants for the symmetric group of degree four

abstract: For the symmetric group $S_4$ we determine all the integer values taken by its group determinant when the matrix entries are integers.


title: Vector OFDM Transmission over Non-Gaussian Power Line Communication Channels

abstract: Most of the recent power line communication (PLC) systems and standards, both narrow-band and broadband, are based on orthogonal frequency-division multiplexing (OFDM). This multiplexing scheme however suffers from the high peak-to-average power ratio (PAPR) which can considerably impact the energy efficiency, size and cost of PLC modems as well as cause electromagnetic compatibility (EMC) issues. This paper investigates the performance of vector OFDM (VOFDM), which has inherently better PAPR properties, over non-Gaussian broadband PLC channels equipped with two nonlinear preprocessors at the receiver. In addition, the low PAPR property of the VOFDM system is exploited to further enhance the efficiency of the nonlinear preprocessors. The achievable gains are studied in terms of the complementary cumulative distribution function of the PAPR, probability of noise detection error and the signal-to-noise ratio at the output of the nonlinear preprocessors. For comparison's sake, the performance of conventional OFDM systems is also presented throughout the paper. Results reveal that the proposed system is able to provide up to 2 dB saving in the transmit power relative to the conventional OFDM under same system conditions, which eventually also translates into a system that is more resilient to EMC limits, reduced cost and size of PLC modems. It is also shown that the achievable gains become more significant as the vector block (VB) size of the VOFDM system is increased.


title: Cascaded Lattice Boltzmann Method based on Central Moments for Axisymmetric Thermal Flows Including Swirling Effects

abstract: A cascaded lattice Boltzmann (LB) approach based on central moments and multiple relaxation times to simulate thermal convective flows, which are driven by buoyancy forces and/or swirling effects, in the cylindrical coordinate system with axial symmetry is presented. In this regard, the dynamics of the axial and radial momentum components along with the pressure are represented by means of the 2D Navier-Stokes equations with geometric mass and momentum source terms in the pseudo Cartesian form, while the evolutions of the azimuthal momentum and the temperature field are each modeled by an advection-diffusion type equation with appropriate local source terms. Based on these, cascaded LB schemes involving three distribution functions are formulated to solve for the fluid motion in the meridian plane using a D2Q9 lattice, and to solve for the azimuthal momentum and the temperature field each using a D2Q5 lattice. The geometric mass and momentum source terms for the flow fields and the energy source term for the temperature field are included using a new symmetric operator splitting technique, via pre-collision and post-collision source steps around the cascaded collision step for each distribution function. These result in a particularly simple and compact formulation to directly represent the effect of various geometric source terms consistently in terms of changes in the appropriate zeroth and first order moments. Simulations of several complex buoyancy-driven thermal flows and including rotational effects in cylindrical geometries using the new axisymmetric cascaded LB schemes show good agreement with prior benchmark results for the structures of the velocity and thermal fields as well as the heat transfer rates given in terms of the Nusselt numbers.


title: Non-closure of quantum correlation matrices and factorizable channels that require infinite dimensional ancilla

abstract: We show that there exist factorizable quantum channels in each dimension $\ge 11$ which do not admit a factorization through any finite dimensional von Neumann algebra, and do require ancillas of type II$_1$, thus witnessing new infinite-dimensional phenomena in quantum information theory. We show that the set of n by n matrices of correlations arising as second-order moments of projections in finite dimensional von Neumann algebras with a distinguished trace is non-closed, for all $n \ge 5$, and we use this to give a simplified proof of the recent result of Dykema, Paulsen and Prakash that the set of synchronous quantum correlations $C_q^s(5,2)$ is non-closed. Using a trick originating in work of Regev, Slofstra and Vidick, we further show that the set of correlation matrices arising from second-order moments of unitaries in finite dimensional von Neumann algebras with a distinguished trace is non-closed in each dimension $\ge 11$, from which we derive the first result above.


title: Newton polytopes and algebraic hypergeometric series

abstract: Let $X$ be the family of hypersurfaces in the odd-dimensional torus ${\mathbb T}^{2n+1}$ defined by a Laurent polynomial $f$ with fixed exponents and variable coefficients. We show that if $n\Delta$, the dilation of the Newton polytope $\Delta$ of $f$ by the factor $n$, contains no interior lattice points, then the Picard-Fuchs equation of $W_{2n}H^{2n}_{\rm DR}(X)$ has a full set of algebraic solutions (where $W_\bullet$ denotes the weight filtration on de Rham cohomology). We also describe a procedure for finding solutions of these Picard-Fuchs equations.


title: Phase transition in the knapsack problem

abstract: We examine the phase transition phenomenon for the Knapsack problem from both a computational and a human perspective. We first provide, via an empirical and a theoretical analysis, a characterization of the phenomenon in terms of two instance properties; normalised capacity and normalised profit. Then, we show evidence that average time spent by human decision makers in solving an instance peaks near the phase transition. Given the ubiquity of the Knapsack problem in every-day life, a better understanding of its structure can improve our understanding not only of computational techniques but also of human behavior, including the use and development of heuristics and occurrence of biases.


title: Local chiral interactions, the tritium Gamow-Teller matrix element, and the three-nucleon contact term

abstract: The Gamow-Teller (GT) matrix element contributing to tritium $\beta$ decay is calculated with trinucleon wave functions obtained from hyperspherical-harmonics solutions of the Schr\"odinger equation with the chiral two- and three-nucleon interactions including $\Delta$ intermediate states that have recently been constructed in configuration space. Predictions up to N3LO in the chiral expansion of the axial current (with $\Delta$'s) overestimate the empirical value by 1--4 \%. By exploiting the relation between the low-energy constant (LEC) in the contact three-nucleon interaction and two-body axial current, we provide new determinations of the LECs $c_D$ and $c_E$ that characterize this interaction by fitting the trinucleon binding energy and tritium GT matrix element. Some of the implications that the resulting models of three-nucleon interactions have on the spectra of light nuclei and the equation of state of neutron matter are briefly discussed. We also provide a partial analysis, which ignores $\Delta$'s, of the contributions due to loop corrections in the axial current at N4LO. Finally, explicit expressions for the axial current up to N4LO have been derived in configuration space, which other researchers in the field may find useful.


title: ALMA View of the Circum-nuclear Disk of the Galactic Center; Tidally-disrupted Molecular Clouds falling to the Galactic Center

abstract: We present the high angular resolution and high sensitivity images of the "Circum-Nuclear Disk (CND)" and its surrounding region of Milky Way Galaxy in the CS J=2-1, SiO v=0 J=2-1, H^13CO^+ J=1-0, C^34S J=2-1, and CH_3OH J_{K_a, K_c}=2_{1,1}-1_{1,0}A_{--} emission lines using ALMA. The CND is recognized as a torus-like molecular gas with gaps in these emission lines except for the CH_3OH emission line. The inner and outer radii of the CND are estimated to be R_in~1.5 and R_out~2 pc, respectively. The velocities of the rotation and radial motion are estimated to be V_rot~115 km s^-1 and V_rad~23 km s^-1, respectively. The LTE molecular gas mass is estimated to be M_LTE~3x10^4 Mo. We also found some anomalous molecular clouds in the surrounding region. One of the molecular clouds is positionally connected to a part of the CND adjacent to the "Western Arc". However, the cloud is seen to rotate in the opposite direction to the CND. The molecular cloud would be falling currently from the outer region to the CND and being disrupted by the tidal shear of Sagittarius A*(Sgr A*) because the velocity is not yet assimilated into that of the CND. Another molecular cloud is continuously connected to the tip of the "Eastern Arm (EA)". The velocity of this cloud is consistent with that of the ionized gas in the EA. These facts suggest that the molecular cloud is falling from the outer region to the vicinity of Sgr A*, being disrupted by the tidal shear, and ionized by strong UV emission from the Central Cluster because the impact parameter of the cloud is smaller than the first cloud. These falling clouds would play an important role in transferring material from the outer region to the CND and/or the vicinity of Sgr A*.


title: Symmetrized Operator Split Schemes for Force and Source Modeling in Cascaded Lattice Boltzmann Methods for Flow and Scalar Transport

abstract: Operator split forcing schemes exploiting a symmetrization principle, i.e. Strang splitting, for cascaded lattice Boltzmann (LB) methods in two- and three-dimensions for fluid flows with impressed local forces are presented. Analogous scheme for the passive scalar transport represented by a convection-diffusion equation with a source term in a novel cascaded LB formulation is also derived. They are based on symmetric applications of the split solutions of the changes on the scalar field/fluid momentum due to the sources/forces over half time steps before and after the collision step. The latter step is effectively represented in terms of the post-collision change of moments at zeroth and first orders, respectively, to represent the effect of the sources on the scalar transport and forces on the fluid flow. Such symmetrized operator split cascaded LB schemes are consistent with the second-order Strang splitting and naturally avoid any discrete effects due to forces/sources by appropriately projecting their effects for higher order moments. All the force/source implementation steps are performed only in the moment space and they do not require formulations as extra terms and their additional transformations to the velocity space. These result in particularly simpler and efficient schemes to incorporate forces/sources in the cascaded LB methods unlike those considered previously. Numerical study for various benchmark problems in 2D and 3D for fluid flow problems with body forces and scalar transport with sources demonstrate the validity and accuracy, as well as the second-order convergence rate of the symmetrized operator split forcing/source schemes for the cascaded LB methods.


title: Modeling dust emission in PN IC 418

abstract: We investigated the infrared (IR) dust emission from PN IC 418, using a detailed model controlled by a previous determination of the stellar properties and the characteristics of the photoionized nebula, keeping as free parameters the dust types, amounts and distributions relative to the distance of the central star. The model includes the ionized region and the neutral region beyond the recombination front (Photodissociation region, or PDR), where the [OI] and [CII] IR lines are formed. We succeeded in reproducing the observed infrared emission from 2 to 200~\mm. The global energy budget is fitted by summing up contributions from big grains of amorphous carbon located in the neutral region and small graphite grains located in the ionized region (closer to the central star). Two emission features seen at 11.5 and 30~\mm are also reproduced by assuming them to be due to silicon carbide (SiC) and magnesium and iron sulfides (Mg$_x$Fe$_{1-x}$S), respectively. For this, we needed to consider ellipsoidal shapes for the grains to reproduce the wavelength distribution of the features. Some elements are depleted in the gaseous phase: Mg, Si, and S have sub-solar abundances (-0.5 dex below solar by mass), while the abundance of C+N+O+Ne by mass is close to solar. Adding the abundances of the elements present in the dusty and gaseous forms leads to values closer to but not higher than solar, confirming that the identification of the feature carriers is plausible. Iron is strongly depleted (3 dex below solar) and the small amount present in dust in our model is far from being enough to recover the solar value. A remaining feature is found as a residue of the fitting process, between 12 and 25~\mm, for which we do not have identification.


title: Staggered Quantum Walk on Hexagonal Lattices

abstract: A discrete-time staggered quantum walk was recently introduced as a generalization that allows to unify other versions, such as the coined and Szegedy's walk. However, it also produces new forms of quantum walks not covered by previous versions. To explore their properties, we study here the staggered walk on a hexagonal lattice. Such a walk is defined using a set of overlapping tessellations that cover the graph edges, and each tessellation is a partition of the node set into cliques. The hexagonal lattice requires at least three tessellations. Each tessellation is associated with a local unitary operator and the product of the local operators defines the evolution operator of the staggered walk on the graph. After defining the evolution operator on the hexagonal lattice, we analyze the quantum walk dynamics with the focus on the position standard deviation and localization. We also obtain analytic results for the time complexity of spatial search algorithms with one marked node using cyclic boundary conditions.


title: Hierarchical Coded Computation

abstract: Coded computation is a method to mitigate "stragglers" in distributed computing systems through the use of error correction coding that has lately received significant attention. First used in vector-matrix multiplication, the range of application was later extended to include matrix-matrix multiplication, heterogeneous networks, convolution, and approximate computing. A drawback to previous results is they completely ignore work completed by stragglers. While stragglers are slower compute nodes, in many settings the amount of work completed by stragglers can be non-negligible. Thus, in this work, we propose a hierarchical coded computation method that exploits the work completed by all compute nodes. We partition each node's computation into layers of sub-computations such that each layer can be treated as (distinct) erasure channel. We then design different erasure codes for each layer so that all layers have the same failure exponent. We propose design guidelines to optimize parameters of such codes. Numerical results show the proposed scheme has an improvement of a factor of 1.5 in the expected finishing time compared to previous work.


title: Galilean Invariant Preconditioned Central Moment Lattice Boltzmann Method without Cubic Velocity Errors for Efficient Steady Flow Simulations

abstract: Lattice Boltzmann (LB) models used for the computation of fluid flows represented by the Navier-Stokes (NS) equations on standard lattices can lead to non-Galilean invariant (GI) viscous stress involving cubic velocity errors. This arises from the dependence of their third order diagonal moments on the first order moments for standard lattices, and strategies have recently been introduced to restore GI without such errors using a modified collision operator involving either corrections to the relaxation times or to the moment equilibria. Convergence acceleration in the simulation of steady flows can be achieved by solving the preconditioned NS equations, which contain a preconditioning parameter that alleviates the numerical stiffness. In the present study, we present a GI formulation of the preconditioned cascaded central moment LB method used to solve the preconditioned NS equations, which is free of cubic velocity errors on a standard lattice. A Chapman-Enskog analysis reveals the structure of the spurious non-GI defect terms and it is demonstrated that the anisotropy of the resulting viscous stress is dependent on the preconditioning parameter, in addition to the fluid velocity. It is shown that partial correction to eliminate the cubic velocity defects is achieved by scaling the cubic velocity terms in the off-diagonal third-order moment equilibria with the square of the preconditioning parameter. Furthermore, we develop additional corrections based on the extended moment equilibria involving gradient terms with coefficients dependent locally on the fluid velocity and the preconditioning parameter. Several conclusions are drawn from the analysis of the structure of the non-GI errors and the associated corrections, with particular emphasis on their dependence on the preconditioning parameter. Improvements in accuracy and convergence acceleration are demonstrated.


title: A Tale of Two Anomalies

abstract: A recent improved determination of the fine structure constant, $\alpha= 1/137.035999046(27)$, leads to a $\sim 2.4 \sigma$ negative discrepancy between the measured electron anomalous magnetic moment and the Standard Model prediction. That situation is to be compared with the muon anomalous magnetic moment where a positive $\sim 3.7 \sigma$ discrepancy has existed for some time. A single scalar solution to both anomalies is shown to be possible if the two-loop electron Barr-Zee diagrams dominate the scalar one-loop electron anomaly effect and the scalar couplings to the electron and two photons are relatively large. We also briefly discuss the implications of that scenario.


title: Exploitation of Stragglers in Coded Computation

abstract: In cloud computing systems slow processing nodes, often referred to as "stragglers", can significantly extend the computation time. Recent results have shown that error correction coding can be used to reduce the effect of stragglers. In this work we introduce a scheme that, in addition to using error correction to distribute mixed jobs across nodes, is also able to exploit the work completed by all nodes, including stragglers. We first consider vector-matrix multiplication and apply maximum distance separable (MDS) codes to small blocks of sub-matrices. The worker nodes process blocks sequentially, working block-by-block, transmitting partial per-block results to the master as they are completed. Sub-blocking allows a more continuous completion process, which thereby allows us to exploit the work of a much broader spectrum of processors and reduces computation time. We then apply this technique to matrix-matrix multiplication using product code. In this case, we show that the order of computing sub-tasks is a new degree of design freedom that can be exploited to reduce computation time further. We propose a novel approach to analyze the finishing time, which is different from typical order statistics. Simulation results show that the expected computation time decreases by a factor of at least two in compared to previous methods.


title: Conflict-free Replicated Data Types: An Overview

abstract: Internet-scale distributed systems often replicate data at multiple geographic locations to provide low latency and high availability, despite node and network failures. Geo-replicated systems that adopt a weak consistency model allow replicas to temporarily diverge, requiring a mechanism for merging concurrent updates into a common state. Conflict-free Replicated Data Types (CRDT) provide a principled approach to address this problem. This document presents an overview of Conflict-free Replicated Data Types research and practice, organizing the presentation in the aspects relevant for the application developer, the system developer and the CRDT developer.


title: Elastic Scattering in General Relativistic Ray Tracing for Neutrinos

abstract: We present a covariant ray tracing algorithm for computing high-resolution neutrino distributions in general relativistic numerical spacetimes with hydrodynamical sources. Our formulation treats the very important effect of elastic scattering of neutrinos off of nuclei and nucleons (changing the neutrino's direction but not energy) by incorporating estimates of the background neutrino fields. Background fields provide information about the spectra and intensities of the neutrinos scattered into each ray. These background fields may be taken from a low-order moment simulation or be ignored, in which case the method reduces to a standard state-of-the-art ray tracing formulation. The method handles radiation in regimes spanning optically thick to optically thin. We test the new code, highlight its strengths and weaknesses, and apply it to a simulation of a neutron star merger to compute neutrino fluxes and spectra, and to demonstrate a neutrino flavor oscillation calculation. In that environment, we find qualitatively different fluxes, spectra, and oscillation behaviors when elastic scattering is included.


title: Relativistic-Amplitude electromagnetic waves - Beating the "magnetic" barrier

abstract: The dispersion characteristics of an circularly polarized electromagnetic wave of arbitrary amplitude, propagating in a highly (thermally and kinematically) relativistic plasma, are shown to approach those of a linear wave in an unmagnetized, non-relativistic plasma. Further aided by high relativistic temperatures, the cut-off frequency tends to become negligibly small; as a result, waves with frequencies well below the nominal plasma and the cyclotron frequencies find the plasma to be essentially transparent. This relativistic phenomenon may greatly advance our ability to understand and model the dynamics of a large class of astrophysical and laser-produced high energy density systems.


title: Learning a Saliency Evaluation Metric Using Crowdsourced Perceptual Judgments

abstract: In the area of human fixation prediction, dozens of computational saliency models are proposed to reveal certain saliency characteristics under different assumptions and definitions. As a result, saliency model benchmarking often requires several evaluation metrics to simultaneously assess saliency models from multiple perspectives. However, most computational metrics are not designed to directly measure the perceptual similarity of saliency maps so that the evaluation results may be sometimes inconsistent with the subjective impression. To address this problem, this paper first conducts extensive subjective tests to find out how the visual similarities between saliency maps are perceived by humans. Based on the crowdsourced data collected in these tests, we conclude several key factors in assessing saliency maps and quantize the performance of existing metrics. Inspired by these factors, we propose to learn a saliency evaluation metric based on a two-stream convolutional neural network using crowdsourced perceptual judgements. Specifically, the relative saliency score of each pair from the crowdsourced data is utilized to regularize the network during the training process. By capturing the key factors shared by various subjects in comparing saliency maps, the learned metric better aligns with human perception of saliency maps, making it a good complement to the existing metrics. Experimental results validate that the learned metric can be generalized to the comparisons of saliency maps from new images, new datasets, new models and synthetic data. Due to the effectiveness of the learned metric, it also can be used to facilitate the development of new models for fixation prediction.


title: An Extensive Evaluation of the Internet's Open Proxies

abstract: Open proxies forward traffic on behalf of any Internet user. Listed on open proxy aggregator sites, they are often used to bypass geographic region restrictions or circumvent censorship. Open proxies sometimes also provide a weak form of anonymity by concealing the requestor's IP address. To better understand their behavior and performance, we conducted a comprehensive study of open proxies, encompassing more than 107,000 listed open proxies and 13M proxy requests over a 50 day period. While previous studies have focused on malicious open proxies' manipulation of HTML content to insert/modify ads, we provide a more broad study that examines the availability, success rates, diversity, and also (mis)behavior of proxies. Our results show that listed open proxies suffer poor availability--more than 92% of open proxies that appear on aggregator sites are unresponsive to proxy requests. Much more troubling, we find numerous examples of malicious open proxies in which HTML content is manipulated to mine cryptocurrency (that is, cryptojacking). We additionally detect TLS man-in-the-middle (MitM) attacks, and discover numerous instances in which binaries fetched through proxies were modified to include remote access trojans and other forms of malware. As a point of comparison, we conduct and discuss a similar measurement study of the behavior of Tor exit relays. We find no instances in which Tor relays performed TLS MitM or manipulated content, suggesting that Tor offers a far more reliable and safe form of proxied communication.


title: Plasmonic multiple exciton generation

abstract: We show that bi-exciton formation can be highly efficient in a solar cell with the semiconductor absorber filled with an array of metallic nanoparticles having plasmonic resonance tuned to the semiconductor gap energy. This process can be viewed as plasmon-enhanced multiple exciton generation (PMEG), with the resulting cell efficiency exceeding the Shockley-Queisser limit. We demonstrate, that efficiency of the PMEG process, increases with decreasing of the semiconductor gap size, and illustrate that by considering in detail three systems with gradually decreasing gap size: GaAs, Si and Ge.


title: Well-quasi-ordering in lattice path matroids

abstract: Lattice path matroids form a subclass of transversal matroids and were introduced by Bonin, de Mier and Noy. Transversal matroids are not well-quasi-ordered, even when the branch-width is restricted. Though lattice path matroids are not well-quasi-ordered, we prove that lattice path matroids of bounded branch-width are well-quasi-ordered.


title: BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets

abstract: This paper studies a difference between Binary Decision Diagrams (BDDs) and Zero-suppressed BDDs (ZDDs) from a conceptual point of view. It is commonly understood that a BDD is a representation of a Boolean function, whereas a ZDD is a representation of a set of sets. However, there is a one-to-one correspondence between Boolean functions and sets of sets, and therefore we could also regard a BDD as a representation of a set of sets, and similarly for a ZDD and a Boolean function. The aim of this paper is to give an explanation why the distinction between BDDs and ZDDs mentioned above is made despite the existence of the one-to-one correspondence. To achieve this, we first observe that Boolean functions and sets of sets are equipped with non-isomorphic functor structures, and show that these functor structures are reflected in the definitions of BDDs and ZDDs. This result can be stated formally as naturality of certain maps. To the author's knowledge, this is the first formally stated theorem that justifies the commonly accepted distinction between BDDs and ZDDs. In addition, we show that this result extends to sentential decision diagrams and their zero-suppressed variant.


title: A limited-memory block bi-diagonal Toeplitz preconditioner for block lower triangular Toeplitz system from time-space fractional diffusion equation

abstract: A block lower triangular Toeplitz system arising from time-space fractional diffusion equation is discussed. For efficient solutions of such the linear system, the preconditioned biconjugate gradient stabilized method and flexible general minimal residual method are exploited. The main contribution of this paper has two aspects: (i) A block bi-diagonal Toeplitz preconditioner is developed for the block lower triangular Toeplitz system, whose storage is of $\mathcal{O}(N)$ with $N$ being the spatial grid number; (ii) A new skew-circulant preconditioner is designed to fast calculate the inverse of the block bi-diagonal Toeplitz preconditioner multiplying a vector. Numerical experiments are given to demonstrate the efficiency of our preconditioners.


title: Integrable higher-dimensional cosmology with separable variables in an Einstein-dilaton-antisymmetric field theory

abstract: We consider a $D$-dimensional cosmological model with a dilaton field and two $(D-d-1)$-form field strengths which have nonvanishing fluxes in extra dimensions. Exact solutions for the model with a certain set of couplings are obtained by separation of three variables. Some of the solutions describe accelerating expansion of the $d$-dimensional space. Quantum cosmological aspects of the model are also briefly mentioned.


title: Pilot-wave dynamics of two identical, in-phase bouncing droplet

abstract: A droplet bouncing on the surface of a vibrating liquid bath can move horizontally guided by the wave it produces on impacting the bath. The wave itself is modified by the environment, and thus the interactions of the moving droplet with the surroundings are mediated through the wave. This forms an example of a pilot-wave system. Taking the Oza Rosales Bush description for walking droplets as a theoretical pilot-wave model, we investigate the dynamics of two interacting identical, in-phase bouncing droplets theoretically and numerically. A remarkably rich range of behaviors is encountered as a function of the two system parameters, the ratio of inertia to drag, \k{appa}, and the ratio of wave forcing to drag, \b{eta}. The droplets typically travel together in a tightly bound pair, although they unbind when the wave forcing is large and inertia is small or inertia is moderately large and wave forcing is moderately small. Bound pairs can exhibit a range of trajectories depending on parameter values, including straight lines, sub-diffusive random walks, and closed loops. The droplets themselves may maintain their relative positions, oscillate towards and away from one another, or interchange positions regularly or chaotically as they travel. We explore these regimes and others and the bifurcations between them through analytic and numerical linear stability analyses and through fully nonlinear numerical simulation.


title: A VLBI distance and transverse velocity for PSR B1913+16

abstract: Using the Very Long Baseline Array, we have made astrometric observations of the binary pulsar B1913+16 spanning an 18 month period in 2014 - 2015. From these observations we make the first determination of the annual geometric parallax of B1913+16, measuring $\pi= 0.24^{+0.06}_{-0.08}$ milliarcseconds (68% confidence interval). The inferred parallax probability distribution differs significantly from a Gaussian. Using our parallax measurement and prior information on the spatial and luminosity distributions of the millisecond pulsar population, we infer a distance of $d=4.1^{+2.0}_{-0.7}$ kpc, which is significantly closer than the $9.8 \pm 3.1$ kpc suggested by the pulsar's dispersion measure and analyses of the ionized interstellar medium. While the relatively low significance of the parallax detection ($\sim$3$\sigma$) currently precludes an improved test of general relativity using the orbital decay of PSR B1913+16, ongoing observations with improved control of systematic astrometric errors could reach the 10% distance uncertainty required for this goal. The proper motion measured by our VLBI astrometry differs substantially from that obtained by pulsar timing, a discrepancy that has also been found between the proper motion measurements made by interferometers and pulsar timing for some other pulsars and which we speculate is the result of timing noise or dispersion measure variations in the timing data set. Our parallax and proper motion measurements yield a transverse velocityof $15^{+8}_{-4}$ km s$^{-1}$ in the solar reference frame. Analysis incorporating galactic rotation and solar motion finds the space velocity of the pulsar relative to its standard of rest has a component 22$^{+7}_{-3}$ km s$^{-1}$ perpendicular to the galactic plane and components of order 100 km s$^{-1}$ parallel to the galactic plane.


title: An Alternative Channel For High-Mass Binary Black Holes-----Dark Matter Accretion Onto Black Hole

abstract: By a method of population synthesis we construct a model of dark matter (DM) accretion onto binary black holes (BHs), and investigate the merger rate of the binary BHs. We find that the merger rate can weakly increase (less than 10\%). However, the DM accretion can efficiently enhance the masses of binary BHs. In our model, the result for $Z = 0.01$ without the DM accretion can not explain the GW170104, GW170814, and GW150914, while with the DM accretion, it can cover all observations well. For the higher metallicity ($Z = 0.02$), our model can not explain the mergers of high-mass binary BHs like GW170104, GW170814, and GW150914. We estimate that the merger rate of binary BHs lies between $\rm55Gpc^{-3}yr^{-1}$ to $\rm197Gpc^{-3}yr^{-1}$.


title: Exploring non-adiabatic approximations to the exchange-correlation functional of TDDFT

abstract: A decomposition of the exact exchange-correlation potential of time-dependent density functional theory into an interaction component and a kinetic component offers a new starting point for non- adiabatic approximations. The components are expressed in terms of the exchange-correlation hole and the difference between the one-body density matrix of the interacting and Kohn-Sham systems, which must be approximated in terms of quantities accessible from the Kohn-Sham evolution. We explore several preliminary approximations, evaluate their fulfillment of known exact conditions, and test their performance on simple model systems for which available exact solutions indicate the significance of going beyond the adiabatic approximation.


title: Fixed points and emergent topological phenomena in a parity-time-symmetric quantum quench

abstract: We identify emergent topological phenomena such as dynamic Chern numbers and dynamic quantum phase transitions in quantum quenches of the non-Hermitian Su-Schrieffer-Heeger Hamiltonian with parity-time ($\mathcal{PT}$) symmetry. Their occurrence in the non-unitary dynamics are intimately connected with fixed points in the Brillouin zone, where the states do not evolve in time. We construct a theoretical formalism for characterizing topological properties in non-unitary dynamics within the framework of biorthogonal quantum mechanics, and prove the existence of fixed points for quenches between distinct static topological phases in the $\mathcal{PT}$-symmetry-preserving regime. We then reveal the interesting relation between different dynamic topological phenomena through the momentum-time spin texture characterizing the dynamic process. For quenches involving Hamiltonians in the $\mathcal{PT}$-symmetry-broken regime, these topological phenomena are not ensured.


title: Collaborative Annotation of Semantic Objects in Images with Multi-granularity Supervisions

abstract: Per-pixel masks of semantic objects are very useful in many applications, which, however, are tedious to be annotated. In this paper, we propose a human-agent collaborative annotation approach that can efficiently generate per-pixel masks of semantic objects in tagged images with multi-granularity supervisions. Given a set of tagged image, a computer agent is first dynamically generated to roughly localize the semantic objects described by the tag. The agent first extracts massive object proposals from an image and then infer the tag-related ones under the weak and strong supervisions from linguistically and visually similar images and previously annotated object masks. By representing such supervisions by over-complete dictionaries, the tag-related object proposals can pop-out according to their sparse coding length, which are then converted to superpixels with binary labels. After that, human annotators participate in the annotation process by flipping labels and dividing superpixels with mouse clicks, which are used as click supervisions that teach the agent to recover false positives/negatives in processing images with the same tags. Experimental results show that our approach can facilitate the annotation process and generate object masks that are highly consistent with those generated by the LabelMe toolbox.


title: Optimal Piecewise Local-Linear Approximations

abstract: Existing works on "black-box" model interpretation use local-linear approximations to explain the predictions made for each data instance in terms of the importance assigned to the different features for arriving at the prediction. These works provide instancewise explanations and thus give a local view of the model. To be able to trust the model it is important to understand the global model behavior and there are relatively fewer works which do the same. Piecewise local-linear models provide a natural way to extend local-linear models to explain the global behavior of the model. In this work, we provide a dynamic programming based framework to obtain piecewise approximations of the black-box model. We also provide provable fidelity, i.e., how well the explanations reflect the black-box model, guarantees. We carry out simulations on synthetic and real datasets to show the utility of the proposed approach. At the end, we show that the ideas developed for our framework can also be used to address the problem of clustering for one-dimensional data. We give a polynomial time algorithm and prove that it achieves optimal clustering.


title: A Resilient Convex Combination for consensus-based distributed algorithms

abstract: Consider a set of vectors in $\mathbb{R}^n$, partitioned into two classes: normal vectors and malicious vectors. The number of malicious vectors is bounded but their identities are unknown. The paper provides a way for achieving a resilient convex combination, which is a convex combination of only normal vectors. Compared with existing approaches based on Tverberg points, the proposed method based on the intersection of convex hulls has lower computational complexity. Simulations suggest that the proposed method can be applied to resilience for consensus-based distributed algorithms against Byzantine attacks.


title: Two simultaneous actions of big mapping class groups

abstract: We study two actions of big mapping class groups. The first is an action by isometries on a Gromov-hyperbolic graph. The second is an action by homeomorphisms on a circle in which the vertices of the graph naturally embed. The first two parts of the paper are devoted to the definition of objects and tools needed to introduce these two actions; in particular, we define and prove the existence of equators for infinite type surfaces, we define the hyperbolic graph and the circle needed for the actions, and we describe the Gromov-boundary of the graph using the embedding of its vertices in the circle. The third part focuses on some fruitful relations between the dynamics of the two actions. For example, we prove that loxodromic elements (for the first action) necessarily have rational rotation number (for the second action). In addition, we are able to construct non trivial quasimorphisms on many subgroups of big mapping class groups, even if they are not acylindrically hyperbolic.


title: von Mises Tapering: A Circular Data Windowing

abstract: Continuous standard windowing is revisited and a new taper shape is introduced, which is based on the normal circular distribution by von Mises. Continuous-time windows are considered and their spectra obtained. A brief comparison with classical window families is performed in terms of their spectral properties. These windows can be used as an alternative in spectral analysis.


title: Hierarchical Deep Co-segmentation of Primary Objects in Aerial Videos

abstract: Primary object segmentation plays an important role in understanding videos generated by unmanned aerial vehicles. In this paper, we propose a large-scale dataset with 500 aerial videos and manually annotated primary objects. To the best of our knowledge, it is the largest dataset to date for primary object segmentation in aerial videos. From this dataset, we find most aerial videos contain large-scale scenes, small primary objects as well as consistently varying scales and viewpoints. Inspired by that, we propose a hierarchical deep co-segmentation approach that repeatedly divides a video into two sub-videos formed by the odd and even frames, respectively. In this manner, the primary objects shared by sub-videos can be co-segmented by training two-stream CNNs and finally refined within the neighborhood reversible flows. Experimental results show that our approach remarkably outperforms 17 state-of-the-art methods in segmenting primary objects in various types of aerial videos.


title: Calculation of higher-order moments by higher-order tensor renormalization group

abstract: A calculation method for higher-order moments of physical quantities, including magnetization and energy, based on the higher-order tensor renormalization group is proposed. The physical observables are represented by impurity tensors. A systematic summation scheme provides coarse-grained tensors including multiple impurities. Our method is compared with the Monte Carlo method on the two-dimensional Potts model. While the nature of the transition of the $q$-state Potts model has been known for a long time owing to the analytical arguments, a clear numerical confirmation has been difficult due to extremely long correlation length in the weakly first-order transitions, e.g., for $q=5$. A jump of the Binder ratio precisely determines the transition temperature. The finite-size scaling analysis provides critical exponents and distinguishes the weakly first-order and the continuous transitions.


title: Cosmological Constraints from Fourier Phase Statistics

abstract: Most statistical inference from cosmic large-scale structure relies on two-point statistics, i.e.\ on the galaxy-galaxy correlation function (2PCF) or the power spectrum. These statistics capture the full information encoded in the Fourier amplitudes of the galaxy density field but do not describe the Fourier phases of the field. Here, we quantify the information contained in the line correlation function (LCF), a three-point Fourier phase correlation function. Using cosmological simulations, we estimate the Fisher information (at redshift $z=0$) of the 2PCF, LCF and their combination, regarding the cosmological parameters of the standard $\Lambda$CDM model, as well as a Warm Dark Matter (WDM) model and the $f(R)$ and Symmetron modified gravity models. The galaxy bias is accounted for at the level of a linear bias. The relative information of the 2PCF and the LCF depends on the survey volume, sampling density (shot noise) and the bias uncertainty. For a volume of $1h^{-3}\rm Gpc^3$, sampled with points of mean density $\bar{n} = 2\times10^{-3} h^{3}\ \rm Mpc^{-3}$ and a bias uncertainty of 13\%, the LCF improves the parameter constraints by about 20\% in the $\Lambda$CDM cosmology and potentially even more in alternative models. Finally, since a linear bias only affects the Fourier amplitudes (2PCF), but not the phases (LCF), the combination of the 2PCF and the LCF can be used to break the degeneracy between the linear bias and $\sigma_8$, present in 2-point statistics.


title: The Impact of Human Factors on the Participation Decision of Reviewers in Modern Code Review

abstract: Modern Code Review (MCR) plays a key role in software quality practices. In MCR process, a new patch (i.e., a set of code changes) is encouraged to be examined by reviewers in order to identify weaknesses in source code prior to an integration into main software repositories. To mitigate the risk of having future defects, prior work suggests that MCR should be performed with sufficient review participation. Indeed, recent work shows that a low number of participated reviewers is associated with poor software quality. However, there is a likely case that a new patch still suffers from poor review participation even though reviewers were invited. Hence, in this paper, we set out to investigate the factors that are associated with the participation decision of an invited reviewer. Through a case study of 230,090 patches spread across the Android, LibreOffice, OpenStack and Qt systems, we find that (1) 16%-66% of patches have at least one invited reviewer who did not respond to the review invitation; (2) human factors play an important role in predicting whether or not an invited reviewer will participate in a review; (3) a review participation rate of an invited reviewers and code authoring experience of an invited reviewer are highly associated with the participation decision of an invited reviewer. These results can help practitioners better understand about how human factors associate with the participation decision of reviewers and serve as guidelines for inviting reviewers, leading to a better inviting decision and a better reviewer participation.


title: Feature-less Stitching of Cylindrical Tunnel

abstract: Traditional image stitching algorithms use transforms such as homography to combine different views of a scene. They usually work well when the scene is planar or when the camera is only rotated, keeping its position static. This severely limits their use in real world scenarios where an unmanned aerial vehicle (UAV) potentially hovers around and flies in an enclosed area while rotating to capture a video sequence. We utilize known scene geometry along with recorded camera trajectory to create cylindrical images captured in a given environment such as a tunnel where the camera rotates around its center. The captured images of the inner surface of the given scene are combined to create a composite panoramic image that is textured onto a 3D geometrical object in Unity graphical engine to create an immersive environment for end users.


title: Conclusive experimental demonstration of one-way Einstein-Podolsky-Rosen steering

abstract: Einstein-Podolsky-Rosen steering is a quantum phenomenon wherein one party influences, or steers, the state of a distant party's particle beyond what could be achieved with a separable state, by making measurements on one half of an entangled state. This type of quantum nonlocality stands out through its asymmetric setting, and even allows for cases where one party can steer the other, but where the reverse is not true. A series of experiments have demonstrated one-way steering in the past, but all were based on significant limiting assumptions. These consisted either of restrictions on the type of allowed measurements, or of assumptions about the quantum state at hand, by mapping to a specific family of states and analysing the ideal target state rather than the real experimental state. Here, we present the first experimental demonstration of one-way steering free of such assumptions. We achieve this using a new sufficient condition for non-steerability, and, although not required by our analysis, using a novel source of extremely high-quality photonic Werner states.


title: Measurement of the spectral function for the $\tau^-\to K^-K_S\nu_{\tau}$ decay

abstract: The decay $\tau^{-}\to K^{-}K_S\nu_{\tau}$ has been studied using $430\times10^6$ $e^+e^-\to \tau^+\tau^-$ events produced at a center-of-mass energy around 10.6 GeV at the PEP-II collider and studied with the BABAR detector. The mass spectrum of the $K^{-}K_S$ system has been measured and the spectral function has been obtained. The measured branching fraction ${\cal B}(\tau^{-}\to K^{-}K_S\nu_{\tau}) = (0.739\pm 0.011(\rm stat.)\pm 0.020(\rm syst.))\times 10^{-3}$ is found to be in agreement with earlier measurements.