title: Multi-timescale analysis of phase transitions in precessing black-hole binaries

abstract: The dynamics of precessing binary black holes (BBHs) in the post-Newtonian regime has a strong timescale hierarchy: the orbital timescale is very short compared to the spin-precession timescale which, in turn, is much shorter than the radiation-reaction timescale on which the orbit is shrinking due to gravitational-wave emission. We exploit this timescale hierarchy to develop a multi-scale analysis of BBH dynamics elaborating on the analysis of Kesden et al. (2015). We solve the spin-precession equations analytically on the precession time and then implement a quasi-adiabatic approach to evolve these solutions on the longer radiation-reaction time. This procedure leads to an innovative "precession-averaged" post-Newtonian approach to studying precessing BBHs. We use our new solutions to classify BBH spin precession into three distinct morphologies, then investigate phase transitions between these morphologies as BBHs inspiral. These precession-averaged post-Newtonian inspirals can be efficiently calculated from arbitrarily large separations, thus making progress towards bridging the gap between astrophysics and numerical relativity.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: Bayesian Poisson Tensor Factorization for Inferring Multilateral Relations from Sparse Dyadic Event Counts

abstract: We present a Bayesian tensor factorization model for inferring latent group structures from dynamic pairwise interaction patterns. For decades, political scientists have collected and analyzed records of the form "country $i$ took action $a$ toward country $j$ at time $t$"---known as dyadic events---in order to form and test theories of international relations. We represent these event data as a tensor of counts and develop Bayesian Poisson tensor factorization to infer a low-dimensional, interpretable representation of their salient patterns. We demonstrate that our model's predictive performance is better than that of standard non-negative tensor factorization methods. We also provide a comparison of our variational updates to their maximum likelihood counterparts. In doing so, we identify a better way to form point estimates of the latent factors than that typically used in Bayesian Poisson matrix factorization. Finally, we showcase our model as an exploratory analysis tool for political scientists. We show that the inferred latent factor matrices capture interpretable multilateral relations that both conform to and inform our knowledge of international affairs.


title: Poisson statistics for matrix ensembles at large temperature

abstract: In this article, we consider $\beta$-ensembles, i.e. collections of particles with random positions on the real line having joint distribution $$\frac{1}{Z_N(\beta)}|\Delta(\lambda)|^\beta e^{- \frac{N\beta}{4}\sum_{i=1}^N\lambda_i^2}d \lambda,$$ in the regime where $\beta\to 0$ as $N\to\infty$. We briefly describe the global regime and then consider the local regime. In the case where $N\beta$ stays bounded, we prove that the local eigenvalue statistics, in the vicinity of any real number, are asymptotically to those of a Poisson point process. In the case where $N\beta\to\infty$, we prove a partial result in this direction.


title: BoWFire: Detection of Fire in Still Images by Integrating Pixel Color and Texture Analysis

abstract: Emergency events involving fire are potentially harmful, demanding a fast and precise decision making. The use of crowdsourcing image and videos on crisis management systems can aid in these situations by providing more information than verbal/textual descriptions. Due to the usual high volume of data, automatic solutions need to discard non-relevant content without losing relevant information. There are several methods for fire detection on video using color-based models. However, they are not adequate for still image processing, because they can suffer on high false-positive results. These methods also suffer from parameters with little physical meaning, which makes fine tuning a difficult task. In this context, we propose a novel fire detection method for still images that uses classification based on color features combined with texture classification on superpixel regions. Our method uses a reduced number of parameters if compared to previous works, easing the process of fine tuning the method. Results show the effectiveness of our method of reducing false-positives while its precision remains compatible with the state-of-the-art methods.


title: Forward-backward multiplicity fluctuation and longitudinal harmonics in high-energy nuclear collisions

abstract: An analysis method is proposed to study the forward-backward (FB) multiplicity fluctuation in high-energy nuclear collisions, built on the earlier work of Bzdak and Teaney. The method allows the decomposition of the centrality dependence of average multiplicity from the dynamical event-by-event (EbyE) fluctuation of multiplicity in pseudorapidity. Application of the method to AMPT and HIJING models shows that the long-range component of the FB correlation is captured by a few longitudinal harmonics, with the first component driven by the asymmetry in the number of participating nucleons in the two colliding nuclei. The higher-order longitudinal harmonics are found to be strongly damped in AMPT compare to HIJING, due to weaker short-range correlations as well as the final-state effects present in the AMPT model. Two-particle pseudorapidity correlation reveals interesting charge-dependent short-range structures that are absent in HIJING model. The proposed method opens an avenue to elucidate the particle production mechanism and early time dynamics in heavy-ion collisions. Future analysis directions and prospects of using the pseudorapidity correlation function to understand the centrality bias in $p$+$p$, $p$+A and A+A collisions are discussed.


title: Carmichael numbers and the sieve

abstract: Using the sieve, we show that there are infinitely many Carmichael numbers whose prime factors all have the form $p = 1 + a^2 + b^2$ with $a,b \in{\mathbb Z}$.


title: Matrix Completion from Fewer Entries: Spectral Detectability and Rank Estimation

abstract: The completion of low rank matrices from few entries is a task with many practical applications. We consider here two aspects of this problem: detectability, i.e. the ability to estimate the rank $r$ reliably from the fewest possible random entries, and performance in achieving small reconstruction error. We propose a spectral algorithm for these two tasks called MaCBetH (for Matrix Completion with the Bethe Hessian). The rank is estimated as the number of negative eigenvalues of the Bethe Hessian matrix, and the corresponding eigenvectors are used as initial condition for the minimization of the discrepancy between the estimated matrix and the revealed entries. We analyze the performance in a random matrix setting using results from the statistical mechanics of the Hopfield neural network, and show in particular that MaCBetH efficiently detects the rank $r$ of a large $n\times m$ matrix from $C(r)r\sqrt{nm}$ entries, where $C(r)$ is a constant close to $1$. We also evaluate the corresponding root-mean-square error empirically and show that MaCBetH compares favorably to other existing approaches.


title: Ionization energies along beryllium isoelectronic sequence

abstract: Ionization energies for the ground state of berylliumlike ions with nuclear charge numbers in the range Z=16-96 are rigorously evaluated. The calculations merge the ab initio QED treatment in the first and second orders of the perturbation theory in the fine-structure constant $\alpha$ with the third- and higher-order electron-correlation contributions evaluated within the Breit approximation. The nuclear recoil and nuclear polarization effects are taken into account. The accuracy of the ionization energies obtained has been significantly improved in comparison with previous calculations.


title: Unveiling the Dreams of Word Embeddings: Towards Language-Driven Image Generation

abstract: We introduce language-driven image generation, the task of generating an image visualizing the semantic contents of a word embedding, e.g., given the word embedding of grasshopper, we generate a natural image of a grasshopper. We implement a simple method based on two mapping functions. The first takes as input a word embedding (as produced, e.g., by the word2vec toolkit) and maps it onto a high-level visual space (e.g., the space defined by one of the top layers of a Convolutional Neural Network). The second function maps this abstract visual representation to pixel space, in order to generate the target image. Several user studies suggest that the current system produces images that capture general visual properties of the concepts encoded in the word embedding, such as color or typical environment, and are sufficient to discriminate between general categories of objects.


title: Instabilities, defects, and defect ordering in an overdamped active nematic

abstract: We consider a phenomenological continuum theory for an extensile, overdamped active nematic liquid crystal, applicable in the dense regime. Constructed from general principles, the theory is universal, with parameters independent of any particular microscopic realization. We show that it exhibits a bend instability similar to that seen in active suspensions, that leads to the proliferation of defects. We find three distinct nonequilibrium steady states: a defect-ordered nematic in which $+\frac{1}{2}$ disclinations develop polar ordering, an undulating nematic state with no defects, and a turbulent defective nematic. We characterize the phenomenology of these phases and identify the relationship of this theoretical description to experimental realizations and other theoretical models of active nematics.


title: Motion of a distinguishable impurity in the Bose gas: Arrested expansion without a lattice and impurity snaking

abstract: We consider the real time dynamics of an initially localized distinguishable impurity injected into the ground state of the Lieb-Liniger model. Focusing on the case where integrability is preserved, we numerically compute the time evolution of the impurity density operator in regimes far from analytically tractable limits. We find that the injected impurity undergoes a stuttering motion as it moves and expands. For an initially stationary impurity, the interaction-driven formation of a quasibound state with a hole in the background gas leads to arrested expansion -- a period of quasistationary behavior. When the impurity is injected with a finite center of mass momentum, the impurity moves through the background gas in a snaking manner, arising from a quantum Newton's cradle-like scenario where momentum is exchanged back-and-forth between the impurity and the background gas.


title: Halo-independent tests of dark matter annual modulation signals

abstract: I derive new halo-independent lower bounds on the product of the dark matter-nucleon scattering cross section and the local dark matter density that are valid for annual modulations of dark matter direct detection signals. They are obtained by making use of halo-independent bounds based on an expansion of the rate on the Earth's velocity that were derived in previous works. In combination with astrophysical measurements of the local energy density, an observed annual modulation implies a lower bound on the cross section that is independent of the velocity distribution and that must be fulfilled by any particle physics model. In order to illustrate the power of the bounds we apply them to DAMA/LIBRA data and obtain quite strong results when compared to the standard halo model predictions. We also extend the bounds to the case of multi-target detectors.


title: Data Generation as Sequential Decision Making

abstract: We connect a broad class of generative models through their shared reliance on sequential decision making. Motivated by this view, we develop extensions to an existing model, and then explore the idea further in the context of data imputation -- perhaps the simplest setting in which to investigate the relation between unconditional and conditional generative modelling. We formulate data imputation as an MDP and develop models capable of representing effective policies for it. We construct the models using neural networks and train them using a form of guided policy search. Our models generate predictions through an iterative process of feedback and refinement. We show that this approach can learn effective policies for imputation problems of varying difficulty and across multiple datasets.


