title: Robust tracking of respiratory rate in high-dynamic range scenes using mobile thermal imaging

abstract: The ability to monitor respiratory rate is extremely important for medical treatment, healthcare and fitness sectors. In many situations, mobile methods, which allow users to undertake every day activities, are required. However, current monitoring systems can be obtrusive, requiring users to wear respiration belts or nasal probes. Recent advances in thermographic systems have shrunk their size, weight and cost, to the point where it is possible to create smart-phone based respiration rate monitoring devices that are not affected by lighting conditions. However, mobile thermal imaging is challenged in scenes with high thermal dynamic ranges. This challenge is further amplified by general problems such as motion artifacts and low spatial resolution, leading to unreliable breathing signals. In this paper, we propose a novel and robust approach for respiration tracking which compensates for the negative effects of variations in the ambient temperature and motion artifacts and can accurately extract breathing rates in highly dynamic thermal scenes. It has three main contributions. The first is a novel Optimal Quantization technique which adaptively constructs a color mapping of absolute temperature to improve segmentation, classification and tracking. The second is the Thermal Gradient Flow method that computes thermal gradient magnitude maps to enhance accuracy of the nostril region tracking. Finally, we introduce the Thermal Voxel method to increase the reliability of the captured respiration signals compared to the traditional averaging method. We demonstrate the extreme robustness of our system to track the nostril-region and measure the respiratory rate in high dynamic range scenes.


title: Who you gonna call? Analyzing Web Requests in Android Applications

abstract: Relying on ubiquitous Internet connectivity, applications on mobile devices frequently perform web requests during their execution. They fetch data for users to interact with, invoke remote functionalities, or send user-generated content or meta-data. These requests collectively reveal common practices of mobile application development, like what external services are used and how, and they point to possible negative effects like security and privacy violations, or impacts on battery life. In this paper, we assess different ways to analyze what web requests Android applications make. We start by presenting dynamic data collected from running 20 randomly selected Android applications and observing their network activity. Next, we present a static analysis tool, Stringoid, that analyzes string concatenations in Android applications to estimate constructed URL strings. Using Stringoid, we extract URLs from 30, 000 Android applications, and compare the performance with a simpler constant extraction analysis. Finally, we present a discussion of the advantages and limitations of dynamic and static analyses when extracting URLs, as we compare the data extracted by Stringoid from the same 20 applications with the dynamically collected data.


title: Normal forms of two-dimensional metrics admitting exactly one essential projective vector field

abstract: We give a complete list of mutually non-diffeomorphic normal forms for the two-dimensional metrics that admit one essential (i.e., non-homothetic) projective vector field. This revises a result from the literature and extends the results of two papers, by R.L. Bryant & G. Manno & V.S. Matveev (2008) and V.S. Matveev (2012) respectively, solving a problem posed by Sophus Lie in 1882.


title: Robust randomized matchings

abstract: The following game is played on a weighted graph: Alice selects a matching $M$ and Bob selects a number $k$. Alice's payoff is the ratio of the weight of the $k$ heaviest edges of $M$ to the maximum weight of a matching of size at most $k$. If $M$ guarantees a payoff of at least $\alpha$ then it is called $\alpha$-robust. In 2002, Hassin and Rubinstein gave an algorithm that returns a $1/\sqrt{2}$-robust matching, which is best possible. We show that Alice can improve her payoff to $1/\ln(4)$ by playing a randomized strategy. This result extends to a very general class of independence systems that includes matroid intersection, b-matchings, and strong 2-exchange systems. It also implies an improved approximation factor for a stochastic optimization variant known as the maximum priority matching problem and translates to an asymptotic robustness guarantee for deterministic matchings, in which Bob can only select numbers larger than a given constant. Moreover, we give a new LP-based proof of Hassin and Rubinstein's bound.


title: Plasmons in topological insulator cylindrical nanowires

abstract: We present a theoretical analysis of Dirac magneto-plasmons in topological insulator nanowires. We discuss a cylindrical geometry where Berry phase effects induce the opening of a gap at the neutrality point. By taking into account surface electron wave functions introduced in previous papers and within the random phase approximation, we provide an analytical form of the dynamic structure factor. Dispersions and spectral weights of Dirac plasmons are studied with varying the radius of the cylinder, the surface doping, and the strength of an external magnetic field. We show that, at zero surface doping, inter-band damped plasmon-like excitations form at the surface and survive at low electron surface dopings ($\sim 10^{10} cm^{-2} $). Then, we point out that the plasmon excitations are sensitive to the Berry phase gap closure when an external magnetic field close to half quantum flux is introduced. Indeed, a well-defined magneto-plasmon peak is observed at lower energies upon the application of the magnetic field. Finally, the increase of the surface doping induces a crossover from damped inter-band to sharp intra-band magneto-plasmons which, as expected for large radii and dopings ($\sim 10^{12} cm^{-2}$), approach the proper limit of a two-dimensional surface.


title: Pattern transitions in a compressible floating elastic sheet

abstract: Thin rigid sheets floating on a liquid substrate appear, for example, in coatings and surfactant monolayers. Upon uniaxial compression the sheet undergoes transitions from a compressed flat state to a periodic wrinkled pattern to a localized folded pattern. The stability of these states is determined by the in-plane elasticity of the sheet, its bending rigidity, and the hydrostatics of the underlying liquid. Wrinkles and folds, and the wrinkle-to-fold transition, were previously studied for incompressible sheets. In the present work we extend the theory to include finite compressibility. We analyze the details of the flat-to-wrinkle transition, the effects of compressibility on wrinkling and folding, and the compression field associated with the pattern formation. The state diagram of the floating sheet including all three states is presented.


title: Penalized bias reduction in extreme value estimation for censored Pareto-type data, and long-tailed insurance applications

abstract: The subject of tail estimation for randomly censored data from a heavy tailed distribution receives growing attention, motivated by applications for instance in actuarial statistics. The bias of the available estimators of the extreme value index can be substantial and depends strongly on the amount of censoring. We review the available estimators, propose a new bias reduced estimator, and show how shrinkage estimation can help to keep the MSE under control. A bootstrap algorithm is proposed to construct confidence intervals. We compare these new proposals with the existing estimators through simulation. We conclude this paper with a detailed study of a long-tailed car insurance portfolio, which typically exhibit heavy censoring.


title: High-resolution tracking in a GEM-Emulsion detector

abstract: SHiP (Search for Hidden Particles) is a beam dump experiment proposed at the CERN SPS aiming at the observation of long lived particles very weakly coupled with ordinary matter mostly produced in the decay of charmed hadrons. The beam dump facility of SHiP is also a copious factory of neutrinos of all three kinds and therefore a dedicated neutrino detector is foreseen in the SHiP apparatus. The neutrino detector exploits the Emulsion Cloud Chamber technique with a modular structure, alternating walls of target units and planes of electronic detectors providing the time stamp to the event. GEM detectors are one of the possible choices for this task. This paper reports the results of the first exposure to a muon beam at CERN of a new hybrid chamber, obtained by coupling a GEM chamber and an emulsion detector. Thanks to the micrometric accuracy of the emulsion detector, the position resolution of the GEM chamber as a function of the particle inclination was evaluated in two configurations, with and without the magnetic field


title: Shapes and velocity relaxation of dislocation avalanches in Au and Nb single crystals

abstract: We capture the spatiotemporal velocity dynamics of dislocation avalanches in face-centered cubic (FCC) gold and body-centered cubic (BCC) niobium crystals by compression testing of cylindrical microcrystals. In niobium, avalanche peak-velocities are over one order of magnitude lower, have distinctly rougher avalanche shapes, and relax more slowly to zero velocity than in gold. The avalanche dynamics (including averaged avalanche shapes) can be described reasonably well by mean-field predictions for avalanches near the depinning transition in the case of gold, but not for niobium. A detailed analysis shows consistent deviations (non-trivial exponents) from the predicted functional forms for both gold and niobium if the exponent that describes the velocity decay of the shape function is treated as a free parameter. While the avalanche size statistics and related scaling exponents are similar, these noticeable differences in the dislocation-avalanche dynamics demonstrate material-specific variations not predicted by "universal" behavior. The marked difference in avalanche shapes is discussed in terms of edge- and screw-dislocation mobility of an operating spiral arm source.


title: Fulde-Ferrell-Larkin-Ovchinnikov state in bilayer dipolar systems

abstract: We study the phase diagram of fermionic polar molecules in a bilayer system, with an imbalance of molecular densities of the layers. For the imbalance exceeding a critical value the system undergoes a transition from the uniform interlayer superfluid to the Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state with a stripe structure, and at sufficiently large imbalance a transition from the FFLO to normal phase. Compared to the case of contact interactions, the FFLO regime is enhanced by the long-range character of the interlayer dipolar interaction, which can combine the s-wave and p-wave pairing in the order parameter.


title: Analysis of NuSTAR and Suzaku observations of Cyg X-1 in the hard state: evidence for a truncated disc geometry

abstract: The geometry of the accretion flow in black-hole X-ray binaries in the hard state, in particular the position of the disc inner edge, has been a subject of intense debate in recent years. We address this issue by performing a spectral study of simultaneous observations of Cyg X-1 in the hard state by NuSTAR and Suzaku. The same data were analysed before, and modelled by a lamppost containing hybrid electrons and located very close to the horizon, which emission was incident on a surrounding disc extending almost to the innermost stable circular orbit. We re-analyse the incident continuum model and show that it suffers from the lack of physical self-consistency. Still, the good fit to the data provided by this model indicates that the real continuum has a similar shape. We find it features a strong soft X-ray excess below a few keV, which we model as a soft thermal-Comptonization component, in addition to the main hard thermal-Compton component. This continuum model with reflection of both components yields the overall lowest $\chi^2$ and has a geometry with a hot inner accretion flow and a disc truncated at $\simeq$13--20 gravitational radii. On the other hand, we have also found spectral solution with a lamppost at a large height and a disc that can extend to the innnermost stable circular orbit, though somewhat statistically worse. Overall, we find the fitted truncation radius depends on the assumed continuum and geometry.


