**1**

vote

**0**answers

90 views

### Reference request: Ebin

I'm after the paper The manifold of Riemanian metrics by D. Ebin. A link to the reference is:
http://www.ams.org/mathscinet-getitem?mr=0267604
The paper seems to be very hard to track down. Can ...

**0**

votes

**0**answers

17 views

### convex optimization [migrated]

Attached below is a convex problem. I just start learning this and is kind of confused of this question. I notice that the dom of W is convex, tr(WQ) is convex, the composition of convex functions ...

**0**

votes

**0**answers

56 views

### Properties of a specific antichain of a lattice formed by the cartesian product of finite ordered sets

Introduction
Let $X$ be a poset of all $n$-tuples, $x = (x_1, x_2, ..., x_n)$, where $0 \leq x_i \leq m_i - 1$ for $i = 1, ..., n$ together with the relation $x \prec y$ defined so that for ...

**3**

votes

**2**answers

189 views

### Connectedness of moduli of vector bundles

Let $X$ be a smooth projective variety. Given two vector bundles $V_1$ and $V_2$ such that $[V_1]=[V_2]\in K^0(X)$, can one expect that $V_1$ and $V_2$ can be connected by a family of vector bundles? ...

**12**

votes

**2**answers

347 views

### Are there open problems for primes which are known for probable primes?

Define "probable prime" (PP) to be natural $n>1$ satisfying $2^{n-1} \equiv 1 \pmod{n}$ or $n=2$.
Probable primes are the union of the primes and base two pseudoprimes.
This definition is much ...

**4**

votes

**0**answers

68 views

### Undecidability of the existential theory

Do you know if I can find the proof that the existential theory of $\mathbb{Z}$ with the structure of addition , divisibility and the relation $(\exists s \in \mathbb{Z})m=np^s$ is undecidable, ...

**0**

votes

**1**answer

74 views

### Counting number of primorial factors

Denote $$P(n)=\prod_{p\in\mathsf{Primes}\leq n}p$$ signifying $n^{\mbox{th}}$ primorial.
We know that $P(n)$ has approximately $n/\log2$ bits ...

**14**

votes

**2**answers

399 views

### Number of distinct factors

