title: Quantum Computing in the de Broglie-Bohm Pilot-Wave Picture

abstract: Much attention has been drawn to quantum computing and the exponential speed-up in computation the technology would be able to provide. Various claims have been made about what aspect of quantum mechanics causes this speed-up. Formulations of quantum computing have traditionally been made in orthodox (Copenhagen) and sometimes many-worlds quantum mechanics. We will aim to understand quantum computing in terms of de Broglie-Bohm Pilot-Wave Theory by considering different simple systems that may function as a basic quantum computer. We will provide a careful discussion of Pilot-Wave Theory and evaluate criticisms of the theory. We will assess claims regarding what causes the exponential speed-up in the light of our analysis and the fact that Pilot-Wave Theory is perfectly able to account for the phenomena involved in quantum computing.


title: Extended event driven molecular dynamics for simulating dense granular matter

abstract: A new numerical method is presented to efficiently simulate the inelastic hard sphere (IHS) model for granular media, when fluid and frozen regions coexist in the presence of gravity. The IHS model is extended by allowing particles to change their dynamics into either a frozen state or back to the normal collisional state, while computing the dynamics only for the particles in the normal state. Careful criteria, local in time and space, are designed such that particles become frozen only at mechanically stable positions. The homogeneous deposition over a static surface and the dynamics of a rotating drum are studied as test cases. The simulations agree with previous experimental results. The model is much more efficient than the usual event driven method and allows to overcome some of the difficulties of the standard IHS model, such as the existence of a static limit.


title: Directed factor graph based fault diagnosis model construction for mode switching satellite power system

abstract: Satellite power system is a complex, highly interconnected hybrid system that exhibit nonlinear and mode switching behaviors. Directed factor graph is an inference model for fault diagnosis using probabilistic reasoning techniques. A novel approach for constructing the directed factor graph structure based on hybrid bond graph model is proposed. The system components status and their fault symptoms are treated as hypothesis and evidences respectively. The cause-effect relations between hypothesis and evidences are identified and concluded though qualitative equations and causal path analysis on hybrid bond graph model. A power supply module of a satellite power system is provided as case study to show the feasibility and validity of the proposed method.


title: Persistent current noise

abstract: We demonstrate that persistent current in meso- and nanorings may fluctuate down to zero temperature provided the current operator does not commute with the total Hamiltonian of the system. For a model of a quantum particle on a ring we explicitly evaluate PC noise power which has a form of sharp peaks which become broadened for multi-channel rings or in the presence of dissipation. PC noise can be tuned by an external magnetic flux which is a fundamental manifestation of quantum coherence in the system.


title: The spectroscopic evolution of the symbiotic-like recurrent nova V407 Cygni during its 2010 outburst. I. The shock and its evolution

abstract: On 2010 Mar 10, V407 Cyg was discovered in outburst, eventually reaching V< 8 and detected by Fermi. Using medium and high resolution ground-based optical spectra, visual and Swift UV photometry, and Swift X-ray spectrophotometry, we describe the behavior of the high-velocity profile evolution for this nova during its first three months. The peak of the X-ray emission occurred at about day 40 with a broad maximum and decline after day 50. The main changes in the optical spectrum began at around that time. The He II 4686A line first appeared between days 7 and 14 and initially displayed a broad, symmetric profile that is characteristic of all species before day 60. Low-excitation lines remained comparatively narrow, with v(rad,max) of order 200-400 km/s. They were systematically more symmetric than lines such as [Ca V], [Fe VII], [Fe X], and He II, all of which showed a sequence of profile changes going from symmetric to a blue wing similar to that of the low ionization species but with a red wing extended to as high as 600 km/s . The Na I D doublet developed a broad component with similar velocity width to the other low-ionization species. The O VI Raman features were not detected. We interpret these variations as aspherical expansion of the ejecta within the Mira wind. The blue side is from the shock penetrating into the wind while the red wing is from the low-density periphery. The maximum radial velocities obey power laws, v(rad,max) t^{-n} with n ~ 1/3 for red wing and ~0.8 for the blue. (truncated)


title: Cosmological constant in scale-invariant theories

