Showing 1–11 of 11 results for author: Griffith, V

Casper the Friendly Finality Gadget

Authors: Vitalik Buterin, Virgil Griffith

Abstract: We introduce Casper, a proof of stake-based finality system which overlays an existing proof of work blockchain. Casper is a partial consensus mechanism combining proof of stake algorithm research and Byzantine fault tolerant consensus theory. We introduce our system, prove some desirable features, and show defenses against long range revisions and catastrophic crashes. The Casper overlay provides… ▽ More We introduce Casper, a proof of stake-based finality system which overlays an existing proof of work blockchain. Casper is a partial consensus mechanism combining proof of stake algorithm research and Byzantine fault tolerant consensus theory. We introduce our system, prove some desirable features, and show defenses against long range revisions and catastrophic crashes. The Casper overlay provides almost any proof of work chain with additional protections against block reversions. △ Less

Submitted 22 January, 2019; v1 submitted 25 October, 2017; originally announced October 2017.

Comments: 10 pages, 5 figures

Graph Theoretic Properties of the Darkweb

Authors: Virgil Griffith, Yang Xu, Carlo Ratti

Abstract: We collect and analyze the darkweb (a.k.a. the "onionweb") hyperlink graph. We find properties highly dissimilar to the well-studied world wide web hyperlink graph; for example, our analysis finds that >87% of darkweb sites never link to another site. We compare our results to prior work on world-wide-web and speculate about reasons for their differences. We conclude that in the term "darkweb", th… ▽ More We collect and analyze the darkweb (a.k.a. the "onionweb") hyperlink graph. We find properties highly dissimilar to the well-studied world wide web hyperlink graph; for example, our analysis finds that >87% of darkweb sites never link to another site. We compare our results to prior work on world-wide-web and speculate about reasons for their differences. We conclude that in the term "darkweb", the word "web" is a connectivity misnomer. Instead, it is more accurate to view the darkweb as a set of largely isolated dark silos. △ Less

Submitted 26 April, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Synergy, Redundancy and Common Information

Authors: Pradeep Kr. Banerjee, Virgil Griffith

Abstract: We consider the problem of decomposing the total mutual information conveyed by a pair of predictor random variables about a target random variable into redundant, unique and synergistic contributions. We focus on the relationship between "redundant information" and the more familiar information-theoretic notions of "common information". Our main contribution is an impossibility result. We show th… ▽ More We consider the problem of decomposing the total mutual information conveyed by a pair of predictor random variables about a target random variable into redundant, unique and synergistic contributions. We focus on the relationship between "redundant information" and the more familiar information-theoretic notions of "common information". Our main contribution is an impossibility result. We show that for independent predictor random variables, any common information based measure of redundancy cannot induce a nonnegative decomposition of the total mutual information. Interestingly, this entails that any reasonable measure of redundant information cannot be derived by optimization over a single random variable. △ Less

Submitted 12 September, 2015; originally announced September 2015.

Comments: 16 pages, 3 figures

MSC Class: 94A15; 94A17

Quantifying Redundant Information in Predicting a Target Random Variable

Authors: Virgil Griffith, Tracey Ho

Abstract: This paper considers the problem of defining a measure of redundant information that quantifies how much common information two or more random variables specify about a target random variable. We discussed desired properties of such a measure, and propose new measures with some desirable properties. This paper considers the problem of defining a measure of redundant information that quantifies how much common information two or more random variables specify about a target random variable. We discussed desired properties of such a measure, and propose new measures with some desirable properties. △ Less

Submitted 4 March, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 6 pages, 6 figures

Is Consciousness Computable? Quantifying Integrated Information Using Algorithmic Information Theory

Authors: Phil Maguire, Philippe Moser, Rebecca Maguire, Virgil Griffith

Abstract: In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalizat… ▽ More In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalization of this idea using algorithmic information theory. We prove that complete lossless integration requires noncomputable functions. This result implies that if unitary consciousness exists, it cannot be modelled computationally. △ Less

Submitted 1 May, 2014; originally announced May 2014.

