We put forward a model of action-based randomization mechanisms to analyse quantitative information flow (QIF) under generic leakage functions, and under possibly adaptive adversaries. This model subsumes many of the QIF models proposed so far. Our m
ain contributions include the following: (1) we identify mild general conditions on the leakage function under which it is possible to derive general and significant results on adaptive QIF; (2) we contrast the efficiency of adaptive and non-adaptive strategies, showing that the latter are as efficient as the former in terms of length up to an expansion factor bounded by the number of available actions; (3) we show that the maximum information leakage over strategies, given a finite time horizon, can be expressed in terms of a Bellman equation. This can be used to compute an optimal finite strategy recursively, by resorting to standard methods like backward induction.
We compute optical galaxy luminosity functions (GLFs) in the B, V, R, and I rest-frame bands for one of the largest medium-to-high-redshift (0.4 < z < 0.9) cluster samples to date in order to probe the abundance of faint galaxies in clusters. We also
study how the GLFs depend on cluster redshift, mass, and substructure, and compare the GLFs of clusters with those of the field. We separately investigate the GLFs of blue and red-sequence (RS) galaxies to understand the evolution of different cluster populations. We find that the shapes of our GLFs are similar for the B, V, R, and I bands with a drop at the red GLF faint end that is more pronounced at high-redshift: alpha(red) ~ -0.5 at 0.40 < z < 0.65 and alpha(red) > 0.1 at 0.65 < z < 0.90. The blue GLFs have a steeper faint end (alpha(blue) ~ -1.6) than the red GLFs, that appears to be independent of redshift. For the full cluster sample, blue and red GLFs intersect at M(V) = -20, M(R) = -20.5, and M(I) = -20.3. A study of how galaxy types evolve with redshift shows that late type galaxies appear to become early types between z ~ 0.9 and today. Finally, the faint ends of the red GLFs of more massive clusters appear to be richer than less massive clusters, which is more typical of the lower redshift behaviour. Our results indicate that our clusters form at redshifts higher than z = 0.9 from galaxy structures that already have an established red sequence. Late type galaxies then appear to evolve into early types, enriching the red-sequence between this redshift and today. This effect is consistent with the evolution of the faint end slope of the red-sequence and the galaxy type evolution that we find. Finally, faint galaxies accreted from the field environment at all redshifts might have replaced the blue late type galaxies that converted into early types, explaining the lack of evolution in the faint end slopes of the blue GLFs.
Belief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the result is
a disjunction of belief bases that is not necessarily repre-sentable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional clo-sures: in such a closure, the result of belief revision belongs to the formalism. Moreover, this makes it possible to define a contraction operator thanks to the Harper identity. Belief revision in the propositional closure of QAs is studied, an al-gorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web.
Chemical gardens are mineral aggregates that grow in three dimensions with plant-like forms and share properties with self-assembled structures like nano-scale tubes, brinicles or chimneys at hydrothermal vents. The analysis of their shapes remains a
challenge, as their growth is influenced by osmosis, buoyancy and reaction-diffusion processes. Here we show that chemical gardens grown by injection of one reactant into the other in confined conditions feature a wealth of new patterns including spirals, flowers, and filaments. The confinement decreases the influence of buoyancy, reduces the spatial degrees of freedom and allows analysis of the patterns by tools classically used to analyze two-dimensional patterns. Injection moreover allows the study in controlled conditions of the effects of variable concentrations on the selected morphology. We illustrate these innovative aspects by characterizing quantitatively, with a simple geometrical model, a new class of self-similar logarithmic spirals observed in a large zone of the parameter space.
We present an analysis of hadronic multiplicities measured in Pb-Pb collisions at sqrt s_{NN} = 2.76 TeV as a function of the collision centrality within the statistical hadronization model. Evidence is found of a dependence of the chemical freeze-ou
t temperature as a function of centrality, with a slow rise from central to peripheral collisions, which we interpret as an effect of post-hadronization inelastic scatterings. Using correction factors calculated by means of a simulation based on the UrQMD model, we are able to obtain a significant improvement in the statitical model fit quality and to reconstruct the primordial chemical equilibrium configuration. This is characterized by a nearly constant temperature of about 164 MeV which we interpret as the actual hadronization temperature.
We discuss the concept of local thermodynamical equilibrium in relativistic hydrodynamics in flat spacetime in a quantum statistical framework without an underlying kinetic description, suitable for strongly interacting fluids. We show that the appro
priate definition of local equilibrium naturally leads to the introduction of a relativistic hydrodynamical frame in which the four-velocity vector is the one of a relativistic thermometer at equilibrium with the fluid, parallel to the inverse temperature four-vector beta, which then becomes a primary quantity. We show that this frame is the most appropriate for the expansion of stress-energy tensor from local thermodynamical equilibrium and that therein the local laws of thermodynamics take on their simplest form. We discuss the difference between the beta frame and Landau frame and present an instance where they differ.
Abell 3376 is a merging cluster of galaxies at redshift z=0.046, famous mostly for its giant radio arcs, and shows an elongated and highly substructured X-ray emission, but has not been analysed in detail at optical wavelengths. We have obtained wide
field images of Abell 3376 in the B band and derive the GLF applying a statistical subtraction of the background in three regions: a circle of 0.29 deg radius (1.5 Mpc) encompassing the whole cluster, and two circles centered on each of the two brightest galaxies (BCG2, northeast, coinciding with the peak of X-ray emission, and BCG1, southwest) of radii 0.15 deg (0.775 Mpc). We also compute the GLF in the zone around BCG1, which is covered by the WINGS survey in the B and V bands, by selecting cluster members in the red sequence in a (B-V) versus V diagram. Finally, we discuss the dynamical characteristics of the cluster implied by a Serna & Gerbal analysis. The GLFs are not well fit by a single Schechter function, but satisfactory fits are obtained by summing a Gaussian and a Schechter function. The GLF computed by selecting galaxies in the red sequence in the region surrounding BCG1 can also be fit by a Gaussian plus a Schechter function. An excess of galaxies in the brightest bins is detected in the BCG1 and BCG2 regions. The dynamical analysis based on the Serna & Gerbal method shows the existence of a main structure of 82 galaxies which can be subdivided into two main substructures of 25 and 6 galaxies. A smaller structure of 6 galaxies is also detected. The B band GLFs of Abell 3376 are clearly perturbed, as already found in other merging clusters. The dynamical properties are consistent with the existence of several substructures, in agreement with a previously published X-ray analysis.
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focu
s on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.
It is shown that different pairs of stress-energy and spin tensors of quantum relativistic fields related by a pseudo-gauge transformation, i.e. differing by a divergence, imply different mean values of physical quantities in thermodynamical nonequil
ibrium situations. Most notably, transport coefficients and the total entropy production rate are affected by the choice of the spin tensor of the relativistic quantum field theory under consideration. Therefore, at least in principle, it should be possible to disprove a fundamental stress-energy tensor and/or to show that a fundamental spin tensor exists by means of a dissipative thermodynamical experiment.
We present two new families of Wilson loop operators in N= 6 supersymmetric Chern-Simons theory. The first one is defined for an arbitrary contour on the three dimensional space and it resembles the Zarembos construction in N=4 SYM. The second one in
volves arbitrary curves on the two dimensional sphere. In both cases one can add certain scalar and fermionic couplings to the Wilson loop so it preserves at least two supercharges. Some previously known loops, notably the 1/2 BPS circle, belong to this class, but we point out more special cases which were not known before. They could provide further tests of the gauge/gravity correspondence in the ABJ(M) case and interesting observables, exactly computable by localization
