The counterexamples tag has no usage guidance.

**9**

votes

**1**answer

288 views

### A strengthening of Frankl's union-closed sets conjecture?

A Frankl family is a nonempty finite family $\mathcal F$ of nonempty finite sets such that $A,B\in\mathcal F\implies A\cup B\in\mathcal F.$ Define $d_\mathcal F(x)=|\{A\in\mathcal F:x\in A\}|$ and ...

**1**

vote

**1**answer

99 views

### Feller processes / probability generators

I am looking for a example of a function in $C_0(\mathbb{R})$ such that $f',f'' \,\text{and}\, f''' \in C_0(\mathbb{R})$ with
$$ \inf f < \inf (f-a*f''')$$ for some $a>0$, but I couldn't find ...

**3**

votes

**2**answers

149 views

### Bellman-Ford for Matching Problems?

I am looking for a simple way of calculating minimum-weight perfect matchings in complete graphs with an even number of vertices.
I know that there are implementations that are based on Edmond's ...

**0**

votes

**2**answers

479 views

### What is wrong with this counterexample to the Weak Bunyakovsky's conjecture and reformulation of Bunyakovsky's conjecture?

From HYPOTHESIS H AND AN IMPOSSIBILITY THEOREM OF RAM MURTY.
On p. 13
BUNYAKOVSKY’S CONJECTURE ( WEAK FORM ). Let $f$ be a polynomial with
integer coefficients and positive leading coefficients ...

**4**

votes

**1**answer

142 views

### An open mapping theorem for homogeneous functions?

I am researching different generalizations of the familiar open mapping theorem from functional analysis. Every "proof" I attempt while simply assuming positive-homogeneity, even in the finite-dim ...

**5**

votes

**1**answer

120 views

### Does the property of being a local homeomorphism descend through split surjections?

Let $f : X \to Y$ and $g : Y \to Z$ be continuous maps (between topological spaces). Assume these hypotheses:
$f : X \to Y$ is a split surjection, i.e. has a section.
$g \circ f : X \to Z$ is a ...

**4**

votes

**1**answer

151 views

### Example to show pairwise crossing number is not equal to crossing number

A common point of two edges in a graph drawing that is not an incident vertex is called a crossing.
The crossing number $cr(G)$ is defined to be the minimum number of crossings in any drawing of ...

**4**

votes

**2**answers

266 views

### Counterexample on completely distributive lattices

I would like to see an example of a complete lattice $C$ which is both a frame and a dual-frame, i.e. finite meets distribute over arbitrary joins and finite joins distribute over arbitrary meets ...

**8**

votes

**0**answers

200 views

### Bialgebras with Hopf restricted duals

It is known from the general theory that, given a bialgebra (over a field $k$)
\begin{equation}
\mathcal{B}=(B,\mu,1_B,\Delta,\epsilon)
\end{equation}
the Sweedler's dual $\mathcal{B}^0$ (called also ...

**1**

vote

**2**answers

153 views

### Spaces for which separable is equivalent to second-countable

While it is well known for metric spaces, being separable is equivalent to be second-countable. In this post I give a counterexample for a non metric space.
What are other topological properties that ...

**13**

votes

**2**answers

404 views

### Counterexample for associativity of smash product

In Section 1.7 of Parametrized Homotopy Theory by May and Sigurdsson it is stated that the smash product of pointed topological spaces is not associative (which is just another hint that ...

**3**

votes

**0**answers

111 views

### Is a concretely reflective full concrete subcategory necessarily finally dense?

On p.371 of "The Joy of Cats", by J.Adamek H.Herrlich and G.E.Strecker:
Proposition 21.32
If a topological category $(\mathbf{A},U)$ is a finally dense full concrete subcategory of $(\mathbf{B},V)$, ...

**4**

votes

**2**answers

205 views

### Colimit density and monads

Let $C$ be a cocomplete category, and suppose that it has an object that is colimit dense. Is $C$ automatically monadic over $Set$? And if not, is there an explicit counterexample?

**9**

votes

**2**answers

307 views

### ODE properties true in finite dimension but not in Banach spaces of infinite dimension

Some properties of Ordinary Differential Equations - ODE are true in finite dimension spaces but not in Banach spaces of infinite dimension.
The first one I know is the Peano existence theorem. I ...

**11**

votes

**1**answer

239 views

### counterexample regarding quotient algebras in forcing

Suppose $A$ and $B$ are complete subalgebras of a complete boolean algebra $C$. Let $G \subseteq A$ be generic. In the extension $V[G]$, we can define the quotient algebras $B/G$ and $C/G$ in the ...

**41**

votes

**2**answers

1k views

### Can a subset of the plane have nontrivial $H_2$ or $\pi_2$?

This is a question that occurred to me years ago when I was first learning algebraic topology. I've since learned that it's a somewhat aesthetically displeasing question, but I'm still curious about ...

**3**

votes

**1**answer

436 views

### A.e. pointwise convergence of L2 functions - counterexample for generalization of Carleson's thm

Let $f_n \in L^2[0,1]$ be an orthonormal sequence and let $c_n \in \mathbb C$ be such that $\sum_{n = 1}^{\infty} |c_n|^2 < \infty$. Does this imply that the sequence $\sum_{n = 1}^{\infty}c_nf_n$ ...

**1**

vote

**3**answers

139 views

### On the existence of compactly supported functions whose its Fourier transform satisfies a given condition

My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...

**2**

votes

**1**answer

139 views

### Counterexample for the Generalized Associativity Equation

The Generalized Associativity Equation is given by
$$ F(G(x,y),z)=K(x,H(y,z)),$$
where the functions $F,G,H$ and $K$ are all from $\mathbb{R}^2$ to $\mathbb{R}$. In his book "Lectures on Functional ...

**3**

votes

**1**answer

204 views

### Cancellative semigroup on a distributive lattice

Let $(S,\le)$ be a distributive lattice. Is there a semigroup structure on $S$ such that $S$ is cancellative and always $(x\wedge y)(x\vee y)=xy$?

**46**

votes

**37**answers

5k views

### Results true in a dimension and false for higher dimensions

Some theorems are true in vector spaces or in manifolds for a given dimension $n$ but become false in higher dimensions.
Here are two examples:
A positive polynomial not reaching its minimum. ...

**11**

votes

**1**answer

278 views

### Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$.
Is $|\frak T|\le |\Bbb R|$?

**1**

vote

**1**answer

149 views

### edge graph reconstruction conjecture : set vs multi set

Why is the edge reconstruction conjecture stated with the deck defined as the multi set of graphs formed by deleting one edge? Can someone give an example of two graphs such that the edge deleted ...

**24**

votes

**3**answers

741 views

### Removal of non-isomorphic edges results in the same graph

There exists a (simple unlabeled) graph on 6 nodes with a pair of non-isomorphic edges (i.e., there is no graph automorphism that sends one edge into the other) such that removal of either of them ...

**10**

votes

**3**answers

680 views

### Are all vector-space valued functors on sets free?

Let $\mathbf{Set}$ be the category of finite sets and functions between them, and let $\mathbf{Vect}$ be the category of finite-dimensional complex vector spaces and linear transformations between ...

**4**

votes

**1**answer

93 views

### Counterexample for closedness under union of $\prec_{\infty,\kappa}$ chains

Assume $\kappa$ is uncountable and $\phi$ is an $L_{\infty,\kappa}$ sentence. Let $K$ be the collection of models of $\phi$ partially ordered by $\prec_{\infty,\kappa}$. It is well-known that $K$ is ...

**0**

votes

**1**answer

222 views

### Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...

**21**

votes

**1**answer

1k views

### Possible counterexample to a theorem assuming Lang's conjecture

Looks like I found a counterexample to a theorem assuming Lang's conjecture,
but not sure it is correct.
Boundedness of Mordell–Weil ranks of certain elliptic curves and Lang’s conjecture
p. 2
...

**2**

votes

**1**answer

191 views

### generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?

**1**

vote

**2**answers

148 views

### Hausdorffness inheritance in topological groups

Suppose $\mathcal T$ and $\mathcal S$ are two compatible Hausdorff topologies on a group $G$ and $\mathcal R$ is a maximum compatible topology on $G$ with $\mathcal R \subseteq \mathcal T\cap \mathcal ...

**3**

votes

**1**answer

95 views

### existence of more distributive Boolean lattices

Are there a Boolean lattice $(X,\le)$ and a nonempty collection $(a_{ij})_{i\in I,j\in J}\subseteq X$ such that
$$\bigvee_{i\in I}\bigwedge_{j\in J}{a_{ij}}\ne \bigwedge_{f:I\to J}\bigvee_{i\in ...

**1**

vote

**1**answer

165 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**1**

vote

**1**answer

227 views

### Failure of Noether normalization

I was in a class recently where we were trying to roughly count the dimensions of certain spaces of rational maps from algebraic curves into closed subschemes $Z \subseteq \mathbb{A}^n$. One way to ...

**0**

votes

**0**answers

68 views

### hyperspaces and selection principals

Two things bother me for which I haven't found an answer yet:
1.Is anyone familiar with an example of a topological space $X$, in which the hyperspace $2^X$ with the upper Fell topology is ...

**3**

votes

**2**answers

672 views

### Examples of complete distributive lattices that are not Heyting algebras

Here is a short question with a possibly simple and short answer:
I need an example of a complete distributive lattice that is not a Heyting algebra which should be an infinite complete lattice that ...

**33**

votes

**16**answers

3k views

### Counterexamples in universal algebra

Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...

**1**

vote

**1**answer

116 views

### order of convergence of the conditional entropy (2)

Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g_n(X_n)$, then by Fano's inequality ...

**6**

votes

**1**answer

187 views

### Conjecture of Spira on the zeros of $\zeta^\prime(s)$

Let $N(T)$ be the number of complex zeros of $\zeta(s)$ with imaginary part between $0$ and $T$, and let $N_k(T)$ be the analogous counting function for the $k$th derivative $\zeta^{(k)}(s)$. Based ...

**6**

votes

**1**answer

339 views

### Group scheme counterexample

Could someone give me an example of a finite group scheme $G$ (over some base $S$) so that $G$ minus a point is still a group scheme over $S$, but not affine over $S$?
Oort mentions that there are ...

**1**

vote

**0**answers

183 views

### Naive conjecture about zeros and local extrema of $\Re \zeta(\sigma+i t)$ (resp. $\Im \zeta(\sigma+ it)$) for $ 0 \le \sigma \le \frac12$

Based on limited numerical evidence, I suspect this conjecture.
Conjecture: Fix $ 0 \le \sigma \le \frac12$ and let $t > 0$. Between consecutive local extrema of $\Re \zeta(\sigma+i t)$ (resp. ...

**2**

votes

**1**answer

132 views

### Realizability of extensions of a free oriented matroid by an independent set

Question:
I am searching for a non-realizable matroid with few dependencies relative to the number of points. Precisely, I would like to find a non-realizable (over $\mathbb{R}$) oriented matroid $M$ ...

**0**

votes

**1**answer

116 views

### order of convergence of the conditional entropy

Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g(X_n)$ then by Fano's inequality ...

**20**

votes

**8**answers

1k views

### Self-containing structures

(This question is partly inspired by What is inter-universal geometry?.)
I have absolutely no background in Teichmuller theory or any related subject, but what I can follow of Mochizuki's description ...

**8**

votes

**0**answers

362 views

### A counterexample to a conjecture of Nash-Williams about hamiltonicity of digraphs?

Maybe I am missing something, but found potential counterexample to a conjecture
of Nash-Williams.
According to HAMILTONIAN DEGREE SEQUENCES IN DIGRAPHS
The outdegree and indegree sequences of ...

**0**

votes

**4**answers

571 views

### A question on metrizable space

Q1, Does a metrizable space $X$ with $e(X)=\omega$ (i.e., it has countable extent) which is not lindelof exist?
Q2, Let $X$ be the one point lindefication of a discret space of cardinality ...

**4**

votes

**1**answer

124 views

### Strictness of the inequality relating the Iitaka dimension and algebraic dimension

For any (compact and connected) complex manifold $X$ and any line bundle $L$ on $X$ we have the well known inequalities $\kappa(X,L)\leq\alpha(X)\leq\dim(X)$ relating the Iitaka-dimension ...

**1**

vote

**1**answer

670 views

### An open problem on general topology

There is an open problem in this paper: Classes defined by stars and neighbourhood assignments by van Mill and others.
Problem 4.8. Is a regular (Tychonoff) star compact space metrizable if it has a ...

**27**

votes

**0**answers

1k views

### Manifolds admitting CW-structure with single n-cell

Let $M$ be a topological $n$-manifold, closed and connected (not necessarily oriented):
When does $M$ not admit (up to homotopy-type) a CW-structure with a single $n$-cell?
By classification of ...

**5**

votes

**1**answer

283 views

### Failure of the Pointwise Ergodic Theorem

It is known that Birkhoff's pointwise ergodic theorem (unlike von Neumann's mean ergodic Theorem) fails to hold for general Folner sequences.
The counter-example usually given is the Folner sequence ...

**0**

votes

**2**answers

429 views

### Pairwise Gaussian vs Jointly Gaussian (k-wise Gaussian vs n-wise Gaussian)

Suppose $X_i, \; i=1,2,3...,n$ are each Gaussian, then it is not in general true that the set is jointly Gaussian (a multivariate Gaussian).
Does a similar statement hold if the variates are pairwise ...