Skip to content

December 2014 arXiv papers — page 10

Showing 901–1,000 of 8,706 papers

  1. Bob Coecke, Ichiro Hasuo, Prakash Panangaden

    This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan. The goal of the QPL workshop series is to bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal ca

  2. Hicham Saber

    The aim of this paper is to give a generalization of the theory equivariant functions, initiated in [17, 4], to arbitrary subgroups of PSL2(R). We show that there is a deep relation between the geometry of these groups and some analytic and algebraic properties of these functions. As an application, we give a new proof of the classification of automorphic fo

  3. Andrey Sokolov

    A metric introduced on a projective space yields a homogeneous metric space known as a Cayley-Klein geometry. This construction is applicable not only to Euclidean and non-Euclidean spaces but also to kinematic spaces (space-times). A convenient algebraic framework for Cayley-Klein geometries called the projective model is developed in [1, 2]. It is based on

  4. Yujun Wang, P. S. Julienne, Chris H. Greene

    The quantum mechanical few-body problem at ultracold energies poses severe challenges to theoretical techniques, particularly when long-range interactions are present that decay only as a power-law potential. In this paper we review the techniques and progress in studies of universal few-body physics for ultracold atoms, particularly those related to long-ra

  5. Kaushik Roy, Satish Ch. Panigrahi, Asish Mukhopadhyay

    In this paper we report on an algorithm for aligning multiple protein structures. The algorithm has been tested on a variety of inputs and it performs well in comparison to well-known algorithms for this problem.

  6. Charles Puelz, Mark Embree, Jake Fillman

    Quasiperiodic Jacobi operators arise as mathematical models of quasicrystals and in more general studies of structures exhibiting aperiodic order. The spectra of these self-adjoint operators can be quite exotic, such as Cantor sets, and their fine properties yield insight into associated dynamical systems. Quasiperiodic operators can be approximated by perio

  7. Paul C. Duffell

    Planets in their formative years can migrate due to the influence of gravitational torques in the protoplanetary disk they inhabit. For low-mass planets in an isothermal disk, it is known that there is a strong negative torque on the planet due to its linear perturbation to the disk, causing fast inward migration. The current investigation demonstrates that

  8. Mario Carneiro

    We present an algorithm for converting proofs from the OpenTheory interchange format, which can be translated to and from any of the HOL family of proof languages (HOL4, HOL Light, ProofPower, and Isabelle), into the ZFC-based Metamath language. This task is divided into two steps: the translation of an OpenTheory proof into a Metamath HOL formalization, $\m

  9. Giulio Peruginelli, Luigi Salce, Paolo Zanardo

    A pair of elements $a,b$ in an integral domain $R$ is an idempotent pair if either $a(1-a) \in bR$, or $b(1-b) \in aR$. $R$ is said to be a PRINC domain if all the ideals generated by an idempotent pair are principal. We show that in an order $R$ of a Dedekind domain every regular prime ideal can be generated by an idempotent pair; moreover, if $R$ is PRINC,

  10. B. Majcher-Iwanow

    The relations of almost containedness and orthogonality in the lattice of groups of finitary permutations are studied in the paper. We define six cardinal numbers naturally corresponding to to these relations by the standard scheme of $P(ω)$. We obtain some consistency results concerning these numbers and some versions of the Ramsey theorem.

  11. Zoltán Füredi, Lale Özkahya

    We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Györi and Lemons by a factor of $Θ(k^2)$. Similar bounds are shown for lin

  12. Tatsuya Narikawa, Koh Ueno, Hideyuki Tagoshi, Takahiro Tanaka

    The gravitational waveforms in the ghost-free bigravity theory exhibit deviations from those in general relativity. The main difference is caused by graviton oscillations in the bigravity theory. We investigate the prospects for the detection of the corrections to gravitational waveforms from coalescing compact binaries due to graviton oscillations and for c

  13. Charles H. Conley, Dimitar Grantcharov

    The Lie algebra of vector fields on $R^m$ acts naturally on the spaces of differential operators between tensor field modules. Its projective subalgebra is isomorphic to $sl_{m+1}$, and its affine subalgebra is a maximal parabolic subalgebra of the projective subalgebra with Levi factor $gl_m$. We prove two results. First, we realize all injective objects of

  14. Artiom Kovnatsky, Michael M. Bronstein, Xavier Bresson, Pierre Vandergheynst

    In this paper, we consider the problem of finding dense intrinsic correspondence between manifolds using the recently introduced functional framework. We pose the functional correspondence problem as matrix completion with manifold geometric structure and inducing functional localization with the $L_1$ norm. We discuss efficient numerical procedures for the

  15. Ivan Tomašić

    The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.

  16. Ariel Megevand, Federico Agustin Membiela, Alejandro D. Sanchez

    The subsonic expansion of bubbles in a strongly first-order electroweak phase transition is a convenient scenario for electroweak baryogenesis. For most extensions of the Standard Model, stationary subsonic solutions (i.e., deflagrations) exist for the propagation of phase transition fronts. However, deflagrations are known to be hydrodynamically unstable fo

  17. Zheng Qu, Peter Richtárik

    The design and complexity analysis of randomized coordinate descent methods, and in particular of variants which update a random subset (sampling) of coordinates in each iteration, depends on the notion of expected separable overapproximation (ESO). This refers to an inequality involving the objective function and the sampling, capturing in a compact way cer

  18. T. Dietl, K. Sato, T. Fukushima, A. Bonanni

    This review presents the recent progress in computational materials design, experimental realization, and control methods of spinodal nanodecomposition under three- and two-dimensional crystal-growth conditions in spintronic materials, such as magnetically doped semiconductors. The computational description of nanodecomposition, performed by combining first-

  19. Hiroki Matsui, Ryo Takahashi

    Let $\X$ be a resolving subcategory of an abelian category. In this paper we investigate the singularity category $\ds(\underline\X)=\db(\mod\underline\X)/\kb(\proj(\mod\underline\X))$ of the stable category $\underline\X$ of $\X$. We consider when the singularity category is triangle equivalent to the stable category of Gorenstein projective objects, and wh

  20. Zheng Qu, Peter Richtárik

    We study the problem of minimizing the sum of a smooth convex function and a convex block-separable regularizer and propose a new randomized coordinate descent method, which we call ALPHA. Our method at every iteration updates a random subset of coordinates, following an arbitrary distribution. No coordinate descent methods capable to handle an arbitrary sam

  21. F. Amoroso, M. Sombra, U. Zannier

    We present a structure theorem for the multiple non-cyclotomic irreducible factors appearing in the family of all univariate polynomials with a given set of coefficients and varying exponents. Roughly speaking, this result shows that the multiple non-cyclotomic irreducible factors of a sparse polynomial, are also sparse. To prove this, we give a variant of a

  22. Li Guo, William Keigher, Shilong Zhang

    In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through the First Fundamental Theorem of Calculus. In this paper we study this relationship from a categorical point of view in t

  23. Tsz Ho Chan

    In this paper, we continue the study of almost squares and extend the result of the author's fourth paper of the series to almost squares with closer factors.

  24. Jakub Marecek, Timothy McCoy, Martin Mevissen

    Steady states of alternating-current (AC) circuits have been studied in considerable detail. In 1982, Baillieul and Byrnes derived an upper bound on the number of steady states in a loss-less AC circuit [IEEE TCAS, 29(11): 724--737] and conjectured that this bound holds for AC circuits in general. We prove this is indeed the case, among other results, by stu

  25. Chiaki Yamaguchi

    A Potts glass model proposed by Nishimori and Stephen[H. Nishimori and M. J. Stephen, Phys. Rev. B 27, 5644 (1983)] is analyzed by means of the replica mean field theory. This model is a discrete model, has a gauge symmetry, and is called the Potts gauge glass model. By comparing the present results with the results of the conventional Potts glass model, we

  26. Hiroki Matsui, Hayato Murata

    This paper studies characterizing local rings in terms of homological dimensions. The key tool is the notion of a prethick subcategory which we introduce in this paper. Our methods recover the theorems of Salarian, Sather-Wagstaff and Yassemi.

  27. Nicolas T. Fourches, G. Regula, W. Vervisch

    The deep trapping gate pixel device was described recently as an alternative to CMOS 3T pixel. The feasibilty of this device was studied with technological and transport simulations used in classical electron devices and process design. A buried gate containing localized deep level centers (Deep Trapping Gate or DTG) is the key for the operation of this fiel

  28. Marinês Guerreiro

    Group algebras have been used in the context of Coding Theory since the beginning of the latter, but not in its full power. The work of Ferraz and Polcino Milies entitled Idempotents in group algebras and minimal abelian codes (Finite Fields and their Applications, 13, (2007) 382-393) gave origin to many thesis and papers linking these two subjects. In these

  29. Francesco Sannino, Ian M. Shoemaker

    We introduce a new paradigm for dark matter (DM) interactions in which the interaction strength is asymptotically safe. In models of this type, the coupling strength is small at low energies but increases at higher energies, and asymptotically approaches a finite constant value. The resulting phenomenology of this "asymptotically safe DM" is quite di

  30. Shihan Sajeed, Igor Radchenko, Sarah Kaiser, Jean-Philippe Bourgoin

    The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communic

  31. Ryosuke Yano

    We discuss the thermal conduction and convection of thermally relativistic fluids between two parallel walls under the gravitational force, both theoretically and numerically. In the theoretical discussion, we assume that the Lorentz contraction is ignored and spacetime is flat. For understanding of the thermal conduction and convection of thermally relativi

  32. Nobuaki Shimoji, Ryoma Aoyama

    In present work, we propose the analysis method of lightning based on the color analysis. We analyzed the digital still images in which the cloud-to-ground (CG) and intracloud (IC) lightning flashes are shown. Applying some digital image processing techniques, we extracted lightning channels. Then, the correlated color temperature (CCT) of the extracted ligh

  33. Kei-ichiro Iima, Ryo Takahashi

    In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal Cohen-Macaulay approximations and Yoshino-Isogawa linkage. We recover a theorem of Yoshino and Isogawa, and analyze the stru

  34. Tomomi Sato, Norikazu Yamada

    The nature of chiral phase transition of massless two flavor QCD depends on the fate of flavor singlet axial symmetry $U_A(1)$ at the critical temperature ($T_c$). Assuming that a finite $U_A(1)$ breaking remains at $T_c$, the corresponding three dimensional effective theory is composed of four massless and four massive scalar fields. We study the renormaliz

  35. Ionut Chifan, Yoshikata Kida, Sujan Pant

    In this paper we introduce a new class of non-amenable groups denoted by ${\bf NC}_1 \cap {\bf Quot}(\mathcal C_{rss})$ which give rise to $\textit{prime}$ von Neumann algebras. This means that for every $Γ\in {\bf NC}_1 \cap {\bf Quot}(\mathcal C_{rss})$ its group von Neumann algebra $L(Γ)$ cannot be decomposed as a tensor product of diffuse von Neumann alg

  36. Sung Rak Choi, Jinhyung Park

    We introduce the notion of potentially klt pairs for normal projective varieties with pseudoeffective anticanonical divisor. The potentially non-klt locus is a subset of $X$ which is birationally transformed precisely into the non-klt locus on a $-K_X$-minimal model of $X$. We prove basic properties of potentially non-klt locus in comparison with those of cl

  37. Anjali John Kaithakkal, Y. Suematsu, M. Kubo, Y. Iida

    We investigated the role of photospheric plasma motions in the formation and evolution of polar magnetic patches using time-sequence observations with high spatial resolution. The observations were obtained with the spectropolarimeter on board the Hinode satellite. From the statistical analysis using 75 magnetic patches, we found that they are surrounded by

  38. Rostislav Grigorchuk, Dmytro Savchuk

    We prove a general result about the decomposition on ergodic components of group actions on boundaries of spherically homogeneous rooted trees. Namely, we identify the space of ergodic components with the boundary of the orbit tree associated with the action, and show that the canonical system of ergodic invariant probability measures coincides with the syst

  39. Toshiyuki Kobayashi, Gordan Savin

    We prove that automorphic representations whose local components are certain small representations have multiplicity one. The proof is based on the multiplicity-one theorem for certain functionals of small representations, also proved in this paper.

  40. Semei Coronado-Ramírez, Pedro Celso-Arellano, Omar Rojas

    In this paper we investigate the adaptive market efficiency of the agricultural commodity futures market, using a sample of eight futures contracts. Using a battery of nonlinear tests, we uncover the nonlinear serial dependence in the returns series. We run the Hinich portmanteau bicorrelation test to uncover the moments in which the nonlinear serial depende

  41. Madhuresh

    We prove a general lemma for deriving contraction rates for linear inverse problems with non parametric nonconjugate priors. We then apply it to get contraction rates for both mildly and severely ill posed linear inverse problems with Gaussian priors in non conjugate cases. In the severely illposed case, our rates match the minimax rates using scalable prior

  42. Nidhi Lal

    Mobile ad hoc network (MANET) is now days become very famous due to their fixed infrastructure-less quality and dynamic nature. They contain a large number of nodes which are connected and communicated to each other in wireless nature. Mobile ad hoc network is a wireless technology that contains high mobility of nodes and does not depend on the background ad

  43. Ryan Hynd

    We consider the problem of finding $λ\in \mathbb{R}$ and a function $u:\mathbb{R}^n\rightarrow\mathbb{R}$ that satisfy the PDE $$ \max\left\{λ+ F(D^2u) -f(x),H(Du)\right\}=0, \quad x\in \mathbb{R}^n. $$ Here $F$ is elliptic, positively homogeneous and superadditive, $f$ is convex and superlinear, and $H$ is typically assumed to be convex. Examples of this ty

  44. M. Abo-Elhamayel

    Rough set theory is a new mathematical approach to imperfect knowledge. The notion of rough sets is generalized by using an arbitrary binary relation on attribute values in information systems, instead of the trivial equality relation. The topology induced by binary relations is used to generalize the basic rough set concepts. This paper studies near approxi

  45. Luc Montagnier, Emilio Del Giudice, Jamal Aïssa, Claude Lavallee

    The experimental conditions by which electromagnetic signals (EMS) of low frequency can be emitted by diluted aqueous solutions of some bacterial and viral DNAs are described. That the recorded EMS and nanostructures induced in water carry the DNA information (sequence) is shown by retrieval of that same DNA by classical PCR amplification using the TAQ polym

  46. Ryosuke Yano, Arnaud Martin

    In this paper, we discuss one dimensional inelastic relativistic-collisions in the framework of the relativistic kinetic theory. In particular, we focus on the relativistic effects on time evolutions of the temperature and flow velocity under the spatially homogeneous state. As a result of the relativistic effects, we obtain the characteristic time evolution

  47. Shrinivas Kudekar, Tom Richardson, Aravind Iyengar

    We consider the effect of log-likelihood ratio saturation on belief propagation decoder low-density parity-check codes. Saturation is commonly done in practice and is known to have a significant effect on error floor performance. Our focus is on threshold analysis and stability of density evolution. We analyze the decoder for standard low-density parity-chec

  48. Pedro Orea, Gerardo Odriozola

    Aiming to approach the thermodynamical properties of hard-core systems by standard molecular dynamics simulation, we propose setting a repulsive constant-force for overlapping particles. That is, the discontinuity of the pair potential is replaced by a linear function with a large negative slope. Hence, the core-core repulsion, usually modeled with a power f

  49. Gerardo Odriozola

    Recently reported colloidal aggregation data obtained for different monovalent salts (NaCl, NaNO$_3$, and NaSCN) and at high electrolyte concentrations are matched with the stochastic solutions of the master equation to obtain bond average lifetimes and bond formation probabilities. This was done for a cationic and an anionic system of similar particle size

  50. Xu Wang, Maite Brandt-Pearce, Suresh Subramaniam

    Compared to legacy wavelength division multiplexing networks, elastic optical networks (EON) have added flexibility to network deployment and management. EONs can include previously available technology, such as signal regeneration and wavelength conversion, as well as new features such as finer-granularity spectrum assignment and modulation conversion. Yet

  51. Ashwini Aroskar, James Cummings

    Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of r

  52. Harald Grobner

    Let $G={\rm GL}_{2n}$ over a totally real number field $F$ and $n\geq 2$. Let $Π$ be a cuspidal automorphic representation of $G(\mathbb A)$, which is cohomological and a functorial lift from SO$(2n+1)$. The latter condition can be equivalently reformulated that the exterior square $L$-function of $Π$ has a pole at $s=1$. In this paper, we prove a rationalit

  53. Carl Boettiger, Marc Mangel, Stephan Munch

    Model uncertainty and limited data are fundamental challenges to robust management of human intervention in a natural system. These challenges are acutely highlighted by concerns that many ecological systems may contain tipping points, such as Allee population sizes. Before a collapse, we do not know where the tipping points lie, if they exist at all. Hence,

  54. Julien Salmon, Robin M. Canup

    Impacts that leave the Earth-Moon system with a large excess in angular momentum have recently been advocated as a means of generating a protolunar disc with a composition that is nearly identical to that of the Earth's mantle. We here investigate the accretion of the Moon from discs generated by such "non-canonical" impacts, which are typically

  55. Ayoub Bagheri, Mohamad Saraee

    In the recent decade, with the enormous growth of digital content in internet and databases, sentiment analysis has received more and more attention between information retrieval and natural language processing researchers. Sentiment analysis aims to use automated tools to detect subjective information from reviews. One of the main challenges in sentiment an

  56. Ivan Reshetnikov

    A subset $M \subset \textbf{R}^3$ is called a \emph{basic subset}, if for any funciton $f \colon M \to \textbf{R}$ there exist such functions $f_1; f_2; f_3 \colon \textbf{R} \to \textbf{R}$ that $f(x_1, x_2, x_3) = f_1(x_1) + f_2(x_2) + f_3(x_3)$ for each point $(x_1, x_2, x_3)\in M$. In this article we prove a criterion for a basic subset for some specific

  57. Gia Dvali, Cesar Gomez

    We show that a positive cosmological constant is incompatible with the quantum-corpuscular resolution of de Sitter metric in form of a coherent state. The reason is very general and is due to the quantum self-destruction of the coherent state because of the scattering of constituent graviton quanta. This process creates an irreversible quantum clock, which p

  58. Ludwik Turko

    The notion of temperature in many body elementary particle processes is in a common use for decades. Thermal models have become simple and universal effective tools to describe particle production -- not only in high energy heavy ion collisions but also in high energy elementary particle collisions. We perform a critical analysis of the temperature concepts

  59. Michal Artymowski, Zygmunt Lalak, Marek Lewicki

    We consider the Brans-Dicke theory motivated by the $f(R) = R + αR^n - βR^{2-n}$ model to obtain a stable minimum of the Einstein frame scalar potential of the Brans-Dicke field. As a result we have obtained an inflationary scalar potential with non-zero value of residual vacuum energy, which may be a source of Dark Energy. In addition we discuss the probabi

  60. A. Girouard, R. S. Laugesen, B. A. Siudeja

    We investigate isoperimetric upper bounds for sums of consecutive Steklov eigenvalues of planar domains. The normalization involves the perimeter and scale-invariant geometric factors which measure deviation of the domain from roundness. We prove sharp upper bounds for both starlike and simply connected domains, for a large collection of spectral functionals

  61. Gianluca Giovannetti, Massimo Capone, Jeroen van den Brink, Carmine Ortix

    Using density-functional theory, we calculate the electronic bandstructure of single-layer graphene on top of hexagonal In_2Te_2 monolayers. The geometric configuration with In and Te atoms at centers of carbon hexagons leads to a Kekule' texture with an ensuing bandgap of 20 meV. The alternative structure, nearly degenerate in energy, with the In and Te

  62. Tsz Ho Chan

    In this paper, we study the average size of the product of a number and its multiplicative inverse modulo a prime p. This turns out to be related to moments of L-functions and leads to a curious asymptotic formula for a certain triple exponential sum.

  63. Francisco Frutos-Alfaro, Frank Grave, Thomas Mueller, Daria Adis

    We investigate the light propagation by means of simulations of wavefronts and light cones for Kerr spacetimes. Simulations of this kind give us a new insight to better understand the light propagation in presence of massive rotating black holes. A relevant result is that wavefronts are back scattered with winding around the black hole. To generate these vis

  64. Rüdiger Staubert

    Her~X-1 is one of the most remarkable members of the class of binary X-ray pulsars. It does not only show a large number of observable features, but has repeatedly been the first object for which fundamental discoveries were made: it was the first to show a super-orbital modulation, the first to reveal a cyclotron line in its spectrum and the first in which

  65. John P. Barton, Eduardo D. Sontag

    The connection between optimal biological function and energy use, measured for example by the rate of metabolite consumption, is a current topic of interest in the systems biology literature which has been explored in several different contexts. In [J. P. Barton and E. D. Sontag, Biophys. J. 104, 6 (2013)], we related the metabolic cost of enzymatic futile

  66. Xing Gao, Li Guo, William Y. Sit, Shanghua Zheng

    In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting sys

  67. Evgueni Goudzovski

    A sample of $4.687\times 10^6$ fully reconstructed $K^\pm\toπ^\pmπ^0_D$, $π^0_D\toγe^+e^-$ decay candidates in the kinematic range $m_{ee}>10~{\rm MeV}/c^2$ with a negligible background contamination collected by the NA48/2 experiment at CERN in 2003-04 is analysed to search for the dark photon ($A'$) via the decay chain $K^\pm\toπ^\pmπ^0$, $π^0\toγA&#39

  68. M. Ghafari, M. Ranjbar, S. Rouhani

    We use field emission scanning electron microscope (FE-SEM) to investigate the growth of palladium colloids over the surface of thin films of WO3/glass. The film is prepared by Pulsed Laser Deposition (PLD) at different temperatures. A PdCl2 (aq) droplet is injected on the surface and in the presence of steam hydrogen the droplet is dried through a reduction

  69. S. Coriasco, J. Toft

    We construct a calculus for generalized $\mathbf{SG}$ Fourier integral operators, extending known results to a broader class of symbols of $\mathbf{SG}$ type. In particular, we do not require that the phase functions are homogeneous. We also prove the $L^2(\mathbf{R}^{d})$-boundedness of the generalized $\mathbf{SG}$ Fourier integral operators having regular

  70. Q. -Q. Li, X. Zhang, W. -P. Han, Y. Lu

    Edges naturally exist in a single-layer graphene sample. Similarly, individual graphene layers in a multilayer graphene sample contribute their own edges. We study the Raman spectrum at the edge of a graphene layer laid on n layer graphene (nLG). We found that the D band observed from the edge of the top graphene layer exhibits an identical line shape to tha

  71. Daciberg Gonçalves, Parameswaran Sankaran

    We say that $x,y\in Γ$ are in the same $ϕ$-twisted conjugacy class and write $x\sim_ϕy$ if there exists an element $γ\in Γ$ such that $y=γxϕ(γ^{-1})$. This is an equivalence relation on $Γ$ called the $ϕ$-twisted conjugacy. Let $R(ϕ)$ denote the number of $ϕ$-twisted conjugacy classes in $Γ$. If $R(ϕ)$ is infinite for all $ϕ\in Aut(Γ)$, we say that $Γ$ has t

  72. Hiroki Matsui, Ryo Takahashi

    This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal Cohen--Macaulay module is a direct summand of a maximal Cohen--Macaulay approximation of a (Cohen--Macaulay) module of codim

  73. Robert Mansel Gower, Jacek Gondzio

    At the heart of Newton based optimization methods is a sequence of symmetric linear systems. Each consecutive system in this sequence is similar to the next, so solving them separately is a waste of computational effort. Here we describe automatic preconditioning techniques for iterative methods for solving such sequences of systems by maintaining an estimat

  74. Jianqiang Zhao

    The multiple zeta values (MZVs) have been studied extensively in recent years. Currently there exist a few different types of $q$-analogs of the MZVs ($q$-MZVs) defined and studied by mathematicians and physicists. In this paper, we give a uniform treatment of these $q$-MZVs by considering their double shuffle relations (DBSFs) and duality relations. The mai

  75. Marco Martens, Björn Winckler

    A physical measure on the attractor of a system describes the statistical behavior of typical orbits. An example occurs in unimodal dynamics. Namely, all infinitely renormalizable unimodal maps have a physical measure. For Lorenz dynamics, even in the simple case of infinitely renormalizable systems, the existence of physical measures is more delicate. In th

  76. Yujiro Kawamata

    We prove derived McKay correspondence in special cases and the decomposition of toric K-equivalence into flops.

  77. L. Benussi, S. Bianco, L. Passamonti, D. Piccolo

    The RPC muon detector of the CMS experiment at the LHC (CERN, Geneva, Switzerland) is equipped with a Gas Gain Monitoring (GGM) system. A report on the stability of the system during the 2011-2012 data taking run is given, as well as the observation of an effect which suggests a novel method for the monitoring of gas mixture composition.

  78. V. K. Dobrev

    In the present paper we review our project of systematic construction of invariant differential operators on the example of the non-compact algebras su(n,n) for n=2,3,4. We give explicitly the main multiplets of indecomposable elementary representations and some reduced multiplets. We give explicitly the minimal representations. Due to the recently establish

  79. Varadarajan Parthasarathy, Wlodek Kluzniak

    Our goal is to perform global simulations of thin accretion discs around compact bodies like neutron stars with dipolar magnetic profile and black holes by exploiting the facilities provided by state-of-the-art grid-based, high resolution shock capturing (HRSC) and finite volume codes. We have used the Godunov-type code PLUTO to simulate a thin disc around a

  80. Andrei Khrennikov

    In this paper we present results of numerical simulation based on Prequantum Classical Statistical Field Theory (PCSFT), a model with hidden variables of the field-type reproducing probabilistic predictions of quantum mechanics (QM). PCSFT is combined with measurement theory based on detectors of the threshold type. The latter describes discrete events corre

  81. Ana Prlić

    Let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ be the Cartan decomposition of the complexified Lie algebra $\mathfrak{g}=\mathfrak{sl}(3,\mathbb{C})$ of the group $G=SU(2,1)$. Let $K=S(U(2) \times U(1))$; so $K$ is a maximal compact subgroup of $G$. Let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$, and let $C(\mathfrak{p})$

  82. Sarah Borchardt, Markus Selmke

    We describe the intensity distribution of the parhelic circle for plate-oriented hexagonal ice crystals at very low solar elevations using geometrical optics. An experimental as well as theoretical study of in-plane ray-paths provides details on the mechanism for several halos, including the parhelia, the $120^{\circ}$ parhelia, the blue spot and the Liljequ

  83. G. I. Lykasov, A. A. Grinyuk, I. V. Bednyakov, Yu. Yu. Stepanenko

    Up to now, the existence of intrinsic (or valence-like) heavy quark components of the proton distribution function has not yet been confirmed or rejected. We show that this hypothesis can be verified at experiments on the inclusive production of the open strangeness (NA61) and at measurements of prompt photons or vector bosons accompanied by heavy flavour je

  84. Mansaf Alam, Kashish Ara Shakil

    Cloud environment is very different from traditional computing environment and therefore tracking the performance of cloud leverages additional requirements. The movement of data in cloud is very fast. Hence, it requires that resources and infrastructure available at disposal must be equally competent. Infrastructure level performance in cloud involves the p

  85. Mansaf Alam, Kashish Ara Shakil

    Cloud computing is a technological advancement in the arena of computing and has taken the utility vision of computing a step further by providing computing resources such as network, storage, compute capacity and servers, as a service via an internet connection. These services are provided to the users in a pay per use manner subjected to the amount of usag

  86. Mattia Dalla Brida, Stefan Sint

    The chirally rotated Schrödinger functional for Wilson-fermions allows for finite-volume, mass-independent renormalization schemes compatible with automatic O($a$) improvement. So far, in QCD, the set-up has only been studied in the quenched approximation. Here we present first results for $N_{\rm f} = 2$ dynamical quark-flavours for several renormalization

  87. Smritijit Sen, Haranath Ghosh

    Fermiology of various 122 systems are studied through first principles simulation. Electron doping causes expansion of electron and shrinkage of hole Fermi pockets. Isovalent Ru substitution (upto 35%) makes no visible modification in the electron and hole like FSs providing no clue regarding the nature of charge carrier doping. However, in case of 32% P dop

  88. Sam Safavi, Usman A. Khan

    In this paper, we investigate asymptotic stability of linear time-varying systems with (sub-) stochastic system matrices. Motivated by distributed dynamic fusion over networks of mobile agents, we impose some mild regularity conditions on the elements of time-varying system matrices. We provide sufficient conditions under which the asymptotic stability of th

  89. Wei-Cheng Kong, Guang-Wei Deng, Shu-Xiao Li, Hai-Ou Li

    We report a technique that can noninvasively add multiple DC wires into a 3D superconducting microwave cavity for electronic devices that require DC electrical terminals. We studied the influence of our DC lines on the cavity performance systematically. We found that the quality factor of the cavity is reduced if any of the components of the electrical wires

  90. Taha Sochi

    Several deterministic and stochastic multi-variable global optimization algorithms (Conjugate Gradient, Nelder-Mead, Quasi-Newton, and Global) are investigated in conjunction with energy minimization principle to resolve the pressure and volumetric flow rate fields in single ducts and networks of interconnected ducts. The algorithms are tested with seven typ

  91. Hiroki Takahasi

    We develop a thermodynamic formalism for a strongly dissipative Hénon-like map at the first bifurcation parameter at which the uniform hyperbolicity is destroyed by the formation of tangencies inside the limit set. For any $t\in\mathbb R$ we prove the existence of an invariant Borel probability measure which minimizes the free energy associated with a non co

  92. Xuan-Son Vu, Seong-Bae Park

    SentiWordNet is an important lexical resource supporting sentiment analysis in opinion mining applications. In this paper, we propose a novel approach to construct a Vietnamese SentiWordNet (VSWN). SentiWordNet is typically generated from WordNet in which each synset has numerical scores to indicate its opinion polarities. Many previous studies obtained thes

  93. Akihiro Shibata, Kei-Ichi Kondo, Seikou Kato, Toru Shinohara

    In oder to investigate quark confinement, we give a new reformulation of the $SU(N)$ Yang-Mills theory on a lattice and present the results of the numerical simulations of the $SU(3)$ Yang-Mills theory on a lattice. The numerical simulations include the derivation of the linear potential for static interquark potential, i.e., non-vanishing string tension, in

  94. Kei-Ichi Kondo, Seikou Kato, Akihiro Shibata, Toru Shinohara

    We propose the reformulations of the $SU(N)$ Yang-Mills theory toward quark confinement and mass gap. In fact, we have given a new framework for reformulating the $SU(N)$ Yang-Mills theory using new field variables. This includes the preceding works given by Cho, Faddeev and Niemi, as a special case called the maximal option in our reformulations. The advant

  95. Jason Castiglione

    This paper highlights security issues that can arise when incorrect assumptions are made on the capabilities of an eavesdropper. In particular, we analyze a channel model based on a split Binary Symmetric Channel (BSC). Corresponding security parameters are chosen based on this channel model, and assumptions on the eavesdroppers capabilities. A gradual relax

  96. Hiroyuki Masuyama, Tetsuya Takine

    This paper considers a work-conserving FIFO single-server queue with multiple batch Markovian arrival streams governed by a continuous-time finite-state Markov chain. A particular feature of this queue is that service time distributions of customers may be different for different arrival streams. After briefly discussing the actual waiting time distributions

  97. Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho, Jiamou Liu

    We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time $O(\log n)$ for query operation and $O(d\log^2 n)$ for insertion and removal operations, where $n$ and $d$ are the maximal numbers of intervals and pairwise overlapping intervals respectively. We also show that for a monotonic set, that is when no inte

  98. Mohammad Javad Dousti, Alireza Shafaei, Massoud Pedram

    Quantum algorithms for solving problems of interesting size often result in circuits with a very large number of qubits and quantum gates. Fortunately, these algorithms also tend to contain a small number of repetitively-used quantum kernels. Identifying the quantum logic blocks that implement such quantum kernels is critical to the complexity management for

  99. Mohammad Javad Dousti, Massoud Pedram

    Quantum computers are exponentially faster than their classical counterparts in terms of solving some specific, but important problems. The biggest challenge in realizing a quantum computing system is the environmental noise. One way to decrease the effect of noise (and hence, reduce the overhead of building fault tolerant quantum circuits) is to reduce the

  100. Jozsef Mezei, Peter Sarlin

    The policy objective of safeguarding financial stability has stimulated a wave of research on systemic risk analytics, yet it still faces challenges in measurability. This paper models systemic risk by tapping into expert knowledge of financial supervisors. We decompose systemic risk into a number of interconnected segments, for which the level of vulnerabil