title: Lorentzian Fuzzy Spheres

abstract: We show that fuzzy spheres are solutions of ${\it Lorentzian}$ IKKT matrix models. The fuzzy sphere solutions serve as toy models of closed noncommutative cosmologies where big bang/crunch singularities appear only after taking the commutative limit. The commutative limit of these solutions corresponds to a sphere embedded in Minkowski space. This `sphere' has several novel features. The induced metric does not agree with the standard metric on the sphere, and moreover, it does not have a fixed signature. The curvature computed from the induced metric is not constant, has singularities at fixed latitudes (not corresponding to the poles) and is negative. Perturbations are made about the solutions, and are shown to yield a scalar field theory on the sphere in the commutative limit. The scalar field can become tachyonic for a range of the parameters of the theory.


title: The Relative Power of Composite Loop Agreement Tasks

abstract: Loop agreement is a family of wait-free tasks that includes set agreement and simplex agreement, and was used to prove the undecidability of wait-free solvability of distributed tasks by read/write memory. Herlihy and Rajsbaum defined the algebraic signature of a loop agreement task, which consists of a group and a distinguished element. They used the algebraic signature to characterize the relative power of loop agreement tasks. In particular, they showed that one task implements another exactly when there is a homomorphism between their respective signatures sending one distinguished element to the other. In this paper, we extend the previous result by defining the composition of multiple loop agreement tasks to create a new one with the same combined power. We generalize the original algebraic characterization of relative power to compositions of tasks. In this way, we can think of loop agreement tasks in terms of their basic building blocks. We also investigate a category-theoretic perspective of loop agreement by defining a category of loops, showing that the algebraic signature is a functor, and proving that our definition of task composition is the "correct" one, in a categorical sense.


title: Interaction of discrete breathers with primary lattice defects in bcc Fe

abstract: The interaction of discrete breathers with the primary lattice defects in transition metals such as vacancy, dislocation, and surface is analyzed on the example of bcc iron employing atomistic simulations. Scattering of discrete breathers on the lattice defects induces localized atomic excitations, with intensity and relaxation time depending on the defect structure and breather kinetic energy. The dissipation of the intrinsic breather energy due to the scattering is computed and analyzed. It is concluded that the breather-to-defect energy transfer may stipulate the activation of the lattice defects causing unexpected athermal effects such as enhanced mass transfer or electroplasticity, already experimentally reported but so far not fully understood at the atomic-scale level.


title: A historical survey of P-partitions

abstract: We give a historical survey of the theory P-partitions, starting with MacMahon's work, describing Richard Stanley's contributions and his related work, and continuing with more recent developments.


title: Convolutional Dictionary Learning through Tensor Factorization

abstract: Tensor methods have emerged as a powerful paradigm for consistent learning of many latent variable models such as topic models, independent component analysis and dictionary learning. Model parameters are estimated via CP decomposition of the observed higher order input moments. However, in many domains, additional invariances such as shift invariances exist, enforced via models such as convolutional dictionary learning. In this paper, we develop novel tensor decomposition algorithms for parameter estimation of convolutional models. Our algorithm is based on the popular alternating least squares method, but with efficient projections onto the space of stacked circulant matrices. Our method is embarrassingly parallel and consists of simple operations such as fast Fourier transforms and matrix multiplications. Our algorithm converges to the dictionary much faster and more accurately compared to the alternating minimization over filters and activation maps.


title: Volatile depletion in the TW Hydrae disk atmosphere

abstract: An abundance decrease in carbon- and oxygen-bearing species relative to dust has been frequently found in planet-forming disks, which can be attributed to an overall reduction of gas mass. However, in the case of TW Hya, the only disk with gas mass measured directly with HD rotational lines, the inferred gas mass ($\lesssim$0.005 solar mass) is significantly below the directly measured value ($\gtrsim$0.05 solar mass). We show that this apparent conflict can be resolved if the elemental abundances of carbon and oxygen are reduced in the upper layers of the outer disk but are normal elsewhere (except for a possible enhancement of their abundances in the inner disk). The implication is that in the outer disk, the main reservoir of the volatiles (CO, water, ...) resides close to the midplane, locked up inside solid bodies that are too heavy to be transported back to the atmosphere by turbulence. An enhancement in the carbon and oxygen abundances in the inner disk can be caused by inward migration of these solid bodies. This is consistent with estimates based on previous models of dust grain dynamics. Indirect measurements of the disk gas mass and disk structure from species such as CO will thus be intertwined with the evolution of dust grains, and possibly also with the formation of planetesimals.


title: Moduli Spaces of Higher Spin Klein Surfaces

abstract: We study the connected components of the space of higher spin bundles on hyperbolic Klein surfaces. A Klein surface is a generalisation of a Riemann surface to the case of non-orientable surfaces or surfaces with boundary. The category of Klein surfaces is isomorphic to the category of real algebraic curves. An m-spin bundle on a Klein surface is a complex line bundle whose m-th tensor power is the cotangent bundle. The spaces of higher spin bundles on Klein surfaces are important because of their applications in singularity theory and real algebraic geometry, in particular for the study of real forms of Gorenstein quasi-homogeneous surface singularities. In this paper we describe all connected components of the space of higher spin bundles on hyperbolic Klein surfaces in terms of their topological invariants and prove that any connected component is homeomorphic to a quotient of a Euclidean space by a discrete group. We also discuss applications to real forms of Brieskorn-Pham singularities.


title: Background Independence, Diffeomorphism Invariance, and the Meaning of Coordinates

abstract: Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the "observables") of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially the same. The temptation to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories.


title: Ab initio alpha-alpha scattering

abstract: Processes involving alpha particles and alpha-like nuclei comprise a major part of stellar nucleosynthesis and hypothesized mechanisms for thermonuclear supernovae. In an effort towards understanding alpha processes from first principles, we describe in this letter the first ab initio calculation of alpha-alpha scattering. We use lattice effective field theory to describe the low-energy interactions of nucleons and apply a technique called the adiabatic projection method to reduce the eight-body system to an effective two-cluster system. We find good agreement between lattice results and experimental phase shifts for S-wave and D-wave scattering. The computational scaling with particle number suggests that alpha processes involving heavier nuclei are also within reach in the near future.

categories: nucl-th cond-mat.quant-gas hep-lat nucl-ex


title: Nonsymmetric normal entry patterns with the maximum number of distinct indeterminates

abstract: We prove that a nonsymmetric normal entry pattern of order $n$ ($n\ge 3$) has at most $n(n-3)/2+3$ distinct indeterminates and up to permutation similarity this number is attained by a unique pattern which is explicitly described.


title: Generalized slave-particle method for extended Hubbard models

abstract: We introduce a set of generalized slave-particle models for extended Hubbard models that treat localized electronic correlations using slave-boson decompositions. Our models automatically include two slave-particle methods of recent interest, the slave-rotor and slave-spin methods, as well as a ladder of new intermediate models where one can choose which of the electronic degrees of freedom (e.g., spin or orbital labels) are treated as correlated degrees of freedom by the slave bosons. In addition, our method removes the aberrant behavior of the slave-rotor model at weak correlation strength by removing the contribution of unphysical states from the bosonic Hilbert space. The flexibility of our formalism permits one to separate and isolate the effect of correlations on the key degrees of freedom.


title: A vanishing theorem for the homology of discrete subgroups of $\mathrm{Sp}(n,1)$ and $\mathrm{F}_4^{-20}$

abstract: For any discrete, torsion-free subgroup $\Gamma$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(\Gamma;V)=0$ (resp.\ $H_i(\Gamma;V)=0$ for $i=13,14,15$) for any $\Gamma$--module $V$. The main technical advance is a new bound on the $p$--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the critical exponent and homological dimension of $\Gamma$, improving on work of M.~Kapovich.


title: Problem of Time: Temporal Relationalism Compatibility of Other Local Classical Facets Completed

abstract: Temporal Relationalism (TR) is that there is no time for the universe as a whole at the primary level. Time emerges rather at a secondary level; one compelling idea for this is Mach's `time is to be abstracted from change'. TR leads to, and better explains, the well-known Frozen Formalism Problem encountered in GR at the quantum level. Indeed, abstraction from change is a type of emergent time resolution of this.Moreover, the Frozen Formalism Problem is but one of the many Problem of Time facets, which are furthermore notoriously interconnected. The other local and already classically present facets are as follows. 2) The GR Thin Sandwich involves a subcase of Best Matching, which is one particular implementation of Configurational Relationalism. 3) The Constraint Closure Problem, 4) the Problem of Observables or Beables, 5) Spacetime Relationalism, 6) the Spacetime Construction Problem, and 7) the Foliation Dependence Problem as resolved in classical GR by Refoliation Invariance. In this Article, I bring together the individual classical resolutions of these, and how these can be rendered compatible with TR. Having covered that in detail for 2) to 6) elsewhere, the rest of the current Article is dedicated to the detailed form that 7) and its TR compatible modification takes. I.e. I consider TR implementing foliations, the TR versions of Refoliation Invariance and the associated TR version of hypersurface kinematics and hypersurface deformations. These require a TR counterpart of the Arnowitt--Deser--Misner split.


title: Stabilization of uncertain systems using quantized and lossy observations and uncertain control inputs

abstract: In this paper, we consider a stabilization problem of an uncertain system in a networked control setting. Due to the network, the measurements are quantized to finite-bit signals and may be randomly lost in the communication. We study uncertain autoregressive systems whose state and input parameters vary within given intervals. We derive conditions for making the plant output to be mean square stable, characterizing limitations on data rate, packet loss probabilities, and magnitudes of uncertainty. It is shown that a specific class of nonuniform quantizers can achieve stability with a lower data rate compared with the common uniform one.


title: Resonant dynamics and the instability of anti-de Sitter spacetime

