**6**

votes

**1**answer

360 views

### Pure motives and compatible systems of $\ell$-adic representations

I am trying to understand the statement of the conjectures of Deligne on special values of certain $L$-functions, from his article titled, "Valuers de Fonctions L et periodes d'integrales" which ...

**4**

votes

**2**answers

197 views

### Baire Category Theorem for complete uniform spaces

The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...

**0**

votes

**0**answers

22 views

### Rearrangement of summation expression

Referring to the spherical harmonics expansion in this article:
Méléard, P., Pott, T., Bouvrais, H., & Ipsen, J. H. (2011). Advantages of statistical analysis of giant vesicle flickering for ...

**13**

votes

**1**answer

509 views

### Elementary Proof of Infinitely many primes $\mathfrak{p} \in \mathbb{Z}[i]$ in the sector $\theta < \arg \mathfrak{p} <\phi $

A quick look at the primes in $\mathbb{Z}[i]$ suggests they might be evenly distributed by angle if we zoom out on a coarse enough scale.
I would like ask about the much weaker statement forgetting ...

**2**

votes

**1**answer

182 views

### Counting function for prime pair with bounded gaps between them [duplicate]

I'll start by noting that I am not at all an expert on number theory. However I do use it in a proof and would like your assistance if possible.
Yitang Zhang breakthrough result established that ...

**0**

votes

**0**answers

14 views

### Decompose a multivariate polynomial into a permutation on $F_{2^n}$ and an affine transformation

Let $S(x_1,...,x_n)=(y_1,...,y_n)$ be a secret permutation on $F_{2^n}$. $L$ is a secret $F_{2^n}\rightarrow R^{m}$ affine tranformation. $m$ can be smaller than $n$, while $n$ is ususally less than ...

**10**

votes

**0**answers

356 views

### Which journals publish applied mathematics with mostly pure mathematics content?

In the spirit of Which journals publish expository work? please advise:
What consistently high quality journals$^1$ today publish results that would otherwise go to a pure mathematics journal if ...

**13**

votes

**3**answers

1k views

### Intuition behind the Kodaira Vanishing Theorem?

As the question suggests, what is the intuition behind the Kodaira Vanishing Theorem? The Kodaira Vanishing Theorem says that the cohomology groups $H^q(M, L \otimes K_M)$ vanish for $q \ge 1$ when ...

**7**

votes

**0**answers

252 views

### Do modular forms show up in the cohomology of moduli spaces of unmarked curves?

