-3
votes
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
37answers
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
3answers
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
0answers
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
22answers
15k views

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

With which notation do you feel uncomfortable ?
58
votes
17answers
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
16answers
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
5answers
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
3answers
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
8answers
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
2answers
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
2answers
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
7answers
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
3answers
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
2answers
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
1answer
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
8answers
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
3answers
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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 ...

15 30 50 per page