title: Security Strength Indicator in Fallback Authentication: Nudging Users for Better Answers in Secret Questions

abstract: In this paper, we describe ongoing work that focuses on improving the strength of the answers to security questions. The ultimate goal of the proposed research is to evaluate the possibility of nudging users towards strong answers for ubiquitous security questions. In this research we are proposing a user interface design for fallback authentication to encourage users to design stronger answers. The proposed design involves visual feedback to the user based on mnemonics which attempts to give visual feedback to the user on the strength of the answer provided and guide the user to creatively design a stronger answer.


title: Surface Reconstruction with Data-driven Exemplar Priors

abstract: In this paper, we propose a framework to reconstruct 3D models from raw scanned points by learning the prior knowledge of a specific class of objects. Unlike previous work that heuristically specifies particular regularities and defines parametric models, our shape priors are learned directly from existing 3D models under a framework based on affinity propagation. Given a database of 3D models within the same class of objects, we build a comprehensive library of 3D local shape priors. We then formulate the problem to select as-few-as-possible priors from the library, referred to as exemplar priors. These priors are sufficient to represent the 3D shapes of the whole class of objects from where they are generated. By manipulating these priors, we are able to reconstruct geometrically faithful models with the same class of objects from raw point clouds. Our framework can be easily generalized to reconstruct various categories of 3D objects that have more geometrically or topologically complex structures. Comprehensive experiments exhibit the power of our exemplar priors for gracefully solving several problems in 3D shape reconstruction such as preserving sharp features, recovering fine details and so on.


title: Single-Pass, Adaptive Natural Language Filtering: Measuring Value in User Generated Comments on Large-Scale, Social Media News Forums

abstract: There are large amounts of insight and social discovery potential in mining crowd-sourced comments left on popular news forums like Reddit.com, Tumblr.com, Facebook.com and Hacker News. Unfortunately, due the overwhelming amount of participation with its varying quality of commentary, extracting value out of such data isn't always obvious nor timely. By designing efficient, single-pass and adaptive natural language filters to quickly prune spam, noise, copy-cats, marketing diversions, and out-of-context posts, we can remove over a third of entries and return the comments with a higher probability of relatedness to the original article in question. The approach presented here uses an adaptive, two-step filtering process. It first leverages the original article posted in the thread as a starting corpus to parse comments by matching intersecting words and term-ratio balance per sentence then grows the corpus by adding new words harvested from high-matching comments to increase filtering accuracy over time.


title: Blow-up for semilinear wave equations with the scale invariant damping and super-Fujita exponent

abstract: The blow-up for semilinear wave equations with the scale invariant damping has been well-studied for sub-Fujita exponent. However, for super-Fujita exponent, there is only one blow-up result which is obtained in 2014 by Wakasugi in the case of non-effective damping. In this paper we extend his result in two aspects by showing that: (I) the blow-up will happen for bigger exponent, which is closely related to the Strauss exponent, the critical number for non-damped semilinear wave equations; (II) such a blow-up result is established for a wider range of the constant than the known non-effective one in the damping term.


title: Experimental observation of self excited co--rotating multiple vortices in a dusty plasma with inhomogeneous plasma background

abstract: We report an experimental observation of multiple co--rotating vortices in a extended dust column in the background of non--uniform diffused plasma. Inductively coupled RF discharge is initiated in the background of argon gas in the source region which later found to diffuse in the main experimental chamber. A secondary DC glow discharge plasma is produced to introduce the dust particles into the plasma. These micron sized poly-disperse dust particles get charged in the plasma environment and transported by the ambipolar electric field of the diffused plasma and found to confine in the potential well, where the resultant electric field of the diffused plasma (ambipolar E--field) and glass wall charging (sheath E--field) hold the micron sized particles against the gravity. Multiple co--rotating (anti--clockwise) dust vortices are observed in the dust cloud for a particular discharge condition. The transition from multiple to single dust vortex is observed when input RF power is lowered. Occurrence of these vortices are explained on the basis of the charge gradient of dust particles which is orthogonal to the ion drag force. The charge gradient is a consequence of the plasma inhomogeneity along the dust cloud length. The detailed nature and the reason for multiple vortices are still under investigation through further experiments, however, preliminary qualitative understanding is discussed based on characteristic scale length of dust vortex. There is a characteristic size of the vortex in the dusty plasma so that multiple vortices is possible to form in the extended dusty plasma with inhomogeneous plasma background. The experimental results on the vortex motion of particles are compared with a theoretical model and found some agreement.


title: Focusing on a Probability Element: Parameter Selection of Message Importance Measure in Big Data

abstract: Message importance measure (MIM) is applicable to characterize the importance of information in the scenario of big data, similar to entropy in information theory. In fact, MIM with a variable parameter can make an effect on the characterization of distribution. Furthermore, by choosing an appropriate parameter of MIM, it is possible to emphasize the message importance of a certain probability element in a distribution. Therefore, parametric MIM can play a vital role in anomaly detection of big data by focusing on probability of an anomalous event. In this paper, we propose a parameter selection method of MIM focusing on a probability element and then present its major properties. In addition, we discuss the parameter selection with prior probability, and investigate the availability in a statistical processing model of big data for anomaly detection problem.


title: Asymptotic dynamics in a two-species chemotaxis model with non-local terms

abstract: In this study, we consider the following extended attraction chemotaxis system of two species parabolic-parabolic-elliptic type with nonlocal terms \[ \begin{cases} u_t=d_1\Delta u-\chi_1\nabla (u\cdot \nabla w)+u\left(a_0-a_1u-a_2v-a_3\int_{\Omega}u-a_4\int_{\Omega}v\right),\quad x\in \Omega \quad\cr v_t=d_2\Delta v-\chi_2\nabla (v\cdot \nabla w)+v\left(b_0-b_1u-b_2v-b_3\int_{\Omega}u-b_4\int_{\Omega}v\right),\quad x\in \Omega \quad\cr 0=d_3\Delta w+k u+lv-\lambda w,\quad x\in \Omega \quad\cr \end{cases} \] under homogeneous Neuman boundary conditions in a bounded domain $\Omega \subset \mathbb{R}^n(n\ge1)$ with smooth boundary, where $a_0,b_0,\, \,a_1,$ and $ b_2$ are positive and $a_2,\, a_3, \, a_4, \, b_1,\, b_3,$ and $b_4$ are real numbers. We first prove the global existence of non-negative classical solutions for various explicit parameter regions. Next, under some further explicit conditions on the coefficients $a_i,\, b_i,d_i,l,k,\lambda$ and on the chemotaxis sensitivities $\chi_i$, we show that the system has a unique positive constant steady state solution which is globally asymptotically stable. Finally, we also find some explicit conditions on the coefficients $a_i,\, b_i,d_i,l,k,\lambda$ and on the chemotaxis sensitivities $\chi_i$ for which the phenomenon of competitive exclusion occurs in the sense that as time goes to infinity, one of the species dies out and the other reaches its carrying capacity . The method of eventual comparison is used to study the asymptotic behavior.


title: A microfabricated optically-pumped magnetic gradiometer

abstract: We report on the development of a microfabricated atomic magnetic gradiometer based on optical spectroscopy of alkali atoms in the vapor phase. The gradiometer, which operates in the spin-exchange relaxation free regime, has a length of 60 mm and cross sectional diameter of 12 mm, and consists of two chip-scale atomic magnetometers which are interrogated by a common laser light. The sensor can measure differences in magnetic fields, over a 20 mm baseline, of 10 fT/Hz$^{1/2}$ at frequencies above 20 Hz. The maximum rejection of magnetic field noise is 1000 at 10 Hz. By use of a set of compensation coils wrapped around the sensor, we also measure the sensor sensitivity at several external bias field strengths up to 150 mG. This device is useful for applications that require both sensitive gradient field information and high common-mode noise cancellation.


title: Shannon Shakes Hands with Chernoff: Big Data Viewpoint On Channel Information Measures

abstract: Shannon entropy is the most crucial foundation of Information Theory, which has been proven to be effective in many fields such as communications. Renyi entropy and Chernoff information are other two popular measures of information with wide applications. The mutual information is effective to measure the channel information for the fact that it reflects the relation between output variables and input variables. In this paper, we reexamine these channel information measures in big data viewpoint by means of ACE algorithm. The simulated results show us that decomposition results of Shannon and Chernoff mutual information with respect to channel parametersare almost the same. In this sense, Shannon shakes hands with Chernoff since they are different measures of the same information quantity. We also propose a conjecture that there is nature of channel information which is only decided by the channel parameters.


title: Ermakov-Painlev\'e II Symmetry Reduction of a Korteweg Capillarity System

abstract: A class of nonlinear Schr\"odinger equations involving a triad of power law terms together with a de Broglie-Bohm potential is shown to admit symmetry reduction to a hybrid Ermakov-Painlev\'e II equation which is linked, in turn, to the integrable Painlev\'e XXXIV equation. A nonlinear Schr\"odinger encapsulation of a Korteweg-type capillary system is thereby used in the isolation of such a Ermakov-Painlev\'e II reduction valid for a multi-parameter class of free energy functions. Iterated application of a B\"acklund transformation then allows the construction of novel classes of exact solutions of the nonlinear capillarity system in terms of Yablonskii-Vorob'ev polynomials or classical Airy functions. A Painlev\'e XXXIV equation is derived for the density in the capillarity system and seen to correspond to the symmetry reduction of its Bernoulli integral of motion.


title: The Gribov Horizon and Ghost Interactions in Euclidean Gauge Theories

abstract: The effect of the Gribov horizon in Euclidean $SU(2)$ gauge theory is studied. Gauge fields on the Gribov horizon yield zero modes of ghosts and anti-ghosts. We show these zero modes can produce additional ghost interactions, and the Landau gauge changes to a nonlinear gauge effectively. In the infrared limit, however, the Landau gauge is recovered, and ghost zero modes may appear again. We show ghost condensation happens in the nonlinear gauge, and the zero mode repetition is avoided.


title: Error modeling for surrogates of dynamical systems using machine learning

