title: A Smooth Exit from Eternal Inflation?

abstract: The usual theory of inflation breaks down in eternal inflation. We derive a dual description of eternal inflation in terms of a deformed Euclidean CFT located at the threshold of eternal inflation. The partition function gives the amplitude of different geometries of the threshold surface in the no-boundary state. Its local and global behavior in dual toy models shows that the amplitude is low for surfaces which are not nearly conformal to the round three-sphere and essentially zero for surfaces with negative curvature. Based on this we conjecture that the exit from eternal inflation does not produce an infinite fractal-like multiverse, but is finite and reasonably smooth.


title: Phase locking of a semiconductor double quantum dot single atom maser

abstract: We experimentally study the phase stabilization of a semiconductor double quantum dot (DQD) single atom maser by injection locking. A voltage-biased DQD serves as an electrically tunable microwave frequency gain medium. The statistics of the maser output field demonstrate that the maser can be phase locked to an external cavity drive, with a resulting phase noise of -99 dBc/Hz at a frequency offset of 1.3 MHz. The injection locking range, and the phase of the maser output relative to the injection locking input tone are in good agreement with Adler's theory. Furthermore, the electrically tunable DQD energy level structure allows us to rapidly switch the gain medium on and off, resulting in an emission spectrum that resembles a frequency comb. The free running frequency comb linewidth is ~8 kHz and can be improved to less than 1 Hz by operating the comb in the injection locked regime.


title: Optimized Body Deformation in Dragonfly Maneuvers

abstract: Tail bending associated with maneuvering flight of insects is a known phenomenon although there are only a few studies which analyze and quantify the effects and benefits of body configuration changes. We hypothesized that these configuration changes help reduce the energy expenditure in flight. This is quantified by the magnitude of the aerodynamic torque generated by the insect during the maneuver. To test our hypothesis, a dragonfly body model was constructed with the ability to bend at the joint between the thorax and the tail. An optimization problem was defined to find the dynamic body configuration which minimizes the total pitch and yaw torque. The magnitude of the tail deflection was found to be directly correlated with the yaw velocity of the body. Most importantly, our results indicate that for executing the same aerial maneuver, an insect with a flexible body was found to require substantially smaller flight torque when compared to an insect with identical morphology but possessing a rigid body. In addition, changes in the instantaneous mass distribution of the body had the most substantial effect on reducing the flight torque, while the inertial term due to the tail movement had a smaller effect.


title: Origins of anisotropic thermal expansion in flexible materials

abstract: A definition of the Gr\"uneisen parameters for anisotropic materials is derived based on the response of phonon frequencies to uniaxial stress perturbations. This Gr\"uneisen model relates the thermal expansion in a given direction ($\alpha_{ii}$) to one element of the elastic compliance tensor, which corresponds to the Young's modulus in that direction ($Y_{ii}$). The model is tested through ab initio prediction of thermal expansion in zinc, graphite, and calcite using density functional perturbation theory, indicating that it could lead to increased accuracy for structurally complex systems. The direct dependence of $\alpha_{ii}$ on $Y_{ii}$ suggests that materials which are flexible along their principal axes but rigid in other directions will generally display both positive and negative thermal expansion.


title: Photo-induced enhancement of excitonic order

abstract: We study the dynamics of excitonic insulators coupled to phonons. Without phonon couplings, the linear response is given by the damped amplitude oscillations of the order parameter with frequency equal to the minimum band gap. A phonon coupling to the interband transfer integral induces two types of long-lived collective oscillations of the amplitude, one originating from the phonon dynamics and the other from the phase mode, which becomes massive. We show that even for small phonon coupling, a photo-induced enhancement of the exciton condensation and the gap can be realized. Using the Anderson pseudo-spin picture, we argue that the origin of the enhancement is a cooperative effect of the massive phase mode and the Hartree shift induced by the photo excitation. We also discuss how the enhancement of the order and the collective modes can be observed with time-resolved photo-emission spectroscopy.


title: Cell cycle time series gene expression data encoded as cyclic attractors in Hopfield systems

abstract: Modern time series gene expression and other omics data sets have enabled unprecedented resolution of the dynamics of cellular processes such as cell cycle and response to pharmaceutical compounds. In anticipation of the proliferation of time series data sets in the near future, we use the Hopfield model, a recurrent neural network based on spin glasses, to model the dynamics of cell cycle in HeLa (human cervical cancer) and S. cerevisiae cells. We study some of the rich dynamical properties of these cyclic Hopfield systems, including the ability of populations of simulated cells to recreate experimental expression data and the effects of noise on the dynamics. Next, we use a genetic algorithm to identify sets of genes which, when selectively inhibited by local external fields representing gene silencing compounds such as kinase inhibitors, disrupt the encoded cell cycle. We find, for example, that inhibiting the set of four kinases BRD4, MAPK1, NEK7, and YES1 in HeLa cells causes simulated cells to accumulate in the M phase. Finally, we suggest possible improvements and extensions to our model.


title: Per-instance Differential Privacy

abstract: We consider a refinement of differential privacy --- per instance differential privacy (pDP), which captures the privacy of a specific individual with respect to a fixed data set. We show that this is a strict generalization of the standard DP and inherits all its desirable properties, e.g., composition, invariance to side information and closedness to postprocessing, except that they all hold for every instance separately. When the data is drawn from a distribution, we show that per-instance DP implies generalization. Moreover, we provide explicit calculations of the per-instance DP for the output perturbation on a class of smooth learning problems. The result reveals an interesting and intuitive fact that an individual has stronger privacy if he/she has small "leverage score" with respect to the data set and if he/she can be predicted more accurately using the leave-one-out data set. Our simulation shows several orders-of-magnitude more favorable privacy and utility trade-off when we consider the privacy of only the users in the data set. In a case study on differentially private linear regression, provide a novel analysis of the One-Posterior-Sample (OPS) estimator and show that when the data set is well-conditioned it provides $(\epsilon,\delta)$-pDP for any target individuals and matches the exact lower bound up to a $1+\tilde{O}(n^{-1}\epsilon^{-2})$ multiplicative factor. We also demonstrate how we can use a "pDP to DP conversion" step to design AdaOPS which uses adaptive regularization to achieve the same results with $(\epsilon,\delta)$-DP.


title: CO2-CH4 conversion and syngas formation at atmospheric pressure using a multi-electrode dielectric barrier discharge

abstract: The conversion of CO2 and CH4 into value-added chemicals is studied in a new geometry of a dielectric barrier discharge (DBD) with multi-electrodes, dedicated to the treatment of high gas flow rates. Gas chromatography is used to define the CO2 and CH4 conversion as well as the yields of the products of decomposition (CO, O2 and H2) and of recombination (C2H4, C2H6 and CH2O). The influence of three parameters is investigated on the conversion: the CO2 and CH4 flow rates, the plasma power and the nature of the carrier gas (argon or helium). The energy efficiency of the CO2 conversion is estimated and compared with those of similar atmospheric plasma sources. Our DBD reactor shows a good compromise between a good energy efficiency and the treatment of a large CO2 flow rate.


title: How fast is mass-segregation happening in hierarchical formed embedded star clusters?

abstract: We investigate the evolution of mass segregation in initially sub-structured young embedded star clusters with two different background potentials mimicking the gas. Our clusters are initially in virial or sub-virial global states and have different initial distributions for the most massive stars: randomly placed, initially mass segregated or even inverse segregation. By means of N-body simulation we follow their evolution for 5 Myr. We measure the mass segregation using the minimum spanning tree method Lambda_MSR and an equivalent restricted method. Despite this variety of different initial conditions, we find that our stellar distributions almost always settle very fast into a mass segregated and more spherical configuration, suggesting that once we see a spherical or nearly spherical embedded star cluster, we can be sure it is mass segregated no matter what the real initial conditions were. We, furthermore, report under which circumstances this process can be more rapid or delayed, respectively.


title: Stars caught in the braking stage in young Magellanic Clouds clusters

