title: Linking electromagnetic and gravitational radiation in coalescing binary neutron stars

abstract: We expand on our study of the gravitational and electromagnetic emissions from the late stage of an inspiraling neutron star binary as presented in Ref. \cite{Palenzuela:2013hu}. Interactions between the stellar magnetospheres, driven by the extreme dynamics of the merger, can yield considerable outflows. We study the gravitational and electromagnetic waves produced during the inspiral and merger of a binary neutron star system using a full relativistic, resistive MHD evolution code. We show that the interaction between the stellar magnetospheres extracts kinetic energy from the system and powers radiative Poynting flux and heat dissipation. These features depend strongly on the configuration of the initial stellar magnetic moments. Our results indicate that this power can strongly outshine pulsars in binaries and have a distinctive angular and time-dependent pattern. Our discussion provides more detail than Ref. \cite{Palenzuela:2013hu}, showing clear evidence of the different effects taking place during the inspiral. Our simulations include a few milliseconds after the actual merger and study the dynamics of the magnetic fields during the formation of the hypermassive neutron star. We also briefly discuss the possibility of observing such emissions.


title: Single-reference high-precision mass measurement with a multi-reflection time-of-flight mass spectrograph

abstract: A multi-reflection time-of-flight mass spectrograph, competitive with Penning trap mass spectrometers, has been built at RIKEN. We have performed a first online mass measurement, using 8Li+ (T1/2 = 838 ms). A new analysis method has been realized, with which, using only 12C+ references, the mass excess of 8Li was accurately determined to be 20947.6(15)(34) keV (dm/m = 6.6 x 10-7). The speed, precision and accuracy of this first online measurement exemplifies the potential for using this new type of mass spectrograph for precision measurements of short-lived nuclei.


title: Probing terahertz surface plasmon waves in graphene structures

abstract: Epitaxial graphene mesas and ribbons are investigated using terahertz (THz) nearfield microscopy to probe surface plasmon excitation and THz transmission properties on the sub-wavelength scale. The THz near-field images show variation of graphene properties on a scale smaller than the wavelength, and excitation of THz surface waves occurring at graphene edges, similar to that observed at metallic edges. The Fresnel reflection at the substrate SiC/air interface is also found to be altered by the presence of graphene ribbon arrays, leading to either reduced or enhanced transmission of the THz wave depending on the wave polarization and the ribbon width.


title: Flow-level performance of random wireless networks

abstract: We study the flow-level performance of random wireless networks. The locations of base stations (BSs) follow a Poisson point process. The number and positions of active users are dynamic. We associate a queue to each BS. The performance and stability of a BS depend on its load. In some cases, the full distribution of the load can be derived. Otherwise we derive formulas for the first and second moments. Networks on the line and on the plane are considered. Our model is generic enough to include features of recent wireless networks such as 4G (LTE) networks. In dense networks, we show that the inter-cell interference power becomes normally distributed, simplifying many computations. Numerical experiments demonstrate that in cases of practical interest, the loads distribution can be well approximated by a gamma distribution with known mean and variance.


title: Multiversality

abstract: Valid ideas that physical reality is vastly larger than human perception of it, and that the perceived part may not be representative of the whole, exist on many levels and have a long history. After a brief general inventory of those ideas and their implications, I consider the cosmological "multiverse" much discussed in recent scientific literature. I review its theoretical and (broadly) empirical motivations, and its disruptive implications for the traditional program of fundamental physics. I discuss the inflationary axion cosmology, which provides an example where firmly rooted, plausible ideas from microphysics lead to a well-characterized "mini-multiverse" scenario, with testable phenomenological consequences.

categories: hep-ph astro-ph.CO hep-th physics.hist-ph


title: Basic nets in the projective plane

abstract: The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's notation) by two local transformations. We prove a similar result for basic nets in $RP^2$. We prove also that a graph on $RP^2$ is uniquely determined by its pull-back on $S^3$ (the proof is based on Lefschetz fix point theorem).


title: High Temperature Raman analysis of Hydrogen Phase IV from Molecular Dynamics

abstract: We extend our previous studies on phase IV of solid hydrogen by employing larger cells and k-sampling. We show that uncorrelated hexagonal rotations in the weakly bounded G"-layers are needed to account for the experimentally measured Raman spectrum. In large simulations we find no evidence of proton diffusion or layer fluctuations, which we believe are the result of finite size effects. In calculations at higher pressures (above 400 GPa) we identify a new possible candidate for phase IV. We, finally, proposed a revised phase diagram based on our previous and present results.


title: Dispersion and attenuation for an acoustic wave equation consistent with viscoelasticity

abstract: An acoustic wave equation for pressure accounting for viscoelastic attenuation is derived from viscoelastic equations of motion. It differs significantly from the equations proposed by Szabo. Dispersion and attenuation associated with the viscoelastic wave equation is examined. The theory is applied to three classes of viscoelastic models and to the linear attenuation model.


title: Jacobi polynomials and SU(2,2)

abstract: A ladder structure of operators is presented for the Jacobi polynomials, J_n^(a,b)(x), with parameters n, a and b integers, showing that they are related to the unitary irreducible representation of SU(2,2) with quadratic Casimir C_SU(2,2)=-3/2. As they determine also a base of square-integrable functions, the universal enveloping algebra of su(2,2) is homomorphic to the space of linear operators acting on the L^2 functions defined on (-1,+1) x Z x Z/2.


title: Koszul property of diagonal subalgebras

abstract: Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and Valla [9] concerning Koszul property of the diagonal subalgebras associated to I. Each such subalgebra has the form K[(I^e)_{ed+c}], where c and e are positive integers. For k=3, we extend [9, Corollary 6.10] by proving that K-algebra K[(I^e)_{ed+c}] is Koszul as soon as c >= d/2. We also extend [9, Corollary 6.10] in another direction by replacing the polynomial ring with a Koszul ring.


title: Learning Frames from Text with an Unsupervised Latent Variable Model

abstract: We develop a probabilistic latent-variable model to discover semantic frames---types of events and their participants---from corpora. We present a Dirichlet-multinomial model in which frames are latent categories that explain the linking of verb-subject-object triples, given document-level sparsity. We analyze what the model learns, and compare it to FrameNet, noting it learns some novel and interesting frames. This document also contains a discussion of inference issues, including concentration parameter learning; and a small-scale error analysis of syntactic parsing accuracy.


title: Measures of dependence between random vectors and tests of independence. Literature review

abstract: Simple correlation coefficients between two variables have been generalized to measure association between two matrices in many ways. Coefficients such as the RV coefficient, the distance covariance (dCov) coefficient and kernel based coefficients have been adopted by different research communities. Scientists use these coefficients to test whether two random vectors are linked. If they are, it is important to uncover what patterns exist in these associations. We discuss the topic of measures of dependence between random vectors and tests of independence and show links between different approaches. We document some of the interesting rediscoveries and lack of interconnection between bodies of literature. After providing definitions of the coefficients and associated tests, we present the recent improvements that enhance their statistical properties and ease of interpretation. We summarize multi-table approaches and provide scenarii where the indices can provide useful summaries of heterogeneous multi-block data. We illustrate these different strategies on several examples of real data and suggest directions for future research.


title: Origin of Rashba-splitting in the quantized subbands at Bi2Se3 surface

abstract: We study the band structure of the $\text{Bi}_2\text{Se}_3$ topological insulator (111) surface using angle-resolved photoemission spectroscopy. We examine the situation where two sets of quantized subbands exhibiting different Rashba spin-splitting are created via bending of the conduction (CB) and the valence (VB) bands at the surface. While the CB subbands are strongly Rashba spin-split, the VB subbands do not exhibit clear spin-splitting. We find that CB and VB experience similar band bending magnitudes, which means, a spin-splitting discrepancy due to different surface potential gradients can be excluded. On the other hand, by comparing the experimental band structure to first principles LMTO band structure calculations, we find that the strongly spin-orbit coupled Bi 6$p$ orbitals dominate the orbital character of CB, whereas their admixture to VB is rather small. The spin-splitting discrepancy is, therefore, traced back to the difference in spin-orbit coupling between CB and VB in the respective subbands' regions.


title: Some Perspectives on Network Modeling in Therapeutic Target Prediction

abstract: Drug target identification is of significant commercial interest to pharmaceutical companies, and there is a vast amount of research done related to the topic of therapeutic target identification. Interdisciplinary research in this area involves both the biological network community and the graph algorithms community. Key steps of a typical therapeutic target identification problem include synthesizing or inferring the complex network of interactions relevant to the disease, connecting this network to the disease-specific behavior, and predicting which components are key mediators of the behavior. All of these steps involve graph theoretical or graph algorithmic aspects. In this perspective, we provide modelling and algorithmic perspectives for therapeutic target identification and highlight a number of algorithmic advances, which have gotten relatively little attention so far, with the hope of strengthening the ties between these two research communities.


title: Pore pressure development in small-strain undrained loading of soils according to a simple model

abstract: This note discusses a simple equation that may be useful in the study of pore pressures generated in the undrained loading of soils. The equation is employed to describe the pore pressure development accompanying a small stress increment in the undrained triaxial compression test and in the undrained simple shear test. The cases of incompressible and compressible pore fluids are examined.


title: The large cardinals between supercompact and almost-huge

abstract: I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding $j: V \to M$ such that $M$ is closed under sequences of length $\sup\set{j(f)(\kappa) \st f: \kappa \to \kappa}$. Some of the other cardinals analyzed include the super-high-jump cardinals, almost-high-jump cardinals, Shelah-for-supercompactness cardinals, Woodin-for-supercompactness cardinals, \Vopenka\ cardinals, hypercompact cardinals, and enhanced supercompact cardinals. I organize these cardinals in terms of consistency strength and implicational strength. I also analyze the superstrong cardinals, which are weaker than supercompact cardinals but are related to high-jump cardinals. Two of my most important results are as follows. \begin{itemize} \item \Vopenka\ cardinals are the same as Woodin-for-supercompactness cardinals. \item There are no excessively hypercompact cardinals. \end{itemize} Furthermore, I prove some results relating high-jump cardinals to forcing, as well as analyzing Laver functions for super-high-jump cardinals. \keywords{high-jump cardinals \and \Vopenka\ cardinals \and Woodin-for-supercompactness cardinals \and hypercompact cardinals \and forcing and large cardinals \and Laver functions}