abstract: We consider spherically symmetric Einstein-massless-scalar field equations with negative cosmological constant in five dimensions and analyze evolution of small perturbations of anti-de Sitter spacetime using the recently proposed resonant approximation. We show that for typical initial data the solution of the resonant system develops an oscillatory singularity in finite time. This result hints at a possible route to establishing instability of AdS under arbitrarily small perturbations.


title: Asymmetric Twin Dark Matter

abstract: We study a natural implementation of Asymmetric Dark Matter in Twin Higgs models. The mirroring of the Standard Model strong sector suggests that a twin baryon with mass around 5 GeV is a natural Dark Matter candidate once a twin baryon number asymmetry comparable to the SM asymmetry is generated. We explore twin baryon Dark Matter in two different scenarios, one with minimal content in the twin sector and one with a complete copy of the SM, including a light twin photon. The essential requirements for successful thermal history are presented, and in doing so we address some of the cosmological issues common to many Twin Higgs models. The required interactions we introduce predict signatures at direct detection experiments and at the LHC.


title: Isometric sketching of any set via the Restricted Isometry Property

abstract: In this paper we show that for the purposes of dimensionality reduction certain class of structured random matrices behave similarly to random Gaussian matrices. This class includes several matrices for which matrix-vector multiply can be computed in log-linear time, providing efficient dimensionality reduction of general sets. In particular, we show that using such matrices any set from high dimensions can be embedded into lower dimensions with near optimal distortion. We obtain our results by connecting dimensionality reduction of any set to dimensionality reduction of sparse vectors via a chaining argument.

categories: cs.IT cs.DS math.IT math.PR math.ST stat.ML stat.TH


title: Supersymmetry Algebra in Super Yang-Mills Theories

abstract: We compute supersymmetry algebra (superalgebra) in supersymmetric Yang-Mills theories (SYM) consisting of a vector multiplet including fermionic contribution in six dimensions. We show that the contribution of fermion is given by boundary terms. From six dimensional results we determine superalgebras of five and four dimensional SYM by dimensional reduction. In five dimensional superalgebra the Kaluza-Klein momentum and the instanton particle charge are not the same but algebraically indistinguishable. We also extend this calculation including a hyper multiplet and for maximally SYM. We derive extended supersymmetry algebras in these four dimensional SYM with the holomorphic coupling constant given in hep-th/9408099.


title: Sparsification of Matrices and Compressed Sensing

abstract: Compressed sensing is a signal processing technique whereby the limits imposed by the Shannon--Nyquist theorem can be exceeded provided certain conditions are imposed on the signal. Such conditions occur in many real-world scenarios, and compressed sensing has emerging applications in medical imaging, big data, and statistics. Finding practical matrix constructions and computationally efficient recovery algorithms for compressed sensing is an area of intense research interest. Many probabilistic matrix constructions have been proposed, and it is now well known that matrices with entries drawn from a suitable probability distribution are essentially optimal for compressed sensing. Potential applications have motivated the search for constructions of sparse compressed sensing matrices (i.e., matrices containing few non-zero entries). Various constructions have been proposed, and simulations suggest that their performance is comparable to that of dense matrices. In this paper, extensive simulations are presented which suggest that sparsification leads to a marked improvement in compressed sensing performance for a large class of matrix constructions and for many different recovery algorithms.


title: Dependence of the saturation level of magnetorotational instability on gas pressure and magnetic Prandtl number

abstract: A large set of numerical simulations of magnetohydrodynamic (MHD) turbulence induced by the magnetorotational instability (MRI) is presented. Revisiting the previous survey conducted by Sano et al. (2004), we investigate the gas pressure dependence of the saturation level. In ideal MHD simulations, the gas pressure dependence is found to be very sensitive to the choice of a numerical scheme. This is because the numerical magnetic Prandtl number varies according to the scheme as well as the pressure, which considerably affects the results. The saturation level is more sensitive to the numerical magnetic Prandtl number than the pressure. In MHD simulations with explicit viscosity and resistivity, the saturation level increases with the physical magnetic Prandtl number, and it is almost independent of the gas pressure when the magnetic Prandtl number is constant. This is indicative of the incompressible turbulence saturated by the secondary tearing instability.


title: Distance and tube zeta functions of fractals and arbitrary compact sets

abstract: Recently, the first author has extended the definition of the zeta function associated with fractal strings to arbitrary bounded subsets $A$ of the $N$-dimensional Euclidean space ${\mathbb R}^N$, for any integer $N\ge1$. It is defined by $\zeta_A(s)=\int_{A_{\delta}}d(x,A)^{s-N}\,\mathrm{d} x$ for all $s\in\mathbb{C}$ with $\operatorname{Re}\,s$ sufficiently large, and we call it the distance zeta function of $A$. Here, $d(x,A)$ denotes the Euclidean distance from $x$ to $A$ and $A_{\delta}$ is the $\delta$-neighborhood of $A$, where $\delta$ is a fixed positive real number. We prove that the abscissa of absolute convergence of $\zeta_A$ is equal to $\overline\dim_BA$, the upper box (or Minkowski) dimension of $A$. Particular attention is payed to the principal complex dimensions of $A$, defined as the set of poles of $\zeta_A$ located on the critical line $\{\mathop{\mathrm{Re}} s=\overline\dim_BA\}$, provided $\zeta_A$ possesses a meromorphic extension to a neighborhood of the critical line. We also introduce a new, closely related zeta function, $\tilde\zeta_A(s)=\int_0^{\delta} t^{s-N-1}|A_t|\,\mathrm{d} t$, called the tube zeta function of $A$. Assuming that $A$ is Minkowski measurable, we show that, under some mild conditions, the residue of $\tilde\zeta_A$ computed at $D=\dim_BA$ (the box dimension of $A$), is equal to the Minkowski content of $A$. More generally, without assuming that $A$ is Minkowski measurable, we show that the residue is squeezed between the lower and upper Minkowski contents of $A$. We also introduce transcendentally quasiperiodic sets, and construct a class of such sets, using generalized Cantor sets, along with Baker's theorem from the theory of transcendental numbers.


title: Primordial Gravitational Waves Measurements and Anisotropies of CMB Polarization Rotation

abstract: Searching for the signal of primordial gravitational waves in the B-modes (BB) power spectrum is one of the key scientific aims of the cosmic microwave background (CMB) polarization experiments. However, this could be easily contaminated by several foreground issues, such as the thermal dust emission. In this paper we study another mechanism, the cosmic birefringence, which can be introduced by a CPT-violating interaction between CMB photons and an external scalar field. Such kind of interaction could give rise to the rotation of the linear polarization state of CMB photons, and consequently induce the CMB BB power spectrum, which could mimic the signal of primordial gravitational waves at large scales. With the recent polarization data of BICEP2 and the joint analysis data of BICEP2/Keck Array and Planck, we perform a global fitting analysis on constraining the tensor-to-scalar ratio $r$ by considering the polarization rotation angle which can be separated into a background isotropic part and a small anisotropic part. Since the data of BICEP2 and Keck Array experiments have already been corrected by using the "self-calibration" method, here we mainly focus on the effects from the anisotropies of CMB polarization rotation angle. We find that including the anisotropies in the analysis could slightly weaken the constraints on $r$, when using current CMB polarization measurements. We also simulate the mock CMB data with the BICEP3-like sensitivity. Very interestingly, we find that if the effects of the anisotropic polarization rotation angle can not be taken into account properly in the analysis, the constraints on $r$ will be dramatically biased. This implies that we need to break the degeneracy between the anisotropies of the CMB polarization rotation angle and the CMB primordial tensor perturbations, in order to measure the signal of primordial gravitational waves accurately.


title: Improving Pulsar Timing Precision with Single Pulses

abstract: The measurement error of pulse times of arrival (TOAs) in the high S/N limit is dominated by the quasi-random variation of a pulsar's emission profile from rotation to rotation. Like measurement noise, this noise is only reduced as the square root of observing time, posing a major challenge to future pulsar timing campaigns with large aperture telescopes, e.g. the Five-hundred-metre Aperture Spherical Telescope and the Square Kilometre Array. We propose a new method of pulsar timing that attempts to approximate the pulse-to-pulse variability with a small family of 'basis' pulses. If pulsar data are integrated over many rotations, this basis can be used to measure sub-pulse structure. Or, if high-time resolution data are available, the basis can be used to 'tag' single pulses and produce an optimal timing template. With realistic simulations, we show that these applications can dramatically reduce the effect of pulse-to-pulse variability on TOAs. Using high-time resolution data taken from the bright PSR J0835-4510 (Vela), we demonstrate a 25-40% improvement in TOA precision. Crucially for pulsar timing applications, we further establish that these techniques produce TOAs with gaussian residuals. Improvements of this level halve the telescope time required to reach a desired TOA precision. Although some gains can be achieved with existing data, the greatest improvements result from the 'tagging' approach, which in turn requires online or posthoc analysis of single pulses, an important consideration for the design of future instrumentation.


title: Amortized Rotation Cost in AVL Trees

abstract: An AVL tree is the original type of balanced binary search tree. An insertion in an $n$-node AVL tree takes at most two rotations, but a deletion in an $n$-node AVL tree can take $\Theta(\log n)$. A natural question is whether deletions can take many rotations not only in the worst case but in the amortized case as well. A sequence of $n$ successive deletions in an $n$-node tree takes $O(n)$ rotations, but what happens when insertions are intermixed with deletions? Heaupler, Sen, and Tarjan conjectured that alternating insertions and deletions in an $n$-node AVL tree can cause each deletion to do $\Omega(\log n)$ rotations, but they provided no construction to justify their claim. We provide such a construction: we show that, for infinitely many $n$, there is a set $E$ of {\it expensive} $n$-node AVL trees with the property that, given any tree in $E$, deleting a certain leaf and then reinserting it produces a tree in $E$, with the deletion having done $\Theta(\log n)$ rotations. One can do an arbitrary number of such expensive deletion-insertion pairs. The difficulty in obtaining such a construction is that in general the tree produced by an expensive deletion-insertion pair is not the original tree. Indeed, if the trees in $E$ have even height $k$, $2^{k/2}$ deletion-insertion pairs are required to reproduce the original tree.


