title: General Auction-Theoretic Strategies for Distributed Partner Selection in Cooperative Wireless Networks

abstract: It is unrealistic to assume that all nodes in an ad hoc wireless network would be willing to participate in cooperative communication, especially if their desired Quality-of- Service (QoS) is achievable via direct transmission. An incentivebased auction mechanism is presented to induce cooperative behavior in wireless networks with emphasis on users with asymmetrical channel fading conditions. A single-object secondprice auction is studied for cooperative partner selection in singlecarrier networks. In addition, a multiple-object bundled auction is analyzed for the selection of multiple simultaneous partners in a cooperative orthogonal frequency-division multiplexing (OFDM) setting. For both cases, we characterize equilibrium outage probability performance, seller revenue, and feedback bounds. The auction-based partner selection allows winning bidders to achieve their desired QoS while compensating the seller who assists them. At the local level sellers aim for revenue maximization, while connections are drawn to min-max fairness at the network level. The proposed strategies for partner selection in self-configuring cooperative wireless networks are shown to be robust under conditions of uncertainty in the number of users requesting cooperation, as well as minimal topology and channel link information available to individual users.


title: Hilltop Supernatural Inflation and Gravitino Problem

abstract: In this paper, we explore the parameter space of hilltop supernatural inflation model and show the regime within which there is no gravitino problem even if we consider both thermal and nonthermal production mechanisms. We make plots for the allowed reheating temperature as a function of gravitino mass by constraints from big-bang nucleosynthesis. We also plot the constraint when gravitino is assumed to be stable and plays the role of dark matter.


title: Traces of functions in Fock spaces on lattices of critical density

abstract: Following a scheme of Levin we describe the values that functions in Fock spaces take on lattices of critical density in terms of both the size of the values and a cancelation condition that involves discrete versions of the Cauchy and Beurling-Ahlfors transforms.


title: From Fibonacci Numbers to Central Limit Type Theorems

abstract: A beautiful theorem of Zeckendorf states that every integer can be written uniquely as a sum of non-consecutive Fibonacci numbers $\{F_n\}_{n=1}^{\infty}$. Lekkerkerker proved that the average number of summands for integers in $[F_n, F_{n+1})$ is $n/(\phi^2 + 1)$, with $\phi$ the golden mean. This has been generalized to the following: given nonnegative integers $c_1,c_2,...,c_L$ with $c_1,c_L>0$ and recursive sequence $\{H_n\}_{n=1}^{\infty}$ with $H_1=1$, $H_{n+1} =c_1H_n+c_2H_{n-1}+...+c_nH_1+1$ $(1\le n< L)$ and $H_{n+1}=c_1H_n+c_2H_{n-1}+...+c_LH_{n+1-L}$ $(n\geq L)$, every positive integer can be written uniquely as $\sum a_iH_i$ under natural constraints on the $a_i$'s, the mean and the variance of the numbers of summands for integers in $[H_{n}, H_{n+1})$ are of size $n$, and the distribution of the numbers of summands converges to a Gaussian as $n$ goes to the infinity. Previous approaches used number theory or ergodic theory. We convert the problem to a combinatorial one. In addition to re-deriving these results, our method generalizes to a multitude of other problems (in the sequel paper \cite{BM} we show how this perspective allows us to determine the distribution of gaps between summands in decompositions). For example, it is known that every integer can be written uniquely as a sum of the $\pm F_n$'s, such that every two terms of the same (opposite) sign differ in index by at least 4 (3). The presence of negative summands introduces complications and features not seen in previous problems. We prove that the distribution of the numbers of positive and negative summands converges to a bivariate normal with computable, negative correlation, namely $-(21-2\phi)/(29+2\phi) \approx -0.551058$.


title: A Simple Pendulum Determination of the Gravitational Constant

abstract: We determined the Newtonian Constant of Gravitation G by interferometrically measuring the change in spacing between two free-hanging pendulum masses caused by the gravitational field from large tungsten source masses. We find a value for G of (6.672 34 +/- 0.000 14) x 10^-11 m^3 kg^-1 s^-2. This value is in good agreement with the 1986 Committee on Data for Science and Technology (CODATA) value of (6.672 59 +/- 0.000 85) x 10^-11 m^3 kg^-1 s^-2 [Rev. Mod. Phys. 59, 1121 (1987)] but differs from some more recent determinations as well as the latest CODATA recommendation of (6.674 28 +/- 0.000 67) x 10^-11 m^3 kg^-1 s^-2 [Rev. Mod. Phys. 80, 633 (2008)].


title: On the number of summands in Zeckendorf decompositions

abstract: Zeckendorf proved that every positive integer has a unique representation as a sum of non-consecutive Fibonacci numbers. Once this has been shown, it's natural to ask how many summands are needed. Using a continued fraction approach, Lekkerkerker proved that the average number of such summands needed for integers in $[F_n, F_{n+1})$ is $n / (\varphi^2 + 1) + O(1)$, where $\varphi = \frac{1+\sqrt{5}}2$ is the golden mean. Surprisingly, no one appears to have investigated the distribution of the number of summands; our main result is that this converges to a Gaussian as $n\to\infty$. Moreover, such a result holds not just for the Fibonacci numbers but many other problems, such as linear recurrence relation with non-negative integer coefficients (which is a generalization of base $B$ expansions of numbers) and far-difference representations. In general the proofs involve adopting a combinatorial viewpoint and analyzing the resulting generating functions through partial fraction expansions and differentiating identities. The resulting arguments become quite technical; the purpose of this paper is to concentrate on the special and most interesting case of the Fibonacci numbers, where the obstructions vanish and the proofs follow from some combinatorics and Stirling's formula; see [MW] for proofs in the general case.


title: Operational interpretations of quantum discord

abstract: Quantum discord quantifies non-classical correlations going beyond the standard classification of quantum states into entangled and unentangled ones. Although it has received considerable attention, it still lacks any precise interpretation in terms of some protocol in which quantum features are relevant. Here we give quantum discord its first operational meaning in terms of entanglement consumption in an extended quantum state merging protocol. We further relate the asymmetry of quantum discord with the performance imbalance in quantum state merging and dense coding.


title: Imaging ellipsometry of graphene

abstract: Imaging ellipsometry studies of graphene on SiO2/Si and crystalline GaAs are presented. We demonstrate that imaging ellipsometry is a powerful tool to detect and characterize graphene on any flat substrate. Variable angle spectroscopic ellipsometry is used to explore the dispersion of the optical constants of graphene in the visible range with high lateral resolution. In this way the influence of the substrate on graphene's optical properties can be investigated


title: The ATLAS Forward Physics Program

abstract: We describe the ATLAS Forward Physics Program at low luminosity using the rapidity gap method and a dedicated detector called ALFA to tag the protons. We also describe the physics topics of the ATLAS Forward Physics Project at high instantaneous luminosity.


title: On minimum vertex cover of generalized Petersen graphs

abstract: For natural numbers $n$ and $k$ ($n > 2k$), a generalized Petersen graph $P(n,k)$, is defined by vertex set $\lbrace u_i,v_i\rbrace$ and edge set $\lbrace u_iu_{i+1},u_iv_i,v_iv_{i+k}\rbrace$; where $i = 1,2,\dots,n$ and subscripts are reduced modulo $n$. Here first, we characterize minimum vertex covers in generalized Petersen graphs. Second, we present a lower bound and some upper bounds for $\beta(P(n,k))$, the size of minimum vertex cover of $P(n,k)$. Third, in some cases, we determine the exact values of $\beta(P(n,k))$. Our conjecture is that $\beta(P(n,k)) \le n + \lceil\frac{n}{5}\rceil$, for all $n$ and $k$.


title: Tunneling Spin Injection into Single Layer Graphene (Supplementary Information)

abstract: We achieve tunneling spin injection from Co into single layer graphene (SLG) using TiO2 seeded MgO barriers. A non-local magnetoresistance ({\Delta}RNL) of 130 {\Omega} is observed at room temperature, which is the largest value observed in any material. Investigating {\Delta}RNL vs. SLG conductivity from the transparent to the tunneling contact regimes demonstrates the contrasting behaviors predicted by the drift-diffusion theory of spin transport. Furthermore, tunnel barriers reduce the contact-induced spin relaxation and are therefore important for future investigations of spin relaxation in graphene.


title: Commutator estimates in $W^*$-factors

abstract: Let $\mathcal{M}$ be a $W^*$-factor and let $S\left( \mathcal{M} \right) $ be the space of all measurable operators affiliated with $\mathcal{M}$. It is shown that for any self-adjoint element $a\in S(\mathcal{M})$ there exists a scalar $\lambda_0\in\mathbb{R}$, such that for all $\varepsilon > 0$, there exists a unitary element $u_\varepsilon$ from $\mathcal{M}$, satisfying $|[a,u_\varepsilon]| \geq (1-\varepsilon)|a-\lambda_0\mathbf{1}|$. A corollary of this result is that for any derivation $\delta$ on $\mathcal{M}$ with the range in an ideal $I\subseteq\mathcal{M}$, the derivation $\delta$ is inner, that is $\delta(\cdot)=\delta_a(\cdot)=[a,\cdot]$, and $a\in I$. Similar results are also obtained for inner derivations on $S(\mathcal{M})$.


title: The Criterion of Completely Reducibility for Continuous Representations of Group Algebras

abstract: It is shown that every nonsingular continuous representation of the group algebra $L^{1}(G)$ in Banach spaces is completely reducible if and only if $G$ is a compact group.


title: Collective modes in multiband superfluids and superconductors: Multiple dynamical classes

abstract: One important way to characterize the states having a gauge symmetry spontaneously broken over multibands should be to look at their collective excitation modes. We find that a three-band system has multiple Leggett modes with significantly different masses, which can be classified into different dynamical classes according to whether multiple inter-band Josephson currents add or cancel. This provides a way to dynamically characterize multiband superconductivity while the pairing symmetry is a static property.


title: Measure preserving homomorphisms and independent sets in tensor graph powers

