Search Results
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 |
Enumerative combinatorics, graph theory, order theory, posets, matroids, designs and other discrete structures. It also includes algebraic, analytic and probabilistic combinatorics.
2
votes
Accepted
Does this version of Hadwiger's conjecture hold for graphs with infinite chromatic number?
First, suppose $G$ has a connected component $C\subseteq G$ with the same chromatic number as $G$. If $C\neq G$, we can take $M=C$. If $G=C$, let $M$ be the subgraph of $G$ obtained by removing all …
7
votes
Accepted
Is the monoid of taking iterated images and inverse images freely generated by the image and...
Yes, it is. The idea is that given an element of $\mathcal{M}$, you can detect whether the last step of it was $L$ or $U$, and then undo the steps one by one to recover a unique expression for it.
F …
8
votes
Accepted
"Homomorphism fingerprint" for graphs
In any category, if $G$ and $H$ are objects such that there exist monic maps $G\to H$ and $H\to G$, then $|\text{Hom}(X, G)| = |\text{Hom}(X, H)|$ for all $X$. There are plenty of pairs of non-isomor …
6
votes
Accepted
Infinite graphs isomorphic to their line graph
Note first that $L$ is naturally an endofunctor on the category of graphs and injective graph-homomorphisms that commutes with filtered colimits. Let $G$ be any graph such that there is an embedding …
2
votes
Accepted
What are the morphisms in the category of zig-zags?
A monotone map $f:[n]\to[m]$ is partition preserving if for all $i\in[n]$, $i\in t_+$ implies $f(i)\in t_+$ and $i\in t_-$ implies $f(i)\in t_-$. More simply, this means that the inverse image of eve …
5
votes
Accepted
Is the simplicial set $(\Delta_3/\partial \Delta_3)^{\Delta_1}$ finite?
No, it is not; here is a slightly simpler argument than the one indicated in my comment. As in the answer to the previous question, let $X=\Delta_3/\partial\Delta_3$. It suffices to show that the ca …