March 2010 arXiv papers — page 14
Showing 1,301–1,400 of 5,984 papers
Bin Zeng, Gang Mu, Huiqian Luo, Hai-Hu Wen
Low-temperature specific heat was measured on the BaFe1.9Ni0.1As2 single crystals with critical transi-tion temperature Tc = 20.1 K. A clear specific heat jump with the value \DeltaC/T|Tc \approx 23 mJ/mol K^2 has been observed. In addition, a roughly linear magnetic field dependence of the electronic specific heat coefficient Δγ(H) is found in the zero-temp
Abbas Dideban, Hassane Alla
This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing p
Daciberg Lima Gonçalves, John Guaschi
Let (X, t, S) be a triple, where S is a compact, connected surface without boundary, and t is a free cellular involution on a CW-complex X. The triple (X, t, S) is said to satisfy the Borsuk-Ulam property if for every continuous map f:X-->S, there exists a point x belonging to X satisfying f(t(x))=f(x). In this paper, we formulate this property in terms of a
Magali Mercier
We prove global in time existence of solutions of the Euler compressible equations for a Van der Waals gas when the density is small enough in $Hm$, for $m$ large enough. To do so, we introduce a specific symmetrisation allowing areas of null density. Next, we make estimates in $Hm$, using for some terms the estimates done by M. Grassin, who proved the same
Nuno Franco, Luis Silva
We describe the Williams zeta functions and the twist zeta functions of sub-Lorenz templates generated by renormalizable Lorenz maps, in terms of the corresponding zeta-functions of the sub-Lorenz templates generated by the renormalized map and by the map that determines the renormalization type.
Laura Paulucci, Jorge E. Horvath
Strangelets (hypothetical stable lumps of strange quarkmatter) of astrophysical origin may be ultimately detected in specific cosmic ray experiments. The initial mass distribution resulting from the possible astrophysical production sites would be subject to reprocessing in the interstellar medium and in the earth's atmosphere. In order to get a better u
Philip C. Myers
Initial conditions for star formation in clusters are estimated for protostars whose masses follow the initial mass function (IMF) from 0.05 to 10 solar masses. Star-forming infall is assumed equally likely to stop at any moment, due to gas dispersal dominated by stellar feedback. For spherical infall, the typical initial condensation must have a steep densi
Bethe anzats derivation of the Tracy-Widom distribution for one-dimensional directed polymers
cond-mat.dis-nnVictor Dotsenko
The distribution function of the free energy fluctuations in one-dimensional directed polymers with $δ$-correlated random potential is studied by mapping the replicated problem to a many body quantum boson system with attractive interactions. Performing the summation over the entire spectrum of excited states the problem is reduced to the Fredholm determinan
On the reconstruction of conductivity of bordered two-dimensional surface in R^3 from electrical currents measurements on its boundary
math.APGennadi Henkin, Roman Novikov
An electrical potential U on bordered surface X (in Euclidien three-dimensional space) with isotropic conductivity function sigma>0 satisfies equation d(sigma d^cU)=0, where d^c is real operator associated with complex (conforme) structure on X induced by Euclidien metric of three-dimensional space. This paper gives exact reconstruction of conductivity funct
Ludovic D. C. Jaubert, J. T. Chalker, Peter C. W. Holdsworth, R. Moessner
We study the low-temperature behaviour of spin ice when uniaxial pressure induces a tetragonal distortion. There is a phase transition between a Coulomb liquid and a fully magnetised phase. Unusually, it combines features of discontinuous and continuous transitions: the order parameter exhibits a jump, but this is accompanied by a divergent susceptibility an
Michel Aurnague, Laure Vieu, Andrée Borillo
In this chapter, we assume that systematically studying spatial markers semantics in language provides a means to reveal fundamental properties and concepts characterizing conceptual representations of space. We propose a formal system accounting for the properties highlighted by the linguistic analysis, and we use these tools for representing the semantic c
Robert M. Strain
In this paper it is shown that unique solutions to the relativistic Boltzmann equation exist for all time and decay with any polynomial rate towards their steady state relativistic Maxwellian provided that the initial data starts out sufficiently close in $L^\infty_\ell$. If the initial data are continuous then so is the corresponding solution. We work in th
Possible link of a structurally driven spin flip transition and the insulator-metal transition in the perovskite La$_{1-x}$Ba$_{x}$CoO$_{3}$
cond-mat.str-elPeng Tong, Juan Yu, Qingzhen Huang, Kazuyoshi Yamada
The complex nature of the magnetic ground state in La$_{1-x}$A$_{x}$CoO$_{3}$ (A = Ca, Sr, Ba) has been investigated via neutron scattering. It was previously observed that ferromagnetic (FM) as well as antiferromagnetic (AFM) correlations can coexist prior to the insulator-metal transition (IMT). We focused on a unique region in the Ba phase diagram, from x
Xin-She Yang
Many geophysical processes can be modelled by using interconnected networks. The small-world network model has recently attracted much attention in physics and applied sciences. In this paper, we try to use and modify the small-world theory to model geophysical processes such as diffusion and transport in disordered porous rocks. We develop an analytical app
Tong Liu, En-Wei Liang, Wei-Min Gu, Xiao-Hong Zhao
A model of jet precession driven by a neutrino-cooled disc around a spinning black hole is present in order to explain the temporal structure and spectral evolution of gamma-ray bursts (GRBs). The differential rotation of the outer part of a neutrino dominated accretion disc may result in precession of the inner part of the disc and the central black hole, h
Yasuhiro Yamada, Yoichi Tanaka, Norio Kawakami
We study the nonequilibrium transport through a quantum dot coupled to normal and superconducting leads. We use the modified second-order perturbation theory to calculate the differential conductance and the local density of states at the quantum dot. In the strong but finite Coulomb interaction regime, the differential conductance shows an anomalous peak no
Compact metallo-dielectric optical antenna for ultra directional and enhanced radiative emission
physics.opticsAlexis Devilez, Nicolas Bonod, Brian Stout
We report the design of highly efficient optical antennas employing a judicious synthesis of metallic and dielectric materials. In the proposed scheme, a pair of metallic coupled nanoparticles permits large enhancements in both excitation strength and radiative decay rates, while a high refractive index dielectric microsphere is employed to efficiently colle
Natalia Silberstein, Tuvi Etzion
Constant dimension codes, with a prescribed minimum distance, have found recently an application in network coding. All the codewords in such a code are subspaces of $\F_q^n$ with a given dimension. A computer search for large constant dimension codes is usually inefficient since the search space domain is extremely large. Even so, we found that some constan
G. Ramachandran, G. Padmanabha, Sujith Thomas
Measurements of spin observables in pp -> {\vec p}{\vec p}π^0 are suggested to remove the phase ambiguity of the threshold amplitude. The suggested measurements complement the IUCF data on {\vec p}{\vec p} -> ppπ^0 to completely determine all the twelve partial wave amplitudes, taken into consideration by Mayer et.al. [15] and Deepak, Haidenbauer and Hanhart
V. Tarady, O. Sergeev, M. Karpov, B. Zhilyaev
Astronomical facilities at the high-altitude observatory Terskol in the Northern Caucasus include optical telescopes with diameters up to 2 m, their instrumentation (high-resolution spectrometers, high-speed photometers, CCDs, etc.), as well as provisions for data distribution via satellite and computer networks. The decades of successful research at Terskol
Shihoko Ishii
This paper shows how properties of jet schemes relate to those of the singularity on the base scheme. We will see that the jet scheme's properties of being Q-factorial, Q-Gorenstein, canonical, terminal and so on are inherited by the base scheme.
A Spectroscopic Study of the H-alpha Surface Brightness Profiles in the Outer Disks of Galaxies
astro-ph.CODaniel Christlein, Dennis Zaritsky, Joss Bland-Hawthorn
The surface brightness profile of H-alpha emission in galaxies is generally thought to be confined by a sharp truncation, sometimes speculated to coincide with a star formation threshold. Over the past years, observational evidence for both old and young stellar populations, as well as individual H II regions, has demonstrated that the outer disk is an activ
Philip J. Jones, Pieter Kok
The Mandelstam-Tamm and Margolus-Levitin inequalities play an important role in the study of quantum mechanical processes in Nature, since they provide general limits on the speed of dynamical evolution. However, to date there has been only one derivation of the Margolus-Levitin inequality. In this paper, alternative geometric derivations for both inequaliti
Michael Rowan-Robinson, Lingyu Wang
We present a catalogue of 179 hyperluminous infrared galaxies (HLIRGs) from the Imperial IRAS-FSS Redshift (IIFSCz) Catalogue. Of the 92 with detections in at least two far infrared bands, 62 are dominated by an M82-like starburst, 22 by an Arp220-like starburst and 8 by an AGN dust torus. On the basis of previous gravitational lensing studies and an examina
Rupak Doshi, Philip J. R. Day
Visual information determines majority of our spatial behavior. The eye projects a 2-D image of the world on the retina. We demonstrate that when a monocular-like imaging system operates entirely with optically dense fluids, an increase in field-of-view (FOV) is observed compared to an experimental condition, where the ocular medium is optically neutral. Res
A. P. Braun
In this work, the moduli of D7-branes in type IIB orientifold compactifications and their stabilization by fluxes is studied from the perspective of F-theory. In F-theory, the moduli of the D7-branes and the moduli of the orientifold are unified in the moduli space of an elliptic Calabi-Yau manifold. This makes it possible to study the flux stabilization of
Maxime Crochemore, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter
A run is an inclusion maximal occurrence in a string (as a subinterval) of a repetition $v$ with a period $p$ such that $2p \le |v|$. The exponent of a run is defined as $|v|/p$ and is $\ge 2$. We show new bounds on the maximal sum of exponents of runs in a string of length $n$. Our upper bound of $4.1n$ is better than the best previously known proven bound
Rolf Kuiper, Mario Flock, Hubert Klahr
We briefly overview our newly developed radiation transport module for MHD simulations and two actual applications. The method combines the advantage of the speed of the Flux-Limited Diffusion approximation and the high accuracy obtained in ray-tracing methods.
Z. M. Yu, Philippe Odier, S. Morlens, P. Chaudouet
La2Zr2O7 (LZO) formation of bulk powders and of films by Chemical Solution Deposition (CSD) process have been studied using propionates. The treatment involved a one step cycle in the reducing forming gas (Ar-5%H2) to be compatible with Ni-5at%W RABITS. Large amount of residual carbon was found in LZO powders formed in these conditions (10 wt %). The volume
Tetiana V. Bosenko
A linear continuous nonzero operator G:X->Y is a Daugavet center if every rank-1 operator T:X->Y satisfies ||G+T||=||G||+||T||. We study the case when either X or Y is a sum $X_1 \oplus_F X_2$ of two Banach spaces $X_1$ and $X_2$ by some two-dimensional Banach space F. We completely describe the class of those F such that for some spaces $X_1$ and $X_2$ ther
L. D. Faddeev
The definition of scattering operator in Quantum Field Theory is critically reconsidered. The correct treatment of one-particle states is connected with separation of selfaction from interaction. The formalism of functional integral is used for the description of such a separation via introduction of the quantum equation of motion.
Factorization of the hypergeometric-type difference equation on the non-uniform lattices: dynamical algebra
math.CAR. Álvarez-Nodarse, N. M. Atakishiyev, R. S. Costas-Santos
We argue that one can factorize the difference equation of hypergeometric type on the nonuniform lattices in general case. It is shown that in the most cases of q-linear spectrum of the eigenvalues this directly leads to the dynamical symmetry algebra $su_q(1,1)$, whose generators are explicitly constructed in terms of the difference operators, obtained in t
J. Rifa, L. Ronquillo
Product perfect codes have been proven to enhance the performance of the F5 steganographic method, whereas perfect Z2Z4-linear codes have been recently introduced as an efficient way to embed data, conforming to the +/-1-steganography. In this paper, we present two steganographic methods. On the one hand, a generalization of product perfect codes is made. On
Manuel Tessmer
Recently, a new class of restricted gravitational wave search templates, termed the TaylorEt template was proposed for the search of inspiralling compact binaries. The TaylorEt approximant is different from the usual time-domain post-Newtonian approximants in that it employs the orbital binding energy rather than the orbital frequency or the closely related
Magnetic phase diagram of the S=1/2 triangular layered compound NaNiO2: a single crystal study
cond-mat.str-elSophie De Brion, Markus Bonda, Céline Darie, Pierre Bordet
Using magnetic torque measurement on a NaNiO2 single crystal, we have established the magnetic phase diagram of this triangular compound. It presents 5 different phases depending on the temperature (4 K - 300 K) and magnetic field (0 - 22 T) revealing several spin reorientations coupled to different magnetic anisotropies.
F. Galve, D. Zueco, G. M. Reuther, S. Kohler
We investigate creation, manipulation, and steering of entanglement in spin chains from the viewpoint of quantum communication between distant parties. We demonstrate how global parametric driving of the spin-spin coupling and/or local time-dependent Zeeman fields produce a large amount of entanglement between the first and the last spin of the chain. This o
A Nekhoroshev type theorem for the nonlinear Schrödinger equation on the d-dimensional torus.
math.DSErwan Faou, Benoit Grebert
We prove a Nekhoroshev type theorem for the nonlinear Schrödinger equation $$ iu_t=-Δu+V\star u+\partial_{\bar u}g(u,\bar u)\, \quad x\in \T^d, $$ where $V$ is a typical smooth potential and $g$ is analytic in both variables. More precisely we prove that if the initial datum is analytic in a strip of width $ρ>0$ with a bound on this strip equals to $\eps$ th
R. Pico, V. J. Sanchez-Morcillo, I. Perez-Arjona, K. Staliunas
We propose and numerically demonstrate an efficient cleaning of spatial structure (spatial filtering) of sound beams by propagating them through at least twodimensional sonic crystals, i.e. through acoustic structures periodically modulated in longitudinal and in transversal direction with respect to the sound propagation direction. We show the spatial filte
Barry M. Garraway, Hélène Perrin
Atoms can be trapped using a combination of static and rotating magnetic fields. A theoretical analysis is performed of a rotating polarisation axis which is used to eliminate regions of zero coupling. A similar result is found using linear polarisation, but in the case of circular polarisation no orientational dependence in the coupling remains when on reso
Ugo Boscain, Grégoire Charlot, Roberta Ghezzi, Mario Sigalotti
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. We consider the Carnot--Caratheodory distance canonically associated with an almost-Riemannian structure and study the problem of Lipschitz equ
Chiung-Yuan Lin, B. A. Jones
The engineered spin structures recently built and measured in scanning tunneling microscope experiments are calculated using density functional theory. By determining the precise local structure around the surface impurities, we find the Mn atoms can form molecular structures with the binding surface, behaving like surface molecular magnets. The spin structu
Comment: Superconducting transition in Nb nanowires fabricated using focused ion beam
cond-mat.mes-hallAndreas Engel
In a recent paper Tettamanzi et al (2009 Nanotechnology \bf{20} 465302) describe the fabrication of superconducting Nb nanowires using a focused ion beam. They interpret their conductivity data in the framework of thermal and quantum phase slips below $T_c$. In the following we will argue that their analysis is inappropriate and incomplete, leading to contra
Didier Henrion
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI), an affine section of the semidefinite cone, is always dual to the numerical range of a matrix, which is therefore an affi
Carmelo Malta, José Martinez
Several propositions were done to provide adapted concurrency control to object-oriented databases. However, most of these proposals miss the fact that considering solely read and write access modes on instances may lead to less parallelism than in relational databases! This paper cope with that issue, and advantages are numerous: (1) commutativity of method
Sushil Gorai
We consider the following question: Let $S_1$ and $S_2$ be two smooth, totally-real surfaces in $\mathbb{C}^2$ that contain the origin. If the union of their tangent planes is locally polynomially convex at the origin, then is $S_1 \cup S_2$ locally polynomially convex at the origin? If $T_0S_1 \cap T_0S_2=\{0\}$, then it is a folk result that the answer is
Assessment of Pollutant Spread from a Building Basement with three Ventilation Systems
physics.med-phJuslin Koffi
Ventilation aims at providing a sufficient air renewal for ensuring a good indoor air quality (IAQ), yet building energy policies are leading to adapting various ventilation strategies minimising energy losses through air renewal. A recent IAQ evaluation campaign in French dwellings shows important pollution of living spaces by VOCs such as formaldehyde, ace
Giovanni Zanella
The wave nature of the light, applied to the kinematics of the moving bodies, permits to investigate and find a coherent solution on some questions raised by the theory of special relativity about the Lorentz contraction.
E. Assemat, K. Efstathiou, M. Joyeux, D. Sugny
We introduce the notion of fractional bidromy which is the combination of fractional monodromy and bidromy, two recent generalizations of Hamiltonian monodromy. We consider the vibrational spectrum of the HOCl molecule which is used as an illustrative example to show the presence of nontrivial fractional bidromy. To our knowledge, this is the first example o
Yannick Aoustin, Alexander Formal'skii
This article is devoted to the stabilization of two underactuated planar systems, the well-known straight beam-and-ball system and an original circular beam-and-ball system. The feedback control for each system is designed, using the Jordan form of its model, linearized near the unstable equilibrium. The limits on the voltage, fed to the motor, are taken int
Carmelo Malta, José Martinez
We present some formal properties of (symmetrical) commutativity, the major criterion used in transactional systems, which allow us to fully understand its advantages and disadvantages. The main result is that commutativity is subject to the same limitation as compatibility for arbitrary objects. However, commutativity has also a number of attracting propert
Gian Pietro Pirola, Cecilia Rizzi, Enrico Schlesinger
We give a new example of a curve C algebraically, but not rationally, uniformized by radicals. This means that C has no map onto the projective line P^1 with solvable Galois group, while there exists a curve C' that maps onto C and has a finite morphism to P^1 with solvable Galois group. We construct such a curve C of genus 9 in the second symmetric prod
A framework for designing concurrent and recoverable abstract data types based on commutativity
cs.DBCarmelo Malta, José Martinez
In this paper, we try to focus the reader's interest on the problems that transactional systems have to resolve for taking advantage of commutativity in a serializable and recoverable way. Our framework is, (as others), based on the use of conditional commutativity on abstract date types. We present new features that have not been found in the literature
José Martinez, Carmelo Malta
Commutativity has the same inherent limitations as compatibility. Then, it is worth conceiving simple concurrency control techniques. We propose a restricted form of commutativity which increases parallelism without incurring a higher overhead than compatibility. Advantages of our proposition are: (1) commutativity of operations is determined at compile-time
Scatter-free pickup ions beyond the heliopause as a model for the Interstellar Boundary Explorer (IBEX) ribbon
astro-ph.SRS. V. Chalov, D. B. Alexashov, D. McComas, V. V. Izmodenov
We present new kinetic-gasdynamic model of the solar wind interaction with the local interstellar medium. The model incorporates several processes suggested by McComas et al. (2009) for the origin of the heliospheric ENA ribbon -- the most prominent feature seen in the all sky maps of heliospheric ENAs discovered by the Interstellar Boundary Explorer (IBEX).
R. M. C. Thomas, R. T. Gangadhara
We study the mean profiles of the multi--component pulsars PSRs B1839+09, B1916+14 and B2111+46. We estimate the emission height of the core components, and hence find the absolute emission altitudes corresponding to the conal components. By fitting Gaussians to the emission components, we determine the phase location of the component peaks. Our findings ind
R. B. G. Kramer, V. S. Egorov, V. A. Gasparov, A. G. M. Jansen
We present the Condon domain phase diagram for a silver single crystal measured in magnetic fields up to 28 T and temperatures down to 1.3 K. A standard ac method with a pickup coil system is used at low frequency for the measurements of the de Haas-van Alphen effect (dHvA). The transition point from the state of homogeneous magnetization to the inhomogeneou
P. A. Altin, N. P. Robins, D. Doering, J. E. Debs
We describe our experimental setup for creating stable Bose-Einstein condensates of Rb-85 with tunable interparticle interactions. We use sympathetic cooling with Rb-87 in two stages, initially in a tight Ioffe-Pritchard magnetic trap and subsequently in a weak, large-volume crossed optical dipole trap, using the 155 G Feshbach resonance to manipulate the el
Gravity Waves on Hot Extrasolar Planets: I. Propagation and Interaction with the Background
astro-ph.EPChris Watkins, James Y-K. Cho
We study the effects of gravity waves, or g-modes, on hot extrasolar planets. These planets are expected to possess stably-stratified atmospheres, which support gravity waves. In this paper, we review the derivation of the equation that governs the linear dynamics of gravity waves and describe its application to a hot extrasolar planet, using HD209458 b as a
R. Kevorkyants, V. Ligatchev, P. Wu
Existence of heteroaromatic graphene analog is predicted based upon periodic first principles density functional theory calculations. The new material, poly 1,5-dihydro 1,5-diazocine diazene, is a monolayered aromatic (planar) cross-linked polymer with cohesion energy - 6.03 eV/atom. Calculations reveal its Dirac insulator properties with narrow (~ 0.057 eV)
Hardon-quark hybrid stars constructed by the nonlinear $σ$-$ω$-$ρ$ mean-field model and MIT-bag model
nucl-thSchun T. Uechi, Hiroshi Uechi
Density-dependent relations among saturation properties of symmetric nuclear matter and hyperonic matter, properties of hadron-(strange) quark hybrid stars are discussed by applying the conserving nonlinear $σ$-$ω$-$ρ$ hadronic mean-field theory. Nonlinear interactions that will be renormalized as effective coupling constants, effective masses and sources of
Mariken H. C. Everdij, Henk A. P. Blom
Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used by the other stochastic model formalism. The aim of this paper is to explain bisimilarity relations betwe
Niayesh Afshordi
The two apparently distinct phenomena of dark energy (or late-time cosmic acceleration) and quantum gravity dominate physics on extremely low, and extremely high energies, but do not seem to have any apparent empirical connection. Nevertheless, the two have a theoretical connection, through the cosmological constant problem. I argue that the finite temperatu
Xueliang Li, Yiyang Li
Let $\mathcal{T}_n$ denote the set of all unrooted and unlabeled trees with $n$ vertices, and $(i,j)$ a double-star. By assuming that every tree of $\mathcal{T}_n$ is equally likely, we show that the limiting distribution of the number of occurrences of the double-star $(i,j)$ in $\mathcal{T}_n$ is normal. Based on this result, we obtain the asymptotic value
M. A. Braun, A. N. Tarasov
Contribution of simplest loops for hadron-nucleus scattering cross-sections is studied in the Local Reggeon Field Theory with a supercritical pomeron. It is shown that inside the nucleus the supercritical pomeron transforms into a subcritical one, so that perturbative treatment becomes possible. The pomeron intercept becomes complex, which leads to oscillati
H. Suzuki, K. Takano
We investigate the ground state of the $J_1$-$J_2$ spin-1/2 chain with $J_1<0$ and $J_2>0$ in the case that the nearest-neighbor $J_1$ interaction in the $z$-direction has a weak anisotropy as $J_1 (1-α)$. We perform a perturbational analysis for small $α$ and $λ\equiv J_2- |J_1|/4$ with the exact solution of the unperturbed ground state for $α= λ= 0$. The s
Benoît Boyer, Thomas Genet
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which
João Marcos
A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common higher-order metalanguage. Used as proof assistants, one of the advantages of such powerful systems resides in their responsiveness to extensibility of their reasoning capabilities, being designed over rule-based
P. Skoda, P. Hadrava
The Virtual Observatory is a new technology of the astronomical research allowing the seamless processing and analysis of a heterogeneous data obtained from a number of distributed data archives. It may also provide astronomical community with powerful computational and data processing on-line services replacing the custom scientific code run on user's c
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-o
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the application, this leads to less programming flaws and easier maintenance. But of course one would still like to perform program analysis on these kinds of extended languages, in particular
Yasunori Hori, Masahiro Ikoma
We investigate the critical core mass and the envelope growth timescale, assuming grain-free envelopes, to examine how small cores are allowed to form gas giants in the framework of the core accretion model. This is motivated by a theoretical dilemma concerning Jupiter formation: Modelings of Jupiter's interior suggest that it contains a small core of <
Non-Markovian theory of vibrational energy relaxation and its applications to biomolecular systems
physics.bio-phHiroshi Fujisaki, Yong Zhang, John E. Straub
Energy transfer (relaxation) phenomena are ubiquitous in nature. At a macroscopic level, the phenomenological theory of heat (Fourier law) successfully describes heat transfer and energy flow. However, its microscopic origin is still under debate. This is because the phenomena can contain many-body, multi-scale, nonequilibrium, and even quantum mechanical as
Evolution of the synchrotron and inverse Compton emissions of the low energy peaked BL Lac object S5 0716+714
astro-ph.HEYou-Hong Zhang
This paper presents a detailed analysis of the temporal and spectral variability of the low-energy peaked BL Lac object S5 0716+714 with a long (~74 ks)X-ray observation performed by XMM-Newton on 2007 September 24-25. The source experiences recurrent flares on timescales of hours. The soft X-ray variations, up to a factor of ~4, are much stronger than the h
Compositions and Averages of Two Resolvents: Relative Geometry of Fixed Points Sets and a Partial Answer to a Question by C. Byrne
math.FAXianfu Wang, Heinz H. Bauschke
We show that the set of fixed points of the average of two resolvents can be found from the set of fixed points for compositions of two resolvents associated with scaled monotone operators. Recently, the proximal average has attracted considerable attention in convex analysis. Our results imply that the minimizers of proximal-average functions can be found f
Spectral sum for the color-Coulomb potential in SU(3) Coulomb gauge lattice Yang-Mills theory
hep-latY. Nakagawa, A. Nakamura, T. Saito, H. Toki
We discuss the essential role of the low-lying eigenmodes of the Faddeev-Popov (FP) ghost operator on the confining color-Coulomb potential using SU(3) quenched lattice simulations in the Coulomb gauge. The color-Coulomb potential is expressed as a spectral sum of the FP ghost operator and has been explored by partially summing the FP eigenmodes. We take int
Dust Concentration at the Boundary Between Steady Super/Sub-Keplerian Flow Created by Inhomogeneous Growth of MRI
astro-ph.SRMariko T. Kato, Masaki Fujimoto, Shigeru Ida
How to create planetesimals from tiny dust particles in a proto-planetary disk before the dust particles spiral to the central star is one of the most challenging problems in the theory of planetary system formation. In our previous paper Kato et al. (2009), we have shown that a steady angular velocity profile that consists of both super and sub-Keplerian re
Peter O'Sullivan
Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push forward along those morphisms X^l -> X^m for which each component X^l -> X is a projection. It is shown that these Q-vecto
L. M. Robledo
Two-body matrix elements of arbitrary local interactions are written as the sum of separable terms in a way that is well suited for the exchange and pairing channels present in mean-field calculations. The expansion relies on the transformation to center of mass and relative coordinate (in the spirit of Talmi's method) and therefore it is only useful (fi
Alvaro Pelayo, Susan Tolman
The study of fixed points is a classical subject in geometry and dynamics. If the circle acts in a Hamiltonian fashion on a compact symplectic manifold M, then it is classically known that there are at least 1 + dim(M)/2 fixed points; this follows from Morse theory for the momentum map of the action. In this paper we use Atiyah-Bott-Berline-Vergne (ABBV) loc
Controlling Half-Metallicity of Graphene Nanoribbons by Using a Ferroelectric Polymer
cond-mat.mes-hallYea-Lee Lee, Seungchul Kim, Changwon Park, Jisoon Ihm
On the basis of first-principles computational approaches, we present a new method to drive zigzag graphene nanoribons (ZGNRs) into the half-metallic state using a ferroelectric material, poly(vinylidene fluoride) (PVDF). Owing to strong dipole moments of PVDFs, the ground state of the ZGNR becomes half-metallic when a critical coverage of PVDFs is achieved
R. Álvarez-Nodarse, N. M. Atakishiyev, R. S. Costas-Santos
We discuss factorization of the hypergeometric-type difference equations on the uniform lattices and show how one can construct a dynamical algebra, which corresponds to each of these equations. Some examples are exhibited, in particular, we show that several models of discrete harmonic oscillators, previously considered in a number of publications, can be t
Xu Miao, Rajesh P. N. Rao
Current statistical models for structured prediction make simplifying assumptions about the underlying output graph structure, such as assuming a low-order Markov chain, because exact inference becomes intractable as the tree-width of the underlying graph increases. Approximate inference algorithms, on the other hand, force one to trade off representational
Jose A. Diaz-Garcia, Francisco J. Caro-Lopera
This work finds the non isotropic noncentral elliptical shape distributions via SVD decomposition in the context of zonal polynomials, avoiding the invariant polynomials and the open problems for their computation. The new shape distributions are easily computable and then the inference procedure is based on exact densities instead of the published approxima
Giacomo Mazzi, Ben Leimkuhler
We consider a natural dimension reduction technique for the Liouville-von Neumann equation for a mixed quantum system based on evaluation of a trace formula combined with a direct expansion in modified Chebyshev polynomials. This reduction is highly efficient and does not destroy any information. We demonstrate the practical application of the scheme with a
Nemanja Kaloper, Matthew Kleban, Damien Martin
We prove that a class of solutions to Einstein's equations---originally discovered by G. C. McVittie in 1933---includes regular black holes embedded in Friedman-Robertson-Walker cosmologies. If the cosmology is dominated at late times by a positive cosmological constant, the metric is regular everywhere on and outside the black hole horizon and away from
A new cubic theory of gravity in five dimensions: Black hole, Birkhoff's theorem and C-function
gr-qcJulio Oliva, Sourya Ray
We present a new cubic theory of gravity in five dimensions which has second order traced field equations, analogous to BHT new massive gravity in three dimensions. Moreover, for static spherically symmetric spacetimes all the field equations are of second order, and the theory admits a new asymptotically locally flat black hole. Furthermore, we prove the un
Dorota Mozyrska, Ewa Pawluszewicz, Delfim F. M. Torres
We prove dynamic inequalities of majorisation type for functions on time scales. The results are obtained using the notion of Riemann-Stieltjes delta integral and give a generalization of [App. Math. Let. 22 (2009), no. 3, 416--421] to time scales.
Wlodzimierz Bryc, Wojciech Matysiak, Jacek Wesołowski
Free quadratic harness is a Markov process from the class of quadratic harnesses, i.e. processes with linear regressions and quadratic conditional variances. The process has recently been constructed for a restricted range of parameters in the paper "Askey-Wilson polynomials, quadratic harnesses and martingales" by W. Bryc and J. Wesołowski using Ask
A. Nourou Issa
Hom-Akivis algebras are introduced. The commutator-Hom-associator algebra of a non-Hom-associative algebra (i.e. a Hom-nonassociative algebra) is a Hom-Akivis algebra. It is shown that non-Hom-associative algebras can be obtained from nonassociative algebras by twisting along algebra automorphisms while Hom-Akivis algebras can be obtained from Akivis algebra
Miguel Alcubierre, Juan C. Degollado, Dario Nunez, Milton Ruiz
We show that the phenomenon of spontaneous scalarization predicted in neutron stars within the framework of scalar-tensor tensor theories of gravity, also takes place in boson stars without including a self-interaction term for the boson field (other than the mass term), contrary to what was claimed before. The analysis is performed in the physical (Jordan)
Hernando Burgos-Soto
We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar diagram produces a coherently diagonal complex.
Emilio Seijo, Bodhisattva Sen
This paper deals with the consistency of the least squares estimator of a convex regression function when the predictor is multidimensional. We characterize and discuss the computation of such an estimator via the solution of certain quadratic and linear programs. Mild sufficient conditions for the consistency of this estimator and its subdifferentials in fi
S. Pandolfi, A. Cooray, E. Giusarma, E. W. Kolb
Inflation predicts primordial scalar perturbations with a nearly scale-invariant spectrum and a spectral index approximately unity (the Harrison--Zel'dovich (HZ) spectrum). The first important step for inflationary cosmology is to check the consistency of the HZ primordial spectrum with current observations. Recent analyses have claimed that a HZ primord
Global attractors for strongly damped wave equations with displacement dependent damping and nonlinear source term of critical exponent
math.APAzer Khanmamedov
In this paper the long time behaviour of the solutions of 3-D strongly damped wave equation is studied. It is shown that the semigroup generated by this equation possesses a global attractor in H_{0}^{1}(Ω)\times L_{2}(Ω) and then it is proved that this global attractor is a bounded subset of H^{2}(Ω)\times H^{2}(Ω) and also a global attractor in H^{2}(Ω)\ca
Reconnection Outflows and Current Sheet Observed with Hinode/XRT in the 2008 April 9 "Cartwheel CME" Flare
astro-ph.SRSabrina L. Savage, David E. McKenzie, Katharine K. Reeves, Terry G. Forbes
Supra-arcade downflows (SADs) have been observed with Yohkoh/SXT (soft X-rays (SXR)), TRACE (extreme ultra-violet (EUV)), SoHO/LASCO (white light), SoHO/SUMER (EUV spectra), and Hinode/XRT (SXR). Characteristics such as low emissivity and trajectories which slow as they reach the top of the arcade are consistent with post-reconnection magnetic flux tubes ret
The filling law: a general framework for leaf shape diversity and its consequences on folded leaves
q-bio.TOEtienne Couturier, Sylvain Courrech du Pont, Stéphane Douady
Leaves are packed in a bud in different ways, being flat, enrolled, or folded, but always filling the whole bud volume. This « filling law » has many consequences, in particular on the shape of growing folded leaves. This is shown here for different types of folding and packing. The folded volume is always part of an ellipsoid, with the veins on the outside
An automatic pipeline analysing solar-like oscillating targets tested on CoRoT and simulated data
astro-ph.SRS. Mathur, R. A. Garcia, C. Regulo, O. L. Creevey
The launch of the Kepler mission on 7th March 2009 opened a new bright future for the search of extra-solar planets while a huge amount of stars will be observed leading to the opportunity to better understand stellar evolution. This will allow us to probe different regions in the HR diagram and put more constraints on the stellar models. Up to now the aster
Mass and environment as drivers of galaxy evolution in SDSS and zCOSMOS and the origin of the Schechter function
astro-ph.COY. Peng, S. J. Lilly, K. Kovac, M. Bolzonella
We explore the inter-relationships between mass, star-formation rate and environment in the SDSS, zCOSMOS and other surveys. The differential effects of mass and environment are completely separable to z ~ 1, indicating that two distinct processes are operating, "mass-quenching" and "environment-quenching". Environment-quenching, at fixed ove
P. S. Marrocchesi, H. S. Ahn, M. G. Bagliesi, A. Basti
CREAM (Cosmic Ray Energetics And Mass) is a multi-flight balloon mission designed to collect direct data on the elemental composition and individual energy spectra of cosmic rays. Two instrument suites have been built to be flown alternately on a yearly base. The tungsten/Sci-Fi imaging calorimeter for the second flight, scheduled for December 2005, was cali
Romain Teyssier, Ben Moore, Davide Martizzi, Yohan Dubois
We use 1 kpc resolution cosmological AMR simulations of a Virgo-like galaxy cluster to investigate the effect of feedback from supermassive black holes (SMBH) on the mass distribution of dark matter, gas and stars. We compared three different models: (i) a standard galaxy formation model featuring gas cooling, star formation and supernovae feedback, (ii) a &