-
Power sum polynomials in a discrete tomography perspective
Authors:
Silvia M. C. Pagani,
Silvia Pianta
Abstract:
For a point of the projective space $\PG(n,q)$, its Rédei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the Rédei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tom…
▽ More
For a point of the projective space $\PG(n,q)$, its Rédei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the Rédei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tomography. In this paper we deal with the two-dimensional case and show that the notion of ghost, whose employment enables to find all solutions of the tomographic problem, can be rephrased in the finite geometry context, where subsets with null power sum polynomial are called ghosts as well. In the latter case, one can add ghosts still preserving the power sum polynomial by means of the multiset sum (modulo the field characteristic). We prove some general results on ghosts in $\PG(2,q)$ and compute their number in case $q$ is a prime.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Universal Silicon Microwave Photonic Spectral Shaper
Authors:
Xin Guo,
Yang Liu,
Tangman Yin,
Blair Morrison,
Mattia Pagani,
Okky Daulay,
Wim Bogaerts,
Benjamin J. Eggleton,
Alvaro Casas-Bedoya,
David Marpaung
Abstract:
Optical modulation plays arguably the utmost important role in microwave photonic (MWP) systems. Precise synthesis of modulated optical spectra dictates virtually all aspects of MWP system quality including loss, noise figure, linearity, and the types of functionality that can be executed. But for such a critical function, the versatility to generate and transform analog optical modulation is seve…
▽ More
Optical modulation plays arguably the utmost important role in microwave photonic (MWP) systems. Precise synthesis of modulated optical spectra dictates virtually all aspects of MWP system quality including loss, noise figure, linearity, and the types of functionality that can be executed. But for such a critical function, the versatility to generate and transform analog optical modulation is severely lacking, blocking the pathways to truly unique MWP functions including ultra-linear links and low-loss high rejection filters. Here we demonstrate versatile RF photonic spectrum synthesis in an all-integrated silicon photonic circuit, enabling electrically-tailorable universal analog modulation transformation. We show a series of unprecedented RF filtering experiments through monolithic integration of the spectrum-synthesis circuit with a network of reconfigurable ring resonators.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Automatic Differentiation in PCF
Authors:
Damiano Mazza,
Michele Pagani
Abstract:
We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode. Our main result is that, under mild hypotheses on the primitive functions included in the language, AD is almost everywhere correct, that is, it computes the derivative or gradient of the program under consideration except…
▽ More
We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode. Our main result is that, under mild hypotheses on the primitive functions included in the language, AD is almost everywhere correct, that is, it computes the derivative or gradient of the program under consideration except for a set of Lebesgue measure zero. Stated otherwise, there are inputs on which AD is incorrect, but the probability of randomly choosing one such input is zero. Our result is in fact more precise, in that the set of failure points admits a more explicit description: for example, in case the primitive functions are just constants, addition and multiplication, the set of points where AD fails is contained in a countable union of zero sets of non-identically-zero polynomials.
△ Less
Submitted 12 January, 2021; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Algorithms for linear time reconstruction by discrete tomography II
Authors:
Matthew Ceko,
Silvia M. C. Pagani,
Rob Tijdeman
Abstract:
The reconstruction of an unknown function $f$ from its line sums is the aim of discrete tomography. However, two main aspects prevent reconstruction from being an easy task. In general, many solutions are allowed due to the presence of the switching functions. Even when uniqueness conditions are available, results about the NP-hardness of reconstruction algorithms make their implementation ineffic…
▽ More
The reconstruction of an unknown function $f$ from its line sums is the aim of discrete tomography. However, two main aspects prevent reconstruction from being an easy task. In general, many solutions are allowed due to the presence of the switching functions. Even when uniqueness conditions are available, results about the NP-hardness of reconstruction algorithms make their implementation inefficient when the values of $f$ are in certain sets. We show that this is not the case when $f$ takes values in a field or a unique factorization domain, such as $\R$ or $\Z$. We present a linear time reconstruction algorithm (in the number of directions and in the size of the grid), which outputs the original function values for all points outside of the switching domains. Freely chosen values are assigned to the other points, namely, those with ambiguities. Examples are provided.
△ Less
Submitted 9 April, 2021; v1 submitted 15 October, 2020;
originally announced October 2020.
-
A linear time approach to three-dimensional reconstruction by discrete tomography
Authors:
Matthew Ceko,
Silvia M. C. Pagani,
Rob Tijdeman
Abstract:
The goal of discrete tomography is to reconstruct an unknown function $f$ via a given set of line sums. In addition to requiring accurate reconstructions, it is favourable to be able to perform the task in a timely manner. This is complicated by the presence of ghosts, which allow many solutions to exist in general. In this paper we consider the case of a function $f : A \to \mathbb{R}$ where $A$…
▽ More
The goal of discrete tomography is to reconstruct an unknown function $f$ via a given set of line sums. In addition to requiring accurate reconstructions, it is favourable to be able to perform the task in a timely manner. This is complicated by the presence of ghosts, which allow many solutions to exist in general. In this paper we consider the case of a function $f : A \to \mathbb{R}$ where $A$ is a finite grid in $\mathbb{Z}^3$. Previous work has shown that in the two-dimensional case it is possible to determine all solutions in parameterized form in linear time (with respect to the number of directions and the grid size) regardless of whether the solution is unique. In this work, we show that a similar linear method exists in three dimensions under the condition of nonproportionality. We show that the condition of nonproportionality is fulfilled in the case of three-dimensional boundary ghosts.
△ Less
Submitted 31 October, 2022; v1 submitted 12 October, 2020;
originally announced October 2020.
-
The Benefit of Being Non-Lazy in Probabilistic λ-calculus
Authors:
Gianluca Curzi,
Michele Pagani
Abstract:
We consider the probabilistic applicative bisimilarity (PAB), a coinductive relation comparing the applicative behaviour of probabilistic untyped lambda terms according to a specific operational semantics. This notion has been studied with respect to the two standard parameter passing policies, call-by-value (cbv) and call-by-name (cbn), using a lazy reduction strategy not reducing within the body…
▽ More
We consider the probabilistic applicative bisimilarity (PAB), a coinductive relation comparing the applicative behaviour of probabilistic untyped lambda terms according to a specific operational semantics. This notion has been studied with respect to the two standard parameter passing policies, call-by-value (cbv) and call-by-name (cbn), using a lazy reduction strategy not reducing within the body of a function. In particular, PAB has been proven to be fully abstract with respect to the contextual equivalence in cbv but not in lazy cbn. We overcome this issue of cbn by relaxing the laziness constraint: we prove that PAB is fully abstract with respect to the standard head reduction contextual equivalence. Our proof is based on the Leventis Separation Theorem, using probabilistic Nakajima trees as a tree-like representation of the contextual equivalence classes. Finally, we prove also that the inequality full abstraction fails, showing that the probabilistic applicative similarity is strictly contained in the contextual preorder.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Authors:
Alois Brunel,
Damiano Mazza,
Michele Pagani
Abstract:
Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs. It is a fundamental tool in several fields, most notably machine learning, where it is the key for efficiently training (deep) neural networks. Recent years have witnessed the quick growth of a research field…
▽ More
Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs. It is a fundamental tool in several fields, most notably machine learning, where it is the key for efficiently training (deep) neural networks. Recent years have witnessed the quick growth of a research field called differentiable programming, the aim of which is to express computational graphs more synthetically and modularly by resorting to actual programming languages endowed with control flow operators and higher-order combinators, such as map and fold. In this paper, we extend the backpropagation algorithm to a paradigmatic example of such a programming language: we define a compositional program transformation from the simply-typed lambda-calculus to itself augmented with a notion of linear negation, and prove that this computes the gradient of the source program with the same efficiency as first-order backpropagation. The transformation is completely effect-free and thus provides a purely logical understanding of the dynamics of backpropagation.
△ Less
Submitted 6 November, 2019; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Authors:
Michele Pagani,
Sandra Alves
Abstract:
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018 in Oxford, in affiliation with FLOC 2018.
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018 in Oxford, in affiliation with FLOC 2018.
△ Less
Submitted 21 April, 2019;
originally announced April 2019.
-
Revisiting Call-by-value Böhm trees in light of their Taylor expansion
Authors:
Emma Kerinec,
Giulio Manzonetto,
Michele Pagani
Abstract:
The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction. We show that such an extension allows to define a satisfying notion of Böhm(-like) tree and a theory of program approximation in the call-by-value setting. We prove that all lambda terms having…
▽ More
The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction. We show that such an extension allows to define a satisfying notion of Böhm(-like) tree and a theory of program approximation in the call-by-value setting. We prove that all lambda terms having the same Böhm tree are observationally equivalent, and characterize those Böhm-like trees arising as actual Böhm trees of lambda terms.
We also compare this approach with Ehrhard's theory of program approximation based on the Taylor expansion of lambda terms, translating each lambda term into a possibly infinite set of so-called resource terms. We provide sufficient and necessary conditions for a set of resource terms in order to be the Taylor expansion of a lambda term. Finally, we show that the normal form of the Taylor expansion of a lambda term can be computed by performing a normalized Taylor expansion of its Böhm tree. From this it follows that two lambda terms have the same Böhm tree if and only if the normal forms of their Taylor expansions coincide.
△ Less
Submitted 14 July, 2020; v1 submitted 7 September, 2018;
originally announced September 2018.
-
Measurable Cones and Stable, Measurable Functions
Authors:
Thomas Ehrhard,
Michele Pagani,
Christine Tasson
Abstract:
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the main primitives of probabilistic functional programming, like continuous and discrete probabilistic distributions, sampling, conditioning and full recursion. We…
▽ More
We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the main primitives of probabilistic functional programming, like continuous and discrete probabilistic distributions, sampling, conditioning and full recursion. We prove the soundness and adequacy of this model with respect to a call-by-name operational semantics and give some examples of its denotations.
△ Less
Submitted 27 November, 2017;
originally announced November 2017.
-
Binary Tomography Reconstructions With Few Projections
Authors:
Paolo Dulio,
Silvia M. C. Pagani
Abstract:
Discrete tomography deals with the reconstruction of images from projections collected along a few given directions. Different approaches can be considered, according to different models. In this paper we adopt the grid model, where pixels are lattice points with integer coordinates, X-rays are discrete lattice lines, and projections are obtained by counting the number of lattice points intercepte…
▽ More
Discrete tomography deals with the reconstruction of images from projections collected along a few given directions. Different approaches can be considered, according to different models. In this paper we adopt the grid model, where pixels are lattice points with integer coordinates, X-rays are discrete lattice lines, and projections are obtained by counting the number of lattice points intercepted by X-rays taken in the assigned directions.
We move from a theoretical result that allows uniqueness of reconstruction in the grid with just four suitably selected X-ray directions. In this framework, the structure of the allowed ghosts is studied and described. This leads to a new result, stating that the unique binary solution can be explicitly and exactly retrieved from the minimum Euclidean norm solution by means of a rounding method based on some special entries, which are precisely determined. A corresponding iterative algorithm has been implemented, and tested on a few phantoms having different characteristics and structure.
△ Less
Submitted 24 June, 2019; v1 submitted 17 July, 2017;
originally announced July 2017.
-
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms
Authors:
Michele Pagani,
Christine Tasson,
Lionel Vaux
Abstract:
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context of the non-deterministic λ-calculus by introducing a finiteness structure on resource terms, which is such that a λ-term is strongly normalizing iff the support…
▽ More
In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context of the non-deterministic λ-calculus by introducing a finiteness structure on resource terms, which is such that a λ-term is strongly normalizing iff the support of its Taylor expansion is finitary. An application of our result is the existence of a normal form for the Taylor expansion of any strongly normalizable non-deterministic λ-term.
△ Less
Submitted 23 March, 2016;
originally announced March 2016.
-
Full abstraction for probabilistic PCF
Authors:
Thomas Ehrhard,
Michele Pagani,
Christine Tasson
Abstract:
We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation for ground type arguments in order to provide the language with a suitable algorithmic expressiveness. We describe a denotational semantics based…
▽ More
We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation for ground type arguments in order to provide the language with a suitable algorithmic expressiveness. We describe a denotational semantics based on probabilistic coherence spaces, a model of classical Linear Logic developed in previous works. We prove an adequacy and an equational full abstraction theorem showing that equality in the model coincides with a natural notion of observational equivalence.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
Tunable narrowband microwave photonic filter created by stimulated Brillouin scattering from a Silicon nanowire
Authors:
Alvaro Casas-Bedoya,
Blair Morrison,
Mattia Pagani,
David Marpaung,
Benjamin J. Eggleton
Abstract:
We demonstrate the first functional signal processing device based on stimulated Brillouin scattering in a silicon nanowire. We use only 1 dB of on-chip SBS gain to create an RF photonic notch filter with 48 dB of suppression, 98 MHz linewidth, and 6 GHz frequency tuning. This device has potential applications in on-chip microwave signal processing and establishes the foundation for the first CMOS…
▽ More
We demonstrate the first functional signal processing device based on stimulated Brillouin scattering in a silicon nanowire. We use only 1 dB of on-chip SBS gain to create an RF photonic notch filter with 48 dB of suppression, 98 MHz linewidth, and 6 GHz frequency tuning. This device has potential applications in on-chip microwave signal processing and establishes the foundation for the first CMOS-compatible high performance RF photonic filter.
△ Less
Submitted 25 June, 2015;
originally announced June 2015.
-
Low-error and broadband microwave frequency measurement in a silicon chip
Authors:
Mattia Pagani,
Blair Morrison,
Yanbing Zhang,
Alvaro Casas-Bedoya,
Timo Aalto,
Mikko Harjanne,
Markku Kapulainen,
Benjamin J. Eggleton,
David Marpaung
Abstract:
Instantaneous frequency measurement (IFM) of microwave signals is a fundamental functionality for applications ranging from electronic warfare to biomedical technology. Photonic techniques, and nonlinear optical interactions in particular, have the potential to broaden the frequency measurement range beyond the limits of electronic IFM systems. The key lies in efficiently harnessing optical mixing…
▽ More
Instantaneous frequency measurement (IFM) of microwave signals is a fundamental functionality for applications ranging from electronic warfare to biomedical technology. Photonic techniques, and nonlinear optical interactions in particular, have the potential to broaden the frequency measurement range beyond the limits of electronic IFM systems. The key lies in efficiently harnessing optical mixing in an integrated nonlinear platform, with low losses. In this work, we exploit the low loss of a 35 cm long, thick silicon waveguide, to efficiently harness Kerr nonlinearity, and demonstrate the first on-chip four-wave mixing (FWM) based IFM system. We achieve a large 40 GHz measurement bandwidth and record-low measurement error. Finally, we discuss the future prospect of integrating the whole IFM system on a silicon chip to enable the first reconfigurable, broadband IFM receiver with low-latency.
△ Less
Submitted 13 June, 2015;
originally announced June 2015.
-
Low power, chip-based stimulated Brillouin scattering microwave photonic filter with ultrahigh selectivity
Authors:
David Marpaung,
Blair Morrison,
Mattia Pagani,
Ravi Pant,
Duk-Yong Choi,
Barry Luther-Davies,
Steve J. Madden,
Benjamin J. Eggleton
Abstract:
Highly selective and reconfigurable microwave filters are of great importance in radio-frequency signal processing. Microwave photonic (MWP) filters are of particular interest, as they offer flexible reconfiguration and an order of magnitude higher frequency tuning range than electronic filters. However, all MWP filters to date have been limited by trade-offs between key parameters such as tuning…
▽ More
Highly selective and reconfigurable microwave filters are of great importance in radio-frequency signal processing. Microwave photonic (MWP) filters are of particular interest, as they offer flexible reconfiguration and an order of magnitude higher frequency tuning range than electronic filters. However, all MWP filters to date have been limited by trade-offs between key parameters such as tuning range, resolution, and suppression. This problem is exacerbated in the case of integrated MWP filters, blocking the path to compact, high performance filters. Here we show the first chip-based MWP band-stop filter with ultra-high suppression, high resolution in the MHz range, and 0-30 GHz frequency tuning. This record performance was achieved using an ultra-low Brillouin gain from a compact photonic chip and a novel approach of optical resonance-assisted RF signal cancellation. The results point to new ways of creating energy-efficient and reconfigurable integrated MWP signal processors for wireless communications and defence applications.
△ Less
Submitted 13 December, 2014;
originally announced December 2014.
-
Peano on definition of surface area
Authors:
Gabriele H. Greco,
Sonia Mazzucchi,
Enrico M. Pagani
Abstract:
In this paper we investigate the evolution of the concept of area in Peano's works, taking into account the main role played by Grassmann's geometric-vector calculus and Peano's theory on derivative of measures. Geometric (1887) and bi-vectorial (1888) Peano's approaches to surface area mark the development of this topic during the first half of the last century. In the sequel we will present some…
▽ More
In this paper we investigate the evolution of the concept of area in Peano's works, taking into account the main role played by Grassmann's geometric-vector calculus and Peano's theory on derivative of measures. Geometric (1887) and bi-vectorial (1888) Peano's approaches to surface area mark the development of this topic during the first half of the last century. In the sequel we will present some significative contributions on surface area that are inspired and/or closely related to Peano's definition.
△ Less
Submitted 8 December, 2014;
originally announced December 2014.
-
Call-by-value non-determinism in a linear logic type discipline
Authors:
Alejandro Díaz-Caro,
Giulio Manzonetto,
Michele Pagani
Abstract:
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 t…
▽ More
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 ty** tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the ty** tree is minimal, such a bound becomes the exact length of the reduction.
△ Less
Submitted 16 December, 2013;
originally announced December 2013.
-
Applying quantitative semantics to higher-order quantum computing
Authors:
Michele Pagani,
Peter Selinger,
Benoît Valiron
Abstract:
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotationa…
▽ More
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic.
△ Less
Submitted 10 November, 2013;
originally announced November 2013.
-
Reworking on affine exterior algebra of Grassmann, Peano and his school
Authors:
Gabriele H. Greco,
Enrico M. Pagani
Abstract:
In this paper a construction of affine exterior algebra of Grassmann, with a special attention to the revisitation of this subject operated by Peano and his School, is examined from a historical viewpoint. Even if the exterior algebra over a vector space is a well known concept, the construction of an exterior algebra over an affine space, in which points and vectors coexist, has been neglected.…
▽ More
In this paper a construction of affine exterior algebra of Grassmann, with a special attention to the revisitation of this subject operated by Peano and his School, is examined from a historical viewpoint. Even if the exterior algebra over a vector space is a well known concept, the construction of an exterior algebra over an affine space, in which points and vectors coexist, has been neglected. This paper wants to fill this lack.
Some attention is given to the introduction of defining by abstraction (today called definition by quotienting or by equivalence relation), a procedure due to and used by Peano to define geometric forms, basic elements of an affine exterior algebra. This Peano's innovative way of defining, is a relevant contribution to mathematics.
It is observed that in the construction of an affine exterior algebra on the Euclidean three-dimensional space, Grassmann and Peano make use of metric concepts: an accurate analysis shows that, in some cases, the metric aspects can be eliminated, putting into evidence the sufficiency of the underlying affine structure of the Euclidean space.
In the final part of the paper some geometrical and mechanical applications and interpretations of the affine exterior algebra given by Grassmann and Peano are presented.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
Peano on derivative of measures, strict derivative of distributive set functions
Authors:
Gabriele H. Greco,
Sonia Mazzucchi,
Enrico M. Pagani
Abstract:
By retracing research on coexistent magnitudes (grandeurs coexistantes) by Cauchy (1841), Peano in "Applicazioni geometriche del calcolo infinitesimale" (1887) defines the "density" (strict derivative) of a "mass" (a distributive set function) with respect to a "volume" (a positive distributive set function), proves its continuity (whenever the strict derivative exists) and shows the validity of…
▽ More
By retracing research on coexistent magnitudes (grandeurs coexistantes) by Cauchy (1841), Peano in "Applicazioni geometriche del calcolo infinitesimale" (1887) defines the "density" (strict derivative) of a "mass" (a distributive set function) with respect to a "volume" (a positive distributive set function), proves its continuity (whenever the strict derivative exists) and shows the validity of the mass-density paradigm: "mass" is recovered from "density" by integration with respect to "volume". It is remarkable that Peano's strict derivative provides a consistent mathematical ground to the concept of "infinitesimal ratio" between two magnitudes, successfully used since Kepler. In this way the classical (i.e., pre-Lebesgue) measure theory reaches a complete and definitive form in Peano's Applicazioni geometriche.
A primary aim of the present paper is a detailed exposition of Peano's work of 1887 leading to the concept of strict derivative of distributive set functions and their use. Moreover, we compare Peano's work and Lebesgue's "La mesure des grandeurs" (1935): in this memoir Lebesgue, motivated by coexistent magnitudes of Cauchy, introduces a uniform-derivative of certain additive set functions, a concept that coincides with Peano's strict derivative. Intriguing questions are whether Lebesgue was aware of the contributions of Peano and which role is played by the notions of strict derivative or of uniform-derivative in today mathematical practice.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
Target atmospheric CO2: Supporting material
Authors:
J. Hansen,
M. Sato,
P. Kharecha,
D. Beerling,
R. Berner,
V. Masson-Delmotte,
M. Pagani,
M. Raymo,
D. L. Royer,
J. C. Zachos
Abstract:
Additional material supporting the article "Target atmospheric CO2: Where should humanity aim?"
Additional material supporting the article "Target atmospheric CO2: Where should humanity aim?"
△ Less
Submitted 15 October, 2008; v1 submitted 7 April, 2008;
originally announced April 2008.
-
Target atmospheric CO2: Where should humanity aim?
Authors:
J. Hansen,
M. Sato,
P. Kharecha,
D. Beerling,
R. Berner,
V. Masson-Delmotte,
M. Pagani,
M. Raymo,
D. L. Royer,
J. C. Zachos
Abstract:
Paleoclimate data show that climate sensitivity is ~3 deg-C for doubled CO2, including only fast feedback processes. Equilibrium sensitivity, including slower surface albedo feedbacks, is ~6 deg-C for doubled CO2 for the range of climate states between glacial conditions and ice-free Antarctica. Decreasing CO2 was the main cause of a cooling trend that began 50 million years ago, large scale gla…
▽ More
Paleoclimate data show that climate sensitivity is ~3 deg-C for doubled CO2, including only fast feedback processes. Equilibrium sensitivity, including slower surface albedo feedbacks, is ~6 deg-C for doubled CO2 for the range of climate states between glacial conditions and ice-free Antarctica. Decreasing CO2 was the main cause of a cooling trend that began 50 million years ago, large scale glaciation occurring when CO2 fell to 450 +/- 100 ppm, a level that will be exceeded within decades, barring prompt policy changes. If humanity wishes to preserve a planet similar to that on which civilization developed and to which life on Earth is adapted, paleoclimate evidence and ongoing climate change suggest that CO2 will need to be reduced from its current 385 ppm to at most 350 ppm. The largest uncertainty in the target arises from possible changes of non-CO2 forcings. An initial 350 ppm CO2 target may be achievable by phasing out coal use except where CO2 is captured and adopting agricultural and forestry practices that sequester carbon. If the present overshoot of this target CO2 is not brief, there is a possibility of seeding irreversible catastrophic effects.
△ Less
Submitted 15 October, 2008; v1 submitted 7 April, 2008;
originally announced April 2008.