abstract: A machine-learning-based framework for modeling the error introduced by surrogate models of parameterized dynamical systems is proposed. The framework entails the use of high-dimensional regression techniques (e.g., random forests, LASSO) to map a large set of inexpensively computed `error indicators' (i.e., features) produced by the surrogate model at a given time instance to a prediction of the surrogate-model error in a quantity of interest (QoI). This eliminates the need for the user to hand-select a small number of informative features. The methodology requires a training set of parameter instances at which the time-dependent surrogate-model error is computed by simulating both the high-fidelity and surrogate models. Using these training data, the method first determines regression-model locality (via classification or clustering), and subsequently constructs a `local' regression model to predict the time-instantaneous error within each identified region of feature space. We consider two uses for the resulting error model: (1) as a correction to the surrogate-model QoI prediction at each time instance, and (2) as a way to statistically model arbitrary functions of the time-dependent surrogate-model error (e.g., time-integrated errors). We apply the proposed framework to model errors in reduced-order models of nonlinear oil--water subsurface flow simulations. The reduced-order models used in this work entail application of trajectory piecewise linearization with proper orthogonal decomposition. When the first use of the method is considered, numerical experiments demonstrate consistent improvement in accuracy in the time-instantaneous QoI prediction relative to the original surrogate model, across a large number of test cases. When the second use is considered, results show that the proposed method provides accurate statistical predictions of the time- and well-averaged errors.


title: Centre vortices are the seeds of dynamical chiral symmetry breaking

abstract: Using lattice QCD, we reveal a fundamental connection between centre vortices and several key features associated with dynamical chiral symmetry breaking and quark confinement. Calculations are performed in pure SU(3) gauge theory using the chiral overlap fermion action. Starting from the original Monte Carlo gauge fields, a vortex identification procedure yields vortex-removed and vortex-only backgrounds. We examine the static quark potential, the quark mass function, the hadron spectrum, the local topological charge density, and the distribution of instanton-like objects on the original, vortex-removed and vortex-only ensembles. The removal of vortices consistently results in the removal of the corresponding feature associated with dynamical chiral symmetry breaking. Remarkably, we observe that after some smoothing, in each of these cases, the vortex-only degrees of freedom are able to encapsulate the pertinent features of the original gauge fields.


title: Image sensor array based on graphene-CMOS integration

abstract: Integrated circuits based on CMOS (complementary metal-oxide semiconductors) are at the heart of the technological revolution of the past 40 years, as these have enabled compact and low cost micro-electronic circuits and imaging systems. However, the diversification of this platform into applications other than microcircuits and visible light cameras has been impeded by the difficulty to combine other semiconductors than silicon with CMOS. Here, we show for the first time the monolithic integration of a CMOS integrated circuit with graphene, operating as a high mobility phototransistor. We demonstrate a high-resolution image sensor and operate it as a digital camera that is sensitive to UV, visible and infrared light. The demonstrated graphene-CMOS integration is pivotal for incorporating 2d materials into the next generation microelectronics, sensor arrays, low-power integrated photonics and CMOS imaging systems covering visible, infrared and even terahertz frequencies.. The demonstrated graphene-CMOS integration is pivotal for incorporating 2d materials into the next generation microelectronics, sensor arrays, low-power integrated photonics and CMOS imaging systems covering visible, infrared and even terahertz frequencies.


title: Disorder induced lifetime effects in binary disordered systems : a first principles formalism and an application to doped Graphene

abstract: In this work the conducting properties of graphene lattice with a particular concentration of defect (5\% and 10\%) has been studied. The real space block recursion method introduced by Haydock et al. has been used in presence of the random distribution of defects in graphene. This Green function based method is found more powerful than the usual reciprocal based methods which need artificial periodicity. Different resonant states appear because of the presence of topological and local defects are studied within the framework of Green function.


title: Light Source Point Cluster Selection Based Atmosphere Light Estimation

abstract: Atmosphere light value is a highly critical parameter in defogging algorithms that are based on an atmosphere scattering model. Any error in atmosphere light value will produce a direct impact on the accuracy of scattering computation and thus bring chromatic distortion to restored images. To address this problem, this paper propose a method that relies on clustering statistics to estimate atmosphere light value. It starts by selecting in the original image some potential atmosphere light source points, which are grouped into point clusters by means of clustering technique. From these clusters, a number of clusters containing candidate atmosphere light source points are selected, the points are then analyzed statistically, and the cluster containing the most candidate points is used for estimating atmosphere light value. The mean brightness vector of the candidate atmosphere light points in the chosen point cluster is taken as the estimate of atmosphere light value, while their geometric center in the image is accepted as the location of atmosphere light. Experimental results suggest that this statistics clustering method produces more accurate atmosphere brightness vectors and light source locations. This accuracy translates to, from a subjective perspective, more natural defogging effect on the one hand and to the improvement in various objective image quality indicators on the other hand.


title: Comprehensive understanding of parity-time transitions in $\mathcal{PT}$ symmetric photonic crystals with an antiunitary group theory

abstract: Electromagnetic materials possessing parity-time symmetry have received significant attention since it was discovered that the eigenmodes of these materials possess either real-frequency eigenvalues or the eigenfrequencies appear in complex-conjugate pairs. Interestingly, some eigenstates of these systems show thresholdless $\mathcal{PT}$ transitions to the complex-conjugate regime, some exhibit a transition as a function of the degree of non-Hermiticity and some show no $\mathcal{PT}$ transition at all. While previous work has provided some insight on the nature of $\mathcal{PT}$ transitions, this work lays out a general and rigorous mathematical framework that is able to predict, based on symmetry alone, whether an eigenmode will exhibit a thresholdless $\mathcal{PT}$ transition or no $\mathcal{PT}$ transition at all. Developed within the context of ferromagnetic solids, Heesh-Shubnikov group theory is an extension of classical group theory that is applicable to antiunitary operators. This work illustrates the Heesh-Shubnikov approach by categorizing the modes of a two-dimensionally periodic photonic lattice that possesses $\mathcal{PT}$ symmetry.


title: Ordered Pooling of Optical Flow Sequences for Action Recognition

abstract: Training of Convolutional Neural Networks (CNNs) on long video sequences is computationally expensive due to the substantial memory requirements and the massive number of parameters that deep architectures demand. Early fusion of video frames is thus a standard technique, in which several consecutive frames are first agglomerated into a compact representation, and then fed into the CNN as an input sample. For this purpose, a summarization approach that represents a set of consecutive RGB frames by a single dynamic image to capture pixel dynamics is proposed recently. In this paper, we introduce a novel ordered representation of consecutive optical flow frames as an alternative and argue that this representation captures the action dynamics more effectively than RGB frames. We provide intuitions on why such a representation is better for action recognition. We validate our claims on standard benchmark datasets and demonstrate that using summaries of flow images lead to significant improvements over RGB frames while achieving accuracy comparable to the state-of-the-art on UCF101 and HMDB datasets.


title: Scalable Spectrum Allocation and User Association in Networks with Many Small Cells

abstract: A scalable framework is developed to allocate radio resources across a large number of densely deployed small cells with given traffic statistics on a slow timescale. Joint user association and spectrum allocation is first formulated as a convex optimization problem by dividing the spectrum among all possible transmission patterns of active access points (APs). To improve scalability with the number of APs, the problem is reformulated using local patterns of interfering APs. To maintain global consistency among local patterns, inter-cluster interaction is characterized as hyper-edges in a hyper-graph with nodes corresponding to neighborhoods of APs. A scalable solution is obtained by iteratively solving a convex optimization problem for bandwidth allocation with reduced complexity and constructing a global spectrum allocation using hyper-graph coloring. Numerical results demonstrate the proposed solution for a network with 100 APs and several hundred user equipments. For a given quality of service (QoS), the proposed scheme can increase the network capacity several fold compared to assigning each user to the strongest AP with full-spectrum reuse.


title: Multi-parameter mechanical and thermal sensing based on multi-mode planar photonic crystals

abstract: This paper proposes a novel multifunctional sensing platform based on multimode planar photonic crystals (PPCs). We analytically and numerically demonstrate that the reflection spectrum of PPCs exhibits multiple high-Q resonant modes, and the fundamental and higher-order modes respond distinctively to external mechanical and thermal perturbations, rendering the PPCs superior capability for detection and discrimination of multiple parameters. We further demonstrate simultaneous pressure and temperature sensing with a PPC sensor. Other advantages of PPC sensors include on-chip integration and wafer-scale fabrications.


title: Log-based Anomaly Detection of CPS Using a Statistical Method

abstract: Detecting anomalies of a cyber physical system (CPS), which is a complex system consisting of both physical and software parts, is important because a CPS often operates autonomously in an unpredictable environment. However, because of the ever-changing nature and lack of a precise model for a CPS, detecting anomalies is still a challenging task. To address this problem, we propose applying an outlier detection method to a CPS log. By using a log obtained from an actual aquarium management system, we evaluated the effectiveness of our proposed method by analyzing outliers that it detected. By investigating the outliers with the developer of the system, we confirmed that some outliers indicate actual faults in the system. For example, our method detected failures of mutual exclusion in the control system that were unknown to the developer. Our method also detected transient losses of functionalities and unexpected reboots. On the other hand, our method did not detect anomalies that were too many and similar. In addition, our method reported rare but unproblematic concurrent combinations of operations as anomalies. Thus, our approach is effective at finding anomalies, but there is still room for improvement.


title: Electronic structure and non-linear optical properties of organic photovoltaic systems with potential applications on solar cell devices: A DFT approach