title: The Craighero-Gattazzo surface is simply-connected

abstract: We show that the Craighero-Gattazzo surface, the minimal resolution of an explicit complex quintic surface with four elliptic singularities, is simply-connected. This was conjectured by Dolgachev and Werner, who proved that its fundamental group has a trivial profinite completion. The Craighero-Gattazzo surface is the only explicit example of a smooth simply-connected complex surface of geometric genus zero with ample canonical class. We hope that our method will find other applications: to prove a topological fact about a complex surface we use an algebraic reduction mod p technique and deformation theory.


title: On the equitable vertex arboricity of complete tripartite graphs

abstract: The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu et al. introduced the concept of equitable (t,k)-tree-coloring, which can be viewed as a generalization of proper equitable t-coloring. The strong equitable vertex k-arboricity of complete bipartite equipartition graphs was investigated in 2013. In this paper, we study the exact value of the strong equitable vertex 3-arboricity of complete equipartition tripartite graphs.


title: Casimir--Polder force between anisotropic nanoparticles and gently curved surfaces

abstract: The Casimir--Polder interaction between an anisotropic particle and a surface is orientation dependent. We study novel orientational effects that arise due to curvature of the surface for distances much smaller than the radii of curvature by employing a derivative expansion. For nanoparticles we derive a general short distance expansion of the interaction potential in terms of their dipolar polarizabilities. Explicit results are presented for nano-spheroids made of SiO$_2$ and gold, both at zero and at finite temperatures. The preferred orientation of the particle is strongly dependent on curvature, temperature, as well as material properties.


title: Do the recent severe droughts in the Amazonia have the same period of length?

abstract: We propose a new measure based on drought period length to assess the temporal difference between the recent two severe droughts of 2005 and 2010 in the Amazonia. The sensitivity of the measure is demonstrated by disclosing the distinct spatial responding mechanisms of the Northeastern and Southwestern Amazon (NA, SA) to the surrounding sea surface temperature (SST) variabilities. The Pacific and Atlantic oceans have different roles on the precipitation patterns in Amazonia. More specifically, the very dry periods in the NA are influenced by El Ni\~no events, while the very dry periods in the SA are affected by the anomalously warming of the SST in the North Atlantic. We show convincingly that the drought 2005 hit SA, which is caused by the North Atlantic only. There are two phases in the drought 2010: (i) it was started in the NA in August 2009 affected by the El Ni\~no event, and (ii) later shifted the center of action to SA resulted from anomalously high SST in North Atlantic, which further intensifies the impacts on the spatial coverage.


title: GCH implies AC, a Metamath Formalization

abstract: We present the formalization of Specker's "local" version of the claim that the Generalized Continuum Hypothesis implies the Axiom of Choice, with particular attention to some extra complications which were glossed over in the original informal proof, specifically for "canonical" constructions and Cantor's normal form.


title: Discrete differential geometry and the properties of conformal two-dimensional materials

abstract: Two-dimensional materials were first isolated no longer than ten years ago, and a comprehensive understanding of their properties under non-planar shapes is still being developed. Strictly speaking, the theoretical study of the properties of graphene and other two-dimensional materials is the most complete for planar structures and for structures with small deformations from planarity. The opposite limit of large deformations is yet to be studied comprehensively but that limit is extremely relevant because it determines material properties near the point of failure. We are exploring uses for discrete differential geometry within the context of graphene and other two-dimensional materials, and these concepts appear promising in linking materials properties to shape regardless of how large a given material deformation is. A brief account of additional contributions arising from our group to two-dimensional materials that include graphene, stanene and phosphorene is provided towards the end of this manuscript.


title: An Isometrical ${\Bbb C\Bbb P}^{n}$-Theorem

abstract: Let $M^n\ (n\geq3)$ be a complete Riemannian manifold with $\sec_M\geq 1$, and let $M_i^{n_i}$ ($i=1,2$) be two comlplete totally geodesic submanifolds in $M$. We prove that if $n_1+n_2=n-2$ and if the distance $|M_1M_2|\geq\frac{\pi}{2}$, then $M_i$ is isometric to $\Bbb S^{n_i}/\Bbb Z_h$, ${\Bbb C\Bbb P}^{\frac {n_i}2}$ or ${\Bbb C\Bbb P}^{\frac {n_i}2}/\Bbb Z_2$ with the canonical metric when $n_i>0$, and thus $M$ is isometric to $\Bbb S^n/\Bbb Z_h$, ${\Bbb C\Bbb P}^{\frac n2}$ or ${\Bbb C\Bbb P}^{\frac n2}/\Bbb Z_2$ except possibly when $n=3$ and $M_1$ (or $M_2$) $\stackrel{\rm iso}{\cong}\Bbb S^{1}/\Bbb Z_h$ with $h\geq 2$ or $n=4$ and $M_1$ (or $M_2$) $\stackrel{\rm iso}{\cong}\Bbb{RP}^2$.


title: Lensing Measurements of the Ellipticity of LRG Dark Matter Halos

abstract: Lensing measurements of the shapes of dark matter halos can provide tests of gravity theories and possible dark matter interactions. We measure the quadrupole weak lensing signal from the elliptical halos of 70,000 SDSS Luminous Red Galaxies. We use a new estimator that nulls the spherical halo lensing signal, isolating the shear due to anisotropy in the dark matter distribution. One of the two Cartesian components of our estimator is insensitive to the primary systematic, a spurious alignment of lens and source ellipticities, allowing us to make robust measurements of halo ellipticity. Our best-fit value for the ellipticity of the surface mass density is $0.24 \pm 0.06$, which translates to an axis ratio of 0.78. We rule out the hypothesis of no ellipticity at the $4\sigma$ confidence level, and ellipticity < 0.12 (axis ratio > 0.89) at the $2\sigma$ level. We discuss how our measurements of halo ellipticity are revised to higher values using estimates of the misalignment of mass and light from simulations. Finally, we apply the same techniques to a smaller sample of redMaPPer galaxy clusters and obtain a $3\sigma$ measurement of cluster ellipticity. We discuss how the improved signal to noise properties of our estimator can enable studies of halo shapes for different galaxy populations with upcoming surveys.


title: Exponential Series Approaches for Nonparametric Graphical Models

abstract: This thesis studies high-dimensional, continuous-valued pairwise Markov Random Fields. We are particularly interested in approximating pairwise densities whose logarithm belongs to a Sobolev space. For this problem we propose the method of exponential series [Crain, 1974; Barron and Sheu, 1991], which approximates the log density by a finite- dimensional exponential family with the number of sufficient statistics increasing with the sample size. We consider two approaches to estimating these models. The first is regularized maximum likelihood. This involves optimizing the sum of the log-likelihood of the data and a sparsity-inducing regularizer. We provide consistency and edge selection guarantees for this method. We then propose a variational approximation to the likelihood based on tree- reweighted, nonparametric message passing. We then consider estimation using regularized score matching. This approach uses an alternative scoring rule to the log-likelihood, which obviates the need to compute the normalizing constant of the distribution. For general continuous-valued exponential families, we provide parameter and edge consistency results. We then describe results for model selection in the nonparametric pairwise model using exponential series. The regularized score matching problem is shown to be a convex program; we provide scalable algorithms based on consensus Alternating Direction Method of Multipliers (ADMM, [Boyd et al., 2011]) and Coordinate-wise Descent. We compare our method to others in the literature as well as the aforementioned TRW estimator using simulated data.


title: Atomistic study on the cross-slip process of a screw <a> dislocation in magnesium

abstract: The cross-slip process of a screw $<$a$>$ dislocation from the basal to the prismatic plane in magnesium was studied using the density functional theory and the molecular dynamics calculations. An atomistic method for calculating the total Peierls energy map has been devised to track the transition path of a dissociated and/or constricted screw $<$a$>$ dislocation in the cross-slip process. The barrier of a screw $<$a$>$ dislocation from the basal to the prismatic plane is estimated by the density functional theory for the first time to be $61.4\pm 2.0$ meV per Burgers vector length. The activation enthalpy for the cross slip is calculated using a line tension model based on the density functional theory to be $1.4$ to $1.7$ eV, which is in reasonable agreement with experiments. On the basis of the results, the effect of temperature on the cross-slip process of the dissociated screw $<$a$>$ dislocation on the basal plane is studied in detail using the molecular dynamics method with the embedded-atom-method (EAM) interatomic potential, in which the critical resolved shear stress for the cross slip is evaluated. It is confirmed that the bowed-out dislocation line on the prismatic plane consists of slightly dissociated rectilinear segments with connecting jogs at low temperatures and, as the temperature rises, the curved dislocation line becomes smooth with many segments. The motion of an $<$a$>$ dislocation on the prismatic plane is jerky in the low temperature region, while it is retarded by the formation of the largely dissociated plateau segment above the room temperature. A large reduction of the critical shear stress for the cross slip is obtained when the $<$a$>$ screw dislocation interacts with a hard-sphere particle placed on the basal plane in the low temperature region


title: Reexamination of the evidence for entanglement in the D-Wave processor

abstract: A recent experiment [Lanting et al., PRX, (2014)] claimed to provide evidence of up to $8$-qubit entanglement in a D-Wave quantum annealing device. However, entanglement was measured using qubit tunneling spectroscopy, a technique that provides indirect access to the state of the system at intermediate times during the anneal by performing measurements at the end of the anneal with a probe qubit. In addition, an underlying assumption was that the quantum transverse-field Ising Hamiltonian, whose ground states are already highly entangled, is an appropriate model of the device, and not some other (possibly classical) model. This begs the question of whether alternative, classical or semiclassical models would be equally effective at predicting the observed spectrum and thermal state populations. To check this, we consider a recently proposed classical rotor model with classical Monte Carlo updates, which has been successfully employed in describing features of earlier experiments involving the device. We also consider simulated quantum annealing with quantum Monte Carlo updates, an algorithm that samples from the instantaneous Gibbs state of the device Hamiltonian. Finally, we use the quantum adiabatic master equation, which cannot be efficiently simulated classically, and which has previously been used to successfully capture the open system quantum dynamics of the device. We find that only the master equation is able to reproduce the features of the tunneling spectroscopy experiment, while both the classical rotor model and simulated quantum annealing fail to reproduce the experimental results. We argue that this bolsters the evidence for the reported entanglement.