abstract: The color-magnitude diagrams of many Magellanic Cloud clusters (with ages up to 2 billion years) display extended turnoff regions where the stars leave the main sequence, suggesting the presence of multiple stellar populations with ages which may differ even by hundreds million years (Mackey et al. 2008, Milone et al. 2009, Girardi et al. 2011). A strongly debated question is whether such an extended turnoff is instead due to populations with different stellar rotations (Girardi et al. 2011, Goudfrooij et al. 2011, Rubele et al. 2013, Li et al. 2014). The recent discovery of a `split' main sequence in some younger clusters (about 80--400Myr) added another piece to this puzzle. The blue (red) side of the main sequence is consistent with slowly (rapidly) rotating stellar models (D'Antona et al. 2015, Milone et al. 2016, Correnti et al. 2017, Milone et al 2016), but a complete theoretical characterization of the observed color-magnitude diagram appeared to require also an age spread (Correnti et al. 2017). We show here that, in three clusters so far analyzed, if the blue main sequence stars are interpreted with models that have been always slowly rotating, they must be about 30% younger than the rest of the cluster. If they are instead interpreted as stars initially rapidly rotating, but that have later slowed down, the age difference disappears, and "braking" also helps to explain the apparent age differences of the extended turnoff. The age spreads in Magellanic Cloud clusters are a manifestation of rotational stellar evolution. Observational tests are suggested.


title: Weyl nodes in Andreev spectra of multiterminal Josephson junctions: Chern numbers, conductances and supercurrents

abstract: We consider mesoscopic four-terminal Josephson junctions and study emergent topological properties of the Andreev subgap bands. We use symmetry-constrained analysis for Wigner-Dyson classes of scattering matrices to derive band dispersions. When scattering matrix of the normal region connecting superconducting leads is energy-independent, the determinant formula for Andreev spectrum can be reduced to a palindromic equation that admits a complete analytical solution. Band topology manifests with an appearance of the Weyl nodes which serve as monopoles of finite Berry curvature. The corresponding fluxes are quantified by Chern numbers that translate into a quantized nonlocal conductance that we compute explicitly for the time-reversal-symmetric scattering matrix. The topological regime can be also identified by supercurrents as Josephson current-phase relationships exhibit pronounced nonanalytic behavior and discontinuities near Weyl points that can be controllably accessed in experiments.


title: Small-scale Intensity Mapping: Extended Halos as a Probe of the Ionizing Escape Fraction and Faint Galaxy Populations during Reionization

abstract: We present a new method to quantify the value of the escape fraction of ionizing photons, and the existence of ultra-faint galaxies clustered around brighter objects during the epoch of cosmic reionization, using the diffuse Ly$\alpha$, continuum and H$\alpha$ emission observed around galaxies at $z\sim6$. We model the surface brightness profiles of the diffuse halos considering the fluorescent emission powered by ionizing photons escaping from the central galaxies, and the nebular emission from satellite star-forming sources, by extending the formalisms developed in Mas-Ribas & Dijkstra (2016) and Mas-Ribas et al. (2017). The comparison between our predicted profiles and Ly$\alpha$ observations at $z=5.7$ and $z=6.6$ favors a low ionizing escape fraction, $f_{\rm esc}^{\rm ion}\sim5\%$, for galaxies in the range $-19\gtrsim M_{\rm UV} \gtrsim -21.5$. However, uncertainties and possible systematics in the observations do not allow for firm conclusions. We predict H$\alpha$ and rest-frame visible continuum observations with JWST, and show that JWST will be able to detect extended (a few tens of kpc) fluorescent H$\alpha$ emission powered by ionizing photons escaping from a bright, $L\gtrsim 5L^*$, galaxy. Such observations can differentiate fluorescent emission from nebular emission by satellite sources. We discuss how observations and stacking of several objects may provide unique constraints on the escape fraction for faint galaxies and/or the abundance of ultra-faint radiation sources.


title: Precision mass measurements of magnesium isotopes and implications on the validity of the Isobaric Mass Multiplet Equation

abstract: If the mass excess of neutron-deficient nuclei and their neutron-rich mirror partners are both known, it can be shown that deviations of the Isobaric Mass Multiplet Equation (IMME) in the form of a cubic term can be probed. Such a cubic term was probed by using the atomic mass of neutron-rich magnesium isotopes measured using the TITAN Penning trap and the recently measured proton-separation energies of $^{29}$Cl and $^{30}$Ar. The atomic mass of $^{27}$Mg was found to be within 1.6$\sigma$ of the value stated in the Atomic Mass Evaluation. The atomic masses of $^{28,29}$Mg were measured to be both within 1$\sigma$, while being 8 and 34 times more precise, respectively. Using the $^{29}$Mg mass excess and previous measurements of $^{29}$Cl we uncovered a cubic coefficient of $d$ = 28(7) keV, which is the largest known cubic coefficient of the IMME. This departure, however, could also be caused by experimental data with unknown systematic errors. Hence there is a need to confirm the mass excess of $^{28}$S and the one-neutron separation energy of $^{29}$Cl, which have both come from a single measurement. Finally, our results were compared to ab initio calculations from the valence-space in-medium similarity renormalization group, resulting in a good agreement.


title: Anomalous magnetic moment of the muon, a hybrid approach

abstract: A new QCD sum rule determination of the leading order hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon, $a_{\mu}^{\rm hvp}$, is proposed. This approach combines data on $e^{+}e^{-}$ annihilation into hadrons, perturbative QCD and lattice QCD results for the first derivative of the electromagnetic current correlator at zero momentum transfer, $\Pi_{\rm EM}^\prime(0)$. The idea is based on the observation that, in the relevant kinematic domain, the integration kernel $K(s)$, entering the formula relating $a_{\mu}^{\rm hvp}$ to $e^{+}e^{-}$ annihilation data, behaves like $1/s$ times a very smooth function of $s$, the squared energy. We find an expression for $a_{\mu}$ in terms of $\Pi_{\rm EM}^\prime(0)$, which can be calculated in lattice QCD. Using recent lattice results we find a good approximation for $a_{\mu}^{\rm hvp}$, but the precision is not yet sufficient to resolve the discrepancy between the $R(s)$ data-based results and the experimentally measured value.


title: Stochastic Gradient Descent for Relational Logistic Regression via Partial Network Crawls

abstract: Research in statistical relational learning has produced a number of methods for learning relational models from large-scale network data. While these methods have been successfully applied in various domains, they have been developed under the unrealistic assumption of full data access. In practice, however, the data are often collected by crawling the network, due to proprietary access, limited resources, and privacy concerns. Recently, we showed that the parameter estimates for relational Bayes classifiers computed from network samples collected by existing network crawlers can be quite inaccurate, and developed a crawl-aware estimation method for such models (Yang, Ribeiro, and Neville, 2017). In this work, we extend the methodology to learning relational logistic regression models via stochastic gradient descent from partial network crawls, and show that the proposed method yields accurate parameter estimates and confidence intervals.


title: Constraints on Higher Spin CFT$_2$

abstract: We derive constraints on two-dimensional conformal field theories with higher spin symmetry due to unitarity, modular invariance, and causality. We focus on CFTs with $\mathcal{W}_N$ symmetry in the "irrational" regime, where $c>N-1$ and the theories have an infinite number of higher-spin primaries. The most powerful constraints come from positivity of the Kac matrix, which (unlike the Virasoro case) is non-trivial even when $c>N-1$. This places a lower bound on the dimension of any non-vacuum higher-spin primary state, which is linear in the central charge. At large $c$, this implies that the dual holographic theories of gravity in AdS$_3$, if they exist, have no local, perturbative degrees of freedom in the semi-classical limit.


title: Analyticity of the Dirichlet-to-Neumann semigroup on continuous functions

abstract: Let $\Omega$ be a bounded open subset with $C^{1+\kappa}$-boundary for some $\kappa > 0$. Consider the Dirichlet-to-Neumann operator associated to the elliptic operator $- \sum \partial_l ( c_{kl} \, \partial_k ) + V$, where the $c_{kl} = c_{lk}$ are H\"older continuous and $V \in L_\infty(\Omega)$ are real valued. We prove that the Dirichlet-to-Neumann operator generates a $C_0$-semigroup on the space $C(\partial \Omega)$ which is in addition holomorphic with angle $\frac{\pi}{2}$. We also show that the kernel of the semigroup has Poisson bounds on the complex right half-plane. As a consequence we obtain an optimal holomorphic functional calculus and maximal regularity on $L_p(\Gamma)$ for all $p \in (1,\infty)$.


title: Global Normalization of Convolutional Neural Networks for Joint Entity and Relation Classification

abstract: We introduce globally normalized convolutional neural networks for joint entity classification and relation extraction. In particular, we propose a way to utilize a linear-chain conditional random field output layer for predicting entity types and relations between entities at the same time. Our experiments show that global normalization outperforms a locally normalized softmax layer on a benchmark dataset.


title: Modality of representations

abstract: We first establish several general properties of modality of algebraic group actions. In particular, we introduce the notion of a modality-regular action and prove that every visible action is modality-regular. Then, using these results, we classify irreducible linear representations of connected simple algebraic groups of every fixed modality $\leqslant 2$. Next, exploring a finer geometric structure of linear actions, we generalize to the case of any cyclically graded semisimple Lie algebra the notion of a packet (or a Jordan/decomposition class) and establish the properties of packets.


title: Amortized entanglement of a quantum channel and approximately teleportation-simulable channels

abstract: This paper defines the amortized entanglement of a quantum channel as the largest difference in entanglement between the output and the input of the channel, where entanglement is quantified by an arbitrary entanglement measure. We prove that the amortized entanglement of a channel obeys several desirable properties, and we also consider special cases such as the amortized relative entropy of entanglement and the amortized Rains relative entropy. These latter quantities are shown to be single-letter upper bounds on the secret-key-agreement and PPT-assisted quantum capacities of a quantum channel, respectively. Of especial interest is a uniform continuity bound for these latter two special cases of amortized entanglement, in which the deviation between the amortized entanglement of two channels is bounded from above by a simple function of the diamond norm of their difference and the output dimension of the channels. We then define approximately teleportation- and positive-partial-transpose-simulable (PPT-simulable) channels as those that are close in diamond norm to a channel which is either exactly teleportation- or PPT-simulable, respectively. These results then lead to single-letter upper bounds on the secret-key-agreement and PPT-assisted quantum capacities of channels that are approximately teleportation- or PPT-simulable, respectively. Finally, we generalize many of the concepts in the paper to the setting of general resource theories, defining the amortized resourcefulness of a channel and the notion of $\nu$-freely-simulable channels, connecting these concepts in an operational way as well.


title: Scattering, weak localization and Shubnikov-de Haas oscillation in high carrier density AlInN/GaN heterostructures

abstract: We provide the first observation of weak localization in high carrier density two-dimensional electron gas in AlInN/GaN heterostructures; at low temperatures and low fields the conductivity increases with increasing magnetic field. Weak localization is further confirmed by the lnT dependence of the zero-field conductivity and angle dependence of magnetoresistance. The inelastic scattering rate is linearly proportional to temperature, demonstrating that electron-electron scattering is the principal phase breaking mechanism. Shubnikov-de Haas (SdH) oscillations at high magnetic fields are also observed. From the temperature dependent amplitude of SdH oscillation and Dingle plot, the effective mass of electron is extracted to be 0.2327me; in addition the quantum lifetime is smaller than transport time from Hall measurement, indicating small angle scattering such as from remote ionized impurities is dominant. Above 20 K, the scattering changes from acoustic phonon to optical phonon scattering, resulting in a rapid decrease in carrier mobility with increasing temperature.


title: Characterising two-sided quantum correlations beyond entanglement via metric-adjusted f-correlations

abstract: We introduce an infinite family of quantifiers of quantum correlations beyond entanglement which vanish on both classical-quantum and quantum-classical states and are in one-to-one correspondence with the metric-adjusted skew informations. The `quantum $f-$correlations' are defined as the maximum metric-adjusted $f-$correlations between pairs of local observables with the same fixed equispaced spectrum. We show that these quantifiers are entanglement monotones when restricted to pure states of qubit-qudit systems. We also evaluate the quantum $f-$correlations in closed form for two-qubit systems and discuss their behaviour under local commutativity preserving channels. We finally provide a physical interpretation for the quantifier corresponding to the average of the Wigner-Yanase-Dyson skew informations.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP physics.data-an