abstract: The use of eco-friendly materials for the environment has been addressed as a critical issue in the development of systems for renewable energy applications. In this regard, the investigation of organic photovoltaic (OPV) molecules for the implementation in solar cells, has become a subject of intense research in the last years. The present work is a systematic study at the B3LYP level of theory performed for a series of 50 OPV materials. Full geometry optimizations revealed that those systems with a twisted geometry are the most energetically stable. Nuclear independent Chemical shifts (NICS) values show a strong aromatic character along the series, indicating a possible polymerization in solid-state, via a {\pi}-{\pi} stacking, which may be relevant in the design of a solar cell device. The absorption spectra in the series was also computed using Time Dependent DFT at the same level of theory, indicating that all spectra are red-shifted along the series. This is a promissory property that may be directly implemented in a photovoltaic material, since it is possible to absorb a larger range of visible light. The computed HOMO-LUMO gaps as a measurement of the band gap in semiconductors, show a reasonable agreement with those found in experiment, predicting candidate materials that may be directly used in photovoltaic applications. Non-linear optical (NLO) properties were also estimated with the aid of a PCBM molecule as a model of an acceptor, and a final set of optimal systems was identified as potential candidates to be implemented as photovoltaic materials. The methodological approach presented in this work may aid in the in silico assisted-design of OPV materials.


title: Classical and quantum dispersion-free coherent propagation by tailoring multi-modal coupling

abstract: It is shown that tailored breaking of the translational symmetry through weak scattering in waveguides and optical fibers can control chromatic dispersions of the individual modes at any order; thereby, it overcomes the problem of coherent classical and quantum signal transmission at long distances. The methodology is based on previously developed quantum control techniques and gives an analytic solution in ideal scattering conditions; it has been also extended to incorporate and correct non-unitary effects in the presence of weak back-scattering. In practice, it requires scatterers able to couple different modes and carefully designed dispersion laws giving a null average quadratic dispersion in the spectral vicinity of the operational frequency.


title: Study of the excited $1^-$ charm and charm-strange mesons

abstract: We give a systematical study on the recently reported excited charm and charm-strange mesons with potential $1^-$ spin-parity, including the $D^*_{s1}(2700)^+$, $D^*_{s1}(2860)^+$, $D^*(2600)^0$, $D^*(2650)^0$, $D^*_1(2680)^0$ and $D^*_1(2760)^0$. The main strong decay properties are obtained by the framework of Bethe-Salpeter (BS) methods. Our results reveal that the two $1^-$ charm-strange mesons can be well described by the further $2^3\!S_1$-$1^3\!D_1$ mixing scheme with a mixing angle of $8.7^{+3.9}_{-3.2}$ degrees. The predicted decay ratio $\frac{\mathcal{B}(D^*K)}{\mathcal{B}(D~K)}$ for $D^*_{s1}(2860)$ is $0.62^{+0.22}_{-0.12}$.~$D^*(2600)^0$ can also be explained as the $2^3\!S_1$ predominant state with a mixing angle of $-(7.5^{+4.0}_{-3.3})$ degrees. Considering the mass range, $D^*(2650)^0$ and $D^*_1(2680)^0$ are more likely to be the $2^3\!S_1$ predominant states, although the total widths under both the $2^3\!S_1$ and $1^3\!D_1$ assignments have no great conflict with the current experimental data. The calculated width for LHCb $D^*_1(2760)^0$ seems about 100 \si{MeV} larger than experimental measurement if taking it as $1^3\!D_1$ or $1^3\!D_1$ dominant state $c\bar u$. The comparisons with other calculations and several important decay ratios are also present. For the identification of these $1^-$ charm mesons, further experimental information, such as $\frac{\mathcal{B}(D\pi)}{\mathcal{B}(D^*\pi)}$ are necessary.


title: Achievable Rate Region of the Zero-Forcing Precoder in a 2 X 2 MU-MISO Broadcast VLC Channel with Per-LED Peak Power Constraint and Dimming Control

abstract: In this paper, we consider the 2 X 2 multi-user multiple-input-single-output (MU-MISO) broadcast visible light communication (VLC) channel with two light emitting diodes (LEDs) at the transmitter and a single photo diode (PD) at each of the two users. We propose an achievable rate region of the Zero-Forcing (ZF) precoder in this 2 X 2 MU-MISO VLC channel under a per-LED peak and average power constraint, where the average optical power emitted from each LED is fixed for constant lighting, but is controllable (referred to as dimming control in IEEE 802.15.7 standard on VLC). We analytically characterize the proposed rate region boundary and show that it is Pareto-optimal. Further analysis reveals that the largest rate region is achieved when the fixed per-LED average optical power is half of the allowed per-LED peak optical power. We also propose a novel transceiver architecture where the channel encoder and dimming control are separated which greatly simplifies the complexity of the transceiver. A case study of an indoor VLC channel with the proposed transceiver reveals that the achievable information rates are sensitive to the placement of the LEDs and the PDs. An interesting observation is that for a given placement of LEDs in a 5 m X 5 m X 3 m room, even with a substantial displacement of the users from their optimum placement, reduction in the achievable rates is not significant. This observation could therefore be used to define "coverage zones" within a room where the reduction in the information rates to the two users is within an acceptable tolerance limit.


title: One dimensional magneto-optical compression of a cold CaF molecular beam

abstract: We demonstrate with a RF-MOT the one dimensional, transverse magneto-optical compression of a cold beam of calcium monofluoride (CaF). By continually alternating the magnetic field direction and laser polarizations of the magneto-optical trap, a photon scattering rate of $2\pi \times$0.4 MHz is achieved. A 3D model for this RF-MOT, validated by agreement with data, predicts a 3D RF-MOT capture velocity for CaF of 5 m/s.


title: On the Complexity of L-reachability

abstract: We initiate a complexity theoretic study of the language based graph reachability problem (L-REACH) : Fix a language L. Given a graph whose edges are labeled with alphabet symbols of the language L and two special vertices s and t, test if there is path P from s to t in the graph such that the concatenation of the symbols seen from s to t in the path P forms a string in the language L. We study variants of this problem with different graph classes and different language classes and obtain complexity theoretic characterizations for all of them. Our main results are the following: 1.Restricting the language using formal language theory we show that the complexity of L-REACH increases with the power of the formal language class. We show that there is a regular language for which the L-REACH is NL-complete even for undirected graphs. In the case of linear languages, the complexity of L-REACH does not go beyond the complexity of L itself. Further, there is a deterministic context-free language L for which L-DAGREACH is LogCFL-complete. 2.We use L-REACH as a lens to study structural complexity. In this direction we show that there is a language A in TC0 for which A-DAGREACH is NP-complete. Using this we show that P vs NP question is equivalent to P vs DAGREACH-1(P) question. This leads to the intriguing possibility that by proving DAGREACH-1(P) is contained in some subclass of P, we can prove an upward translation of separation of complexity classes. Note that we do not know a way to upward translate the separation of complexity classes.


title: Topological Quantum Numbers of Dyonic Fields over Taub-Bolt

abstract: We study the global structure of dyonic fields on a Taub-Bolt background, and compare our results with similar fields over Taub-NUT and Schwarzschild spaces. It is shown that the electric and magnetic charges are quantized and lead to a classification of dyonic Taub-Bolt configurations. The quantization condition for the magnetic charge is similar to that of Dirac's monopole.


title: Extended Configurational Polyhedra Based on Graph Representation for Crystalline Solids

abstract: We propose theoretical approach based on combination of graph theory and generalized Ising model (GIM), which enables systematic determination of extremal structures for crystalline solids without any information about interactions or constituent elements. The conventional approach to find such set of structure typically employs configurational polyhedra (CP) on configuration space based on GIM description, whose vertices can always be candidates to exhibit maximum or minimum physical quantities. We demonstrate that the present approach can construct extended CP whose vertices not only include those found in conventional CP, but also include other topologically and/or configurationally characteristic structures on the same dimensional configuration space with the same set of figures composed of underlying lattice points, which therefore has significant advantage over the conventional approach.


title: Interplay of iron and rare-earth magnetic order in rare-earth iron pnictide superconductors under magnetic field

abstract: The magnetic properties of iron pnictide superconductors with magnetic rare-earth ions under strong magnetic field are investigated based on the cluster self-consistent field method. Starting from an effective Heisenberg model, we present the evolution of magnetic structures on magnetic field in RFeAsO (R=Ce, Pr, Nd, Sm, Gd and Tb) and RFe2As2 (R=Eu) compounds. It is found that spin-flop transition occurs in both rare-earth and iron layers under magnetic field, in good agreement with the experimental results. The interplay between rare-earth and iron spins plays a key role in the magnetic-field-driven magnetic phase transition, which suggests that the rare-earth layers can modulate the magnetic behaviors of iron layers. In addition, the factors that affect the critical magnetic field for spin-flop transition are also discussed.


title: Multitarget search on complex networks: A logarithmic growth of global mean random cover time

abstract: We investigate multitarget search on complex networks and derive an exact expression for the mean random cover time that quantifies the expected time a walker needs to visit multiple targets. Based on this, we recover and extend some interesting results of multitarget search on networks. Specifically, we observe the logarithmic increase of the global mean random cover time with the target number for a broad range of random search processes, including generic random walks, biased random walks, and maximal entropy random walks. We show that the logarithmic growth pattern is a universal feature of multi-target search on networks by using the annealed network approach and the Sherman-Morrison formula. Moreover, we find that for biased random walks, the global mean random cover time can be minimized, and that the corresponding optimal parameter also minimizes the global mean first passage time, pointing towards its robustness. Our findings further confirm that the logarithmic growth pattern is a universal law governing multitarget search in confined media.


title: Milli-arcsecond imaging of the radio emission from the quasar with the most massive black hole at reionization

abstract: We report Very Long Baseline Array (VLBA) observations of the 1.5 GHz radio continuum emission of the {\it z=6.326} quasar SDSS J010013.02+280225.8 (hereafter J0100+2802). J0100+2802 is, by far the most optically luminous, and radio-quiet quasar with the most massive black hole known at z>6. The VLBA observations have a synthesized beam size of 12.10 mas $\times$5.36 mas (FWHM), and detected the radio continuum emission from this object with a peak surface brightness of 64.6+/-9.0 micro-Jy/beam and a total flux density of 88+/-19 micro-Jy. The position of the radio peak is consistent with that from SDSS in the optical and Chandra in the X-ray. The radio source is marginally resolved by the VLBA observations. A 2-D Gaussian fit to the image constrains the source size to $\rm (7.1+/-3.5) mas x (3.1+/-1.7) mas. This corresponds to a physical scale of (40+/-20) pc x (18+/-10) pc. We estimate the intrinsic brightness temperature of the VLBA source to be T_{B}=(1.6 +/- 1.2) x 10^{7} K. This is significantly higher than the maximum value in normal star forming galaxies, indicating an AGN origin for the radio continuum emission. However, it is also significantly lower than the brightness temperatures found in highest redshift radio-loud quasars. J0100+2802 provides a unique example to study the radio activity in optically luminous and radio quiet active galactic nuclei in the early universe. Further observations at multiple radio frequencies will accurately measure the spectral index and address the dominant radiation mechanism of the radio emission.


