# All Questions

**-2**

votes

**0**answers

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

**0**

votes

**0**answers

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 ...

**6**

votes

**1**answer

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), ...

**-3**

votes

**0**answers

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 ...

**2**

votes

**0**answers

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 ...

**0**

votes

**0**answers

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 ...

**0**

votes

**0**answers

34 views

### On the search for an explicit form of a particular integral

Let $f$ be integrable over the interval $(0, 1)$, and
$$I_n = \int_0^{1} x^n f(x) \, \mathrm{d}x.$$
Suppose $f(x) = f(1-x)$; we can then show that
$$I_n = \sum_{k=0}^{n} \binom{n}{k} (-1)^k \, ...

**-2**

votes

**0**answers

33 views

### are signs of coefficients arbitrary in 01-integer programming? [on hold]

looking to understand more about full coverage integer programming i wondered if my research should include forms of the problem with the possibility for negative coefficients
i went looking for an ...

**2**

votes

**0**answers

40 views

### Compensated compactness for system of conservation laws?

As far as I knew, the method of compensated compactness can be used only for one-dimensional scalar and $2\times 2$ systems of conservation laws, i.e. $u_t+f(u)_x=0$. But if I understood correctly ...

**3**

votes

**0**answers

62 views

### An inequality from the “Interlacing-1” paper

This question is in reference to this paper, http://annals.math.princeton.edu/wp-content/uploads/annals-v182-n1-p07-p.pdf (or its arxiv version, http://arxiv.org/abs/1304.4132)
For the argument to ...

**14**

votes

**0**answers

373 views

### A Linear Order from AP Calculus

In teaching my calculus students about limits and function domination, we ran into the class of functions
$$\Theta=\{x^\alpha (\ln{x})^\beta\}_{(\alpha,\beta)\in\mathbb{R}^2}$$
Suppose we say that ...

**5**

votes

**1**answer

115 views

### For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature?
An obvious case is when $Y$ ...

**-1**

votes

**0**answers

68 views

### Curvature in geometry-interpretation

Previously this question was asked on stack exchange: the answer contained only reference to the wikipedia page which I already read (as mentioned in my post). So here is the question:
The are ...

**1**

vote

**0**answers

42 views

### Generalized identities of (soluble) groups

Let $G$ be a group. Let us say that $G$ satisfies a generalized identity of degree $n$ if there exist $a_1,a_2,\dots a_n \in G$ such that
$$x^{a_1}x^{a_2}\dots x^{a_n}=1,$$
for all $x\in G$.
...

**50**

votes

**37**answers

6k views

### Important formulas in Combinatorics

Motivation:
The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...

**3**

votes

**1**answer

206 views

### Asymptotic $\int_M \mathrm{exp}[\mathbf{e}\left(n -\frac{t}{2\pi i}\right)] \left( 1 + \frac{5}{6} \mathbf{e}^2 \right)^{1/2} $ on quintic Calabi-Yau

Let $M = \{ G(x) = 0 \} \subseteq \mathbb{P}^4$ be a quintic Calabi-Yau and $\mathbf{e} \in H^2(M, \mathbb{Z})$ such that $\int_M \mathbf{e}^3 = 5$. Then as $t \gg 1$:
$$
\int_M
e^{n \mathbf{e}}
...

**-1**

votes

**0**answers

20 views

### Optimization problem with an integral in the objective function

