title: Quantization of Whitney functions and reduction

abstract: For a possibly singular subset of a regular Poisson manifold we construct a deformation quantization of its algebra of Whitney functions. We then extend the construction of a deformation quantization to the case where the underlying set is a subset of a not necessarily regular Poisson manifold which can be written as the quotient of a regular Poisson manifold on which a compact Lie group acts freely by Poisson maps. Finally, if the quotient Poisson manifold is regular as well, we show a "quantization commutes with reduction" type result. For the proofs, we use methods stemming from both singularity theory and Poisson geometry.


title: Ceteris Paribus Structure in Logics of Game Forms

abstract: The article introduces a ceteris paribus modal logic interpreted on the equivalence classes induced by sets of propositional atoms. This logic is used to embed two logics of agency and games, namely atemporal STIT and the coalition logic of propositional control (CL-PC). The embeddings highlight a common ceteris paribus structure underpinning the key modal operators of both logics, they clarify the relationship between STIT and CL-PC, and enable the transfer of complexity results to the ceteris paribus logic.


title: Testing assumptions and predictions of star-formation theories

abstract: (Abridged). We present numerical simulations of isothermal, MHD, supersonic turbulence, designed to test various hypotheses frequently assumed in star formation(SF) theories. We consider three simulations, each with a different combination of physical size, rms sonic Mach number, and Jeans parameter, but chosen as to give the same value of the virial parameter and to conform with Larson's scaling relations. As in the non-magnetic case: we find no simultaneously subsonic and super-Jeans structures in our MHD simulations. We find that the fraction of small-scale super-Jeans structures increases when self gravity is turned on, and that the production of gravitationally unstable dense cores by turbulence alone is very low. This implies that self-gravity is in general necessary not only to induce the collapse of Jeans-unstable cores, but also to form them. We find that denser regions tend to have more negative values of the velocity divergence, implying a net inwards flow towards the regions' centers. We compare the results from our simulations with the predictions from the recent SF theories by Krumholz & McKee, Padoan & Nordlund, and Hennebelle & Chabrier, using the expressions recently provided by Federrath & Klessen. We find that none of these theories reproduces the dependence of the SFEff with Ms observed in our simulations in the MHD case. The SFEff predicted by the theories ranges between half and one order of magnitude larger than what we observe in the simulations in both the HD and the MHD cases. We conclude that the type of flow used in simulations like the ones presented here and assumed in recent SF theories, may not correctly represent the flow within actual clouds, and that theories that assume it does may be missing a fundamental aspect of the flow. We suggest that a more realistic regime may be that of hierarchical gravitational collapse.


title: Deludedly Agreeing to Agree

abstract: We study conditions relating to the impossibility of agreeing to disagree in models of interactive KD45 belief (in contrast to models of S5 knowledge, which are used in nearly all the agreements literature). We show that even when the truth axiom is not assumed it turns out that players will find it impossible to agree to disagree under fairly broad conditions.


title: Transport in quenched disorder: light diffusion in strongly heterogeneous turbid media

abstract: We present a theoretical and experimental study of light transport in disordered media with strongly heterogeneous distribution of scatterers formed via non-scattering regions. Step correlations induced by quenched disorder are found to prevent diffusivity from diverging with increasing heterogeneity scale, contrary to expectations from annealed models. Spectral diffusivity is measured for a porous ceramic where nanopores act as scatterers and macropores render their distribution heterogeneous. Results agree well with Monte Carlo simulations and a proposed analytical model.


title: A note on linearized stability of Schwarzschild thin-shell wormholes with variable equations of state

abstract: We discuss how the assumption of variable equation of state (EoS) allows the elimination of the instability at equilibrium throat radius $a_0=3M$ featured by previous Schwarzschild thin-shell wormhole models. Unobstructed stability regions are found for three choices of variable EoS. Two of these EoS entail linear stability at every equilibrium radius. Particularly, the thin-shell remains stable as $a_0$ approaches the Schwarzschild radius $2M$. A perturbative analysis of the wormhole equation of motion is carried out in the case of variable Chaplygin EoS. The squared proper angular frequency $\omega_0^2$ of small throat oscillations is linked with the second derivative of the thin-shell potential. In various situations $\omega_0^2$ remains positive and bounded in the limit $a_0\rightarrow 2M$.


title: H\"older-continuity for the nonlinear stochastic heat equation with rough initial conditions

abstract: We study space-time regularity of the solution of the nonlinear stochastic heat equation in one spatial dimension driven by space-time white noise, with a rough initial condition. This initial condition is a locally finite measure $\mu$ with, possibly, exponentially growing tails. We show how this regularity depends, in a neighborhood of $t=0$, on the regularity of the initial condition. On compact sets in which $t>0$, the classical H\"older-continuity exponents $\frac{1}{4}-$ in time and $\frac{1}{2}-$ in space remain valid. However, on compact sets that include $t=0$, the H\"older continuity of the solution is $\left(\frac{\alpha}{2}\wedge \frac{1}{4}\right)-$ in time and $\left(\alpha\wedge \frac{1}{2}\right)-$ in space, provided $\mu$ is absolutely continuous with an $\alpha$-H\"older continuous density.


title: Cryptanalysis of Sun and Cao's Remote Authentication Scheme with User Anonymity

abstract: Dynamic ID-based remote user authentication schemes ensure efficient and anonymous mutual authentication between entities. In 2013, Khan et al. proposed an improved dynamic ID-based authentication scheme to overcome the security flaws of Wang et al.'s authentication scheme. Recently, Sun and Cao showed that Khan et al. does not satisfies the claim of the user's privacy and proposed an efficient authentication scheme with user anonymity. The Sun and Cao's scheme achieve improvement over Khan et al.'s scheme in both privacy and performance point of view. Unfortunately, we identify that Sun and Cao's scheme does not resist password guessing attack. Additionally, Sun and Cao's scheme does not achieve forward secrecy.


title: Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics

abstract: This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An approach to the synthesis problem based on the use of symbolic representations is described. The method has been implemented as an extension to the model checker MCK. Two applications of the implemented synthesis system are presented: the muddy children puzzle (where performance is compared to an explicit state method for a related problem implemented in the model checker DEMO), and a knowledge-based program for a dynamic leader election problem in a ring of processes.


title: Epistemic Logic for Communication Chains

abstract: The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.


title: Range Separated Brueckner Coupled Cluster Doubles Theory

abstract: We introduce a range-separation approximation to coupled cluster doubles (CCD) theory that successfully overcomes limitations of regular CCD when applied to the uniform electron gas. We combine the short-range ladder channel with the long-range ring channel in the presence of a Bruckner renormalized one-body interaction and obtain ground-state energies with an accuracy of 0.001 a.u./electron across a wide range of density regimes. Our scheme is particularly useful in the low-density and strongly-correlated regimes, where regular CCD has serious drawbacks. Moreover, we cure the infamous overcorrelation of approaches based on ring diagrams (i.e. the particle-hole random phase approximation). Our energies are further shown to have appropriate basis set and thermodynamic limit convergence, and overall this scheme promises energetic properties for realistic periodic and extended systems which existing methods do not possess.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.other cond-mat.quant-gas


title: Koszul binomial edge ideals

abstract: It is shown that if the binomial edge ideal of a graph $G$ defines a Koszul algebra, then $G$ must be chordal and claw free. A converse of this statement is proved for a class of chordal and claw free graphs.


title: Estimating Channel Parameters from the Syndrome of a Linear Code

abstract: In this letter, we analyse the properties of a maximum likelihood channel estimator based on the syndrome of a linear code. For the two examples of a binary symmetric channel and a binary input additive white Gaussian noise channel, we derive expressions for the bias and the mean squared error and compare them to the Cram\'er-Rao bound. The analytical expressions show the relationship between the estimator properties and the parameters of the linear code, i.e., the number of check nodes and the check node degree.


title: Transient absorption and photocurrent microscopy show hot electron supercollisions describe the rate-limiting relaxation step in graphene

abstract: Using transient absorption (TA) microscopy as a hot electron thermometer we show disorder-assisted acoustic-phonon supercollisions (SCs) best describes the rate-limiting relaxation step in graphene over a wide range of lattice temperatures ($T_l=$5-300 K), Fermi energies ($E_F=\pm0.35$ eV), and optical probe energies (~0.3 - 1.1 eV). Comparison with simultaneously collected transient photocurrent, an independent hot electron thermometer, confirms the rate-limiting optical and electrical response in graphene are best described by the SC-heat dissipation rate model, $H=A(T^3_e- T^3_l)$. Our data further shows the electron cooling rate in substrate supported graphene is twice as fast as in suspended graphene sheets, consistent with SC-model prediction for disorder.


title: Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

abstract: Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existence. Some results trivially follow from results already known from the literature on planning under incomplete knowledge, but many were unknown so far.


title: R.E. Axiomatization of Conditional Independence

abstract: The paper investigates properties of the conditional independence relation between pieces of information. This relation is also known in the database theory as embedded multivalued dependency. In 1980, Parker and Parsaye-Ghomi established that the properties of this relation can not be described by a finite system of inference rules. In 1995, Herrmann proved that the propositional theory of this relation is undecidable. The main result of this paper is a complete recursively enumerable axiomatization of this theory.


title: A neutron spectrometer for studying giant resonances with (p, n) reactions in inverse kinematics

abstract: A neutron spectrometer, the European Low-Energy Neutron Spectrometer (ELENS), has been constructed to study exotic nuclei in inverse-kinematics experiments. The spectrometer, which consists of plastic scintillator bars, can be operated in the neutron energy range of 100 keV to 10 MeV. The neutron energy is determined using the time-of-flight technique, while the position of the neutron detection is deduced from the time-difference information from photomultipliers attached to both ends of each bar. A novel wrapping method has been developed for the plastic scintillators. The array has a larger than 25% detection efficiency for neutrons of approximately 500 keV in kinetic energy and an angular resolution of less than 1 degree. Details of the design, construction and experimental tests of the spectrometer will be presented.


title: When is an Example a Counterexample?