title: Absolute frequency determination of molecular transition in the Doppler regime at kHz level of accuracy

abstract: We present absolute frequency measurement of the unperturbed P7 P7 O$_2$ B-band transition with relative standard uncertainty of $2\times10^{-11}$. We reached the level of accuracy typical for Doppler-free techniques, with Doppler-limited spectroscopy. The Doppler-limited shapes of the P7 P7 spectral line were measured with a frequency-stabilized cavity ring-down spectrometer referenced to an $^{88}$Sr optical atomic clock by an optical frequency comb.


title: DeepXplore: Automated Whitebox Testing of Deep Learning Systems

abstract: Deep learning (DL) systems are increasingly deployed in safety- and security-critical domains including self-driving cars and malware detection, where the correctness and predictability of a system's behavior for corner case inputs are of great importance. Existing DL testing depends heavily on manually labeled data and therefore often fails to expose erroneous behaviors for rare inputs. We design, implement, and evaluate DeepXplore, the first whitebox framework for systematically testing real-world DL systems. First, we introduce neuron coverage for systematically measuring the parts of a DL system exercised by test inputs. Next, we leverage multiple DL systems with similar functionality as cross-referencing oracles to avoid manual checking. Finally, we demonstrate how finding inputs for DL systems that both trigger many differential behaviors and achieve high neuron coverage can be represented as a joint optimization problem and solved efficiently using gradient-based search techniques. DeepXplore efficiently finds thousands of incorrect corner case behaviors (e.g., self-driving cars crashing into guard rails and malware masquerading as benign software) in state-of-the-art DL models with thousands of neurons trained on five popular datasets including ImageNet and Udacity self-driving challenge data. For all tested DL models, on average, DeepXplore generated one test input demonstrating incorrect behavior within one second while running only on a commodity laptop. We further show that the test inputs generated by DeepXplore can also be used to retrain the corresponding DL model to improve the model's accuracy by up to 3%.


title: Phase Diagram of Carbon Nickel Tungsten: Superatom Model

abstract: Carbon solubility in face-centered cubic Ni-W alloys and the phase diagram of C-Ni-W are investigated by means of first principle calculations and semi-grand canonical Monte Carlo simulations. With density functional theory (DFT) total energies as fitting data, we build a superatom model for efficient simulation. Multi-histogram analysis is utilized to predict free energies for different compositions and temperatures. By comparing free energies of competing phases, we are able to predict carbon solubility and phase diagrams of C-Ni-W at different temperatures. A simple ideal mixing approximation gives qualitatively similar predictions.


title: Lower bound for the coarse Ricci curvature of continuous-time pure jump processes

abstract: We obtain a lower bound for the coarse Ricci curvature of continuous time pure jump Markov processes, with an emphasis on interacting particle systems. Applications to several models are provided, with a detailed study of the herd behavior of a simple model of interacting agents.


title: Symmetric Convex Sets with Minimal Gaussian Surface Area

abstract: Let $\Omega\subset\mathbb{R}^{n+1}$ have minimal Gaussian surface area among all sets satisfying $\Omega=-\Omega$ with fixed Gaussian volume. Let $A=A_{x}$ be the second fundamental form of $\partial\Omega$ at $x$, i.e. $A$ is the matrix of first order partial derivatives of the unit normal vector at $x\in\partial\Omega$. For any $x=(x_{1},\ldots,x_{n+1})\in\mathbb{R}^{n+1}$, let $\gamma_{n}(x)=(2\pi)^{-n/2}e^{-(x_{1}^{2}+\cdots+x_{n+1}^{2})/2}$. Let $\|A\|^{2}$ be the sum of the squares of the entries of $A$, and let $\|A\|_{2\to 2}$ denote the $\ell_{2}$ operator norm of $A$. It is shown that if $\Omega$ or $\Omega^{c}$ is convex, and if either $$\int_{\partial\Omega}(\|A_{x}\|^{2}-1)\gamma_{n}(x)dx>0\qquad\mbox{or}\qquad \int_{\partial\Omega}\Big(\|A_{x}\|^{2}-1+2\sup_{y\in\partial\Omega}\|A_{y}\|_{2\to 2}^{2}\Big)\gamma_{n}(x)dx<0,$$ then $\partial\Omega$ must be a round cylinder. That is, except for the case that the average value of $\|A\|^{2}$ is slightly less than $1$, we resolve the convex case of a question of Barthe from 2001. The main tool is the Colding-Minicozzi theory for Gaussian minimal surfaces, which studies eigenfunctions of the Ornstein-Uhlenbeck type operator $L= \Delta-\langle x,\nabla \rangle+\|A\|^{2}+1$ associated to the surface $\partial\Omega$. A key new ingredient is the use of a randomly chosen degree 2 polynomial in the second variation formula for the Gaussian surface area. Our actual results are a bit more general than the above statement. Also, some of our results hold without the assumption of convexity.


title: Group actions, corks and exotic smoothings of R^4

abstract: We provide the first information on diffeotopy groups of exotic smoothings of R^4: For each of uncountably many smoothings, there are uncountably many isotopy classes of self-diffeomorphisms. We realize these by various explicit group actions. There are also actions at infinity by nonfinitely generated groups, for which no nontrivial element extends over the whole manifold. In contrast, every diffeomorphism of the end of the universal R^4 extends. Our techniques apply to many other open 4-manifolds, and are related to cork theory. We show that under broad hypotheses, cork twisting is equivalent (up to blowups) to twisting on an exotic R^4, and give applications.


title: Exact matrix product decay modes of a boundary driven cellular automaton

abstract: We study integrability properties of a reversible deterministic cellular automaton (the rule 54 of [Bobenko et al., Commun. Math. Phys. 158, 127 (1993)]) and present a bulk algebraic relation and its inhomogeneous extension which allow for an explicit construction of Liouvillian decay modes for two distinct families of stochastic boundary driving. The spectrum of the many-body stochastic matrix defining the time propagation is found to separate into sets, which we call orbitals, and the eigenvalues in each orbital are found to obey a distinct set of Bethe-like equations. We construct the decay modes in the first orbital (containing the leading decay mode) in terms of an exact inhomogeneous matrix product ansatz, study the thermodynamic properties of the spectrum and the scaling of its gap, and provide a conjecture for the Bethe-like equations for all the orbitals and their degeneracy.

categories: cond-mat.stat-mech math-ph math.MP nlin.CG nlin.SI


title: Quantum Experiments and Graphs: Multiparty States as coherent superpositions of Perfect Matchings

abstract: We show a surprising link between experimental setups to realize high-dimensional multipartite quantum states and Graph Theory. In these setups, the paths of photons are identified such that the photon-source information is never created. We find that each of these setups corresponds to an undirected graph, and every undirected graph corresponds to an experimental setup. Every term in the emerging quantum superposition corresponds to a perfect matching in the graph. Calculating the final quantum state is in the complexity class #P-complete, thus cannot be done efficiently. To strengthen the link further, theorems from Graph Theory -- such as Hall's marriage problem -- are rephrased in the language of pair creation in quantum experiments. We show explicitly how this link allows to answer questions about quantum experiments (such as which classes of entangled states can be created) with graph theoretical methods, and potentially simulate properties of Graphs and Networks with quantum experiments (such as critical exponents and phase transitions).


title: The Shape of Bouncing Universes

abstract: What happens to the most general closed oscillating universes in general relativity? We sketch the development of interest in cyclic universes from the early work of Friedmann and Tolman to modern variations introduced by the presence of a cosmological constant. Then we show what happens in the cyclic evolution of the most general closed anisotropic universes provided by the Mixmaster universe. We show that in the presence of entropy increase its cycles grow in size and age, increasingly approaching flatness. But these cycles also grow increasingly anisotropic at their expansion maxima. If there is a positive cosmological constant, or dark energy, present then these oscillations always end and the last cycle evolves from an anisotropic inflexion point towards a de Sitter future of everlasting expansion.


title: Assessing degrees of entanglement of phonon states in atomic Bose gases through the measurement of commuting observables

abstract: We show that measuring commuting observables can be sufficient to assess that a bipartite state is entangled according to either nonseparability or the stronger criterion of 'steerability'. Indeed, the measurement of a single observable might reveal the strength of the interferences between the two subsystems, as if an interferometer were used. For definiteness we focus on the two-point correlation function of density fluctuations obtained by in situ measurements in homogeneous one-dimensional cold atomic Bose gases. We then compare this situation to that found in transonic stationary flows mimicking a black hole geometry where correlated phonon pairs are emitted on either side of the sonic horizon by the analogue Hawking effect. We briefly apply our considerations to two recent experiments.


title: Rigidity of the magic pentagram game

abstract: A game is rigid if a near-optimal score guarantees, under the sole assumption of the validity of quantum mechanics, that the players are using an approximately unique quantum strategy. Rigidity has a vital role in quantum cryptography as it permits a strictly classical user to trust behavior in the quantum realm. This property can be traced back as far as 1998 (Mayers and Yao) and has been proved for multiple classes of games. In this paper we prove ridigity for the magic pentagram game, a simple binary constraint satisfaction game involving two players, five clauses and ten variables. We show that all near-optimal strategies for the pentagram game are approximately equivalent to a unique strategy involving real Pauli measurements on three maximally-entangled qubit pairs.


title: Effects of the Functional Group on the Lithium Ions Across the Port of Carbon Nanotube

