Recent Comments

Recent Posts
 Let me tell you about three of my recent papers
 Mathematical news to cheer you up
 To Cheer You Up in Difficult Times 28: Math On the Beach (Alef’s Corner)
 To cheer you up in difficult times 27: A major recent “Lean” proof verification
 To cheer you up in difficult times 26: Two reallife lectures yesterday at the Technion
 To Cheer You Up in Difficult times 24: Borodin’s colouring conjecture!
 To cheer you up in difficult times 25: some mathematical news! (Part 2)
 To cheer you up in difficult times 23: the original handwritten slides of Terry Tao’s 2015 Einstein Lecture in Jerusalem
 Alef Corner: ICM2022
Top Posts & Pages
 Let me tell you about three of my recent papers
 Mathematical news to cheer you up
 To cheer you up in difficult times 27: A major recent "Lean" proof verification
 The Argument Against Quantum Computers  A Very Short Introduction
 TYI 30: Expected number of Dice throws
 A sensation in the morning news  Yaroslav Shitov: Counterexamples to Hedetniemi's conjecture.
 Around Borsuk's Conjecture 1: Some Problems
 About
 The Race to Quantum Technologies and Quantum Computers (Useful Links)
RSS
Monthly Archives: September 2013
Real Analysis Introductory Minicourses at Simons Institute
The Real Analysis ‘Boot Camp’ included three excellent minicourses. Inapproximability of Constraint Satisfaction Problems (5 lectures) Johan Håstad (KTH Royal Institute of Technology) (Lecture I, Lecture II, Lecture III, Lecture IV, Lecture V) Unlike more traditional ‘boot camps’ Johan rewarded answers and questions … Continue reading
Analysis of Boolean Functions – week 4
Lecture 6 Last week we discussed two applications of the FourierWalsh plus hypercontractivity method and in this lecture we will discuss one additional application: The lecture was based on a 5pages paper by Ehud Friedgut and Jeff Kahn: On the number … Continue reading
Polymath 8 – a Success!
Yitang Zhang Update (July 22, ’14). The polymath8b paper “Variants of the Selberg sieve, and bounded intervals containing many primes“, is now on the arXiv. See also this post on Terry Tao’s blog. Since the last update, we also had here … Continue reading
Analysis of Boolean Functions – Week 3
Lecture 4 In the third week we moved directly to the course’s “punchline” – the use of FourierWalsh expansion of Boolean functions and the use of Hypercontractivity. Before that we started with a very nice discrete isoperimetric question on a … Continue reading
Richard Stanley: How the Proof of the Upper Bound Theorem (for spheres) was Found
The upper bound theorem asserts that among all ddimensional polytopes with n vertices, the cyclic polytope maximizes the number of facets (and kfaces for every k). It was proved by McMullen for polytopes in 1970, and by Stanley for general triangulations … Continue reading
Simons@UCBerkeley
Raghu Meka talking at the workshop I spend the semester in Berkeley at the newly founded Simons Institute for the Theory of Computing. The first two programs demonstrate well the scope of the center and why it is needed. One program … Continue reading
Posted in Conferences, Updates
1 Comment
Analysis of Boolean functions – week 2
Post on week 1; home page of the course analysis of Boolean functions Lecture II: We discussed two important examples that were introduced by BenOr and Linial: Recursive majority and tribes. Recursive majority (RM): is a Boolean function with variables … Continue reading
Posted in Combinatorics, Computer Science and Optimization, Probability, Teaching
Tagged Boolean functions, Tribes
Leave a comment
Around Borsuk’s Conjecture 3: How to Save Borsuk’s conjecture
Borsuk asked in 1933 if every bounded set K of diameter 1 in can be covered by d+1 sets of smaller diameter. A positive answer was referred to as the “Borsuk Conjecture,” and it was disproved by Jeff Kahn and me in 1993. … Continue reading
Analysis of Boolean Functions – week 1
Home page of the course. In the first lecture I defined the discrete ndimensional cube and Boolean functions. Then I moved to discuss five problems in extremal combinatorics dealing with intersecting families of sets. 1) The largest possible intersecting family … Continue reading