title: Prethermalization at Low Temperature: the Scent of Long-Range Order

abstract: Non-equilibrium time evolution in isolated many-body quantum systems generally results in thermalization. However, the relaxation process can be very slow, and quasi-stationary non-thermal plateaux are often observed at intermediate times. The paradigmatic example is a quantum quench in an integrable model with weak integrability breaking; for a long time, the state can not escape the constraints imposed by the approximate integrability. We unveil a new mechanism of prethermalization, based on the presence of a symmetry of the pre-quench Hamiltonian, which is spontaneously broken at zero temperature and is explicitly broken by the post-quench Hamiltonian. The typical time scale of the phenomenon is proportional to the thermal correlation length of the initial state, which diverges as the temperature is lowered. We show that the prethermal quasi-stationary state can be approximated by a mixed state that violates cluster decomposition property. We consider two examples: the transverse-field Ising chain, where the full time evolution is computed analytically, and the (non integrable) ANNNI model, which is investigated numerically.


title: Optimized Spatial Partitioning via Minimal Swarm Intelligence

abstract: Optimized spatial partitioning algorithms are the corner stone of many successful experimental designs and statistical methods. Of these algorithms, the Centroidal Voronoi Tessellation (CVT) is the most widely utilized. CVT based methods require global knowledge of spatial boundaries, do not readily allow for weighted regions, have challenging implementations, and are inefficiently extended to high dimensional spaces. We describe two simple partitioning schemes based on nearest and next nearest neighbor locations which easily incorporate these features at the slight expense of optimal placement. Several novel qualitative techniques which assess these partitioning schemes are also included. The feasibility of autonomous uninformed sensor networks utilizing these algorithms are considered. Some improvements in particle swarm optimizer results on multimodal test functions from partitioned initial positions in two space are also illustrated. Pseudo code for all of the novel algorithms depicted here-in is available in the supplementary information of this manuscript.


title: CMB Scale Dependent Non-Gaussianity from Massive Gravity during Inflation

abstract: We consider a cosmological model in which the tensor mode becomes massive during inflation, and study the Cosmic Microwave Background (CMB) temperature and polarization bispectra arising from the mixing between the scalar mode and the massive tensor mode during inflation. The model assumes the existence of a preferred spatial frame during inflation. The local Lorentz invariance is already broken in cosmology due to the existence of a preferred rest frame. The existence of a preferred spatial frame further breaks the remaining local SO(3) invariance and in particular gives rise to a mass in the tensor mode. At linear perturbation level, we minimize our model so that the vector mode remains non-dynamical, while the scalar mode is the same as the one in single-field slow-roll inflation. At non-linear perturbation level, this inflationary massive graviton phase leads to a sizeable scalar-scalar-tensor coupling, much greater than the scalar-scalar-scalar one, as opposed to the conventional case. This scalar-scalar-tensor interaction imprints a scale dependent feature in the CMB temperature and polarization bispectra. Very intriguingly, we find a surprizing similarity between the predicted scale dependence and the scale-dependent non-Gaussianities at low multipoles hinted in the WMAP and Planck results.


title: Indirect controllability of some linear parabolic systems of m equations with m-1 controls involving coupling terms of zero or first order

abstract: This paper is devoted to the study of the null and approximate controllability for some classes of linear coupled parabolic systems with less controls than equations. More precisely, for a given bounded domain in R^N, we consider a system of m linear parabolic equations (m > 2) with coupling terms of first and zero order, and m-1 controls localized in some arbitrary nonempty open subset. In the case of constant coupling coefficients, we provide a necessary and sufficient condition to obtain the null or approximate controllability in arbitrary small time. In the case m = 2 and N = 1, we also give a generic sufficient condition to obtain the null or approximate controllability in arbitrary small time for general coefficients depending on the space and times variables, provided that the supports of the coupling terms intersect the control domain. The results are obtained thanks to the fictitious control method together with an algebraic method and some appropriate Carleman estimates.


title: Characterizing departure delays of flights in passenger aviation network of United States

abstract: Flight delay happens every day in airports all over the world. However, systemic investigation in large scales remains a challenge. We collect primary data of domestic departure records from Bureau of Transportation Statistics of United States, and do empirical statistics with them in form of complementary cumulative distributions functions (CCDFs) and transmission function of the delays. Fourteen main airlines are characterized by two types of CCDFs: shifted power-law and exponentially truncated shifted power-law. By setting up two phenomenological models based on mean-field approximation in temporal regime, we convert effect from other delay factors into a propagation one. Three parameters meaningful in measuring airlines emerge as universal metrics. Moreover, method used here could become a novel approach to revealing practical meanings hidden in temporal big data in wide fields.


title: Les isomorphismes infinit\'esimaux des tissus de codimension 1

abstract: We study local ($n+1$)-webs of codimension 1 on a manifold of dimension $n.$ We give a complete description of their possible Lie algebras of infinitesimal diffeomorphisms. More precisely we show that these Lie algebras are direct products of sub-algebras which are isomorphic to $\frak{sl}(2),$ to the non-commutative 2-dimensional Lie algebra or commutative. We give also a precise limitation of the number of such direct factors and examples.


title: The 2016 Super Pressure Balloon flight of the Compton Spectrometer and Imager

abstract: The Compton Spectrometer and Imager (COSI) is a balloon-borne, soft-gamma ray imager, spectrometer, and polarimeter with sensitivity from 0.2 to 5 MeV. Utilizing a compact Compton telescope design with twelve cross-strip, high-purity germanium detectors, COSI has three main science goals: study the 511 keV positron annihilation line from the Galactic plane, image diffuse emission from stellar nuclear lines, and perform polarization studies of gamma-ray bursts and other extreme astrophysical environments. COSI has just completed a successful 46-day flight on NASA's new Super Pressure Balloon, launched from Wanaka, New Zealand, in May 2016. We present an overview of the instrument and the 2016 flight, and discuss COSI's main science goals, predicted performance, and preliminary results.


title: Fractional $S$-duality, Classification of Fractional Topological Insulators and Surface Topological Order

abstract: In this paper, we propose a generalization of the $S$-duality of four-dimensional quantum electrodynamics ($\text{QED}_4$) to $\text{QED}_4$ with fractionally charged excitations, the fractional $S$-duality. Such $\text{QED}_4$ can be obtained by gauging the $\text{U(1)}$ symmetry of a topologically ordered state with fractional charges. When time-reversal symmetry is imposed, the axion angle ($\theta$) can take a nontrivial but still time-reversal invariant value $\pi/t^2$ ($t\in\mathbb{Z}$). Here, $1/t$ specifies the minimal electric charge carried by bulk excitations. Such states with time-reversal and $\text{U(1)}$ global symmetry (fermion number conservation) are fractional topological insulators (FTI). We propose a topological quantum field theory description, which microscopically justifies the fractional $S$-duality. Then, we consider stacking operations (i.e., a direct sum of Hamiltonians) among FTIs. We find that there are two topologically distinct classes of FTIs: type-I and type-II. Type-I ($t\in\mathbb{Z}_{\rm odd}$) can be obtained by directly stacking a non-interacting topological insulator and a fractionalized gapped fermionic state with minimal charge $1/t$ and vanishing $\theta$. But type-II ($t\in\mathbb{Z}_{\rm even}$) cannot be realized through any stacking. Finally, we study the Surface Topological Order of fractional topological insulators.

categories: cond-mat.str-el cond-mat.mtrl-sci hep-th math-ph math.MP


title: Spitzer's View of the Candidate Cluster and Protocluster Catalog (CCPC)

abstract: The Candidate Cluster and Protocluster Catalog (CCPC) contains 218 galaxy overdensities com- posed of more than 2000 galaxies with spectroscopic redshifts spanning the first few Gyrs after the Big Bang (2.0 < z < 6.6). We use Spitzer archival data to track the underlying stellar mass of these overdense regions in various temporal cross sections by building rest-frame near-infrared luminosity functions across the span of redshifts.This exercise maps the stellar growth of protocluster galaxies, as halos in the densest environments should be the most massive from hierarchical accretion. The characteristic apparent magnitude, m*(z), is relatively flat from 2.0 < z < 6.6, consistent with a passive evolution of an old stellar population. This trend maps smoothly to lower redshift results of cluster galaxies from other works. We find no difference in the luminosity


title: The KMOS Redshift One Spectroscopic Survey (KROSS): rotational velocities and angular momentum of z~0.9 galaxies

abstract: We present dynamical measurements for 586 H-alpha detected star-forming galaxies from the KMOS (K-band Multi-Object Spectrograph) Redshift One Spectroscopic Survey (KROSS). The sample represents typical star-forming galaxies at this redshift (z=0.6-1.0), with a median star formation rate of ~7 Msol/yr and a stellar mass range of log[M/Msol]~9-11. We find that the rotation velocity-stellar mass relationship (the inverse of the Tully-Fisher relationship) for our rotationally-dominated sources (v/sigma>1) has a consistent slope and normalisation as that observed for z=0 disks. In contrast, the specific angular momentum (j; angular momentum divided by stellar mass), is ~0.2-0.3 dex lower on average compared to z=0 disks. The specific angular momentum scales as M^[0.6+/-0.2], consistent with that expected for dark matter (i.e., proportional to M^[2/3]). We find that z~0.9 star-forming galaxies have decreasing specific angular momentum with increasing Sersic index. Visually, the sources with the highest specific angular momentum, for a given mass, have the most disk-dominated morphologies. This implies that an angular momentum-mass-morphology relationship, similar to that observed in local massive galaxies, is already in place by z~1.


title: Surface defects and elliptic quantum groups

abstract: A brane construction of an integrable lattice model is proposed. The model is composed of Belavin's R-matrix, Felder's dynamical R-matrix, the Bazhanov-Sergeev-Derkachov-Spiridonov R-operator and some intertwining operators. This construction implies that a family of surface defects act on supersymmetric indices of four-dimensional $\mathcal{N} = 1$ supersymmetric field theories as transfer matrices related to elliptic quantum groups.


