Continuing Integer Sequences

Monday, October 27th, 2014 | Author:

Old Computer

A classic class of "math problem" is the continuation of integer sequences from a finite sample (usually at the beginning). For example:

Continue 2,4,6,8,...

To which the solution is often supposed to be 10,12,14, and so on.

The problem, as any mathematician knows, is that there is not the one solution. In fact, given any set of finite numbers one could just talk about the sequence that starts like that and continues with zeroes only, that's a perfectly valid sequence. Of course, one should really figure out the rule behind the finitely many numbers, but there are always many possible choices. The game is not to find any sensible rule, but to find the rule the designer had in mind. It's more about testing your knowledge of culture than an honest test of mathematical ability (or anything else).

But there is a way to fix this.

Continue reading «Continuing Integer Sequences»

Category: English, Mathematics | Leave a Comment

Fundamental Adjunctions

Tuesday, March 25th, 2014 | Author:


In this lightheaded post (written long time ago) I want to share with you some fundamental adjunctions that are the "source" of various other adjunctions that pop up all over in mathematics (well, at least all over algebraic topology).


Continue reading «Fundamental Adjunctions»

Category: English, Mathematics | Leave a Comment

Magmas, Loops and Monoids

Monday, February 24th, 2014 | Author:


This is about the mathematical concepts of a "magma", a "loop" and a "monoid", which are descriptions of certain properties that the combining of things may enjoy.

Continue reading «Magmas, Loops and Monoids»

Category: English, Mathematics | Comments off

9 Questions on Information Theory

Thursday, February 13th, 2014 | Author:


Back in 2010 I had a series of posts going about questions in information theory that arose from a 2-week seminar with a bunch of students coming from various scientific disciplines (a wonderful event!). Here I picked those that I still find particularly compelling:

  1. Is the mathematical definition of Kullback-Leibler distance the key to understand different kinds of information?
  2. Can we talk about the total information content of the universe?
  3. Is hypercomputation possible?
  4. Can we tell for a physical system whether it is a Turing machine?
  5. Given the fact that every system is continually measured, is the concept of a closed quantum system (with unitary time evolution) relevant for real physics?
  6. Can we create or measure truly random numbers in nature, and how would we recognize that?
  7. Would it make sense to adapt the notion of real numbers to a limited (but not fixed) amount of memory?
  8. Can causality be defined without reference to time?
  9. Should we re-define “life”, using information-theoretic terms?

What do you think?

Category: English, Questions in Information Theory | Comments off

Motivic Cell Structure of Toric Surfaces

Wednesday, April 17th, 2013 | Author:

Root System

In this post I'll do a few very explicit computations for motivic cell structures of smooth projective toric varieties coming from the Białynicki-Birula decomposition, namely \mathbb{P}^1, \mathbb{P}^1 \times \mathbb{P}^1, \mathbb{P}^2 and Hirzebruch surfaces. It is a bit lengthy but maybe helpful to anyone who wants to do some explicit calculations with BB-decompositions. I hope you're accustomed to toric varieties, but I won't do anything fancy. You can safely skip the motivic part of this post.

Continue reading «Motivic Cell Structure of Toric Surfaces»

Category: English, Mathematics | Comments off

Białynicki-Birula and Motivic Decompositions

Thursday, April 04th, 2013 | Author:

Cellular objects

This is about Białynicki-Birula's paper from '72 on actions of reductive linear algebraic groups on non-singular varieties, in particular Gm-operations on smooth projective varieties. I give a proof sketch of Theorem 4.1 therein and explain a little bit how Brosnan applied these results in 2005 to get decompositions of the Chow motive of smooth projective varieties with Gm-operation. Wendt used these methods in 2010 to lift such a decomposition on the homotopy-level, to prove that smooth projective spherical varieties admit stable motivic cell decompositions. Most of this blogpost consists of an outline of the B-B paper.

Continue reading «Białynicki-Birula and Motivic Decompositions»

Category: English, Mathematics | Comments off