abstract: In this extended abstract, we carefully examine a purported counterexample to a postulate of iterated belief revision. We suggest that the example is better seen as a failure to apply the theory of belief revision in sufficient detail. The main contribution is conceptual aiming at the literature on the philosophical foundations of the AGM theory of belief revision [1]. Our discussion is centered around the observation that it is often unclear whether a specific example is a "genuine" counterexample to an abstract theory or a misapplication of that theory to a concrete case.


title: Agreeing on Decisions: An Analysis with Counterfactuals

abstract: Moses & Nachum ([7]) identify conceptual flaws in Bacharach's generalization ([3]) of Aumann's seminal "agreeing to disagree" result ([1]). Essentially, Bacharach's framework requires agents' decision functions to be defined over events that are informationally meaningless for the agents. In this paper, we argue that the analysis of the agreement theorem should be carried out in information structures that can accommodate for counterfactual states. We therefore develop a method for constructing such "counterfactual structures" (starting from partitional structures), and prove a new agreement theorem within such structures. Furthermore, we show that our approach also resolves the conceptual flaws in the sense that, within our framework, decision functions are always only defined over events that are informationally meaningful for the agents.


title: Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics

abstract: We identify a subproblem of the model-checking problem for the epistemic \mu-calculus which is decidable. Formulas in the instances of this subproblem allow free variables within the scope of epistemic modalities in a restricted form that avoids embodying any form of common knowledge. Our subproblem subsumes known decidable fragments of epistemic CTL/LTL, may express winning strategies in two-player games with one player having imperfect information and non-observable objectives, and, with a suitable encoding, decidable instances of the model-checking problem for ATLiR.


title: Hybrid-Logical Reasoning in False-Belief Tasks

abstract: The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. We also consider the Sally-Anne task, having a somewhat more complicated logical structure, presupposing a "principle of inertia" saying that a belief is preserved over time, unless there is belief to the contrary.


title: Strategic Voting and the Logic of Knowledge

abstract: We propose a general framework for strategic voting when a voter may lack knowledge about other votes or about other voters' knowledge about her own vote. In this setting we define notions of manipulation and equilibrium. We also model action changing knowledge about votes, such as a voter revealing its preference or as a central authority performing a voting poll. Some forms of manipulation are preserved under such updates and others not. Another form of knowledge dynamics is the effect of a voter declaring its vote. We envisage Stackelberg games for uncertain profiles. The purpose of this investigation is to provide the epistemic background for the analysis and design of voting rules that incorporate uncertainty.


title: PDL as a Multi-Agent Strategy Logic

abstract: Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming constructs. We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and brings game logic closer to standard modal logic. We demonstrate that MASL can express key notions of game theory, social choice theory and voting theory in a natural way, we give a sound and complete proof system for MASL, and we show that MASL encodes coalition logic. Next, we extend the language to epistemic multi-agent strategic logic (EMASL), we give examples of what it can express, we propose to use it for posing new questions in epistemic social choice theory, and we give a calculus for reasoning about a natural class of epistemic game models. We end by listing avenues for future research and by tracing connections to a number of other logics for reasoning about strategies.


title: Game Theory with Translucent Players

abstract: A traditional assumption in game theory is that players are opaque to one another -- if a player changes strategies, then this change in strategies does not affect the choice of other players' strategies. In many situations this is an unrealistic assumption. We develop a framework for reasoning about games where the players may be translucent to one another; in particular, a player may believe that if she were to change strategies, then the other player would also change strategies. Translucent players may achieve significantly more efficient outcomes than opaque ones. Our main result is a characterization of strategies consistent with appropriate analogues of common belief of rationality. Common Counterfactual Belief of Rationality (CCBR) holds if (1) everyone is rational, (2) everyone counterfactually believes that everyone else is rational (i.e., all players i believe that everyone else would still be rational even if i were to switch strategies), (3) everyone counterfactually believes that everyone else is rational, and counterfactually believes that everyone else is rational, and so on. CCBR characterizes the set of strategies surviving iterated removal of minimax dominated strategies: a strategy $\sigma_i$ is minimax dominated for i if there exists a strategy $\sigma'_i$ for i such that $\min_{\mu'_{-i}} u_i(\sigma_i, \mu_{-i}') > \max_{\mu_{-i}} u_i(\sigma_i, \mu_{-i})$.


title: Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5

abstract: We propose modal Markov logic as an extension of propositional Markov logic to reason under the principle of maximum entropy for modal logics K45, KD45, and S5. Analogous to propositional Markov logic, the knowledge base consists of weighted formulas, whose weights are learned from data. However, in contrast to Markov logic, in our framework we use the knowledge base to define a probability distribution over non-equivalent epistemic situations (pointed Kripke structures) rather than over atoms, and use this distribution to assign probabilities to modal formulas. As in all probabilistic representations, the central task in our framework is inference. Although the size of the state space grows doubly exponentially in the number of propositions in the domain, we provide an algorithm that scales only exponentially in the size of the knowledge base. Finally, we briefly discuss the case of languages with an infinite number of propositions.


title: Facebook and the Epistemic Logic of Friendship

abstract: This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric 'friendship' relation, providing a precise language for exploring 'logic in the community' [11]. Agents are placed in the model, allowing us to express such indexical facts as 'I am your friend' and 'You, my friends, are in danger'. The technical framework for this work is general dynamic dynamic logic (GDDL) [4], which provides a general method for extending modal logics with dynamic operators for reasoning about a wide range of model-transformations, starting with those definable in propositional dynamic logic (PDL) and extended to allow for the more subtle operators involved in, for example, private communication, as represented in dynamic epistemic logic (DEL) and related systems. We provide a hands-on introduction to GDDL, introducing elements of the formalism as we go, but leave the reader to consult [4] for technical details. Instead, the purpose of this paper is to investigate a number of conceptual issues that arise when considering communication between agents in such networks, both from one agent to another, and broadcasts to socially-defined groups of agents, such as the group of my friends.


title: An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy

abstract: In this paper, we present an epistemic logic approach to the compositionality of several privacy-related informationhiding/ disclosure properties. The properties considered here are anonymity, privacy, onymity, and identity. Our initial observation reveals that anonymity and privacy are not necessarily sequentially compositional; this means that even though a system comprising several sequential phases satisfies a certain unlinkability property in each phase, the entire system does not always enjoy a desired unlinkability property. We show that the compositionality can be guaranteed provided that the phases of the system satisfy what we call the independence assumptions. More specifically, we develop a series of theoretical case studies of what assumptions are sufficient to guarantee the sequential compositionality of various degrees of anonymity, privacy, onymity, and/or identity properties. Similar results for parallel composition are also discussed.


title: On the critical one component regularity for 3-D Navier-Stokes system