abstract: In this note, we study the behavior of independent sets of maximum probability measure in tensor graph powers. To do this, we introduce an upper bound using measure preserving homomorphisms. This work extends some previous results about independence ratios of tensor graph powers.


title: Signature of a universal statistical description for drift-wave plasma turbulence

abstract: This Letter provides a theoretical interpretation of numerically generated probability density functions (PDFs) of intermittent plasma transport events. Specifically, nonlinear gyrokinetic simulations of ion-temperature-gradient turbulence produce time series of heat flux which exhibit manifestly non-Gaussian PDFs with enhanced tails. It is demonstrated that, after the removal of autocorrelations, the numerical PDFs can be matched with predictions from a fluid theoretical setup, based on the instanton method. This result points to a universality in the modeling of intermittent stochastic process, offering predictive capability.


title: Thermodynamics for Kodama observer in general spherically symmetric spacetimes

abstract: By following the spirit of arXiv:1003.5665, we define a new Tolman temperature of Kodama observer directly related to its acceleration. We give a generalized integral form of thermodynamics relation on virtual sphere of constant $r$ in non-static spherical symmetric spacetimes. This relation contains work term contributed by `redshift work density', `pressure density' and `gravitational work density'. We illustrate it in RN black hole, Dilaton-Maxwell-Einstein black hole and Vaidya black hole. We argue that the co-moving observers are not physically related to Kodama observers in FRW universe unless in the vacuum case. We also find that a generalized differential form of first law is difficult to be well defined, and it would not give more information than the integral form.


title: An approximation algorithm for the total cover problem

abstract: We introduce a $2$-approximation algorithm for the minimum total covering number problem.


title: On The Signed Edge Domination Number of Graphs

abstract: Let $\gamma'_s(G)$ be the signed edge domination number of G. In 2006, Xu conjectured that: for any $2$-connected graph G of order $ n (n \geq 2),$ $\gamma'_s(G)\geq 1$. In this article we show that this conjecture is not true. More precisely, we show that for any positive integer $m$, there exists an $m$-connected graph $G$ such that $ \gamma'_s(G)\leq -\frac{m}{6}|V(G)|.$ Also for every two natural numbers $m$ and $n$, we determine $\gamma'_s(K_{m,n})$, where $K_{m,n}$ is the complete bipartite graph with part sizes $m$ and $n$.


title: QCD thermodynamics at zero and finite densities with improved Wilson quarks

abstract: The WHOT-QCD Collaboration is pushing forward lattice studies of QCD at finite temperatures and densities using improved Wilson quarks. We first present results on QCD at zero and finite densities with two flavors of degenerate quarks (N_F=2 QCD) adopting the conventional fixed-Nt approach. We then report on the status of a study of N_F=2+1 QCD adopting a fixed-scale approach armed with the T-integration method which we have developed.


title: Limited influence of diluted ferromagnetic dimers on Curie temperature in complex magnetic systems

abstract: In this work we investigate Ising and classical Heisenberg models for two and three dimensional lattices in presence of diluted ferromagnetic dimers. For such models the Curie temperature as a function of ratio of intra-dimer exchange coupling constant I_A and other inter-site coupling constants I_B is calculated. In case dimer is treated exactly and environment within the mean-field approach it was found that even for I_A/I_B\to\infty T_C remains finite. Similar analysis is proposed for rhombohedral phase of intermetallic compound Gd2Fe17 where so-called Fe1-Fe1 "dumbbell" forms the diluted ferromagnetic dimer. It was shown that for such complex magnetic systems T_C is determined by all variety of exchange interactions and for the interval 0 < I_A/I_B < \infty T_C changes are not more than +/-10%.


title: Families of Dirac operators and quantum affine groups

abstract: Twisted K-theory classes over compact Lie groups can be realized as families of Fredholm operators using the representation theory of loop groups. In this talk I want to show how to deform the Fredholm family, in the sense of quantum groups. The family of Dirac type operators is parametrized by vectors in the adjoint module for a quantum affine algebra and transform covariantly under a (central extension of) the algebra.


title: Pathwise Taylor Expansions for It\^o Random Fields

abstract: In this paper we study the {\it pathwise stochastic Taylor expansion}, in the sense of our previous work \cite{Buckdahn_Ma_02}, for a class of It\^o-type random fields in which the diffusion part is allowed to contain both the random field itself and its spatial derivatives. Random fields of such an "self-exciting" type particularly contains the fully nonlinear stochastic PDEs of curvature driven diffusion, as well as certain stochastic Hamilton-Jacobi-Bellman equations. We introduce the new notion of "$n$-fold" derivatives of a random field, as a fundamental device to cope with the special self-exciting nature. Unlike our previous work \cite{Buckdahn_Ma_02}, our new expansion can be defined around any random time-space point $(\t,\xi)$, where the temporal component $\t$ does not even have to be a stopping time. Moreover, the exceptional null set is independent of the choice of the random point $(\t,\xi)$. As an application, we show how this new form of pathwise Taylor expansion could lead to a different treatment of the stochastic characteristics for a class of fully nonlinear SPDEs whose diffusion term involves both the solution and its gradient, and hence lead to a definition of the {\it stochastic viscosity solution} for such SPDEs, which is new in the literature.


title: Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

abstract: In this report proofs are presented for a method for abstracting continuous dynamical systems by timed automata. The method is based on partitioning the state space of dynamical systems with invariant sets, which form cells representing locations of the timed automata. To enable verification of the dynamical system based on the abstraction, conditions for obtaining sound, complete, and refinable abstractions are set up. It is proposed to partition the state space utilizing sub-level sets of Lyapunov functions, since they are positive invariant sets. The existence of sound abstractions for Morse-Smale systems and complete and refinable abstractions for linear systems are proved.


title: Negative refraction: A tutorial

abstract: The concepts of negative refractive index and near-field imaging are explained in the form of a tutorial.


title: Atomic fountain of laser-cooled Yb atoms for precision measurements

abstract: We demonstrate launching of laser-cooled Yb atoms in a cold atomic fountain. Atoms in a collimated thermal beam are first cooled and captured in a magneto-optic trap (MOT) operating on the strongly-allowed ${^1S}_0 \rightarrow {^1P}_1$ transition at 399~nm (blue line). They are then transferred to a MOT on the weakly-allowed ${^1S}_0 \rightarrow {^3P}_1$ transition at 556~nm (green line). Cold atoms from the green MOT are launched against gravity at a velocity of around 2.5~m/s using a pair of green beams. We trap more than $10^7$ atoms in the blue MOT and transfer up to 70\% into the green MOT. The temperature for the odd isotope, $^{171}$Yb, is $\sim$1~mK in the blue MOT, and reduces by a factor of 40 in the green MOT.


title: Effective operators in top physics

abstract: Top interactions beyond the Standard Model can be conveniently described in the framework of gauge-invariant effective operators. We briefly review the general form of the fermion-fermion-gauge boson and fermion-fermion-Higgs interactions arising from dimension-6 operators, focusing on the top quark. We discuss in detail an expansion in powers of 1/Lambda^2, where Lambda is the new physics scale, to consistently calculate observables in terms of top anomalous couplings.


title: Multiplicity distributions and long range rapidity correlations

abstract: The physics of the initial conditions of heavy ion collisions is dominated by the nonlinear gluonic interactions of QCD. These lead to the concepts of parton saturation and the Color Glass Condensate (CGC). We discuss recent progress in calculating multi-gluon correlations in this framework, prompted by the observation that these correlations are in fact easier to compute in a dense system (nucleus-nucleus) than a dilute one (proton-proton).


title: Role of population transfer under strong probe conditions in electromagnetically induced transparency

abstract: We analyze theoretically the phenomenon of electromagnetically induced transparency (EIT) under conditions where the probe laser is not in the usual weak limit. We consider the effects in both three-level and four-level systems, which are either closed or open (due to losses to an external metastable level). We find that the EIT dip almost disappears in a closed three-level system but survives in an open system. In four-level systems, there is a narrow enhanced-absorption peak (EITA) at line center, which has applications as an optical clock. The peak converts to an EIT dip in a closed system, but again survives in an open system.


title: Precise measurement of hyperfine structure in the ${2P}_{1/2}$ state of $^{7}$Li using saturated-absorption spectroscopy

abstract: We report a precise measurement of the hyperfine interval in the ${2P}_{1/2}$ state of $^{7}$Li. The transition from the ground state ($D_1$ line) is accessed using a diode laser and the technique of saturated-absorption spectroscopy in hot Li vapor. The interval is measured by locking an acousto-optic modulator to the frequency difference between the two hyperfine peaks. The measured interval of 92.040(6)~MHz is consistent with an earlier measurement reported by us using an atomic-beam spectrometer [Das and Natarajan, J.\ Phys.\ B {\bf 41}, 035001 (2008)]. The interval yields the magnetic dipole constant in the $P_{1/2}$ state as $A=46.047(3)$, which is discrepant from theoretical calculations by $>80$~kHz.


title: Empirical Likelihood based Confidence Regions for first order parameters of a heavy tailed distribution

abstract: Let $X_1, \ldots, X_n$ be some i.i.d. observations from a heavy tailed distribution $F$, i.e. such that the common distribution of the excesses over a high threshold $u_n$ can be approximated by a Generalized Pareto Distribution $G_{\gamma,\sigma_n}$ with $\gamma >0$. This work is devoted to the problem of finding confidence regions for the couple $(\gamma,\sigma_n)$ : combining the empirical likelihood methodology with estimation equations (close but not identical to the likelihood equations) introduced by J. Zhang (Australian and New Zealand J. Stat n.49(1), 2007), asymptotically valid confidence regions for $(\gamma,\sigma_n)$ are obtained and proved to perform better than Wald-type confidence regions (especially those derived from the asymptotic normality of the maximum likelihood estimators). By profiling out the scale parameter, confidence intervals for the tail index are also derived.


title: Temperature Profile for Ballistic and Diffusive Phonon Transport in a Suspended Membrane with a Radial Symmetric Heat Source

