# All Questions

**0**

votes

**0**answers

2 views

### Fermat's Theorem on p = a^2 + b^2

I have read that Fermat predicted that for an odd prime $p$, $p = a^2 + b^2$ iff $p = 1$ mod 4.
I heard that such a criterion could be possible for a given integer $n$ like
$p = a^2 + n b^2$
...

**0**

votes

**0**answers

6 views

### Constructing pointwise-or independent binary matrices

Let $M$ be an $m \times n$ matrix such that every $M_{ij} \in \{0,1\}$.
We say that $M$ is `$\lor$-irreducible' if (i) no row is a pointwise-or of other rows, and (ii) no column is a pointwise-or of ...

**1**

vote

**0**answers

8 views

### Proof for this expression for Dottie number

Neither Wolfram's mathworld nor Wikipedia mentions any series expanion for the cosine's fixed point.
Therefore I am asking for a proof for this Kapteyn expansion of Dottie number:
...

**0**

votes

**0**answers

5 views

### Trigonometric multiple integral identity

How this alleged multiple integral identity can be proved?
$$\int\limits_{-\infty }^{\infty }ds_{1}\int\limits_{-\infty}^{s_{1}}ds_{2}\cdots \int\limits_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {
...

**2**

votes

**1**answer

8 views

### Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...

**0**

votes

**0**answers

15 views

### Fixed point property for the projectivization of manifold of fixed rank matrices

Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. The projectivization of $M$ is denoted by $PM$.
Does $PM$ satisfy fixed point property?

**-1**

votes

**0**answers

14 views

### $\mathbb{Z}_{2}$ -equivariant vector bundles over manifold of rank-$k$ matrices

Edit: I remove the trivial part of the first version, according to comment of Alex Degtyarev
Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. There is ...

**1**

vote

**1**answer

62 views

### Manifold with corners

Iam looking at the following situation of a manifold $Z$ with corners.
More specifically a product of a smooth manifold X with a standard $k$-simplex $\Delta^k$.
I wish to study certain formulas for ...

**0**

votes

**0**answers

10 views

### Volume of randomly changing sphere follows beta distribution

We are given $X,X_1,\ldots,X_N$ independent and identically distributed $k$-dimensional vectors. For a given query point $X_q\in\mathbb{R}^k$ assume without loss of generality that $X_1,\ldots,X_m$ ...

**0**

votes

**0**answers

32 views

### A modified notion of ranks

Given $M\in\{0,1\}^{n\times n}$ of rank $r$.
Denote $p^{\Bbb Z_{\geq0}}$ to be collection of finite non-negative powers of prime $p$.
Denote $\mathscr{P}_r[M,p]=\{P\in\{0,p^{\Bbb ...

**-1**

votes

**0**answers

7 views

### Partition of function into pieces for interpolation needs

I've got some experimental data obtained from my mate's research. There are two sets of (x,y) points for each curve. He asked me to interpolate function values between this points, so for each curve I ...

**1**

vote

**1**answer

32 views

### Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state.
Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...

**-2**

votes

**0**answers

18 views

### Is Markov Chain Sampled at stopping times a Markov chain? [on hold]

Given a Markov hain $\{X_n\}$ and $T_n$ be an increasing sequence of stopping times, is $\{X_{T_n}\}$ Markov chain ?

**0**

votes

**0**answers

23 views

### Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

My singular integral operator is defined by
\begin{align}
Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t},
\end{align}
that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast ...

**5**

votes

**0**answers

72 views

### A reference for $\mathbb{A}^1_R$ being a coarse moduli space of the stack of elliptic curves

Let $R$ be a ring and let $\mathcal{M}_{1, R}$ be the algebraic $R$-stack of elliptic curves (over $R$-schemes as bases). One knows that the coarse moduli space of $\mathcal{M}_{1, R}$ is supposed to ...

**0**

votes

**0**answers

25 views

### Hadamard product and matrix inverse

Is there any relation between normal matrix inverse and the Hadamard product?
Suppose we have a matrix $ M $ and its eigen/singular value decomposition. Can we say anything about the inverse of $ N = ...

**1**

vote

**0**answers

79 views

### Experimentation with partial Euler products

Richard Mathar $[1]\& [2]$ shows that
\begin{align}
&\zeta_{2}(s)\equiv\prod_{\Omega(n)=2}^{}\left(\dfrac{1}{1 - n^{s}}\right)^{-1}=\exp \left(\sum _{k=1}^n \frac{P(k s)^2+P(2 k s)}{2 ...

**2**

votes

**1**answer

55 views

### Relation between intersection multiplicities

Consider $(f_1,\dots,f_n), (g_1,\dots,g_n)\in \mathbb{C}[z_1,\dots,z_n]\ $ such that:
i) $\{f_1=\dots=f_n=0\}= \{g_1=\dots=g_n=0\}=\{0\}\in \mathbb{C}^n\ $ and
ii) $f_1g_1+\dots+f_ng_n\equiv0$.
...

**2**

votes

**0**answers

31 views

### Central limit theorem with degenerate covariance matrix

Are there known generalisations of the central limit theorem for several random variables when the covariance matrix is degenerate?
The usual proof of CLT based on characteristic functions (see e.g. ...

**-3**

votes

**0**answers

40 views

### Circle packing II I need the solution/answer to this [on hold]

Let R(a, b, c) be the maximum area covered by three non-overlapping circles inside a triangle with edge lengths a, b and c.
Let S(n) be the average value of R(a, b, c) over all integer triplets (a, ...

**2**

votes

**1**answer

54 views

### a question about Brooks' Theorem for $\Delta =4$

From Brooks' Theorem, we know that
if a graph $G$ satisfies that $\Delta (G)=4$ and there is no $5$-clique in $G$, then $\chi (G)\leq 4$.
And it is easy to find a counterexample to the following:
...

**1**

vote

**1**answer

56 views

### Optimization over symmetric polynomials

Consider the following constraint satisfaction problem: Let $\alpha_1 , \ldots, \alpha_k \in \mathbb{R}$ be given as well as an error parameter $\epsilon$. Find $p_1, \ldots, p_n$ such that
(i) $0 ...

**1**

vote

**0**answers

59 views

### Fixed area, largest mass — is there a name?

Let $x\in \mathbb{R}^n$ and let $s_k(x)$ denote the sum of the $k$ largest entries of $x$. The function $s_k(x)$ is well-known to be convex and is often used in optimization, such as
...

**7**

votes

**2**answers

192 views

### What other books are like these?

A certain class of books is defined as follows: (1) the book was kept for years in a cafe or mathematics library; (2) the primary contents are research problems and comments, handwritten by resident ...

**-2**

votes

**0**answers

70 views

### Reference Request for Finite Axiom Of Choice [on hold]

I am looking for a book that would contain the kind of proofs that were given in the answers to this question: Finite axiom of choice: how do you prove it from just ZF? because I want to quote them in ...

**0**

votes

**0**answers

50 views

### Combinatorial support set in CRT

Is there a function $g(s)$ such that if there is a set of numbers $\{r_i\}_{i=1}^m$ such that $r_i\bmod p_j\in\{0,1\}$ at every prime in $\{p_j\}_{j=1}^n$ such that $2^t\bmod p_j\neq1$ at every ...

**-1**

votes

**0**answers

15 views

### which graph srtuctures can help you calculate the pair-wise shortest paths efficiently? [on hold]

Is BFS structure good enough for this task? Any comments would be greatly appreciated.

**8**

votes

**0**answers

80 views

### Maximizing the number of semistandard Young tableaux

Is anything known about the following question? Given a positive
integer $p$ and a real number $0<\alpha<1$, what partition $\lambda$
whose parts sum to $\alpha p^2$ (asymptotically) and whose ...

**-4**

votes

**0**answers

61 views

### Advanced, pure and applied [on hold]

A clown is riding a single wheel cycle along a highwire from point A to point B. These two points are the same height, however as the clown cycles the highwire decreases in height to a minimum point ...

**0**

votes

**0**answers

16 views

### Periodic configurations for elementary cellular automata

Let $L$ be an elementary cellular automaton. Then $L$ acts on $\{0,1\}^{\mathbb{Z}}$. We say that a configuration $w\in\{0,1\}^{\mathbb{Z}}$ is periodic if $L^{(n)}(w)=w$ for some $n\in\mathbb{N}$.
...

**3**

votes

**1**answer

185 views

### Balancing real numbers in one dimension

Given numbers $d_i \leq 1$ for $i=1,\ldots,m$, it is easy to see that you can always find signs $\varepsilon_i \in \{-1,1\}$ such that the partial sums $\sum_{i=1}^k \varepsilon_i d_i/2$, for ...

**1**

vote

**0**answers

31 views

### If $E(K)=E(L)$ for an elliptic curve $E$ and an algebraic extension $L/K$, what can we say about $Sel(E/K), Sel(E/L), L/K$?

More generally, when $E(K_m)$ is stable as $m$ increases for an extension equence $K_0<K_1<K_2<\cdots<K_m<\cdots$ ? In the case, is $\mathrm{Sel}(E/K_m)$ stable as $m\rightarrow ...

**-1**

votes

**2**answers

178 views

### Serre's Theorem for Coherent Sheaves

I recently heard a discussion about a certain of Serre which reconstructs the category of coherent sheaves of a variety $V$ as the category of modules over the homogeneous space of $V$ modulo modules ...

**1**

vote

**0**answers

27 views

### Applications of finite presentation of lie algebra

If you know a finite presentation of say a certain Poisson algebra (finite presentation as a Lie algebra), in what ways might this be useful? Does this allow you to extract information that would ...

**0**

votes

**0**answers

24 views

### Invariant subalgebra and dual torus for symmetric group

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of ...

**3**

votes

**0**answers

53 views

### Are isometric homorphisms of C* algebras *-homorphisms

Here is my precise question:
Let $A$ and $B$ be two $C^*$ algebras. Let $f: A \rightarrow B$ a morphism of algebras which is isometric (on its image). Is $f$ necessary a $*$-homomorphism ?
It sounds ...

**0**

votes

**2**answers

121 views

### Global section of very ample line bundles and its value on stalks

Let $X$ be a projective scheme and $\mathcal{L}$ be a very ample line bundle on $X$ with respect to some projective embedding $X \hookrightarrow \mathbb{P}^n_{\mathbb{C}}$ (for some $n$).
Given any ...

**11**

votes

**1**answer

116 views

### Completed and uncompleted operations for Morava $E$-theory

Let $E = E_n$ be the $n$-th Morava $E$-theory with coefficient ring
$$
E_* = \mathbb{W}(\mathbb{F}_{p^n})[\![u_1,\ldots,u_{n-1}]\!][u^{\pm 1}].
$$
It is usual to consider the completed co-operations
...

**3**

votes

**0**answers

46 views

### Staircase Schur functions squared

Let $\Delta_n$ be the staircase-shaped partition $(n-1,n-2,\dots,1)$. Are there any non-obvious combinatorial objects that index $s_{\Delta_n}^2$? Here, $s_\lambda$ is the Schur function indexed by ...

**3**

votes

**0**answers

160 views

### Flat Connections on Ring Spectra

So first I'll try to give a really quick reminder of the classical description of these things when one is doing non-commutative descent theory. In the setting of discrete algebra, if we have a ...

**0**

votes

**0**answers

27 views

### How to put together a set of modified conditional distributions to a joint distribution? [on hold]

I am abstracting my original problem to a simple scenario.Consider a bi-variate multi-modal mixture of gaussian distribution, P(x,y). When we slice through x or y we get a univariate multi-modal ...

**3**

votes

**0**answers

129 views

### Quasi-disjoint subsets of an infinite set and $\neg \mathsf{AC}$

Is it consistent with $\mathsf{ZF}$ (without $\mathsf{AC}$) that there is an infinite set $X$ and a subset $S\subseteq\mathcal P(X)$ of the same cardinality as $\mathcal P(X)$ with the property that ...

**0**

votes

**0**answers

38 views

### A Problem on Fixed Point Theory [on hold]

Let $T:\mathbb{R}\rightarrow\mathbb{R}$ be a function satisfying the following conditions:
(a) $T$ is continuous, (b) $T(n)=2015n+1$, $\forall{n}\in\mathbb{Z}$, and (c) $|T(x)-T(y)|\geq 2015|x-y|, ...

**3**

votes

**0**answers

61 views

### When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...

**1**

vote

**0**answers

134 views

### Primes in integral domains

Let $\mathcal O_{\mathbb K}$ be the ring of integers in a number field $\mathbb K$. It is easy to prove that the number of (non-associated) primes in $\mathcal O_{\mathbb K}$ is infinite.
On the other ...

**1**

vote

**0**answers

42 views

### how to find coordinate of unknown point given the distance against N known points [migrated]

I am meeting with a problem, say I have already know the coordinates of N points (a1,a2,a3....) in 3D space. And I have a new point, say x. I only know the distances from x to the known N points. Is ...

**7**

votes

**2**answers

550 views

### Publication in proceedings

Why and how publishing a paper in proceedings?
What are the difference with a "classical" journal?
What's the list of the main proceedings in which one can publish?
Do proceedings papers (never, ...

**1**

vote

**0**answers

120 views

### How rigid can a rigid object be in GR?

Consider a cubic lattice of space probes, with rocket motors and lasers to measure distance, and a clock to measure time. As they more from free space to the vicinity of some black hole, they try to ...

**4**

votes

**0**answers

92 views

### Infinite simple p-groups with only trivial irreps in characteristic p

Is there a prime $p$ and an infinite simple $p$-group $G$ such that for any field $K$ of characteristic $p$ the only irreducible $KG$-module, whether finite or infinite dimensional, is trivial (that ...

**1**

vote

**0**answers

93 views

### Characterization of the Riemann curvature tensor

Let $(M^n,g)$ be a Riemannian manifold, $a\in M$ be a fixed point. It it well known that there exists a coordinate system near $a$ (e.g. the normal one) such that
$$g_{ij}(x)=\delta_{ij}+O(|x|^2).$$
...