title: Securing Web Services Using XML Signature and XML Encryption

abstract: This paper is aimed to evaluate the importance of XML Signature and XML Encryption in Web Service Security. In today's business scenario, organizations are investing huge amount of resources in Web Services. Web Service Transactions are done mainly through plain-text XML formats like SOAP and WSDL, hence hacking into them is not a tedious task. XML Signature and XML Encryption ensure security to XML documents as well as retain the structure of documents, thereby making it easy to implement them. These two methods are evaluated on the parameters of authentication, authorization, integration, confidentiality and non-repudiation.


title: Renormalization Group Approach to Anderson Impurity in the Bulk of Topological Insulators

abstract: It has been recently suggested that when an Anderson impurity is immersed in the bulk of a topological insulator, a Kondo resonant peak will appear simultaneously with an in-gap bound-state when the band-dispersion has an "inverted-Mexican-hat" form. The mid-gap bound-state generates another spin state and the Kondo effect is thereby screened. In this paper we study this problem within a weak-coupling RG scheme where we show that the system exhibits complex crossover behavior between different symmetry configurations and may evolve into a self-screened-Kondo or SO(3) low energy fix point. Experimental consequences of this scenario are pointed out.


title: Decomposed Finsler geometry: decomposed Finsler gravity and physical applications

abstract: Special class of Finsler metrics that can be decomposed to the product of two Riemannian metrics is considered. Based on such decomposition a new kind of Finsler gravity is suggested. Physical applications of Finsler decomposed metric are considered.


title: Universal hadronization condition in heavy ion collisions at $\sqrt{s_\mathrm{NN}}= 62$ GeV and at $\sqrt{s_\mathrm{NN}}=2.76$ TeV

abstract: We obtain a detailed description of all available hadron multiplicity yields in central Pb--Pb collisions at LHC measured in the rapidity interval $|y|<0.5$. We find that the hadronization of the fireball at LHC occurs at nearly identical intensive physical bulk conditions for all centralities similar to those seen already at RHIC.


title: Direct observation of zitterbewegung in a Bose-Einstein condensate

abstract: Zitterbewegung, a force-free trembling motion first predicted for relativistic fermions like electrons, was an unexpected consequence of the Dirac equation's unification of quantum mechanics and special relativity. Though the oscillatory motion's large frequency and small amplitude have precluded its measurement with electrons, zitterbewegung is observable via quantum simulation. We engineered an environment for 87Rb Bose-Einstein condensates where the constituent atoms behaved like relativistic particles subject to the one-dimensional Dirac equation. With direct imaging, we observed the sub-micrometer trembling motion of these clouds, demonstrating the utility of neutral ultracold quantum gases for simulating Dirac particles.


title: Assessment of some experimental and image analysis factors for background oriented schlieren measurements

abstract: Quantitative measurements of fluid flow properties can be achieved by background oriented schlieren. In this paper it is shown that this depends on several factors. Image quality index is used to investigate the influence of the image sensor and the quality of its output. Image evaluation is applied to synthetic images which are treated with a step function, so that they simulate the sharp density jump. The gradual change of the evaluated vector shift revealed the major dependence on the interrogation window, and less so on the background features. BOS applied to shock wave reflection from a wedge in a shock tube gave qualitative results, due to large uncertainties. But, the application to cooling by natural convection gave satisfactory results, comparable to thermocouple data and theory.


title: Implementation without commitment in moral hazard environments

abstract: Interdependent-choice equilibrium is defined as an extension of correlated equilibrium in which the mediator is able to choose the timing of her signals, and observe the actions taken by the players. The set of interdependent-choice equilibria is a nonempty, closed and convex polytope. It characterizes all the outcomes that can be implemented in single shot interactions without repetition, side payments, binding contracts or any other form of delegation.


title: Superconductivity under pressure in $R$FeAsO$_{\rm 1-x}$F$_{\rm x}$ ($R$=La, Ce$-$Sm) by dc magnetization measurements

abstract: Superconducting transition under pressure ($P$) has been investigated for optimum-doped $R$FeAsO$_{\rm 1-x}$F$_{\rm x}$ ($R$=La, Ce$-$Sm) by dc magnetization measurements. For $R$=La, $T_{\rm c}$ is found to be pressure independent up to $P$$\sim$3.0 GPa and then shows a monotonic decrease with increasing pressure. The plateau width decreases for the system with smaller lattice constants, and shrinks to almost zero for $R$=Sm. From the $T_{\rm c}$($P$) data, we construct the $T_{\rm c}$ evolution map on the height of the As atom from the Fe-plane $h_{\rm As}$ versus lattice constant $a$ or $c$ plane. It is shown that the characteristic $T_{\rm c}$ variations under pressure for all compounds and the rapid decrease in $T_{\rm c}$ induced by changing $R$-element from Sm to La can be described by a common $T_{\rm c}$($h_{\rm As}$, $a$ or $c$) surface, suggesting that $T_{\rm c}$ is determined by $h_{\rm As}$ and lattice constant. It is also suggested that there exists an upper limit of the lattice constant $a_{\rm ulm}$ (or $c_{\rm ulm}$), above which $dT_{\rm c}$$da$ (or $dT_{\rm c}$$dc$) changes the sign from positive to negative.


title: Electronic shell structure and chemisorption on gold nanoparticles

abstract: We use density functional theory (DFT) to investigate the electronic structure and chemical properties of gold nanoparticles. Different structural families of clusters are compared. For up to 60 atoms we optimize structures using DFT-based simulated annealing. Cluster geometries are found to distort considerably, creating large band gaps at the Fermi level. For up to 200 atoms we consider structures generated with a simple EMT potential and clusters based on cuboctahedra and icosahedra. All types of cluster geometry exhibit jellium-like electronic shell structure. We calculate adsorption energies of several atoms on the cuboctahedral clusters. Adsorption energies are found to vary abruptly at magic numbers. Using a Newns-Anderson model we find that the effect of magic numbers on adsorption energy can be understood from the location of adsorbate-induced states with respect to the cluster Fermi level.


title: AF labeled graph $C^*$-algebras

abstract: It is known that a graph $C^*$-algebra $C^*(E)$ is approximately finite dimensional (AF) if and only if the graph $E$ has no loops. In this paper we consider the question of when a labeled graph $C^*$-algebra $C^*(E,\CL,\CB)$ is AF. A notion of loop in a labeled space $(E,\CL,\CB)$ is defined when $\CB$ is the smallest one among the accommodating sets that are closed under relative complements and it is proved that if a labeled graph $C^*$-algebra is AF, the labeled space has no loops. A sufficient condition for a labeled space to be associated to AF algebra is also given. For graph $C^*$-algebras $C^*(E)$, this sufficient condition is also a necessary one. Besides, we discuss other equivalent conditions for a graph $C^*$-algebra to be AF in the setting of labeled graphs and prove that these conditions are not always equivalent by invoking various examples.


title: Free associative algebras, noncommutative Grobner bases, and universal associative envelopes for nonassociative structures

abstract: These are the lecture notes from my short course of the same title at the CIMPA Research School on Associative and Nonassociative Algebras and Dialgebras: Theory and Algorithms - In Honour of Jean-Louis Loday (1946-2012), held at CIMAT, Guanajuato, Mexico, February 17 to March 2, 2013. The underlying motivation is to apply the theory of noncommutative Grobner bases in free associative algebras to the construction of universal associative envelopes for nonassociative structures defined by multilinear operations. Trilinear operations were classified by the author and Peresi in 2007. In her Ph.D. thesis of 2012, Elgendy studied the universal associative envelopes of nonassociative triple systems obtained by applying these trilinear operations to the 2-dimensional simple associative triple system. In these notes I use computer algebra to extend some aspects of her work to the 4-dimensional and 6-dimensional simple associative triple systems.


title: A spin ladder compound doubles its superconducting TC under a gentle uniaxial pressure

abstract: Discovery of new high TC superconductors, with TC > 23 K, continues to be challenging. We have doubled the existing TC of single crystal Sr3Ca11Cu24O41, a spin ladder cuprate, from 12K to 24K, using a gentle uniaxial pressure ~ 0.06 GPa. In contrast, earlier works used a nearly 100 times larger hydrostatic pressure 5 GPa, only to reach a maximum TC ~ 12K. Our work exposes large and nearly equal, but opposing contributions to changes in TC, arising from compressions along and perpendicular to ladder planes, in hydrostatic pressure experiments. In our resistivity measurements, uniaxial pressure applied along ladder planes increase TC, while that perpendicular to ladder planes decrease TC. Our findings i) offers a new hope for further increase in TC in spin ladder compounds and ii) calls for a large shift in phase boundaries of the currently accepted pressure-temperature phase diagram.


title: Critical behavior of self-assembled rigid rods on two-dimensional lattices: Bethe-Peierls approximation and Monte Carlo simulations

abstract: The critical behavior of adsorbed monomers that reversibly polymerize into linear chains with restricted orientations relative to the substrate has been studied. In the model considered here, which is known as self-assembled rigid rods (SAARs) model, the surface is represented by a twodimensional lattice and a continuous orientational transition occurs as a function of temperature and coverage. The phase diagrams were obtained for the square, triangular and honeycomb lattices by means of Monte Carlo simulations and finite-size scaling analysis. The numerical results were compared with Bethe-Peierls analytical predictions about the orientational transition for the square and triangular lattices. The analysis of the phase diagrams, along with the behavior of the critical average rod lengths, showed that the critical properties of the model do not depend on the structure of the lattice at low temperatures (coverage), revealing a one-dimensional behavior in this regime. Finally, the universality class of the SAARs model, which has been subject of controversy, has been revisited.


title: Phaseless inverse scattering problems in 3-d

abstract: Uniqueness theorems are proved for 3-d inverse scattering problems in the frequency domain under the assumption that only the modulus of the complex valued wave field is measured, while the phase is unknown.


title: Resolving an Individual One-Proton Spin Flip to Determine a Proton Spin State