abstract: The incorporation of a small cosmological constant within radiatively-broken scale-invariant models is discussed. We show that phenomenologically consistent scale-invariant models can be constructed which allow a small positive cosmological constant, providing certain relation between the particle masses is satisfied. As a result, the mass of the dilaton is generated at two-loop level. Another interesting consequence is that the electroweak symmetry-breaking vacuum in such models is necessarily a metastable `false' vacuum which, fortunately, is not expected to decay on cosmological time scales.


title: Donald Burkholder's work in martingales and analysis

abstract: Overview of Burkholder's work on martingales and analysis


title: The foundational inequalities of D.L. Burkholder and some of their ramifications

abstract: This paper present an overview of some of the applications of the martingale inequalities of D.L. Burkholder to $L^p$-bounds for singular integral operators, concentrating on the Hilbert transform, first and second order Riesz transforms, the Beurling-Ahlfors operator and other multipliers obtained by projections (conditional expectations) of transformations of stochastic integrals. While martingale inequalities can be used to prove the boundedness of a wider class of Calder\'on-Zygmund singular integrals, the aim of this paper is to show results which give optimal or near optimal bounds in the norms, hence our restriction to the above operators. Connections of Burkholder's foundational work on sharp martingale inequalities to other areas of mathematics where either the results themselves or techniques to prove them have become of considerable interest in recent years, are discussed. These include the 1952 conjecture of C.B. Morrey on rank-one convex and quasiconvex functions with connections to problems in the calculus of variations and the 1982 conjecture of T. Iwaniec on the $L^p$-norm of the Beurling-Ahlfors operator with connections to problems in the theory of qasiconformal mappings. Open questions, problems and conjectures are listed throughout the paper and copious references are provided.


title: Electronic structure interpolation via atomic orbitals

abstract: We present an efficient scheme for accurate electronic structure interpolations based on the systematically improvable optimized atomic orbitals. The atomic orbitals are generated by minimizing the spillage value between the atomic basis calculations and the converged plane wave basis calculations on some coarse $k$-point grid. They are then used to calculate the band structure of the full Brillouin zone using the linear combination of atomic orbitals (LCAO) algorithms. We find that usually 16 -- 25 orbitals per atom can give an accuracy of about 10 meV compared to the full {\it ab initio} calculations. The current scheme has several advantages over the existing interpolation schemes. The scheme is easy to implement and robust which works equally well for metallic systems and systems with complex band structures. Furthermore, the atomic orbitals have much better transferability than the Shirley's basis and Wannier functions, which is very useful for the perturbation calculations.


title: Polyharmonic and Related Kernels on Manifolds: Interpolation and Approximation

abstract: This article is devoted to developing a theory for effective kernel interpolation and approximation in a general setting. For a wide class of compact, connected $C^\infty$ Riemannian manifolds, including the important cases of spheres and SO(3), we establish, using techniques involving differential geometry and Lie groups, that the kernels obtained as fundamental solutions of certain partial differential operators generate Lagrange functions that are uniformly bounded and decay away from their center at an algebraic rate, and in certain cases, an exponential rate. An immediate corollary is that the corresponding Lebesgue constants for interpolation as well as for $L_2$ minimization are uniformly bounded with a constant whose only dependence on the set of data sites is reflected in the mesh ratio, which measures the uniformity of the data. The kernels considered here include the restricted surface splines on spheres, as well as surface splines for SO(3), both of which have elementary closed-form representations that are computationally implementable. In addition to obtaining bounded Lebesgue constants in this setting, we also establish a "zeros lemma" for domains on compact Riemannian manifolds -- one that holds in as much generality as the corresponding Euclidean zeros lemma (on Lipschitz domains satisfying interior cone conditions) with constants that clearly demonstrate the influence of the geometry of the boundary (via cone parameters) as well as that of the Riemannian metric.


title: The DAEdALUS Experiment

abstract: DAEdALUS is an experiment to measure the CP-violation angle in the neutrino sector by producing multiple, intense beams of neutrinos from pion- and muon-decays-at-rest near an ultra-large water Cerenkov detector. In this talk, a design for the proposed Deep Underground Science and Engineering Laboratory in the U.S. was presented. DAEdALUS will be statistics-limited and have different systematic errors than long baseline CP-violation searches. When the data from both searches are combined, the sensitivity exceeds proton-driver designs. In this proceeding, we briefly describe one of several alternative cyclotron designs under consideration for DAEdALUS, as an example.


title: Carbon-based Materials as Key-enabler for More Than Moore

abstract: Carbon-based materials like nanotubes and graphene are heavily investigated as future CMOS-like devices and in interconnect applications. While much of the interest has been devoted to the device aspects in competition to conventional CMOS transistors, the paper here will focus on some less known applications of carbon. Proposed and demonstrated are interconnect applications like highly conductive electrodes for capacitors, gate material or through-silicon vias (TSV), novel non-volatile memories, carbon-silicon Schottky diodes or superior sensors.


title: Target-driven merging of Taxonomies

abstract: The proliferation of ontologies and taxonomies in many domains increasingly demands the integration of multiple such ontologies. The goal of ontology integration is to merge two or more given ontologies in order to provide a unified view on the input ontologies while maintaining all information coming from them. We propose a new taxonomy merging algorithm that, given as input two taxonomies and an equivalence matching between them, can generate an integrated taxonomy in a fully automatic manner. The approach is target-driven, i.e. we merge a source taxonomy into the target taxonomy and preserve the structure of the target ontology as much as possible. We also discuss how to extend the merge algorithm providing auxiliary information, like additional relationships between source and target concepts, in order to semantically improve the final result. The algorithm was implemented in a working prototype and evaluated using synthetic and real-world scenarios.


title: Note on a relation between Randic index and algebraic connectivity

abstract: A conjecture of AutoGraphiX on the relation between the Randi\'c index $R$ and the algebraic connectivity $a$ of a connected graph $G$ is: $$\frac R a\leq (\frac{n-3+2\sqrt{2}}{2})/(2(1- \cos {\frac{\pi}{n}})) $$ with equality if and only if $G$ is $P_n$, which was proposed by Aouchiche and Hansen [M. Aouchiche and P. Hansen, A survey of automated conjectures in spectral graph theory, {\it Linear Algebra Appl.} {\bf 432}(2010), 2293--2322]. We prove that the conjecture holds for all trees and all connected graphs with edge connectivity $\kappa'(G)\geq 2$, and if $\kappa'(G)=1$, the conjecture holds for sufficiently large $n$. The conjecture also holds for all connected graphs with diameter $D\leq \frac {2(n-3+2\sqrt{2})}{\pi^2}$ or minimum degree $\delta\geq \frac n 2$. We also prove $R\cdot a\geq \frac {8\sqrt{n-1}}{nD^2}$ and $R\cdot a\geq \frac {n\delta(2\delta-n+2)} {2(n-1)}$, and then $R\cdot a$ is minimum for the path if $D\leq (n-1)^{1/4}$ or $\delta\geq \frac n 2-1$.


title: Statistical deviation from stationary action to Schr\"odinger equation

abstract: We discuss the dynamics of single particle by laying a hypothesis that the Hamilton's principle of stationary action is not exact. We then postulate that the deviation of the action with sufficiently short time interval from the stationary action is distributed along a sufficiently long trajectory according to an exponential law. We show that the dynamics of the ensemble of trajectories satisfies the Schr\"odinger equation with Born interpretation of wave function if the average deviation is given by $\hbar/2$ and if two opposite signs of deviation occur equally probably. The particle thus behaves as if it is guided by a virtual wave satisfying the Schr\"odinger equation.


title: Accurate stellar rotational velocities using the Fourier transform of the cross correlation maximum

abstract: We propose a method for measuring the projected rotational velocity $v sin i$ with high-precision even in spectra with blended lines. Though not automatic, our method is designed to be applied systematically to large numbers of objects without excessive computational requirement. We calculate the cross correlation function (CCF) of the object spectrum against a zero-rotation template and use the Fourier transform (FT) of the CCF central maximum to measure the parameter $v sin i$ taking the limb darkening effect and its wavelength dependence into account. The procedure also improves the definition of the CCF base line resulting in errors related to the continuum position under 1 % even for $vsin i$ = 280 km/s. Tests with high-resolution spectra of F-type stars indicate that an accuracy well below 1 % can be attained even for spectra where most lines are blended. We have applied the method to measure $v sin i$ in 251 A-type stars. For stars with $vsin i$ over 30 km/s (2-3 times our spectra resolution) our measurement errors are below 2.5 % with a typical value of 1%. We compare our results with Royer et al. (2002a) using 155 stars in common, finding systematic differences of about 5 % for rapidly rotating stars.


title: The WIRED Survey I: A Bright IR Excess Due to Dust Around the Heavily Polluted White Dwarf GALEX J193156.8+011745

abstract: With the launch of the Wide-Field Infrared Survey Explorer (WISE), a new era of detecting planetary debris around white dwarfs has begun with the WISE InfraRed Excesses around Degenerates (WIRED) Survey. The WIRED Survey will be sensitive to substellar objects and dusty debris around white dwarfs out to distances exceeding 100 pc, well beyond the completeness level of local WDs and covering a large fraction of known WDs detected with the SDSS DR4 white dwarf catalogue. In this paper we report an initial result of the WIRED survey, the detection of the heavily polluted hydrogen white dwarf (spectral type DAZ) GALEX J193156.8+011745 at 3.35 and 4.6 \micron. We find that the excess is consistent with either a narrow dusty ring with an inner radius of 29 $R_{\rm WD}$, outer radius of 40 $R_{\rm WD}$, and a face-on inclination, or a disk with an inclination of 70$^\circ$, an inner radius of 23 $R_{\rm WD}$, and an outer radius of 80 $R_{\rm WD}$. We also report initial optical spectroscopic monitoring of several metal lines present in the photosphere and find no variability in the line strengths or radial velocities of the lines. We rule out all but planetary mass companions to GALEX1931 out to 0.5 AU.


title: Cosmic Star Formation Activity at z=2.2 Probed by H-alpha Emission Line Galaxies

abstract: We present a pilot narrow-band survey of H-alpha emitters at z=2.2 in the Great Observatories Origins Deep Survey North (GOODS-N) field with MOIRCS instrument on the Subaru telescope. The survey reached a 3 sigma limiting magnitude of 23.6 (NB209) which corresponds to a 3 sigma limiting line flux of 2.5 x 10^-17 erg s^-1 cm^-2 over a 56 arcmnin^2 contiguous area (excluding a shallower area). From this survey, we have identified 11 H-alpha emitters and one AGN at z=2.2 on the basis of narrow-band excesses and photometric redshifts. We obtained spectra for seven new objects among them, including one AGN, and an emission line above 3 sigma is detected from all of them. We have estimated star formation rates (SFR) and stellar masses (M_star) for individual galaxies. The average SFR and M_star is 27.8M_solar yr^-1 and 4.0 x 10^10M_solar, respectivly. Their specific star formation rates are inversely correlated with their stellar masses. Fitting to a Schechter function yields the H-alpha luminosity function with log L = 42.82, log phi = -2.78 and alpha = -1.37. The average star formation rate density in the survey volume is estimated to be 0.31M_solar yr^-1Mpc^-3 according to the Kennicutt relation between H-alpha luminosity and star formation rate. We compare our H-alpha emitters at z=2.2 in GOODS-N with narrow-band line emitters in other field and clusters to see their time evolution and environmental dependence. We find that the star formation activity is reduced rapidly from z=2.5 to z=0.8 in the cluster environment, while it is only moderately changed in the field environment. This result suggests that the timescale of galaxy formation is different among different environments, and the star forming activities in high density regions eventually overtake those in lower density regions as a consequence of "galaxy formation bias" at high redshifts.


title: Large-Area High-Throughput Identification and Quality Control of Graphene and Few-Layer Graphene: Prospects of Industry-Scale Applications

abstract: Practical applications of graphene require a reliable high-throughput method of graphene identification and quality control, which can be used for large-scale substrates and wafers. We have proposed and experimentally tested a fast and fully automated approach for determining the number of atomic planes in graphene samples. The procedure allows for in situ identification of the borders of the regions with the same number of atomic planes. It is based on an original image processing algorithm, which utilizes micro-Raman calibration, light background subtraction, lighting non-uniformity correction, and the color and grayscale image processing for each pixel. The outcome of the developed procedure is a pseudo-color map, which marks the single-layer and few-layer graphene regions on the substrate of any size that can be captured by an optical microscope. Our approach works for various substrates, and can be applied to the mechanically exfoliated, chemically derived, deposited or epitaxial graphene on an industrial scale.


title: Applying centrality measures to impact analysis: A coauthorship network analysis

abstract: Many studies on coauthorship networks focus on network topology and network statistical mechanics. This article takes a different approach by studying micro-level network properties, with the aim to apply centrality measures to impact analysis. Using coauthorship data from 16 journals in the field of library and information science (LIS) with a time span of twenty years (1988-2007), we construct an evolving coauthorship network and calculate four centrality measures (closeness, betweenness, degree and PageRank) for authors in this network. We find out that the four centrality measures are significantly correlated with citation counts. We also discuss the usability of centrality measures in author ranking, and suggest that centrality measures can be useful indicators for impact analysis.


title: Dynamical quorum-sensing and synchronization of nonlinear oscillators coupled through an external medium

abstract: Many biological and physical systems exhibit population-density dependent transitions to synchronized oscillations in a process often termed "dynamical quorum sensing". Synchronization frequently arises through chemical communication via signaling molecules distributed through an external media. We study a simple theoretical model for dynamical quorum sensing: a heterogenous population of limit-cycle oscillators diffusively coupled through a common media. We show that this model exhibits a rich phase diagram with four qualitatively distinct mechanisms fueling population-dependent transitions to global oscillations, including a new type of transition we term "dynamic death". We derive a single pair of analytic equations that allows us to calculate all phase boundaries as a function of population density and show that the model reproduces many of the qualitative features of recent experiments of BZ catalytic particles as well as synthetically engineered bacteria.


title: Returning Arrows for Self-injective Algebras and Artin-Schelter Regular Algebras

abstract: In this paper, we discuss returning arrows with respect to the Nakayama translation appearing in the quivers of some important algebras when we construct extensions. When constructing twisted trivial extensions for a graded self-injective algebra, we show that the returning arrows appear in the quiver, that the complexity increases by 1 in Koszul cases, and the representation dimension also increases by 1 under certain additional conditions. By applying Koszul duality, for each Koszul Artin-Schelter regular algebra of global dimension l and Gelfand-Kirilov dimension $c$, we construct a family of Koszul Artin-Schelter regular algebras of global dimension $l+1$ and Gelfand-Kirilov dimension $c+1$, among them one is central extension and one is $l+1$-Calabi-Yau.


title: Thermoelectric effect of multiferroic oxide interfaces

abstract: We investigate the thermoelectric properties of electrons at the interface of oxide heterostructure and in the presence of a multiferroic oxide with spiral spin order. We find there is no (spin) Hall current generated by the temperature gradient. A Seebeck effect is however present. Due to the magnetoelectric coupling, the charge and thermal conductivities are electrically controllable via the spin spiral helicity. Moreover, the thermopower exhibits a sign change when tuning electro-statically the carrier density.


title: Dynamics of open quantum systems with initial system-reservoir correlations

abstract: In this paper, the exact dynamics of open quantum systems in the presence of initial system-reservoir correlations is investigated for a photonic cavity system coupled to a general non-Markovian reservoir. The exact time-convolutionless master equation incorporating with initial system-reservoir correlations is obtained. The non-Markovian dynamics of the reservoir and the effects of the initial correlations are embedded into the time-dependent coefficients in the master equation. We show that the effects induced by the initial correlations play an important role in the non-Markovian dynamics of the cavity but they are washed out in the steady-state limit in the Markovian regime. Moreover, the initial two-photon correlation between the cavity and the reservoir can induce nontrivial squeezing dynamics to the cavity field.


title: Quantum Statistical Relation for black holes in nonlinear electrodynamics coupled to Einstein-Gauss-Bonnet AdS gravity

abstract: We consider curvature-squared corrections to Einstein-Hilbert gravity action in the form of Gauss-Bonnet term in D>4 dimensions. In this theory, we study the thermodynamics of charged static black holes with anti-de Sitter (AdS) asymptotics, and whose electric field is described by nonlinear electrodynamics (NED). These objects have received considerable attention in recent literature on gravity/gauge dualities. It is well-known that, within the framework of anti de-Sitter/Conformal Field Theory (AdS/CFT) correspondence, there exists a nonvanishing Casimir contribution to the internal energy of the system, manifested as the vacuum energy for global AdS spacetime in odd dimensions. Because of this reason, we derive a Quantum Statistical Relation directly from the Euclidean action and not from the integration of the First Law of thermodynamics. To this end, we employ a background-independent regularization scheme which consists in the addition to the bulk action of counterterms that depend on both extrinsic and intrinsic curvatures of the boundary (Kounterterm series). This procedure results in a consistent inclusion of the vacuum energy and chemical potential in the thermodynamic description for Einstein-Gauss-Bonnet AdS gravity regardless the explicit form of the NED Lagrangian.


title: Are three flavors special?

abstract: It has become clearer recently that the regular pattern of three flavor nonets describing the low spin meson multiplets seems to require some modification for the case of the spin 0 scalar mesons. One picture which has had some success, treats the scalars in a chiral Lagrangian framework and considers them to populate two nonets. These are, in turn, taken to result from the mixing of two "bare" nonets, one of which is of quark- antiquark type and the other of two quark- two antiquark type. Here we show that such a mixing is, before chiral symmetry breaking terms are included, only possible for three flavors. In other cases, the two types of structure can not have the same chiral symmetry transformation property. Specifically, our criterion would lead one to believe that scalar and pseudoscalar states containing charm would not have "four quark" admixtures. This work is of potential interest for constructing chiral Lagrangians based on exact chiral symmetry which is then broken by well known specific terms. It may also be of interest in studying some kinds of technicolor theories.


title: Frame-Dragging Vortexes and Tidal Tendexes Attached to Colliding Black Holes: Visualizing the Curvature of Spacetime

abstract: When one splits spacetime into space plus time, the spacetime curvature (Weyl tensor) gets split into an "electric" part E_{jk} that describes tidal gravity and a "magnetic" part B_{jk} that describes differential dragging of inertial frames. We introduce tools for visualizing B_{jk} (frame-drag vortex lines, their vorticity, and vortexes) and E_{jk} (tidal tendex lines, their tendicity, and tendexes), and also visualizations of a black-hole horizon's (scalar) vorticity and tendicity. We use these tools to elucidate the nonlinear dynamics of curved spacetime in merging black-hole binaries.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: Discovering author impact: A PageRank perspective

abstract: This article provides an alternative perspective for measuring author impact by applying PageRank algorithm to a coauthorship network. A weighted PageRank algorithm considering citation and coauthorship network topology is proposed. We test this algorithm under different damping factors by evaluating author impact in the informetrics research community. In addition, we also compare this weighted PageRank with the h-index, citation, and program committee (PC) membership of the International Society for Scientometrics and Informetrics (ISSI) conferences. Findings show that this weighted PageRank algorithm provides reliable results in measuring author impact.


title: Popular and/or Prestigious? Measures of Scholarly Esteem

abstract: Citation analysis does not generally take the quality of citations into account: all citations are weighted equally irrespective of source. However, a scholar may be highly cited but not highly regarded: popularity and prestige are not identical measures of esteem. In this study we define popularity as the number of times an author is cited and prestige as the number of times an author is cited by highly cited papers. Information Retrieval (IR) is the test field. We compare the 40 leading researchers in terms of their popularity and prestige over time. Some authors are ranked high on prestige but not on popularity, while others are ranked high on popularity but not on prestige. We also relate measures of popularity and prestige to date of Ph.D. award, number of key publications, organizational affiliation, receipt of prizes/honors, and gender.


title: PageRank for ranking authors in co-citation networks

abstract: Google's PageRank has created a new synergy to information retrieval for a better ranking of Web pages. It ranks documents depending on the topology of the graphs and the weights of the nodes. PageRank has significantly advanced the field of information retrieval and keeps Google ahead of competitors in the search engine market. It has been deployed in bibliometrics to evaluate research impact, yet few of these studies focus on the important impact of the damping factor (d) for ranking purposes. This paper studies how varied damping factors in the PageRank algorithm can provide additional insight into the ranking of authors in an author co-citation network. Furthermore, we propose weighted PageRank algorithms. We select 108 most highly cited authors in the information retrieval (IR) area from the 1970s to 2008 to form the author co-citation network. We calculate the ranks of these 108 authors based on PageRank with damping factor ranging from 0.05 to 0.95. In order to test the relationship between these different measures, we compare PageRank and weighted PageRank results with the citation ranking, h-index, and centrality measures. We found that in our author co-citation network, citation rank is highly correlated with PageRank's with different damping factors and also with different PageRank algorithms; citation rank and PageRank are not significantly correlated with centrality measures; and h-index is not significantly correlated with centrality measures.


title: Remnants of semiclassical bistability in the few-photon regime of cavity QED

abstract: Broadband homodyne detection of the light transmitted by a Fabry-Perot cavity containing a strongly-coupled $^{133}$Cs atom is used to probe the dynamic optical response in a regime where semiclassical theory predicts bistability but strong quantum corrections should apply. While quantum fluctuations destabilize true equilibrium bistability, our observations confirm the existence of metastable states with finite lifetimes and a hysteretic response is apparent when the optical drive is modulated on comparable timescales. Our experiment elucidates remnant semiclassical behavior in the attojoule ($\sim10$ photon) regime of single-atom cavity QED, of potential significance for ultra-low power photonic signal processing.


title: Distributed and Optimal Reduced Primal-Dual Algorithm for Uplink OFDM Resource Allocation

abstract: Orthogonal Frequency Division Multiplexing (OFDM) is the key component of many emerging broadband wireless access standards. The resource allocation in OFDM uplink, however, is challenging due to heterogeneity of users' Quality of Service requirements, channel conditions, and individual resource constraints. We formulate the resource allocation problem as a non-strictly convex optimization problem, which typically has multiple global optimal solutions. We then propose a reduced primal-dual algorithm, which is distributed, low in computational complexity, and probably globally convergent to a global optimal solution. The performance of the algorithm is studied through a realistic OFDM simulator. Compared with the previously proposed centralized optimal algorithm, our algorithm not only significantly reduces the message overhead but also requires less iterations to converge.


title: Upper Tag Ontology (UTO) For Integrating Social Tagging Data

abstract: Data integration and mediation have become central concerns of information technology over the past few decades. With the advent of the Web and the rapid increases in the amount of data and the number of Web documents and users, researchers have focused on enhancing the interoperability of data through the development of metadata schemes. Other researchers have looked to the wealth of metadata generated by bookmarking sites on the Social Web. While several existing ontologies capitalize on the semantics of metadata created by tagging activities, the Upper Tag Ontology (UTO) emphasizes the structure of tagging activities to facilitate modeling of tagging data and the integration of data from different bookmarking sites as well as the alignment of tagging ontologies. UTO is described and its utility in harvesting, modeling, integrating, searching and analyzing data is demonstrated with metadata harvested from three major social tagging systems (Delicious, Flickr and YouTube).


title: Weighted citation: An indicator of an article's prestige

abstract: We propose using the technique of weighted citation to measure an article's prestige. The technique allocates a different weight to each reference by taking into account the impact of citing journals and citation time intervals. Weighted citation captures prestige, whereas citation counts capture popularity. We compare the value variances for popularity and prestige for articles published in the Journal of the American Society for Information Science and Technology from 1998 to 2007, and find that the majority have comparable status.


title: Essential dimension of simple algebras in positive characteristic

abstract: Let $p$ be a prime integer, $1\leq s\leq r$ integers, $F$ a field of characteristic $p$. Let $\cat{Dec}_{p^r}$ denote the class of the tensor product of $r$ $p$-symbols and $\cat{Alg}_{p^r,p^s}$ denote the class of central simple algebras of degree $p^r$ and exponent dividing $p^s$. For any integers $s<r$, we find a lower bound for the essential $p$-dimension of $\cat{Alg}_{p^r,p^s}$. Furthermore, we compute upper bounds for $\cat{Dec}_{p^r}$ and $\cat{Alg}_{8,2}$ over $\ch(F)=p$ and $\ch(F)=2$, respectively. As a result, we show $\ed_{2}(\cat{Alg}_{4,2})=\ed(\cat{Alg}_{4,2})=\ed_{2}(\gGL_{4}/\gmu_{2})=\ed(\gGL_{4}/\gmu_{2})=3$ and $3\leq \ed(\cat{Alg}_{8,2})=\ed(\gGL_{8}/\gmu_{2})\leq 10$ over a field of characteristic 2.


title: Hilbert's Tenth Problem and Mazur's Conjectures in Complementary Subrings of Number Fields

abstract: We show that Hilbert's Tenth Problem is undecidable for complementary subrings of number fields and that the p-adic and archimedean ring versions of Mazur's conjectures do not hold in these rings. More specifically, given a number field K, a positive integer t>1, and t nonnegative computable real numbers delta_1,..., delta_t whose sum is one, we prove that the nonarchimedean primes of K can be partitioned into t disjoint recursive subsets S_1,..., S_t of densities delta_1,..., delta_t, respectively such that Hilbert's Tenth Problem is undecidable for each corresponding ring O_{K,S_i}. We also show that we can find a partition as above such that each ring O_{K,S_i} possesses an infinite Diophantine set which is discrete in every topology of the field. The only assumption on K we need is that there is an elliptic curve of rank one defined over K.


title: Testing the phenomenological interacting dark energy with observational $H(z)$ data

abstract: In order to test the possible interaction between dark energy and dark matter, we investigate observational constraints on a phenomenological scenario, in which the ratio between the dark energy and matter densities is proportional to the power law case of the scale factor, $r\equiv (\rho_X/\rho_m)\propto a^{\xi}$. By using the Markov chain Monte Carlo method, we constrain the phenomenological interacting dark energy model with the newly revised $H(z)$ data, as well as the cosmic microwave background (CMB) observation from the 7-year Wilkinson Microwave Anisotropy Probe (WMAP7) results, the baryonic acoustic oscillation (BAO) observation from the spectroscopic Sloan Digital Sky Survey (SDSS) data release 7 (DR7) galaxy sample and the type Ia supernovae (SNe Ia) from Union2 set. The best-fit values of the model parameters are $\Omega_{m0}=0.27_{-0.02}^{+0.02}(1\sigma)_{-0.03}^{+0.04}(2\sigma)$, $\xi=3.15_{-0.50}^{+0.48}(1\sigma)_{-0.71}^{+0.72}(2\sigma)$, and $w_X=-1.05_{-0.14}^{+0.15}(1\sigma)_{-0.21}^{+0.21}(2\sigma)$, which are more stringent than previous results. These results show that the standard $\Lambda$CDM model without any interaction remains a good fit to the recent observational data; however, the interaction that the energy transferring from dark matter to dark energy is slightly favored over the interaction from dark energy to dark matter. It is also shown that the $H(z)$ data can give more stringent constraints on the phenomenological interacting scenario when combined to CMB and BAO observations, and the confidence regions of $H(z)$+BAO+CMB, SNe+BAO+CMB, and $H(z)$+SNe+BAO+CMB combinations are consistent with each other.


title: A Tale of Two Tilings

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


title: Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs

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


title: NIRSPEC Radial Velocity Measurements of Late-M Dwarfs

abstract: With an emphasis in detecting Earth-like planets set forth by the 2010 Decadal Survey and in searching for planets around M dwarfs set forth by the 2008 Exoplanet Task Force, radial velocity surveys with infrared echelle spectrometers will have a significant impact on future exoplanet studies. Here, we present the results of an infrared radial velocity survey of a sample of 14 late-M dwarfs with the NIRSPEC echelle spectrometer on the Keck II telescope. Using telluric lines for wavelength calibration, we are able to achieve measurement precisions of 150-300 m/s over a year-long timeframe. While we require more RV epochs to determine whether most of our stars have planetary-mass companions, we have placed upper limits of 5-10 MJ on the masses of planets around a sub-set of our sample. We have also determined the rotational velocities for all the stars in the sample and offer our multi-order, high-resolution spectra over 2.0 to 2.4 micron to the modeling community to better understand the atmospheres of late-M dwarfs.


title: Viscous damping of r-modes: Small amplitude instability

abstract: We study the viscous damping of r-modes of compact stars and analyze in detail the regions where small amplitude modes are unstable to the emission of gravitational radiation. We present general expressions for the viscous damping times for arbitrary forms of interacting dense matter and derive general semi-analytic results for the boundary of the instability region. These results show that many aspects, like in particular the physically important minima of the instability boundary, are surprisingly insensitive to detailed microscopic properties of the considered form of matter. Our general expressions are applied to the cases of hadronic stars, strange stars, and hybrid stars, and we focus on equations of state that are compatible with the recent measurement of a heavy compact star. We find that hybrid stars with a sufficiently small core can "masquerade" as neutron stars and feature an instability region that is indistinguishable from that of a neutron star, whereas neutron stars with a core density high enough to allow direct Urca reactions feature a notch on the right side of the instability region.


title: Critical behaviors and local transformation properties of wave function

abstract: We investigate crossing behavior of ground state entanglement Renyi entropies of quantum critical systems. We find a novel property that the ground state in one quantum phase cannot be locally transferred to that of another phase, that means a global transformation is necessary. This also provides a clear evidence to confirm the long standing expectation that entanglement Renyi entropy contains more information than entanglement von Neumann entropy. The method of studying crossing behavior of entanglement Renyi entropies can distinguish different quantum phases well. We also study the excited states which still give interesting results.


title: Primordial Trispectrum from Isocurvature Fluctuations

abstract: We study non-Gaussianity generated by adiabatic and isocurvature primordial perturbations. We first obtain, in a very general setting, the non-linear perturbations, up to third order, for an arbitrary number of cosmological fluids, going through one or several decay transitions. We then apply this formalism to the mixed curvaton and inflaton model, allowing for several decay channels. We compute the various contributions to the bispectrum and trispectrum resulting from adiabatic and isocurvature perturbations, which are correlated in general. By investigating some hybrid decay scenario, we show that significant non-Gaussianity of adiabatic and isocurvature types can be generated without conflicting with the present isocurvature constraints from the power spectrum. In particular, we find cases where non-Gaussianity of isocurvature origin can dominate its adiabatic counterpart, both in the bispectrum and in the trispectrum.


title: Phenomenology in the Zee Model with the A_4 Symmetry

abstract: The Zee model generates neutrino masses at the one-loop level by adding charged SU(2)_L-singlet and extra SU(2)_L-doublet scalars to the standard model of particle physics. As the origin of the nontrivial structure of the lepton flavor mixing, we introduce the softly broken A_4 symmetry to the Zee model. This model is compatible with the tribimaximal mixing which agrees well with neutrino oscillation measurements. Then, a sum rule m_1 e^{i alpha_12} + 2 m_2 + 3 m_3 e^{i alpha_32} = 0 is obtained and it results in Delta m^2_31 < 0 and m_3 > 1.8*10^{-2}eV. The effective mass |(M_nu)_{ee}| for the neutrinoless double beta decay is predicted as | (M_\nu)_{ee} | > 1.7*10^{-2}eV. The characteristic particles in this model are SU(2)_L-singlet charged Higgs bosons s^+_alpha (alpha=xi,eta,zeta) which are made from a 3-representation of A_4. Contributions of s^+_alpha to the lepton flavor violating decays of charged leptons are almost forbidden by an approximately remaining Z_3 symmetry; only BR(tau to ebar mu mu) can be sizable by the flavor changing neutral current interaction with SU(2)_L-doublet scalars. Therefore, s^+_alpha can be easily light enough to be discovered at the LHC with satisfying current constraints. The flavor structures of BR(s^-_alpha to ell nu) are also discussed.


title: Max-plus analysis on some binary particle systems

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


title: Quantum molecular dynamics simulations for the nonmetal-metal transition in shocked methane

abstract: We have performed quantum molecular-dynamics simulations for methane under shock compressions up to 80 GPa. We obtain good agreement with available experimental data for the principal Hugoniot, derived from the equation of state. A systematic study of the optical conductivity spectra, one-particle density of states, and the distributions of the electronic charge over supercell at Hugoniot points shows that the transition of shocked methane to a metallic state takes place close to the density at which methane dissociates significantly into molecular hydrogen and some long alkane chains. Through analyzing the pair correlation function, we predict the chemical picture of the shocked methane. In contrast to usual assumptions used for high pressure modeling of methane, we find that no diamond-like configurations occurs for the whole density-temperature range studied.

categories: cond-mat.mtrl-sci physics.chem-ph physics.plasm-ph physics.space-ph


title: Tight Bounds for Lp Samplers, Finding Duplicates in Streams, and Related Problems

abstract: In this paper, we present near-optimal space bounds for Lp-samplers. Given a stream of updates (additions and subtraction) to the coordinates of an underlying vector x \in R^n, a perfect Lp sampler outputs the i-th coordinate with probability |x_i|^p/||x||_p^p. In SODA 2010, Monemizadeh and Woodruff showed polylog space upper bounds for approximate Lp-samplers and demonstrated various applications of them. Very recently, Andoni, Krauthgamer and Onak improved the upper bounds and gave a O(\epsilon^{-p} log^3 n) space \epsilon relative error and constant failure rate Lp-sampler for p \in [1,2]. In this work, we give another such algorithm requiring only O(\epsilon^{-p} log^2 n) space for p \in (1,2). For p \in (0,1), our space bound is O(\epsilon^{-1} log^2 n), while for the $p=1$ case we have an O(log(1/\epsilon)\epsilon^{-1} log^2 n) space algorithm. We also give a O(log^2 n) bits zero relative error L0-sampler, improving the O(log^3 n) bits algorithm due to Frahling, Indyk and Sohler. As an application of our samplers, we give better upper bounds for the problem of finding duplicates in data streams. In case the length of the stream is longer than the alphabet size, L1 sampling gives us an O(log^2 n) space algorithm, thus improving the previous O(log^3 n) bound due to Gopalan and Radhakrishnan. In the second part of our work, we prove an Omega(log^2 n) lower bound for sampling from 0, \pm 1 vectors (in this special case, the parameter p is not relevant for Lp sampling). This matches the space of our sampling algorithms for constant \epsilon > 0. We also prove tight space lower bounds for the finding duplicates and heavy hitters problems. We obtain these lower bounds using reductions from the communication complexity problem augmented indexing.


title: Nominal Unification Revisited

abstract: Nominal unification calculates substitutions that make terms involving binders equal modulo alpha-equivalence. Although nominal unification can be seen as equivalent to Miller's higher-order pattern unification, it has properties, such as the use of first-order terms with names (as opposed to alpha-equivalence classes) and that no new names need to be generated during unification, which set it clearly apart from higher-order pattern unification. The purpose of this paper is to simplify a clunky proof from the original paper on nominal unification and to give an overview over some results about nominal unification.


title: Unification modulo a partial theory of exponentiation

abstract: Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories, involving various properties of modular exponentiation. Here, we consider a partial subtheory focussing only on exponentiation and multiplication operators. Two main results are proved. The first result is positive, namely, that the unification problem for the above theory (in which no additional property is assumed of the multiplication operators) is decidable. The second result is negative: if we assume that the two multiplication operators belong to two different abelian groups, then the unification problem becomes undecidable.


title: A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

abstract: We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of the axioms characterizing idempotent MGUs of lists of constraints. The axioms that serve as the basis for our verification are derived from a standard set by extending them to lists of constraints. For us, constraints are equalities between terms in the language of simple types. Substitutions are formally modeled as finite maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional induction is the main proof technique used in proving many of the axioms.


title: Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

abstract: Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite semantics. A successful approach to proving correctness is the combination of a context lemma with the computation of overlaps between program transformations and the reduction rules, and then of so-called complete sets of diagrams. The method is similar to the computation of critical pairs for the completion of term rewriting systems. We explore cases where the computation of these overlaps can be done in a first order way by variants of critical pair computation that use unification algorithms. As a case study we apply the method to a lambda calculus with recursive let-expressions and describe an effective unification algorithm to determine all overlaps of a set of transformations with all reduction rules. The unification algorithm employs many-sorted terms, the equational theory of left-commutativity modelling multi-sets, context variables of different kinds and a mechanism for compactly representing binding chains in recursive let-expressions.


title: On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

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


title: Recursive Definitions of Monadic Functions

abstract: Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple option monad and the state-exception monad of Isabelle/HOL's imperative programming extension, which results in a convenient definition principle for imperative programs, which were previously hard to define. For such monadic functions, the recursion equation can always be derived without preconditions, even if the function is partial. The construction is easy to automate, and convenient induction principles can be derived automatically.


title: MiniAgda: Integrating Sized and Dependent Types

abstract: Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track structural descent and guardedness in the type system to make termination checking robust and suitable for strong abstractions like higher-order functions and polymorphism. To study the application of sized types to proof assistants and programming languages based on dependent type theory, we have implemented a core language, MiniAgda, with explicit handling of sizes. New considerations were necessary to soundly integrate sized types with dependencies and pattern matching, which was made possible by concepts such as inaccessible patterns and parametric function spaces. This paper provides an introduction to MiniAgda by example and informal explanations of the underlying principles.


title: Rewriting and Well-Definedness within a Proof System

abstract: Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving between deduction and computation (i.e., rewriting) steps. If the logic of reasoning supports partial functions, it is necessary that rewriting copes with potentially ill-defined terms. In this paper, we provide a basis for integrating rewriting with a deductive proof system that deals with well-definedness. The definitions and theorems presented in this paper are the theoretical foundations for an extensible rewriting-based prover that has been implemented for the set theoretical formalism Event-B.


title: Beating the Productivity Checker Using Embedded Languages

abstract: Some total languages, like Agda and Coq, allow the use of guarded corecursion to construct infinite values and proofs. Guarded corecursion is a form of recursion in which arbitrary recursive calls are allowed, as long as they are guarded by a coinductive constructor. Guardedness ensures that programs are productive, i.e. that every finite prefix of an infinite value can be computed in finite time. However, many productive programs are not guarded, and it can be nontrivial to put them in guarded form. This paper gives a method for turning a productive program into a guarded program. The method amounts to defining a problem-specific language as a data type, writing the program in the problem-specific language, and writing a guarded interpreter for this language.


title: General Recursion and Formal Topology

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


title: Termination Casts: A Flexible Approach to Termination with General Recursion

abstract: This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.


title: Hypercyclic Abelian Affine Groups

abstract: In this paper, we give a characterization of hypercyclic abelian affine group G. If G is finitely generated, this characterization is explicit. We prove in particular that no abelian group generated by n affine maps on C^n has a dense orbit.


title: Fourier multipliers for non-symmetric L\'evy processes

abstract: We study Fourier multipliers resulting from martingale transforms of general L\'evy processes.


title: Linking Quantum Discord to Entanglement in a Measurement

abstract: We show that a von Neumann measurement on a part of a composite quantum system unavoidably creates distillable entanglement between the measurement apparatus and the system if the state has nonzero quantum discord. The minimal distillable entanglement is equal to the one-way information deficit. The quantum discord is shown to be equal to the minimal partial distillable entanglement that is the part of entanglement which is lost, when we ignore the subsystem which is not measured. We then show that any entanglement measure corresponds to some measure of quantum correlations. This powerful correspondence also yields necessary properties for quantum correlations. We generalize the results to multipartite measurements on a part of the system and on the total system.


title: On the Cauchy problem of a two-component b-family equation

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


title: Convolutional Goppa codes defined on fibrations

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


title: On the accelerated expansion of the cosmos

abstract: We present a short (and necessarily incomplete) review of the evidence for the accelerated expansion of the Universe. The most direct probe of acceleration relies on the detailed study of supernovae (SN) of type Ia. Assuming that these are standardizable candles and that they fairly sample a homogeneous and isotropic Universe, the evidence for acceleration can be tested in a model- and calibration-independent way. Various light-curve fitting procedures have been proposed and tested. While several fitters give consistent results for the so-called Constitution set, they lead to inconsistent results for the recently released SDSS SN. Adopting the SALT fitter and relying on the Union set, cosmic acceleration is detected by a purely kinematic test at 7 sigma when spatial flatness is assumed and at 4 sigma without assumption on the spatial geometry. A weak point of the described method is the local set of SN (at z < 0.2), as these SN are essential to anchor the Hubble diagram. These SN are drawn from a volume much smaller than the Hubble volume and could be affected by local structure. Without the assumption of homogeneity, there is no evidence for acceleration, as the effects of acceleration are degenerate with the effects of inhomogeneities. Unless we sit in the centre of the Universe, such inhomogeneities can be constrained by SN observations by means of tests of the isotropy of the Hubble flow.


title: Targetability of chaotic sets with small parameter perturbations

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


title: The critical line of QCD with four degenerate quarks

abstract: We determine the pseudo-critical couplings at imaginary chemical potentials by high-statistics Monte Carlo simulations of QCD with four degenerate quarks at non-zero temperature and baryon density by the method of analytic continuationan. We reveal deviations from the simple quadratic dependence on the chemical potential visible in earlier works on the same subject. Finally, we discuss the implications of our findings for the shape of the pseudo-critical line at real chemical potential, comparing different possible extrapolations.


title: Connectivity statistics of store-and-forward inter-vehicle communication

abstract: Inter-vehicle communication (IVC) enables vehicles to exchange messages within a limited broadcast range and thus self-organize into dynamical vehicular ad hoc networks. For the foreseeable future, however, a direct connectivity between equipped vehicles in one direction is rarely possible. We therefore investigate an alternative mode in which messages are stored by relay vehicles traveling in the opposite direction, and forwarded to vehicles in the original direction at a later time. The wireless communication consists of two `transversal' message hops across driving directions. Since direct connectivity for transversal hops and a successful message transmission to vehicles in the destination region is only a matter of time, the quality of this IVC strategy can be described in terms of the distribution function for the total transmission time. Assuming a Poissonian distance distribution between equipped vehicles, we derive analytical probability distributions for message transmission times and related propagation speeds for a deterministic and a stochastic model of the maximum range of direct communication. By means of integrated microscopic simulations of communication and bi-directional traffic flows, we validated the theoretical expectation for multi-lane roadways. We found little deviation of the analytical result for multi-lane scenarios, but significant deviations for a single-lane. This can be explained by vehicle platooning. We demonstrate the efficiency of the transverse hopping mechanism for a congestion-warning application in a microscopic traffic simulation scenario. Messages are created on an event-driven basis by equipped vehicles entering and leaving a traffic jam. This application is operative for penetration levels as low as 1%.


