# All Questions

**0**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**-1**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

14 views

### When is the Ad (Adjoint Representation) Morphism a Closed Map

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

**0**

votes

**1**answer

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?$

**2**

votes

**1**answer

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

**-3**

votes

**0**answers

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

**0**

votes

**0**answers

23 views

### Standard form for partitions of $Z_n$

Let $A$ and $B$ be partitions of $Z_n$. Suppose we say that $A$ and $B$ are equivalent if $A=Bx+y$ for some $x\in\{1, -1\}$ and $y\in Z_n$. In other words, two partitions are equivalent if one can be ...

**0**

votes

**0**answers

12 views

### Number of double cosets of a Young subgroup

Let $\lambda\vdash n$ be a partition of $n$ with $k$ parts and $S_\lambda$ be a Young subgroup of $S_n$.
Further let $S_\lambda\backslash S_n/ S_\lambda$ be the set of double-cosets. Now I would like ...

**0**

votes

**0**answers

15 views

### Strongly regular graphs with strongly regular edge colorings

Given a positive integer $c>1$, for what parameters $(v,k,\lambda,\mu)$ does there exist a $(v,c k, c \lambda, c \mu)$ (simple) strongly regular graph that can be given an edge coloring with $c$ ...

**0**

votes

**0**answers

32 views

### Probability of that the sum is even [on hold]

There are $2n$ letters which are randomly placed into $2n$ envelopes (each envelope can have only one letter). The letters and the envelopes are numbered from $1$ to $2n$. What is the probability that ...

**2**

votes

**0**answers

79 views

### Not too classical group characters