abstract: Previous measurements with a single trapped proton or antiproton detected spin resonance from the increased scatter of frequency measurements caused by many spin flips. Here a measured correlation confirms that individual spin transitions and states are detected instead. The high fidelity suggests that it may be possible to use quantum jump spectroscopy to measure the p and \pbar magnetic moments much more precisely.


title: Limits on spin-independent couplings of WIMP dark matter with a p-type point-contact germanium detector

abstract: We report new limits on spin-independent WIMP-nucleon interaction cross-section using 39.5 kg-days of data taken with a p-type point-contact germanium detector of 840 g fiducial mass at the Kuo-Sheng Reactor Neutrino Laboratory. Crucial to this study is the understanding of the selection procedures and, in particular, the bulk-surface events differentiation at the sub-keV range. The signal-retaining and background-rejecting efficiencies were measured with calibration gamma sources and a novel n-type point-contact germanium detector. Part of the parameter space in cross-section versus WIMP-mass implied by various experiments is probed and excluded.


title: Injectivity w.r.t. Distribution of Elements in the Compressed Sequences Derived from Primitive Sequences over $Z/p^eZ$

abstract: Let $p\geq3$ be a prime and $e\geq2$ an integer. Let $\sigma(x)$ be a primitive polynomial of degree $n$ over $Z/p^eZ$ and $G'(\sigma(x),p^e)$ the set of primitive linear recurring sequences generated by $\sigma(x)$. A compressing map $\varphi$ on $Z/p^eZ$ naturally induces a map $\hat{\varphi}$ on $G'(\sigma(x),p^e)$. For a subset $D$ of the image of $\varphi$,$\hat{\varphi}$ is called to be injective w.r.t. $D$-uniformity if the distribution of elements of $D$ in the compressed sequence implies all information of the original primitive sequence. In this correspondence, for at least $1-2(p-1)/(p^n-1)$ of primitive polynomials of degree $n$, a clear criterion on $\varphi$ is obtained to decide whether $\hat{\varphi}$ is injective w.r.t. $D$-uniformity, and the majority of maps on $Z/p^eZ$ induce injective maps on $G'(\sigma(x),p^e)$. Furthermore, a sufficient condition on $\varphi$ is given to ensure injectivity of $\hat{\varphi}$ w.r.t. $D$-uniformity. It follows from the sufficient condition that if $\sigma(x)$ is strongly primitive and the compressing map $\varphi(x)=f(x_{e-1})$, where $f(x_{e-1})$ is a permutation polynomial over $\mathbb{F}_{p}$, then $\hat{\varphi}$ is injective w.r.t. $D$-uniformity for $\emptyset\neq D\subset\mathbb{F}_{p}$. Moreover, we give three specific families of compressing maps which induce injective maps on $G'(\sigma(x),p^e)$.


title: Weak Galerkin Finite Element Methods for the Biharmonic Equation on Polytopal Meshes

abstract: A new weak Galerkin (WG) finite element method is introduced and analyzed in this paper for the biharmonic equation in its primary form. This method is highly robust and flexible in the element construction by using discontinuous piecewise polynomials on general finite element partitions consisting of polygons or polyhedra of arbitrary shape. The resulting WG finite element formulation is symmetric, positive definite, and parameter-free. Optimal order error estimates in a discrete $H^2$ norm is established for the corresponding WG finite element solutions. Error estimates in the usual $L^2$ norm are also derived, yielding a sub-optimal order of convergence for the lowest order element and an optimal order of convergence for all high order of elements. Numerical results are presented to confirm the theory of convergence under suitable regularity assumptions.


title: Dwarf galaxy populations in present-day galaxy clusters - II. The history of early-type and late-type dwarfs

abstract: How did the dwarf galaxy population of present-day galaxy clusters form and grow over time? We address this question by analysing the history of dark matter subhaloes in the Millennium-II cosmological simulation. A semi-analytic model serves as the link to observations. We argue that a reasonable analogue to early morphological types or red-sequence dwarf galaxies are those subhaloes that experienced strong mass loss, or alternatively those that have spent a long time in massive haloes. This approach reproduces well the observed morphology-distance relation of dwarf galaxies in the Virgo and Coma clusters, and thus provides insight into their history. Over their lifetime, present-day late types have experienced an amount of environmental influence similar to what the progenitors of dwarf ellipticals had already experienced at redshifts above two. Therefore, dwarf ellipticals are more likely to be a result of early and continuous environmental influence in group- and cluster-size haloes, rather than a recent transformation product. The observed morphological sequences of late-type and early-type galaxies have developed in parallel, not consecutively. Consequently, the characteristics of today's late-type galaxies are not necessarily representative for the progenitors of today's dwarf ellipticals. Studies aiming to reproduce the present-day dwarf population thus need to start at early epochs, model the influence of various environments, and also take into account the evolution of the environments themselves.


title: Unusual suppression of superconductivity in YNi2B2C under neutron irradiation

abstract: The behavior of electrical resistivity rho(T), temperature of superconducting transition Tc, and upper critical field Hc2(T) of polycrystalline YNi2B2C after irradiation with thermal neutron and subsequent high-temperature isochronous annealings in the temperature range Tann = 100 - 1000C has been studied.


title: An Authentication Scheme for Subspace Codes over Network Based on Linear Codes

abstract: Network coding provides the advantage of maximizing the usage of network resources, and has great application prospects in future network communications. However, the properties of network coding also make the pollution attack more serious. In this paper, we give an unconditional secure authentication scheme for network coding based on a linear code $C$. Safavi-Naini and Wang gave an authentication code for multi-receivers and multiple messages. We notice that the scheme of Safavi-Naini and Wang is essentially constructed with Reed-Solomon codes. And we modify their construction slightly to make it serve for authenticating subspace codes over linear network. Also, we generalize the construction with linear codes. The generalization to linear codes has the similar advantages as generalizing Shamir's secret sharing scheme to linear secret sharing sceme based on linear codes. One advantage of this generalization is that for a fixed message space, our scheme allows arbitrarily many receivers to check the integrity of their own messages, while the scheme with Reed-Solomon codes has a constraint on the number of verifying receivers. Another advantage is that we introduce access structure in the generalized scheme. Massey characterized the access structure of linear secret sharing scheme by minimal codewords in the dual code whose first component is 1. We slightly modify the definition of minimal codewords. Let $C$ be a $[V,k]$ linear code. For any coordinate $i\in \{1,2,\cdots,V\}$, a codeword $\vec{c}$ in $C$ is called minimal respect to $i$ if the codeword $\vec{c}$ has component 1 at the $i$-th coordinate and there is no other codeword whose $i$-th component is 1 with support strictly contained in that of $\vec{c}$. Then the security of receiver $R_i$ in our authentication scheme is characterized by the minimal codewords respect to $i$ in the dual code $C^\bot$.


title: Exchange assisted tunneling and positron annihilation on inner atomic shells

abstract: It is known for a long time that the long range asymptotic behavior of the Hartree-Fock orbitals is different from that of the orbitals in the local potential. However, there is no consensus about observable physical effects associated with this asymptotics. Here we argue that weaker decrease of the Hartree-Fock orbitals at large distances is responsible for the positron annihilation on the inner shell electrons, which is observed experimentally.


title: Electron heat conduction in the solar wind: transition from Spitzer-H\"{a}rm to the collisionless limit

abstract: We use a statistically significant set of measurements to show that the field-aligned electron heat flux $q_\parallel$ in the solar wind at 1 AU is consistent with the Spitzer-H\"{a}rm collisional heat flux $q_{sh}$ for temperature gradient scales larger than a few mean free paths $L_T \gtrsim 3.5 ~\lambda_{fp}$. This represents about 65% of the measured data and corresponds primarily to high $\beta$, weakly collisional plasma ('slow solar wind'). In the more collisionless regime $\lambda_{fp}/L_T \gtrsim 0.28$, the electron heat flux is limited to $q_\parallel/q_0 \sim 0.3$, independent of mean free path, where $q_0$ is the 'free-streaming' value; the measured $q_\parallel$ does not achieve the full $q_0$. This constraint $q_\parallel/q_0 \sim 0.3$ might be attributed to wave-particle interactions, an interplanetary electric potential, or inherent flux limitation. We also show a $\beta_e$ dependence to these results that is consistent with a local radial electron temperature profile $T_e \sim r^{-\alpha}$ that is a function of the thermal electron beta $\alpha = \alpha(\beta_e)$ and that the $\beta$ dependence of the collisionless regulation constraint is not obviously consistent with a whistler heat flux instability. We discuss the results in a broader astrophysical context.


title: First-principles Approaches to Simulate Lithiation in Silicon Electrodes

abstract: Silicon is viewed as an excellent electrode material for lithium batteries due to its high lithium storage capacity. Various Si nano-structures, such as Si nanowires, have performed well as lithium battery anodes and have opened up exciting opportunities for the use of Si in energy storage devices. The mechanism of lithium insertion and the interaction between Li and the Si electrode must be understood at the atomic level; this understanding can be achieved by first-principles simulation. Here, first-principles computations of lithiation in silicon electrodes are reviewed. The review focuses on three aspects: the various properties of bulk Li-Si compounds with different Li concentrations, the electronic structure of Si nanowires and Li insertion behavior in Si nanowires, and the dynamic lithiation process at the Li/Si interface. Potential study directions in this research field and difficulties that the field still faces are discussed at the end.


title: GURLS: a Least Squares Library for Supervised Learning

abstract: We present GURLS, a least squares, modular, easy-to-extend software library for efficient supervised learning. GURLS is targeted to machine learning practitioners, as well as non-specialists. It offers a number state-of-the-art training strategies for medium and large-scale learning, and routines for efficient model selection. The library is particularly well suited for multi-output problems (multi-category/multi-label). GURLS is currently available in two independent implementations: Matlab and C++. It takes advantage of the favorable properties of regularized least squares algorithm to exploit advanced tools in linear algebra. Routines to handle computations with very large matrices by means of memory-mapped storage and distributed task execution are available. The package is distributed under the BSD licence and is available for download at https://github.com/CBCL/GURLS.