title: Up- and Down-Quark Contributions to the Nucleon Form Factors

abstract: Recent measurements of the neutron's electric to magnetic form factors ratio, R_n= \mu_n G_E^n/G_M^n, up to 3.4 (GeV/c)^2 combined with existing R_p= \mu_p G_E^p/G_M^p measurements in the same Q^2 range allowed, for the first time, a separation of the up- and down-quark contributions to the form factors at high Q^2, as presented by Cates, et al. Our analysis expands on the original work by including additional form factor data, applying two-photon exchange (TPE) corrections, and accounting for the uncertainties associated with all of the form factor measurements


title: Complex scale-free networks with tunable power-law exponent and clustering

abstract: We introduce a network evolution process motivated by the network of citations in the scientific literature. In each iteration of the process a node is born and directed links are created from the new node to a set of target nodes already in the network. This set includes $m$ "ambassador" nodes and $l$ of each ambassador's descendants where $m$ and $l$ are random variables selected from any choice of distributions $p_{l}$ and $q_{m}$. The process mimics the tendency of authors to cite varying numbers of papers included in the bibliographies of the other papers they cite. We show that the degree distributions of the networks generated after a large number of iterations are scale-free and derive an expression for the power-law exponent. In a particular case of the model where the number of ambassadors is always the constant $m$ and the number of selected descendants from each ambassador is the constant $l$, the power-law exponent is $(2l+1)/l$. For this example we derive expressions for the degree distribution and clustering coefficient in terms of $l$ and $m$. We conclude that the proposed model can be tuned to have the same power law exponent and clustering coefficient of a broad range of the scale-free distributions that have been studied empirically.


title: Congruence successions in compositions

abstract: A \emph{composition} is a sequence of positive integers, called \emph{parts}, having a fixed sum. By an \emph{$m$-congruence succession}, we will mean a pair of adjacent parts $x$ and $y$ within a composition such that $x\equiv y(\text{mod} m)$. Here, we consider the problem of counting the compositions of size $n$ according to the number of $m$-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case $m=2$, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size $n$ having no $m$-congruence successions.


title: Constraint damping of the conformal and covariant formulation of the Z4 system in simulations of binary neutron stars

abstract: Following previous work in vacuum spacetimes, we investigate the constraint-damping properties in the presence of matter of the recently developed traceless, conformal and covariant Z4 (CCZ4) formulation of the Einstein equations. First, we evolve an isolated neutron star with an ideal gas equation of state and subject to a constraint-violating perturbation. We compare the evolution of the constraints using the CCZ4 and Baumgarte-Shibata-Shapiro-Nakamura-Oohara-Kojima (BSSNOK) systems. Second, we study the collapse of an unstable spherical star to a black hole. Finally, we evolve binary neutron star systems over several orbits until the merger, the formation of a black hole, and up to the ringdown. We show that the CCZ4 formulation is stable in the presence of matter and that the constraint violations are one or more orders of magnitude smaller than for the BSSNOK formulation. Furthermore, by comparing the CCZ4 and the BSSNOK formulations also for neutron star binaries with large initial constraint violations, we investigate their influence on the errors on physical quantities. We also give a new, simple and robust prescription for the damping parameter that removes the instabilities found when using the fully covariant version of CCZ4 in the evolution of black holes. Overall, we find that at essentially the same computational costs the CCZ4 formulation provides solutions that are stable and with a considerably smaller violation of the Hamiltonian constraint than the BSSNOK formulation. We also find that the performance of the CCZ4 formulation is very similar to another conformal and traceless, but noncovariant formulation of the Z4 system, i.e. the Z4c formulation.


title: Analysis on Surreal Numbers

abstract: The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on $\mathbf{No}$. In this paper, we extend this work with a treatment of functions, limits, derivatives, power series, and integrals. We propose surreal definitions of the arctangent and logarithm functions using truncations of Maclaurin series. Using a new representation of surreals, we present a formula for the limit of a sequence, and we use this formula to provide a complete characterization of convergent sequences and to evaluate certain series and infinite Riemann sums via extrapolation. A similar formula allows us to evaluates limits (and hence derivatives) of functions. By defining a new topology on $\mathbf{No}$, we obtain the Intermediate Value Theorem even though $\mathbf{No}$ is not Cauchy complete, and we prove that the Fundamental Theorem of Calculus would hold for surreals if a consistent definition of integration exists. Extending our study to defining other analytic functions, evaluating power series in generality, finding a consistent definition of integration, proving Stokes' Theorem to generalize surreal integration, and studying differential equations remains open.


title: Stabilization of abstract thermo-elastic semigroup

abstract: In this paper we characterize the stabilization for some thermo-elastic type system with Cattaneo law and we prove that the exponential or polynomial stability of this system implies a polynomial stability of the correspond thermoelastic system with the Fourier law. The proof of the main results uses, respectively, the methodology introduced in Ammari and Tucsnak, where the exponential stability for the closed loop problem is reduced to an observability estimate for the corresponding uncontrolled system and a characterization, of the polynomial stability for C0-semigroup in Hilbert space by a polynomial estimation of the associated resolvante of the generator of this semigroup, obtained by Borichev-Tomilov.


title: Optimal Rellich-Sobolev constants and their extremals

abstract: We prove that extremals for second order Rellich-Sobolev inequalities have constant sign. Then we show that the optimal constants in Rellich-Sobolev inequalities on a bounded domain {\Omega} and under Navier boundary conditions do not depend on {\Omega}


title: A soothing invisible hand: moderation potentials in optimal control

