# All Questions

**-3**

votes

**0**answers

28 views

### Solve the recurrence formula $a_{n+1} = 2 a_n + 1/a_n$ with $a_1 = 1$ [on hold]

How to solve for general term of $a_{n+1} = 2 a_n + 1/a_n$ with $a_1 = 1$
Thanks in advance!

**-1**

votes

**0**answers

20 views

### Flower Arrangements

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)$?
An example member of $A(3,4,4)$ ...

**-2**

votes

**0**answers

28 views

### are signs of coefficients arbitrary in 01-integer programming?

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

**3**

votes

**0**answers

54 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

353 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

102 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

56 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

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

**12**

votes

**2**answers

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

**2**

votes

**0**answers

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

**5**

votes

**0**answers

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

**10**

votes

**1**answer

195 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

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

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

659 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

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

**2**

votes

**3**answers

619 views

### A Diophantine equation with prime powers

Let $p$ and $q$ be prime numbers such that $p^2+p+1=3q^a$: is it true that $a=1$?
This specific equation appears when computing order components of finite groups.

**16**

votes

**3**answers

675 views

### Existence of a “quasi-uniform” probablility distribution on $\mathbb{Z}$

Does there exist a probability distribution on $\mathbb{Z}$ such that
for every integer $n\geq 1$, the probability that a random integer $x$
is divisible by $n$ equals $1/n$?
Henry Cohn has an ...

**0**

votes

**0**answers

139 views

### How does one define Moduli spaces in Symplectic Geometry and naively interpret higher genus GW Invariants?

This is a very basic question about the definition of Moduli space of maps.
My reason for asking this question is because I haven't actually seen this
definition explicitly given anywhere, and hence ...

**22**

votes

**22**answers

15k views

### What are the worst notations, in your opinion ? [closed]

With which notation do you feel uncomfortable ?

**58**

votes

**17**answers

6k views

### What makes four dimensions special?

Do you know properties which distinguish four-dimensional spaces among the others?
What makes four-dimensional topological manifolds special?
What makes four-dimensional differentiable manifolds ...

**74**

votes

**16**answers

20k views

### What recent discoveries have amateur mathematicians made?

E.T. Bell called Fermat the Prince of Amateurs. One hundred years ago Ramanujan amazed the mathematical world. In between were many important amateurs and mathematicians off the beaten path, but what ...

**64**

votes

**5**answers

23k views

### Consequences of the Riemann hypothesis

I assume a number of results have been proven conditionally on the Riemann hypothesis, of course in number theory and maybe in other fields. What are the most relevant you know?
It would also be nice ...

**10**

votes

**3**answers

1k views

### An algebraic number is not a root of unity?

This problem is related to my study of the Burau representation of the braid group $B_3$: I was trying to show that certain "congruence subgroups" are of infinite index.
There is an approach that ...

**28**

votes

**8**answers

4k views

### Motivation for and history of pseudo-differential operators

Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...

**6**

votes

**2**answers

1k views

### Consequences of Legendre's conjecture

I am looking for a list/reference which explores the consequences of Legendre's conjecture, which states that one can always find a prime number between $n^2$ and $(n+1)^2$.

**14**

votes

**2**answers

565 views

### Evaluation of an $n$-dimensional integral

I asked the same question on math.se but got no answer there. Since it pertains to my current research, I decided to ask here:
Let $n\in 2\mathbb{N}$ be an even number. I want to evaluate
$$I_n
:=
...

**12**

votes

**7**answers

1k views

### Mathematics of quasicrystals

I want to study quasicrystals from mathematical point of view, but I'm having hard time finding materials about it. If you could suggest me some books, articles or papers, I would be glad.

**16**

votes

**3**answers

2k views

### How to Tackle the Smooth Poincare Conjecture

The last remaining problem in this whole "everything is a sphere" business, is the Smooth Poincare Conjecture in dimension 4: If $X\simeq_\text{homo.eq.} S^4$ then $X\approx_\text{diffeo} S^4$. ...

**5**

votes

**2**answers

167 views

### Decidability of differential equations