title: Updated results for minimal dilaton model

abstract: Both the ATLAS and CMS experiments at the LHC have reported the observation of the particle of mass around 125GeV which is consistent to the Standard Model (SM) Higgs boson, but with an excess of events beyond the SM expectation in the diphoton decay channel at each of them. There still remains room for a logical possibility that we are not seeing the SM Higgs but something else. Here we introduce the minimal dilaton model in which the LHC signals are explained by an extra singlet scalar of the mass around 125GeV that slightly mixes with the SM Higgs heavier than 600GeV. When this scalar has a vacuum expectation value well beyond the electroweak scale, it can be identified as a linearly realized version of a dilaton field. Though the current experimental constraints from the Higgs search disfavors such a region, the singlet scalar model itself still provides a viable alternative to the SM Higgs in interpreting its search results.


title: On the intersection of solvable Hall subgroups in finite simple exceptional groups of Lie type

abstract: Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.


title: Some apriori estimates of G-BSDEs and the G-martingale representation for a special case

abstract: This paper presents the integral(or differential) form of G-BSDEs, gives some kind of apriori estimates of their solutions, and under a very strong condition, proves the G-martingale representation theorem, and the existence and uniqueness theorem of G-BSDEs.


title: Diffuse Galactic Light in the Field of the Translucent High Galactic Latitude Cloud MBM32

abstract: We have conducted B, g, V, and R-band imaging in a 45x40 arcmin^2 field containing part of the high Galactic latitude translucent cloud MBM32, and correlated the intensity of diffuse optical light S_\nu(\lambda) with that of 100 micron emission S_\nu(100um). A chi^2 minimum analysis is applied to fit a linear function to the measured correlation and derive the slope parameter b(\lambda)= \Delta S_\nu(\lambda) / \Delta S_\nu(100um) of the best-fit linear function. Compiling a sample by combining our b(\lambda) and published ones, we show that the b(\lambda) strength varies from cloud to cloud by a factor of 4. Finding that b(\lambda) decreases as S_\nu(100um) increases in the sample, we suggest that a non-linear correlation including a quadratic term of S_\nu(100um)^2 should be fitted to the measured correlation. The variation of optical depth, which is A_V = 0.16 - 2.0 in the sample, can change b(\lambda) by a factor of 2 - 3. There would be some contribution to the large b(\lambda) variation from the forward-scattering characteristic of dust grains which is coupled to the non-isotropic interstellar radiation field (ISRF). Models of the scattering of diffuse Galactic light (DGL) underestimate the b(\lambda) values by a factor of 2. This could be reconciled by deficiency in UV photons in the ISRF or by a moderate increase in dust albedo. Our b(\lambda) spectrum favors a contribution from extended red emission (ERE) to the diffuse optical light; b(\lambda) rises from B to V faster than the models, seems to peak around 6000 \AA, and decreases towards long wavelengths. Such a characteristic is expected from the models in which the DGL is combined with ERE.


title: En komprimerad introduktion till slingkvantgravitation och spinnskum modeller

abstract: A short introductory review of loop quantum gravity and spinfoam models in Swedish. A small knowledge of general relativity in connection variables is assumed, but an emphasis has been put on giving a self-supporting presentation. -- Inom denna reviewarikel ser vi \"over slingkvantgravitationens och spinnskum modellernas struktur och uppbyggnad. Artikeln g\"or sitt b\"asta f\"or att f\"oruts\"atta s{\aa} lite f\"orkunskaper som m\"ojligt, men en viss k\"annedom om allm\"an relativitet i konnektionsvariabler kan vara bra att ha.


title: Lateral Migration and Nonuniform Rotation of Biconcave Particle Suspended in Poiseuille Flow

abstract: A biconcave particle suspended in a Poiseuille flow is investigated by the multiple-relaxation-time lattice Boltzmann method with the Galilean-invariant momentum exchange method. The lateral migration and equilibrium of the particle are similar to the Segr\'e-Silberberg effect in our numerical simulations. Surprisingly, two lateral equilibrium positions are observed corresponding to the releasing positions of the biconcave particle. The upper equilibrium positions significantly decrease with the growth of the Reynolds number, whereas the lower ones are almost insensitive to the Reynolds number. Interestingly, the regular wave accompanied by nonuniform rotation is exhibited in the lateral movement of the biconcave particle. It can be attributed to that the biconcave shape in various postures interacts with the parabolic velocity distribution of the Poiseuille flow. A set of contours illustrate the dynamic flow field when the biconcave particle has successive postures in a rotating period.


title: Twisted conjugacy classes of the unit element

abstract: We study twisted conjugacy classes of the unit element in different groups. Fel'shtyn and Troitsky showed that the twisted conjugacy class of the unit element of an abelian group is a subgroup for every automorphism. The structure is investigated of a group whose twisted conjugacy class of the unit element is a subgroup for every automorphism (inner automorphism).


title: CMB bounds on dark matter annihilation: Nucleon energy-losses after recombination

abstract: We consider the propagation and energy losses of protons and anti-protons produced by dark matter annihilation at redshifts 100<z<~2000. In the case of dark matter annihilations into quarks, gluons and weak gauge bosons, protons and anti-protons carry about 20% of the energy injected into e^\pm and \gamma's, but their interactions are normally neglected when deriving cosmic microwave background bounds from altered recombination histories. Here, we follow numerically the energy-loss history of typical protons/antiprotons in the cosmological medium. We show that about half of their energy is channeled into photons and e^\pm, and we present a simple prescription to estimate the corresponding strengthening of the cosmic microwave background bounds on the dark matter annihilation cross section.


title: A New Approach of Deriving Bounds between Entropy and Error from Joint Distribution: Case Study for Binary Classifications

abstract: The existing upper and lower bounds between entropy and error are mostly derived through an inequality means without linking to joint distributions. In fact, from either theoretical or application viewpoint, there exists a need to achieve a complete set of interpretations to the bounds in relation to joint distributions. For this reason, in this work we propose a new approach of deriving the bounds between entropy and error from a joint distribution. The specific case study is given on binary classifications, which can justify the need of the proposed approach. Two basic types of classification errors are investigated, namely, the Bayesian and non-Bayesian errors. For both errors, we derive the closed-form expressions of upper bound and lower bound in relation to joint distributions. The solutions show that Fano's lower bound is an exact bound for any type of errors in a relation diagram of "Error Probability vs. Conditional Entropy". A new upper bound for the Bayesian error is derived with respect to the minimum prior probability, which is generally tighter than Kovalevskij's upper bound.


title: Total Domishold Graphs: a Generalization of Threshold Graphs, with Connections to Threshold Hypergraphs

abstract: A total dominating set in a graph is a set of vertices such that every vertex of the graph has a neighbor in the set. We introduce and study graphs that admit non-negative real weights associated to their vertices such that a set of vertices is a total dominating set if and only if the sum of the corresponding weights exceeds a certain threshold. We show that these graphs, which we call total domishold graphs, form a non-hereditary class of graphs properly containing the classes of threshold graphs and the complements of domishold graphs, and are closely related to threshold Boolean functions and threshold hypergraphs. We present a polynomial time recognition algorithm of total domishold graphs, and characterize graphs in which the above property holds in a hereditary sense. Our characterization is obtained by studying a new family of hypergraphs, defined similarly as the Sperner hypergraphs, which may be of independent interest.


title: A highly unequal-mass eclipsing M-dwarf binary in the WFCAM Transit Survey

abstract: In this paper we present the discovery of a highly unequal-mass eclipsing M-dwarf binary, providing a unique constraint on binary star formation theory and on evolutionary models for low-mass binary stars. The binary is discovered using high- precision infrared light curves from the WFCAM Transit Survey (WTS) and has an orbital period of 2.44 d. We find stellar masses of M1 = 0.53 (0.02) Msun and M2 = 0.143 (0.006) Msun (mass ratio 0.27), and radii of R1 = 0.51 (0.01) Rsun and R2 = 0.174 (0.006) Rsun. This puts the companion in a very sparsely sampled and important late M-dwarf mass-regime. Since both stars share the same age and metallicity and straddle the theoretical boundary between fully and partially convective stellar interiors, a comparison can be made to model predictions over a large range of M-dwarf masses using the same model isochrone. Both stars appear to have a slightly inflated radius compared to 1 Gyr model predictions for their masses, but future work is needed to properly account for the effects of star spots on the light curve solution. A significant, subsynchronous, ~2.56 d signal with ~2% peak-to-peak amplitude is detected in the WFCAM light curve, which we attribute to rotational modulation of cool star spots. We propose that the subsynchronous rotation is either due to a stable star-spot complex at high latitude on the (magnetically active) primary (i.e. differential rotation), or to additional magnetic braking, or to interaction of the binary with a third body or circumbinary disk during its pre-main-sequence phase.


title: Bistability and chaos at low-level of quanta

abstract: We study nonlinear phenomena of bistability and chaos at a level of few quanta. For this purpose we consider a single-mode dissipative oscillator with strong Kerr nonlinearity with respect to dissipation rate driven by a monochromatic force as well as by a train of Gaussian pulses. The quantum effects and decoherence in oscillatory mode are investigated on the framework of the purity of states and the Wigner functions calculated from the master equation. We demonstrate the quantum chaotic regime by means of a comparison between the contour plots of the Wigner functions and the strange attractors on the classical Poincar\'e section. Considering bistability at low-limit of quanta, we analyze what is the minimal level of excitation numbers at which the bistable regime of the system is displayed? We also discuss the formation of oscillatory chaotic regime by varying oscillatory excitation numbers at ranges of few quanta. We demonstrate quantum-interference phenomena that are assisted hysteresis-cycle behavior and quantum chaos for the oscillator driven by the train of Gaussian pulses as well as we establish the border of classical-quantum correspondence for chaotic regimes in the case of strong nonlinearities.


title: Collective dynamics of vortices in trapped Bose-Einstein condensates