title: Benchmarking COSI's detector effects engine

abstract: The Compton Spectrometer and Imager (COSI) is a balloon-borne gamma-ray (0.2-5 MeV) telescope with inherent sensitivity to polarization. COSI's main goal is to study astrophysical sources such as $\gamma$-ray bursts, positron annihilation, Galactic nucleosynthesis, and compact objects. COSI employs a compact Compton telescope design utilizing 12 high-purity cross strip germanium detectors (size: $8\times8\times1.5$ cm$^3$, 2 mm strip pitch). We require well-benchmarked simulations to simulate the full instrument response used for data analysis, to optimize our analysis algorithms, and to better understand our instrument and the in-flight performance. In order to achieve a reasonable agreement, we have built a comprehensive mass model of the instrument and developed a detailed detector effects engine, which takes into account the individual performance of each strip as well as the characteristics of the overall detector system. We performed detailed Monte-Carlo simulations with Cosima/Geant4, applied the detector effects engine, and benchmarked the results with pre-flight calibrations using radioactive sources. After applying the detector effects engine, the simulations closely resemble the measurements, and the standard calibration, event reconstruction, and imaging pipeline used for measurements can also be applied to the simulations. In this manuscript, we will describe the detector effects engine, the benchmarking tests with calibrations, and the application to preliminary results from COSI's 46-day balloon flight in 2016.


title: A Theory of Exoplanet Transits with Light Scattering

abstract: Exoplanet transit spectroscopy enables the characterization of distant worlds, and will yield key results for NASA's James Webb Space Telescope. However, transit spectra models are often simplified, omitting potentially important processes like refraction and multiple scattering. While the former process has seen recent development, the effects of light multiple scattering on exoplanet transit spectra has received little attention. Here, we develop a detailed theory of exoplanet transit spectroscopy that extends to the full refracting and multiple scattering case. We explore the importance of scattering for planet-wide cloud layers, where the relevant parameters are the slant scattering optical depth, the scattering asymmetry parameter, and the angular size of the host star. The latter determines the size of the "target" for a photon that is back-mapped from an observer. We provide results that straightforwardly indicate the potential importance of multiple scattering for transit spectra. When the orbital distance is smaller than 10-20 times the stellar radius, multiple scattering effects for aerosols with asymmetry parameters larger than 0.8-0.9 can become significant. We provide examples of the impacts of cloud/haze multiple scattering on transit spectra of a hot Jupiter-like exoplanet. For cases with a forward and conservatively scattering cloud/haze, differences due to multiple scattering effects can exceed 200 ppm, but shrink to zero at wavelength ranges corresponding to strong gas absorption or when the slant optical depth of the cloud exceeds several tens. We conclude with a discussion of types of aerosols for which multiple scattering in transit spectra may be important.


title: Quasinormal modes of charged magnetic black branes & chiral magnetic transport

abstract: We compute quasinormal modes (QNMs) of the metric and gauge field perturbations about black branes electrically and magnetically charged in the Einstein-Maxwell-Chern-Simons theory. By the gauge/gravity correspondence, this theory is dual to a particular class of field theories with a chiral anomaly, in a thermal charged plasma state subjected to a constant external magnetic field, $B$. The QNMs are dual to the poles of the two-point functions of the energy-momentum and axial current operators, and they encode information about the dissipation and transport of charges in the plasma. Complementary to the gravity calculation, we work out the hydrodynamic description of the dual field theory in the presence of a chiral anomaly, and a constant external $B$. We find good agreement with the weak field hydrodynamics, which can extend beyond the weak $B$ regime into intermediate regimes. Furthermore, we provide results that can be tested against thermodynamics and hydrodynamics in the strong $B$ regime. We find QNMs exhibiting Landau level behavior, which become long-lived at large $B$ if the anomaly coefficient exceeds a critical magnitude. Chiral transport is analyzed beyond the hydrodynamic approximation for the five (formerly) hydrodynamic modes, including a chiral magnetic wave.


title: Corral Framework: Trustworthy and Fully Functional Data Intensive Parallel Astronomical Pipelines

abstract: Data processing pipelines represent an important slice of the astronomical software library that include chains of processes that transform raw data into valuable information via data reduction and analysis. In this work we present Corral, a Python framework for astronomical pipeline generation. Corral features a Model-View-Controller design pattern on top of an SQL Relational Database capable of handling: custom data models; processing stages; and communication alerts, and also provides automatic quality and structural metrics based on unit testing. The Model-View-Controller provides concept separation between the user logic and the data models, delivering at the same time multi-processing and distributed computing capabilities. Corral represents an improvement over commonly found data processing pipelines in Astronomy since the design pattern eases the programmer from dealing with processing flow and parallelization issues, allowing them to focus on the specific algorithms needed for the successive data transformations and at the same time provides a broad measure of quality over the created pipeline. Corral and working examples of pipelines that use it are available to the community at https://github.com/toros-astro.


title: Convolutional Neural Networks for Automated Annotation of Cellular Cryo-Electron Tomograms

abstract: Cellular Electron Cryotomography (CryoET) offers the ability to look inside cells and observe macromolecules frozen in action. A primary challenge for this technique is identifying and extracting the molecular components within the crowded cellular environment. We introduce a method using neural networks to dramatically reduce the time and human effort required for subcellular annotation and feature extraction. Subsequent subtomogram classification and averaging yields in-situ structures of molecular components of interest.


title: On the Distribution of Extrema for a Class of L\'evy Processes

abstract: Suppose Xt is either a regular exponential type Levy process or a Levy process with a bounded variation jumps measure. The distribution of the extrema of Xt play a crucial role in many financial and actuarial problems. This article employs the well known and powerful Riemann-Hilbert technique to derive the characteristic functions of the extrema for such Levy processes. An approximation technique along with several examples is given.


title: Infinite volume limits in Euclidean quantum field theory via stereographic projection

abstract: We present a general infinite volume limit construction of probability measures obeying the Glimm-Jaffe axioms of Euclidean quantum field theory in arbitrary space-time dimension. In particular, we obtain measures that may be interpreted as corresponding to scalar quantum fields with arbitrary bounded continuous self-interaction. It remains however an open problem whether this general construction contains non-Gaussian measures.


title: Solving an Integral Equation Arising from the Ruin Probability of Long-term Bonus-Malus Systems

abstract: This article studies in detail the solution of an integral equation due to Rongming et al. [13]. The methods involve complex analysis. As an application, we find the ruin probability of a given Bonus-Malus system in a steady state. We obtain closed form solutions for the ruin probability in certain cases, and we characterize these cases. We give conditions for the Laplace transform of a ruin probability to extend to a meromorphic function in the complex plane, we prove a very general and almost sharp inequality of Lundberg type, and we extend our results to a doubly stochastic situation.


title: Modelling of Lyman-alpha Emitting Galaxies and Ionized Bubbles at the Era of Reionization

abstract: Understanding Ly$\alpha$ emitting galaxies (LAEs) can be a key to reveal cosmic reionization and galaxy formation in the early Universe. Based on halo merger trees and Ly$\alpha$ radiation transfer calculations, we model redshift evolution of LAEs and their observational properties at $z \ge 6$. We consider ionized bubbles associated with individual LAEs and IGM transmission of Ly$\alpha$ photons. We find that Ly$\alpha$ luminosity tightly correlates with halo mass and stellar mass, while the relation with star formation rate has a large dispersion. Comparing our models with the observed luminosity function by Konno et al., we suggest that LAEs at $z \sim 7$ have galactic wind of $V_{\rm out} \gtrsim 100~\rm km\, s^{-1}$ and HI column density of $N_{\rm HI} \gtrsim 10^{20}~\rm cm^{-2}$. Number density of bright LAEs rapidly decreases as redshift increases, due to both lower star formation rate and smaller HII bubbles. Our model predicts future wide deep surveys with next generation telescopes, such as JWST, E-ELT and TMT, can detect LAEs at $z \sim 10$ with a number density of $n_{\rm LAE} \sim {\rm a~few~} \times10^{-6} ~\rm Mpc^{-3}$ for the flux sensitivity of $10^{-18} ~\rm erg\, cm^{-2}\, s^{-1}$. By combining these surveys with future 21-cm observations, it could be possible to detect both LAEs with $L_{Ly\alpha} \gtrsim 10^{42}~\rm erg~s^{-1}$ and their associated giant HII bubbles with the size $\gtrsim 250 ~\rm kpc$ at $z \sim 10$.


title: Transplanckian Censorship and Global Cosmic Strings

abstract: Large field excursions are required in a number of axion models of inflation. These models also possess global cosmic strings, around which the axion follows a path mirroring the inflationary trajectory. Cosmic strings are thus an interesting theoretical laboratory for the study of transplanckian field excursions. We describe connections between various effective field theory models of axion monodromy and study the classical spacetimes around their supercritical cosmic strings. For small decay constants $f<M_p$ and large winding numbers $n>M_p/f$, the EFT is under control and the string cores undergo topological inflation, which may be either of exponential or power-law type. We show that the exterior spacetime is nonsingular and equivalent to a decompactifying cigar geometry, with the radion rolling in a potential generated by axion flux. Signals are able to circumnavigate infinite straight strings in finite but exponentially long time, $t\sim e^{\Delta a/M_p}$. For finite loops of supercritical string in asymptotically flat space, we argue that if topological inflation occurs, then topological censorship implies transplanckian censorship, or that external observers are forbidden from threading the loop and observing the full excursion of the axion.


title: Poisson--Gamma Dynamical Systems

abstract: We introduce a new dynamical system for sequentially observed multivariate count data. This model is based on the gamma--Poisson construction---a natural choice for count data---and relies on a novel Bayesian nonparametric prior that ties and shrinks the model parameters, thus avoiding overfitting. We present an efficient MCMC inference algorithm that advances recent work on augmentation schemes for inference in negative binomial models. Finally, we demonstrate the model's inductive bias using a variety of real-world data sets, showing that it exhibits superior predictive performance over other models and infers highly interpretable latent structure.