title: Determinantal representations of invariant hyperbolic plane curves

abstract: We study hyperbolic polynomials with nice symmetry and express them as the determinant of a Hermitian matrix with special structure. The goal of this paper is to answer a question posed by Chien and Nakazato in 2015. By properly modifying a determinantal representation construction of Dixon (1902), we show for every hyperbolic polynomial of degree n invariant under the cyclic group of order n there exists a determinantal representation admitted via some cyclic weighted shift matrix. Moreover, if the polynomial is invariant under the action of the dihedral group of order n, the associated cyclic weighted shift matrix is unitarily equivalent to one with real entries.


title: ChromaStarDB: SQL database-driven spectrum synthesis, and more

abstract: We present an alternate deployment of the GrayStarServer (now ChromaStarServer (CSS)) pedagogical stellar atmosphere and spectrum synthesis WWW-application, namely ChromaStarDB (CSDB), in which the atomic line list used for spectrum synthesis is implemented as an SQL database table rather than as a more conventional byte-data file. This allows for very flexible selection criteria to determine which transitions are extracted from the line list for inclusion in the synthesis, and enables novel pedagogical and research experiments in spectrum synthesis. This line selection flexibility is reflected in the CSDB UI. The database extraction is very fast and would be appropriate for the larger line lists of research-grade modeling codes. We also take the opportunity to present major additions to the ChromaStar and CSS codes that are also reflected in CSDB: i) TiO band opacity in the JOLA approximation, ii) Metal b-f and Rayleigh scattering opacity, iii) 2D implementation of the flux integral, iv) Improvement of the N_e convergence, and v) Expansion of the exo-planet modeling parameters, and vi) General improvements to the UI. The applications may be found at the home page of the OpenStar project: www.ap.smu.ca/OpenStars/.


title: Waring's problem for unipotent algebraic groups

abstract: In this paper, we formulate an analogue of Waring's problem for an algebraic group $G$. At the field level we consider a morphism of varieties $f\colon \mathbb{A}^1\to G$ and ask whether every element of $G(K)$ is the product of a bounded number of elements $f(\mathbb{A}^1(K)) = f(K)$. We give an affirmative answer when $G$ is unipotent and $K$ is a characteristic zero field which is not formally real. The idea is the same at the integral level, except one must work with schemes, and the question is whether every element in a finite index subgroup of $G(\mathcal{O})$ can be written as a product of a bounded number of elements of $f(\mathcal{O})$. We prove this is the case when $G$ is unipotent and $\mathcal{O}$ is the ring of integers of a totally imaginary number field.


title: Greedy Shortest Common Superstring Approximation in Compact Space

abstract: Given a set of strings, the shortest common superstring problem is to find the shortest possible string that contains all the input strings. The problem is NP-hard, but a lot of work has gone into designing approximation algorithms for solving the problem. We present the first time and space efficient implementation of the classic greedy heuristic which merges strings in decreasing order of overlap length. Our implementation works in $O(n \log \sigma)$ time and bits of space, where $n$ is the total length of the input strings in characters, and $\sigma$ is the size of the alphabet. After index construction, a practical implementation of our algorithm uses roughly $5 n \log \sigma$ bits of space and reasonable time for a real dataset that consists of DNA fragments.


title: Analysis of the Daya Bay Reactor Antineutrino Flux Changes with Fuel Burnup

abstract: We investigate the recent Daya Bay results on the changes in the antineutrino flux and spectrum with the burnup of the reactor fuel. We find that the discrepancy between current model predictions and the Daya Bay results can be traced to the original measured $^{235}$U/$^{239}$Pu ratio of the fission beta spectra that were used as a base for the expected antineutrino fluxes. An analysis of the antineutrino spectra that is based on a summation over all fission fragment beta-decays, using nuclear database input, explains all of the features seen in the Daya Bay evolution data. However, this summation method still predicts an anomaly. Thus, we conclude that there is currently not enough information to use the antineutrino flux changes to rule out the possible existence of sterile neutrinos.


title: On a basic conceptual confusion in gravitational radiation theory

abstract: In much of the literature on linearized gravitational waves two completely different notions are called transverse traceless modes and labelled $h_{ab}^{TT}$, often in different sections of the same reference, without realizing the underlying inconsistency. We compare and contrast the two notions and find that the difference persists even at leading asymptotic order near future null infinity $\mathit{I}^+$. We discuss why the distinction has nonetheless remained largely unnoticed, and also point out that there are some important physical effects where only one of the notions gives the correct answer.


title: On the Lyndon Dynamical Systems

abstract: Given a totally finite ordered alphabet $ A $, endowing the set of words over $ A $ with the alternating lexicographic order, we define a new class of Lyndon words. We study the fundamental properties of the associated symbolic dynamical systems called Lyndon system. We derive some fundamental properties of the beta-shift with negative base by relating it with the Lyndon system. We find, independently of W. Steiner's method, the conditions for which a word is the $(-\beta)$-expansion of $-\frac{\beta}{\beta + 1} $ for some $ \beta> 1$.


title: Topological edge states on time-periodically strained armchair graphene nanoribbons

abstract: We report the emergence of electronic edge states in time-periodically driven strained armchair terminated graphene nanoribbons. This is done by considering a short-pulse spatial-periodic strain field. Then, the tight-binding Hamiltonian of the system is mapped into a one dimensional ladder. The time periodicity is considered within the Floquet formalism. Thus the quasienergy spectrum is found numerically by diagonalizing the evolution operator. For some particular cases, the quasienergy spectrum is found analytically. We find that the system is able to support gapless and gapped phases. Very different edge states emerge for both the gapless and the gapful phases. In the case of the gapped phase, edge states emerge at the gap centered at zero quasienergy, although the Chern number is zero due to the chiral symmetry of the system. For the gapless phase, besides edge states at zero quasienergy, cosine like edge states which merge and coexist with the bulk band are observed. To confirm the topological nature of these edge states, we analytically obtained the effective Hamiltonian and its spectrum for a particular case, finding that the edge states are topologically weak. Finally, we found analytically the evolution of band edges and its crossings as a function of the driven period. Topological modes arise at such crossings.


title: Suppressing phonon transport in nanowires: a simple model for phonon-surface roughness interaction

abstract: Suppressing phonon propagation in nanowires is an essential goal towards achieving efficient thermoelectric devices. Recent experiments have shown unambiguously that surface roughness is a key factor that can reduce the thermal conductivity well below the Casimir limit in thin crystalline silicon nanowires. We use insights gained from the experimental studies to construct a simple analytically tractable model of the phonon-surface roughness interaction that provides a better theoretical understanding of the effects of surface roughness on the thermal conductivity, which could potentially help in designing better thermoelectric devices.


title: The first coefficient of Homflypt and Kauffman polynomials: Vertigan proof of polynomial complexity using dynamic programming

abstract: We describe the polynomial time complexity algorithm for computing first coefficients of the skein (Homflypt) and Kauffman polynomial invariants of links, discovered by D.Vertigan in 1992 but never published.


title: Liver lesion segmentation informed by joint liver segmentation

abstract: We propose a model for the joint segmentation of the liver and liver lesions in computed tomography (CT) volumes. We build the model from two fully convolutional networks, connected in tandem and trained together end-to-end. We evaluate our approach on the 2017 MICCAI Liver Tumour Segmentation Challenge, attaining competitive liver and liver lesion detection and segmentation scores across a wide range of metrics. Unlike other top performing methods, our model output post-processing is trivial, we do not use data external to the challenge, and we propose a simple single-stage model that is trained end-to-end. However, our method nearly matches the top lesion segmentation performance and achieves the second highest precision for lesion detection while maintaining high recall.


title: Spatial Variations of the Interstellar Polarization and Interstellar Extinction

abstract: For more than 5000 stars with accurate parallaxes from the Hipparcos and Gaia DR1 Tycho-Gaia astrometric solution (TGAS), Tycho-2 photometry, interstellar polarization from eight catalogues and interstellar extinction from eight 3D maps the largest up to date comparison of the polarization and extinction is provided. The extinction maps give different estimations of the extinction and of the polarization efficiency as the polarization divided into extinction $P/A_V$ as well as of the percentage of the stars with the polarization efficiency higher than the limit of Serkowski $P/A_V>0.03$. Using the Hipparcos parallaxes we found about 200 stars (4\%, mainly OB stars) drop higher than the limit when we use any extinction map. However, the usage of more accurate TGAS parallaxes decreases them to only 17 stars (0.3\%). The polarization and extinction are negligible inside the Local Bubble within 80 pc from the Sun. In the vast Bubble's shell at the distances 80--118 pc from the Sun the polarization and extinction rapidly grow with the distance whereas the position angle of the polarization is oriented predominantly along the shell of the Bubble. Outside the Bubble the polarization and extinction grow with the distance slowly. In addition, within a radius of 80--300 pc of the Sun a disc of some filamentary dust clouds (including well-known Markkanen cloud) is observed as in the polarization map as in the reddening one by Schlegel et al. In this disc the position angle of polarization is preferably oriented along the plane of the disk. For the regions further than 300 pc the position angle of polarization is preferably oriented along the Local spiral arm, i.e. Y coordinate axis. The polarization and its efficiency is lower in the dust layer in the Gould belt than in the equatorial dust layer. It may means different properties of dust in these two layers.


title: Progressive damage and rupture in polymers

abstract: Progressive damage, which eventually leads to failure, is ubiquitous in biological and synthetic polymers. The simplest case to consider is that of elastomeric materials, which can undergo large reversible deformations with negligible rate dependence. In this paper, we develop a theory for modeling progressive damage and rupture of such materials. We extend the phase-field method, which is widely used to describe the damage and fracture of brittle materials, to elastomeric materials undergoing large deformations. A central feature of our theory is the recognition that the free energy of elastomers is not entirely entropic in nature---there is also an energetic contribution from the deformation of the bonds in the chains. It is the energetic part in the free energy which is the driving force for progressive damage and fracture.