abstract: Given an initial data $v_0$ with vorticity $\Om_0=\na\times v_0$ in $L^{\frac 3 2},$ (which implies that $v_0$ belongs to the Sobolev space $H^{\frac12}$), we prove that the solution $v$ given by the classical Fujita-Kato theorem blows up in a finite time $T^\star$ only if, for any $p$ in $ ]4,6[$ and any unit vector $e$ in $\R^3,$ there holds $ \int_0^{T^\star}\|v(t)\cdot e\|_{\dH^{\f12+\f2p}}^p\,dt=\infty.$ We remark that all these quantities are scaling invariant under the scaling transformation of Navier-Stokes system.


title: Leveraging Physical Layer Capabilites: Distributed Scheduling in Interference Networks with Local Views

abstract: In most wireless networks, nodes have only limited local information about the state of the network, which includes connectivity and channel state information. With limited local information about the network, each node's knowledge is mismatched; therefore, they must make distributed decisions. In this paper, we pose the following question - if every node has network state information only about a small neighborhood, how and when should nodes choose to transmit? While link scheduling answers the above question for point-to-point physical layers which are designed for an interference-avoidance paradigm, we look for answers in cases when interference can be embraced by advanced PHY layer design, as suggested by results in network information theory. To make progress on this challenging problem, we propose a constructive distributed algorithm that achieves rates higher than link scheduling based on interference avoidance, especially if each node knows more than one hop of network state information. We compare our new aggressive algorithm to a conservative algorithm we have presented in [1]. Both algorithms schedule sub-networks such that each sub-network can employ advanced interference-embracing coding schemes to achieve higher rates. Our innovation is in the identification, selection and scheduling of sub-networks, especially when sub-networks are larger than a single link.


title: The \mu-ordinary locus for Shimura varieties of Hodge type

abstract: We review the Newton stratification and Ekedahl-Oort stratification on the special fiber of a smooth integral model for a Shimura variety of Hodge type at a prime of good reduction. We show that the \mu-ordinary locus coincides with the generic Ekedahl-Oort stratum, and that for any two geometric points in the \mu-ordinary locus there is an isomorphism of the attached Dieudonne modules with additional structure. As a consequence, we proof that the \mu-ordinary locus is open and dense, thus generalizing the results which were already known in the PEL-case. To prove our results we provide a method which allows to reduce the equality of strata to a group theoretic statement.


title: Explicit resolution of three dimensional terminal singularities

abstract: We prove that any three dimensional terminal singularity $P \in X$ can be resolved by a sequence of divisorial contractions with minimal discrepancies which are weighted blowups over points.


title: Simplified Factoring Algorithms for Validating Small-Scale Quantum Information Processing Technologies

abstract: Tomography has reached its practical limits in characterization of new quantum devices, and there is a need for a new means of characterizing and validating new technological advances in this field. We propose a different verification scheme based on compiled versions of Shor's factoring algorithm that may be extended to large circuits in the future. The general version Shor's algorithm has been experimentally elusive due to bottlenecks associated with the modular exponentiation operation. Experiments to date have only been able to execute compiled versions of the latter operation. We provide some new compiled circuits for experimentalists to use in the near future. We also demonstrate that an additional layer of compilation can be added using classical operations, that will reduce the number of qubits and gates needed in a given compiled circuit.


title: Dyadic Torsion of Elliptic Curves

abstract: Let $k$ be a field of characteristic $0$, and let $\alpha_{1}$, $\alpha_{2}$, and $\alpha_{3}$ be algebraically independent and transcendental over $k$. Let $K$ be the transcendental extension of $k$ obtained by adjoining the elementary symmetric functions of the $\alpha_{i}$'s. Let $E$ be the elliptic curve defined over $K$ which is given by the equation $y^{2} = (x - \alpha_{1})(x - \alpha_{2})(x - \alpha_{3})$. We define a tower of field extensions $K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ...$ by giving recursive formulas for the generators of each $K_{n}'$ over $K_{n - 1}'$. We show that $K_{\infty}'$ is a certain central subextension of the field $K(E[2^{\infty}]) := \bigcup_{n = 0}^{\infty} K(E[2^{n}])$, and a generator of $K(E[2^{\infty}])$ over $K_{\infty}'(\mu_{2})$ is given. Moreover, if we assume that $k$ contains all $2$-power roots of unity, for each $n$, we show that $K(E[2^{n}])$ contains $K_{n}'$ and is contained in a certain quadratic extension of $K_{n + 1}'$.


title: Tomography via Correlation of Noisy Measurement Records

abstract: We present methods and results of shot-by-shot correlation of noisy measurements to extract entangled state and process tomography in a superconducting qubit architecture. We show that averaging continuous values, rather than counting discrete thresholded values, is a valid tomographic strategy and is in fact the better choice in the low signal-to-noise regime. We show that the effort to measure $N$-body correlations from individual measurements scales exponentially with $N$, but with sufficient signal-to-noise the approach remains viable for few-body correlations. We provide a new protocol to optimally account for the transient behavior of pulsed measurements. Despite single-shot measurement fidelity that is less than perfect, we demonstrate appropriate processing to extract and verify entangled states and processes.


title: Dynamic Length Scales in Glass-Forming Liquids: A Inhomogeneous Molecular Dynamics Simulation Approach

abstract: In this work we numerically investigate a new method for the characterization of growing length scales associated with spatially heterogeneous dynamics of glass-forming liquids. This approach, motivated by the formulation of the inhomogeneous mode-coupling theory (IMCT) [Biroli G. et al. Phys. Rev. Lett. 2006 97, 195701], utilizes inhomogeneous molecular dynamics simulations in which the system is perturbed by a spatially modulated external potential. We show that the response of the two-point correlation function to the external field allows one to probe dynamic correlations. We examine the critical properties shown by this function, in particular the associated dynamic correlation length, that is found to be comparable to the one extracted from standardly-employed four-point correlation functions. Our numerical results are in qualitative agreement with IMCT predictions but suggest that one has to take into account fluctuations not included in this mean-field approach in order to reach quantitative agreement. Advantages of our approach over the more conventional one based on four-point correlation functions are discussed.


title: Zeeman-tuned rotational level-crossing spectroscopy in a diatomic free radical

abstract: Rotational levels of molecular free radicals can be tuned to degeneracy using laboratory-scale magnetic fields. Because of their intrinsically narrow width, these level crossings of opposite-parity states have been proposed for use in the study of parity-violating interactions and other applications. We experimentally study a typical manifestation of this system using $^{138}$BaF. Using a Stark-mixing method for detection, we demonstrate level-crossing signals with spectral width as small as 6 kHz. We use our data to verify the predicted lineshapes, transition dipole moments, and Stark shifts, and to precisely determine molecular magnetic g-factors. Our results constitute an initial proof-of-concept for use of this system to study nuclear spin-dependent parity violating effects.


title: Optical Conductivity Measurement of a Dimer-Mott to Charge-Order Phase Transition in a Two-Dimensional Quarter-Filled Organic Salt Compound

abstract: We report a novel insulator-insulator transition arising from the internal charge degrees of freedom in the two-dimensional quarter-filled organic salt beta-(meso-DMBEDT-TTF)2PF6. The optical conductivity spectra above Tc = 70 K display a prominent feature of the dimer-Mott insulator, characterized by a substantial growth of a dimer peak near 0.6 eV with decreasing temperature. The dimer-peak growth is rapidly quenched as soon as a peak of the charge order shows up below Tc, indicating a competition between the two insulating phases. Our infrared imaging spectroscopy has further revealed a spatially competitive electronic phases far below Tc, suggesting a nature of quantum phase transition driven by material-parameter variations.


title: Finite resolution fluctuation measurements of a trapped Bose-Einstein condensate

abstract: We consider the fluctuations in atom number that occur within finite-sized measurement cells in a trapped Bose-Einstein condensate (BEC). This approximates the fluctuation measurements made in current experiments with finite resolution in situ imaging. A numerical scheme is developed to calculate these fluctuations using the quasiparticle modes of a cylindrically symmetric three-dimensionally trapped condensate with either contact or dipole-dipole interactions (DDIs). We use this scheme to study the properties of a pancake shaped condensate using cylindrical cells. The extension of the theory to washer shaped cells with azimuthal weighting is made and used to discriminate between the low energy roton modes in a dipolar condensate according to their pro- jection of angular momentum. Our results are based on the Bogoliubov approach valid for zero and small finite temperatures.


title: The Origin of Half-Metallicity in Conjugated Electron System -- a Study on Transition Metal Doped Graphyne

abstract: We studied the mechanism of half-metallicity (HM) formation in transition metal doped (TM) conjugated carbon based structures by first-principles electronic structure simulations. It is found that the HM is a rather complex phenomenon, determined by the ligand field splitting of d-orbitals of the transition metal (TM) atoms, the exchange splitting and the number of valence electrons. Since most of the conjugated carbon based structures possess ligands with intermediate strength, the ordering of the d-orbital splitting is similar in all structures, and the HM properties evolve according to the number of valence electrons. Based on this insight we predict that Cr-, Fe-, Co-doped graphyne will show HM, while Mn- and Ni-doped graphyne will not. By tuning the number of valence electron, we are thus able to control the emergence of HM and control the energy gaps evolving in majority or minority spin channels.


title: Measurement of Optical Attenuation in Acrylic Light Guides for a Dark Matter Detector

abstract: Acrylic is a common material used in dark matter and neutrino detectors for light guides, transparent vessels, and neutron shielding, creating an intermediate medium between the target volume and photodetectors. Acrylic has low absorption within the visible spectrum and has a high capture cross section for neutrons. The natural radioactivity in photodetectors is a major source of background neutrons for low background detectors making the use of acrylic attractive for shielding and background reduction. To test the optical properties of acrylic we measured the transmittance and attenuation length of fourteen samples of acrylic from four different manufacturers. Samples were evaluated at five different wavelengths between 375 nm and 632 nm. We found that all samples had excellent transmittance at wavelengths greater than 550 nm. Transmittance was found to decrease below 550 nm. As expected, UV-absorbing samples showed a sharp decrease in transmittance below 425 nm compared to UV-transmitting samples. We report attenuation lengths for the three shortest wavelengths for comparison and discuss how the acrylic was evaluated for use in the MiniCLEAN single-phase dark matter detector.


title: Killing frames and S-curvature of homogeneous Finsler spaces

abstract: In this paper, we first deduce a formula of S-curvature of homogeneous Finsler spaces in terms of Killing vector fields. Then we prove that a homogeneous Finsler space has isotropic S-curvature if and only if it has vanishing S-curvature. In the special case that the homogeneous Finsler space is a Randers space, we give an explicit formula which coincides with the previous formula obtained by the second author using other methods.


title: Finite-field calculation of the polarizabilities and hyperpolarizabilities of Al$^{+}$

abstract: In this study, accurate static dipole polarizability and hyperpolarizability are calculated for Al$^+$ ground state 3s$^{2}$ $^{1}$S$_{0}$ and excited state $3s3p$ $^{3}$P$_{J}$ with $J$=0, 1, 2. The finite-field computations use energies obtained with the relativistic configuration interaction approach and the relativistic coupled-cluster approach. Excellent agreement with previously recommended values is found for the dipole polarizability of Al$^{+}$ ground state 3s$^{2}$ $^{1}$S$_{0}$ and excited state $3s3p$ $^{3}$P$_{0}$ as well as the hyperpolarizability of the ground state 3s$^{2}$ $^{1}$S$_{0}$. The recommended values of the dipole polarizability of the Al$^{+}$ $3s3p$ $^{3}$P$_{1}$ and $^{3}$P$_{2}$ and the hyperpolarizability of Al$^{+}$ $3s3p$ $^{3}$P$_{0}$, $^{3}$P$_{1}$, and $^{3}$P$_{2}$ are also given. The impacts of the relativity and spin-orbit coupling are elucidated by analyzing the angular momentum dependence of the dipole polarizability and the hyperpolarizability and comparing the fully and scalar relativistic calculated data. It is shown that the impact of the relativity and spin-orbit coupling are small for the dipole polarizability but become significant for the hyperpolarizability. Finally, the black-body radiation shifts contributed by the dipole polarizability and hyperpolarizability respectively are evaluated for transitions of Al$^{+}$ 3s$^{2}$ $^{1}$S$_{0}$ to $3s3p$ $^{3}$P$_{J}$ with $J$=0, 1, 2.


title: Effects of ozone post deposition treatment on interfacial and electrical characteristics of atomic-layer-deposited Al2O3 and HfO2 films on GaSb substrates

abstract: Atomic-layer-deposited Al2O3 and HfO2 films on GaSb substrates were treated by in-situ ozone post deposition treatment (PDT). The effects of ozone PDT on the interfacial and electrical properties of Al2O3 and HfO2 gate dielectric films on GaSb substrates were investigated carefully. It is found that the dielectric quality and the interfacial properties of the Al2O3 and HfO2 films are improved by ozone PDT. After in-situ ozone PDT for 5 min, the Al2O3 and HfO2 films on GaSb substrates exhibit improved electrical and interfacial properties, such as reduced frequency dispersion, gate leakage current, border traps and interface traps. Interface trap density is reduced by ~24% for the Al2O3/GaSb stacks and ~27% for the HfO2/GaSb stacks. In-situ ozone PDT is proved to be a promising technique in improving the quality of high-k gate stacks on GaSb substrates.


title: Activity Related Variations of High-Degree p-Mode Amplitude, Width and Energy in Solar Active Regions

abstract: We study the properties of high degree p-mode oscillations in flaring and dormant ARs and compare them with those in corresponding quiet regions (QRs) to find the association of mode parameters with magnetic and flare related activities. Our analysis of several flaring and dormant ARs, showed strong association of mode amplitude, width and energy with magnetic and flare activities although their changes are combined effects of foreshortening, filling factor, magnetic activity, flare activity, and measurement uncertainties. We find that the largest decrease in mode amplitude and background power of an AR are caused by the angular distance of the AR from the solar disc centre. After correcting the mode parameters for foreshortening and filling factor, we find that the mode amplitude of flaring and dormant ARs are smaller than in corresponding QRs, and decreases with increasing MAI suggesting a larger mode power suppression in ARs with stronger magnetic fields. The mode widths in ARs are larger than in corresponding QRs and increase with MAI, indicating shorter lifetimes of modes in ARs than in QRs. The largest decrease (increase) in mode amplitude (mode width) of dormant ARs is found in the five minute frequency band. The average mode energy of both the flaring and dormant ARs are smaller than in their corresponding QRs, decreasing with increasing MAI. But the average mode energy decrease rate in flaring ARs are smaller than in dormant ARs. Also, the increase in mode width rate in dormant (flaring) ARs is followed by decrease (increase) in amplitude variation rate. Furthermore, inclusion of mode corrections for MAI shows that mode amplitude and mode energy of flaring ARs increase with FI while mode width shows an opposite trend. The increase (decrease) in mode amplitude (width) is larger in the five minute and higher frequency band. Increase in width variation rate is ...


title: Neutrino clustering around spherical dark matter halos

abstract: Cold dark matter halos form within a smoothly distributed background of relic neutrinos -- at least some of which are massive and non-relativistic at late times. We calculate the accumulation of massive neutrinos around spherically collapsing cold dark matter halos in a cosmological background. We identify the physical extent of the "neutrino halo" in the spherical collapse model, which is large in comparison with the virial radius of the dark matter, and conditions under which neutrinos reaching the cold dark matter halo will remain bound to the halo at late times. We calculate the total neutrino mass and bound neutrino mass associated with isolated spherical halos for several neutrino mass hierarchies and provide fitting formulae for these quantities in terms of the cold dark matter halo mass and the masses of the individual neutrino species.


title: Temporal homogenization of linear ODEs, with applications to parametric super-resonance and energy harvest

abstract: We consider the temporal homogenization of linear ODEs of the form $\dot{x}=Ax+\epsilon P(t)x+f(t)$, where $P(t)$ is periodic and $\epsilon$ is small. Using a 2-scale expansion approach, we obtain the long-time approximation $x(t)\approx \exp(At) \left( \Omega(t)+\int_0^t \exp(-A \tau) f(\tau) \, d\tau \right)$, where $\Omega$ solves the cell problem $\dot{\Omega}=\epsilon B \Omega + \epsilon F(t)$ with an effective matrix $B$ and an explicitly-known $F(t)$. We provide necessary and sufficient condition for the accuracy of the approximation (over a $\mathcal{O}(\epsilon^{-1})$ time-scale), and show how $B$ can be computed (at a cost independent of $\epsilon$). As a direct application, we investigate the possibility of using RLC circuits to harvest the energy contained in small scale oscillations of ambient electromagnetic fields (such as Schumann resonances). Although a RLC circuit parametrically coupled to the field may achieve such energy extraction via parametric resonance, its resistance $R$ needs to be smaller than a threshold $\kappa$ proportional to the fluctuations of the field, thereby limiting practical applications. We show that if $n$ RLC circuits are appropriately coupled via mutual capacitances or inductances, then energy extraction can be achieved when the resistance of each circuit is smaller than $n\kappa$. Hence, if the resistance of each circuit has a non-zero fixed value, energy extraction can be made possible through the coupling of a sufficiently large number $n$ of circuits ($n\approx 1000$ for the first mode of Schumann resonances and contemporary values of capacitances, inductances and resistances). The theory is also applied to the control of the oscillation amplitude of a (damped) oscillator.


title: Lattice NRQCD study of in-medium bottomonium states using $N_f = 2+1, 48^3 \times 12$ HotQCD configurations

abstract: The behavior of bottomonium state correlators at non-zero temperature, $140.4 (\beta = 6.664) \le T \le 221 (\beta = 7.280)$ (MeV), where the transition temperature is $154(9)$ (MeV), is studied, using lattice NRQCD on $48^3 \times 12$ HotQCD HiSQ action configurations with light dynamical $N_f = 2 + 1$ ($m_{u,s}/m_s = 0.05$) staggered quarks. In order to understand finite temperature effects on quarkonium states, zero temperature behavior of bottomonium correlators is compared based on $32^4$ ($\beta = 6.664, 6.800$ and $6.950$) and $48^3 \times 64$ ($\beta = 7.280)$ lattices. We find that temperature effects on S-wave bottomonium states are small but P-wave bottomonium states show a noticeable temperature dependence above the transition temperature.


title: Chromospheric Doppler Velocity Oscillations in a Sunspot

abstract: We analyse the chromospheric Doppler velocity oscillations in a sunspot using the high resolution spectral observations obtained from the Fast Imaging Solar Spectrograph(FISS) of the New Solar Telescope at the Big Bear Solar Observatory. The Doppler velocity maps are constructed from the bisectors of the spectral observations. The time series analysis of Doppler velocity maps show enhanced power in the sunspot umbra at higher frequencies and in the penumbra at lower frequencies. We find that the peak power frequency decreases gradually from the umbra to outward.


title: Boundary Value Problems for a Family of Domains in the Sierpinski Gasket

abstract: For a family of domains in the Sierpinski gasket, we study harmonic functions of finite energy, characterizing them in terms of their boundary values, and study their normal derivatives on the boundary. We characterize those domains for which there is an extension operator for functions of finite energy. We give an explicit construction of the Green's function for these domains.


title: Seismology of Flaring and Dormant Active Regions

abstract: We study photospheric and sub-photospheric properties of active and quiet regions observed during 11-17 February 2011 including the first X-class flare X2.2 of the solar cycle 24 which occurred in the active region NOAA 11158 on 15 February 2011. The p-mode parameters and sub-photospheric flows are computed from the ring-diagrams and inversions. We found larger frequency shifts in active regions than quiet regions. The active region NOAA 11158 shows stronger twisted sub-photospheric flows than dormant active regions. The kinetic helicity density of sub-photospheric flows of the active region NOAA 11158 shows different structure on the flare day than the pre- and post flare days.


title: Frequency Modulation Spectroscopy at High Modulation Depth in an Indium Atomic Beam

abstract: We present a detailed analysis of an application of frequency modulation (FM) spectroscopy in the high modulation depth limit. We have recently completed and reported a measurement of the Stark shift in the indium $5p_{1/2}\rightarrow 6s_{1/2}$ 410 nm transition using this spectroscopy method [Ranjit, et al. Phys. Rev. A 87, 032506 (2013)]. FM spectroscopy proved essential to resolve spectroscopic features in an atomic beam where the optical depth was $\sim 10^{-3}$. A dual-modulation scheme is described which ensures truly background-free FM signals even in the low-density limit. Lock-in detection of the FM signal was accomplished using both the fundamental (1f) and second-harmonic (2f) modulation frequencies. A derivation of both the 1f and 2f signal line shapes in the high-modulation-depth limit is presented. These line shapes form the basis for quantitative fits to a wide variety of experimental FM spectra.


title: Ramsey precompact expansions of homogeneous directed graphs

abstract: In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of homogeneous directed graphs. In this paper, we show that the age of any homogeneous directed graph allows a Ramsey precompact expansion. Moreover, we verify the relative expansion properties and consequently describe the respective universal minimal flows.


title: Representation of integers by a family of cubic forms in seven variables II

abstract: In an earlier paper [4], we derived asymptotic formulas for the number of representations of zero and of large positive integers by the cubic forms in seven variables which can be written as $L_1(x_1,x_2,x_3) Q_1(x_1,x_2,x_3)+ L_2(x_4,x_5,x_6) Q_2(x_4,x_5,x_6) + a_7 x_7^3$ where $L_1$ and $L_2$ are linear forms, $Q_1$ and $Q_2$ are quadratic forms and $a_7$ is a non-zero integer and for which certain quantities related to $L_1Q_1$ and $L_2Q_2$ were non-zero. In this paper, we consider the case when one or both of these quantities is zero but $L_1Q_1$ and $L_2Q_2$ are still nondegenerate cubic forms in three variables.


title: Measurement of $H(z)$ and $D_A(z)$ from the two-dimensional power spectrum of Sloan Digital Sky Survey luminous red galaxies

abstract: We present a method to measure the Hubble parameter $H(z)$ and the angular diameter distance $D_A(z)$ simultaneously from the two-dimensional matter power spectrum from galaxy surveys with broad sky coverage. We validate this method by applying it to the LasDamas mock galaxy catalogs. Then we apply this method to Sloan Digital Sky Survey (SDSS) Data Release 7 and obtain measurements of $\Omega_mh^2=0.1268 \pm 0.0085$, $H(z=0.35)=81.3\pm 3.8$km/s/Mpc, $D_A(z=0.35) = 1037\pm44$Mpc, without assuming a dark energy model or a flat universe. We also find that the derived parameters $H(0.35)r_s(z_d)/c=0.0431 \pm 0.0018$ and $D_A(0.35)/r_s(z_d)=6.48 \pm 0.25$. These are in excellent agreement with similar measurements from the two-dimensional correlation function of the same data.


title: Superluminal Vector in Ghost-free Massive Gravity

abstract: We present a classical analysis on the issue of vector superluminality in the decoupling limit ghost-free massive gravity with a Minkowski reference metric. We show explicitly in the Lorenz gauge that the theory is free of superluminal vector excitations around a nontrivial solution at the cubic order in the fields. In the same gauge, we demonstrate that superluminal vector modes arise at the quartic order and compute some superluminal propagating solutions. We then generalize our findings to all orders in a gauge-independent way. We check the physical consistency of the vector superluminalities, arguing that they are not physically detectable in the perturbation theory but could be trusted classically in the strong coupling region. Nevertheless, these superluminalities involve only low frequency group and phase velocities and are unable to determine the acausality of the theory.


title: Minkowski structure for purity and entanglement of Gaussian bipartite states

abstract: The relation between the symplectic and Lorentz groups is explored to investigate entanglement features in a two-mode bipartite Gaussian state. We verify that the correlation matrix of arbitrary Gaussian states can be associated to a hyperbolic space with a Minkowski metric, which is divided in two regions - separablelike and entangledlike, in equivalence to timelike and spacelike in special relativity. This correspondence naturally allows the definition of two insightful invariant squared distances measures - one related to the purity and another related to amount of entanglement. The second distance allows us to define a measure for entanglement in terms of the invariant interval between the given state and its closest separable state, given in a natural manner without the requirement of a minimization procedure.


title: A Liouville theorem for the planer Navier-Stokes equations with the no-slip boundary condition and its application to a geometric regularity criterion

abstract: We establish a Liouville type result for a backward global solution to the Navier-Stokes equations in the half plane with the no-slip boundary condition. No assumptions on spatial decay for the vorticity nor the velocity field are imposed. We study the vorticity equations instead of the original Navier-Stokes equations. As an application, we extend the geometric regularity criterion for the Navier-Stokes equations in the three-dimensional half space under the no-slip boundary condition.


title: Radiative emission of neutrino pair from nucleus and inner core electrons in heavy atoms

abstract: Radiative emission of neutrino pair (RENP) from atomic states is a new tool to experimentally investigate undetermined neutrino parameters such as the smallest neutrino mass, the nature of neutrino masses (Majorana vs Dirac), and their CP properties. We study effects of neutrino pair emission either from nucleus or from inner core electrons in which the zero-th component of quark or electron vector current gives rise to large coupling. Both the overall rate and the spectral shape of photon energy are given for a few cases of interesting target atoms. Calculated rates exceed those of previously considered target atoms by many orders of magnitudes.


title: On the F-rationality and cohomological properties of matrix Schubert varieties

abstract: We characterize complete intersection matrix Schubert varieties, generalizing the classical result on one-sided ladder determinantal varieties. We also give a new proof of the F-rationality of matrix Schubert varieties. Although it is known that such varieties are F-regular (hence F-rational) by the global F-regularity of Schubert varieties, our proof is of independent interest since it does not require the Bott-Samelson resolution. As a consequence, this provides an alternative proof of the classical fact that Schubert varieties in flag varieties are normal and have rational singularities.


title: A possible Harappan Astronomical Observatory at Dholavira

abstract: Astronomy arises very early in a civilization and evolves as the civilization advances. It is therefore reasonable to assume that a vibrant knowledge of astronomy would have been a feature of a civilization the size of the Harappan Civilization. We suggest that structures dedicated to astronomy existed in every major Harappan city. One such city was Dholavira, an important trading port that was located on an island in what is now the Rann of Kutch during the peak of the Harappan Civilization. We have analyzed an unusual structure at Dholavira that includes two circular rooms. Upon assuming strategically-placed holes in their ceilings we examine the internal movement of sunlight within these rooms and suggest that the larger structure of which they formed a part could have functioned as an astronomical observatory.


title: A time continuation based fast approximate algorithm for compressed sensing related optimization

abstract: Recently, significant connections between compressed sensing problems and optimization of a particular class of functions relating to solutions of Hamilton-Jacobi equation was discovered. In this paper we introduce a fast approximate algorithm to optimize this particular class of functions and subsequently find the solution to the compressed sensing problem. Although we emphasize that the methodology of our algorithm finds an approximate solution, numerical experiments show that our algorithm perfectly recovers the solution when the solution is relatively sparse with respect to the number of measurements. In these scenarios, the recovery is extremely fast compare to other methods available. Numerical experiments also demonstrate that the algorithm exhibits a sharp phase transition in success rate of recovery of the solution to compressed sensing problems as sparsity of solution varies. The algorithm proposed here is parameter free (except a tolerance parameter due to numerical machine precision), and very easy to implement.


title: Minority-spin $t_{2g}$ states and the degree of spin polarization in ferromagnetic metallic La$_{2-2x}$Sr$_{1+2x}$Mn$_2$O$_7$ ($x=0.38$)

abstract: Using angle-resolved photoemission spectroscopy (ARPES), we investigate the electronic band structure and Fermi surface of ferromagnetic La$_{2-2x}$Sr$_{1+2x}$Mn$_2$O$_7$ ($x=0.38$). Besides the expected two hole pockets and one electron pocket of majority-spin $e_g$ electrons, we show an extra electron pocket around the $\Gamma$ point. A comparison with first-principles spin-polarized band-structure calculations shows that the extra electron pocket arises from $t_{2g}$ electrons of minority-spin character, indicating this compound is not a complete half-metallic ferromagnet, with similar expectations for lightly-doped cubic manganites. However, our data suggest that a complete half-metallic state is likely to be reached as long as the bandwidth is mildly reduced. Moreover, the band-resolved capability of ARPES enables us to investigate the band structure effects on spin polarization for different experimental conditions.


title: Mixing in high-dimensional expanders

abstract: We prove a generalization of the Expander Mixing Lemma for arbitrary (finite) simplicial complexes. The original lemma states that concentration of the Laplace spectrum of a graph implies combinatorial expansion (which is also referred to as mixing, or quasi-randomness). Recently, an analogue of this Lemma was proved for simplicial complexes of arbitrary dimension, provided that the skeleton of the complex is complete. More precisely, it was shown that a concentrated spectrum of the simplicial Hodge Laplacian implies a similar type of expansion as in graphs. In this paper we remove the assumption of a complete skeleton, showing that concentration of the Laplace spectra in all dimensions implies combinatorial expansion in any complex. As applications we show that spectral concentration implies Gromov's geometric overlap property, and can be used to bound the chromatic number of a complex.


title: Strange and multi-strange particle production in Pb-Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV with ALICE

abstract: We present ALICE results on strange and multi-strange hadron production as a function of centrality in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 2.76 TeV at the LHC. Their transverse momentum spectra, yields and particle ratios are compared to the corresponding measurements in pp collisions to address strangeness enhancement and high $p_{\rm T}$ particle suppression. The results are also compared to measurements at RHIC and SPS energies.


title: Modular Transformations and Verlinde Formulae for Logarithmic $(p_+,p_-)$-Models

abstract: The $(p_+,p_-)$ singlet algebra is a vertex operator algebra that is strongly generated by a Virasoro field of central charge $1-6(p_+-p_-)^2/p_+p_-$ and a single Virasoro primary field of conformal weight $(2p_+-1)(2p_--1)$. Here, the modular properties of the characters of the uncountably many simple modules of each singlet algebra are investigated and the results used as the input to a continuous analogue of the Verlinde formula to obtain the "fusion rules" of the singlet modules. The effect of the failure of fusion to be exact in general is studied at the level of Verlinde products and the rules derived are lifted to the $(p_+,p_-)$ triplet algebras by regarding these algebras as simple current extensions of their singlet cousins. The result is a relatively effortless derivation of the triplet "fusion rules" that agrees with those previously proposed in the literature.


title: Spin-Spin Correlation Enhanced by Impurities in a Frustrated Two-leg Spin Ladder

abstract: We theoretically study a spin-spin correlation enhanced by non-magnetic impurities in a frustrated two-leg spin ladder. The frustration is introduced by the next-nearest-neighbor antiferromagnetic interaction in the leg direction in the antiferromagnetic two-leg spin ladder. The spin-spin correlation function around impurity site is calculated by the density-matrix renormalization-group method. We find that the spin-spin correlation is enhanced around impurity site with the wavenumber reflecting the frustration. As increasing the frustration, the wavenumber is shifted from commensurate to incommensurate. We discuss several experimental results on BiCu2PO6 in the light of our theory.


title: Barrier Certificates Revisited

abstract: A barrier certificate can separate the state space of a con- sidered hybrid system (HS) into safe and unsafe parts ac- cording to the safety property to be verified. Therefore this notion has been widely used in the verification of HSs. A stronger condition on barrier certificates means that less expressive barrier certificates can be synthesized. On the other hand, synthesizing more expressive barrier certificates often means high complexity. In [9], Kong et al consid- ered how to relax the condition of barrier certificates while still keeping their convexity so that one can synthesize more expressive barrier certificates efficiently using semi-definite programming (SDP). In this paper, we first discuss how to relax the condition of barrier certificates in a general way, while still keeping their convexity. Particularly, one can then utilize different weaker conditions flexibly to synthesize dif- ferent kinds of barrier certificates with more expressiveness efficiently using SDP. These barriers give more opportuni- ties to verify the considered system. We also show how to combine two functions together to form a combined barrier certificate in order to prove a safety property under consid- eration, whereas neither of them can be used as a barrier certificate separately, even according to any relaxed condi- tion. Another contribution of this paper is that we discuss how to discover certificates from the general relaxed condi- tion by SDP. In particular, we focus on how to avoid the unsoundness because of numeric error caused by SDP with symbolic checking


title: Algebraic combinatorial geometry: the polynomial method in arithmetic combinatorics, incidence combinatorics, and number theory

abstract: Arithmetic combinatorics is often concerned with the problem of bounding the behaviour of arbitrary finite sets in a group or ring with respect to arithmetic operations such as addition or multiplication. Similarly, combinatorial geometry is often concerned with the problem of bounding the behaviour of arbitrary finite collections of geometric objects such as points, lines, or circles with respect to geometric operations such as incidence or distance. Given the presence of arbitrary finite sets in these problems, the methods used to attack these problems have primarily been combinatorial in nature. In recent years, however, many outstanding problems in these questions have been solved by algebraic means (and more specifically, using tools from algebraic geometry and/or algebraic topology), giving rise to an emerging set of techniques which is now known as the polynomial method. While various instances of the polynomial method have been known for decades (e.g. Stepanov's method, the combinatorial nullstellensatz, or Baker's theorem), the general theory of this method is still in the process of maturing; in particular, the limitations of the polynomial method are not well understood, and there is still considerable scope to apply deeper results from algebraic geometry or algebraic topology to strengthen the method further. In this survey we present several of the known applications of these methods, focusing on the simplest cases to illustrate the techniques. We will assume as little prior knowledge of algebraic geometry as possible.


title: Temperature Dependence of Alkali-Metal Rattling Dynamics in the {\beta}-Pyrochlores, AOs2O6 (A = K, Rb, Cs), from MD Simulation

abstract: We investigate the temperature response of the alkali-metal rattling modes in {\beta}-pyrochlores, AOs2O6 (A = K, Rb, Cs), from the results of ab initio molecular dynamics (MD) simulations performed at 20 K, 100 K, and 300 K. Our results show that the temperature response of the T1u mode is clearly different from that of the T2g mode for all three pyrochlores. In this regard, two features are of particular note for both K and Rb; (1) the T1u mode exhibits a distinctly stronger softening response with decreasing temperature compared to the T2g mode, and (2) the T1u mode becomes stronger and sharper with decreasing temperature. These two findings suggest that the T1u mode is significantly more anharmonic and sensitive to the cage dynamics than the T2g mode. Examination of the local potentials around the alkali-metal atoms reveals that K has the flattest and most anharmonic potential at all temperatures while Cs exhibits the narrowest potential. The temperature dependence of the local potentials reveals that, for K, the potential at a higher temperature is not a simple extrapolation to higher energy of that at a lower temperature. Instead, we find significant reconstruction of the potential at different temperatures. Finally, we explore the temperature response of the coupling between the alkali metals and find a complex temperature dependence which suggests that the origin of the coupling may be more complex than a pure Coulomb interaction. We also find an unexpected increase in the static disorder of the system at low temperatures for the K and Rb pyrochlores.


title: Low frequency noise in chemical vapor deposited MoS2

abstract: Inherent low frequency noise is a ubiquitous phenomenon, which limits operation and performance of electronic devices and circuits. This limiting factor is very important for nanoscale electronic devices, such as 2D semiconductor devices. In this work, low frequency noise in high mobility single crystal MoS2 grown by chemical vapor deposition (CVD) is investigated. The measured low frequency noise follows an empirical formulation of mobility fluctuations with Hooge' s parameter ranging between 1.44E-3 and 3.51E-2. Small variation of Hooge's parameter suggests superior material uniformity and processing control of CVD grown MoS2 devices than reported single-layer MoS2 FET. The extracted Hooge's parameter is one order of magnitude lower than CVD grown graphene. The Hooge's parameter shows an inverse relationship with the field mobility.


title: Secret Key Cryptosystem based on Non-Systematic Polar Codes

abstract: Polar codes are a new class of error correcting linear block codes, whose generator matrix is specified by the knowledge of transmission channel parameters, code length and code dimension. Moreover, regarding computational security, it is assumed that an attacker with a restricted processing power has unlimited access to the transmission media. Therefore, the attacker can construct the generator matrix of polar codes, especially in the case of Binary Erasure Channels, on which this matrix can be easily constructed. In this paper, we introduce a novel method to keep the generator matrix of polar codes in secret in a way that the attacker cannot access the required information to decode the intended polar code. With the help of this method, a secret key cryptosystem is proposed based on non-systematic polar codes. In fact, the main objective of this study is to achieve an acceptable level of security and reliability through taking advantage of the special properties of polar codes. The analyses revealed that our scheme resists the typical attacks on the secret key cryptosystems based on linear block codes. In addition, by employing some efficient methods, the key length of the proposed scheme is decreased compared to that of the previous cryptosystems. Moreover, this scheme enjoys other advantages including high code rate, and proper error performance as well.


title: Systemic Risk Identification, Modelling, Analysis, and Monitoring: An Integrated Approach

abstract: Research capacity is critical in understanding systemic risk and informing new regulation. Banking regulation has not kept pace with all the complexities of financial innovation. The academic literature on systemic risk is rapidly expanding. The majority of papers analyse a single source or a consolidated source of risk and its effect. A fraction of publications quantify systemic risk measures or formulate penalties for systemically important financial institutions that are of practical regulatory relevance. The challenges facing systemic risk evaluation and regulation still persist, as the definition of systemic risk is somewhat unsettled and that affects attempts to provide solutions. Our understanding of systemic risk is evolving and the awareness of data relevance is rising gradually; this challenge is reflected in the focus of major international research initiatives. There is a consensus that the direct and indirect costs of a systemic crisis are enormous as opposed to preventing it, and that without regulation the externalities will not be prevented; but there is no consensus yet on the extent and detail of regulation, and research expectations are to facilitate the regulatory process. This report outlines an integrated approach for systemic risk evaluation based on multiple types of interbank exposures through innovative modelling approaches as tensorial multilayer networks, suggests how to relate underlying economic data and how to extend the network to cover financial market information. We reason about data requirements and time scale effects, and outline a multi-model hypernetwork of systemic risk knowledge as a scenario analysis and policy support tool. The argument is that logical steps forward would incorporate the range of risk sources and their interrelated effects as contributions towards an overall systemic risk indicator, would perform an integral analysis of ...


title: Infrared-Improved Soft-wall AdS/QCD Model for Mesons

abstract: We construct and investigate an infrared-improved soft-wall AdS/QCD model for mesons. Both linear confinement and chiral symmetry breaking of low energy QCD are well characterized in such an infrared-improved soft-wall AdS/QCD model. The model enables us to obtain a more consistent numerical prediction for the mass spectra of resonance scalar, pseudoscalar, vector and axial-vector mesons. In particular, the predicted mass for the lightest ground state scalar meson shows a good agreement with the experimental data. The model also provides a remarkable check for the Gell-Mann-Oakes-Renner relation and a sensible result for the space-like pion form factor.


title: On the interpretation of new late B- and early A-type periodic variable stars in NGC 3766

abstract: We investigate possible interpretations of the new periodic B- and A-type variable stars discovered in NGC 3766. They lie in the region of the Hertzsprung-Russell diagram between slowly pulsating B and delta Sct stars, a region where no pulsation is predicted by standard models of pulsating stars. We show that the two other possible causes of periodic light curve variations, rotational modulation and binarity, cannot provide a satisfactory explanation for all the properties observed in those stars either. The question of their origin is thus currently an open issue.


title: On the zeros of the $k$-th derivative of the Riemann zeta function under the Riemann hypothesis

abstract: The number of zeros and the distribution of the real part of non-real zeros of the derivatives of the Riemann zeta function have been investigated by Berndt, Levinson, Montgomery, and Akatsuka. Berndt, Levinson, and Montgomery investigated the general case, meanwhile Akatsuka gave sharper estimates for the first derivative of the Riemann zeta function under the truth of the Riemann hypothesis. In this paper, we generalize the results of Akatsuka to the $k$-th derivative (for positive integer $k$) of the Riemann zeta function.


title: Local convertibility of the ground state of the perturbed Toric code

abstract: We present analytical and numerical studies of the behaviour of the $\alpha$-Renyi entropies in the Toric code in presence of several types of perturbations aimed at studying the simulability of these perturbations to the parent Hamiltonian using local operations and classical communications (LOCC) - a property called local-convertibility. In particular, the derivatives, with respect to the perturbation parameter, present different signs for different values of $\alpha$ within the topological phase. From the information-theoretic point of view, this means that such ground states cannot be continuously deformed within the topological phase by means of catalyst assisted local operations and classical communications (LOCC). Such LOCC differential convertibility is on the other hand always possible in the trivial disordered phase. The non-LOCC convertibility is remarkable because it can be computed on a system whose size is independent of correlation length. This method can therefore constitute an experimentally feasible witness of topological order.


title: Development of a sub-milimeter position sensitive gas detector

abstract: A position sensitive thin gap chamber has been developed. The position resolution was measured using the cosmic muons. This paper presents the structure of this detector, position resolution measurement method and results.


title: Manipulating femtosecond magnetism through pressure: First-principles calculations

abstract: Inspired by a recent pressure experiment in fcc Ni, we propose a simple method to use pressure to investigate the laser-induced femtosecond magnetism. Since the pressure effect on the electronic and magnetic properties can be well controlled experimentally, this leaves little room for ambiguity when compared with theory. Here we report our theoretical pressure results in fcc Ni: Pressure first suppresses the spin moment reduction, and then completely diminishes it; further increase in pressure to 40 GPa induces a demagnetization-to-magnetization transition. To reveal its microscopic origin, we slide through the L-U line in the Brillouin zone and find two essential transitions are responsible for this change, where the pressure lowers two valence bands, resulting in an off-resonant excitation and thus a smaller spin moment reduction. In the spin-richest L-W-W' plane, two spin contours are formed; as pressure increases, the contour size retrieves and its intensity is reduced to zero eventually, fully consistent with the spin-dipole factor prediction. These striking features are detectable in time- and spin-resolved photoemission experiments.


title: Quasi Periodic Oscillations in a Radiative Transonic Flow: Results of a Coupled Monte Carlo-TVD Simulation

abstract: Low and intermediate frequency quasi-periodic oscillations (QPOs) in black hole candidates are believed to be due to oscillations of the Comptonizing regions in an accretion flow. Assuming that the general structure of an accretion disk is a Two Component Advective Flow (TCAF), we numerically simulate the light curves emitted from an accretion disk for different accretion rates and find how the QPO frequencies vary. We use a standard Keplerian disk residing at the equatorial plane as a source of soft photons. These soft photons, after suffering multiple scattering with the hot electrons of the low angular momentum, sub-Keplerian, flow emerge out as hard radiation. The hydrodynamic and thermal properties of the electron cloud is simulated using a Total Variation Diminishing (TVD) code. The TVD code is then coupled with a radiative transfer code which simulates the energy exchange between the electron and radiation using Monte Carlo technique. The resulting localized heating and cooling are included also. We find that the QPO frequency increases and the spectrum becomes softer as we increase the Keplerian disk rate. However, the spectrum becomes harder if we increase the sub-Keplerian accretion rate. We find that an earlier prediction that QPOs occur when the infall time scale roughly matches with the cooling time scale, originally obtained using a power-law cooling, remains valid even for Compton cooling. Our findings agree with the general observations of low frequency QPOs in black hole candidates.


title: p-type doping in CVD grown MoS2 using Nb

abstract: We report on the first demonstration of p-type doping in large area few-layer films of (0001)-oriented chemical vapor deposited (CVD) MoS2. Niobium was found to act as an efficient acceptor up to relatively high density in MoS2 films. For a hole density of 4 x 1020 cm-3 Hall mobility of 8.5 cm2V-1s-1 was determined, which matches well with the theoretically expected values. XRD and Raman characterization indicate that the film had good out-of-plane crystalline quality. Absorption measurements showed that the doped sample had similar characteristics to high-quality undoped samples, with a clear absorption edge at 1.8 eV. This demonstration of p-doping in large area epitaxial MoS2 could help in realizing a wide variety of electrical and opto-electronic devices based on layered metal dichalcogenides.


title: Giant Low Surface Brightness Galaxies : Evolution in Isolation

abstract: Giant Low Surface Brightness (GLSB) galaxies are amongst the most massive spiral galaxies that we know of in our Universe. Although they fall in the class of late type spiral galaxies, their properties are far more extreme. They have very faint stellar disks that are extremely rich in neutral hydrogen gas but low in star formation and hence low in surface brightness. They often have bright bulges that are similar to those found in early type galaxies. The bulges can host low luminosity Active Galactic Nuclei (AGN) that have relatively low mass black holes. GLSB galaxies are usually isolated systems and are rarely found to be interacting with other galaxies. In fact many GLSB galaxies are found under dense regions close to the edges of voids. These galaxies have very massive dark matter halos that also contribute to their stability and lack of evolution. In this paper we briefly review the properties of this unique class of galaxies and conclude that both their isolation and their massive dark matter halos have led to the low star formation rates and the slower rate of evolution in these galaxies.


title: Sign structure and ground state properties for a spin-$S$ $t$-$J$ chain

abstract: The antiferromagnetic Heisenberg spin chain of odd spin $S$ is in the Haldane phase with several defining physical properties, such as thermodynamical ground-state degeneracy, symmetry-protected edge states, and nonzero string order parameter. If nonzero hole concentration $\delta$ and hole hopping energy $t$ are considered, the spin chain is replaced by a spin-$S$ $t$-$J$ chain. The motivation of this paper is to generalize the discussions of the Haldane phase to the doped spin chain. The \emph{first result} of this paper is that, for the model considered here, the $\mathbb{Z}_2$ sign structure in the usual Ising basis can be totally removed by two consecutive unitary transformations consisting of a spatially local one and a nonlocal one. Direct from the sign structure, the \emph{second result} of this paper is that the Marshall theorem and the Lieb-Mattis theorem for pure spin systems are generalized to the $t$-$J$ chain for arbitrary $S$ and $\delta$. A corollary of the theorem provides us with the ground-state degeneracy in the thermodynamic limit. The \emph{third result} of this paper is about the phase diagram. We show that the defining properties of the Haldane phase survive in the small $t/J$ limit. The large $t/J$ phase supports a gapped spin sector with similar properties (ground-state degeneracy, edge state, and string order parameter) of the Haldane chain, although the charge sector is gapless.


title: The existence and nature of the interstellar bow shock

abstract: We report a new diagnostic between two different states of the local interstellar medium (LISM) near our solar system using a sensitivity study constrained by several distinct and complementary observations of the LISM, solar wind, and inner heliosphere. Assuming the Interstellar Boundary Explorer (IBEX) He flow parameters for the LISM, we obtain a strength of $\sim 2.7\pm0.2$ $\mu$G and a direction pointing away from galactic coordinates $(28, 52)\pm 3^\circ$ for the interstellar magnetic field as resulting from fitting Voyager 1 & 2 in situ plasma measurements and IBEX energetic neutral atoms ribbon}. When using Ulysses parameters for the LISM He flow, we recently reported the same direction but a strength of $2.2\pm0.1$ $\mu$G. First, we notice that with Ulysses He flow, our solution is in the expected hydrogen deflection plane (HDP). In contrast, for the IBEX He flow, the solution is $\sim 20^{\circ}$ away from the corresponding HDP plane. Second, the long-term monitoring of the interplanetary H I flow speed shows a value of $\sim 26$ km/s measured at upwind from the Doppler-shift in the strong Lyman-$\alpha $ sky background emission line. All elements of diagnostics seem therefore to support Ulysses He flow parameters for the interstellar state. In that frame, we argue that reliable discrimination between superfast, subfast, or superslow states of the interstellar flow should be based on most existing in situ and remote observations used together with global modelling of the heliosphere. For commonly accepted LISM ionization rates, we show that a fast interstellar bow-shock should be standing-off upstream of the heliopause.