title: Harnessing Cognitive Features for Sarcasm Detection

abstract: In this paper, we propose a novel mechanism for enriching the feature vector, for the task of sarcasm detection, with cognitive features extracted from eye-movement patterns of human readers. Sarcasm detection has been a challenging research problem, and its importance for NLP applications such as review summarization, dialog systems and sentiment analysis is well recognized. Sarcasm can often be traced to incongruity that becomes apparent as the full sentence unfolds. This presence of incongruity- implicit or explicit- affects the way readers eyes move through the text. We observe the difference in the behaviour of the eye, while reading sarcastic and non sarcastic sentences. Motivated by his observation, we augment traditional linguistic and stylistic features for sarcasm detection with the cognitive features obtained from readers eye movement data. We perform statistical classification using the enhanced feature set so obtained. The augmented cognitive features improve sarcasm detection by 3.7% (in terms of F-score), over the performance of the best reported system.


title: Results of Ambrosetti-Prodi type for non-selfadjoint elliptic operators

abstract: The well-known Ambrosetti-Prodi theorem considers perturbations of the Dirichlet Laplacian by a nonlinear function whose derivative jumps over the principal eigenvalue of the operator. Various extensions of this landmark result were obtained for self-adjoint operators, in particular by Berger and Podolak, who gave a geometrical description of the solution set. In this text we show that similar theorems are valid for non self-adjoint operators. In particular, we prove that the semilinear operator is a global fold. As a consequence, we obtain what appears to be the first exact multiplicity result for elliptic equations in non-divergence form. We employ techniques based on the maximum principle.


title: $T\bar T$ and LST

abstract: It was recently shown that the theory obtained by deforming a general two dimensional conformal theory by the irrelevant operator $T\bar T$ is solvable. In the context of holography, a large class of such theories can be obtained by studying string theory on $AdS_3$. We show that a certain $T\bar T$ deformation of the boundary $CFT_2$ gives rise in the bulk to string theory in a background that interpolates between $AdS_3$ in the IR and a linear dilaton spacetime in the UV, i.e. to a two dimensional vacuum of Little String Theory. This construction provides holographic duals for a large class of vacua of string theory in asymptotically linear dilaton spacetimes, and sheds light on the UV behavior of $T\bar T$ deformed $CFT_2$. It may provide a step towards holography in flat spacetime.


title: An Integrated Design of Optimization and Physical Dynamics for Energy Efficient Buildings: A Passivity Approach

abstract: In this paper, we address energy management for heating, ventilation, and air-conditioning (HVAC) systems in buildings, and present a novel combined optimization and control approach. We first formulate a thermal dynamics and an associated optimization problem. An optimization dynamics is then designed based on a standard primal-dual algorithm, and its strict passivity is proved. We then design a local controller and prove that the physical dynamics with the controller is ensured to be passivity-short. Based on these passivity results, we interconnect the optimization and physical dynamics, and prove convergence of the room temperatures to the optimal ones defined for unmeasurable disturbances. Finally, we demonstrate the present algorithms through simulation.


title: Dunkl generalization of Szasz Beta type operators

abstract: The goal in the paper is to advertise Dunkl extension of Szasz beta type operators. We initiate approximation features via acknowledged Korovkin and weighted Korovkin theorem and obtain the convergence rate from the point of modulus of continuity, second order modulus of continuity, the Lipschitz class functions, Peetre's K-functional and modulus of weighted continuity by Dunkl generalization of Szasz beta type operators.


title: Valley-Polarized Exciton-Polaritons in a Monolayer Semiconductor