abstract: The mean axial velocity of lithium irons across the entrance of carbon nanotube VLi is an important factor for the charge-discharge performances of rechargeable Lithium battery. The molecular dynamics simulation method is adopted to evaluate the factors and their effects on VLi which include the diameter of carbon nanotube, functional group type on the port and the number of a given type of functional group. The statistical analysis of the calculation results shows that: In the selected carbon nanotubes of four different diameters, VLi will gradually rise with the increase of CNT diameter due to lithium irons migration resistance decreasing; as the port of CNT is successively modified to hydrogen (-H), hydroxyl (-OH), amino (-NH2) and carboxyl (-COOH), the corresponding migration resistance of lithium ions is enhanced resulting in the dropping of VLi; in comparison to the effect strength of four types of functional groups on VLi, -COOH shows strongest, -NH2 and -OH perform relatively weaker, and the effect difference between -NH2 and -OH is very small, -H displays weakest; When the number of a given non-hydrogen functional group on the port sequentially increases, it also shows a trend that lithium ion migration resistance gradually increases which makes VLi decreases in turn. The more influential the functional group, the greater the impact of functional group number changes on VLi. The results of this paper have some significance on the precise production of lithium-ion battery electrode materials, enhancing the overall battery cycle efficiency and charging speed.


title: z-Classes and Rational Conjugacy Classes in Alternating Groups

abstract: In this paper, we compute the number of z-classes (conjugacy classes of centralizers of elements) in the symmetric group S_n, when n is greater or equal to 3 and alternating group A_n, when n is greater or equal to 4. It turns out that the difference between the number of conjugacy classes and the number of z-classes for S_n is determined by those restricted partitions of n-2 in which 1 and 2 do not appear as its part. And, in the case of alternating groups, it is determined by those restricted partitions of n-3 which has all its parts distinct, odd and in which 1 (and 2) does not appear as its part, along with an error term. The error term is given by those partitions of n which have each of its part distinct, odd and perfect square. Further, we prove that the number of rational-valued irreducible complex characters for A_n is same as the number of conjugacy classes which are rational.


title: A radiation transfer model for the Milky-Way: I. Radiation fields and application to High Energy Astrophysics

abstract: We present a solution for the ultraviolet (UV) - submillimeter (submm) interstellar radiation fields (ISRFs) of the Milky Way, derived from modelling COBE, IRAS and Planck maps of the all-sky emission in the near-, mid-, far-infrared and submm.The analysis uses the axisymmetric radiative transfer (RT) model that we have previously implemented to model the panchromatic spectral energy distributions (SEDs) of star forming galaxies in the nearby universe, but with a new methodology allowing for optimisation of the radial and vertical geometry of stellar emissivity and dust opacity, as deduced from the highly resolved emission seen from the vantage point of the Sun. As such, this is the first self-consistent model of the broad-band continuum emission from the Milky Way. In this paper, we present model predictions for the spatially integrated SED of the Milky Way as seen from the Sun, showing good agreement with the data, and give a detailed description of the solutions for the distribution of ISRFs, as well as their physical origin, throughout the volume of the galaxy. We explore how the spatial and spectral distribution of our new predictions for the ISRF in the Milky Way affects the amplitude and spectral distribution of the gamma-rays produced via Inverse Compton scattering for cosmic ray electrons situated at different positions in the galaxy, as well as the attenuation of the gamma-rays due to interactions of the gamma-ray photons with photons of the ISRF. We also compare and contrast our solutions for the ISRF with those incorporated in the GALPROP package used for modelling the high energy emission from cosmic rays in the Milky Way.


title: $\Phi$-meson--nucleus bound states

abstract: $\phi$-meson--nucleus bound state energies and absorption widths are calculated for seven selected nuclei by solving the Klein-Gordon equation with complex optical potentials. Essential input for the calculations, namely the medium-modified $K$ and $\overline{K}$ meson masses, as well as the density distributions in nuclei, are obtained from the quark-meson coupling model. The attractive potential for the $\phi$-meson in the nuclear medium originates from the in-medium enhanced $K\overline{K}$ loop in the $\phi$-meson self-energy. The results suggest that the $\phi$-meson should form bound states with all the nuclei considered. However, the identification of the signal for these predicted bound states will need careful investigation because of their sizable absorption widths.


title: Simplicial Palatini action

abstract: We consider the piecewise flat spacetime and a simplicial analog of the Palatini form of the general relativity (GR) action where the discrete Christoffel symbols are given on the tetrahedra as variables that are independent of the metric. Excluding these variables classically gives exactly the Regge action. This paper continues our previous work. Now we include the parity violation term and the analogue of the Barbero-Immirzi parameter introduced in the orthogonal connection form of GR. We consider the path integral and the functional integration over connection. The result of the latter (for certain limiting cases of some parameters) is compared with the earlier found result of the functional integration over connection for the analogous {\it orthogonal} connection representation of Regge action. These results, mainly as some measures on the lengths/areas, are discussed for the possibility of the diagram technique where the perturbative diagrams for the Regge action calculated using the measure obtained are finite. This finiteness is due to these measures providing elementary lengths being mostly bounded and separated from zero, just as finiteness of a theory on a lattice with an analogous probability distribution of spacings.


title: First Dark Matter Search Results from the XENON1T Experiment

abstract: We report the first dark matter search results from XENON1T, a $\sim$2000-kg-target-mass dual-phase (liquid-gas) xenon time projection chamber in operation at the Laboratori Nazionali del Gran Sasso in Italy and the first ton-scale detector of this kind. The blinded search used 34.2 live days of data acquired between November 2016 and January 2017. Inside the (1042$\pm$12) kg fiducial mass and in the [5, 40] $\mathrm{keV}_{\mathrm{nr}}$ energy range of interest for WIMP dark matter searches, the electronic recoil background was $(1.93 \pm 0.25) \times 10^{-4}$ events/(kg $\times$ day $\times \mathrm{keV}_{\mathrm{ee}}$), the lowest ever achieved in a dark matter detector. A profile likelihood analysis shows that the data is consistent with the background-only hypothesis. We derive the most stringent exclusion limits on the spin-independent WIMP-nucleon interaction cross section for WIMP masses above 10 GeV/c${}^2$, with a minimum of 7.7 $\times 10^{-47}$ cm${}^2$ for 35-GeV/c${}^2$ WIMPs at 90% confidence level.


title: Properties of spectrally-defined red QSOs at z = 0.3-1.2

abstract: We investigated the properties of a sample of red Quasi-stellar Objects (QSOs) using optical, radio, and infrared data. These QSOs were selected from the Sloan Digital Sky Survey Data Release 7 (SDSS DR7) quasar catalog. We only selected sources with sky coverage of the Very Large Array Faint Images of the Radio Sky at Twenty-centimeters (VLA FIRST) survey, and searched for sources with Wide-field Infrared Survey Explorer (WISE) counterparts. We defined the spectral color of the QSOs based on the flux ratio of the rest frame 4000$\AA$ to 3000$\AA$ continuum emission to select red QSOs and typical QSOs. In accordance with this criterion, only QSOs with redshifts between 0.3 and 1.2 could be selected. We found that the red QSOs have stronger infrared emission than the typical QSOs do. We noted that the number ratios of the red QSOs to the typical QSOs decrease with increasing redshifts, although the number of the typical QSOs increase with redshifts. Furthermore, at high redshifts, the luminosity distributions of the typical QSOs and the red QSOs seem to have similar luminosity distribution peaks; however, at low redshifts, the luminosities of the red QSOs seem to be lower than those of the typical QSOs. These findings suggest that there might be at least two types of red QSOs in our QSO samples.


title: Fu-Kane-Mele monopoles in semimetals

abstract: In semimetals with time-reversal symmetry, the interplay between Weyl points and Fu-Kane-Mele indices results in coexisting surface Dirac cones and Fermi arcs that are transmutable without a topological phase transition. We show that Weyl points act as a new type of monopole, and that their connectivity is essential for capturing the full topology of semimetals and their role as intermediaries of topological insulator transitions. The history of Weyl point creation-annihilation provides a simple and mathematically equivalent way to classify semimetals, and directly prefigures the surface state topology. We further predict the possibility of a topological Dirac cone on the interface between two Weyl semimetals.

categories: cond-mat.mes-hall hep-th math-ph math.MP


title: Band Gap Formation and Tunability in Stretchable Serpentine Interconnects