abstract: We have calculated collective mode spectra for three-dimensional, rotating Bose-Einstein condensates in oblate harmonic traps using the microscopic Bogoliubov-deGennes field theory. For condensates with $N_v$ vortices, $N_v$ Kelvin-Tkachenko mode branches are obtained. The features of these modes are compared with those predicted by a classical point vortex model. We have created movies to visualize the motion of the vortices corresponding to the Kelvin-Tkachenko waves.


title: Non-Thermal Production of Wino Dark Matter via the Decay of Long-Lived Particles

abstract: We consider supersymmetric models in which the neutral Wino is the lightest superparticle (LSP), and study the possibility that non-thermally produced Wino plays the role of dark matter. The thermal relic density of Wino is smaller than the present mass density of dark matter if wino mass is smaller than 2.9 TeV; however, even with smaller Wino mass, Wino can be the dominant component of dark matter if it is non-thermally produced by the decay of an exotic particle. In order to study such a possibility in detail, we perform a precise calculation of the present mass density of Wino produced by the exotic-particle decay, taking account of the following effects: (i) coannihilation among charged and neutral Winos, and (ii) Sommerfeld effect on the pair annihilation cross section of Winos. We consider several well-motivated cases where the exotic particle corresponds to cosmological moduli fields, gravitino, or axino, and discuss the implication of the Wino LSP for these cases.


title: Yukawa effects on the clock onboard a drag-free satellite

abstract: The Yukawa correction to the Newtonian gravitational force is accepted as a parameterization of deviations from the inverse-square law of gravity which might be caused by new physics beyond the standard model of particles and the general theory of relativity. We investigate these effects on the clock onboard a drag-free satellite: dynamics of the satellite and influence on the time transfer link. We find the Yukawa signal in the time transfer is much harder to detect with current state of clocks than those effects on the dynamics, especially the secular change of periastron, by laser ranging in the case of an artificial Earth satellite carrying a frequency standard with an orbit of $a=10^7$\,m and $e=0.01$.


title: Cauchy problem for effectively hyperbolic operators with triple characteristics of variable multiplicity

abstract: We study a class of third order hyperbolic operators $P$ in $G = \{(t, x):0 \leq t \leq T, x \in U \Subset {\mathbb R}^{n}\}$ with triple characteristics at $\rho = (0, x_0, \xi), \xi \in {\mathbb R}^n \setminus \{0\}$. We consider the case when the fundamental matrix of the principal symbol of $P$ at $\rho$ has a couple of non-vanishing real eigenvalues. Such operators are called {\it effectively hyperbolic}. V. Ivrii introduced the conjecture that every effectively hyperbolic operator is {\it strongly hyperbolic}, that is the Cauchy problem for $P + Q$ is locally well posed for any lower order terms $Q$. This conjecture has been solved for operators having at most double characteristics and for operators with triple characteristics in the case when the principal symbol admits a factorization. A strongly hyperbolic operator in $G$ could have triple characteristics in $G$ only for $t = 0$ or for $t = T$. We prove that the operators in our class are strongly hyperbolic if $T$ is small enough. Our proof is based on energy estimates with a loss of regularity.


title: Mapping densities in a noisy state space

abstract: Weak noise smooths out fractals in a chaotic state space and introduces a maximum attainable resolution to its structure. The balance of noise and deterministic stretching/contraction in each neighborhood introduces local invariants of the dynamics that can be used to partition the state space. We study the local discrete-time evolution of a density in a two-dimensional hyperbolic state space, and use the asymptotic eigenfunctions for the noisy dynamics to formulate a new state space partition algorithm.


title: Reanalysis of the Gravitational Microlensing Event MACHO-97-BLG-41 based on Combined Data

abstract: MACHO-97-BLG-41 is a gravitational microlensing event produced by a lens composed of multiple masses detected by the first-generation lensing experiment. For the event, there exist two different interpretations of the lens from independent analyses based on two different data sets: one interpreted the event as produced by a circumbinary planetary system while the other explained the light curve with only a binary system by introducing orbital motion of the lens. According to the former interpretation, the lens would be not only the first planet detected via microlensing but also the first circumbinary planet ever detected. To resolve the issue using state-of-the-art analysis methods, we reanalyze the event based on the combined data used separately by the previous analyses. By considering various higher-order effects, we find that the orbiting binary-lens model provides a better fit than the circumbinary planet model with \Delta\chi^2 ~166. The result signifies the importance of even and dense coverage of lensing light curves in the interpretation of events.


title: Compact travelling waves in viscoelastic solids

abstract: We introduce a model for nonlinear viscoelastic solids where traveling shear waves with compact support are possible. We obtain an exact compact solution. We also derive a new Burger's type evolution equation associated with the introduced constitutive equation.


title: Dirac Kirchhoff diffraction theory

abstract: Kirchhoff's scalar diffraction theory is applied throughout photon and electron optics. It is based on the stationary electromagnetic or Schr\"odinger wave equation, and is useful in describing interference phenomena for both light and matter waves. Here, Kirchhoff's diffraction theory is derived from the relativistic Dirac equation, thus reformulated to work on Dirac spinors. The parallels with the "classic" scalar theory are highlighted, and a basic interpretation of the result obtained for the Fraunhofer diffraction limit is given. The goal of this paper is to emphasize the similarity between the two equations on the most fundamental level.


title: Topological representations

abstract: This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a $\sigma$-ideal $I$ on $X$ and a dense countable subset $D$ of $X$ such that the ideal consists of those subsets of $D$ whose closure belongs to $I$. It turns out that this definition is indepedent of the choice of $D$. We show that an ideal is of this form if and only if it is dense and countably separated. The latter is a variation of a notion introduced by Todor\vcevi\'c for gaps. As a corollary, we get that this class is invariant under the Rudin--Blass equivalence. This also implies that the space $X$ can be always chosen to be compact so that $I$ is a $\sigma$-ideal of compact sets. We compute the possible descriptive complexities of such ideals and conclude that all analytic equivalence relations induced by such ideals are $\mathbf{\Pi}^0_3$. We also prove that a coanalytic ideal is an intersection of ideals of this form if and only if it is weakly selective.


title: Microscopic evidence for strong periodic lattice distortion in 2D charge-density wave systems

abstract: In the quasi-2D electron systems of the layered transition metal dichalcogenides (TMD) there is still a controversy about the nature of the transitions to charge-density wave (CDW) phases, i.e. whether they are described by a Peierls-type mechanism or by a lattice-driven model. By performing scanning tunneling microscopy (STM) experiments on the canonical TMD-CDW systems, we have imaged the electronic modulation and the lattice distortion separately in 2H-TaS$_2$, TaSe$_2$, and NbSe$_2$. Across the three materials, we found dominant lattice contributions instead of the electronic modulation expected from Peierls transitions, in contrast to the CDW states that show the hallmark of contrast inversion between filled and empty states. Our results imply that the periodic lattice distortion (PLD) plays a vital role in the formation of CDW phases in the TMDs and illustrate the importance of taking into account the more complicated lattice degree of freedom when studying correlated electron systems.


title: Green's function asymptotics and sharp point-wise interpolation inequalities

abstract: We propose a general method for finding sharp constants in the imbeddings of the Hilbert Sobolev spaces of order m defined on a n-dimensional Riemann manifold into the space of bounded continuous functions, where m>n/2. The method is based on the analysis of the asymptotics with respect to the spectral parameter of the Green's function of the elliptic operator of order 2m, the domain of the square root of which defines the norm of the corresponding Sobolev space. The cases of the n-dimensional torus and n-dimensional sphere are treated in detail, as well as some manifolds with boundary. In certain cases when the manifold is compact, multiplicative inequalities with remainder terms of various types are obtained. Inequalities with correction term for periodic functions imply an improvement for the well-known Carlson inequalities.


title: A model independent determination of the B -> Xs gamma decay rate

abstract: The goal of the SIMBA collaboration is to provide a global fit to the available measurements of inclusive B -> X_s gamma and B -> X_u l nu decays. By performing a global fit one is able to simultaneously determine the relevant normalizations, i.e. the total B -> X_s gamma rate and the CKM-matrix element |Vub|, together with the required hadronic parameters, most importantly the b-quark mass and the b-quark distribution function in the B-meson, called the shape function. In this talk, the current status on the model-independent determination of the shape function and |C7^\incl Vtb Vts*|, which parametrizes the total B -> Xs gamma rate, from a global fit to the available B -> X_s gamma measurements from Babar and Belle is presented. In particular, the theoretical uncertainties originating from variations of the different factorization scales are evaluated.


title: Effects of nuclear symmetry energy on eta meson production and its rare decay to the dark U-boson in heavy-ion reactions

abstract: Using a relativistic transport model ART1.0, we explore effects of nuclear symmetry energy on eta meson production and its rare decay to the dark U-boson in heavy-ion reactions from 0.2 to 10 GeV/nucleon available at several current and future facilities. The yield of eta mesons at sub-threshold energies is found to be very sensitive to the density dependence of nuclear symmetry energy. Above a beam energy of about 5 GeV/nucleon in Au+Au reactions, the sensitivity to symmetry energy disappears. Using the branching ratio of the rare eta decay (eta->gamma U) available in the literature, we estimate the maximum cross section for the U-boson production in the energy range considered, providing a useful reference for future U-boson search using heavy-ion reactions.


title: Clustering effects induced by light nuclei

abstract: Since the pioneering discovery, half a century ago, of 12C+12C molecular resonances, a great deal of research work has been undertaken in theSince the pioneering discovery, half a century ago, of 12C+12C molecular resonances, a great deal of research work has been undertaken in the alpha-clustering study. Our knowledge in the physics of nuclear molecules has increased considerably and nuclear clustering remains one of the most fruitful domains of nuclear physics, facing some of the greatest challenges and opportunities in the years ahead. In this work, the occurence of "exotic" shapes in light N=Z alpha-like nuclei is investigated. Various approaches of superdeformed and hyperdeformed bands associated with quasimolecular resonant structures are presented. Clustering aspects are also discussed for light nuclei with neutron excess through very recent results on neutron-rich Oxygen isotopes.