title: A quick estimation of luminosity function based on the luminosity-distance diagram

abstract: Based on the luminosity-distance diagram, we propose a method to quickly estimate the luminosity function for any certain astrophysical objects. Giving the mean distance between any two objects at a given luminosity range, we can find the relation between the mean distance and the luminosity, and consequently can obtain the luminosity function. Not like the straightforward counting method, this method does not need a complete sample. The only requirement is that the object distributes uniformly in space. We apply this method to a simulated sample, and find it can produce the luminosity function properly. This method can also be used for energy function.


title: An integrated device with high performance multi-function generators and Time-to-digital convertors

abstract: A highly integrated, high performance, and re-configurable device, which is designed for the Nitrogen-Vacancy center based quantum applications, is reported. The digital compartment of the device is fully implemented in a Field-Programmable-Gate- Array. The digital compartment is designed to manage the multi-function digital waveform generation and the Time-to-Digital-Convertors. The device provides two Arbitrary-Waveform-Generator channels which operate at a 1 Gsps sampling rate with a maximum bandwidth of 500 MHz. There are twelve pulse channels integrated in the device with a 50 ps time resolution in both duration and delay. The pulse channels operate with the 3.3 V Transistor-Transistor logic. The FPGA-based Timeto- Digital-Convertor provides a 23-ps time measurement precision. A data accumulation module, which can record the input count rate and the distributions of the time measurement, is also available. A Digital-to-Analog-Convertor board is implemented as the analog compartment, which converts the digital waveforms to analog signals with 500 MHz low-pass-filters. All the input and output channels of the device are equipped with 50 Sub-Miniature version A termination. The hardware design is modularized thus it can be easily upgraded with compatible components. The device is suitable to be applied in the quantum technologies based on the N-V centers, as well as in other quantum solid state systems, such as quantum dots, phosphorus doped in silicon and defect spins in silicon carbide.


title: An EPTAS for Scheduling on Unrelated Machines of Few Different Types

abstract: In the classical problem of scheduling on unrelated parallel machines, a set of jobs has to be assigned to a set of machines. The jobs have a processing time depending on the machine and the goal is to minimize the makespan, that is the maximum machine load. It is well known that this problem is NP-hard and does not allow polynomial time approximation algorithms with approximation guarantees smaller than $1.5$ unless P$=$NP. We consider the case that there are only a constant number $K$ of machine types. Two machines have the same type if all jobs have the same processing time for them. This variant of the problem is strongly NP-hard already for $K=1$. We present an efficient polynomial time approximation scheme (EPTAS) for the problem, that is, for any $\varepsilon > 0$ an assignment with makespan of length at most $(1+\varepsilon)$ times the optimum can be found in polynomial time in the input length and the exponent is independent of $1/\varepsilon$. In particular we achieve a running time of $2^{\mathcal{O}(K\log(K) \frac{1}{\varepsilon}\log^4 \frac{1}{\varepsilon})}+\mathrm{poly}(|I|)$, where $|I|$ denotes the input length. Furthermore, we study three other problem variants and present an EPTAS for each of them: The Santa Claus problem, where the minimum machine load has to be maximized; the case of scheduling on unrelated parallel machines with a constant number of uniform types, where machines of the same type behave like uniformly related machines; and the multidimensional vector scheduling variant of the problem where both the dimension and the number of machine types are constant. For the Santa Claus problem we achieve the same running time. The results are achieved, using mixed integer linear programming and rounding techniques.


title: On the Successive Cancellation Decoding of Polar Codes with Arbitrary Linear Binary Kernels

abstract: A method for efficiently successive cancellation (SC) decoding of polar codes with high-dimensional linear binary kernels (HDLBK) is presented and analyzed. We devise a $l$-expressions method which can obtain simplified recursive formulas of SC decoder in likelihood ratio form for arbitrary linear binary kernels to reduce the complexity of corresponding SC decoder. By considering the bit-channel transition probabilities $W_{G}^{(\cdot)}(\cdot|0)$ and $W_{G}^{(\cdot)}(\cdot|1)$ separately, a $W$-expressions method is proposed to further reduce the complexity of HDLBK based SC decoder. For a $m\times m$ binary kernel, the complexity of straightforward SC decoder is $O(2^{m}N\log N)$. With $W$-expressions, we reduce the complexity of straightforward SC decoder to $O(m^{2}N\log N)$ when $m\leq 16$. Simulation results show that $16\times16$ kernel polar codes offer significant advantages in terms of error performances compared with $2\times2$ kernel polar codes under SC and list SC decoders.


title: Inverse Edelstein effect of the surface states of a topological insulator

abstract: The surface states of three-dimensional topological insulators posses the unique property of spin-momentum interlocking. This property gives rise to the interesting inverse Edelstein effect (IEE), in which an applied spin bias $\mu$ is converted to a measurable charge voltage difference $V$. We develop a semiclassical theory for the IEE of the surface states of $\text{Bi}_2\text{Se}_3$ thin films, which is applicable from the ballistic regime to diffusive regime. We find that the IEE efficiency ratio $\gamma=V/\mu$ exhibits universal dependence on sample size, and approaches $\pi/4$ in the ballistic limit and $1$ in the diffusive limit.


title: Probabilistic Diffeomorphic Registration: Representing Uncertainty

abstract: This paper presents a novel mathematical framework for representing uncertainty in large deformation diffeomorphic image registration. The Bayesian posterior distribution over the deformations aligning a moving and a fixed image is approximated via a variational formulation. A stochastic differential equation (SDE) modeling the deformations as the evolution of a time-varying velocity field leads to a prior density over deformations in the form of a Gaussian process. This permits estimating the full posterior distribution in order to represent uncertainty, in contrast to methods in which the posterior is approximated via Monte Carlo sampling or maximized in maximum a-posteriori (MAP) estimation. The frame-work is demonstrated in the case of landmark-based image registration, including simulated data and annotated pre and intra-operative 3D images.


title: Robust clustering for functional data based on trimming and constraints

abstract: Many clustering algorithms when the data are curves or functions have been recently proposed. However, the presence of contamination in the sample of curves can influence the performance of most of them. In this work we propose a robust, model-based clustering method based on an approximation to the "density function" for functional data. The robustness results from the joint application of trimming, for reducing the effect of contaminated observations, and constraints on the variances, for avoiding spurious clusters in the solution. The proposed method has been evaluated through a simulation study. Finally, an application to a real data problem is given.


title: Relaxation of the EM Algorithm via Quantum Annealing for Gaussian Mixture Models

abstract: We propose a modified expectation-maximization algorithm by introducing the concept of quantum annealing, which we call the deterministic quantum annealing expectation-maximization (DQAEM) algorithm. The expectation-maximization (EM) algorithm is an established algorithm to compute maximum likelihood estimates and applied to many practical applications. However, it is known that EM heavily depends on initial values and its estimates are sometimes trapped by local optima. To solve such a problem, quantum annealing (QA) was proposed as a novel optimization approach motivated by quantum mechanics. By employing QA, we then formulate DQAEM and present a theorem that supports its stability. Finally, we demonstrate numerical simulations to confirm its efficiency.


title: Quantifying photonic high-dimensional entanglement

abstract: High-dimensional entanglement offers promising perspectives in quantum information science. In practice, however, the main challenge is to devise efficient methods to characterize high-dimensional entanglement, based on the available experimental data which is usually rather limited. Here we report the characterization and certification of high-dimensional entanglement in photon pairs, encoded in temporal modes. Building upon recently developed theoretical methods, we certify an entanglement of formation of 2.09(7) ebits in a time-bin implementation, and 4.1(1) ebits in an energy-time implementation. These results are based on very limited sets of local measurements, which illustrates the practical relevance of these methods.


title: Wake-mediated propulsion of an upstream particle in two-dimensional plasma crystals

abstract: The wake-mediated propulsion of an "extra" particle in a channel of two neighboring rows of a two-dimensional plasma crystal, observed experimentally by Du et al. [Phys. Rev. E 89, 021101(R) (2014)], is explained in simulations and theory. We use the simple model of a pointlike ion wake charge to reproduce this intriguing effect in simulations, allowing for a detailed investigation and a deeper understanding of the underlying dynamics. We show that the nonreciprocity of the particle interaction, owing to the wake charges, is responsible for a broken symmetry of the channel that enables a persistent self-propelled motion of the extra particle. We find good agreement of the terminal extra-particle velocity with our theoretical considerations and with experiments.


title: Isotropic-Nematic Phase Transitions in Gravitational Systems

abstract: We examine dense self-gravitating stellar systems dominated by a central potential, such as nuclear star clusters hosting a central supermassive black hole. Different dynamical properties of these systems evolve on vastly different timescales. In particular, the orbital-plane orientations are typically driven into internal thermodynamic equilibrium by vector resonant relaxation before the orbital eccentricities or semimajor axes relax. We show that the statistical mechanics of such systems exhibit a striking resemblance to liquid crystals, with analogous ordered-nematic and disordered-isotropic phases. The ordered phase consists of bodies orbiting in a disk in both directions, with the disk thickness depending on temperature, while the disordered phase corresponds to a nearly isotropic distribution of the orbit normals. We show that below a critical value of the total angular momentum, the system undergoes a first-order phase transition between the ordered and disordered phases. At the critical point the phase transition becomes second-order while for higher angular momenta there is a smooth crossover. We also find metastable equilibria containing two identical disks with mutual inclinations between $90^{\circ}$ and $180^\circ$.