abstract: Serpentine interconnects are highly stretchable and frequently used in flexible electronic systems. In this work, we show that the undulating geometry of the serpentine interconnects will generate phononic band gaps to manipulate elastic wave propagation. The interesting effect of `bands-sticking-together' is observed. We further illustrate that the band structures of the serpentine interconnects can be tuned by applying pre-stretch deformation. The discovery offers a way to design stretchable and tunable phononic crystals by using metallic interconnects instead of the conventional design with soft rubbers and unfavorable damping.


title: Anomaly Detection in Business Process Runtime Behavior -- Challenges and Limitations

abstract: Anomaly detection is generally acknowledged as an important problem that has already drawn attention to various domains and research areas, such as, network security. For such "classic" application domains a wide range of surveys and literature reviews exist already - which is not the case for the process domain. Hence, this systematic literature review strives to provide an organized holistic view on research related to business process runtime behavior anomaly detection. For this the unique challenges of the process domain are outlined along with the nature of the analyzed data and data sources. Moreover, existing work is identified and categorized based on the underlying fundamental technology applied by each work. Furthermore, this work describes advantages and disadvantages of each identified approach. Based on these information limitations and gaps in existing research are identified and recommendations are proposed to tackle them. This work aims to foster the understanding and development of the process anomaly detection domain.


title: A logarithmic improvement in the Bombieri-Vinogradov theorem

abstract: In this paper we improve the best known to date result of Dress-Iwaniec-Tenenbaum, getting (log x)^2 instead of (log x)^(5/2). We use a weighted form of Vaughan's identity, allowing a smooth truncation inside the procedure, and an estimate due to Barban-Vehov and Graham related to Selberg's sieve. We give effective and non-effective versions of the result.


title: Spin Summations: A High-Performance Perspective

abstract: Besides tensor contractions, one of the most pronounced computational bottlenecks in the non-orthogonally spin-adapted forms of the quantum chemistry methods CCSDT and CCSDTQ, and their approximate forms---including CCSD(T) and CCSDT(Q)---are spin summations. At a first sight, spin summations are operations similar to tensor transpositions; a closer look instead reveals additional challenges to high-performance calculations, including temporal locality as well as scattered memory accesses. This publication explores a sequence of algorithmic solutions for spin summations, each exploiting individual properties of either the underlying hardware (e.g. caches, vectorization), or the problem itself (e.g. factorizability). The final algorithm combines the advantages of all the solutions, while avoiding their drawbacks; this algorithm, achieves high-performance through parallelization, vectorization, and by exploiting the temporal locality inherent to spin summations. Combined, these optimizations result in speedups between 2.4x and 5.5x over the NCC quantum chemistry software package. In addition to such a performance boost, our algorithm can perform the spin summations in-place, thus reducing the memory footprint by 2x over an out-of-place variant.


title: Exploiting Term Hiding to Reduce Run-time Checking Overhead

abstract: One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this context. We propose a technique which takes advantage of module systems which can hide a selected set of functor symbols to significantly enrich the shape information that can be inferred for reusable libraries, as well as an improved run-time checking approach that leverages the proposed mechanisms to achieve large reductions in overhead, closer to those of static languages, even in the reusable-library context. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao assertion language and combined static/dynamic checking framework. Our method maintains the full expressiveness of the assertion language in this context. In contrast to other approaches it does not introduce the need to switch the language to a (static) type system, which is known to change the semantics in languages like Prolog. We also study the approach experimentally and evaluate the overhead reduction achieved in the run-time checks.


title: Energy-Sustainable Traffic Steering for 5G Mobile Networks

abstract: Renewable energy harvesting (EH) technology is expected to be pervasively utilized in the next generation (5G) mobile networks to support sustainable network developments and operations. However, the renewable energy supply is inherently random and intermittent, which could lead to energy outage, energy overflow, quality of service (QoS) degradation, etc. Accordingly, how to enhance renewable energy sustainability is a critical issue for green networking. To this end, an energy-sustainable traffic steering framework is proposed in this article, where the traffic load is dynamically adjusted to match with energy distributions in both spatial and temporal domains by means of inter- and intra-tier steering, caching and pushing. Case studies are carried out, which demonstrate the proposed framework can reduce on-grid energy demand while satisfying QoS requirements. Research topics and challenges of energy-sustainable traffic steering are also discussed.


title: Symmetric blind information reconciliation and hash-function-based verification for quantum key distribution

abstract: We consider an information reconciliation protocol for quantum key distribution (QKD). In order to correct down the error rate, we suggest a method, which is based on symmetric blind information reconciliation for the low-density parity-check (LDPC) codes. We develop a subsequent verification protocol with the use of $\epsilon$-universal hash functions, which allows verifying the identity between the keys with a certain probability.


title: IceCube constraints on the Fermi Bubbles

abstract: We analyze the IceCube four-year neutrino data in search of a signal from the Fermi bubbles. No signal is found from the bubbles or from their dense shell, even when taking into account the softer background. This imposes a conservative $\xi_i<8\%$ upper limit on the cosmic-ray ion (CRI) acceleration efficiency, and an $\eta\equiv \xi_e/\xi_i \gtrsim0.006$ lower limit on the electron-to-ion ratio of acceleration efficiencies (at the $2\sigma$ confidence level). For typical $\xi_i$, a signal should surface once the number of IceCube neutrinos increases by $\sim$an order of magnitude, unless there is a $<$PeV cutoff on the CRI spectrum.


title: Digital Quantum Estimation

abstract: Quantum Metrology calculates the ultimate precision of all estimation strategies, measuring what is their root mean-square error (RMSE) and their Fisher information. Here, instead, we ask how many bits of the parameter we can recover, namely we derive an information-theoretic quantum metrology. In this setting we redefine "Heisenberg bound" and "standard quantum limit" (the usual benchmarks in quantum estimation theory), and show that the former can be attained only by sequential strategies or parallel strategies that employ entanglement among probes, whereas parallel-separable strategies are limited by the latter. We highlight the differences between this setting and the RMSE-based one.


title: Speculations on homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

abstract: Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants.


title: Introducing Geometric Algebra to Geometric Computing Software Developers: A Computational Thinking Approach

abstract: Designing software systems for Geometric Computing applications can be a challenging task. Software engineers typically use software abstractions to hide and manage the high complexity of such systems. Without the presence of a unifying algebraic system to describe geometric models, the use of software abstractions alone can result in many design and maintenance problems. Geometric Algebra (GA) can be a universal abstract algebraic language for software engineering geometric computing applications. Few sources, however, provide enough information about GA-based software implementations targeting the software engineering community. In particular, successfully introducing GA to software engineers requires quite different approaches from introducing GA to mathematicians or physicists. This article provides a high-level introduction to the abstract concepts and algebraic representations behind the elegant GA mathematical structure. The article focuses on the conceptual and representational abstraction levels behind GA mathematics with sufficient references for more details. In addition, the article strongly recommends applying the methods of Computational Thinking in both introducing GA to software engineers, and in using GA as a mathematical language for developing Geometric Computing software systems.


title: On the primary spacing and microsegregation of cellular dendrites in laser deposited Ni-Nb alloys

abstract: In this study, an alloy phase-field model is used to simulate solidification microstructures at different locations within a solidified molten pool. The temperature gradient $G$ and the solidification velocity $V$ are obtained from a macroscopic heat transfer finite element simulation and provided as input to the phase-field model. The effects of laser beam speed and the location within the melt pool on the primary arm spacing and on the extent of Nb partitioning at the cell tips are investigated. Simulated steady-state primary spacings are compared with power law and geometrical models. Cell tip compositions are compared to a dendrite growth model. The extent of non-equilibrium interface partitioning of the phase-field model is investigated. Although the phase-field model has an anti-trapping solute flux term meant to maintain local interface equilibrium, we have found that during simulations it was insufficient at maintaining equilibrium. This is due to the fact that the additive manufacturing solidification conditions fall well outside the allowed limits of this flux term.


title: Multilayer Codes for Synchronization from Deletions and Insertions

abstract: Consider two remote nodes (encoder and decoder), each with a binary sequence. The encoder's sequence $X$ differs from the decoder's sequence $Y$ by a small number of edits (deletions and insertions). The goal is to construct a message $M$, to be sent via a one-way error free link, such that the decoder can reconstruct $X$ using $M$ and $Y$. In this paper, we devise a coding scheme for this one-way synchronization model. The scheme is based on multiple layers of Varshamov-Tenengolts (VT) codes combined with off-the-shelf linear error-correcting codes, and uses a list decoder. We bound the expected list size of the decoder under certain assumptions, and validate its performance via numerical simulations. We also consider an alternative decoder that uses only the constraints from the VT codes (i.e., does not require a linear code), and has a smaller redundancy at the expense of a slightly larger average list size.


title: Efficient optimization of the quantum relative entropy

abstract: Many quantum information measures can be written as an optimization of the quantum relative entropy between sets of states. For example, the relative entropy of entanglement of a state is the minimum relative entropy to the set of separable states. The various capacities of quantum channels can also be written in this way. We propose a unified framework to numerically compute these quantities using off-the-shelf semidefinite programming solvers, exploiting the approximation method proposed in [Fawzi, Saunderson, Parrilo, Semidefinite approximations of the matrix logarithm, arXiv:1705.00812]. As a notable application, this method allows us to provide numerical counterexamples for a proposed lower bound on the quantum conditional mutual information in terms of the relative entropy of recovery.


title: Holographic response from higher derivatives with homogeneous disorder

abstract: In this letter, we study the charge response from higher derivatives over the background with homogeneous disorder introduced by axions. We first explore the bounds on the higher derivatives coupling from DC conductivity and the anomalies of causality and instabilities. Our results indicate no tighter constraints on the coupling than that over Schwarzschild-AdS (SS-AdS) background. And then we study the optical conductivity of our holographic system. We find that for the case with $\gamma_1<0$ and the disorder strength $\hat{\alpha}<2/\sqrt{3}$, there is a crossover from a coherent to incoherent metallic phase as $\hat{\alpha}$ increases. When $\hat{\alpha}$ is beyond $\hat{\alpha}=2/\sqrt{3}$ and further amplified, a peak exhibits again at low frequency. But it cannot be well fitted by the standard Drude formula and new formula for describing this behavior shall be called for. While for the holographic system with the limit of $\gamma_1\rightarrow 1/48$, the disorder effect drives the hard-gap-like at low frequency into the soft gap and suppresses the pronounced peak at medium frequency.


title: Quantum Emitters in Two-dimensional Structured Reservoirs in the Non-Perturbative Regime

abstract: We show that the coupling of quantum emitters to a two-dimensional reservoir with a simple band structure gives rise to exotic quantum dynamics with no analogue in other scenarios and which can not be captured by standard perturbative treatments. In particular, for a single quantum emitter with its transition frequency in the middle of the band we predict an exponential relaxation at a rate different from that predicted by the Fermi's Golden rule, followed by overdamped oscillations and slow relaxation decay dynamics. This is accompanied by directional emission into the reservoir. This directionality leads to a modification of the emission rate for few emitters and even perfect subradiance, i.e., suppression of spontaneous emission, for four quantum emitters.


title: Wearable Health Monitoring Using Capacitive Voltage-Mode Human Body Communication

abstract: Rapid miniaturization and cost reduction of computing, along with the availability of wearable and implantable physiological sensors have led to the growth of human Body Area Network (BAN) formed by a network of such sensors and computing devices. One promising application of such a network is wearable health monitoring where the collected data from the sensors would be transmitted and analyzed to assess the health of a person. Typically, the devices in a BAN are connected through wireless (WBAN), which suffers from energy inefficiency due to the high-energy consumption of wireless transmission. Human Body Communication (HBC) uses the relatively low loss human body as the communication medium to connect these devices, promising order(s) of magnitude better energy-efficiency and built-in security compared to WBAN. In this paper, we demonstrate a health monitoring device and system built using Commercial-Off-The- Shelf (COTS) sensors and components, that can collect data from physiological sensors and transmit it through a) intra-body HBC to another device (hub) worn on the body or b) upload health data through HBC-based human-machine interaction to an HBC capable machine. The system design constraints and signal transfer characteristics for the implemented HBC-based wearable health monitoring system are measured and analyzed, showing reliable connectivity with >8x power savings compared to Bluetooth lowenergy (BTLE).


title: Covariant field equations in supergravity

abstract: Covariance is a useful property for handling supergravity theories. In this paper, we prove a covariance property of supergravity field equations: under reasonable conditions, field equations of supergravity are covariant modulo other field equations. We prove that for any supergravity there exist such covariant equations of motion, other than the regular equations of motion, that are equivalent to the latter. The relations that we find between field equations and their covariant form can be used to obtain multiplets of field equations. In practice, the covariant field equations are easily found by simply covariantizing the ordinary field equations.


title: MUTAN: Multimodal Tucker Fusion for Visual Question Answering

abstract: Bilinear models provide an appealing framework for mixing and merging information in Visual Question Answering (VQA) tasks. They help to learn high level associations between question meaning and visual concepts in the image, but they suffer from huge dimensionality issues. We introduce MUTAN, a multimodal tensor-based Tucker decomposition to efficiently parametrize bilinear interactions between visual and textual representations. Additionally to the Tucker framework, we design a low-rank matrix-based decomposition to explicitly constrain the interaction rank. With MUTAN, we control the complexity of the merging scheme while keeping nice interpretable fusion relations. We show how our MUTAN model generalizes some of the latest VQA architectures, providing state-of-the-art results.


title: Markovian and Non-Markovian Dynamics of Quantum Emitters coupled to Two-dimensional Structured Reservoirs

abstract: The interaction of quantum emitters with structured baths modifies both their individual and collective dynamics. In Gonz\'alez-Tudela \emph{et al} we show how exotic quantum dynamics emerge when QEs are spectrally tuned around the middle of the band of a two-dimensional structured reservoir, where we predict the failure of perturbative treatments, anisotropic interactions and novel super and subradiant behaviour. In this work, we provide further analysis of that situation, together with a complete analysis for the quantum emitter dynamics in spectral regions different from the center of the band.


title: The Keck/OSIRIS Nearby AGN Survey (KONA) I. The Nuclear K-band Properties of Nearby AGN

abstract: We introduce the Keck Osiris Nearby AGN survey (KONA), a new adaptive optics-assisted integral-field spectroscopic survey of Seyfert galaxies. KONA permits at ~0.1" resolution a detailed study of the nuclear kinematic structure of gas and stars in a representative sample of 40 local bona fide active galactic nucleus (AGN). KONA seeks to characterize the physical processes responsible for the coevolution of supermassive black holes and galaxies, principally inflows and outflows. With these IFU data of the nuclear regions of 40 Seyfert galaxies, the KONA survey will be able to study, for the first time, a number of key topics with meaningful statistics. In this paper we study the nuclear K-band properties of nearby AGN. We find that the luminosities of the unresolved Seyfert 1 sources at 2.1 microns are correlated with the hard X-ray luminosities, implying that the majority of the emission is non-stellar. The best-fit correlation is logLK = 0.9logL2-10 keV + 4 over 3 orders of magnitude in both K-band and X-ray luminosities. We find no strong correlation between 2.1 microns luminosity and hard X-ray luminosity for the Seyfert 2 galaxies. The spatial extent and spectral slope of the Seyfert 2 galaxies indicate the presence of nuclear star formation and attenuating material (gas and dust), which in some cases is compact and in some galaxies extended. We detect coronal-line emission in 36 galaxies and for the first time in five galaxies. Finally, we find 4/20 galaxies that are optically classified as Seyfert 2 show broad emission lines in the near-IR, and one galaxy (NGC 7465) shows evidence of a double nucleus.


title: Fast Inference for Intractable Likelihood Problems using Variational Bayes

abstract: Variational Bayes (VB) is a popular estimation method for Bayesian inference. However, most existing VB algorithms are restricted to cases where the likelihood is tractable, which precludes their use in many important situations. Tran et al. (2017) extend the scope of application of VB to cases where the likelihood is intractable but can be estimated unbiasedly, and name the method Variational Bayes with Intractable Likelihood (VBIL). This paper presents a version of VBIL, named Variational Bayes with Intractable Log-Likelihood (VBILL), that is useful for cases as Big Data and Big Panel Data models, where unbiased estimators of the gradient of the log-likelihood are available. We demonstrate that such estimators can be easily obtained in many Big Data applications. The proposed method is exact in the sense that, apart from an extra Monte Carlo error which can be controlled, it is able to produce estimators as if the true likelihood, or full-data likelihood, is used. In particular, we develop a computationally efficient approach, based on data subsampling and the MapReduce programming technique, for analyzing massive datasets which cannot fit into the memory of a single desktop PC. We illustrate the method using several simulated datasets and a big real dataset based on the arrival time status of U. S. airlines.


title: Phase Competition in the Palmer-Chalker XY Pyrochlore Er$_2$Pt$_2$O$_7$

abstract: We report neutron scattering measurements on Er$_2$Pt$_2$O$_7$, a new addition to the XY family of frustrated pyrochlore magnets. Symmetry analysis of our elastic scattering data shows that Er$_2$Pt$_2$O$_7$ is the first XY pyrochlore to order into the $k=0$, $\Gamma_7$ magnetic structure (the Palmer-Chalker state), at $T_N = 0.38$ K. This contrasts with its sister XY pyrochlore antiferromagnets Er$_2$Ti$_2$O$_7$ and Er$_2$Ge$_2$O$_7$, both of which order into $\Gamma_5$ magnetic structures at much higher temperatures, $T_N=1.2$ K and $1.4$ K, respectively. In this temperature range, the magnetic heat capacity of Er$_2$Pt$_2$O$_7$ contains a broad anomaly centered at $T^*=1.5$ K. Our inelastic neutron scattering measurements reveal that this broad heat capacity anomaly sets the temperature scale for strong short-range spin fluctuations. Below $T_N = 0.38$ K, Er$_2$Pt$_2$O$_7$ displays a gapped spin wave spectrum with an intense, flat band of excitations at lower energy and a weak, diffusive band of excitations at higher energy. The flat band is well-described by classical spin wave calculations, but these calculations also predict sharp dispersive branches at higher energy, a striking discrepancy with the experimental data. This, in concert with the strong suppression of $T_N$, is attributable to enhanced quantum fluctuations due to phase competition between the $\Gamma_7$ and $\Gamma_5$ states that border each other within a classically predicted phase diagram.


title: Weighted Regular Tree Grammars with Storage

abstract: We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids. Each weighted regular tree grammar with storage generates a weighted tree language, which is a mapping from the set of trees to the multioperator monoid. We prove that, for multioperator monoids canonically associated to particular strong bi-monoids, the support of the generated weighted tree languages can be generated by (unweighted) regular tree grammars with storage. We characterize the class of all generated weighted tree languages by the composition of three basic concepts. Moreover, we prove results on the elimination of chain rules and of finite storage types, and we characterize weighted regular tree grammars with storage by a new weighted MSO-logic.


title: Petersson Norm of Cusp Forms Associated to Real Quadratic Fields

abstract: In this article, we compute the Petersson norm of a family of weight one cusp forms constructed by Hecke and express it in terms of the Rademacher symbol and the regulator of real quadratic field.


title: Raman tailored photonic-crystal-fiber for telecom band photon-pair generation

abstract: We report on the experimental characterization of a novel nonlinear liquid-filled hollow-core photonic-crystal fiber for the generation of photon pairs at telecommunication wavelength through spontaneous four-wave-mixing. We show that the optimization procedure in view of this application links the choice of the nonlinear liquid to the design parameters of the fiber, and we give an example of such an optimization at telecom wavelengths. Combining the modeling of the fiber and classical characterization techniques at these wavelengths, we identify, for the chosen fiber and liquid combination, spontaneous four-wave-mixing phase matching frequency ranges with no Raman scattering noise contamination. This is a first step toward obtaining a telecom band fibered photon-pair source with a high signal-to-noise ratio.


title: Auslander-Reiten duality for subcategories

abstract: Auslander-Reiten duality for module categories is generalized to some sufficiently nice subcategories. In particular, our consideration works for $\mathcal{P}^{<\infty}(\Lambda)$, the subcategory consisting of finitely generated modules with finite projective dimension over an artin algebra $\Lambda$, and also, the subcategory of Gorenstein projectove modules of $\rm{mod}\mbox{-}\Lambda$, denoted by $\rm{Gprj}\mbox{-}\Lambda$. In this paper, we give a method to compute the Auslander-Reiten translation in $\mathcal{P}^{<\infty}(\Lambda)$ whenever $\Lambda$ is a $1$-Gorenstein algebra. In addition, we characterize when the Auslander-Reiten translation in $\rm{Gprj}\mbox{-}\Lambda$ is the first syzygy and provide many algebras having such property.


title: Representations of the Lie algebra of vector fields on a sphere

abstract: For an affine algebraic variety $X$ we study a category of modules that admit compatible actions of both the algebra of functions on $X$ and the Lie algebra of vector fields on $X$. In particular, for the case when $X$ is the sphere $\mathbb{S}^2$, we construct a set of simple modules that are finitely generated over $A$. In addition, we prove that the monoidal category that these modules generate is equivalent to the category of finite-dimensional rational $\mathrm{GL}_2$-modules.


title: Interference effects in MSSM Higgs searches at the LHC

abstract: Complex parameters in the MSSM lead to mixing and interference between the two heavier neutral CP-even and CP-odd Higgs states. These effects can become very large in the case of almost degenerate states. In a CP-violating benchmark scenario, we investigate phenomenological implications of such interferences in view of the LHC searches for heavy Higgs bosons decaying to a pair of $\tau$-leptons and produced in gluon fusion and in association with b-quarks. Strongly destructive effects leave parameter regions unconstrained that would be regarded as excluded if no interference terms were taken into account.


title: Target-Quality Image Compression with Recurrent, Convolutional Neural Networks

abstract: We introduce a stop-code tolerant (SCT) approach to training recurrent convolutional neural networks for lossy image compression. Our methods introduce a multi-pass training method to combine the training goals of high-quality reconstructions in areas around stop-code masking as well as in highly-detailed areas. These methods lead to lower true bitrates for a given recursion count, both pre- and post-entropy coding, even using unstructured LZ77 code compression. The pre-LZ77 gains are achieved by trimming stop codes. The post-LZ77 gains are due to the highly unequal distributions of 0/1 codes from the SCT architectures. With these code compressions, the SCT architecture maintains or exceeds the image quality at all compression rates compared to JPEG and to RNN auto-encoders across the Kodak dataset. In addition, the SCT coding results in lower variance in image quality across the extent of the image, a characteristic that has been shown to be important in human ratings of image quality


title: Two-dimensional InSe as a potential thermoelectric material

abstract: Thermoelectric properties of monolayer indium selenide (InSe) are investigated by using Boltzman transport theory and first-principles calculations as a function of Fermi energy and crystal orientation. We find that the maximum power factor of p-type (n-type) monolayer InSe can be as large as 0.049 (0.043) W/K$^2$m at 300 K in the armchair direction. The excellent thermoelectric performance of monolayer InSe is attributed to both of its Seebeck coefficient and electrical conductivity. The large Seebeck coefficient originates from the moderate (about 2 eV) band gap of monolayer InSe as an indirect gap semiconductor, while its large electrical conductivity is due to its unique two-dimensional density of states (DOS), which consists of an almost constant DOS near the conduction band bottom and a sharp peak near the valence band top.


title: Irreversible local Markov chains with rapid convergence towards equilibrium

abstract: We study the continuous one-dimensional hard-sphere model and present irreversible local Markov chains that mix on faster time scales than the reversible heatbath or Metropolis algorithms. The mixing time scales appear to fall into two distinct universality classes, both faster than for reversible local Markov chains. The event-chain algorithm, the infinitesimal limit of one of these Markov chains, belongs to the class presenting the fastest decay. For the lattice-gas limit of the hard-sphere model, reversible local Markov chains correspond to the symmetric simple exclusion process (SEP) with periodic boundary conditions. The two universality classes for irreversible Markov chains are realized by the totally asymmetric simple exclusion process (TASEP), and by a faster variant (lifted TASEP) that we propose here. Lifted Markov chains and the recently introduced factorized Metropolis acceptance rule extend the irreversible Markov chains discussed here to general pair interactions and to higher dimensions.


title: Identifying and Analysing Protostellar Disc Fragments in Smoothed Particle Hydrodynamics Simulations

abstract: We present a new method of identifying protostellar disc fragments in a simulation based on density derivatives, and analyse our data using this and the existing CLUMPFIND method, which is based on an ordered search over all particles in gravitational potential energy. Using smoothed particle hydrodynamics, we carry out 9 simulations of a $0.25$ M$_{\odot}$ disc around a 1 M$_{\odot}$ star, all of which fragment to form at least 2 bound objects. We find that when using all particles ordered in gravitational potential space, only fragments that survive the duration of the simulation are detected. When we use the density derivative method, all fragments are detected, so the two methods are complementary, as using the two methods together allows us to identify all fragments, and to then determine those that are likely to be destroyed. We find a tentative empirical relationship between the dominant azimuthal wavenumber in the disc $m$ and the maximum semi-major axis a fragment may achieve in a simulation, such that $a_{\mathrm{max}}\propto\frac{1}{m}$. We find the fragment destruction rate to be around half that predicted from population synthesis models. This is due to fragment-fragment interactions in the early gas phase of the disc, which can cause scattering and eccentricity pumping on short timescales, and affects the fragment's internal structure. We therefore caution that measurements of eccentricity as a function of semi-major axis may not necessarily constrain the formation mechanism of giant planets and brown dwarfs.


title: Improving Dynamic Analysis of Android Apps Using Hybrid Test Input Generation

abstract: The Android OS has become the most popular mobile operating system leading to a significant increase in the spread of Android malware. Consequently, several static and dynamic analysis systems have been developed to detect Android malware. With dynamic analysis, efficient test input generation is needed in order to trigger the potential run-time malicious behaviours. Most existing dynamic analysis systems employ random-based input generation methods usually built using the Android Monkey tool. Random-based input generation has several shortcomings including limited code coverage, which motivates us to explore combining it with a state-based method in order to improve efficiency. Hence, in this paper, we present a novel hybrid test input generation approach designed to improve dynamic analysis on real devices. We implemented the hybrid system by integrating a random based tool (Monkey) with a state based tool (DroidBot) in order to improve code coverage and potentially uncover more malicious behaviours. The system is evaluated using 2,444 Android apps containing 1222 benign and 1222 malware samples from the Android malware genome project. Three scenarios, random only, state-based only, and our proposed hybrid approach were investigated to comparatively evaluate their performances. Our study shows that the hybrid approach significantly improved the amount of dynamic features extracted from both benign and malware samples over the state-based and commonly used random test input generation method.


title: High-temperature nonequilibrium Bose condensation induced by a hot needle

abstract: We investigate theoretically a one-dimensional ideal Bose gas that is driven into a steady state far from equilibrium via the coupling to two heat baths: a global bath of temperature $T$ and a "hot needle", a bath of temperature $T_h\gg T$ with localized coupling to the system. Remarkably, this system features a crossover to finite-size Bose condensation at temperatures $T$ that are orders of magnitude larger than the equilibrium condensation temperature. This counterintuitive effect is explained by a suppression of long-wavelength excitations resulting from the competition between both baths. Moreover, for sufficiently large needle temperatures ground-state condensation is superseded by condensation into an excited state, which is favored by its weaker coupling to the hot needle. Our results suggest a general strategy for the preparation of quantum degenerate nonequilibrium steady states with unconventional properties and at large temperatures.


title: Limited-Memory Matrix Adaptation for Large Scale Black-box Optimization

abstract: The Covariance Matrix Adaptation Evolution Strategy (CMA-ES) is a popular method to deal with nonconvex and/or stochastic optimization problems when the gradient information is not available. Being based on the CMA-ES, the recently proposed Matrix Adaptation Evolution Strategy (MA-ES) provides a rather surprising result that the covariance matrix and all associated operations (e.g., potentially unstable eigendecomposition) can be replaced in the CMA-ES by a updated transformation matrix without any loss of performance. In order to further simplify MA-ES and reduce its $\mathcal{O}\big(n^2\big)$ time and storage complexity to $\mathcal{O}\big(n\log(n)\big)$, we present the Limited-Memory Matrix Adaptation Evolution Strategy (LM-MA-ES) for efficient zeroth order large-scale optimization. The algorithm demonstrates state-of-the-art performance on a set of established large-scale benchmarks. We explore the algorithm on the problem of generating adversarial inputs for a (non-smooth) random forest classifier, demonstrating a surprising vulnerability of the classifier.


title: I Probe, Therefore I Am: Designing a Virtual Journalist with Human Emotions

abstract: By utilizing different communication channels, such as verbal language, gestures or facial expressions, virtually embodied interactive humans hold a unique potential to bridge the gap between human-computer interaction and actual interhuman communication. The use of virtual humans is consequently becoming increasingly popular in a wide range of areas where such a natural communication might be beneficial, including entertainment, education, mental health research and beyond. Behind this development lies a series of technological advances in a multitude of disciplines, most notably natural language processing, computer vision, and speech synthesis. In this paper we discuss a Virtual Human Journalist, a project employing a number of novel solutions from these disciplines with the goal to demonstrate their viability by producing a humanoid conversational agent capable of naturally eliciting and reacting to information from a human user. A set of qualitative and quantitative evaluation sessions demonstrated the technical feasibility of the system whilst uncovering a number of deficits in its capacity to engage users in a way that would be perceived as natural and emotionally engaging. We argue that naturalness should not always be seen as a desirable goal and suggest that deliberately suppressing the naturalness of virtual human interactions, such as by altering its personality cues, might in some cases yield more desirable results.


title: General linearized theory of quantum fluctuations around arbitrary limit cycles

abstract: The theory of Gaussian quantum fluctuations around classical steady states in nonlinear quantum-optical systems (also known as standard linearization) is a cornerstone for the analysis of such systems. Its simplicity, together with its accuracy far from critical points or situations where the nonlinearity reaches the strong coupling regime, has turned it into a widespread technique, which is the first method of choice in most works on the subject. However, such a technique finds strong practical and conceptual complications when one tries to apply it to situations in which the classical long-time solution is time dependent, a most prominent example being spontaneous limit-cycle formation. Here we introduce a linearization scheme adapted to such situations, using the driven Van der Pol oscillator as a testbed for the method, which allows us to compare it with full numerical simulations. On a conceptual level, the scheme relies on the connection between the emergence of limit cycles and the spontaneous breaking of the symmetry under temporal translations. On the practical side, the method keeps the simplicity and linear scaling with the size of the problem (number of modes) characteristic of standard linearization, making it applicable to large (many-body) systems.


title: Local and global existence of solutions to a strongly damped wave equation of the $p$-Laplacian type

abstract: This article focuses on a quasilinear wave equation of $p$-Laplacian type: $$ u_{tt} - \Delta_p u - \Delta u_t=0$$ in a bounded domain $\Omega\subset\mathbb{R}^3$ with a sufficiently smooth boundary $\Gamma=\partial\Omega$ subject to a generalized Robin boundary condition featuring boundary damping and a nonlinear source term. The operator $\Delta_p$, $2 < p < 3$, denotes the classical $p$-Laplacian. The nonlinear boundary term $f (u)$ is a source feedback that is allowed to have a supercritical exponent, in the sense that the associated Nemytskii operator is not locally Lipschitz from $W^{1,p}(\Omega)$ into $L^2(\Gamma)$. Under suitable assumptions on the parameters we provide a rigorous proof of existence of a local weak solution which can be extended globally in time provided the source term satisfies an appropriate growth condition.


title: Soliton Microcomb Range Measurement

abstract: Laser-based range measurement systems (LIDAR) are important in many application areas including autonomous vehicles, robotics, manufacturing, formation-flying of satellites, and basic science. Coherent laser ranging systems using dual frequency combs provide an unprecedented combination of long range, high precision and fast update rate. Here, dual-comb distance measurement using chip-based soliton microcombs is demonstrated. Moreover, the dual frequency combs are generated within a single microresonator as counter-propating solitons using a single pump laser. Time-of-flight measurement with 200 nm precision at 500 ms averaging time is demonstrated. Also, the dual comb method extends the ambiguity distance to 26 km despite a soliton spatial period of only 16 mm. This chip-based source is an important step towards miniature dual-comb laser ranging systems that are suitable for photonic integration.


title: Topological tensor product of bimodules, complete Hopf Algebroids and convolution algebras

abstract: Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and the associated convolution algebra. The topological Hopf algebroid structure of this convolution algebra is here clarified, by providing an explicit description of its topological antipode as well as of its other structure maps. Conditions under which that homomorphism becomes an homeomorphism are also discussed. These results, in particular, apply to the smooth global sections of any Lie algebroid over a smooth (connected) manifold and they lead a new formal groupoid scheme to enter into the picture. In the Appendix we develop the necessary machinery behind complete Hopf algebroid constructions, which involves also the topological tensor product of filtered bimodules over filtered rings.


title: Dynamical tides in exoplanetary systems containing Hot Jupiters: confronting theory and observations

abstract: We study the effect of dynamical tides associated with the excitation of gravity waves in an interior radiative region of the central star on orbital evolution in observed systems containing Hot Jupiters. We consider WASP-43, Ogle-tr-113, WASP-12, and WASP-18 which contain stars on the main sequence (MS). For these systems there are observational estimates regarding the rate of change of the orbital period. We also investigate Kepler-91 which contains an evolved giant star. We adopt the formalism of Ivanov et al. for calculating the orbital evolution. For the MS stars we determine expected rates of orbital evolution under different assumptions about the amount of dissipation acting on the tides, estimate the effect of stellar rotation for the two most rapidly rotating stars and compare results with observations. All cases apart from possibly WASP-43 are consistent with a regime in which gravity waves are damped during their propagation over the star. However, at present this is not definitive as observational errors are large. We find that although it is expected to apply to Kepler-91, linear radiative damping cannot explain this dis- sipation regime applying to MS stars. Thus, a nonlinear mechanism may be needed. Kepler-91 is found to be such that the time scale for evolution of the star is comparable to that for the orbit. This implies that significant orbital circularisation may have occurred through tides acting on the star. Quasi-static tides, stellar winds, hydrodynamic drag and tides acting on the planet have likely played a minor role.


title: Merging NLO Multi-jet Calculations with Improved Unitarization

abstract: We present an algorithm to combine multiple matrix elements at LO and NLO with a parton shower. We build on the unitarized merging paradigm. The inclusion of higher orders and multiplicities reduce the scale uncertainties for observables sensitive to hard emissions, while preserving the features of inclusive quantities. The combination allows further soft and collinear emissions to be predicted by the all-order parton shower approximation. We inspect the impact of terms that are formally but not parametrically negligible. We present results for a number of collider observables where multiple jets are observed, either on their own or in the presence of additional uncoloured particles. The algorithm is implemented in the event generator Herwig.


title: Kinetic study of plasma current start-up under EBW power in tokamak plasmas

abstract: Tokamak plasma current start-up assisted by Electron Bernstein waves (EBW) has been demonstrated successfully in a number of experiments. The dynamic start-up phase involves a change in field topology, as the initially open magnetic field lines form closed flux surfaces (CFS) under the initiation of a plasma current. This change in field topology will bring about a change in the current drive (CD) mechanism, and, although various mechanisms have been proposed to explain the formation of CFS, no detailed theoretical studies have previously been undertaken. Here, we report on the development of a start-up model for EBW-assisted plasma current start-up in MAST. It is shown that collisions are responsible for only a small part of the CD, while the open magnetic field line configuration leads to an asymmetric confinement of electrons, which is responsible for the greater part of the CD.


title: Holomorphic primary fields in free CFT4 and Calabi-Yau orbifolds

abstract: Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields for scalar field theory is mapped to a problem of determining multi-variable polynomials subject to a system of symmetry and differential constraints. For the extremal primaries, we give a construction in terms of holomorphic polynomial functions on permutation orbifolds, which are shown to be Calabi-Yau spaces.


title: Towards visible soliton microcomb generation

abstract: Frequency combs have applications that extend from the ultra-violet into the mid-infrared bands. Microcombs, a miniature and often semiconductor-chip-based device, can potentially access most of these applications, but are currently more limited in spectral reach. Here, we demonstrate mode-locked silica microcombs with emission near the edge of the visible spectrum. By using both geometrical and mode-hybridization dispersion control, devices are engineered for soliton generation while also maintaining optical $Q$ factors as high as 80 million. Electronics-bandwidth-compatible (20 GHz) soliton mode locking is achieved with low pumping powers (parametric oscillation threshold powers as low as 5.4 mW). These are the shortest wavelength soliton microcombs demonstrated to date and could be used in miniature optical clocks. The results should also extend to visible and potentially ultra-violet bands.


title: LHC lead data and nuclear PDFs

abstract: We compare predictions of nCTEQ15 nuclear parton distribution functions with proton-lead vector boson production data from the LHC. We select data sets that are most sensitive to nuclear PDFs and have potential to constrain them. We identify the kinematic regions and flavours where these data can bring new information and will have largest impact on the nuclear PDFs. Finally, we estimate the effect of including these data in a global analysis using a reweighting method.


title: Topology and singularities in cosmological spacetimes obeying the null energy condition

abstract: We consider globally hyperbolic spacetimes with compact Cauchy surfaces in a setting compatible with the presence of a positive cosmological constant. More specifically, for 3+1 dimensional spacetimes which satisfy the null energy condition and contain a future expanding compact Cauchy surface, we establish a precise connection between the topology of the Cauchy surfaces and the occurrence of past singularities. In addition to (a refinement of) the Penrose singularity theorem, the proof makes use of some recent advances in the topology of 3-manifolds and of certain fundamental existence results for minimal surfaces.


title: An eddifying Stommel model: Fast eddy effects in a two-box ocean

abstract: A system of stochastic differential equations is formulated describing the heat and salt content of a two-box ocean. Variability in the heat and salt content and in the thermohaline circulation between the boxes is driven by fast Gaussian atmospheric forcing and by ocean-intrinsic, eddy-driven variability. The eddy forcing of the slow dynamics takes the form of a colored, non-Gaussian noise. The qualitative effects of this non-Gaussianity are investigated by comparing to two approximate models: one that includes only the mean eddy effects (the `averaged model'), and one that includes an additional Gaussian white-noise approximation of the eddy effects (the `Gaussian model'). Both of these approximate models are derived using the methods of fast averaging and homogenization. In the parameter regime where the dynamics has a single stable equilibrium the averaged model has too little variability. The Gaussian model has accurate second-order statistics, but incorrect skew and rare-event probabilities. In the parameter regime where the dynamics has two stable equilibria the eddy noise is much smaller than the atmospheric noise. The averaged, Gaussian, and non-Gaussian models all have similar stationary distributions, but the jump rates between equilibria are too small for the averaged and Gaussian models.