title: Constraining the Anisotropic Expansion of Universe

abstract: We study the possibly existing anisotropy in the accelerating expansion universe with the Union2 Type Ia supernovae data and Gamma-ray burst data. We construct a direction-dependent dark energy model and constrain the anisotropy direction and strength of modulation. We find that the maximum anisotropic deviation direction is $(l,\,b)=(126^{\circ},\,13^{\circ})$ (or equivalently $(l,\,b)=(306^{\circ},\,-13^{\circ})$), and the current anisotropy level is $g_0=0.030_{+0.010}^{-0.030}$ ($1\sigma$ confidence level with Union2 data). Our results do not show strong evidence for the anisotropic dark energy model. We also discuss potential methods that may distinguish the peculiar velocity field from the anisotropic dark energy model.


title: On the vertex-to-edge duality between the Cayley graph and the coset geometry of von Dyck groups

abstract: We prove that the Cayley graph and the coset geometry of the von Dyck group $D(a,b,c)$ are linked by a vertex-to-edge duality.


title: G-complete reducibility in non-connected groups

abstract: In this paper we present an algorithm for determining whether a subgroup H of a non-connected reductive group G is G-completely reducible. The algorithm consists of a series of reductions; at each step, we perform operations involving connected groups, such as checking whether a certain subgroup of G^0 is G^0 -cr. This essentially reduces the problem of determining G-complete reducibility to the connected case.


title: GBM Volumetry using the 3D Slicer Medical Image Computing Platform

abstract: Volumetric change in glioblastoma multiforme (GBM) over time is a critical factor in treatment decisions. Typically, the tumor volume is computed on a slice-by-slice basis using MRI scans obtained at regular intervals. (3D)Slicer - a free platform for biomedical research - provides an alternative to this manual slice-by-slice segmentation process, which is significantly faster and requires less user interaction. In this study, 4 physicians segmented GBMs in 10 patients, once using the competitive region-growing based GrowCut segmentation module of Slicer, and once purely by drawing boundaries completely manually on a slice-by-slice basis. Furthermore, we provide a variability analysis for three physicians for 12 GBMs. The time required for GrowCut segmentation was on an average 61% of the time required for a pure manual segmentation. A comparison of Slicer-based segmentation with manual slice-by-slice segmentation resulted in a Dice Similarity Coefficient of 88.43 +/- 5.23% and a Hausdorff Distance of 2.32 +/- 5.23 mm.


title: On the validity of the method of reduction of dimensionality: area of contact, average interfacial separation and contact stiffness

abstract: It has recently been suggested that many contact mechanics problems between solids can be accurately studied by mapping the problem on an effective one dimensional (1D) elastic foundation model. Using this 1D mapping we calculate the contact area and the average interfacial separation between elastic solids with nominally flat but randomly rough surfaces. We show, by comparison to exact numerical results, that the 1D mapping method fails even qualitatively. We also calculate the normal interfacial stiffness $K$ and compare it with the result of an analytical study. We attribute the failure of the elastic foundation model to the neglect of the long-range elastic coupling between the asperity contact regions.


title: Efficient Separability of Regular Languages by Subsequences and Suffixes

abstract: When can two regular word languages K and L be separated by a simple language? We investigate this question and consider separation by piecewise- and suffix-testable languages and variants thereof. We give characterizations of when two languages can be separated and present an overview of when these problems can be decided in polynomial time if K and L are given by nondeterministic automata.


title: On the roots of the equation $Z'(t)=0$

abstract: We have proved in this paper that the Lindel\" of hypothesis generates essential contraction of distances between consecutive odd-order zeros of the function $Z'(t)$. This paper is the translation of the paper \cite{11} into the English except part 8 that we added in order to point out the I. M. Vinogradov' scepticism on possibilities of the method of trigonometric sums.


title: Existence and regularity of minimizers for some spectral functionals with perimeter constraint

abstract: In this paper we prove that the shape optimization problem $$\min\left\{\lambda_k(\Omega):\ \Omega\subset\R^d,\ \Omega\ \hbox{open},\ P(\Omega)=1,\ |\Omega|<+\infty\right\},$$ has a solution for any $k\in\N$ and dimension $d$. Moreover, every solution is a bounded connected open set with boundary which is $C^{1,\alpha}$ outside a closed set of Hausdorff dimension $d-8$. Our results are more general and apply to spectral functionals of the form $f(\lambda_{k_1}(\Omega),\dots,\lambda_{k_p}(\Omega))$, for increasing functions $f$ satisfying some suitable bi-Lipschitz type condition.


title: Enumerating Abelian Returns to Prefixes of Sturmian Words

abstract: We follow the works of Puzynina and Zamboni, and Rigo et al. on abelian returns in Sturmian words. We determine the cardinality of the set $\mathcal{APR}_u$ of abelian returns of all prefixes of a Sturmian word $u$ in terms of the coefficients of the continued fraction of the slope, dependingly on the intercept. We provide a simple algorithm for finding the set $\mathcal{APR}_u$ and we determine it for the characteristic Sturmian words.


title: A heuristic optimization method for mitigating the impact of a virus attack

abstract: Taking precautions before or during the start of a virus outbreak can heavily reduce the number of infected. The question which individuals should be immunized in order to mitigate the impact of the virus on the rest of population has received quite some attention in the literature. The dynamics of the of a virus spread through a population is often represented as information spread over a complex network. The strategies commonly proposed to determine which nodes are to be selected for immunization often involve only one centrality measure at a time, while often the topology of the network seems to suggest that a single metric is insufficient to capture the influence of a node entirely. In this work we present a generic method based on a genetic algorithm (GA) which does not rely explicitly on any centrality measures during its search but only exploits this type of information to narrow the search space. The fitness of an individual is defined as the estimated expected number of infections of a virus following SIR dynamics. The proposed method is evaluated on two contact networks: the Goodreau's Faux Mesa high school and the US air transportation network. The GA method manages to outperform the most common strategies based on a single metric for the air transportation network and its performance is comparable with the best performing strategy for the high school network.


title: Nested Cantor sets

abstract: We give sufficient conditions for two Cantor sets of the line to be nested for a positive set of translation parameters. This problem occurs in diophantine approximations. It also occurs as a toy model of the parameter selection for non-uniformly hyperbolic attractors of the plane. For natural Cantors sets, we show that this condition is optimal.


title: On the dependence of one-photon - two-electron differential cross sections on recoil momenta

abstract: We calculate the distributions in recoil momenta and their energy distributions for the high energy non-relativistic double photoionization of helium caused by the quasifree mechanism of the process. The distributions obtain local maxima at small values of the recoil momenta. This is in agreement with the earlier predictions and with recently obtained experimental data. We obtained also the angular correlations, which reach the largest value in the "back-to-back" configuration of the photoelectrons. Our analysis is valid in all high energy nonrelativistic region. Particular equations are true for the case when the wavelength of the photon exceeds strongly the size of the atom. We present numerical results for the photon energies in the region of 1 keV, employed in the recent experiments.


title: The secondary eclipses of WASP-19b as seen by the ASTEP 400 telescope from Antarctica

abstract: The ASTEP (Antarctica Search for Transiting ExoPlanets) program was originally aimed at probing the quality of the Dome C, Antarctica for the discovery and characterization of exoplanets by photometry. In the first year of operation of the 40 cm ASTEP 400 telescope (austral winter 2010), we targeted the known transiting planet WASP-19b in order to try to detect its secondary transits in the visible. This is made possible by the excellent sub-millimagnitude precision of the binned data. The WASP-19 system was observed during 24 nights in May 2010. The photometric variability level due to starspots is about 1.8% (peak-to-peak), in line with the SuperWASP data from 2007 (1.4%) and larger than in 2008 (0.07%). We find a rotation period of WASP-19 of 10.7 +/- 0.5 days, in agreement with the SuperWASP determination of 10.5 +/- 0.2 days. Theoretical models show that this can only be explained if tidal dissipation in the star is weak, i.e. the tidal dissipation factor Q'star > 3.10^7. Separately, we find evidence for a secondary eclipse of depth 390 +/- 190 ppm with a 2.0 sigma significance, a phase consistent with a circular orbit and a 3% false positive probability. Given the wavelength range of the observations (420 to 950 nm), the secondary transit depth translates into a day side brightness temperature of 2690(-220/+150) K, in line with measurements in the z' and K bands. The day side emission observed in the visible could be due either to thermal emission of an extremely hot day side with very little redistribution of heat to the night side, or to direct reflection of stellar light with a maximum geometrical albedo Ag=0.27 +/- 0.13. We also report a low-frequency oscillation well in phase at the planet orbital period, but with a lower-limit amplitude that could not be attributed to the planet phase alone, and possibly contaminated with residual lightcurve trends.


title: Block Thresholding on the Sphere

abstract: The aim of this paper is to study the nonparametric regression estimators on the sphere built by the needlet block thresholding. The block thresholding procedure proposed here follows the method introduced by Hall, Kerkyacharian and Picard in [Hall, Kerkyacharian, Picard, (1998), (1999)], modified to exploit the properties of the spherical standard needlets. Therefore, we will investigate on their convergence rates, attaining their adaptive properties over the Besov balls. This work is strongly motivated by issues arising in Cosmology and Astrophysics, concerning in particular the analysis of cosmic rays.


title: On Galerkin Approximations for the Zakai Equation with Diffusive and Point Process Observations

abstract: This paper studies Galerkin approximations applied to the Zakai equation of stochastic filtering. The basic idea of this approach is to project the infinite-dimensional Zakai equation onto some finite-dimensional subspace generated by smooth basis functions; this leads to a finite-dimensional system of stochastic differential equations that can be solved numerically. The contribution of the paper is twofold. On the theoretical side, existing convergence results are extended to filtering models with observations of point-process or mixed type. On the applied side, various issues related to the numerical implementation of the method are considered; in particular, we propose to work with a subspace that is constructed from a basis of Hermite polynomials. The paper closes with a numerical case study.


title: Universality of the triplet contact process with diffusion