title: Markovian Integral Equations

abstract: We analyze multidimensional Markovian integral equations that are formulated with a time-inhomogeneous progressive Markov process that has Borel measurable transition probabilities. In the case of a path-dependent diffusion process, the solutions to these integral equations lead to the concept of mild solutions to semilinear parabolic path-dependent partial differential equations (PPDEs). Our goal is to establish uniqueness, stability, existence, and non-extendibility of solutions among a certain class of maps. By requiring the Feller property of the Markov process, we give weak conditions under which solutions become continuous. Moreover, we provide a multidimensional Feynman-Kac formula and a one-dimensional global existence- and uniqueness result.


title: Fermion pairing in mixed-dimensional atomic mixtures

abstract: We investigate the quantum phases of mixed-dimensional cold atom mixtures. In particular, we consider a mixture of a Fermi gas in a two-dimensional lattice, interacting with a bulk Fermi gas or a Bose-Einstein condensate in a three-dimensional lattice. The effective interaction of the two-dimensional system mediated by the bulk system is determined. We perform a functional renormalization group analysis, and demonstrate that by tuning the properties of the bulk system, a subtle competition of several superconducting orders can be controlled among $s$-wave, $p$-wave, $d_{x^2-y^2}$-wave, and $g_{xy(x^2-y^2)}$-wave pairing symmetries. Other instabilities such as a charge-density wave order are also demonstrated to occur. In particular, we find that the critical temperature of the $d$-wave pairing induced by the next-nearest-neighbor interactions can be an order of magnitude larger than that of the same pairing induced by doping in the simple Hubbard model. We expect that by combining the nearest-neighbor interaction with the next-nearest-neighbor hopping (known to enhance $d$-wave pairing), an even higher critical temperature may be achieved.


title: Investigating the role of musical genre in human perception of music stretching resistance

abstract: To stretch a music piece to a given length is a common demand in people's daily lives, e.g., in audio-video synchronization and animation production. However, it is not always guaranteed that the stretched music piece is acceptable for general audience since music stretching suffers from people's perceptual artefacts. Over-stretching a music piece will make it uncomfortable for human psychoacoustic hearing. The research on music stretching resistance attempts to estimate the maximum stretchability of music pieces to further avoid over-stretch. It has been observed that musical genres can significantly improve the accuracy of automatic estimation of music stretching resistance, but how musical genres are related to music stretching resistance has never been explained or studied in detail in the literature. In this paper, the characteristics of music stretching resistance are compared across different musical genres. It is found that music stretching resistance has strong intra-genre cohesiveness and inter-genre discrepancies in the experiments. Moreover, the ambiguity and the symmetry of music stretching resistance are also observed in the experimental analysis. These findings lead to a new measurement on the similarity between different musical genres based on their music stretching resistance. In addition, the analysis of variance (ANOVA) also supports the findings in this paper by verifying the significance of musical genre in shaping music stretching resistance.


title: On the Accuracy of Equivalent Antenna Representations

abstract: The accuracy of two equivalent antenna representations, near-field sources and far-field sources, are evaluated for an antenna installed on a simplified platform in a series of case studies using different configurations of equivalent antenna representations. The accuracy is evaluated in terms of installed far-fields and surface currents on the platform. The results show large variations between configurations. The root-mean-square installed far-field error is 4.4% for the most accurate equivalent representation. When using far-field sources, the design parameters have a large influence of the achieved accuracy. There is also a varying accuracy depending on the type of numerical method used. Based on the results, some recommendations on the choice of sub-domain for the equivalent antenna representation are given. In industrial antenna applications, the accuracy in determining e.g. installed far-fields and antenna isolation on large platforms are critical. Equivalent representations can reduce the fine-detail complexity of antennas and thus give an efficient numerical descriptions to be used in large-scale simulations. The results in this paper can be used as a guideline by antenna designers or system engineers when using equivalent sources.


title: Generic 1-parameter pertubations of a vector field with a singular point of codimension k

abstract: We describe the equivalence classes of germs of generic 1-parameter families of complex vector fields z dot = omega_epsilon(z) on C unfolding a singular point of multiplicity k+1: omega_0 = z^{k+1} + o(z^{k+1}). The equivalence is under conjugacy by holomorphic change of coordinate and parameter. We provide a description of the modulus space and (almost) unique normal forms. As a preparatory step, we present the complete bifurcation diagram of the family of vector fields z dot = z^{k+1} - epsilon, over CP1.


title: Cobwebs from the Past and Present: Extracting Large Social Networks using Internet Archive Data

abstract: Social graph construction from various sources has been of interest to researchers due to its application potential and the broad range of technical challenges involved. The World Wide Web provides a huge amount of continuously updated data and information on a wide range of topics created by a variety of content providers, and makes the study of extracted people networks and their temporal evolution valuable for social as well as computer scientists. In this paper we present SocGraph - an extraction and exploration system for social relations from the content of around 2 billion web pages collected by the Internet Archive over the 17 years time period between 1996 and 2013. We describe methods for constructing large social graphs from extracted relations and introduce an interface to study their temporal evolution.


title: Symmetry characterization of the collective modes of the phase diagram of the $\nu=0$ quantum Hall state in graphene: Mean-field and spontaneously broken symmetries

abstract: We devote this work to the study of the mean-field phase diagram of the $\nu=0$ quantum Hall state in bilayer graphene and the computation of the corresponding neutral collective modes, extending the results of recent works in the literature. Specifically, we provide a detailed classification of the complete orbital-valley-spin structure of the collective modes and show that phase transitions are characterized by singlet modes in orbital pseudospin, which are independent of the Coulomb strength and suffer strong many-body corrections from short-range interactions at low momentum. We describe the symmetry breaking mechanism for phase transitions in terms of the valley-spin structure of the Goldstone modes. For the remaining phase boundaries, we prove that the associated exact $SO(5)$ symmetry existing at zero Zeeman energy and interlayer voltage survives as a weaker mean-field symmetry of the Hartree-Fock equations. We extend the previous results for bilayer graphene to the monolayer scenario. Finally, we show that taking into account Landau level mixing through screening does not modify the physical picture explained above.


title: Calabi-Yau threefolds fibred by high rank lattice polarized K3 surfaces

abstract: We study threefolds fibred by K3 surfaces admitting a lattice polarization by a certain class of rank 19 lattices. We begin by showing that any family of such K3 surfaces is completely determined by a map from the base of the family to the appropriate K3 moduli space, which we call the generalized functional invariant. Then we show that if the threefold total space is a smooth Calabi-Yau, there are only finitely many possibilities for the polarizing lattice and the form of the generalized functional invariant. Finally, we construct explicit examples of Calabi-Yau threefolds realizing each case and compute their Hodge numbers.


title: Operational locality in global theories

abstract: Within a global physical theory, a notion of locality allows us to find and justify information-processing primitives, like non-signalling between distant agents. Here we propose exploring the opposite direction: to take agents as the basic building blocks through which we test a physical theory, and recover operational notions of locality from signalling conditions. First we introduce an operational model for the effective state spaces of individual agents, as well as the range of their actions. We then formulate natural secrecy conditions between agents and identify the aspects of locality relevant for signalling. We discuss the possibility of taking commutation of transformations as a primitive of physical theories, as well as applications to quantum theory and generalized probability frameworks. This "it from bit" approach establishes an operational connection between local action and local observations, and gives a global interpretation to concepts like discarding a subsystem or composing local functions.


title: Modularized Morphing of Neural Networks

abstract: In this work we study the problem of network morphism, an effective learning scheme to morph a well-trained neural network to a new one with the network function completely preserved. Different from existing work where basic morphing types on the layer level were addressed, we target at the central problem of network morphism at a higher level, i.e., how a convolutional layer can be morphed into an arbitrary module of a neural network. To simplify the representation of a network, we abstract a module as a graph with blobs as vertices and convolutional layers as edges, based on which the morphing process is able to be formulated as a graph transformation problem. Two atomic morphing operations are introduced to compose the graphs, based on which modules are classified into two families, i.e., simple morphable modules and complex modules. We present practical morphing solutions for both of these two families, and prove that any reasonable module can be morphed from a single convolutional layer. Extensive experiments have been conducted based on the state-of-the-art ResNet on benchmark datasets, and the effectiveness of the proposed solution has been verified.


title: Heterogeneous Cellular Networks with LoS and NLoS Transmissions--The Role of Massive MIMO and Small Cells

abstract: We develop a framework for downlink heterogeneous cellular networks with line-of-sight (LoS) and non-line-of-sight (NLoS) transmissions. Using stochastic geometry, we derive tight approximation of achievable downlink rate that enables us to compare the performance between densifying small cells and expanding BS antenna arrays. Interestingly, we find that adding small cells into the network improves the achievable rate much faster than expanding antenna arrays at the macro BS. However, when the small cell density exceeds a critical threshold, the spacial densification will lose its benefits and further impair the network capacity. To this end, we present the optimal small cell density that maximizes the rate as practical deployment guidance. In contrast, expanding macro BS antenna array can always benefit the capacity until an upper bound caused by pilot contamination, and this bound also surpasses the peak rate obtained from deployment of small cells. Furthermore, we find that allocating part of antennas to distributed small cell BSs works better than centralizing all antennas at the macro BS, and the optimal allocation proportion is also given for practical configuration reference. In summary, this work provides a further understanding on how to leverage small cells and massive MIMO in future heterogeneous cellular networks deployment.


title: Disruption of the accidental Dirac semimetal state in ZrTe$_{5}$ under hydrostatic pressure

abstract: We study the effect of hydrostatic pressure on the magnetotransport properties of the zirconium pentatelluride. The magnitude of resistivity anomaly gets enhanced with increasing pressure, but the transition temperature $T^{\ast}$ is almost independent of it. In the case of H $\parallel$ $b$, the quasi-linear magnetoresistance decreases drastically from 3300$\%$ (9 T) at ambient pressure to 400$\%$ (14 T) at 2.5 GPa. Besides, the change of the quantum oscillation phase from topological nontrivial to trivial is revealed around 2 GPa. Both demonstrate that the pressure breaks the accidental Dirac node in ZrTe$_{5}$. For H $\parallel$ $c$, in contrast, subtle changes can be seen in the magnetoresistance and quantum oscillations. In the presence of pressure, ZrTe$_{5}$ evolves from a highly anisotropic to a nearly isotropic electronic system, which accompanies with the disruption of the accidental Dirac semimetal state. It supports the assumption that ZrTe$_{5}$ is a semi-3D Dirac system with linear dispersion along two directions and a quadratic one along the third.