title: Ground-based parallax confirmed by Spitzer: binary microlensing event MOA-2015-BLG-020

abstract: We present the analysis of the binary gravitational microlensing event MOA-2015-BLG-020. The event has a fairly long timescale (about 63 days) and thus the light curve deviates significantly from the lensing model that is based on the rectilinear lens-source relative motion. This enables us to measure the microlensing parallax through the annual parallax effect. The microlensing parallax parameters constrained by the ground-based data are confirmed by the Spitzer observations through the satellite parallax method. By additionally measuring the angular Einstein radius from the analysis of the resolved caustic crossing, the physical parameters of the lens are determined. It is found that the binary lens is composed of two dwarf stars with masses $M_1 = 0.606 \pm 0.028M_\odot$ and $M_2 = 0.125 \pm 0.006M_\odot$ in the Galactic disk. Assuming the source star is at the same distance as the bulge red clump stars, we find the lens is at a distance $D_L = 2.44 \pm 0.10 kpc$. In the end, we provide a summary and short discussion of all published microlensing events in which the annual parallax effect is confirmed by other independent observations.


title: Adaptive Distributed Hierarchical Sensing Algorithm for Reduction of Wireless Sensor Network Cluster-Heads Energy Consumption

abstract: Energy efficiency is a crucial performance metric in sensor networks, directly determining the network lifetime. Consequently, a key factor in WSN is to improve overall energy efficiency to extend the network lifetime. Although many algorithms have been presented to optimize the energy factor, energy efficiency is still one of the major problems of WSNs, especially when there is a need to sample an area with different types of loads. Unlike other energy-efficient schemes for hierarchical sampling, our hypothesis is that it is achievable, in terms of prolonging the network lifetime, to adaptively re-modify CHs sensing rates (the processing and transmitting stages in particular) in some specific regions that are triggered significantly less than other regions. In order to do so we introduce the Adaptive Distributed Hierarchical Sensing (ADHS) algorithm. This algorithm employs a homogenous sensor network in a distributed fashion and changes the sampling rates of the CHs based on the variance of the sampled data without damaging significantly the accuracy of the sensed area.


title: Technical Report The Stochastic Network Calculator

abstract: In this technical report, we provide an in-depth description of the Stochastic Network Calculator tool. This tool is designed to compute and automatically optimize performance bounds in queueing networks using the methodology of stochastic network calculus.


title: On the Humphreys conjecture on support varieties of tilting modules

abstract: Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the nilpotent cone of $G$, defined in terms of cohomology for the first Frobenius kernel $G_1$. In the 1990s, Humphreys proposed a conjectural description of the support varieties of tilting modules; this conjecture has been proved for $G = \mathrm{SL}_n$ in earlier work of the second author. In this paper, we show that for any $G$, the support variety of a tilting module always contains the variety predicted by Humphreys, and that they coincide (i.e., the Humphreys conjecture is true) when $p$ is sufficiently large. We also prove variants of these statements involving "relative support varieties."


title: Trace and extension operators for fractional Sobolev spaces with variable exponent

abstract: We show that, under certain regularity assumptions, there exists a linear extension operator.


title: The impact of neutron star spin on X-ray spectra

abstract: We investigate whether the intrinsic spin of neutron stars leaves an observable imprint on the spectral properties of X-ray binaries. To evaluate this we consider a sample of nine NSs for which the spins have been measured that are not accreting pulsars (for which the accretion geometry will be different). For each source, we perform spectroscopy on a majority of RXTE hard state observations. Our sample of sources and observations spans the range of the Eddington ratios Lx/Ledd ~0.005-0.100. We find a clear trend between key Comptonization properties and the NS spin for a given accretion rate. Specifically, at a given Lx/Ledd, for more rapidly rotating NSs we find lower seed photon temperatures and a general increase in Comptonization strength, as parametrised by the Comptonization y parameter and amplification factor A. This is in good agreement with the theoretical scenario whereby less energy is liberated in a boundary layer for more rapidly spinning NSs, resulting in a lower seed photon luminosity and, consequently, less Compton cooling in the corona. This effect in extremis results in the hard states of the most rapidly spinning sources encroaching upon the regime of Comptonization properties occupied by BHs.


title: Near-field Surface Waves in Few-Layer MoS2

abstract: Recently emerged layered transition metal dichalcogenides have attracted great interest due to their intriguing fundamental physical properties and potential applications in optoelectronics. Using scattering-type scanning near-field optical microscope (s-SNOM) and theoretical modeling, we study propagating surface waves in the visible spectral range that are excited at sharp edges of layered transition metal dichalcogenides (TMDC) such as molybdenum disulfide and tungsten diselenide. These surface waves form fringes in s-SNOM measurements. By measuring how the fringes change when the sample is rotated with respect to the incident beam, we obtain evidence that exfoliated MoS2 on a silicon substrate supports two types of Zenneck surface waves that are predicted to exist in materials with large real and imaginary parts of the permittivity. We have compared MoS2 interference fringes with those formed on layered insulator such as hexagonal boron nitride where only leaky modes are possible due to its small permittivity. Interpretation of experimental data is supported by theoretical models. Our results could pave the way to the investigation of surface waves on TMDCs and other van der Waals materials and their novel photonics applications.


title: Quantitative unique continuation for the heat equation with Coulomb potentials

abstract: In this paper, we establish a H\"older-type quantitative estimate of unique continuation for solutions to the heat equation with Coulomb potentials in either a bounded convex domain or a $C^2$-smooth bounded domain. The approach is based on the frequency function method, as well as some parabolic-type Hardy inequalities.


title: Probing local lattice distortion in medium- and high-entropy alloys

abstract: The atomic-level tunability that results from alloying multiple transition metals with d electrons in concentrated solid solution alloys (CSAs), including high-entropy alloys (HEAs), has produced remarkable properties for advanced energy applications, in particular, damage resistance in high-radiation environments. The key to understanding CSAs radiation performance is quantitatively characterizing their complex local physical and chemical environments. In this study, the local structure of a FeCoNiCrPd HEA is quantitatively analyzed with X-ray total scattering and extended X-ray absorption fine structure methods. Compared to FeCoNiCr and FeCoNiCrMn, FeCoNiCrPd with a quasi-random alloy structure has a strong local lattice distortion, which effectively pins radiation-induced defects. Distinct from a relaxation behavior in FeCoNiCr and FeCoNiCrMn, ion irradiation further enhanced the local lattice distortion in FeCoNiCrPd due to a preference for forming Pd-Pd atomic pairs.


title: On the Possibility of Fast Radio Bursts from Inside Supernovae: The Case of SN 1986J

abstract: We discuss the possibility of obtaining Fast Radio Bursts (FRBs) from the interior of supernovae, in particular SN 1986J. Young neutron stars are involved in many of the possible scenarios for the origin of FRBs, and it has been suggested that the high dispersion measures observed in FRBs might be produced by the ionized material in the ejecta of associated supernovae. Using VLA and VLBI measurements of the Type IIn SN 1986J, which has a central compact component not so far seen in other supernovae, we can directly observe for the first time radio signals which originate in the interior of a young (~30 yr old) supernova. We show that at age 30 yr, any FRB signal at ~1 GHz would still be largely absorbed by the ejecta. By the time the ejecta have expanded so that a 1-GHz signal would be visible, the internal dispersion measure due to the SN ejecta would be below the values typically seen for FRBs. The high dispersion measures seen for the FRBs detected so far could of course be due to propagation through the intergalactic medium provided that the FRBs are at distances much larger than that of SN 1986J, which is 10 Mpc. We conclude that if FRBs originate in Type II SNe/SNRs, they would likely not become visible till 60 ~ 200 yr after the SN explosion.


title: Detection of curved lines with B-COSFIRE filters: A case study on crack delineation

abstract: The detection of curvilinear structures is an important step for various computer vision applications, ranging from medical image analysis for segmentation of blood vessels, to remote sensing for the identification of roads and rivers, and to biometrics and robotics, among others. %The visual system of the brain has remarkable abilities to detect curvilinear structures in noisy images. This is a nontrivial task especially for the detection of thin or incomplete curvilinear structures surrounded with noise. We propose a general purpose curvilinear structure detector that uses the brain-inspired trainable B-COSFIRE filters. It consists of four main steps, namely nonlinear filtering with B-COSFIRE, thinning with non-maximum suppression, hysteresis thresholding and morphological closing. We demonstrate its effectiveness on a data set of noisy images with cracked pavements, where we achieve state-of-the-art results (F-measure=0.865). The proposed method can be employed in any computer vision methodology that requires the delineation of curvilinear and elongated structures.


title: M\"obius Disjointness for Skew Products on the Heisenberg Nilmanifold

abstract: We prove that the M\"obius function is disjoint to all Lipschitz continuous skew product dynamical systems on the 3-dimensional Heisenberg nilmanifold over a minimal rotation of the 2-dimensional torus.


title: The nonhomogeneous frog model on $\mathbb{Z}$

abstract: We examine a system of interacting random walks with leftward drift on $\mathbb{Z}$, which begins with a single active particle at the origin and some distribution of inactive particles on the positive integers. Inactive particles become activated when landed on by other particles, and all particles beginning at the same point posses equal leftward drift. Once activated, the trajectories of distinct particles are independent. This system belongs to a broader class of problems involving interacting random walks on rooted graphs, referred to collectively as the frog model. Additional conditions that we impose on our model include that the number of frogs (i.e. particles) at positive integer points is a sequence of independent random variables which is increasing in terms of the standard stochastic order, and that the sequence of leftward drifts associated with frogs originating at these points is decreasing. Our results include sharp conditions with respect to the sequence of random variables and the sequence of drifts, that determine whether the model is transient (meaning the probability infinitely many frogs return to the origin is $0$) or non-transient. Several, more specific, versions of the model described will also be considered, and a cleaner, more simplified set of sharp conditions will be established for each case.


