title: Constructing vacuum spacetimes by generating manifolds of revolution around a curve

abstract: We develop a general perturbative analysis on vacuum spacetimes which can be constructed by generating manifolds of revolution around a curve, and apply it to the Schwarzschild metric. The following different perturbations are carried out separately: 1) Non-rotating 2-spheres are added along a plane curve slightly deviated from the ``Schwarzschild line''; 2) General non-rotating topological 2-spheres are added along the ``Schwarzschild line'' 3) Slow-rotating 2-spheres are added along the ``Schwarzschild line''. For (1), we obtain the first order vacuum solution and show that no higher order solution exists. This linearised vacuum solution turns out however to be just a gauge transformation of the Schwarzschild metric. For (2), we solve the general linearised vacuum equations under several special cases. In particular, there exist linearised vacuum solutions with signature-changing metrics that contain closed timelike curves (though these do not correspond to adding topological 2-spheres). For (3), we find that the first order vacuum solution is equivalent to the slowly rotating Kerr metric. This is hence a much simpler and geometrically insightful derivation as compared to the gravitomagnetic one, where this rotating-shells construction is a direct manifestation of the frame-dragging phenomenon. We also show that the full Kerr however, cannot be obtained via adding rotating ellipsoids.


title: On row sequences of Pad\'e and Hermite-Pad\'e approximation

abstract: A survey of direct and inverse type results for row sequences of Pad\'e and Hermite-Pad\'e approximation is given. A conjecture is posed on an inverse type result for type II Hermite-Pad\'e approximation when it is known that the sequence of common denominators of the approximating vector rational functions has a limit. Some inverse type results are proved for the so called incomplete Pad\'e approximants which may lead to the proof of the conjecture and the connection is discussed.


title: Footprints of Supersymmetry on Higgs Decay

abstract: Motivated by future collider proposals that aim to measure the Higgs properties precisely, we study the partial decay widths of the lightest Higgs boson in the minimal supersymmetric standard model with an emphasis on the parameter region where all superparticles and heavy Higgs bosons are not accessible at the LHC. Taking account of phenomenological constraints such as the Higgs mass, flavor constraints, vacuum stability, and perturbativity of coupling constants up to the grand unification scale, we discuss how large the deviations of the partial decay widths from the standard model predictions can be. These constraints exclude large fraction of the parameter region where the Higgs widths show significant deviation from the standard model predictions. Nevertheless, even if superparticles and the heavy Higgses are out of the reach of 14TeV LHC, the deviation may be large enough to be observed at future $e^+e^-$ collider experiments.


title: Hodge Theory for Intersection Space Cohomology

abstract: Given a perversity function in the sense of intersection homology theory, the method of intersection spaces assigns to certain oriented stratified spaces cell complexes whose ordinary reduced homology with real coefficients satisfies Poincar\'e duality across complementary perversities. The resulting homology theory is well-known not to be isomorphic to intersection homology. For a two-strata pseudomanifold with product link bundle, we give a description of the cohomology of intersection spaces as a space of weighted $L^2$ harmonic forms on the regular part, equipped with a fibred scattering metric. Some consequences of our methods for the signature are discussed as well.


title: A revised thermonuclear rate of $^{7}$Be($n$,$\alpha$)$^{4}$He relevant to Big-Bang nucleosynthesis

abstract: In the standard Big-Bang nucleosynthesis (BBN) model, the primordial $^7$Li abundance is overestimated by about a factor of 2--3 comparing to the astronomical observations, so called the pending cosmological lithium problem. The $^7$Be($n$,$\alpha$)$^4$He reaction, which may affect the $^7$Li abundance, was regarded as the secondary important reaction in destructing the $^7$Be nucleus in BBN. However, the thermonuclear rate of $^7$Be($n$,$\alpha$)$^4$He has not been well studied so far. This reaction rate was firstly estimated by Wagoner in 1969, which has been generally adopted in the current BBN simulations and the reaction rate library. This simple estimation involved only a direct-capture reaction mechanism, but the resonant contribution should be also considered according to the later experimental results. In this work, we have revised this rate based on the indirect cross-section data available for the $^4$He($\alpha$,$n$)$^7$Be and $^4$He($\alpha$,$p$)$^7$Li reactions, with the charge symmetry and detailed-balance principle. Our new result shows that the previous rate (acting as an upper limit) is overestimated by about a factor of ten. The BBN simulation shows that the present rate leads to a 1.2\% increase in the final $^7$Li abundance compared to the result using the Wagoner rate, and hence the present rate even worsens the $^7$Li problem. By the present estimation, the role of $^7$Be($n$,$\alpha$)$^4$He in destroying $^7$Be is weakened from the secondary importance to the third, and the $^7$Be($d$,$p$)2$^4$He reaction becomes of secondary importance in destructing $^7$Be.


title: Multiple Sign Changing Radially Symmetric Solutions in a General Class of Quasilinear Elliptic Equations