title: Azimuthal asymmetries in the unpolarized SIDIS cross section at COMPASS

abstract: The study of the spin structure of the nucleon and of the effects rising from the quarks transverse momentum are part of the scientific program of COMPASS, a fixed target experiment at the CERN SPS. The azimuthal asymmetries which appear in the cross-section of SIDIS off unpolarized targets can give insights on the intrinsic momentum structure of the nucleon and on the possible correlation between transverse spin and transverse momentum of the quarks. Here we present the new results for these asymmetries obtained from the COMPASS data collected with a 160 GeV/c positive muon beam impinging on a $^6LiD$ target. The asymmetries are measured for both positive and negative hadrons, and their dependence on several kinematical variable has been studied


title: Geometric interpretation of double shuffle relation for multiple L-values

abstract: This paper gives a geometric interpretation of the generalized (including the regularization relation) double shuffle relation for multiple $L$-values. Precisely it is proved that Enriquez' mixed pentagon equation implies the relations. As a corollary, an embedding from his cyclotomic analogue of the Grothendieck-Teichmuller group into Racinet's cyclotomic double shuffle group is obtained. It cyclotomically extends the result of our previous paper and the project of Deligne and Terasoma which are the special case N=1 of our result.


title: Aging through hierarchical coalescence in the East model