title: Technical Supplement to "Polarization Transfer Observables in Elastic Electron-Proton Scattering at Q$^2$ = 2.5, 5.2, 6.8, and 8.5 GeV$^2$"

abstract: The GEp-III and GEp-2$\gamma$ experiments, carried out in Jefferson Lab's Hall C from 2007-2008, consisted of measurements of polarization transfer in elastic electron-proton scattering at momentum transfers of $Q^2 = 2.5, 5.2, 6.8,$ and $8.54$ GeV$^2$. These measurements were carried out to improve knowledge of the proton electromagnetic form factor ratio $R = \mu_p G_E^p/G_M^p$ at large values of $Q^2$ and to search for effects beyond the Born approximation in polarization transfer observables at $Q^2 = 2.5$ GeV$^2$. The final results of both experiments were reported in a recent archival publication. A full reanalysis of the data from both experiments was carried out in order to reduce the systematic and, for the GEp-2$\gamma$ experiment, statistical uncertainties. This technical note provides additional details of the final analysis omitted from the main publication, including the final evaluation of the systematic uncertainties.


title: Harmonic Dirichlet Functions on Planar Graphs

abstract: Benjamini and Schramm (1996) used circle packing to prove that every transient, bounded degree planar graph admits non-constant harmonic functions of finite Dirichlet energy. We refine their result, showing in particular that for every transient, bounded degree, simple planar triangulation $T$ and every circle packing of $T$ in a domain $D$, there is a canonical, explicit bounded linear isomorphism between the space of harmonic Dirichlet functions on $T$ and the space of harmonic Dirichlet functions on $D$.


title: A novel two- and multi-level binary phase mask design for enhanced depth-of-focus

abstract: This paper introduces a two-and multi-level phase mask design for improved depth of focus. A novel technique is proposed incorporating cubic and generalized cubic wavefront coding (WFC). The obtained system is optical-electronic requiring computational deblurring post-processing, in order to obtain a sharp image from the observed blurred data. A midwave infrared (MWIR) system is simulated showing that this design will produce high quality images even for large amounts of defocus. It is furthermore shown that this technique can be used to design a flat, single optical element, systems where the phase mask performs both the function of focusing and phase modulation. It is demonstrated that in this lensless design the WFC coding components can be omitted and WFC effects are achieved as a result of the proposed algorithm for phase mask design which uses the quadratic phase of the thin refractive lens as the input signal.


title: Recent advances in high-contrast metastructures, metasurfaces and photonic crystals

abstract: In the recent decade, the research field using arrays of high-index-contrast near-wavelength dieletric structures on flat surfaces, known as high-contrast metastructures (HCMs) or metasurfaces, has emerged and expanded rapidly. Although the HCMs and metasurfaces share great similarities in physical structures with photonic crystals (PhCs), i.e. periodic nanostructures, many differences exist in their design, analysis, operation conditions, and applications. In this paper, we provide a generalized theoretical understanding of the two subjects and show their intrinsic connections. We further discuss the simulation and design approaches, categorized by their functionalities and applications. The similarity and differences between HCMs, metasurfaces and PhCs are also discussed. New findings are presented regarding the physical connection between the PhC band structures and the 1D and 2D HCM scattering spectra under transverse and longitudinal tilt incidence. Novel designs using HCMs as holograms, spatial light modulators, and surface plasmonic couplers are discussed. Recent advances on HCMs, metasurfaces and PhCs are reviewed and compared for applications such as broadband mirrors, waveguides, couplers, resonators, and reconfigurable optics.


title: Propagation of regularity for the MHD system in optimal Sobolev space

abstract: We study the problem of propagation of regularity of solutions to the incompressible viscous non-resistive magneto-hydrodynamics system. According to scaling, the Sobolev space $H^{\frac n2-1}(\mathbb R^n)\times H^{\frac n2}(\mathbb R^n)$ is critical for the system. We show that if a weak solution $(u(t),b(t))$ is in $H^{s}(\mathbb R^n)\times H^{s+1}(\mathbb R^n)$ with $s>\frac n2-1$ at a certain time $t_0$, then it will stay in the space for a short time, provided the initial velocity $u(0)\in H^s(\mathbb R^n)$. In the case that the uniqueness of weak solution in $H^{s}(\mathbb R^n)\times H^{s+1}(\mathbb R^n)$ is known, the assumption of $u(0)\in H^s(\mathbb R^n)$ is not necessary.


title: AMR Parsing using Stack-LSTMs

abstract: We present a transition-based AMR parser that directly generates AMR parses from plain text. We use Stack-LSTMs to represent our parser state and make decisions greedily. In our experiments, we show that our parser achieves very competitive scores on English using only AMR training data. Adding additional information, such as POS tags and dependency trees, improves the results further.


title: cniCloud: Querying the Cellular Network Information at Scale

abstract: This paper presents cniCloud, a cloud-based platform for mobile devices to share and query the fine-grained cellular information at scale. cniCloud extends the single-device cellular analytics via crowdsourcing: It collects the fine-grained cellular network data from massive mobile devices, aggregates them in a cloud-based database, and provides interfaces for end users to run an SQL-like query over the cellular data. It offers efficient and responsive processing by optimizing the database storage and adopting the domain-specific optimizations. Our preliminary deployments and experiments validate its feasibility in performing crowdsourced analytics.


title: String theory phenomenology and quantum many body systems

