**6**

votes

**0**answers

125 views

### $\kappa$-impediments (according to Shelah, Nash-Williams, Aharoni)

Let $\Gamma = (M, W, K)$ be a bipartite graph, that is $M, W$ are sets and $K\subseteq M\times W$. If there is an injective function $f:M\to W$ such that $f\subseteq K$ we say $f$ is an espousal and ...

**6**

votes

**2**answers

139 views

### Image of poset with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology $\tau_{\text{int}}(P)$ on $P$ is generated by
$$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$
where $\downarrow x = ...

**1**

vote

**1**answer

63 views

### Maximum degree and matching number

Let $G=(V,E)$ be a finite graph. We write $\nu(G)$ for the matching number of $G$. Is there $\varepsilon > 0$ such that we have $$\frac{\nu(G)+\Delta(G)}{V(G)} \geq \varepsilon$$ for all finite ...

**5**

votes

**3**answers

105 views

### Linear intersection number and vertex covering number

A linear hypergraph is a pair $\pi=(X, L)$ where $X\neq \emptyset$ is a set and $L\subseteq {\cal P}(X)$ has the following properties:
for $e\in L$ we have $|e|\geq 2$;
if $e_1\neq e_2 \in L$ then ...

**2**

votes

**0**answers

64 views

### Is $\mathcal{P}(\omega)/fin$ with the interval topology path-connected?

Is $\mathcal{P}(\omega)/fin$ with the interval topology path-connected? (You find the definition of $\mathcal{P}(\omega)/fin$ here.)

**2**

votes

**1**answer

172 views

### Reconstructibility of a group from subgroups

Let $G,H$ be groups and suppose that $\varphi: G\to H$ is a bijection such that for any proper subgroup $G'\neq G$ of $G$ the image $\varphi(G')$ is a subgroup of $H$ and the restriction ...

**6**

votes

**1**answer

344 views

### Sierpinski-like spaces

Let $\mathbb{S}$ be the Sierpinski space, that is $\mathbb{S}$ has $\{0,1\}$ as a base set, and $\tau = \{\emptyset, \{0\}, \{0,1\}\}$ as a topology.
The Sierpinski space $\mathbb{S}$ has the ...

**2**

votes

**1**answer

144 views

### Ore's theorem for countable graphs

Ore's theorem states that in a finite graph $G$ with $|V(G)|=n$, there is a Hamiltonian path, provided that the sums of the degrees of 2 distinct, non-adjacent vertices is $\geq n$.
For countable ...

**7**

votes

**1**answer

223 views

### p-adic Stein spaces

The higher cohomology of coherent sheaves vanish on Stein spaces (both complex and p-adic). In the case when the space ($X$) is a curve and we're working in the complex world, this shows that all ...

**2**

votes

**1**answer

75 views

### Hadwiger-Nelson problem in higher dimensions