abstract: A moderation incentive is a continuously differentiable control-dependent cost term that is identically zero on the boundary of the admissible control region, and is subtracted from the `do or die' cost function to reward sub-maximal control utilization in optimal control systems. A moderation potential is a function on the cotangent bundle of the state space such that the solutions of Hamilton's equations satisfying appropriate boundary conditions are solutions of the synthesis problem - the control-parametrized Hamiltonian system central to Pontryagin's Maximum Principle. A multi-parameter family of moderation incentives for affinely controlled systems with quadratic control constraints possesses simple, readily calculated moderation potentials. One member of this family is a shifted version of the kinetic energy-style control cost term frequently used in geometric optimal control. The controls determined by this family approach those determined by a logarithmic penalty function as one of the parameters approaches zero, while the cost term itself is bounded.


title: New Cataclysmic Variable 1RXS J161659.5+620014 in Draco

abstract: We report the discovery of a new cataclysmic variable MASTER OT J161700.81+620024.9 which is identical to the faint ROSAT X-ray source 1RXS J161659.5+620014. The object was observed in outbursts to 14.4m on 2012 Sep. 11 by MASTER-Tunka and to 14.3m on 2013 Jan. 21/22 by MASTER-Kislovodsk, but was not detected by the routine search procedures. Analysis of the archival MASTER data and CRTS light curve shows the variability from 17.8m at quiescence to 14.3m in outbursts, confirming that the new variable is a dwarf nova. SDSS colors suggest a small contribution from the secondary component and are telling in favor of the short orbital period.


title: Crystalline Geometries from Fermionic Vortex Lattice

abstract: We study charged Dirac fermions on an AdS$_2\times R^2$ background with a non-zero magnetic field. Under certain boundary conditions, we show that the charged fermion can make the background unstable, resulting in spontaneously formation of a vortex lattice. We observe that an electric field emerges in the back-reacted solution due to the vortex lattice constructed from spin polarized fermions. This electric field may be extended to the UV boundary which leads to a finite charge density. We also discuss corrections to the thermodynamic functions due to the lattice formation.


title: ROSoClingo: A ROS package for ASP-based robot control

abstract: Knowledge representation and reasoning capacities are vital to cognitive robotics because they provide higher level cognitive functions for reasoning about actions, environments, goals, perception, etc. Although Answer Set Programming (ASP) is well suited for modelling such functions, there was so far no seamless way to use ASP in a robotic environment. We address this shortcoming and show how a recently developed reactive ASP system can be harnessed to provide appropriate reasoning capacities within a robotic system. To be more precise, we furnish a package integrating the reactive ASP solver oClingo with the popular open-source robotic middleware ROS. The resulting system, ROSoClingo, provides a generic way by which an ASP program can be used to control the behaviour of a robot and to respond to the results of the robot's actions.


title: Nonflat time-variable dark energy cosmology

abstract: We generalize the time-variable dark energy scalar field $\Phi$ model ($\Phi$CDM) to nonflat space. We show that even in the space-curvature-dominated epoch the scalar field solution is a time-dependent fixed point or attractor, with scalar field energy density that grows relative to the energy density in spatial curvature. This is the first example of a physically consistent and complete model of dynamical dark energy in a nonflat geometry.


title: Mollow triplet for cavity-mediated laser cooling

abstract: Here we analyse cavity-mediated laser cooling for an experimental setup with an external trap which strongly confines the motion of a particle in the direction of the cavity axis. It is shown that the stationary state phonon number exhibits three sharp minima as a function of the atom-cavity detuning due to a direct atom-phonon-photon coupling term in the system Hamiltonian. These resonances have the same origin as the Mollow triplet in the resonance fluorescence of a laser-driven atomic system. It is shown that a laser-Rabi frequency-dependent atom-cavity detuning yields the lowest stationary state phonon number for a wide range of experimental parameters.


title: Properties of nonlinear noise in long, dispersion-uncompensated fiber links

abstract: We study the properties of nonlinear interference noise (NLIN) in fiber-optic communications systems with large accumulated dispersion. Our focus is on settling the discrepancy between the results of the Gaussian noise (GN) model (according to which NLIN is additive Gaussian) and a recently published time-domain analysis, which attributes drastically different properties to the NLIN. Upon reviewing the two approaches we identify several unjustified assumptions that are key in the derivation of the GN model, and that are responsible for the discrepancy. We derive the true NLIN power and verify that the NLIN is not additive Gaussian, but rather it depends strongly on the data transmitted in the channel of interest. In addition we validate the time-domain model numerically and demonstrate the strong dependence of the NLIN on the interfering channels' modulation format.


title: Novel multiferroics with ferromagnetic phase induced in paraelectric antiferromagnets by electric field application

abstract: The phase diagram of a quantum paraelectric antiferromagnet EuTiO3 under an external electric field was calculated using Landau-Ginzburg-Devonshire theory. It was shown that the application of an external electric field E leads to the appearance of a ferromagnetic phase due to the magnetoelectric coupling. In particular, electric field application decreases the transition temperature TAFM to antiferromagnetic (AFM) phase and induces ferromagnetic (FM) phase, so that at some E field larger than the critical field (Ecr), TFM becomes higher than TAFM and the FM phase appears. Note that Ecr increases and magnetization decreases as the temperature increases. The value of the critical field Ecr = 0.40*10^6 V/cm we calculated appeared close to the value Ecr = 0.5*10^6 V/cm obtained recently by Ryan et al. with the help of density functional theory for EuTiO3 film under a compressive strain produced by substrate. At the fields E >0.83*10^6 V/cm, AFM disappears for all considered temperatures and so FM becomes the only stable magnetic phase. We find that ferromagnetic phase can be induced by an E-field in other paraelectric antiferromagnet oxides with a positive AFM-type magnetoelectric (ME) coupling coefficient and negative FM-type ME coupling coefficient. In particular, the critical E-field was estimated for another paraelectric antiferromagnet Sr0.7Ba0.3MnO3 as 0.2x10^5V/cm at 0 K. Analysis of the dependence of magnetization and antimagnetization on the external electric field and the polarization induced by the field, which yields the magnetoelectric coupling, is reported. The results show the possibility to control multiferroicity, including the FM and AFM phases, with help of an electric field application.


title: NLO corrections to WWZ production at the LHC

abstract: The production of WWZ at the LHC is an important process to test the quartic gauge couplings of the Standard Model as well as an important background for new physics searches. A good theoretical understanding at next-to-leading order (NLO) is therefore valuable. In this paper, we present the calculation of the NLO electroweak (EW) correction to this channel with on-shell gauge bosons in the final state. It is then combined with the NLO QCD correction to get the most up-to-date prediction. We study the impact of these corrections on the total cross section and some distributions. The NLO EW correction is small for the total cross section but becomes important in the high energy regime for the gauge boson transverse momentum distributions.


title: On the multiplicity of isometry-invariant geodesics on product manifolds

abstract: We prove that on any closed Riemannian manifold $(M_1\times M_2,g)$, with $\rank\Hom_1(M_1)\neq0$ and $\dim(M_2)\geq2$, every isometry homotopic to the identity admits infinitely many isometry-invariant geodesics.


title: Reasoning for Moving Blocks Problem: Formal Representation and Implementation

abstract: The combined approach of the Qualitative Reasoning and Probabilistic Functions for the knowledge representation is proposed. The method aims at represent uncertain, qualitative knowledge that is essential for the moving blocks task's execution. The attempt to formalize the commonsense knowledge is performed with the Situation Calculus language for reasoning and robot's beliefs representation. The method is implemented in the Prolog programming language and tested for a specific simulated scenario. In most cases the implementation enables us to solve a given task, i.e., move blocks to desired positions. The example of robot's reasoning and main parts of the implemented program's code are presented.


title: A Second Detector Focusing on the Second Oscillation Maximum at an Off-axis Location to Enhance the Mass Hierarchy Discovery Potential in LBNE10

abstract: The Long Baseline Neutrino Oscillation Experiment (LBNE) is proposed to determine the neutrino mass hierarchy and measure the CP phase in the leptonic sector. The current design of LBNE Phase I consists of a 10 kt liquid argon time projection chamber (LBNE10). The neutrino-antineutrino asymmetry in the electron-neutrino appearance probability has contributions from both the CP phase and the matter effect. For this reason, experimental sensitivity to the mass hierarchy depends both on the true value of the CP phase and the true mass hierarchy; LBNE10 will determine the mass hierarchy at high levels of significance for half of CP phase space. We propose placing a second detector at an off-axis location. Such a detector will share the same beamline as the primary LBNE detector. The detector location is chosen such that this detector focuses on a measurement of electron (anti-)neutrino appearance at the second oscillation maximum. We will show that this configuration will enhance the ability of LBNE to determine the mass hierarchy and to discover CP violation in the leptonic sector.


title: First hyperbolic times for intermittent maps with unbounded derivative

abstract: We establish some statistical properties of the hyperbolic times for a class of nonuniformly expanding dynamical systems. The maps arise as factors of area preserving maps of the unit square via a geometric Baker's map type construction, exhibit intermittent dynamics, and have unbounded derivatives. The geometric approach captures various examples from the literature over the last thirty years. The statistics of these maps are controlled by the order of tangency that a certain "cut function" makes with the boundary of the square. Using a large deviations result of Melbourne and Nicol we obtain sharp estimates on the distribution of first hyperbolic times. As shown by Alves, Viana and others, knowledge of the tail of the distribution of first hyperbolic times leads to estimates on the rate of decay of correlations and derivation of a CLT. For our family of maps, we compare the estimates on correlation decay rate and CLT derived via hyperbolic times with those derived by a direct Young tower construction. The latter estimates are known to be sharp.


title: De Branges-Rovnyak realizations of operator-valued Schur functions on the complex right half-plane

abstract: We give a controllable energy-preserving and an observable co-energy-preserving de Branges-Rovnyak functional model realization of an arbitrary given operator Schur function defined on the complex right-half plane. We work the theory out fully in the right-half plane, without using results for the disk case, in order to expose the technical details of continuous-time systems theory. At the end of the article, we make explicit the connection to the corresponding classical de Branges-Rovnyak realizations for Schur functions on the complex unit disk.


title: New Mira Variables from the MACHO Galactic Bulge Fields, part II

abstract: We present a new sample of 525 Mira variables in the direction of the Galactic Bulge, expanding on previous samples of 69 and 500 objects, respectively, and thereby concluding our search for new Mira variables in the MACHO Galactic Bulge fields. 364 Miras of the present sample are reported as variable stars for the first time. We have cross-correlated our sample with the sample of Mira stars from the OGLE-III Catalog of Long-Period Variables (LPVs) in the Galactic Bulge and found 146 matches; MACHO and OGLE periods are in very good overall agreement. We present summary data for all stars of the present sample and give a statistical overview, comparing the properties of the MACHO and OGLE samples and enlarging on the analyses in our previous paper. Lightcurves, folded lightcurves and further details are available via the AAVSO International Variable Star Index (http://www.aavso.org/vsx/). Data of the complete sample of Mira variables from the MACHO Galactic Bulge fields, as presented in our papers (Bernhard, 2011; Huemmerich and Bernhard, 2012 and the present paper), can be found in the appendix.


title: Tridiagonal pairs of $q$-Racah type, the double lowering operator $\psi$, and the quantum algebra $U_q(\mathfrak{sl}_2)$

abstract: Let \K denote an algebraically closed field and let V denote a vector space over \K with finite positive dimension. We consider an ordered pair of linear transformations A:V\to V,A*:V \to V that satisfy the following conditions:(i)Each of A,A* is diagonalizable;(ii)there exists an ordering {V_i}_{i=0}^d of the eigenspaces of A such that A*V_i\subseteq V_{i-1}+V_i+V_{i+1} for 0\leq i\leq d, where V_{-1}=0 and V_{d+1}=0;(iii)there exists an ordering {V*_i}_{i=0}^\delta of the eigenspaces of A* such that A V*_i\subseteq V*_{i-1}+V*_i+V*_{i+1} for 0\leq i\leq\delta, where V*_{-1}=0 and V*_{\delta+1}=0;(iv)there does not exist a subspace W of V such that AW\subseteq W,A*W\subseteq W,W\neq 0,W\neq V. We call such a pair a tridiagonal pair on V. It is known that d=\delta; to avoid trivialities assume d\geq 1. We assume that A,A* belongs to a family of tridiagonal pairs said to have q-Racah type. This is the most general type of tridiagonal pair. Let {U_i}_{i=0}^d and {U_i^\Downarrow}_{i=0}^d denote the first and second split decompositions of V. In an earlier paper we introduced the double lowering operator \psi:V\to V. One feature of \psi is that both \psi U_i\subseteq U_{i-1} and \psi U_i^\Downarrow\subseteq U_{i-1}^\Downarrow for 0\leq i\leq d. Define linear transformations K:V\to V and B:V\to V such that (K-q^{d-2i}I)U_i=0 and (B-q^{d-2i}I)U_i^\Downarrow=0 for 0\leq i\leq d. Our results are summarized as follows. Using \psi,K,B we obtain two actions of Uq(sl2) on V. For each of these Uq(sl2)-module structures, the Chevalley generator e acts as a scalar multiple of \psi. For each of the Uq(sl2)-module structures, we compute the action of the Casimir element on V. We show that these two actions agree. Using this fact, we express \psi as a rational function of K^{\pm 1},B^{\pm 1} in several ways. Eliminating \psi from these equations we find that K,B are related by a quadratic equation.


title: Towards an Efficient Discovery of the Topological Representative Subgraphs

abstract: With the emergence of graph databases, the task of frequent subgraph discovery has been extensively addressed. Although the proposed approaches in the literature have made this task feasible, the number of discovered frequent subgraphs is still very high to be efficiently used in any further exploration. Feature selection for graph data is a way to reduce the high number of frequent subgraphs based on exact or approximate structural similarity. However, current structural similarity strategies are not efficient enough in many real-world applications, besides, the combinatorial nature of graphs makes it computationally very costly. In order to select a smaller yet structurally irredundant set of subgraphs, we propose a novel approach that mines the top-k topological representative subgraphs among the frequent ones. Our approach allows detecting hidden structural similarities that existing approaches are unable to detect such as the density or the diameter of the subgraph. In addition, it can be easily extended using any user defined structural or topological attributes depending on the sought properties. Empirical studies on real and synthetic graph datasets show that our approach is fast and scalable.


title: On continuing codes

abstract: We investigate what happens when we try to work with continuing block codes (i.e. left or right continuing factor maps) between shift spaces that may not be shifts of finite type. For example, we demonstrate that continuing block codes on strictly sofic shifts do not behave as well as those on shifts of finite type; a continuing block code on a sofic shift need not have a uniformly bounded retract, unlike one on a shift of finite type. A right eresolving code on a sofic shift can display any behavior arbitrary block codes can have. We also show that a right continuing factor of a shift of finite type is always a shift of finite type.


title: Real Time Electrical Detection of Coherent Spin Oscillations

abstract: We demonstrate that the bandwidth of pulsed electrically detected magnetic resonance can be increased to at least 80 MHz using a radio frequency-reflectometry detection scheme. Using this technique, we measure coherent spin oscillations in real time during a resonant microwave pulse. We find that the observed signal is in quantitative agreement with simulations based on rate equations modeling the recombination dynamics of the spin system under study. The increased bandwidth opens the way to electrically study faster spin-dependent recombination processes, e.g., in direct semiconductors which so far have almost exclusively been studied by optically detected magnetic resonance.


title: Covering Ideals of Morphisms and Module Representations of the quiver $\mathbb{A}_2$

abstract: Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard deconstructibility techniques used in Approximation Theory.


title: Optimal architecture for a non-deterministic noiseless linear amplifier

abstract: Non-deterministic quantum noiseless linear amplifiers are a new technology with interest in both fundamental understanding and new applications. With a noiseless linear amplifier it is possible to perform tasks such as improving the performance of quantum key distribution and purifying lossy channels. Previous designs for noiseless linear amplifiers involving linear optics and photon counting are non-optimal because they have a probability of success lower than the theoretical bound given by the theory of generalised quantum measurement. This paper develops a theoretical model which reaches this limit. We calculate the fidelity and probability of success of this new model for coherent states and Einstein-Podolsky-Rosen (EPR) entangled states.


title: DiFS: Distributed Flow Scheduling for Data Center Networks

abstract: Data center networks leverage multiple parallel paths connecting end host pairs to offer high bisection bandwidth for cluster computing applications. However, state of the art distributed multi-pathing protocols such as Equal Cost Multipath (ECMP) use static flow-to-link assignment, which is load-oblivious. They may cause bandwidth loss due to \emph{flow collisions} on a same link. Recently proposed centralized scheduling algorithm or host-based multi-pathing may suffer from scalability problems. In this paper, we present Distributed Flow Scheduling (DiFS) for data center networks, which is a switch-only distributed solution. DiFS allows switches cooperate to avoid over-utilized links and find available paths without centralized control. DiFS is scalable and can react quickly to dynamic traffic, because it is independently executed on switches and requires no synchronization. Extensive experiments show that the aggregate bisection bandwidth of DiFS using various traffic patterns is much better than that of ECMP, and is similar to or higher than that of a recent proposed centralized scheduling algorithm.


title: Equational characterization for two-valued states in orthomodular quantum systems

abstract: In this paper we develop an algebraic framework in which several classes of two-valued states over orthomodular lattices may be equationally characterized. The class of two-valued states and the subclass of Jauch-Piron two-valued states are among the classes which we study.


title: BEC-BCS Crossover and the EoS of Strongly Interacting Systems

abstract: We show that at sufficiently strong coupling, quarks form a BEC system that does not collapse into a pressureless gas at zero temperature only if the diquark-diquark repulsion is self-consistently taken into account. It is found that there is a critical value of the coupling constant of the diquark-diquark interaction beyond which the tendency at zero temperature of the strongly interacting diquark gas to condense into the system ground state with zero momentum is compensated by the repulsion between diquarks so keeping a positive pressure with no significant variation along the whole strongly interacting region. We discuss possible implications of the diquark-diquark interaction for the astrophysics of compact stars. Also we analyze the effect of a strong magnetic field for the BEC-BCS crossover.


title: Neutrino mass hierarchy determination and other physics potential of medium-baseline reactor neutrino oscillation experiments

abstract: Medium-baseline reactor neutrino oscillation experiments (MBRO) have been proposed to determine the neutrino mass hierarchy (MH) and to make precise measurements of the neutrino oscillation parameters. With sufficient statistics, better than ~3%/\sqrt{E} energy resolution and well understood energy non-linearity, MH can be determined by analyzing oscillation signals driven by the atmospheric mass-squared difference in the survival spectrum of reactor antineutrinos. With such high performance MBRO detectors, oscillation parameters, such as \sin^22\theta_{12}, \Delta m^2_{21}, and \Delta m^2_{32}, can be measured to sub-percent level, which enables a future test of the PMNS matrix unitarity to ~1% level and helps the forthcoming neutrinoless double beta decay experiments to constrain the allowed <m_{\beta \beta}> values. Combined with results from the next generation long-baseline beam neutrino and atmospheric neutrino oscillation experiments, the MH determination sensitivity can reach higher levels. In addition to the neutrino oscillation physics, MBRO detectors can also be utilized to study geoneutrinos, astrophysical neutrinos and proton decay. We propose to start a U.S. R&D program to identify, quantify and fulfill the key challenges essential for the success of MBRO experiments.


title: The Lower Dimensional Busemann-Petty Problem in the Complex Hyperbolic Space

abstract: The lower dimensional Busemann-Petty problem asks whether origin-symmetric convex bodies in R^n with smaller volume of all k-dimensional sections necessarily have smaller volume. The answer is negative for k>3. The problem is still open for k=2,3. We study this problem in the complex hyperbolic n-space and prove that the answer is affirmative only for sections of complex dimension one and negative for sections of higher dimensions.


title: On Thermodynamical Behaviors of Kerr-Newman AdS Black Holes

abstract: We reconsider the study of critical behaviors of Kerr-Newman AdS black holes in four dimensions. The study is made in terms of the moduli space parameterized by the charge Q and the rotation parameter a, relating the mass M of the black hole and its angular momentum J via the relation a=J/M. Specifically, we discuss such thermodynamical behaviors in the presence of a positive cosmological constant considered as a thermodynamic pressure and its conjugate quantity as a thermodynamic volume. The equation of state for a charged RN-AdS black hole predicts a critical universal number depending on the (Q,a) moduli space. In the vanishing limit of the a parameter, this prediction recovers the usual universal number in four dimensions. Then, we find the bounded regions of the moduli space allowing the consistency of the model with real thermodynamical variables.


title: Very ample and Koszul segmental fibrations

abstract: In the hierarchy of structural sophistication for lattice polytopes, normal polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom and top spots in this hierarchy, respectively. In this paper we explore a simple construction for lattice polytopes with a twofold aim. On the one hand, we derive an explicit series of very ample 3-dimensional polytopes with arbitrarily large deviation from the normality property, measured via the highest discrepancy degree between the corresponding Hilbert functions and Hilbert polynomials. On the other hand, we describe a large class of Koszul polytopes of arbitrary dimensions, containing many smooth polytopes and extending the previously known class of Nakajima polytopes.


title: Vacuum Instability in Electric Fields via AdS/CFT: Euler-Heisenberg Lagrangian and Planckian Thermalization

abstract: We analyze vacuum instability of strongly coupled gauge theories in a constant electric field using AdS/CFT correspondence. The model is the N=2 1-flavor supersymmetric large N_c QCD in the strong 't Hooft coupling limit. We calculate the Euler-Heisenberg effective Lagrangian L(E), which encodes the nonlinear response and the quantum decay rate of the vacuum in a background electric field E, from the complex D-brane action in AdS/CFT. We find that the decay rate given by Im L(E) becomes nonzero above a critical electric field set by the confining force between quarks. A large-E expansion of Im L(E) is found to coincide with that of the Schwinger effects in QED, replacing its electron mass by the confining force. Then, the time-dependent response of the system in a strong electric field is solved non-perturbatively, and we observe a universal thermalization at a shortest timescale "Planckian thermalization time" t ~ 1/T ~ E^{-1/2}. Here, T is an effective temperature which quarks feel in the nonequilibrium state with nonzero electric current, calculated in AdS/CFT as a Hawking temperature. Stronger electric fields accelerate the thermalization, and for a realistic value of the electric field in RHIC experiment, we obtain t ~ 1 [fm/c], which is consistent with the believed value.


title: Triplet states in the Be atom: bound state spectrum and hyperfine structure

abstract: The bound state spectrum of low-lying triplet states in the Be atom is investigated. In particular, we perform accurate computations of various bound triplet S, P, D, F, and G states in the four-electron Be atom. For the 23S(L=0) state in the Be atom we determine the hyperfine structure and a number of bound states properties by using results of highly accurate computations. The energies of the hyperfine structure levels for this state are {\epsilon}(F=12) = -13725.927(7) MHz, {\epsilon}(F=32) = -5490.371(7) MHz and {\epsilon}(F=52) = 8235.556(7) MHz, respectively. The observed hyperfine structure splittings for the the 23S(L=0) state in the 9Be atom must be {\Delta}12 = 8235.556(7) MHz and {\Delta}23 = 13725.927(7) MHz, respectively.


title: Quarkonium at the Frontiers of High Energy Physics: A Snowmass White Paper

abstract: In this Snowmass White Paper, we discuss physics opportunities involving heavy quarkonia at the intensity and energy frontiers of high energy physics. We focus primarily on two specific aspects of quarkonium physics for which significant advances can be expected from experiments at both frontiers. The first aspect is the spectroscopy of charmonium and bottomonium states above the open-heavy-flavor thresholds. Experiments at e^+ e^- colliders and at hadron colliders have discovered many new, unexpected quarkonium states in the last 10 years. Many of these states are surprisingly narrow, and some have electric charge. The observations of these charged quarkonium states are the first definitive discoveries of manifestly exotic hadrons. These results challenge our understanding of the QCD spectrum. The second aspect is the production of heavy quarkonium states with large transverse momentum. Experiments at the LHC are measuring quarkonium production with high statistics at unprecedented values of p_T. Recent theoretical developments may provide a rigorous theoretical framework for inclusive production of quarkonia at large p_T. Experiments at the energy frontier will provide definitive tests of this framework. Experiments at the intensity frontier also provide an opportunity to understand the exclusive production of quarkonium states.


title: Kondo signature in heat transfer via a local two-state system

abstract: We study the Kondo effect in heat transport via a local two-state system. This system is described by the spin-boson Hamiltonian with Ohmic dissipation, which can be mapped onto the Kondo model with anisotropic exchange coupling. We calculate thermal conductance by the Monte Carlo method based on the exact formula. Thermal conductance has a scaling form \kappa = (k_B^2 T_K/\hbar) f(\alpha,T/T_K ), where T_K and \alpha indicate the Kondo temperature and dimensionless coupling strength, respectively. Temperature dependence of conductance is classified by the Kondo temperature as \kappa\propto (T/T_K )^3 for T\ll T_K and \kappa\propto (k_B T / \hbar\omega_c)^{2\alpha-1} for T\gg T_K. Similarities to the Kondo signature in electric transport are discussed.


title: Theoretical Study of Spin-Torque Oscillator with Perpendicularly Magnetized Free Layer

abstract: The magnetization dynamics of spin torque oscillator (STO) consisting of a perpendicularly magnetized free layer and an in-plane magnetized pinned layer was studied by solving the Landau-Lifshitz-Gilbert equation. We derived the analytical formula of the relation between the current and the oscillation frequency of the STO by analyzing the energy balance between the work done by the spin torque and the energy dissipation due to the damping. We also found that the field-like torque breaks the energy balance, and change the oscillation frequency.


title: Exciton propagation via quantum walks based on non-Hermitian coin flip operations

abstract: We examine the coherent propagation of the one-dimensional Frenkel exciton (correlated electron-hole pair system) based on a model of a quantum walker in multi-dimensional Hilbert space. The walk is governed by a non-Hermitian coin flip operation coupled to a generalized shift process. The dissipative coin flip operation is associated with amplitude leakages at occupied sites, typical of processes which occur when an exciton is transferred along dimer sites in photosynthetic protein complexes. We analyze the characteristics probability distribution of the one-dimensional quantum walk for various system parameters, and examine the complex interplay between non-Markovian signatures and amplitude leakages within the Hilbert position subspace. The visibility of topological defects such as exceptional points, and non-Markovian signatures via quantum tomography based spectroscopic measurements are discussed.


title: Participation anticipating in elections using data mining methods

abstract: Anticipating the political behavior of people will be considerable help for election candidates to assess the possibility of their success and to be acknowledged about the public motivations to select them. In this paper, we provide a general schematic of the architecture of participation anticipating system in presidential election by using KNN, Classification Tree and Na\"ive Bayes and tools orange based on crisp which had hopeful output. To test and assess the proposed model, we begin to use the case study by selecting 100 qualified persons who attend in 11th presidential election of Islamic republic of Iran and anticipate their participation in Kohkiloye & Boyerahmad. We indicate that KNN can perform anticipation and classification processes with high accuracy in compared with two other algorithms to anticipate participation.


title: Holographic Algorithms Beyond Matchgates

abstract: Holographic algorithms introduced by Valiant are composed of two ingredients: matchgates, which are gadgets realizing local constraint functions by weighted planar perfect matchings, and holographic reductions, which show equivalences among problems with different descriptions via certain basis transformations. In this paper, we replace matchgates in the paradigm above by the affine type and the product type constraint functions, which are known to be tractable in general (not necessarily planar) graphs. More specifically, we present polynomial-time algorithms to decide if a given counting problem has a holographic reduction to another problem defined by the affine or product-type functions. Our algorithms also find a holographic transformation when one exists. We further present polynomial-time algorithms of the same decision and search problems for symmetric functions, where the complexity is measured in terms of the (exponentially more) succinct representations. The algorithm for the symmetric case also shows that the recent dichotomy theorem for Holant problems with symmetric constraints is efficiently decidable. Our proof techniques are mainly algebraic, e.g., using stabilizers and orbits of group actions.


title: C\'omo obtener curvas con formas predeterminadas a partir de circunferencias

abstract: We produce several algebraic curves, some well--known, some new, out of circles, by means of two classical (mutually reciprocal) algebraic methods: blow--down and blow--up.


title: Data mining application for cyber space users tendency in blog writing: a case study

abstract: Blogs are the recent emerging media which relies on information technology and technological advance. Since the mass media in some less-developed and developing countries are in government service and their policies are developed based on governmental interests, so blogs are provided for ideas and exchanging opinions. In this paper, we highlighted performed simulations from obtained information from 100 users and bloggers in Kohkiloye and Boyer Ahmad Province and using Weka 3.6 tool and c4.5 algorithm by applying decision tree with more than %82 precision for getting future tendency anticipation of users to blogging and using in strategically areas.


title: PS-TRUST: Provably Secure Solution for Truthful Double Spectrum Auctions

abstract: Truthful spectrum auctions have been extensively studied in recent years. Truthfulness makes bidders bid their true valuations, simplifying greatly the analysis of auctions. However, revealing one's true valuation causes severe privacy disclosure to the auctioneer and other bidders. To make things worse, previous work on secure spectrum auctions does not provide adequate security. In this paper, based on TRUST, we propose PS-TRUST, a provably secure solution for truthful double spectrum auctions. Besides maintaining the properties of truthfulness and special spectrum reuse of TRUST, PS-TRUST achieves provable security against semi-honest adversaries in the sense of cryptography. Specifically, PS-TRUST reveals nothing about the bids to anyone in the auction, except the auction result. To the best of our knowledge, PS-TRUST is the first provably secure solution for spectrum auctions. Furthermore, experimental results show that the computation and communication overhead of PS-TRUST is modest, and its practical applications are feasible.


title: Notes and Remarks on certain logarithmic integrals

abstract: Logarithmic integrals revisited. We consider integrals of the form $\int_0^1 \ln{\ln{(\frac{1}{x})}}R{(x)}{\rm d}x$ again, where $R{(x)}$ is a rational function, and we will explain a way to obtain their values.


title: A new approach in dynamic traveling salesman problem: a hybrid of ant colony optimization and descending gradient

abstract: Nowadays swarm intelligence-based algorithms are being used widely to optimize the dynamic traveling salesman problem (DTSP). In this paper, we have used mixed method of Ant Colony Optimization (AOC)and gradient descent to optimize DTSP which differs with ACO algorithm in evaporation rate and innovative data. This approach prevents premature convergence and scape from local optimum spots and also makes it possible to find better solutions for algorithm. In this paper, we are going to offer gradient descent and ACO algorithm which in comparison to some former methods it shows that algorithm has significantly improved routes optimization.


title: Stability of Cosmic Ray Modified Shocks: Two-Fluid Approach

abstract: The stability of the cosmic ray modified shock (CRMS) is studied by means of numerical simulations. Owing to the nonlinear feedback of cosmic-ray (CR) acceleration, a downstream state of the modified shock can no longer be uniquely determined for given upstream parameters. It is known that up to three distinct solutions exist, which are characterized by the CR production efficiency as "efficient", "intermediate" and "inefficient" branches. The stability of these solutions is investigated by performing direct time-dependent simulations of a two-fluid model. It is found that both the efficient and inefficient branches are stable even against a large-amplitude perturbation, while the intermediate one is always unstable and evolves into the inefficient state as a result of nonlinear time development. This bistable feature is robust in a wide range of parameters and does not depend on the injection model. Fully nonlinear time evolution of a hydrodynamic shock with injection results in the least efficient state in terms of the CR production, consistent with the bistable feature. This suggests that the CR production efficiency at supernova remnant shocks may be lower than previously discussed in the framework of the nonlinear shock acceleration theory considering the efficient solution of the CRMS.


title: Dynamical 3-Space: Gravitational Wave Detection and the Shnoll Effect

abstract: Shnoll has investigated the non-Poisson scatter of rate measurements in various phenomena such as biological and chemical reactions, radioactive decay, photodiode current leakage and germanium semiconductor noise, and attributed the scatter to cosmophysical factors. While Shnoll didn't pinpoint the nature of the cosmophysical factors the Process Physics model of reality leads to a description of space, which is dynamic and fractal and exhibits reverberation effects, and which offers an explanation for the scattering anomaly. The work presented here shows a new way of generating the effects Shnoll discovered, through studying the phase difference of RF EM waves travelling through a dual coaxial cable Gravitational Wave Detector experiment.


title: Linear differential equations on the Riemann sphere and representations of quivers

abstract: Our interest in this paper is a generalization of the additive Deligne-Simpson problem which is originally defined for Fuchsian differential equations on the Riemann sphere. We shall extend this problem to differential equations having an arbitrary number of unramified irregular singular points and determine the existence of solutions of the generalized additive Deligne-Simpson problems. Moreover we apply this result to the geometry of the moduli spaces of stable meromorphic connections of trivial bundles on the Riemann sphere. Namely, open embedding of the moduli spaces into quiver varieties is given and the non-emptiness condition of the moduli spaces is determined. Furthermore the connectedness of the moduli spaces is shown.


title: Imaging of the CO Snow Line in a Solar Nebula Analog

abstract: Planets form in the disks around young stars. Their formation efficiency and composition are intimately linked to the protoplanetary disk locations of "snow lines" of abundant volatiles. We present chemical imaging of the CO snow line in the disk around TW Hya, an analog of the solar nebula, using high spatial and spectral resolution Atacama Large Millimeter/Submillimeter Array (ALMA) observations of N2H+, a reactive ion present in large abundance only where CO is frozen out. The N2H+ emission is distributed in a large ring, with an inner radius that matches CO snow line model predictions. The extracted CO snow line radius of ~ 30 AU helps to assess models of the formation dynamics of the Solar System, when combined with measurements of the bulk composition of planets and comets.


title: Towards Meta-Reasoning in the Concurrent Logical Framework CLF

abstract: The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of LF that allows us to express properties of CLF specifications. We illustrate the approach with a proof of safety for a small language with a parallel semantics.


title: Adding Priority to Event Structures

abstract: Event Structures (ESs) are mainly concerned with the representation of causal relationships between events, usually accompanied by other event relations capturing conflicts and disabling. Among the most prominent variants of ESs are Prime ESs, Bundle ESs, Stable ESs, and Dual ESs, which differ in their causality models and event relations. Yet, some application domains require further kinds of relations between events. Here, we add the possibility to express priority relationships among events. We exemplify our approach on Prime, Bundle, Extended Bundle, and Dual ESs. Technically, we enhance these variants in the same way. For each variant, we then study the interference between priority and the other event relations. From this, we extract the redundant priority pairs-notably differing for the types of ESs-that enable us to provide a comparison between the extensions. We also exhibit that priority considerably complicates the definition of partial orders in ESs.


title: Compositionality of Approximate Bisimulation for Probabilistic Systems

abstract: Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is for many applications too sensitive to the exact probabilities of transitions. Approximate bisimulation provides a robust semantics that is stable with respect to implementation and measurement errors of probabilistic behavior. We provide a general method to quantify how much a process combinator expands the approximate bisimulation distance. As a direct application we derive an appropriate rule format that guarantees compositionality with respect to approximate bisimilarity. Moreover, we describe how specification formats for non-standard compositionality requirements may be derived.


title: A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization

abstract: In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based method for deciding these relations in which we eliminate an explicit product construction of the region graphs or the zone graphs as in the classical methods. Our method is also generic and can be used to decide several timed relations. We also present a game characterization for these timed relations and show that the game hierarchy reflects the hierarchy of the timed relations. One can obtain an infinite game hierarchy and thus the game characterization further indicates the possibility of defining new timed relations which have not been studied yet. The game characterization also helps us to come up with a formula which encodes the separation between two states that are not timed bisimilar. Such distinguishing formulae can also be generated for many relations other than timed bisimilarity.


title: Algebraic Meta-Theory of Processes with Data

abstract: There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data (e.g. to model storage and memory). We show how the rule formats for algebraic properties can be exploited in a generic manner in the setting with data. Moreover, we introduce a new approach for deriving sound and ground-complete axiom schemata for a notion of bisimilarity with data, called stateless bisimilarity, based on intuitive auxiliary function symbols for handling the store component. We do restrict, however, the axiomatization to the setting where the store component is only given in terms of constants.


title: The categorical limit of a sequence of dynamical systems

abstract: Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns out to be subject to ambiguity. Depending on the interpretation of the sequence, i.e. depending on how the behaviors of the systems in the sequence are related, it may vary what the limit should be. Topologies, and in particular metrics, define limits uniquely, if they exist. Thus they select one interpretation implicitly and leave no room for other interpretations. In this paper, we define limits using category theory, and use the mentioned relations between system behaviors explicitly. This resolves the problem of ambiguity in a more controlled way. We introduce a category of prefix orders on executions and partial history preserving maps between them to describe both discrete and continuous branching time dynamics. We prove that in this category all projective limits exist, and illustrate how ambiguity in the definition of limits is resolved using an example. Moreover, we show how various problems with known topological approaches are now resolved, and how the construction of projective limits enables us to approximate continuous time dynamics as a sequence of discrete time systems.


title: Meta SOS - A Maude Based SOS Meta-Theory Framework

abstract: Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based definition, as well as automatically deriving sound and ground-complete axiomatizations for languages, when considering a notion of behavioural equivalence. This paper describes the Meta SOS framework by blending aspects from the meta-theory of SOS, details on their implementation in Maude, and running examples.


title: Wireless Information and Power Transfer in Two-Way Amplify-and-Forward Relaying Channels

abstract: The various wireless networks have made the ambient radio frequency signals around the world. Wireless information and power transfer enables the devices to recycle energy from these ambient radio frequency signals and process information simultaneously. In this paper, we develop a wireless information and power transfer protocol in two-way amplify-and-forward relaying channels, where two sources exchange information via an energy harvesting relay node. The relay node collects energy from the received signals and uses it to provide the transmission power to forward the received signals. We analytically derive the exact expressions of the outage probability, the ergodic capacity and the finite-SNR diversity-multiplexing trade-off (DMT). Furthermore, the tight closed-form upper and lower bounds of the outage probability and the ergodic capacity are then developed. Moreover, the impact of the power splitting ratio is also evaluated and analyzed. Finally, we show that compared to the non-cooperative relaying scheme, the proposed protocol is a green solution to offer higher transmission rate and more reliable communication without consuming additional resource.


title: Large-scale magnetic fields from inflation in teleparallel gravity

abstract: Generation of large-scale magnetic fields in inflationary cosmology is studied in teleparallelism, where instead of the scalar curvature in general relativity, the torsion scalar describes the gravity theory. In particular, we investigate a coupling of the electromagnetic field to the torsion scalar during inflation, which leads to the breaking of conformal invariance of the electromagnetic field. We demonstrate that for a power-law type coupling, the current magnetic field strength of $\sim 10^{-9}$ G on 1 Mpc scale can be generated, if the backreaction effects and strong coupling problem are not taken into consideration.


title: Boundary and scattering rigidity problems in the presence of a magnetic field and a potential

abstract: In this paper, we consider a compact Riemannian manifold with boundary, endowed with a magnetic potential $\alpha$ and a potential $U$. For brevity, this type of systems are called $\MP$-systems. On simple $\MP$-systems, we consider both the boundary rigidity problem and scattering rigidity problem, see the introduction for details. We show that these two problems are equivalent on simple $\MP$-systems. Unlike the cases of geodesic or magnetic systems, knowing boundary action functions or scattering relations for only one energy level is insufficient to uniquely determine a simple $\MP$-system, even under the assumption that we know the restriction of the system on the boundary $\p M$, and we provide some counterexamples. These problems can only be solved up to an isometry and a gauge transformations of $\alpha$ and $U$. We prove rigidity results for metrics in a given conformal class, for simple real analytic $\MP$-systems and for simple two-dimensional $\MP$-systems.


title: Hyperon Stars in Strong Magnetic Fields

abstract: We investigate the effects of strong magnetic fields on the properties of hyperon stars. The matter is described by a hadronic model with parametric coupling. The matter is considered to be at zero temperature, charge neutral, beta-equilibrated, containing the baryonic octet, electrons and muons. The charged particles have their orbital motions Landau-quantized in the presence of strong magnetic fields (SMF). Two parametrisations of a chemical potential dependent static magnetic field are considered, reaching $1-2 \times 10^{18}\,G$ in the center of the star. Finally, the Tolman-Oppenheimer-Volkov (TOV) equations are solved to obtain the mass-radius relation and population of the stars.


title: RepFlow: Minimizing Flow Completion Times with Replicated Flows in Data Centers

abstract: Short TCP flows that are critical for many interactive applications in data centers are plagued by large flows and head-of-line blocking in switches. Hash-based load balancing schemes such as ECMP aggravate the matter and result in long-tailed flow completion times (FCT). Previous work on reducing FCT usually requires custom switch hardware and/or protocol changes. We propose RepFlow, a simple yet practically effective approach that replicates each short flow to reduce the completion times, without any change to switches or host kernels. With ECMP the original and replicated flows traverse distinct paths with different congestion levels, thereby reducing the probability of having long queueing delay. We develop a simple analytical model to demonstrate the potential improvement of RepFlow. Extensive NS-3 simulations and Mininet implementation show that RepFlow provides 50%--70% speedup in both mean and 99-th percentile FCT for all loads, and offers near-optimal FCT when used with DCTCP.


title: A Vision on the Status and Evolution of HEP Physics Software Tools

abstract: This paper represents the vision of the members of the Fermilab Scientific Computing Division's Computational Physics Department (SCD-CPD) on the status and the evolution of various HEP software tools such as the Geant4 detector simulation toolkit, the Pythia and GENIE physics generators, and the ROOT data analysis framework. The goal of this paper is to contribute ideas to the Snowmass 2013 process toward the composition of a unified document on the current status and potential evolution of the physics software tools which are essential to HEP.


title: A dense Bose fluid at zero temperature: condensation and clusters in liquid He-4

abstract: We present a full set of wave equations describing a dense Bose fluid, applicable both to non- ideal gases and to liquid 4He. The phonon spectrum in liquid 4He is found and the fraction of condensed particles is calculated at zero temperature for a wide range of densities. The theory also yields the ground-state energy for the quantum liquid 4He in agreement to high accuracy with Monte Carlo simulations and experimental data at low pressure. We also present the derivation of a generalized Hartree-Fock equation describing roton clusters in low temperature liquid 4He, allowing us to confirm that, at low enough temperatures and for a wide range of pressures, the stable clusters consist of 13 bound atoms.


title: Relative Errors for Deterministic Low-Rank Matrix Approximations

abstract: We consider processing an n x d matrix A in a stream with row-wise updates according to a recent algorithm called Frequent Directions (Liberty, KDD 2013). This algorithm maintains an l x d matrix Q deterministically, processing each row in O(d l^2) time; the processing time can be decreased to O(d l) with a slight modification in the algorithm and a constant increase in space. We show that if one sets l = k+ k/eps and returns Q_k, a k x d matrix that is the best rank k approximation to Q, then we achieve the following properties: ||A - A_k||_F^2 <= ||A||_F^2 - ||Q_k||_F^2 <= (1+eps) ||A - A_k||_F^2 and where pi_{Q_k}(A) is the projection of A onto the rowspace of Q_k then ||A - pi_{Q_k}(A)||_F^2 <= (1+eps) ||A - A_k||_F^2. We also show that Frequent Directions cannot be adapted to a sparse version in an obvious way that retains the l original rows of the matrix, as opposed to a linear combination or sketch of the rows.


title: Resolvable Mendelsohn designs and finite Frobenius groups

abstract: We prove the existence and give constructions of a $(p(k)-1)$-fold perfect resolvable $(v, k, 1)$-Mendelsohn design for any integers $v > k \ge 2$ with $v \equiv 1 \mod k$ such that there exists a finite Frobenius group whose kernel $K$ has order $v$ and whose complement contains an element $\phi$ of order $k$, where $p(k)$ is the least prime factor of $k$. Such a design admits $K \rtimes \langle \phi \rangle$ as a group of automorphisms and is perfect when $k$ is a prime. As an application we prove that for any integer $v = p_{1}^{e_1} \ldots p_{t}^{e_t} \ge 3$ in prime factorization, and any prime $k$ dividing $p_{i}^{e_i} - 1$ for $1 \le i \le t$, there exists a resolvable perfect $(v, k, 1)$-Mendelsohn design that admits a Frobenius group as a group of automorphisms. We also prove that, if $k$ is even and divides $p_{i} - 1$ for $1 \le i \le t$, then there are at least $\varphi(k)^t$ resolvable $(v, k, 1)$-Mendelsohn designs that admit a Frobenius group as a group of automorphisms, where $\varphi$ is Euler's totient function.


title: Rigid isotopy classification of real degree-4 planar rational curves with only real nodes (An elementary approach)

abstract: We prove an elementary method to classify, up to rigid isotopy, all nodal degree 4 real rational curves in $\mathbb{RP}^2$ that have only real double points. We show how to associate a chord diagram to a nodal real degree 4 planar rational curve and prove that such curves are defined up to rigid isotopy by their chord diagrams.


title: High-statistics study of K^0_S pair production in two-photon collisions

abstract: We report a high-statistics measurement of the differential cross section of the process gamma gamma --> K^0_S K^0_S in the range 1.05 GeV <= W <= 4.00 GeV, where W is the center-of-mass energy of the colliding photons, using 972 fb^{-1} of data collected with the Belle detector at the KEKB asymmetric-energy e^+ e^- collider operated at and near the Upsilon-resonance region. The differential cross section is fitted by parameterized S-, D_0-, D_2-, G_0- and G_2-wave amplitudes. In the D_2 wave, the f_2(1270), a_2(1320) and f_2'(1525) are dominant and a resonance, the f_2(2200), is also present. The f_0(1710) and possibly the f_0(2500) are seen in the S wave. The mass, total width and product of the two-photon partial decay width and decay branching fraction to the K bar{K} state Gamma_{gamma gamma}B(K bar{K}) are extracted for the f_2'(1525), f_0(1710), f_2(2200) and f_0(2500). The destructive interference between the f_2(1270) and a_2(1320) is confirmed by measuring their relative phase. The parameters of the charmonium states chi_{c0} and chi_{c2} are updated. Possible contributions from the chi_{c0}(2P) and chi_{c2}(2P) states are discussed. A new upper limit for the branching fraction of the P- and CP-violating decay channel eta_c --> K^0_S K^0_S is reported. The detailed behavior of the cross section is updated and compared with QCD-based calculations.


title: Phenomenology of an Extended Higgs Portal Inflation Model after Planck 2013

abstract: We consider an extended inflation model in the frame of Higgs portal model, assuming a nonminimal coupling of the scalar field to the gravity. Using the new data from Planck $2013$ and other relevant astrophysical data, we obtain the relation between the nonminimal coupling $\xi$ and the self-coupling $\lambda$ needed to drive the inflation, and find that this inflationary model is favored by the astrophysical data. Furthermore, we discuss the constraints on the model parameters from the experiments of particle physics, especially the recent Higgs data at the LHC.


title: Dynamical evolution of the electromagnetic perturbation with Weyl corrections

abstract: We present firstly the master equation of an electromagnetic perturbation with Weyl correction in the four-dimensional black hole spacetime, which depends not only on the Weyl correction parameter, but also on the parity of the electromagnetic field. It is quite different from that of the usual electromagnetic perturbation without Weyl correction in the four-dimensional spacetime. And then we have investigated numerically the dynamical evolution of the electromagnetic perturbation with Weyl correction in the background of a four-dimensional Schwarzschild black hole spacetime. Our results show that the Weyl correction parameter $\alpha$ and the parities imprint in the wave dynamics of the electromagnetic perturbation. For the odd parity electromagnetic perturbation, we find it grows with exponential rate if the value of $\alpha$ is below the negative critical value $\alpha_c$. However, for the electromagnetic perturbation with even parity, we find that there does not exist such a critical threshold value and the electromagnetic field always decays in the allowed range of $\alpha$.


title: Fixing numbers for matroids

abstract: Motivated by work in graph theory, we define the fixing number for a matroid. We give upper and lower bounds for fixing numbers for a general matroid in terms of the size and maximum orbit size (under the action of the matroid automorphism group). We prove the fixing numbers for the cycle matroid and bicircular matroid associated with 3-connected graphs are identical. Many of these results have interpretations through permutation groups, and we make this connection explicit.


title: Levels of Integration between Low-Level Reasoning and Task Planning

abstract: We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics. We identify four distinct strategies for such an integration: (i) low-level checks are done for all possible cases in advance and then this information is used during plan generation, (ii) low-level checks are done exactly when they are needed during the search for a plan, (iii) first all plans are computed and then infeasible ones are filtered, and (iv) by means of replanning, after finding a plan, low-level checks identify whether it is infeasible or not; if it is infeasible, a new plan is computed considering the results of previous low- level checks. We perform experiments on hybrid planning problems in robotic manipulation and legged locomotion domains considering these four methods of integration, as well as some of their combinations. We analyze the usefulness of levels of integration in these domains, both from the point of view of computational efficiency (in time and space) and from the point of view of plan quality relative to its feasibility. We discuss advantages and disadvantages of each strategy in the light of experimental results and provide some guidelines on choosing proper strategies for a given domain.


title: Spectral Distribution of Cu Nuclear Spin-Lattice Relaxation Time in Superconducting Bi2Sr2CaCu2O8+d

abstract: We successfully observed the frequency distribution of Cu nuclear spin-lattice relaxation time in the superconducting state of single crystals Bi2212, which we believe corresponds to a theoretical suggestion from the analysis of the energy gap distribution in STM/STS (Mori et al., Phys. Rev. Lett. 101 (2008) 247003).


title: Three term recurrence and residue completeness

abstract: We study the three term recurrence modulo m. In particular, we prove that Pell numbers modulo m is residue complete if and only m is 2, a power of 3, or a power of 5. Pell-Lucas numbers modulo m is residue complete if and only if m is a power of 3.


title: Real-time Peer-to-Peer Botnet Detection Framework based on Bayesian Regularized Neural Network

abstract: Over the past decade, the Cyberspace has seen an increasing number of attacks coming from botnets using the Peer-to-Peer (P2P) architecture. Peer-to-Peer botnets use a decentralized Command & Control architecture. Moreover, a large number of such botnets already exist, and newer versions- which significantly differ from their parent bot- are also discovered practically every year. In this work, the authors propose and implement a novel hybrid framework for detecting P2P botnets in live network traffic by integrating Neural Networks with Bayesian Regularization. Bayesian Regularization helps in achieving better generalization of the dataset, thereby enabling the detection of botnet activity even of those bots which were never used in training the Neural Network. Hence such a framework is suitable for detection of newer and unseen botnets in live traffic of a network. This was verified by testing the Framework on test data unseen to the Detection module (using untrained botnet dataset), and the authors were successful in detecting this activity with an accuracy of 99.2 %.


title: Energy transfers and magnetic energy growth in small-scale dynamo

abstract: In this letter we investigate the dynamics of magnetic energy growth in small-scale dynamo by studying energy transfers, mainly energy fluxes and shell-to-shell energy transfers. We perform dynamo simulations for magnetic Prandtl number $\mathrm{Pm}=20$ on $1024^3$ grid using pseudospectral method. We demonstrate that the magnetic energy growth is caused by nonlocal energy transfers from the large-scale or forcing-scale velocity field to small-scale magnetic field. The peak of these energy transfers move towards lower wavenumbers as dynamo evolves, which is the reason why the integral scale of the magnetic field increases with time. The energy transfers $U2U$ (velocity to velocity) and $B2B$ (magnetic to magnetic) are forward and local.


title: Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report

abstract: We investigate different approaches to integrating object recognition and planning in a tabletop manipulation domain with the set of objects used in the 2012 RoboCup@Work competition. Results of our preliminary experiments show that, with some approaches, close integration of perception and planning improves the quality of plans, as well as the computation times of feasible plans.


title: Generalized integral formulation of electromagnetic Cartesian multipole moments

abstract: We study integral expressions of electromagnetic multipole moments of arbitrary order in Cartesian coordinates. The volume and surface integrals of charge-induced and current-induced multipole moment tensors are formulated and the relationship between them is discussed. Full surface integral expressions for the multipole moment are also obtained. We further extend the formulation to introduce another kind of dipole moment, which is similar to the charge-induced and current-induced multipole moments and is found in a vector decomposition formula.


title: Magnetic Field Effects in Fermion Pairings

abstract: This paper considers various fermion pairings of interest for the QCD phases. The effects of an external magnetic field on the pairing mechanisms, on the realization of new condensates, and on the properties of the magnetized phases are all explored and discussed.


title: Feebly Self-Interacting Cold Dark Matter: New theory for the Core-Halo structure in GLSB Galaxies

abstract: We explore the low energy cosmological dynamics of feebly self-interacting cold dark matter and propose a new simple explanation for the rotation curves of the core-halo model in massive LSB (Low Surface brightness)galaxies. We argue in favor of the truly collisionless nature of cold dark matter,which is feebly,self-interacting at small scales between epochs of equality and recombination.For this, we assume a model, wherein strongly coupled baryon-radiation plasma ejects out of small regions of concentrated cold dark matter without losing its equilibrium. We use the Merscerskii equation i.e. the variable mass formalism of classical dynamics.We obtain new results relating the oscillations in the CMB anisotropy to the ejection velocity of the baryon-radiation plasma,which can be useful tool for numerical work for exploring the second peak of CMB. Based on this model, we discuss the growth of perturbations in such a feebly self-interacting,cold dark matter both in the Jeans theory and in the expanding universe using Newton's theory.We obtain an expression for the growth of fractional perturbations in cold dark matter,which reduce to the standard result of perturbation theory for late recombination epochs. We see the effect of the average of the perturbations in the cold dark matter potential on the cosmic microwave background temperature anisotropy that originated at redshifts between equality and recombination i.e. 1100 < z < z_{eq}. Also we obtain an expression for the Sachs-Wolfe effect,i.e. the CMB temperature anisotropy at decoupling in terms of the average of the perturbations in cold dark matter potential.


title: Si$\Lambda$ViO: A Trigger for $\Lambda$-Hyperons

abstract: As online trigger for events containing $\Lambda$ hyperons in p+p collisions at $\mathrm{3.1\,GeV}$ a silicon-based device has been designed and built. This system has been integrated close to the target region within the FOPI spectrometer at GSI and was also employed as a tracking device to improve the vertex reconstruction of secondary decays. The design of the detector components, read-out, the trigger capability as well as the tracking performance are presented. An enrichment factor of about 14 was achieved for events containing a $\Lambda$-hyperon candidate.


title: Analyzing propagation of low-frequency dissipative oscillations in the upper atmosphere

abstract: At a horizontally homogeneous isothermal atmosphere approximation, we derive an ordinary six-order differential equation describing linear disturbances with consideration for heat conductivity and viscosity of medium. The wave problem may be solved analytically by representing the solution through generalized hypergeometric functions only at a nonviscous heat-conducting isothermal atmosphere approximation. The analytical solution may be used to qualitatively analyze propagation of acoustic and internal gravity waves (AGWs) in the real atmosphere: a) to classify waves of different frequencies and horizontal scales according to a degree of attenuation and thus according to their ability to appear in observations and in general dynamics of the upper atmosphere; b) to describe variations in amplitude and phase characteristics of disturbances propagating in a height region with dominant dissipation; c) to analyze applicability of quasi-classical wave description to a medium with exponentially growing dissipation. In this paper, we also present wave and quasi-classical methods for deriving waveguide solutions (dissipative ones corresponding to a range of internal gravity waves (IGWs)) with consideration of wave leakage into the upper atmosphere. We propose a qualitative scheme which formally connects the wave leakage solution to the wave solution in the upper dissipative atmosphere. Spatial and frequency characteristics of dissipative disturbances generated by a waveguide leakage effect in the upper atmosphere are demonstrated to agree well with observed characteristics of middle-scale traveling ionospheric disturbances (TIDs).


title: Improved Service Delivery and Cost Effective Framework for e-Governance in India

abstract: In current era, the involvement of technologies like virtualization, consolidation and cloud computing, and adoption of free and open source software in designing and deploying e-governance that can reduce the total cost associated with and hence the financial burden abide by the state and central governments. The success of any e-governance project depends upon its utilization by the intended group and so there accessibility needs to be enhanced drastically by reengineered framework. Here, we design an Improved Service Delivery and Cost Effective Framework for e-Governance that will be useful for success of e-governance projects and the delivery mechanism in India by using free and open access software for development and deployment of e-governance applications, virtualization and consolidation techniques for management of e-services and cloud computing for enhancing the accessibility of services.


title: $L^1$-Uniqueness of the Fokker-Planck equation on a Riemannian manifold

abstract: In this paper, we obtain a necessary and sufficient condition for $L^{\infty}$-uniqueness of Sturm-Liouville operator $a(x)\frac{d^2}{dx^2} + b(x) \frac d{dx} -V$ on an open interval of $\rr$, which is equivalent to the $L^1$-uniqueness of the associated Fokker-Planck equation. For a general elliptic operator $\LL^V:=\Delta +b \cdot\nabla -V$ on a Riemannian manifold, we obtain sharp sufficient conditions for the $L^1$-uniqueness of the Fokker-Planck equation associated with $\LL^V$, via comparison with a one-dimensional Sturm-Liouville operator. Furthermore the $L^1$-Liouville property is derived as a direct consequence of the $L^\infty$-uniqueness of $\LL^V$.


title: Automatic Mammogram image Breast Region Extraction and Removal of Pectoral Muscle

abstract: Currently Mammography is a most effective imaging modality used by radiologists for the screening of breast cancer. Finding an accurate, robust and efficient breast region segmentation technique still remains a challenging problem in digital mammography. Extraction of the breast profile region and the removal of pectoral muscle are essential pre-processing steps in Computer Aided Diagnosis (CAD) system for the diagnosis of breast cancer. Primarily it allows the search for abnormalities to be limited to the region of the breast tissue without undue influence from the background of the mammogram. The presence of pectoral muscle in mammograms biases detection procedures, which recommends removing the pectoral muscle during mammogram image pre-processing. The presence of pectoral muscle in mammograms may disturb or influence the detection of breast cancer as the pectoral muscle and mammographic parenchymas appear similar. The goal of breast region extraction is reducing the image size without losing anatomic information, it improve the accuracy of the overall CAD system. The main objective of this study is to propose an automated method to identify the pectoral muscle in Medio-Lateral Oblique (MLO) view mammograms. In this paper, we proposed histogram based 8-neighborhood connected component labelling method for breast region extraction and removal of pectoral muscle. The proposed method is evaluated by using the mean values of accuracy and error. The comparative analysis shows that the proposed method identifies the breast region more accurately.


title: How geometry determines the coalescence of low-viscosity drops

abstract: The coalescence of water drops on a substrate is studied experimentally. We focus on the rapid growth of the bridge connecting the two drops, which very quickly after contact ensues from a balance of surface tension and liquid inertia. For drops with contact angles below $90^\circ$, we find that the bridge grows with a self-similar dynamics that is characterized by a height $h\sim t^{2/3}$. By contrast, the geometry of coalescence changes dramatically for contact angles at $90^\circ$, for which we observe $h\sim t^{1/2}$, just as for freely suspended spherical drops in the inertial regime. We present a geometric model that quantitatively captures the transition from 2/3 to 1/2 exponent, and unifies the inertial coalescence of sessile drops and freely suspended drops.


title: Theoretical model and experimental setup for 3D imaging of cavity vacuum with single atoms confined by a nanohole aperture

abstract: Supplementary information is presented on the recent work by Moonjoo Lee et al. on the sub-wavelength 3D imaging of the vacuum-field intensity in a cavity by using single atoms confined by a nanohole aperture as a nanoscopic probe.


title: Manipulation of Stable Matchings using Minimal Blacklists

abstract: Gale and Sotomayor (1985) have shown that in the Gale-Shapley matching algorithm (1962), the proposed-to side W (referred to as women there) can strategically force the W-optimal stable matching as the M-optimal one by truncating their preference lists, each woman possibly blacklisting all but one man. As Gusfield and Irving have already noted in 1989, no results are known regarding achieving this feat by means other than such preference-list truncation, i.e. by also permuting preference lists. We answer Gusfield and Irving's open question by providing tight upper bounds on the amount of blacklists and their combined size, that are required by the women to force a given matching as the M-optimal stable matching, or, more generally, as the unique stable matching. Our results show that the coalition of all women can strategically force any matching as the unique stable matching, using preference lists in which at most half of the women have nonempty blacklists, and in which the average blacklist size is less than 1. This allows the women to manipulate the market in a manner that is far more inconspicuous, in a sense, than previously realized. When there are less women than men, we show that in the absence of blacklists for men, the women can force any matching as the unique stable matching without blacklisting anyone, while when there are more women than men, each to-be-unmatched woman may have to blacklist as many as all men. Together, these results shed light on the question of how much, if at all, do given preferences for one side a priori impose limitations on the set of stable matchings under various conditions. All of the results in this paper are constructive, providing efficient algorithms for calculating the desired strategies.


title: Building on the Case Teaching Method to Generate Learning Games Relevant to Numerous Educational Fields

abstract: University teachers often feel the need to try innovative learning technologies such as Learning Games to motivate the new generation of students. However, the typically limited resources of universities coupled with the high cost of designing and developing Learning Games result in it rarely being feasible to meet this need. To address this challenging problem, we have designed a framework that allows teachers to create their own Learning Games with very little or no help from developers and graphic designers. This framework, tested and validated by several university teachers, is suited to a wide variety of educational fields because it generates Learning Games based on the widely-used case teaching method.