Denote $\omega(m)$ to be number of distinct factors of $m$ as defined in http://mathworld.wolfram.com/DistinctPrimeFactors.html.
At every $c>0$, given $n\in\Bbb N$ define $$S(n,c)=\big\{m\in\Bbb ...

**11**

votes

**3**answers

584 views

### Tangent space of Hilbert scheme

We have the following theorem:
Let $X$ be a projective scheme over an algebraically closed field $k$, and $Y \subset X$ a closed subscheme with Hilbert polynomial $P$. Then$$T_{[Y]}\text{Hilb}_P (X) ...

**2**

votes

**1**answer

33 views

### Bounding the difference in the value of a strongly convex function at its integer minimum and other integer points

I am currently working on a problem where I have to minimize a $m$-strongly convex function
$$f ~: ~\mathbb{R}^n \rightarrow \mathbb{R}^+$$
over a bounded integer lattice,
$$L = \mathbb{Z}^n \cap ...

**4**

votes

**1**answer

134 views

### Current status of the linearity of mapping class group

In the paper A faithful linear-categorical action of the mapping class group of a surface with boundary it is claimed that it was (as of 2014) still unknown that mapping class group is linear, but the ...

**-3**

votes

**0**answers

15 views

### Coming up with a function or a single graph, given its characteristics (pre-calculus) [on hold]

Give an example of a function or a single graph which has the following characteristics:
(a) Hole at (3,-1).
...

**1**

vote

**0**answers

59 views

### Representing trigonometric functions in a form of rational functions

Here I introduced a non-Archimedean numerical system in which the real numbers are extended by elements $\omega_-$, $\tau=\omega_-+1/2$, $\omega_+=\omega_-+1$ in such a way that standard parts of ...

**3**

votes

**0**answers

29 views

### “Spherelike” embedding for smooth Fano polytope

Let $\mathbb{R}^n$ be a vector space with Euclidean inner product and $\mathbb{Z}^n \subset \mathbb{R}^n$ be a lattice. Let $P$ be a full dimension convex lattice polytope in $\mathbb{R}^n$ containing ...

**2**

votes

**0**answers

54 views

### Positive existential theory of $(\mathbb{Z}; +, |_n)$

I am reading a paper and there is the following theorem:
Let $n$ be a fixed integer, and $n >1$.
Denote divisibility in $\mathbb{Z}[\frac{1}{n}]$ by $|_n$, thus for
all $x, y \in ...

**2**

votes

**0**answers

50 views

### Polynomials with positive coefficients passing through fixed points/range of Vandermonde matrices

I'll give two equivalent statements of the setup, then give my questions.
Fix integers $M \leq N$ and define the Vandermonde-like matrix $V_{M,N}[i,j] = (1 - \frac{i}{M})^{j-1}$ for $i \in ...

**2**

votes

**0**answers

43 views

### Questions about holomorphy and zeros of the symmetric power $L$-function

Let $f$ be a primitive form of an even weight $k$ for the full modular group and let $L(Sym^rf,s)$ be the symmetric $r$th $(r\geq 2)$ power $L$-function associated to $f.$ I have three questions ...

**1**

vote

**0**answers

48 views

### What is the Segre class of a generating line of a cone

Suppose $U=\textrm{Proj}\ k[X,Y,Z,W]/(XY-Z^2)$ is the projective closure of an affine cone, let $V$ be a generating line of the cone $V=V(Y,Z)$, how do we calculate the Segre class $s(V,U)$?
(We can ...

**-4**

votes

**0**answers

106 views

### Are polls good approximations [on hold]

Let $X$ be a finite set and $A\subseteq X$ and $m$ be a natural number satisfying $m\le |X|$ and $\epsilon$ be a small positive number.
I'm interested to know if one selects a random $Y\subseteq X$ ...

**0**

votes

**0**answers

21 views

### Quantification of the extent of periodicity in a time series using fractal analyses

I need metrics to quantify and compare the extent of periodicity between any two given time series, considering the time series were "almost periodic". By "almost periodic" I mean: if I were to take ...

**38**

votes

**1**answer

975 views

### Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...

**-4**

votes

**0**answers

32 views

### Multivariate Calculus: Switching the Order of Integration [on hold]

This is confusing the heck out of me... I am asked to switch the order of integration of the following function:
$$
\int_{0}^{1} \int_{0}^{1-x} \int_{0}^{x+y} f[x,y,z] dz dy dx
$$
The order of ...

**0**

votes

**0**answers

75 views

### Chern classes of ideal sheaf of locally complete intersection

Let $C\varsubsetneq X$ be a reducible locally complete intersection closed pure $1$-dimensional subscheme in a smooth projective variety of dimension $3$ over a algebraically closed field $k$ of ...

**1**

vote

**0**answers

100 views

### Is this permutation-sum problem NP-complete? [migrated]

A new, tighter tardiness bound has been found for global Earliest-Deadline-First scheduling of jobs on symmetric multiprocessors. But this bound seems to be particularly hard to compute. In ...

**5**

votes

**0**answers

96 views

### How “small” can an ordinal be made by forcing?

I know that forcing essentially does not change the ordinals, but by small I mean in comparison with other ordinals whose definition might not be stable under forcing, like the smallest uncountable ...

**4**

votes

**1**answer

87 views

### unordered configuration space over spheres and Euclidean spaces

For a topological space $X$, let $B(X,k)$ be the $k$-th unordered configuration space. Then
$$
B(\mathbb{R}^n,2)\simeq \mathbb{R}P^{n-1},
$$
$$
B(S^n,2)\simeq \mathbb{R}P^n.
$$
Hence
$
(*)
$
$$
...

**2**

votes

**0**answers

66 views

### cohomology ring of base-point-preserving maps on the 3-sphere

I find that $\text{Map}_*(S^3;S^3)=\Omega^3S^3$. I want to find the cohomology ring of $H^*(\Omega^3S^3;\mathbb{Z}_2)$.
In the paper On configuration spaces, their homology, and Lie groups, I find ...

**5**

votes

**2**answers

53 views

### convert a special case of nonlinear fractional programming into a convex problem

Is it possible to convert a fractional problem (maximization) with objective function equal to the ratio of a concave function and convex function ? This question sound impossible but I have read this ...

**5**

votes

**1**answer

54 views

### Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints?
$x_1+x_2+...+x_n = 1$
$a_1 \le x_1 \le b_1$
$a_2 \le x_2 \le b_2$
$...$
$a_n \le ...

**-3**

votes

**0**answers

63 views

### Eigenvalues of a random matrix [on hold]

For test cases i generated a random real uniform distributed matrix with
entries from the intervall $[0,1]$.
Here is the MATLAB Code i used
...

**93**

votes

**16**answers

22k views

### Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...

**3**

votes

**0**answers

155 views

### Probability that an integer contains no $1\bmod 4$ prime factor

$n$ represents integer variable.
What is the probability that and integer contains at most $r(n)$ prime factors of form $1\bmod 4$ where $r(n)$ is a function of $\omega(n)$ (number of distinct prime ...

**-2**

votes

**0**answers

87 views

### Fundamental Group of SL_2 [on hold]

I am thinking whether there is a simple criterion or visible method to know the fundamental group of SL_2(R), or SL_2(F) with an arbitrary field F.
Because SL_2(R) is already a 3-dimensional ...

**4**

votes

**2**answers

148 views

### Relationship between $H_*(X, A)$ and $H_*(Y \cup_f X, Y)$? $\pi_*(X, A)$ and $\pi_*(Y \cup_f X, Y)$?

Let $A$ be a subcomplex of a CW complex $X$, let $Y$ be a CW complex, and let $f: A \to Y$ be a cellular map. What is the relationship between $H_*(X, A)$ and $H_*(Y \cup_f X, Y)$? Is there a similar ...

**3**

votes

**1**answer

102 views

### Anosov representations and boundaries of (harmonic) maps

Let $\Sigma_g$ be a closed hyperbolic surface and $\rho\colon\pi_1\Sigma_g\to G$ an Anosov representation into a suitable Lie group. By definition of Anosovness, one has a $\rho$-equivariant ...

**-3**

votes

**0**answers

38 views

### eigenvalues of cycle and its complement [on hold]

I am trying to find the eigenvalue of cycle graph and its complement. How to simplify.Suppose $\omega^{1}+\omega^{n-1}=2cos (2\pi/n) $, then, $\omega^{\frac{n-1}{2}}+\omega^{\frac{n+1}{2}}=?$ Is it ...

**4**

votes

**1**answer

138 views

### Laplace-Beltrami and averaging

For a Riemannian manifold $M$ with metric $g$ and Laplace-Beltrami operator $-\Delta_{g}$, what conditions on $M$ guarantee that $-\Delta_{g} u(x)$ measures the difference between $u(x)$ and the ...

**3**

votes

**0**answers

181 views

### Conjectured new primality test for Mersenne numbers

How to prove that this conjecture about a new primality test for Mersenne numbers is true ?
Definition: Let $M_{q}=2^{q}-1 , S_{0} = 3^{2} + 1/3^{2} , \ and: \ S_{i+1} = S_{i}^{2}-2 \pmod{M_{q}}$
...

**0**

votes

**1**answer

34 views

### floating point representation via the perspective of TTE/computable analysis

Floating point numbers are not compatible with the usual theory of type 2 theory of effectivity (TTE), and not even the real-RAM model; there are functions that are computable in one model but not ...

**2**

votes

**2**answers

134 views

### Counting number of $2\times 2$ unimodular matrices of particular type

From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form?
\begin{bmatrix}
a^2 ...

**5**

votes

**3**answers

138 views

### Probability of random geodesics on the half-sphere intersecting

4 end points (a,b,c,d say) are chosen uniformly randomly and connected a to b and c to d by two geodesics on the 2-dim half-sphere. Here, uniform means that, probability that a point lies on a surface ...

**-1**

votes

**0**answers

33 views

### Obtaining z-transform of a multivariate nonlinear difference equation [on hold]

I need to obtain the z-transform of difference equations that are as follows:
My problem however is multivariate and looks like this:
x[k+1]=ay[k]+ ((x[k])^2)(y[k]) ...

**10**

votes

**1**answer

90 views

### Commuting ODE's implies existence of nonzero vanishing two variable polynomial?

Write $\partial := d/dt$, fix $m, n > 0$, and let$$F = \partial^n + f_1(t)\partial^{n-1} + \dots + f_{n-1}\partial + f_0,\text{ }G:= \partial^m + g_1(t)\partial^{m-1} + \dots + g_{m-1}\partial + ...

**9**

votes

**1**answer

106 views

### What are some useful invariants for distinguishing between random graph models?

Quite a few probabilistic algorithms for generating random graphs exist in the literature, such as:
The Erdos-Renyi model
The Stochastic Block model
The Watts-Strogatz model
The Barabasi-Alber model
...

**4**

votes

**1**answer

115 views

### Parametrized Atiyah-Singer index theorem

Let $M$ be any smooth manifold (could be unorientable - I think). Let $E,F \to M$ be two complex vector bundles. Let $S$ be any compact space, and let $D_s:E\to F,s\in S$ be a continuous family ...

**27**

votes

**5**answers

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

**11**

votes

**1**answer

645 views

### A problem in elementary geometry

Let us have a triangle ABC in the Cartesian plane and consider the following transformation of this triangle:
On the ray AB starting at A, select a point B' so that so that |AB'|=|AC|. Likewise,
...

**1**

vote

**1**answer

97 views

### Need an explanation of a deduction

When I was reading the paper of Winfried Kohnen, Yuk-Kam Lau and Igore E. Shparlinski (ON THE NUMBER OF SIGN CHANGES OF HECKE EIGENVALUES OF NEWFORMS), I found this result (which is Theorem 2 of the ...

**8**

votes

**1**answer

814 views

### Remark on Fermat's Last Theorem by Darmon, Diamond and Taylor

In their paper, Darmon, Diamond and Taylor remarked the following :
(the previous paragraph of Section 2.2 (p. 55), https://www.math.wisc.edu/~boston/ddt.pdf)
If $\rho : G \rightarrow ...

**4**

votes

**1**answer

111 views

### Kan extensions of pseudofunctors

Can anyone suggest a reference for (left) Kan extensions of pseudofunctors?
In particular, say we are given bicategories $\mathscr{A,B,C}$ and pseudo functors $\mathscr A \xrightarrow{G} \mathscr ...