Comments: Maguire, P., Moser, P., Maguire, R. & Griffith, V. (2014). Is consciousness computable? Quantifying integrated information using algorithmic information theory. In P. Bello, M. Guarini, M. McShane, & B. Scassellati (Eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society

A Principled Infotheoretic φ-like Measure

Authors: Virgil Griffith

Abstract: Integrated information theory is a mathematical, quantifiable theory of conscious experience. The linchpin of this theory, the $φ$ measure, quantifies a system's irreducibility to disjoint parts. Purely as a measure of irreducibility, we pinpoint three concerns about $φ$ and propose a revised measure, $ψ$, which addresses them. Our measure $ψ$ is rigorously grounded in Partial Information Decompos… ▽ More Integrated information theory is a mathematical, quantifiable theory of conscious experience. The linchpin of this theory, the $φ$ measure, quantifies a system's irreducibility to disjoint parts. Purely as a measure of irreducibility, we pinpoint three concerns about $φ$ and propose a revised measure, $ψ$, which addresses them. Our measure $ψ$ is rigorously grounded in Partial Information Decomposition and is faster to compute than $φ$. △ Less

Submitted 8 October, 2014; v1 submitted 5 January, 2014; originally announced January 2014.

Comments: 18 pages; 6 figures

Irreducibility is Minimum Synergy Among Parts

Authors: Virgil Griffith, Jonathan Harel

Abstract: For readers already familiar with Partial Information Decomposition (PID), we show that PID's definition of synergy enables quantifying at least four different notions of irreducibility. First, we show four common notions of "parts" give rise to a spectrum of four distinct measures of irreducibility. Second, we introduce a nonnegative expression based on PID for each notion of irreducibility. Thir… ▽ More For readers already familiar with Partial Information Decomposition (PID), we show that PID's definition of synergy enables quantifying at least four different notions of irreducibility. First, we show four common notions of "parts" give rise to a spectrum of four distinct measures of irreducibility. Second, we introduce a nonnegative expression based on PID for each notion of irreducibility. Third, we delineate these four notions of irreducibility with exemplary binary circuits. This work will become more useful once the complexity community has converged on a palatable $\operatorname{I}_{\cap}$ or $\operatorname{I}_{\cup}$ measure. △ Less

Submitted 12 December, 2013; v1 submitted 28 November, 2013; originally announced November 2013.

Comments: 15 pages, 6 figures. Only minor changes from v1

Intersection Information based on Common Randomness

Authors: Virgil Griffith, Edwin K. P. Chong, Ryan G. James, Christopher J. Ellison, James P. Crutchfield

Abstract: The introduction of the partial information decomposition generated a flurry of proposals for defining an intersection information that quantifies how much of "the same information" two or more random variables specify about a target random variable. As of yet, none is wholly satisfactory. A palatable measure of intersection information would provide a principled way to quantify slippery concepts,… ▽ More The introduction of the partial information decomposition generated a flurry of proposals for defining an intersection information that quantifies how much of "the same information" two or more random variables specify about a target random variable. As of yet, none is wholly satisfactory. A palatable measure of intersection information would provide a principled way to quantify slippery concepts, such as synergy. Here, we introduce an intersection information measure based on the Gács-Körner common random variable that is the first to satisfy the coveted target monotonicity property. Our measure is imperfect, too, and we suggest directions for improvement. △ Less

Submitted 10 June, 2015; v1 submitted 6 October, 2013; originally announced October 2013.

Comments: 19 pages, 5 figures

Journal ref: Entropy (2014) Volume 16, Issue 4

Quantifying synergistic mutual information

Authors: Virgil Griffith, Christof Koch

Abstract: Quantifying cooperation or synergy among random variables in predicting a single target random variable is an important problem in many complex systems. We review three prior information-theoretic measures of synergy and introduce a novel synergy measure defined as the difference between the whole and the union of its parts. We apply all four measures against a suite of binary circuits to demonstr… ▽ More Quantifying cooperation or synergy among random variables in predicting a single target random variable is an important problem in many complex systems. We review three prior information-theoretic measures of synergy and introduce a novel synergy measure defined as the difference between the whole and the union of its parts. We apply all four measures against a suite of binary circuits to demonstrate that our measure alone quantifies the intuitive concept of synergy across all examples. We show that for our measure of synergy that independent predictors can have positive redundant information. △ Less

Submitted 31 March, 2014; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: 15 pages; 12 page appendix. Lots of figures. Guided Self Organization: Inception. Ed: Mikhail Prokopenko. (2014); ISBN 978-3-642-53734-9

Passive and Driven Trends in the Evolution of Complexity

Authors: Larry Yaeger, Virgil Griffith, Olaf Sporns

Abstract: The nature and source of evolutionary trends in complexity is difficult to assess from the fossil record, and the driven vs. passive nature of such trends has been debated for decades. There are also questions about how effectively artificial life software can evolve increasing levels of complexity. We extend our previous work demonstrating an evolutionary increase in an information theoretic meas… ▽ More The nature and source of evolutionary trends in complexity is difficult to assess from the fossil record, and the driven vs. passive nature of such trends has been debated for decades. There are also questions about how effectively artificial life software can evolve increasing levels of complexity. We extend our previous work demonstrating an evolutionary increase in an information theoretic measure of neural complexity in an artificial life system (Polyworld), and introduce a new technique for distinguishing driven from passive trends in complexity. Our experiments show that evolution can and does select for complexity increases in a driven fashion, in some circumstances, but under other conditions it can also select for complexity stability. It is suggested that the evolution of complexity is entirely driven---just not in a single direction---at the scale of species. This leaves open the question of evolutionary trends at larger scales. △ Less

Submitted 20 December, 2011; originally announced December 2011.

Comments: 8 pages; In Bullock, S. et al. eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press. Cambridge, MA. 2008

Quantifying synergistic information remains an unsolved problem

Authors: Virgil Griffith

Abstract: This paper has been withdrawn by the author. This paper is now obsolete. For a solution please see: arXiv:/1205.4265. This paper has been withdrawn by the author. This paper is now obsolete. For a solution please see: arXiv:/1205.4265. △ Less

Submitted 22 May, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: This paper has been withdrawn by the author. Fully superseded by: arXiv:1205.4265