## Assorted Links (Maths)

*By dcerezo On 19/03/2014 · Leave a Comment · In links, mathematics*

- The 2013 Turing Award goes to Leslie Lamport, author of LaTeX and the Paxos family of protocols
- The research program
*Univalent Foundations of Mathematics*by the famed Vladimir Voevodsky is a really ambitious one: it would revolutionise automated theorem proving - A mechanised proof of Fermat’s Little Theorem (HOL4)
- I have recently learnt that the beautiful books Proofs without Words I and Proofs without Words II by Roger B. Nelsen have an historical precedent from a more impressive mid-19th century book: Oliver Byrne’s edition of Euclid.

## On the Education of the Market Designer

*By dcerezo On 16/03/2014 · Leave a Comment · In books, economics, finance, mathematics*

Imagine devising a set of rules for a game such that **the dominant strategy of every player is to truthfully** reveal their valuations and/or strategies: this is just one of the ambitious goals of mechanism design, the science of rule-making and the most useful branch of game theory. Fifteen years ago, a pioneering paper of Nisam and Ronen (Algorithmic Mechanism Design) merged it with computer science by including the requisite that computations should also be reasonably tractable for every involved player: this created a fruitful field of research that contributed every tool of algorithmics and computational complexity, from combinatorial optimization and linear programming to approximation algorithms and complexity classes.

In practice, Algorithmic Mechanism Design is also behind the successes of the modern Internet economy: every ad-auctions uses it results, like Google’s DoubleClick auctions or Yahoo’s Auctions, and peer-to-peer networks and network protocols are being designed under its guiding principles. It has also contributed to spectrum auctions and matching markets (kidneys, school choice systems and medical positions) and it has also generated interesting models, like the first one that justifies the optimality of the fee-setting structure of real estate agents, stock brokers and auction houses (see Fee Setting Intermediaries).

Up until a decade ago, the only way to learn this fascinating field of research was by venturing to read papers dispersed between the areas of economics, game theory and computer science, but this changed in 2008 with the publication of the basic textbook of the field, Algorithmic Game Theory, also available online:

Now a bit dated, it has recently been complemented with some great resources:

- The Handbook of Market Design, of which the part I have liked the most is the one on experiments.
- The online courses of Tim Roughgarden, a real master on choosing and presenting the best proofs of this field: Algorithmic Game Theory and Frontiers in Mechanism Design.
- The on-going writing of a more specific book, Mechanism Design and Approximation

And that’s enough to begin with: hundred of hours of learning insightful research with fantastic applications!

## Computer Science for the coming Information Age

*By dcerezo On 14/12/2013 · Leave a Comment · In mathematics*

Computer science is changing: the amount of data available for processing is growing exponentially, and so must the emphasis towards its handling. Like the 19th century change in physics from mechanics to statistical mechanics, the new algorithms sacrifice the precision of a unique answer for the fast search of statistical properties. The following draft of a book by Hopcroft and Kannan breaks the path of what most future algorithms manuals may look like:

Heavy on proofs, many topics have been selected for their mathematical elegance, not their pragmatism. On the final version of this much anticipated book, I would love to see more content on hash algorithms, parallel algorithms, graph spanners or a more extensive discussion on Support Vector Machines.

## Assorted Links (Maths)

*By dcerezo On 02/12/2013 · Leave a Comment · In links, mathematics*

- The library of George B. Dantzig is for sale: peering over the libraries of great mean is as enlightening as their work.
- Benford’s Law and the Art of Succeeding in Multiple Choice Tests: funny application of Benford’s Law.
- Polymath8: I’ve been following this project on collaborative mathematics and the article on Wired is a good description of its course.
- Rota’s conjecture proved: well, almost proved, there are some problems with the inequivalent representation of matroids, but it’s almost here.

## Analytic Combinatorics

*By dcerezo On 19/02/2013 · Leave a Comment · In mathematics, programming*

The classic era of the analysis of algorithms exhibited limitations: worst-case running analysis and upper bound limits were not enough to compare algorithms in practice, neither to predict the real performance of algorithms. Although it enabled a fruitful research era in the design of algorithms, it had to be ignored by most practitioners. Neither lower bounds (Omega notation), nor theta notation (order of growth) were of much help: the field was in need of a profound paradigm shift.

Analytic combinatorics was the catalyst, a calculus built on the power of generating functions to enable the creation of predictive models for algorithm performance by using precise quantitative predictions of large combinatorial structures.

The book of Flajolet and Sedgewick, two key researchers that shaped the field with their fundamental theorem of symbolic combinatorics, is the best, self-contained source for learning (freely available on the web):

You may also want to receive some lectures from Sedgewick himself, a privilege only available if you go to Princeton (or by using the Coursera online learning platform):

## Assorted Links (Math)

*By dcerezo On 03/12/2012 · Leave a Comment · In links, mathematics*

- The Mathematics of RAID6: another remark that RAID5 is considered harmful
- The maths that made the Voyager possible: “Using a solution to the three-body problem, a single mission, launching from Earth in 1977, could sling a spacecraft past all four planets within 12 years. Such an opportunity would not present itself again for another 176 years.”
- Speeding GPS calculations by shrinking data
- Coded-TCP: replacing packets with algebraic equations to improve wireless bandwidth in the presence of errors
- Voice Recognition using MATLAB: easy and fun to experiment with

## Commemorating Computational Complexity

*By dcerezo On 02/12/2012 · Leave a Comment · In mathematics, tech history*

Fifty years ago, two researchers started writing this seminal paper, kicking off the research field of computational complexity, the core of computer science, with now tens of thousands of publications.

