October 2010 arXiv papers — page 10
Showing 901–1,000 of 6,460 papers
Gabor Hegedüs, Brian Moore
We characterize and classify completely the planar 4R closed chain working on the Minkowskian plane. Our work would open a new research direction in the theory of geometric designs: the classification and characterization of the geometric design of linkages working in non--Euclidean spaces.
C. Garcia-Recio, L. L. Salcedo
Tables of scalar factors are presented for 63x63 and 120x63 in SU(8)$\supset$SU(4)xSU(2), and for 35x35 and 56x35 in SU(6)$\supset$SU(3)xSU(2). Related tables for SU(4)$\supset$SU(3)xU(1) and SU(3)$\supset$SU(2)xU(1) are also provided so that the Clebsch-Gordan coefficients can be completely reconstructed. These are suitable to study meson-meson and baryon-m
Pritam Roy, Paulo Tabuada, Rupak Majumdar
The verification and validation of cyber-physical systems is known to be a difficult problem due to the different modeling abstractions used for control components and for software components. A recent trend to address this difficulty is to reduce the need for verification by adopting correct-by-design methodologies. According to the correct-by-design paradi
CoIr-carbon complexes with magnetic anisotropies larger than 0.2 eV: a density-functional-theory prediction
cond-mat.mes-hallRuijuan Xiao, Michael D. Kuz'min, Klaus Koepernik, Manuel Richter
We report a density-functional study of the heteronuclear CoIr dimer adsorbed on benzene or graphene. In either case CoIr prefers an upright position above the center of a carbon hexagon with the Co atom next to it. The Ir atom stays away from the carbon ring and thus preserves its free-atom-like properties. This results in a very large magnetic anisotropy o
L. Ya. Glozman, C. B. Lang, M. Limmer
The variational method allows one to study the mixing of interpolators with different chiral transformation properties in the nonperturbatively determined physical state. It is then possible to define and calculate in a gauge-invariant manner the chiral as well as the partial wave content of the quark-antiquark component of a meson in the infrared, where mas
M. Tluczykont, E. Bernardini, K. Satalecka, R. Clavero
Very high-energy (VHE, E\,$>$\,100\,GeV) $γ$-ray data are a valuable input for multi-wavelength and multi-messenger (e.g. combination with neutrino data) studies. We aim at the conservation and homogenization of historical, current, and future {VHE $γ$-ray-data} on active galactic nuclei (AGN). We have collected lightcurve data taken by major VHE experiments
Influence of elastic scattering on the measurement of core-level binding energy dispersion in x-ray photoemission spectroscopy
cond-mat.otherE. F. Schwier, C. Monney, N. Mariotti, Z. Vydrovà
In the light of recent measurements of the C 1s core level dispersion in graphene [Nat. Phys. 6, 345 (2010)], we explore the interplay between the elastic scattering of photoelectrons and the surface core level shifts with regard to the determination of core level binding energies in Au(111) and Cu3Au(100). We find that an artificial shift is created in the
S. E. Savel'ev, A. S. Alexandrov, A. M. Bratkovsky, R. Stanley Williams
Reversible bipolar nano-switches that can be set and read electronically in a solid-state two-terminal device are very promising for applications. We have performed molecular-dynamics simulations that mimic systems with oxygen vacancies interacting via realistic potentials and driven by an external bias voltage. The competing short- and long-range interactio
The Evolution of the Large-scale ISM: Bubbles, Superbubbles and Non-Equilibrium Ionization
astro-ph.GAMiguel A. de Avillez, Dieter Breitschwerdt
The ISM, powered by SNe, is turbulent and permeated by a magnetic field (with a mean and a turbulent component). It constitutes a frothy medium that is mostly out of equilibrium and is ram pressure dominated on most of the temperature ranges, except for T< 200 K and T> 1E6 K, where magnetic and thermal pressures dominate, respectively. Such lack of equilibri
Topology of the correlation networks among major currencies using hierarchical structure methods
q-fin.GNMustafa Keskin, Bayram Deviren, Yusuf Kocakaplan
We studied the topology of correlation networks among 34 major currencies using the concept of a minimal spanning tree and hierarchical tree for the full years of 2007-2008 when major economic turbulence occurred. We used the USD (US Dollar) and the TL (Turkish Lira) as numeraires in which the USD was the major currency and the TL was the minor currency. We
A possible approach to three-dimensional cosmic-ray propagation in the Galaxy IV. Electrons and electron-induced gamma-rays
astro-ph.HET. Shibata, T. Ishikawa, S. Sekiguchi
Based on the diffusion-halo model for cosmic-ray (CR) propagation, including stochastic reacceleration due to collisions with hydromagnetic turbulence, we study the behavior of the electron component and the diffuse $γ$-rays (D$γ$'s) induced by them. The galactic parameters appearing in these studies are essentially the same as those appearing in the had
Joaquin Luna-Torres, Carlos Orlando Ochoa C
U. H{ö}hle and A. {Š}ostak have developed in \cite{HS} the category of complete quasi-monoidal lattices; S. E. Rodabaugh in \cite{RO} proposed its opposite category and with a subcategory $\mathbf{C}$ of the latter, he define grounds of the form $\mathbf{SET\times C}$. In this paper, for each ground category of the form $\mathbf{SET\times C}$, we study categ
Non-equilibrium 1D many-body problems and asymptotic properties of Toeplitz determinants
cond-mat.mes-hallD. B. Gutman, Yuval Gefen, A. D. Mirlin
Non-equilibrium bosonization technique facilitates the solution of a number of important many-body problems out of equilibrium, including the Fermi-edge singularity, the tunneling spectroscopy and full counting statistics of interacting fermions forming a Luttinger liquid. We generalize the method to non-equilibrium hard-core bosons (Tonks-Girardeau gas) and
Roope Vehkalahti, Camilla Hollanti, Frédérique Oggier
Multiple-input double-output (MIDO) codes are important in the near-future wireless communications, where the portable end-user device is physically small and will typically contain at most two receive antennas. Especially tempting is the 4 x 2 channel due to its immediate applicability in the digital video broadcasting (DVB). Such channels optimally employ
Spectra disentangling applied to the Hyades binary Theta^2 Tau AB: new orbit, orbital parallax and component properties
astro-ph.SRK. B. V. Torres, P. Lampens, Y. Frémat, H. Hensberge
Theta^2 Tauri is a detached and single-lined interferometric-spectroscopic binary as well as the most massive binary system of the Hyades cluster. The system revolves in an eccentric orbit with a periodicity of 140.7 days. The secondary has a similar temperature but is less evolved and fainter than the primary. It is also rotating more rapidly. Since the com
Hu Xiong, Zhong Chen
A privacy-preserving English auction protocol with round efficiency based on a modified ring signature has been proposed in this paper. The proposed protocol has three appealing characteristic: First, it offers conditional privacy-preservation: on the one hand, the bidder is anonymous to the public, on the other hand, only the collaboration of auctioneer and
J. Kierfeld, V. M. Vinokur
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 fo
Guido Altarelli
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
Bjoern Walk, Hartmut Wittig, Egor Dranischnikow, Elmar Schömer
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 investig
Minggang Zeng, Lei Shen, Haibin Su, Miao Zhou
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 t
Nobutoshi Yasutake, Toshiki Maruyama, Toshitaka Tatsumi
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 inst
Specific-heat measurements of superconducting NbS2 single crystal in an external magnetic field: Study on the energy gap structure
cond-mat.supr-conJ. Kacmarcik, Z. Pribulova, C. Marcenat, T. Klein
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 eit
Michael Larsen, Gunter Malle, Pham Huu Tiep
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 h
Werner Ruehl
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 field
Giovanna Carofiglio, Luca Muscariello, Dario Rossi, Claudio Testa
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 infe
M. P. E. Schurch, M. J. Coe, V. A. McBride, L. J. Townsend
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 op
Measurement of the form factors of the decay B0 -> D*- ell+ nu and determination of the CKM matrix element |Vcb|
hep-exW. ~Dungel, C. ~Schwanda, I. ~Adachi, H. ~Aihara
This article describes a determination of the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cb}|$ from the decay $B^0\to D^{*-}\ell^+ν_\ell$ using 711 fb$^{-1}$ of Belle data collected near the $Υ(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 para
David R. Ardila, Schuyler D. Van Dyk, Wojciech Makowiecki, John Stauffer
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
J. E. Andersen, R. C. Penner, C. M. Reidys, M. S. Waterman
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^
Erminia Calabrese, Roland de Putter, Dragan Huterer, Eric V. Linder
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
Jumpei Tanaka, Daisaku Nogami, Mitsugu Fujii, Kazuya Ayani
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 th
Ju Sun, Qiang Chen, Shuicheng Yan, Loong-Fah Cheong
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 com
Equilibrium equation of state of a hard sphere binary mixture at very large densities using replica exchange Monte-Carlo simulations
cond-mat.stat-mechGerardo Odriozola, Ludovic Berthier
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 n
Revisiting Gruss's inequality: covariance bounds,QDE but not QD copulas, and central moments
math.PRMartin Egozcue, Luis Fuentes Garcia, Wing-Keung Wong, Ricardas Zitikis
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 establ
S. Shelyag, P. Keys, M. Mathioudakis, F. P. Keenan
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
The Bonds of Laughter: A Multidisciplinary Inquiry into the Information Processes of Human Laughter
q-bio.NCPedro C. Marijuan, Jorge Navarro
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 f
Ortal Alon, Mary Schaps, Michal White
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
Piotr Zenczykowski
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
H. Quevedo, A. Sanchez, S. Taj, A. Vazquez
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
Laser control of double proton transfer in porphycenes. Towards an ultrafast switch for photonic molecular wires
physics.chem-phMahmoud K. Abdel-Latif, Oliver Kuehn
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 o
Improvement of superconducting properties of FeSe0.5Te0.5 single crystals by Mn substitution
cond-mat.supr-conA. Günther, J. Deisenhofer, Ch. Kant, H. -A. Krug von Nidda
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 resisti
Chuu-Lian Terng
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 submani
Phonons of graphene and graphitic materials derived from the empirical potential LCBOPII
cond-mat.mes-hallL. J. Karssemeijer, Annalisa Fasolino
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 di
Chuu-Lian Terng
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 dressi
The role of flow geometry in influencing the stability criteria for low angular momentum axisymmetric black hole accretion
astro-ph.HES. Nag, S. Acharya, A. K. Ray, Tapas K. Das
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 stat
W. Ishibashi, T. J. -L. Courvoisier
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 sy
Radjesvarane Alexandre, Yoshinori Morimoto, Seiji Ukai, Chao-Jiang Xu
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
Karen G. Dvoyan
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
Francesco Caravenna, Giambattista Giacomin, Fabio Lucio Toninelli
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 lite
Elizabeth A. Stuart
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 covaria
B. Aryal
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 agreemen
Bernard Jacquemin
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 deriva
Xavier Leroy
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 (s
Detection Probability of a Low-Mass Planet for Triple Lens Events: Implication of Properties of Binary-Lens Superposition
astro-ph.EPYoon-Hyun Ryu, Heon-Young Chang, Myeong-Gu Park
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 wi
M. Emilio, L. Andrade, E. Janot-Pacheco, A. Baglin
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
Muhammad Bilal, K. Saifullah
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 thermod
Ahmed Jellal, Abderrahim El Mouhafid
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 reflex
A linear programming approach to general dataflow process network verification and dimensioning
cs.DCRenaud Sirdey, Pascal Aubry
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.
Harsh Beohar, Pieter Cuijpers
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
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
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 preci
Massimo Bartoletti, Roberto Zunino
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 d
Ivan Lanese
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
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
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 cl
Alejandro Mario Hernandez, Flemming Nielson
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 th
Marco Carbone, Søren Debois
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 fo
Christian Lambertz, Mila Majster-Cederbaum
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 b
Robin Scheibler, Paul Hurley, Amina Chebira
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
Sandro Sorella, Luca Capriotti
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 examp
Geometric Approach to Quantum Statistical Mechanics and Application to Casimir Energy and Friction Properties
hep-thShoichi Ichinose
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$,$τ$) as the quantum statistical system of N quantum (statistical) variables (X$^i$) and one {\it Euclid
Li-yun Hu, Z. S. Wang, L. C. Kwek, Hong-yi Fan
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-
Itay Hen, Marcos Rigol
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 ha
J. D. Ferguson, Y. Kim, A. R. Woll, J. D. Brock
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
Ravit Helled, John D. Anderson, Morris Podolak, Gerald Schubert
'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), a
D'yakonov-Perel' spin relaxation for degenerate electrons in the electron-hole liquid
cond-mat.mtrl-sciMatthew D. Mower, G. Vignale, I. V. Tokatly
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
Mihai Bailesteanu
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,
Cong Wang, Xian-Tu He, Ping Zhang
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
Nilima Nigam, Joel Phillips
We present degrees of freedom to accompany the approximation spaces already presented in a companion paper and thus complete the definition of families of high-order conforming finite elements on pyramids for the spaces of the de Rham complex. We prove that the elements are unisolvent; are compatible with conventional tetrahedral and hexahedral elements; sat
Daniele Boffi, Martin Costabel, Monique Dauge, Leszek Demkowicz
In this paper we prove the discrete compactness property for a wide class of p-version finite element approximations of non-elliptic variational eigenvalue problems in two and three space dimensions. In a very general framework, we find sufficient conditions for the p-version of a generalized discrete compactness property, which is formulated in the setting
Yuichiro Nakai, Yutaka Ookouchi
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
Computation of Casimir Interactions between Arbitrary 3D Objects with Arbitrary Material Properties
quant-phM. T. Homer Reid, Jacob White, Steven G. Johnson
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
Scaled free energies, power-law potentials, strain pseudospins and quasi-universality for first-order structural transitions
cond-mat.mtrl-sciS. R. Shenoy, T. Lookman, A. Saxena
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
A. V. Miranskyy, M. Davison, M. Reesor, S. S. Murtaza
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
Ching-Ming Chen, Yu-Chieh Chung
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 gau
Jorge Bellorín, Alvaro Restuccia
We perform the Hamiltonian analysis for a nonprojectable Horava model whose potential is composed of R and R^2 terms. We show that Dirac's algorithm for the preservation of the constraints can be done in a closed way, hence the algebra of constraints for this model is consistent. The model has an extra, odd, scalar mode whose decoupling limit can be seen
Rachid Ouyed, Mathew Kostka, Nico Koning, Denis Leahy
The extremely luminous supernova 2006gy (SN 2006gy) is among the most energetic ever observed. The peak brightness was 100 times that of a typical supernova and it spent an unheard of 250 days at magnitude -19 or brighter. Efforts to describe SN 2006gy have pushed the boundaries of current supernova theory. In this work we aspire to simultaneously reproduce
C. Hernández-Mena, L. Benet
In this paper, we modify Laskar's simplified model of planetary evolution and accretion [J. Laskar, Phys. Rev. Lett, vol 84, p 3240 (2000)] to account for the full conservation of the total angular momentum of the system, and extend it to incorporate an accretion probability that depends on the mass and relative velocity of the colliding particles. We pr
Julio Guerrero, Francisco F. López-Ruiz, Victor Aldaya, Francisco Cossio
Different families of states, which are solutions of the time-dependent free Schrödinger equation, are imported from the harmonic oscillator using the Quantum Arnold Transformation introduced in a previous paper. Among them, infinite series of states are given that are normalizable, expand the whole space of solutions, are spatially multi-localized and are e
A. S. Cornell, Lu-Xin Liu
The evolution of the Cabibbo-Kobayashi-Maskawa matrix and the quark Yukawa couplings is performed for the one-loop renormalization group equations in the universal extra dimension model. It is found that the evolution of mixing angles and the CP violation measure J may rapidly vary in the presence of the Kaluza-Klein modes, and this variation becomes dramati
Victor Aldaya, Francisco Cossio, Julio Guerrero, Francisco F. Lopez-Ruiz
By a quantum version of the Arnold transformation of classical mechanics, all quantum dynamical systems whose classical equations of motion are non-homogeneous linear second-order ordinary differential equations, including systems with friction linear in velocity, can be related to the quantum free-particle dynamical system. This transformation provides a ba
F. S. Bemfica
This paper is intended to study diffeomorphism invariance and diffeomorphism generation in the modified theory of gravity proposed by Horava. Firstly, we demonstrate that the theory does not lose diffeomorphism invariance due to the parameter $λ$, as it was previously believed. However, we show that the presence of terms containing the Levi-Civita symbol in
Aron C. Wall
The generalized second law can be used to prove a singularity theorem, by generalizing the notion of a trapped surface to quantum situations. Like Penrose's original singularity theorem, it implies that spacetime is null geodesically incomplete inside black holes, and to the past of spatially infinite Friedmann--Robertson--Walker cosmologies. If space is
Fang Chen, Keshav Dasgupta, Paul Franche, Radu Tatar
The question of what happens when the heterotic SO(32) instanton becomes small was answered sometime back by Witten. The heterotic theory develops an enhanced Sp(2k) gauge symmetry for k small instantons, besides the allowed SO(32) gauge symmetry. An interesting question now is to ask what happens when we take the large k limit. In this paper we argue that i
Ching-Yi Lai, Todd A. Brun, Mark M. Wilde
The dual of an entanglement-assisted quantum error-correcting (EAQEC) code is the code resulting from exchanging the original code's information qubits with its ebits. To introduce this notion, we show how entanglement-assisted (EA) repetition codes and accumulator codes are dual to each other, much like their classical counterparts, and we give an expli
Jiangang Hao, Timothy A. McKay, Benjamin P. Koester, Eli S. Rykoff
We present a large catalog of optically selected galaxy clusters from the application of a new Gaussian Mixture Brightest Cluster Galaxy (GMBCG) algorithm to SDSS Data Release 7 data. The algorithm detects clusters by identifying the red sequence plus Brightest Cluster Galaxy (BCG) feature, which is unique for galaxy clusters and does not exist among field g
The Spatial Clustering of ROSAT All-Sky Survey AGNs II. Halo Occupation Distribution Modeling of the Cross Correlation Function
astro-ph.COTakamitsu Miyaji, Mirko Krumpe, Alison L. Coil, Hector Aceves
This is the second paper of a series that reports on our investigation of the clustering properties of AGNs in the ROSAT All-Sky Survey (RASS) through cross-correlation functions (CCFs) with Sloan Digital Sky Survey (SDSS) galaxies. In this paper, we apply the Halo Occupation Distribution (HOD) model to the CCFs between the RASS Broad-line AGNs with SDSS Lum
Razieh Emami, Hassan Firouzjahi, S. M. Sadegh Movahed, Moslem Zarei
We consider models of inflation with U(1) gauge fields and charged scalar fields including symmetry breaking potential, chaotic inflation and hybrid inflation. We show that there exist attractor solutions where the anisotropies produced during inflation becomes comparable to the slow-roll parameters. In the models where the inflaton field is a charged scalar
Tigran Tonoyan
In this paper the problem of scheduling with power control in wireless networks is studied: given a set of communication requests, one needs to assign the powers of the network nodes, and schedule the transmissions so that they can be done in a minimum time, taking into account the signal interference of concurrently transmitting nodes. The signal interferen
Chenxu He, Peter Petersen, William Wylie
In this paper we take the perspective introduced by Case-Shu-Wei of studying warped product Einstein metrics through the equation for the Ricci curvature of the base space. They call this equation on the base the $m$-Quasi Einstein equation, but we will also call it the $(λ,n+m)$-Einstein equation. In this paper we extend the work of Case-Shu-Wei and some ea
Jorge Bruno, Edwin O'Shea
Motivated by an error-correcting generalization of Bachet's weights problem, we define and classify relaxed complete partitions. We show that these partitions enjoy a succinct description in terms of lattice points in polyhedra, with adjustments in the error being commensurate with translations in the defining hyperplanes. Our main result is that the enu
K. Dosen, Z. Petric
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in this family of polytopes are, on the one end, simplices, and, on the other end, permutohedra. In between, as notable mem