title: Holographic fermionic spectrum from Born-Infeld AdS black hole

abstract: In this letter, we systematically explore the holographic (non-)relativistic fermionic spectrum without/with dipole coupling dual to Born-Infeld anti-de Sitter (BI-AdS) black hole. For the relativistic fermionic fixed point, this holographic fermionic system exhibits non-Fermi liquid behavior. Also, with the increase of BI parameter $\gamma$, the non-Fermi liquid becomes even "more non-Fermi". When the dipole coupling term is included, we find that the BI term makes it a lot tougher to form the gap. While for the non-relativistic fermionic system with large dipole coupling in BI-AdS background, with the increase of BI parameter, the gap comes into being against.


title: The Signature of Flare Activity in Multifractal Measurements of Active Regions Observed by SDO/HMI

abstract: Recent studies indicate that measurements of fractal and multifractal parameters of active regions (ARs) are not efficient tools to discriminate ARs on the basis of the flare activity, as well as to predict flare events. Attempting validation of this result on a large data set of higher spatial and temporal resolution, as well as higher flux sensitivity, observations than employed in previous studies, we analyzed high-cadence time series of line-of-sight magnetograms of 43 ARs characterized by different flare activity, which were observed with SDO/HMI from May 2010 to December 2013. On these data, we estimated four parameters, the generalized fractal dimensions $D_0$ and $D_8$, and the multifractal parameters $C_{\mathrm{div}}$ and $D_{\mathrm{div}}$. We found distinct average values of the parameters measured on ARs that have hosted flares of different class. However, the dispersion of values measured on ARs that have produced same class events is such that the parameters deduced from distinct classes of flaring regions can also largely overlap. Based on the results of our measurements, C- and M-class flaring ARs are practically indistinguishable, as well as M- and X-class flaring ARs. We found consistent changes on the time series of the measured parameters only on $\approx$ 50\% of the studied ARs and $\approx$ 50\% of the M- and X-class events considered. We show that these results hold for fractal and multifractal parameter estimates based on both total unsigned and signed flux data of the analyzed ARs.


