title: Fabrication of GaN/AlGaN 1D photonic crystals designed for nonlinear optical applications

abstract: In this paper we present a reliable process to fabricate GaN/AlGaN one dimensional photonic crystal (1D-PhC) microcavities with nonlinear optical properties. We used a heterostructure with a GaN layer embedded between two Distributed Bragg Reflectors consisting of AlGaN/GaN multilayers, on sapphire substrate, designed to generate a {\lambda}= 800 nm frequency down-converted signal (\chi^(2) effect) from an incident pump signal at {\lambda}= 400 nm. The heterostructure was epitaxially grown by metal organic chemical vapour deposition (MOCVD) and integrates a properly designed 1D-PhC grating, which amplifies the signal by exploiting the double effect of cavity resonance and non linear GaN enhancement. The integrated 1D-PhC microcavity was fabricate combing a high resolution e-beam writing with a deep etching technique. For the pattern transfer we used ~ 170 nm layer Cr metal etch mask obtained by means of high quality lift-off technique based on the use of bi-layer resist (PMMA/MMA). At the same time, plasma conditions have been optimized in order to achieve deeply etched structures (depth over 1 micron) with a good verticality of the sidewalls (very close to 90{\deg}). Gratings with well controlled sizes (periods of 150 nm, 230 nm and 400 nm respectively) were achieved after the pattern is transferred to the GaN/AlGaN heterostructure.


title: Optimal Cell Towers Distribution by using Spatial Mining and Geographic Information System

abstract: The appearance of wireless communication is dramatically changing our life. Mobile telecommunications emerged as a technological marvel allowing for access to personal and other services, devices, computation and communication, in any place and at any time through effortless plug and play. Setting up wireless mobile networks often requires: Frequency Assignment, Communication Protocol selection, Routing schemes selection, and cells towers distributions. This research aims to optimize the cells towers distribution by using spatial mining with Geographic Information System (GIS) as a tool. The distribution optimization could be done by applying the Digital Elevation Model (DEM) on the image of the area which must be covered with two levels of hierarchy. The research will apply the spatial association rules technique on the second level to select the best square in the cell for placing the antenna. From that the proposal will try to minimize the number of installed towers, makes tower's location feasible, and provides full area coverage.


title: On deformations of quasi-Miura transformations and the Dubrovin-Zhang bracket

abstract: In our recent paper we proved the polynomiality of a Poisson bracket for a class of infinite-dimensional Hamiltonian systems of PDE's associated to semi-simple Frobenius structures. In the conformal (homogeneous) case, these systems are exactly the hierarchies of Dubrovin-Zhang, and the bracket is the first Poisson structure of their hierarchy. Our approach was based on a very involved computation of a deformation formula for the bracket with respect to the Givental-Y.-P. Lee Lie algebra action. In this paper, we discuss the structure of that deformation formula. In particular, we reprove it using a deformation formula for weak quasi-Miura transformation that relates our hierarchy of PDE's with its dispersionless limit.


title: Characterizing Neutral Modes of Fractional States in the Second Landau Level

abstract: Quasiparticles, which obey non abelian statistics, were predicted to exist in different physical systems, but are yet to be observed directly. Possible candidate states, which are expected to support such quasiparticles, are the {\nu}=8/3, {\nu}=5/2 and {\nu}=7/3 fractional quantum Hall states (in the second Landau level). The non abelian quasiparticles are expected to carry charge and a unique form of a chiral neutral edge mode. Recent measurements in the {\nu}=5/2 state detected quasiparticle charge e/4 and an upstream (opposite to charge transport) chiral neutral mode; both agreeing with a non abelian anti-Pfaffian state; although not excluding the possibility of edge reconstruction as the source for the detected upstream neutral mode and a different type of state. Here we present results of detailed measurements of charge and neutral modes in the main three quantum Hall states of the second Landau level. For the {\nu}=8/3 state we found a quasiparticle charge e/3 and an upstream neutral mode - excluding the possibility of a non abelian Read-Rezayi state and supporting a Laughlin-like state. Such exclusion holds for the hole-conjugate {\nu}=7/3 state as well, in which no upstream neutral mode was detected. This also proves that edge reconstruction was not present in the {\nu}=7/3 state, suggesting its absence also in {\nu}=5/2 state and thus supporting further the non abelian anti Pfaffian state.


title: Computing Border Bases without using a Term Ordering

abstract: Border bases, a generalization of Groebner bases, have actively been researched during recent years due to their applicability to industrial problems. A. Kehrein and M. Kreuzer formulated the so called Border Basis Algorithm, an algorithm which allows the computation of border bases that relate to a degree compatible term ordering. In this paper we extend the original Border Basis Algorithm in such a way that also border bases that do not relate to any term ordering can be computed by it.


title: Hydrodynamical and radiative modeling of temporal H{\alpha} emission V/R variations caused by a discontinuous mass transfer in binaries

abstract: H{\alpha} emission V/R variations caused by a discontinous mass transfer in interacting binaries with a rapidly rotating accreting star are modelled qualititatively for the first time. The program ZEUS-MP was used for a non-linear 3-D hydrodynamical modeling of a development of a blob of gaseous material injected into an orbit around a star. It resulted in the formation of an elongated disk with a slow prograde revolution. The LTE radiative transfer program SHELLSPEC was used to calculate the H{\alpha} profiles originating in the disk for several phases of its revolution. The profiles have the form of a double emission and exhibit V/R and radial velocity variations. However, these variations should be a temporal phenomenon since imposing a viscosity in given model would lead to a circularization of the disk and fading-out of given variations.


title: The Pseudoscalar Meson and Heavy Vector Meson Scattering Lengths

abstract: We have systematically studied the S-wave pseudoscalar meson and heavy vector meson scattering lengths to the third order with the chiral perturbation theory, which will be helpful to reveal their strong interaction. For comparison, we have presented the numerical results of the scattering lengths (1) in the framework of the heavy meson chiral perturbation theory and (2) in the framework of the infrared regularization. The chiral expansion converges well in some channels.


title: RRATs: New Discoveries, Timing Solutions & Musings