categories: astro-ph.SR physics.comp-ph physics.flu-dyn physics.plasm-ph physics.space-ph


title: Long term observations of B2 1215+30 with VERITAS

abstract: We report on VERITAS observations of the BL Lac object B2 1215+30 between 2008 and 2012. During this period, the source was detected at very high energies (VHE; E > 100 GeV) by VERITAS with a significance of $8.9\sigma$ and showed clear variability on time scales larger than months. In 2011, the source was found to be in a relatively bright state and a power-law fit to the differential photon spectrum yields a spectral index of $3.6 \pm 0.4_{\mathrm{stat}} \pm 0.3_{\mathrm{syst}}$ with an integral flux above 200 GeV of $(8.0 \pm 0.9_{\mathrm{stat}} \pm 3.2_{\mathrm{syst}}) \times 10^{-12}\, \mathrm{cm}^{-2} \mathrm{s}^{-1}$. No short term variability could be detected during the bright state in 2011. Multi-wavelength data were obtained contemporaneous with the VERITAS observations in 2011 and cover optical (Super-LOTIS, MDM, Swift-UVOT), X-ray (Swift-XRT), and gamma-ray (Fermi-LAT) frequencies. These were used to construct the spectral energy distribution (SED) of B2 1215+30. A one-zone leptonic model is used to model the blazar emission and the results are compared to those of MAGIC from early 2011 and other VERITAS-detected blazars. The SED can be well reproduced with model parameters typical for VHE-detected BL Lacs.


