Cross-spectral analysis of the X-ray variability of Mrk 421

Using the cross-spectral method, we confirm the existence of the X-ray hard lags discovered with cross-correlation function technique during a large flare of Mrk 421 observed with BeppoSAX . For the 0.1--2 versus 2--10keV light curves, both methods suggest sub-hour hard lags. In the time domain, the degree of hard lag, i.e., the amplitude of the 3.2--10 keV photons lagging the lower energy ones, tends to increase with the decreasing energy. In the Fourier frequency domain, by investigating the cross-spectra of the 0.1--2/2--10 keV and the 2--3.2/3.2--10 keV pairs of light curves, the flare also shows hard lags at the lowest frequencies. However, with the present data, it is impossible to constrain the dependence of the lags on frequencies even though the detailed simulations demonstrate that the hard lags at the lowest frequencies probed by the flare are not an artifact of sparse sampling, Poisson and red noise. As a possible interpretation, the implication of the hard lags is discussed in the context of the interplay between the (diffusive) acceleration and synchrotron cooling of relativistic electrons responsible for the observed X-ray emission. The energy-dependent hard lags are in agreement with the expectation of an energy-dependent acceleration timescale. The inferred magnetic field (B ~ 0.11 Gauss) is consistent with the value inferred from the Spectral Energy Distributions of the source. Future investigations with higher quality data that whether or not the time lags are energy-/frequency-dependent will provide a new constraint on the current models of the TeV blazars.Comment: 11 pages, 6 figures, accepted by MNRA

A Note on the correspondence between Qubit Quantum Operations and Special Relativity

We exploit a well-known isomorphism between complex hermitian $2\times 2$ matrices and $\mathbb{R}^4$, which yields a convenient real vector representation of qubit states. Because these do not need to be normalized we find that they map onto a Minkowskian future cone in $\mathbb{E}^{1,3}$, whose vertical cross-sections are nothing but Bloch spheres. Pure states are represented by light-like vectors, unitary operations correspond to special orthogonal transforms about the axis of the cone, positive operations correspond to pure Lorentz boosts. We formalize the equivalence between the generalized measurement formalism on qubit states and the Lorentz transformations of special relativity, or more precisely elements of the restricted Lorentz group together with future-directed null boosts. The note ends with a discussion of the equivalence and some of its possible consequences.Comment: 6 pages, revtex, v3: revised discussio

Typing Quantum Superpositions and Measurement

We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.Fil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Dowek, Gilles. Institut National de Recherche en Informatique et en Automatique; Franci

Blood Oxygen Level-Dependent Activation of the Primary Visual Cortex Predicts Size Adaptation Illusion

In natural scenes, objects rarely occur in isolation but appear within a spatiotemporal context. Here, we show that the perceived size of a stimulus is significantly affected by the context of the scene: brief previous presentation of larger or smaller adapting stimuli at the same region of space changes the perceived size of a test stimulus, with larger adapting stimuli causing the test to appear smaller than veridical and vice versa. In ahumanfMRI study, we measured the blood oxygen level-dependent activation (BOLD) responses of the primary visual cortex (V1) to the contours of large-diameter stimuli and found that activation closely matched the perceptual rather than the retinal stimulus size: the activated area of V1 increased or decreased, depending on the size of the preceding stimulus. A model based on local inhibitory V1 mechanisms simulated the inward or outward shifts of the stimulus contours and hence the perceptual effects. Our findings suggest that area V1 is actively involved in reshaping our perception to match the short-term statistics of the visual scene

Life Cycle Assessment of a Circular Economy Process for Tray Production via Water-Based Upcycling of Vegetable Waste

With one-third of food being wasted at the various steps of the value chain, there is a large amount of biomass constantly being discarded, also wasting the resources consumed for its production. Several strategies have been proposed to use this biomass as a source of raw materials for the production of plastic alternatives, but the environmental impact parameters have rarely been estimated to understand if the proposed process provides an overall benefit. The purpose of this paper is to analyze, through an experimental laboratory campaign, the production process of a vegetable biocomposite material obtained by valorization of biomass from two sources: unsold vegetables from a wholesale market and carrot pomace obtained as a byproduct of juicing. The obtained biocomposite films were thermoformed into trays to replace the traditional plastic food containers made principally with PET. Different scenarios for the lab-scale production of trays were evaluated by testing two water-based processing methods for the two types of biomass used. In order to understand which of the four scenarios was the least impactful, the global warming potential, the cumulative energy demand, and the water scarcity index were used as indicators. Among the different lab-scale processing scenarios for the upscaling of vegetable waste, the least impactful was starting from the unsold/discarded vegetables collected at the wholesale market that were processed via water-based hydrolysis catalyzed by formic acid. Impact parameters were comparable or better than two traditional polymers (PET and HDPE) and two biopolymers (PLA and biopolymer from starch), showing that this process has excellent potential, from an environmental point of view, of substituting plastic packaging

Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

Adaptation to hand-tapping affects sensory processing of numerosity directly: evidence from reaction times and confidence

Each file contains a matrix called “MatriceRisultati”. Each row of the matrix “MatriceRisultati” is a trial. The columns contain the following information: 1st: Number of trial 2nd: Test numerosity 3rd: Subject response on numerosity 4th: Subject response on their confidence level 5th: Response time 6th: 0 if the test numerosity 1