title: Learning Spatiotemporal Features for Infrared Action Recognition with 3D Convolutional Neural Networks

abstract: Infrared (IR) imaging has the potential to enable more robust action recognition systems compared to visible spectrum cameras due to lower sensitivity to lighting conditions and appearance variability. While the action recognition task on videos collected from visible spectrum imaging has received much attention, action recognition in IR videos is significantly less explored. Our objective is to exploit imaging data in this modality for the action recognition task. In this work, we propose a novel two-stream 3D convolutional neural network (CNN) architecture by introducing the discriminative code layer and the corresponding discriminative code loss function. The proposed network processes IR image and the IR-based optical flow field sequences. We pretrain the 3D CNN model on the visible spectrum Sports-1M action dataset and finetune it on the Infrared Action Recognition (InfAR) dataset. To our best knowledge, this is the first application of the 3D CNN to action recognition in the IR domain. We conduct an elaborate analysis of different fusion schemes (weighted average, single and double-layer neural nets) applied to different 3D CNN outputs. Experimental results demonstrate that our approach can achieve state-of-the-art average precision (AP) performances on the InfAR dataset: (1) the proposed two-stream 3D CNN achieves the best reported 77.5% AP, and (2) our 3D CNN model applied to the optical flow fields achieves the best reported single stream 75.42% AP.


