Skip to content

June 2013 arXiv papers — page 5

Showing 401–500 of 7,155 papers

  1. Natalia Tronko, Alain Brizard

    The purpose of the current work is adapting the results of the Noether method derivation of momentum transport equation for the gyrokinetic Vlasov-Poisson system to numerical implementations. In particular, we are considering the delta-f truncated Gyrokinetic Vlasov-Poisson system and we derive the exact momentum conservation laws via the Noether method.

  2. N. La Palombara, S. Mereghetti, A. Tiengo, P. Esposito

    We report on the results we obtained with XMM-Newton observations of HD49798 and BD+37 442, the only two sdO stars for which X-ray emission has been observed so far. HD is a single-lined spectroscopic binary with orbital period of 1.5 days. We could establish that its companion is a massive white dwarf with M = 1.28 Msun, which makes it a candidate type Ia s

  3. J. Tura, R. Augusiak, A. B. Sainz, T. Vértesi

    Bell inequalities define experimentally observable quantities to detect non-locality. In general, they involve correlation functions of all the parties. Unfortunately, these measurements are hard to implement for systems consisting of many constituents, where only few-body correlation functions are accessible. Here we demonstrate that higher-order correlatio

  4. Douglas J. Tobias, Abraham C. Stern, Marcel D. Baer, Yan Levin

    Chemistry occurring at or near the surfaces of aqueous droplets and thin films in the atmosphere influences air quality and climate. Molecular dynamics simulations are becoming increasingly useful for gaining atomic-scale insight into the structure and reactivity of aqueous interfaces in the atmosphere. Here we review simulation studies of atmospherically re

  5. Marco Gaboardi

    In this tutorial I will present how a combination of linear and dependent type can be useful to describe different properties about higher order programs. Linear types have been proved particularly useful to express properties of functions; dependent types are useful to describe the behavior of the program in terms of its control flow. This two ideas fits to

  6. Glenn Wouda

    I present a model with two scalar doublets and a softly broken $\ztwo$ symmetry, where only one of the doublets gets a vacuum expectation value and couples to fermions at tree-level. The softly broken $\ztwo$ symmetry leads to interesting phenomenology such as mixing between the two doublets and a charged scalar H^\pm which can be light and dominantly decays

  7. Matteo Brunelli, Michele Fedrizzi

    Pairwise comparisons are a well-known method for the representation of the subjective preferences of a decision maker. Evaluating their inconsistency has been a widely studied and discussed topic and several indices have been proposed in the literature to perform this task. Since an acceptable level of consistency is closely related with the reliability of p

  8. Daniele Gaggero, Luca Maccione, Giuseppe Di Bernardo, Carmelo Evoli

    We present here a major upgrade of DRAGON, a numerical package that computes the propagation of a wide set of CR species from both astrophysical and exotic origin in the Galaxy in a wide energy range from tens of MeV to tens of TeV. DRAGON takes into account all relevant processes in particular diffusion, convection, reacceleration, fragmentation and energy

  9. Daniele Gaggero, Carmelo Evoli, Dario Grasso, Luca Maccione

    The Fermi-LAT collaboration recently confirmed a discrepancy between the observed longitudinal profile of gamma-ray diffuse emission from the Galaxy and that computed with numerical codes assuming that Cosmic Rays (CRs) are produced by Galactic supernova remnants; the accurate Fermi-LAT measurements make this anomaly hardly explainable in terms of convention

  10. Z. Kohley, J. F. Liang, D. Shapira, C. J. Gross

    The fusion cross sections of radioactive $^{134}$Te + $^{40}$Ca were measured at energies above and below the Coulomb barrier. The evaporation residues produced in the reaction were detected in a zero-degree ionization chamber providing high efficiency for inverse kinematics. Both coupled-channel calculations and comparison with similar Sn+Ca systems indicat

  11. K. Vida, L. Kriskovics, K. Oláh

    Long-term photometric measurements in a sample of ultrashort-period (P~0.5 days or less) single and binary stars of different interior structures are analysed. A loose correlation exists between the rotational rate and cycle lengths of active stars, regardless of their evolutionary state and the corresponding physical parameters. The shortest cycles are expe

  12. Dimitris Arabadjis, Fotios Giannopoulos, Constantin Papaodysseus, Solomon Zannos

    In this paper, a novel approach is introduced for classifying curves into proper families, according to their similarity. First, a mathematical quantity we call plane curvature is introduced and a number of propositions are stated and proved. Proper similarity measures of two curves are introduced and a subsequent statistical analysis is applied. First, the

  13. A. Kirk, I. T. Chapman, T. E. Evans, C. Ham

    All current estimations of the energy released by type I ELMs indicate that, in order to ensure an adequate lifetime of the divertor targets on ITER, a mechanism is required to decrease the amount of energy released by an ELM, or to eliminate ELMs altogether. One such amelioration mechanism relies on perturbing the magnetic field in the edge plasma region, e

  14. Julen Ibañez-Azpiroz, Asier Eiguren, Aitor Bergara

    We present a detailed analysis of the relativistic electronic structure and the momentum dependent spin-polarization of the Tl/Si(111) surface. Our first principle calculations reveal the existence of fully spin-polarized electron pockets associated to the huge spin-splitting of metallic surface bands. The calculated spin-polarization shows a very complex st

  15. Nicolas Cherroret, Dominique Delande

    We present an analytical theory describing a novel phenomenon of enhanced backscattering corresponding to the spatial refocussing of a spread-out correlated wave packet due to a brief interaction with a disordered potential. Our theory is validated by numerical simulations and explains the physics observed in recent experiments on cold atom transport in diso

  16. Antoni Szczurek, Rafal Maciula

    We discuss production of two pairs of $c \bar c$ in proton-proton collisions at the LHC. Both double-parton scattering (DPS) and single-parton scattering (SPS) contributions are included in the analysis. Each step of DPS is calculated within $k_t$-factorization approach. The conditions how to identify the DPS contribution are presented. The discussed mechani

  17. Damon Paulo, Bradley Fischl, Tanya Markow, Michael Martin

    In this paper we introduce the Organization, Relationship, and Contact Analyzer (ORCA) that is designed to aide intelligence analysis for law enforcement operations against violent street gangs. ORCA is designed to address several police analytical needs concerning street gangs using new techniques in social network analysis. Specifically, it can determine &

  18. Omar Tibolla, Michael Vorster, Sarah Kaufmann, Stefan Ferreira

    The evolution of Pulsar Wind Nebulae (PWNe) plays a crucial role in interpreting the very high energy (VHE; > 10^11 eV) gamma-ray unidentified sources; and moreover it represents the only viable option to explain the discovery of several "dark sources" in the TeV gamma-ray (i.e. VHE gamma-ray sources without lower energies, radio or X-ray counterpart

  19. Julia Cufi, Joan Verdera

    We prove a general form of Green Formula and Cauchy Integral Theorem for arbitrary closed rectifiable curves in the plane.

  20. John R. Clem, Ruslan Prozorov, R. J. Wijngaarden

    The equilibrium topology of superconducting and normal domains in flat type-I superconductors is investigated. Important improvements with respect to previous work are: (1) the energy of the external magnetic field, as deformed by the presence of superconducting domains, is calculated in the same way for three different topologies, and (2) calculations are m

  21. Antonino Favata, Paolo Podio-Guidugli

    In this paper, we propose a characterization of the mechanical response of the linearly elastic shell we associate to a single-wall carbon nanotube of arbitrary chirality. In Bajaj et al. 2013, we gave such a characterization in the case of zigzag and armchair nanotubes; in particular, we showed that the orthotropic response we postulated for the associated

  22. Antoni Szczurek, Marta Luszczak, Wolfgang Schafer

    We discuss diffractive dissociation of gluons into heavy quark pairs. The particular mechanism is similar to the diffractive dissociation of virtual photons into quarks. The amplitude for the $g p \to Q \bar Q p$ is derived in the impact parameter and momentum space. The cross section for single diffractive $p p \to Q \bar Q p X$ is calculated as a convoluti

  23. Łukasz Pawela, Zbigniew Puchała

    We study coherent quantum control strategy which is robust with respect to coupling with an external environment. We model this interaction by appending an additional subsystem to the initial system and we choose the strength of the coupling to be proportional to the magnitude of the control pulses. Therefore, to minimize the interaction we impose $L_1$ norm

  24. A. Raoux, M. Morigi, J. N. Fuchs, F. Piéchon

    We study the orbital susceptibility of coupled energy bands with a pair of Dirac points, as in graphene. We show that different systems having the same zero-field energy spectrum exhibit strong differences in their orbital magnetic response at zero energy, ranging from diamagnetism (graphene) to paramagnetism (dice lattice). A lattice model is introduced whi

  25. Piotr Lebiedowicz, Antoni Szczurek

    We present a study of exclusive production of $π^{0}$ meson in proton-proton collisions at high energies. Both diffractive bremsstrahlung (Drell-Hiida-Deck type model), photon-photon, photon-omega and photon-odderon exchange mechanisms are included in the calculation. The $π^{0}$-bremsstrahlung contribution dominates at large (forward, backward) pion rapidit

  26. Grunert Katrin, Holden Helge, Raynaud Xavier

    We construct a Lipschitz metric for conservative solutions of the Cauchy problem on the line for the two-component Camassa--Holm system $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}+ρρ_x=0$, and $ρ_t+(uρ)_x=0$ with given initial data $(u_0, ρ_0)$. The Lipschitz metric $d_{\D^M}$ has the property that for two solutions $z(t)=(u(t),ρ(t),μ_t)$ and $\tilde z(t)=(\tilde

  27. Helmut Zöschinger

    Let $(R,\my)$ be a noetherian local ring, $E$ the injective hull of $k=R/\my$ and $M^\circ=$ Hom$_R(M,E)$ the Matlis dual of the $R$-module $M$. If the canonical monomorphism $φ: M \to \moo$ is surjective, $M$ is known to be called (Matlis-)reflexive. With the help of the Bass numbers $μ(\py,M)=\dim_{κ(\py)}($Hom$_R(R/\py,M)_\py)$ of $M$ with respect to $\py

  28. Piotr Lebiedowicz, Antoni Szczurek

    We discuss the $p p \to p p γ$ reaction at the LHC. We consider diffractive classical bremsstrahlung mechanisms including effects of non point-like nature of protons. In addition, we take into account (vector meson)-pomeron, photon-pion as well as photon-pomeron exchange processes for the first time in the literature. The integrated diffractive bremsstrahlun

  29. Augusto Santos, José M. F. Moura, João Xavier

    Single virus epidemics over complete networks are widely explored in the literature as the fraction of infected nodes is, under appropriate microscopic modeling of the virus infection, a Markov process. With non-complete networks, this macroscopic variable is no longer Markov. In this paper, we study virus diffusion, in particular, multi-virus epidemics, ove

  30. Vladimir P. Gerdt, Amir Hashemi, Benyamin M. -Alizadeh

    Faugere's F5 algorithm is the fastest known algorithm to compute Groebner bases. It has a signature-based and an incremental structure that allow to apply the F5 criterion for deletion of unnecessary reductions. In this paper, we present an involutive completion algorithm which outputs a minimal involutive basis. Our completion algorithm has a nonincreme

  31. I. Hinterleitner, J. Mikeš

    In this paper we prove that geodesic mappings of (pseudo-) Riemannian manifolds preserve the class of differentiability \hbox{$(C^r, r\geq1)$}. Also, if the Einstein space $V_n$ admits a non trivial geodesic mapping onto a \hbox{(pseudo-)} Riemannian manifold $\bar V_n\in C^1$, then $\bar V_n$ is an Einstein space. If a four-dimensional Einstein space with n

  32. Kirill Vadimovich Amelkin, Alexander Vasilevich Kostin

    The existence of a formal particular solution (family of solutions) of oscillating type under certain conditions has been proved for the quasi-linear ordinary differential equations system. The asymptotic nature of this solution (the family of solutions) is investigated in two individual cases when all the eigenvalues of the matrix of the linear homogeneous

  33. Rafal Maciula, Antoni Szczurek

    We discuss production of charmed mesons as well as electrons/muons from semileptonic decays of charm and bottom mesons in proton-proton collisions at the LHC. The cross section for inclusive production of $c \bar c$ and $b \bar b$ pairs is calculated in the framework of the $k_{\perp}$-factorization approach. Here, the KMR and Jung CCFM unintegrated gluon di

  34. Sina Khoshfetrat Pakazad, Martin S. Andersen, Anders Hansson

    In this paper, we consider convex feasibility problems where the underlying sets are loosely coupled, and we propose several algorithms to solve such problems in a distributed manner. These algorithms are obtained by applying proximal splitting methods to convex minimization reformulations of convex feasibility problems. We also put forth distributed converg

  35. Sara Hajian

    Data mining is an increasingly important technology for extracting useful knowledge hidden in large collections of data. There are, however, negative social perceptions about data mining, among which potential privacy violation and potential discrimination. Automated data collection and data mining techniques such as classification have paved the way to maki

  36. Thierry Jolicoeur, Evgeni Burovski, Giuliano Orso

    One-dimensional systems of interacting atoms are an ideal laboratory to study the Kosterlitz-Thouless phase transition. In the renormalization group picture there is essentially a two-parameter phase diagram to explore. We first present how detailed experiments have shown direct evidence for the theoretical treatment of this transition. Then generalization t

  37. M. Tymchenko, A. Yu. Nikitin, L. Martin-Moreno

    A single graphene sheet, when subjected to a perpendicular static magnetic field provides Faraday rotation that, per atomic layer, greatly surpasses that of any other known material. This Giant Faraday rotation originates from the cyclotron resonance of massless electrons, which allows dynamical tuning through either external electrostatic or magnetostatic s

  38. S. E. Stepanov, J. Mikeš

    We present a rough classification of differential forms on a Riemannian manifold, we consider definitions and properties of conformal Killing forms on a compact Riemannian manifold and define Tachibana numbers as an analog of the well known Betti numbers. We state the conditions that characterize these numbers. In the last section we show connections between

  39. Pierre Berger, Alejandro Kocsard

    We prove that every endomorphism which satisfies Axiom A and the strong transversality conditions is $C^1$-inverse limit structurally stable. These conditions were conjectured to be necessary and sufficient. This result is applied to the study of unfolding of some homoclinic tangencies. This also achieves a characterization of $C^1$-inverse limit structurall

  40. E. Roueff, M. Gerin, D. C. Lis, A. Wootten

    CH2D+, the singly deuterated counterpart of CH3+, offers an alternative way to mediate formation of deuterated species at temperatures of several tens of K, as compared to the release of deuterated species from grains. We report a longstanding observational search for this molecular ion, whose rotational spectroscopy is not yet completely secure. We summariz

  41. Vadim Volkov

    The mini-review gives special attention to holistic approach and mechanisms of processes. The physical and chemical frames and background for visual perception and signalling are discussed. Perception of photons by retinal rod cells is described in more detail starting from photon absorption and culminating in ion currents. Dark noise and temperature-depende

  42. Yulia P. Emelianova, Alexander P. Kuznetsov, Ludmila V. Turukina, Igor R. Sataev

    Structure of the eigenfrequencies parameter space for three and four dissipatively coupled van der Pol oscillators is discussed. Situations of different codimension relating to the configuration of the full synchronization area as well as a picture of different modes in its neighborhood are revealed. The organization of quasi-periodic areas of different dime

  43. Henrik Forssell

    This note recalls the representation of regular theories T in terms of set-valued functors on models given by Makkai(1990), and explicitly states the representation theorem for the classifying topos Set[T] in terms of filtered colimit preserving functors which can be extrapolated from the results of that paper. That representation of Set[T] is then compared

  44. Alice Maria Donati, Roberto Pittau

    We review the first complete calculation performed within the Four Dimensional Regularization scheme (FDR), the recently-proposed approach for addressing multi-loop calculations, which is simultaneously free of infinities and gauge-invariant in 4 dimensions. As a case study, the 1-loop-induced amplitude for the Higgs boson decay into two photons was calculat

  45. Tatiana Jajcayová, Edita Pelantová, Štěpán Starosta

    Generalized pseudostandard word $\bf u$, as introduced in 2006 by de Luca and De Luca, is given by a directive sequence of letters from an alphabet ${\cal A}$ and by a directive sequence of involutory antimorphisms acting on ${\cal A}^*$. Prefixes of $\bf u$ with increasing length are constructed using pseudopalindromic closure operator. We show that general

  46. V. M. Bystritsky, A. P. Kobzev, A. R. Krylov, S. S. Parzhitskii

    The mechanism for the d(p,γ)3He reaction in the region of ultralow proton-deuteron collision energies (6.67<E<12.67 keV) is investigated using a target of zirconium deuterides. The experiment was carried out in the proton beam from the high-current pulsed Hall accelerator. Dependences of the astrophysical S-factor and the effective pd - reaction cross sectio

  47. Giampiero Palatucci, Adriano Pisante, Yannick Sire

    We investigate a natural approximation by subcritical Sobolev embeddings of the Sobolev quotient for the fractional Sobolev spaces $H^s$ for any $0<s<N/2$, using $Γ$-convergence techniques. We show that, for such approximations, optimal functions always exist and exhibit a concentration effect of the $H^s$ energy at one point.

  48. Federico Bianco, Sergio Chibbaro, Davide Vergni, Angelo Vulpiani

    Reaction-diffusion processes in two-dimensional percolating structures are investigated. Two different problems are addressed: reaction spreading on a percolating cluster and front propagation through a percolating channel. For reaction spreading, numerical data and analytical estimates show a power-law behavior of the reaction product as M(t) \sim t^dl, whe

  49. Abhishek Singh, Harshad Surdi, V. V. Nikesh, S. S. Prabhu

    We study the effect of a surface modification at the interface between metallic electrodes and semiconducting substrate in Semi-Insulating GaAs (SI-GaAs) based photoconductive emitters (PCE) on the emission of Tera-Hertz (THz) radiation. We partially etch out 500 nm thick layer of SI-GaAs in grating like pattern with various periods before the contact deposi

  50. M. Osipenko, M. Ripani, R. Alba, G. Ricco

    A low-power prototype of neutron amplifier, based on a 70 MeV, high current proton cyclotron being installed at LNL for the SPES RIB facility, was recently proposed within INFN-E project. This prototype uses a thick Beryllium converter to produce a fast neutron spectrum feeding a sub-critical reactor core. To complete the design of such facility the new meas

  51. P. Jacquet, F. Marcotte, L. Colas, G. Arnoux

    When using Ion Cyclotron Range of Frequency (ICRF) heating, enhanced heat-fluxes are commonly observed on some plasma facing components close to the antennas. Experiments have recently been carried out on JET with the new ITER-Like-Wall (ILW) to characterize the heat flux to the JET ICRF antennas. Using Infra-Red thermography and thermal models of the tiles,

  52. J. R. Harrison, G. M. Fishpool, A. Kirk

    The distribution of particles and power to plasma-facing components is of key importance in the design of next-generation fusion devices. Power and particle decay lengths have been measured in a number of MAST L-mode and H-mode discharges in order to determine their parametric dependencies, by fitting power and particle flux profiles measured by divertor Lan

  53. I T Chapman, V Igochine, M Maraschek, P J McCarthy

    Sawtooth control using steerable electron cyclotron current drive (ECCD) has been demonstrated in ASDEX Upgrade plasmas with a significant population of energetic ions in the plasma core and long uncontrolled sawtooth periods. The sawtooth period is found to be minimised when the ECCD resonance is swept to just inside the q = 1 surface. By utilising ECCD ins

  54. Steven Charlton

    The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lisoněk states that inserting all cyclic shifts of some fixed blocks of 2&#39;s into the multiple zeta value ζ(1,3,...,1,3) gives an explicit rational multiple of a power of π. In this paper we use motivic multiple zeta values to establish a non-explicit symmetric insertion result: inserting

  55. G. Fishpool, J. Canik, G. Cunningham, J. Harrison

    A potentially important feature in a divertor design for a high-power tokamak is an extended and expanded divertor leg. The upgrade to MAST will allow a wide range of such divertor leg geometries to be produced, and hence will allow the roles of greatly increased connection length and flux expansion to be experimentally tested. This will include testing the

  56. Yue Chuan Tan, Rakhitha Chandrasekara, Cliff Cheng, Alexander Ling

    Silicon avalanche photodiodes (APDs) are sensitive to operating temperature fluctuations and are also susceptible to radiation flux expected in satellite-based quantum experiments. We introduce a low power voltage adjusting mechanism to overcome the effects of in-orbit temperature fluctuations. We also present data on the performance of Si APDs after irradia

  57. Wanyang Dai

    We study the adapted solution, numerical methods, and related convergence analysis for a unified backward stochastic partial differential equation (B-SPDE). The equation is vector-valued, whose drift and diffusion coefficients may involve nonlinear and high-order partial differential operators. Under certain generalized Lipschitz and linear growth conditions

  58. T. D. Browning

    A new polynomial sieve is presented and used to show that almost all integers have at most one representation as a sum of two values of a given polynomial of degree at least 3.

  59. Licia Verde, Pavlos Protopapas, Raul Jimenez

    We use the latest Planck constraints, and in particular constraints on the derived parameters (Hubble constant and age of the Universe) for the local universe and compare them with local measurements of the same quantities. We propose a way to quantify whether cosmological parameters constraints from two different experiments are in tension or not. Our stati

  60. X. N. Maintas, C. E. Tsagkarakis, F. K. Diakonos, D. J. Frantzeskakis

    We investigate the classical dynamics of the massive SU(2) Yang-Mills field in the framework of multiple scale perturbation theory. We show analytically that there exists a subset of solutions having the form of a kink soliton, modulated by a plane wave, in a linear subspace transverse to the direction of free propagation. Subsequently, we explore how these

  61. Dávid Guszejnov, Attila Bencze, Sándor Zoletnik, Andreas-Krämer-Flecken

    Time delay estimation (TDE) is a well-known technique to investigate poloidal flows in fusion plasmas. The present work is an extension of the earlier works of A. Bencze and S. Zoletnik 2005 and B. Tál et al. 2011. From the prospective of the comparison of theory and experiment it seem to be important to estimate the statistical properties of the TDE based o

  62. Mircea Petrache

    We prove that the pullback of the SU(n)-soliton of Chern class $c_2=1$ over $\mathbb S^4$ via the radial projection $π:\mathbb B^5\setminus\{0\}\to\mathbb S^4$ minimizes the Yang-Mills energy under the fixed boundary trace constraint. In particular this shows that stationary Yang-Mills connections in high dimension can have singular sets of codimension 5.

  63. Will Anscombe, Jochen Koenigsmann

    We show that the valuation ring F_q[[t]] in the local field F_q((t)) is existentially definable in the language of rings with no parameters. The method is to use the definition of the henselian topology following the work of Prestel-Ziegler to give an existential-F_q-definable bounded neighbouhood of 0. Then we `tweak&#39; this set by subtracting, taking roo

  64. Alessandro Bravetti, Orlando Luongo

    Geometrothermodynamics is a geometric theory which combines thermodynamics with contact and Riemannian geometry. In this work we use the formalism of geometrothermodynamics to infer cosmological models which predict the observed speed up. As a relevant consequence, our simple model shows dynamical properties which seem to fairly well describe the late time u

  65. Keisuke Fujii

    This is a short review on an interdisciplinary field of quantum information science and statistical mechanics. We first give a pedagogical introduction to the stabilizer formalism, which is an efficient way to describe an important class of quantum states, the so-called stabilizer states, and quantum operations on them. Furthermore, graph states, which are a

  66. Kareem Darwish

    Arabizi is Arabic text that is written using Latin characters. Arabizi is used to present both Modern Standard Arabic (MSA) or Arabic dialects. It is commonly used in informal settings such as social networking sites and is often with mixed with English. In this paper we address the problems of: identifying Arabizi in text and converting it to Arabic charact

  67. Yael Naze

    Over the last decade, large-scale, organized (generally dipolar) magnetic fields with a strength between 0.1 and 20 kG were detected in dozens of OB stars. This contribution reviews the impact of such magnetic fields on the stellar winds of O-stars, with emphasis on variability and X-ray emission.

  68. Charlotte Bond, Daniel Brown, Andreas Freise

    A comparison of analytic calculations and FINESSE simulations of interferometer responses to gravitational wave strain. The response to a gravitational wave is gradually built up from the effect of modulating a space by a gravitational wave to Sagnac and Michelson interferometers with and without arm cavities. This document details the steps necessary to per

  69. Shijun Zhao, Jianming Xue, Wei Kang

    First-principles calculations within density functional theory (DFT) have been carried out to investigate the adsorption of various gas molecules including CO, CO2, NH3, NO and NO2 on MoS2 monolayer in order to fully exploit the gas sensing capabilities of MoS2. By including van der Waals (vdW) interactions between gas molecules and MoS2, we find that only N

  70. Rein Prank

    Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.

  71. Yoichi Aso, Yuta Michimura, Kentaro Somiya, Masaki Ando

    KAGRA is a cryogenic interferometric gravitational wave detector being constructed at the underground site of Kamioka mine in Gifu prefecture, Japan. We performed an optimization of the interferomter design, to achieve the best sensitivity and a stable operation, with boundary conditions of classical noises and under various practical constraints, such as th

  72. Aleksandar Mijatovic, Martijn Pistorius

    Let $τ(x)$ be the first time the reflected process $Y$ of a Levy processes $X$ crosses x>0. The main aim of the paper is to investigate the asymptotic dependence of the path functionals: $Y(t) = X(t) - \inf_{0\leq s\leq t}X(s)$, $M(t,x)=\sup_{0\leq s\leq t}Y(s)-x$ and $Z(x)=Y(τ(x))-x$. We prove that under Cramer&#39;s condition on X(1), the functionals $Y(t)

  73. Akira Furukawa, Andrea Gambassi, Siegfried Dietrich, Hajime Tanaka

    Colloids immersed in a critical binary liquid mixture are subject to critical Casimir forces (CCFs) because they confine its concentration fluctuations and influence the latter via effective surface fields. To date, CCFs have only been studied in thermodynamic equilibrium. However, due to the critical slowing down, the order parameter around a particle can e

  74. Louis J. Billera, Lionel Levine, Karola Meszaros

    We give a bijection between permutations of length 2n and certain pairs of Dyck paths with labels on the down steps. The bijection arises from a game in which two players alternate selecting from a set of 2n items: the permutation encodes the players&#39; preference ordering of the items, and the Dyck paths encode the order in which items are selected under

  75. Yaroslav V. Kartashov

    I study vector solitons involving two incoherently-coupled field components in periodic PT-symmetric optical lattices. The specific symmetry of the lattice imposes the restrictions on the symmetry of available vector soliton states. While all configurations with asymmetric intensity distributions are prohibited, such lattices support multi-hump solitons with

  76. A. Prados, A. Carpio, L. L. Bonilla

    We analyze the force-extension curve for a general class of systems, which are described at the mesoscopic level by a free energy depending on the extension of its components. Similarly to what is done in real experiments, the total length of the system is the controlled parameter. This imposes a global constraint in the minimization procedure leading to the

  77. Milan Hladík

    We deal with interval linear systems of equations. We present a new operator, which generalizes the interval Gauss-Seidel method. Also, based on the new operator and properties of the well-known methods, we propose a new algorithm, called the magnitude method. We illustrate by numerical examples that our approach overcomes some classical methods with respect

  78. R. Smida, F. Werner, R. Engel, J. C. Arteaga-Velazquez

    We report on the first direct measurement of the basic features of microwave radio emission from extensive air showers. Using a trigger provided by the KASCADE-Grande air shower array, the signals of the microwave antennas of the CROME (Cosmic-Ray Observation via Microwave Emission) experiment have been read out and searched for signatures of radio emission

  79. Minati Mishra, Flt. Lt. Dr. M. C. Adhikary

    Photographs are considered to be the most powerful and trustworthy media of expression. For a long time, those were accepted as proves of evidences in varied fields such as journalism, forensic investigations, military intelligence, scientific research and publications, crime detection and legal proceedings, investigation of insurance claims, medical imaging

  80. V. B. Bobrov, S. A. Trigger, G. J. F. van Heijst, P. P. J. M. Schram

    The problem of the relation between the Ahronov-Bohm effect and traditional postulates of electrodynamics, which claim that only electric and magnetic fields are observable, is resolved by denial of the statement about validity of the Maxwell equations for microscopic fields. We proceed from the idea that the Maxwell equations, as the generalization of exper

  81. Dhammika Pieris

    Conceptual modelling using the entity relationship (ER) model has been widely used for database design for a long period of time. However, studies indicate that creating a satisfactory relational model representation from an ER model is uncertain due to the insufficiencies both in the transformation methods used and in the relational model itself. In an effo

  82. H. F. Song, A. Maeder, G. Meynet, R. Q. Huang

    We study how tides in a binary system induce some specific internal shear mixing, able to substantially modify the evolution of close binaries prior to mass transfer. We construct numerical models accounting for tidal interactions, meridional circulation, transport of angular momentum, shears and horizontal turbulence and consider a variety of orbital period

  83. Mauro Conti, Nicola Dragoni, Sebastiano Gottardo

    Recent studies have shown that a significant number of mobile applications, often handling sensitive data such as bank accounts and login credentials, suffers from SSL vulnerabilities. Most of the time, these vulnerabilities are due to improper use of the SSL protocol (in particular, in its \emph{handshake} phase), resulting in applications exposed to man-in

  84. Haim Kaplan, Yahav Nussbaum

    In this paper we study the min-cost flow problem in planar networks. We start with the min-cost flow problem and apply two transformations, one is based on geometric duality of planar graphs and the other on linear programming duality. The result is a min-cost flow problem in a related planar network whose balance constraints are defined by the costs of the

  85. Aditya Tatu, Sumukh Bansal

    Texture is intuitively defined as a repeated arrangement of a basic pattern or object in an image. There is no mathematical definition of a texture though. The human visual system is able to identify and segment different textures in a given image. Automating this task for a computer is far from trivial. There are three major components of any texture segmen

  86. Chengrong Deng, Jialun Ping, Youchang Yang, Fan Wang

    The baryon-antibaryon spectrum consisting of strange, charm and bottom quarks is studied in the color flux-tube model with a multi-body confinement interaction. Numerical results indicate that many low-spin baryon-antibaryon states can form compact hexaquark states and are stable against the decay into a baryon and an antibaryon. The multi-body confinement i

  87. LHCb collaboration, R. Aaij, C. Abellan Beteta, B. Adeva

    The decay $B_c^+\to J/ψK^+$ is observed for the first time using a data sample, corresponding to an integrated luminosity of 1.0 ${\,fb}^{-1}$, collected by the LHCb experiment in $pp$ collisions at a centre-of-mass energy of $7\mathrm{\,Te\kern -0.1em V}$. A yield of $46\pm12$ events is reported, with a significance of 5.0 standard deviations. The ratio of

  88. Steven Murray, Chris Power, Aaron Robotham

    The dark matter halo mass function (HMF) is a characteristic property of cosmological structure formation models, quantifying the number density of dark matter haloes per unit mass in the Universe. A key goal of current and planned large galaxy surveys is to measure the HMF and to use it to test theories of dark matter and dark energy. We present a new web a

  89. Masahiro Hoshino

    Particle acceleration during the magnetorotational instability (MRI) in a collisionless accretion disk was investigated by using a particle-in-cell (PIC) simulation. We discuss the important role that magnetic reconnection plays not only on the saturation of MRI but also on the relativistic particle generation. The plasma pressure anisotropy of $p_{\perp} >

  90. Ruifen Dou, Yu Yang, Ping Zhang, Dingyong Zhong

    We investigate an anthracene derivative, 3(5)-(9-anthryl) pyrazole (ANP), self-assembled on the Au (111) surface by means of scanning tunneling microscopy (STM) and density functional theory (DFT) calculations. A chessboard-like network structure composed of ANP molecules is found, covering the whole Au (111) substrate. Our STM results and DFT calculations r

  91. Piyush Jain, Saverio Moroni, Massimo Boninsegni, Lode Pollet

    The droplet crystal phase of a symmetric binary mixture of Rydberg-blockaded dipolar Bose gases is studied by computer simulation. At high temperature each droplet comprises on average equal numbers of particles of either component, but the two components demix below the supersolid transition temperature, i.e., droplets mostly consist of particles of one com

  92. Katherine I. Lee, Leslie W. Looney, Scott Schnee, Zhi-Yun Li

    We study the structure and kinematics of nine 0.1 pc-scale cores in Orion with the IRAM 30-m telescope and at higher resolution eight of the cores with CARMA, using CS(2-1) as the main tracer. The single-dish moment zero maps of the starless cores show single structures with central column densities ranging from 7 to 42 times 10^23 cm^-2 and LTE masses from

  93. David Chisholm, Graham Andersen

    The authors examine the concept of probability of default for asset-backed loans. In contrast to unsecured loans it is shown that probability of default can be defined as either a measure of the likelihood of the borrower failing to make required payments, or as the likelihood of an insufficiency of collateral value on foreclosure. Assuming expected loss is

  94. Leo Goldmakher, Cap Khoury, Steven J. Miller, Kesinee Ninsuwan

    McKay proved that the limiting spectral measures of the ensembles of $d$-regular graphs with $N$ vertices converge to Kesten&#39;s measure as $N\to\infty$. In this paper we explore the case of weighted graphs. More precisely, given a large $d$-regular graph we assign random weights, drawn from some distribution $\mathcal{W}$, to its edges. We study the relat

  95. Sin Kyu Kang, Jubin Park

    Motivated by the discovery of a new scalar field and amelioration of the electroweak vacuum stability ascribed to a singlet scalar field embedded in the standard model (SM), we examine the implication of the perturbative unitarity in the SM with a singlet scalar field. Taking into account the full contributions to the scattering amplitudes, we derive unitari

  96. Prasad Perlekar, Roberto Benzi, Herman J. H. Clercx, David R. Nelson

    We study the competition between domain coarsening in a symmetric binary mixtures below the critical temperature and turbulent fluctuations. We find that the coarsening process is arrested in presence of turbulence. The physics of the process shares remarkable similarities with the behaviour of diluted turbulent emulsions and the arrest length scale can be e

  97. K. Ostrikov, E. C. Neyts, M. Meyyappan

    The unique plasma-specific features and physical phenomena in the organization of nanoscale solid-state systems in a broad range of elemental composition, structure, and dimensionality are critically reviewed. These effects lead to the possibility to localize and control energy and matter at nanoscales and to produce self-organized nano-solids with highly un

  98. Aaron M Royer

    The generalized string topology construction of Gruher and Salvatore assigns to any bundle of $E_n$-algebras $A$ over a closed oriented manifold $M$ a collection of intersection-type operations on the homology of the total space. These operations are realized by an $H_n$-ring structure on the Thom spectrum $A^{-TM}$ under the Thom isomorphism. We rigidify an

  99. Tye Lidman, Allison H. Moore

    A rational homology sphere whose Heegaard Floer homology is the same as that of a lens space is called an L-space. We classify pretzel knots with any number of tangles which admit L-space surgeries. This rests on Gabai&#39;s classification of fibered pretzel links.

  100. Paco Talero, Fernanda Santana y César Mora

    The kinematics of the Solar zenith passage on the Earth was shown as a simple harmonic motion. This analytical model used the uniform circular motion to describe the Earth&#39;s rotation relative to its axis and relative to the Sun, also this model considered the sunlight beams parallel and constant the obliquity of the ecliptic. We made a contrast between s