Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2757

Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.

106 votes
Accepted

Conceptual reason why the sign of a permutation is well-defined?

(This is a variant of Cartier's argument mentioned by Dan Ramras.) Let $X$ be a finite set of size at least $2$. Let $E$ be the set of edges of the complete graph on $X$. The set $D$ of ways of dire …
Bjorn Poonen's user avatar
  • 23.8k
47 votes
2 answers
4k views

Collapsible group words

What is the length $f(n)$ of the shortest nontrivial group word $w_n$ in $x_1,\ldots,x_n$ that collapses to $1$ when we substitute $x_i=1$ for any $i$? For example, $f(2)=4$, with the commutator …
Bjorn Poonen's user avatar
  • 23.8k
46 votes
15 answers
11k views

Strong induction without a base case

Strong induction proves a sequence of statements $P(0)$, $P(1)$, $\ldots$ by proving the implication "If $P(m)$ is true for all nonnegative integers $m$ less than $n$, then $P(n)$ is true." for ev …
20 votes

Irreducible polynomials with constrained coefficients

Your problem is hard, but here are some things that can actually be proved! Let $S_d$ be the set of polynomials of degree $d$ with all $d+1$ coefficients in $\{\pm 1\}$. 1) $|S_d| \gg 2^d/d$ as $d \ …
Bjorn Poonen's user avatar
  • 23.8k
12 votes
Accepted

longest consecutive subsequence of a random permutation

The purpose of this answer is to use the second moment method to make rigorous the heuristic argument of Michael Lugo. (Here is why his argument is only heuristic: If $N$ is a nonnegative integer ran …
Bjorn Poonen's user avatar
  • 23.8k
11 votes

Wants: Polynomial Time Algorithm for Decomposing a Multiset of Rationals into Two Additive S...

Any general algorithm for this problem will require exponential time. In fact, just writing down the answer can take exponential time in some cases. For example, suppose that $n=2m$ for some odd $m$ …
Bjorn Poonen's user avatar
  • 23.8k
8 votes
Accepted

Representing numbers in a non-integer base with few (but possibly negative) nonzero digits

This is an answer to your "actual question" (2), building on some of the ideas in Douglas Zare's answer. Lemma 1: Suppose that $0 < r < 1$. Let $S=\lbrace \epsilon r^i : \epsilon = \pm 1 \text{ and …
Bjorn Poonen's user avatar
  • 23.8k
8 votes

Showing a matrix is negative definite [formerly Showing a sum is always positive]

Here is a sketch of a solution; the details would be tedious, but doable by someone with enough patience I think. The point is that the terms with $i$ and $j$ both of the form $d/2 + O(\sqrt{d})$ are …
Bjorn Poonen's user avatar
  • 23.8k
3 votes

Equality of the sum of powers

For any $t$, if $m$ is sufficiently large relative to $t$, and $n$ is any positive integer (possibly equal to $m$), then the circle method proves that there exists an infinite sequence of increasingly …
Bjorn Poonen's user avatar
  • 23.8k