title: Doppler tomography of the circumstellar disk of {\pi} Aquarii

abstract: The work is aimed at a study of the circumstellar disk of the bright classical binary Be star {\pi} Aqr. We analysed variations of a double-peaked profile of the H{\alpha} emission line in the spectrum of {\pi} Aqr that was observed in many phases during ~40 orbital cycles in 2004--2013. We applied the Discrete Fourier Transform (DFT) method to search for periodicity in the peak intensity (V/R) ratio. Doppler tomography was used to study the structure of the disk around the primary. The dominant frequency in the power spectrum of the H{\alpha} V/R ratio is 0.011873 day^-1 that correspond to a period of 84.2(2) days and is in agreement with the earlier determined orbital period of the system, Porb=84.1 days. The V/R ratio shows a sinusoidal variation phase-locked with the orbital period. Doppler maps of all our spectra show a non-uniform structure of the disk around the primary: a ring with the inner and outer radii at Vin~ 450 km/s and Vout~ 200km/s, respectively, along with an extended stable region (spot) at V_x ~ 225 km/s and V_y~100 km/s. The disk radius of ~ 65 Rsun = 0.33 AU was estimated assuming Keplerian motion of a particle on a circular orbit at the disk outer edge.


title: Microscopic approach to coupled-channels effects on fusion