title: Doubly-Heavy Baryon Weak Decays: $\Xi_{bc}^{0}\to pK^{-}$ and $\Xi_{cc}^{+}\to \Sigma_{c}^{++}(2520)K^{-}$

abstract: Doubly-heavy baryons, with two heavy and one light quarks, are expected to exist in QCD and their masses have been predicted in the quark model. However their existence is not well established so far in experiment. In this work, we explore the possibility of searching for $\Xi_{bc}$ and $\Xi_{cc}^{+}$ in the $W$-exchange processes, $\Xi_{bc}^{0}\to pK^{-}$ and $\Xi_{cc}^{+}\to \Sigma_{c}^{++}(2520)K^{-}$. On the basis of perturbative calculations, we estimate the branching ratio of the first decay as ${\cal BR}(\Xi_{bc}^0\to p^+ K^-)\approx3.21\times {\cal R}^2_f \times {\cal R}_{\tau}\times 10^{-7}$, where ${\cal R}_f$ (${\cal R}_{\tau}$) are the ratios of the decay constants (lifetimes) of $\Xi_{bc}^{0}$ and $\Lambda_b^{0}$. The branching ratio of $\Xi_{cc}^{+}\to \Sigma_{c}^{++}(2520)K^{-}$ is related to that of $\Lambda_c^+\to \Delta^{++} K^-$, and thereby a conjectured topology analysis leads to the range for the branching ratio as: ${\cal BR}(\Xi_{cc}^+\to \Sigma_{c}^{++}(2520) K^-)\in \left[0.36\%,1.80\%\right]$. The decay $\Xi_{cc}^+\to \Sigma_{c}^{++}(2520) K^-$ would be reconstructed in the $ \Lambda_{c}^{+}K^{-}\pi^{+}$ final state which is easy to access even at a hadron collider. Based on the two facts that abundant heavy quarks can be produced at a hadron collider like LHC, and the branching ratios of $\Xi_{bc}^{0}\to pK^{-}$ and $\Xi_{cc}^{+}\to \Sigma_{c}^{++}(2520)K^{-}$ are sizable, we urge our experimental colleagues to perform a search at LHCb. This will presumably lead to the discovery of the $\Xi_{bc}$ and $\Xi_{cc}^{+}$ , and precision measurements of the branching ratios in the future are helpful to investigate their decay mechanism.


title: Longitudinal spin Seebeck coefficient: heat flux vs. temperature difference method

abstract: The determination of the longitudinal spin Seebeck effect (LSSE) coefficient is currently plagued by a large uncertainty due to the poor reproducibility of the experimental conditions used in its measurement. In this work we present a detailed analysis of two different methods used for the determination of the LSSE coefficient. We have performed LSSE experiments in different laboratories, by using different setups and employing both the temperature difference method and the heat flux method. We found that the lack of reproducibility can be mainly attributed to the thermal contact resistance between the sample and the thermal baths which generate the temperature gradient. Due to the variation of the thermal resistance, we found that the scaling of the LSSE voltage to the heat flux through the sample rather than to the temperature difference across the sample greatly reduces the uncertainty. The characteristics of a single YIG/Pt LSSE device obtained with two different setups was $(1.143\pm0.007)\cdot 10^{-7}$ Vm/W and $(1.101\pm0.015)\cdot 10^{-7}$ Vm/W with the heat flux method and $(2.313\pm0.017)\cdot 10^{-7}$ V/K and $(4.956\pm0.005)\cdot 10^{-7}$ V/K with the temperature difference method. This shows that systematic errors can be considerably reduced with the heat flux method.


title: Double swept band selective excitation

abstract: The paper describes the design of band selective excitation and rotation pulses in high resolution NMR by method of double sweep. We first show the design of a pulse sequence that produces band selective excitation to the equator of Bloch sphere with phase linearly dispersed as frequency. We show how this linear dispersion can then be refocused by nesting free evolution between two adiabatic inversions (sweeps). We then show how this construction can be generalized to give a band selective $x$ rotation over desired frequency band. Experimental excitation profiles for the residual HDO signal in a sample of $99.5\%$ D$_2$O are obtained as a function of resonance offset.


title: Puzzling evidence for surface superconductivity in the layered dichalcogenide Cu$_{10\%}$TiSe$_2$

abstract: We report on specific heat and magnetotransport measurements performed on superconducting Cu$_{10\%}$TiSe$_2$ single crystals. We show that superconductivity persists in transport measurements up to magnetic fields $H_R$ well above the upper critical field $H_{c2}$ deduced from the calorimetric measurements. Surprisingly this "surface" superconductivity is present for all magnetic field orientations, either parallel or perpendicular to the layers. For $H\|ab$, the temperature dependence of the $H_R/H_{c2}$ ratio can be well reproduced by solving the Ginzburg-Landau equations in presence of a surface layer with reduced superconducting properties. Unexpectedly this temperature dependence does not depend on the field orientation.


title: Coupled Yu-Shiba-Rusinov states in molecular dimers on NbSe$_2$

abstract: Magnetic impurities have a dramatic effect on superconductivity by breaking the time-reversal symmetry and inducing so-called Yu-Shiba-Rusinov (YSR) low energy bound states within the superconducting gap. The spatial extent of YSR states is greatly enhanced in 2D systems, which should facilitate the formation of coupled states. Here, we observe YSR states on single cobalt phthalocyanine (CoPC) molecules on a 2D superconductor NbSe$_2$ using low-temperature scanning tunneling microscopy (STM) and spectroscopy (STS). We use STM lateral manipulation to create controlled CoPc dimers and demonstrate the formation of coupled YSR states. The experimental results are corroborated by theoretical analysis of the coupled states in lattice and continuum models. Our work forms an important step towards the realization of exotic topological states in designer magnetic lattices.


title: Random Hermitian Matrices and Gaussian Multiplicative Chaos

abstract: We prove that when suitably normalized, small enough powers of the absolute value of the characteristic polynomial of random Hermitian matrices, drawn from one-cut regular unitary invariant ensembles, converge in law to Gaussian multiplicative chaos measures. We prove this in the so-called $L^2$-phase of multiplicative chaos. Our main tools are asymptotics of Hankel determinants with Fisher-Hartwig singularities. Using Riemann-Hilbert methods, we prove a rather general Fisher-Hartwig formula for one-cut regular unitary invariant ensembles.


title: Second Order Analysis for Joint Source-Channel Coding with Markovian Source

abstract: We derive the second order rates of joint source-channel coding, whose source obeys an irreducible and ergodic Markov process when the channel is a discrete memoryless, while a previous study solved it only in a special case. We also compare the joint source-channel scheme with the separation scheme in the second order regime while a previous study made a notable comparison only with numerical calculation. To make these two notable progress, we introduce two kinds of new distribution families, switched Gaussian convolution distribution and *-product distribution, which are defined by modifying the Gaussian distribution.


title: Position Aided Beam Alignment for Millimeter Wave Backhaul Systems with Large Phased Arrays

abstract: Wireless backhaul communication has been recently realized with large antennas operating in the millimeter wave (mmWave) frequency band and implementing highly directional beamforming. In this paper, we focus on the alignment problem of narrow beams between fixed position network nodes in mmWave backhaul systems that are subject to small displacements due to wind flow or ground vibration. We consider nodes equipped with antenna arrays that are capable of performing only analog processing and communicate through wireless channels including a line-of-sight component. Aiming at minimizing the time needed to achieve beam alignment, we present an efficient method that capitalizes on the exchange of position information between the nodes to design their beamforming and combining vectors. Some numerical results on the outage probability with the proposed beam alignment method offer useful preliminary insights on the impact of some system and operation parameters.


title: Structural instability of large-scale functional networks

abstract: We study how large functional networks can grow stably under possible cascading overload failures and evaluated the maximum stable network size above which even a small-scale failure would cause a fatal breakdown of the network. Employing a model of cascading failures induced by temporally fluctuating loads, the maximum stable size $n_{\text{max}}$ has been calculated as a function of the load reduction parameter $r$ that characterizes how quickly the total load is reduced during the cascade. If we reduce the total load sufficiently fast ($r\ge r_{\text{c}}$), the network can grow infinitely. Otherwise, $n_{\text{max}}$ is finite and increases with $r$. For a fixed $r\,(<r_{\text{c}})$, $n_{\text{max}}$ for a scale-free network is larger than that for an exponential network with the same average degree. We also discuss how one detects and avoids the crisis of a fatal breakdown of the network from the relation between the sizes of the initial network and the largest component after an ordinarily occurring cascading failure.


title: Sectional curvature asymptotics of the Higgs bundle moduli space

abstract: We determine the asymptotic behavior in the limit of large Higgs fields of the sectional curvatures of the natural $L^2$ hyperk\"ahler metric $G_{L^2}$ of the moduli space $\mathcal M$ of rank-$2$ Higgs bundles on a Riemann surface $\Sigma$ away from the discriminant locus. It is shown that their leading order part is given by a sum of Dirac type contributions on $\Sigma$, for which we find explicit expressions.


title: On Discrete Gibbs Measure Approximation to Runs

abstract: A Stein operator for the runs is derived as a perturbation of an operator for discrete Gibbs measure. Due to this fact, using perturbation technique, the approximation results for runs arising from identical and non-identical Bernoulli trials are derived via Stein method. The bounds obtained are new and their importance is demonstrated through an interesting application.


title: Automatic Cloud Resource Scaling Algorithm based on Long Short-Term Memory Recurrent Neural Network