abstract: The one-dimensional triplet contact process with diffusion (TCPD) model has been studied using fast multispin GPU Monte Carlo simulations. In particular, the particle density \rho and the density of pairs of neighboring particles \rho_p have been monitored as a function of time. Mean field predictions for the time evolution of these observables in the critical point are \rho\sim t^{-\delta} and \rho_p\sim t^{-\delta_p} with \delta=1/3 and \delta_p=2/3. We observe that in the vicinity of the critical point of the model, the ratio \rho_p/\rho tends to a constant, which shows that the one-dimensional TCPD model is not described by mean field behavior. Furthermore, our long simulations allow us to conclude that the mean field prediction of the exponent $\delta$ is almost certainly not correct either. Since the crossover to the critical regime is extremely slow for the TCPD model, we are unable to pinpoint a precise value for \delta, though we find as an upper bound \delta < 0.32.


title: Quasi-periodic Variations in the Hard X-ray emission of a Large Arcade Flare

abstract: Quasi-periodic oscillations of the hard X-ray (HXR) emission of the large flare of 2 November 1991 have been investigated using HXR light curves and soft X-ray and HXR images recorded by the {\sl Yohkoh} X-ray telescopes. The results of the analysis of these observations are the following: i) The observations confirm that electrons are accelerated in oscillating magnetic traps which are contained within the cusp magnetic structure. ii) The amplitude of the HXR pulses increase due to the increase in the amplitude of the magnetic trap oscillations and the increase in the density within the traps caused by the chromospheric evaporation upflow. iii) The increase in the amplitude of the HXR pulses terminates when further increase in the density inside the traps inhibits the acceleration of electrons. iv) The model of oscillating magnetic traps is able to explain time variation of the electron precipitation, strong asymmetry in precipitation of accelerated electrons, and systematic differences in the precipitation of 15 and 25 keV electrons. v) We have obtained a direct observational evidence that strong HXR pulses are the result of the inflow of dense plasma coming from the chromospheric evaporation, into the acceleration volume.


title: Model Prediction for the Transverse Single Target-Spin Asymmetry in inclusive DIS

abstract: The single-spin asymmetry of unpolarized leptons scattering deep-inelastically off transversely polarized nucleons is discussed. This observable is generated by a two-photon exchange between lepton and nucleon. In a partonic description of the asymmetry the non-perturbative part is given in terms of multiparton correlations: quark-gluon correlation functions and quark-photon correlation functions. Recently, a model for quark-gluon correlation functions was presented where these objects were expressed through non-valence light cone wave functions. Using this model, estimates for the single-spin asymmetries for a proton and a neutron are presented.


title: Discovery of the VHE gamma-ray source HESS J1641-463

abstract: A new TeV source, HESS J1641-463, has been serendipitously discovered in the Galactic plane by the High Energy Stereoscopic System (H.E.S.S.) at a significance level of 8.6 standard deviations. The observations of HESS J1641-463 were performed between 2004 and 2011 and the source has a moderate flux level of 1.7% of the Crab Nebula flux at E > 1 TeV. HESS J1641-463 has a rather hard photon index of 1.99 +- 0.13_stat +- 0.20_sys. HESS J1641-463 is positionally coincident with the radio supernova remnant SNR G338.5+0.1, but no clear X-ray counterpart has been found in archival Chandra observations of the region. Different possible VHE production scenarios will be discussed in this contribution.


title: Wavelet methods to eliminate resonances in the Galerkin-truncated Burgers and Euler equations

abstract: It is well known that solutions to the Fourier-Galerkin truncation of the inviscid Burgers equation (and other hyperbolic conservation laws) do not converge to the physically relevant entropy solution after the formation of the first shock. This loss of convergence was recently studied in detail in [S. S. Ray et al., Phys. Rev. E 84, 016301 (2011)], and traced back to the appearance of a spatially localized resonance phenomenon perturbing the solution. In this work, we propose a way to remove this resonance by filtering a wavelet representation of the Galerkin-truncated equations. A method previously developed with a complex-valued wavelet frame is applied and expanded to embrace the use of real-valued orthogonal wavelet basis, which we show to yield satisfactory results only under the condition of adding a safety zone in wavelet space. We also apply the complex-valued wavelet based method to the 2D Euler equation problem, showing that it is able to filter the resonances in this case as well.


title: Derivation of Hartree's theory for generic mean-field Bose systems

abstract: In this paper we provide a novel strategy to prove the validity of Hartree's theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the well-known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria-Lieb and Lieb-Yau for, respectively, bosonic atoms and boson stars.


title: Sufficient conditions for univalence of analytic functions

abstract: The article discusses criteria for univalence of analytic functions in the unit disc. Various families of analytic functions depending on real parameters are considered. A unified method for creating new sets of conditions ensuring univalence is presented. Applying this method we are able to find several families of new sharp criteria for univalence.


title: Charged Higgs boson production in single top mode at the LHC

abstract: The main production mode for a light charged Higgs boson at the LHC is $pp \to t \bar t$, with one the top-quarks decaying to a charged Higgs and a $b$-quark. However, single top production also gives rise to final states with charged Higgs bosons. In this work we analyse how the two processes compare at the LHC@14TeV. We will be working in the framework of the two-Higgs double model, considering both a CP-conserving and a CP-violating version of the model. We conclude that the single top mode could help to constrain the parameter space in several versions of the model. We also discuss the role of other complementary production processes in future searches at the LHC.


title: Cellularity of certain quantum endomorphism algebras

abstract: We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives sufficient conditions for the commutativity of specialisation with the taking of endomorphism algebras, and another which relates the multiplicities of indecomposable summands to the dimensions of simple modules for an endomorphism algebra. Our cellularity result then allows us to prove that knowledge of the dimensions of the simple modules of the specialised cellular algebra above is equivalent to knowledge of the weight multiplicities of the tilting modules for the specialised quantum group. In the final section we independently determine the weight multiplicities of indecomposable tilting modules for quantum sl2, and the decomposition numbers of the endomorphism algebras. We indicate how either one of these sets of numbers determines the other.


title: A highly specific gold nanoprobe for live-cell single-molecule imaging

abstract: Single molecule tracking in live cells is the ultimate tool to study subcellular protein dynamics, but it is often limited by the probe size and photostability. Due to these issues, long-term tracking of proteins in confined and crowded environments, such as intracellular spaces, remains challenging. We have developed a novel optical probe consisting of 5-nm gold nanoparticles functionalized with a small fragment of camelid antibodies that recognize widely used GFPs with a very high affinity, which we call GFP-nanobodies. These small gold nanoparticles can be detected and tracked using photothermal imaging for arbitrarily long periods of time. Surface and intracellular GFP-proteins were effectively labeled even in very crowded environments such as adhesion sites and cytoskeletal structures both in vitro and in live cell cultures. These nanobody-coated gold nanoparticles are probes with unparalleled capabilities; small size, perfect photostability, high specificity, and versatility afforded by combination with the vast existing library of GFP-tagged proteins.


title: Mechanism of Electrolyte-Induced Brightening in Single-Wall Carbon Nanotubes

abstract: While addition of electrolyte to sodium dodecyl sulfate suspensions of single-wall carbon nanotubes has been demonstrated to result in significant brightening of the nanotube photoluminescence (PL), the brightening mechanism has remained unresolved. Here, we probe this mechanism using time-resolved PL decay measurements. We find that PL decay times increase by a factor of 2 on addition of CsCl as the electrolyte. Such an increase directly parallels an observed near-doubling of PL intensity, indicating the brightening results primarily from changes in nonradiative decay rates associated with exciton diffusion to quenching sites. Our findings indicate that a reduced number of these sites results from electrolyte-induced reorientation of the surfactant surface structure that partially removes pockets of water from the tube surface where excitons can dissociate, and thus underscores the contribution of interfacial water in exciton recombination processes.


title: The Induced Electric Field Distribution in Solar Atmosphere

abstract: A method of calculating induced electric field is presented in this paper. Induced electric field in solar atmosphere is derived by the time variation of magnetic field when the charged particle accumulation is neglected. In order to get the spatial distribution of magnetic field, several extrapolation methods are introduced. With observational data from Helioseismic and Magnetic Imager (HMI) aboard the NASA's Solar Dynamics Observatory (SDO) on May 20th, 2010, we extrapolate the magnetic field to the upper atmosphere from the photosphere. By calculating the time variation of magnetic field, we can get the induced electric field. The derived induced electric field can reach a value of 100 V/cm and the average electric field has a maximum point at the layer of 360 km above the photosphere. The Monte Carlo statistics method is used to compute the triple integration of induced electric field.


title: Exact evaluation of the cutting path length in a percolation model on a hierarchical network

abstract: This work presents an approach to evaluate the exact value of the fractal dimension of the cutting path $d^{CP}_f$ on hierarchical structures with finite order of ramification. This represents the first renormalization group treatment of the universality class of watersheds. By making use of the self-similar property, we show that $d^{CP}_f$ depends only on the average cutting path (CP) of the first generation of the structure. For the simplest Wheastone hierarchical lattice (WHL), we present a mathematical proof. For a larger WHL structure, the exact value of $d^{CP}_f$ is derived based on an computer algorithm that identifies the length of all possible CP's of the first generation.


title: Physics of the Interplay Between the Top Quark and the Higgs Boson

abstract: We discuss some aspects of the interplay between the top quark and the Higgs boson at the LHC. First we describe what indirect information on the top Yukawa coupling can be extracted from measurements in the Higgs sector. We then show that the study of processes involving $Ht\bar{t}$ and $Hb\bar{b}$ final states can give us information on the spectrum in models of strong electroweak symmetry breaking. In particular, we introduce a novel analysis of the $Hb\bar{b}\to bb\bar{b}\bar{b}$ channel with an excellent discovery potential at the LHC.


title: A new statistic on the hyperoctahedral groups

abstract: We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincar\'e polynomials of the varieties of symmetric matrices of fixed rank. For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.


title: On traceability of claw-o_{-1}-heavy graphs