title: Uniform Approximation of Extremal Functions in Weighted Bergman Spaces

abstract: We discuss approximation of extremal functions by polynomials in the weighted Bergman spaces $A^p_\alpha$ where $-1 < \alpha < 0$ and $-1 < \alpha < p-2$. We obtain bounds on how close the approximation is to the true extremal function in the $A^p_\alpha$ and uniform norms. We also discuss several results on the relation between the Bergman modulus of continuity of a function and how quickly its best polynomial approximants converge to it.


title: Local Lorentz covariance in finite-dimensional Local Quantum Physics

abstract: We show that local Lorentz covariance arises canonically as the group of transformations between local thermal states in the framework of Local Quantum Physics, given the following three postulates: (i) Local observable algebras are finite-dimensional. (ii) Minimal local observable algebras are isomorphic to $\mathbb{M}_2(\mathbb{C})$, the observable algebra of a single qubit. (iii) The vacuum restricted to any minimal local observable algebra is a non-maximally mixed thermal state. The derivation reveals a new and surprising relation between spacetime structure and local quantum states. In particular, we show how local restrictions of the vacuum can determine the connection between different local inertial reference frames.


title: Model-based Catheter Segmentation in MRI-images

abstract: Accurate and reliable segmentation of catheters in MR-guided interventions remains a challenge, and a step of critical importance in clinical workflows. In this work, under reasonable assumptions, mechanical model based heuristics guide the segmentation process allows correct catheter identification rates greater than 98% (error 2.88 mm), and reduction in outliers to one-fourth compared to the state of the art. Given distal tips, searching towards the proximal ends of the catheters is guided by mechanical models that are estimated on a per-catheter basis. Their bending characteristics are used to constrain the image feature based candidate points. The final catheter trajectories are hybrid sequences of individual points, each derived from model and image features. We evaluate the method on a database of 10 patient MRI scans including 101 manually segmented catheters. The mean errors were 1.40 mm and the median errors were 1.05 mm. The number of outliers deviating more than 2 mm from the gold standard is 7, and the number of outliers deviating more than 3 mm from the gold standard is just 2.


