# All Questions

34 views

### Can this simple integral be zero for a Jordan curve?

The following simple problem came up while doing some unrelated research. Does there exist a Jordan curve $\gamma : [0,2\pi] \to \mathbb{C}$ of positive orientation, lets say $C^1$-smooth (just to ...
4 views

### Is $[u_1,u_2]$ an edge of the polytope $conv(F)$?

Here's the problem. I have a finite set of vectors $F \subset \mathbb{Z}_{\geq 0}^d$. I define $P$ to be the convex polytope $conv(F)$ i.e. the convex hull of $F$. Given $u_1, u_2 \in F$, is the ...
11 views

### Modular polynomials for elliptic curves point counting

The Schoof-Elkies-Atkin (SEA) algorithm (for counting points on elliptic curves over a finite field) performs computations over polynomials modulo some modular polynomials. Originally the "classical" ...
34 views

### Is there an integral point in the group generated by an rational point?

Let $E$ be an elliptic curve over rational field. Let $P=(a/d^2,b/d^3)\in E(\mathbb{Q})$ and $$G=\{P,2P,3P,4P,\cdots\}.$$ Is there an integral point $Q\in G?$
9 views

### On monotonicity of the roots of polynomials

I feel that the question that I am posting is not a general research level question but probably some special form of it where the behaviors of the roots of polynomials are studied. Here is my ...
16 views

### Colon ideal and Artin-Rees lemma

Let $a$ and $b$ be ideals of a Noetherian integral domain $R$. Prove that there exists a natural number $r$ such that $(a^n:b) = a^{n-r}(a^r:b)$ for $n > r$.
5 views

### Reference for holder estimate on parabolic equation with neumann boundary condition

I saw a type of holder estimate in Friedman's book: partial differential equations of parabolic type(page 200 3.24) as following: Suppose we have a uniformly parabolic equation with holder ...
4k views

### What is the most useful non-existing object of your field?

When many proofs by contradiction end with "we have built an object with such, such and such properties, which does not exist", it seems relevant to give this object a name, even though (in fact ...
245 views

### Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...
40 views

### Two Questions on $\pi(x)$

I have recently came to know about this conjecture. The questions that naturally came to my mind are, $\forall$ $x,y \geq2$ and $x,y \in \mathbb{N}$ prove that $\pi(x) \pi(y)\geq \pi(xy)$ ...
96 views

### explicit characterization of the stochastic integrand

Let $V$ be a cadlag positive supermartingale with the following decomposition: $$V_t=V_0+\int_0^tH_sdX_s-K_t$$ where $X$ is a cadlag local martingale and $K$ is an adapted increasing process with ...
2k views

### Why have mathematicians used differential equations to model nature instead of difference equations

Ever since Newton invented Calculus, mathematicians have been using differential equations to model natural phenomena. And they have been very successful in doing such. Yet, they could have been just ...
34 views

### Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question: Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification $$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$ between the space of symmetric order ...
234 views

### A particular specialization of symmetric polynomials: is it bijective?

Let $\Lambda^d_n$ the space of symmetric polynomials in $n$ variables, with maximum 'partial degree' of each variable $d$. A basis for this space is the set of symmetrized monomials $m_\lambda$, where ...
14 views

Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...
672 views

### (Very) High dimensional manifolds

Usually one regards manifolds up to dimension 4 as a part of low dimensional topology. There are plenty of various results which work only in low dimensional topology; especially in dimension 4. ...
46 views

### Explicit non observability example for the wave equation?

Is there a simple (one dimensional, radial, by separation of variable...) example of non observability for the linear wave for a non constant in space velocity, in a simple domain? By this I mean: ...
249 views

### Hausdorff group topologies on finitely generated groups

Suppose $G$ is a finitely generated Hausdorff topological group. Must $G$ be first countable (or perhaps a sequential space)? What if we restrict to the abelian case? I wonder if this is even true ...
41 views

### extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question): Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set ...
24 views

24 views

### Removable sets for simply connectedness of a differentiable manifold

I am sorry that my question might be stupid for experts, but I really do not know the answer. Let $M$ be a smooth $n$-manifold. We assume that there exists a distance $d$ on $M$ such that $(M,d)$ is ...
98 views

### Existence of partitions

Good morning everybody. I would like to know if anybody is aware of nontrivial results of the following form : if a family $\mathcal I$ of subsets of $\mathbb N$ satisfies such and such assumption, ...
223 views

### A problem related to connectivity of analytic functions

Let $f(z)\in A(\mathbb D)$, where $A(\mathbb D)$ is the space of analytic functions on the open unit disk $\mathbb D$ and continuous on $\overline{\mathbb D}$. Question: Is the connectivity of ...
193 views

Recently I was stumped by the calculation of the probability $$\mathbb{P} \big(\sum_{i=1}^{m} (A_i + S_i) \le L < \sum_{i=1}^{m+1} (A_i + S_i) \big)$$ where $A_i \sim \text{exp}(\lambda), S_i \sim ... 2answers 79 views ### Ising model on lattices with (vertical side length)$\neq$(horizontal side length) Consider the Ising model with nearest neighbours interactions on a rectangular lattice$L\times M$. If$L=M$($2$-dimensional square lattice), it is known (e.g., by Peierls' argument or Onsager's ... 0answers 118 views ### rings and modules theory [on hold] Let$R$be a ring in which every maximal ideal is a direct sum of cyclic$R$-module. Now let$I$be a proper ideal of$R$, what is the sructure of$I$. Is it true that$I$is direct sum of cyclic ... 1answer 260 views ### Normal generators of finite index subgroups in a free group Let$F=F(a,b)$be the free group of rank$2$. Question 1: Given any positive integer$d$, can one always find elements$u_j,v_j,w_j \in F$,$j=1,\dots,d$, such that if$1 \le j <k \le d$then the ... 0answers 46 views ### Can one detect smoothness of$k$-forms with$k$-dimensional manifolds Fix an integer$k\ge 1$. Let$X$be a smooth manifold. It is well-known, that a real valued function on$X$is smooth if its restriction along all smooth maps$M\to X$for manifolds of dimension$\le ...
What does the symbol ‘!’ signify? Is it $\text{argmin}$? For example, $\| A x - y \| = \min!$.