title: DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems

abstract: In our prior work, we outlined an approach, named DisCoF, for cooperative pathfinding in distributed systems with limited sensing and communication range. Contrasting to prior works on cooperative pathfinding with completeness guarantees, which often assume the access to global information, DisCoF does not make this assumption. The implication is that at any given time in DisCoF, the robots may not all be aware of each other, which is often the case in distributed systems. As a result, DisCoF represents an inherently online approach since coordination can only be realized in an opportunistic manner between robots that are within each other's sensing and communication range. However, there are a few assumptions made in DisCoF to facilitate a formal analysis, which must be removed to work with distributed multi-robot platforms. In this paper, we present DisCoF$^+$, which extends DisCoF by enabling an asynchronous solution, as well as providing flexible decoupling between robots for performance improvement. We also extend the formal results of DisCoF to DisCoF$^+$. Furthermore, we evaluate our implementation of DisCoF$^+$ and demonstrate a simulation of it running in a distributed multi-robot environment. Finally, we compare DisCoF$^+$ with DisCoF in terms of plan quality and planning performance.


title: A Linear Model for Interval-valued Data

abstract: Interval-valued linear regression has been investigated for some time. One of the critical issues is optimizing the balance between model flexibility and interpretability. This paper proposes a linear model for interval-valued data based on the affine operators in the cone $\mathcal{C} = \{ (x, y) \in \mathbb{R}^2 | x \leq y\}$. The resulting new model is shown to have improved flexibility over typical models in the literature, while maintaining a good interpretability. The least squares (LS) estimators of the model parameters are provided in a simple explicit form, which possesses a series of nice properties. Further investigations into the LS estimators shed light on the positive restrictions of a subset of the parameters and their implications on the model validity. A simulation study is presented that supports the theoretical findings. An application to a real data set is also provided to demonstrate the applicability of our model.


title: Efficient Quantum Compression for Ensembles of Identically Prepared Mixed States

abstract: We present one-shot compression protocols that optimally encode ensembles of $N$ identically prepared mixed states into $O(\log N)$ qubits. In contrast to the case of pure-state ensembles, we find that the number of encoding qubits drops down discontinuously as soon as a nonzero error is tolerated and the spectrum of the states is known with sufficient precision. For qubit ensembles, this feature leads to a 25% saving of memory space. Our compression protocols can be implemented efficiently on a quantum computer.


title: Diffraction imaging for in-situ characterization of double-crystal x-ray monochromators

abstract: Imaging of the Bragg reflected x-ray beam is proposed and validated as an in-situ method for characterization of performance of double-crystal monochromators under the heat load of intense synchrotron radiation. A sequence of images is collected at different angular positions on the reflectivity curve of the second crystal and analyzed. The method provides rapid evaluation of the wavefront of the exit beam, which relates to local misorientation of the crystal planes along the beam footprint on the thermally distorted first crystal. The measured misorientation can be directly compared to results of finite element analysis. The imaging method offers an additional insight on the local intrinsic crystal quality over the footprint of the incident x-ray beam.


title: Tableau sequences, open diagrams, and Baxter families

abstract: Walks on Young's lattice of integer partitions encode many objects of algebraic and combinatorial interest. Chen et al. established connections between such walks and arc diagrams. We show that walks that start at $\varnothing$, end at a row shape, and only visit partitions of bounded height are in bijection with a new type of arc diagram -- open diagrams. Remarkably two subclasses of open diagrams are equinumerous with well known objects: standard Young tableaux of bounded height, and Baxter permutations. We give an explicit combinatorial bijection in the former case.


title: Stealths on Anisotropic Holographic Backgrounds

abstract: In this paper, we are interested in exploring the existence of stealth configurations on anisotropic backgrounds playing a prominent role in the non-relativistic version of the gauge/gravity correspondence. By stealth configuration, we mean a nontrivial scalar field nonminimally coupled to gravity whose energy-momentum tensor evaluated on the anisotropic background vanishes identically. In the case of a Lifshitz spacetime with a nontrivial dynamical exponent z, we spotlight the role played by the anisotropy to establish the holographic character of the stealth configurations, i.e. the scalar field is shown to only depend on the radial holographic direction. This configuration which turns out to be massless and without integration constants is possible for a unique value of the nonminimal coupling parameter. Then, using a simple conformal argument, we map this configuration into a stealth solution defined on the so-called hyperscaling violation metric which is conformally related to the Lifshitz spacetime. This holographic configuration obtained through a conformal mapping constitutes only a particular class within the stealth solutions defined on the hyperscaling violation as it is shown by deriving the most general stealth configurations. The case of the Schrodinger background is also exhaustively analyzed and we establish that the presence of the null direction makes their stealth configurations not necessarily holographic in general and characterized by a self-interacting behavior. Finally, for completeness we also study the stealth configurations on the Schrodinger inspired hyperscaling violation spacetimes.


title: Non-unitary fusion categories and their doubles via endomorphisms

abstract: We realise non-unitary fusion categories using subfactor-like methods, and compute their quantum doubles and modular data. For concreteness we focus on generalising the Haagerup-Izumi family of Q-systems. For example, we construct endomorphism realisations of the (non-unitary) Yang-Lee model, and non-unitary analogues of one of the even subsystems of the Haagerup subfactor and of the Grossman-Snyder system. We supplement Izumi's equations for identifying the half-braidings, which were incomplete even in his Q-system setting. We conjecture a remarkably simple form for the modular S and T matrices of the doubles of these fusion categories. We would expect all of these doubles to be realised as the category of modules of a rational VOA and conformal net of factors. We expect our approach will also suffice to realise the non-semisimple tensor categories arising in logarithmic conformal field theories.


title: Background Radiation Measurements at High Power Research Reactors

abstract: Research reactors host a wide range of activities that make use of the intense neutron fluxes generated at these facilities. Recent interest in performing measurements with relatively low event rates, e.g. reactor antineutrino detection, at these facilities necessitates a detailed understanding of background radiation fields. Both reactor-correlated and naturally occurring background sources are potentially important, even at levels well below those of importance for typical activities. Here we describe a comprehensive series of background assessments at three high-power research reactors, including $\gamma$-ray, neutron, and muon measurements. For each facility we describe the characteristics and identify the sources of the background fields encountered. The general understanding gained of background production mechanisms and their relationship to facility features will prove valuable for the planning of any sensitive measurement conducted therein.


title: Atmosphere expansion and mass loss of close-orbit giant exoplanets heated by stellar XUV: I. Modeling of hydrodynamic escape of upper atmospheric material

abstract: In the present series of papers we propose a consistent description of the mass loss process. To study the effects of intrinsic magnetic field of a close-orbit giant exoplanet (so-called Hot Jupiter) on the atmospheric material escape and formation of planetary inner magnetosphere in a comprehensive way, we start with a hydrodynamic model of an upper atmosphere expansion presented in this paper. While considering a simple hydrogen atmosphere model, we focus on selfconsistent inclusion of the effects of radiative heating and ionization of the atmospheric gas with its consequent expansion in the outer space. Primary attention is paid to investigation of the role of specific conditions at the inner and outer boundaries of the simulation domain, under which different regimes of material escape (free- and restricted- flow) are formed. Comparative study of different processes, such as XUV heating, material ionization and recombination, H3+ cooling, adiabatic and Lyman-alpha cooling, Lyman-alpha reabsorption is performed. We confirm basic consistence of the outcomes of our modeling with the results of other hydrodynamic models of expanding planetary atmospheres. In particular, we obtain that under the typical conditions of an orbital distance 0.05 AU around a Sun-type star a Hot Jupiter plasma envelope may reach maximum temperatures up to ~9000K with a hydrodynamic escape speed ~9 km/s resulting in the mass loss rates ~(4-7)*10^10 g*s . In the range of considered stellar-planetary parameters and XUV fluxes that is close to mass loss in the energy limited case. The inclusion of planetary intrinsic magnetic fields in the model is a subject of the following up paper (Paper II).


title: Nonlinear frames and sparse reconstructions in Banach spaces

abstract: In the first part of this paper, we consider nonlinear extension of frame theory by introducing bi-Lipschitz maps $F$ between Banach spaces. Our linear model of bi-Lipschitz maps is the analysis operator associated with Hilbert frames, $p$-frames, Banach frames, g-frames and fusion frames. In general Banach space setting, stable algorithm to reconstruct a signal $x$ from its noisy measurement $F(x)+\epsilon$ may not exist. In this paper, we establish exponential convergence of two iterative reconstruction algorithms when $F$ is not too far from some bounded below linear operator with bounded pseudo-inverse, and when $F$ is a well-localized map between two Banach spaces with dense Hilbert subspaces. The crucial step to prove the later conclusion is a novel fixed point theorem for a well-localized map on a Banach space. In the second part of this paper, we consider stable reconstruction of sparse signals in a union ${\bf A}$ of closed linear subspaces of a Hilbert space ${\bf H}$ from their nonlinear measurements. We create an optimization framework called sparse approximation triple $({\bf A}, {\bf M}, {\bf H})$, and show that the minimizer $$x^*={\rm argmin}_{\hat x\in {\mathbf M}\ {\rm with} \ \|F(\hat x)-F(x^0)\|\le \epsilon} \|\hat x\|_{\mathbf M}$$ provides a suboptimal approximation to the original sparse signal $x^0\in {\bf A}$ when the measurement map $F$ has the sparse Riesz property and almost linear property on ${\mathbf A}$. The above two new properties is also discussed in this paper when $F$ is not far away from a linear measurement operator $T$ having the restricted isometry property.


