#CSTheory

[asadmukhtarr]

"Introduction to the Theory of Computation" by Michael Sipser is a foundational textbook that explores the mathematical underpinnings of computer science. By reading this book, you will gain a deep understanding of computation, its limits, and its capabilities. Below is a step-by-step breakdown of the outcomes you can expect from studying this book:

[hackernewsrobot]

The Power of One-State Turing Machines (2018)

http://www.nearly42.org/cstheory/the-power-of-one-state-turing-machines/ Comments

[topicprinter]

Article URL: http://www.nearly42.org/cstheory/the-power-of-one-state-turing-machines/

Comments URL: https://news.ycombinator.com/item?id=21613098

Points: 5

# Comments: 0

[theresawelchy]

Looking a postdoc opportunity?

This is the season that people are applying for postdoc positions. Unlike student and faculty hiring, which each have a fairly fixed schedule, postdoc availability can change from time to time, with new opportunities opening up all the time. So, I encourage everyone looking for a postdoc position to periodically check out https://cstheory-jobs.org/ .

(For example, a new ad was just posted on Wednesday by Venkat Guruswami and Pravesh Kothari )

Windows On Theory published first on Windows On Theory

[rethinkingsecurity]

Quantifying Impossibility

Arrow's theorem is a famous statement about the difficulty of preference aggregation, something that I've written on a lot over the last couple years in reference to national security policy. 

Via Wikipedia: 

Arrow's monograph Social Choice and Individual Values derives from his Ph.D. thesis. In it he sets out a key result (in one final form).

General Impossibility Theorem: It is impossible to formulate a social preference ordering that satisfies all of the following conditions:

Nondictatorship: The preferences of an individual should not become the group ranking without considering the preferences of others.

Individual Sovereignty: each individual should be able to order the choices in any way and indicate ties

Unanimity: If every individual prefers one choice to another, then the group ranking should do the same

Freedom From Irrelevant Alternatives: If a choice is removed, then the others' order should not change

Uniqueness of Group Rank: The method should yield the same result whenever applied to a set of preferences. The group ranking should be transitive.

The folks at Turing's Invisible Hand explain some ways to quantify the impossibility: 

Social Choice Theory is a pretty mature field that deals with the question of how to combine the preferences of different individuals into a single preference or a single choice.  This field may serve as a conceptual foundation in many areas: political science (how to organize elections), law (how to set commercial laws), economics (how to allocate goods), and computer science (networking protocols, interaction between software agents).  Unsurprisingly, there are interesting computational aspects to this field, and indeed a workshop series on computational social choice already exists.  The starting point of this field is Arrow‘s theorem that shows the there are unexpected inherent difficulties in performing this preference aggregation.  There have been many different proofs of Arrow’s impossibility theorem, all of them combinatorial.  In this post I’ll explain a basic observation of Gil Kalai that allows quantifying the level of impossibility using analytical tools (Fourier transform) on Boolean functions commonly used in theoretical computer science.  At first Gil’s introduction of these tools in this context seemed artificial to me, but in this post I hope to show you that  it is the natural thing to do.

I hope you will see that this isn't just a "gee whiz, math and computers" thing. Understanding this in terms of computational complexity helps us get a better handle on the difficulties of creating desired social outcomes -- if we view governance as in part an information-processing task. 

For me, encountering game theory and social choice problems made understanding our decade of failed state-building easier. The quantitative civil wars field (rooted in part in choice-theoretic ideas) forgoes "well, he just had a bad strategy/policy" mantras beloved of strategic thinkers to get more to the nature of the problem itself.