abstract: We have calculated the temperature profiles for phonon heat transport in a suspended membrane with a radially symmetric heat source in the two extreme cases of either fully ballistic or fully diffusive transport. Theoretical results confirm that it is possible to distinguish these two transport mechanisms from the radial temperature profiles alone. Models are also compared to experimental data measured with 40 nm thick, free standing silicon nitride membranes below 1 K by using tunnel junction (SINIS) thermometers. The measured temperature profile is qualitatively in agreement with the ballistic model.


title: Subnatural linewidth in a strongly-driven closed $F \rightarrow F'$ transition

abstract: We observe linewidths below the natural linewidth for a probe laser on a {\it two-level system}, when the same transition is driven by a strong control laser. We take advantage of the fact that each level is made of multiple magnetic sublevels, and use the phenomenon of electromagnetically induced transparency or absorption in multilevel systems. Optical pumping by the control laser redistributes the population so that only a few sublevels contribute to the probe absorption. We observe more than a factor of 3 reduction in linewidth in the $D_2$ line of Rb in room-temperature vapor. The observations can be understood from a density-matrix analysis of the sublevel structure.


title: A nonlocal connection between certain linear and nonlinear ordinary differential equations : Extension to coupled equations

abstract: Identifying integrable coupled nonlinear ordinary differential equations (ODEs) of dissipative type and deducing their general solutions are some of the challenging tasks in nonlinear dynamics. In this paper we undertake these problems and unearth two classes of integrable coupled nonlinear ODEs of arbitrary order. To achieve these goals we introduce suitable nonlocal transformations in certain linear ODEs and generate the coupled nonlinear ODEs. In particular, we show that the problem of solving these classes of coupled nonlinear ODEs of any order, effectively reduces to solving a single first order nonlinear ODE. We then describe a procedure to derive explicit general solutions for the identified integrable coupled ODEs, when the above mentioned first order nonlinear ODE reduces to a Bernoulli equation. The equations which we generate and solve include the two coupled versions of modified Emden equations (in second order), coupled versions of Chazy equations (in third order) and their variants, higher dimensional coupled Ricatti and Abel chains as well as a new integrable chain and higher order equations.


title: A systematic method of finding linearizing transformations for nonlinear ordinary differential equations: I. Scalar case

abstract: In this set of papers we formulate a stand alone method to derive maximal number of linearizing transformations for nonlinear ordinary differential equations (ODEs) of any order including coupled ones from a knowledge of fewer number of integrals of motion. The proposed algorithm is simple, straightforward and efficient and helps to unearth several new types of linearizing transformations besides the known ones in the literature. To make our studies systematic we divide our analysis into two parts. In the first part we confine our investigations to the scalar ODEs and in the second part we focuss our attention on a system of two coupled second order ODEs. In the case of scalar ODEs, we consider second and third order nonlinear ODEs in detail and discuss the method of deriving maximal number of linearizing transformations irrespective of whether it is local or nonlocal type and illustrate the underlying theory with suitable examples. As a by-product of this investigation we unearth a new type of linearizing transformation in third order nonlinear ODEs. Finally the study is extended to the case of general scalar ODEs. We then move on to the study of two coupled second order nonlinear ODEs in the next part and show that the algorithm brings out a wide variety of linearization transformations. The extraction of maximal number of linearizing transformations in every case is illustrated with suitable examples.


title: Effect of LaAlO3 twin-domain topology on local dc and microwave properties of cuprate films

abstract: Different imaging modes of low temperature laser scanning microscopy (LTLSM) have been applied to probe local optical and superconducting properties, as well as the spatial variations in thermoelectric and electronic (both dc and rf) transport, in a YBa_2Cu_3O_6.95 /LaAlO_3 (YBCO/LAO) superconducting microstrip resonator with micron-range resolution. Additionally, the local sources of microwave nonlinearity (NL) were mapped in two-dimensions simultaneously by using the LTLSM in two-tone rf intermodulation distortion contrast mode as a function of (x,y) position of the laser beam perturbation on the sample. The influence of the direction of individual twin-domain YBCO blocks on its NL properties was analyzed in detail. The result shows the direct spatial correlation between NL microwave and dc electronic transport properties of the YBCO film that are imposed by the underlying twin-domain topology of the LAO substrate. In these circumstances, the scale of local NL current densities J_IM(x,y) in different areas of the YBCO microstrip quantitatively coincide with the scale of local critical current densities J_c(x,y) measured at the same positions.


title: Fermi Large Area Telescope Observation of a Gamma-ray Source at the Position of Eta Carinae

abstract: The Large Area Telescope (LAT) onboard the Fermi Gamma-ray Space Telescope detected a gamma-ray source that is spatially consistent with the location of Eta Carinae. This source has been persistently bright since the beginning of the LAT survey observations (from 2008 August to 2009 July, the time interval considered here). The gamma-ray signal is detected significantly throughout the LAT energy band (i.e., up to ~100 GeV). The 0.1-100 GeV energy spectrum is well represented by a combination of a cutoff power-law model (< 10 GeV) and a hard power-law component (> 10 GeV). The total flux (> 100 MeV) is $3.7^{+0.3}_{-0.1} \times 10^{-7}$ photons s$^{-1}$ cm$^{-2}$, with additional systematic uncertainties of 10%, and consistent with the average flux measured by AGILE (Tavani et al. 2009). The light curve obtained by Fermi is consistent with steady emission. Our observations do not confirm the presence of a gamma-ray flare in 2008 October as reported by Tavani et al. (2009), although we cannot exclude that a flare lasting only a few hours escaped detection by the Fermi LAT. We also do not find any evidence for gamma-ray variability that correlates with the large X-ray variability of Eta Carinae observed during 2008 December and 2009 January. We are thus not able to establish an unambiguous identification of the LAT source with Eta Carinae.


title: Big bounce as scattering of wave function at big crunch

abstract: A gauge-invariant quantum theory of the Friedmann-Robertson-Walker (FRW) universe with dust is studied in terms of the Ashtekar variables. We use the reduced phase space quantization which has following advantages: (i) fundamental variables are all gauge invariant, (ii) there exists a physical time evolution of gauge-invariant quantities, so that the problem of time is absent and (iii) the reduced phase space can be quantized in the same manner as in ordinary quantum mechanics. In the FRW model, the dynamical components of the Ashtekar variables are given by a single quantity $p$ and its conjugate momentum, where $p$ is related to the scale factor $a$ as $a\propto \sqrt{|p|}$ and its sign gives the orientation of triads. We solve a scattering problem in terms of ingoing and outgoing energy eigenstates. We show that the incident wave is reflected in rate $1/4$ and transmitted in rate $3/4$ at the classical singularity $p=0$. Analyzing the dynamics of a wave packet, we show that the classical initial singularity is replaced by a big bounce in quantum theory. A possible interpretation of the result is that the wave function of the universe has been in a superposition of states representing right-handed and left-handed systems before the big bounce.


title: Cones with a Mapping Cone Symmetry in the Finite-Dimensional Case

abstract: In the finite-dimensional case, we present a new approach to the theory of cones with a mapping cone symmetry, first introduced by St{\o}rmer. Our method is based on a definition of an inner product in the space of linear maps between two algebras of operators and the fact that the Jamio{\l}kowski-Choi isomorphism is an isometry. We consider a slightly modified class of cones, although not substantially different from the original mapping cones by St{\o}rmer. Using the new approach, several known results are proved faster and often in more generality than before. For example, the dual of a mapping cone turns out to be a mapping cone as well, without any additional assumptions. The main result of the paper is a characterization of cones with a mapping cone symmetry, saying that a given map is an element of such cone if and only if the composition of the map with the conjugate of an arbitrary element in the dual cone is completely positive. A similar result was known in the case where the map goes from an algebra of operators into itself and the cone is a symmetric mapping cone. Our result is proved without the additional assumptions of symmetry and equality between the domain and the target space. We show how it gives a number of older results as a corollary, including an exemplary application.


title: Non-LTE time-dependent spectroscopic modelling of type II-plateau supernovae from the photospheric to the nebular phase: case study for 15 and 25Msun progenitor stars

abstract: We present the first non-LTE time-dependent radiative-transfer simulations of supernovae (SNe) II-Plateau (II-P) covering both the photospheric and nebular phases, from ~10 to >~1000d after the explosion, and based on 1.2B piston-driven ejecta produced from a 15Msun and a 25Msun non-rotating solar-metallicity star. The radial expansion of the gradually cooling photosphere gives rise to a near-constant luminosity up to >~100d after explosion. The photosphere remains in the outer 0.5Msun of the ejecta for up to ~50d after explosion. As the photosphere reaches the edge of the helium core, the SN luminosity drops by an amount mitigated by the progenitor radius and the 56Ni mass. Synthetic light-curves exhibit a bell-shape morphology, evolving faster for more compact progenitors, and with an earlier peak and narrower width in bluer filters. UV and U-band fluxes are very sensitive to line-blanketing, the metallicity, and the adopted model atoms. During the recombination epoch synthetic spectra are dominated by HI and metal lines, and are largely insensitive to the differing H/He/C/N/O composition of our two progenitor stars. In contrast, synthetic nebular-phase spectra reveal a broader/stronger OI doublet line in the higher-mass progenitor model, reflecting the larger masses of oxygen and nickel that are ejected. Our simulations overestimate the typical luminosity and the visual rise time of standard SNe II-P, likely a consequence of our progenitor stars being too big and/or too hydrogen rich. Comparison of our simulations with photospheric-phase observations of SN1999em of the same color are satisfactory. Our neglect of non-thermal processes leads to a fast disappearance of continuum radiation and Balmer-line emission at the end of the plateau phase. With the exception of HI lines, our nebular spectra show a striking similarity to contemporaneous observations of SN1999em.


title: Quasinormal Modes of Self-Dual Warped AdS$_3$ Black Hole in Topological Massive Gravity