abstract: We rigorously analyze the low temperature non-equilibrium dynamics of the East model, a special example of a one dimensional oriented kinetically constrained particle model, when the initial distribution is different from the reversible one and for times much smaller than the global relaxation time. This setting has been intensively studied in the physics literature to analyze the slow dynamics which follows a sudden quench from the liquid to the glass phase. In the limit of zero temperature (i.e. a vanishing density of vacancies) and for initial distributions such that the vacancies form a renewal process we prove that the density of vacancies, the persistence function and the two-time autocorrelation function behave as staircase functions with several plateaux. Furthermore the two-time autocorrelation function displays an aging behavior. We also provide a sharp description of the statistics of the domain length as a function of time, a domain being the interval between two consecutive vacancies. When the initial renewal process has finite mean our results confirm (and generalize) previous findings of the physicists for the restricted case of a product Bernoulli measure. However we show that a different behavior appears when the initial domain distribution is in the attraction domain of a $\alpha$-stable law. All the above results actually follow from a more general result which says that the low temperature dynamics of the East model is very well described by that of a certain hierarchical coalescence process, a probabilistic object which can be viewed as a hierarchical sequence of suitably linked coalescence processes and whose asymptotic behavior has been recently studied in [14].

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: An Open-Source Microscopic Traffic Simulator