abstract: A graph is called traceable if it contains a Hamilton path, i.e., a path passing through all its vertices. Let $G$ be a graph on $n$ vertices. $G$ is called claw-$o_{-1}$-heavy if every induced claw ($K_{1,3}$) of $G$ has a pair of nonadjacent vertices with degree sum at least $n-1$ in $G$. In this paper we show that a claw-$o_{-1}$-heavy graph $G$ is traceable if we impose certain additional conditions on $G$ involving forbidden induced subgraphs.


title: Global regular axially symmetric solutions to the Navier-Stokes equations

abstract: The existence of global regular axially symmetric solutions to the Navier-Stokes equations in a bounded cylinder is proved. The main step in the proof is a proof of the Holder continuity of the swirl. This gives a possibility to prove global a priori estimate for regular solutions. Then a local solution can be extended step by step in time.


title: Problems with Propagation and Time Evolution in f(T) Gravity

abstract: Teleparallel theories of gravity have a long history. They include a special case referred to as the Teleparallel Equivalent of General Relativity (TEGR, aka GR$_{\|}$). Recently this theory has been generalized to f(T) gravity. Tight constraints from observations suggest that f(T) gravity is not as robust as initially hoped. This might hint at hitherto undiscovered problems at the theoretical level. In this work, we point out that a generic f(T) theory can be expected to have certain problems including superluminal propagating modes, the presence of which can be revealed by using the characteristic equations that govern the dynamics in f(T) gravity and/or the Hamiltonian structure of the theory via Dirac constraint analysis. We use several examples from simpler gauge field theories to explain how such superluminal modes could arise. We also point out problems with the Cauchy development of a constant time hypersurface in FLRW spacetime in f(T) gravity. The time evolution from a FLRW (and as a special case, Minkowski spacetime) initial condition is not unique.


title: K-Poincare-Hopf algebra and Hopf algebroid structure of phase space from twist

abstract: We unify k-Poincare algebra and k-Minkowski spacetime by embeding them into quantum phase space. The quantum phase space has Hopf algebroid structure to which we apply the twist in order to get k- deformed Hopf algebroid structure and k-deformed phase space. We explicitly construct k-Poincare-Hopf algebra and k-Minkowski spacetime from twist. It is outlined how this construction can be extended to k-deformed super algebra including exterior derivative and forms. Our results are relevant for constructing physical theories on noncommutative spacetime by twisting Hopf algebroid phase space structure.


title: The dynamics of the bulge dominated galaxy NGC 7814 in MOND

abstract: The bulge dominated galaxy NGC 7814 provides one of the strongest dynamical tests possible for Modified Newtonian Dynamics (MOND). Spitzer 3.6 micron photometry fixes the bulge parameterisation and strongly constrains the properties of the sub-dominant stellar disk. Furthermore, the distance is known to better than 5 percent, virtually eliminating it as a free parameter. The rotation curve is easily measured, since the H I (and stellar) disks are edge on, and both the receding and approaching sides agree very well. In this paper we explore the agreement between the model and observed rotation curves in MOND given that the only two free parameters available are the mass-to-light ratios of the bulge and disk. We use a grid based MOND Poisson solver that accurately solves for the MOND gravity and produces our model rotation curves from a given mass distribution. The input to the Poisson solver is a 3D distribution of N particles which is generated from modelling the observed distribution of stars and gas in the galaxy. By ensuring a superior fit to the radial surface brightness profile than previous works, by virtue of a double Sersic fit to the bulge, we were able to produce excellent fits to the rotation curve with typical values for both mass-to-light ratios. We conclude that the model rotation curve of a mass distribution in MOND is extremely sensitive to the bulge-disk decomposition and even slight deviation from the observed mass distribution can produce large differences in the model rotation curve.


title: Anomalous velocity distributions in active Brownian suspensions

abstract: Large scale simulations and analytical theory have been combined to obtain the non-equilibrium velocity distribution, $f(v)$, of randomly accelerated particles in suspension. The simulations are based on an event-driven algorithm, generalised to include friction. They reveal strongly anomalous but largely universal distributions which are independent of volume fraction and collision processes, which suggests a one-particle model should capture all the essential features. We have formulated this one-particle model and solved it analytically in the limit of strong damping, where we find that $f(v)$ decays as $1/v$ for multiple decades, eventually crossing over to a Gaussian decay for the largest velocities. Many particle simulations and numerical solution of the one-particle model agree for all values of the damping.


title: Paley--Wiener Theorems for the U(n)--spherical transform on the Heisenberg group

abstract: We prove several Paley--Wiener-type theorems related to the spherical transform on the Gelfand pair $\big(H_n\rtimes U(n),U(n)\big)$, where $H_n$ is the $2n+1$-dimensional Heisenberg group. Adopting the standard realization of the Gelfand spectrum as the Heisenberg fan in ${\mathbb R}^2$, we prove that spherical transforms of $ U(n)$--invariant functions and distributions with compact support in $H_n$ admit unique entire extensions to ${\mathbb C}^2$, and we find real-variable characterizations of such transforms. Next, we characterize the inverse spherical transforms of compactly supported functions and distributions on the fan, giving analogous characterizations.


title: Kinetic theory of spatially homogeneous systems with long-range interactions: II. Basic equations

abstract: We provide a short historic of the early development of kinetic theory in plasma physics and synthesize the basic kinetic equations describing the evolution of systems with long-range interactions derived in Paper I. We describe the evolution of the system as a whole and the relaxation of a test particle in a bath at equilibrium or out-of-equilibrium. We write these equations for an arbitrary long-range potential of interaction in a space of arbitrary dimension d. We discuss the scaling of the relaxation time with the number of particles for non-singular potentials. For always spatially homogeneous systems, the relaxation time of the system as a whole scales like N in d>1 and like N^2 (presumably) in d=1. For always spatially inhomogeneous systems, the relaxation time of the system as a whole scales like N in any dimension of space. For one dimensional systems undergoing a dynamical phase transition from a homogeneous to an inhomogeneous phase, we expect a relaxation time of the form N^{\delta} with 1<\delta<2 intermediate between the two previous cases. The relaxation time of a test particle in a bath always scales like N. We also briefly discuss the kinetic theory of systems with long-range interactions submitted to an external stochastic potential. This paper gathers basic equations that are applied to specific systems in Paper III.


title: Planetary influences on photometric variation of the extreme helium subdwarf KIC10449976

abstract: We propose that the unstable 3.9days photometric periodicity of the hot subdwarf (sdO) KIC10449976 results from a tidally locked planet that is heated to 5000K by the UV radiation from the hot sdO star. Although the bolometric radiation from the planet is very small relative to that of the star, in the visible band the planet contributes 0.07% of the light, sufficient to explain the observed periodic behavior. In our proposed scenario the stochastic variations in period and light amplitude are attributed to weather on the planet. Namely, streams on the surface and thermal variations in the planet's atmosphere that are driven by the heating and by the planet rotation lead to stochastic changes in the amount of radiation emitted by the planets. We predict that a careful monitoring will reveal a gas giant planet at an orbital separation of 8.3Rsun from KIC10449976.


title: Fluctuations of the intergalactic ionization field at redshift z ~ 2

abstract: (Abridged) Aims. To probe the spectral energy distribution (SED) of the ionizing background radiation at z ~ 2 and to specify the sources contributing to the intergalactic radiation field. Methods. The spectrum of a bright quasar HS1103+6416 (zem = 2.19) contains five successive metal-line absorption systems at zabs = 1.1923, 1.7193, 1.8873, 1.8916, and 1.9410. The systems are optically thin and reveal multiple lines of different metal ions with the ionization potentials lying in the extreme ultraviolet (EUV) range (1 Ryd to 0.2 keV). For each system, the EUV SED of the underlying ionization field is reconstructed by means of a special technique developed for solving the inverse problem in spectroscopy. For the zabs = 1.8916 system, the analysis also involves the HeI resonance lines of the Lyman series and the HeI 504 A continuum, which are seen for the first time in any cosmic object except the Sun. Results. From one system to another, the SED of the ionizing continuum changes significantly, indicating that the intergalactic ionization field at z ~ 2 fluctuates at the scale of at least Delta_z ~ 0.004. This is consistent with Delta_z ~ 0.01 estimated from HeII and HI Lyman-alpha forest measurements between the redshifts 2 and 3.


title: Driving force of phase transition in Indium nanowires on Si(111)

abstract: The precise driving force of the phase transition in indium nanowires on Si(111) has been controversial whether it is driven by a Peierls instability or by a simple energy lowering due to a periodic lattice distortion. The present van der Waals (vdW) corrected hybrid density functional calculation predicts that the low-temperature 8x2 structure whose building blocks are indium hexagons is energetically favored over the room-temperature 4x1 structure. We show that the correction of self-interaction error and the inclusion of vdW interactions play crucial roles in describing the covalent bonding, band-gap opening, and energetics of hexagon structures. The results manifest that the formation of hexagons occurs by a simple energy lowering due to the lattice distortion, not by a charge density wave formation arising from Fermi surface nesting.


title: Self-learning kinetic Monte Carlo model for arbitrary surface orientations

abstract: While the self-learning kinetic Monte Carlo (SLKMC) method enables the calculation of transition rates from a realistic potential, implementations of it were usually limited to one specific surface orientation. An example is the fcc (111) surface in Latz et al. 2012, J. Phys.: Condens. Matter 24, 485005. This work provides an extension by means of detecting the local orientation, and thus allows for the accurate simulation of arbitrarily shaped surfaces. We applied the model to the diffusion of Ag monolayer islands and voids on a Ag(111) and Ag(001) surface, as well as the relaxation of a three-dimensional spherical particle.


title: Gravitating vortons as ring solitons in general relativity