title: 4D Higher Spin Black Holes with Nonlinear Scalar Fluctuations

abstract: We construct an infinite-dimensional space of solutions to Vasiliev's equations in four dimensions that are asymptotic to AdS spacetime and superpose massless scalar particle modes over static higher spin black holes. Each solution is obtained by a large gauge transformation of an all-order perturbatively defined particular solution given in a simple gauge, in which the spacetime connection vanishes, the twistor space connection is holomorphic, and all local degrees of freedom are encoded into the residual twistor space dependence of the spacetime zero-forms. The latter are expanded over two dual spaces of Fock space operators, corresponding to scalar particle and static black hole modes, equipped with positive definite sesquilinear and bilinear forms, respectively. Switching on an AdS vacuum gauge function, the twistor space connection becomes analytic at generic spacetime points, which makes it possible to reach Vasiliev's gauge, in which Fronsdal fields arise asymptotically, by another large transformation given here at first order. The particle and black hole modes are related by a twistor space Fourier transform, resulting in a black hole backreaction already at the second order of classical perturbation theory. We speculate on the existence of a fine-tuned branch of moduli space that is free from black hole modes and directly related to the quasi-local deformed Fronsdal theory. Finally, we comment on a possible interpretation of the higher spin black hole solutions as black-hole microstates.


title: Exploring quantum signatures of chaos on a Floquet synthetic lattice

abstract: Ergodicity and chaos play an integral role in the dynamical behavior of many-particle systems and are crucial to the formulation of statistical mechanics. Still, a general understanding of how randomness and chaos emerge in the dynamical evolution of closed quantum systems remains elusive. Here, we develop an experimental platform for the realization of canonical quantum chaotic Hamiltonians based on quantum simulation with synthetic lattices. We map the angular momentum projection states of an effective quantum spin onto the linear momentum states of a $^{87}$Rb Bose-Einstein condensate, which can alternatively be viewed as lattice sites in a synthetic dimension. This synthetic lattice, with local and dynamical control of tight-binding lattice parameters, enables new capabilities related to the experimental study of quantum chaos. In particular, the capabilities of our system let us tune the effective size of our spin, allowing us to illustrate how classical chaos can emerge from a discrete quantum system. Moreover, spectroscopic control over our synthetic lattice allows us to explore unique aspects of our spin's dynamics by measuring the out-of-time-ordered correlation function, and enables future investigations into entirely new classes of chaotic systems.


title: Continuous Implicit Authentication for Mobile Devices based on Adaptive Neuro-Fuzzy Inference System

abstract: As mobile devices have become indispensable in modern life, mobile security is becoming much more important. Traditional password or PIN-like point-of-entry security measures score low on usability and are vulnerable to brute force and other types of attacks. In order to improve mobile security, an adaptive neuro-fuzzy inference system(ANFIS)-based implicit authentication system is proposed in this paper to provide authentication in a continuous and transparent manner.To illustrate the applicability and capability of ANFIS in our implicit authentication system, experiments were conducted on behavioural data collected for up to 12 weeks from different Android users. The ability of the ANFIS-based system to detect an adversary is also tested with scenarios involving an attacker with varying levels of knowledge. The results demonstrate that ANFIS is a feasible and efficient approach for implicit authentication with an average of 95% user recognition rate. Moreover, the use of ANFIS-based system for implicit authentication significantly reduces manual tuning and configuration tasks due to its selflearning capability.


title: Cross Section Predictions of W ($W\to\ell^{\pm}\nu$) and Z ($Z\to\ell^{+}\ell^{-}$) Bosons in Association with Jets in pp Collisions

abstract: Cross section predictions of W and Z bosons in association with jets (up to 6 jets, $W\to\ell^{\pm}\nu$ and $Z\to\ell^{\pm}$ where $\ell^{\pm}$=$e^{\pm}$ or $\mu^{\pm}$) in proton-proton collisions at $\sqrt{s}$=14 TeV is performed using Alpgen MC generator with CTEQ6L1 leading order parton distribution function. In addition, W and Z boson cross sections are obtained up to next to next to leading order (NNLO) QCD corrections using MCFM MC generator. To validate the predictions, a detailed comparison of NNLO QCD calculations with 8 TeV CMS results for total cross section is performed and a fiducial region is further defined to make a comparison of predictions with 7 TeV and 13 TeV ATLAS results.


title: Constrained superfields from inflation to reheating

abstract: We construct effective supergravity theories from customized constrained superfields which provide a setup consistent both for the description of inflation and the subsequent reheating processes. These theories contain the minimum degrees of freedom in the bosonic sector required for single-field inflation.


title: Long wavelength solitary waves in Hertzian chains and their properties in different nonlinearity regimes

abstract: Properties of solitary waves in pre-compressed Hertzian chains of particles are studied in the long wavelength limit using a well-known continuum model. Several main results are obtained by parameterizing the solitary waves in terms of their wave speed and their asymptotic amplitude. First, the asymptotic amplitude is shown to be directly related to the continuum sound speed, and the ratio of asymptotic amplitude to peak amplitude is shown to describe the degree of dynamical nonlinearity in the underlying discrete system. Second, an algebraic relation is derived that determines the dynamical nonlinearity ratio in terms of the ratio of the solitary wave speed to the sound speed. In particular, highly supersonic solitary waves correspond to highly nonlinear propagating pulses in weakly compressed systems, and slightly supersonic solitary waves correspond to weakly nonlinear propagating pulses in strongly compressed systems. Third, explicit formulas for the physical height, width, impulse and energy of the solitary waves are obtained in both the strongly nonlinear regime and the weakly nonlinear regime. Asymptotic expansions are used to show that in the strongly nonlinear regime, solitary waves are well-approximated by Nesterenko's compacton (having the same wave speed), while in the weakly nonlinear regime, solitary waves coincide with solitons of the Korteweg-de Vries (KdV) equation, with the same wave speed. All of these results are illustrated by means of exact solitary wave solutions, including the physically important case that models a chain of spherical particles.


title: Single-copy entanglement detection

abstract: One of the main challenges of quantum information is the reliable verification of quantum entanglement. The conventional detection schemes require repeated measurement on a large number of identically prepared systems. This is hard to achieve in practice when dealing with large-scale entangled quantum systems. In this letter we develop a novel method by formulating verification as a decision procedure, i.e. entanglement is seen as the ability of quantum system to answer certain "yes-no questions". We show that for a variety of large quantum states even a single copy suffices to detect entanglement with a high probability by using local measurements. For example, a single copy of a $16$-qubit $k$-producible state or one copy of $24$-qubit linear cluster state suffices to verify entanglement with more than $95\%$ confidence. Our method is applicable to many important classes of states, such as cluster states or ground states of local Hamiltonians in general.