abstract: We present the interactive Java-based open-source traffic simulator available at www.traffic-simulation.de. In contrast to most closed-source commercial simulators, the focus is on investigating fundamental issues of traffic dynamics rather than simulating specific road networks. This includes testing theories for the spatiotemporal evolution of traffic jams, comparing and testing different microscopic traffic models, modeling the effects of driving styles and traffic rules on the efficiency and stability of traffic flow, and investigating novel ITS technologies such as adaptive cruise control, inter-vehicle and vehicle-infrastructure communication.


title: The renormalisation group and nuclear forces

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


title: Hypoelliptic Estimates for a Linear Model of the Boltzmann Equation without Angular Cutoff

abstract: In this paper, we establish optimal hypoelliptic estimates for a class of kinetic equations, which are simplified linear models for the spatially inhomogeneous Boltzmann equation without angular cutoff.


title: On some ergodicity properties for time inhomogeneous Markov processes with $T$-periodic semigroup

abstract: We consider a time inhomogeneous strong Markov process $(\xi_t)_{t\ge 0}$ taking values in a Polish state space whose semigroup has a $T$-periodic structure. We give simple conditions which imply ergodicity of the grid chain $(\xi_{kT})_{k\in \mathbb{N}_0}$ In case of $d$-dimensional possibly degenerate diffusions, the conditions are stated in terms of drift and diffusion coefficient of the process.


