Skip to main content
Sean Eberhard's user avatar
Sean Eberhard's user avatar
Sean Eberhard's user avatar
Sean Eberhard
  • Member for 12 years, 11 months
  • Last seen this week
Loading…
comment
Kahn-Kalai-Linial for intersecting upsets
@Seva Sorry for being unclear. $\mathcal{U}$ is intersecting if every pair of sets $A,B\in\mathcal{U}$ intersect: $A\cap B\ne\emptyset$.
accepted
comment
Kahn-Kalai-Linial for intersecting upsets
Lovely example. I see why it's intersecting and monotonic. Is there any easy way to see why the influences are so small?
revised
Kahn-Kalai-Linial for intersecting upsets
added 37 characters in body
Loading…
comment
revised
Kahn-Kalai-Linial for intersecting upsets
added 519 characters in body; added 14 characters in body
Loading…
revised
Kahn-Kalai-Linial for intersecting upsets
fixed mistake-fixing mistake
Loading…
asked
Loading…
Loading…
comment
Finding the smallest subset whose intersection is empty
By replacing each set with its complement, this problem is equivalent to this one: en.wikipedia.org/wiki/Set_cover_problem. So it's NP-complete. You can do a lot better though if you're happy with an approximate solution.
comment
Is the class of additive groups of rings axiomatizable?
Thanks for the examples. This question is less trivial than I thought. :)
comment
Is the class of additive groups of rings axiomatizable?
... and every finitely generated abelian group is the additive group of some associative unitary commutative ring, by looking at the classification: en.wikipedia.org/wiki/…. Is there any (necessarily not finitely generated) abelian group which is not the underlying additive group of some commutative ring?
comment
If any perfect set is uncountable in a metric space which is not complete?
Unfortunately, $[0,1]\backslash(\mathbf{Q}\cap[0,1])$ is also completely metrisable: take the distance to be one over the first index at which the continued fraction expressions differ.
answered
Loading…
comment
Why is this a lattice?
Thanks very much. I worked out the first half of your answer shortly after asking the question, but the second part is very helpful.
accepted
asked
Loading…
comment
Gröbner basis for Sudoku
Are you just looking for something like Buchberger's algorithm? en.wikipedia.org/wiki/Buchberger%27s_algorithm
comment
Simple closed curves and the coefficent of $\exp(i\theta)$ in the associated Fourier series
Intuitively, we may deform $f$ so that on its initial anticlockwise run it is very slightly nearer the origin than described above, then it smoothly but sharply turns right to do its clockwise run, then it smoothly but sharply turns left to do its final anticlockwise run. All this is done so that $f$ stays in a very small neighbourhood of $S^1$. Finally, just before $f$ returns to its starting point, it has a bit of freedom and so may behave however it must so that $a_1=0$ in the end: this will involve either cutting the corner slightly or ballooning out slightly.