title: A strengthening of the energy inequality for the Leray-Hopf solutions of the 3D periodic Navier-Stokes equations

abstract: In present note we establish the following inequality for the the Leray-Hopf solutions of the 3-D $\Omega$-periodic Navier-Stokes Equations: \[\phi(|u(t)|^2)-\phi(|u(t_0)|^2)\le 2\int_{t_0}^{t}\phi'(|u(\tau)|^2) [-\nu|A^{1/2}u(\tau)|^2+(g(\tau),u(\tau))]\,d\tau\] for all $t_0$ Leray-Hopf points, $t\ge t_0$, and $\phi:\mathbb{R}_{+}\to\mathbb{R}$ is an absolutely continouos non-decreasing function with bounded derivative. %with $\phi'(\xi)\ge0$ for all $\xi>0$. Here $(\cdot,\cdot)$ and $|\cdot|$ is correspondingly the $L^2$ inner product and the $L^2$ norm on $\Omega$, and $A$ is the Stokes operator.


title: On F-theory E_6 GUTs

abstract: We approach the Minimum Supersymmetric Standard Model (MSSM) from an E_6 GUT by using the spectral cover construction and non-abelian gauge fluxes in F-theory. We start with an E_6 singularity unfolded from an E_8 singularity and obtain E_6 GUTs by using an SU(3) spectral cover. By turning on SU(2) X U(1)^2 gauge fluxes, we obtain a rank 5 model with the gauge group SU(3) X SU(2) X U(1)^2. Based on the well-studied geometric backgrounds in the literature, we demonstrate several models and discuss their phenomenology.


title: Using entropy measures for comparison of software traces

abstract: The analysis of execution paths (also known as software traces) collected from a given software product can help in a number of areas including software testing, software maintenance and program comprehension. The lack of a scalable matching algorithm operating on detailed execution paths motivates the search for an alternative solution. This paper proposes the use of word entropies for the classification of software traces. Using a well-studied defective software as an example, we investigate the application of both Shannon and extended entropies (Landsberg-Vedral, R\'{e}nyi and Tsallis) to the classification of traces related to various software defects. Our study shows that using entropy measures for comparisons gives an efficient and scalable method for comparing traces. The three extended entropies, with parameters chosen to emphasize rare events, all perform similarly and are superior to the Shannon entropy.


title: Scaled free energies, power-law potentials, strain pseudospins and quasi-universality for first-order structural transitions

abstract: We consider ferroelastic first-order phase transitions with $N_{OP}$ order-parameter strains entering Landau free energies as invariant polynomials, that have $N_V$ structural-variant Landau minima. The total free energy includes (seemingly innocuous) harmonic terms, in the $n = 6 -N_{OP}$ {\it non}-order-parameter strains. Four 3D transitions are considered, tetragonal/orthorhombic, cubic/tetragonal, cubic/trigonal and cubic/orthorhombic unit-cell distortions, with respectively, $N_{OP} = 1, 2, 3 $ and 2; and $N_V = 2, 3, 4$ and 6. Five 2D transitions are also considered, as simpler examples. Following Barsch and Krumhansl, we scale the free energy to absorb most material-dependent elastic coefficients into an overall prefactor, by scaling in an overall elastic energy density; a dimensionless temperature variable; and the spontaneous-strain magnitude at transition $\lambda <<1$. To leading order in $\lambda$ the scaled Landau minima become material-independent, in a kind of 'quasi-universality'. The scaled minima in $N_{OP}$-dimensional order-parameter space, fall at the centre and at the $N_V$ corners, of a transition-specific polyhedron inscribed in a sphere, whose radius is unity at transition. The `polyhedra' for the four 3D transitions are respectively, a line, a triangle, a tetrahedron, and a hexagon. We minimize the $n$ terms harmonic in the non-order-parameter strains, by substituting solutions of the 'no dislocation' St Venant compatibility constraints, and explicitly obtain powerlaw anisotropic, order-parameter interactions, for all transitions. In a reduced discrete-variable description, the competing minima of the Landau free energies induce unit-magnitude pseudospin vectors, with $N_V +1$ values, pointing to the polyhedra corners and the (zero-value) center.


title: Computation of Casimir Interactions between Arbitrary 3D Objects with Arbitrary Material Properties

abstract: We extend a recently introduced method for computing Casimir forces between arbitrarily--shaped metallic objects [M. T. H. Reid et al., Phys. Rev. Lett._103_ 040401 (2009)] to allow treatment of objects with arbitrary material properties, including imperfect conductors, dielectrics, and magnetic materials. Our original method considered electric currents on the surfaces of the interacting objects; the extended method considers both electric and magnetic surface current distributions, and obtains the Casimir energy of a configuration of objects in terms of the interactions of these effective surface currents. Using this new technique, we present the first predictions of Casimir interactions in several experimentally relevant geometries that would be difficult to treat with any existing method. In particular, we investigate Casimir interactions between dielectric nanodisks embedded in a dielectric fluid; we identify the threshold surface--surface separation at which finite--size effects become relevant, and we map the rotational energy landscape of bound nanoparticle diclusters.


title: Comments on Gaugino Mass and Landscape of Vacua

abstract: In direct gauge mediation, gaugino masses often vanish at the leading order of supersymmetry breaking. Recently, this phenomenon is understood in connection with the global structure of vacua in O'Raifeartaigh-type models. In this note, we further explore a connection between gaugino masses and the landscape of vacua in more general situations, focusing on a few examples which demonstrate our idea. In particular, we present a calculable model with non-vanishing leading order gaugino masses on the lowest energy vacuum.


title: First-principles calculations of shocked fluid helium in partially ionized region

abstract: Quantum molecular dynamic simulations have been employed to study the equation of state (EOS) of fluid helium under shock compressions. The principal Hugoniot is determined from EOS, where corrections from atomic ionization are added onto the calculated data. Our simulation results indicate that principal Hugoniot shows good agreement with gas gun and laser driven experiments, and maximum compression ratio of 5.16 is reached at 106 GPa.


title: Subdiffusive heat-kernel decay in four-dimensional i.i.d. random conductance models

abstract: We study the diagonal heat-kernel decay for the four-dimensional nearest-neighbor random walk (on $\Z^4$) among i.i.d. random conductances that are positive, bounded from above but can have arbitrarily heavy tails at zero. It has been known that the quenched return probability $\cmss P_\omega^{2n}(0,0)$ after $2n$ steps is at most $C(\omega) n^{-2} \log n$, but the best lower bound till now has been $C(\omega) n^{-2}$. Here we will show that the $\log n$ term marks a real phenomenon by constructing an environment, for each sequence $\lambda_n\to\infty$, such that $$ \cmss P_\omega^{2n}(0,0)\ge C(\omega)\log(n)n^{-2}/\lambda_n, $$ with $C(\omega)>0$ a.s., along a deterministic subsequence of $n$'s. Notably, this holds simultaneously with a (non-degenerate) quenched invariance principle. As for the $d\ge5$ cases studied earlier, the source of the anomalous decay is a trapping phenomenon although the contribution is in this case collected from a whole range of spatial scales.


title: Bounds on the Heat Kernel under the Ricci Flow

abstract: We establish an estimate for the fundamental solution of the heat equation on a closed Riemannian manifold $M$ of dimension at least 3, evolving under the Ricci flow. The estimate depends on some constants arising from a Sobolev imbedding theorem. Considering the case when the scalar curvature is positive throughout the manifold, at any time, we will obtain, as a corollary, a bound similar to the one known for the fixed metric case.


title: D'yakonov-Perel' spin relaxation for degenerate electrons in the electron-hole liquid

abstract: We present an analytical study of the D'yakonov-Perel' spin relaxation time for degenerate electrons in a photo-excited electron-hole liquid in intrinsic semiconductors exhibiting a spin-split band structure. The D'yakonov-Perel' spin relaxation of electrons in these materials is controlled by electron-hole scattering, with small corrections from electron-electron scattering and virtually none from electron-impurity scattering. We derive simple expressions (one-dimensional and two-dimensional integrals respectively) for the effective electron-hole and electron-electron scattering rates which enter the spin relaxation time calculation. The electron-hole scattering rate is found to be comparable to the scattering rates from impurities in the electron liquid - a common model for n-type doped semiconductors. As the density of electron-hole pairs decreases (within the degenerate regime), a strong enhancement of the scattering rates and a corresponding slowing down of spin relaxation is predicted due to exchange and correlation effects in the electron-hole liquid. In the opposite limit of high density, the original D'yakonov-Perel' model fails due to decreasing scattering rates and is eventually superseded by free precession of individual quasiparticle spins.


title: Many Roads to Synchrony: Natural Time Scales and Their Algorithms

abstract: We consider two important time scales---the Markov and cryptic orders---that monitor how an observer synchronizes to a finitary stochastic process. We show how to compute these orders exactly and that they are most efficiently calculated from the epsilon-machine, a process's minimal unifilar model. Surprisingly, though the Markov order is a basic concept from stochastic process theory, it is not a probabilistic property of a process. Rather, it is a topological property and, moreover, it is not computable from any finite-state model other than the epsilon-machine. Via an exhaustive survey, we close by demonstrating that infinite Markov and infinite cryptic orders are a dominant feature in the space of finite-memory processes. We draw out the roles played in statistical mechanical spin systems by these two complementary length scales.


title: Interior Models of Uranus and Neptune

abstract: 'Empirical' models (pressure vs. density) of Uranus and Neptune interiors constrained by the gravitational coefficients J_2, J_4, the planetary radii and masses, and Voyager solid-body rotation periods are presented. The empirical pressure-density profiles are then interpreted in terms of physical equations of state of hydrogen, helium, ice (H_2O), and rock (SiO_2) to test the physical plausibility of the models. The compositions of Uranus and Neptune are found to be similar with somewhat different distributions of the high-Z material. The big difference between the two planets is that Neptune requires a non-solar envelope while Uranus is best matched with a solar composition envelope. Our analysis suggests that the heavier elements in both Uranus' and Neptune's interior might increase gradually towards the planetary centers. Indeed it is possible to fit the gravitational moments without sharp compositional transitions.


title: Radiative corrections to the Dalitz plot of K_{l3}^\pm decays

abstract: We calculate the model-independent radiative corrections to the Dalitz plot of K_{l3}^\pm decays to order (\alpha/\pi)(q/M_1), where q is the momentum transfer and M_1 is the mass of the kaon. The final results are presented, first, with the triple integration over the variables of the bremsstrahlung photon ready to be performed numerically and, second, in an analytical form. These two forms are useful to crosscheck on one another and with other calculations. This paper is organized to make it accessible and reliable in the analysis of the Dalitz plot of precision experiments and is not compromised to fixing the form factors at predetermined values. It is assumed that the real photons are kinematically discriminated. Otherwise, our results have a general model-independent applicability.


title: Thickness dependence of surface diffusion in epitaxial LaAlO3 on SrTiO3(001)

abstract: The LaAlO3/SrTiO3 (001) thin film materials system was studied using in situ, simultaneous x-ray diffuse scattering and specular reflectivity during pulsed laser deposition. Using this method, we are able to measure the time dependence of the characteristic surface length scale and the characteristic time for both in-plane and downhill diffusion. These data allow for the determination of the activation energy for various diffusion processes as a function of LaAlO3 thickness. Additionally, we show that the downhill diffusion rate of the first monolayer is distinctly different than subsequent layers. These results are directly compared to previous experimental observations seen during the deposition of homoepitaxial SrTiO3 (001).


title: Algebroids and Jacobian conjecture

abstract: Using the Galois theory over function field, and the holomorphy of algebroids defined via irreducible polynomial at singular points, we prove the injectivity of any kellerian mapping. The famous Jacobian conjecture is true.


title: Black Hole Formation in Failing Core-Collapse Supernovae

abstract: We present results of a systematic study of failing core-collapse supernovae and the formation of stellar-mass black holes (BHs). Using our open-source general-relativistic 1.5D code GR1D equipped with a three-species neutrino leakage/heating scheme and over 100 presupernova models, we study the effects of the choice of nuclear equation of state (EOS), zero-age main sequence (ZAMS) mass and metallicity, rotation, and mass-loss prescription on BH formation. We find that the outcome, for a given EOS, can be estimated, to first order, by a single parameter, the compactness of the stellar core at bounce. By comparing protoneutron star (PNS) structure at the onset of gravitational instability with solutions of the Tolman-Oppenheimer-Volkof equations, we find that thermal pressure support in the outer PNS core is responsible for raising the maximum PNS mass by up to 25% above the cold NS value. By artificially increasing neutrino heating, we find the critical neutrino heating efficiency required for exploding a given progenitor structure and connect these findings with ZAMS conditions, establishing, albeit approximately, for the first time based on actual collapse simulations, the mapping between ZAMS parameters and the outcome of core collapse. We also study the effect of progenitor rotation and find that the dimensionless spin of nascent BHs may be robustly limited below a^* = Jc/GM^2 = 1 by the appearance of nonaxisymmetric rotational instabilities.


title: Three dimensional generalization of the $J_1$-$J_2$ Heisenberg model on a square lattice and role of the interlayer coupling $J_c$

abstract: A possibility to describe magnetism in the iron pnictide parent compounds in terms of the two-dimensional frustrated Heisenberg $J_1$-$J_2$ model has been actively discussed recently. However, recent neutron scattering data has shown that the pnictides have a relatively large spin wave dispersion in the direction perpendicular to the planes. This indicates that the third dimension is very important. Motivated by this observation we study the $J_1$-$J_2$-$J_c$ model that is the three dimensional generalization of the $J_1$-$J_2$ Heisenberg model for $S = 1/2$ and S = 1. Using self-consistent spin wave theory we present a detailed description of the staggered magnetization and magnetic excitations in the collinear state. We find that the introduction of the interlayer coupling $J_c$ suppresses the quantum fluctuations and strengthens the long range ordering. In the $J_1$-$J_2$-$J_c$ model, we find two qualitatively distinct scenarios for how the collinear phase becomes unstable upon increasing $J_1$. Either the magnetization or one of the spin wave velocities vanishes. For $S = 1/2$ renormalization due to quantum fluctuations is significantly stronger than for S=1, in particular close to the quantum phase transition. Our findings for the $J_1$-$J_2$-$J_c$ model are of general theoretical interest, however, the results show that it is unlikely that the model is relevant to undoped pnictides.


title: Directed Graphs, Decompositions, and Spatial Linkages

abstract: The decomposition of a linkage into minimal components is a central tool of analysis and synthesis of linkages. In this paper we prove that every pinned d-isostatic (minimally rigid) graph (grounded linkage) has a unique decomposition into minimal strongly connected components (in the sense of directed graphs), or equivalently into minimal pinned isostatic graphs, which we call d-Assur graphs. We also study key properties of motions induced by removing an edge in a d-Assur graph - defining a stronger sub-class of strongly d-Assur graphs by the property that all inner vertices go into motion, for each removed edge. The strongly 3-Assur graphs are the central building blocks for kinematic linkages in 3-space and the 3-Assur graphs are components in the analysis of built linkages. The d-Assur graphs share a number of key combinatorial and geometric properties with the 2-Assur graphs, including an associated lower block- triangular decomposition of the pinned rigidity matrix which provides modular information for extending the motion induced by inserting one driver in a bottom Assur linkage to the joints of the entire linkage. We also highlight some problems in combinatorial rigidity in higher dimensions (d > 2) which cause the distinction between d-Assur and strongly d-Assur which did not occur in the plane.


title: Strongly Interacting Atom Lasers in Three Dimensional Optical Lattices

abstract: We show that the dynamical melting of a Mott insulator in a three-dimensional lattice leads to condensation at nonzero momenta, a phenomenon that can be used to generate strongly interacting atom lasers in optical lattices. For infinite onsite repulsion, the case considered here, the momenta at which bosons condense is determined analytically and found to have a simple dependence on the hopping amplitudes. The occupation of the condensates is shown to scale linearly with the total number of atoms in the initial Mott insulator. Our results are obtained using a Gutzwiller-type mean-field approach, gauged against exact diagonalization solutions of small systems.


title: Anomalous Josephson current through a ferromagnetic trilayer junction

abstract: We studied the anomalous Josephson current appearing at zero phase difference in junctions coupled with a ferromagnetic trilayer which has noncoplanar magnetizations. A $\pi/2$ junction with an equilibrium phase difference $\pi/2$ is obtained under suitable conditions. The equilibrium phase difference and the amplitude of the supercurrent are all tunable by the structure parameters. In addition to calculating the anomalous current using the Bogoliubov-de Gennes equation, we also developed a clear physical picture explaining the anomalous Josephson effect in the structure. We show that the triplet proximity correlation and the phase shift in the anomalous current-phase relation all stem from the spin precession in the first and third ferromagnet layers.


title: Quantum mechanical photon-count formula derived by entangled state representation

abstract: By introducing the thermo entangled state representation, we derived four new photocount distribution formulas for a given density operator of light field. It is shown that these new formulas, which is convenient to calculate the photocount, can be expressed as such integrations over Laguree-Gaussian function with characteristic function, Wigner function, Q-function, and P-function, respectively.


title: Equations of State in the Brans-Dicke cosmology

abstract: We investigate the Brans-Dicke (BD) theory with the potential as cosmological model to explain the present accelerating universe. In this work, we consider the BD field as a perfect fluid with the energy density and pressure in the Jordan frame. Introducing the power-law potential and the interaction with the cold dark matter, we obtain the phantom divide which is confirmed by the native and effective equation of state. Also we can describe the metric $f(R)$ gravity with an appropriate potential, which shows a future crossing of phantom divide in viable $f(R)$ gravity models when employing the native and effective equations of state.


title: The Energy-Momentum Tensor in General Relativity and in Alternative Theories of Gravitation, and the Gravitational vs. Inertial Mass

abstract: We establish a general relation between the canonical energy-momentum tensor of Lagrangian dynamics and the tensor that acts as the source of the gravitational field in Einstein's equations, and we show that there is a discrepancy between these tensors when there are direct nonminimal couplings between matter and the Riemann tensor. Despite this discrepancy, we give a general proof of the exact equality of the gravitational and inertial masses for any arbitrary system of matter and gravitational fields, even in the presence of nonminimal second-derivative couplings and-or linear or nonlinear second-derivative terms of any kind in the Lagrangian. The gravitational mass is defined by the asymptotic Newtonian potential at large distance from the system, and the inertial mass is defined by the volume integral of the energy density determined from the canonical energy-momentum tensor. In the Brans-Dicke scalar field theory, we establish that the nonminimal coupling and long range of the scalar field leads to an inequality between the gravitational and inertial masses, and we derive an exact formula for this inequality and confirm that it is approximately proportional to the gravitational self-energy (the Nordvedt effect), but with a constant of proportionality different from what is claimed in the published literature in calculations based on the PPN scheme. Similar inequalities of gravitational and inertial masses are expected to occur in other scalar and vector theories.


title: Geometric Approach to Quantum Statistical Mechanics and Application to Casimir Energy and Friction Properties

abstract: A geometric approach to general quantum statistical systems (including the harmonic oscillator) is presented. It is applied to Casimir energy and the dissipative system with friction. We regard the (N+1)-dimensional Euclidean {\it coordinate} system (X$^i$,$\tau$) as the quantum statistical system of N quantum (statistical) variables (X$^i$) and one {\it Euclidean time} variable ($\tau$). Introducing paths (lines or hypersurfaces) in this space (X$^i$,$\tau$), we adopt the path-integral method to quantize the mechanical system. This is a new view of (statistical) quantization of the {\it mechanical} system. The system Hamiltonian appears as the {\it area}. We show quantization is realized by the {\it minimal area principle} in the present geometric approach. When we take a {\it line} as the path, the path-integral expressions of the free energy are shown to be the ordinary ones (such as N harmonic oscillators) or their simple variation. When we take a {\it hyper-surface} as the path, the system Hamiltonian is given by the {\it area} of the {\it hyper-surface} which is defined as a {\it closed-string configuration} in the bulk space. In this case, the system becomes a O(N) non-linear model. We show the recently-proposed 5 dimensional Casimir energy (ArXiv:0801.3064,0812.1263) is valid. We apply this approach to the visco-elastic system, and present a new method using the path-integral for the calculation of the dissipative properties.


title: Photon properties of single graphene nanoribbon microcavity laser

abstract: In this work, I propose a scheme about a single graphene nanoribbon (GNR) emitter in a microcavity, and focus on a fully-quantum-mechanical treatment model with the excitonic interaction included to investigate the photon properties and lasing action. When the single armchair-edged GNRs (AGNRs) microcavity system is pumped, the exciton-photon coupling provides more photons and enhances the photon emission process, making it essentially a lasing object. The theoretical results demonstrated that single AGNR in a semiconductor microcavity system maybe serve as a nanolaser with ultralow lasing threshold.


title: Algorithmic differentiation and the calculation of forces by quantum Monte Carlo

abstract: We describe an efficient algorithm to compute forces in quantum Monte Carlo using adjoint algorithmic differentiation. This allows us to apply the space warp coordinate transformation in differential form, and compute all the 3M force components of a system with M atoms with a computational effort comparable with the one to obtain the total energy. Few examples illustrating the method for an electronic system containing several water molecules are presented. With the present technique, the calculation of finite-temperature thermodynamic properties of materials with quantum Monte Carlo will be feasible in the near future.


title: Shape of Lambda hypernuclei in (beta,gamma) deformation plane

abstract: We study the shape of $\Lambda$ hypernuclei in the full ($\beta,\gamma$) deformation plane, including both axially symmetric and triaxial quadrupole deformations. To this end, we use the constrained Skyrme Hartree-Fock+BCS method on the three-dimensional Cartesian mesh. The potential energy surface is analyzed for carbon hypernuclei as well as for sd-shell hypernuclei such as $^{27,29}_{\Lambda}$Si and $^{25,27}_{\Lambda}$Mg. We show that the potential energy surface in the ($\beta,\gamma$) plane is similar to each other between the hypernuclei and the corresponding core nuclei, although the addition of $\Lambda$ hyperon makes the energy surface somewhat softer along the $\gamma$ direction. Our calculation implies that the energy of the $\gamma$ vibration for $^{25,27}_{\Lambda}$Mg nuclei is lowered by about 0.15 MeV with respect to that of $^{24,26}$Mg nuclei.


title: Fast Continuous Haar and Fourier Transforms of Rectilinear Polygons from VLSI Layouts

abstract: We develop the pruned continuous Haar transform and the fast continuous Fourier series, two fast and efficient algorithms for rectilinear polygons. Rectilinear polygons are used in VLSI processes to describe design and mask layouts of integrated circuits. The Fourier representation is at the heart of many of these processes and the Haar transform is expected to play a major role in techniques envisioned to speed up VLSI design. To ensure correct printing of the constantly shrinking transistors and simultaneously handle their increasingly large number, ever more computationally intensive techniques are needed. Therefore, efficient algorithms for the Haar and Fourier transforms are vital. We derive the complexity of both algorithms and compare it to that of discrete transforms traditionally used in VLSI. We find a significant reduction in complexity when the number of vertices of the polygons is small, as is the case in VLSI layouts. This analysis is completed by an implementation and a benchmark of the continuous algorithms and their discrete counterpart. We show that on tested VLSI layouts the pruned continuous Haar transform is 5 to 25 times faster, while the fast continuous Fourier series is 1.5 to 3 times faster.


title: Okamoto's space for the first Painlev\'e equation in Boutroux coordinates

abstract: We study the completeness and connectedness of asymptotic behaviours of solutions of the first Painlev\'e equation $\op{d}^2y/\op{d}x^2=6\, y^2+ x$, in the limit $x\to\infty$, $x\in\C$. This problem arises in various physical contexts including the critical behaviour near gradient catastrophe for the focusing nonlinear Schr\"odinger equation. We prove that the complex limit set of solutions is non-empty, compact and invariant under the flow of the limiting autonomous Hamiltonian system, that the infinity set of the vector field is a repellor for the dynamics and obtain new proofs for solutions near the equilibrium points of the autonomous flow. The results rely on a realization of Okamoto's space, i.e., the space of initial values compactified and regularized by embedding in $\C\Proj 2$ through an explicit construction of nine blow-ups.


title: $G-$Decompositions of Matrices and Related Problems I

abstract: In the present paper we introduce a notion of $G-$decompositions of matrices. Main result of the paper is that a symmetric matrix $A_m$ has a $G-$decomposition in the class of stochastic (resp. substochastic) matrices if and only if $A_m$ belongs to the set ${\mathbf{U}}^m$ (resp. ${\mathbf{U}}_m$). To prove the main result, we study extremal points and geometrical structures of the sets ${\mathbf{U}}^m$, ${\mathbf{U}}_m$. Note that such kind of investigations enables to study Birkhoff's problem for quadratic $G-$doubly stochastic operators.


title: Port Protocols for Deadlock-Freedom of Component Systems

abstract: In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model. Typically, these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. In our approach, we want to avoid not only the analysis of the global behavior but also of the local behaviors of the components. Instead, we consider very small parts of the local behaviors called port protocols that suffice to verify properties.


title: A Graphical Approach to Progress for Structured Communication in Web Services

abstract: We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipline. We show that those processes whose associated dependency graph is acyclic can be brought to reduce. We call such processes transparent processes. Additionally, we prove that for well-typed processes where services contain no free names, such acyclicity is preserved by the reduction semantics. Our results encompass programs (processes containing neither free nor restricted session channels) and higher-order sessions (delegation). Furthermore, we give examples suggesting that transparent processes constitute a large enough class of processes with progress to have applications in modern session-based programming languages for web services.


title: History-sensitive versus future-sensitive approaches to security in distributed systems

abstract: We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the future behaviour of programs and to make access control decisions based on this; this gives the flavour of dealing with information flow rather than mere access control. We show in this paper that it is beneficial to augment this approach with history-based components as is the traditional approach in reference monitor-based approaches to mandatory access control. Our developments are performed in an aspect-oriented coordination language aiming to describe the Bell-LaPadula policy as elegantly as possible. Furthermore, the resulting language has the capability of combining both history- and future-sensitive policies, providing even more flexibility and power.


title: Safer in the Clouds (Extended Abstract)

abstract: We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.


title: Static vs Dynamic SAGAs

abstract: SAGAs calculi (or simply SAGAs) have been proposed by Bruni et al. as a model for long-running transactions. The approach therein can be considered static, while a dynamic approach has been proposed by Lanese and Zavattaro. In this paper we first extend both static SAGAs (in the centralized interruption policy) and dynamic SAGAs to deal with nesting, then we compare the two approaches.


title: Primitives for Contract-based Synchronization

abstract: We investigate how contracts can be used to regulate the interaction between processes. To do that, we study a variant of the concurrent constraints calculus presented in [1], featuring primitives for multi-party synchronization via contracts. We proceed in two directions. First, we exploit our primitives to model some contract-based interactions. Then, we discuss how several models for concurrency can be expressed through our primitives. In particular, we encode the pi-calculus and graph rewriting.


title: An Introduction to Time-Constrained Automata

abstract: We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions can have multiple start time and deadlines, can be aperiodic, and are selected dynamically following a graph, the time-constrained automaton. This allows expressing much more precise time constraints than classical periodic or sporadic model, while preserving the ease of scheduling and analysis. We provide some properties of this model as well as their scheduling semantics. We show that TCA can be automatically derived from source-code, and optimally scheduled on single processors using a variant of EDF. We explain how time constraints can be used to guarantee communication determinism by construction, and to study when possible agent interactions happen.


title: A theory of desynchronisable closed loop system

abstract: The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to the asynchronous interaction between a plant and its controller in implementations, whereas the existing supervisory control theories assume synchronous interaction. As a consequence the implementation suffer from the so-called inexact synchronisation problem. In this paper we address the issue of inexact synchronisation in a process algebraic setting, by solving a more general problem of refinement. We construct an asynchronous closed loop system by introducing a communication medium in a given synchronous closed loop system. Our goal is to find sufficient conditions under which a synchronous closed loop system is branching bisimilar to its corresponding asynchronous closed loop system.


title: A linear programming approach to general dataflow process network verification and dimensioning

abstract: In this paper, we present linear programming-based sufficient conditions, some of them polynomial-time, to establish the liveness and memory boundedness of general dataflow process networks. Furthermore, this approach can be used to obtain safe upper bounds on the size of the channel buffers of such a network.


title: Dirac Fermions in Inhomogeneous Magnetic Field

abstract: We study a confined system of Dirac fermions in the presence of inhomogeneous magnetic field. Splitting the system into different regions, we determine their corresponding energy spectrum solutions. We underline their physical properties by considering the conservation energy where some interesting relations are obtained. These are used to discuss the reflexion and transmission coefficients for Dirac fermions and check the probability condition for different cases. We generalize the obtained results to a system with gap and make some analysis. After evaluating the current-carrying states, we analyze the Klein paradox and report interesting discussions.

categories: cond-mat.mes-hall hep-th math-ph math.MP


title: Thermodynamics of accelerating and rotating black holes

abstract: Thermodynamics of a large family of black holes from electrovacuum solutions of Einstein's equations is studied. This family includes rotating and non-accelerating black holes with NUT charge, and rotating and accelerating black holes. The surface gravity, Hawking temperature and the area laws for these black holes are presented. The first law of thermodynamics is also given. An interesting outcome of our analysis is the restriction obtained on the magnitude of acceleration for these black holes.


title: Photometric variability of the Be star CoRoT-ID 102761769

abstract: Classical Be stars are rapid rotators of spectral type late O to early A and luminosity class V-III, wich exhibit Balmer emission lines and often a near infrared excess originating in an equatorially concentrated circumstellar envelope, both produced by sporadic mass ejection episodes. The causes of the abnormal mass loss (the so-called Be phenomenon) are as yet unknown. For the first time, we can now study in detail Be stars outside the Earth's atmosphere with sufficient temporal resolution. We investigate the variability of the Be Star CoRoT-ID 102761769 observed with the CoRoT satellite in the exoplanet field during the initial run. One low-resolution spectrum of the star was obtained with the INT telescope at the Observatorio del Roque de los Muchachos. A time series analysis was performed using both cleanest and singular spectrum analysis algorithms to the CoRoT light curve. To identify the pulsation modes of the observed frequencies, we computed a set of models representative of CoRoT-ID 102761769 by varying its main physical parameters inside the uncertainties discussed. We found two close frequencies related to the star. They are 2.465 $\rm c\,d^{-1}$ (28.5 $\mathrm{\mu Hz}$) and 2.441 $\rm c\,d^{-1}$ (28.2 $\mathrm{\mu Hz}$). The precision to which those frequencies were found is 0.018 $\rm c\,d^{-1}$ (0.2 $\mathrm{\mu Hz}$). The projected stellar rotation was estimated to be 120 $\rm km\,s^{-1}$ from the Fourier transform of spectral lines. If CoRoT-ID 102761769 is a typical Galactic Be star it rotates near the critical velocity. The critical rotation frequency of a typical B5-6 star is about 3.5 $\rm c\,d^{-1}$(40.5 $\mathrm{\mu Hz}$), which implies that the above frequencies are really caused by stellar pulsations rather than star's rotation.


title: Another Quantum Lov\'{a}sz Local Lemma

abstract: We define a natural conceptual framework in which a generalization of the Lov\'{a}sz Local Lemma can be established in quantum probability theory.


title: Approximate Acoustic Cloaking in Inhomogeneous Isotropic Space

abstract: In this paper, we consider the approximate acoustic cloaking in inhomogeneous isotropic background space. By employing transformation media, together with the use of a sound-soft layer lining right outside the cloaked region, we show that one can achieve the near-invisibility by the `blow-up-a-small-region' construction. This is based on novel scattering estimates corresponding to small sound-soft obstacles located in isotropic space. One of the major novelties of our scattering estimates is that one cannot make use of the scaling argument in the setting of current study due to the simultaneous presence of asymptotically small obstacle components and regularly sized obstacle components, and one has to decouple the nonlinear scattering interaction between the small obstacle components and, the regular obstacle components together with the background medium.


title: Simple and robust method for search Dark Matter particles and measuring their properties at ILC in various models of DM

abstract: I suggest simple method for the search of Dark Matter particles and some related particles which allows to measure reliably their mass and spin in a wide class of models for Dark Matter.


title: Vanishing Theorems on Toric Varieties in Positive Characteristic

abstract: We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the Kawamata-Viehweg vanishing theorem for log pairs on toric varieties in positive characteristic. These results generalize those results of Danilov, Buch-Thomsen-Lauritzen-Mehta, Mustata and Fujino to the case where concerned Weil divisors are not necessarily torus invariant.


title: Detection Probability of a Low-Mass Planet for Triple Lens Events: Implication of Properties of Binary-Lens Superposition

abstract: In view of the assumption that any planetary system is likely to be composed of more than one planet, and the multiple planet system with a large mass planet has more chance of detailed follow-up observations, the multiple planet system may be an efficient way to search for sub-Jovian planets. We compare the magnification pattern of the triple lens system with that of a best-fitted binary system composed of a star and a Jovian mass planet, and check the probability in detecting the low-mass secondary planet whose signature will be superposed on that of the primary Jovian mass planet. Detection probabilities of the low-mass planet in the triple lens system are quite similar to the probability in detecting such a low-mass planet in a binary system with a star and only a low-mass planet, which shows that the signature of a low-mass planet can be effectively detected even when it is concurrent with the signature of the more massive planet, implying that the binary superposition approximation works over a relatively broad range of planet mass ratio and separations, and the inaccuracies thereof do not significantly affect the detection probability of the lower mass secondary planet. Since the signature of the Jovian mass planet will be larger and lasts longer, thereby warranting more intensive follow-up observations, the actual detection rate of the low-mass planet in a triple system with a Jovian mass can be significantly higher than that in a binary system with a low-mass planet only. We conclude that it may be worthwhile to develop an efficient algorithm to search for `super-Earth' planets in the paradigm of the triple lens model for high-magnification microlensing events.


title: Mechanized semantics

abstract: The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic program transformations, as typically found in compilers. The topics covered include: operational semantics (small-step, big-step, definitional interpreters); a simple form of denotational semantics; axiomatic semantics and Hoare logic; generation of verification conditions, with application to program proof; compilation to virtual machine code and its proof of correctness; an example of an optimizing program transformation (dead code elimination) and its proof of correctness.


title: On minimal decomposition of $p$-adic polynomial dynamical systems

abstract: A polynomial of degree $\ge 2$ with coefficients in the ring of $p$-adic numbers $\mathbb{Z}_p$ is studied as a dynamical system on $\mathbb{Z}_p$. It is proved that the dynamical behavior of such a system is totally described by its minimal subsystems. For an arbitrary quadratic polynomial on $\mathbb{Z}_2$, we exhibit all its minimal subsystems.


title: A derivational rephrasing experiment for question answering

abstract: In Knowledge Management, variations in information expressions have proven a real challenge. In particular, classical semantic relations (e.g. synonymy) do not connect words with different parts-of-speech. The method proposed tries to address this issue. It consists in building a derivational resource from a morphological derivation tool together with derivational guidelines from a dictionary in order to store only correct derivatives. This resource, combined with a syntactic parser, a semantic disambiguator and some derivational patterns, helps to reformulate an original sentence while keeping the initial meaning in a convincing manner This approach has been evaluated in three different ways: the precision of the derivatives produced from a lemma; its ability to provide well-formed reformulations from an original sentence, preserving the initial meaning; its impact on the results coping with a real issue, ie a question answering task . The evaluation of this approach through a question answering system shows the pros and cons of this system, while foreshadowing some interesting future developments.


title: Winding sense of galaxies around the Local Supercluster

abstract: We present an analysis of the winding sense (S and Z-shaped) of 1\,621 field galaxies that have radial velocity between 3\,000 km s$^{-1}$ to 5\,000 km s$^{-1}$. The preferred alignments of S- and Z-shaped galaxies are studied using chi-square, auto-correlation and the Fourier tests. We classified total galaxies into 32 subsamples and noticed a good agreement between the position angle (PA) distribution of S- and Z-shaped galaxies. The homogeneous distribution of the S- and Z-shaped galaxies is noticed for the late-type spirals (Sc, Scd, Sd and Sm) than that of the early-types (Sa, Sab, Sb and Sbc). A significant dominance of S-mode galaxies is noticed in the barred spirals. A random alignment is noticed in the PA-distribution of Z- and S-mode spirals. In addition, homogeneous distribution of the S- and Z-shaped galaxies is found to be invariant under the global expansion. The PA-distribution of the total S-mode galaxies is found to be random, whereas preferred alignment is noticed for the total Z-mode galaxies. It is found that the galactic planes of Z-mode galaxies tend to lie in the equatorial plane.


title: Matching Methods for Causal Inference: A Review and a Look Forward

abstract: When estimating causal effects using observational data, it is desirable to replicate a randomized experiment as closely as possible by obtaining treated and control groups with similar covariate distributions. This goal can often be achieved by choosing well-matched samples of the original treated and control groups, thereby reducing bias due to the covariates. Since the 1970s, work on matching methods has examined how to best choose treated and control subjects for comparison. Matching methods are gaining popularity in fields such as economics, epidemiology, medicine and political science. However, until now the literature and related advice has been scattered across disciplines. Researchers who are interested in using matching methods---or developing methods related to matching---do not have a single place to turn to learn about past and current research. This paper provides a structure for thinking about matching methods and guidance on their use, coalescing the existing research (both old and new) and providing a summary of where the literature on matching methods is now and where it should be headed.


title: Copolymers at selective interfaces: settled issues and open problems

abstract: We review the literature on the localization transition for the class of polymers with random potentials that goes under the name of copolymers near selective interfaces. We outline the results, sketch some of the proofs and point out the open problems in the field. We also present in detail some alternative proofs that simplify what one can find in the literature.


title: Confined States of a Positronium in a Spherical Quantum Dot

abstract: Confined states of an electron-positron pair in the spherical quantum dot (QD) are theoretically investigated in three size-quantization (SQ) regimes: strong, weak and intermediate. In the strong SQ regime, analytical expressions for the wave functions (WFs) and energy of the pair are obtained. In the weak SQ regime, the positronium energy and binding energy are analytically calculated. To calculate the positronium energy in the intermediate SQ regime, variational and numerical methods are used. It is shown that, in the corresponding limits, the results obtained by variational method agree with those obtained in the strong and weak SQ regimes.


title: Self organized criticality in an improved Olami-Feder-Christensen model

abstract: An improved version of the Olami-Feder-Christensen model has been introduced to consider avalanche size differences. Our model well demonstrates the power-law behavior and finite size scaling of avalanche size distribution in any range of the adding parameter $p_{add}$ of the model. The probability density functions (PDFs) for the avalanche size differences at consecutive time steps (defined as returns) appear to be well approached, in the thermodynamic limit, by q-Gaussian shape with appropriate q values which can be obtained a priori from the avalanche size exponent $\tau$. For the small system sizes, however, return distributions are found to be consistent with the crossover formulas proposed recently in Tsallis and Tirnakli, J. Phys.: Conf. Ser. 201, 012001 (2010). Our results strengthen recent findings of Caruso et al. [Phys. Rev. E 75, 055101(R) (2007)] on the real earthquake data which support the hypothesis that knowing the magnitude of previous earthquakes does not make the magnitude of the next earthquake predictable. Moreover, the scaling relation of the waiting time distribution of the model has also been found.


title: Bounded Solutions of the Boltzmann Equation in the Whole Space

abstract: We construct bounded classical solutions of the Boltzmann equation in the whole space without specifying any limit behaviors at the spatial infinity and without assuming the smallness condition on initial data. More precisely, we show that if the initial data is non-negative and belongs to a uniformly local Sobolev space in the space variable with Maxwellian type decay property in the velocity variable, then the Cauchy problem of the Boltzmann equation possesses a unique non-negative local solution in the same function space, both for the cutoff and non-cutoff collision cross section with mild singularity. The known solutions such as solutions on the torus (space periodic solutions) and in the vacuum (solutions vanishing at the spatial infinity), and solutions in the whole space having a limit equilibrium state at the spatial infinity are included in our category.


title: Synchrotron radio emission in radio-quiet AGNs

abstract: The basic mechanism responsible for radio emission in radio-loud active galactic nuclei (AGNs) is assumed to be synchrotron radiation. We suggest here that radio emission in radio-quiet objects is also due to synchrotron radiation of particles accelerated in shocks. We consider generic shocks and study the resulting synchrotron properties. We estimate the synchrotron radio luminosity and compare it with the X-ray component produced by inverse Compton emission. We obtain that the radio to X-ray luminosity ratio is much smaller than unity, with values typical of radio-quiet sources. The predicted trends on source parameters, black hole mass and accretion rate, may account for the anticorrelation between radio-loudness and Eddington ratio observed in different AGN samples.


title: The role of flow geometry in influencing the stability criteria for low angular momentum axisymmetric black hole accretion

abstract: Using mathematical formalism borrowed from dynamical systems theory, a complete analytical investigation of the critical behaviour of the stationary flow configuration for the low angular momentum axisymmetric black hole accretion provides valuable insights about the nature of the phase trajectories corresponding to the transonic accretion in the steady state, without taking recourse to the explicit numerical solution commonly performed in the literature to study the multi-transonic black hole accretion disc and related astrophysical phenomena. Investigation of the accretion flow around a non rotating black hole under the influence of various pseudo-Schwarzschild potentials and forming different geometric configurations of the flow structure manifests that the general profile of the parameter space divisions describing the multi-critical accretion is roughly equivalent for various flow geometries. However, a mere variation of the polytropic index of the flow cannot map a critical solution from one flow geometry to the another, since the numerical domain of the parameter space responsible to produce multi-critical accretion does not undergo a continuous transformation in multi-dimensional parameter space. The stationary configuration used to demonstrate the aforementioned findings is shown to be stable under linear perturbation for all kind of flow geometries, black hole potentials, and the corresponding equations of state used to obtain the critical transonic solutions. Finally, the structure of the acoustic metric corresponding to the propagation of the linear perturbation studied are discussed for various flow geometries used.


title: Geometric transformations and soliton equations

abstract: We give a survey of the following six closely related topics: (i) a general method for constructing a soliton hierarchy from a splitting of a loop algebra into positive and negative subalgebras, together with a sequence of commuting positive elements, (ii) a method---based on (i)---for constructing soliton hierarchies from a symmetric space, (iii) the dressing action of the negative loop subgroup on the space of solutions of the related soliton equation, (iv) classical B\"acklund, Christoffel, Lie, and Ribaucour transformations for surfaces in three-space and their relation to dressing actions, (v) methods for constructing a Lax pair for the Gauss-Codazzi Equation of certain submanifolds that admit Lie transforms, (vi) how soliton theory can be used to generalize classical soliton surfaces to submanifolds of higher dimension and co-dimension.


title: Phonons of graphene and graphitic materials derived from the empirical potential LCBOPII

abstract: We present the interatomic force constants and phonon dispersions of graphite and graphene from the LCBOPII empirical bond order potential. We find a good agreement with experimental results, particularly in comparison to other bond order potentials. From the flexural mode we determine the bending rigidity of graphene to be 0.69 eV at zero temperature. We discuss the large increase of this constant with temperature and argue that derivation of force constants from experimental values should take this feature into account. We examine also other graphitic systems, including multilayer graphene for which we show that the splitting of the flexural mode can provide a tool for characterization.


title: The Role of Monotonicity in the Epistemic Analysis of Strategic Games

abstract: It is well-known that in finite strategic games true common belief (or common knowledge) of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies. We establish a general theorem that deals with monotonic rationality notions and arbitrary strategic games and allows to strengthen the above result to arbitrary games, other rationality notions, and transfinite iterations of the elimination process. We also clarify what conclusions one can draw for the customary dominance notions that are not monotonic. The main tool is Tarski's Fixpoint Theorem.


title: Soliton Hierarchies Constructed from Involutions

abstract: We introduce two families of soliton hierarchies: the twisted hierarchies associated to symmetric spaces. The Lax pairs of these two hierarchies are Laurent polynomials in the spectral variable. Our constructions gives a hierarchy of commuting flows for the generalized sine-Gordon equation (GSGE), which is the Gauss-Codazzi equation for n-dimensional submanifolds in Euclidean (2n-1)-space with constant sectional curvature -1. In fact, the GSGE is the first order system associated to a twisted Grassmannian system. We also study symmetries for the GSGE.


title: Improvement of superconducting properties of FeSe0.5Te0.5 single crystals by Mn substitution

abstract: We report on structural, susceptibility, conductivity, and heat-capacity studies of FeSe0.5Te0.5 single crystals with 2% substitution of Mn for Fe. Mn-doped samples show a higher onset temperature, a narrower width of the superconducting transition, and a higher magnitude of the jump in the specific heat at Tc in compared to undoped samples. From the resistivity data in magnetic fields parallel to the c axis we derived an upper critical field Hc2 of ~580 kOe for doped samples compared to 490 kOe for pure samples. Using a single-band BCS model we can describe the electronic specific heat in the superconducting state with a gap Delta(T=0) = 31 K for the Mn doped sample in comparison to 26 K for pure FeSe0.5Te0.5.


title: Laser control of double proton transfer in porphycenes. Towards an ultrafast switch for photonic molecular wires

abstract: Electronic excitation energy transfer along a molecular wire depends on the relative orientation of the electronic transition dipole moments of neighboring chromophores. In porphycenes this orientation is changed upon double proton transfer in the electronic ground state. We explore the possibility to trigger such a double proton transfer reaction by means of an infrared pump-dump laser control scheme. To this end a quantum chemical characterization of an asymmetrically substituted porphycene is performed using density functional theory. Ground state geometries, the topology of the potential energy surface for double proton transfer, and S0->S1 transition energies are compared with the parent compound porphycene and a symmetric derivative. Employing a simple two-dimensional model for the double proton transfer, which incorporates sequential and concerted motions, quantum dynamics simulations of the laser driven dynamics are performed which demonstrate tautomerization control. Based on the orientation of the transition dipole moments this tautomerization may lead to an estimated change in the F\"orster transfer coupling of about 60%


title: Phase transitions in geometrothermodynamics

abstract: Using the formalism of geometrothermodynamics, we investigate the geometric properties of the equilibrium manifold for diverse thermodynamic systems. Starting from Legendre invariant metrics of the phase manifold, we derive thermodynamic metrics for the equilibrium manifold whose curvature becomes singular at those points where phase transitions of first and second order occur. We conclude that the thermodynamic curvature of the equilibrium manifold, as defined in geometrothermodynamics, can be used as a measure of thermodynamic interaction in diverse systems with two and three thermodynamic degrees of freedom.


title: Penguin amplitudes in B^+ to pi^+ K^*0, K^+ \bar{K}^*0 decays

abstract: The question of the relative size of two independent penguin amplitudes is studied using the data on the B^+ to pi^+ K^*0, and B^+ to K^+ \bar{K}^*0 decays. Our discussion involves a Regge-phenomenology-based estimate of SU(3) breaking in the final quark-pair-creating hadronization process. The results are in agreement with earlier estimates of the relative size of the two penguins obtained from B^+ to pi^+ K^0, K^+ \bar{K}^0.


title: sl_2-actions along short strings for spin blocks

abstract: The problem of source algebra equivalences between blocks at the ends of the maximal strings of spin blocks of the symmetric and alternating groups has recently been settled, but so far there has not even been a candidate of the tilting complex defining the reflections of the internal blocks of the string. Our aim in this paper is to propose a definition for the mappings E_i and F_i and for their divided powers. The solution we propose here is to halve the operators only when both halves are isomorphic, which, on the level of the Grothendieck group, corresponds to working with paired simples as pairs, and crossing over between the symmetric and alternating groups, in order to send paired simples to paired simples.This is equivalent to working with the irreducible supermodules, as in the work of Brundan and Kleshchev, though we don't introduce the supermodule language into this paper. The main difference between our approach and theirs is the crossovers, which occasionally force extra halving of modules.The definition is based on the method of permutation m odules from Kessar-Schaps. We apply it to short strings and show that, at least on the individual strings, it is compatible with the form of the tilting complex used by Chuang and Rouquier.


title: The Bonds of Laughter: A Multidisciplinary Inquiry into the Information Processes of Human Laughter

abstract: A new core hypothesis on laughter is presented. It has been built by putting together ideas from several disciplines: neurodynamics, evolutionary neurobiology, paleoanthropology, social networks, and communication studies. The hypothesis contributes to ascertain the evolutionary origins of human laughter in connection with its cognitive emotional signaling functions. The new behavioral and neurodynamic tenets introduced about this unusual sound feature of our species justify the ubiquitous presence it has in social interactions and along the life cycle of the individual. Laughter, far from being a curious evolutionary relic or a rather trivial innate behavior, should be considered as a highly efficient tool for inter-individual problem solving and for maintenance of social bonds.


title: Chiral unitary approach to \eta' N scattering at low energies

abstract: We study the \eta' N interaction within a chiral unitary approach which includes \pi N, \eta N and related pseudoscalar meson-baryon coupled channels. Since the SU(3) singlet does not contribute to the standard interaction and the \eta' is mostly a singlet, the resulting scattering amplitude is very small and inconsistent with experimental estimations of the \eta' N scattering length. The additional consideration of vector meson-baryon states into the coupled channel scheme, via normal and anomalous couplings of pseudoscalar to vector mesons, enhances substantially the \eta' N amplitude. We also exploit the freedom of adding to the Lagrangian a new term, allowed by the symmetries of QCD, which couples baryons to the singlet meson of SU(3). Adjusting the unknown strength to the \eta' N scattering length, we obtain predictions for the elastic \eta' N --> \eta' N and inelastic \eta' N --> \eta N, \pi N, K\Lambda, K\Sigma\ cross sections at low \eta' energies, and discuss their significance.


title: Vorticity in the solar photosphere

abstract: Aims. We use magnetic and non-magnetic 3D numerical simulations of solar granulation and G-band radiative diagnostics from the resulting models to analyse the generation of small-scale vortex motions in the solar photosphere. Methods. Radiative MHD simulations of magnetoconvection are used to produce photospheric models. Our starting point is a non-magnetic model of solar convection, where we introduce a uniform magnetic field and follow the evolution of the field in the simulated photosphere. We find two different types of photospheric vortices, and provide a link between the vorticity generation and the presence of the intergranular magnetic field. A detailed analysis of the vorticity equation, combined with the G-band radiative diagnostics, allows us to identify the sources and observational signatures of photospheric vorticity in the simulated photosphere. Results. Two different types of photospheric vorticity, magnetic and non-magnetic, are generated in the domain. Nonmagnetic vortices are generated by the baroclinic motions of the plasma in the photosphere, while magnetic vortices are produced by the magnetic tension in the intergranular magnetic flux concentrations. The two types of vortices have different shapes. We find that the vorticity is generated more efficiently in the magnetised model. Simulated G-band images show a direct connection between magnetic vortices and rotary motions of photospheric bright points, and suggest that there may be a connection between the magnetic bright point rotation and small-scale swirl motions observed higher in the atmosphere.


title: Revisiting Gruss's inequality: covariance bounds,QDE but not QD copulas, and central moments

abstract: Since the pioneering work of Gerhard Gruss dating back to 1935, Gruss's inequality and, more generally, Gruss-type bounds for covariances have fascinated researchers and found numerous applications in areas such as economics, insurance, reliability, and, more generally, decision making under uncertainly. Gruss-type bounds for covariances have been established mainly under most general dependence structures, meaning no restrictions on the dependence structure between the two underlying random variables. Recent work in the area has revealed a potential for improving Gruss-type bounds, including the original Gruss's bound, assuming dependence structures such as quadrant dependence (QD). In this paper we demonstrate that the relatively little explored notion of `quadrant dependence in expectation' (QDE) is ideally suited in the context of bounding covariances, especially those that appear in the aforementioned areas of application. We explore this research avenue in detail, establish general Gruss-type bounds, and illustrate them with newly constructed examples of bivariate distributions, which are not QD but, nevertheless, are QDE. The examples rely on specially devised copulas. We supplement the examples with results concerning general copulas and their convex combinations. In the process of deriving Gruss-type bounds, we also establish new bounds for central moments, whose optimality is demonstrated.


title: 6-loop anomalous dimension of a single impurity operator from AdS/CFT and multiple zeta values

abstract: Anomalous dimension of the simplest nontrivial single impurity operator in the beta=1/2 deformed theory is determined at six loops from the AdS/CFT correspondence. L\"uscher correction is evaluated at next-to-next-to-leading order (NNLO) in terms of multiple zeta values. The result can be simplified into the products of simple zeta functions and the same form of the correction is expected for the Konishi operator at six loops, too.


title: Equilibrium equation of state of a hard sphere binary mixture at very large densities using replica exchange Monte-Carlo simulations

abstract: We use replica exchange Monte-Carlo simulations to measure the equilibrium equation of state of the disordered fluid state for a binary hard sphere mixture up to very large densities where standard Monte-Carlo simulations do not easily reach thermal equilibrium. For the moderate system sizes we use (up to N=100), we find no sign of a pressure discontinuity near the location of dynamic glass singularities extrapolated using either algebraic or simple exponential divergences, suggesting they do not correspond to genuine thermodynamic glass transitions. Several scenarios are proposed for the fate of the fluid state in the thermodynamic limit.


title: A Generalized Coupon Collector Problem

abstract: This paper provides analysis to a generalized version of the coupon collector problem, in which the collector gets $d$ distinct coupons each run and she chooses the one that she has the least so far. On the asymptotic case when the number of coupons $n$ goes to infinity, we show that on average $\frac{n\log n}{d} + \frac{n}{d}(m-1)\log\log{n}+O(mn)$ runs are needed to collect $m$ sets of coupons. An efficient exact algorithm is also developed for any finite case to compute the average needed runs exactly. Numerical examples are provided to verify our theoretical predictions.


title: Coefficient estimates for close-to-convex functions with argument $\beta$

abstract: This paper deals with coefficient estimates for close-to-convex functions with argument $\beta$ ($-\pi/2<\beta<\pi/2$). By using Herglotz representation formula, sharp bounds of coefficients are obtained. In particluar, we solve the problem posed by A. W. Goodman and E. B. Saff in $\cite{GS}$. Finally some complicted computations yield the explicit estimate of the third coefficient.


title: Selective Image Super-Resolution

abstract: In this paper we propose a vision system that performs image Super Resolution (SR) with selectivity. Conventional SR techniques, either by multi-image fusion or example-based construction, have failed to capitalize on the intrinsic structural and semantic context in the image, and performed "blind" resolution recovery to the entire image area. By comparison, we advocate example-based selective SR whereby selectivity is exemplified in three aspects: region selectivity (SR only at object regions), source selectivity (object SR with trained object dictionaries), and refinement selectivity (object boundaries refinement using matting). The proposed system takes over-segmented low-resolution images as inputs, assimilates recent learning techniques of sparse coding (SC) and grouped multi-task lasso (GMTL), and leads eventually to a framework for joint figure-ground separation and interest object SR. The efficiency of our framework is manifested in our experiments with subsets of the VOC2009 and MSRC datasets. We also demonstrate several interesting vision applications that can build on our system.


title: On the Rebrightenings of Classical Novae during the Early Phase

abstract: We report on the spectral evolution of 6 classical novae, V1186 Sco, V2540 Oph, V4745 Sgr, V5113 Sgr, V458 Vul, and V378 Ser, based on the low-resolution spectra obtained at the Fujii-Bisei Observatory and the Bisei Astronomical Observatory, Japan. In the light curves, these 6 novae show several rebrightenings during the early phase lasting ~10 days after the first maximum in fast novae, and ~100 days in slow novae. The early spectra of all of these novae had emission lines with a P-Cygni profile at the maximum brightness. The absorption component of the P-Cygni profiles then disappeared after the maximum, and reappeared when the novae brightened to the next maximum. We suggest that the re-appearance of the absorption component at the rebrightening is attributable to re-expansion of the photosphere after it once shifts sufficiently inside. From the light curves, we found that the time intervals of the rebrightenings of these 6 novae show a similar systematic trend, which is applicable to all types of novae: fast and slow, and Fe II type and hybrid type. Moreover, we note the difference between the spectra at the rebrightenings during the early phase and at the rebrightening in V2362 Cyg, and at the oscillation during the transition phase in V1494 Aql, which means difference of the physical mechanism of the rebrightening during the early phase and the later oscillations.


title: Future CMB Constraints on Early, Cold, or Stressed Dark Energy

abstract: We investigate future constraints on early dark energy (EDE) achievable by the Planck and CMBPol experiments, including cosmic microwave background (CMB) lensing. For the dark energy, we include the possibility of clustering through a sound speed c_s^2 <1 (cold dark energy) and anisotropic stresses parameterized with a viscosity parameter c_vis^2. We discuss the degeneracies between cosmological parameters and EDE parameters. In particular we show that the presence of anisotropic stresses in EDE models can substantially undermine the determination of the EDE sound speed parameter c_s^2. The constraints on EDE primordial energy density are however unaffected. We also calculate the future CMB constraints on neutrino masses and find that they are weakened by a factor of 2 when allowing for the presence of EDE, and highly biased if it is incorrectly ignored.


title: Sum rules, plasma frequencies and Hall phenomenology in holographic plasmas

abstract: We study the AC optical and hall conductivities of Dp/Dq-branes intersections in the probe approximation and use sum-rules to study various associated transport coefficients. We determine that the presence of massive fundamental matter, as compared to massless fundamental matter described holographically by a theory with no dimensional defects, reduces the plasma frequency. We further show that this is not the case when the brane intersections include defects. We discuss in detail how to implement correctly the regularization of retarded Green's functions so that the dispersion relations are satisfied and the low energy behaviour of the system is physically realistic.


title: Enumeration of linear chord diagrams

abstract: A linear chord diagram canonically determines a fatgraph and hence has an associated genus $g$. We compute the natural generating function ${\bf C}_g(z)=\sum_{n\geq 0} {\bf c}_g(n)z^n$ for the number ${\bf c}_g(n)$ of linear chord diagrams of fixed genus $g\geq 1$ with a given number $n\geq 0$ of chords and find the remarkably simple formula ${\bf C}_g(z)=z^{2g}R_g(z) (1-4z)^{{1\over 2}-3g}$, where $R_g(z)$ is a polynomial of degree at most $g-1$ with integral coefficients satisfying $R_g({1\over 4})\neq 0$ and $R_g(0) = {\bf c}_g(2g)\neq 0.$ In particular, ${\bf C}_g(z)$ is algebraic over $\mathbb C(z)$, which generalizes the corresponding classical fact for the generating function ${\bf C}_0(z)$ of the Catalan numbers. As a corollary, we also calculate a related generating function germaine to the enumeration of knotted RNA secondary structures, which is again found to be algebraic.


title: Lexsegment ideals are sequentially Cohen-Macaulay

abstract: The associated primes of an arbitrary lexsegment ideal $I\subset S=K[x_1,...,x_n]$ are determined. As application it is shown that $S/I$ is a pretty clean module, therefore, $S/I$ is sequentially Cohen-Macaulay and satisfies Stanley's conjecture.


title: Study of some two-body non-mesonic decays of $^4_\Lambda$He and $^5_\Lambda$He

abstract: The Non-Mesonic (NM) decay of $^4_\Lambda{\mathrm{He}}$ and $^5_\Lambda{\mathrm{He}}$ in two-body channels has been studied by the FINUDA Collaboration. Two-body NM decays of hypernuclei are rare and the existing observations and theoretical calculations are scarce. The $^4_\Lambda{\mathrm{He}}\rightarrow d+d,\; p+t$ decay channels simultaneously observed by FINUDA on several nuclei are compared: the $pt$ channel is the dominant one. The decay yields for the two decay channels are assessed for the first time: they are $(1.37\pm 0.37)\times 10^{-5}/K^-_{stop}$ and $(8.3\pm 1.0)\times 10^{-5}/K^-_{stop}$, respectively. Due to the capability of FINUDA of identifying $^5_\Lambda{\mathrm{He}}$ hypernuclei, a few $^5_\Lambda{\mathrm{He}}\rightarrow d+t$ decay events have also been observed. The branching ratio for this decay channel has been measured for the first time: $(3.0\pm 2.3)\times 10^{-3}$.


title: Boundary finite size corrections for multiparticle states and planar AdS/CFT

abstract: We propose formulas for the L\"uscher type finite size energy correction of multiparticle states on the interval and evaluate them for the simplest case in the AdS/CFT setting. By this we determine the leading wrapping correction to the anomalous dimension of the simplest determinant type operator, which corresponds to a one particle state on the Y=0 brane.


title: The Spitzer Atlas of Stellar Spectra

abstract: We present the Spitzer Atlas of Stellar Spectra (SASS), which includes 159 stellar spectra (5 to 32 mic; R~100) taken with the Infrared Spectrograph on the Spitzer Space Telescope. This Atlas gathers representative spectra of a broad section of the Hertzsprung-Russell diagram, intended to serve as a general stellar spectral reference in the mid-infrared. It includes stars from all luminosity classes, as well as Wolf-Rayet (WR) objects. Furthermore, it includes some objects of intrinsic interest, like blue stragglers and certain pulsating variables. All the spectra have been uniformly reduced, and all are available online. For dwarfs and giants, the spectra of early-type objects are relatively featureless, dominated by Hydrogen lines around A spectral types. Besides these, the most noticeable photospheric features correspond to water vapor and silicon monoxide in late-type objects and methane and ammonia features at the latest spectral types. Most supergiant spectra in the Atlas present evidence of circumstellar gas. The sample includes five M supergiant spectra, which show strong dust excesses and in some cases PAH features. Sequences of WR stars present the well-known pattern of lines of HeI and HeII, as well as forbidden lines of ionized metals. The characteristic flat-top shape of the [Ne III] line is evident even at these low spectral resolutions. Several Luminous Blue Variables and other transition stars are present in the Atlas and show very diverse spectra, dominated by circumstellar gas and dust features. We show that the [8]-[24] Spitzer colors (IRAC and MIPS) are poor predictors of spectral type for most luminosity classes.


title: Effect of finite Coulomb interaction on full counting statistics of electronic transport through single-molecule magnet

abstract: We study the full counting statistics (FCS) in a single-molecule magnet (SMM) with finite Coulomb interaction $U$. For finite $U$ the FCS, differing from $U\rightarrow \infty $, shows a symmetric gate-voltage-dependence when the coupling strengths with two electrodes are interchanged, which can be observed experimentally just by reversing the bias-voltages. Moreover, we find that the effect of finite $U$ on shot noise depends on the internal level structure of the SMM and the coupling asymmetry of the SMM with two electrodes as well. When the coupling of the SMM with the incident-electrode is stronger than that with the outgoing-electrode, the super-Poissonian shot noise in the sequential tunneling regime appears under relatively small gate-voltage and relatively large finite $U$, and dose not for $U\rightarrow \infty $; while it occurs at relatively large gate-voltage for the opposite coupling case. The formation mechanism of super-Poissonian shot noise can be qualitatively attributed to the competition between fast and slow transport channels.


title: Measurement of the form factors of the decay B0 -> D*- ell+ nu and determination of the CKM matrix element |Vcb|

abstract: This article describes a determination of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cb}|$ from the decay $B^0\to D^{*-}\ell^+\nu_\ell$ using 711 fb$^{-1}$ of Belle data collected near the $\Upsilon(4S)$ resonance. We simultaneously measure the product of the form factor normalization $\mathcal{F}(1)$ and the matrix element $|V_{cb}|$ as well as the three parameters $\rho^2$, $R_1(1)$ and $R_2(1)$, which determine the form factors of this decay in the framework of the Heavy Quark Effective Theory. The results, based on about 120,000 reconstructed $B^0\to D^{*-}\ell^+\nu_\ell$ decays, are $\rho^2=1.214\pm 0.034\pm 0.009$, $R_1(1)=1.401\pm 0.034\pm 0.018$, $R_2(1)=0.864\pm 0.024\pm 0.008$ and $\mathcal{F}(1)|V_{cb}|=(34.6\pm 0.2\pm 1.0)\times 10^{-3}$. The branching fraction of $B^0\to D^{*-}\ell^+\nu_\ell$ is measured at the same time; we obtain a value of $\mathcal{B}(B^0 \to D^{*-}\ell^+ \nu_\ell) = (4.58 \pm 0.03 \pm 0.26) %$. The errors correspond to the statistical and systematic uncertainties. These results give the most precise determination of the form factor parameters and $\mathcal{F}(1)|V_{cb}|$ to date. In addition, a direct, model-independent determination of the form factor shapes has been carried out.


title: Orbital Period Determinations for Four SMC Be/X-ray Binaries

abstract: We present an optical and X-ray study of four Be/X-ray binaries located in the Small Magellanic Cloud (SMC). OGLE I-band data of up to 11 years of semi-continuous monitoring has been analysed for SMC X-2, SXP172 and SXP202B, providing both a measurement of the orbital period (Porb = 18.62, 68.90, and 229.9 days for the pulsars respectively) and a detailed optical orbital profile for each pulsar. For SXP172 this has allowed a direct comparison of the optical and X-ray emission seen through regular RXTE monitoring, revealing that the X-ray outbursts precede the optical by around 7 days. Recent X-ray studies by XMM-Newton have identified a new source in the vicinity of SXP15.3 raising doubt on the identification of the optical counterpart to this X-ray pulsar. Here we present a discussion of the observations that led to the proposal of the original counterpart and a detailed optical analysis of the counterpart to the new X-ray source, identifying a 21.7 d periodicity in the OGLE I-band data. The optical characteristics of this star are consistent with that of a SMC Be/X-ray binary. However, this star was rejected as the counterpart to SXP15.3 in previous studies due to the lack of H{\alpha} emission.


title: Mass-density relationship in molecular cloud clumps

abstract: We study the mass-density relationship n ~ m^x in molecular cloud condensations (clumps), considering various equipartition relations between their gravitational, kinetic, internal and magnetic energies. Clumps are described statistically, with a density distribution that reflects a lognormal probability density function (pdf) in turbulent cold interstellar medium. The clump mass-density exponent $x$ derived at different scales $L$ varies in most of the cases within the range $-2.5\lesssim x \lesssim-0.2$, with a pronounced scale dependence and in consistency with observations. When derived from the global size-mass relationship m ~ l^{\gamma_{glob}} for set of clumps, generated at all scales, the clump mass-density exponent has typical values $-3.0\lesssim x(\gamma_{glob}) \lesssim -0.3$ that depend on the forms of energy, included in the equipartition relations and on the velocity scaling law whereas the description of clump geometry is important when magnetic energy is taken into account.


title: Rethinking low extra delay background transport protocols

abstract: BitTorrent has recently introduced LEDBAT, a novel application-layer congestion control protocol for data exchange. The protocol design starts from the assumption that network bottlenecks are at the access of the network, and that thus user traffic competes creating self-inducing congestion. To relieve from this phenomenon, LEDBAT is designed to quickly infer that self-induced congestion is approaching (by detecting relative changes of the one-way delay in the transmission path), and to react by reducing the sending rate prior that congestion occurs. Prior work has however shown LEDBAT to be affected by a latecomer advantage, where newly arriving connections can starve already existing flows. In this work, we propose modifications to the congestion window update mechanism of the LEDBAT protocol that aim at solving this issue, guaranteeing thus intra-protocol fairness and efficiency. Closed-form expressions for the stationary throughput and queue occupancy are provided via a fluid model, whose accuracy is confirmed by means of ns2 packet level simulations. Our results show that the proposed change can effective solve the latecomer issue, without affecting the other original LEDBAT goals at the same time.


title: Locally identifying coloring of graphs

abstract: We introduce the notion of locally identifying coloring of a graph. A proper vertex-coloring c of a graph G is said to be locally identifying, if for any adjacent vertices u and v with distinct closed neighborhood, the sets of colors that appear in the closed neighborhood of u and v are distinct. Let $\chi_{lid}(G)$ be the minimum number of colors used in a locally identifying vertex-coloring of G. In this paper, we give several bounds on $\chi_{lid}$ for different families of graphs (planar graphs, some subclasses of perfect graphs, graphs with bounded maximum degree) and prove that deciding whether $\chi_{lid}(G)=3$ for a subcubic bipartite graph $G$ with large girth is an NP-complete problem.


title: Spin-glass transition in bond-disordered Heisenberg antiferromagnets coupled with local lattice distortions on a pyrochlore lattice

abstract: Motivated by puzzling characteristics of spin-glass transitions widely observed in pyrochlore-based frustrated materials, we investigate effects of coupling to local lattice distortions in a bond-disordered antiferromagnet on the pyrochlore lattice by extensive Monte Carlo simulations. We show that the spin-glass transition temperature $\TSG$ is largely enhanced by the spin-lattice coupling, and furthermore, becomes almost independent of $\Delta$ in a wide range of the disorder strength $\Delta$. The critical property of the spin glass transition is indistinguishable from that of the canonical Heisenberg spin glass in the entire range of $\Delta$. These peculiar behaviors are ascribed to a modification of the degenerate manifold from continuous to semidiscrete one by the spin-lattice coupling.


title: Bounds for Rademacher Processes via Chaining

abstract: We study Rademacher processes where the coefficients are functions evaluated at fixed, but arbitrary covariables. Specifically, we assume the function class under consideration to be parametrized by the standard cocube in l dimensions and we are mainly interested in the high-dimensional, asymptotic situation, that is, l as well the number of Rademacher variables n go to infinity with l much larger than n. We refine and apply classical entropy bounds and Majorizing Measures, both going back to the well known idea of chaining. That way, we derive general upper bounds for Rademacher processes. In the linear case and under high correlations, we further improve on these bounds. In particular, we give bounds independent of l for highly correlated covariables.


title: Towards a quantum field theory of primitive string fields

abstract: We denote generating functions of massless even higher spin fields "primitive string fields" (PSF's). In an introduction we present the necessary definitions and derive propagators and currents of these PDF's on flat space. Their off-shell cubic interaction can be derived after all off-shell cubic interactions of triplets of higher spin fields have become known [2],[3]. Then we discuss four-point functions of any quartet of PSF's. In subsequent sections we exploit the fact that higher spin field theories in $AdS_{d+1}$ are determined by AdS/CFT correspondence from universality classes of critical systems in $d$ dimensional flat spaces. The O(N) invariant sectors of the O(N) vector models for $1\leq N \leq \infty$ play for us the role of "standard models", for varying $N$, they contain e.g. the Ising model for N=1 and the spherical model for $N=\infty$. A formula for the masses squared that break gauge symmetry for these O(N) classes is presented for d = 3. For the PSF on $AdS$ space it is shown that it can be derived by lifting the PSF on flat space by a simple kernel which contains the sum over all spins. Finally we use an algorithm to derive all symmetric tensor higher spin fields. They arise from monomials of scalar fields by derivation and selection of conformal (quasiprimary) fields. Typically one monomial produces a multiplet of spin $s$ conformal higher spin fields for all $s \geq 4$, they are distinguished by their anomalous dimensions (in $CFT_3$) or by their mass (in $AdS_4$). We sum over these multiplets and the spins to obtain "string type fields", one for each such monomial.


title: The Largest Irreducible Representations of Simple Groups

abstract: Answering a question of I. M. Isaacs, we show that the largest degree of irreducible complex representations of any finite non-abelian simple group can be bounded in terms of the smaller degrees. We also study the asymptotic behavior of this largest degree for finite groups of Lie type. Moreover, we show that for groups of Lie type, the Steinberg character has largest degree among all unipotent characters.


title: A lattice Dirac operator for QCD with light dynamical quarks

abstract: In QCD chiral symmetry is explicitly broken by quark masses, the effect of which can be described reliably by chiral perturbation theory. Effects of explicit chiral symmetry breaking by the lattice regularisation of the Dirac operator, typically parametrised by the residual mass, should be negligible for almost all observables if the residual mass of the Dirac operator is much smaller than the quark mass. However, maintaining a small residual mass becomes increasingly expensive as the quark mass decreases towards the physical value and the continuum limit is approached. We investigate the feasibility of using a new approximately chiral Dirac operator with a small residual mass as an alternative to overlap and domain wall fermions for lattice simulations. Our Dirac operator is constructed from a Zolotarev rational approximation for the matrix sign function that is optimal for bulk modes of the Hermitian kernel Dirac operator but not for the low-lying parts of its spectrum. We test our operator on various 32^3\times64 lattices, comparing the residual mass and the performance of the Hybrid Monte Carlo algorithm at a similar lattice spacing and pion mass with a hyperbolic tangent operator as used by domain wall fermions. We find that our approximations have a significantly smaller residual mass than domain wall fermions at a similar computational cost, and still admit topological charge change.


title: Specific-heat measurements of superconducting NbS2 single crystal in an external magnetic field: Study on the energy gap structure

abstract: The heat capacity of a 2H-NbS2 single crystal has been measured by a highly sensitive ac technique down to 0.6 K and in magnetic fields up to 14 T. At very low temperatures data show excitations over an energy gap (2DS/kBTc \approx 2.1) much smaller than the BCS value. The overall temperature dependence of the electronic specific heat Ce can be explained either by the existence of a strongly anisotropic single-energy gap or within a two-gap scenario with the large gap about twice bigger than the small one. The field dependence of the Sommerfeld coefficient shows a strong curvature for both principal-field orientations, parallel and perpendicular to the c axis of the crystal, resulting in a magnetic field dependence of the superconducting anisotropy. These features are discussed in comparison to the case of MgB2 and to the data obtained by scanning-tunneling spectroscopy. We conclude that the two-gap scenario better describes the gap structure of NbS2 than the anisotropic s-wave model.


title: Pasta Structures of Quark-Hadron Phase Transition in Proto-Neutron Stars

abstract: We study the quark-hadron mixed phase in proto-neutron stars with the finite-size effects. In the calculations of pasta structures appeared in the mixed phase, the Gibbs conditions require the pressure balance and chemical equilibrium between two phases besides the thermal equilibrium. We find that the region of the mixed phase is limited due to thermal instability. Moreover, we study the effects of neutrinos to the pasta structures. As a result, we find that the existence of neutrinos make the pasta structures unstable, too. These characteristic features of the hadron-quark mixed phase should be important for the middle stage of the evolutions of proto-neutron stars.


title: A search for star-planet interactions in the upsilon Andromedae system at X-ray and optical wavelengths

abstract: Close-in, giant planets are expected to influence their host stars via tidal or magnetic interaction. But are these effects strong enough in suitable targets known so far to be observed with today's instrumentation? The upsilon And system, an F8V star with a Hot Jupiter, was claimed to undergo cyclic changes in chromospheric activity indicators with its innermost planet's period. We want to investigate the stellar chromospheric and coronal activity over several months. We therefore monitored the star in X-rays as well as at optical wavelengths to test coronal and chromospheric activity indicators for planet-induced variability, making use of the Chandra X-ray Observatory as well as the echelle spectrographs FOCES and HRS at Calar Alto (Spain) and the Hobby-Eberly Telescope (Texas, US). The stellar activity level is low, as seen both in X-rays as in Ca II line fluxes; the chromospheric data show variability with the stellar rotation period. We do not find activity variations in X-rays or in the optical which can be traced back to the planet. Gaining observational evidence for star-planet interactions in X-rays remains challenging.


title: The topological Singer construction

abstract: We study the continuous (co-)homology of towers of spectra, with emphasis on a tower with homotopy inverse limit the Tate construction X^{tG} on a G-spectrum X. When G=C_p is cyclic of prime order and X=B^p is the p-th smash power of a bounded below spectrum B with H_*(B) of finite type, we prove that (B^p)^{tC_p} is a topological model for the Singer construction R_+(H^*(B)) on H^*(B). There is a map epsilon_B : B --> (B^p)^{tC_p} inducing the Ext_A-equivalence epsilon : R_+(H^*(B)) --> H^*(B). Hence epsilon_B and the canonical map Gamma : (B^p)^{C_p} --> (B^p)^{hC_p} are p-adic equivalences.


title: Graphene-based spintronic components

abstract: A major challenge of spintronics is in generating, controlling and detecting spin-polarized current. Manipulation of spin-polarized current, in particular, is difficult. We demonstrate here, based on calculated transport properties of graphene nanoribbons, that nearly +-100% spin-polarized current can be generated in zigzag graphene nanoribbons (ZGNRs) and tuned by a source-drain voltage in the bipolar spin diode, in addition to magnetic configurations of the electrodes. This unusual transport property is attributed to the intrinsic transmission selection rule of the spin subbands near the Fermi level in ZGNRs. The simultaneous control of spin current by the bias voltage and the magnetic configurations of the electrodes provides an opportunity to implement a whole range of spintronics devices. We propose theoretical designs for a complete set of basic spintronic devices, including bipolar spin diode, transistor and logic gates, based on ZGNRs.


title: The Segal conjecture for topological Hochschild homology of complex cobordism

abstract: We study the C_p-equivariant Tate construction on the topological Hochschild homology THH(B) of a symmetric ring spectrum B by relating it to a topological version R_+(B) of the Singer construction, extended by a natural circle action. This enables us to prove that the fixed and homotopy fixed point spectra of THH(B) are p-adically equivalent for B = MU and BP. This generalizes the classical C_p-equivariant Segal conjecture, which corresponds to the case B = S.


title: Implementation of the Neuberger-Dirac operator on GPUs

abstract: Recent developments have shown that a lot can be gained for QCD simulations from GPU hardware. This can be exploited especially in the case of Ginsparg-Wilson fermions when the com putational costs are particularly high. In this work, we use the Neuberger-Dirac operator as our realisation of Ginsparg-Wilson fermions, which greatly facilitate lattice investigations of decays like $K \to \pi\pi$. We report on the ongoing study of our GPU implementation of the Neuberger-Dirac operator including the exact treatment of the low lying eigenmodes of the Wilson-Dirac operator. Our benchmarks show that we achieve speed-up factors of around 23 and 16 in single and double precision, respectively.


title: Particle Physics at the LHC Start

abstract: I present a concise review of the major issues and challenges in particle physics at the start of the LHC era. After a brief overview of the Standard Model and of QCD, I will focus on the electroweak symmetry breaking problem which plays a central role in particle physics today. The Higgs sector of the minimal Standard Model is so far just a mere conjecture that needs to be verified or discarded by the LHC. Probably the reality is more complicated. I will summarize the motivation for new physics that should accompany or even replace the Higgs discovery and a number of its possible forms that could be revealed by the LHC.


title: High-visibility nonclassical interference between pure heralded single photons and weak coherent photons

abstract: We present an experiment of nonclassical interference between a pure heralded single-photon state and a weak coherent state. Our experiment is the first to demonstrate that spectrally pure single photons can have high interference visibility, 89.4 \pm 0.5%, with weak coherent photons. Our scheme lays the groundwork for future experiments requiring quantum interference between photons in nonclassical states and those in coherent states.


title: Slow Crack Propagation in Heterogeneous Materials

abstract: Statistics and thermally activated dynamics of crack nucleation and propagation in a two-dimensional heterogeneous material containing quenched randomly distributed defects are studied theoretically. Using the generalized Griffith criterion we derive the equation of motion for the crack tip position accounting for dissipation, thermal noise and the random forces arising from the defects. We find that aggregations of defects generating long-range interaction forces (e.g., clouds of dislocations) lead to anomalously slow creep of the crack tip or even to its complete arrest. We demonstrate that heterogeneous materials with frozen defects contain a large number of arrested microcracks and that their fracture toughness is enhanced to the experimentally accessible time scales.


title: Investigating texture six zero lepton mass matrices

abstract: Texture six zero Fritzsch like as well as non Fritzsch like hermitian lepton mass matrices (144 combinations in all) have been investigated for both Majorana and Dirac neutrinos for their compatibility with the current neutrino oscillation data, keeping in mind the hierarchy of neutrino masses. All the combinations considered here for Majorana neutrino masses are ruled out by the existing data in the case of inverted hierarchy and degenerate scenario. For Majorana neutrinos with normal hierarchy, only 16 combinations can accommodate the experimental data. Assuming neutrinos to be Dirac particles, normal hierarchy, inverted hierarchy as well as degenerate neutrinos are ruled out for all combinations of texture 6 zero hermitian mass matrices.


title: Analysis of stochastic time series in the presence of strong measurement noise

abstract: A new approach for the analysis of Langevin-type stochastic processes in the presence of strong measurement noise is presented. For the case of Gaussian distributed, exponentially correlated, measurement noise it is possible to extract the strength and the correlation time of the noise as well as polynomial approximations of the drift and diffusion functions from the underlying Langevin equation.