I would like to find $x$ that solves the following optimization problem:
$min \;L(x) = \int\limits_{-24}^{48} c(t)\cdot f(x,t) dt$
sa $ 0 \leq x \leq 24$
with
$c(t) = 5 + cos(\frac{\pi\cdot ...

**13**

votes

**2**answers

709 views

### Why should we care about “higher infinities” outside of set theory?

Let's say you are a prospective mathematician with some addled ideas about cardinality.
If you assumed that the natural numbers were finite, you'd quickly vanish in a puff of logic. :)
If you ...

**6**

votes

**2**answers

345 views

### Geodesics on SO(3)

I have two 3D rotations about the origin, represented as
$3 \times 3$ orthogonal matrices $M_1$ and $M_2$
(specified by numerical entries),
and I would like to interpolate (and compute)
a continuous ...

**6**

votes

**0**answers

146 views

### Is an irreducible ideal in $R$ also irreducible in $R[x]$?

Let $R$ be a commutative Noetherian ring and $I\subset R$ an ideal that is irreducible in the sense that if $I = J_1 \cap J_2$, then $I=J_1$ or $I=J_2$. Is (the ideal generated by) $I$ irreducible in ...

**15**

votes

**2**answers

709 views

### Which algebraic relations are possible between algebraic conjugates?

For which non-constant rational functions $f(x)$ in $\mathbb{Q}(x)$ is there $\alpha$, algebraic over $\mathbb{Q}$, such that $\alpha$ and $f(\alpha) \neq \alpha$ are algebraic conjugates? More ...

**5**

votes

**0**answers

95 views

### Indecomposable representations of a wreath product

If $G$ is a finite group, we know the irreducible representations of $G ≀ S_n$ (over $\mathbb Q$) are classified by partitions of $n$ 'decorated' by an irrep of $G$.
I'm wondering to what extent the ...

**5**

votes

**1**answer

117 views

### Properties of the interval topology of the lattice of functions

Let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ 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: ...

**9**

votes

**1**answer

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 ...

**10**

votes

**1**answer

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 ...

**5**

votes

**0**answers

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 ...

**11**

votes

**1**answer

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 ...

**1**

vote

**0**answers

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 ...

**4**

votes

**1**answer

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 ...

**9**

votes

**0**answers

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$$
...

**4**

votes

**1**answer

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$ ...

**7**

votes

**1**answer

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 ...

**9**

votes

**2**answers

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 ...

**2**

votes

**1**answer

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 ...

**11**

votes

**1**answer

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 ...

**1**

vote

**1**answer

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 ...

**-1**

votes

**0**answers

68 views

### Inequality for a gradient of a function in Holder space

Let $||X||_{\gamma}=|X|_0+|X|_{\gamma}$, where $|X|_{\gamma}=\underset{x, x'\in \mathbb{R}^3, x \neq x'}{\mathrm{sup}} \frac{|X(x)-X(x')|}{|x-x'|^{\gamma}}$ and $X: \mathbb{R}^N \rightarrow ...

**18**

votes

**2**answers

895 views

### Non-homeomorphic spaces such that taking away a point makes them homeomorphic

Are there topological spaces $X,Y$, each having more than $2$ points, such that
$X\not\cong Y$, and
there is a bijection $\varphi: X\to Y$ such that for all $x\in X$ the spaces $X\setminus \{x\}$ ...

**3**

votes

**1**answer

111 views

### Cardinality of pairwise non-isomorphic complete lattices on an infinite cardinal $\kappa$

Suppose $\kappa$ is an infinite cardinal. Let $\cal S$ be a collection of pairwise non-isomorphic complete lattices on the ground set $\kappa$. What cardinality can $\cal S$ have at most? Is the ...

**10**

votes

**2**answers

625 views

### Upper density of the set of $n$'s such that $p(n)$ is prime, where $p$ is polynomial

The starting point for this question is the following (false) statement
$\forall n\in \mathbb{N} (n^2 + n + 41 \text{ is prime}).$
Given a polynomial function $p:\mathbb{N} \to ...

**1**

vote

**1**answer

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 ...

**4**

votes

**1**answer

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 ...

**6**

votes

**0**answers

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 ...

**3**

votes

**0**answers

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$ ...

**0**

votes

**1**answer

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 ...

**3**

votes

**2**answers

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\} ...

**1**

vote

**1**answer

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 ...

**12**

votes

**1**answer

339 views

### Generalized geometries

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 ...

**3**

votes

**1**answer

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 ...

**4**

votes

**1**answer

50 views

### Simplyfing 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).$
Is the ...