abstract: In this paper we prove that the equation $ -( r^\alpha\phi(|u'(r)|)u'(r))' = \lambda r^\gamma f(u(r)), ~0<r<R$, where $\alpha, \gamma, {\bf{R}}$ are given real numbers, $\phi : (0, \infty) \to (0, \infty)$ is a suitable twice differentiable function, $\lambda > 0$ is a real parameter and $f:{\bf{R}}\to{\bf{R}}$ is continuous, admits an infinite sequence of sign-changing solutions satisfying $u'(0) =u(R) =0$. The function $f$ is required to satisfy $tf(t)>0$ for $ t\neq 0$. Our technique explores fixed point arguments applied to suitable integral equations and shooting arguments. Our main result extends earlier ones in the case $\phi$ is in the form $\phi(t) = |t|^{\beta}$ for an appropriate constant $\gamma$.


title: Bose-Einstein condensation of magnons in atomic hydrogen gas

abstract: We report on experimental observation of BEC-like behaviour of quantized electron spin waves (magnons) in a dense gas of spin polarized atomic hydrogen. The magnons are trapped and controlled with inhomogeneous magnetic fields, and described by a Schr\"odinger-like wave equation, in analogy to the BEC experiments with neutral atoms. We have observed the appearance of a sharp feature in the ESR spectrum displaced from the normal spin wave spectrum. We believe that this observation corresponds to a sudden growth of the ground state population of the magnons and emergence of their spontaneous coherence for hydrogen gas densities exceeding a critical value, dependent on the trapping potential. We interpret the results as a BEC of non-equilibrium magnons which were formed by applying the rf power.


title: State-selective all-optical detection of Rydberg atoms

abstract: We present an all-optical protocol for detecting population in a selected Rydberg state of alkali atoms. The detection scheme is based on the interaction of an ensemble of ultracold atoms with two laser pulses: one weak probe pulse which is resonant with the transition between the ground state and the first excited state, and a pulse with high intensity which couples the first excited state to the selected Rydberg state. We show that by monitoring the absorption signal of the probe laser over time, one can deduce the initial population of the Rydberg state. Furthermore, it is shown that - for suitable experimental conditions - the dynamical absorption curve contains information on the initial coherence between the ground state and the selected Rydberg state. We present the results of a proof-of-principle measurement performed on a cold gas of $^{87}$Rb atoms. The method is expected to find application in quantum computing protocols based on Rydberg atoms.


title: Uniform Kernelization Complexity of Hitting Forbidden Minors

abstract: The F-Minor-Free Deletion problem asks, for a fixed set F and an input consisting of a graph G and integer k, whether k vertices can be removed from G such that the resulting graph does not contain any member of F as a minor. This paper analyzes to what extent provably effective and efficient preprocessing is possible for F-Minor-Free Deletion. Fomin et al. (FOCS 2012) showed that the special case Planar F-Deletion (when F contains at least one planar graph) has a kernel of size f(F) * k^{g(F)} for some functions f and g. The degree g of the polynomial grows very quickly; it is not even known to be computable. Fomin et al. left open whether Planar F-Deletion has kernels whose size is uniformly polynomial, i.e., of the form f(F) * k^c for some universal constant c that does not depend on F. Our results in this paper are twofold. (1) We prove that some Planar F-Deletion problems do not have uniformly polynomial kernels (unless NP is in coNP/poly). In particular, we prove that Treewidth-Eta Deletion does not have a kernel with O(k^{eta/4} - eps) vertices for any eps > 0, unless NP is in coNP/poly. In fact, we even prove the kernelization lower bound for the larger parameter vertex cover number. This resolves an open problem of Cygan et al. (IPEC 2011). It is a natural question whether further restrictions on F lead to uniformly polynomial kernels. However, we prove that even when F contains a path, the degree of the polynomial must, in general, depend on the set F. (2) A canonical F-Minor-Free Deletion problem when F contains a path is Treedepth-eta Deletion: can k vertices be removed to obtain a graph of treedepth at most eta? We prove that Treedepth-eta Deletion admits uniformly polynomial kernels with O(k^6) vertices for every fixed eta. In order to develop the kernelization we prove several new results about the structure of optimal treedepth-decompositions.


title: Asymptotic Behaviors of Solutions to quasilinear elliptic Equations with critical Sobolev growth and Hardy potential

abstract: Optimal estimates on the asymptotic behaviors of weak solutions both at the origin and at the infinity are obtained to the following quasilinear elliptic equations \[-\Delta_{p}u-\frac{\mu}{|x|^{p}}|u|^{p-2}u=Q(x)|u|^{\frac{Np}{N-p}-2}u,\quad\,x\in \mathbb{R}^{N},\] where $1<p<N, 0\leq\mu<\left({(N-p)}/{p}\right)^{p}$ and $Q\in L^{\infty}(\mathbb{R}^{N})$.


title: Extractions: Computable and Visible Analogues of Localizations for Polynomial Ideals

abstract: When studying local properties of a polynomial ideal, one usually needs a theoretic technique called localization. For most cases, in spite of its importance, the computation in a localized ring cannot be algorithmically preformed. On the other hand, the standard basis method is very effective for the computation in a special kind of localized rings, but for a general semigroup order the geometry of the localization of a positive-dimensional ideal is difficult to interpret. In this paper, we introduce a new ideal operation called extraction. For an ideal $I$ in a polynomial ring $K[x_1,\ldots,x_n]$ over a field $K$, we use another ideal $J$ to control the primary components of $I$ and the result $\beta(I,J)$ is called the extraction of $I$ by $J$. It is still a polynomial ideal and has a concrete geometric meaning in $\bar{K}^n$, i.e., we keep the branches of $\textbf{V}(I) \subset \bar{K}^n$ that intersect with $\textbf{V}(J) \subset \bar{K}^n$ and delete others, where $\bar{K}$ is the algebraic closure of $K$. This is what we mean by visible. On the other hand, we can use the standard basis method to compute a localized ideal corresponding to $\beta(I,J)$ without a complete primary decomposition, and can do further computation in the localized ring such as determining the membership problem of $\beta(I,J)$. Moreover, we prove that extractions are as powerful as localizations in the sense that for any multiplicatively closed subset $S$ of $K[x_1,\ldots,x_n]$ and any polynomial ideal $I$, there always exists a polynomial ideal $J$ such that $\beta(I,J)=(S^{-1}I)^c$.


title: Gradient Estimates for Solutions To Quasilinear Elliptic Equations with Critical Sobolev Growth and Hardy Potential

abstract: This note is a continuation of the work \cite{CaoXiangYan2014}. We study the following quasilinear elliptic equations \[ -\Delta_{p}u-\frac{\mu}{|x|^{p}}|u|^{p-2}u=Q(x)|u|^{\frac{Np}{N-p}-2}u,\quad\, x\in\mathbb{R}^{N}, \] where $1<p<N,0\leq\mu<\left((N-p)/p\right)^{p}$ and $Q\in L^{\infty}(\R^{N})$. Optimal asymptotic estimates on the gradient of solutions are obtained both at the origin and at the infinity.


title: A Note on Asymptotic Behaviors Of Solutions To Quasilinear Elliptic Equations with Hardy Potential

abstract: Optimal estimates on asymptotic behaviors of weak solutions both at the origin and at the infinity are obtained to the following quasilinear elliptic equations \begin{eqnarray*} -\Delta_{p}u-\frac{\mu}{|x|^{p}}|u|^{p-2}u+m|u|^{p-2}u=f(u), & & x\in\R^{N}, \end{eqnarray*} where $1<p<N$, $0\leq\mu<\left((N-p)/p\right)^{p}$, $m>0$ and $f$ is a continuous function.


title: Maximum-entropy inference and inverse continuity of the numerical range

abstract: We study the continuity of the maximum-entropy inference map for two observables in finite dimensions. We prove that the continuity is equivalent to the strong continuity of the set-valued inverse numerical range map. This gives a continuity condition in terms of analytic eigenvalue functions which implies that discontinuities are very rare. It shows also that the continuity of the MaxEnt inference method is independent of the prior state.


title: Near-optimal adjacency labeling scheme for power-law graphs

abstract: An adjacency labeling scheme is a method that assigns labels to the vertices of a graph such that adjacency between vertices can be inferred directly from the assigned label, without using a centralized data structure. We devise adjacency labeling schemes for the family of power-law graphs. This family that has been used to model many types of networks, e.g. the Internet AS-level graph. Furthermore, we prove an almost matching lower bound for this family. We also provide an asymptotically near- optimal labeling scheme for sparse graphs. Finally, we validate the efficiency of our labeling scheme by an experimental evaluation using both synthetic data and real-world networks of up to hundreds of thousands of vertices.


title: Combining spectroscopic and photometric surveys using angular cross-correlations II: Parameter constraints from different physical effects

abstract: Future spectroscopic and photometric surveys will measure accurate positions and shapes of an increasing number of galaxies. In the previous paper of this series we studied the effects of Redshift Space Distortions (RSD), baryon acoustic oscillations (BAO) and Weak gravitational Lensing (WL) using angular cross-correlation. Here, we provide a new forecast that explores the contribution of including different observables, physical effects (galaxy bias, WL, RSD, BAO) and approximations (non-linearities, Limber approximation, covariance between probes). The radial information is included by using the cross-correlation of separate narrow redshift bins. For the auto correlation the separation of galaxy pairs is mostly transverse, while the cross-correlations also includes a radial component. We study how this information adds to our figure of merit (FoM), which includes the dark energy equation of state $w(z)$ and the growth history, parameterized by $\gamma$. We show that the Limber approximation and galaxy bias are the most critical ingredients to the modelling of correlations. Adding WL increases our FoM by 4.8, RSD by 2.1 and BAO by 1.3. We also explore how overlapping surveys perform under the different assumption and for different figures of merit. Our qualitative conclusions depend on the survey choices and scales included, but we find some clear tendencies that highlight the importance of combining different probes and can be used to guide and optimise survey strategies.


title: The Euler characteristics of generalized Kummer schemes

abstract: We compute the Euler characteristics of the generalized Kummer schemes associated to $A\times Y$, where $A$ is an abelian variety and $Y$ is a smooth quasi-projective variety. When $Y$ is a point, our results prove a formula conjectured by Gulbrandsen.


title: A Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime Fields

abstract: In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree semi-algebraic proofs of unsatisfiability. These are proofs that manipulate polynomial inequalities over the reals with variables ranging in $\{0,1\}$. This upper bound is to be put in contrast with the known fact that, for certain explicit systems of linear equations over the two-element field, such refutations require linear degree and exponential size if they are restricted to so-called static semi-algebraic proofs, and even tree-like semi-algebraic and sums-of-squares proofs. Our upper bound is a more or less direct translation of an argument due to Grigoriev, Hirsch and Pasechnik (Moscow Mathematical Journal, 2002) who did it for a family of linear systems of interest in propositional proof complexity. We point out that their method is more general and can be thought of as simulating Gaussian elimination.


title: Amoeboid motion in confined geometry

abstract: Many eukaryotic cells undergo frequent shape changes (described as amoeboid motion) that enable them to move forward. We investigate the effect of confinement on a minimal model of amoeboid swimmer. Complex pictures emerge: (i) The swimmer's nature (i.e., either pusher or puller) can be modified by confinement, thus suggesting that this is not an intrinsic property of the swimmer. This swimming nature transition stems from intricate internal degrees of freedom of membrane deformation. (ii) The swimming speed might increase with increasing confinement before decreasing again for stronger confinements. (iii) A straight amoeoboid swimmer's trajectory in the channel can become unstable, and ample lateral excursions of the swimmer prevail. This happens for both pusher- and puller-type swimmers. For weak confinement, these excursions are symmetric, while they become asymmetric at stronger confinement, whereby the swimmer is located closer to one of the two walls. In this study, we combine numerical and theoretical analyses.

categories: physics.bio-ph cond-mat.soft physics.comp-ph physics.flu-dyn q-bio.CB


title: Lee-Yang Model in Presence of Defects

abstract: I choose the Lee-Yang model and go through different approaches to analyze it using the form factor approach and the bootstrap program, the lattice description and the lattice TBA equations for a full understanding of the model. The bootstrap program aims to explicitly solve 1+1 dimensional integrable quantum field theories. In the first step, called the S-matrix bootstrap, the scattering matrix, is determined from its properties. In developing a defect form factor program the first step is the T-matrix bootstrap. Interacting integrable defect theories are purely transmitting and topological. We analyze both operators localized in the bulk and also on the defect. By finding their solutions, the spectral representation of any correlator can be determined. Next we consider the model on the lattice. The lattice approach allows to obtain both massive and massless excited TBA equations by studying the continuum scaling limit of the associated integrable lattice models. The most important input from the lattice approach is an insight into the analytic structure of the excited state solutions of the TBA equations. Previously this structure had to be guessed. In this thesis we turn our attention to the simplest example of a non-unitary minimal theory, namely, the Lee-Yang minimal model M(2,5). We study the Lee-Yang model on the lattice. We analyze the periodic, boundary and the seam cases in both massive and massless regimes. We derive their ground state TBA equations and analyze the flows between different boundary and defect conditions. Finally, in the large volume limit, we calculate the L\"uscher correction terms of the TBA energy of a one-particle state. We display those ideas in the end of the thesis as this is an important direction of work in string theory, particularly in the AdS/CFT correspondence.


title: Choosability and paintability of the lexicographic product of graphs

abstract: This paper studies the choice number and paint number of the lexicographic product of graphs. We prove that if $G$ has maximum degree $\Delta$, then for any graph $H$ on $n$ vertices $ch(G[H]) \le (4\Delta+2)(ch(H) +\log_2 n)$ and $\chi_P(G[H]) \le (4\Delta+2) (\chi_P(H)+ \log_2 n)$.


title: Non Parametric Estimates of Option Prices Using Superhedging

abstract: We propose a new non parametric technique to estimate the CALL function based on the superhedging principle. Our approach does not require absence of arbitrage and easily accommodates bid/ask spreads and other market imperfections. We prove some optimal statistical properties of our estimates. As an application we first test the methodology on a simulated sample of option prices and then on the S\&P 500 index options.


title: Bayesian Hierarchical Modeling of Longitudinal Glaucomatous Visual Fields using a Two-Stage Approach

abstract: The Bayesian approach has become increasingly popular because it allows to model quite complex models via Markov chain Monte Carlo (MCMC) sampling. However, it is also recognized nowadays that MCMC sampling can become computationally prohibitive when a complex model needs to be fit to a large data set. To overcome this problem, we applied and extended a recently proposed two-stage approach to model a complex hierarchical data structure of glaucoma patients who participate in an ongoing Dutch study. Glaucoma is one of the leading causes of blindness in the world. In order to detect deterioration at an early stage, a model for predicting visual fields (VF) in time is needed. Hence, the true underlying VF progression can be determined, and treatment strategies can then be optimized to prevent further VF loss. Since we were unable to fit these data with the classical one-stage approach upon which the current popular Bayesian software is based, we made use of the two-stage Bayesian approach. The considered hierarchical longitudinal model involves estimating a large number of random effects and deals with censoring and high measurement variability. In addition, we extended the approach with tools for model evaluation


title: Topological entropy of continuous actions of compactly generated groups

abstract: We introduce a notion of topological entropy for continuous actions of compactly generated topological groups on compact Hausdorff spaces. It is shown that any continuous action of a compactly generated topological group on a compact Hausdorff space with vanishing topological entropy is amenable. Given an arbitrary compactly generated locally compact Hausdorff topological group $G$, we consider the canonical action of $G$ on the closed unit ball of $L^{1}(G)' \cong L^{\infty}(G)$ endowed with the corresponding weak-$^{\ast}$ topology. We prove that this action has vanishing topological entropy if and only if $G$ is compact. Furthermore, we show that the considered action has infinite topological entropy if $G$ is almost connected and non-compact.


title: Two results on entropy, chaos, and independence in symbolic dynamics

abstract: We survey the connections between entropy, chaos, and independence in topological dynamics. We present extensions of two classical results placing the following notions in the context of symbolic dynamics: 1. Equivalence of positive entropy and the existence of a large (in terms of asymptotic and Shnirelman densities) set of combinatorial independence for shift spaces. 2. Existence of a mixing shift space with a dense set of periodic points with topological entropy zero and without ergodic measure with full support, nor any distributionally chaotic pair. Our proofs are new and yield conclusions stronger than what was known before.


title: Dielectric relaxation of thin films of polyamide random copolymers

abstract: We investigate the relaxation behavior of thin films of a polyamide random copolymer, PA66/6I, with various film thicknesses using dielectric relaxation spectroscopy. Two dielectric signals are observed at high temperatures, the $\alpha$-process and the relaxation process due to electrode polarization (the EP-process). The relaxation time of the EP-process has a Vogel-Fulcher-Tammann type of temperature dependence, and the glass transition temperature, $T_{\rm g}$, evaluated from the EP-process agrees very well with the $T_{\rm g}$ determined from the thermal measurements. The fragility index derived from the EP-process increases with decreasing film thickness. The relaxation time and the dielectric relaxation strength of the EP-process are described by a linear function of the film thickness $d$ for large values of $d$, which can be regarded as experimental evidence for the validity of attributing the observed signal to the EP-process. Furthermore, there is distinct deviation from this linear law for thicknesses smaller than a critical value. This deviation observed in thinner films is associated with an increase in the mobility and/or diffusion constant of the charge carriers responsible for the EP-process. The $\alpha$-process is located in a high frequency region than the EP-process at high temperatures, but merges with the EP-process at lower temperatures near the glass transition region. The thickness dependence of the relaxation time of the $\alpha$-process is different from that of the EP-process. This suggests that there is decoupling between the segmental motion of the polymers and the translational motion of the charge carriers in confinement.


title: Absorption time and tree length of the Kingman coalescent and the Gumbel distribution

abstract: Formulas are provided for the cumulants and the moments of the time $T$ back to the most recent common ancestor of the Kingman coalescent. It is shown that both the $j$th cumulant and the $j$th moment of $T$ are linear combinations of the values $\zeta(2m)$, $m\in\{0,\ldots,\lfloor j/2\rfloor\}$, of the Riemann zeta function $\zeta$ with integer coefficients. The proof is based on a solution of a two-dimensional recursion with countably many initial values. A closely related strong convergence result for the tree length $L_n$ of the Kingman coalescent restricted to a sample of size $n$ is derived. The results give reason to revisit the moments and central moments of the classical Gumbel distribution.


title: Symmetries of nonlinear ordinary differential equations: the modified Emden equation as a case study

abstract: Lie symmetry analysis is one of the powerful tools to analyze nonlinear ordinary differential equations. We review the effectiveness of this method in terms of various symmetries. We present the method of deriving Lie point symmetries, contact symmetries, hidden symmetries, nonlocal symmetries, $\lambda$-symmetries, adjoint symmetries and telescopic vector fields of a second-order ordinary differential equation. We also illustrate the algorithm involved in each method by considering a nonlinear oscillator equation as an example. The connections between (i) symmetries and integrating factors and (ii) symmetries and integrals are also discussed and illustrated through the same example. The interconnections between some of the above symmetries, that is (i) Lie point symmetries and $\lambda$-symmetries and (ii) exponential nonlocal symmetries and $\lambda$-symmetries are also discussed. The order reduction procedure is invoked to derive the general solution of the second-order equation.


title: A local strategy for cleaning expanding cellular domains by simple robots

abstract: We present a strategy SEP for finite state machines tasked with cleaning a cellular environment in which a contamination spreads. Initially, the contaminated area is of height $h$ and width $w$. It may be bounded by four monotonic chains, and contain rectangular holes. The robot does not know the initial contamination, sensing only the eight cells in its neighborhood. It moves from cell to cell, $d$ times faster than the contamination spreads, and is able to clean its current cell. A speed of $d<\sqrt{2}(h+w)$ is in general not sufficient to contain the contamination. Our strategy SEP succeeds if $d \geq 3(h+w)$ holds. It ensures that the contaminated cells stay connected. Greedy strategies violating this principle need speed at least $d \geq 4(h+w)$; all bounds are up to small additive constants.


title: A Multicore Tool for Constraint Solving

abstract: *** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usable and configurable framework. Empirical results are very promising. sunny-cp2 can even outperform the performance of the oracle solver which always selects the best solver of the portfolio for a given problem.


title: Electromechanical Magnetization Switching

abstract: We show that the magnetic moment of a composite multiferroic torsional oscillator can be switched by the electric field. The 180$^o$ switching arises from the spin-rotation coupling and is not prohibited by the different symmetry of the magnetic moment and the electric field as in the case of a stationary magnet. Analytical equations describing the system have been derived and investigated numerically. Phase diagrams showing the range of parameters required for the switching have been obtained.


title: Consistent metric combinations in cosmology of massive bigravity

abstract: Massive bigravity models are interesting alternatives to standard cosmology. In most cases, however, these models have been studied for a simplified scenario in which both metrics take homogeneous and isotropic forms [Friedmann-Lema\^itre-Robertson-Walker (FLRW)] with the same spatial curvatures. The interest to consider more general geometries arises, in particular, in view of the difficulty so far encountered in building stable cosmological solutions with homogeneous and isotropic metrics. Here we consider a number of cases in which the two metrics take more general forms, namely FLRW with different spatial curvatures---Lema\^itre, Lema\^itre-Tolman-Bondi (LTB), and Bianchi I---as well as cases where only one metric is linearly perturbed. We discuss possible consistent combinations and find that only some special cases of FLRW--Lema\^itre, LTB--LTB, and FLRW--Bianchi I combinations give consistent, nontrivial solutions.


title: Parameterized Complexity of Secluded Connectivity Problems

abstract: The Secluded Path problem models a situation where a sensitive information has to be transmitted between a pair of nodes along a path in a network. The measure of the quality of a selected path is its exposure, which is the total weight of vertices in its closed neighborhood. In order to minimize the risk of intercepting the information, we are interested in selecting a secluded path, i.e. a path with a small exposure. Similarly, the Secluded Steiner Tree problem is to find a tree in a graph connecting a given set of terminals such that the exposure of the tree is minimized. The problems were introduced by Chechik et al. in [ESA 2013]. Among other results, Chechik et al. have shown that Secluded Path is fixed-parameter tractable (FPT) on unweighted graphs being parameterized by the maximum vertex degree of the graph and that Secluded Steiner Tree is FPT parameterized by the treewidth of the graph. In this work, we obtain the following results about parameterized complexity of secluded connectivity problems. We give FPT-algorithms deciding if a graph G with a given cost function contains a secluded path and a secluded Steiner tree of exposure at most k with the cost at most C. We initiate the study of "above guarantee" parameterizations for secluded problems, where the lower bound is given by the size of a Steiner tree. We investigate Secluded Steiner Tree from kernelization perspective and provide several lower and upper bounds when parameters are the treewidth, the size of a vertex cover, maximum vertex degree and the solution size. Finally, we refine the algorithmic result of Chechik et al. by improving the exponential dependence from the treewidth of the input graph.


title: Nonlinear Attitude Filtering: A Comparison Study

abstract: This paper contains a concise comparison of a number of nonlinear attitude filtering methods that have attracted attention in the robotics and aviation literature. With the help of previously published surveys and comparison studies, the vast literature on the subject is narrowed down to a small pool of competitive attitude filters. Amongst these filters is a second-order optimal minimum-energy filter recently proposed by the authors. Easily comparable discretized unit quaternion implementations of the selected filters are provided. We conduct a simulation study and compare the transient behaviour and asymptotic convergence of these filters in two scenarios with different initialization and measurement errors inspired by applications in unmanned aerial robotics and space flight. The second-order optimal minimum-energy filter is shown to have the best performance of all filters, including the industry standard multiplicative extended Kalman filter (MEKF).


title: Pipe dream complexes and triangulations of root polytopes belong together

abstract: In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to reduced forms in subdivision algebras and root (and flow) polytopes. We also show that root polytopes can be seen as projections of flow polytopes, explaining that these families of polytopes possess the same subdivision algebra.


title: Stick-Slip Control in Nanoscale Boundary Lubrication by Surface Wettability

abstract: We study the effect of atomic scale surface-lubricant interactions on nanoscale boundary-lubricated friction, by considering two example surfaces - hydrophilic mica and hydrophobic graphene - confining thin layers of water in molecular dynamics simulations. We observe stick-slip dynamics for thin water films confined by mica sheets, involving periodic breaking-reforming transitions of atomic scale capillary water bridges formed around the potassium ions of mica. However, only smooth sliding without stick-slip events is observed for water confined by graphene, as well as for thicker water layers confined by mica. Thus, our results illustrate how atomic scale details affect the wettability of the confining surfaces, and consequently control the presence or absence of stick-slip dynamics in nanoscale friction.


title: Antifreeze in the hot core of Orion - First detection of ethylene glycol in Orion-KL

abstract: Comparison of their chemical compositions shows, to first order, a good agreement between the cometary and interstellar abundances. However, a complex O-bearing organic molecule, ethylene glycol (CH$_{2}$OH)$_{2}$, seems to depart from this correlation because it was not easily detected in the interstellar medium although it proved to be rather abundant with respect to other O-bearing species in comet Hale-Bopp. Ethylene glycol thus appears, together with the related molecules glycolaldehyde CH$_{2}$OHCHO and ethanol CH$_{3}$CH$_{2}$OH, as a key species in the comparison of interstellar and cometary ices as well as in any discussion on the formation of cometary matter. We focus here on the analysis of ethylene glycol in the nearest and best studied hot core-like region, Orion-KL. We use ALMA interferometric data because high spatial resolution observations allow us to reduce the line confusion problem with respect to single-dish observations since different molecules are expected to exhibit different spatial distributions. Furthermore, a large spectral bandwidth is needed because many individual transitions are required to securely detect large organic molecules. Confusion and continuum subtraction are major issues and have been handled with care. We have detected the aGg' conformer of ethylene glycol in Orion-KL. The emission is compact and peaks towards the Hot Core close to the main continuum peak, about 2" to the south-west; this distribution is notably different from other O-bearing species. Assuming optically thin lines and local thermodynamic equilibrium, we derive a rotational temperature of 145 K and a column density of 4.6 10$^{15}$ cm$^{-2}$. The limit on the column density of the gGg' conformer is five times lower.


title: Constraints on a scale-dependent bias from galaxy clustering

abstract: We forecast the future constraints on scale-dependent parametrizations of galaxy bias and their impact on the estimate of cosmological parameters from the power spectrum of galaxies measured in a spectroscopic redshift survey. For the latter we assume a wide survey at relatively large redshifts, similar to the planned Euclid survey, as baseline for future experiments. To assess the impact of the bias we perform a Fisher matrix analysis and we adopt two different parametrizations of scale-dependent bias. The fiducial models for galaxy bias are calibrated using a mock catalogs of H$\alpha$ emitting galaxies mimicking the expected properties of the objects that will be targeted by the Euclid survey. In our analysis we have obtained two main results. First of all, allowing for a scale-dependent bias does not significantly increase the errors on the other cosmological parameters apart from the rms amplitude of density fluctuations, $\sigma_{8}$, and the growth index $\gamma$, whose uncertainties increase by a factor up to two, depending on the bias model adopted. Second, we find that the accuracy in the linear bias parameter $b_{0}$ can be estimated to within 1-2\% at various redshifts regardless of the fiducial model. The non-linear bias parameters have significantly large errors that depend on the model adopted. Despite of this, in the more realistic scenarios departures from the simple linear bias prescription can be detected with a $\sim2\,\sigma$ significance at each redshift explored. Finally, we use the Fisher Matrix formalism to assess the impact of assuming an incorrect bias model and found that the systematic errors induced on the cosmological parameters are similar or even larger than the statistical ones.


title: Ambipolar Solution-processed Hybrid Perovskite Phototransistors

abstract: Organolead halide perovskites have attracted substantial attention due to their excellent physical properties, which enable them to serve as the active material in emerging hybrid solid-state solar cells. Here we investigate the phototransistors based on hybrid perovskite films, and provide direct evidence for their superior carrier transport property with ambipolar characteristics. The field-effect mobilities for triiodide perovskites at room temperature are measured as 0.18 (0.17) cm2 V-1 s-1 for holes (electrons), which increase to 1.24 (1.01) cm2 V-1 s-1 for mixed halide perovskites. The photoresponsivity of our hybrid perovskite devices reaches 320 A W-1, which is among the largest values reported for phototransistors. Importantly, the phototransistors exhibit an ultrafast photoresponse speed of less than 10 {\mu}s. The solution-based process and excellent device performance strongly underscore hybrid perovskites as promising material candidates for photoelectronic applications.


title: Quantum Decoherence at Finite Temperatures

abstract: We study measures of decoherence and thermalization of a quantum system $S$ in the presence of a quantum environment (bath) $E$. The whole system is prepared in a canonical thermal state at a finite temperature. Applying perturbation theory with respect to the system-environment coupling strength, we find that under common Hamiltonian symmetries, up to first order in the coupling strength it is sufficient to consider the uncoupled system to predict decoherence and thermalization measures of $S$. This decoupling allows closed form expressions for perturbative expansions for the measures of decoherence and thermalization in terms of the free energies of $S$ and of $E$. Numerical results for both coupled and decoupled systems with up to 40 quantum spins validate these findings.


title: Subword complexes via triangulations of root polytopes

abstract: Subword complexes are simplicial complexes introduced by Knutson and Miller to illustrate the combinatorics of Schubert polynomials and determinantal ideals. They proved that any subword complex is homeomorphic to a ball or a sphere and asked about their geometric realizations. We show that a family of subword complexes can be realized geometrically via regular triangulations of root polytopes. This implies that a family of $\beta$-Grothendieck polynomials are special cases of reduced forms in the subdivision algebra of root polytopes. We can also write the volume and Ehrhart series of root polytopes in terms of $\beta$-Grothendieck polynomials.


title: Time-consistent stopping under decreasing impatience

abstract: Under non-exponential discounting, we develop a dynamic theory for stopping problems in continuous time. Our framework covers discount functions that induce decreasing impatience. Due to the inherent time inconsistency, we look for equilibrium stopping policies, formulated as fixed points of an operator. Under appropriate conditions, fixed-point iterations converge to equilibrium stopping policies. This iterative approach corresponds to the hierarchy of strategic reasoning in Game Theory, and provides "agent-specific" results: it assigns one specific equilibrium stopping policy to each agent according to her initial behavior. In particular, it leads to a precise mathematical connection between the naive behavior and the sophisticated one. Our theory is illustrated in a real options model.


title: Irreducible representations of knot groups into SL(n,C)

abstract: The aim of this article is to study the existence of certain reducible, metabelian representations of knot groups into $\mathrm{SL}(n,\mathbf{C})$ which generalise the representations studied previously by G.~Burde and G.~de Rham. Under specific hypotheses we prove the existence of irreducible deformations of such representations of knot groups into $\mathrm{SL}(n,\mathbf{C})$.


title: Operator approach to values of stochastic games with varying stage duration

abstract: We study the links between the values of stochastic games with varying stage duration $h$, the corresponding Shapley operators $\bf{T}$ and ${\bf{T}}\_h$and the solution of $\dot f\_t = ({\bf{T}} - Id )f\_t$. Considering general non expansive maps we establish two kinds of results, under both the discounted or the finite length framework, that apply to the class of "exact" stochastic games. First, for a fixed length or discount factor, the value converges as the stage duration go to 0. Second, the asymptotic behavior of the value as the length goes to infinity, or as the discount factor goes to 0, does not depend on the stage duration. In addition, these properties imply the existence of the value of the finite length or discounted continuous time game (associated to a continuous time jointly controlled Markov process), as the limit of the value of any time discretization with vanishing mesh.


title: On some properties of the category of cocommutative Hopf algebras

abstract: By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian core is the category of commutative and cocommutative Hopf algebras.


title: Uniqueness in a class of Hamilton-Jacobi equations with constraints

abstract: In this note, we discuss a class of time-dependent Hamilton-Jacobi equations depending on a function of time, this function being chosen in order to keep the maximum of the solution to the constant value 0. The main result of the note is that the full problem has a unique classical solution. The motivation is a selection-mutation model which, in the limit of small diffusion, exhibits concentration on the zero level set of the solution of the Hamilton-Jacobi equation. The uniqueness result that we prove implies strong convergence and error estimates for the selection-mutation model.


title: Observation of low energy dispersive modes in un- derdoped (La, Nd) 2--x Sr x CuO 4

abstract: We find excitations lower in energy than known phonon modes in underdoped La$\_{2-x}$Sr$\_x$CuO$\_{4+\delta}$ (x=0.08), with both inelastic X-Ray scattering (IXS) and inelastic neutron scattering (INS). A non dispersive excitation at 9 meV is identified and is also seen by INS in (La,Nd)$\_{2-x}$Sr$\_x$CuO$\_{4+\delta}$, with 40$\%$ Nd substitution. INS also identifies a still lower energy dispersive mode at low q in the Nd free sample. These modes are clearly distinct from the longitudinal acoustic phonon and correspond in energy to the Zone Centre modes measured by optical spectroscopy and associated with stripe dynamics.


title: K2 Variable Catalogue: Variable Stars and Eclipsing Binaries in K2 Campaigns 1 and 0

abstract: We have created a catalogue of variable stars found from a search of the publicly available K2 mission data from Campaigns 1 and 0. This catalogue provides the identifiers of 8395 variable stars, including 199 candidate eclipsing binaries with periods up to 60d and 3871 periodic or quasi-periodic objects, with periods up to 20d for Campaign 1 and 15d for Campaign 0. Lightcurves are extracted and detrended from the available data. These are searched using a combination of algorithmic and human classification, leading to a classifier for each object as an eclipsing binary, sinusoidal periodic, quasi periodic, or aperiodic variable. The source of the variability is not identified, but could arise in the non-eclipsing binary cases from pulsation or stellar activity. Each object is cross-matched against variable star related guest observer proposals to the K2 mission, which specifies the variable type in some cases. The detrended lightcurves are also compared to lightcurves currently publicly available. The resulting catalogue is made available online via the MAST archive at https://archive.stsci.edu/prepds/k2varcat/, and gives the ID, type, period, semi-amplitude and range of the variation seen. We also make available the detrended lightcurves for each object.


title: A Phase-Space Noncommutative Picture of Nuclear Matter

abstract: Noncommutative features are introduced into a relativistic quantum field theory model of nuclear matter, the quantum hadrodynamics-I nuclear model (QHD-I). It is shown that the nuclear matter equation of state (NMEoS) depends on the fundamental momentum scale, $\eta$, introduced by the phase-space noncommutativity (NC). Although it is found that NC geometry does not affect the nucleon fields up to $O(\eta^2)$, it affects the energy density, the pressure and other derivable quantities of the NMEoS, such as the nucleon \textit{effective mass}. Under the conditions of saturation of the symmetric NM, the estimated value for the noncommutative parameter is $\sqrt{\eta}=0.014 MeV/c$.


title: Surveying the Free Energy Landscapes of Continuum Models: Application to Soft Matter Systems

abstract: A variety of methods are developed for characterising the free energy landscapes of continuum, Landau-type free energy models. Using morphologies of lipid vesicles and a multistable liquid crystal device as examples, I show that the methods allow systematic study of not only the most relevant minimum energy configurations, but also the transition pathways between any two minima, as well as their corresponding energy barriers and transition state configurations. A global view of the free energy landscapes can then be visualized using either a disconnectivity graph or a network representation. Different forms of free energy functionals and boundary conditions can be readily implemented, thus allowing these tools to be utilised for a broad range of problems.

categories: cond-mat.soft cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Velocity map imaging with non-uniform detection: quantitative molecular axis alignment measurements via Coulomb explosion imaging

abstract: We present a method for inverting charged particle velocity map images which incoorporates a non-uniform detection function. This method is applied to the specific case of extracting molecular axis alignment from Coulomb explosion imaging probes in which the probe itself has a dependence on molecular orientation which often removes cylindrical symmetry from the experiment and prevents the use of standard inversion techniques for the recovery of the molecular axis distribution. By incorporating the known detection function, it is possible to remove the angular bias of the Coulomb explosion probe process and invert the image to allow quantitative measurement of the degree of molecular axis alignment.


title: Singular Behavior of the Laplace Operator in Polar Spherical Coordinates and Some of Its Consequences for the Radial Wave Function at the Origin of Coordinates

abstract: Singular behavior of the Laplace operator in spherical coordinates is investigated. It is shown that in course of transition to the reduced radial wave function in the Schrodinger equation there appears additional term consisting the Dirac delta function, which was unnoted during the full history of physics and mathematics. The possibility of avoiding this contribution from the reduced radial equation is discussed. It is demonstrated that for this aim the necessary and sufficient condition is requirement the fast enough falling of the wave function at the origin. The result does not depend on character of potential:is it regular or singular. The various manifestations and consequences of this observation are considered as well. The cornerstone in our approach is the natural requirement that the solution of the radial equation at the same time must obey to the full equation.


title: On the effects of solenoidal and compressive turbulence in prestellar cores

abstract: We present the results of an ensemble of SPH simulations that follow the evolution of prestellar cores for $0.2\,{\rm Myr}$. All the cores have the same mass, and start with the same radius, density profile, thermal and turbulent energy. Our purpose is to explore the consequences of varying the fraction of turbulent energy, $\delta_\mathrm{sol}$, that is solenoidal, as opposed to compressive; specifically we consider $\delta_\mathrm{sol}=1,\,2/3,\,1/3,\,1/9\;{\rm and}\;0$. For each value of $\delta_\mathrm{sol}$, we follow ten different realisations of the turbulent velocity field, in order also to have a measure of the stochastic variance blurring any systematic trends. With low $\delta_\mathrm{sol}(<\!1/3)$ filament fragmentation dominates and delivers relatively high mass stars. Conversely, with high values of $\delta_\mathrm{sol}(>\!1/3)$ disc fragmentation dominates and delivers relatively low mass stars. There are no discernible systematic trends in the multiplicity statistics obtained with different $\delta_\mathrm{sol}$.


title: Finding Structural Information of RF Power Amplifiers using an Orthogonal Non-Parametric Kernel Smoothing Estimator

abstract: A non-parametric technique for modeling the behavior of power amplifiers is presented. The proposed technique relies on the principles of density estimation using the kernel method and is suited for use in power amplifier modeling. The proposed methodology transforms the input domain into an orthogonal memory domain. In this domain, non-parametric static functions are discovered using the kernel estimator. These orthogonal, non-parametric functions can be fitted with any desired mathematical structure, thus facilitating its implementation. Furthermore, due to the orthogonality, the non-parametric functions can be analyzed and discarded individually, which simplifies pruning basis functions and provides a tradeoff between complexity and performance. The results show that the methodology can be employed to model power amplifiers, therein yielding error performance similar to state-of-the-art parametric models. Furthermore, a parameter-efficient model structure with 6 coefficients was derived for a Doherty power amplifier, therein significantly reducing the deployment's computational complexity. Finally, the methodology can also be well exploited in digital linearization techniques.


title: Modelling ripples in Orion with coupled dust dynamics and radiative transfer

abstract: In light of the recent detection of direct evidence for the formation of Kelvin-Helmholtz instabilities in the Orion nebula, we expand upon previous modelling efforts by numerically simulating the shear-flow driven gas and dust dynamics in locations where the H$_{II}$ region and the molecular cloud interact. We aim to directly confront the simulation results with the infrared observations. Methods: To numerically model the onset and full nonlinear development of the Kelvin-Helmholtz instability we take the setup proposed to interpret the observations, and adjust it to a full 3D hydrodynamical simulation that includes the dynamics of gas as well as dust. A dust grain distribution with sizes between 5-250 nm is used, exploiting the gas+dust module of the MPI-AMRVAC code, in which the dust species are represented by several pressureless dust fluids. The evolution of the model is followed well into the nonlinear phase. The output of these simulations is then used as input for the SKIRT dust radiative transfer code to obtain infrared images at several stages of the evolution, which can be compared to the observations. Results: We confirm that a 3D Kelvin-Helmholtz instability is able to develop in the proposed setup, and that the formation of the instability is not inhibited by the addition of dust. Kelvin-Helmholtz billows form at the end of the linear phase, and synthetic observations of the billows show striking similarities to the infrared observations. It is pointed out that the high density dust regions preferentially collect on the flanks of the billows. To get agreement with the observed Kelvin-Helmholtz ripples, the assumed geometry between the background radiation, the billows and the observer is seen to be of critical importance.


title: Quantum asymmetry between time and space

abstract: An asymmetry exists between time and space in the sense that physical systems inevitably evolve over time whereas there is no corresponding ubiquitous translation over space. The asymmetry, which is presumed to be elemental, is represented by equations of motion and conservation laws that operate differently over time and space. If, however, the asymmetry was found to be due to deeper causes, this conventional view of time evolution would need reworking. Here we show, using a sum-over-paths formalism, that a violation of time reversal (T) symmetry might be such a cause. If T symmetry is obeyed, the formalism treats time and space symmetrically such that states of matter are localised both in space and in time. In this case, equations of motion and conservation laws are undefined or inapplicable. However if T symmetry is violated, the same sum over paths formalism yields states that are localised in space and distributed without bound over time, creating an asymmetry between time and space. Moreover, the states satisfy an equation of motion (the Schr\"{o}dinger equation) and conservation laws apply. This suggests that the time-space asymmetry is not elemental as currently presumed, and that T violation may have a deep connection with time evolution.


title: Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

abstract: We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose discontinuity is responsible for undecidability in CPS analysis, intractability in CPS design, and frailness in CPS implementation, with their smooth, neural nif and nwhile counterparts. This not only makes CPS analysis decidable and CPS design tractable, but also allows to write robust and adaptive CPS code. In DNP the connection between the sigmoidal guards of the nif and nwhile statements has to be given as a Gaussian Bayesian network, which reflects the partial knowledge, the CPS program has about its environment. To the best of our knowledge, DNP are the first approach linking neural networks to programs, in a way that makes explicit the meaning of the network. In order to prove and validate the usefulness of DNP, we use them to write and learn an adaptive CPS controller for the parallel parking of the Pioneer rovers available in our CPS lab.


title: Stakeholders, Viewpoints and Languages of a Modelling Framework for the Design and Development of Data-Intensive Mobile Apps

abstract: Today millions of mobile apps are downloaded and used all over the world. Guidelines and best practices on how to design and develop mobile apps are being periodically released, mainly by mobile platform vendors and researchers. They cover different concerns, and refer to different technical and non-technical stakeholders. Still, mobile applications are developed with ad-hoc development processes, and on-paper best practices. In this paper we discuss a multi-view modelling framework supporting the collaborative design and development of mobile apps. The proposed framework embraces the Model-Driven Engineering methodology. This paper provides an overall view of the modelling framework in terms of its main stakeholders, viewpoints, and modelling languages.


title: Decentralized Trusted Timestamping using the Crypto Currency Bitcoin

abstract: Trusted timestamping is a process for proving that certain information existed at a given point in time. This paper presents a trusted timestamping concept and its implementation in form of a web-based service that uses the decentralized Bitcoin block chain to store anonymous, tamper-proof timestamps for digital content. The service allows users to hash files, such as text, photos or videos, and store the created hashes in the Bitcoin block chain. Users can then retrieve and verify the timestamps that have been committed to the block chain. The non-commercial service enables anyone, e.g., researchers, authors, journalists, students, or artists, to prove that they were in possession of certain information at a given point in time. Common use cases include proving that a contract has been signed, a photo taken, a video recorded, or a task completed prior to a certain date. All procedures maintain complete privacy of the user's data.


title: Towards strongly correlated photons in arrays of dissipative nonlinear cavities under a frequency-dependent incoherent pumping

abstract: We report a theoretical study of a quantum optical model consisting of an array of strongly nonlinear cavities incoherently pumped by an ensemble of population-inverted two-level atoms. Projective methods are used to eliminate the atomic dynamics and write a generalized master equation for the photonic degrees of freedom only, where the frequency-dependence of gain introduces non-Markovian features. In the simplest single cavity configuration, this pumping scheme gives novel optical bistability effects and allows for the selective generation of Fock states with a well-defined photon number. For many cavities in a weakly non-Markovian limit, the non-equilibrium steady state recovers a Grand-Canonical statistical ensemble at a temperature determined by the effective atomic linewidth. For a two-cavity system in the strongly nonlinear regime, signatures of a Mott state with one photon per cavity are found.


title: Frank Discussion of the Status of Ground-state Orbital-free DFT

abstract: F.E. Harris has been a significant partner in our work on orbital-free density functional approximations for use in ab initio molecular dynamics. Here we mention briefly the essential progress on single-point functionals since our original paper (2006). Then we focus on the advantages and limitations of generalized gradient approximation (GGA) non-interacting kinetic-energy functionals. We reconsider the constraints provided by near-origin conditions in atomic-like systems and their relationship to regularized versus physical external potentials. Then we seek the best empirical GGA for the non-interacting KE for a modest-sized set of molecules with a well-defined near-origin behavior of their densities. The search is motivated by a desire for insight into GGA limitations and for a target for constraint-based development.


title: Are the majority of Sun-like stars single?

abstract: It has recently been suggested that, in the field, $\sim\!\!56\%$ of Sun-like stars ($0.8\,{\rm M}_{_\odot}\lesssim M_\star\lesssim 1.2\,{\rm M}_{_\odot}$) are single. We argue here that this suggestion may be incorrect, since it appears to be based on the multiplicity frequency of systems with Sun-like primaries, and therefore takes no account of Sun-like stars that are secondary (or higher-order) components in multiple systems. When these components are included in the reckoning, it seems likely that only $\sim\!46\%$ of Sun-like stars are single. This estimate is based on a model in which the system mass function has the form proposed by Chabrier, with a power-law Salpeter extension to high masses; there is a flat distribution of mass ratios; and the probability that a system of mass $M$ is a binary is $\,0.50 + 0.46\log_{_{10}}\!\left(M/{\rm M}_{_\odot}\right)\,$ for $\,0.08\,{\rm M}_{_\odot}\leq M\leq 12.5\,{\rm M}_{_\odot}$, $\,0\,$ for $\,M<0.08\,{\rm M}_{_\odot}$, and $\,1\,$ for $\,M>12.5\,{\rm M}_{_\odot}$. The constants in this last relation are chosen so that the model also reproduces the observed variation of multiplicity frequency with primary mass. However, the more qualitative conclusion, that a minority of Sun-like stars are single, holds up for virtually all reasonable values of the model parameters. Parenthetically, it is still likely that the majority of {\it all} stars in the field are single, but that is because most M Dwarfs probably are single.


title: Inducing Approximately Optimal Flow Using Truthful Mediators

abstract: We revisit a classic coordination problem from the perspective of mechanism design: how can we coordinate a social welfare maximizing flow in a network congestion game with selfish players? The classical approach, which computes tolls as a function of known demands, fails when the demands are unknown to the mechanism designer, and naively eliciting them does not necessarily yield a truthful mechanism. Instead, we introduce a weak mediator that can provide suggested routes to players and set tolls as a function of reported demands. However, players can choose to ignore or misreport their type to this mediator. Using techniques from differential privacy, we show how to design a weak mediator such that it is an asymptotic ex-post Nash equilibrium for all players to truthfully report their types to the mediator and faithfully follow its suggestion, and that when they do, they end up playing a nearly optimal flow. Notably, our solution works in settings of incomplete information even in the absence of a prior distribution on player types. Along the way, we develop new techniques for privately solving convex programs which may be of independent interest.


title: Dynamical Analysis of Scalar Field Cosmologies with Spatial Curvature

abstract: We explore the dynamical behaviour of cosmological models involving a scalar field (with an exponential potential and a canonical kinetic term) and a matter fluid with spatial curvature included in the equations of motion. Using appropriately defined parameters to describe the evolution of the scalar field energy in this situation, we find that there are two extra fixed points that are not present in the case without curvature. We also analyse the evolution of the effective equation-of-state parameter for different initial values of the curvature.


title: Transverse single-spin asymmetries in proton-proton collisions at the AFTER@LHC experiment

abstract: We present results for transverse single-spin asymmetries in proton-proton collisions at kinematics relevant for AFTER, a proposed fixed-target experiment at the Large Hadron Collider. These include predictions for pion, jet, and direct photon production from analytical formulas already available in the literature. We also discuss specific measurements that will benefit from the higher luminosity of AFTER, which could help resolve an almost 40-year puzzle of what causes transverse single-spin asymmetries in proton-proton collisions.


title: Local Computation Algorithms for Graphs of Non-Constant Degrees

abstract: In the model of \emph{local computation algorithms} (LCAs), we aim to compute the queried part of the output by examining only a small (sublinear) portion of the input. Many recently developed LCAs on graph problems achieve time and space complexities with very low dependence on $n$, the number of vertices. Nonetheless, these complexities are generally at least exponential in $d$, the upper bound on the degree of the input graph. Instead, we consider the case where parameter $d$ can be moderately dependent on $n$, and aim for complexities with subexponential dependence on $d$, while maintaining polylogarithmic dependence on $n$. We present: a randomized LCA for computing maximal independent sets whose time and space complexities are quasi-polynomial in $d$ and polylogarithmic in $n$; for constant $\epsilon > 0$, a randomized LCA that provides a $(1-\epsilon)$-approximation to maximum matching whose time and space complexities are polynomial in $d$ and polylogarithmic in $n$.


title: The Meaning of Attack-Resistant Systems

abstract: In this paper, we introduce a formal notion of partial compliance, called Attack-resistance, of a computer program running together with a defense mechanism w.r.t a non-exploitability specification. In our setting, a program may contain exploitable vulnerabilities, such as buffer overflows, but appropriate defense mechanisms built into the program or the operating system render such vulnerabilities hard to exploit by certain attackers, usually relying on the strength of the randomness of a probabilistic transformation of the environment or the program and some knowledge on the attacker's goals and attack strategy. We are motivated by the reality that most large-scale programs have vulnerabilities despite our best efforts to get rid of them. Security researchers have responded to this state of affairs by coming up with ingenious defense mechanisms such as address space layout randomization (ASLR) or instruction set randomization (ISR) that provide some protection against exploitation. However, implementations of such mechanism have been often shown to be insecure, even against the attacks they were designed to prevent. By formalizing this notion of attack-resistance we pave the way towards addressing the questions: "How do we formally analyze defense mechanisms? Is there a mathematical way of distinguishing effective defense mechanisms from ineffective ones? Can we quantify and show that these defense mechanisms provide formal security guarantees, albeit partial, even in the presence of exploitable vulnerabilities?". To illustrate our approach we discuss under which circumstances ISR implementations comply with the Attack-resistance definition.


title: Super quantum discord for X-type states

abstract: Weak measurement is a new way to manipulate and control quantum systems. Different from projection measurement, weak measurement only makes a small change in status. Applying weak measurement to quantum discord, Singh and Pati proposed a new kind of quantum correlations called "super quantum discord (SQD)" [Annals of Physics \textbf{343},141(2014)]. Unfortunately, the super quantum discord is also difficult to calculate. There are only few explicit formulae about SQD. We derive an analytical formulae of SQD for general X-type two-qubit states, which surpass the conclusion for Werner states and Bell diagonal states. Furthermore, our results reveal more knowledge about the new insight of quantum correlation and give a new way to compare SQD with normal quantum discord. Finally, we analyze its dynamics under nondissipative channels.


title: QPACE 2 and Domain Decomposition on the Intel Xeon Phi

abstract: We give an overview of QPACE 2, which is a custom-designed supercomputer based on Intel Xeon Phi processors, developed in a collaboration of Regensburg University and Eurotech. We give some general recommendations for how to write high-performance code for the Xeon Phi and then discuss our implementation of a domain-decomposition-based solver and present a number of benchmarks.


title: Quantifying Distributions of Lyman Continuum Escape Fraction

abstract: Simulations have indicated that most of the escaped Lyman continuum photons escape through a minority of solid angles with near complete transparency, with the remaining majority of the solid angles largely opaque, resulting in a very broad and skewed probability distribution function (PDF) of the escape fraction when viewed at different angles. Thus, the escape fraction of Lyman continuum photons of a galaxy observed along a line of sight merely represents the properties of the interstellar medium along that line of sight, which may be an ill-representation of true escape fraction of the galaxy averaged over its full sky. Here we study how Lyman continuum photons escape from galaxies at $z=4-6$, utilizing high-resolution large-scale cosmological radiation-hydrodynamic simulations. We compute the PDF of the mean escape fraction ($\left<f_{\rm esc,1D}\right>$) averaged over mock observational samples, as a function of the sample size, compared to the true mean (had you an infinite sample size). We find that, when the sample size is small, the apparent mean skews to the low end. For example, for a true mean of 6.7%, an observational sample of (2,10,50) galaxies at $z=4$ would have have 2.5% probability of obtaining the sample mean lower than $\left<f_{\rm esc,1D}\right>=$(0.007%, 1.8%, 4.1%) and 2.5% probability of obtaining the sample mean being greater than (43%, 18%, 11%). Our simulations suggest that at least $\sim$ 100 galaxies should be stacked in order to constrain the true escape fraction within 20% uncertainty.


title: Small subset sums

abstract: Let ||.|| be a norm in R^d whose unit ball is B. Assume that V\subset B is a finite set of cardinality n, with \sum_{v \in V} v=0. We show that for every integer k with 0 \le k \le n, there exists a subset U of V consisting of k elements such that \| \sum_{v \in U} v \| \le \lceil d/2 \rceil. We also prove that this bound is sharp in general. We improve the estimate to O(\sqrt d) for the Euclidean and the max norms. An application on vector sums in the plane is also given.


title: Neutrinos in the holographic dark energy model: constraints from latest measurements of expansion history and growth of structure

abstract: The model of holographic dark energy (HDE) with massive neutrinos and/or dark radiation is investigated in detail. The background and perturbation evolutions in the HDE model are calculated. We employ the PPF approach to overcome the gravity instability difficulty (perturbation divergence of dark energy) led by the equation-of-state parameter $w$ evolving across the phantom divide $w=-1$ in the HDE model with $c<1$. We thus derive the evolutions of density perturbations of various components and metric fluctuations in the HDE model. The impacts of massive neutrino and dark radiation on the CMB anisotropy power spectrum and the matter power spectrum in the HDE scenario are discussed. Furthermore, we constrain the models of HDE with massive neutrinos and/or dark radiation by using the latest measurements of expansion history and growth of structure, including the Planck CMB temperature data, the baryon acoustic oscillation data, the JLA supernova data, the Hubble constant direct measurement, the cosmic shear data of weak lensing, the Planck CMB lensing data, and the redshift space distortions data. We find that $\sum m_\nu<0.186$ eV (95\% CL) and $N_{\rm eff}=3.75^{+0.28}_{-0.32}$ in the HDE model from the constraints of these data.


title: Reimplementing the Hierarchical Data System using HDF5

abstract: The Starlink Hierarchical Data System has been a very successful niche astronomy file format and library for over 30 years. Development of the library was frozen ten years ago when funding for Starlink was stopped and almost no-one remains who understands the implementation details. To ensure the long-term sustainability of the Starlink application software and to make the extensible N-Dimensional Data Format accessible to a broader range of users, we propose to re-implement the HDS library application interface as a layer on top of the Hierarchical Data Format version 5. We present an overview of the new implementation of version 5 of the HDS file format and describe differences between the expectations of the HDS and HDF5 library interfaces. We finish by comparing the old and new HDS implementations by looking at a comparison of file sizes and by comparing performance benchmarks.


title: Interacting quintessence from a variational approach Part II: derivative couplings

abstract: We consider an original variational approach for building new models of quintessence interacting with dark or baryonic matter. The coupling is introduced at the Lagrangian level using a variational formulation for relativistic fluids, where the interacting term generally depends on both the dynamical degrees of freedom of the theory and their spacetime derivatives. After deriving the field equations from the action, we consider applications in the context of cosmology. Two simple models are studied using dynamical system techniques showing the interesting phenomenology arising in this framework. We find that these models contain dark energy dominated late time attractors with early time matter dominated epochs and also obtain a possible dynamical crossing of the phantom barrier. The formulation and results presented here complete and expand the analysis exposed in the first part of this work, where only algebraic couplings, without spacetime derivatives, were considered.


title: Searching for P- and CP-odd effects in heavy ion collisions

abstract: In this talk we will summarize the main results from our recent work concerning the possibility that a new metastable phase occurs in some heavy ion collisions (HIC). This phase would be characterized by the breaking of two characteristic symmetries of strong interactions; namely P and CP. We investigate the experimental consequences of parity breaking in such a situation and propose suitable observables to elucidate the presence this phenomenon.


title: On Projection Based Operators in Lp space for Exact Similarity Search

abstract: We investigate exact indexing for high dimensional Lp norms based on the 1-Lipschitz property and projection operators. The orthogonal projection that satisfies the 1-Lipschitz property for the Lp norm is described. The adaptive projection defined by the first principal component is introduced.


title: The Responsibility Weighted Mahalanobis Kernel for Semi-Supervised Training of Support Vector Machines for Classification

abstract: Kernel functions in support vector machines (SVM) are needed to assess the similarity of input samples in order to classify these samples, for instance. Besides standard kernels such as Gaussian (i.e., radial basis function, RBF) or polynomial kernels, there are also specific kernels tailored to consider structure in the data for similarity assessment. In this article, we will capture structure in data by means of probabilistic mixture density models, for example Gaussian mixtures in the case of real-valued input spaces. From the distance measures that are inherently contained in these models, e.g., Mahalanobis distances in the case of Gaussian mixtures, we derive a new kernel, the responsibility weighted Mahalanobis (RWM) kernel. Basically, this kernel emphasizes the influence of model components from which any two samples that are compared are assumed to originate (that is, the "responsible" model components). We will see that this kernel outperforms the RBF kernel and other kernels capturing structure in data (such as the LAP kernel in Laplacian SVM) in many applications where partially labeled data are available, i.e., for semi-supervised training of SVM. Other key advantages are that the RWM kernel can easily be used with standard SVM implementations and training algorithms such as sequential minimal optimization, and heuristics known for the parametrization of RBF kernels in a C-SVM can easily be transferred to this new kernel. Properties of the RWM kernel are demonstrated with 20 benchmark data sets and an increasing percentage of labeled samples in the training data.


title: The Quantum Sweeper Effect

abstract: We show that during stochastic beam attenuation in double slit experiments, there appear unexpected new effects for transmission factors below $a\lesssim10^{-4}$, which can eventually be observed with the aid of weak measurement techniques. These are denoted as quantum sweeper effects, which are characterized by the bunching together of low counting rate particles within very narrow spatial domains. We employ a "superclassical" modeling procedure which we have previously shown to produce predictions identical with those of standard quantum theory. Thus it is demonstrated that in reaching down to ever weaker channel intensities, the nonlinear nature of the probability density currents becomes ever more important. We finally show that the resulting unexpected effects nevertheless implicitly also exist in standard quantum mechanics.


title: Ergodicity breaking and particle spreading in noisy heterogeneous diffusion processes

abstract: We study noisy heterogeneous diffusion processes with a position dependent diffusivity of the form $D(x)\sim D_0|x|^\alpha$ in the presence of annealed and quenched disorder of the environment, corresponding to an effective variation of the exponent $\alpha$ in time and space. In the case of annealed disorder, for which effectively $\alpha=\alpha(t)$ we show how the long time scaling of the ensemble mean squared displacement (MSD) and the amplitude variation of individual realizations of the time averaged MSD are affected by the disorder strength. For the case of quenched disorder, the long time behavior becomes effectively Brownian after a number of jumps between the domains of a stratified medium. In the latter situation the averages are taken over both an ensemble of particles and different realizations of the disorder. As physical observables we analyze in detail the ensemble and time averaged MSDs, the ergodicity breaking parameter, and higher order moments of the time averages.


title: 'Constraint consistency' at all orders in Cosmological perturbation theory

abstract: We study the equivalence of two - order-by-order Einstein's equation and Reduced action - approaches to cosmological perturbation theory at all orders for different models of inflation. We point out a crucial consistency check which we refer to as 'Constraint consistency' that needs to be satisfied. We propose a quick and efficient method to check the consistency for any model including modified gravity models. Our analysis points out an important feature which is crucial for inflationary model building i.e., all `constraint' inconsistent models have higher order Ostrogradsky's instabilities but the reverse is not true. In other words, one can have models with constraint lapse function and shift vector, though it may have Ostrogradsky's instabilities. We also obtain the single variable equation for non-canonical scalar field in the limit of power-law inflation for the second-order perturbed variables.


title: Towards photometry pipeline of the Indonesian space surveillance system

abstract: Optical observation through sub-meter telescope equipped with CCD camera becomes alternative method for increasing orbital debris detection and surveillance. This observational mode is expected to eye medium-sized objects in higher orbits (e.g. MEO, GTO, GSO \& GEO), beyond the reach of usual radar system. However, such observation of fast-moving objects demands special treatment and analysis technique. In this study, we performed photometric analysis of the satellite track images photographed using rehabilitated Schmidt Bima Sakti telescope in Bosscha Observatory. The Hough transformation was implemented to automatically detect linear streak from the images. From this analysis and comparison to USSPACECOM catalog, two satellites were identified and associated with inactive Thuraya-3 satellite and Satcom-3 debris which are located at geostationary orbit. Further aperture photometry analysis revealed the periodicity of tumbling Satcom-3 debris. In the near future, it is not impossible to apply similar scheme to establish an analysis pipeline for optical space surveillance system hosted in Indonesia.


title: Random Walks on countable groups

abstract: We begin by giving a new proof of the equivalence between the Liouville property and vanishing of the drift for symmetric random walks with finite first moments on finitely generated groups; a result which was first established by Kaimanovich-Vershik and Karlsson-Ledrappier. We then proceed to prove that the product of the Poisson boundary of any countable measured group $(G,\mu)$ with any ergodic $(G,\check{\mu})$-space is still ergodic, which in particular yields a new proof of weak mixing for the double Poisson boundary of $(G,\mu)$ when $\mu$ is symmetric. Finally, we characterize the failure of weak-mixing for an ergodic $(G,\mu)$-space as the existence of a non-trivial measure-preserving isometric factor.


title: Moreton Waves and EIT Waves Related to the Flare Events of June 3, 2012 and July 6, 2012

abstract: We present geometrical and kinematical analysis of Moreton waves and EIT waves observed on June 3, 2012 and Moreton waves observed on July 6, 2012. The Moreton waves were recorded in H$\alpha$ images of Global Oscillation Network Group (GONG) archive and EIT waves obtained from SDO/AIA observations, especially in 193 nm channel. The observed wave of June 3 has angular span of about $70^{\circ}$ with a broad wave front associated to NOAA active region 11496. It was found that the speed of the wave that started propagating at 17.53 UT is between 950 to 1500 km/s. Related to this wave occurrence, there was solar type II and III radio bursts. The speed of the EIT in this respect about 247 km/sec. On the other hand, the wave of July 6 may be associated to X1.1 class flare that occurred at 23.01 UT around the 11514 active region. From the kinematical analysis, the wave propagated with the initial velocity of about 1180 km/s which is in agreement with coronal shock velocity derived from type II radio burst observation, $v\sim1200$ km/s.


title: Hypersurfaces that are not stably rational

abstract: We show that a wide class of hypersurfaces in all dimensions are not stably rational. Namely, for all d at least about 2n/3, a very general complex hypersurface of degree d in P^{n+1} is not stably rational. The statement generalizes Colliot-Thelene and Pirutka's theorem that very general quartic 3-folds are not stably rational. The result covers all the degrees in which Kollar proved that a very general hypersurface is non-rational, and a bit more. For example, very general quartic 4-folds are not stably rational, whereas it was not even known whether these varieties are rational.


title: Hamilton cycles in quasirandom hypergraphs

abstract: We show that, for a natural notion of quasirandomness in $k$-uniform hypergraphs, any quasirandom $k$-uniform hypergraph on $n$ vertices with constant edge density and minimum vertex degree $\Omega(n^{k-1})$ contains a loose Hamilton cycle. We also give a construction to show that a $k$-uniform hypergraph satisfying these conditions need not contain a Hamilton $\ell$-cycle if $k-\ell$ divides $k$. The remaining values of $\ell$ form an interesting open question.


title: Abstract Learning via Demodulation in a Deep Neural Network

abstract: Inspired by the brain, deep neural networks (DNN) are thought to learn abstract representations through their hierarchical architecture. However, at present, how this happens is not well understood. Here, we demonstrate that DNN learn abstract representations by a process of demodulation. We introduce a biased sigmoid activation function and use it to show that DNN learn and perform better when optimized for demodulation. Our findings constitute the first unambiguous evidence that DNN perform abstract learning in practical use. Our findings may also explain abstract learning in the human brain.


title: Confronting Four Zero Neutrino Yukawa Textures with $N_2^{}$-dominated Leptogenesis

abstract: We consider a restricted Type-I seesaw scenario with four texture zeros in the neutrino Yukawa matrix, in the weak basis where both the charged-lepton Yukawa matrix and the Majorana mass matrix for right-handed neutrinos are diagonal and real. Inspired by grand unified theories, we further require the neutrino Yukawa matrix to exhibit a similar hierarchical pattern to that in the up-type quark Yukawa matrix. With such a hierarchy requirement, we find that leptogenesis, which would operate in a $N_2^{}$-dominated scenario with the asymmetry generated by the next-to-lightest right-handed neutrino $N_2^{}$, can greatly reduce the number of allowed textures, and disfavors the scenario that three light neutrinos are quasi-degenerate. Such a quasi-degenerate scenario of light neutrinos may soon be tested in upcoming neutrino experiments.


title: Downlink Throughput Driven Channel Access Framework for Cognitive LTE Femto-Cells

abstract: This paper proposes an optimized sensing based channel access framework for the LTE cognitive femto-cells, with an objective of maximizing the femto-cells downlink throughput. Cognitive femto-cells opportunistically transmit on the macro-cell channels when they are free of use. Those free channels are located by means of spectrum sensing using energy detection. Moreover, periodic sensing is adopted to detect any changes of the sensing outcomes. The maximum attainable femto-cell downlink throughput varies with the macro-cell channel occupancy statistics. Therefore, the LTE macro-cell occupancy is empirically modeled using exponential distributions mixture. The LTE cognitive femto-cell downlink throughput is maximized by compromising the transmission efficiency, the explored spectrum opportunities and the interference from the macro-cell. An analytical solution for the optimal periodic sensing interval that maximizes the throughput is found and verified by simulations. The obtained results show that there is indeed a single periodic sensing interval value that maximizes the LTE cognitive femto-cell downlink throughput. At the peak of the macro-cell traffic, our framework increases the femto-cell throughput by around 15% compared to the senseless case. The impact of the available number of channels for opportunistic access is studied and no significant impact is found for more than three channels.


title: Experimental exploration over a quantum control landscape through nuclear magnetic resonance

abstract: The growing successes in performing quantum control experiments motivated the development of control landscape analysis as a basis to explain these findings.When a quantum system is controlled by an electromagnetic field, the observable as a functional of the control field forms a landscape. Theoretical analyses have revealed many properties of control landscapes, especially regarding their slopes, curvatures, and topologies. A full experimental assessment of the landscape predictions is important for future consideration of controlling quantum phenomena. Nuclear magnetic resonance (NMR) is exploited here as an ideal laboratory setting for quantitative testing of the landscape principles. The experiments are performed on a simple two-level proton system in a H$_2$O-D$_2$O sample. We report a variety of NMR experiments roving over the control landscape based on estimation of the gradient and Hessian, including ascent or descent of the landscape, level set exploration, and an assessment of the theoretical predictions on the structure of the Hessian. The experimental results are fully consistent with the theoretical predictions. The procedures employed in this study provide the basis for future multispin control landscape exploration where additional features are predicted to exist.


title: Criterion of unlimited growth of critical multidimensional stochastic models

abstract: We give a criterion for unlimited growth with positive probability for a large class of multidimensional stochastic models. As a by-product, we recover the necessary and sufficient conditions for recurrence and transience for critical multitype Galton-Watson with immigration processes. We also significantly improve some results on multitype size-dependent Galton-Watson processes.


title: On Statistical Analysis of the Pattern of Evolution of Perceived Emotions Induced by Hindustani Music- A Study Based on Listener Responses

abstract: The objective of this study is to find the underlying pattern of how perception of emotions has evolved in India. Here Hindustani Music has been used as a reference frame for tracking the changing perception of emotions. It has been found that different emotions perceived from Hindustani Music form a particular sequential pattern when their corresponding pitch periods are analyzed using the standard deviations and mean successive squared differences.This sequential pattern of emotions coincides with their corresponding sequential pattern of tempos or average number of steady states. On the basis of this result we further found that the range of perception of emotions has diminished significantly these days compared to what it was before. The proportion of responses for the perceived emotions like Anger, Serenity, Romantic and Sorrow has also decreased to a great extent than what it was previously. The proportion of responses for the perceived emotion Anxiety has increased phenomenally. Both standard deviation and mean successive squared difference are two very good measures in tracking the changing perception of emotions. The overall pattern of the change of perceived emotions has corresponded to the psychological and sociological change of human life.


title: Efficient Algorithms for Envy-Free Stick Division With Fewest Cuts

abstract: Given a set of n sticks of various (not necessarily different) lengths, what is the largest length so that we can cut k equally long pieces of this length from the given set of sticks? We analyze the structure of this problem and show that it essentially reduces to a single call of a selection algorithm; we thus obtain an optimal linear-time algorithm. This algorithm also solves the related envy-free stick-division problem, which Segal-Halevi, Hassidim, and Aumann (AAMAS, 2015) recently used as their central primitive operation for the first discrete and bounded envy-free cake cutting protocol with a proportionality guarantee when pieces can be put to waste.


title: How essential are unstructured clinical narratives and information fusion to clinical trial recruitment?

abstract: Electronic health records capture patient information using structured controlled vocabularies and unstructured narrative text. While structured data typically encodes lab values, encounters and medication lists, unstructured data captures the physician's interpretation of the patient's condition, prognosis, and response to therapeutic intervention. In this paper, we demonstrate that information extraction from unstructured clinical narratives is essential to most clinical applications. We perform an empirical study to validate the argument and show that structured data alone is insufficient in resolving eligibility criteria for recruiting patients onto clinical trials for chronic lymphocytic leukemia (CLL) and prostate cancer. Unstructured data is essential to solving 59% of the CLL trial criteria and 77% of the prostate cancer trial criteria. More specifically, for resolving eligibility criteria with temporal constraints, we show the need for temporal reasoning and information integration with medical events within and across unstructured clinical narratives and structured data.


title: Proposal of thermal neutron flux monitors based on vibrating wire

abstract: Two types of neutron monitors with fine spatial resolution are proposed based on vibrating wire. In the first type, neutrons interact with the vibrating wire, heat it, and lead to the change of natural frequency, which can be precisely measured. To increase the heat deposition during the neutron scattering, use of gadolinium layer which has the highest thermal neutron capture cross section among all elements is proposed. The second type of the monitor uses vibrating wire as a resonant target. Besides the measurement of beam profile according to the average signal, the differential signal synchronized with the wire oscillations defines the gradient of beam profile. Spatial resolution of the monitor is defined by the diameter of the wire.


title: Temperature inversion in long-range interacting systems

abstract: Temperature inversions occur in nature, e.g., in the solar corona and in interstellar molecular clouds: somewhat counterintuitively, denser parts of the system are colder than dilute ones. We propose a simple and appealing way to spontaneously generate temperature inversions in systems with long-range interactions, by preparing them in inhomogeneous thermal equilibrium states and then applying an impulsive perturbation. In similar situations, short-range systems would typically relax to another thermal equilibrium, with uniform temperature profile. By contrast, in long-range systems, the interplay between wave-particle interaction and spatial inhomogeneity drives the system to nonequilibrium stationary states that generically exhibit temperature inversion. We demonstrate this mechanism in a simple mean-field model and in a two-dimensional self-gravitating system. Our work underlines the crucial role the range of interparticle interaction plays in determining the nature of steady states out of thermal equilibrium.


title: Computer-aided verification in mechanism design

abstract: In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism.


title: Contracting orbits in Outer space

abstract: We show that strongly contracting geodesics in Outer space project to parameterized quasigeodesics in the free factor complex. This result provides a converse to a theorem of Bestvina--Feighn, and is used to give conditions for when a subgroup of $\mathrm{Out}(\mathbb{F})$ has a quasi-isometric orbit map into the free factor complex. It also allows one to construct many new examples of strongly contracting geodesics in Outer space.