abstract: Scalability is an important characteristic of cloud computing. With scalability, cost is minimized by provisioning and releasing resources according to demand. Most of current Infrastructure as a Service (IaaS) providers deliver threshold-based auto-scaling techniques. However, setting up thresholds with right values that minimize cost and achieve Service Level Agreement is not an easy task, especially with variant and sudden workload changes. This paper has proposed dynamic threshold based auto-scaling algorithms that predict required resources using Long Short-Term Memory Recurrent Neural Network and auto-scale virtual resources based on predicted values. The proposed algorithms have been evaluated and compared with some of existing algorithms. Experimental results show that the proposed algorithms outperform other algorithms.


title: Using Multiple Seasonal Holt-Winters Exponential Smoothing to Predict Cloud Resource Provisioning

abstract: Elasticity is one of the key features of cloud computing that attracts many SaaS providers to minimize their services' cost. Cost is minimized by automatically provision and release computational resources depend on actual computational needs. However, delay of starting up new virtual resources can cause Service Level Agreement violation. Consequently, predicting cloud resources provisioning gains a lot of attention to scale computational resources in advance. However, most of current approaches do not consider multi-seasonality in cloud workloads. This paper proposes cloud resource provisioning prediction algorithm based on Holt-Winters exponential smoothing method. The proposed algorithm extends Holt-Winters exponential smoothing method to model cloud workload with multi-seasonal cycles. Prediction accuracy of the proposed algorithm has been improved by employing Artificial Bee Colony algorithm to optimize its parameters. Performance of the proposed algorithm has been evaluated and compared with double and triple exponential smoothing methods. Our results have shown that the proposed algorithm outperforms other methods.


title: Solutions to twisted word equations and equations in virtually free groups

abstract: It is well known that the problem solving equations in virtually free groups can be reduced to the problem of solving twisted word equations with regular constraints over free monoids with involution. In this paper we prove that the set of all solutions of a twisted word equation is an EDT0L language whose specification can be computed in $\mathsf{PSPACE}$. Within the same complexity bound we can decide whether the solution set is empty, finite, or infinite. In the second part of the paper we apply the results for twisted equations to obtain in $\mathsf{PSPACE}$ an EDT0L description of the solution set of equations with rational constraints for finitely generated virtually free groups in standard normal forms with respect to a natural set of generators. If the rational constraints are given by a homomorphism into a fixed (or "small enough") finite monoid, then our algorithms can be implemented in $\mathsf{NSPACE}(n^2\log n)$, that is, in quasi-quadratic nondeterministic space. Our results generalize the work by Lohrey and S\'enizergues (ICALP 2006) and Dahmani and Guirardel (J. of Topology 2010) with respect to both complexity and expressive power. Neither paper gave any concrete complexity bound and the results in these papers are stated for subsets of solutions only, whereas our results concern all solutions.


title: Four-Dimensional N=2 Supersymmetric Theory with Boundary as a Two-Dimensional Complex Toda Theory

abstract: We perform a series of dimensional reductions of the 6d, $\mathcal{N}=(2,0)$ SCFT on $S^2\times\Sigma\times I\times S^1$ down to 2d on $\Sigma$. The reductions are performed in three steps: (i) a reduction on $S^1$ (accompanied by a topological twist along $\Sigma$) leading to a supersymmetric Yang-Mills theory on $S^2\times\Sigma\times I$, (ii) a further reduction on $S^2$ resulting in a complex Chern--Simons theory defined on $\Sigma\times I$, with the real part of the complex Chern-Simons level being zero, and the imaginary part being proportional to the ratio of the radii of $S^2$ and $S^1$, and (iii) a final reduction to the boundary modes of complex Chern--Simons theory with the Nahm pole boundary condition at both ends of the interval $I$, which gives rise to a complex Toda CFT on the Riemann surface $\Sigma$. As the reduction of the 6d theory on $\Sigma$ would give rise to an $\mathcal{N}=2$ supersymmetric theory on $S^2\times I\times S^1$, our results imply a 4d-2d duality between four-dimensional $\mathcal{N}=2$ supersymmetric theory with boundary and two-dimensional complex Toda theory.


title: Extraction of the bare form factors for the semi-leptonic $B_s$ decays

abstract: The computation of the form factors for the $B_s \to K \ell \nu$ decay is presented. The b quark is treated by means of Heavy Quark Effective Theory, currently in the static approximation. In these proceedings we discuss the extraction of the bare matrix elements from lattice data through a combined fit to two- and three-point correlation functions, as well as by considering suitable ratios. The different methods agree concerning the extracted form factors and approximately 2% accuracy is reached. The non-perturbative renormalization and matching to QCD is described in accompanying proceedings PoS(LATTICE2016)292.


title: Pilot system development in metre-scale laboratory discharge

abstract: The pilot system development in metre-scale negative laboratory discharges is studied with ns-fast photography. The systems appear as bipolar structures in the vicinity of the negative high-voltage electrode. They appear as a result of a single negative streamer propagation and determine further discharge development. Such systems possess features like glowing beads, bipolarity, different brightness of the top and bottom parts, and mutual reconnection. A 1D model of the ionization evolution in the spark gap is proposed. In the process of the nonlinear development of ionization growth, the model shows features similar to those observed. The visual similarities between high-altitude sprites and laboratory pilots are striking and may indicate that they are two manifestations of the same natural phenomenon.


title: Idempotent ultrafilters without Zorn's Lemma

abstract: We introduce the notion of additive filter and present a new proof of the existence of idempotent ultrafilters on N without any use of Zorn's Lemma, and where one only assumes the Ultrafilter Theorem for the continuum.


title: Differential relations for almost Belyi maps

abstract: Several kinds of differential relations for polynomial components of almost Belyi maps are presented. Saito's theory of free divisors give particularly interesting (yet conjectural) logarithmic action of vector fields. The differential relations implied by Kitaev's construction of algebraic Painleve VI solutions through pull-back transformations are used to compute almost Belyi maps for the pull-backs giving all genus 0 and 1 Painleve VI solutions in the Lisovyy-Tykhyy classification.


title: Quasi-real photon contribution to $A_N$ in $\ell p^\uparrow \to \pi\,$ X within a TMD approach

abstract: Within a TMD approach we discuss the impact of quasi-real (Weizs\"acker-Williams) photon contribution to the transverse single-spin asymmetry, $A_N$, for the inclusive process $\ell p^\uparrow \to \pi\, X$. This study extends a previous one where only the leading-order contribution was taken into account. Predictions are obtained adopting the Sivers and transversity distributions and the Collins fragmentation functions as extracted from fits to the azimuthal asymmetries measured in semi-inclusive deep inelastic scattering and $e^+e^-$ annihilation processes. The description of the available data is very good, showing a clear general improvement with respect to the previous analysis (already quite promising). This result represents a further step towards a unified TMD treatment of SSAs in $\ell\,p^\uparrow \to\ell'\, h\, X$ and $\ell \,p^\uparrow \to h\, X$ processes.


title: Client-Based Control Channel Analysis for Connectivity Estimation in LTE Networks

abstract: Advanced Cyber-Physical Systems aim for the balancing of restricted local resources of deeply embedded systems with cloud-based resources depending on the availability of network connectivity: in case of excellent connectivity, the offloading of large amounts of data can be more efficient than the local processing on a resource-constraint platform, while this latter solution is preferred in case of limited connectivity. This paper proposes a Client-Based Control Channel Analysis for Connectivity Estimation (C3ACE), a new passive probing mechanism to enable the client-side to estimate the connection quality of 4G networks in range. The results show that by observing and analyzing the control traffic in real-time, the number of active user equipment in a cell can be determined with surprising accuracy (with errors well below 10e-6). The specific challenge addressed in this paper lies in a dedicated filtering and validation of the DCI (Downlink Control Information). In a subsequent step the data rates to be expected can be estimated in order to enable decision about the choice of network and the timing of the data offloading to the cloud. The proposed methods have been implemented and validated leveraging the SDR OpenAirInterface, a real-life LTE network and a distributed load generator producing a scalable network traffic by a number of LTE User Equipment.


title: Finite-Length Bounds for Joint Source-Channel Coding with Markovian Source and Additive Channel Noise to Achieve Large and Moderate Deviation Bounds

abstract: We derive novel upper and lower finite-length bounds of the error probability in joint source-channel coding when the source obeys an ergodic Markov process and the channel is a Markovian additive channel or a Markovian conditional additive channel. These bounds are tight in the large and moderate deviation regimes.


title: Relative multiplexing for minimizing switching in linear-optical quantum computing

abstract: Many existing schemes for linear-optical quantum computing (LOQC) depend on multiplexing (MUX), which uses dynamic routing to enable near-deterministic gates and sources to be constructed using heralded, probabilistic primitives. MUXing accounts for the overwhelming majority of active switching demands in current LOQC architectures. In this manuscript, we introduce relative multiplexing (RMUX), a general-purpose optimization which can dramatically reduce the active switching requirements for MUX in LOQC, and thereby reduce hardware complexity and energy consumption, as well as relaxing demands on performance for various photonic components. We discuss the application of RMUX to the generation of entangled states from probabilistic single-photon sources, and argue that an order of magnitude improvement in the rate of generation of Bell states can be achieved. In addition, we apply RMUX to the proposal for percolation of a 3D cluster state in [PRL 115, 020502 (2015)], and we find that RMUX allows a 2.4x increase in loss tolerance for this architecture.


title: Relativistic Classical and Quantum Nonlinear Phenomena in the Induced Processes on Free Electrons

abstract: With the appearance of superpower laser sources of relativistic/ultrarelativistic intensities in the last decade, the laser-QED-vacuum-matter interaction physics has entered a new phase that makes real the observation of many nonlinear quantum electrodynamic (QED) and classical-quantum- mechanical phenomena revealed more than fore-five decades ago, serious advance in new generation of laser-plasma accelerators of ultrahigh energies, nuclear fusion etc. Hence, the present review article will help explorers-experimentalists in this field to attract attention on the fundamental properties and peculiarities of the dynamics of induced free-free transitions at high and superhigh intensities of stimulated radiation fields. In this connection it is of special interest the induced Cherenkov, Compton, undulator/wiggler coherent processes, as well as cyclotron resonance in a medium -- possessing with nonlinear resonances of threshold nature and leading to many important nonlinear effects or applications, which are considered in this review.


title: Sampling and Reconstruction Using Bloom Filters

abstract: In this paper, we address the problem of sampling from a set and reconstructing a set stored as a Bloom filter. To the best of our knowledge our work is the first to address this question. We introduce a novel hierarchical data structure called BloomSampleTree that helps us design efficient algorithms to extract an almost uniform sample from the set stored in a Bloom filter and also allows us to reconstruct the set efficiently. In the case where the hash functions used in the Bloom filter implementation are partially invertible, in the sense that it is easy to calculate the set of elements that map to a particular hash value, we propose a second, more space-efficient method called HashInvert for the reconstruction. We study the properties of these two methods both analytically as well as experimentally. We provide bounds on run times for both methods and sample quality for the BloomSampleTree based algorithm, and show through an extensive experimental evaluation that our methods are efficient and effective.


title: Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)