abstract: Single layers of transition metal dichalcogenides are two-dimensional direct bandgap semiconductors with degenerate, but inequivalent, `valleys' in the electronic structure that can be selectively excited by polarized light. Coherent superpositions of light and matter, exciton-polaritons, have been observed when these materials are strongly coupled to photons, but these hybrid quasiparticles do not harness the valley-sensitive excitations of monolayer transition metal dichalcogenides. Here, we demonstrate evidence for valley polarized exciton-polaritons in monolayers of MoS$_2$ embedded in a dielectric microcavity. Unlike traditional microcavity exciton-polaritons, these light-matter quasiparticles emit polarized light with spectral Rabi splitting. The interplay of cavity-modified exciton dynamics and intervalley relaxation in the high-cooperativity regime causes valley polarized exciton-polaritons to persist to room temperature, distinct from the vanishing polarization in bare monolayers. Achieving polarization-sensitive polaritonic devices operating at room temperature presents a pathway for manipulating novel valley degrees of freedom in coherent states of light and matter.


title: Study of fusion-fission in inverse kinematics with a fragment separator

abstract: The systematic study of fission fragment yields under different initial conditions provides a valuable experimental benchmark for fission models that aim to understand this complex decay channel and to predict reaction product yields. Inverse kinematics coupled to the use of a high-resolution spectrometer is shown to be a powerful tool to identify and measure the inclusive isotopic yields of fission fragments. In-flight fusion fission was used to produce secondary beams of neutron-rich isotopes in the collision of a 238U beam at 24 MeV/u with 9Be and 12C targets at GANIL using the LISE3 fragment-separator. Unique A,Z,q identification of fission products was attained with the dE-TKE-Brho-ToF measurement technique. Mass, and atomic number distributions are reported for the two reactions that show the importance of different reaction mechanisms for these two targets.


title: Leveraging Cognitive Features for Sentiment Analysis

abstract: Sentiments expressed in user-generated short text and sentences are nuanced by subtleties at lexical, syntactic, semantic and pragmatic levels. To address this, we propose to augment traditional features used for sentiment analysis and sarcasm detection, with cognitive features derived from the eye-movement patterns of readers. Statistical classification using our enhanced feature set improves the performance (F-score) of polarity detection by a maximum of 3.7% and 9.3% on two datasets, over the systems that use only traditional features. We perform feature significance analysis, and experiment on a held-out dataset, showing that cognitive features indeed empower sentiment analyzers to handle complex constructs.


title: Nonequilibrium dynamics of the $\sigma$-model modes on the de Sitter space

abstract: The two-dimensional $\sigma$-model with the de Sitter target space has a local canonical description in the north pole diamond of the Penrose diagram in the cosmological gauge. The left and right moving modes on the embedded base space with the topology of a cylinder are entangled among themselves and interact with the time-dependent components of the metric of the de Sitter space. Firstly we address the issue of the existence of the untangled oscillator representation and the description of the nonequilibrium dynamics of the untangled modes. We show that the untangled oscillators can be obtained from the entangled operators by applying a set of Bogoliubov transformations that satisfy a set of constraints that result from the requirement that the partial evolution generator be diagonal. Secondly, we determine the nonequilibrium dynamics of the untangled modes in the Non-Equilibrium Thermo Field Dynamics formalism. In this setting, the thermal modes are represented as thermal doublet oscillators that satisfy partial evolution equations of Heisenberg-type. We use these equations to compute the local free one-body propagator of an arbitrary mode between two times. Thirdly, we discuss the field representation of the thermal modes. We show that there is a set of thermal doublet fields that satisfy the equal time canonical commutation relations, are solutions to the $\sigma$-model equations of motion and can be decomposed in terms of thermal doublet oscillators. Finally, we construct a local partial evolution functional of Hamilton-like form for the thermal doublet fields.


title: Duality of channels and codes

abstract: For any given channel $W$ with classical inputs and possibly quantum outputs, a dual classical-input channel $W^\perp$ can be defined by embedding the original into a channel $\mathcal N$ with quantum inputs and outputs. Here we give new uncertainty relations for a general class of entropies that lead to very close relationships between the original channel and its dual. Moreover, we show that channel duality can be combined with duality of linear codes, whereupon the uncertainty relations imply that the performance of a given code over a given channel is entirely characterized by the performance of the dual code on the dual channel. This has several applications. In the context of polar codes, it implies that the rates of polarization to ideal and useless channels must be identical. Duality also relates the tasks of channel coding and privacy amplification, implying that the finite blocklength performance of extractors and codes is precisely linked, and that optimal rate extractors can be transformed into capacity-achieving codes, and vice versa. Finally, duality also extends to the EXIT function of any channel and code. Here it implies that for any channel family, if the EXIT function for a fixed code has a sharp transition, then it must be such that the rate of the code equals the capacity at the transition. This may give a different route to proving a code family achieves capacity by establishing sharp EXIT function transitions.


title: Adiabatic quantum computing solution of the knapsack problem

abstract: We illustrate the adiabatic quantum computing solution of the knapsack problem with both integer profits and weights. For problems with $n$ objects (or items) and integer capacity $c$, we give specific examples using both an Ising class problem Hamiltonian requiring $n+c$ qubits and a much more efficient one using $n+[\log_2 c]+1$ qubits. The discussion includes a brief mention of classical algorithms for knapsack, applications of this commonly occurring problem, and the relevance of further studies both theoretically and numerically of the behavior of the energy gap. Included too is a demonstration and commentary on a version of quantum search using a certain Ising model. Furthermore, an Appendix presents analytic results concerning the boundary for the easy-versus-hard problem-instance phase transition for the special case subset sum problem.


title: Dynamics of co-orbital exoplanets

abstract: This work focuses on the dynamics and the detection methods of co-orbital exoplanets. We call "co-orbital" any configuration in which two planets orbit with the same mean mean-motion around the same star. First, we revisit the results of the circular coplanar case. We also recall that the manifold associated to the coplanar case and the manifold corresponding to the circular case are both invariant by the flow of the averaged Hamiltonian. We hence study these two particular cases. We focus mainly on the coplanar case (eccentric), where we study the evolution of families of non-maximal quasi-periodic orbits parametrized by the eccentricity of the planets. We show that the geometry of these families is highly dependent on the eccentricity, which causes significant topology changes across the space of phases as the latter increases. A chapter is dedicated to the detection of co-orbital exoplanets. We recall the different detection methods adapted to the co-orbital case. We focus on the radial velocity technique, and the combination of radial velocity and transit measurements. Finally, we describe a method to study the effect of orbital perturbations on the spin-orbit resonances for a rigid body. We apply this method in two cases: the eccentric co-orbital case and the circumbinary case.


title: Spectral sets for numerical range

abstract: We define and study a numerical-range analogue of the notion of spectral set. Among the results obtained are a positivity criterion and a dilation theorem, analogous to those already known for spectral sets. An important difference from the classical definition is the role played in the new definition by the base point. We present some examples to illustrate this aspect.


title: Aspects of Berry phase in QFT

abstract: When continuous parameters in a QFT are varied adiabatically, quantum states typically undergo mixing---a phenomenon characterized by the Berry phase. We initiate a systematic analysis of the Berry phase in QFT using standard quantum mechanics methods. We show that a non-trivial Berry phase appears in many familiar QFTs. We study a variety of examples including free electromagnetism with a theta angle, and certain supersymmetric QFTs in two and four spacetime dimensions. We also argue that a large class of QFTs with rich Berry properties is provided by CFTs with non-trivial conformal manifolds. Using the operator-state correspondence we demonstrate in this case that the Berry connection is equivalent to the connection on the conformal manifold derived previously in conformal perturbation theory. In the special case of chiral primary states in 2d N=(2,2) and 4d N=2 SCFTs the Berry phase is governed by the tt* equations. We present a technically useful rederivation of these equations using quantum mechanics methods.


title: High Performance Novel Skin Segmentation Algorithm for Images With Complex Background

abstract: Skin Segmentation is widely used in biometric applications such as face detection, face recognition, face tracking, and hand gesture recognition. However, several challenges such as nonlinear illumination, equipment effects, personal interferences, ethnicity variations, etc., are involved in detection process that result in the inefficiency of color based methods. Even though many ideas have already been proposed, the problem has not been satisfactorily solved yet. This paper introduces a technique that addresses some limitations of the previous works. The proposed algorithm consists of three main steps including initial seed generation of skin map, Otsu segmentation in color images, and finally a two-stage diffusion. The initial seed of skin pixels is provided based on the idea of ternary image as there are certain pixels in images which are associated to human complexion with very high probability. The Otsu segmentation is performed on several color channels in order to identify homogeneous regions. The result accompanying with the edge map of the image is utilized in two consecutive diffusion steps in order to annex initially unidentified skin pixels to the seed. Both quantitative and qualitative results demonstrate the effectiveness of the proposed system in compare with the state-of-the-art works.


title: A 3D MHD simulation of SN 1006: a polarized emission study for the turbulent case

abstract: Three dimensional magnetohydrodynamical simulations were carried out in order to perform a new polarization study of the radio emission of the supernova remnant SN 1006. These simulations consider that the remnant expands into a turbulent interstellar medium (including both magnetic field and density perturbations). Based on the referenced-polar angle technique, a statistical study was done on observational and numerical magnetic field position-angle distributions. Our results show that a turbulent medium with an adiabatic index of 1.3 can reproduce the polarization properties of the SN 1006 remnant. This statistical study reveals itself as a useful tool for obtaining the orientation of the ambient magnetic field, previous to be swept up by the main supernova remnant shock.


title: A new fractional derivative involving the normalized sinc function without singular kernel

abstract: In this paper, a new fractional derivative involving the normalized sinc function without singular kernel is proposed. The Laplace transform is used to find the analytical solution of the anomalous heat-diffusion problems. The comparative results between classical and fractional-order operators are presented. The results are significant in the analysis of one-dimensional anomalous heat-transfer problems.


title: On the prime counting function and the partial sum of reciprocals of odd primes

abstract: We present a function that tests for primality, factorizes composites and builds a closed form expression of $\pi(n^2)$ in terms of $\sum_{3 \leq p \leq n} \frac{1}{p}$ and a weaker version of $\omega(n)$.


title: Invariants of Cohen-Macaulay rings associated to their canonical ideals

abstract: The purpose of this paper is to introduce new invariants of Cohen-Macaulay local rings. Our focus is the class of Cohen-Macaulay local rings that admit a canonical ideal. Attached to each such ring R with a canonical ideal C, there are integers--the type of R, the reduction number of C--that provide valuable metrics to express the deviation of R from being a Gorenstein ring. We enlarge this list with other integers--the roots of R and several canonical degrees. The latter are multiplicity based functions of the Rees algebra of C.


title: Parameter Selection Algorithm For Continuous Variables

abstract: In this article, we propose a new algorithm for supervised learning methods, by which one can both capture the non-linearity in data and also find the best subset model. To produce an enhanced subset of the original variables, an ideal selection method should have the potential of adding a supplementary level of regression analysis that would capture complex relationships in the data via mathematical transformation of the predictors and exploration of synergistic effects of combined variables. The method that we present here has the potential to produce an optimal subset of variables, rendering the overall process of model selection to be more efficient. The core objective of this paper is to introduce a new estimation technique for the classical least square regression framework. This new automatic variable transformation and model selection method could offer an optimal and stable model that minimizes the mean square error and variability, while combining all possible subset selection methodology and including variable transformations and interaction. Moreover, this novel method controls multicollinearity, leading to an optimal set of explanatory variables.


title: Obliquity evolution of the minor satellites of Pluto and Charon

abstract: New Horizons mission observations show that the small satellites Styx, Nix, Kerberos and Hydra, of the Pluto-Charon system, have not tidally spun-down to near synchronous spin states and have high obliquities with respect to their orbit about the Pluto-Charon binary (Weaver et al. 2016). We use a damped mass-spring model within an N-body simulation to study spin and obliquity evolution for single spinning non-round bodies in circumbinary orbit. Simulations with tidal dissipation alone do not show strong obliquity variations from tidally induced spin-orbit resonance crossing and this we attribute to the high satellite spin rates and low orbital eccentricities. However, a tidally evolving Styx exhibits intermittent obliquity variations and episodes of tumbling. During a previous epoch where Charon migrated away from Pluto, the minor satellites could have been trapped in orbital mean motion inclination resonances. An outward migrating Charon induces large variations in Nix and Styx's obliquities. The cause is a commensurability between the mean motion resonance frequency and the spin precession rate of the spinning body. As the minor satellites are near mean motion resonances, this mechanism could have lifted the obliquities of all four minor satellites. The high obliquities need not be primordial if the minor satellites were at one time captured into mean motion resonances.


title: Fast and Efficient Skin Detection for Facial Detection

abstract: In this paper, an efficient skin detection system is proposed. The algorithm is based on a very fast efficient pre-processing step utilizing the concept of ternary conversion in order to identify candidate windows and subsequently, a novel local two-stage diffusion method which has F-score accuracy of 0.5978 on SDD dataset. The pre-processing step has been proven to be useful to boost the speed of the system by eliminating 82% of an image in average. This is obtained by keeping the true positive rate above 98%. In addition, a novel segmentation algorithm is also designed to process candidate windows which is quantitatively and qualitatively proven to be very efficient in term of accuracy. The algorithm has been implemented in FPGA to obtain real-time processing speed. The system is designed fully pipeline and the inherent parallel structure of the algorithm is fully exploited to maximize the performance. The system is implemented on a Spartan-6 LXT45 Xilinx FPGA and it is capable of processing 98 frames of 640*480 24-bit color images per second.


title: The Parallel Distributed Image Search Engine (ParaDISE)

abstract: Image retrieval is a complex task that differs according to the context and the user requirements in any specific field, for example in a medical environment. Search by text is often not possible or optimal and retrieval by the visual content does not always succeed in modelling high-level concepts that a user is looking for. Modern image retrieval techniques consist of multiple steps and aim to retrieve information from large--scale datasets and not only based on global image appearance but local features and if possible in a connection between visual features and text or semantics. This paper presents the Parallel Distributed Image Search Engine (ParaDISE), an image retrieval system that combines visual search with text--based retrieval and that is available as open source and free of charge. The main design concepts of ParaDISE are flexibility, expandability, scalability and interoperability. These concepts constitute the system, able to be used both in real-world applications and as an image retrieval research platform. Apart from the architecture and the implementation of the system, two use cases are described, an application of ParaDISE in retrieval of images from the medical literature and a visual feature evaluation for medical image retrieval. Future steps include the creation of an open source community that will contribute and expand this platform based on the existing parts.


title: Induced subgraphs of graphs with large chromatic number. VI. Banana trees

abstract: We investigate which graphs H have the property that in every graph with bounded clique number and sufficiently large chromatic number, some induced subgraph is isomorphic to a subdivision of H. In an earlier paper, one of us proved that every tree has this property; and in another earlier paper with M. Chudnovsky, we proved that every cycle has this property. Here we give a common generalization. Say a banana is the union of a set of paths all with the same ends but otherwise disjoint. We prove that if H is obtained from a tree by replacing each edge by a banana then H has the property mentioned. We also find some other multigraphs with the same property.


title: Heavy Traffic Queue Length Behavior in Switches with Reconfiguration Delay

abstract: Optical switches have been drawing attention due to their large data bandwidth and low power consumption. However, scheduling policies need to account for the schedule reconfiguration delay of optical switches to achieve good performance. The Adaptive MaxWeight policy achieves optimal throughput for switches with nonzero reconfiguration delay, and has been shown in simulation to have good delay performance. In this paper, we analyze the queue length behavior of a switch with nonzero reconfiguration delay operating under the Adaptive MaxWeight. We first show that the Adaptive MaxWeight policy exhibits a weak state space collapse behavior in steady-state, which could be viewed as an inheritance of the MaxWeight policy in a switch with zero reconfiguration delay. We then use the weak state space collapse result to obtain a steady state delay bound under the Adaptive MaxWeight algorithm in heavy traffic by applying a recently developed drift technique. The resulting delay bound is dependent on the expected schedule duration. We then derive the relation between the expected schedule duration and the steady state queue length through drift analysis, and obtain asymptotically tight queue length bounds in the heavy traffic regime.


title: Energy-efficient Analog Sensing for Large-scale, High-density Persistent Wireless Monitoring

abstract: The research challenge of current Wireless Sensor Networks~(WSNs) is to design energy-efficient, low-cost, high-accuracy, self-healing, and scalable systems for applications such as environmental monitoring. Traditional WSNs consist of low density, power-hungry digital motes that are expensive and cannot remain functional for long periods on a single charge. In order to address these challenges, a \textit{dumb-sensing and smart-processing} architecture that splits sensing and computation capabilities among tiers is proposed. Tier-1 consists of dumb sensors that only sense and transmit, while the nodes in Tier-2 do all the smart processing on Tier-1 sensor data. A low-power and low-cost solution for Tier-1 sensors has been proposed using Analog Joint Source Channel Coding~(AJSCC). An analog circuit that realizes the rectangular type of AJSCC has been proposed and realized on a Printed Circuit Board for feasibility analysis. A prototype consisting of three Tier-1 sensors (sensing temperature and humidity) communicating to a Tier-2 Cluster Head has been demonstrated to verify the proposed approach. Results show that our framework is indeed feasible to support large scale high density and persistent WSN deployment.


title: Superconductivity and unexpected chemistry of germanium hydrides under pressure

abstract: Following the idea that hydrogen-rich compounds might be high-T$_c$ superconductors at high pressures, and the very recent breakthrough in predicting and synthesizing hydrogen sulfide with record-high T$_c$ = 203 K, ab initio evolutionary algorithm for crystal structure prediction was employed to find stable germanium hydrides. In addition to the earlier structure of germane with space group Ama2, we propose a new C2/m structure, which is energetically more favorable at pressures above 278 GPa (with inclusion of zero point energy). Our calculations indicate metallicity of the new C2/m phase of germane with T$_c$ = 67 K at 280 GPa. Germane is found to exhibit thermodynamic instability to decomposition to hydrogen and the new compound Ge$_3$H$_{11}$ at pressures above 300 GPa. Ge$_3$H$_{11}$ with space group I$\bar{4}$m2 is found to become stable at above 285 GPa with T$_c$ = 43 K. We find that the pressure-induced phase stability of germanium hydrides is distinct from its analogous isoelectronic systems, e.g., Si-hydrides and Sn-hydrides. Superconductivity stems from large electron-phonon coupling associated with the wagging, bending and stretching intermediate-frequency modes derived mainly from hydrogen.


title: Jigsaw Cryptanalysis of Audio Scrambling Systems

abstract: Recently it was shown that permutation-only multimedia ciphers can completely be broken in a chosen-plaintext scenario. Apparently, chosen-plaintext scenario models a very resourceful adversary and does not hold in many practical situations. To show that these ciphers are totally broken, we propose a cipher-text only attack on these ciphers. To that end, we investigate speech permutation-only ciphers and show that inherent redundancies of speech signal can pave the path for a successful cipher-text only attack. For this task different concepts and techniques are merged together. First, Short Time Fourier Transform (STFT) is employed to extract regularities of audio signal in both time and frequency. Then, it is shown that cipher-texts can be considered as a set of scrambled puzzles. Then different techniques such as estimation, image processing, branch and bound, and graph theory are fused together to create and solve these puzzles. After extracting the keys from the solved puzzles, they are applied on the scrambled signal. Conducted tests show that the proposed method achieves objective and subjective intelligibility of 87.8% and 92.9%. These scores are 50.9% and 34.6% higher than scores of previous method.


title: A split step Fourier/discontinuous Galerkin scheme for the Kadomtsev--Petviashvili equation

abstract: In this paper we propose a method to solve the Kadomtsev--Petviashvili equation based on splitting the linear part of the equation from the nonlinear part. The linear part is treated using FFTs, while the nonlinear part is approximated using a semi-Lagrangian discontinuous Galerkin approach of arbitrary order. We demonstrate the efficiency and accuracy of the numerical method by providing a range of numerical simulations. In particular, we find that our approach can outperform the numerical methods considered in the literature by up to a factor of five. Although we focus on the Kadomtsev--Petviashvili equation in this paper, the proposed numerical scheme can be extended to a range of related models as well.


title: New Lower Bounds for Van der Waerden Numbers

abstract: This work contains certificates numbers Van der Waerden, was found using SAT Solver. These certificates establish the best currently known lower bounds of the numbers Van der Waerden W( 7, 3 ), W( 8, 3 ), W( 10, 3 ), W( 11, 3 ), W( 17, 3 ).


title: Excitation of Molecular Hydrogen in the Orion Bar Photodissociation Region From a Deep Near-Infrared IGRINS Spectrum

abstract: We present a deep near-infrared spectrum of the Orion Bar Photodissociation Region (PDR) taken with the Immersion Grating INfrared Spectrometer (IGRINS) on the 2.7 m telescope at the McDonald Observatory. IGRINS has high spectral resolution (R~45000) and instantaneous broad wavelength coverage (1.45-2.45 microns), enabling us to detect 87 emission lines from rovibrationally excited molecular hydrogen (H_2) that arise from transitions out of 69 upper rovibration levels of the electronic ground state. These levels cover a large range of rotational and vibrational quantum numbers and excitation energies, making them an excellent probe of the excitation mechanisms of H_2 and physical conditions within the PDR. The Orion Bar PDR is thought to consist of cooler high density clumps or filaments (T=50-250 K, n_H = 10^5 - 10^7 cm^-3) embedded in a warmer lower density medium (T=250-1000 K, n_H=10^4 - 10^5 cm^-3). We fit a grid of simple constant-temperature and constant-density Cloudy models, which recreate the observed H_2 level populations well, to constrain the temperature to a range of 600 to 650 K and the density to n_H = 2.5 x 10^3 to 10^4 cm^-3. The best fit model gives T = 625 K and n_H = 5x10^3 cm^-3. This well constrained warm temperature is consistent with kinetic temperatures found by other studies for the Orion Bar's lower density medium. However, the range of densities well fit by the model grid is marginally lower than those reported by other studies. We could be observing lower density gas than the surrounding medium, or perhaps a density-sensitive parameter in our models is not properly estimated.


title: Structure-preserving second-order integration of relativistic charged particle trajectories in electromagnetic fields

abstract: Time-centered, hence second-order, methods for integrating the relativistic momentum of charged particles in an electromagnetic field are derived. A new method is found by averaging the momentum before use in the magnetic rotation term, and an implementation is presented that differs from the relativistic Boris Push [1] only in the method for calculating the Lorentz factor. This is shown to have the same second-order accuracy in time as that (Boris Push) [1] found by splitting the electric acceleration and magnetic rotation and that [2] found by averaging the velocity in the magnetic rotation term. All three methods are shown to conserve energy when there is no electric field. The Boris method and the current method are shown to be volume-preserving, while the method of [2] and the current method preserve the $\vec{E} \times \vec{B}$ velocity. Thus, of these second-order relativistic momentum integrations, only the integrator introduced here both preserves volume and gives the correct $\vec{E} \times \vec{B}$ velocity. While all methods have error that is second-order in time, they deviate from each other by terms that increase as the motion becomes relativistic. Numerical results show that [2] develops energy errors near resonant orbits of a test problem that neither volume-preserving integrator does. [1] J. Boris, Relativistic plasma simulation-optimization of a hybrid code, in: Proc. Fourth Conf. Num. Sim. Plasmas, Naval Res. Lab, Wash. DC, 1970, pp. 3-67. [2] J.-L. Vay, Simulation of beams or plasmas crossing at relativistic velocity, Physics of Plasmas (1994-present) 15 (5) (2008) 056701.


title: Apparent non-conservation of momentum of light due to strongly coupled nonlinear dynamics in a multimode optical fiber

abstract: The intimate interaction between phase-matched parametric amplification and strong nonlinear mode coupling in a multimode optical fiber results in a saturable spatial mode conversion that appears to violate the conservation of momentum. We investigate, by theory and experiment, this new regime of strong nonlinear interaction in multimode optical fibers and show that the appearance of the non-conservation of linear momentum is merely a clever sleight of hand by nature. This novel saturable mode conversion can potentially be used in a variety of applications including the generation of exotic quantum states of light.


title: Increased Efficiency in the Second-Hand Tire Trade Provides Opportunity for Dengue Control

abstract: Dengue fever is increasing in geographical range, spread by invasion of its vector mosquitoes. The trade in second-hand tires has been implicated as a factor in this process as they act as mobile reservoirs of mosquito eggs and larvae. Regional transportation of tires can create linkages between rural areas with dengue to disease-free urban areas, potentially giving rise to outbreaks even in areas with strong local control measures. In this work we sought to model the dynamics of mosquito transportation via the tire trade, in particular to predict its role in causing unexpected dengue outbreaks through vertical transmission of the virus across generations of mosquitoes. We also aimed to identify strategies for regulating the trade in second-hand tires, improving disease control. We created a mathematical model which captures the dynamics of dengue between rural and urban areas, taking into account the movement, storage time of tires, and mosquito diapause. We simulate a series of scenarios. First a mosquito population is introduced to a dengue-free area via movement of tires, either as single or multiple events, increasing the likelihood of a dengue outbreak. An endemic state can be induced regardless of whether urban conditions for an outbreak are met, and an existing endemic state can be enhanced by vector input. Finally we assess the potential for regulation of tire processing as a means of reducing the transmission of dengue fever using a specific case study from Puerto Rico. Our work demonstrates the importance of the second-hand tire trade in modulating the spread of dengue fever across regions, in particular its role in introducing dengue to disease-free areas. We propose that regulation of tire storage and movement can play a crucial role in containing outbreaks and dengue spread.


title: A Hybrid DOS-Tolerant PKC-Based Key Management System for WSNs

abstract: Security is a critical and vital task in wireless sensor networks, therefore different key management systems have been proposed, many of which are based on symmetric cryptography. Such systems are very energy efficient, but they lack some other desirable characteristics. On the other hand, systems based on public key cryptography have those desirable characteristics, but they consume more energy. Recently based on authenticated messages from base station a new PKC based key agreement protocol was proposed. We show this method is susceptible to a form of denial of service attack where resources of the network can be exhausted with bogus messages. Then, we propose two different improvements to solve this vulnerability. Simulation results show that these new protocols retain desirable characteristics of the basic method and solve its deficiencies.


title: Confidence Intervals for Finite Difference Solutions

abstract: Although applications of Bayesian analysis for numerical quadrature problems have been considered before, it's only very recently that statisticians have focused on the connections between statistics and numerical analysis of differential equations. In line with this very recent trend, we show how certain commonly used finite difference schemes for numerical solutions of ordinary and partial differential equations can be considered in a regression setting. Focusing on this regression framework, we apply a simple Bayesian strategy to obtain confidence intervals for the finite difference solutions. We apply this framework on several examples to show how the confidence intervals are related to truncation error and illustrate the utility of the confidence intervals for the examples considered.


title: PATCHWORK: A Multipatch Infrastructure for Multiphysics/Multiscale/Multiframe Fluid Simulations

abstract: We present a "multipatch" infrastructure for numerical simulation of fluid problems in which sub-regions require different gridscales, different grid geometries, different physical equations, or different reference frames. Its key element is a sophisticated client-router-server framework for efficiently linking processors supporting different regions ("patches") that must exchange boundary data. This infrastructure may be used with a wide variety of fluid dynamics codes; the only requirement is that their primary dependent variables be the same in all patches, e.g., fluid mass density, internal energy density, and velocity. Its structure can accommodate either Newtonian or relativistic dynamics. The overhead imposed by this system is both problem- and computer cluster architecture-dependent. Compared to a conventional simulation using the same number of cells and processors, the increase in runtime can be anywhere from negligible to a factor of a few; however, one of the infrastructure's advantages is that it can lead to a very large reduction in the total number of zone-updates.

categories: astro-ph.IM gr-qc physics.comp-ph physics.flu-dyn


title: Comprehensive Review of Audio Steganalysis Methods

abstract: Recently, merging signal processing techniques with information security services has found a lot of attention. Steganography and steganalysis are among those trends. Like their counterparts in cryptology, steganography and steganalysis are in a constant battle. Steganography methods try to hide the presence of covert messages in innocuous-looking data, whereas steganalysis methods try to reveal existence of such messages and to break steganography methods. The stream nature of audio signals, their popularity, and their wide spread usage make them very suitable media for steganography. This has led to a very rich literature on both steganography and steganalysis of audio signals. This paper intends to conduct a comprehensive review of audio steganalysis methods aggregated over near fifteen years. Furthermore, we implement some of the most recent audio steganalysis methods and conduct a comparative analysis on their performances. Finally, the paper provides some possible directions for future researches on audio steganalysis.


title: A representative survey of the dynamics and energetics of FRII radio galaxies

abstract: We report the first large, systematic study of the dynamics and energetics of a representative sample of FRII radio galaxies with well-characterized group/cluster environments. We used X-ray inverse-Compton and radio synchrotron measurements to determine the internal radio-lobe conditions, and these were compared with external pressures acting on the lobes, determined from measurements of the thermal X-ray emission of the group/cluster. Consistent with previous work, we found that FRII radio lobes are typically electron-dominated by a small factor relative to equipartition, and are over-pressured relative to the external medium in their outer parts. These results suggest that there is typically no energetically significant proton population in the lobes of FRII radio galaxies (unlike for FRIs), and so for this population, inverse-Compton modelling provides an accurate way of measuring total energy content and estimating jet power. We estimated the distribution of Mach numbers for the population of expanding radio lobes, finding that at least half of the radio galaxies are currently driving strong shocks into their group/cluster environments. Finally, we determined a jet power--radio luminosity relation for FRII radio galaxies based on our estimates of lobe internal energy and Mach number. The slope and normalisation of this relation are consistent with theoretical expectations, given the departure from equipartition and environmental distribution for our sample.


title: Bernstein-Walsh theory associated to convex bodies and applications to multivariate approximation theory

abstract: We prove a version of the Bernstein-Walsh theorem on uniform polynomial approximation of holomorphic functions on compact sets in several complex variables. Here we consider subclasses of the full polynomial space associated to a convex body P. As a consequence, we validate and clarify some observations of Trefethen in multivariate approximation theory.


title: Universal Audio Steganalysis Based on Calibration and Reversed Frequency Resolution of Human Auditory System

abstract: Calibration and higher order statistics (HOS) are standard components of many image steganalysis systems. These techniques have not yet found adequate attention in audio steganalysis context. Specifically, most of current works are either non-calibrated or only based on noise removal approach. This paper aims to fill these gaps by proposing a new set of calibrated features based on re-embedding technique. Additionally, we show that least significant bit (LSB) is the most sensitive bit-plane to data hiding algorithms and therefore it can be employed as a universal embedding method. Furthermore, the proposed features are based on a model that has the maximum deviation from human auditory system (HAS), and therefore are more suitable for the purpose of steganalysis. Performance of the proposed method is evaluated on a wide range of data hiding algorithms in both targeted and universal paradigms. Simulation results show that the proposed method can detect the finest traces of data hiding algorithms and in very low embedding rates. The system detects steghide at capacity of 0.06 bit per symbol (BPS) with sensitivity of 98.6% (music) and 78.5% (speech). These figures are respectively 7.1% and 27.5% higher than state-of-the-art results based on RMFCC.


title: X-Ray and Gamma-Ray Emission from Middle-aged Supernova Remnants in Cavities. I. Spherical Symmetry

abstract: We present analytical and numerical studies of models of supernova-remnant (SNR) blast waves expanding into uniform media and interacting with a denser cavity wall, in one spatial dimension. We predict the nonthermal emission from such blast waves: synchrotron emission at radio and X-ray energies, and bremsstrahlung, inverse-Compton emission (from cosmic-microwave-background seed photons, ICCMB), and emission from the decay of $\pi^0$ mesons produced in inelastic collisions between accelerated ions and thermal gas, at GeV and TeV energies. Accelerated particle spectra are assumed to be power-laws with exponential cutoffs at energies limited by the remnant age or (for electrons, if lower) by radiative losses. We compare the results with those from homogeneous ("one-zone") models. Such models give fair representations of the 1-D results for uniform media, but cavity-wall interactions produce effects for which one-zone models are inadequate. We study the time evolution of SNR morphology and emission with time. Strong morphological differences exist between ICCMB and $\pi^0$-decay emission, at some stages, the TeV emission can be dominated by the former and the GeV by the latter, resulting in strong energy-dependence of morphology. Integrated gamma-ray spectra show apparent power-laws of slopes that vary with time, but do not indicate the energy distribution of a single population of particles. As observational capabilities at GeV and TeV energies improve, spatial inhomogeneity in SNRs will need to be accounted for.


title: Holistic Interstitial Lung Disease Detection using Deep Convolutional Neural Networks: Multi-label Learning and Unordered Pooling

abstract: Accurately predicting and detecting interstitial lung disease (ILD) patterns given any computed tomography (CT) slice without any pre-processing prerequisites, such as manually delineated regions of interest (ROIs), is a clinically desirable, yet challenging goal. The majority of existing work relies on manually-provided ILD ROIs to extract sampled 2D image patches from CT slices and, from there, performs patch-based ILD categorization. Acquiring manual ROIs is labor intensive and serves as a bottleneck towards fully-automated CT imaging ILD screening over large-scale populations. Furthermore, despite the considerable high frequency of more than one ILD pattern on a single CT slice, previous works are only designed to detect one ILD pattern per slice or patch. To tackle these two critical challenges, we present multi-label deep convolutional neural networks (CNNs) for detecting ILDs from holistic CT slices (instead of ROIs or sub-images). Conventional single-labeled CNN models can be augmented to cope with the possible presence of multiple ILD pattern labels, via 1) continuous-valued deep regression based robust norm loss functions or 2) a categorical objective as the sum of element-wise binary logistic losses. Our methods are evaluated and validated using a publicly available database of 658 patient CT scans under five-fold cross-validation, achieving promising performance on detecting four major ILD patterns: Ground Glass, Reticular, Honeycomb, and Emphysema. We also investigate the effectiveness of a CNN activation-based deep-feature encoding scheme using Fisher vector encoding, which treats ILD detection as spatially-unordered deep texture classification.


title: Parametricity, automorphisms of the universe, and excluded middle

abstract: It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address the interaction between classical axioms and the existence of automorphisms of a type universe. We work over intensional Martin-L\"of dependent type theory, and in some results assume further principles including function extensionality, propositional extensionality, propositional truncation, and the univalence axiom.


title: Understanding magnetotransport signatures in networks of connected permalloy nanowires

abstract: The change in electrical resistance associated with the application of an external magnetic field is known as the magnetoresistance (MR). The measured MR is quite complex in the class of connected networks of single-domain ferromagnetic nanowires, known as "artificial spin ice", due to the geometrically-induced collective behavior of the nanowire moments. We have conducted a thorough experimental study of the MR of a connected honeycomb artificial spin ice, and we present a simulation methodology for understanding the detailed behavior of this complex correlated magnetic system. Our results demonstrate that the behavior, even at low magnetic fields, can be well-described only by including significant contributions from the vertices at which the legs meet, opening the door to new geometrically-induced MR phenomena.


title: Topological transformations in proteins: effects of heating and proximity of an interface

abstract: Using a structure-based coarse-grained model of proteins, we study the mechanism of unfolding of knotted proteins through heating. We find that the dominant mechanisms of unfolding depend on the temperature applied and are generally distinct from those identified for folding at its optimal temperature. In particular, for shallowly knotted proteins, folding usually involves formation of two loops whereas unfolding through high-temperature heating is dominated by untying of single loops. Untying the knots is found to generally precede unfolding unless the protein is deeply knotted and the heating temperature exceeds a threshold value. We then use a phenomenological model of the air-water interface to show that such an interface can untie shallow knots, but it can also make knots in proteins that are natively unknotted.


title: Designing a Finite-Time Mixer: Optimizing Stirring for Two-Dimensional Maps

abstract: Mixing of a passive scalar in a fluid flow results from a two part process in which large gradients are first created by advection and then smoothed by diffusion. We investigate methods of designing efficient stirrers to optimize mixing of a passive scalar in a two-dimensional nonautonomous, incompressible flow over a finite time interval. The flow is modeled by a sequence of area-preserving maps whose parameters change in time, defining a mixing protocol. Stirring efficiency is measured by a negative Sobolev seminorm; its decrease implies creation of fine scale structure. A Perron-Frobenius operator is used to numerically advect the scalar for two examples: compositions of Chirikov standard maps and of Harper maps. In the former case, we find that a protocol corresponding to a single vertical shear composed with horizontal shearing at all other steps is nearly optimal. For the Harper maps, we devise a predictive, one-step scheme to choose appropriate fixed point stabilities and to control the Fourier spectrum evolution to obtain a near optimal protocol.


title: Fragmented-condensate solid of dipolar excitons

abstract: We discuss a possible link between the recently observed macroscopic ordering of ultra cold dipolar excitons (MOES) and the phenomenon of supersolidity. In the dilute limit we predict a stable supersolid state for a quasi-one-dimensional system of bosonic dipoles characterized by two- and three-body contact repulsion. We phenomenologically extend our theory to the strongly-correlated regime and find a critical value of the contact interaction parameter at which the supersolid exhibits a quantum phase transition to a fragmented state. The wavelength of the fragmented-condensate solid is defined by the balance between the quantum pressure and the entropy due to fluctuations of the relative phases between the fragments. Our model appears to be in good agreement with the relevant experimental data, including the very recent results on commensurability effect and wavelength of the MOES.


title: Macdonald polynomials and chromatic quasisymmetric functions

abstract: We express the integral form Macdonald polynomials as a weighted sum of Shareshian and Wachs' chromatic quasisymmetric functions of certain graphs. Then we use known expansions of these chromatic quasisymmetric functions into Schur and power sum symmetric functions to provide Schur and power sum formulas for the integral form Macdonald polynomials. Since the (integral form) Jack polynomials are a specialization of integral form Macdonald polynomials, we obtain analogous formulas for Jack polynomials as corollaries.


title: Holomorphic isometries from the Poincar\'e disk into bounded symmetric domains of rank at least two

abstract: We first study holomorphic isometries from the Poincar\'e disk into the product of the unit disk and the complex unit $n$-ball for $n\ge 2$. On the other hand, we observe that there exists a holomorphic isometry from the product of the unit disk and the complex unit $n$-ball into any irreducible bounded symmetric domain of rank $\ge 2$ which is not biholomorphic to any type-$\mathrm{IV}$ domain. In particular, our study provides many new examples of holomorphic isometries from the Poincar\'e disk into irreducible bounded symmetric domains of rank at least $2$ except for type-$\mathrm{IV}$ domains.


title: The Vulture Survey I: Analyzing the Evolution of ${\MgII}$ Absorbers

abstract: We present detailed measurements of the redshift path density, equivalent width distribution, column density distribution, and redshift evolution of ${\MgII}$ absorbers as measured in archival spectra from the UVES spectrograph at the Very Large Telescope (VLT/UVES) and the HIRES spectrograph at the Keck Telescope (Keck/HIRES) to equivalent width detection limits below $0.01$~{\AA}. This survey examines 432 VLT/UVES spectra from the UVES SQUAD collaboration and 170 Keck/HIRES spectra from the KODIAQ group, allowing for detections of intervening ${\MgII}$ absorbers spanning redshifts $0.1 < z < 2.6$. We employ an accurate, automated approach to line detection which consistently detects redshifted absorption lines. We measure the equivalent widths, apparent optical depth column densities, and velocity widths for each absorbing system. Using our complete sample of all detectable ${\MgII}$ absorbers, we can accurately determine the redshift path density of absorbers across cosmic time. We measure evolution in the comoving ${\MgII}$ line density, $dN\,/dX$, finding more high equivalent width absorbers at $z = 2$ than at present. We also measure evolution in the equivalent width distribution, parameterized by a Schechter function fit, finding a shallower weak-end slope for absorbers at redshifts between $1.53 < z < 2.64$ as compared to lower redshifts. Finally, we calculate the cosmic mass fraction of ${\MgII}$ using the column density distribution. We find that weak ${\MgII}$ absorbers, those with equivalent widths less than $0.3$~{\AA}, are physically distinct and evolve separately from very strong ${\MgII}$ absorbers, which have equivalent widths greater than $1.0$~{\AA}.


title: CEVO: Comprehensive EVent Ontology Enhancing Cognitive Annotation

abstract: While the general analysis of named entities has received substantial research attention on unstructured as well as structured data, the analysis of relations among named entities has received limited focus. In fact, a review of the literature revealed a deficiency in research on the abstract conceptualization required to organize relations. We believe that such an abstract conceptualization can benefit various communities and applications such as natural language processing, information extraction, machine learning, and ontology engineering. In this paper, we present Comprehensive EVent Ontology (CEVO), built on Levin's conceptual hierarchy of English verbs that categorizes verbs with shared meaning, and syntactic behavior. We present the fundamental concepts and requirements for this ontology. Furthermore, we present three use cases employing the CEVO ontology on annotation tasks: (i) annotating relations in plain text, (ii) annotating ontological properties, and (iii) linking textual relations to ontological properties. These use-cases demonstrate the benefits of using CEVO for annotation: (i) annotating English verbs from an abstract conceptualization, (ii) playing the role of an upper ontology for organizing ontological properties, and (iii) facilitating the annotation of text relations using any underlying vocabulary. This resource is available at https://shekarpour.github.io/cevo.io/ using https://w3id.org/cevo namespace.


title: Modelling Luminous-Blue-Variable Isolation

abstract: Observations show that luminous blue variables (LBVs) are far more dispersed than massive O-type stars, and Smith & Tombleson suggested that these large separations are inconsistent with a single-star evolution model of LBVs. Instead, they suggested that the large distances are most consistent with binary evolution scenarios. To test these suggestions, we modelled young stellar clusters and their passive dissolution, and we find that, indeed, the standard single-star evolution model is mostly inconsistent with the observed LBV environments. If LBVs are single stars, then the lifetimes inferred from their luminosity and mass are far too short to be consistent with their extreme isolation. This implies that there is either an inconsistency in the luminosity- to-mass mapping or the mass-to-age mapping. In this paper, we explore binary solutions that modify the mass-to-age mapping and are consistent with the isolation of LBVs. For the binary scenarios, our crude models suggest that LBVs are rejuvenated stars. They are either the result of mergers or they are mass gainers and received a kick when the primary star exploded. In the merger scenario, if the primary is about 19 solar masses, then the binary has enough time to wander far afield, merge and form a rejuvenated star. In the mass-gainer and kick scenario, we find that LBV isolation is consistent with a wide range of kick velocities, anywhere from 0 to ~ 105 km/s. In either scenario, binarity seems to play a major role in the isolation of LBVs.


title: Luria-Delbruck, revisited: The classic experiment does not rule out Lamarckian evolution

abstract: We re-examined data from the classic Luria-Delbruck fluctuation experiment, which is often credited with establishing a Darwinian basis for evolution. We argue that, for the Lamarckian model of evolution to be ruled out by the experiment, the experiment must favor pure Darwinian evolution over both the Lamarckian model and a model that allows both Darwinian and Lamarckian mechanisms. Analysis of the combined model was not performed in the original 1943 paper. The Luria-Delbruck paper also did not consider the possibility of neither model fitting the experiment. Using Bayesian model selection, we find that the Luria-Delbruck experiment, indeed, favors the Darwinian evolution over purely Lamarckian. However, our analysis does not rule out the combined model, and hence cannot rule out Lamarckian contributions to the evolutionary dynamics.


title: Topology optimization of multi-track ring resonators and 2D microcavities for nonlinear frequency conversion

abstract: We exploit recently developed topology-optimization techniques to design complex, wavelength-scale resonators for enhancing various nonlinear $\chi^{(2)}$ and $\chi^{(3)}$ frequency conversion processes. In particular, we demonstrate aperiodic, multi-track ring resonators and 2D slab microcavities exhibiting long lifetimes $Q \gtrsim 10^4$, small modal volumes $V \gtrsim (\lambda/2n)^3$, and among the largest nonlinear overlaps (a generalization of phase matching in large-etalon waveguides) possible, paving the way for efficient, compact, and wide-bandwdith integrated nonlinear devices.


title: Hardy inequalities, Rellich inequalities and local Dirichlet forms

abstract: First the Hardy and Rellich inequalities are defined for the submarkovian operator associated with a local Dirichlet form. Secondly, two general conditions are derived which are sufficient to deduce the Rellich inequality from the Hardy inequality. In addition the Rellich constant is calculated from the Hardy constant. Thirdly, we establish that the criteria for the Rellich inequality are verified for a large class of weighted second-order operators on a domain $\Omega\subseteq \Ri^d$. The weighting near the boundary $\partial \Omega$ can be different from the weighting at infinity. Finally these results are applied to weighted second-order operators on $\Ri^d\backslash\{0\}$ and to a general class of operators of Grushin type.


title: Strongly regular decompositions and symmetric association schemes of a power of two

abstract: For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.


title: Strain broadening of the 1042-nm zero-phonon line of the NV- center in diamond: a promising spectroscopic tool for defect tomography

abstract: The negatively charged nitrogen-vacancy (NV-) center in diamond is a promising candidate for many quantum applications. Here, we examine the splitting and broadening of the center's infrared (IR) zero-phonon line (ZPL). We develop a model for these effects that accounts for the strain induced by photo-dependent microscopic distributions of defects. We apply this model to interpret observed variations of the IR ZPL shape with temperature and photoexcitation conditions. We identify an anomalous temperature dependent broadening mechanism and that defects other than the substitutional nitrogen center significantly contribute to strain broadening. The former conclusion suggests the presence of a strong Jahn-Teller effect in the center's singlet levels and the latter indicates that major sources of broadening are yet to be identified. These conclusions have important implications for the understanding of the center and the engineering of diamond quantum devices. Finally, we propose that the IR ZPL can be used as a sensitive spectroscopic tool for probing microscopic strain fields and performing defect tomography.


title: The Internet as Quantitative Social Science Platform: Insights from a Trillion Observations

abstract: With the large-scale penetration of the internet, for the first time, humanity has become linked by a single, open, communications platform. Harnessing this fact, we report insights arising from a unified internet activity and location dataset of an unparalleled scope and accuracy drawn from over a trillion (1.5$\times 10^{12}$) observations of end-user internet connections, with temporal resolution of just 15min over 2006-2012. We first apply this dataset to the expansion of the internet itself over 1,647 urban agglomerations globally. We find that unique IP per capita counts reach saturation at approximately one IP per three people, and take, on average, 16.1 years to achieve; eclipsing the estimated 100- and 60- year saturation times for steam-power and electrification respectively. Next, we use intra-diurnal internet activity features to up-scale traditional over-night sleep observations, producing the first global estimate of over-night sleep duration in 645 cities over 7 years. We find statistically significant variation between continental, national and regional sleep durations including some evidence of global sleep duration convergence. Finally, we estimate the relationship between internet concentration and economic outcomes in 411 OECD regions and find that the internet's expansion is associated with negative or positive productivity gains, depending strongly on sectoral considerations. To our knowledge, our study is the first of its kind to use online/offline activity of the entire internet to infer social science insights, demonstrating the unparalleled potential of the internet as a social data-science platform.

categories: q-fin.EC cs.CY cs.SI physics.soc-ph stat.ML


title: Strong isomorphism in Eisert-Wilkens-Lewenstein type quantum games

abstract: The aim of this paper is to bring together the notions of quantum game and game isomorphism. The work is intended as an attempt to introduce a new criterion for quantum game schemes. The generally accepted requirement forces a quantum scheme to generate the classical game in a particular case. Now, given a quantum game scheme and two isomorphic classical games, we additionally require the resulting quantum games to be isomorphic as well. We are concerned with the Eisert-Wilkens-Lewenstein quantum game scheme and the strong isomorphism between games in strategic form.


title: Quantum Paramagnet and Frustrated Quantum Criticality in a Spin-One Diamond Lattice Antiferromagnet

abstract: Motivated by the proposal of topological quantum paramagnet in the diamond lattice antiferromagnet NiRh$_2$O$_4$, we propose a minimal model to describe the magnetic interaction and properties of the diamond material with the spin-one local moments. Our model includes the first and second neighbor Heisenberg interactions as well as a local single-ion spin anisotropy that is allowed by the spin-one nature of the local moment and the tetragonal symmetry of the system. We point out that there exists a quantum phase transition from a trivial quantum paramagnet when the single-ion spin anisotropy is dominant to the magnetic ordered states when the exchange is dominant. Due to the frustrated spin interaction, the magnetic excitation in the quantum paramagnetic state supports extensively degenerate band minima in the spectra. As the system approaches the transition, extensively degenerate bosonic modes become critical at the criticality, giving rise to unusual magnetic properties. Our phase diagram and experimental predictions for different phases provide a guildeline for the identification of the ground state for NiRh$_2$O$_4$. Although our results are fundamentally different from the proposal of topological quantum paramagnet, it represents interesting possibilities for spin-one diamond lattice antiferromagnets.


title: Fractionally dissipative stochastic quasi-geostrophic type equations on $R^d$

abstract: Stochastic fractionally dissipative quasi-geostrophic type equation on $R^d$ with a multiplicative Gaussian noise is considered. We prove the existence of a martingale solution. In the 2D sub-critical case we prove also the pathwise uniqueness of the solutions.


title: Markovian and non-Markovian quantum measurements

abstract: Consecutive measurements performed on the same quantum system can reveal fundamental insights into quantum theory's causal structure, and probe different aspects of the quantum measurement problem. According to the Copenhagen interpretation, measurements affect the quantum system in such a way that the quantum superposition collapses after the measurement, erasing any knowledge of the prior state. We show here that counter to this view, unamplified measurements (measurements where all variables comprising a pointer are controllable) have coherent ancilla density matrices that encode the memory of the entire set of quantum measurements, and that the quantum chain of a set of consecutive unamplified measurements is non-Markovian. In contrast, sequences of amplified measurements (measurements where at least one pointer variable has been lost) are equivalent to a quantum Markov chain. An analysis of arbitrary non-Markovian quantum chains of measurements reveals that all of the information necessary to reconstruct the chain is encoded on its boundary (the state preparation and the final measurement), reminiscent of the holographic principle.


title: Design and Analysis of Stability-Guaranteed PUFs

abstract: The lack of stability is one of the major limitations that constrains PUF from being put in widespread practical use. In this paper, we propose a weak PUF and a strong PUF that are both completely stable with 0% intra-distance. These PUFs are called Locally Enhanced Defectivity (LED)PUF. The source of randomness of a LEDPUF is extracted from locally enhance defectivity without affecting other parts of the chip. A LEDPUF is a pure functional PUF that does not require any kinds of correction schemes as conventional parametric PUFs do. A weak LEDPUF is constructed by forming arrays of Directed Self Assembly (DSA) random connections is presented, and the strong LEDPUF is implemented by using the weak LEDPUF as the key of a keyed-hash message authentication code (HMAC). Our simulation and statistical results show that the entropy of the weak LEDPUF bits is close to ideal, and the inter-distances of both weak and strong LEDPUFs are about 50%, which means that these LEDPUFs are not only stable but also unique. We develop a new unified framework for evaluating the level of security of PUFs, based on password security, by using information theoretic tools of guesswork. The guesswork model allows to quantitatively compare, with a single unified metric, PUFs with varying levels of stability, bias and available side information. In addition, it generalizes other measures to evaluate the security level such as min-entropy and mutual information. We evaluate guesswork-based security of some measured SRAM and Ring Oscillator PUFs as an example and compare them with LEDPUF to show that stability has a more severe impact on the PUF security than biased responses. Furthermore, we find the guesswork of three new problems: Guesswork under probability of attack failure, the guesswork of idealized version of a message authentication code, and the guesswork of strong PUFs that are used for authentication.


title: Objective priors for the number of degrees of freedom of a multivariate t distribution and the t-copula

abstract: An objective Bayesian approach to estimate the number of degrees of freedom $(\nu)$ for the multivariate $t$ distribution and for the $t$-copula, when the parameter is considered discrete, is proposed. Inference on this parameter has been problematic for the multivariate $t$ and, for the absence of any method, for the $t$-copula. An objective criterion based on loss functions which allows to overcome the issue of defining objective probabilities directly is employed. The support of the prior for $\nu$ is truncated, which derives from the property of both the multivariate $t$ and the $t$-copula of convergence to normality for a sufficiently large number of degrees of freedom. The performance of the priors is tested on simulated scenarios. The R codes and the replication material are available as a supplementary material of the electronic version of the paper and on real data: daily logarithmic returns of IBM and of the Center for Research in Security Prices Database.


title: Orthogonal Tree Decompositions of Graphs

abstract: This paper studies graphs that have two tree decompositions with the property that every bag from the first decomposition has a bounded-size intersection with every bag from the second decomposition. We show that every graph in each of the following classes has a tree decomposition and a linear-sized path decomposition with bounded intersections: (1) every proper minor-closed class, (2) string graphs with a linear number of crossings in a fixed surface, (3) graphs with linear crossing number in a fixed surface. Here `linear size' means that the total size of the bags in the path decomposition is $O(n)$ for $n$-vertex graphs. We then show that every $n$-vertex graph that has a tree decomposition and a linear-sized path decomposition with bounded intersections has $O(\sqrt{n})$ treewidth. As a corollary, we conclude a new lower bound on the crossing number of a graph in terms of its treewidth. Finally, we consider graph classes that have two path decompositions with bounded intersections. Trees and outerplanar graphs have this property. But for the next most simple class, series parallel graphs, we show that no such result holds.