abstract: Background: Near-barrier fusion can be strongly affected by the coupling between relative motion and internal degrees of freedom of the collision partners. The time-dependent Hartree-Fock (TDHF) theory and the coupled-channels (CC) method are standard approaches to investigate this aspect of fusion dynamics. However, both approaches present limitations, such as a lack of tunnelling of the many-body wave function in the former and a need for external parameters to describe the nucleus-nucleus potential and the couplings in the latter. Method: A method combining both approaches is proposed to overcome these limitations. CC calculations are performed using two types of inputs from Hartree-Fock (HF) theory: the nucleus-nucleus potential calculated with the frozen HF method, and the properties of low-lying vibrational states and giant resonances computed from the TDHF linear response. Results: The effect of the couplings to vibrational modes is studied in the $^{40}$Ca$+^{40}$Ca and $^{56}$Ni$+^{56}$Ni systems. This work demonstrates that the main effect of these couplings is a lowering of the barrier, in good agreement with the fusion thresholds predicted by TDHF calculations. Conclusions: As the only phenomenological inputs are the choice of the internal states of the nuclei and the parameters of the energy density functional used in the HF and TDHF calculations, the method presented in this work has a broad range of possible applications, including studies of alternative couplings or reactions involving exotic nuclei.


title: Quiver Bialgebras and Monoidal Categories