Although the concepts and ideas underlying the paper were not new, as a letter by Kurt Gödel show us, it was the foundational moment for a field that still produces deep, beautiful and practical results: in the last decade, Williams’ lower bound on non-uniform circuits; Agrawal-Kayal-Saxena primality test that included primality testing in P (although Miller-Rabin and Solovay-Strassen primality tests still live strong since they are much faster than AKS) or Vassilevska’s lower bound on matrix multiplication.

I see tons of start-ups and projects fail because they ignore the most basic algorithmic prudence: that is, that only sub-logarithmic algorithms should be accessible to the mass-public is one the ignored maxims of the computer industry that can only be learned by the proper interpretation of the absence of market offerings refuting it (vg. regular expressions within search engines’ queries, which could run in exponential time; or all the AI promises about solving optimization problems that never delivered).

Speaking with some researchers lately, they expressed the hope that the coming end of Moore’s law would vindicate this field, making its results much more relevant: and although they were absolutely right in that proportionally more resources will be directed towards these ends, they also failed to consider that the likely crash following this event may also reduce the total, aggregated opportunities.

## To Err is CAS-possible

*By dcerezo On 26/08/2012 · Leave a Comment · In mathematics*

I was aware that there are too many errors on any CAS to be listed on the margin of their accompanying documentation. But finding the culprit after hours of debugging, a very simple bug but with a very high impact since other complex calculations are being based on its proper calculation, is a disturbing experience. It turns out that, in Mathematica,

**In[1]:= badIntegration ****= ****Integrate****[****1 ****/ (****2 ****+ ****Cos****[****x****])****, ****{****x, 0, y}, Assumptions ****-> ****y ****> Pi]**

**Out[1]:= 2(Pi+ ArcTan[Tan[y/2]/ Sqrt(3))/Sqrt(3)**

is symbolically evaluated as a discontinuous function, even if it must clearly be continuous, since the integrand is everywhere continuous, finite and positive. But the Weierstrass substitution method used internally when symbolically calculating integrals of inverse trigonometric functions sometimes produces discontinuities. Go figure.

Lesson learned: as a safety measure, always use multiple CAS programs (SAGE, Maple, …) to compare solutions when getting strange results.

## The Need for Speed^WCapacity

*By dcerezo On 20/05/2012 · Leave a Comment · In mathematics, telco*

Computer networks are used every day, but with a very limited understanding of the consequences of their cumulative aggregation. Network coding is the field that devises techniques for their optimal utilization to reach the maximum possible transmission rate in a network, under the assumption that the nodes are somewhat intelligent and able to alter the network flow and not just to forward it. It’s still nascent, so the practical impact of its results is quite limited: for example, it would very useful to have techniques and a tool to estimate the real network capacity in a multicast/P2P network, except it’s still an open problem. Fortunately, the following paper offers the first worthy approach to close this question:

Although to be resistant to common Internet attacks, network coding should be accompanied with homomorphic signatures.

## (Broken) Folklore Heuristics

*By dcerezo On 09/03/2011 · Leave a Comment · In mathematics*

It’s funny how two of the most studied algorithms of a discipline, that are considered polynomially optimal for decades under a set of well-accepted assumptions, turn out not to be so great. That’s the case of the famous A* and IDA* algorithms, cornerstones in AI and **currently implemented in thousands of computer games** because there were thought to be polynomial in the search space since 1968 under a set of broadly defined heuristics, even though nobody has found practical instances of them after hundreds of proposal and attempts. Their optimality is finally debunked in “How Good is Almost Perfect”: general search algorithms such as A* must necessarily explore an exponential number of search nodes even under the most optimistic assumption of estimators with heuristic error bounded by a small additive constant. What is worse, other similar search techniques cannot perform better than A*.

These are the kind of results that reminds you to always revisit assumptions, to search more closely where others may have obviated, no matter how well-accepted and reputed are the sources, in particular with folklore wisdom, beliefs and other uncanny heuristics.

## Addictive Number Theory

*By dcerezo On 17/02/2011 · Leave a Comment · In mathematics*

In 1996, just after Springer-Verlag published my books *Additive Number Theory: The Classical Bases* [34] and *Additive Number Theory: Inverse Problems and the Geometry of Sumsets* [35], I went into my local Barnes and Noble superstore on Route 22 in Springfield, New Jersey, and looked for them on the shelves. Suburban bookstores do not usually stock technical mathematical books, and, of course, the books were not there. As an experiment, I asked if they could be ordered. The person at the information desk typed in the titles, and told me that his computer search reported that the books did not exist. However, when I gave him the ISBN numbers, he did find them in the Barnes and Noble database. **The problem was that the book titles had been cataloged incorrectly. The data entry person had written Addictive Number Theory.**

March 2017 M T W T F S S « Feb 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 ### Archives

- February 2017
- April 2014
- March 2014
- December 2013
- November 2013
- July 2013
- April 2013
- March 2013
- February 2013
- January 2013
- December 2012
- November 2012
- October 2012
- September 2012
- August 2012
- July 2012
- June 2012
- May 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011

### Blogroll

- ACM Queue
- Asymco
- Bentham's Gaze
- Bristol Cryptography Blog
- Computational Complexity
- Cryptographic Engineering
- ECRYPT-EU
- Elliptic News
- ePrint IACR
- Financial Times Tech Blog
- Gödel's Lost Letter and P=NP
- IEEE Spectrum
- ImperialViolet
- InfoQ
- Jefferson's Wheel
- Lessons Learned
- Light Blue Touchpaper
- Marginal Revolution
- Musing on Markets
- Nature
- Nick Higham
- Outsourced Bits
- Quanta Magazine
- Renesys Blog
- Schneier on Security
- Science
- Telco 2.0
- The Economist
- The Leisure of the Theory Class
- The morning paper
- Tomasz Tunguz
- Turing’s Invisible Hand
- Unenumerated