January 2011 arXiv papers — page 18

Luca Padovani

We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions

Jana Dunfield

Intersection and union types denote conjunctions and disjunctions of properties. Using bidirectional typechecking, intersection types are relatively straightforward, but union types present challenges. For union types, we can case-analyze a subterm of union type when it appears in evaluation position (replacing the subterm with a variable, and checking that

Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca

We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where

Steffen van Bakel

In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.

Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti

The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a log

Adriana Compagnoni, Healfdene Goguen

Type theories with higher-order subtyping or singleton types are examples of systems where computation rules for variables are affected by type information in the context. A complication for these systems is that bounds declared in the context do not interact well with the logical relation proof of completeness or termination. This paper proposes a natural m

Taha Sochi

The `no-slip' is a fundamental assumption and generally-accepted boundary condition in rheology, tribology and fluid mechanics with strong experimental support. The violations of this condition, however, are widely recognized in many situations, especially in the flow of non-Newtonian fluids. Wall slip could lead to large errors and flow instabilities, s

Wesley Pegden

J. Beck has shown that if two players alternately select previously unchosen points from the plane, Player 1 can always build a congruent copy of any given finite goal set G, in spite of Player 2's efforts to stop him. We give a finite goal set G (it has 5 points) which Player 1 cannot construct before Player 2 in this achievement game played in the plan

Gestur Olafsson, Joseph A. Wolf

We extend the Paley--Wiener theorem for riemannian symmetric spaces to an important class of infinite dimensional symmetric spaces. For this we define a notion of propagation of symmetric spaces and examine the direct (injective) limit symmetric spaces defined by propagation. This relies on some of our earlier work on invariant differential operators and the

Emily M. Levesque

We have conducted the first dedicated spectroscopic survey of long-duration gamma-ray burst (LGRB) host galaxies at z < 1, and use these observations along with data from the literature to determine a wide range of ISM properties and a statistically robust mass-metallicity relation. LGRBs have been proposed as possible tracers of star formation at high redsh

Wesley Pegden

The erosion of a set in Euclidean space by a radius r>0 is the subset of X consisting of points at distance >/-r from the complement of X. A set is resilient to erosion if it is similar to its erosion by some positive radius. We give a somewhat surprising characterization of resilient sets, consisting in one part of simple geometric constraints on convex res

Daniel Sevcovic, Shigetoshi Yazaki

We study evolution of a closed embedded plane curve with the normal velocity depending on the curvature, the orientation and the position of the curve. We propose a new method of tangential redistribution of points by curvature adjusted control in the tangential motion of evolving curves. The tangential velocity distributes grid points along the curve not on

Sasha Sodin

For a class of random band matrices of band width $W$, we prove regularity of the average spectral measure at scales $ε\geq W^{-0.99}$, and find its asymptotics at these scales.

J. M. M. Hall, F. X. Lee, D. B. Leinweber, K. F. Liu

Chiral effective field theory can provide valuable insight into the chiral physics of hadrons when used in conjunction with non-perturbative schemes such as lattice QCD. In this discourse, the attention is focused on extrapolating the mass of the rho meson to the physical pion mass in quenched QCD (QQCD). With the absence of a known experimental value, this

V. Barger, Y. Gao, D. Marfatia

With the augmentation of IceCube by DeepCore, the prospect for detecting dark matter annihilation in the Sun is much improved. To complement this experimental development, we provide a thorough template analysis of the particle physics issues that are necessary to precisely interpret the data. Our study is about nitty-gritty and is intended as a framework fo

Orit Arzi, Yonatan Aumann, Yair Dombb

We consider the problem of fairly dividing a heterogeneous cake between a number of players with different tastes. In this setting, it is known that fairness requirements may result in a suboptimal division from the social welfare standpoint. Here, we show that in some cases, discarding some of the cake and fairly dividing only the remainder may be socially

Fa Wang, Fan Yang, Miao Gao, Zhong-Yi Lu

We studied the pairing instabilities in K$_x$Fe$_{2-y}$Se$_2$ using a two stage functional renormalization group (FRG) method. Our results suggest the leading and subleading pairing symmetries are nodeless $d_{x^2-y^2}$ and nodal extended $s$ respectively. In addition, despite having no Fermi surfaces we find the buried hole bands make important contribution

Romuald Lenczewski

We study the addditon problem for strongly matricially free random variables which generalize free random variables. Using operators of Toeplitz type, we derive a linearization formula for the `matricial R-transform&#39; related to the associated convolution. It is a linear combination of Voiculescu&#39;s R-transforms in free probability with coefficients gi

Guohui Song, Haizhang Zhang, Fred J. Hickernell

Targeting at sparse learning, we construct Banach spaces B of functions on an input space X with the properties that (1) B possesses an l1 norm in the sense that it is isometrically isomorphic to the Banach space of integrable functions on X with respect to the counting measure; (2) point evaluations are continuous linear functionals on B and are representab

Guohuai Zhu

In this paper we discuss the excess gamma rays from the Galactic center, the WMAP haze and the CoGeNT and DAMA results in WIMPless models. At the same time we also investigate the low energy constraints from the anomalous magnetic moment of leptons and from some lepton flavor violating decays. It is found that, for scalar or vector WIMPless dark matter, neit

F. Murányi, M. Bendele, R. Khasanov, Z. Guguchia

Muon spin rotation (muSR) experiments were performed on the intercalated graphite CaC6 in the normal and superconducting state down to 20 mK. In addition, AC magnetization measurements were carried out resulting in an anisotropic upper critical field Hc2, from which the coherence lengths xi_ab(0)=36.3(1.5) nm and xi_c(0)=4.3(7) nm were estimated. The anisotr

Luis C. Barbado, Carlos Barceló, Luis J. Garay

We use a method recently introduced in Barceló et al (2011 Phys. Rev. D 83 41501), to analyse Hawking radiation in a Schwarzschild black hole as perceived by different observers in the system. The method is based on the introduction of an &#39;effective temperature&#39; function that varies with time. First we introduce a non-stationary vacuum state for a qu

Roland Quême

Let $p$ be an irregular prime and $K=\Q(ζ)$ the $p$-cyclotomic field. Let $σ$ be a $\Q$-isomorphism of $K$ generating $Gal(K/\Q)$. Let $S/K$ be a cyclic unramified extension of degree $p$, defined by $S= K(A^{1/p})$ where $A\in K\backslash K^p$, $A\Z_K=\mk a^p$ with $\mk a$ non-principal ideal of $\Z_K$, $A^{σ-μ}\in K^p$ and $μ\in{\bf F}_p$. We compute expli

Mircea Cimpoeas

We define vertex cover algebras for weighted simplicial multicomplexes and prove basics properties of them. Also, we describe these algebras for multicomplexes which have only one maximal facet and we prove that they are finitely generated.

Stephen Casey, Maciej Dunajski, Gary Gibbons, Claude Warnick

Trajectories of light rays in a static spacetime are described by unparametrised geodesics of the Riemannian optical metric associated with the Lorentzian spacetime metric. We investigate the uniqueness of this structure and demonstrate that two different observers, moving relative to one another, who both see the universe as static may determine the geometr

Adam Strzebonski, Elias Tsigaridas

We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial in $B_α \in L[y]$, where $L=\QQ(α)$ is a simple algebraic extension of the rational numbers. We consider two approaches for tackling the problem. In the first approach using resultant computations we perform a reduction to a po

Xiaoxin Ma, Lei Yang, Xueshi Guo, Xiaoying Li

Correlated signal and idler photon pairs with small detuning in the telecom band can be generated through spontaneous four-wave mixing in dispersion shift fibers. However, photons originated from other nonlinear processes in optical fibers, such as Raman scattering and self-phase modulation, may contaminate the photon pairs. It has been proved that photons p

Romain Demazeux

We complete the different cases remaining in the estimation of the essential norm of a weighted composition operator acting between the Hardy spaces $H^p$ and $H^q$ for $1\leq p,q\leq\infty.$ In particular we give some estimates for the cases $1=p\leq q\leq\infty$ and $1\leq q<p\leq\infty.$

Alexandre Miquel

We show how to extract existential witnesses from classical proofs using Krivine&#39;s classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for f

Thomas Bauer, Cristiano Bocci, Susan Cooper, Sandra Di Rocco

In the week 3--9, October 2010, the Mathematisches Forschungsinstitut at Oberwolfach hosted a mini workshop Linear Series on Algebraic Varieties. These notes contain a variety of interesting problems which motivated the participants prior to the event, and examples, results and further problems which grew out of discussions during and shortly after the works

Chian-Shu Chen, Chia-Min Lin

We consider the possibility to combine inflection point inflation and growing neutrino dark energy in a particular setup of bimodal/schizophrenic neutrino model in the framework of MSSM$\otimes U(1)_{B-L}$. In order to obtain a varying neutrino mass, we make an assumption that a soft mass of $\tilde{Z&#39;}_{BL}$ depends on a scalar field which plays the rol

Roberto Bondesan, Jesper Lykke Jacobsen, Hubert Saleur

The sigma models on projective superspaces CP^{N+M-1|N} with topological angle theta=pi mod 2pi flow to non-unitary, logarithmic conformal field theories in the low-energy limit. In this paper, we determine the exact spectrum of these theories for all open boundary conditions preserving the full global symmetry of the model, generalizing recent work on the p

Biplob Bhattacherjee, Gautam Bhattacharyya, Sreerup Raychaudhuri

Observation of some low-energy processes in the flavor physics regime may require the existence of supersymmetry with two relatively large R-parity-violating couplings of the LQD-type, together with reasonably light superparticles. At the LHC, such interactions would be expected to give rise to clear signals with convenient leptonic triggers, including some

Giuseppe Castagnoli

We explain the mechanism of the quantum speed-up - quantum algorithms requiring fewer computation steps than their classical equivalent - for a family of algorithms. Bob chooses a function and gives to Alice the black box that computes it. Alice, without knowing Bob&#39;s choice, should find a character of the function (e. g. its period) by computing its val

A. F. Kord, A. Yazdanian

We present the full two-loop $β$-functions for the minimal supersymmetric standard model couplings, extended to include R-parity violating couplings through explicit R-parity violation.

Oleg I. Mokhov

The paper is devoted to complete proofs of theorems on consistency on cubic lattices for $3 \times 3$ determinants. The discrete nonlinear equations on $\mathbb{Z}^2$ defined by the condition that the determinants of all $3 \times 3$ matrices of values of the scalar field at the points of the lattice $\mathbb{Z}^2$ that form elementary $3 \times 3$ squares v

M. Jahangiri, N. Shirmohammadi, Sh. Tahamtan

Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th g

Anil Kumar Yadav

The paper deals with Bianchi type V Universe, which has dynamical energy density. We consider Bianchi type V space-time, introducing three different skewness parameters along spatial directions to quantify the deviation of pressure from isotropy. To study the anisotropic nature of the dynamical dark energy, we assume that the skewness parameters are time dep

Andrey V. Tsiganov

A rigid body in an ideal fluid is an important example of Hamiltonian systems on a dual to the semidirect product Lie algebra $e(3) = so(3)\ltimes\mathbb R^3$. We present the bi-Hamiltonian structure and the corresponding variables of separation on this phase space for the Steklov-Lyapunov system and it&#39;s gyrostatic deformation.

Rafe Jones, Michelle Manes

For a number field K with absolute Galois group G_K, we consider the action of G_K on the infinite tree of preimages of a point in K under a degree-two rational function phi, with particular attention to the case when phi commutes with a non-trivial Mobius transfomation. In a sense this is a dynamical systems analogue to the l-adic Galois representation atta

Phanindra Tallapragada

The problem of phase space transport which is of interest both theoretically and from the point of view of applications has been investigated extensively using geometric and probabilistic methods. Two of the important tools for this that emerged in the last decade are the Finite time Lyapunov exponents (FTLE) and the Perron-Frobenius operator. The relationsh

Daniel Asenjo, Fernando Lund, Simón Poblete, Rodrigo Soto

A molecular dynamics study of a two dimensional system of particles interacting through a Lennard-Jones pairwise potential is performed at fixed temperature and vanishing external pressure. As the temperature is increased, a solid-to-liquid transition occurs. When the melting temperature $T_c$ is approached from below, there is a proliferation of dislocation

E. Chibrikov

In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of (nonassociative) words of generators and a+b=c, where a,b,c are generators.

Jae-Suk Park

This is the first in a series of papers on an attempt to understand quantum field theory mathematically. In this paper we shall introduce and study BV QFT algebra and BV QFT as the proto-algebraic model of quantum field theory by exploiting Batalin-Vilkovisky quantization scheme. We shall develop a complete theory of obstruction (anomaly) to quantization of

Răzvan Deaconescu, Marius Sandu-Popa, Adriana Drăghici, Nicolae Tăpus

Peer-to-Peer protocols currently form the most heavily used protocol class in the Internet, with BitTorrent, the most popular protocol for content distribution, as its flagship. A high number of studies and investigations have been undertaken to measure, analyse and improve the inner workings of the BitTorrent protocol. Approaches such as tracker message ana

V. D. Ivashchuk, V. N. Melnikov

A multidimensional gravitational model containing scalar fields and antisymmetric forms is considered. The manifold is chosen in the form M = M_0 x M_1 x ... x M_n, where M_i are Einstein spaces (i > 0). The sigma-model approach and exact solutions with intersecting composite branes (e.g., solutions with harmonic functions and black brane ones) with intersec

H. V. Ribeiro, R. S. Mendes, E. K. Lenzi, M. P. Belancon

We investigate the dynamics of many interacting bubbles in boiling water by using a laser scattering experiment. Specifically, we analyze the temporal variations of a laser intensity signal which passed through a sample of boiling water. Our empirical results indicate that the return interval distribution of the laser signal does not follow an exponential di

Christopher J. Fluke, Paul D. Lasky

Flexion-based weak gravitational lensing analysis is proving to be a useful adjunct to traditional shear-based techniques. As flexion arises from gradients across an image, analytic and numerical techniques are required to investigate flexion predictions for extended image/source pairs. Using the Schwarzschild lens model, we demonstrate that the ray-bundle m

Oscar Loaiza-Brito

We review some topological effects on the construction of string flux-vacua. Specifically we study the effects of brane-flux transitions on the stability of D-branes on a generalized tori compactificaction, the transition that a black hole suffers in a background threaded with fluxes and the connections among some Minkowsky vacua solutions.

José P. Mimoso, Francisco S. N. Lobo

Scalar-tensor (ST) gravity theories provide an appropriate theoretical framework for the variation of Newton&#39;s fundamental constant, conveyed by the dynamics of a scalar-field non-minimally coupled to the space-time geometry. The experimental scrutiny of scalar-tensor gravity theories has led to a detailed analysis of their post-newtonian features, and i

Massimo Persic, Yoel Rephaeli

Adopting the convection-diffusion model for energetic electron and proton propagation, and accounting for all the relevant hadronic and leptonic processes, the steady-state energy distributions of these particles in the starburst galaxies M82 and NGC253 can be determined with a detailed numerical treatment. The electron distribution is directly normalized by

Jens Hoppe, Maciej Trzetrzelewski

The question of Lorentz invariance for finite N approximations of relativistic membranes is addressed. We find that one of the classical manifestations of Lorentz-invariance is not possible for NxN matrices (at least when N=2 or 3). How the symmetry is restored in the large N limit is studied numerically.

Dehbia Achab, Jacques Faraut

We revisit with another view point the construction by R. Brylinski and B. Kostant of minimal representations of simple Lie groups. We start from a pair $(V,Q)$, where $V$ is a complex vector space and $Q$ a homogeneous polynomial of degree 4 on $V$. The manifold $Ξ$ is an orbit of a covering of ${\rm Conf}(V,Q)$, the conformal group of the pair $(V,Q)$, in

Vesko Valov

Using a factorization theorem due to Pasynkov we provide a short proof of the existence and density of parametric Bing and Krasinkiewicz maps. In particular, the following corollary is established: Let $f\colon X\to Y$ be a surjective map between paracompact spaces such that all fibers $f^{-1}(y)$, $y\in Y$, are compact and there exists a map $g\colon X\to\m

George D. Becker, Wallace L. W. Sargent, Michael Rauch, Alexander P. Calverley

We present a survey for low-ionization metal absorption line systems towards 17 QSOs at redshifts z_em=5.8-6.4. Nine of our objects were observed at high resolution with either Keck/HIRES or Magellan/MIKE, and the remainder at moderate resolution with Keck/ESI. The survey spans 5.3 < z_abs < 6.4 and has a pathlength interval ΔX=39.5, or Δz=8.0. In total we d

Jacek Mulak, Maciej Mulak

The physically correct parametrization of the energy levels of transition ions in crystals in terms of crystal-field (CF) Hamiltonians ${\cal H}_{\rm CF}=\sum_{k}\sum_{q}B_{kq}C_{q}^{(k)}$ has to be based on the CF parameters $B_{kq}$ that lead to the correct CF splitting second moments, both the global one $σ$ and the partial ones $σ_{k}$. Only such paramet

Patrick Achenbach

An instrument of central importance for the strangeness photo- and electroproduction at the 1.5-GeV electron beam of the MAMI accelerator at the Institut für Kernphysik in Mainz, Germany, is the newly installed magnetic spectrometer Kaos that is operated by the A1 collaboration in $(e,e&#39;K)$ reactions on the proton or light nuclei. Its compact design and

Bogdan Cichocki, Maria L. Ekiel-Jezewska, G. Naegele, E. Wajnryb

For suspensions of permeable particles, the short-time translational and rotational self-diffusion coefficients, and collective diffusion and sedimentation coefficients are evaluated theoretically. An individual particle is modeled as a uniformly permeable sphere of a given permeability, with the internal solvent flow described by the Debye-Bueche-Brinkman e

Patrick Achenbach

In the new millennium hypernuclear physics is undergoing a renewed interest, both theoretically and experimentally.

Patrick Achenbach

At the Institut für Kernphysik in Mainz, Germany, the microtron MAMI has been upgraded to 1.5-GeV electron beam energy. The magnetic spectrometer Kaos is now operated by the A1 collaboration to study strangeness electro-production. Its compact design and its capability to detect negative and positive charged particles simultaneously under forward scattering

Bo Zhou, Aleksandar Ilic

For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graph

Patrick Achenbach

The electromagnetic kaon production amplitudes associated to Lambda/Sigma hyperons can be described by phenomenological models, most notably by isobar approaches. Experimental data on kaon production have been collected at ELSA, SPring8, GRAAL, LNS Tohoku, and Jefferson Lab in the past, the measurements at Jefferson Lab providing the largest kinematic covera

Martin Schneider, Dmitry A. Bagrets, Alexander D. Mirlin

We develop a theoretical description of interaction-induced phenomena in an electronic Mach-Zehnder interferometer formed by integer quantum Hall edge states (with ν=1 and 2 channels) out of equilibrium. Using the non-equilibrium functional bosonization framework, we derive an effective action which contains all the physics of the problem. We apply the theor

Evgeny Nerush, Igor Kostyukov

We present the results of kinetic modelling of quantum effects in laser-beam interaction. In the developed numerical model, electron-positron pair production by hard photons, hard photon emission and the electromagnetic fields generated by the created charged particles are taken into account. Interaction of a relativistic electron beam with a strong laser pu

Ahmed Younes

Non-Trivial Reversible Identities (NTRIs) are reversible circuits that have equal inputs and outputs. NTRIs cannot be detected using optimization algorithms in the literature. Existence of NTRIs in a circuit will cause a slow down by increasing the number of gates and the quantum cost. NTRIs might arise due to integration between two or more optimal reversib

M. F. Craciun, S. Russo, M. Yamamoto, S. Tarucha

Novel materials are in great demand for future applications. The discovery of graphene, a one atom thick carbon layer, holds the promise for unique device architectures and functionalities exploiting unprecedented physical phenomena. The ability to embed graphene materials in a double gated structure allowed on-chip realization of relativistic tunneling expe

L. Caffarelli, A. Mellet, Y. Sire

We prove the existence of a traveling wave solution for a boundary reaction diffusion equation when the reaction term is the combustion nonlinearity with ignition temperature. A key role in the proof is plaid by an explicit formula for traveling wave solutions of a free boundary problem obtained as singular limit for the reaction-diffusion equation (the so-c

Tobias Galla

When people play a repeated game they usually try to anticipate their opponents&#39; moves based on past observations, and then decide what action to take next. Behavioural economics studies the mechanisms by which strategic decisions are taken in these adaptive learning processes. We here investigate a model of learning the iterated prisoner&#39;s dilemma g

A. Fattahi, H. Javanshiri

In this paper we consider on the notion of continuous frame of subspace and define a new concept of continuous frame, entitled {\it continuous atomic resolution of identity}, for arbitrary Hilbert space $\h$ which has a countable reconstruction formula. Among the other result, we characterize the relationship between this new concept and other known continuo

V. V. Prosentsov

The reflectivity of photonic cluster is important property for nanophotonic applications especially when one needs to hide the cluster or to make it extremely visible. Currently, where are no methods clearly describing how to create the photonic cluster with the predefined reflectivity. In this paper several analytical methods are proposed to create the phot

Dawoud Ahmadi Dastjerdi, Sanaz Lamei

Let $Y$ be a topological Markov chain with finite leading and follower sets. Special flow over $Y$ whose height function depends on the time zero of elements of $Y$ is constructed. Then a formula for computing the entropy of this flow will be given. As an application, we give a lower estimate for the entropy of a class of geodesic flows on the modular surfac

Chen Avin, Michael Borokhovich, Keren Censor-Hillel, Zvi Lotker

In this paper we study gossip based information spreading with bounded message sizes. We use algebraic gossip to disseminate $k$ distinct messages to all $n$ nodes in a network. For arbitrary networks we provide a new upper bound for uniform algebraic gossip of $O((k+\log n + D)Δ)$ rounds with high probability, where $D$ and $Δ$ are the diameter and the maxi

X. -S. Wang, R. Wong

We use the Legendre polynomials and the Hermite polynomials as two examples to illustrate a simple and systematic technique on deriving asymptotic formulas for orthogonal polynomials via recurrence relations. Another application of this technique is to provide a solution to a problem recently raised by M. E. H. Ismail.

X. -S. Wang, R. Wong

Using the steepest descent method for oscillatory Riemann-Hilbert problems introduced by Deift and Zhou [Ann. Math. {\bf 137}(1993), 295-368], we derive asymptotic formulas for the Meixner polynomials in two regions of the complex plane separated by the boundary of a rectangle. The asymptotic formula on the boundary of the rectangle is obtained by taking lim

Gonzalo Garcia-Donato, Miguel Angel Martinez-Beneito

An important aspect of Bayesian model selection is how to deal with huge model spaces, since exhaustive enumeration of all the models entertained is unfeasible and inferences have to be based on the very small proportion of models visited. This is the case for the variable selection problem, with a moderate to large number of possible explanatory variables b

Marcus Cramer, Martin B. Plenio, Steven T. Flammia, David Gross

Quantum state tomography, the ability to deduce the state of a quantum system from measured data, is the gold standard for verification and benchmarking of quantum devices. It has been realized in systems with few components, but for larger systems it becomes infeasible because the number of quantum measurements and the amount of computation required to proc

Roger Nakad

In this paper, we extend the Hijazi type inequality, involving the Energy-Momentum tensor, to the eigenvalues of the Dirac operator on complete Riemannian Spin$^c$ manifolds without boundary and of finite volume. Under some additional assumptions, using the refined Kato inequality, we prove the Hijazi type inequality for elements of the essential spectrum. T

Elisa Burato, Matteo Cristani, Luca Viganò

Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the problem of MN by means of argumentations schemes, beliefs merging and information fusion operators, and ontology alignment but the proposed approaches depend upon the number of particip

David Avisar, David J. Tannor

Probing the real time dynamics of a reacting molecule remains one of the central challenges in chemistry. In this letter we show how the time-dependent wavefunction of an excited-state reacting molecule can be completely reconstructed from resonant coherent anti-Stokes Raman spectroscopy. The method assumes knowledge of the ground-state potential but not of

Michel Broniatowski, Samantha Leorato

We propose a new definition of the chi-square divergence between distributions. Based on convexity properties and duality, this version of the χ^2 is well suited both for the classical applications of the χ^2 for the analysis of contingency tables and for the statistical tests for parametric models, for which it has been advocated to be robust against inlier

Michel Broniatowski, Giorgio Celant, Marco Di Battista, Samuela Leoni-Aubin

This paper deals with probabilistic upper bounds for the error in functional estimation defined on some interpolation and extrapolation designs, when the function to estimate is supposed to be analytic. The error pertaining to the estimate may depend on various factors: the frequency of observations on the knots, the position and number of the knots, and als

Jacques M. Bahi, Christophe Guyeux, Michel Salomon

Chaotic neural networks have received a great deal of attention these last years. In this paper we establish a precise correspondence between the so-called chaotic iterations and a particular class of artificial neural networks: global recurrent multi-layer perceptrons. We show formally that it is possible to make these iterations behave chaotically, as defi

D. Kielpinski, M. G. Pullen, J. Canning, M. Stevenson

We generate mode-locked picosecond pulses near 1110 nm by spectrally slicing and reamplifying an octave-spanning supercontinuum source pumped at 1550 nm. The 1110 nm pulses are near transform-limited, with 1.7 ps duration over their 1.2 nm bandwidth, and exhibit high interpulse coherence. Both the supercontinuum source and the pulse synthesis system are impl

Subhendu Das

The Laplace transform theory violates a very fundamental requirement of all engineering systems. We show that this theory assumes that all signals must exist over infinite time interval. Since in engineering this infinite time assumption is not meaningful and feasible, this paper presents a design for linear control systems using the well known theory of Fin

Peng Han, Jinlu Qu, Shu Zhang, Jianmin Wang

The RXTE and Swift observations on the 2009 outburst from a newly discovered transient and black-hole candidate XTE J1652$-$453 are analyzed. The source was observed by RXTE to behave a sequence of spectral states that are typical to the black hole XRBs. During the first 7 observations, the source is diagnosed to stay in a high/soft state, from the spectrum

A. K. Chaudhuri

We briefly discuss the recent developments in causal dissipative hydrodynamic for relativistic heavy ion collisions. Phenomenological estimate of QGP viscosity over entropy ratio from several experimental data, e.g. STAR&#39;s $ϕ$ meson data, centrality dependence of elliptic flow, universal scaling elliptic flow etc. are discussed. QGP viscosity, extracted

Yan Chen, Shunqing Zhang, Shugong Xu, Geoffrey Ye Li

Traditional design of mobile wireless networks mainly focuses on ubiquitous access and large capacity. However, as energy saving and environmental protection become a global demand and inevitable trend, wireless researchers and engineers need to shift their focus to energy-efficiency oriented design, that is, green radio. In this paper, we propose a framewor

Bidya Binay Karak, Arnab Rai Choudhuri

We propose that at the beginning of the Maunder minimum the poloidal field or amplitude of meridional circulation or both fell abruptly to low values. With this proposition, a flux transport dynamo model is able to reproduce various important aspects of the historical records of the Maunder minimum remarkably well.

Nithin Nagaraj, Mathew Shaji Kavalekalam, Arjun Venugopal T., Nithin Krishnan

We investigate the complexity of short symbolic sequences of chaotic dynamical systems by using lossless compression algorithms. In particular, we study Non-Sequential Recursive Pair Substitution (NSRPS), a lossless compression algorithm first proposed by W. Ebeling et al. [Math. Biosc. 52, 1980] and Jiménez-Montaño et al. [arXiv:cond-mat/0204134, 2002]) whi

Kentaro Aoki, Shinki Oyabu, Jay P. Dunn, Nahum Arav

We present Subaru observations of the newly discovered luminous quasar AKARI J1757+5907, which shows an absorption outflow in its spectrum. The absorption consists of 9 distinct troughs, and our analysis focuses on the troughs at ~ -1000$ km s^{-1} for which we can measure accurate column densities of He I*, Fe II and Mg II. We use photoionization models to

A. C. Raga, A. Noriega-Crespo, V. Lora, K. R. Stapelfeldt

We present a new Spitzer IRAC images of the HH 34 outflow. These are the first images that detect both the knots along the southern jet and the northern counterjet (the counterjet knots were only detected previously in a long slit spectrum). This result removes the problem of the apparent coexistence of a large scale symmetry (at distances of up to approx.1

Bruce E. Sagan, Carla D. Savage

We introduce the notion of a Mahonian pair. Consider the set, P^*, of all words having the positive integers as alphabet. Given finite subsets S,T of P^*, we say that (S,T) is a Mahonian pair if the distribution of the major index, maj, over S is the same as the distribution of the inversion number, inv, over T. So the well-known fact that maj and inv are eq

Karen Lostritto, Robert Strawderman, Annette Molinaro

Accurately assessing a patient&#39;s risk of a given event is essential in making informed treatment decisions. One approach is to stratify patients into two or more distinct risk groups with respect to a specific outcome using both clinical and demographic variables. Outcomes may be categorical or continuous in nature; important examples in cancer studies m

Abel Klein, Christian Sadel

The Bethe Strip of width $m$ is the cartesian product $\B\times\{1,...,m\}$, where $\B$ is the Bethe lattice (Cayley tree). We prove that Anderson models on the Bethe strip have &#34;extended states&#34; for small disorder. More precisely, we consider Anderson-like Hamiltonians $\;H_λ=\frac12 Δ\otimes 1 + 1 \otimes A + λ\Vv$ on a Bethe strip with connectivit

Wei Feng, Peiyue Wang, Xinmei Ding, Luting Xu

In solid-state circuit QED system, we extend the previous study of generating and stabilizing two-qubit Bell state [Phys. Rev. A 82, 032335 (2010)], to three-qubit GHZ state. In dispersive regime, we employ the homodyne joint readout for multiple qubits to infer the state for further processing, and in particular use it to stabilize the state directly by mea

Assaf Naor

We survey the work of Batson, Spielman and Srivastava on graph sparsification, and we describe some of its recently discovered geometric applications.

Gaetan Bisson

We design a probabilistic algorithm for computing endomorphism rings of ordinary elliptic curves defined over finite fields that we prove has a subexponential runtime in the size of the base field, assuming solely the generalized Riemann hypothesis. Additionally, we improve the asymptotic complexity of previously known, heuristic, subexponential methods by d

Ebrahim Ghaderpour, Dave Witte Morris

Suppose G is a finite group, such that |G| = 27p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).

H. Garth Dales, Matthew Daws, Hung Le Pham, Paul Ramsden

Let $G$ be a locally compact group, and take $p\in(1,\infty)$. We prove that the Banach left $L^1(G)$-module $L^p(G)$ is injective (if and) only if the group $G$ is amenable. Our proof uses the notion of multi-norms. We also develop the theory of multi-normed spaces.

Noel D. Richardson, Nancy D. Morrison, Douglas R. Gies, N. Markova

P Cygni is a prototype of the Luminous Blue Variables (or S Doradus variables), and the star displays photometric and emission line variability on a timescale of years (known as the &#34;short S Doradus phase&#34; variations). Here we present new high resolution H-alpha spectroscopy of P Cyg that we combine with earlier spectra and concurrent V-band photomet