Given a positive integer $n\in \mathbb{N}$ we define the Hadwiger-Nelson graph $\text{HN}_n$ by
$V(\text{HN}_n) = \mathbb{R}^n$;
$E(\text{HN}_n) = \{\{v_1, v_2\}: v_1, v_2 \in \mathbb{R}^n \text{ ...

**2**

votes

**1**answer

60 views

### Graph of bounded continous functions with distance 1

Let $V = \{f:[0,1]\to \mathbb{R}: f \text{ is continuous}\}$ and consider the metric that is defined for $f,g\in V$ by $$d(f,g) = \max\{|f(t)-g(t)|: t\in [0,1]\}.$$
We set $E = \{\{f,g\}: f,g \in ...

**6**

votes

**2**answers

195 views

### “All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed.
Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed.
All ...

**3**

votes

**1**answer

84 views

### Order-preserving images of $(\mathcal{P}(\kappa),\subseteq)$

Is there a cardinal $\kappa \neq \emptyset$ and a connected poset $P$ of cardinality $\leq \kappa$ such that there is no surjective order-preserving map from $(\mathcal{P}(\kappa),\subseteq)$ onto ...

**4**

votes

**1**answer

126 views

### Infimum of partitions

Let $X\neq\emptyset$ be a set. A partition is a subset $P\subseteq {\cal P}(X)\setminus \{\emptyset\}$ such that $\bigcup P = X$ and any distinct members of $P$ are disjoint. We denote by ...

**4**

votes

**1**answer

253 views

### When is the homomorphism poset between posets a lattice?

Let $P,Q$ be partially ordered sets (posets). We consider the set $\text{Hom}(P,Q)$ of order-preserving functions $f:P\to Q$. There is a natural ordering relation on $\text{Hom}(P,Q)$ given by $f\leq ...

**4**

votes

**1**answer

122 views

### Product of posets with Hausdorff interval topology

Given a poset $(P,\leq)$ the interval topology on $P$ is generated by
$$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$
where $\downarrow x = \{y\in P: y\leq x\}$ and ...

**3**

votes

**1**answer

98 views

### When the vertex covering number is smaller than the chromatic number

For any graph $G=(V,E)$ let $\tau(G)$ be the minimum cardinality of a vertex cover of $G$.
As noted here, we have $\tau(G) \geq \chi(G) - 1$ for all finite graphs $G$. I'm interested in graphs $G$ ...

**2**

votes

**2**answers

173 views

### “Homomorphism fingerprint” for graphs

Let $G, H$ be simple, undirected graphs without loops. We say that $G, H$ have the same homomorphism fingerprint if $|\text{Hom}(X, G)| = |\text{Hom}(X, H)|$ for all graphs $X$. (By graph ...

**2**

votes

**2**answers

372 views

### Non-isomorphic groups such that there are epis from one to another [closed]

Are there (infinite) non-isomorphic groups $G, H$ such that there are surjective group homomorphisms $f: G\to H$ and $g: H\to G$?

**6**

votes

**1**answer

131 views

### Strongly minimal covers

Let $H=(V,E)$ be a hypergraph, that is $V$ is a set and $E\subseteq \mathcal{P}(V)$. We say that $C\subseteq E$ is a cover of $H$ if $\bigcup C = V$.
A cover $M\subseteq E$ is said to be strongly ...

**4**

votes

**1**answer

170 views

### Paracompact zero-dimensional space without clopen partition refinement

If $(X,\tau)$ is a topological space we say that an open cover $\mathcal{U}$ is a clopen partition cover if it consists of disjoint clopen sets. Trivially, every clopen partition cover is locally ...

**4**

votes

**0**answers

67 views

### Linear intersection number and coloring (not chromatic) number

A linear hypergraph is a pair $\pi=(X, L)$ where $X\neq \emptyset$ is a set and $L\subseteq {\cal P}(X)$ has the following properties:
for $e\in L$ we have $|e|\geq 2$;
if $e_1\neq e_2 \in L$ then ...

**30**

votes

**1**answer

1k views

### Is it possible to show that $\sum_{n=1}^{\infty} \frac{\mu(n)}{\sqrt{n}}$ diverges?

Let $\mu(n)$ denote the Mobius function with the well-known Dirichlet series representation
$$
\frac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^{s}}.
$$
Basic theorems about Dirichlet series ...

**5**

votes

**1**answer

266 views

### Decidability of Frankl's union-closed sets conjecture

Is it conceivable that Frankl's union closed sets conjecture is undecidable in $\mathsf{ZFC}$, or is this quite implausible, perhaps due to the "finitistic" nature of the statement, or for some other ...

**9**

votes

**1**answer

190 views

### Universal graph homomorphisms

By a graph I mean a pair $G = (V, E)$ where $V$ is a set and $E \subseteq \mathcal{P}_2(V) := \{\{a,b\}: a\neq b \in V\}$. A graph homomorphism between graphs $G, H$ is a map $f:V(G)\to V(H)$ such ...

**13**

votes

**1**answer

281 views

### Universal maps between topological spaces

Let $X,Y$ be topological spaces. We call a continuous map $u:X\to Y$ universal if for every continous map $f:X\to Y$ there is $x\in X$ such that $f(x) = u(x)$.
If $u:X\to Y$ and $v:Y\to Z$ are ...

**28**

votes

**14**answers

4k views

### What does the generating function $x/(1 - e^{-x})$ count?

Let $x$ be a formal (or small, since the function is analytic) variable, and consider the power series
$$ A(x) = \frac{x}{1 - e^{-x}} = \sum_{m=0}^\infty \left( -\sum_{n=1}^\infty ...

**1**

vote

**0**answers

99 views

### $\text{Hom}(G,\mathbb{Z})$ [duplicate]

Fix a cardinal $\kappa$ and consider $\mathbb{Z}^\kappa$ with componentwise addition and the subgroup $$F_\kappa :=\{g:\kappa \to \mathbb{Z}: \{\alpha\in \kappa: g(\alpha)\neq 0\} \text{ is ...

**2**

votes

**1**answer

189 views

### Edge density of triangle-free graphs

Let $G$ be a finite, simple, loopless graph with $|V(G)|=n$. We define its edge density as $$ed(G) := \frac{|E(G)|}{n \choose 2}.$$
Moreover we set $$d_n := \text{max}\big\{ed(G): G \text{ is a ...

**22**

votes

**0**answers

498 views

+100

### partition of infinite word onto permitted words

Consider words over binary alphabet $\{0,1\}$. Let $M$ be a set of finite words such that $M$ contains at least $c\cdot 2^n$ words of length $n$ for all large enough $n$ (for a constant $c$, ...

**3**

votes

**1**answer

250 views

### Anti-compactness

Let $(X,\tau)$ be a topological space such that $\tau$ is a proper superset of $\{\emptyset, X\}$. We call an open cover $\mathcal{U}$ of $(X,\tau)$ proper if $X\notin \mathcal{U}$. Moreover we say ...

**8**

votes

**3**answers

399 views

### Binary relations as the topological closure of the diagonal

If $(X,\tau)$ is a topological space, we can consider the product topology on $X\times X$ and take the closure of the diagonal $\Delta_X = \{(x,x): x\in X\}$, which we denote by ...

**11**

votes

**5**answers

1k views

### Defining a topology in the Power Set

I have the following question:
Given a topological space $T$ is possible in general to give a topology to $2^T$ (the power set of $T$) such that this topology in $2^T$ is related to $T$.
If the ...

**10**

votes

**1**answer

877 views

### Did differential geometry undergo a notation change?

As a graduate student, I found the old books of differential geometry used a different set of notation from modern textbooks. For example, Chern and Milnor defined the curvature 2-form by ...

**5**

votes

**1**answer

174 views

### What can be said about graphs if there are homomorphisms in both directions?

Let $G,H$ be simple undirected graphs without loops such that there are graph homomorphisms $f_1:G\to H$ and $f_2: H\to G$.
An easy argument shows that we have $\chi(G) = \chi(H)$, even for graphs ...

**5**

votes

**1**answer

201 views

### “Universal maps” as a universal property

In the question Fixed points and universal maps for posets, we find the following definition: if $P, Q$ are partially ordered sets, an order-preserving map $u:P\to Q$ is said to be universal if for ...

**4**

votes

**1**answer

143 views

### How many pairwise non-homeomorphic compact, zero-dimensional topologies are there on $\mathbb{N}$?

To make the question more precise:
We call a topological space $(X,\tau)$ zero-dimensional if for $x\neq y \in X$ there is a clopen set $U\subseteq X$ with $x\in U, y\notin U$.
Let $\mathcal{C}$ be ...

**3**

votes

**1**answer

102 views

### Minimality condition in a certain class of hypergraphs

A hypergraph is a pair $H=(V,E)$ such that $V$ is a (possibly infinite) set and $E\subseteq \mathcal{P}(V)$. $C\subseteq E$ is said to be a cover if $\bigcup C = V$ and $C$is minimal if $C'\subseteq ...

**7**

votes

**0**answers

123 views

### Is $(\omega+1)^\omega$ with the box topology ultraparacompact?

Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ basic if ...

**3**

votes

**1**answer

136 views

### Hausdorff spaces such that every subset is a retract

Let $(X,\tau)$ be a Hausdorff space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does $\tau$ have to be discrete?

**4**

votes

**0**answers

35 views

### Isomorphic Hadwiger graphs of connected infinite graphs

Let $G$ be a graph, then we define its Hadwiger graph $\textrm{Hadw}(G)$ in the following way:
$V(\textrm{Hadw}(G)) = \{S\subseteq (V(G): S\neq \emptyset\textrm{ and } S \textrm{ is connected}\}$;
...

**7**

votes

**1**answer

102 views

### Isomorphic Hadwiger graphs

Let $G$ be a graph, then we define its Hadwiger graph $\textrm{Hadw}(G)$ in the following way:
$V(\textrm{Hadw}(G)) = \{S\subseteq (V(G): S\neq \emptyset\textrm{ and } S \textrm{ is connected}\}$;
...

**5**

votes

**1**answer

69 views

### Minor ordering for finite graphs

Let $\mathcal{G}_{<\omega}$ be the set of graphs $G = (V,E)$ such that $V = \{0,\ldots,n\}$ for some $n \geq 0$ and $E \subseteq \mathcal{P}_2(V) = \{\{a,b\} : a,b \in V \textrm{ and } a\neq b\}$. ...

**5**

votes

**1**answer

101 views

### Strongly asymmetric graphs

Asymmetric graphs are graphs that have a trivial automorphism group $\textrm{Aut}(G)$, i.e. the only graph isomorphism from $G$ to itself is the identity.
Let's call a graph $G$ strongly asymmetric ...

**5**

votes

**1**answer

252 views

### Compositional inversion and generating functions in algebraic geometry

The exponential generating function of the graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus zero satisfying the associativity equations of physics (the WDVV ...

**8**

votes

**1**answer

107 views

### Universality with respect to quotients

Is there an infinite cardinal $\kappa$ for which the following statement (S) true?
(S) : There is a topology $\tau_\kappa$ on $\kappa$ such that for all topological spaces $(X,\tau)$ with $|X|\leq ...

**17**

votes

**7**answers

2k views

### undecidable sentences of first-order arithmetic whose truth values are unknown

Godel's undecidable sentences in first-order arithmetic were guaranteed to be true, by construction. But are there examples of specific sentences known to be undecidable in first-order arithmetic ...

**3**

votes

**1**answer

76 views

### Universal and left-factoring order-preserving maps

Trying to get a different angle for the question Fixed points and universal maps for posets, I want to compare universal maps to a different kind of functions.
First recall that for posets $P,Q$ an ...

**7**

votes

**0**answers

147 views

### Does the weak Hadwiger conjecture imply the Hadwiger conjecture?

For any cardinal $\kappa$, let $K_\kappa$ denote the complete graph on $\kappa$. We consider the following statements:
(H) If $G$ is a graph and $\chi(G) = \kappa$ then $K_\kappa$ is a minor of $G$.
...

**6**

votes

**1**answer

218 views

### Constructing a function from preimages

This question was inspired by Can we build a continuous function from "fibers"/preimages defined over a topological base?
Let $X,Y$ be sets and $L\subseteq \mathcal{P}(Y)$. Suppose $L$ has ...