abstract: We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed monoidal categories.


title: AxPUE: Application Level Metrics for Power Usage Effectiveness in Data Centers

abstract: The rapid growth of data volume brings big challenges to the data center computing, and energy efficiency is one of the most concerned problems. Researchers from various fields are now proposing solutions to green the data center operations. Power usage effectiveness metric plays an important role in the energy saving research. However, the exising usage effectiveness metrics focus on measuring the relationship between the total facility energy consumed and the IT equipment energy consumed, without reflecting the energy efficiency of applications. In this paper, we analyze the requirements of application-level metrics for power usage efficiency of the data centers, and propose two novel energy efficiency metrics to provide strong guidance and useful insight to data center design and optimization. We conduct comprehensive experiments in the practical data centers using BigDataBench, a big data benchmark suite, and the results demonstrate the rationality and efficiency of AxPUE in measuring the actual computation energy consumption in data centers.


title: Stochastic Optimization Based Study of Dimerization Kinetics

abstract: We investigate the potential of numerical algorithms to decipher the kinetic parameters involved in multi-step chemical reactions. To this end we study a dimerization kinetics of protein as a model system. We follow the dimerization kinetics using a stochastic simulation algorithm and combine it with three different optimization techniques (Genetic Algorithm, Simulated Annealing and Parallel Tempering) to obtain the rate constants involved in each reaction step. We find good convergence of the numerical scheme to the rate constants of the process. We also perform a sensitivity test on the reaction kinetic parameters to see the relative effects of the parameters for the associated profile of the monomer/dimer distribution.