abstract: We describe observations of Rotating RAdio Transients (RRATs) that were discovered in a re-analysis of the Parkes Multi-beam Pulsar Survey (PMPS). The sources have now been monitored for sufficiently long to obtain seven new coherent timing solutions, to make a total of 14 now known. Furthermore we announce the discovery of 7 new transient sources, one of which may be extragalactic in origin (with $z\sim0.1$) and would then be a second example of the so-called `Lorimer burst'. The timing solutions allow us to infer neutron star characteristics such as energy-loss rate, magnetic field strength and evolutionary timescales, as well as facilitating multi-wavelength followup by providing accurate astrometry. All of this enables us to consider the question of whether or not RRATs are in any way special, i.e. a distinct and separate population of neutron stars, as has been previously suggested. We see no reason to consider 'RRAT' as anything other than a detection label, the subject of a selection effect in the parameter space searched. However, single-pulse searches can be utilised to great effect to identify pulsars difficult, or impossible, to find by other means, in particular those with long-periods (half of the PMPS RRATs have periods greater than 4 seconds), high-magnetic field strengths ($B\gtrsim 10^{13}$ G) and pulsars approaching the 'death valley'. The detailed nulling properties of such pulsars are unknown but the mounting evidence suggests a broad range of behaviour in the pulsar population. The group of RRATs fit in to the picture where pulsar magnetospheres switch between stable configurations.


title: The Variety of Polar Simplices

abstract: A collection of n distinct hyperplanes L_i ={l_i=0} in P^{n-1}, the n-1-dimensional projective space over an algebraically closed field of characteristic not equal to 2, is a polar simplex of a quadric Q={q=0}, if each L_i is the polar hyperplane of the point p_i, the intersection point of the L_j with j different from i, equivalently, if q= l_1^2+...+l_n^2 for suitable choices of the linear forms l_i. In this paper we study the closure VPS(Q,n) in Hilb_n(P^{n-1}) of the variety of sums of powers presenting Q from a global viewpoint: VPS(Q,n) is a smooth Fano variety of index 2 and Picard number 1 when n<6, and VPS(Q,n) is singular when n>= 6.


title: Bayesian inverse problems for Burgers and Hamilton-Jacobi equations with white-noise forcing

abstract: The paper formulates Bayesian inverse problems for inference in a topological measure space given noisy observations. Conditions for the validity of the Bayes formula and the well-posedness of the posterior measure are studied. The abstract theory is then applied to Burgers and Hamilton-Jacobi equations on a semi-infinite time interval with forcing functions which are white noise in time. Inference is made on the white noise forcing, assuming the Wiener measure as the prior.


title: Approximate deconvolution large eddy simulation of a barotropic ocean circulation model

abstract: This paper puts forth a new large eddy simulation closure modeling strategy for two-dimensional turbulent geophysical flows. This closure modeling approach utilizes approximate deconvolution, which is based solely on mathematical approximations and does not employ additional phenomenological arguments to the model. The new approximate deconvolution model is tested in the numerical simulation of the wind-driven circulation in a shallow ocean basin, a standard prototype of more realistic ocean dynamics. The model employs the barotropic vorticity equation driven by a symmetric double-gyre wind forcing, which yields a four-gyre circulation in the time mean. The approximate deconvolution model yields the correct four-gyre circulation structure predicted by a direct numerical simulation, on a coarser mesh but at a fraction of the computational cost. This first step in the numerical assessment of the new model shows that approximate deconvolution could represent a viable tool for under-resolved computations in the large eddy simulation of more realistic turbulent geophysical flows.


title: $D^0-\bar{D}^0$ mixing studies with the decays $D^0 \to K^0_S K^\mp \pi^\pm$

abstract: We demonstrate how a time-dependent analysis of the decays $D^0 \to K^0_S K^\mp \pi^\pm$ can be used to determine the $D^0-\bar{D}^0$ mixing parameter $y$ with a precision that is competitive with established methods. The proposed analysis is an inclusive study which makes use of the measurements of the coherence factor and mean strong phase difference for these decays recently performed by CLEO.


title: Parallel calculation of the median and order statistics on GPUs with application to robust regression

abstract: We present and compare various approaches to a classical selection problem on Graphics Processing Units (GPUs). The selection problem consists in selecting the $k$-th smallest element from an array of size $n$, called $k$-th order statistic. We focus on calculating the median of a sample, the $n/2$-th order statistic. We introduce a new method based on minimization of a convex function, and show its numerical superiority when calculating the order statistics of very large arrays on GPUs. We outline an application of this approach to efficient estimation of model parameters in high breakdown robust regression.


title: Thick brane solutions supported by two spinor fields

abstract: Stationary thick brane solutions supported by two spinor fields are considered. Two spinor fields are used here to exclude the off-diagonal components of the energy-momentum tensor of the spinor fields. The trapping of a test scalar field on the brane is also considered.


title: Constraints on the black hole spin in the quasar SDSS J094533.99+100950.1

abstract: The spin of the black hole is an important parameter which may be responsible for the properties of the inflow and outflow of the material surrounding a black hole. Broad band IR/optical/UV spectrum of the quasar SDSS J094533.99+100950.1 is clearly disk-dominated, with the spectrum peaking up in the observed frequency range. Therefore, disk fitting method usually used for Galactic black holes can be used in this object to determine the black hole spin. We develop the numerical code for computing disk properties, including radius-dependent hardening factor, and we apply the ray-tracing method to incorporate all general relativity effects in light propagation. We show that the simple multicolor disk model gives a good fit, without any other component required, and the disk extends down to the marginally stable orbit. The best fit accretion rate is 0.13, well below the Eddington limit, and the black hole spin is moderate, 0.3. The contour error for the fit combined with the constraints for the black hole mass and the disk inclination gives a constraint that the spin is lower than 0.8. We discuss the sources of possible systematic errors in the parameter determinations.


title: A solution to Higgs naturalness

abstract: The Standard Model (SM) is usually considered to be unnatural because the scalar Higgs mass receives a quadratic divergent correction. We suggest a new way to solve the naturalness problem from point of view of renormalization group method. Our approach is illustrated through the familiar $\phi^4$ theory. A renormalization group equation for scalar field mass is proposed by introducing a subtraction scale. We give a non-trivial prediction: the Higss mass at short-distance is a damping exponential function of the energy scale. It follows from a characteristic of the SM that the couplings to Higgs are proportional to field masses, in particular the Higgs self-interactions. In the ultraviolent limit, the Higgs mass approaches to a mass called by Veltman mass which is at the order of the electroweak scale. The fine-tuning is not necessary. The Higgs naturalness problem is solved by radiative corrections themselves.


title: Parameter Estimation of Noise Corrupted Sinusoids

abstract: Existing algorithms for fitting the parameters of a sinusoid to noisy discrete time observations are not always successful due to initial value sensitivity and other issues. This paper demonstrates the techniques of FIR filtering, Fast Fourier Transform, circular autocorreltion, and nonlinear least squares minimization as useful in the parameter estimation of amplitude, frequency and phase exemplified for a low-frequency time-delayed sinusoid describing simple harmonic motion. Alternative means are described for estimating frequency and phase angle. An autocorrelation function for harmonic motion is also derived.


title: Odd Parity Light Baryon Resonances

abstract: We use a consistent SU(6) extension of the meson-baryon chiral Lagrangian within a coupled channel unitary approach in order to calculate the T-matrix for meson-baryon scattering in s-wave. The building blocks of the scheme are the pion and nucleon octets, the rho nonet and the Delta decuplet. We identify poles in this unitary T-matrix and interpret them as resonances. We study here the non exotic sectors with strangeness S=0,-1,-2,-3 and spin J=1/2, 3/2 and 5/2. Many of the poles generated can be associated with known N, Delta, Sigma, Lambda and Xi resonances with negative parity. We show that most of the low-lying three and four star odd parity baryon resonances with spin 1/2 and 3/2 can be related to multiplets of the spin-flavor symmetry group SU(6). This study allows us to predict the spin-parity of the Xi(1620), Xi(1690), Xi(1950), Xi(2250), Omega(2250) and Omega(2380) resonances, which have not been determined experimentally yet.


title: \epsilon-Corrected Seiberg-Witten Prepotential Obtained From Half Genus Expansion in beta-Deformed Matrix Model

abstract: We consider the half-genus expansion of the resolvent function in the $\beta$-deformed matrix model with three-Penner potential under the AGT conjecture and the $0d-4d$ dictionary. The partition function of the model, after the specification of the paths, becomes the DF conformal block for fixed $c$ and provides the Nekrasov partition function expanded both in $g_s = \sqrt{-\epsilon_1 \epsilon_2}$ and in $\epsilon = \epsilon_1+\epsilon_2$. Exploiting the explicit expressions for the lower terms of the free energy extracted from the above expansion, we derive the first few $\epsilon$ corrections to the Seiberg-Witten prepotential in terms of the parameters of SU(2), $N_{f} =4$, ${\cal N}= 2$ supersymmetric gauge theory.


title: Prospects for fast Rydberg gates on an atom chip

abstract: Atom chips are a promising candidate for a scalable architecture for quantum information processing provided a universal set of gates can be implemented with high fidelity. The difficult part in achieving universality is the entangling two-qubit gate. We consider a Rydberg phase gate for two atoms trapped on a chip and employ optimal control theory to find the shortest gate that still yields a reasonable gate error. Our parameters correspond to a situation where the Rydberg blockade regime is not yet reached. We discuss the role of spontaneous emission and the effect of noise from the chip surface on the atoms in the Rydberg state.


title: Tomography from the Next Generation of Cosmic Shear Experiments for Viable f(R) Models

abstract: We present the cosmic shear signal predicted by two viable cosmological models in the framework of modified-action f(R) theories. We use f(R) models where the current accelerated expansion of the Universe is a direct consequence of the modified gravitational Lagrangian rather than Dark Energy (DE), either in the form of vacuum energy/cosmological constant or of a dynamical scalar field (e.g. quintessence). We choose Starobinsky's (St) and Hu & Sawicki's (HS) f(R) models, which are carefully designed to pass the Solar System gravity tests. In order to further support - or rule out - f(R) theories as alternative candidates to the DE hypothesis, we exploit the power of weak gravitational lensing, specifically of cosmic shear. We calculate the tomographic shear matrix as it would be measured by the upcoming ESA Cosmic Vision Euclid satellite. We find that in the St model the cosmic shear signal is almost completely degenerate with LCDM, but it is easily distinguishable in the HS model. Moreover, we compute the corresponding Fisher matrix for both the St and HS models, thus obtaining forecasts for their cosmological parameters. Finally, we show that the Bayes factor for cosmic shear will definitely favour the HS model over LCDM if Euclid measures a value larger than ~0.02 for the extra HS parameter n_HS.


title: Titan's Obliquity as evidence for a subsurface ocean?

abstract: On the basis of gravity and radar observations with the Cassini spacecraft, the moment of inertia of Titan and the orientation of Titan's rotation axis have been estimated in recent studies. According to the observed orientation, Titan is close to the Cassini state. However, the observed obliquity is inconsistent with the estimate of the moment of inertia for an entirely solid Titan occupying the Cassini state. We propose a new Cassini state model for Titan in which we assume the presence of a liquid water ocean beneath an ice shell and consider the gravitational and pressure torques arising between the different layers of the satellite. With the new model, we find a closer agreement between the moment of inertia and the rotation state than for the solid case, strengthening the possibility that Titan has a subsurface ocean.


title: Energy deposition studies for the Neutrino Factory target station

abstract: A study of the energy deposition in the Neutrino Factory baseline target station is presented. FLUKA simulations are used to study how much of the 4 MW proton beam power is distributed within the target station, and these results are compared with MARS simulations. About 10% of the beam power is deposited in the mercury jet target, with more than 2 MW absorbed by the tungsten- carbide shielding. Heating in the superconducting coils, that generate most of the magnetic field in the target region, can be substantially reduced by increasing the surrounding shielding. Estimates of radiation damage are also given for different sections of the target geometry.


title: Preliminary design of a RESPER probe prototype, configured in a multi dipole-dipole array

abstract: The RESPER probe has been assembled, except the ferrules that must ensure the contact, by insulating materials and more specifically in Tufnol, as regards the support plates, and Teflon, as regards the standoffs. A series of holes has been drilled on the surface of support plates in order to allow approaching each other of the two central electrodes to external ones, from a minimum of 4.29 cm to a maximum of 10 cm. The dipole-dipole array defined by the integer parameter n = 6 could not be implemented, as the positioning of suitable "spring" shafts requires 6 mm holes and an adequate space could not be available to carry out the drilling. The presence of these "spring" shafts allows reaching a right prominence of the tip from the base and, at the same time, a certain amount of pressure which ensures the proper adherence to the artifact that must be tested. There is a brass screw within each shaft, which edge has been turned to the measurement of 1.4 mm. Four metal spacers are replaced of time in time depending on the configuration that is to be adopted. The achievement of height l(n) from the plates is ensured by the presence of metallic spacers. To complete the description, a copper cable, 1 m long and with a 4.0 mm2 section area, has been welded to the head of each electrode. The two transmitting or reading cables are kept at a fixed distance L(n) between them by means of Teflon rods in which has been applied the same series of holes existing on the Tufnol plates.


title: Non-deterministic inductive definitions

abstract: We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions". We give applications to formal topology as well as a predicative justification of this principle.


title: An Axis-Based Representation for Recognition

abstract: This paper presents a new axis-based shape representation scheme along with a matching framework to address the problem of generic shape recognition. The main idea is to define the relative spatial arrangement of local symmetry axes and their metric properties in a shape centered coordinate frame. The resulting descriptions are invariant to scale, rotation, small changes in viewpoint and articulations. Symmetry points are extracted from a surface whose level curves roughly mimic the motion by curvature. By increasing the amount of smoothing on the evolving curve, only those symmetry axes that correspond to the most prominent parts of a shape are extracted. The representation does not suffer from the common instability problems of the traditional connected skeletons. It captures the perceptual qualities of shapes well. Therefore finding the similarities and the differences among shapes becomes easier. The matching process gives highly successful results on a diverse database of 2D shapes.


title: Thermal Casimir drag in fluctuating classical fields

abstract: A uniformly moving inclusion which locally suppresses the fluctuations of a classical thermally excited field is shown to experience a drag force which depends on the dynamics of the field. It is shown that in a number of cases the linear friction coefficient is dominated by short distance fluctuations and takes a very simple form. Examples where this drag can occur are for stiff objects, such as proteins, nonspecifically bound to more flexible ones such as polymers and membranes.


title: New Exclusion Limits for Dark Gauge Forces from Beam-Dump Data

abstract: We re-analyze proton beam dump data taken at the U70 accelerator at IHEP Serpukhov with the $\nu$-calorimeter I experiment in 1989 to set mass-coupling limits for dark gauge forces. The corresponding data have been used for axion and light Higgs particle searches in Refs. before. We determine new mass and coupling exclusion bounds for dark gauge bosons.


title: Coordinate descent algorithms for nonconvex penalized regression, with applications to biological feature selection

abstract: A number of variable selection methods have been proposed involving nonconvex penalty functions. These methods, which include the smoothly clipped absolute deviation (SCAD) penalty and the minimax concave penalty (MCP), have been demonstrated to have attractive theoretical properties, but model fitting is not a straightforward task, and the resulting solutions may be unstable. Here, we demonstrate the potential of coordinate descent algorithms for fitting these models, establishing theoretical convergence properties and demonstrating that they are significantly faster than competing approaches. In addition, we demonstrate the utility of convexity diagnostics to determine regions of the parameter space in which the objective function is locally convex, even though the penalty is not. Our simulation study and data examples indicate that nonconvex penalties like MCP and SCAD are worthwhile alternatives to the lasso in many applications. In particular, our numerical results suggest that MCP is the preferred approach among the three methods.


title: Excitonic parameters of GaN studied by time-of-flight spectroscopy

abstract: We refine excitonic parameters of bulk GaN by means of time-of-flight spectroscopy of light pulses propagating through crystals. The influence of elastic photon scattering is excluded by using the multiple reflections of the pulses from crystal boundaries. The shapes of these reflexes in the time-energy plane depict the variation of the group velocity induced by excitonic resonances. Modeling of the shapes, as well as other spectra, shows that a homogeneous width of the order of 10 \mu eV characterizes the exciton-polariton resonances within the crystal. The oscillator strength of A and B exciton-polaritons is determined as 0.0022 and 0.0016, respectively.


title: Entropy, Baryon Asymmetry and Dark Matter from Heavy Neutrino Decays

abstract: The origin of the hot phase of the early universe remains so far an unsolved puzzle. A viable option is entropy production through the decays of heavy Majorana neutrinos whose lifetimes determine the initial temperature. We show that baryogenesis and the production of dark matter are natural by-products of this mechanism. As is well known, the cosmological baryon asymmetry can be accounted for by leptogenesis for characteristic neutrino mass parameters. We find that thermal gravitino production then automatically yields the observed amount of dark matter, for the gravitino as the lightest superparticle and typical gluino masses. As an example, we consider the production of heavy Majorana neutrinos in the course of tachyonic preheating associated with spontaneous B-L breaking. A quantitative analysis leads to contraints on the superparticle masses in terms of neutrino masses: For a light neutrino mass of 10^{-5} eV the gravitino mass can be as small as 200 MeV, whereas a lower neutrino mass bound of 0.01 eV implies a lower bound of 9 GeV on the gravitino mass. The measurement of a light neutrino mass of 0.1 eV would rule out heavy neutrino decays as the origin of entropy, visible and dark matter.


title: Disconnected Skeleton: Shape at its Absolute Scale

abstract: We present a new skeletal representation along with a matching framework to address the deformable shape recognition problem. The disconnectedness arises as a result of excessive regularization that we use to describe a shape at an attainably coarse scale. Our motivation is to rely on the stable properties of the shape instead of inaccurately measured secondary details. The new representation does not suffer from the common instability problems of traditional connected skeletons, and the matching process gives quite successful results on a diverse database of 2D shapes. An important difference of our approach from the conventional use of the skeleton is that we replace the local coordinate frame with a global Euclidean frame supported by additional mechanisms to handle articulations and local boundary deformations. As a result, we can produce descriptions that are sensitive to any combination of changes in scale, position, orientation and articulation, as well as invariant ones.


title: Twistor and Polytope Interpretations for Subleading Color One-Loop Amplitudes

abstract: We use the relation of the one-loop subleading-color amplitudes to the one-loop $n$-point leading color amplitudes in ${\cal N}=4$ SYM, to derive a polytope interpretation for the former in the $MHV$ case, and a representation in momentum twistor space for the general $N^kMHV$ case. These techniques are explored in detail for the 5-point and 6-point amplitudes. We briefly discuss the implications for IR divergences.


title: Monoid Valuations and Value Ordered Supervaluations

abstract: We complement two papers on supertropical valuation theory ([IKR1],[IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations discussed have values in totally ordered supertropical semirings, and the transmissions discussed respect the orderings. Basics of a theory of such semirings and transmissions are developed as far as needed.


title: Accurate freezing and melting equations for the Lennard-Jones system

abstract: Analyzing three approximate methods to locate liquid-solid coexistence in simple systems, an observation is made that all of them predict the same functional dependence of the temperature on density at freezing and melting of the conventional Lennard-Jones system. The emerging equations can be written as $T={\mathcal A}\rho^4+{\mathcal B}\rho^2$ in normalized units. We suggest to determine the values of the coefficients ${\mathcal A}$ at freezing and melting from the high-temperature limit, governed by the inverse twelfth power repulsive potential. The coefficients ${\mathcal B}$ can be determined from the triple point parameters of the LJ fluid. This produces freezing and melting equations which are exact in the high-temperature limit and at the triple point, and show remarkably good agreement with numerical simulation data in the intermediate region.


title: Topological complexity, fibrations and symmetry

abstract: We show how locally smooth actions of compact Lie groups on a manifold $X$ can be used to obtain new upper bounds for the topological complexity $\TC(X)$, in the sense of Farber. We also obtain new bounds for the topological complexity of finitely generated torsion-free nilpotent groups.


title: Privacy Preserving Moving KNN Queries

abstract: We present a novel approach that protects trajectory privacy of users who access location-based services through a moving k nearest neighbor (MkNN) query. An MkNN query continuously returns the k nearest data objects for a moving user (query point). Simply updating a user's imprecise location such as a region instead of the exact position to a location-based service provider (LSP) cannot ensure privacy of the user for an MkNN query: continuous disclosure of regions enables the LSP to follow a user's trajectory. We identify the problem of trajectory privacy that arises from the overlap of consecutive regions while requesting an MkNN query and provide the first solution to this problem. Our approach allows a user to specify the confidence level that represents a bound of how much more the user may need to travel than the actual kth nearest data object. By hiding a user's required confidence level and the required number of nearest data objects from an LSP, we develop a technique to prevent the LSP from tracking the user's trajectory for MkNN queries. We propose an efficient algorithm for the LSP to find k nearest data objects for a region with a user's specified confidence level, which is an essential component to evaluate an MkNN query in a privacy preserving manner; this algorithm is at least two times faster than the state-of-the-art algorithm. Extensive experimental studies validate the effectiveness of our trajectory privacy protection technique and the efficiency of our algorithm.


title: Slave-boson Keldysh field theory for the Kondo effect in quantum dots

abstract: We present a {\it nonequilibrium nonperturbative} field theory for the Kondo effect in strongly interacting quantum dots at finite temperatures. Unifying the slave-boson representation with the Keldysh field integral an effective Keldysh action is derived and explored in the vicinity of the zero slave-bosonic field configuration. The theory properly reflects the essential features of the Kondo physics and at the same time significantly simplifies a field-theoretic treatment of the phenomenon, avoiding complicated saddle point analysis or 1/N expansions, used so far. Importantly, our theory admits a {\it closed analytical} solution which explains the mechanism of the Kondo effect in terms of an interplay between the real and imaginary parts of the slave-bosonic self-energy. It thus provides a convenient nonperturbative building block, playing the role of a "free propagator", for more advanced theories. We finally demonstrate that already this simplest possible field theory is able to correctly reproduce experimental data on the Kondo peak observed in the differential conductance, correctly predicts the Kondo temperature and, within its applicability range, has the same universal temperature dependence of the conductance as the one obtained in numerical renormalization group calculations.


title: Testing a scale-independent method to measure the mass of black holes

abstract: Estimating the black hole mass at the center of galaxies is a fundamental step not only for understanding the physics of accretion, but also for the cosmological evolution of galaxies. Recently a new method, based solely on X-ray data, was successfully applied to determine the black hole mass in Galactic systems. Since X-rays are thought to be produced via Comptonization process both in stellar and supermassive black holes, in principle, the same method may be applied to estimate the mass in supermassive black holes. In this work we test this hypothesis by performing a systematic analysis of a sample of AGNs, whose black hole mass has been already determined via reverberation mapping and which possess high quality XMM-Newton archival data. The good agreement obtained between the black hole masses derived with this novel scaling technique and the reverberation mapping values suggests that this method is robust and works equally well on stellar and supermassive black holes, making it a truly scale-independent technique for black hole determination.


title: An Energy Puzzle in Quantum Collapse

abstract: Since its discovery, quantum theory has proven to be one of the most precise theories ever made. Measurement processes, however, do not seem to be governed by the unitary law of quantum mechanics, and one can ask if the theory is complete. To answer this question, new experiments must be done regarding the nature of quantum measurements. Here, we propose a direct consequence of projective measurements, leading to three possibilities. An arbitrarily high amount of energy can be either extracted or absorbed, or else energy conservation cannot be accounted by usual arguments based upon standard quantum mechanics.


title: Numerical shadow and geometry of quantum states

abstract: The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distribution supported on its numerical range W(A), induced by the unitarily invariant Fubini-Study measure on the complex projective manifold CP^(N-1). We define generalized, mixed-states shadows of A and demonstrate their usefulness to analyse the structure of the set of quantum states and unitary dynamics therein.


title: Tensor triangular geometry of non-commutative motives

abstract: In this article we initiate the study of the tensor triangular geometry of the categories Mot(k)_a and Mot(k)_l of non-commutative motives (over a base ring k). Since the full computation of the spectrum of Mot(k)_a and Mot(k)_l seems completely out of reach, we provide some information about the spectrum of certain subcategories. More precisely, we show that when k is a finite field (or its algebraic closure) the spectrum of the monogenic cores Core(k)_a and Core(k)_l (i.e. the thick triangulated subcategories generated by the tensor unit) is closely related to the Zariski spectrum of the integers. Moreover, we prove that if we slightly enlarge Core(k)_a to contain the non-commutative motive associated to the ring of polynomials k[t], and assume that k is a field of characteristic zero, then the corresponding spectrum is richer than the Zariski spectrum of the integers.


title: Discovering a junction tree behind a Markov network by a greedy algorithm

abstract: In an earlier paper we introduced a special kind of k-width junction tree, called k-th order t-cherry junction tree in order to approximate a joint probability distribution. The approximation is the best if the Kullback-Leibler divergence between the true joint probability distribution and the approximating one is minimal. Finding the best approximating k-width junction tree is NP-complete if k>2. In our earlier paper we also proved that the best approximating k-width junction tree can be embedded into a k-th order t-cherry junction tree. We introduce a greedy algorithm resulting very good approximations in reasonable computing time. In this paper we prove that if the Markov network underlying fullfills some requirements then our greedy algorithm is able to find the true probability distribution or its best approximation in the family of the k-th order t-cherry tree probability distributions. Our algorithm uses just the k-th order marginal probability distributions as input. We compare the results of the greedy algorithm proposed in this paper with the greedy algorithm proposed by Malvestuto in 1991.


title: Equivalence relations for homology cylinders and the core of the Casson invariant

abstract: Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the mapping cylinder construction. Two homology cylinders M and M' are said to be Y_k-equivalent if M' is obtained from M by "twisting" an arbitrary surface S in M with a homeomorphim belonging to the k-th term of the lower central series of the Torelli group of S. The J_k-equivalence relation on IC is defined in a similar way using the k-th term of the Johnson filtration. In this paper, we characterize the Y_3-equivalence with three classical invariants: (1) the action on the third nilpotent quotient of the fundamental group of R, (2) the quadratic part of the relative Alexander polynomial, and (3) a by-product of the Casson invariant. Similarly, we show that the J_3-equivalence is classified by (1) and (2). We also prove that the core of the Casson invariant (originally defined by Morita on the second term of the Johnson filtration of I) has a unique extension (to the corresponding submonoid of IC) that is preserved by Y_3-equivalence and the mapping class group action.


title: A pertubative approach to the Kondo effect in magnetic atoms on nonmagnetic substrates

abstract: Recent experimental advances in scanning tunneling microscopy make the measurement of the conductance spectra of isolated and magnetically coupled atoms on nonmagnetic substrates possible. Notably these spectra are characterized by a competition between the Kondo effect and spin-flip inelastic electron tunneling. In particular they include Kondo resonances and a logarithmic enhancement of the conductance at voltages corresponding to magnetic excitations, two features that cannot be captured by second order perturbation theory in the electron-spin coupling. We have now derived a third order analytic expression for the electron-spin self-energy, which can be readily used in combination with the non-equilibrium Green's function scheme for electron transport at finite bias. We demonstrate that our method is capable of quantitative description the competition between Kondo resonances and spin-flip inelastic electron tunneling at a computational cost significantly lower than that of other approaches. The examples of Co and Fe on CuN are discussed in detail.


title: Spin Foam Models for Quantum Gravity and semi-classical limit

abstract: The spinfoam framework is a proposal for a regularized path integral for quantum gravity. Spinfoams define quantum space-time structures describing the evolution in time of the spin network states for quantum geometry derived from Loop Quantum Gravity (LQG). The construction of this covariant approach is based on the formulation of General Relativity as a topological theory plus the so-called simplicity constraints which introduce local degrees of freedom. The simplicity constraints are essential in turning the non-physical topological theory into 4d gravity. In this PhD manuscript, an original way to impose the simplicity constraints in 4d Euclidean gravity using harmonic oscillators is proposed and new coherent states, solutions of the constraints, are given. Moreover, a consistent spinfoam model for quantum gravity has to be connected to LQG and must have the right semi-classical limit. An explicit map between the spin network states of LQG and the boundary states of spinfoam models is given connecting the canonical and the covariant approaches. Finally, new techniques to compute semiclassical asymptotic expressions for the transition amplitudes of 3d quantum gravity and to extract semi-classical information from a spinfoam model are introduced. Explicit computations based on approximation methods and on the use of recurrence relations on spinfoam amplitudes have been performed. The results are relevant to derive quantum corrections to the dynamics of the gravitational field.


title: Natural Diagonal Riemannian Almost Product and Para-Hermitian Cotangent Bundles

abstract: We obtain the natural diagonal almost product and locally product structures on the total space of the cotangent bundle of a Riemannian manifold. We find the Riemannian almost product (locally product) and the (almost) para-Hermitian cotangent bundles of natural diagonal lift type. We prove the characterization theorem for the natural diagonal (almost) para-K\"ahlerian structures on the total spaces of the cotangent bundle.


title: Jump at the onset of saltation

abstract: We reveal a discontinuous transition in the saturated flux for aeolian saltation by simulating explicitly particle motion in turbulent flow. The discontinuity is followed by a coexistence interval with two metastable solutions. The modification of the wind profile due to momentum exchange exhibits a second maximum at high shear strength. The saturated flux depends on the strength of the wind as $q_s=q_0+A(u_*-u_t)(u_*^2+u_t^2)$.

categories: physics.comp-ph cond-mat.stat-mech nlin.CD physics.flu-dyn


title: Is the stochastic parabolicity condition dependent on $p$ and $q$?

abstract: In this paper we study well-posedness of a second order SPDE with multiplicative noise on the torus $\T =[0,2\pi]$. The equation is considered in $L^p(\O\times(0,T);L^q(\T))$ for $p,q\in (1, \infty)$. It is well-known that if the noise is of gradient type, one needs a stochastic parabolicity condition on the coefficients for well-posedness with $p=q=2$. In this paper we investigate whether the well-posedness depends on $p$ and $q$. It turns out that this condition does depend on $p$, but not on $q$. Moreover, we show that if $1<p<2$ the classical stochastic parabolicity condition can be weakened.


title: Comparative study of hybrid functionals applied to structural and electronic properties of semiconductors and insulators

abstract: We present a systematic study that clarifies validity and limitation of current hybrid functionals in density functional theory for structural and electronic properties of various semiconductors and insulators. The three hybrid functionals, PBE0 by Perdew, Ernzerhof, and Becke, HSE by Heyd, Sucseria, and Ernzerhof, and a long-range corrected (LC) functional, are implemented in a well-established plane-wave-basis-set scheme combined with norm-conserving pseudopotentials, thus enabling us to assess applicability of each functional on equal footing to the properties of the materials. The materials we have examined in this paper range from covalent to ionic materials as well as a rare-gas solid whose energy gaps determined by experiments are in the range of 0.6 eV - 14.2 eV: i.e., Ge, Si, BaTiO$_3$, $\beta$-GaN, diamond, MgO, NaCl, LiCl, Kr, and LiF. We find that the calculated bulk moduli by the hybrid functionals show better agreement with the experiments than the generalized gradient approximation (GGA) provides, whereas the calculated lattice constants by the hybrid functionals and GGA show comparable accuracy. The calculated energy band gaps and the valence-band widths for the ten prototype materials show substantial improvement using the hybrid functional compared with GGA. In particular, it is found that the band gaps of the ionic materials as well as the rare-gas solid are well reproduced by the LC-hybrid functional, whereas those of covalent materials are well described by the HSE functional. We also examine exchange effects due to short-range and long-range components of the Coulomb interaction and propose an optimum recipe to the short-range and long-range separation in treating the exchange energy.


title: Very high-energy observations of the two high-frequency peaked BL Lac objects 1ES 1218+304 and H 1426+428

abstract: We present results of very-high-energy gamma-ray observations (E > 160 GeV) of two high-frequency-peaked BL Lac (HBL) objects, 1ES 1218+304 and H 1426+428, with the Solar Tower Atmospheric Cherenkov Effect Experiment (STACEE). Both sources are very-high-energy gamma-ray emitters above 100 GeV, detected using ground-based Cherenkov telescopes. STACEE observations of 1ES 1218+304 and H 1426+428 did not produce detections; we present 99% CL flux upper limits for both sources, assuming spectral indices measured mostly at higher energies.


title: Proximity effect in a two dimensional electron gas probed with a lateral quantum dot

abstract: We report low-temperature transport measurements performed on a planar Nb-InGaAs-Nb proximity Josephson junction hosting a gate-defined lateral quantum dot in the weak-link. We first study quasiparticle and Josephson transport through the open junction, when all gates are grounded. When the quantum dot is defined in the normal region by electrostatic depletion, cotunneling spectroscopy allows us to directly probe the energy gap induced in the two dimensional electron gas. Our data show good qualitative agreement with a model describing resonant tunneling through an Anderson impurity connected to superconducting electrodes. These results demonstrate the feasibility of top-gated nanodevices based on a two-dimensional electron gas coupled to a superconductor.


title: Asymptotic Behavior of Massless Dirac Waves in Schwarzschild geometry

abstract: In this paper, we show that massless Dirac waves in the Schwarzschild geometry decay to zero at a rate $t^{-2\lambda}$, where $\lambda=1, 2,...$ is the angular momentum. Our technique is to use Chandrasekhar's separation of variables whereby the Dirac equations split into two sets of wave equations. For the first set, we show that the wave decays as $t^{-2\lambda}$. For the second set, in general, the solutions tend to some explicit profile at the rate $t^{-2\lambda}$. The decay rate of solutions of Dirac equations is achieved by showing that the coefficient of the explicit profile is exactly zero. The key ingredients in the proof of the decay rate of solutions for the first set of wave equations are an energy estimate used to show the absence of bound states and zero energy resonance and the analysis of the spectral representation of the solutions. The proof of asymptotic behavior for the solutions of the second set of wave equations relies on careful analysis of the Green's functions for time independent Schr\"odinger equations associated with these wave equations.


title: Distributed Stochastic Approximation for Constrained and Unconstrained Optimization

abstract: In this paper, we analyze the convergence of a distributed Robbins-Monro algorithm for both constrained and unconstrained optimization in multi-agent systems. The algorithm searches for local minima of a (nonconvex) objective function which is supposed to coincide with a sum of local utility functions of the agents. The algorithm under study consists of two steps: a local stochastic gradient descent at each agent and a gossip step that drives the network of agents to a consensus. It is proved that i) an agreement is achieved between agents on the value of the estimate, ii) the algorithm converges to the set of Kuhn-Tucker points of the optimization problem. The proof relies on recent results about differential inclusions. In the context of unconstrained optimization, intelligible sufficient conditions are provided in order to ensure the stability of the algorithm. In the latter case, we also provide a central limit theorem which governs the asymptotic fluctuations of the estimate. We illustrate our results in the case of distributed power allocation for ad-hoc wireless networks.


title: Final excitation energy of fission fragments

abstract: We study how the excitation energy of the fully accelerated fission fragments is built up. It is stressed that only the intrinsic excitation energy available before scission can be exchanged between the fission fragments to achieve thermal equilibrium. This is in contradiction with most models used to calculate prompt neutron emission where it is assumed that the total excitation energy of the final fragments is shared between the fragments by the condition of equal temperatures. We also study the intrinsic excitation-energy partition according to a level density description with a transition from a constant-temperature regime to a Fermi-gas regime. Complete or partial excitation-energy sorting is found at energies well above the transition energy.


title: Inference and learning in sparse systems with multiple states

abstract: We discuss how inference can be performed when data are sampled from the non-ergodic phase of systems with multiple attractors. We take as model system the finite connectivity Hopfield model in the memory phase and suggest a cavity method approach to reconstruct the couplings when the data are separately sampled from few attractor states. We also show how the inference results can be converted into a learning protocol for neural networks in which patterns are presented through weak external fields. The protocol is simple and fully local, and is able to store patterns with a finite overlap with the input patterns without ever reaching a spin glass phase where all memories are lost.


title: A 2-Categorical Analysis of the Tripos-to-Topos Construction

abstract: We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract concepts are necessary to handle the presence of oplax constructs --- the construction is only oplax functorial on certain classes of cartesian functors between triposes. A by-product of our analysis is the decomposition of the tripos-to-topos construction into two steps, the intermediate step being a weakened version of quasitoposes.


title: Change of Scaling and Appearance of Scale-Free Size Distribution in Aggregation Kinetics by Additive Rules

abstract: The idealized general model of aggregate growth is considered on the basis of the simple additive rules that correspond to one-step aggregation process. The two idealized cases were analytically investigated and simulated by Monte Carlo method in the Desktop Grid distributed computing environment to analyze "pile-up" and "wall" cluster distributions in different aggregation scenarios. Several aspects of aggregation kinetics (change of scaling, change of size distribution type, and appearance of scale-free size distribution) driven by "zero cluster size" boundary condition were determined by analysis of evolving cumulative distribution functions. The "pile-up" case with a \textit{minimum} active surface (singularity) could imitate piling up aggregations of dislocations, and the case with a \textit{maximum} active surface could imitate arrangements of dislocations in walls. The change of scaling law (for pile-ups and walls) and availability of scale-free distributions (for walls) were analytically shown and confirmed by scaling, fitting, moment, and bootstrapping analyses of simulated probability density and cumulative distribution functions. The initial "singular" \textit{symmetric} distribution of pile-ups evolves by the "infinite" diffusive scaling law and later it is replaced by the other "semi-infinite" diffusive scaling law with \textit{asymmetric} distribution of pile-ups. In contrast, the initial "singular" \textit{symmetric} distributions of walls initially evolve by the diffusive scaling law and later it is replaced by the other ballistic (linear) scaling law with \textit{scale-free} exponential distributions without distinctive peaks. The conclusion was made as to possible applications of such approach for scaling, fitting, moment, and bootstrapping analyses of distributions in simulated and experimental data.


title: A New Limit on Time-Reversal Violation in Beta Decay

abstract: We report the results of an improved determination of the triple correlation $D P \cdot(p_{e}\times p_{\nu})$ that can be used to limit possible time-reversal invariance in the beta decay of polarized neutrons and constrain extensions to the Standard Model. Our result is $D=(-0.96\pm 1.89 (stat)\pm 1.01 (sys))\times 10^{-4}$. The corresponding phase between g_A and g_V is $\phi_{AV} = 180.013^\circ\pm0.028^\circ$ (68 % confidence level). This result represents the most sensitive measurement of D in beta decay.


title: Stabilization of Partial Differential Equations by Levy Noise

abstract: We focus in this paper on the stochastic stabilization problems of PDEs by Levy noise. Sufficient conditions under which the perturbed systems decay exponentially with a general rate function are provided and some examples are constructed to demonstrate the applications of our theory.


title: Waveguide grating mirror in a fully suspended 10 meter Fabry-Perot cavity

abstract: We report on the first demonstration of a fully suspended 10m Fabry-Perot cavity incorporating a waveguide grating as the coupling mirror. The cavity was kept on resonance by reading out the length fluctuations via the Pound-Drever-Hall method and employing feedback to the laser frequency. From the achieved finesse of 790 the grating reflectivity was determined to exceed 99.2% at the laser wavelength of 1064\,nm, which is in good agreement with rigorous simulations. Our waveguide grating design was based on tantala and fused silica and included a ~20nm thin etch stop layer made of Al2O3 that allowed us to define the grating depth accurately during the fabrication process. Demonstrating stable operation of a waveguide grating featuring high reflectivity in a suspended low-noise cavity, our work paves the way for the potential application of waveguide gratings as mirrors in high-precision interferometry, for instance in future gravitational wave observatories.


title: The massless hexagon integral in D = 6 dimensions

abstract: We evaluate the massless one-loop hexagon integral in six dimensions. The result is given in terms of standard polylogarithms of uniform transcendental weight three, its functional form resembling the one of the remainder function of the two-loop hexagon Wilson loop in four dimensions.


title: Rational plane curves parameterizable by conics

abstract: We introduce the class of rational plane curves parameterizable by conics as an extension of the family of curves parameterizable by lines (also known as monoid curves). We show that they are the image of monoid curves via suitable quadratic transformations in projective plane. We also describe all the possible proper parameterizations of them, and a set of minimal generators of the Rees Algebra associated to these parameterizations, extending well-known results for curves parameterizable by lines.


title: The Mathematical Background of Lomonosov's Contribution

abstract: This is a short overview of the influence of mathematicians and their ideas on the creative contribution of Mikhailo Lomonosov on the occasion of the tercentenary of his birth.


title: Diversity Analysis of Symbol-by-Symbol Linear Equalizers

abstract: In frequency-selective channels linear receivers enjoy significantly-reduced complexity compared with maximum likelihood receivers at the cost of performance degradation which can be in the form of a loss of the inherent frequency diversity order or reduced coding gain. This paper demonstrates that the minimum mean-square error symbol-by-symbol linear equalizer incurs no diversity loss compared to the maximum likelihood receivers. In particular, for a channel with memory $\nu$, it achieves the full diversity order of ($\nu+1$) while the zero-forcing symbol-by-symbol linear equalizer always achieves a diversity order of one.


title: A UV flux drop preceding the X-ray hard-to-soft state transition during the 2010 outburst of GX 339-4

abstract: The black hole X-ray transient GX 339$-$4 was observed with the {\it Swift} satellite across the hard-to-soft state transition during its 2010 outburst. The ultraviolet (UV) flux measured with the filter UVW2 of the {\it Swift}/UVOT started to decrease nearly 10 days before the drop in the hard X-ray flux when the hard-to-soft state transition started. The UV flux $F_\mathrm{UV}$ correlated with the X-ray flux $F_\mathrm{X}$ as $F_\mathrm{UV}\propto F_\mathrm{X}^{0.50\pm0.04}$ before the drop in the UV flux. During the UV drop lasting about 16 days, the X-ray flux in 0.4--10 keV was increasing. The drop in the UV flux indicates that the jet started to quench 10 days before the hard-to-soft state transition seen in X-rays, which is unexpected.


title: On small deviations of stationary Gaussian processes and related analytic inequalities

abstract: Let $ \{X_j, j\in \Z\}$ be a Gaussian stationary sequence having a spectral function $F$ of infinite type. Then for all $n$ and $z\ge 0$,$$ \P\Big\{\sup_{j=1}^n |X_j|\le z \Big\}\le \Big(\int_{-z/\sqrt{G(f)}}^{z/\sqrt{G(f)}} e^{-x^2/2}\frac{\dd x}{\sqrt{2\pi}} \Big)^n,$$ where $ G(f)$ is the geometric mean of the Radon Nycodim derivative of the absolutely continuous part $f$ of $F$. The proof uses properties of finite Toeplitz forms. Let $ \{X(t), t\in \R\}$ be a sample continuous stationary Gaussian process with covariance function $\g(u) $. We also show that there exists an absolute constant $K$ such that for all $T>0$, $a>0$ with $T\ge \e(a)$, $$\P\Big\{\sup_{0\le s,t\le T} |X(s)-X(t)|\le a\Big\} \le \exp \Big \{-{KT \over \e(a) p(\e(a))}\Big\} ,$$ where $\e (a)= \min\big\{b>0: \d (b)\ge a\big\}$, $\d (b)=\min_{u\ge 1}\{\sqrt{2(1-\g((ub))}, u\ge 1\}$, and $ p(b) = 1+\sum_{j=2}^\infty {|2\g (jb)-\g ((j-1)b)-\g ((j+1)b)| \over 2(1-\g(b))}$. The proof is based on some decoupling inequalities arising from Brascamp-Lieb inequality. Both approaches are developed and compared on examples. Several other related results are established.


title: The one-loop six-dimensional hexagon integral and its relation to MHV amplitudes in N=4 SYM

abstract: We provide an analytic formula for the (rescaled) one-loop scalar hexagon integral $\tilde\Phi_6$ with all external legs massless, in terms of classical polylogarithms. We show that this integral is closely connected to two integrals appearing in one- and two-loop amplitudes in planar $\\mathcal{N}=4$ super-Yang-Mills theory, $\Omega^{(1)}$ and $\Omega^{(2)}$. The derivative of $\Omega^{(2)}$ with respect to one of the conformal invariants yields $\tilde\Phi_6$, while another first-order differential operator applied to $\tilde\Phi_6$ yields $\Omega^{(1)}$. We also introduce some kinematic variables that rationalize the arguments of the polylogarithms, making it easy to verify the latter differential equation. We also give a further example of a six-dimensional integral relevant for amplitudes in $\\mathcal{N}=4$ super-Yang-Mills.


title: Backdoors to Tractable Answer-Set Programming

abstract: Answer Set Programming (ASP) is an increasingly popular framework for declarative programming that admits the description of problems by means of rules and constraints that form a disjunctive logic program. In particular, many AI problems such as reasoning in a nonmonotonic setting can be directly formulated in ASP. Although the main problems of ASP are of high computational complexity, located at the second level of the Polynomial Hierarchy, several restrictions of ASP have been identified in the literature, under which ASP problems become tractable. In this paper we use the concept of backdoors to identify new restrictions that make ASP problems tractable. Small backdoors are sets of atoms that represent "clever reasoning shortcuts" through the search space and represent a hidden structure in the problem input. The concept of backdoors is widely used in the areas of propositional satisfiability and constraint satisfaction. We show that it can be fruitfully adapted to ASP. We demonstrate how backdoors can serve as a unifying framework that accommodates several tractable restrictions of ASP known from the literature. Furthermore, we show how backdoors allow us to deploy recent algorithmic results from parameterized complexity theory to the domain of answer set programming.


title: Congruences involving $\binom{2k}k^2\binom{3k}km^{-k}$

abstract: Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper, based on the work of Brillhart and Morton, by using the work of Ishii and Deuring's theorem for elliptic curves with complex multiplication we solve some conjectures of Zhi-Wei Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^2\binom{3k}km^{-k}\mod {p^2}$.


title: On Intrinsic Geometric Stability of Controller

abstract: This work explores the role of the intrinsic fluctuations in finite parameter controller configurations characterizing an ensemble of arbitrary irregular filter circuits. Our analysis illustrates that the parametric intrinsic geometric description exhibits a set of exact pair correction functions and global correlation volume with and without the variation of the mismatch factor. The present consideration shows that the canonical fluctuations can precisely be depicted without any approximation. The intrinsic geometric notion offers a clear picture of the fluctuating controllers, which as the limit of the ensemble averaging reduce to the specified controller. For the constant mismatch factor controllers, the Gaussian fluctuations over equilibrium basis accomplish a well-defined, non-degenerate, flat regular intrinsic Riemannian surface. An explicit computation further demonstrates that the underlying power correlations involve ordinary summations, even if we consider the variable mismatch factor controllers. Our intrinsic geometric framework describes a definite character to the canonical power fluctuations of the controllers and constitutes a stable design strategy for the parameters.


title: Poincare Inequalities and Moment Maps

abstract: We propose a new method for obtaining Poincare-type inequalities on arbitrary convex bodies in R^n. Our technique involves a dual version of Bochner's formula and a certain moment map, and it also applies to some non-convex sets. In particular, we generalize the central limit theorem for convex bodies to a class of non-convex domains, including the unit balls of L_p-spaces in R^n for 0 < p < 1.


title: Internal heating driven convection at infinite Prandtl number

abstract: We derive an improved rigorous bound on the space and time averaged temperature $<T>$ of an infinite Prandtl number Boussinesq fluid contained between isothermal no-slip boundaries thermally driven by uniform internal heating. A novel approach is used wherein a singular stable stratification is introduced as a perturbation to a non-singular background profile, yielding the estimate $<T>\geq 0.419[R\log(R)]^{-1/4}$ where $R$ is the heat Rayleigh number. The analysis relies on a generalized Hardy-Rellich inequality that is proved in the appendix.


title: Lindelof spaces which are indestructible, productive, or D

abstract: We discuss relationships in Lindelof spaces among the properties "indestructible", "productive", "D", and related properties.


title: Productively Lindelof spaces may all be D

abstract: We give easy proofs that a) the Continuum Hypothesis implies that if the product of X with every Lindelof space is Lindelof, then X is a D-space, and b) Borel's Conjecture implies every Rothberger space is Hurewicz.


title: PFA(S)[S] and the Arhangel'skii-Tall problem

abstract: We discuss the Arhangel'skii-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.


title: Set-theoretic problems concerning Lindelof spaces

abstract: I survey problems concerning Lindelof spaces which have partial set- theoretic solutions.


title: Cusp Excursions on Parameter Spaces

abstract: We prove several results for dynamics of $SL(d, \R)$-actions on non-compact parameter spaces by studying associated discrete sets in Euclidean spaces. This allows us to give elementary proofs of logarithm laws for horocycle flows on hyperbolic surfaces and moduli spaces of flat surfaces. We also give applications to quantitative equidistribution and Diophantine approximation.


title: Classifying A-field and B-field configurations in the presence of D-branes - Part II: Stacks of D-branes

abstract: In the paper arXiv:0810.4291 we have shown, in the context of type II superstring theory, the classification of the allowed B-field and A-field configurations in the presence of anomaly-free D-branes, the mathematical framework being provided by the geometry of gerbes. Here we complete the discussion considering in detail the case of a stack of D-branes, carrying a non-abelian gauge theory, which was just sketched in the previous paper. In this case we have to mix the geometry of abelian gerbes, describing the B-field, with the one of higher-rank bundles, ordinary or twisted. We describe in detail the various cases that arise according to such a classification, as we did for a single D-brane, showing under which hypoteses the A-field turns out to be a connection on a canonical gauge bundle. We also generalize to the non-abelian setting the discussion about "gauge bundles with non integral Chern classes", relating them to twisted bundles with connection. Finally, we analyze the geometrical nature of the Wilson loop for each kind of gauge theory on a D-brane or stack of D-branes.


title: Using Hashing to Solve the Dictionary Problem (In External Memory)

abstract: We consider the dictionary problem in external memory and improve the update time of the well-known buffer tree by roughly a logarithmic factor. For any \lambda >= max {lg lg n, log_{M/B} (n/B)}, we can support updates in time O(\lambda / B) and queries in sublogarithmic time, O(log_\lambda n). We also present a lower bound in the cell-probe model showing that our data structure is optimal. In the RAM, hash tables have been used to solve the dictionary problem faster than binary search for more than half a century. By contrast, our data structure is the first to beat the comparison barrier in external memory. Ours is also the first data structure to depart convincingly from the indivisibility paradigm.


title: Phase-dependent quasiparticle tunneling in Josephson junctions: Measuring the cos-phi term with a superconducting charge qubit

abstract: We investigate quasiparticle tunneling in a Cooper-pair box which is embedded in a superconducting ring to allow control of the total phase difference across the island. The phase affects the transition rate between different electron number parity states of the island, which can be observed in experiment by established means. The phase dependence also leads to what is known as the cos-phi term in the tunneling characteristics of classical Josephson junctions. This effect has remained controversial for decades; the proposed scheme opens an independent way to probe it.


title: Very hard gamma-ray emission from a flare of Mrk 501

abstract: We investigate the peculiar properties of a large TeV gamma-ray flare from Mrk~501 detected during the 2009 multiwavelength campaign. We identify the counterpart of the flare in the Fermi/LAT telescope data and study its spectral and timing characteristics. A strong order-of-magnitude increase of the very-high-energy gamma-ray flux during the flare was not accompanied by an increase in the X-ray flux, so that the flare was one of the "orphan"-type TeV flares observed in BL Lacs. The flare lasted about 1 month at energies above 10 GeV. The flaring source spectrum in the 10-200 GeV range was very hard, with a photon index 1.1+/-0.2, harder than that observed in any other blazar in the gamma-ray band. No simultaneous flaring activity was detected below 10 GeV. Different variability properties of the emission below and above 10 GeV indicate the existence of two separate components in the spectrum. We investigate possible explanations of the very hard flaring component. We consider, among others, the possibility that the flare is produced by an electromagnetic cascade initiated by very-high-energy gamma-rays in the intergalactic medium. Within such an interpretation, peculiar spectral and temporal characteristics of the flare could be explained if the magnetic field in the intergalactic medium is of the order of 1e-17 - 1e-16 G.


title: Moduli of convexity and smoothness of reflexive subspaces of L^1

abstract: We show that for any probability measure \mu there exists an equivalent norm on the space L^1(\mu) whose restriction to each reflexive subspace is uniformly smooth and uniformly convex, with modulus of convexity of power type 2. This renorming provides also an estimate for the corresponding modulus of smoothness of such subspaces.


title: Sound and complete axiomatizations of coalgebraic language equivalence

abstract: Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are sound and complete with respect to behavioral equivalence can be extended to a coarser coalgebraic language equivalence, which arises from a generalised powerset construction that determinises coalgebras. We show that soundness and completeness are established by proving that expressions modulo axioms of a calculus form the rational fixpoint of the given type functor. Our main result is that the rational fixpoint of the functor $FT$, where $T$ is a monad describing the branching of the systems (e.g. non-determinism, weights, probability etc.), has as a quotient the rational fixpoint of the "determinised" type functor $\bar F$, a lifting of $F$ to the category of $T$-algebras. We apply our framework to the concrete example of weighted automata, for which we present a new sound and complete calculus for weighted language equivalence. As a special case, we obtain non-deterministic automata, where we recover Rabinovich's sound and complete calculus for language equivalence.


title: A Conjecture on the Collatz-Kakutani Path Length for the Mersenne Primes

abstract: We present here a new conjecture for the nature of the Mersenne prime numbers by connecting it with the Collatz-Kakutani problem. By introducing a natural path length on the basis of the Collatz-Kakutani tree, we conjecture that this path length of a Mersenne prime from the root of the Collatz-Kakutani tree is approximately proportional to the index of the Mersenne prime. We also discuss difference of behaviors between Mersenne numbers and Mersenne primes.


title: Encoding and decoding V1 fMRI responses to natural images with sparse nonparametric models

abstract: Functional MRI (fMRI) has become the most common method for investigating the human brain. However, fMRI data present some complications for statistical analysis and modeling. One recently developed approach to these data focuses on estimation of computational encoding models that describe how stimuli are transformed into brain activity measured in individual voxels. Here we aim at building encoding models for fMRI signals recorded in the primary visual cortex of the human brain. We use residual analyses to reveal systematic nonlinearity across voxels not taken into account by previous models. We then show how a sparse nonparametric method [J. Roy. Statist. Soc. Ser. B 71 (2009b) 1009-1030] can be used together with correlation screening to estimate nonlinear encoding models effectively. Our approach produces encoding models that predict about 25% more accurately than models estimated using other methods [Nature 452 (2008a) 352--355]. The estimated nonlinearity impacts the inferred properties of individual voxels, and it has a plausible biological interpretation. One benefit of quantitative encoding models is that estimated models can be used to decode brain activity, in order to identify which specific image was seen by an observer. Encoding models estimated by our approach also improve such image identification by about 12% when the correct image is one of 11,500 possible images.


title: Multiplication operators on vector-valued function spaces

abstract: Let $E$ be a Banach function space on a probability measure space $(\Omega ,\Sigma,\mu).$ Let $X$ be a Banach space and $E(X)$ be the associated K\"{o}the-Bochner space. An operator on $E(X)$ is called a multiplication operator if it is given by multiplication by a function in $L^{\infty}(\mu).$ In the main result of this paper, we show that an operator $T$ on $E(X)$ is a multiplication operator if and only if $T$ commutes with $L^{\infty}(\mu)$ and leaves invariant the cyclic subspaces generated by the constant vector-valued functions in $E(X).$ As a corollary we show that this is equivalent to $T$ satisfying a functional equation considered by Calabuig, Rodr\'{i}guez, S\'{a}nchez-P\'{e}rez in [3].


title: Enumeration of torus-invariant strata with respect to dimension in the big cell of the quantum minuscule Grassmannian of type B_n

abstract: The aim of this article is to give explicit formulae for various generating functions, including the generating function of torus-invariant primitive ideals in the big cell of the quantum minuscule grassmannian of type B_n.


title: Characterization and Greedy Learning of Interventional Markov Equivalence Classes of Directed Acyclic Graphs

abstract: The investigation of directed acyclic graphs (DAGs) encoding the same Markov property, that is the same conditional independence relations of multivariate observational distributions, has a long tradition; many algorithms exist for model selection and structure learning in Markov equivalence classes. In this paper, we extend the notion of Markov equivalence of DAGs to the case of interventional distributions arising from multiple intervention experiments. We show that under reasonable assumptions on the intervention experiments, interventional Markov equivalence defines a finer partitioning of DAGs than observational Markov equivalence and hence improves the identifiability of causal models. We give a graph theoretic criterion for two DAGs being Markov equivalent under interventions and show that each interventional Markov equivalence class can, analogously to the observational case, be uniquely represented by a chain graph called interventional essential graph (also known as CPDAG in the observational case). These are key insights for deriving a generalization of the Greedy Equivalence Search algorithm aimed at structure learning from interventional data. This new algorithm is evaluated in a simulation study.


title: Self-Assembly with Geometric Tiles

abstract: In this work we propose a generalization of Winfree's abstract Tile Assembly Model (aTAM) in which tile types are assigned rigid shapes, or geometries, along each tile face. We examine the number of distinct tile types needed to assemble shapes within this model, the temperature required for efficient assembly, and the problem of designing compact geometric faces to meet given compatibility specifications. Our results show a dramatic decrease in the number of tile types needed to assemble $n \times n$ squares to $\Theta(\sqrt{\log n})$ at temperature 1 for the most simple model which meets a lower bound from Kolmogorov complexity, and $O(\log\log n)$ in a model in which tile aggregates must move together through obstacle free paths within the plane. This stands in contrast to the $\Theta(\log n / \log\log n)$ tile types at temperature 2 needed in the basic aTAM. We also provide a general method for simulating a large and computationally universal class of temperature 2 aTAM systems with geometric tiles at temperature 1. Finally, we consider the problem of computing a set of compact geometric faces for a tile system to implement a given set of compatibility specifications. We show a number of bounds on the complexity of geometry size needed for various classes of compatibility specifications, many of which we directly apply to our tile assembly results to achieve non-trivial reductions in geometry size.


title: Random trees with superexponential branching weights

abstract: We study rooted planar random trees with a probability distribution which is proportional to a product of weight factors $w_n$ associated to the vertices of the tree and depending only on their individual degrees $n$. We focus on the case when $w_n$ grows faster than exponentially with $n$. In this case the measures on trees of finite size $N$ converge weakly as $N$ tends to infinity to a measure which is concentrated on a single tree with one vertex of infinite degree. For explicit weight factors of the form $w_n=((n-1)!)^\alpha$ with $\alpha >0$ we obtain more refined results about the approach to the infinite volume limit.


title: Polarons in suspended carbon nanotubes

abstract: We prove theoretically the possibility of electric-field controlled polaron formation involving flexural (bending) modes in suspended carbon nanotubes. Upon increasing the field, the ground state of the system with a single extra electron undergoes a first order phase transition between an extended state and a localized polaron state. For a common experimental setup, the threshold electric field is only of order $\simeq 10^{-2}$ V/$\mu$m.


title: Highly p-doped graphene obtained by fluorine intercalation

abstract: We present a method for decoupling epitaxial graphene grown on SiC(0001) by intercalation of a layer of fluorine at the interface. The fluorine atoms do not enter into a covalent bond with graphene, but rather saturate the substrate Si bonds. This configuration of the fluorine atoms induces a remarkably large hole density of p \approx 4.5 \times 1013 cm-2, equivalent to the location of the Fermi level at 0.79 eV above the Dirac point ED .


title: The Universal Askey-Wilson Algebra

abstract: In 1992 A. Zhedanov introduced the Askey-Wilson algebra AW=AW(3) and used it to describe the Askey-Wilson polynomials. In this paper we introduce a central extension $\Delta$ of AW, obtained from AW by reinterpreting certain parameters as central elements in the algebra. We call $\Delta$ the {\it universal Askey-Wilson algebra}. We give a faithful action of the modular group ${\rm {PSL}}_2({\mathbb Z})$ on $\Delta$ as a group of automorphisms. We give a linear basis for $\Delta$. We describe the center of $\Delta$ and the 2-sided ideal $\Delta[\Delta,\Delta]\Delta$. We discuss how $\Delta$ is related to the $q$-Onsager algebra.


title: On the Energy Issue for a Class of Modified Higher Order Gravity Black Hole Solutions

abstract: In the case of a large class of static spherically symmetric black hole solutions in higher order modified gravity models, an expression for the associated energy is proposed and identified as a quantity proportional to the constant of integration, which appears in the explicit solution. The identification is achieved making use of derivation of the First Law of black hole physics from the equations of motion, evaluating independently the Entropy via Wald method and the Hawking temperature via the tunneling method. Several non trivial examples are discussed, including a new topological higher derivative black hole solution.


title: Detection of a Dipole in the Handedness of Spiral Galaxies with Redshifts z ~ 0.04

abstract: A preference for spiral galaxies in one sector of the sky to be left-handed or right-handed spirals would indicate a parity violating asymmetry in the overall universe and a preferred axis. This study uses 15158 spiral galaxies with redshifts <0.085 from the Sloan Digital Sky Survey. An unbinned analysis for a dipole component that made no prior assumptions for the dipole axis gives a dipole asymmetry of -0.0408\pm0.011 with a probability of occurring by chance of 7.9 x 10-4. A similar asymmetry is seen in the Southern Galaxy spin catalog of Iye and Sugai. The axis of the dipole asymmetry lies at approx. (l, b) =(52{\deg}, 68.5{\deg}), roughly along that of our Galaxy and close to alignments observed in the WMAP cosmic microwave background distributions. The observed spin correlation extends out to separations ~210 Mpc/h, while spirals with separations < 20 Mpc/h have smaller spin correlations.


title: On the optimal compression of sets in PSPACE

abstract: We show that if DTIME[2^{O(n)}] is not included in DSPACE[2^{o(n)}], then, for every set B in PSPACE, all strings x in B of length n can be represented by a string compressed(x) of length at most log (|B^{=n}|) + O(log n), such that a polynomial-time algorithm, given compressed(x), can distinguish x from all the other strings in B^{=n}. Modulo the O(log n) additive trem, this achieves the information-theoretical optimum for string compression.


title: On the asymptotic behavior of the quasi-static problem for a linear viscoelastic fluid

abstract: In this paper we study the quasi-static problem for a viscoelastic fluid by means of the concept of minimal state. This implies the use of a different free energy defined in a wider space of data. The existence and uniqueness is proved in this new space and the asymptotic decay for the problem with non vanishing supplies is obtained for a large class of memory kernels, including those presenting an exponential or polynomial decay.


title: A New Bound for 3-Satisfiable MaxSat and its Algorithmic Application

abstract: Let F be a CNF formula with n variables and m clauses. F is 3-satisfiable if for any 3 clauses in F, there is a truth assignment which satisfies all of them. Lieberherr and Specker (1982) and, later, Yannakakis (1994) proved that in each 3-satisfiable CNF formula at least 2/3 of its clauses can be satisfied by a truth assignment. We improve this result by showing that every 3-satisfiable CNF formula F contains a subset of variables U, such that some truth assignment $\tau$ will satisfy at least $2m/3+ m_U/3+\rho n'$ clauses, where m is the number of clauses of F, m_U is the number of clauses of F containing a variable from U, n' is the total number of variables in clauses not containing a variable in U, and \rho is a positive absolute constant. Both U and $\tau$ can be found in polynomial time. We use our result to show that the following parameterized problem is fixed-parameter tractable and, moreover, has a kernel with a linear number of variables. In 3-S-MAXSAT-AE, we are given a 3-satisfiable CNF formula F with m clauses and asked to determine whether there is an assignment which satisfies at least 2m/3 + k clauses, where k is the parameter.


title: Thermodynamics of the in-medium chiral condensate

abstract: The temperature dependence of the chiral condensate in isospin-symmetric nuclear matter at varying baryon densities is investigated starting from a realistic free energy density of the correlated nuclear many-body system. The framework is thermal in-medium chiral effective field theory which permits a systematic calculation of the quark mass dependence of the free energy density. One- and two-pion exchange processes, virtual $\Delta(1232)$-isobar excitations and Pauli blocking corrections are treated up to and including three-loop order. It is found that nuclear matter remains in the Nambu-Goldstone phase with spontaneously broken chiral symmetry at least in the range of temperatures $T\lesssim 100\,$MeV and baryon densities up to about twice the density of normal nuclear matter.


title: M\"obius transformations and electronic transport properties of large disorderless networks

abstract: We show that the key transport states, insulating and conducting, of large regular networks of scatterers can be described generically by negative and zero Lyapunov exponents, respectively, of M\"obius maps that relate the scattering matrix of systems with successive sizes. The conductive phase is represented by weakly chaotic attractors that have been linked with anomalous transport and ergodicity breaking. Our conclusions, verified for serial as well as parallel stub and ring structures, reveal that mesoscopic behavior results from a drastic reduction of degrees of freedom.


title: Reliability of systems with dependent components based on lattice polynomial description

abstract: Reliability of a system is considered where the components' random lifetimes may be dependent. The structure of the system is described by an associated "lattice polynomial" function. Based on that descriptor, general framework formulas are developed and used to obtain direct results for the cases where a) the lifetimes are "Bayes-dependent", that is, their interdependence is due to external factors (in particular, where the factor is the "preliminary phase" duration) and b) where the lifetimes' dependence is implied by upper or lower bounds on lifetimes of components in some subsets of the system. (The bounds may be imposed externally based, say, on the connections environment.) Several special cases are investigated in detail.


title: A real ensemble interpretation of quantum mechanics

abstract: A new ensemble interpretation of quantum mechanics is proposed according to which the ensemble associated to a quantum state really exists: it is the ensemble of all the systems in the same quantum state in the universe. Individual systems within the ensemble have microscopic states, described by beables. The probabilities of quantum theory turn out to be just ordinary relative frequencies probabilities in these ensembles. Laws for the evolution of the beables of individual systems are given such that their ensemble relative frequencies evolve in a way that reproduces the predictions of quantum mechanics. These laws are highly non-local and involve a new kind of interaction between the members of an ensemble that define a quantum state. These include a stochastic process by which individual systems copy the beables of other systems in the ensembles of which they are a member. The probabilities for these copy processes do not depend on where the systems are in space, but do depend on the distribution of beables in the ensemble. Macroscopic systems then are distinguished by being large and complex enough that they have no copies in the universe. They then cannot evolve by the copy law, and hence do not evolve stochastically according to quantum dynamics. This implies novel departures from quantum mechanics for systems in quantum states that can be expected to have few copies in the universe. At the same time, we are able to argue that the centre of masses of large macroscopic systems do satisfy Newton's laws.


title: WASP-43b: The closest-orbiting hot Jupiter

abstract: We report the discovery of WASP-43b, a hot Jupiter transiting a K7V star every 0.81 d. At 0.6-Msun the host star has the lowest mass of any star hosting a hot Jupiter. It also shows a 15.6-d rotation period. The planet has a mass of 1.8 Mjup, a radius of 0.9 Rjup, and with a semi-major axis of only 0.014 AU has the smallest orbital distance of any known hot Jupiter. The discovery of such a planet around a K7V star shows that planets with apparently short remaining lifetimes owing to tidal decay of the orbit are also found around stars with deep convection zones.


title: Pattern discovery for semi-structured web pages using bar-tree representation

abstract: Many websites with an underlying database containing structured data provide the richest and most dense source of information relevant for topical data integration. The real data integration requires sustainable and reliable pattern discovery to enable accurate content retrieval and to recognize pattern changes from time to time; yet, extracting the structured data from web documents is still lacking from its accuracy. This paper proposes the bar-tree representation to describe the whole pattern of web pages in an efficient way based on the reverse algorithm. While previous algorithms always trace the pattern and extract the region of interest from \textit{top root}, the reverse algorithm recognizes the pattern from the region of interest to both top and bottom roots simultaneously. The attributes are then extracted and labeled reversely from the region of interest of targeted contents. Since using conventional representations for the algorithm should require more computational power, the bar-tree method is developed to represent the generated patterns using bar graphs characterized by the depths and widths from the document roots. We show that this representation is suitable for extracting the data from the semi-structured web sources, and for detecting the template changes of targeted pages. The experimental results show perfect recognition rate for template changes in several web targets.


title: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics

abstract: We study uniform interpolation and forgetting in the description logic ALC. Our main results are model-theoretic characterizations of uniform inter- polants and their existence in terms of bisimula- tions, tight complexity bounds for deciding the existence of uniform interpolants, an approach to computing interpolants when they exist, and tight bounds on their size. We use a mix of model- theoretic and automata-theoretic methods that, as a by-product, also provides characterizations of and decision procedures for conservative extensions.


title: A frequentist two-sample test based on Bayesian model selection

abstract: Despite their importance in supporting experimental conclusions, standard statistical tests are often inadequate for research areas, like the life sciences, where the typical sample size is small and the test assumptions difficult to verify. In such conditions, standard tests tend to be overly conservative, and fail thus to detect significant effects in the data. Here we define a novel statistical test for the two-sample problem. Several characteristics make it an attractive alternative to classical two-sample tests: 1) It is based on Bayesian model selection, and thus takes into account uncertainty about the model's parameters, mitigating the problem of small samples size; 2) The null hypothesis is compared with several alternative hypotheses, making the test suitable in different experimental scenarios; 3) The test is constructed as a frequentist test, and defines significance with the conventional bound on Type I errors. We analyze the power of the test and find that it is higher than the power of other standard options, like the t-test (up to 25% higher) for a wide range of sample and effect sizes, and is at most 1% lower when the assumptions of the t-test are perfectly matched. We discuss and evaluate two variants of the test, that define different prior distributions over the parameters of the hypotheses.


title: WASP-35b, WASP-48b and WASP-51b: Two new planets and an independent discovery of HAT-P-30b

abstract: We report the detection of WASP-35b, a planet transiting a metal-poor ([Fe/H] = -0.15) star in the Southern hemisphere, WASP-48b, an inflated planet which may have spun-up its slightly evolved host star of 1.75 R_sun in the Northern hemisphere, and the independent discovery of HAT-P-30b / WASP-51b, a new planet in the Northern hemisphere. Using WASP, RISE, FTS and TRAPPIST photometry, with CORALIE, SOPHIE and NOT spectroscopy, we determine that WASP-35b has a mass of 0.72 +/- 0.06 M_J and radius of 1.32 +/- 0.03 R_J, and orbits with a period of 3.16 days, WASP-48b has a mass of 0.98 +/- 0.09 M_J, radius of 1.67 +/- 0.08 R_J and orbits in 2.14 days, while WASP-51b, with an orbital period of 2.81 days, is found to have a mass of 0.76 +/- 0.05 M_J and radius of 1.42 +/- 0.04 R_J, agreeing with values of 0.71 +/- 0.03 M_J and 1.34 +/- 0.07 R_J reported for HAT-P-30b.


title: Multi--hump soliton--like structures in interactions of lasers and Bose--Einstein condensates

abstract: An investigation is made of multi-hump and periodic solutions of the semi-classical coupled equations describing laser radiation copropagating with a Bose-Einstein condensate. Solutions reminiscent of optical vector solitons have been found and have been used to gain understanding of the dynamics observed in the numerical simulations, in particular to shed light on the phenomenon of jet emission from a condensate interacting with a laser.


title: Self-organizing traffic lights at multiple-street intersections

abstract: Summary: Traffic light coordination is a complex problem. In this paper, we extend previous work on an abstract model of city traffic to allow for multiple street intersections. We test a self-organizing method in our model, showing that it is close to theoretical optima and superior to a traditional method of traffic light coordination. Abstract: The elementary cellular automaton following rule 184 can mimic particles flowing in one direction at a constant speed. This automaton can therefore model highway traffic. In a recent paper, we have incorporated intersections regulated by traffic lights to this model using exclusively elementary cellular automata. In such a paper, however, we only explored a rectangular grid. We now extend our model to more complex scenarios employing an hexagonal grid. This extension shows first that our model can readily incorporate multiple-way intersections and hence simulate complex scenarios. In addition, the current extension allows us to study and evaluate the behavior of two different kinds of traffic light controller for a grid of six-way streets allowing for either two or three street intersections: a traffic light that tries to adapt to the amount of traffic (which results in self-organizing traffic lights) and a system of synchronized traffic lights with coordinated rigid periods (sometimes called the "green wave" method). We observe a tradeoff between system capacity and topological complexity. The green wave method is unable to cope with the complexity of a higher-capacity scenario, while the self-organizing method is scalable, adapting to the complexity of a scenario and exploiting its maximum capacity. Additionally, in this paper we propose a benchmark, independent of methods and models, to measure the performance of a traffic light controller comparing it against a theoretical optimum.


title: Einstein-Yang-Mills-Chern-Simons solutions in D=2n+1 dimensions

abstract: We investigate finite energy solutions of the Einstein--Yang-Mills--Chern-Simons system in odd spacetime dimensions, D=2n+1, with n>1. Our configurations are static and spherically symmetric, approaching at infinity a Minkowski spacetime background. In contrast with the Abelian case, the contribution of the Chern-Simons term is nontrivial already in the static, spherically symmetric limit. Both globally regular, particle-like solutions and black holes are constructed numerically for several values of D. These solutions carry a nonzero electric charge and have finite mass. For globally regular solutions, the value of the electric charge is fixed by the Chern-Simons coupling constant. The black holes can be thought as non-linear superpositions of Reissner-Nordstrom and non-Abelian configurations. A systematic discussion of the solutions is given for D=5, in which case the Reissner-Nordstrom black hole becomes unstable and develops non-Abelian hair. We show that some of these non-Abelian configurations are stable under linear, spherically symmetric perturbations. A detailed discussion of an exact D=5 solution describing extremal black holes and solitons is also provided.