-1
votes
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
2answers
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
2answers
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
2answers
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.

15 30 50 per page