title: Perturbatively improving renormalization constants

abstract: Renormalization factors relate the observables obtained on the lattice to their measured counterparts in the continuum in a suitable renormalization scheme. They have to be computed very precisely which requires a careful treatment of lattice artifacts. In this work we present a method to suppress these artifacts by subtracting one-loop contributions proportional to the square of the lattice spacing calculated in lattice perturbation theory.


title: On almost everywhere convergence of tensor product spline projections

abstract: Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $\Delta_1,\ldots,$ $\Delta_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(\Delta_1,\dots,\Delta_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $\Delta_1,\ldots,\Delta_d$ converges to $f$ almost everywhere as the mesh diameters $|\Delta_1|,\ldots, |\Delta_{d}|$ tend to zero. This extends the one-dimensional result in [Passenbrunner and Shadrin, Journal of Approximation Theory, 2014] to arbitrary dimensions. In a second step, we show that this result is optimal, i.e., given any "bigger" Orlicz class $X=\sigma(L)L(\log^+ L)^{d-1}$ with an arbitrary function $\sigma$ tending to zero at infinity, there exists a function $\varphi\in X$ and partitions of the unit cube such that the orthogonal projections of $\varphi$ do not converge almost everywhere.


title: Heterodyne Spectroscopy of Polariton Spinor Interactions

abstract: We report on spinor polariton interactions in GaAs based microcavities. This investigation is carried out by means of heterodyne polarized pump-probe spectroscopy. We show the dependence of the energy renormalization of the lower and upper polariton resonances with cavity detuning for different polariton densities. We use the exciton-photon based Gross-Pitaevskii equation to model the experiment for both lower and upper polariton modes. The theoretical results reproduce qualitatively the experimental observations revealing the magnitude and the sign of the parallel and anti-parallel spin interaction strength. We evidence the strong influence of the biexciton resonance on the anti-parallel spin polariton energy shift and provide the exciton-biexciton coupling constant. We derive our results in the lower polariton basis using Gross-Pitaevskii equation from which, we express analytically the spinor polariton interactions and identify the clear role of the biexciton resonance.


title: A Bcool spectropolarimetric survey of over 150 solar-type stars

abstract: As part of the Bcool project, over 150 solar-type stars chosen mainly from planet search databases have been observed between 2006 and 2013 using the NARVAL and ESPaDOnS spectropolarimeters on the Telescope Bernard Lyot (Pic du Midi, France) and the Canada France Hawaii Telescope (Mauna Kea, USA), respectively. These single 'snapshot' observations have been used to detect the presence of magnetic fields on 40% of our sample, with the highest detection rates occurring for the youngest stars. From our observations we have determined the mean surface longitudinal field (or an upper limit for stars without detections) and the chromospheric surface fluxes, and find that the upper envelope of the absolute value of the mean surface longitudinal field is directly correlated to the chromospheric emission from the star and increases with rotation rate and decreases with age.


title: Tunneling and Relaxation of Single Quasiparticles in a Normal-Superconductor-Normal Single Electron Transistor

abstract: We investigate the properties of a hybrid single electron transistor, involving a small superconducting island sandwiched between normal metal leads, which is driven by dc plus ac voltages. In order to describe its properties we derive from the microscopic theory a set of coupled equations. They consist of a master equation for the probability to find excess charges on the island, with rates depending on the distribution of non-equilibrium quasiparticles. Their dynamics follows from a kinetic equation which accounts for the excitation by single-electron tunneling as well as the relaxation and eventual recombination due to the interaction with phonons. Our low-temperature results compare well with recent experimental findings obtained for ac-driven hybrid single-electron turnstiles.


title: Pre-main-sequence population in NGC 1893 region: X-ray properties

abstract: Continuing the attempt to understand the properties of the stellar content in the young cluster NGC 1893 we have carried out a comprehensive multi-wavelength study of the region. The present study focuses on the X-ray properties of T-Tauri Stars (TTSs) in the NGC 1893 region. We found a correlation between the X-ray luminosity, $L_X$, and the stellar mass (in the range 0.2$-$2.0 \msun) of TTSs in the NGC 1893 region, similar to those reported in some other young clusters, however the value of the power-law slope obtained in the present study ($\sim$ 0.9) for NGC 1893 is smaller than those ($\sim$1.4 - 3.6) reported in the case of TMC, ONC, IC 348 and Chameleon star forming regions. However, the slope in the case of Class III sources (Weak line TTSs) is found to be comparable to that reported in the case of NGC 6611 ($\sim$ 1.1). It is found that the presence of circumstellar disks has no influence on the X-ray emission. The X-ray luminosity for both CTTSs and WTTSs is found to decrease systematically with age (in the range $\sim $ 0.4 Myr - 5 Myr). The decrease of the X-ray luminosity of TTSs (slope $\sim$ -0.6) in the case of NGC 1893 seems to be faster than observed in the case of other star-forming regions (slope -0.2 to -0.5). There is indication that the sources having relatively large NIR excess have relatively lower $L_X$ values. TTSs in NGC 1893 do not follow the well established X-ray activity - rotation relation as in the case of main-sequence stars.


title: Topological instabilities in families of semilinear parabolic problems subject to nonlinear perturbations

abstract: In this article it is proved that the dynamical properties of a broad class of semilinear parabolic problems are sensitive to arbitrarily small but smooth perturbations of the nonlinear term, when the spatial dimension is either equal to one or two. This topological instability is shown to result from a local deformation of the global bifurcation diagram associated with the corresponding elliptic problems. Such a deformation is shown to systematically occur via the creation of either a multiple-point or a new fold-point on this diagram when an appropriate small perturbation is applied to the nonlinear term. More precisely, it is shown that for a broad class of nonlinear elliptic problems, one can always find an arbitrary small perturbation of the nonlinear term, that generates a local S on the bifurcation diagram whereas the latter is e.g. monotone when no perturbation is applied; substituting thus a single solution by several ones. Such an increase in the local multiplicity of the solutions to the elliptic problem results then into a topological instability for the corresponding parabolic problem. The rigorous proof of the latter instability result requires though to revisit the classical concept of topological equivalence to encompass important cases for the applications such as semi-linear parabolic problems for which the semigroup may exhibit non-global dissipative properties, allowing for the coexistence of blow-up regions and local attractors in the phase space; cases that arise e.g. in combustion theory. A revised framework of topological robustness is thus introduced in that respect within which the main topological instability result is then proved for continuous, locally Lipschitz but not necessarily $C^1$ nonlinear terms, that prevent in particular the use of linearization techniques, and for which the family of semigroups may exhibit non-dissipative properties.


title: Simultaneous Information and Energy Transfer in Large-Scale Networks with/without Relaying

abstract: Energy harvesting (EH) from ambient radio-frequency (RF) electromagnetic waves is an efficient solution for fully autonomous and sustainable communication networks. Most of the related works presented in the literature are based on specific (and small-scale) network structures, which although give useful insights on the potential benefits of the RF-EH technology, cannot characterize the performance of general networks. In this paper, we adopt a large-scale approach of the RF-EH technology and we characterize the performance of a network with random number of transmitter-receiver pairs by using stochastic-geometry tools. Specifically, we analyze the outage probability performance and the average harvested energy, when receivers employ power splitting (PS) technique for "simultaneous" information and energy transfer. A non-cooperative scheme, where information/energy are conveyed only via direct links, is firstly considered and the outage performance of the system as well as the average harvested energy are derived in closed form in function of the power splitting. For this protocol, an interesting optimization problem which minimizes the transmitted power under outage probability and harvesting constraints, is formulated and solved in closed form. In addition, we study a cooperative protocol where sources' transmissions are supported by a random number of potential relays that are randomly distributed into the network. In this case, information/energy can be received at each destination via two independent and orthogonal paths (in case of relaying). We characterize both performance metrics, when a selection combining scheme is applied at the receivers and a single relay is randomly selected for cooperative diversity.


title: On local generators of affine distributions on Riemannian manifolds

abstract: Using a coordinate free characterization of hyperplanes intersection, we provide explicitly a set of local generators for a smooth affine distribution given by those smooth vector fields $X\in\mathfrak{X}(U)$ defined eventually on an open subset $U\subseteq M$ of a smooth Riemannian manifold $(M,g)$, that verifies the relations $g(X,X_1)=\dots =g(X,X_k)=0$, $g(X,Y_1)=h_1, \dots, g(X,Y_p)=h_p$, where $X_1,\dots, X_k, Y_1, \dots, Y_p \in\mathfrak{X}(U)$, and respectively $h_1,\dots, h_p \in \mathcal{C}^{\infty}(U,\mathbb{R})$, are a-priori given quantities. In the case when $X_1,\dots, X_k, Y_1, \dots, Y_p$ are gradient vector fields associated with some smooth functions $I_1,\dots, I_k, D_1, \dots, D_p \in \mathcal{C}^{\infty}(U,\mathbb{R})$, i.e., $X_1 =\nabla_{g}I_1$, $\dots$, $X_k = \nabla_{g}I_k$, $Y_1 = \nabla_{g}D_1$, $\dots, Y_p = \nabla_{g}D_p$, then we obtain a set of local generators for the smooth affine distribution of smooth vector fields which conserve the quantities $I_1, \dots, I_k$ and dissipate the scalar quantities $D_1, \dots, D_p$ with prescribed rates $h_1, \dots, h_p$.