title: Further consistency tests of the stability of fundamental couplings

abstract: In a recent publication [Ferreira {\it et al.}, Phys. Rev. D89 (2014) 083011] we tested the consistency of current astrophysical tests of the stability of the fine-structure constant $\alpha$ and the proton-to-electron mass ratio $\mu=m_p/m_e$ (mostly obtained in the optical/ultraviolet) with combined measurements of $\alpha$, $\mu$ and the proton gyromagnetic ratio $g_p$ (mostly in the radio band). Given the significant observational progress made in the past year, we now revisit and update this analysis. We find that apparent inconsistencies, at about the two-sigma level, persist and are in some cases enhanced, especially for matter era measurements (corresponding to redshifts $z>1$). Although hidden systematics may be the more plausible explanation, we briefly highlight the importance of clarifying this issue, which is within the reach of state-of-the art observational facilities such as ALMA and ESPRESSO.


title: On the Feasibility of Wireless Interconnects for High-throughput Data Centers

abstract: Data Centers (DCs) are required to be scalable to large data sets so as to accommodate ever increasing demands of resource-limited embedded and mobile devices. Thanks to the availability of recent high data rate millimeter-wave frequency spectrum such as 60GHz and due to the favorable attributes of this technology, wireless DC (WDC) exhibits the potentials of being a promising solution especially for small to medium scale DCs. This paper investigates the problem of throughput scalability of WDCs using the established theory of the asymptotic throughput of wireless multi-hop networks that are primarily proposed for homogeneous traffic conditions. The rate-heterogeneous traffic distribution of a data center however, requires the asymptotic heterogeneous throughput knowledge of a wireless network in order to study the performance and feasibility of WDCs for practical purposes. To answer these questions this paper presents a lower bound for the throughput scalability of a multi-hop rate-heterogeneous network when traffic generation rates of all nodes are similar, except one node. We demonstrate that the throughput scalability of conventional multi-hopping and the spatial reuse of the above bi-rate network is inefficient and henceforth develop a speculative 2-partitioning scheme that improves the network throughput scaling potentials. A better lower bound of the throughput is then obtained. Finally, we obtain the throughput scaling of an i.i.d. rate-heterogeneous network and obtain its lower bound. Again we propose a speculative 2-partitioning scheme to achieve a network with higher throughput in terms of improved lower bound. All of the obtained results have been verified using simulation experiments.


title: Quantum computation with noisy operations

abstract: In this paper, we show how to use low-fidelity operations to control the dynamics of quantum systems. Noisy operations usually drive a system to evolve into a mixed state and damage the coherence. Sometimes frequent noisy operations result in the coherent evolution of a subsystem, and the dynamics of the subsystem is controlled by tuning noisy operations. Based on this, we find that universal quantum computation can be carried out by low-fidelity (fidelity $<90\%$) operations.


title: Indefinite waitings in MIRELA systems

abstract: MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time. Its semantics is given in the form of networks of timed automata, which can be checked using symbolic methods. This paper shows how to detect various kinds of indefinite waitings in the components of such systems. The method is experimented using the PRISM model checker.


title: Verification of railway interlocking systems

abstract: In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic. Each interlocking makes use of particular data, called application data, that reflects the track layout of the station under control. The verification and validation of the application data are performed manually and is thus error-prone and costly. In this paper, we explain how we built an executable model in NuSMV of a railway interlocking based on the application data. We also detail the tool that we have developed in order to translate the application data into our model automatically. Finally we show how we could verify a realistic set of safety properties on a real-size station model by customizing the existing model-checking algorithm with PyNuSMV a Python library based on NuSMV.


title: Automatic Generation of Minimal Cut Sets

abstract: A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach to CSA using a Linear Temporal Logic (LTL) model checker called BT Analyser that supports the generation of multiple counterexamples. The approach enables a broader class of system failures to be analysed, by generalising from failure state formulae to failure behaviours expressed in LTL. The traditional approach to CSA using model checking requires the model or system failure to be modified, usually by hand, to eliminate already-discovered cut sets, and the model checker to be rerun, at each step. By contrast, the new approach works incrementally and fully automatically, thereby removing the tedious and error-prone manual process and resulting in significantly reduced computation time. This in turn enables larger models to be checked. Two different strategies for using BT Analyser for CSA are presented. There is generally no single best strategy for model checking: their relative efficiency depends on the model and property being analysed. Comparative results are given for the A320 hydraulics case study in the Behavior Tree modelling language.


title: Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems

abstract: Abstraction and refinement is widely used in software development. Such techniques are valuable since they allow to handle even more complex systems. One key point is the ability to decompose a large system into subsystems, analyze those subsystems and deduce properties of the larger system. As cyber-physical systems tend to become more and more complex, such techniques become more appealing. In 2009, Oehlerking and Theel presented a (de-)composition technique for hybrid systems. This technique is graph-based and constructs a Lyapunov function for hybrid systems having a complex discrete state space. The technique consists of (1) decomposing the underlying graph of the hybrid system into subgraphs, (2) computing multiple local Lyapunov functions for the subgraphs, and finally (3) composing the local Lyapunov functions into a piecewise Lyapunov function. A Lyapunov function can serve multiple purposes, e.g., it certifies stability or termination of a system or allows to construct invariant sets, which in turn may be used to certify safety and security. In this paper, we propose an improvement to the decomposing technique, which relaxes the graph structure before applying the decomposition technique. Our relaxation significantly reduces the connectivity of the graph by exploiting super-dense switching. The relaxation makes the decomposition technique more efficient on one hand and on the other allows to decompose a wider range of graph structures.


title: Formal Verification of Real-Time Function Blocks Using PVS

abstract: A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular expressions and the PVS proof assistant. By applying our approach to the IEC 61131-3 standard of Programmable Logic Controllers (PLCs), we constructed a repository of precise specification and reusable (proven) theorems of feasibility and correctness for FBs. However, we previously did not apply our approach to verify FBs against timing requirements, since IEC 61131-3 does not define composite FBs built from timers. In this paper, based on our experience in the nuclear domain, we conduct two realistic case studies, consisting of the software requirements and the proposed FB implementations for two subsystems of an industrial control system. The implementations are built from IEC 61131-3 FBs, including the on-delay timer. We find issues during the verification process and suggest solutions.


title: Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems

abstract: Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with specified bounds. TTMs have a textual syntax, an operational semantics, and an automated tool supporting linear-time temporal logic. We extend TTMs and its tool with two novel modelling features for writing high-level specifications: indexed events and synchronous events. Indexed events allow for concise description of behaviour common to a set of actors. The indexing construct allows us to select a specific actor and to specify a temporal property for that actor. We use indexed events to validate the requirements of a train control system. Synchronous events allow developers to decompose simultaneous state updates into actions of separate events. To specify the intended data flow among synchronized actions, we use primed variables to reference the post-state (i.e., one resulted from taking the synchronized actions). The TTM tool automatically infers the data flow from synchronous events, and reports errors on inconsistencies due to circular data flow. We use synchronous events to validate part of the requirements of a nuclear shutdown system. In both case studies, we show how the new notation facilitates the formal validation of system requirements, and use the TTM tool to verify safety, liveness, and real-time properties.


title: Strain-induced nonsymmorphic symmetry breaking and removal of Dirac semimetallic nodal line in an orthoperovskite iridate

abstract: By using a combination of heteroepitaxial growth, structure refinement based on synchrotron x-ray diffraction and first-principles calculations, we show that the symmetry-protected Dirac line nodes in the topological semimetallic perovskite SrIrO3 can be lifted simply by applying epitaxial constraints. In particular, the Dirac gap opens without breaking the Pbnm mirror symmetry. In virtue of a symmetry-breaking analysis, we demonstrate that the original symmetry protection is related to the n-glide operation, which can be selectively broken by different heteroepitaxial structures. This symmetry protection renders the nodal line a nonsymmorphic Dirac semimetallic state. The results highlight the vital role of crystal symmetry in spin-orbit-coupled correlated oxides and provide a foundation for experimental realization of topological insulators in iridate-based heterostructures.


title: Bottom quark contribution to spin-dependent dark matter detection

abstract: We investigate a previously overlooked bottom quark contribution to the spin-dependent cross section for Dark Matter(DM) scattering from the nucleon. While the mechanism is relevant to any supersymmetric extension of the Standard Model, for illustrative purposes we explore the consequences within the framework of the Minimal Supersymmetric Standard Model(MSSM). We study two cases, namely those where the DM is predominantly Gaugino or Higgsino. In both cases, there is a substantial, viable region in parameter space ($m_{\tilde{b}} - m_\chi \lesssim \mathcal{O}(100)$ GeV) in which the bottom contribution becomes important. We show that a relatively large contribution from the bottom quark is consistent with constraints from spin-independent DM searches, as well as some incidental model dependent constraints.


title: Classical Virasoro irregular conformal block II

abstract: We present a new systematic way to evaluate the classical limit of the Virasoro irregular conformal block for arbitrary rank n based on the irregular partition function. In addition, we prove that the classical irregular conformal block has the exponential form as suggested by A. Zamolodchikov and Al. Zamolodchikov for the regular case. We provide an explicit calculation for the rank 2 case in detail.


title: Words with the Maximum Number of Abelian Squares

abstract: An abelian square is the concatenation of two words that are anagrams of one another. A word of length $n$ can contain $\Theta(n^2)$ distinct factors that are abelian squares. We study infinite words such that the number of abelian square factors of length $n$ grows quadratically with $n$.


title: Spectral statistics of rare-earth nuclei: Investigation of shell model configuration effect

abstract: The spectral statistics of even-even rare-earth nuclei are investigated by using all the available empirical data for Ba, Ce, Nd, Sm, Gd, Dy, Er, Yb and Hf isotopes. The Berry- Robnik distribution and Maximum Likelihood estimation technique are used for analyses. An obvious deviation from GOE is observed for considered nuclei and there are some suggestions about the effect due to mass, deformation parameter and shell model configurations.