Is there anything well-known about the algorithmic decidability of the satisfiability of an ODE $\dot{x}=f(x)$, $x: [0,1]\to R^n$ with an initial condition $x(0)=x_0$, given that $f(x)$ belongs to ...

**1**

vote

**1**answer

187 views

### Question about transversality for PSS map in Hamiltonian Floer cohomology

Let X be a compact symplectic manifold and $H_t,J_t$ a Floer regular pair of $\mathbb{S}^1$ dependent Hamiltonians and complex structures. The PSS maps are defined by considering $\mathbb{C}$ with a ...

**28**

votes

**8**answers

3k views

### What is a metric space?

According to categorical lore, objects in a category are just a way of separating morphisms. The objects themselves are considered slightly disparagingly. In particular, if I can't distinguish ...

**12**

votes

**3**answers

2k views

### Truncated Exponential Series Modulo $p$: Deeper meaning for a Putnam Question.

Apparently B6 of the Putnam this year asked:
Suppose $p$ is an odd prime. Prove that for $n\in \{0,1,2...p-1\}$, at least $\frac{p+1}{2}$ of the numbers $\sum^{p-1}_{k=0} k! n^{k}$ are not ...

**21**

votes

**2**answers

4k views

### Intuition behind the Eichler-Shimura relation?

The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...

**22**

votes

**2**answers

3k views

### Noetherian rings of infinite Krull dimension?

Since Noetherian rings satisfy the ascending chain condition, every such ring must contain infinitely many chains of prime ideals s.t. the heights of these chains are unbounded.
The only example I ...

**9**

votes

**1**answer

3k views

### What is the meaning of symplectic structure? [closed]

Answers can come in mathematical, physical, and philosophical flavors.
Edit: There seems to be a consensus that this question is not formulated well. I must respectfully disagree. My interest in the ...

**0**

votes

**0**answers

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

**0**

votes

**0**answers

19 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 \, ...

**0**

votes

**0**answers

47 views

### Properties of Coefficients of Order Polynomials

I am working on a problem involving determining the order polynomial $\Omega_P(k)$ of a partial order $P$, which counts the number of order-preserving transformations/maps from $P$ to the $k$-chain ...

**1**

vote

**0**answers

42 views

### Vanishing natural transformation and strong generator

Let $X$ be a smooth projective variety (over the field of complex numbers). Let $T$ be strong generator of $D^b(X)$ : this means that every object in $D^b(X)$ can be obtained in a finite number of ...

**-1**

votes

**0**answers

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

**2**

votes

**1**answer

214 views

### Bateman-Horn, continued even further

As before, consider the "singular series", which shows up in the Bateman-Horn conjecture: for an irreducible polynomial $f,$ this is equal to
$$
s(f) = \prod_p \frac{1-\frac{n_f(p)}p}{1-\frac1p},
$$
...

**3**

votes

**1**answer

120 views

### Construction of coherent sheaf such that $\text{Proj}\,\text{Sym}\,(\mathcal{F}) = \text{Sym}^n X$

Let $X$ be a smooth projective curve. How do I construct a coherent sheaf $\mathcal{F}$ on $\text{Pic}^n X$ (i.e., the component of the Picard scheme of $X$ parametrizing line bundles of degree $n$) ...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

36 views

### Question about probability

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

**8**

votes

**2**answers

167 views

### Quantum Hamiltonian for an Inverse Cube Force Law

If you have a nonrelativistic quantum particle in $\mathbb{R}^3$ in an attractive inverse cube force, its Hamiltonian is
$$ H = -\nabla^2 - \frac{c}{r^2} $$
where I'm keeping things simple by ...

**-3**

votes

**0**answers

39 views

### How to find $B$ by solving the following linear system: $s_k$ $B$ ${s_k}^T$ $=1,$ [on hold]

How to find $B$ by solving the following linear system:
$s_k$ $B$ ${s_k}^T$ $=1,$ $\qquad$ for $k=1 ... ,p$.
Where $s_k$ is a $1\times3$ row_vector from the matrix
$S= [s_1 ... ...

**5**

votes

**0**answers

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