When teaching group theory, one has too speak of characters, which are morphisms $\chi:G\rightarrow k^\times$ into the multiplicative group of a field $k$ (mind that I don't mean representation ...

**2**

votes

**1**answer

51 views

### Characterization of a subset of [0,1] $III$

I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to ...

**0**

votes

**0**answers

24 views

### Number of possible wall positions in the game Quoridor

I'm trying to figure out how many possible board positions there are for the game Quoridor. I think sorting out the legal positions from the illegal positions will be difficult, so to start I'm trying ...

**1**

vote

**0**answers

51 views

### Dubins car shortest paths: Decidable?

A Dubins car follows a
Dubins path
in $\mathbb{R}^2$, with constant wheel speed and
limited turning radius.
It is known that the shortest Dubins path in the absence
of obstacles follows circular
arcs ...

**1**

vote

**0**answers

31 views

### Lifting a quadratic system to a non vanishing vector field on $S^{3}$

Let $P:S^{3}\to S^{2}$ be the Hopf fibration. For a vector field $X$ on $S^{2}$ there is a non vanishing vector field $\tilde{X}$ on $S^{3}$ such that $DP(\tilde{X})=X$. It is constructed in ...

**0**

votes

**0**answers

27 views

### Ordered statistics CDF

I have the following setup. There is a set $S = \{S_1, \ldots, S_N\}$ of $N$ sensors that are probed for readings (once). Each reading is an independent sample from one of the two distributions $r_i ...

**2**

votes

**0**answers

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

**0**

votes

**1**answer

24 views

### Maximum size of set of points with distance bounded from below

I am interesting in finding a reference for a result of the following type:
Suppose $D \subset \Bbb{R}^n$ is a bounded open set and $\delta>0$. Then the size $M$ of a family of points $F = ...

**3**

votes

**0**answers

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

**3**

votes

**1**answer

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

**5**

votes

**0**answers

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

**0**

votes

**0**answers

24 views

### Showing that a particular function from a locally compact Hausdorff group $ G $ to a $ C^{*} $-algebra $ A $ is Bochner-measurable

Suppose that we have the following data:
A $ C^{*} $-algebra $ A $.
A locally compact Hausdorff group $ G $.
A strongly Borel mapping $ \alpha: G \to \text{Aut}(A) $, the automorphism group of $ A ...

**1**

vote

**0**answers

11 views

### Mean and variance of a general multivariate skew normal distribution

I have a problem about a general multivariate skew normal distribution. There is a $p\times 1$ vector, $\mathbf{y}=(\mathbf{y}_1',\mathbf{y}_2',\ldots,\mathbf{y}_n')',p>n$, which has the density as
...

**4**

votes

**0**answers

245 views

### What is the *smallest* number used in a mathematical paper? [on hold]

Numbers such as Skewe's Number and Graham's Number and a few others are relatively well-known in mathematical folklore as being among the largest, if not the largest, numbers encountered in proper ...

**0**

votes

**0**answers

80 views

### A simple question in Hitchin's paper “The Geometry of Three-forms in Six Dimensions”

I am reading Hitchin's beautiful paper "The Geometry of Three-forms in Six Dimensions".
Everything goes smooth up to now except for a tiny problem in Section 6.2, which can be formulated as follows. ...

**3**

votes

**2**answers

146 views

### Classification of countable posets?

Is there a classification of countable posets where between each two comparable elements there is a third element between them?

**3**

votes

**1**answer

107 views

### A question about some notation involving the exclamation mark

What does the symbol ‘!’ signify? Is it $ \text{argmin} $? For example, $ \| A x - y \| = \min! $.

**-1**

votes

**0**answers

37 views

### Do the Hypersurfaces satisfy mean curvature $H$ is nonegative and $\langle F(p)-q_0,\nu(p)\rangle \geq 0$ are graphs? [on hold]

Let $F:M^n\to\mathbb{R}^{n+1}$ be the noncompact immersed hypersurface. Is the following ture? If the mean curvature $H$ is nonegative and there exists an fixed vector $q_0$ such that $\langle ...

**0**

votes

**0**answers

26 views

### Help in finding the probability density function

This may seem trivial but I will appreciate help in determining the functional form of the probability density function (pdf) for the following case. Will highly appreciate some guidelines on how to ...

**8**

votes

**2**answers

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

**6**

votes

**2**answers

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

**0**

votes

**1**answer

56 views

### Ways to order an algebraic extension

In following post, I describe the "classical" example of $\mathbb{Q}(\sqrt{2})$ that can be ordered in two distinct ways.
More generally, if $(k,P)$ is an ordered field, $R$ a real closure of $(k,P)$ ...

**0**

votes

**0**answers

32 views

### Left invariant connection on Lie groups

Let $M^n$ be a Riemannian manifold, $G^{n + k}, \: k\geq 1 $ be a connected Lie group equipped with a left invariant metric and $f:M^n \to G^{n + k}$ one isometric immersion. Let $X, Y$ left invariant ...

**1**

vote

**0**answers

122 views

### Smooth and $GL(n)$-equivariant implies algebraic?

Context: Let $B_n$ be the space of symmetric bilinear forms on $\mathbb{R}^n$ and $L_n\subset B_n$ be the subset of non-degenerate forms of Lorentzian signature $(-,+,\ldots,+)$. Let $T$ be a finite ...

**0**

votes

**0**answers

118 views

### The Diophantine equation $x^2 = y^3 + 7$ [on hold]

It is quite easy to prove that the equation $x^2 = y^3 + 7$ has no integer solutions. It is supposed to be the case that this doesn't have any rational solutions, but the methods applied for the ...

**0**

votes

**0**answers

44 views

### Bounded operators with infinite matrix representations

I asked this question on StackExchange originally, but I'm giving it a go here as well.
Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and ...

**2**

votes

**0**answers

54 views

### Cesaro summation of a particular Dirichlet series on the abscissae of convergence

If you've investigated the error in Perron's formula, you've probably noticed that Cesaro summation $$\lim_{x\rightarrow\infty}\sum_{n\leq x} \left(1-\frac{\log n}{\log x}\right)\frac{a_n}{n^s}$$ ...

**0**

votes

**0**answers

30 views

### $\eta(s)$ expressed as an 'alternating' sum of Hurwitz Zetas. Why does it only work for sums with an even number of terms?

It is known that:
$$\zeta(s)= a^{-s}\,\sum_{k=1}^{a} \zeta_H\left(s,\frac{k}{a}\right)$$
is valid for all $a \in \mathbb{N}$ and all $s \in \mathbb{C}\,/1$, with $\zeta_H$ being the Hurwitz zeta ...

**2**

votes

**0**answers

82 views

### Anti-arithmetic product of symmetric functions: (why) is it integral?

This is an analogue of MathOverflow question #138148. Indeed it is so analogous that I wrote the following by copypasting said question and making the necessary changes.
For every commutative ring ...

**6**

votes

**6**answers

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

**0**

votes

**0**answers

26 views

### Fixed Point Algebras of Adjoint Actions of Banach Lie groups

I have the following question:
Let a be an element in a connected Banach Lie group G (over K, where K is the reals or the complex numbers).
We assume that G is not trivial, that has more than one ...

**0**

votes

**1**answer

37 views

### A full dim. subvector space of $\chi^{\infty}(M)$ which all non zero elements are nonvanishing vec.field

What is an example of a $n$ dimensional manifold $M$ which is not a lie group or $S^{7}$ but satisfies the following property?:
There is an $n$ dimensional sub vector space ...

**4**

votes

**0**answers

47 views

### computing the nonnegative part of a $\mathbb{Z}$-graded ring

Let $R = \bigoplus_{n \in \mathbb{Z}} R_n$ be a $\mathbb{Z}$-graded commutative ring with nonnegative part $R^+ = \bigoplus_{n \geq 0} R_n$ and nonpositive part $R^- = \bigoplus_{n \geq 0} R_{-n}$. By ...

**6**

votes

**0**answers

79 views

### Closure of random rotations

Are matrix Fisher random variables closed under multiplication?
For those unfamiliar with the jargon, let me unpack the terms above and repose my question.
This is a question about probability ...

**5**

votes

**2**answers

165 views

### A. Markov's papers?

A. Markov published several papers on his chains, starting in 1906, so it is written, in the journal:
(1) Извѣстія Физико-математического общества при Казанском университете
I am surprised by the ...