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 2233

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

2 votes
Accepted

Even sign configurations with prescribed support

The answer to both of your questions is yes. As suggested by the edit, consider the graph $G(A)$ whose vertex set is the set of non-zero entries of $A$, and where two entries are adjacent if they …
Tony Huynh's user avatar
  • 32.1k
2 votes
Accepted

Acyclicity equivalent to unique paths

One possible generalization comes from the graph minors project of Robertson and Seymour. In particular the notion of tree-width is in some sense dual to the notion of a bramble (I will define this i …
Tony Huynh's user avatar
  • 32.1k
3 votes

a Ramsey-type question

Here is a proof of a very weak upper bound for $l(k)$. Consider the colouring of $2^S$ where each set is coloured by its size (mod 1000). A good monochomatic sequence must consist of sets of the sam …
Tony Huynh's user avatar
  • 32.1k
1 vote

Entangled permutations of a multiset

Edit. The answer below is incorrect, but I'll leave it here for others to avoid the same pitfall. Here is a formula that I would rate $\epsilon$ less than horrible. Let $M=\{1^{a_1},\dots,m^{a_m}\ …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Recovering set of $k$-subsets without specific element $t$ by modifying subsets with element...

I assume what is meant is whether it is always possible to choose a size $|\mathcal R|$ subcollection $\mathcal U$ of $\mathcal T$ and elements $e_U \notin U$ for each $U \in \mathcal U$ such that $\{ …
Tony Huynh's user avatar
  • 32.1k
5 votes
Accepted

Independent sets of subsets

To address the updated question, a family of subsets of $[n]$ is called $k$-Sperner if it does not contain a chain of length $k+1$. By taking all sets whose size lies in the middle $k$ values of $[n] …
Tony Huynh's user avatar
  • 32.1k
5 votes

Distinguishing finite families of sets by algebras of bounded size

The answer to Question 1 is negative. Let $G=\{\{1, \dots, N+1\}\}$ and $H$ consist of all subsets of $\{1, \dots, N+1\}$ of size $N$. If $K$ is a distinguisher for $G$ and $H$, then for each $i \in …
Tony Huynh's user avatar
  • 32.1k
4 votes
Accepted

The existence of a specific partition of the edge set of $K_{2n}$

No, this is not possible. Towards a contradiction, suppose such a partition $S_1, \dots, S_{2n-1}$ of $E(K_{2n})$ exists. I first claim that each $S_i$ must be a matching. If not, then some vertex $ …
Tony Huynh's user avatar
  • 32.1k
3 votes

Eulerian graphs with prescribed number of edges

The characterization given by Noam Elkies is correct. Indeed, in this paper Bryant, Horsley and Pettersson prove the stronger result that if $n$ is odd, and $m_1, \dots, m_t$ are such that $3 \leq m_ …
Tony Huynh's user avatar
  • 32.1k
5 votes
Accepted

Vectors which average to zero over any graph neighborhood

Note that what you defined is simply the dimension of the nullspace of the adjacency matrix of $G$. This is usually called the nullity $\eta(G)$ of $G$. Apparently, this parameter is significant in …
Tony Huynh's user avatar
  • 32.1k
2 votes
Accepted

Induced matching of cycle

Yes. Let $C_n$ be the cycle on $n$ vertices. The size of a largest induced matching in $C_n$ is exactly $\lfloor \frac{n}{3} \rfloor$, since we can take at most every third edge of $C_n$. On the oth …
Tony Huynh's user avatar
  • 32.1k
8 votes
Accepted

Does this matroid have a name?

Matrices that contain at most two non-zero entries per column are called frame matrices. The matroids representable by frame matrices (over a finite field $\mathbb{F}$) are in fact a fundamental clas …
Tony Huynh's user avatar
  • 32.1k
6 votes
Accepted

Is the Manickam-Miklós-Singhi Conjecture solved?

I am aware of the paper, but I am not sure that MO is the right forum for this sort of question. Nonetheless, let me try to provide some information in as neutral a manner as possible. Note that t …
Tony Huynh's user avatar
  • 32.1k
3 votes
Accepted

Existence of neighborhood inclusion for 4-chordal graphs

The answer is no. A counterexample is the triangular prism graph. Up to symmetry, there is a unique 5-cycle and a unique 6-cycle in the triangular prism and both these cycles have chords. Hence the …
Tony Huynh's user avatar
  • 32.1k
2 votes

Cubic-exponential enumerative combinatorics

The number $m_n$ of matroids on $n$ elements is an interesting example, since a priori, it is unclear how fast $m_n$ grows. Knuth (1974) showed that $\log \log m_n$ is at least $n- \frac{3}{2} \log n …
Tony Huynh's user avatar
  • 32.1k

1
2 3 4 5
18
15 30 50 per page