title: Explosive nucleosynthesis in core-collapse supernovae

abstract: The specific mechanism and astrophysical site for the production of half of the elements heavier than iron via rapid neutron capture (r-process) remains to be found. In order to reproduce the abundances of the solar system and of the old halo stars, at least two components are required: the heavy r-process nuclei (A>130) and the weak r-process which correspond to the lighter heavy nuclei (A<130). In this work, we present nucleosynthesis studies based on trajectories of hydrodynamical simulations for core-collapse supernovae and their subsequent neutrino-driven winds. We show that the weak r-process elements can be produced in neutrino-driven winds and we relate their abundances to the neutrino emission from the nascent neutron star. Based on the latest hydrodynamical simulations, heavy r-process elements cannot be synthesized in the neutrino-driven winds. However, by artificially increasing the wind entropy, elements up to A=195 can be made. In this way one can mimic the general behavior of an ejecta where the r-process occurs. We use this to study the impact of the nuclear physics input (nuclear masses, neutron capture cross sections, and beta-delayed neutron emission) and of the long-time dynamical evolution on the final abundances.


title: Comment on 'A close examination of the motion of an adiabatic piston' by Eric A. Gislason [Am. J. Phys. 78, 995-1001 (2010)]

abstract: A recent paper by Gislason published in Am. J. Phys. deals with the celebrated example of the so-called "adiabatic piston", a system involving two ideal gases contained in a horizontal cylinder and separated by an insulating piston that moves without friction. While the analysis presented in that paper is rather comprehensive, very interesting and useful as a teaching tool, it can be somewhat misleading if not taken within its appropriate context. As a matter of fact, the evolution to equilibrium involves two phases, a faster one leading to the equalization of pressures, and a slower one bringing the system to identical temperatures. Although Gislason addresses only the first process, we note that the final state after the second phase, the evolution to equal temperatures once the pressures are the same, is described by thermodynamics. Therefore, the discussion of the adiabatic piston given by Gislason can and should be enriched, in order to promote a proper and general view of thermodynamics.


title: Interplay between the range of attractive potential and metastability in gas-liquid nucleation

abstract: We find an interesting interplay between the range of the attractive part of the interaction potential and the extent of metastability (as measured by supersaturation) in gas-liquid nucleation. We explore and exploit this interplay to obtain new insight into nucleation phenomena. Just like its dependence on supersaturation (S), the free energy barrier of nucleation is found to depend strongly on the range of the interaction potential. Actually, the entire free energy surface, F(n), where n is the size of the liquid-like cluster, shows this dependence. The evidences and the reasons for this strong dependence are as follows. (i) The surface tension increases dramatically on increasing the range of interaction potential. In three dimensional Lennard-Jones system, the value of the surface tension increases from 0.494 for a cut-off of 2.5 {\sigma} to 1.09 when the full range of the potential is involved. In two dimensional LJ system, the value of the line tension increases from 0.05 to 0.18, under the same variation of the potential range. (ii) The density of the gas phase at coexistence decreases while that of the liquid phase increases substantially on increasing the range of the interaction potential. (iii) As a result of the above, at a given supersaturation S, the size of the critical nucleus and the free energy barrier both increase with increase in the range of interaction potential. (iv) Surprisingly, however, we find that the functional form predicted by the classical nucleation theory (CNT) for the dependence of the free energy barrier on the size of the nucleus to remain valid except at the largest value of S studied. (v) The agreement between CNT prediction and simulated values of the barrier is supersaturation dependent and worsens with increase in the range of interaction potential, and increases above 10 kBT at the largest supersaturation that could be studied.


title: On the relation between virial coefficients and the close-packing of hard disks and hard spheres

abstract: The question of whether the known virial coefficients are enough to determine the packing fraction $\eta_\infty$ at which the fluid equation of state of a hard-sphere fluid diverges is addressed. It is found that the information derived from the direct Pad\'e approximants to the compressibility factor constructed with the virial coefficients is inconclusive. An alternative approach is proposed which makes use of the same virial coefficients and of the equation of state in a form where the packing fraction is explicitly given as a function of the pressure. The results of this approach both for hard-disk and hard-sphere fluids, which can straightforwardly accommodate higher virial coefficients when available, lends support to the conjecture that $\eta_\infty$ is equal to the maximum packing fraction corresponding to an ordered crystalline structure.


title: Approximate tail probabilities of the maximum of a chi-square field on multi-dimensional lattice points and their applications to detection of loci interactions

abstract: Define a chi-square random field on a multi-dimensional lattice points index set with a direct-product covariance structure, and consider the distribution of the maximum of this random field. We provide two approximate formulas for the upper tail probability of the distribution based on nonlinear renewal theory and an integral-geometric approach called the volume-of-tube method. This study is motivated by the detection problem of the interactive loci pairs which play an important role in forming biological species. The joint distribution of scan statistics for detecting the pairs is regarded as the chi-square random field above, and hence the multiplicity-adjusted $p$-value can be calculated by using the proposed approximate formulas. By using these formulas, we examine the data of Mizuta, et al. (2010) who reported a new interactive loci pair of rice inter-subspecies.


title: On the multiplicity distributions at LHC energies

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


title: Extending Immersions into the Sphere

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


title: Information-Theoretic Capacity and Error Exponents of Stationary Point Processes under Random Additive Displacements

