Optimal sequential fingerprinting: Wald vs. Tardos

We study sequential collusion-resistant fingerprinting, where the fingerprinting code is generated in advance but accusations may be made between rounds, and show that in this setting both the dynamic Tardos scheme and schemes building upon Wald's sequential probability ratio test (SPRT) are asymptotically optimal. We further compare these two approaches to sequential fingerprinting, highlighting differences between the two schemes. Based on these differences, we argue that Wald's scheme should in general be preferred over the dynamic Tardos scheme, even though both schemes have their merits. As a side result, we derive an optimal sequential group testing method for the classical model, which can easily be generalized to different group testing models.Comment: 12 pages, 10 figure

Efficient Triangle Counting in Large Graphs via Degree-based Vertex Partitioning

The number of triangles is a computationally expensive graph statistic which is frequently used in complex network analysis (e.g., transitivity ratio), in various random graph models (e.g., exponential random graph model) and in important real world applications such as spam detection, uncovering of the hidden thematic structure of the Web and link recommendation. Counting triangles in graphs with millions and billions of edges requires algorithms which run fast, use small amount of space, provide accurate estimates of the number of triangles and preferably are parallelizable. In this paper we present an efficient triangle counting algorithm which can be adapted to the semistreaming model. The key idea of our algorithm is to combine the sampling algorithm of Tsourakakis et al. and the partitioning of the set of vertices into a high degree and a low degree subset respectively as in the Alon, Yuster and Zwick work treating each set appropriately. We obtain a running time $O \left(m + \frac{m^{3/2} \Delta \log{n}}{t \epsilon^2} \right)$ and an $\epsilon$ approximation (multiplicative error), where $n$ is the number of vertices, $m$ the number of edges and $\Delta$ the maximum number of triangles an edge is contained. Furthermore, we show how this algorithm can be adapted to the semistreaming model with space usage $O\left(m^{1/2}\log{n} + \frac{m^{3/2} \Delta \log{n}}{t \epsilon^2} \right)$ and a constant number of passes (three) over the graph stream. We apply our methods in various networks with several millions of edges and we obtain excellent results. Finally, we propose a random projection based method for triangle counting and provide a sufficient condition to obtain an estimate with low variance.Comment: 1) 12 pages 2) To appear in the 7th Workshop on Algorithms and Models for the Web Graph (WAW 2010

Essential self-adjointness in one-loop quantum cosmology

The quantization of closed cosmologies makes it necessary to study squared Dirac operators on closed intervals and the corresponding quantum amplitudes. This paper proves self-adjointness of these second-order elliptic operators.Comment: 14 pages, plain Tex. An Erratum has been added to the end, which corrects section

Homoclinic chaos in the dynamics of a general Bianchi IX model

The dynamics of a general Bianchi IX model with three scale factors is examined. The matter content of the model is assumed to be comoving dust plus a positive cosmological constant. The model presents a critical point of saddle-center-center type in the finite region of phase space. This critical point engenders in the phase space dynamics the topology of stable and unstable four dimensional tubes $R \times S^3$, where $R$ is a saddle direction and $S^3$ is the manifold of unstable periodic orbits in the center-center sector. A general characteristic of the dynamical flow is an oscillatory mode about orbits of an invariant plane of the dynamics which contains the critical point and a Friedmann-Robertson-Walker (FRW) singularity. We show that a pair of tubes (one stable, one unstable) emerging from the neighborhood of the critical point towards the FRW singularity have homoclinic transversal crossings. The homoclinic intersection manifold has topology $R \times S^2$ and is constituted of homoclinic orbits which are bi-asymptotic to the $S^3$ center-center manifold. This is an invariant signature of chaos in the model, and produces chaotic sets in phase space. The model also presents an asymptotic DeSitter attractor at infinity and initial conditions sets are shown to have fractal basin boundaries connected to the escape into the DeSitter configuration (escape into inflation), characterizing the critical point as a chaotic scatterer.Comment: 11 pages, 6 ps figures. Accepted for publication in Phys. Rev.

Linear Estimation of Location and Scale Parameters Using Partial Maxima

Consider an i.i.d. sample X^*_1,X^*_2,...,X^*_n from a location-scale family, and assume that the only available observations consist of the partial maxima (or minima)sequence, X^*_{1:1},X^*_{2:2},...,X^*_{n:n}, where X^*_{j:j}=max{X^*_1,...,X^*_j}. This kind of truncation appears in several circumstances, including best performances in athletics events. In the case of partial maxima, the form of the BLUEs (best linear unbiased estimators) is quite similar to the form of the well-known Lloyd's (1952, Least-squares estimation of location and scale parameters using order statistics, Biometrika, vol. 39, pp. 88-95) BLUEs, based on (the sufficient sample of) order statistics, but, in contrast to the classical case, their consistency is no longer obvious. The present paper is mainly concerned with the scale parameter, showing that the variance of the partial maxima BLUE is at most of order O(1/log n), for a wide class of distributions.Comment: This article is devoted to the memory of my six-years-old, little daughter, Dionyssia, who leaved us on August 25, 2010, at Cephalonia isl. (26 pages, to appear in Metrika

Chaos in the Einstein-Yang-Mills Equations

Yang-Mills color fields evolve chaotically in an anisotropically expanding universe. The chaotic behaviour differs from that found in anisotropic Mixmaster universes. The universe isotropizes at late times, approaching the mean expansion rate of a radiation-dominated universe. However, small chaotic oscillations of the shear and color stresses continue indefinitely. An invariant, coordinate-independent characterisation of the chaos is provided by means of fractal basin boundaries.Comment: 3 pages LaTeX + 3 pages of figure

Multidimensional Data Visual Exploration by Interactive Information Segments

Visualization techniques provide an outstanding role in KDD process for data analysis and mining. However, one image does not always convey successfully the inherent information from high dimensionality, very large databases. In this paper we introduce VSIS (Visual Set of Information Segments), an interactive tool to visually explore multidimensional, very large, numerical data. Within the supervised learning, our proposal approaches the problem of classification by searching of meaningful intervals belonging to the most relevant attributes. These intervals are displayed as multi–colored bars in which the degree of impurity with respect to the class membership can be easily perceived. Such bars can be re–explored interactively with new values of user–defined parameters. A case study of applying VSIS to some UCI repository data sets shows the usefulness of our tool in supporting the exploration of multidimensional and very large data

XMM-Newton X-ray and optical observations of the globular clusters M 55 and NGC 3201

We have observed two low concentration Galactic globular clusters with the X-ray observatory XMM-Newton. We detect 47 faint X-ray sources in the direction of M 55 and 62 in the field of view of NGC 3201. Using the statistical Log N-Log S relationship of extragalactic sources derived from XMM-Newton Lockman Hole observations, to estimate the background source population, we estimate that very few of the sources (1.5+/-1.0) in the field of view of M 55 actually belong to the cluster. These sources are located in the centre of the cluster as we expect if the cluster has undergone mass segregation. NGC 3201 has approximately 15 related sources, which are centrally located but are not constrained to lie within the half mass radius. The sources belonging to this cluster can lie up to 5 core radii from the centre of the cluster which could imply that this cluster has been perturbed. Using X-ray (and optical, in the case of M 55) colours, spectral and timing analysis (where possible) and comparing these observations to previous X-ray observations, we find evidence for sources in each cluster that could be cataclysmic variables, active binaries, millisecond pulsars and possible evidence for a quiescent low mass X-ray binary with a neutron star primary, even though we do not expect any such objects in either of the clusters, due to their low central concentrations. The majority of the other sources are background sources, such as AGN.Comment: 12 pages, 7 figures, accepted to be published in A&

Equivalence of Local and Separable Realizations of the Discontinuity-Inducing Contact Interaction and Its Perturbative Renormalizability

We prove that the separable and local approximations of the discontinuity-inducing zero-range interaction in one-dimensional quantum mechanics are equivalent. We further show that the interaction allows the perturbative treatment through the coupling renormalization. Keywords: one-dimensional system, generalized contact interaction, renormalization, perturbative expansion. PACS Nos: 3.65.-w, 11.10.Gh, 31.15.MdComment: ReVTeX 7pgs, doubl column, no figure, See also the website http://www.mech.kochi-tech.ac.jp/cheon

Feller Processes: The Next Generation in Modeling. Brownian Motion, L\'evy Processes and Beyond

We present a simple construction method for Feller processes and a framework for the generation of sample paths of Feller processes. The construction is based on state space dependent mixing of L\'evy processes. Brownian Motion is one of the most frequently used continuous time Markov processes in applications. In recent years also L\'evy processes, of which Brownian Motion is a special case, have become increasingly popular. L\'evy processes are spatially homogeneous, but empirical data often suggest the use of spatially inhomogeneous processes. Thus it seems necessary to go to the next level of generalization: Feller processes. These include L\'evy processes and in particular Brownian motion as special cases but allow spatial inhomogeneities. Many properties of Feller processes are known, but proving the very existence is, in general, very technical. Moreover, an applicable framework for the generation of sample paths of a Feller process was missing. We explain, with practitioners in mind, how to overcome both of these obstacles. In particular our simulation technique allows to apply Monte Carlo methods to Feller processes.Comment: 22 pages, including 4 figures and 8 pages of source code for the generation of sample paths of Feller processe