abstract: Vortons can be viewed as (flat space-) field theory analogs of black rings in general relativity. They are made from loops of vortices, being sustained against collapse by the centrifugal force. In this work we discuss such configurations in the global version of Witten's U(1)xU(1) theory. We first consider solutions in a flat spacetime background and show their non-uniqueness. The inclusion of gravity leads to new features. In particular, an ergoregion can occur. Also, similar to boson stars, we show that the vortons exist only in a limited frequency range. The coupling to gravity gives rise to a spiral-like frequency dependence of the mass and charge. New solutions of the model describing 'semitopological vortons' and 'di-vortons' are also discussed.


title: Kinetic theory of spatially homogeneous systems with long-range interactions: III. Application to power-law potentials, plasmas, stellar systems, and to the HMF model

abstract: We apply the general results of the kinetic theory of systems with long-range interactions to particular systems of physical interest. We consider repulsive and attractive power-law potentials of interaction r^{-\gamma} with \gamma<d in a space of dimension d. For \gamma>\gamma_c= (d-1)/2, strong collisions must be taken into account and the evolution of the system is governed by the Boltzmann equation or by a modified Landau equation; for \gamma<\gamma_c, strong collisions are negligible and the evolution of the system is governed by the Lenard-Balescu equation. In the marginal case \gamma=\gamma_c, we can use the Landau equation (with appropriately justified cut-offs) as a relevant approximation of the Boltzmann and Lenard-Balescu equations. The divergence at small scales that appears in the original Landau equation is regularized by the effect of strong collisions. In the case of repulsive interactions with a neutralizing background (e.g. plasmas), the divergence at large scales that appears in the original Landau equation is regularized by collective effects accounting for Debye shielding. In the case of attractive interactions (e.g. gravity), it is regularized by the spatial inhomogeneity of the system and its finite extent. We provide explicit analytical expressions of the diffusion and friction coefficients, and of the relaxation time, depending on the value of the exponent \gamma and on the dimension of space d. We treat in a unified framework the case of Coulombian plasmas and stellar systems in various dimensions of space, and the case of the attractive and repulsive HMF models.


title: The Pythagoras number and the $u$-invariant of Laurent series fields in several variables

abstract: We show that every sum of squares in the three-variable Laurent series field $\mathbb{R}((x,y,z))$ is a sum of 4 squares, as was conjectured in a paper of Choi, Dai, Lam and Reznick in the 1980's. We obtain this result by proving that every sum of squares in a finite extension of $\mathbb{R}((x,y))$ is a sum of $3$ squares. It was already shown in Choi, Dai, Lam and Reznick's paper that every sum of squares in $\mathbb{R}((x,y))$ itself is a sum of two squares. We give a generalization of this result where $\mathbb{R}$ is replaced by an arbitrary real field. Our methods yield similar results about the $u$-invariant of fields of the same type.


title: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

abstract: As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that - according to our experience - are currently applied in practice, with special emphasis on the avionic, railway and automotive domains. The key factors for successful industrial-scale application of MBT are described, both from a scientific and a managerial point of view. With respect to the former view, we describe the techniques for automated test case, test data and test procedure generation for concurrent reactive real-time systems which are considered as the most important enablers for MBT in practice. With respect to the latter view, our experience with introducing MBT approaches in testing teams are sketched. Finally, the most challenging open scientific problems whose solutions are bound to improve the acceptance and effectiveness of MBT in industry are discussed.


title: Towards the Usage of MBT at ETSI

abstract: In 2012 the Specialists Task Force (STF) 442 appointed by the European Telcommunication Standards Institute (ETSI) explored the possibilities of using Model Based Testing (MBT) for test development in standardization. STF 442 performed two case studies and developed an MBT-methodology for ETSI. The case studies were based on the ETSI-standards GeoNetworking protocol (ETSI TS 102 636) and the Diameter-based Rx protocol (ETSI TS 129 214). Models have been developed for parts of both standards and four different MBT-tools have been employed for generating test cases from the models. The case studies were successful in the sense that all the tools were able to produce the test suites having the same test adequacy as the corresponding manually developed conformance test suites. The MBT-methodology developed by STF 442 is based on the experiences with the case studies. It focusses on integrating MBT into the sophisticated standardization process at ETSI. This paper summarizes the results of the STF 442 work.


title: Testing Java implementations of algebraic specifications

abstract: In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests' results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented.


title: Decomposability in Input Output Conformance Testing

abstract: We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the criteria for strong decomposability, by which we can ensure that only those components conforming to the derived specification can lead to a correct system.


title: Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

abstract: Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified property is called a monitor. Nowadays, a variety of formalisms are used to express properties on observed behavior of computer systems, and a lot of methods have been proposed to construct monitors. However, it is a frequent situation when advanced formalisms and methods are not needed, because an executable model of the system is available. The original purpose and structure of the model are out of importance; rather what is required is that the system and its model have similar sets of interfaces. In this case, monitoring is carried out as follows. Two "black boxes", the system and its reference model, are executed in parallel and stimulated with the same input sequences; the monitor dynamically captures their output traces and tries to match them. The main problem is that a model is usually more abstract than the real system, both in terms of functionality and timing. Therefore, trace-to-trace matching is not straightforward and allows the system to produce events in different order or even miss some of them. The paper studies on-the-fly conformance relations for timed systems (i.e., systems whose inputs and outputs are distributed along the time axis). It also suggests a practice-oriented methodology for creating and configuring monitors for timed systems based on executable models. The methodology has been successfully applied to a number of industrial projects of simulation-based hardware verification.


title: Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines

abstract: Systems tend to become more and more complex. This has a direct impact on system engineering processes. Two of the most important phases in these processes are requirements engineering and quality assurance. Two significant complexity drivers located in these phases are the growing number of product variants that have to be integrated into the requirements engineering and the ever growing effort for manual test design. There are modeling techniques to deal with both complexity drivers like, e.g., feature modeling and model-based test design. Their combination, however, has been seldom the focus of investigation. In this paper, we present two approaches to combine feature modeling and model-based testing as an efficient quality assurance technique for product lines. We present the corresponding difficulties and approaches to overcome them. All explanations are supported by an example of an online shop product line.


title: The NGC 1614 Interacting Galaxy: Molecular Gas Feeding a "Ring of Fire"

abstract: Minor mergers frequently occur between giant and gas-rich low mass galaxies and can provide significant amounts of interstellar matter to refuel star formation and power AGN in the giant systems. Major starbursts and/or AGN result when fresh gas is transported and compressed in the central regions of the giant galaxy. This is the situation in NGC1614, whose molecular medium we explore at half arcsecond angular resolution through our observations of 12CO(2-1) emission using the SMA. We compare our maps with optical and Pa alpha, HST and high angular resolution radio continuum images to study the relationships between dense molecular gas and the starburst region. The most intense CO emission occurs in a partial ring with ~230pc radius around the center, with an extension to the north-west into the dust lane that contains diffuse molecular gas. We resolve 10 GMAs in the ring which has an integrated molecular mass of ~8x10^8M_sun. Our observations filter out a large part of the CO(1-0) emission mapped at shorter spacings, indicating that most of the molecular gas is diffuse and that GMAs only exist near and within the circumnuclear ring. The molecular ring is uneven with most of the mass on the western side, which also contains GMAs extending into a pronounced tidal dust lane. The spatial and kinematic patterns suggest that the northwest extension of the ring is a cosmic umbilical cord that is feeding molecular gas associated with the dust lane and tidal debris into the nuclear ring. The astrophysical process for producing a ring structure is not fully understood, but the presence of numerous GMAs suggests an orbit crowding or resonance phenomenon. There is some evidence that star formation is progressing radially outwards within the ring, indicating that a self-triggering mechanism may also affect these processes.


title: Testing the non-linear flux ansatz for maximal supergravity

abstract: We put to test the recently proposed non-linear flux ansatz for maximal supergravity in eleven dimensions, which gives the seven-dimensional flux in terms of the scalars and pseudoscalars of maximal N=8 supergravity, by considering a number of non-trivial solutions of gauged supergravity for which the higher dimensional solutions are known. These include the G$_2$ and SU(4)$^-$ invariant stationary points. The examples considered constitute a very non-trivial check of the ansatz, which it passes with remarkable success.


title: Controlling light propagation: a brief review

abstract: Recent results by Hoffman et al. showed that it is possible to build a Negative Refractive Material (NIM) by interleaving InGaAs/AlInAs using current nanofabrication technologies. Their findings provide the first experimental proof of a negative refractive semiconductor long posited by transformation optics. In this paper an overview on semiconductor refractive index theory and negative refraction is presented, focusing on the results of Hoffman et al. and the future of the subject based on the theory of Transformation Optics and its importance to tailor materials electrodynamics properties.


title: Genus expansion of HOMFLY polynomials

abstract: In the planar limit of the 't Hooft expansion, the Wilson-loop average in 3d Chern-Simons theory (i.e. the HOMFLY polynomial) depends in a very simple way on representation (the Young diagram), so that the (knot-dependent) Ooguri-Vafa partition function becomes a trivial KP tau-function. We study higher genus corrections to this formula in the form of expansion in powers of z = q-q^{-1}. Expansion coefficients are expressed through the eigenvalues of the cut-and-join operators, i.e. symmetric group characters. Moreover, the z-expansion is naturally exponentiated. Representation through cut-and-join operators makes contact with Hurwitz theory and its sophisticated integrability properties. Our formulas describe the shape of genus expansion for the HOMFLY polynomials, which for their matrix model counterparts is usually controlled by Virasoro like constraints and AMM/EO topological recursion. The genus expansion differs from the better studied weak coupling expansion at finite number of colors N, which is described in terms of the Vassiliev invariants and Kontsevich integral.


title: Space-Efficient Las Vegas Algorithms for K-SUM

abstract: Using hashing techniques, this paper develops a family of space-efficient Las Vegas randomized algorithms for $k$-SUM problems. This family includes an algorithm that can solve 3-SUM in $O(n^2)$ time and $O(\sqrt{n})$ space. It also establishes a new time-space upper bound for SUBSET-SUM, which can be solved by a Las Vegas algorithm in $O^*(2^{(1-\sqrt{\8/9\beta})n})$ time and $O^*(2^{\beta n})$ space, for any $\beta \in [0, \9/32]$.