title: Copula based hierarchical risk aggregation - Tree dependent sampling and the space of mild tree dependence

abstract: The ability to adequately model risks is crucial for insurance companies. The method of "Copula-based hierarchical risk aggregation" by Arbenz et al. offers a flexible way in doing so and has attracted much attention recently. We briefly introduce the aggregation tree model as well as the sampling algorithm proposed by they authors. An important characteristic of the model is that the joint distribution of all risk is not fully specified unless an additional assumption (known as "conditional independence assumption") is added. We show that there is numerical evidence that the sampling algorithm yields an approximation of the distribution uniquely specified by the conditional independence assumption. We propose a modified algorithm and provide a proof that under certain conditions the said distribution is indeed approximated by our algorithm. We further determine the space of feasible distributions for a given aggregation tree model in case we drop the conditional independence assumption. We study the impact of the input parameters and the tree structure, which allows conclusions of the way the aggregation tree should be designed.


title: Sur l'etude de l'entropie des applications meromorphes

abstract: We construct a space which is useful in order to study the entropy of meromorphic maps by using projective limits. We deduce a variational principle for meromorphic maps.


title: Plasmon resonance with finite frequencies: a validation of the quasi-static approximation for diametrically small inclusions

abstract: We study resonance for the Helmholz equation with a finite frequency in a plasmonic material of negative dielectric constant in two and three dimensions. We show that the quasi-static approximation is valid for diametrically small inclusions. In fact, we quantitatively prove that if the diameter of a inclusion is small compared to the loss parameter, then resonance occurs exactly at eigenvalues of the Neumann-Poincar\'e operator associated with the inclusion.


title: Formation of As-As Bond and Its Effect on Absence of Superconductivity in Collapsed Tetragonal Phase of Ca0.86Pr0.14Fe2As2 : An Optical Spectroscopy Study

abstract: The temperature dependence of in plane optical conductivity has been investigated for Ca0.86Pr0.14Fe2As2 which shows a structural transition from tetragonal (T) to collapsed tetragonal(cT) phase at TcT=73 K. Upon entering the cT phase, drastic change characterized by the formation of a midinfrared peak near 3200 cm-1(0.4 eV) in the optical conductivity is observed.Analysis of the spectral weight reveals reduced electron correlation after the cT phase transition.Based on the calculated band structure and simulated optical conductivity, we attribute the new feature around 0.4 eV to the formation of interlayer As-As bond. The As-As bond strongly affects the Fe-As hybridizations, and in turn, drastically changes the Ca0.86Pr0.14Fe2As2 into a nonmagnetic Fermi liquid system without bulk superconductivity in the cT phase.


title: Ionic transport through sub-10 nm diameter hydrophobic high-aspect ratio nanopores: experiment, theory and simulation

abstract: Fundamental understanding of ionic transport at the nanoscale is essential for developing biosensors based on nanopore technology and new generation high-performance nanofiltration membranes for separation and purification applications. We study here ionic transport through single putatively neutral hydrophobic nanopores with high aspect ratio (of length L=6 \mu m with diameters ranging from 1 to 10 nm) and with a well controlled cylindrical geometry. We develop a detailed hybrid mesoscopic theoretical approach for the electrolyte conductivity inside nanopores, which considers explicitly ion advection by electro-osmotic flow and possible flow slip at the pore surface. By fitting the experimental conductance data we show that for nanopore diameters greater than 4 nm a constant weak surface charge density of about 10$^{-2}$ C m$^{-2}$ needs to be incorporated in the model to account for conductance plateaus of a few pico-Siemens at low salt concentrations. For tighter nanopores, our analysis leads to a higher surface charge density, which can be attributed to a modification of ion solvation structure close to the pore surface, as observed in the molecular dynamics simulations we performed.


title: Minimal exponential growth rates of metabelian Baumslag-Solitar groups and lamplighter groups

abstract: We prove that for any prime $p\geq 3$ the minimal exponential growth rate of the Baumslag-Solitar group $BS(1,p)$ and the lamplighter group $\mathcal{L}_p=(\mathbb{Z}/p\mathbb{Z})\wr \mathbb{Z}$ are equal. We also show that for $p=2$ this claim is not true and the growth rate of $BS(1,2)$ is equal to the positive root of $x^3-x^2-2$, whilst the one of the lamplighter group $\mathcal{L}_2$ is equal to the golden ratio $(1+\sqrt5)/2$. The latter value also serves to show that the lower bound of A.Mann from [Mann, Journal of Algebra 326, no. 1 (2011) 208--217] for the growth rates of non-semidirect HNN extensions is optimal.


title: Three-dimensional continuum dislocation theory

abstract: A three-dimensional continuum dislocation theory for single crystals containing curved dislocations is proposed. A set of governing equations and boundary conditions is derived for the true placement, plastic slips, and loop functions in equilibrium that minimize the free energy of crystal among all admissible functions, provided the resistance to the dislocation motion is negligible. For the non-vanishing resistance to dislocation motion the governing equations are derived from the variational equation that includes the dissipation function. A simplified theory for small strains is also provided. An asymptotic solution is found for the two-dimensional problem of a single crystal beam deforming in single slip and simple shear.


title: Classification methods for Hilbert data based on surrogate density

abstract: An unsupervised and a supervised classification approaches for Hilbert random curves are studied. Both rest on the use of a surrogate of the probability density which is defined, in a distribution-free mixture context, from an asymptotic factorization of the small-ball probability. That surrogate density is estimated by a kernel approach from the principal components of the data. The focus is on the illustration of the classification algorithms and the computational implications, with particular attention to the tuning of the parameters involved. Some asymptotic results are sketched. Applications on simulated and real datasets show how the proposed methods work.


title: Self-energy of dislocations and dislocation pileups

abstract: A continuum model of dislocation pileups that takes the self-energy of dislocations into account is proposed. An analytical solution describing the distribution of dislocations in equilibrium is found from the energy minimization. Based on this solution we show (i) the existence of a critical threshold stress for the equilibrium of dislocations within a double pileup, and (ii) the existence of a non-linear regime in which the number of dislocations in a double pileup does not scale linearly with the resolved external shear stress, contrary to the classical double pileup model.


title: Merger rates of double neutron stars and stellar origin black holes: The Impact of Initial Conditions on Binary Evolution Predictions

abstract: The initial mass function (IMF), binary fraction and distributions of binary parameters (mass ratios, separations and eccentricities) are indispensable input for simulations of stellar populations. It is often claimed that these are poorly constrained significantly affecting evolutionary predictions. Recently, dedicated observing campaigns provided new constraints on the initial conditions for massive stars. Findings include a larger close binary fraction and a stronger preference for very tight systems. We investigate the impact on the predicted merger rates of neutron stars and black holes. Despite the changes with previous assumptions, we only find an increase of less than a factor 2 (insignificant compared with evolutionary uncertainties of typically a factor 10-100). We further show that the uncertainties in the new initial binary properties do not significantly affect (within a factor of 2) our predictions of double compact object merger rates. An exception is the uncertainty in IMF (variations by a factor of 6 up and down). No significant changes in the distributions of final component masses, mass ratios, chirp masses and delay times are found. We conclude that the predictions are, for practical purposes, robust against uncertainties in the initial conditions concerning binary parameters with exception of the IMF. This eliminates an important layer of the many uncertain assumptions affecting the predictions of merger detection rates with the gravitational wave detectors aLIGO/aVirgo.


title: Microsolutions of differential operators and values of arithmetic Gevrey series

abstract: We continue our investigation of $E$-operators, in particular their connection with $G$-operators; these differential operators are fundamental in understanding the diophantine properties of Siegel's $E$ and $G$-functions. We study in detail microsolutions (in Kashiwara's sense) of Fuchsian differential operators, and apply this to the construction of basis of solutions at $0$ and $\infty$ of any $E$-operator from microsolutions of a $G$-operator; this provides a constructive proof of a theorem of Andr\'e. We also focus on the arithmetic nature of connection constants and Stokes constants between different bases of solutions of $E$-operators. For this, we introduce and study in details an arithmetic (inverse) Laplace transform that enables one to get rid of transcendental numbers inherent to Andr\'e's original approach. As an application, we define a set of special values of arithmetic Gevrey series, and discuss its conjectural relation with the ring of exponential periods.