abstract: This paper studies the Shannon regime for the random displacement of stationary point processes. Let each point of some initial stationary point process in $\R^n$ give rise to one daughter point, the location of which is obtained by adding a random vector to the coordinates of the mother point, with all displacement vectors independently and identically distributed for all points. The decoding problem is then the following one: the whole mother point process is known as well as the coordinates of some daughter point; the displacements are only known through their law; can one find the mother of this daughter point? The Shannon regime is that where the dimension $n$ tends to infinity and where the logarithm of the intensity of the point process is proportional to $n$. We show that this problem exhibits a sharp threshold: if the sum of the proportionality factor and of the differential entropy rate of the noise is positive, then the probability of finding the right mother point tends to 0 with $n$ for all point processes and decoding strategies. If this sum is negative, there exist mother point processes, for instance Poisson, and decoding strategies, for instance maximum likelihood, for which the probability of finding the right mother tends to 1 with $n$. We then use large deviations theory to show that in the latter case, if the entropy spectrum of the noise satisfies a large deviation principle, then the error probability goes exponentially fast to 0 with an exponent that is given in closed form in terms of the rate function of the noise entropy spectrum. This is done for two classes of mother point processes: Poisson and Mat\'ern. The practical interest to information theory comes from the explicit connection that we also establish between this problem and the estimation of error exponents in Shannon's additive noise channel with power constraints on the codewords.


title: Integrability and non-integrability of periodic non-autonomous Lyness recurrences

abstract: This paper studies non-autonomous Lyness type recurrences of the form $x_{n+2}=(a_n+x_{n+1})/x_{n}$, where $\{a_n\}$ is a $k$-periodic sequence of positive numbers with primitive period $k$. We show that for the cases $k\in\{1,2,3,6\}$ the behavior of the sequence $\{x_n\}$ is simple (integrable) while for the remaining cases satisfying this behavior can be much more complicated (chaotic). We also show that the cases where $k$ is a multiple of 5 present some different features.


title: Affine Bodies Revisited. Constraints, Symmetry, Analytical Methods and Some Perspectives

abstract: The purpose of this publication is to derive and discuss equations of motion of affinely rigid (homogeneously deformable) body moving in Euclidean space of general dimension $n$. Our aim is to present some analytical methods and to discuss geometric structure and invariance properties of the theory. Some perspectives of further developments are also discussed.


title: Abstract Wave Equations and Associated Dirac-Type Operators

abstract: We discuss the unitary equivalence of generators $G_{A,R}$ associated with abstract damped wave equations of the type $\ddot{u} + R \dot{u} + A^*A u = 0$ in some Hilbert space $\mathcal{H}_1$ and certain non-self-adjoint Dirac-type operators $Q_{A,R}$ (away from the nullspace of the latter) in $\mathcal{H}_1 \oplus \mathcal{H}_2$. The operator $Q_{A,R}$ represents a non-self-adjoint perturbation of a supersymmetric self-adjoint Dirac-type operator. Special emphasis is devoted to the case where 0 belongs to the continuous spectrum of $A^*A$. In addition to the unitary equivalence results concerning $G_{A,R}$ and $Q_{A,R}$, we provide a detailed study of the domain of the generator $G_{A,R}$, consider spectral properties of the underlying quadratic operator pencil $M(z) = |A|^2 - iz R - z^2 I_{\mathcal{H}_1}$, $z\in\mathbb{C}$, derive a family of conserved quantities for abstract wave equations in the absence of damping, and prove equipartition of energy for supersymmetric self-adjoint Dirac-type operators. The special example where $R$ represents an appropriate function of $|A|$ is treated in depth and the semigroup growth bound for this example is explicitly computed and shown to coincide with the corresponding spectral bound for the underlying generator and also with that of the corresponding Dirac-type operator. The cases of undamped (R=0) and damped ($R \neq 0$) abstract wave equations as well as the cases $A^* A \geq \epsilon I_{\mathcal{H}_1}$ for some $\epsilon > 0$ and $0 \in \sigma (A^* A)$ (but 0 not an eigenvalue of $A^*A$) are separately studied in detail.


title: Calibration Using Matrix Completion with Application to Ultrasound Tomography

abstract: We study the calibration process in circular ultrasound tomography devices where the sensor positions deviate from the circumference of a perfect circle. This problem arises in a variety of applications in signal processing ranging from breast imaging to sensor network localization. We introduce a novel method of calibration/localization based on the time-of-flight (ToF) measurements between sensors when the enclosed medium is homogeneous. In the presence of all the pairwise ToFs, one can easily estimate the sensor positions using multi-dimensional scaling (MDS) method. In practice however, due to the transitional behaviour of the sensors and the beam form of the transducers, the ToF measurements for close-by sensors are unavailable. Further, random malfunctioning of the sensors leads to random missing ToF measurements. On top of the missing entries, in practice an unknown time delay is also added to the measurements. In this work, we incorporate the fact that a matrix defined from all the ToF measurements is of rank at most four. In order to estimate the missing ToFs, we apply a state-of-the-art low-rank matrix completion algorithm, OPTSPACE . To find the correct positions of the sensors (our ultimate goal) we then apply MDS. We show analytic bounds on the overall error of the whole process in the presence of noise and hence deduce its robustness. Finally, we confirm the functionality of our method in practice by simulations mimicking the measurements of a circular ultrasound tomography device.


title: Type Ia supernova diversity: white dwarf central density as a secondary parameter in three-dimensional delayed detonation models

abstract: Delayed detonations of Chandrasekhar-mass white dwarfs (WDs) have been very successful in explaining the spectra, light curves, and the width-luminosity relation of spectroscopically normal Type Ia supernovae (SNe Ia). The ignition of the thermonuclear deflagration flame at the end of the convective carbon "simmering" phase in the core of the WD is still not well understood and much about the ignition kernel distribution remains unknown. Furthermore, the central density at the time of ignition depends on the still uncertain screened carbon fusion reaction rates, the accretion history and cooling time of the progenitor, and the composition. We present the results of twelve high-resolution three-dimensional delayed detonation SN Ia explosion simulations that employ a new criterion to trigger the deflagration to detonation transition (DDT). All simulations trigger our DDT criterion and the resulting delayed detonations unbind the star. We find a trend of increasing iron group element (IGE) production with increasing central density for bright, faint, and intermediate SNe. The total 56Ni yield, however, remains more or less constant, even though increased electron captures at high density result in a decreasing 56Ni mass fraction of the IGE material. We attribute this to an approximate balance of 56Ni producing and destroying effects. The deflagrations that were ignited at higher density initially have a faster growth rate of subgrid-scale turbulence. Hence, the effective flame speed increases faster, which triggers the DDT criterion earlier, at a time when the central density of the expanded star is higher. This leads to an overall increase of IGE production, which off-sets the percental reduction of 56Ni due to neutronization.


title: High-order harmonic generation enhanced by XUV light

abstract: The combination of high-order harmonic generation (HHG) with resonant XUV excitation of a core electron into the transient valence vacancy that is created in the course of the HHG process is investigated theoretically. In this setup, the first electron performs a HHG three-step process whereas, the second electron Rabi flops between the core and the valence vacancy. The modified HHG spectrum due to recombination with the valence and the core is determined and analyzed for krypton on the 3d -- > 4p resonance in the ion. We assume an 800 nm laser with an intensity of about 10^14 W/cm^2 and XUV radiation from the Free Electron Laser in Hamburg (FLASH) with an intensity in the range 10^13--10^16 W/cm^2. Our prediction opens perspectives for nonlinear XUV physics, attosecond x rays, and HHG-based spectroscopy involving core orbitals.


title: Sodium-Oxygen anticorrelation among Horizontal Branch Stars in the Globular Cluster M4

abstract: The horizontal branch (HB) morphology of globular clusters (GC) is mainly governed by metallicity. The second parameter problem, well known since the 60's, states that metallicity alone is not enough to describe the observed HB morphology of many GCs. Despite many efforts to resolve this issue, the second parameter phenomenon still remains without a satisfactory explanation. We have analyzed blue, red-HB, and RR-Lyrae stars in the GC M4 and studied their Fe, Na, and O abundances. Our goal is to investigate possible connections between the bimodal HB of M4 and the chemical signatures of the two stellar populations recently discovered among red giants of this cluster. We obtained FLAMES-UVES/GIRAFFE spectra of a sample of 22 stars covering the HB from the red to the blue region. While iron has the same abundance in both the red and blue-HB segment, the red-HB is composed of stars with scaled-solar sodium abundances, while the blue-HB stars are all sodium enhanced and oxygen depleted. The RR-Lyrae are Na-poor, as the red-HB stars, and O-rich. This is what we expect if the blue-HB consists of a second generation of stars formed from the ejecta produced by an earlier stellar population through high-temperature hydrogen-burning processes that include the CNO, NeNa, and MgAl cycles and are therefore expected to be He-rich. According to this scenario, the sodium and oxygen pattern detected in the blue and red-HB segments suggests helium as the second parameter that rules the HB morphology in M4.


title: Pressure-induced phase transition of Bi2Te3 into the bcc structure

abstract: The pressure-induced phase transition of bismuth telluride, Bi2Te3, has been studied by synchrotron x-ray diffraction measurements at room temperature using a diamond-anvil cell (DAC) with loading pressures up to 29.8 GPa. We found a high-pressure body-centered cubic (bcc) phase in Bi2Te3 at 25.2 GPa, which is denoted as phase IV, and this phase apperars above 14.5 GPa. Upon releasing the pressure from 29.8 GPa, the diffraction pattern changes with pressure hysteresis. The original rhombohedral phase is recovered at 2.43 GPa. The bcc structure can explain the phase IV peaks. We assumed that the structural model of phase IV is analogous to a substitutional binary alloy; the Bi and Te atoms are distributed in the bcc-lattice sites with space group Im-3m. The results of Rietveld analysis based on this model agree well with both the experimental data and calculated results. Therefore, the structure of phase IV in Bi2Te3 can be explained by a solid solution with a bcc lattice in the Bi-Te (60 atomic% tellurium) binary system.