abstract: The main idea in the present work is the definition of an experimental proposal for the detection of the number of extra{compact dimensions contained as a core feature in String Theory. This goal will be achieved as a consequence of the fact that the density of states of a bosonic gas does depend upon the number and geometry of the involved space{like dimensions. In particular our idea concerns the detection of the discontinuity of the specific heat at the condensation temperature as a function of the number of particles present in the gas. It will be shown that the corresponding function between these two variables defines a segment of a straight line whose slope depends upon the number of extra{compact dimensions. Resorting to some experiments in the detection of the specific heat of a rubidium condensate the feasibility of this proposal using this kind of atom is also analyzed.


title: Complex groups and root subgroup factorization

abstract: Root subgroup factorization is a refinement of triangular (or LDU) factorization. For a complex reductive Lie group, and a choice of reduced factorization of the longest Weyl group element, the forward map from root subgroup coordinates to triangular coordinates is polynomial. We show that the inverse is rational. There is an algorithm for the inverse (involving LDU factorization), and a related explicit formula for Haar measure in root subgroup coordinates. In classical cases there are preferred reduced factorizations of the longest Weyl group elements, and conjecturally in these cases there are closed form expressions for root subgroup coordinates.


title: Stochastic Coalitional Games for Cooperative Random Access in M2M Communications

abstract: In this paper, the problem of random access contention between machine type devices (MTDs) in the uplink of a wireless cellular network is studied. In particular, the possibility of forming cooperative groups to coordinate the MTDs' requests for the random access channel (RACH) is analyzed. The problem is formulated as a stochastic coalition formation game in which the MTDs are the players that seek to form cooperative coalitions to optimize a utility function that captures each MTD's energy consumption and time-varying queue length. Within each coalition, an MTD acts as a coalition head that sends the access requests of the coalition members over the RACH. One key feature of this game is its ability to cope with stochastic environments in which the arrival requests of MTDs and the packet success rate over RACH are dynamically time-varying. The proposed stochastic coalitional is composed of multiple stages, each of which corresponds to a coalitional game in stochastic characteristic form that is played by the MTDs at each time step. To solve this game, a novel distributed coalition formation algorithm is proposed and shown to converge to a stable MTD partition. Simulation results show that, on the average, the proposed stochastic coalition formation algorithm can reduce the average fail ratio and energy consumption of up to 36% and 31% for a cluster-based distribution of MTDs, respectively, compared with a noncooperative case. Moreover, when the MTDs are more sensitive to the energy consumption (queue length), the coalitions' size will increase (decrease).


title: Proper homotopy types and Z-boundaries of spaces admitting geometric group actions

abstract: We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in the literature, but a significant aim is expository. Toward that end, brief but reasonably comprehensive introductions to the theories of ANRs (absolute neighborhood retracts) and Z-sets are included, as well as a much shorter short introduction to shape theory. Here is a sampling of the theorems proved here. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., then X is proper homotopy equivalent to Y. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., and Y can be compactified to a Z-structure for H, then the same boundary can be added to X to obtain a Z-structure for G. THEOREM. If quasi-isometric groups G and H admit Z-structures (X^, Z_1) and (Y^, Z_2) resp., then Z_1 and Z_2 are shape equivalent.


title: Onsager's missing steps retraced

abstract: Onsager's paper on phase transition and phase coexistence in anisotropic colloidal systems is a landmark in the theory of lyotropic liquid crystals. However, an uncompromising scrutiny of Onsager's original derivation reveals that it would be rigorously valid only for ludicrous values of the system's number density (of the order of the reciprocal of the number of particles) Based on Penrose's tree identity and an appropriate variant of the mean-field approach for purely repulsive, hard-core interactions, our theory shows that Onsager's theory is indeed valid for a reasonable range of densities.


title: On computing distributions of products of non-negative independent random variables

abstract: We introduce a new functional representation of probability density functions (PDFs) of non-negative random variables via a product of a monomial factor and linear combinations of decaying exponentials with complex exponents. This approximate representation of PDFs is obtained for any finite, user-selected accuracy. Using a fast algorithm involving Hankel matrices, we develop a general numerical method for computing the PDF of the sums, products, or quotients of any number of non-negative random variables yielding the result in the same type of functional representation. We present several examples to demonstrate the accuracy of the approach.


title: Domain Recursion for Lifted Inference with Existential Quantifiers

abstract: In recent work, we proved that the domain recursion inference rule makes domain-lifted inference possible on several relational probability models (RPMs) for which the best known time complexity used to be exponential. We also identified two classes of RPMs for which inference becomes domain lifted when using domain recursion. These two classes subsume the largest lifted classes that were previously known. In this paper, we show that domain recursion can also be applied to models with existential quantifiers. Currently, all lifted inference algorithms assume that existential quantifiers have been removed in pre-processing by Skolemization. We show that besides introducing potentially inconvenient negative weights, Skolemization may increase the time complexity of inference. We give two example models where domain recursion can replace Skolemization, avoids the need for dealing with negative numbers, and reduces the time complexity of inference. These two examples may be interesting from three theoretical aspects: 1- they provide a better and deeper understanding of domain recursion and, in general, (lifted) inference, 2- they may serve as evidence that there are larger classes of models for which domain recursion can satisfyingly replace Skolemization, and 3- they may serve as evidence that better Skolemization techniques exist.


title: BV-equivalence between triadic gravity and BF theory in three dimensions

abstract: The triadic description of General Relativity in three dimensions is known to be a BF theory. Diffeomorphisms, as symmetries, are easily re- covered on shell from the symmetries of BF theory. This note describes an explicit off-shell BV symplectomorphism between the BV versions of the two theories, each endowed with their natural symmetries.


title: Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions

abstract: In this short note we present an elementary matrix-constructive proof of Quillen-Suslin theorem for Ore extensions: If $K$ is a division ring and $A:=K[x;\sigma,\delta]$ is an Ore extension, with $\sigma$ bijective, then every finitely generated projective $A$-module is free. We will show an algorithm that computes the basis of a given finitely generated projective module. The algorithm has been implemented in a computational package, and some illustrative examples are included.


title: Second-oder analysis in second-oder cone programming

abstract: The paper conducts a second-order variational analysis for an important class of nonpolyhedral conic programs generated by the so-called second-order/Lorentz/ice-cream cone $Q$. From one hand, we prove that the indicator function of $Q$ is always twice epi-differentiable and apply this result to characterizing the uniqueness of Lagrange multipliers at stationary points together with an error bound estimate in the general second-order cone setting involving ${\cal C}^2$-smooth data. On the other hand, we precisely calculate the graphical derivative of the normal cone mapping to $Q$ under the weakest metric subregularity constraint qualification and then give an application of the latter result to a complete characterization of isolated calmness for perturbed variational systems associated with second-order cone programs. The obtained results seem to be the first in the literature in these directions for nonpolyhedral problems without imposing any nondegeneracy assumptions.


title: Bellman Gradient Iteration for Inverse Reinforcement Learning

abstract: This paper develops an inverse reinforcement learning algorithm aimed at recovering a reward function from the observed actions of an agent. We introduce a strategy to flexibly handle different types of actions with two approximations of the Bellman Optimality Equation, and a Bellman Gradient Iteration method to compute the gradient of the Q-value with respect to the reward function. These methods allow us to build a differentiable relation between the Q-value and the reward function and learn an approximately optimal reward function with gradient methods. We test the proposed method in two simulated environments by evaluating the accuracy of different approximations and comparing the proposed method with existing solutions. The results show that even with a linear reward function, the proposed method has a comparable accuracy with the state-of-the-art method adopting a non-linear reward function, and the proposed method is more flexible because it is defined on observed actions instead of trajectories.


title: Morphometric analysis of polygonal cracking patterns in desiccated starch slurries

abstract: We investigate the geometry of two-dimensional polygonal cracking that forms on the air-exposed surface of dried starch slurries. Two different kinds of starches, made from potato and corn, exhibited distinguished crack evolution, and there were contrasting effects of slurry thickness on the probability distribution of the polygonal cell area. The experimental findings are believed to result from the difference in the shape and size of starch grains, which strongly influence the capillary transport of water and tensile stress field that drives the polygonal cracking.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech nlin.PS


title: Exact Identification of a Quantum Change Point

abstract: The detection of change points is a pivotal task in statistical analysis. In the quantum realm, it is a new primitive where one aims at identifying the point where a source that supposedly prepares a sequence of particles in identical quantum states starts preparing a mutated one. We obtain the optimal procedure to identify the change point with certainty---naturally at the price of having a certain probability of getting an inconclusive answer. We obtain the analytical form of the optimal probability of successful identification for any length of the particle sequence. We show that the conditional success probabilities of identifying each possible change point show an unexpected oscillatory behaviour. We also discuss local (online) protocols and compare them with the optimal procedure.


title: Desensitized RDCA Subspaces for Compressive Privacy in Machine Learning

abstract: The quest for better data analysis and artificial intelligence has lead to more and more data being collected and stored. As a consequence, more data are exposed to malicious entities. This paper examines the problem of privacy in machine learning for classification. We utilize the Ridge Discriminant Component Analysis (RDCA) to desensitize data with respect to a privacy label. Based on five experiments, we show that desensitization by RDCA can effectively protect privacy (i.e. low accuracy on the privacy label) with small loss in utility. On HAR and CMU Faces datasets, the use of desensitized data results in random guess level accuracies for privacy at a cost of 5.14% and 0.04%, on average, drop in the utility accuracies. For Semeion Handwritten Digit dataset, accuracies of the privacy-sensitive digits are almost zero, while the accuracies for the utility-relevant digits drop by 7.53% on average. This presents a promising solution to the problem of privacy in machine learning for classification.


title: Covariations in ecological scaling laws fostered by community dynamics

abstract: Scaling laws in ecology, intended both as functional relationships among ecologically-relevant quantities and the probability distributions that characterize their occurrence, have long attracted the interest of empiricists and theoreticians. Empirical evidence exists of power laws associated with the number of species inhabiting an ecosystem, their abundances and traits. Although their functional form appears to be ubiquitous, empirical scaling exponents vary with ecosystem type and resource supply rate. The idea that ecological scaling laws are linked had been entertained before, but the full extent of macroecological pattern covariations, the role of the constraints imposed by finite resource supply and a comprehensive empirical verification are still unexplored. Here, we propose a theoretical scaling framework that predicts the linkages of several macroecological patterns related to species' abundances and body sizes. We show that such framework is consistent with the stationary state statistics of a broad class of resource-limited community dynamics models, regardless of parametrization and model assumptions. We verify predicted theoretical covariations by contrasting empirical data and provide testable hypotheses for yet unexplored patterns. We thus place the observed variability of ecological scaling exponents into a coherent statistical framework where patterns in ecology embed constrained fluctuations.

categories: q-bio.PE nlin.AO physics.bio-ph physics.data-an q-bio.QM


title: Demonstration of radon removal from SF$_6$ using molecular sieves

abstract: The gas SF$_6$ has become of interest as a negative ion drift gas for use in directional dark matter searches. However, as for other targets in such searches, it is important that radon contamination can be removed as this provides a source of unwanted background events. In this work we demonstrate for the first time filtration of radon from SF$_6$ gas by using a molecular sieve. Four types of sieves from Sigma-Aldrich were investigated, namely 3{\AA}, 4{\AA}, 5{\AA} and 13X. A manufactured radon source was used for the tests. This was attached to a closed loop system in which gas was flowed through the filters and a specially adapted Durridge RAD7 radon detector. In these measurements, it was found that only the 5{\AA} type was able to significantly reduce the radon concentration without absorbing the SF$_6$ gas. The sieve was able to reduce the initial radon concentration of 3875 $\pm$ 13 Bqm$^{-3}$ in SF$_6$ gas by 87% when cooled with dry ice. The ability of the cooled 5{\AA} molecular sieve filter to significantly reduce radon concentration from SF$_6$ provides a promising foundation for the construction of a radon filtration setup for future ultra-sensitive SF$_6$ gas rare-event physics experiments.

categories: physics.ins-det astro-ph.IM hep-ex physics.chem-ph


title: 2010 August 1-2 sympathetic eruptions: II. Magnetic topology of the MHD background field

abstract: Using a potential field source surface (PFSS) model, we recently analyzed the global topology of the background coronal magnetic field for a sequence of coronal mass ejections (CMEs) that occurred on 2010 August 1-2. Here we repeat this analysis for the background field reproduced by a magnetohydrodynamic (MHD) model that incorporates plasma thermodynamics. As for the PFSS model, we find that all three CME source regions contain a coronal hole that is separated from neighboring coronal holes by topologically very similar pseudo-streamer structures. However, the two models yield very different results for the size, shape, and flux of the coronal holes. We find that the helmet-streamer cusp line, which corresponds to a source-surface null line in the PFSS model, is structurally unstable and does not form in the MHD model. Our analysis indicates that generally, in MHD configurations, this line rather consists of a multiple-null separator passing along the edge of disconnected flux regions. Some of these regions are transient and may be the origin of so-called streamer blobs. We show that the core topological structure of such blobs is a three-dimensional "plasmoid", consisting of two conjoined flux ropes of opposite handedness, which connect at a spiral null point of the magnetic field. Our analysis reveals that such plasmoids appear also in pseudo-streamers on much smaller scales. These new insights into the coronal magnetic topology provide some intriguing implications for solar energetic particle events and for the properties of the slow solar wind.


title: Numerically modeling Brownian thermal noise in amorphous and crystalline thin coatings

abstract: Thermal noise is expected to be one of the noise sources limiting the astrophysical reach of Advanced LIGO (once commissioning is complete) and third-generation detectors. Adopting crystalline materials for thin, reflecting mirror coatings, rather than the amorphous coatings used in current-generation detectors, could potentially reduce thermal noise. Understanding and reducing thermal noise requires accurate theoretical models, but modeling thermal noise analytically is especially challenging with crystalline materials. Thermal noise models typically rely on the fluctuation-dissipation theorem, which relates the power spectral density of the thermal noise to an auxiliary elastic problem. In this paper, we present results from a new, open-source tool that numerically solves the auxiliary elastic problem to compute the Brownian thermal noise for both amorphous and crystalline coatings. We employ open-source frameworks to solve the auxiliary elastic problem using a finite-element method, adaptive mesh refinement, and parallel processing that enables us to use high resolutions capable of resolving the thin reflective coating. We compare with approximate analytic solutions for amorphous materials, and we verify that our solutions scale as expected. Finally, we model the crystalline coating thermal noise in an experiment reported by Cole and collaborators (2013), comparing our results to a simpler numerical calculation that treats the coating as an "effectively amorphous" material. We find that treating the coating as a cubic crystal instead of as an effectively amorphous material increases the thermal noise by about 3%. Our results are a step toward better understanding and reducing thermal noise to increase the reach of future gravitational-wave detectors. (Abstract abbreviated.)


title: Heavy-tailed queues in the Halfin-Whitt regime

abstract: We consider the FCFS G/G/n queue in the Halfin-Whitt regime, in the presence of heavy-tailed distributions (i.e. infinite variance). We prove that under minimal assumptions, i.e. only that processing times have finite 1 + epsilon moment and inter-arrival times have finite second moment, the sequence of stationary queue length distributions, normalized by $n^{\frac{1}{2}}$, is tight. All previous tightness results for the stationary queue length required that processing times have finite 2 + epsilon moment. Furthermore, we develop simple and explicit bounds on the stationary queue length in that setting. When processing times have an asymptotically Pareto tail with index alpha in (1,2), we bound the large deviations behavior of the limiting process, and derive a matching lower bound when inter-arrival times are Markovian. Interestingly, we find that the large deviations behavior of the limit has a sub-exponential decay, differing fundamentally from the exponentially decaying tails known to hold in the light-tailed setting, and answering an open question of Gamarnik and Goldberg. For the setting where instead the inter-arrival times have an asymptotically Pareto tail with index alpha in (1,2), we extend recent results of Hurvich and Reed (who analyzed the case of deterministic processing times) by proving that for general processing time distributions, the sequence of stationary queue length distributions, normalized by $n^{\frac{1}{\alpha}}$, is tight (here we use the scaling of Hurvich and Reed, i.e. Halfin-Whitt-Reed regime). We are again able to bound the large-deviations behavior of the limit, and find that our derived bounds do not depend on the particular processing time distribution, and are in fact tight even for the case of deterministic processing times.


title: Renewal sequences and record chains related to multiple zeta sums

abstract: For the random interval partition of $[0,1]$ generated by the uniform stick-breaking scheme known as GEM$(1)$, let $u_k$ be the probability that the first $k$ intervals created by the stick-breaking scheme are also the first $k$ intervals to be discovered in a process of uniform random sampling of points from $[0,1]$. Then $u_k$ is a renewal sequence. We prove that $u_k$ is a rational linear combination of the real numbers $1, \zeta(2), \ldots, \zeta(k)$ where $\zeta$ is the Riemann zeta function, and show that $u_k$ has limit $1/3$ as $k \to \infty$. Related results provide probabilistic interpretations of some multiple zeta values in terms of a Markov chain derived from the interval partition. This Markov chain has the structure of a weak record chain. Similar results are given for the GEM$(\theta)$ model, with beta$(1,\theta)$ instead of uniform stick-breaking factors, and for another more algebraic derivation of renewal sequences from the Riemann zeta function.


title: Skyrmion mediated voltage controlled switching of ferromagnets for reliable and energy efficient 2-terminal memory

abstract: We propose a two terminal nanomagnetic memory element based on magnetization reversal of a perpendicularly magnetized nanomagnet employing a unipolar voltage pulse that modifies the perpendicular anisotropy of the system. Our work demonstrates that the presence of Dzyaloshinskii-Moriya Interaction (DMI) can create alternative route for magnetization reversal that obviates the need for utilizing precessional magnetization dynamics as well as a bias magnetic field that are employed in traditional voltage control of magnetic anisotropy (VCMA) based switching of perpendicular magnetization. We show with extensive micromagnetic simulation, in the presence of thermal noise, that the proposed skyrmion mediated VCMA switching mechanism is robust at room temperature leading to extremely low error switching while also being potentially 1-2 orders of magnitude more energy efficient than state of the art spin transfer torque (STT) based switching.


title: Dynamical Lorentz symmetry breaking in a 4D massless four-fermion model

abstract: In this paper, we study the spontaneous Lorentz symmetry breaking for a four-dimensional massless four-fermion model. Our methodology is based on use of the rationalized propagator. We show that a bumblebee potential arises as a result of one-loop calculations and displays nontrivial minima. Also we demonstrate that a phase transition restoring Lorentz invariance can occur at a finite temperature.


title: Commissioning and performance results of the WFIRST/PISCES integral field spectrograph

abstract: The Prototype Imaging Spectrograph for Coronagraphic Exoplanet Studies (PISCES) is a high contrast integral field spectrograph (IFS) whose design was driven by WFIRST coronagraph instrument requirements. We present commissioning and operational results using PISCES as a camera on the High Contrast Imaging Testbed at JPL. PISCES has demonstrated ability to achieve high contrast spectral retrieval with flight-like data reduction and analysis techniques.


title: FluidMem: Memory as a Service for the Datacenter

abstract: Disaggregating resources in data centers is an emerging trend. Recent work has begun to explore memory disaggregation, but suffers limitations including lack of consideration of the complexity of cloud-based deployment, including heterogeneous hardware and APIs for cloud users and operators. In this paper, we present FluidMem, a complete system to realize disaggregated memory in the datacenter. Going beyond simply demonstrating remote memory is possible, we create an entire Memory as a Service. We define the requirements of Memory as a Service and build its implementation in Linux as FluidMem. We present a performance analysis of FluidMem and demonstrate that it transparently supports remote memory for standard applications such as MongoDB and genome sequencing applications.


title: SU(N) Fermions in a One-Dimensional Harmonic Trap

abstract: We conduct a theoretical study of SU(N) fermions confined by a one-dimensional harmonic potential. Firstly, we introduce a new numerical approach for solving the trapped interacting few-body problem, by which one may obtain accurate energy spectra across the full range of interaction strengths. In the strong-coupling limit, we map the SU(N) Hamiltonian to a spin-chain model. We then show that an existing, extremely accurate ansatz - derived for a Heisenberg SU(2) spin chain - is extendable to these N-component systems. Lastly, we consider balanced SU(N) Fermi gases that have an equal number of particles in each spin state for N=2, 3, 4. In the weak- and strong-coupling regimes, we find that the ground-state energies rapidly converge to their expected values in the thermodynamic limit with increasing atom number. This suggests that the many-body energetics of N-component fermions may be accurately inferred from the corresponding few-body systems of N distinguishable particles.


title: A bound for the sum of heights on iterates in terms of a dynamical degree

abstract: We give a proof for a fact that for any Weil height $h_X$ with respect to an ample divisor on a projective variety $X$, any dynamical system $\mathcal{F}$ of rational self-maps on $X$, and any $\epsilon>0$, there is a positive constant $C=C(X, h_X, f, \epsilon)$ such that $\sum_{f \in \mathcal{F}_n} h^+_X(f(P)) \leq C. k^n.(\delta_{\mathcal{F}} + \epsilon)^n . h^+_X(P)$ for all points $P$ whose $\mathcal{F}$-orbit is well defined, with $\delta_{\mathcal{F}}$ being a dynamical degree associated with a system of several maps, defined by the author in the previous paper mentioned above.


title: Primary Decomposition in Boolean Rings

abstract: Students studying the Lasker-Noether theorem on primary decomposition of ideals may want to see an example of an ideal (necessarily in a non-Noetherian ring) which does not have a primary decomposition. The most well-known counterexample is alluded to in an exercise from Atiyah and MacDonald's Commutative Algebra text. It involves the ring of continuous real-valued functions on a compact Hausdorff space, and the details require the use of Urysohn's lemma from topology. In this article, we excise the unnecessary connection to topology by finding a purely algebraic counterexample in the power set P(X) of a set X, which is a Boolean ring. Along the way we determine which principal ideals in P(X) have primary decompositions, and prove some related results about ideal decomposition in more general Boolean rings.


title: A Saw-tooth Scaling of Work Function in Hydrogenated Graphene

abstract: The saw-tooth scaling investigations of work functions (WF) in hydrogenated graphene are theoretically performed by density functional theory. The positions of hydrogen atoms and the H/C ratios affect WF. With the comparison of different graphene structures by adsorbed two hydrogen atoms, WF is larger with less negative charges of the graphene. With different H/C ratios, WF is controlled by two parts: the graphene surface and hydrogen groups. When the ratio is smaller than 0.5, the work func-tion is more dependent on the Mulliken charge of graphene. With more hydrogen atoms, the surface of graphene is more negative, resulting in a smaller work function. When the ratio is larger than 0.5, the effect of hydrogen groups cannot be ignored. When two sides of graphene have different numbers of hy-drogen atoms, a dipole exists, making the movement of electron from Fermi level to vacuum level more difficult, thus WF is larger than that with the same hydrogen atoms of each side. Therefore the scaling of work function acts like a saw-tooth dependent on H/C ratio.


title: Comparing Aggregators for Relational Probabilistic Models

abstract: Relational probabilistic models have the challenge of aggregation, where one variable depends on a population of other variables. Consider the problem of predicting gender from movie ratings; this is challenging because the number of movies per user and users per movie can vary greatly. Surprisingly, aggregation is not well understood. In this paper, we show that existing relational models (implicitly or explicitly) either use simple numerical aggregators that lose great amounts of information, or correspond to naive Bayes, logistic regression, or noisy-OR that suffer from overconfidence. We propose new simple aggregators and simple modifications of existing models that empirically outperform the existing ones. The intuition we provide on different (existing or new) models and their shortcomings plus our empirical findings promise to form the foundation for future representations.


title: Chaotic dynamics of minimal center of attraction for a flow with discrete amenable phase group

abstract: Let $G$ be a discrete infinite amenable group, which acts from the left on a compact metric space $X$. In this paper, we study the chaotic dynamics exhibited inside and near a minimal center of attraction of $(G,X)$ relative to any F{\o}lner net in $G$.


title: Capped Lp approximations for the composite L0 regularization problem

abstract: The composite L0 function serves as a sparse regularizer in many applications. The algorithmic difficulty caused by the composite L0 regularization (the L0 norm composed with a linear mapping) is usually bypassed through approximating the L0 norm. We consider in this paper capped Lp approximations with $p>0$ for the composite L0 regularization problem. For each $p>0$, the capped Lp function converges to the L0 norm pointwisely as the approximation parameter tends to infinity. We point out that the capped Lp approximation problem is essentially a penalty method with an Lp penalty function for the composite L0 problem from the viewpoint of numerical optimization. Our theoretical results stated below may shed a new light on the penalty methods for solving the composite L0 problem and help the design of innovative numerical algorithms. We first establish the existence of optimal solutions to the composite L0 regularization problem and its capped Lp approximation problem under conditions that the data fitting function is asymptotically level stable and bounded below. Asymptotically level stable functions cover a rich class of data fitting functions encountered in practice. We then prove that the capped Lp problem asymptotically approximates the composite L0 problem if the data fitting function is a level bounded function composed with a linear mapping. We further show that if the data fitting function is the indicator function on an asymptotically linear set or the L0 norm composed with an affine mapping, then the composite L0 problem and its capped Lp approximation problem share the same optimal solution set provided that the approximation parameter is large enough.


title: Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

abstract: Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel programs. Breadth-first search (BFS) enumeration is especially useful for these applications as it finds an erroneous consistent global state with the least number of events possible. The total number of executed events in a global state is called its rank. BFS also allows enumeration of all global states of a given rank or within a range of ranks. If a computation on n processes has m events per process on average, then the traditional BFS (Cooper-Marzullo and its variants) requires $\mathcal{O}(\frac{m^{n-1}}{n})$ space in the worst case, whereas ou r algorithm performs the BFS requires $\mathcal{O}(m^2n^2)$ space. Thus, we reduce the space complexity for BFS enumeration of consistent global states exponentially. and give the first polynomial space algorithm for this task. In our experimental evaluation of seven benchmarks, traditional BFS fails in many cases by exhausting the 2 GB heap space allowed to the JVM. In contrast, our implementation uses less than 60 MB memory and is also faster in many cases.


title: The application of representation theory in directed strongly regular graphs

abstract: The concept of directed strongly regular graphs (DSRG) was introduced by Duval in 1988 \cite{A}.In the present paper,we use representation theory of finite groups in order to investigate the directed strongly regular Cayley graphs.We first show that a Cayley graph $\mathcal{C}(G,S)$ is not a directed strongly regular graph if $S$ is a union of some conjugate classes of $G$.This generalizes an earlier result of Leif K.J{\o}rgensen \cite{J1} on abelian groups.Secondly,by using induced representations,we have a look at the Cayley graph $\mathcal{C}(N\rtimes_\theta H, N_1\times H_1)$ with $N_1\subseteq N$ and $H_1\subseteq H$,determining its characteristic polynomial and its minimal polynomial.Based on this result,we generalize the semidirect product method of Art M. Duval and Dmitri Iourinski in \cite{D} and obtain a larger family of directed strongly regular graphs.Finally,we construct some directed strongly regular Cayley graphs on dihedral groups,which partially generalize the earlier results of Mikhail Klin,Akihiro Munemasa,Mikhail Muzychuk,and Paul Hermann Zieschang in \cite{K1}.By using character theory,we also give the characterization of directed strongly regular Cayley graphs $\mathcal{C}(D_n,X\cup Xa)$ with $X\cap X^{(-1)}=\emptyset$.


title: A Poincar\'e series on hyperbolic space

abstract: Let $L$ be the unique even self-dual lattice of signature $(25,1)$. The automorphism group $\operatorname{Aut}(L)$ acts on the hyperbolic space $\mathcal{H}^{25}$. We study a Poincar\'e series $E(z,s)$ defined for $z$ in $\mathcal{H}^{25}$, convergent for $\operatorname{Re}(s) > 25$, invariant under $\operatorname{Aut}(L)$ and having singularities along the mirrors of the reflection group of $L$. We compute the Fourier expansion of $E(z,s)$ at a "Leech cusp" and prove that it can be meromorphically continued to $\operatorname{Re}(s) > 25/2$. Analytic continuation of Kloosterman sum zeta functions imply that the individual Fourier coefficients of $E(z,s)$ have meromorphic continuation to the whole $s$-plane.


title: Deep Feature Learning via Structured Graph Laplacian Embedding for Person Re-Identification

abstract: Learning the distance metric between pairs of examples is of great importance for visual recognition, especially for person re-identification (Re-Id). Recently, the contrastive and triplet loss are proposed to enhance the discriminative power of the deeply learned features, and have achieved remarkable success. As can be seen, either the contrastive or triplet loss is just one special case of the Euclidean distance relationships among these training samples. Therefore, we propose a structured graph Laplacian embedding algorithm, which can formulate all these structured distance relationships into the graph Laplacian form. The proposed method can take full advantages of the structured distance relationships among these training samples, with the constructed complete graph. Besides, this formulation makes our method easy-to-implement and super-effective. When embedding the proposed algorithm with the softmax loss for the CNN training, our method can obtain much more robust and discriminative deep features with inter-personal dispersion and intra-personal compactness, which is essential to person Re-Id. We illustrate the effectiveness of our proposed method on top of three popular networks, namely AlexNet, DGDNet and ResNet50, on recent four widely used Re-Id benchmark datasets. Our proposed method achieves state-of-the-art performances.


title: Integrating Lexical and Temporal Signals in Neural Ranking Models for Searching Social Media Streams

abstract: Time is an important relevance signal when searching streams of social media posts. The distribution of document timestamps from the results of an initial query can be leveraged to infer the distribution of relevant documents, which can then be used to rerank the initial results. Previous experiments have shown that kernel density estimation is a simple yet effective implementation of this idea. This paper explores an alternative approach to mining temporal signals with recurrent neural networks. Our intuition is that neural networks provide a more expressive framework to capture the temporal coherence of neighboring documents in time. To our knowledge, we are the first to integrate lexical and temporal signals in an end-to-end neural network architecture, in which existing neural ranking models are used to generate query-document similarity vectors that feed into a bidirectional LSTM layer for temporal modeling. Our results are mixed: existing neural models for document ranking alone yield limited improvements over simple baselines, but the integration of lexical and temporal signals yield significant improvements over competitive temporal baselines.


title: Cavity QED engineering of spin dynamics and squeezing in a spinor gas

abstract: We propose a method for engineering spin dynamics in ensembles of integer-spin atoms confined within a high-finesse optical cavity. Our proposal uses cavity-assisted Raman transitions to engineer a Dicke model for integer-spin atoms, which, in a dispersive limit, reduces to effective atom-atom interactions within the ensemble. This scheme offers a promising and flexible new avenue for the exploration of a wide range of spinor many-body physics. As an example of this, we present results showing that this method can be used to generate spin-nematic squeezing in an ensemble of spin-1 atoms. With realistic parameters the scheme should enable substantial squeezing on time scales much shorter than current experiments with spin-1 Bose-Einstein condensates.


title: Relational Learning and Feature Extraction by Querying over Heterogeneous Information Networks

abstract: Many real world systems need to operate on heterogeneous information networks that consist of numerous interacting components of different types. Examples include systems that perform data analysis on biological information networks; social networks; and information extraction systems processing unstructured data to convert raw text to knowledge graphs. Many previous works describe specialized approaches to perform specific types of analysis, mining and learning on such networks. In this work, we propose a unified framework consisting of a data model -a graph with a first order schema along with a declarative language for constructing, querying and manipulating such networks in ways that facilitate relational and structured machine learning. In particular, we provide an initial prototype for a relational and graph traversal query language where queries are directly used as relational features for structured machine learning models. Feature extraction is performed by making declarative graph traversal queries. Learning and inference models can directly operate on this relational representation and augment it with new data and knowledge that, in turn, is integrated seamlessly into the relational structure to support new predictions. We demonstrate this system's capabilities by showcasing tasks in natural language processing and computational biology domains.


title: Anti-Forensics of Camera Identification and the Triangle Test by Improved Fingerprint-Copy Attack

abstract: The fingerprint-copy attack aims to confuse camera identification based on sensor pattern noise. However, the triangle test shows that the forged images undergone fingerprint-copy attack would share a non-PRNU (Photo-response nonuniformity) component with every stolen image, and thus can detect fingerprint-copy attack. In this paper, we propose an improved fingerprint-copy attack scheme. Our main idea is to superimpose the estimated fingerprint into the target image dispersedly, via employing a block-wise method and using the stolen images randomly and partly. We also develop a practical method to determine the strength of the superimposed fingerprint based on objective image quality. In such a way, the impact of non-PRNU component on the triangle test is reduced, and our improved fingerprint-copy attack is difficultly detected. The experiments evaluated on 2,900 images from 4 cameras show that our scheme can effectively fool camera identification, and significantly degrade the performance of the triangle test simultaneously.


title: Stationary waves and slowly moving features in the night upper clouds of Venus

abstract: At the cloud top level of Venus (65-70 km altitude) the atmosphere rotates 60 times faster than the underlying surface, a phenomenon known as superrotation. Whereas on Venus's dayside the cloud top motions are well determined and Venus general circulation models predict a mean zonal flow at the upper clouds similar on both day and nightside, the nightside circulation remains poorly studied except for the polar region. Here we report global measurements of the nightside circulation at the upper cloud level. We tracked individual features in thermal emission images at 3.8 and 5.0 $\mathrm{\mu m}$ obtained between 2006 and 2008 by the Visible and Infrared Thermal Imaging Spectrometer (VIRTIS-M) onboard Venus Express and in 2015 by ground-based measurements with the Medium-Resolution 0.8-5.5 Micron Spectrograph and Imager (SpeX) at the National Aeronautics and Space Administration Infrared Telescope Facility (NASA/IRTF). The zonal motions range from -110 to -60 m s$^{-1}$, consistent with those found for the dayside but with larger dispersion. Slow motions (-50 to -20 m s$^{-1}$) were also found and remain unexplained. In addition, abundant stationary wave patterns with zonal speeds from -10 to +10 m s$^{-1}$ dominate the night upper clouds and concentrate over the regions of higher surface elevation.