title: Realization of globally exceptional Riemannian $4$-symmetric space $E_8/(E_8)^{\sigma'_{4}}$

abstract: The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez. As homogeneous manifolds, these spaces are of the $G/H$, where $G$ is a connected compact simple Lie group with an automorphism $\tilde{\gamma}$ of oder 4 and $H$ is a fixed points subgroup $G^\gamma$ of $G$. In the present article, for the exceptional compact Lie group $G=E_8$, we give the explicit form of automorphism of order 4 induced by the $\boldsymbol{R}$-linear transformation $\sigma'_{4}$ and determine the structure of the group $(E_8)^{\sigma'_{4}}$. Thereby, we realize the globally exceptional Riemannian $4$-symmetric space $E_8/(E_8)^{\sigma'_{4}}$.


title: Static and dynamical spin correlations of the S=1/2 random-bond antiferromagnetic Heisenberg model on the triangular and the kagome lattices

abstract: Inspired by the recent theoretical suggestion that the random-bond $S=1/2$ antiferromagnetic Heisenberg model on the triangular and the kagome lattices might exhibit a randomness-induced quantum spin liquid (QSL) behavior when the strength of the randomness exceeds a critical value, and that this "random-singlet state" might be relevant to the QSL behaviors experimentally observed in triangular organic salts $\kappa {\rm -(ET)_2 Cu_2 (CN)_3}$and ${\rm EtMe_3 Sb[Pd(dmit)_2]_2}$ and in kagome herbertsmithite ${\rm CuZn_3(OH)_6Cl_2}$, we further investigate the nature of the static and the dynamical spin correlations of these models. We compute the static and the dynamical spin structure factors, $S({\bf q})$ and $S({\bf q},\omega)$, by means of an exact diagonalization method. In both triangular and kagome models, the computed $S({\bf q},\omega)$ in the random-singlet state depends on the wavevector ${\bf q}$ only weakly, robustly exhibiting gapless behaviors accompnied by the broad distribution extending to higher energy $\omega$. Especially in the strongly random kagome model, $S({\bf q},\omega)$ hardly depends on ${\bf q}$, and exhibits an almost flat distribution for a wide range of $\omega$, together with a $\omega=0$ peak. These features agree semi-quantitatively with the recent neutron-scattering data on a single-crystal herbertsmithite, suggesting that the QSL state observed in herbersmithite might indeed be the randomness-induced QSL state, {\it i.e.\/}, the random-singlet state.


title: Formation of grains and dislocation structure of geometrically necessary boundaries

abstract: A continuum dislocation model of formation of grains whose boundaries have a non-vanishing thickness is proposed. For a single crystal deforming in simple shear the lamellar structure of grains with thin layers containing dislocations as the geometrically necessary boundaries turns out to be energetically preferable. The thickness and the energy of this type of grain boundary are computed as functions of the misorientation angle.


title: P-V criticality in the extended phase space of black holes in massive gravity

abstract: We study the P-V criticality and phase transition in the extended phase space of charged anti-de Sitter black holes in canonical ensemble of ghost-free massive gravity, where the cosmological constant is viewed as a dynamical pressure of the black hole system. We give the generalized thermodynamic first law and the Smarr relation with massive gravity correction. We find that not only when the horizon topology is spherical but also in the Ricci flat or hyperbolic case, there appear the P-V criticality and phase transition up to the combination k+c02c2m2 in the four-dimensional case, where k characterizes the horizon curvature and c2m2 is the coefficient of the second term of massive potential associated with the graviton mass. The positivity of such combination indicate the van der Waals-like phase transition. When the spacetime dimension is larger then four, the Maxwell charge there seems unnecessary for the appearance of critical behavior, but a infinite repulsion effect needed, which can also be realized through negative valued c3m2 or c4m2, which is third or fourth term of massive potential. When c3m2 is positive, a Hawking-Page-like black hole to vacuum phase transition is shown in the five-dimensional chargeless case. For the van der Waals-like phase transition in four and five spacetime dimensions, we calculate the critical exponents near the critical point and find they are the same as those in the van der Waals liquid-gas system.


title: Quality enhancement with simultaneous suppression in excess noise of longer-lived states in non-uniformly pumped optical microcavities

abstract: We study the formation of longer lived states via internal coupling near a special avoided resonance crossing between the interacting states in an open optical system. Away from PT symmetry limit, we discuss the unconventional cavity resonance states created by a spatially varying gain/loss profile. Near certain avoided-resonant crossings (ARC), the parity symmetries of the chosen coupled states dictate the destructive interference resulting high Q, while avoided crossing in the imaginary part of the poles embraces the longer lived state. Now, via S-matrix formalism, we have numerically demonstrated that with suitably chosen system openness and coupling strengths, the excess noise generation among the interacting non-orthogonal states (calculated as Petermann factor K) can be suppressed close to the ideal value 1 with simultaneous order of magnitude enhancement in Q-factor of the longer lived state.


title: A Formula for the Reliability of a $d$-dimensional Consecutive-$k$-out-of-$n$:F System

abstract: We derive a formula for the reliability of a $d$-dimensional consecutive-$k$-out-of-$n$:F system. That is, a formula for the probability that an $n_1 \times \ldots \times n_d$ array whose entries are (independently of each other) $0$ with probability $p$ and $1$ with probability $q = 1 - p$ does not include a contiguous $s_1 \times \ldots \times s_d$ subarray whose every entry is $1$.


title: Surface diffusion control of the photocatalytic oxidation in air/TiO2 heterogeneous reactors

abstract: The diffusion of superoxide radical anions on the surface of TiO2 catalysts is theoretically considered as an important step in the kinetics of photocatalytic oxidation of toxic pollutants. A detailed analysis is performed to discriminate the effects of rotation, anion and adsorption bonds vibrations on the diffusion coefficient. A resonant dependence of the diffusivity on the lattice parameters of the TiO2 surface is discovered showing that the most rapid diffusion takes place when the lattice parameters are twice larger than the bond length of the superoxide radical anions. Whereas the rotation and vibrations normal to the catalyst surface are important, the anion bond vibrations do not affect the diffusivity due to their low amplitudes as compared to the lattice parameters.


title: A continuous family of equilibria in ferromagnetic media are ground states

abstract: We show that a foliation of equilibria (a continuous family of equilibria whose graph covers all the configuration space) in ferromagnetic models are ground states. The result we prove is very general, and it applies to models with long range interactions and many body. As an application, we consider several models of networks of interacting particles including models of Frenkel-Kontorova type on $\mathbb{Z}^d$ and one-dimensional quasi-periodic media. The result above is an analogue of several results in the calculus variations (fields of extremals) and in PDE's. Since the models we consider are discrete and long range, new proofs need to be given. We also note that the main hypothesis of our result (the existence of foliations of equilibria) is the conclusion (using KAM theory) of several recent papers. Hence, we obtain that the KAM solutions recently established are minimizers when the interaction is ferromagnetic (and transitive).


title: Continuum dislocation theory accounting for statistically stored dislocations and Taylor hardening

abstract: This paper develops the small strain continuum dislocation theory accounting for statistically stored dislocations and Taylor hardening for single crystals. As illustration, the problem of anti-plane constrained shear of single crystal deforming in single slip is solved within the proposed theory. The distribution of geometrically necessary dislocations in the final state of equilibrium as well as the stress-strain curve exhibiting the Bauschinger translational work hardening and the size effect are found. Comparison with the stress-strain curve obtained from the continuum dislocation theory without statistically stored dislocations and Taylor hardening is provided.


title: Wearing a single DNA molecule with an AFM tip

abstract: While the fundamental limit on the resolution achieved in an atomic force microscope (AFM) is clearly related to the tip radius, the fact that the tip can creep and/or wear during an experiment is often ignored. This is mainly due to the difficulty in characterizing the tip, and in particular a lack of reliable methods that can achieve this in situ. Here, we provide an in situ method to characterize the tip radius and monitor tip creep and/or wear and biomolecular sample wear in ambient dynamic AFM. This is achieved by monitoring the dynamics of the cantilever and the critical free amplitude to observe a switch from the attractive to the repulsive regime. The method is exemplified on the mechanically heterogeneous sample of single DNA molecules bound to mica mineral surfaces. Simultaneous monitoring of apparent height and width of single DNA molecules while detecting variations in the tip radius R as small as one nanometer are demonstrated. The yield stress can be readily exceeded for sharp tips (R<10 nm) at typical operating amplitudes (A>10nm). The ability to know the AFM tip radius in situ and in real-time opens up the future for quantitative nanoscale materials properties determination at the highest possible spatial resolution.


title: Investigations of the effect of nonmagnetic Ca substitution for magnetic Dy on spin-freezing in Dy2Ti2O7

abstract: Physical properties of partially Ca substituted hole-doped Dy2Ti2O7 have been investigated by ac magnetic susceptibility \chi_ac(T), dc magnetic susceptibility \chi(T), isothermal magnetization M(H) and heat capacity C_p(T) measurements on Dy1.8Ca0.2Ti2O7. The spin-ice system Dy2Ti2O7 exhibits a spin-glass type freezing behavior near 16 K. Our frequency dependent \chi_ac(T) data of Dy1.8Ca0.2Ti2O7 show that the spin-freezing behavior is significantly influenced by Ca substitution. The effect of partial nonmagnetic Ca2+ substitution for magnetic Dy3+ is similar to the previous study on nonmagnetic isovalent Y3+ substituted Dy2-xYxTi2O7 (for low levels of dilution), however the suppression of spin-freezing behavior is substantially stronger for Ca than Y. The Cole-Cole plot analysis reveals semicircular character and a single relaxation mode in Dy1.8Ca0.2Ti2O7 as for Dy2Ti2O7. No noticeable change in the insulating behavior of Dy2Ti2O7 results from the holes produced by 10% Ca2+ substitution for Dy3+ ions.


title: Homogeneous Ulrich bundles on Flag manifolds

abstract: Let $V$ be a $K$-vector space of dimension $n+1$. In this paper, we focus our attention into the existence of irreducible homogeneous Ulrich bundles on flag manifolds $\FF(p, q,n)$ which parameterizes all chains of linear subspaces $L_{p} \subset L_{q} \subset \PP(V)$ of dimension $p< q$, respectively. We determine all irreducible homogeneous Ulrich bundles on $\FF(0,n-1,n)$ and we prove that there are exactly $2^{n-1}$. Similarly, we prove that $\FF(0,n-2,n)$ and $\FF(1,n-1,n)$ are also the support of irreducible homogeneous Ulrich bundles. On the other hand, we prove that $\FF(0,1,n)$ do not support any irreducible homogeneous Ulrich bundle. We end posing a conjecture concerning the existence of irreducible homogeneous Ulrich bundles on $\FF(p,q,n)$ in terms of $p$ and $q$.


title: Reciprocal link for a three-component Camassa-Holm type equation

abstract: We discuss a reciprocal transformation for a three-component Camassa-Holm type equation and find that the transformed system is a reduction of the first negative flow for an extended MKdV hierarchy.


title: Private reputation retrieval in public - a privacy-aware announcement scheme for VANETs

abstract: An announcement scheme is a system that facilitates vehicles to broadcast road-related information in vehicular ad hoc networks (VANETs) in order to improve road safety and efficiency. Here we propose a new cryptographic primitive for public updating of reputation score based on the Boneh-Boyen-Shacham short group signature scheme. This allows private reputation score retrieval without a secure channel. Using this we devise a privacy-aware announcement scheme using reputation systems which is reliable, auditable and robust.