# All Questions

54 views

### Elementary question of Group cohomology [on hold]

Let $G$ be a finite group. Assume $G$ acts on finite abelian module $M$ such that $(|G|,|M|)=1$. Question: Why $H^i(G,M) = 0$ for $i > 0$? Pierre MATSUMI
6 views

### MLE of Gamma when only given observations

i've been given 10 observations of X, where X is a random variable. the observations are 141 16 46 40 351 259 317 1511 107 567 and now given they are gamma distributed, how do you find the MLE using ...
66 views

### Brouwer's theorem for the Cauchy reals

Brouwer famously proved, using principles motivated by intuitionistic choice sequences, that every function $\mathbb{R}\to \mathbb{R}$ is continuous. In Sheaves in geometry and logic (section VI.9), ...
69 views

### Flower Arrangements [on hold]

We have a $n\times m$ grid with $k$ flowers (not necessarily distinct). The grid is assumed to have horizontal and vertical symmetry. What is the value of $A(n,m,k)$, where $A(n,m,k)$ is the number of ...
17 views

### Relationship of ${\cal P}(\omega)/fin$ and ${\cal L}$

Define ${\cal L}$ as in this question: the set of functions $f:\mathbb{N}\rightarrow\mathbb{N}$ such that $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ at at ...
53 views

### Distribution of a transformed Gaussian random vector

Let $B$ be a random vector with $b_{i} \backsim N(m_i,\sigma_i)$ and $Y$ another random vector with $y_i \backsim N(r_i,\psi_i)$. Let $A$ be a symmetric and non-singular square matrix. What is ...
34 views

20 views

261 views

### How big is the lattice of all functions?

Define the lattice $(\mathcal{L},\prec)$ as the set of all function $f:\mathbb{N}\rightarrow\mathbb{N}$ satisfying $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ ...
197 views

### Are all separable algebras Frobenius algebras?

Let $\mathcal C$ be a [added later: semi-simple] tensor category, and let $A=(A,m:A\otimes A\to A,i:1\to A)$ be an algebra object in $\mathcal C$. The algebra is... Separable if there is an ...
118 views

### 2-dimensional sublattices with all vectors having very big square (in absolute value)

QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice, that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not definite, not necessarily unimodular, $n>2$. I want ...
195 views

### What is the maximum size of a set system where the intersection of any two incomparable members is not in the set?

Let the set $\mathcal{F}$ consist of subsets of $[n]$. Suppose that for any incomparable $A$ and $B$ in $\mathcal{F}$, we have $A \cap B \notin \mathcal{F}$. What is the largest possible size of ...
64 views

### “GraphI Individualization” referece request

Context: I am studying Weisfeiler Lehman method(WL method) and have clear idea about 1 and 2 dimensional WL method. I was wondering about the individualization process described below- Defined ...
147 views
+50

### Fair surfaces - general mathematical theory

Fairness measures for surfaces are, in general, functionals containing more complicated terms thatn the usual bending energy, and may depend not only on the mean curvature but also on principal ...
118 views

### Which sequential colimits commute with pullbacks in the category of topological spaces?

This question was asked on math.stackexchange.com without a reaction. Given diagrams of topological spaces $$X_0\rightarrow X_1\rightarrow\ldots$$ $$Y_0\rightarrow Y_1\rightarrow\ldots$$ ...
133 views

### Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness

It is known that (light-face) $\Sigma_3^1$ generic absoluteness is consistent with $\mathsf{ZFC}$: Friedman and Bagaria showed that it holds in the $\text{Coll}(\omega, < \kappa)$ extension of $V$ ...
288 views

### Bounded gaps between primes in arithmetic progressions

Has Zhang's work on bounded gaps between primes been extended to the following theorem? For any arithmetic progression $an+b,\gcd(a,b)=1$, there is a constant $H$ (depending only on $a$) such that ...
619 views

### How should a mathematician approach the physics literature concerning percolation?

I would like to read some of the physics literature on two-dimensional percolation, however in attempting this I have run into two problems. (1) Physics papers on percolation are (relatively) hard ...
123 views

### Theorems that tell if an explicit analytical solution is possible for nonlinear PDEs

Are there any theorems that tell if a particular nonlinear PDE can be solved explicitly by analytical methods? Where analytical methods I refer to methods such as power series or any methods that use ...
690 views
+100

### A question about certain sets of permutations of the ordered pairs $(1,1),(1,2),\cdots,(1,n),\cdots,(n,1),(n,2),\cdots,(n,n)$

Let $n>1$ be a given positive integer. For any $0\leq k\leq n^2$, let $A_k$ be the set of permutations $((i_1,j_1),(i_2,j_2),\cdots,(i_{n^2},j_{n^2}))$ of the ordered pairs ...
89 views

### Number of binary sequences in which the number of $(1, 1)$ and $(0, 0)$ is prespecified

Consider a binary sequence $\mathbf{a}_n$ consisting of 1s and 0s. Let us denote by $f(\mathbf{a}_n)$ the number of $(1, 1)$ and $(0, 0)$ in $\mathbf{a}_n$; I am not sure whether there is a formal ...
68 views

87 views

### Can hypercompletion be an essential localization?

The subcategory of hypercomplete objects in an ∞-topos is a left-exact-reflective subcategory by the remarks after 6.5.2.8 of Higher topos theory, i.e. its inclusion functor has a left-exact left ...
160 views

### Can we always add sets without collapsing cardinals or adding [very] bounded sets?

Given a model of $\sf ZFC$, and an infinite ordinal $\alpha$. Can we prove that there is always a cardinal $\kappa$, and a forcing $\Bbb P$, such that: $\Bbb P$ does not add sets of rank ...
60 views

### Hausdorff spaces with lattice isomorphism between the topologies [closed]

For $i=1,2$ let $(X_i,\tau_i)$ be Hausdorff spaces such that the lattices $\tau_1, \tau_2$ are isomorphic. Does this imply that $(X_1, \tau_1) \cong (X_2,\tau_2)$? (This is a follow-up question to ...
39 views

### Is the covering property $\Omega \choose \text{T}$ closed under products?

Suppose that $(X_i)_{i\in I}$ is a family satisfying the covering property $\Omega \choose \text{T}$ (for the definition of this covering property, see this post). Does $\prod_{i\in I} X_i$ ...
168 views

### Minimum number of people such that 2 can be expected to sit next to each other [closed]

We are given a large, round table with $n$ seats. It is easy to see that whenever $p\geq \text{int}(\frac{n}{2}) + 1$ people are seated, at least $2$ people will sit next to each other (here ...
134 views

### “Nice” and “nasty” partitions in graphs

Let $G=(V,E)$ be a simple, undirected graph, that is $V$ is a set and $E \subseteq [V]^2 = \{\{v,w\}: v,w \in V \land v\neq w\}$. For $v\in V$ and $S\subseteq V$ we set N(v,S) = \{w\in S: \{v,w\} ...
71 views

### Bounded metric spaces with non-surjective self-isometry

A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$. A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...
Let $S$ be a non-empty set. A geometry of type $n$ for $n\geq 1$ on $S$ (consisting of at least $n$ elements) is a set ${\mathfrak P}\subseteq {\mathcal P}(S)$ such that all members of $\mathfrak ... 1answer 58 views ### Contracting join-incomplete lattice endomorphisms Let$L$be an complete lattice. A lattice homomorphism$f: L\to L$is said to be join-incomplete if there is an infinite set$S \subseteq L$such that$f(\bigvee_L S) \neq \bigvee_L f(S).$If$f:L\to ...
Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$ Is the ...