title: Are short-term variations in solar oscillation frequencies the signature of a second solar dynamo?

abstract: In addition to the well-known 11-year solar cycle, the Sun's magnetic activity also shows significant variation on shorter time scales, e.g. between one and two years. We observe a quasi-biennial (2-year) signal in the solar p-mode oscillation frequencies, which are sensitive probes of the solar interior. The signal is visible in Sun-as-a-star data observed by different instruments and here we describe the results obtained using BiSON, GOLF, and VIRGO data. Our results imply that the 2-year signal is susceptible to the influence of the main 11-year solar cycle. However, the source of the signal appears to be separate from that of the 11-year cycle. We speculate as to whether it might be the signature of a second dynamo, located in the region of near-surface rotational shear.


title: Modified graphene with small BN domain: an effective method for band gap opening

abstract: BN domains are easy to form in the basal plane of graphene due to phase separation. With first-principles DFT calculations, it is demonstrated theoretically that the band gap of graphene can be opened effectively around K (or K') points by doping the small BN domains. It is also found that the random doping with B or N is possible to open a small gap in the Dirac points, except for the modulation of Fermi level. The surface charge which belongs to the $\pi$ states near Dirac points is found to be redistributed locally. The charge redistribution is contributed to the change of localized potential due to the doping effects. This may be the reason that the energy states near Dirac points is just disturbed in the energy region [-0.4eV, 0.4eV] for the doping of BN domain. Thus, we suggest that the band opening induced by the doped BN domain is due to the breaking of localized symmetry of the potential. Doping graphene with BN domains is an effective method to open a band gap with quasi-linear dissipation near Dirac point.


title: Gauge deformations for Hopf algebras with the dual Chevalley property

abstract: Let $A$ be a Hopf algebra over a field $K$ of characteristic zero such that its coradical $H$ is a finite dimensional sub-Hopf algebra. Our main theorem shows that there is a gauge transformation $\zeta $ on $A$ such that $A^{\zeta}\cong Q#H$ where $A^\zeta$ is the dual quasi-bialgebra obtained from $A$ by twisting its multiplication by $\zeta$, $Q$ is a connected dual quasi-bialgebra in $^H_H\mathcal{YD}$ and $Q #H $ is a dual quasi-bialgebra called the bosonization of $Q$ by $H$.


title: Correlating transmission and local electronic structure in planar junctions: A tool for analyzing spin-dependent transport calculations

abstract: We propose to correlate transmittance maps and spectral-density maps of planar junctions, in order to analyze quantitatively and in detail spin-dependent transport calculations. Since spectral-density maps can be resolved with respect to atom, angular momentum, and spin, the resulting correlation coefficients reveal unequivocally, e.g., which layers or which orbitals determine the tunnel conductances. Our method can be used for transport calculations within the Landauer-B\"uttiker formalism. Its properties and features will be discussed by means of a pure bcc Fe(001) lead as well as an extensively studied Fe(001)/MgO/Fe(001) planar tunnel junction.


title: Crystal-fields in YbInNi4 determined with magnetic form factor and inelastic neutron scattering

abstract: The magnetic form factor of YbInNi4 has been determined via the flipping ratios R with polarized neutron diffraction and the scattering function S(Q,w) was measured in an inelastic neutron scattering experiment. Both experiments were performed with the aim to determine the crystal-field scheme. The magnetic form factor clearly excludes the possibility of a \Gamma7 doublet as the ground state. The inelastic neutron data exhibit two, almost equally strong peaks at 3.2 meV and 4.4 meV which points, in agreement with earlier neutron data, towards a \Gamma8 quartet ground state. Further possibilities like a quasi-quartet ground state are discussed.


title: Join-Reachability Problems in Directed Graphs

abstract: For a given collection G of directed graphs we define the join-reachability graph of G, denoted by J(G), as the directed graph that, for any pair of vertices a and b, contains a path from a to b if and only if such a path exists in all graphs of G. Our goal is to compute an efficient representation of J(G). In particular, we consider two versions of this problem. In the explicit version we wish to construct the smallest join-reachability graph for G. In the implicit version we wish to build an efficient data structure (in terms of space and query time) such that we can report fast the set of vertices that reach a query vertex in all graphs of G. This problem is related to the well-studied reachability problem and is motivated by emerging applications of graph-structured databases and graph algorithms. We consider the construction of join-reachability structures for two graphs and develop techniques that can be applied to both the explicit and the implicit problem. First we present optimal and near-optimal structures for paths and trees. Then, based on these results, we provide efficient structures for planar graphs and general directed graphs.


title: A targeted coherent search for gravitational waves from compact binary coalescences

abstract: We present the details of a method for conducting a targeted, coherent search for compact binary coalescences. The search is tailored to be used as a followup to electromagnetic transients such as Gamma Ray Bursts. We derive the coherent search statistic for Gaussian detector noise and discuss the benefits of a coherent, multi-detector search over coincidence methods. To mitigate the effects of non-stationary data, we introduce a number of signal consistency tests, including the null SNR, amplitude consistency and several $\chi^{2}$ tests. We demonstrate the search performance on Gaussian noise and on data from LIGO's fourth science run and verify that the signal consistency tests are capable of removing the majority of noise transients and the search gives an efficiency comparable to that achieved in Gaussian noise.


title: New period-luminosity and period-color relations of classical Cepheids. IV. The low-metallicity galaxies IC 1613, WLM, Pegasus, Sextans A and B, and Leo A in comparison to SMC

abstract: The metal-poor, fundamental-mode (P0) and first-overtone (P1) Cepheids in the dwarf galaxies IC 1613, WLM, Pegasus, Sextans A, Sextans B, and Leo A are compared with the about equally metal-poor Cepheids of the Small Magellanic Cloud (SMC). The period-color (P-C) and period-luminosity (P-L) relations of the seven galaxies are indistinguishable, but differ distinctly from those in the Large Magellanic Cloud (LMC) and the solar neighborhood. Adopting (m-M)^{0}_{SMC}=18.93 from independent evidence, one can determine reliable distance moduli for the other dwarf galaxies of (m-M)^{0} = 24.34+/-0.03, 24.95+/-0.03, 24.87+/-0.06, 25.60+/-0.03 (mean for Sextans A & B), and 24.59+/-0.03, respectively.


title: Algorithms for Highly Symmetric Linear and Integer Programs

abstract: This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic properties of linear representations of finite groups can be used to reduce symmetric linear programming to solving linear programs of lower dimension. Combining this approach with knowledge of the geometry of feasible integer solutions yields an algorithm for solving highly symmetric integer linear programs which only takes time which is linear in the number of constraints and quadratic in the dimension.


title: Critical behaviour of the compact 3d U(1) gauge theory at finite temperature

abstract: Critical properties of the compact three-dimensional U(1) lattice gauge theory are explored at finite temperatures. The critical point of the deconfinement phase transition, critical indices and the string tension are studied numerically on lattices with temporal extension N_t = 8 and spatial extension ranging from L = 32 to L = 256. The critical indices, which govern the behaviour across the deconfinement phase transition, are generally expected to coincide with the critical indices of the two-dimensional XY model. It is found that the determination of the infinite volume critical point differs from the pseudo-critical coupling at L = 32, found earlier in the literature and implicitly assumed as the onset value of the deconfined phase. The critical index $\nu$ computed from the scaling of the pseudocritical couplings agrees well with the value $\nu$ = 1/2 of the XY model. The computation of the index $\eta$ brings to a value larger than expected. The possible reasons for such behaviour are discussed.


title: Herschel-HIFI observations of H2O in high-mass star-forming regions: first results

abstract: This paper reviews the first results of observations of H2O line emission with Herschel-HIFI towards high-mass star-forming regions, obtained within the WISH guaranteed time program. The data reveal three kinds of gas-phase H2O: `cloud water' in cold tenuous foreground clouds, `envelope water' in dense protostellar envelopes, and `outflow water' in protostellar outflows. The low H2O abundance (1e-10 -- 1e-9) in foreground clouds and protostellar envelopes is due to rapid photodissociation and freeze-out on dust grains, respectively. The outflows show higher H2O abundances (1e-7 -- 1e-6) due to grain mantle evaporation and (probably) neutral-neutral reactions.


title: Stellar black holes: cosmic history and feedback at the dawn of the universe

abstract: Significant historic cosmic evolution for the formation rate of stellar black holes is inferred from current theoretical models of the evolution of massive stars, the multiple observations of compact stellar remnants in the near and distant universe, and the cosmic chemical evolution. The mean mass of stellar black holes, the fraction of black holes/neutron stars, and the fraction of black hole high mass X-ray binaries (BH-HMXBs)/solitary black holes increase with redshift. The energetic feedback from large populations of BH-HMXBs form in the first generations of star burst galaxies has been overlooked in most cosmological models of the reionization epoch of the universe. The powerful radiation, jets, and winds from BH-HMXBs heat the intergalactic medium over large volumes of space and keep it ionized until AGN take over. It is concluded that stellar black holes constrained the properties of the faintest galaxies at high redshifts. I present here the theoretical and observational grounds for the historic cosmic evolution of stellar black holes. Detailed calculations on their cosmic impact are presented elsewhere (Mirabel, Dijkstra, Laurent, Loeb, Pritchard, 2011).


title: Experience in applying remote technology in the secondary education institutions in Russia, located in rural areas (From the experience of Podolsky municipal district schools)

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