# All Questions

**-1**

votes

**0**answers

25 views

### what is the best algorithm complexity known for finding a p.s.d symmetric matrix eigenvalues? and eigenvectors? [closed]

I dont know if I can ask this question here or not, if I should delete it tell me:(
what is the best algorithm complexity known for finding a p.s.d symmetric matrix eigenvalues? and eigenvectors?

**4**

votes

**1**answer

165 views

### To what extent are homotopy colimits over a weakly contractible category “determined by local data”?

[I'd be very happy for a better question title, if anyone has any suggestions.]
I have a category $C$, two functors $F,G : C \to \mbox{Cat}$, a natural transformation $\alpha : F \to G$, and a ...

**1**

vote

**0**answers

97 views

### when can I say that $UV^T$ is a permutation matrix? [on hold]

suppose we have two p.s.d matrices A and B: so we can diagonalize them like this:
A= $UΛU^T$ and $B=VΣV^T$
1: on what condition for $A$ and $B$ I can say that $UV^T$ is a permutation matrix?
2: how ...

**2**

votes

**0**answers

74 views

### Pre-Order induced by continuous functions

I'm an newbie in category theory, but I want use it to solve a pre-order question I encountered in my research:
Let $X$ be a convex&compact subset of $\mathbb{R}^n$. $f,g: X \rightarrow [0,1]$ ...

**1**

vote

**2**answers

150 views

### Generalization of Bracketing (or one of its many equivalences)

I asked the following question on MathStackExchange, but I have not received any answers after almost 3 days. Although it may not be a research level question, I thought I could ask it here.
*"Is ...

**-2**

votes

**0**answers

145 views

### Why the definition of continuity is not reversed? [closed]

I am wondering why continuity is not defined in the reverse order. Take the definition of continuity in topology for example, its definition is defined as:
mapping of a topological space $(X, T_X)$ ...

**11**

votes

**2**answers

277 views

### What is the number of equitriangulations of the n-cube?

I wonder if this question has been considered before and if anything is known. My search attempts have failed so far.
Let's consider the n-dimesnional cube, $[0,1]^n$, and let's call a simplex with ...

**2**

votes

**0**answers

57 views

### The definition of $W_0^{1,\infty}$

I know how to define $W_0^{1,p}(\Omega)$, $\Omega\subset R^N$ open bounded smooth boundary, for any $1\leq p<\infty$. However, for definition of $W_0^{1,\infty}(\Omega)$, I always confused. ...

**-5**

votes

**0**answers

53 views

### $\lim_{x \rightarrow \infty} (x f(x)-p^2(x^p/(1+xf'(x)/f(x))$ [closed]

$$\lim_{x \rightarrow \infty} (x f(x)-p^2(x^p/(1+xf'(x)/f(x)),$$
where $f(x)=(x^{q-1}\exp(-x^p))/(\int_{x}^{\infty} t^{q-1}\exp(-t^p) dt)$?
and we that $\lim_{x \rightarrow \infty}xf'(x)/f(x)=p-1, ...

**2**

votes

**0**answers

119 views

### Good Pre-Calculus book? [closed]

I was reading this article and the author mentioned I should come here and get some advice. I'm 17, currently taking Pre-Calc in high schooling doing really good, but I feel like I'm not getting the ...

**0**

votes

**0**answers

35 views

### Interpolating (tangent)vectors on a sphere [closed]

I have a sphere and select an arbitrary number tangent vectors on the surface. How would I go about creating a smooth interpolation between these points, while making sure that all resulting vectors ...

**5**

votes

**0**answers

134 views

### Operator arithmetic-harmonic mean inequality with operator-valued weights

Let $\Lambda_1,\dots,\Lambda_n$ be strictly positive definite operators in the Euclidean space $\mathbb{R}^d$. By an operator arithmetic-harmonic mean inequality with weights $\Lambda_i$ I mean the ...

**0**

votes

**0**answers

125 views

### On a paper by Yoneda [closed]

The reason why I asked this previous question was gathering some informations for the note on coend calculus I've just (almost) finished.
Unfortunately, I'm still unable to retrieve the original ...

**2**

votes

**0**answers

46 views

### Remainders in compactifications of completely metrizable spaces

Given a Tychonoff (topological) space $X$, we know that $X$ admits a Hausdorff compactification $cX$. We say the remainder of $X$ in this compactification is $rX=cX\setminus X$. One natural question, ...

**10**

votes

**2**answers

392 views

+50

### Conjecture on maximum of symmetric combinatoric function

A curious symmetric function crossed my way in some quantum mechanics calculations, and I'm interested its maximum value (for which I do have a conjecture).
(The question was first asked at math.SE, ...

**2**

votes

**2**answers

235 views

### Push-forward of a quasi-coherent graded algebra under a proper map

Let $f\colon X \rightarrow Y$ be a proper morphism with $Y$ Noetherian (and even affine, if you wish), and let $\mathscr{A} = \bigoplus_{n \ge 0} \mathscr{A}_n$ be a quasi-coherent graded ...

**-2**

votes

**2**answers

161 views

### Time estimate to determine if a number is prime [closed]

How long does it take to verify that a given number is a prime number, as a function of its number of digits, in a personal computer, say? How computationally hard is this?

**0**

votes

**0**answers

32 views

### Existence to an advection equation with constraints

Let $f: \mathbb R^n \to \mathbb R^n$ be a sufficiently smooth vector field and let $h: \mathbb R^n \to \mathbb R$ a scalar field. We consider the following advection equation
...

**-5**

votes

**0**answers

112 views

### personal relationships [closed]

I'm curious to know the personal and professional relations between Jean -Pierre Serre and Serge Lang as the two were towering figures and exact contemporaries in the 20 th century. Was ever there ...

**2**

votes

**1**answer

174 views

### Fourier transform of $sin(\frac{1}{x})$ for $x > 0 (x > 1)$

Please, give me the cue: does exist analytical representation of Fourier Transform of $sin(\frac{1}{x})$ for$ x>0$ (or $x>1$). Maybe exist an approximation of $FT(sin(\frac{1}{x}))$ by Bessel ...

**2**

votes

**2**answers

108 views

### Dilatation of surface diffeomorphisms

Let $S$ be a higher genus surface, let $f\colon S\to S$ be a diffeomorphism and let $f_*\colon H_1(M)\to H_1(M)$ be the induced homology automorphism.
Define dilatation of $f_*$ as the largest ...

**-4**

votes

**0**answers

176 views

### Riemann Hypothesis and the Maximum Principle [closed]

Thinking about the issue of zeros not lying on the critical line $\Re(s) = \frac{1}{2}, \: s = \sigma + i t$, this would imply (by the analycity of the zeta function on $\mathbb{C}$) that $\zeta(s)$ ...

**1**

vote

**1**answer

123 views

### Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...

**3**

votes

**0**answers

229 views

### On a positivity property of Hall-Littlewood polynomials

Here's the new, more thought through version.
Consider a sequence of nonnegative integers $\lambda=(\lambda_1,\ldots,\lambda_n)$ with $\lambda_i\ge \lambda_{i+1}+2$ (the weight $\lambda-2\rho$ is ...

**-1**

votes

**0**answers

167 views

### Please help me to find a paper by J. Wu [closed]

I am looking for the following paper:
J. Wu, Combinatorial descriptions of the homotopy groups of certain
spaces, Math. Proc. Camb. Philos. Soc. 130 (2001), 489-513.
Many thanks for helping me ...

**1**

vote

**0**answers

75 views

### How to show that two linear combinations of Bernoulli random variables have jointly Gaussian distribution (and more)

Let $X_1,\ldots,X_n$ be independent Bernoulli random variables such that $\mathbb{P}(X_i=\pm 1)=1/2$ and consider two collections of real numbers $a_1,\ldots,a_n, b_1,\ldots, b_n$. For the moment let ...

**0**

votes

**1**answer

140 views

### Codimension in zero and positive characteristic

Let $F_0,\ldots,F_m\in\mathbb{Z}[x_0,\ldots,x_n]$ be polynomials with integer coefficients and let $p$ be a prime integer. Consider the two ideals: $$I_0:=(F_0,\ldots,F_m)\subset ...

**3**

votes

**1**answer

71 views

### Classification of spherical polygons

I need some sort of classification (up to isometry) of spherical polygons (i.e. polygons in $\mathbb{S}^2$ whose edges are given by geodesics) subject to the interior angles and the perimeter of the ...

**-1**

votes

**0**answers

123 views

### Introductory text to mathematics using type theory [closed]

[Beware: I'm using the nouns/concepts here quite loosely because I am searching for an introductory book on this issue.]
As it turns out a set is an umbrella term for (at least) two concepts:
A set ...

**0**

votes

**0**answers

116 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**1**

vote

**0**answers

49 views

### Is there an elliptic Harnack equality for directed graphs?

The elliptic Harnack inequality for undirected graphs was proven by Delmotte in the paper "Inegalite de Harnack elliptique sur les graphes" (French, ...

**1**

vote

**0**answers

45 views

### limit distribution of multinomial distribution with increasing categories

If $\bf{X} \sim \text{multi}(n,p)$ with $k$ categories, we know
$$ \sqrt{n}\left( \frac{\bf{X}}{n} - \bf{p} \right) \rightarrow^D N(0,\Sigma),$$
where $\bf{X}=(X_1,\ldots,X_k)^T$ and ...

**2**

votes

**0**answers

109 views

### Classify spaces that make extension theorems hold

Recall a Polish space is a completely metrizable separable space.
Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...

**4**

votes

**0**answers

42 views

### topological spaces admitting CAT(1) metrics

Suppose that $X$ is a locally contractible completely metrizable topological space. Is it true that $X$ can be metrized as a (complete) CAT(1) metric space?
The only result in this direction I know ...

**11**

votes

**1**answer

471 views

### Is there a known primitive recursive upper bound on the nth “Zhang prime”

(This question is pure curiosity. Feel free to close it if you feel it is not appropriate for mathoverflow.)
In 2013 Zhang showed that there are infinitely many pairs of primes which are less that ...

**4**

votes

**1**answer

89 views

### Determining the number of hamiltonian paths of $K_n-C_n$

I would like to know information regarding the function $h(n)$ where $h(n)$ is the number of hamiltonian cycles the graph $K_n$ has after removing the edges that make up a hamiltonian cycle of $K_n$. ...

**-2**

votes

**1**answer

133 views

### A question regarding $ZFC^{-}$

Given $ZFC^{-}$, that is, ZFC-Powerset-Replacement+Collection, are there a set of alternative axioms $X$ (other than the trivial ones, namely, Powerset and Replacement) that, when added to $ZFC^{-}$, ...

**9**

votes

**1**answer

175 views

### Strongest large cardinal axiom compatible with $V = L$?

What is the strongest known natural large cardinal axiom compatible with $V = L$ (strongest in the sense that it implies all known "small" large cardinal axioms, where a large cardinal axiom is said ...

**8**

votes

**0**answers

152 views

### Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...

**3**

votes

**1**answer

121 views

### Non-closed geodesics on a convex polyhedron in $\mathbb{R}^3$

Let $P$ be the surface of a closed convex polyhedron in $\mathbb{R}^3$.
Q. Does every non-closed geodesic $\gamma$ fill $P$ densely?
Of course $\gamma$ cannot pass through a vertex of $P$, but ...

**3**

votes

**0**answers

62 views

### Moments of random special unitary matrices

This should be both well-known and probably easy, but I was wondering if the following is known (and, if so, how to easily calculate the thing or where to read about how to calculate it):
what is ...

**1**

vote

**0**answers

25 views

### Inverse of the covariance of the estimate of a covariance

I have a covariance matrix, $V_{ij}$, which (for reasons that aren't important) I'm going to call the visibilities. I have an estimator for the visibilities $\hat V_{ij}$, and I've derived that the ...

**5**

votes

**0**answers

181 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...

**0**

votes

**1**answer

107 views

### Lowering from filters to ultrafilters for an infinitary relation

Let $U$ be a set. Let $N$ be a (possibly infinite) index set. Let $f$ be an $N$-ary relation on $U$ (that is $f$ is a set of functions $N\rightarrow U$).
I denote $\mathcal{L}\in \upuparrows f ...

**1**

vote

**1**answer

106 views

### finding permutation matrix I which minimizes TRACE( I* C*( I^T)* D) matrix

I have a problem that is really important for my thesis and i am not studding math so i will be very glad if you help me in this case...
thanks for your help in advance
I want to find permutation ...

**2**

votes

**2**answers

182 views

### Equations for points to lie on a rational normal curve

$\def\PP{\mathbb{P}}$Let $z_1$, $z_2$, ..., $z_n$ be points in $\PP^{k-1}$. I am interested in equations for when the $z_i$ lie on a rational normal curve (or degeneration thereof.)
Specifically, ...

**0**

votes

**1**answer

62 views

### Functions with special separability

Suppose we have differentiable functions $F$, $f_1, \dots, f_n$, and $g_1, \dots, g_n$ satisfy the following relation
$$ F(x+y) = \sum_{i=1}^n f_i(x) g_i(y).$$
What are the possible forms of $F$?

**1**

vote

**0**answers

106 views

### Minimal Length of Quadratic Forms

Let $Q(x_1,\dots,x_n)=X'PX$ be a quadratic form with all non-negative and integral coefficients given by $$Q(x_1,\dots,x_n)=\sum_{i=1}^cf_i^+(x_1,\dots,x_n)g_i^+(x_1,\dots,x_n)$$ where $c$ is the ...

**-3**

votes

**0**answers

89 views

### Camel up Board game probability problem [closed]

There is this game called "Camel Up" which is basically about betting on camels.
I wanted to calculate probabilities that every camel has to end up 1st after 1 turn AND probability that every camel ...

**0**

votes

**2**answers

81 views

### Book and Papers for properties of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

I am looking for reference books and research articles which cover analysis of uniformly convex and locally uniformly convex and strictly convex Banach spaces.