0
votes
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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).$$ ...

15 30 50 per page