abstract: We consider the various perturbations of self-dual warped AdS$_3$ black hole and obtain the exact expressions of quasinormal modes by imposing the vanishing Dirichlet boundary condition at asymptotic infinity. It is expected that the quasinormal modes agree with the poles of retarded Green's functions of the dual CFT. Our results provide a quantitative test of the warped AdS/CFT correspondence.


title: Far-ultraviolet Emission-line Morphologies of the Supernova Remnant G65.3+5.7

abstract: We present the first far-ultraviolet (FUV) emission-line morphologies of the whole region of the supernova remnant (SNR) G65.3+5.7 using the FIMS/SPEAR data. The morphologies of the C IV {\lambda}{\lambda}1548, 1551, He II {\lambda}1640, and O III] {\lambda}{\lambda}1661, 1666 lines appear to be closely related to the optical and/or soft X-ray images obtained in previous studies. Dramatic differences between the C IV morphology and the optical [O III] {\lambda}5007 image provide clues to a large resonant-scattering region and a foreground dust cloud. The FUV morphologies also reveal the overall distribution of various shocks in different evolutionary phases and an evolutionary asymmetry between the east and the southwest sides in terms of Galactic coordinates, possibly due to a Galactic density gradient in the global scale. The relative X-ray luminosity of G65.3+5.7 to C IV luminosity is considerably lower than those of the Cygnus Loop and the Vela SNRs. This implies that G65.3+5.7 has almost evolved into the radiative stage in the global sense and supports the previous proposal that G65.3+5.7 has lost its bright X-ray shell and become a member of mixed-morphology SNRs as it has evolved beyond the adiabatic stage.


title: Bisimple inverse $\omega$-semigroups of left I-quotients

abstract: A subsemigroup $S$ of an inverse semigroup $Q$ is a left I-order in $Q$ if every element in $Q$ can be written as $a^{-1}b$ where $a,b \in S$ and $a^{-1}$ is the inverse of $a$ in the sense of inverse semigroup theory. If we insist on $a$ and $b$ being $\mathcal{R}$-related in $Q$, then we say that $S$ is a straight left I-order in $Q$. We give necessary and sufficient conditions for a semigroup to be a left I-order in a bisimple inverse $\omega$-semigroup.


title: A Dirac type condition for properly coloured paths and cycles

abstract: Let $c$ be an edge-colouring of a graph $G$ such that for every vertex $v$ there are at least $d \ge 2$ different colours on edges incident to $v$. We prove that $G$ contains a properly coloured path of length 2d or a properly coloured cycle of length at least $d+1$. Moreover, if $G$ does not contain any properly coloured cycle, then there exists a properly coloured path of length $3 \times 2^{d-1}-2$.


title: Multi-black rings and the phase diagram of higher-dimensional black holes

abstract: Configurations of multiple concentric black rings play an important role in determining the pattern of branchings, connections and mergers between different phases of higher-dimensional black holes. We examine them using both approximate and (in five dimensions) exact methods. By identifying the role of the different scales in the system, we argue that it is possible to have multiple black ring configurations in which all the rings have equal temperature and angular velocity. This allows us to correct and improve in a simple, natural manner, an earlier proposal for the phase diagram of singly-rotating black holes in $D\geq 6$.


title: The Double Kerr Solution as a Possible Mechanism for Controlled Global Causality Violation

abstract: For over 25 years, a solution has existed to Einstein's vacuum equation that describes a space-time with two Kerr black holes. First formulated by Kramer and Neugebauer (KN) in 1980 [1], this solution has been extensively researched by many, with many and varied implications. One of which is causality violation.


title: Fast computation of observed cross section for $\psi^{\prime} \to PP$ decays

abstract: It has been conjectured that the relative phase between strong and electromagnetic amplitudes is universally $-90^{\circ}$ in charmonium decays. $\psi^{\prime}$ decaying into pseudoscalar pair provides a possibility to test this conjecture. However, the experimentally observed cross section for such a process is depicted by the two-fold integral which takes into account the initial state radiative (ISR) correction and energy spread effect. Using the generalized linear regression approach, a complex energy-dependent factor is approximated by a linear function of energy. Taking advantage of this simplification, the integration of ISR correction can be performed and an analytical expression with accuracy at the level of 1% is obtained. Then, the original two-fold integral is simplified into a one-fold integral, which reduces the total computing time by two orders of magnitude. Such a simplified expression for the observed cross section usually plays an indispensable role in the optimization of scan data taking, the determination of systematic uncertainty, and the analysis of data correlation.


title: Love kills: Simulations in Penna Ageing Model

abstract: The standard Penna ageing model with sexual reproduction is enlarged by adding additional bit-strings for love: Marriage happens only if the male love strings are sufficiently different from the female ones. We simulate at what level of required difference the population dies out.


title: Emergence of states in the phonon spectral function of the Holstein polaron below and above the one-phonon continuum

abstract: We investigate the low-energy properties of the Holstein polaron through calculation of the q-dependent phonon spectral function using an improved exact-diagonalization technique, defined over a variational Hilbert space. We perform a comprehensive study of the low-energy excitations of the polaron. Beside the energy range, where the additional phonon excitation is unbound, we observe separate coherent peaks which correspond to bound and antibound states of a polaron and additional phonon quanta. These novel states can be observed for intermediate and strong electron-phonon coupling strengths, as well as below and above the unbound one-phonon excitation spectrum. A detailed investigation of their properties is presented. We find good agreement between the phonon spectral function obtained from the first-order strong-coupling perturbation theory and numerical results.


title: On a theorem of Castelnuovo and applications to moduli

abstract: In this paper we prove a theorem stated by Castelnuovo which bounds the dimension of linear systems of plane curves in terms of two invariants, one of which is the genus of the curves in the system. Then we classify linear systems whose dimension belongs to certain intervals which naturally arise from Castelnuovo's theorem. Finally we make an application to the following moduli problem: what is the maximum number of moduli of curves of geometric genus $g$ varying in a linear system on a surface? It turns out that, for $g\ge 22$, the answer is $2g+1$, and it is attained by trigonal canonical curves varying on a balanced rational normal scroll.


title: Low magnetic field phase diagram of UCoGe

abstract: We propose an alternate scenario for the relation between ferromagnetism (FM) and superconductivity (SC) in UCoGe at ambient pressure. On the basis of neutron polarimetry measurement performed in strictly zero field on a single-crystal at ambient pressure, we claim that the SC phase does exist in spite of lack of long-range FM order. Moreover, the SC regime dominates to the paramagnetic (PM) state in small external magnetic fields. Above the critical SC temperature, TSC = 0.64 K, the zero-field state is characterized by a regime with strong FM spin fluctuations, suggesting the proximity of the FM quantum critical point. We present an ambient-pressure phase diagram of UCoGe based on our resistivity, magnetization and neutron polarimetry results.


title: A M\"obius Characterization of Metric Spheres

abstract: In this paper we characterize compact extended Ptolemy metric spaces with many circles up to M\"obius equivalence. This characterization yields a M\"obius characterization of the $n$-dimensional spheres $S^n$ and hemispheres $S^n_+$ when endowed with their chordal metrics. In particular, we show that every compact extended Ptolemy metric space with the property that every three points are contained in a circle is M\"obius equivalent to $(S^n,d_0)$ for some $n\ge 1$, the $n$-dimensional sphere $S^n$ with its chordal metric.


title: Nodeless two-gap superconductivity in stoichiometric iron pnictide LiFeAs

abstract: The variations of in- and inter- plane London penetration depths, $\Delta\lambda(T)$, were measured using a tunnel diode resonator in single crystals of the intrinsic pnictide superconductor LiFeAs. This compound appears to be in the clean limit with a residual resistivity of 4 ($T\to0$) to 8 ($T_c$) $\mu \Omega\cdot$cm and $RRR$ of 65 to 35, respectively. The superfluid density, $\rho_s(T)=\lambda^2(0)/\lambda^2(T)$, is well described by the self-consistent two-gap $\gamma-$model. Together with the previous data, our results support the universal evolution of the superconducting gap from nodeless to nodal upon departure from optimal doping. We also conclude that pairbreaking scattering plays an important role in the deviation of the low-temperature behavior of $\lambda(T)$ from exponential in Fe-based compounds.


title: On the reduction of PDE's problems in the half-space, under the slip boundary condition, to the corresponding problems in the whole space

abstract: The resolution of a very large class of linear and non-linear, stationary and evolutive partial differential problems in the half-space (or similar) under the slip boundary condition is reduced here to that of the corresponding results for the same problem in the whole space. The approach is particularly suitable for proving new results in strong norms. To determine whether this extension is available, turns out to be a simple exercise. The verification depends on a few general features of the functional space X related to the space variables. Hence, we present an approach as much as possible independent of the particular space X. We appeal to a reflection technique. Hence a crucial assumption is to be in the presence of flat boundaries (see below). Instead of stating "general theorems" we rather prefer to illustrate how to apply our results by considering a couple of interesting problems. As a main example, we show that the resolution of a class of problems for the evolution Navier-Stokes equations under a slip boundary condition can be reduced to that of the corresponding results for the Cauchy problem. In particular, we show that sharp vanishing viscosity limit results that hold for the evolution Navier-Stokes equations in the whole space can be extended to the boundary value problem in the half-space. We also show some applications to non-Newtonian fluid problems.


title: Secure Operations on Tree-Formed Verification Data

abstract: We define secure operations with tree-formed, protected verification data registers. Functionality is conceptually added to Trusted Platform Modules (TPMs) to handle Platform Configuration Registers (PCRs) which represent roots of hash trees protecting the integrity of tree-formed Stored Measurement Logs (SMLs). This enables verification and update of an inner node of an SML and even attestation to its value with the same security level as for ordinary PCRs. As an important application, it is shown how certification of SML subtrees enables attestation of platform properties.


title: Gain of the kinetic energy of bipolarons in the t-J-Holstein model based on electron-phonon coupling