abstract: We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way -- including entanglement manipulation and error correction -- and in each case present a fully-topological formal verification, yielding in several cases substantial new insight into how the program works. We also use our methods to identify several new or generalized procedures.


title: Impact of two-electron dynamics and correlations on high-order harmonic generation in He

abstract: The interaction of a helium atom with intense short 800 nm laser pulse is studied theoretically beyond the single-active-electron approximation. For this purpose, the time-dependent Schr\"odinger equation for the two-electron wave packet driven by a linearly-polarized infrared pulse is solved by the time-dependent restricted-active-space configuration-interaction method (TD-RASCI) in the dipole velocity gauge. By systematically extending the space of active configurations, we investigate the role of the collective two-electron dynamics in the strong field ionization and high-order harmonic generation (HHG) processes. Our numerical results demonstrate that allowing both electrons in He to be dynamically active results in a considerable extension of the computed HHG spectrum.


title: Dimerized Decomposition of Quantum Evolution on an Arbitrary Graph

abstract: The study of quantum evolution on graphs for diversified topologies is beneficial to modeling various realistic systems. A systematic method, the dimerized decomposition, is proposed to analyze the dynamics on an arbitrary network. By introducing global "flows" among interlinked dimerized subsystems, each of which locally consists of an input and a output port, the method provides an intuitive picture that the local properties of the subsystem are separated from the global structure of the network. The pictorial interpretation of quantum evolution as multiple flows through the graph allows for the analysis of the complex network dynamics supplementary to the conventional spectral method.


title: Accretion and outflow activity on the late phases of pre-main-sequence evolution. The case of RZ Piscium

abstract: RZ Psc is an isolated high-latitude post-T Tauri star that demonstrates a UX Ori-type photometric activity. The star shows very weak spectroscopic signatures of accretion, but at the same time possesses the unusual footprints of the wind in Na I D lines. In the present work we investigate new spectroscopic observations of RZ Psc obtained in 2014 during two observation runs. We found variable blueshifted absorption components (BACs) in lines of the other alcali metals, K I 7699 \AA\ and Ca II IR triplet. We also confirmed the presence of a weak emission component in the H$\alpha$ line, which allowed us to estimate the mass accretion rate on the star as $\dot{M}\leq$ $7 \cdot 10^{-12}$Msun yr$^{-1}$. We could not reveal any clear periodicity in the appearance of BACs in sodium lines. Nevertheless, the exact coincidence of the structure and velocities of the Na I D absorptions observed with the interval of about one year suggests that such a periodicity should exist.


title: Information-Theoretic Analysis of Refractory Effects in the P300 Speller

abstract: The P300 speller is a brain-computer interface that enables people with neuromuscular disorders to communicate based on eliciting event-related potentials (ERP) in electroencephalography (EEG) measurements. One challenge to reliable communication is the presence of refractory effects in the P300 ERP that induces temporal dependence in the user's EEG responses. We propose a model for the P300 speller as a communication channel with memory. By studying the maximum information rate on this channel, we gain insight into the fundamental constraints imposed by refractory effects. We construct codebooks based on the optimal input distribution, and compare them to existing codebooks in literature.


title: Intrinsic wavelet regression for curves of Hermitian positive definite matrices

abstract: Intrinsic wavelet transforms and wavelet estimation methods are introduced for curves in the non-Euclidean space of Hermitian positive definite matrices, with in mind the application to Fourier spectral estimation of multivariate stationary time series. The main focus is on intrinsic average-interpolation wavelet transforms in the space of positive definite matrices equipped with an affine-invariant Riemannian metric, and convergence rates of linear wavelet thresholding are derived for intrinsically smooth curves of Hermitian positive definite matrices. In the context of multivariate Fourier spectral estimation, intrinsic wavelet thresholding is equivariant under a change of basis of the time series, and nonlinear wavelet thresholding is able to capture localized features in the spectral density matrix across frequency, always guaranteeing positive definite estimates. The finite-sample performance of intrinsic wavelet thresholding is assessed by means of simulated data and compared to several benchmark estimators in the Riemannian manifold. Further illustrations are provided by examining the multivariate spectra of trial-replicated brain signal time series recorded during a learning experiment.


title: Algorithmic characterization results for the Kerr-NUT-(A)dS space-time. II. KIDs for the Kerr-(A)(de Sitter) family

abstract: We characterize Cauchy data sets leading to vacuum space-times with vanishing Mars-Simon tensor. This approach provides an algorithmic procedure to check whether a given initial data set $(\Sigma,h_{ij},K_{ij})$ evolves into a space-time which is locally isometric to a member of the Kerr-(A)(dS) family.


title: Graviton mass constraint from CMB

abstract: The effect of primordial massive gravitational waves on the BB-mode correlation angular power spectrum of CMB is studied for several inflation models. The angular power spectrum with the BICEP2/Keck Array and Planck joint data suggests further constraint on the lower and upper bounds on the mass of primordial gravitons


title: Interfacing a two-photon NOON state with an atomic quantum memory

abstract: Multi-photon entangled states play a crucial role in quantum information applications such as secure quantum communication, scalable computation, and high-precision quantum metrology. Quantum memory for entangled states is a key component of quantum repeaters, which are indispensable in realizing quantum communications. Storing a single photon or an entangled photon has been realized through different protocols. However, there has been no report demonstrating whether a multi-photon state can be stored in any physical system or not. Here, we report on the experimental storage of a two-photon NOON state in a cold atomic ensemble. Quantum interference measured before and after storage clearly shows that the properties of the two-photon NOON state are preserved during storage. Our experiment completes the first step towards storing a multi-photon entangled state.


title: Comparing MapReduce and Pipeline Implementations for Counting Triangles

abstract: A common method to define a parallel solution for a computational problem consists in finding a way to use the Divide and Conquer paradigm in order to have processors acting on its own data and scheduled in a parallel fashion. MapReduce is a programming model that follows this paradigm, and allows for the definition of efficient solutions by both decomposing a problem into steps on subsets of the input data and combining the results of each step to produce final results. Albeit used for the implementation of a wide variety of computational problems, MapReduce performance can be negatively affected whenever the replication factor grows or the size of the input is larger than the resources available at each processor. In this paper we show an alternative approach to implement the Divide and Conquer paradigm, named dynamic pipeline. The main features of dynamic pipelines are illustrated on a parallel implementation of the well-known problem of counting triangles in a graph. This problem is especially interesting either when the input graph does not fit in memory or is dynamically generated. To evaluate the properties of pipeline, a dynamic pipeline of processes and an ad-hoc version of MapReduce are implemented in the language Go, exploiting its ability to deal with channels and spawned processes. An empirical evaluation is conducted on graphs of different topologies, sizes, and densities. Observed results suggest that dynamic pipelines allows for an efficient implementation of the problem of counting triangles in a graph, particularly, in dense and large graphs, drastically reducing the execution time with respect to the MapReduce implementation.


title: Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems

abstract: Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotations is transformed into functionally equivalent code better suited for a given platform. The transformation steps are represented as rules that can be fired when certain syntactic and semantic conditions are fulfilled. These rules are not hard-wired into the rewriting engine: they are written in a C-like language and are automatically processed and incorporated into the rewriting engine. That makes it possible for end-users to add their own rules or to provide sets of rules that are adapted to certain specific domains or purposes.


title: An Introduction to Liquid Haskell

abstract: This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a low effort. The first sections introduce the technology of Liquid Types by explaining its principles and summarizing how its type inference algorithm manages to prove properties. The remaining sections present a selection of Haskell examples and show the kind of properties that can be proved with the system.


title: Efficient anchor loss suppression in coupled near-field optomechanical resonators

abstract: Elastic dissipation through radiation towards the substrate is a major loss channel in micro- and nanomechanical resonators. Engineering the coupling of these resonators with optical cavities further complicates and constrains the design of low-loss optomechanical devices. In this work we rely on the coherent cancellation of mechanical radiation to demonstrate material and surface absorption limited silicon near-field optomechanical resonators oscillating at tens of MHz. The effectiveness of our dissipation suppression scheme is investigated at room and cryogenic temperatures. While at room temperature we can reach a maximum quality factor of 7.61k ($fQ$-product of the order of $10^{11}$~Hz), at 22~K the quality factor increases to 37k, resulting in a $fQ$-product of $2\times10^{12}$~Hz.


title: From First-Order Logic to Assertional Logic

abstract: First-Order Logic (FOL) is widely regarded as one of the most important foundations for knowledge representation. Nevertheless, in this paper, we argue that FOL has several critical issues for this purpose. Instead, we propose an alternative called assertional logic, in which all syntactic objects are categorized as set theoretic constructs including individuals, concepts and operators, and all kinds of knowledge are formalized by equality assertions. We first present a primitive form of assertional logic that uses minimal assumed knowledge and constructs. Then, we show how to extend it by definitions, which are special kinds of knowledge, i.e., assertions. We argue that assertional logic, although simpler, is more expressive and extensible than FOL. As a case study, we show how assertional logic can be used to unify logic and probability, and more building blocks in AI.