Skip to content

December 2010 arXiv papers — page 15

Showing 1,4011,500 of 6,281 papers

  1. A. Wolos, Z. Wilamowski, M. Piersa, W. Strupinski

    We investigate properties of doping-induced metal-insulator transition in GaN:Si by means of electron spin resonance and Hall effect. While increasing the doping concentration, Si-related bands are formed below the bottom of the GaN conduction band. The D0 band of single-occupied Si donor sites is centered 27 meV below the bottom of the GaN conduction band,

  2. Antonio Lanteri, Raquel Mallavibarrena, Ragni Piene

    Let $X\subset \mathbb P^N$ be a scroll over a $m$-dimensional variety $Y$. We find the locally free sheaves on $X$ governing the osculating behavior of $X$, and, under certain dimension assumptions, we compute the cohomology class and the degree of the inflectional locus of $X$. The case $m=1$ was treated in \cite{LMP}. Here we treat the case $m\ge 2$, which

  3. J. Eisert, T. Prosen

    We discuss a notion of quantum critical exponents in open quantum many-body systems driven by quantum noise. We show that in translationally invariant quantum lattice models undergoing quasi-local Markovian dissipative processes, mixed states emerge as stationary points that show scaling laws for the divergence of correlation lengths giving rise to well-defi

  4. Amin Zia, Alan M. Moses

    Detection of false-positive motifs is one of the main causes of low performance in motif finding methods. It is generally assumed that false-positives are mostly due to algorithmic weakness of motif-finders. Here, however, we derive the theoretical dependence of false positives on dataset size and find that false positives can arise as a result of large data

  5. Sören Christensen

    We investigate a connection between generalized Fibonacci numbers and renewal theory for stochastic processes. Using Blackwell's renewal theorem we find an approximation to the generalized Fibonacci numbers. With the help of error estimates in the renewal theorem we figure out an explicit representation.

  6. Pasquale Blasi

    We review the main observational and theoretical facts about acceleration of Galactic cosmic rays in supernova remnants, discussing the arguments in favor and against a connection between cosmic rays and supernova remnants, the so-called supernova remnant paradigm for the origin of Galactic cosmic rays. Recent developments in the modeling of the mechanism of

  7. P. Butera, M. Pernici

    We have substantially extended the high-temperature and low-magnetic-field (and the related low-temperature and high-magnetic-field) bivariate expansions of the free energy for the conventional three-dimensional Ising model and for a variety of other spin systems generally assumed to belong to the same critical universality class. In particular, we have also

  8. G. G. Bunatian, V. G. Nikolenko, A. B. Popov

    We treat the bremsstrahlung induced by initial electron beam in converter, and the production of a desirable radio-isotope due to the photo-nuclear reaction caused by this bremsstrahlung. By way of illustration, the yield of a number of some, the most in practice applicable, radio-isotopes is evaluated. The acquired findings persuade us that usage of modern

  9. Walter Potzel

    Basic questions concerning phononless resonant capture of monoenergetic electron antineutrinos (Mössbauer antineutrinos) emitted in bound-state beta-decay in the 3H - 3He system are discussed. It is shown that lattice expansion and contraction after the transformation of the nucleus will drastically reduce the probability of phononless transitions and that v

  10. A. Wolos, Z. Wilamowski, C. Skierbiszewski, A. Drabinska

    We discuss problem of Rashba field in bulk GaN and in GaN/AlGaN two-dimensional electron gas, basing on results of X-band microwave resonance experiments. We point at large difference in spin-orbit coupling between bulk material and heterostructures. We observe coupled plasmon-cyclotron resonance from the two-dimensional electron gas, but no spin resonance,

  11. Richard Delanghe, Roman Lavicka, Vladimir Soucek

    The main aim of this paper is to construct explicitly orthogonal bases for the spaces of k-homogeneous polynomial solutions of the Hodge-de Rham system in the Euclidean space R^m which take values in the space of s-vectors. Actually, we describe even the so-called Gelfand-Tsetlin bases for such spaces in terms of Gegenbauer polynomials. As an application, we

  12. Xu Zhang

    It is well known that for $a>4$, the dynamical behaviors of the logistic map $f_a(x)=ax(1-x)$ on the maximal invariant compact set are "simple" which could be clearly explained by the theories of hyperbolic dynamics and symbolic dynamics. Is it possible that similar phenomena could be observed in general real polynomial maps? In this paper, we study

  13. Richard Delanghe, Roman Lavicka, Vladimir Soucek

    The classical Fischer decomposition of spinor-valued polynomials is a key result on solutions of the Dirac equation in the Euclidean space R^m. As is well-known, it can be understood as an irreducible decomposition with respect to the so-called L-action of the Pin group Pin(m). But, on Clifford algebra valued polynomials, we can consider also the H-action of

  14. Claudio Fontanari

    We speculate about an algebro-geometric proof of Harer's theorem on the rational Picard group of the moduli space of smooth complex curves. In particular, we refine the approach of Diaz and Edidin involving the Hurwitz space which parameterizes smooth covers of the projective line.

  15. Iván Durán, Diego Pavón

    We consider a holographic cosmological model in which the infrared cutoff is fixed by the Ricci's length and dark matter and dark energy do not evolve separately but interact non-gravitationally with one another. This substantially alleviates the cosmic coincidence problem as the ratio between both components remains finite throughout the expansion. We c

  16. Malgorzata Worek

    A very brief status of next-to-leading order QCD calculations is given. As an example the next-to-leading order QCD calculations to the pp -> ttjj processes at the CERN Large Hardon Collider are presented. Results for integrated and differential cross sections are shown. They have been obtained in the framework of the HELAC-NLO system.

  17. Candido Martin Gonzalez

    In this note we study associative dialgebras proving that the most interesting such structures arise precisely when the algebra is not semiprime. In fact the presence of some "perfection" property (simpleness, primitiveness, primeness or semiprimeness) imply that the dialgebra comes from an associative algebra with both products identified. We also d

  18. L. Samaj, E. Trizac

    We study equilibrium statistical mechanics of classical point counter-ions, formulated on 2D Euclidean space with logarithmic Coulomb interactions (infinite number of particles) or on the cylinder surface (finite particle numbers), in the vicinity of a single uniformly charged line (one single double-layer), or between two such lines (interacting double-laye

  19. Takahito Kashiwabara

    A finite element approximation of the Stokes equations under a certain nonlinear boundary condition, namely, the slip or leak boundary condition of friction type, is considered. We propose an approximate problem formulated by a variational inequality, prove an existence and uniqueness result, present an error estimate, and discuss a numerical realization usi

  20. Yakov Karandashev, Boris Kryzhanovsky, Leonid Litinskii

    The local minima of a quadratic functional depending on binary variables are discussed. An arbitrary connection matrix can be presented in the form of quasi-Hebbian expansion where each pattern is supplied with its own individual weight. For such matrices statistical physics methods allow one to derive an equation describing local minima of the functional. A

  21. J. Schnack

    In this Letter we report how thermodynamic properties of a giant frustrated magnetic Keplerate molecule of N=30 spins s=1/2 can be evaluated with the help of the highly accurate finite-temperature Lanczos method. The comparison to experimental data shows excellent agreement. Since this molecule is structurally related to the archetypical kagome lattice antif

  22. G. Marchiori

    The most recent determinations of the CKM angle gamma/phi3 by the BABAR Collaboration, using time-integrated observables measured in charged B --> D(*)K(*) decays, are presented.The measurements have been performed on the full sample of 468 million BBbar pairs collected by the BABAR detector at the SLAC PEP-II asymmetric-energy B factory in the years 1999-20

  23. E. De Lauro, S. De Martino, S. De Siena, V. Giorno

    This work faces the problem of the origin of the logarithmic character of the Gompertzian growth. We show that the macroscopic, deterministic Gompertz equation describes the evolution from the initial state to the final stationary value of the median of a log-normally distributed, stochastic process. Moreover, by exploiting a stochastic variational principle

  24. D. N. Voskresensky, V. V. Skokov

    Effects of viscosity and thermal conductivity on the dynamics of first-order phase transitions are studied. The nuclear gas-liquid and hadron-quark transitions in heavy-ion collisions are considered. We demonstrate that at non-zero thermal conductivity, $κ\neq 0$, onset of spinodal instabilities occurs on an isothermal spinodal line, whereas for $κ=0$ instab

  25. S. De Martino, S. De Siena

    The Gompertz model describes the growth in time of the size of significant quantities associated to a large number of systems, taking into account nonlinearity features by a linear equation satisfied by a nonlinear function of the size. Following this scheme, we introduce a class of hierarchical maps which describe discrete sequences of intermediate characte

  26. Ta-Sheng Tai

    We show how SU(2) $N_f=4$ Seiberg-Witten prepotentials are derived form $\hat{\mathfrak{sl}}_{2,k}$ ($k\to2$) four-point conformal blocks via considering Langlands duality.

  27. Antonina N. Fedorova, Michael G. Zeitlin

    We present a family of methods, which can describe behaviour of quantum ensembles and demonstrate the creation of nontrivial (meta) stable states (patterns), localized, chaotic, entangled or decoherent from basic localized modes in collective models arising from the quantum hierarchy of Wigner-von Neumann-Moyal equations.

  28. Thomas Neff, Hans Feldmeier, Karlheinz Langanke

    We present here a first application of the Fermionic Molecular Dynamics (FMD) approach to low-energy nuclear reactions, namely the $^3$He($α$,$γ$)$^7$Be radiative capture reaction. We divide the Hilbert space into an external region where the system is described as $^3$He and $^4$He clusters interacting only via the Coulomb interaction and an internal region

  29. S. M. Bilenky

    A brief review of the status of neutrino oscillations is given. The phenomenology of neutrino mixing and the standard seesaw mechanism of neutrino mass generation is discussed. Different approaches to neutrino oscillations are considered and compared. The role of the Heisenberg space-momentum uncertainty relation and the Mandelstam-Tamm time-energy uncertain

  30. Antonina N. Fedorova, Michael G. Zeitlin

    The methods developed by authors are applied to some reductions of BBGKY hierarchy, namely, various examples of Vlasov-like systems which are important both for fusion modeling and for particular physical problems related to plasma/beam physics. We mostly concentrate on phenomena of localization and pattern formation.

  31. Miguel Brozos-Vázquez, Eduardo García-Río, Peter Gilkey, Luis Hervella

    The covariant derivative of the Kähler form of an almost pseudo-Hermitian or of an almost para-Hermitian manifold satisfies certain algebraic relations. We show, conversely, that any 3-tensor which satisfies these algebraic relations can be realized geometrically.

  32. Jianping Dong

    The many-body space fractional quantum system is studied using the density matrix method. We give the new results of the Thomas-Fermi model, and obtain the quantum pressure of the free electron gas. We also show the validity of the Hohenberg-Kohn theory in the space fractional quantum mechanics and generalize the density functional theory to the fractional q

  33. J. R. Forshaw, R. Sandapen

    Diffractive rho meson production has been identified as one of the important processes where saturation can be probed at a future Electron-Ion Collider (EIC). A source of uncertainty in making predictions for this process lies within the assumed form of the meson light-cone wavefunction. We report here the results of reference [1] where a Regge-inspired dipo

  34. Aurélien Lherbier, Simon M. -M. Dubois, Xavier Declerck, Stephan Roche

    Quantum transport properties of disordered graphene with structural defects (Stone-Wales and divacancies) are investigated using a realistic π-π* tight-binding model elaborated from ab initio calculations. Mean free paths and semiclassical conductivities are then computed as a function of the nature and density of defects (using an order-N real-space Kubo-Gr

  35. Marian Nita, D. C. Marinescu, Andrei Manolescu, Vidar Gudmundsson

    We demonstrate the theoretical possibility of obtaining a pure spin current in a 1D ring with spin-orbit interaction by irradiation with a non-adiabatic, two-component terahertz laser pulse, whose spatial asymmetry is reflected by an internal dephasing angle $ϕ$. The stationary solutions of the equation of motion for the density operator are obtained for a s

  36. Volker Mayer, Lasse Rempe

    In this note, we give an elementary proof of the absence of invariant line fields on the conical Julia set of an analytic function of one variable. This proof applies not only to rational as well as transcendental meromorphic functions (where it was previously known), but even to the extremely general setting of Ahlfors islands maps as defined by Adam Epstei

  37. Yoshikazu Mizuguchi, Hiroyuki Takeya, Yasuna Kawasaki, Toshinori Ozaki

    We synthesized the new Fe-based superconductor K0.8Fe2Se2 single crystals. The obtained single crystal exhibited a sharp superconducting transition, and the onset and zero-resistivity temperature was estimated to be 33 and 31.8 K, respectively. A high upper critical field of 192 T was obtained. Anisotropy of superconductivity of K0.8Fe2Se2 was ~3.6. Both the

  38. Idun Reiten

    Cluster algebras were introduced by Fomin-Zelevinsky in 2002 in order to give a combinatorial framework for phenomena occurring in the context of algebraic groups. Cluster algebras also have links to a wide range of other subjects, including the representation theory of finite dimensional algebras, as first discovered by Marsh- Reineke-Zelevinsky. Modifying

  39. Cheng-Han Chung, Michael Krämer, Tania Robens

    We propose a new subtraction scheme for next-to-leading order QCD calculations. Our scheme is based on the momentum mapping and on the splitting functions derived in the context of an improved parton shower formulation. Compared to standard schemes, the new scheme features a significantly smaller number of subtraction terms and facilitates the matching of NL

  40. Cesar Asensio, Antonio Segui

    The Bousso-Polchinski (BP) Landscape is a proposal for solving the Cosmological Constant Problem. The solution requires counting the states in a very thin shell in flux space. We find an exact formula for this counting problem which has two simple asymptotic regimes, one of them being the method of counting low $Λ$ states given originally by Bousso and Polch

  41. N. Boon, R. van Roij

    A huge amount of entropy is produced at places where fresh water and seawater mix, for example at river mouths. This mixing process is a potentially enormous source of sustainable energy, provided it is harnessed properly, for instance by a cyclic charging and discharging process of porous electrodes immersed in salt and fresh water, respectively [D. Brogiol

  42. Kochetkova Nina Alexandrovna

    This article examines the experience of distance education technologies in Podolsky municipal district, Moscow region.

  43. I. F. Mirabel

    Significant historic cosmic evolution for the formation rate of stellar black holes is inferred from current theoretical models of the evolution of massive stars, the multiple observations of compact stellar remnants in the near and distant universe, and the cosmic chemical evolution. The mean mass of stellar black holes, the fraction of black holes/neutron

  44. Oleg Borisenko, Roberto Fiore, Mario Gravina, Alessandro Papa

    Critical properties of the compact three-dimensional U(1) lattice gauge theory are explored at finite temperatures. The critical point of the deconfinement phase transition, critical indices and the string tension are studied numerically on lattices with temporal extension N_t = 8 and spatial extension ranging from L = 32 to L = 256. The critical indices, wh

  45. Ian Harry, Stephen Fairhurst

    We present the details of a method for conducting a targeted, coherent search for compact binary coalescences. The search is tailored to be used as a followup to electromagnetic transients such as Gamma Ray Bursts. We derive the coherent search statistic for Gaussian detector noise and discuss the benefits of a coherent, multi-detector search over coincidenc

  46. Loukas Georgiadis, Stavros D. Nikolopoulos, Leonidas Palios

    For a given collection G of directed graphs we define the join-reachability graph of G, denoted by J(G), as the directed graph that, for any pair of vertices a and b, contains a path from a to b if and only if such a path exists in all graphs of G. Our goal is to compute an efficient representation of J(G). In particular, we consider two versions of this pro

  47. A. Severing, F. Givord, J. -X. Boucherle, T. Willers

    The magnetic form factor of YbInNi4 has been determined via the flipping ratios R with polarized neutron diffraction and the scattering function S(Q,w) was measured in an inelastic neutron scattering experiment. Both experiments were performed with the aim to determine the crystal-field scheme. The magnetic form factor clearly excludes the possibility of a \

  48. P. Bose, P. Zahn, I. Mertig, J. Henk

    We propose to correlate transmittance maps and spectral-density maps of planar junctions, in order to analyze quantitatively and in detail spin-dependent transport calculations. Since spectral-density maps can be resolved with respect to atom, angular momentum, and spin, the resulting correlation coefficients reveal unequivocally, e.g., which layers or which

  49. X. F. Fan, Jer-lai Kuo, Z. X. Shen

    BN domains are easy to form in the basal plane of graphene due to phase separation. With first-principles DFT calculations, it is demonstrated theoretically that the band gap of graphene can be opened effectively around K (or K') points by doping the small BN domains. It is also found that the random doping with B or N is possible to open a small gap in

  50. Anne-Marie Broomhall, Stephen T. Fletcher, David Salabert, Sarbani Basu

    In addition to the well-known 11-year solar cycle, the Sun's magnetic activity also shows significant variation on shorter time scales, e.g. between one and two years. We observe a quasi-biennial (2-year) signal in the solar p-mode oscillation frequencies, which are sensitive probes of the solar interior. The signal is visible in Sun-as-a-star data obser

  51. Mari Einaga, Ayako Ohmura, Atsuko Nakayama, Fumihiro Ishikawa

    The pressure-induced phase transition of bismuth telluride, Bi2Te3, has been studied by synchrotron x-ray diffraction measurements at room temperature using a diamond-anvil cell (DAC) with loading pressures up to 29.8 GPa. We found a high-pressure body-centered cubic (bcc) phase in Bi2Te3 at 25.2 GPa, which is denoted as phase IV, and this phase apperars abo

  52. A. F Marino, S. Villanova, A. P. Milone, G. Piotto

    The horizontal branch (HB) morphology of globular clusters (GC) is mainly governed by metallicity. The second parameter problem, well known since the 60's, states that metallicity alone is not enough to describe the observed HB morphology of many GCs. Despite many efforts to resolve this issue, the second parameter phenomenon still remains without a sati

  53. Venkat Anantharam, Francois Baccelli

    This paper studies the Shannon regime for the random displacement of stationary point processes. Let each point of some initial stationary point process in $\R^n$ give rise to one daughter point, the location of which is obtained by adding a random vector to the coordinates of the mother point, with all displacement vectors independently and identically dist

  54. Dennis Frisch

    We study the problem to extend an immersed circle f in the 2-dimensional sphere to an immersion of the disc. We analyze existence and uniqueness for this problems in terms of the combinatorial structure of a word assigned to f. Our techniques are based on ideas of Blank who studied the extension problem in case of a planar target.

  55. K. Fialkowski, R. Wit

    The ALICE and CMS data on the multiplicity distributions are compared with the lower energy data and with the results from the 8.142 version of the PYTHIA MC event generator with two tunings. The ALICE data for moments are used to calculate the factorial cumulants. It is suggested that the data on moments or cumulants are well suited to specify the optimal t

  56. Rakesh S. Singh, Mantu Santra, Biman Bagchi

    We find an interesting interplay between the range of the attractive part of the interaction potential and the extent of metastability (as measured by supersaturation) in gas-liquid nucleation. We explore and exploit this interplay to obtain new insight into nucleation phenomena. Just like its dependence on supersaturation (S), the free energy barrier of nuc

  57. Rodrigo de Abreu, Vasco Guerra

    A recent paper by Gislason published in Am. J. Phys. deals with the celebrated example of the so-called "adiabatic piston", a system involving two ideal gases contained in a horizontal cylinder and separated by an insulating piston that moves without friction. While the analysis presented in that paper is rather comprehensive, very interesting and us

  58. A. Arcones

    The specific mechanism and astrophysical site for the production of half of the elements heavier than iron via rapid neutron capture (r-process) remains to be found. In order to reproduce the abundances of the solar system and of the old halo stars, at least two components are required: the heavy r-process nuclei (A>130) and the weak r-process which correspo

  59. Michael C. Birse

    I give an outline of recent applications of the renormalisation group to effective theories of nuclear forces, focussing on the use of a Wilsonian approach to analyse systems of two or three nonrelativistic particles.

  60. Martin Treiber, Arne Kesting

    We present the interactive Java-based open-source traffic simulator available at www.traffic-simulation.de. In contrast to most closed-source commercial simulators, the focus is on investigating fundamental issues of traffic dynamics rather than simulating specific road networks. This includes testing theories for the spatiotemporal evolution of traffic jams

  61. A. Faggionato, F. Martinelli, C. Roberto, C. Toninelli

    We rigorously analyze the low temperature non-equilibrium dynamics of the East model, a special example of a one dimensional oriented kinetically constrained particle model, when the initial distribution is different from the reversible one and for times much smaller than the global relaxation time. This setting has been intensively studied in the physics li

  62. Arne Kesting, Martin Treiber, Dirk Helbing

    Inter-vehicle communication (IVC) enables vehicles to exchange messages within a limited broadcast range and thus self-organize into dynamical vehicular ad hoc networks. For the foreseeable future, however, a direct connectivity between equipped vehicles in one direction is rarely possible. We therefore investigate an alternative mode in which messages are s

  63. P. Cea, L. Cosmai, M. D'Elia, A. Papa

    We determine the pseudo-critical couplings at imaginary chemical potentials by high-statistics Monte Carlo simulations of QCD with four degenerate quarks at non-zero temperature and baryon density by the method of analytic continuationan. We reveal deviations from the simple quadratic dependence on the chemical potential visible in earlier works on the same

  64. Xiao-Song Yang

    In this paper targetability of chaotic sets with small controls is discussed by virtue of some results of geometric control theory. It is proved that given a chaotic set Λ, it is possible to steer a orbit in to every final state in some neighborhood of the chaotic set by suitable small perturbations to the parameters of the system under the Lie rank conditio

  65. J. I. Iglesias Curto, J. M. Muñoz Porras, F. J. Plaza Martín, G Serrano Sotelo

    We define a new class of Convolutional Codes in terms of fibrations of algebraic varieties generalizaing our previous constructions of Convolutional Goppa Codes. Using this general construction we can give several examples of Maximum Distance Separable (MDS) Convolutional Codes.

  66. Jingjing Liu, Zhaoyang Yin

    In this paper, we study the Cauchy problem of a two-component b-family equation. We first establish the local well-posedness for a two-component b-family equation by Kato's semigroup theory. Then, we derive precise blow-up scenarios for strong solutions to the equation. Moreover, we present several blow-up results for strong solutions to the equation.

  67. Aaron Stump, Vilhelm Sjöberg, Stephanie Weirich

    This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then a

  68. Claudio Sacerdoti Coen, Silvio Valentini

    It is well known that general recursion cannot be expressed within Martin-Loef's type theory and various approaches have been proposed to overcome this problem still maintaining the termination of the computation of the typable terms. In this work we propose a new approach to this problem based on the use of inductively generated formal topologies.

  69. Nils Anders Danielsson

    Some total languages, like Agda and Coq, allow the use of guarded corecursion to construct infinite values and proofs. Guarded corecursion is a form of recursion in which arbitrary recursive calls are allowed, as long as they are guarded by a coinductive constructor. Guardedness ensures that programs are productive, i.e. that every finite prefix of an infini

  70. Issam Maamria, Michael Butler

    Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving between deduction and computation (i.e., rewriting) steps. If the logic of reasoning supports partial functions, it is ne

  71. Andreas Abel

    Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track structural descent and guardedness in the type system to make termination checking robust and suitable for strong abstractions like higher-order functions and polymorphism. To study

  72. Alexander Krauss

    Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative programming extension, which results in a convenient definition principle for imperative programs, which wer

  73. Paliath Narendran, Andrew Marshall, Bibhu Mahapatra

    We prove that the Tiden and Arnborg algorithm for equational unification modulo one-sided distributivity is not polynomial time bounded as previously thought. A set of counterexamples is developed that demonstrates that the algorithm goes through exponentially many steps.

  74. Conrad Rau, Manfred Schmidt-Schauß

    Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a context lemma with the computation of overlaps between program transformations and the reduction rules, a

  75. Sunil Kothari, James Caldwell

    We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of

  76. Deepak Kapur, Andrew Marshall, Paliath Narendran

    Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories,

  77. Christian Urban

    Nominal unification calculates substitutions that make terms involving binders equal modulo alpha-equivalence. Although nominal unification can be seen as equivalent to Miller's higher-order pattern unification, it has properties, such as the use of first-order terms with names (as opposed to alpha-equivalence classes) and that no new names need to be ge

  78. Hossein Jowhari, Mert Sağlam, Gábor Tardos

    In this paper, we present near-optimal space bounds for Lp-samplers. Given a stream of updates (additions and subtraction) to the coordinates of an underlying vector x \in R^n, a perfect Lp sampler outputs the i-th coordinate with probability |x_i|^p/||x||_p^p. In SODA 2010, Monemizadeh and Woodruff showed polylog space upper bounds for approximate Lp-sample

  79. Daisuke Takahashi, Junta Matsukidaira, Hiroaki Hara, Bao-Feng Feng

    We concern with a special class of binary cellular automata, i.e., the so-called particle cellular automata (PCA) in the present paper. We first propose max-plus expressions to PCA of 4 neighbors. Then, by utilizing basic operations of the max-plus algebra and appropriate transformations, PCA4-1, 4-2 and 4-3 are solved exactly and their general solutions are

  80. David Langlois, Tomo Takahashi

    We study non-Gaussianity generated by adiabatic and isocurvature primordial perturbations. We first obtain, in a very general setting, the non-linear perturbations, up to third order, for an arbitrary number of cosmological fluids, going through one or several decay transitions. We then apply this formalism to the mixed curvaton and inflaton model, allowing

  81. Jian Cui, Jun-Peng Cao, Heng Fan

    We investigate crossing behavior of ground state entanglement Renyi entropies of quantum critical systems. We find a novel property that the ground state in one quantum phase cannot be locally transferred to that of another phase, that means a global transformation is necessary. This also provides a clear evidence to confirm the long standing expectation tha

  82. A. Tanner, R. White, J. Bailey, T. Barman

    With an emphasis in detecting Earth-like planets set forth by the 2010 Decadal Survey and in searching for planets around M dwarfs set forth by the 2008 Exoplanet Task Force, radial velocity surveys with infrared echelle spectrometers will have a significant impact on future exoplanet studies. Here, we present the results of an infrared radial velocity surve

  83. Deniz Sarioz

    We consider two types of geometric graphs on point sets on the plane based on a plane set C: one obtained by translates of C, another by positively scaled translates (homothets) of C. For compact and convex C, graphs defined by scaled translates of C, i.e., Delaunay graphs based on C, are known to be plane graphs. We show that as long as C is convex, both ty

  84. Sharon C. Glotzer, Aaron S. Keys

    What do you get when you cross a crystal with a quasicrystal? The surprising answer stretches from Fibonacci to Kepler, who nearly 400 years ago showed how the ancient tiles of Archimedes form periodic patterns.

  85. Sanghoon Baek

    Let $p$ be a prime integer, $1\leq s\leq r$ integers, $F$ a field of characteristic $p$. Let $\cat{Dec}_{p^r}$ denote the class of the tensor product of $r$ $p$-symbols and $\cat{Alg}_{p^r,p^s}$ denote the class of central simple algebras of degree $p^r$ and exponent dividing $p^s$. For any integers $s<r$, we find a lower bound for the essential $p$-dimensio

  86. Erjia Yan, Ying Ding

    We propose using the technique of weighted citation to measure an article&#39;s prestige. The technique allocates a different weight to each reference by taking into account the impact of citing journals and citation time intervals. Weighted citation captures prestige, whereas citation counts capture popularity. We compare the value variances for popularity

  87. Ying Ding, Elin K. Jacob, Michael Fried, Ioan Toma

    Data integration and mediation have become central concerns of information technology over the past few decades. With the advent of the Web and the rapid increases in the amount of data and the number of Web documents and users, researchers have focused on enhancing the interoperability of data through the development of metadata schemes. Other researchers h

  88. Xiaoxin Zhang, Liang Chen, Jianwei Huang, Minghua Chen

    Orthogonal Frequency Division Multiplexing (OFDM) is the key component of many emerging broadband wireless access standards. The resource allocation in OFDM uplink, however, is challenging due to heterogeneity of users&#39; Quality of Service requirements, channel conditions, and individual resource constraints. We formulate the resource allocation problem a

  89. Ying Ding, Erjia Yan, Arthur Frazho, James Caverlee

    Google&#39;s PageRank has created a new synergy to information retrieval for a better ranking of Web pages. It ranks documents depending on the topology of the graphs and the weights of the nodes. PageRank has significantly advanced the field of information retrieval and keeps Google ahead of competitors in the search engine market. It has been deployed in b

  90. Ying Ding, Blaise Cronin

    Citation analysis does not generally take the quality of citations into account: all citations are weighted equally irrespective of source. However, a scholar may be highly cited but not highly regarded: popularity and prestige are not identical measures of esteem. In this study we define popularity as the number of times an author is cited and prestige as t

  91. Erjia Yan, Ying Ding

    This article provides an alternative perspective for measuring author impact by applying PageRank algorithm to a coauthorship network. A weighted PageRank algorithm considering citation and coauthorship network topology is proposed. We test this algorithm under different damping factors by evaluating author impact in the informetrics research community. In a

  92. Amir H. Fariborz, Renata Jora, Joseph Schechter, M. Naeem Shahid

    It has become clearer recently that the regular pattern of three flavor nonets describing the low spin meson multiplets seems to require some modification for the case of the spin 0 scalar mesons. One picture which has had some success, treats the scalars in a chiral Lagrangian framework and considers them to populate two nonets. These are, in turn, taken to

  93. Hua-Tang Tan, Wei-Min Zhang

    In this paper, the exact dynamics of open quantum systems in the presence of initial system-reservoir correlations is investigated for a photonic cavity system coupled to a general non-Markovian reservoir. The exact time-convolutionless master equation incorporating with initial system-reservoir correlations is obtained. The non-Markovian dynamics of the res

  94. Chenglong Jia, Jamal Berakdar

    We investigate the thermoelectric properties of electrons at the interface of oxide heterostructure and in the presence of a multiferroic oxide with spiral spin order. We find there is no (spin) Hall current generated by the temperature gradient. A Seebeck effect is however present. Due to the magnetoelectric coupling, the charge and thermal conductivities a

  95. David J. Schwab, Ania Baetica, Pankaj Mehta

    Many biological and physical systems exhibit population-density dependent transitions to synchronized oscillations in a process often termed &#34;dynamical quorum sensing&#34;. Synchronization frequently arises through chemical communication via signaling molecules distributed through an external media. We study a simple theoretical model for dynamical quoru

  96. Erjia Yan, Ying Ding

    Many studies on coauthorship networks focus on network topology and network statistical mechanics. This article takes a different approach by studying micro-level network properties, with the aim to apply centrality measures to impact analysis. Using coauthorship data from 16 journals in the field of library and information science (LIS) with a time span of

  97. Craig M. Nolen, Giovanni Denina, Desalegne Teweldebrhan, Bir Bhanu

    Practical applications of graphene require a reliable high-throughput method of graphene identification and quality control, which can be used for large-scale substrates and wafers. We have proposed and experimentally tested a fast and fully automated approach for determining the number of atomic planes in graphene samples. The procedure allows for in situ i

  98. Ken-ichi Tadaki, Tadayuki Kodama, Yusei Koyama, Masao Hayashi

    We present a pilot narrow-band survey of H-alpha emitters at z=2.2 in the Great Observatories Origins Deep Survey North (GOODS-N) field with MOIRCS instrument on the Subaru telescope. The survey reached a 3 sigma limiting magnitude of 23.6 (NB209) which corresponds to a 3 sigma limiting line flux of 2.5 x 10^-17 erg s^-1 cm^-2 over a 56 arcmnin^2 contiguous

  99. J. H. Debes, D. W. Hoard, M. Kilic, S. Wachter

    With the launch of the Wide-Field Infrared Survey Explorer (WISE), a new era of detecting planetary debris around white dwarfs has begun with the WISE InfraRed Excesses around Degenerates (WIRED) Survey. The WIRED Survey will be sensitive to substellar objects and dusty debris around white dwarfs out to distances exceeding 100 pc, well beyond the completenes

  100. Xueliang Li, Yongtang Shi

    A conjecture of AutoGraphiX on the relation between the Randić index $R$ and the algebraic connectivity $a$ of a connected graph $G$ is: $$\frac R a\leq (\frac{n-3+2\sqrt{2}}{2})/(2(1- \cos {\fracπ{n}})) $$ with equality if and only if $G$ is $P_n$, which was proposed by Aouchiche and Hansen [M. Aouchiche and P. Hansen, A survey of automated conjectures in s