abstract: With increasing electron-phonon coupling as described within the t-J-Holstein model, bipolaron kinetic energy is lowered in comparison with that of the polaron. This effect is accompanied with "undressing" of bipolaron from lattice degrees of freedom. Consequently, the effective bipolaron mass becomes smaller than the polaron mass. Magnetic as well as lattice degrees of freedom cooperatively contribute to formation of spin-lattice bipolarons.


title: Gate-controlled conductance through bilayer graphene ribbons

abstract: We study the conductance of a biased bilayer graphene flake with monolayer nanoribbon contacts. We find that the transmission through the bilayer ribbon strongly depends on the applied bias between the two layers and on the relative position of the monolayer contacts. Besides the opening of an energy gap on the bilayer, the bias allows to tune the electronic density on the bilayer flake, making possible the control of the electronic transmission by an external parameter.


title: Anderson localisation in tight-binding models with flat bands

abstract: We consider the effect of weak disorder on eigenstates in a special class of tight-binding models. Models in this class have short-range hopping on periodic lattices; their defining feature is that the clean systems have some energy bands that are dispersionless throughout the Brillouin zone. We show that states derived from these flat bands are generically critical in the presence of weak disorder, being neither Anderson localised nor spatially extended. Further, we establish a mapping between this localisation problem and the one of resonances in random impedance networks, which previous work has suggested are also critical. Our conclusions are illustrated using numerical results for a two-dimensional lattice, known as the square lattice with crossings or the planar pyrochlore lattice.


title: The effect of density stratification on the resonant absorption of MHD waves in coronal loops

abstract: The standing quasi-modes of the ideal MHD in a zero-$\beta$ cylindrical magnetic flux tube that undergoes a longitudinal density stratification and radial density structuring is considered. The radial structuring is assumed to be a linearly varying density profile. Using the relevant connection formulae of the resonant absorption, the dispersion relation for the fast MHD body waves is derived and solved numerically to obtain both the frequencies and damping rates of the fundamental and first-overtone, $k=1,2$ modes of both the kink ($m=1$), and fluting ($m=2$) waves. Where $k$ and $m$ are the longitudinal and azimuthal mode numbers, respectively.


title: Multiple Conceptual Coherences in the Speed Tutorial: Micro-processes of Local Stability

abstract: Researchers working within knowledge-in-pieces traditions have often employed observational approaches to investigate micro-processes of learning. There is growing evidence from this line of work that students' intuitive thinking about physical phenomena is characterized more so by its diversity and flexibility than its uniformity and robustness. This characterization implies that much of the dynamics of students' thinking over short timescales involve processes that stabilize local patterns of thinking, later destabilize them, and allow other patterns to form. This kind of "change" may only involve dynamics by which the system of intuitive knowledge settles into various states without changing the system structure itself. I describe a case study in which a group of college students shift their thinking about motion several times during a collaborative learning activity. Instead of focusing on micro-processes of change, I describe these dynamics in terms of mechanisms that contribute to local stability of students' conceptual coherences.


title: Intra-Landau level magnetoexcitons and the transition between quantum Hall states in undoped bilayer graphene

abstract: We study the collective modes of the quantum Hall states in undoped bilayer graphene in a strong perpendicular magnetic and electric field. Both for the well-known ferromagnetic state that is relevant for small electric field $E_\perp$ and the analogous valley/layer polarized one suitable for large $E_\perp$, the low energy physics is dominated by magnetoexcitons with zero angular momentum that are even combinations of excitons that conserve Landau orbitals. We identify a long wave length instability in both states, and argue that there is an intermediate range of the electric field $E^{(1)}_\text{c} < E_\perp < E^{(2)}_\text{c}$ where a gapless phase interpolates between the incompressible quantum Hall states. The experimental relevance of this crossover via a gapless state is discussed.


title: Higher Dimensional Homology Algebra IV:Projective Resolutions and Derived 2-Functors in ($\cR$-2-Mod)

abstract: In this paper, we will construct the projective resolution of any $\cR$-2-module, define the derived 2-functor and give some related properties of the derived 2-functor.


title: Stochastic Einstein equations

abstract: Stochastic Einstein equations are considered when 3D space metric $\gamma_{ij}$ are stochastic functions. The probability density for the stochastic quantities is connected with the Perelman's entropy functional. As an example, the Friedman Universe is considered. It is shown that for the Friedman Universe the dynamical evolution is not changed. The connection between general relativity and Ricci flows is discussed.


title: On the global regularity for nonlinear systems of the p-Laplacian type

abstract: We consider the Dirichlet boundary value problem for nonlinear systems of partial differential equations with p-structure. We choose two representative cases: the "full gradient case", corresponding to a p-Laplacian, and the "symmetric gradient case", arising from mathematical physics. The domain is either the "cubic domain" (see the definition below) or a bounded open subset of R^3 with a smooth boundary. We are interested in regularity results, up to the boundary, for the second order derivatives of the velocity field. Depending on the model and on the range of p, p<2 or p>2, we prove different regularity results. It is worth noting that in the full gradient case with p<2 we cover the degenerate case and obtain W^{2,q}-global regularity results, for arbitrarily large values of q.


title: Ultraviolet asymptotics of scalar and pseudoscalar correlators in hot Yang-Mills theory

abstract: Inspired by recent lattice measurements, we determine the short-distance (a << r << 1/pi T) as well as large-frequency (1/a >> omega >> pi T) asymptotics of scalar (trace anomaly) and pseudoscalar (topological charge density) correlators at 2-loop order in hot Yang-Mills theory. The results are expressed in the form of an Operator Product Expansion. We confirm and refine the determination of a number of Wilson coefficients; however some discrepancies with recent literature are detected as well, and employing the correct values might help, on the qualitative level, to understand some of the features observed in the lattice measurements. On the other hand, the Wilson coefficients show slow convergence and it appears uncertain whether this approach can lead to quantitative comparisons with lattice data. Nevertheless, as we outline, our general results might serve as theoretical starting points for a number of perhaps phenomenologically more successful lines of investigation.


title: Interlayer superfluidity in bilayer systems of fermionic polar molecules

abstract: We consider fermionic polar molecules in a bilayer geometry where they are oriented perpendicularly to the layers, which permits both low inelastic losses and superfluid pairing. The dipole-dipole interaction between molecules of different layers leads to the emergence of interlayer superfluids. The superfluid regimes range from BCS-like fermionic superfluidity with a high $T_c$ to Bose-Einstein (quasi-)condensation of interlayer dimers, thus exhibiting a peculiar BCS-BEC crossover. We show that one can cover the entire crossover regime under current experimental conditions.


title: Unconventional superconducting gap in NaFe$_{0.95}$Co$_{0.05}$As observed by angle-resolved photoemission spectroscopy

abstract: We have performed high resolution angle-resolved photoemission measurements on superconducting electron-doped NaFe$_{0.95}$Co$_{0.05}$As ($T_{c}\sim$18 K). We observed a hole-like Fermi surface around the zone center and two electron-like Fermi surfaces around the M point which can be connected by the $Q=(\pi, \pi)$ wavevector, suggesting that scattering over the near-nested Fermi surfaces is important to the superconductivity of this "111" pnicitide. Nearly isotropic superconducting gaps with sharp coherent peaks are observed below $T_c$ on all three Fermi surfaces. Upon increasing temperature through $T_c$, the gap size shows little change while the coherence vanishes. Large ratios of $2\Delta/k_{B}T_{c}\sim8$ are observed for all the bands, indicating a strong coupling in this system. These results are not expected from a classical phonon-mediated pairing mechanism.


title: Double Hurwitz numbers via the infinite wedge

abstract: We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.


title: Hypercyclic operators on topological vector spaces

abstract: Bonet, Frerick, Peris and Wengenroth constructed a hypercyclic operator on the locally convex direct sum of countably many copies of the Banach space $\ell_1$. We extend this result. In particular, we show that there is a hypercyclic operator on the locally convex direct sum of a sequence $\{X_n\}_{n\in\N}$ of Fr\'echet spaces if and only if each $X_n$ is separable and there are infinitely many $n\in\N$ for which $X_n$ is infinite dimensional. Moreover, we characterize inductive limits of sequences of separable Banach spaces which support a hypercyclic operator.


title: An investigation of the discriminant power and dimensionality of items used for assessing health condition of elderly people

abstract: With reference to the questionnaire adopted within the Italian project "Ulisse" to assess health condition of elderly people, we investigate two important issues: discriminant power and actual number of dimensions measured by the items composing the questionnaire. The adopted statistical approach is based on the joint use of the latent class model and a multidimensional item response theory model based on the 2PL parametrization. The latter allows us to account for the different discriminant power of these items. The analysis is based on the data collected on a sample of 1699 elderly people hosted in 37 nursing homes in Italy. This analysis shows that the selected items indeed measure a different number of dimensions of the health status and that they considerably differ in terms of discriminant power (effectiveness in measuring the actual health status). Implications for the assessment of the performance of nursing homes from a policy-maker prospective are discussed.


title: The vortex pinning on the cylindrical defects and the electronic structure of the vortex core

abstract: The model of the Abrikosov vortex pinning on a cylindrical defect is proposed. It is shown that in the limit $\varkappa \gg 1$ the potential for the vortex core excitations can be treated in terms of the zero-range potentials method. Using the variational method the estimates for the energy of pinning, the pinning force and the density of critical current defect are obtained.


title: Impurity Scattering in Luttinger Liquid with Electron-Phonon Coupling

abstract: We study the influence of electron-phonon coupling on electron transport through a Luttinger liquid with an embedded weak scatterer or weak link. We derive the renormalization group (RG) equations which indicate that the directions of RG flows can change upon varying either the relative strength of the electron-electron and electron-phonon coupling or the ratio of Fermi to sound velocities. This results in the rich phase diagram with up to three fixed points: an unstable one with a finite value of conductance and two stable ones, corresponding to an ideal metal or insulator.


title: Chaotic Banach algebras