Let $\overline{\mathcal M}_{g,n}$ be the compactified Deligne-Mumford moduli stack (although I don't think taking the coarse moduli space will make much of a difference here). If we decompose $g = 1 + ...

**6**

votes

**2**answers

144 views

### Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?

Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...

**8**

votes

**0**answers

160 views

### On the global structure of the Gromov-Hausdorff metric space

This is a purely idle question, which emerged during a conversation with a friend about what is (not) known about the space of compact metric spaces. I originally asked this question at ...

**0**

votes

**0**answers

17 views

### Systems of stochastic differential equations with non-Lipschitz coefficients

I am looking for references to any literature which might consider the existence / behavior / regularity of solutions to systems of stochastic differential equations with non-Lipschitz coefficients.
...

**5**

votes

**1**answer

190 views

### 1-dimensional representations of the affine Hecke algebra for $SL_2$

Kazhdan-Lusztig theory gives a correspondence between irreducibles of the affine Hecke algebra for a simply connected linear algebraic group $G$ and certain homological data extracted from the ...

**2**

votes

**1**answer

58 views

### Complexity of sparse matrix-vector multiplication?

I have a vector $\mathbf{x}$ of size $m\cdot n$ of zeros and ones, i.e., $\mathbf{x}\in\{0,1\}^{m\cdot n}$ and a matrix $\mathbf{A}$ of size $\left(m\cdot n+m+n+1\right)\times\left(m\cdot n\right)$ of ...

**11**

votes

**1**answer

465 views

### A question of Erdős

In the following paper (pages 122-23), Erdős asks if there is a constant $c > 0$ such that every subset $A$ of plane of area more than $c$ contains the vertices of a triangle of unit area.
Is this ...

**6**

votes

**2**answers

176 views

### Generalized Characteristic Polynomial with Unimodular Roots

Let us define a diagonal matrix $\mathbf{D}(z) = diag(z^{m_1}, \dots, z^{m_N})$ with $z\in\mathbb{C}$ and positive integers $m_1, \dots, m_N$.
The generalized characteristic polynomial of a matrix ...

**7**

votes

**1**answer

575 views

### Counting subspaces

We are given the finite vector space $V = V(n,p) = \mathbb{F}_p^n$ and two fixed subspaces $W_1, W_2 \subseteq V$ of dimensions $m_1$, $m_2$ respectively. Suppose
that the dimension of $W_1 \cap W_2$ ...

**8**

votes

**2**answers

650 views

+300

### A question on representation of graphs

Take a complete graph $K_n$. You want to assign a vectors from $\Bbb F_2^d$ to every edge such that sum of vectors in every simple cycle does not sum to $0$ vector. The question is what is minimum $d$ ...

**17**

votes

**0**answers

134 views

### Metrics on the 3-sphere with knotted geodesics

According to answers to this question every metrics on $S^3$ admits a simple closed geodesic. Given a knot (or link) $K$, it's also quite simple to build a metric on $S^3$ such that $K$ is a geodesic ...

**3**

votes

**1**answer

70 views

### Existence of a countable linear combination with positive coefficients

Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors.
$(*)$ Under what conditions on this ...

**1**

vote

**1**answer

334 views

### Possibility of Disconnected Subgraphs of a $k$ Connected $r$ regular Graph under a given condition

Context: Given a adjacency matrix A of a $r$-regular graph $G$ (not complete graph $K_{r+1}$) . $G$ is $k$ connected.
The matrix A can be divided into 4 sub-matrices based on adjacency of vertex $x ...

**1**

vote

**1**answer

47 views

### Two geodesics with angle $\pi$ in Alexandrov space

Let two geodesic segments in an Alexandrov space with curvature bounded from below start at the same point and the angle between them equals $\pi$. It is possible that these segments are not the two ...

**1**

vote

**1**answer

343 views

### Three questions about modular forms frequently asked to me [on hold]

I have three questions related to the theory of modular forms and it was frequently asked to me by my collegues and even my invited teacher in our seminars of the number theory at the faculty of ...

**3**

votes

**0**answers

34 views

### Existence of martingales given some constraint on laws

Let $X=(X)_{0\le t\le 1}$ be a continuous martingale starting at $0$, then denote by $\mu$ and $\nu$ the probability laws of $\int_0^1X_t \mathrm{d}t$ and $X_1$. Then it is easy to see that the couple ...

**2**

votes

**1**answer

213 views

### Hilbert 16th problem, distribution of Limit cycles

Edit: Can one help for translation of the link in Russian(comment by Dimitry Todorov)(Or at least a summary of it)?
It seems that the second part of the Hilbert 16th problem is solved or is going to ...

**5**

votes

**2**answers

603 views

### Is there a topological Chevalley-Shephard-Todd Theorem?

Is the following true:
For a representation of a finite group $G$ on $\mathbb{C}^n$, the quotient $\mathbb{C}^n/G$ is a topological manifold if and only if $G$ is generated by pseudo-reflections.
( ...

**-3**

votes

**0**answers

44 views

### non local indecomposable commutative ring [on hold]

Let $R$ be a commutative ring and $\{P_i\}_{i\in I}$ be an arbitrary subset of $spec(R)$ such that $\frac{R}{\bigcap_{i\in I}{P_i}}$ is an indecomposable ring, is any relation among $P_i$'s? Thanks a ...

**52**

votes

**2**answers

4k views

### Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem:
Complex structure on the six dimensional sphere from a spontaneous symmetry breaking
Journ. Math. Phys. 56, ...

**2**

votes

**0**answers

179 views

### Is there a well-known tautological bundle over $\mathbb{P}(\Lambda^nV)\times V$?

Let $V$ be a vector space of dimension $>n$, and define the subset $$
K:=\{ ([\omega],v)\mid v\wedge\omega=0 \}\subset\mathbb{P}(\Lambda^nV)\times V\, .
$$
Denote also by $\pi:K\longrightarrow ...

**21**

votes

**4**answers

923 views

### Stability of the Solar System

My question is simple:
Is the Solar System stable?
You can see this Wikipedia page.
In May 2015 i was in the conference of Cedric Villani at Sharif university in Iran with this title: "Of ...

**5**

votes

**0**answers

108 views

### Which classes of functions are “convolution ideals”?

If $g$ is continuous then $f*g$ is continuous.
If $g$ is smooth then $f*g$ is smooth.
If $g$ is a polynomial then $f*g$ is a polynomial.
If just one of the two functions belongs to the class of ...

**46**

votes

**17**answers

10k views

### Parodies of abstruse mathematical writing

Perhaps under the influence of a recent question
on perverse sheaves,
in conjunction with the impending $\pi$-day (3/14/15 at 9:26:53),
I recalled a long-ago parody of abstruse mathematical language
...

**2**

votes

**1**answer

167 views

### Expected value (probability) maximization with binomial distribution

I need to solve an optimization problem that involves an expected value like
$$F(n,x) = \sum_{k=0}^n \binom{n}{k} p^k(1 - p)^{n - k} f(k,x).$$
Here $f(k,x)$ is actually a probability coming from a ...

**2**

votes

**1**answer

88 views

### Incomplete lattice homomorphisms between complete lattices

Let $L, K$ be complete lattices. A lattice homomorphism $f: L\to K$ is said to be incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_K f(S).$
Suppose that ...

**29**

votes

**6**answers

1k views

### Deep Learning / Deep neural nets for mathematician

I am interested in finding out the math ideas behind the technologies that are under the umbrella of "Deep Learning" or "Deep neural nets".
Most of the papers/books that are often quoted in ...

**1**

vote

**1**answer

79 views

### Measure of ramification of local fields using upper numbering

We let $F$ be a non-archimedean local field (say with finite residue field). Consider a Galois extensions $E$ of $F$, with $G = Gal(E/F)$, in a fixed separable closure $\bar{F}$ of $F$. Considering ...

**0**

votes

**1**answer

61 views

### Sum of two parts of a continuous stochastic process

Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all ...

**7**

votes

**2**answers

168 views

### What is the easiest way to compute Ozsváth-Szabó tau invariant of a knot?

Suppose that we have a knot $K$ with 40 crossings which is not a cable knot or an alternating knot.
Then, what is the easiest way to compute Ozsváth-Szabó's invariant $\tau(K)$?
Are there any ...

**3**

votes

**2**answers

245 views

### Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over ...

**10**

votes

**2**answers

1k views

### Should we post on arXiv only papers in publishable shape (or very close)?

Question: Should we post on arXiv only papers in publishable shape (or very close)?
This question should be distinguished from the following:
Should one post a paper on the arXiv if it is not ...

**48**

votes

**4**answers

2k views

### When has the Borel-Cantelli heuristic been wrong?

The Borel-Cantelli lemma is very frequently used to give a heuristic for whether or not certain statements in number theory are true.
For example, it gives some evidence that there are finitely many ...

**6**

votes

**1**answer

187 views

### Infinitesimal deformations of a singular projective surface

Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...

**53**

votes

**5**answers

4k views

### Are there any serious investigations of whether “mathematicians do their best work when they're young”?

There is no shortage of anecdotes and conjectures on both sides of this widespread belief, but good supporting data either way is harder to find. Can anyone provide any references for serious ...

**102**

votes

**96**answers

59k views

### Famous mathematical quotes [closed]

Some famous quotes often give interesting insights into the vision of mathematics that certain mathematicians have. Which ones are you particularly fond of?
Standard community wiki rules apply: one ...

**29**

votes

**4**answers

958 views

### Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds?
A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...

**27**

votes

**3**answers

2k views

### Is every abelian group a colimit of copies of Z?

More precisely, is every abelian group a colimit $\text{colim}_{j \in J} F(j)$ over a diagram $F : J \to \text{Ab}$ where each $F(j)$ is isomorphic to $\mathbb{Z}$?
Note that this does not follow ...

**11**

votes

**1**answer

313 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**6**

votes

**1**answer

306 views

### Introductory article of knot Heegaard Floer Homology

I am looking for some article that gives an introduction to Heegaard Floer homology of knot.
I heard that it is very useful to determine the unknotting number of a knot, but I couldn't find any ...

**11**

votes

**1**answer

210 views

### Complexity of planar scissor congruence

Two (not necessarily convex) poygons of equal area are scissor-congruent, i.e. both can be cut along a finite number of straight lines or segments into isometric pieces.
What can be said about the ...

**23**

votes

**3**answers

1k views

### fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$.
surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...