title: Stochastic evolution equations for large portfolios of stochastic volatility models

abstract: We consider a large market model of defaultable assets in which the asset price processes are modelled as Heston-type stochastic volatility models with default upon hitting a lower boundary. We assume that both the asset prices and their volatilities are correlated through systemic Brownian motions. We are interested in the loss process that arises in this setting and we prove the existence of a large portfolio limit for the empirical measure process of this system. This limit evolves as a measure valued process and we show that it will have a density given in terms of a solution to a stochastic partial differential equation of filtering type in the two-dimensional half-space, with a Dirichlet boundary condition. We employ Malliavin calculus to establish the existence of a regular density for the volatility component, and an approximation by models of piecewise constant volatilities combined with a kernel smoothing technique to obtain existence and regularity for the full two-dimensional filtering problem. We are able to establish good regularity properties for solutions, however uniqueness remains an open problem.


title: AstroCloud: A Distributed Cloud Computing and Application Platform for Astronomy

abstract: Virtual Observatory (VO) is a data-intensively online astronomical research and education environment, which takes advantages of advanced information technologies to achieve seamless and global access to astronomical information. AstroCloud is a cyber-infrastructure for astronomy research initiated by Chinese Virtual Observatory (China-VO) project, and also a kind of physical distributed platform which integrates lots of tasks such as telescope access proposal management, data archiving, data quality control, data release and open access, cloud based data processing and analysis. It consists of five application channels, i.e. observation, data, tools, cloud and public and is acting as a full lifecycle management system and gateway for astronomical data and telescopes. Physically, the platform is hosted in six cities currently, i.e. Beijing, Nanjing, Shanghai, Kunming, Lijiang and Urumqi, and serving more than 17 thousand users. Achievements from international Virtual Observatories and Cloud Computing are adopted heavily. In the paper, backgrounds of the project, architecture, Cloud Computing environment, key features of the system, current status and future plans are introduced.