abstract: We construct an infinite dimensional non-unital Banach algebra $A$ and $a\in A$ such that the sets $\{za^n:z\in\C,\ n\in\N\}$ and $\{({\bf 1}+a)^na:n\in\N\}$ are both dense in $A$, where $\bf 1$ is the unity in the unitalization $A^{\#}=A\oplus \spann\{{\bf 1}\}$ of $A$. As a byproduct, we get a hypercyclic operator $T$ on a Banach space such that $T\oplus T$ is non-cyclic and $\sigma(T)=\{1\}$.


title: The framed little 2-discs operad and diffeomorphisms of handlebodies

abstract: The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-dimensional handlebodies with marked discs on their boundaries. A modification of the argument provides a new and elementary proof of K. Costello's theorem that the derived modular envelope of the associative operad is homotopy equivalent to the ``open string'' modular operad made from moduli spaces of Riemann surfaces with marked intervals on the boundary. Our technique also recovers a theorem of C. Braun that the derived modular envelope of the cyclic operad that describes associative algebras with involution is homotopy equivalent to the modular operad made from moduli spaces of unoriented Klein surfaces with open string gluing.


title: A doubled double hotspot in J0816+5003 and the logarithmic slope of the lensing potential

abstract: We present an analysis of observations of the doubly-lensed double hotspot in the giant radio galaxy J0816+5003 from MERLIN, MDM, WIYN, WHT, UKIRT and the VLA. The images of the two hotspot components span a factor of two in radius on one side of the lensing galaxy at impact parameters of less than 500pc. Hence we measure the slope of the lensing potential over a large range in radius, made possible by significant improvement in the accuracy of registration of the radio and optical frame and higher resolution imaging data than previously available. We also infer the lens and source redshifts to be 0.332 and > 1 respectively. Purely on the basis of lens modelling, and independently of stellar velocity dispersion measurements, we find the potential to be very close to isothermal.


title: Sharp three sphere inequality for perturbations of a product of two second order elliptic operators and stability for the Cauchy problem for the anisotropic plate equation

abstract: We prove a sharp three sphere inequality for solutions to third order perturbations of a product of two second order elliptic operators with real coefficients. Then we derive various kinds of quantitative estimates of unique continuation for the anisotropic plate equation. Among these, we prove a stability estimate for the Cauchy problem for such an equation and we illustrate some applications to the size estimates of an unknown inclusion made of different material that might be present in the plate. The paper is self-contained and the Carleman estimate, from which the sharp three sphere inequality is derived, is proved in an elementary and direct way based on standard integration by parts.


title: Rational points on diagonal quartic surfaces

abstract: We searched up to height $10^7$ for rational points on diagonal quartic surfaces. The computations fill several gaps in earlier lists computed by Pinch, Swinnerton-Dyer, and Bright.


title: No-arbitrage of second kind in countable markets with proportional transaction costs

abstract: Motivated by applications to bond markets, we propose a multivariate framework for discrete time financial markets with proportional transaction costs and a countable infinite number of tradable assets. We show that the no-arbitrage of second kind property (NA2 in short), recently introduced by Rasonyi for finite-dimensional markets, allows us to provide a closure property for the set of attainable claims in a very natural way, under a suitable efficient friction condition. We also extend to this context the equivalence between NA2 and the existence of many (strictly) consistent price systems.


title: Statistical properties of one dimensional Bose gas

abstract: Monte Carlo method within, so called, classical fields approximation is applied to one dimensional weakly interacting repulsive Bose gas trapped in a harmonic potential. Equilibrium statistical properties of the condensate are calculated within a canonical ensemble. We also calculate experimentally relevant low order correlation functions of the whole gas.


title: Linear extension sums as valuations of cones

abstract: The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.


title: Lipschitz stability in an inverse problem for the Kuramoto-Sivashinsky equation

abstract: This paper presents an inverse problem for the nonlinear 1-d Kuramoto-Sivashinsky (K-S) equation. More precisely, we study the nonlinear inverse problem of retrieving the anti-diffusion coefficient from the measurements of the solution on a part of the boundary and at some positive time everywhere. Uniqueness and Lipschitz stability for this inverse problem are proven with the Bukhgeim-Klibanov method. The proof is based on a global Carleman estimate for the linearized K-S equation.


title: GRB Probes of the Early Universe with EXIST

abstract: With the Swift detection of GRB090423 at z = 8.2, it was confirmed that GRBs are now detectable at (significantly) larger redshifts than AGN, and so can indeed be used as probes of the Early Universe. The proposed Energetic X-ray Imaging Survey Telescope (EXIST) mission has been designed to detect and promptly measure redshifts and both soft X-ray (0.1 - 10 keV) and simultaneous nUV-nIR (0.3 - 2.3microns) imaging and spectra for GRBs out to redshifts z ~18, which encompasses (or even exceeds) current estimates for Pop III stars that are expected to be massive and possibly GRB sources. Scaling from Swift for the ~10X greater sensitivity of EXIST, more than 100 GRBs at z >=8 may be detected and would provide direct constraints on the formation and evolution of the first stars and galaxies. For GRBs at redshifts z >= 8, with Lyman breaks at greater than 1.12microns, spectra at resolution R = 30 or R = 3000 for afterglows with AB magnitudes brighter than 24 or 20 (respectively) within ~3000sec of trigger will directly probe the Epoch of Reionization, formation of galaxies, and cosmic star formation rate. The proposed EXIST mission can probe these questions, and many others, given its unparalleled combination of sensitivity and spatial-spectral-temporal coverage and resolution. Here we provide an overview of the key science objectives for GRBs as probes of the early Universe and of extreme physics, and the mission plan and technical readiness to bring this to EXIST.


title: Extension Theory and Krein-type Resolvent Formulas for Nonsmooth Boundary Value Problems

abstract: For a strongly elliptic second-order operator $A$ on a bounded domain $\Omega\subset \mathbb{R}^n$ it has been known for many years how to interpret the general closed $L_2(\Omega)$-realizations of $A$ as representing boundary conditions (generally nonlocal), when the domain and coefficients are smooth. The purpose of the present paper is to extend this representation to nonsmooth domains and coefficients, including the case of H\"older $C^{\frac32+\varepsilon}$-smoothness, in such a way that pseudodifferential methods are still available for resolvent constructions and ellipticity considerations. We show how it can be done for domains with $B^\frac32_{p,2}$-smoothness and operators with $H^1_q$-coefficients, for suitable $p>2(n-1)$ and $q>n$. In particular, Kre\u\i{}n-type resolvent formulas are established in such nonsmooth cases. Some unbounded domains are allowed.


title: Modeling Spammer Behavior: Na\"ive Bayes vs. Artificial Neural Networks

abstract: Addressing the problem of spam emails in the Internet, this paper presents a comparative study on Na\"ive Bayes and Artificial Neural Networks (ANN) based modeling of spammer behavior. Keyword-based spam email filtering techniques fall short to model spammer behavior as the spammer constantly changes tactics to circumvent these filters. The evasive tactics that the spammer uses are themselves patterns that can be modeled to combat spam. It has been observed that both Na\"ive Bayes and ANN are best suitable for modeling spammer common patterns. Experimental results demonstrate that both of them achieve a promising detection rate of around 92%, which is considerably an improvement of performance compared to the keyword-based contemporary filtering approaches.


title: About radial Toeplitz operators on Segal-Bargmann and $l^2$ spaces

abstract: We discuss Toeplitz operators on the Segal-Bargmann space as functional realizations of anti-Wick operators on the Fock space. In the special case of radial symbols we exploit the isometric mapping between the Segal-Bargmann space and $l^2$ complex sequences in order to establish conditions such that an equivalence between Toeplitz operators and diagonal operators on $l^2$ holds. We also analyze the inverse problem of mapping diagonal operators on $l^2$ into Toeplitz form. The composition problem of Toeplitz operators with radial symbols is reviewed as an application. Our notation and basic examples make contact with Quantum Mechanics literature.


title: Scattering theory for CMV matrices: uniqueness, Helson--Szeg\H{o} and Strong Szeg\H{O} theorems

abstract: We develop a scattering theory for CMV matrices, similar to the Faddeev--Marchenko theory. A necessary and sufficient condition is obtained for the uniqueness of the solution of the inverse scattering problem. We also obtain two sufficient conditions for the uniqueness, which are connected with the Helson--Szeg\H o and the Strong Szeg\H o theorems. The first condition is given in terms of the boundedness of a transformation operator associated to the CMV matrix. In the second case this operator has a determinant. In both cases we characterize Verblunsky parameters of the CMV matrices, corresponding spectral measures and scattering functions.


title: Spectral measure and approximation of homogenized coefficients

abstract: This article deals with the numerical approximation of effective coefficients in stochastic homogenization of discrete linear elliptic equations. The originality of this work is the use of a well-known abstract spectral representation formula to design and analyze effective and computable approximations of the homogenized coefficients. In particular, we show that information on the edge of the spectrum of the generator of the environment viewed by the particle projected on the local drift yields bounds on the approximation error, and conversely. Combined with results by Otto and the first author in low dimension, and results by the second author in high dimension, this allows us to prove that for any dimension, there exists an explicit numerical strategy to approximate homogenized coefficients which converges at the rate of the central limit theorem.


title: Properties of Schroedinger Black Holes from AdS Space

abstract: Properties of Schroedinger black holes are derived from AdS black holes expressed in light-cone coordinates with a particular normalization. The advantages of this method over the direct analysis of the Schroedinger geometry are the simplicity and the well-defined Brown-York procedure with the standard counterterms. The method is demonstrated for several physical interests, including the computation of the DC conductivity and the derivation of the R-charged black hole thermodynamic properties.


title: A note on revelation principle from an energy perspective

abstract: The revelation principle has been known in the economics society for decades. In this paper, I will investigate it from an energy perspective, i.e., considering the energy consumed by agents and the designer in participating a mechanism. The main result is that when the strategies of agents are actions rather than messages, an additional energy condition should be added to make the revelation principle hold in the real world.


title: Reversible Logic Synthesis of Fault Tolerant Carry Skip BCD Adder

abstract: Reversible logic is emerging as an important research area having its application in diverse fields such as low power CMOS design, digital signal processing, cryptography, quantum computing and optical information processing. This paper presents a new 4*4 parity preserving reversible logic gate, IG. The proposed parity preserving reversible gate can be used to synthesize any arbitrary Boolean function. It allows any fault that affects no more than a single signal readily detectable at the circuit's primary outputs. It is shown that a fault tolerant reversible full adder circuit can be realized using only two IGs. The proposed fault tolerant full adder (FTFA) is used to design other arithmetic logic circuits for which it is used as the fundamental building block. It has also been demonstrated that the proposed design offers less hardware complexity and is efficient in terms of gate count, garbage outputs and constant inputs than the existing counterparts.


title: Analyzing the Social Structure and Dynamics of E-mail and Spam in Massive Backbone Internet Traffic

abstract: E-mail is probably the most popular application on the Internet, with everyday business and personal communications dependent on it. Spam or unsolicited e-mail has been estimated to cost businesses significant amounts of money. However, our understanding of the network-level behavior of legitimate e-mail traffic and how it differs from spam traffic is limited. In this study, we have passively captured SMTP packets from a 10 Gbit/s Internet backbone link to construct a social network of e-mail users based on their exchanged e-mails. The focus of this paper is on the graph metrics indicating various structural properties of e-mail networks and how they evolve over time. This study also looks into the differences in the structural and temporal characteristics of spam and non-spam networks. Our analysis on the collected data allows us to show several differences between the behavior of spam and legitimate e-mail traffic, which can help us to understand the behavior of spammers and give us the knowledge to statistically model spam traffic on the network-level in order to complement current spam detection techniques.


title: Translation domains in multiferroics

abstract: Translation domains differing in the phase but not in the orientation of the corresponding order parameter are resolved in two types of multiferroics. Hexagonal (h-) YMnO$_3$ is a split-order-parameter multiferroic in which commensurate ferroelectric translation domains are resolved by piezoresponse force microscopy whereas MnWO$_4$ is a joint-order-parameter multiferroic in which incommensurate magnetic translation domains are observed by optical second harmonic generation. The pronounced manifestation of the generally rather "hidden" translation domains in these multiferroics and the associated drastic reduction of symmetry emphasize that the presence of translation domains must not be neglected when discussing the physical properties and functionalities of multiferroics.


title: Unifying parameter estimation and the Deutsch-Jozsa algorithm for continuous variables

abstract: We reveal a close relationship between quantum metrology and the Deutsch-Jozsa algorithm on continuous variable quantum systems. We develop a general procedure, characterized by two parameters, that unifies parameter estimation and the Deutsch-Jozsa algorithm. Depending on which parameter we keep constant, the procedure implements either the parameter estimation protocol or the Deutsch-Jozsa algorithm. The parameter estimation part of the procedure attains the Heisenberg limit and is therefore optimal. Due to the use of approximate normalizable continuous variable eigenstates the Deutsch-Jozsa algorithm is probabilistic. The procedure estimates a value of an unknown parameter and solves the Deutsch-Jozsa problem without the use of any entanglement.


title: On the endomorphism algebra of generalised Gelfand-Graev representations

abstract: Let $G$ be a connected reductive algebraic group defined over the finite field $\F_q$, where $q$ is a power of a good prime for $G$, and let $F$ denote the corresponding Frobenius endomorphism, so that $G^F$ is a finite reductive group. Let $u \in G^F$ be a unipotent element and let $\Gamma_u$ be the associated generalised Gelfand-Graev representation of $G^F$. Under the assumption that $G$ has a connected centre, we show that the dimension of the endomorphism algebra of $\Gamma_u$ is a polynomial in $q$, with degree given by $\dim C_G(u)$. When the centre of $G$ is disconnected, it is impossible, in general, to parametrise the (isomorphism classes of) generalised Gelfand-Graev representations independently of $q$, unless one adopts a convention of considering separately various congruence classes of $q$. Subject to such a convention we extend our result.


title: Improved Semileptonic Form Factor Calculations in Lattice QCD

abstract: We investigate the computational efficiency of two stochastic based alternatives to the Sequential Propagator Method used in Lattice QCD calculations of heavy-light semileptonic form factors. In the first method, we replace the sequential propagator, which couples the calculation of two of the three propagators required for the calculation, with a stochastic propagator so that the calculations of all three propagators are independent. This method is more flexible than the Sequential Propagator Method but introduces stochastic noise. We study the noise to determine when this method becomes competitive with the Sequential Propagator Method, and find that for any practical calculation it is competitive with or superior to the Sequential Propagator Method. We also examine a second stochastic method, the so-called ``one-end trick", concluding it is relatively inefficient in this context. The investigation is carried out on two gauge field ensembles, using the non-perturbatively improved Wilson-Sheikholeslami-Wohlert action with N_f=2 mass-degenerate sea quarks. The two ensembles have similar lattice spacings but different sea quark masses. We use the first stochastic method to extract ${\mathcal O}(a)$-improved, matched lattice results for the semileptonic form factors on the ensemble with lighter sea quarks, extracting f_+(0).


title: Localization of a dipolar Bose-Einstein condensate in a bichromatic optical lattice

abstract: By numerical simulation and variational analysis of the Gross-Pitaevskii equation we study the localization, with an exponential tail, of a dipolar Bose-Einstein condensate (DBEC) of $^{52}$Cr atoms in a three-dimensional bichromatic optical-lattice (OL) generated by two monochromatic OL of incommensurate wavelengths along three orthogonal directions. For a fixed dipole-dipole interaction, a localized state of a small number of atoms ($\sim 1000$) could be obtained when the short-range interaction is not too attractive or not too repulsive. A phase diagram showing the region of stability of a DBEC with short-range interaction and dipole-dipole interaction is given.


title: Optimal relay location and power allocation for low SNR broadcast relay channels

abstract: We consider the broadcast relay channel (BRC), where a single source transmits to multiple destinations with the help of a relay, in the limit of a large bandwidth. We address the problem of optimal relay positioning and power allocations at source and relay, to maximize the multicast rate from source to all destinations. To solve such a network planning problem, we develop a three-faceted approach based on an underlying information theoretic model, computational geometric aspects, and network optimization tools. Firstly, assuming superposition coding and frequency division between the source and the relay, the information theoretic framework yields a hypergraph model of the wideband BRC, which captures the dependency of achievable rate-tuples on the network topology. As the relay position varies, so does the set of hyperarcs constituting the hypergraph, rendering the combinatorial nature of optimization problem. We show that the convex hull C of all nodes in the 2-D plane can be divided into disjoint regions corresponding to distinct hyperarcs sets. These sets are obtained by superimposing all k-th order Voronoi tessellation of C. We propose an easy and efficient algorithm to compute all hyperarc sets, and prove they are polynomially bounded. Using the switched hypergraph approach, we model the original problem as a continuous yet non-convex network optimization program. Ultimately, availing on the techniques of geometric programming and $p$-norm surrogate approximation, we derive a good convex approximation. We provide a detailed characterization of the problem for collinearly located destinations, and then give a generalization for arbitrarily located destinations. Finally, we show strong gains for the optimal relay positioning compared to seemingly interesting positions.


title: The Michaelis-Menten-Stueckelberg Theorem

abstract: We study chemical reactions with complex mechanisms under two assumptions: (i) intermediates are present in small amounts (this is the quasi-steady-state hypothesis or QSS) and (ii) they are in equilibrium relations with substrates (this is the quasiequilibrium hypothesis or QE). Under these assumptions, we prove the generalized mass action law together with the basic relations between kinetic factors, which are sufficient for the positivity of the entropy production but hold even without microreversibility, when the detailed balance is not applicable. Even though QE and QSS produce useful approximations by themselves, only the combination of these assumptions can render the possibility beyond the "rarefied gas" limit or the "molecular chaos" hypotheses. We do not use any a priori form of the kinetic law for the chemical reactions and describe their equilibria by thermodynamic relations. The transformations of the intermediate compounds can be described by the Markov kinetics because of their low density ({\em low density of elementary events}). This combination of assumptions was introduced by Michaelis and Menten in 1913. In 1952, Stueckelberg used the same assumptions for the gas kinetics and produced the remarkable semi-detailed balance relations between collision rates in the Boltzmann equation that are weaker than the detailed balance conditions but are still sufficient for the Boltzmann $H$-theorem to be valid. Our results are obtained within the Michaelis-Menten-Stueckelbeg conceptual framework.


title: Microlagrangian manifolds and quasithermodynamic fluctuations of nonequilibrium states

abstract: The paper deals with "quantization" and "second quantization" of phenomenological thermodynamics with respect to the Boltzmann's constant. It is suggested to perceive the quasithermodynamic parameter (corresponding to the Boltzmann's constant) as a mathematical analogue of the semiclassical parameter (corresponding to the Planck's constant), and to introduce a new concept of a "thermocorpuscle" (a thermodynamic analogue of a particle where the coordinates are replaced by the nonequilibrium thermodynamic forces and the momenta are replaced by the corresponding flows). The semiclassical quantization of phenomenological thermodynamic Lagrangian manifolds yields a new system of equations for the quasithermodynamic fluctuations along a curve of evolution of a nonequilibrium physical system. This leads to a quasithermodynamic analogue of Bell's inequalities and their violation is a new effect that can be tested experimentally. The generating function of the quasithermodynamic fluctuations (the nonequilibrium analogue of a partition function) is interpreted as an expectation value of a second quantized operator expressed via the density of thermocorpuscles. An analogue of the BBGKY chain of equations defines a deformation of the fluctuations by an interaction between the thermocorpuscles. In place of an interaction parameter in mechanics (the "external" Planck's constant), one introduces the "external" Boltzmann's constant for an asymptotic expansion of the thermodynamic collision integral.


title: Relativistic Viscous Hydrodynamics for Multi-Component Systems with Multiple Conserved Currents

abstract: We would like to formulate relativistic dissipative hydrodynamics for multi-component systems with multiple conserved currents. This is important for analyses of the hot matter created in relativistic heavy ion collisions because particle creations and annihilations of various particle species are frequently taking place there. We show that consistent formulation in such systems involves many non-trivialities, and derive constitutive equations that satisfy Onsager reciprocal relations and describe the systems without ambiguity.


title: Finite size scaling in Ising-like systems with quenched random fields: Evidence of hyperscaling violation

abstract: In systems belonging to the universality class of the random field Ising model, the standard hyperscaling relation between critical exponents does not hold, but is replaced by a modified hyperscaling relation. As a result, standard formulations of finite size scaling near critical points break down. In this work, the consequences of modified hyperscaling are analyzed in detail. The most striking outcome is that the free energy cost \Delta F of interface formation at the critical point is no longer a universal constant, but instead increases as a power law with system size, \Delta F proportional to $L^\theta$, with $\theta$ the violation of hyperscaling critical exponent, and L the linear extension of the system. This modified behavior facilitates a number of new numerical approaches that can be used to locate critical points in random field systems from finite size simulation data. We test and confirm the new approaches on two random field systems in three dimensions, namely the random field Ising model, and the demixing transition in the Widom-Rowlinson fluid with quenched obstacles.


title: Synchronization transitions in coupled time-delay electronic circuits with a threshold nonlinearity

abstract: Experimental observations of typical kinds of synchronization transitions are reported in unidirectionally coupled time-delay electronic circuits with a threshold nonlinearity and two time delays, namely feedback delay $\tau_1$ and coupling delay $\tau_2$. We have observed transitions from anticipatory to lag via complete synchronization and their inverse counterparts with excitatory and inhibitory couplings, respectively, as a function of the coupling delay $\tau_2$. The anticipating and lag times depend on the difference between the feedback and the coupling delays. A single stability condition for all the different types of synchronization is found to be valid as the stability condition is independent of both the delays. Further, the existence of different kinds of synchronizations observed experimentally is corroborated by numerical simulations, and from the changes in the Lyapunov exponents of the coupled time-delay systems.


title: Modelling the Dynamics of an Aedes albopictus Population

abstract: We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.


title: Co--propagating Bose--Einstein Condensates and electromagnetic radiation: Emission of mutually localized structures

abstract: Using a semi-classical model to describe the interaction between coherent electromagnetic radiation and a Bose-Einstein condensate in the limit of zero temperature, including the back action of the atoms on the radiation, we have analyzed the phenomenon of emission of solitary-like wave packets which can accompany the formation of mutually localized atom-laser structures.


title: An Individual-based Probabilistic Model for Fish Stock Simulation

abstract: We define an individual-based probabilistic model of a sole (Solea solea) behaviour. The individual model is given in terms of an Extended Probabilistic Discrete Timed Automaton (EPDTA), a new formalism that is introduced in the paper and that is shown to be interpretable as a Markov decision process. A given EPDTA model can be probabilistically model-checked by giving a suitable translation into syntax accepted by existing model-checkers. In order to simulate the dynamics of a given population of soles in different environmental scenarios, an agent-based simulation environment is defined in which each agent implements the behaviour of the given EPDTA model. By varying the probabilities and the characteristic functions embedded in the EPDTA model it is possible to represent different scenarios and to tune the model itself by comparing the results of the simulations with real data about the sole stock in the North Adriatic sea, available from the recent project SoleMon. The simulator is presented and made available for its adaptation to other species.


title: An Analysis on the Influence of Network Topologies on Local and Global Dynamics of Metapopulation Systems

abstract: Metapopulations are models of ecological systems, describing the interactions and the behavior of populations that live in fragmented habitats. In this paper, we present a model of metapopulations based on the multivolume simulation algorithm tau-DPP, a stochastic class of membrane systems, that we utilize to investigate the influence that different habitat topologies can have on the local and global dynamics of metapopulations. In particular, we focus our analysis on the migration rate of individuals among adjacent patches, and on their capability of colonizing the empty patches in the habitat. We compare the simulation results obtained for each habitat topology, and conclude the paper with some proposals for other research issues concerning metapopulations.


title: Celer: an Efficient Program for Genotype Elimination

abstract: This paper presents an efficient program for checking Mendelian consistency in a pedigree. Since pedigrees may contain incomplete and/or erroneous information, geneticists need to pre-process them before performing linkage analysis. Removing superfluous genotypes that do not respect the Mendelian inheritance laws can speed up the linkage analysis. We have described in a formal way the Mendelian consistency problem and algorithms known in literature. The formalization helped to polish the algorithms and to find efficient data structures. The performance of the tool has been tested on a wide range of benchmarks. The results are promising if compared to other programs that treat Mendelian consistency.


title: Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

abstract: Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.


title: Exact solution of a generalized ANNNI model on a Cayley tree

abstract: We consider the Ising model on a Cayley tree of order two with nearest neighbor interactions and competing next nearest neighbor interactions restricted to spins belonging to the same branch of the tree. This model was studied by Vannimenus and found a new modulated phase, in addition to the paramagnetic, ferromagnetic, antiferromagnetic phases and a (+ + - -) periodic phase. Vannimenus's results based on the recurrence equations (relating the partition function of an $n-$ generation tree to the partition function of its subsystems containing $(n-1)$ generations) and most results are obtained numerically. In this paper we analytically study the recurrence equations and obtain some exact results: critical temperatures and curves, number of several phases, partition function.


title: The Lateral Distribution Function of Coherent Radio Emission from Extensive Air Showers; Determining the Chemical Composition of Cosmic Rays

abstract: The lateral distribution function (LDF) for coherent electromagnetic radiation from air showers initiated by ultra-high-energy cosmic rays is calculated using a macroscopic description. A new expression is derived to calculate the coherent radio pulse at small distances from the observer. It is shown that for small distances to the shower axis the shape of the electric pulse is determined by the `pancake' function, describing the longitudinal distribution of charged particles within the shower front, while for large distances the pulse is determined by the shower profile. This reflects in a different scaling of the LDF at small and at large distances. As a first application we calculate the LDF for proton- and iron-induced showers and we show that this offers a very sensitive measure to discriminate between these two. We show that due to interference between the geo-magnetic and the charge-excess contributions the intensity pattern of the radiation is not circular symmetric.


title: Probing photo-ionization: simulations of positive streamers in varying N2:O2 mixtures

abstract: Photo-ionization is the accepted mechanism for the propagation of positive streamers in air though the parameters are not very well known; the efficiency of this mechanism largely depends on the presence of both nitrogen and oxygen. But experiments show that streamer propagation is amazingly robust against changes of the gas composition; even for pure nitrogen with impurity levels below 1 ppm streamers propagate essentially with the same velocity as in air, but their minimal diameter is smaller, and they branch more frequently. Additionally, they move more in a zigzag fashion and sometimes exhibit a feathery structure. In our simulations, we test the relative importance of photo-ionization and of the background ionization from pulsed repetitive discharges, in air as well as in nitrogen with 1 ppm O2 . We also test reasonable parameter changes of the photo-ionization model. We find that photo- ionization dominates streamer propagation in air for repetition frequencies of at least 1 kHz, while in nitrogen with 1 ppm O2 the effect of the repetition frequency has to be included above 1 Hz. Finally, we explain the feather-like structures around streamer channels that are observed in experiments in nitrogen with high purity, but not in air.


title: Partially ordered secretaries

abstract: The elements of a finite nonempty partially ordered set are exposed at independent uniform times in $[0,1]$ to a selector who, at any given time, can see the structure of the induced partial order on the exposed elements. The selector's task is to choose online a maximal element. This generalizes the classical linear order secretary problem, for which it is known that the selector can succeed with probability $1/e$ and that this is best possible. We describe a strategy for the general problem that achieves success probability $1/e$ for an arbitrary partial order.


title: Fault tolerant reversible logic synthesis: Carry look-ahead and carry-skip adders

abstract: Irreversible logic circuits dissipate heat for every bit of information that is lost. Information is lost when the input vector cannot be recovered from its corresponding output vector. Reversible logic circuit naturally takes care of heating because it implements only the functions that have one-to-one mapping between its input and output vectors. Therefore reversible logic design becomes one of the promising research directions in low power dissipating circuit design in the past few years and has found its application in low power CMOS design, digital signal processing and nanotechnology. This paper presents the efficient approaches for designing reversible fast adders that implement carry look-ahead and carry-skip logic. The proposed 16-bit high speed reversible adder will include IG gates for the realization of its basic building block. The IG gate is universal in the sense that it can be used to synthesize any arbitrary Boolean-functions. The IG gate is parity preserving, that is, the parity of the inputs matches the parity of the outputs. It allows any fault that affects no more than a single signal readily detectable at the circuit's primary outputs. Therefore, the proposed high speed adders will have the inherent opportunity of detecting errors in its output side. It has also been demonstrated that the proposed design offers less hardware complexity and is efficient in terms of gate count, garbage outputs and constant inputs than the existing counterparts.


title: Bi-galileon theory II: phenomenology

abstract: We continue to introduce bi-galileon theory, the generalisation of the single galileon model introduced by Nicolis et al. The theory contains two coupled scalar fields and is described by a Lagrangian that is invariant under Galilean shifts in those fields. This paper is the second of two, and focuses on the phenomenology of the theory. We are particularly interesting in models that admit solutions that are asymptotically self accelerating or asymptotically self tuning. In contrast to the single galileon theories, we find examples of self accelerating models that are simultaneously free from ghosts, tachyons and tadpoles, able to pass solar system constraints through Vainshtein screening, and do not suffer from problems with superluminality, Cerenkov emission or strong coupling. We also find self tuning models and discuss how Weinberg's no go theorem is evaded by breaking Poincar\'e invariance in the scalar sector. Whereas the galileon description is valid all the way down to solar system scales for the self-accelerating models, unfortunately the same cannot be said for self tuning models owing to the scalars backreacting strongly on to the geometry.