# All Questions

**1**

vote

**0**answers

49 views

### Beauville's Integrable System with singular spectral curves

Let us consider Beauville's Integrable System. So, we live on $\mathbb{P}^1$. There is the moduli space of matrices $M_r(d)/\mathrm{PGL}(r)$ with polynomial entries of degree less than or equal $d$. ...

**-1**

votes

**0**answers

82 views

### Normal subgroupoid? [on hold]

Is there a definition of normal groupoid?
For normal sub-quasi-group I found two:
The first one: a sub-quasi-group $H$ is called normal if there exists a normal congruence $\theta$ such that $H$ ...

**0**

votes

**0**answers

14 views

### K nearest neighbors estimation with a kernel

If I have a bunch of data points $x_1,\dots,x_n$, I can build a density function $f(x)$ based on these data points by defining $f(x) = c/d_k(x)$ for an appropriate constant $c$, where $d_k(x)$ is the ...

**1**

vote

**0**answers

66 views

### All relations among degree n monomials in n variables

In the course of my work, I have run into the problem of finding exactly all relations among degree $n$ monomials in $k[x_1,\dotsc,x_n]$, with specific interest in the case $n=3$ (e.g. $x_1^2 x_2 ...

**5**

votes

**2**answers

695 views

### Idea of using etale site

I have just read an article which mentions that, when Grothendieck considered using etale morphism, he did borrow the idea from Riemann that multivalued function on an open subset of complex plane ...

**0**

votes

**1**answer

38 views

### Convergence to equilibrium via gradient descent

J. B. Rosen proved that in concave games of n players (which assumes that Cartesian product of strategy profiles is convex) if the game satisfies the condition of diagonally strictly concave then ...

**0**

votes

**0**answers

54 views

### Proof of formula for dimension of moduli of stable vector bundles on smooth curves [migrated]

Let $C$ be a smooth curve of genus $g \ge 2$ over an algebraically closed field of positive characteristic. If I understand correctly, the dimension of the moduli space of vector bundles on $C$ of ...

**0**

votes

**1**answer

128 views

### Model over DVR for smooth projective curves

Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...

**0**

votes

**0**answers

179 views

### Getting back into advanced mathematics [on hold]

I hope that this is the correct forum to post my question on. I'm a 37 year old IT professional working in the Banking Sector who previously studied for a PhD in Computattional Fluid dynamics back in ...

**3**

votes

**0**answers

54 views

### Relation between linear independence of lattice vectors and the toric variety defined by that lattice

I have been reading some basic and elementary work on toric varieties, but even though people assured me that toric varieties are very well understood, several questions remained.
Setup. Let ...

**-1**

votes

**0**answers

13 views

### lower incomplete gamma function Holomorphic extension [on hold]

How to use repeated application of the recurrence relation for the lower incomplete gamma function to lead to the power series expansion?

**5**

votes

**0**answers

57 views

### $C^1$ regularity of harmonic functions on Riemannian manifolds

Consider a smooth, connected and complete Riemannian manifold $M$. It is well known that harmonic functions defined on some open subset of $M$ are $C^\infty$.
I'm interested in knowing whether there ...

**0**

votes

**0**answers

37 views

### 3D matching modification

Consider all instances of the $3D$ matching problem where all edges that intersect-intersect in "exactly" one vertex (1-edge intersection).
Consider all instances of the $3D$ matching problem where ...

**1**

vote

**0**answers

101 views

### Proof of Arnold-Liouville theorem in classical mechanics [on hold]

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point.
Especially, I am talking about the part that ...

**0**

votes

**0**answers

9 views

### The inter-request time distribution after aggregating some arrivals in the renewal process

This is a follow-up question of the question "Aggregate arrivals from a Poisson Process"
The inter-arrival time of a renewal process, $t$, conforms to a general distribution, denoted by PDF ...

**0**

votes

**0**answers

39 views

### Algebraic independence in normed spaces

A set of $n$ points in $\mathbb{R}^2$ is algebraically independent over $\mathbb{Q}$ if there is no polynomial dependency among the $2n$ coordinates.
A result (Lemma 3.3) from "Globally linked pairs ...

**1**

vote

**1**answer

92 views

### Expected size of determinant of $AA^T$ for non-square random $A$

If $A$ is chosen uniformly at random over all possible $m$ by $n$ (0,1)-matrices, what is the expected size of the absolute value of the determinant of $AA^T$. We can assume $m < n$ and all ...

**-2**

votes

**0**answers

172 views

### Question about Fermat's Last Theorem [on hold]

Is there a way to prove that having $x \gt 0, z \gt 0, n \gt 2$ with $x, z, n \in \mathbb{Z}$,
$$
\sum_{k = 0}^{n - 1}{\binom{n}{k} x ^k} = z ^ n
$$
have no solution without using Fermat's Last ...

**0**

votes

**0**answers

26 views

### A general method to integrate rational functions [on hold]

$\int\frac {x^3}{1+x^5}$
ATTEMPT:
I did the following substitution:
Let $x=\frac{1}{t}.$
$dx=\frac{-1}{t^2}dt.$
substituting back:
$I=\int\frac{-1}{1+t^5}dt$ which doesn't seems a simpler ...

**0**

votes

**0**answers

16 views

### On important functions relflecting spectral properties of Jacobi operators [migrated]

The spectral analysis of Jacobi (semi-infinite, tridiagonal) operators acting on $\ell^{2}(\mathbb{N})$ is deeply investigated. A crucial role is played by function $m$ which is usually known as Weyl ...

**2**

votes

**1**answer

175 views

+50

### Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...

**4**

votes

**1**answer

84 views

### Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...

**1**

vote

**2**answers

175 views

### Subsets of $\mathbb{N}$ whose lower density respects complements

The lower density of $A\subseteq\mathbb{N}$ is defined to be $\lambda(A)=\lim\text{inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}$. We set $${\cal C} = \{A\subseteq \mathbb{N}: ...

**10**

votes

**6**answers

844 views

### Algorithms for calculating R(5,5) and R(6,6)

Calculating the Ramsey numbers R(5,5) and R(6,6) is a notoriously difficult problem. Indeed Erdős once said:
Suppose aliens invade the earth and threaten to obliterate it in a year's time unless ...

**0**

votes

**0**answers

33 views

### Logic resolution and logic consequence [on hold]

Which of this are false?
a) If some formula H results from premises D, then H could be derived from D with using resolution (reapetedly) rule.
b) If some formula H results from premises D, then we ...

**12**

votes

**4**answers

654 views

### Determining if a matrix is orthogonal

Let g be an element of $GL_n(\mathbb C)$. We know that there are orthogonal groups $O(\beta)=\{X\in GL_n(\mathbb C) \mid X^t\beta X=\beta\}$ for any $\beta$, invertible symmetric matrix. Though these ...

**0**

votes

**0**answers

120 views

### If C is a closed, unbounded subset of Ord, are the sets generated by the new class of ordinals Ord restricted to C, a Universe?

Given any universe, and some closed unbounded subset of Ord, is it possible toy generate a universe in the following way:
Restrict Ord to a target club. Then generate all look the sets necessary to ...

**18**

votes

**2**answers

819 views

### History of Geometric Analogies in Number Theory

My question, put simply, is: When did mathematicians/number theorists begin viewing questions in number theory through a geometric lens?
For example, was it before Grothendieck introduced schemes to ...

**-1**

votes

**0**answers

26 views

### Fast Algorithm to compute the Discrete Fourier Transform with a constraint on the summation index

I really appreciate if anyone can help me with this problem.
Problem:
Let $W_n=e^{\frac{2\pi i}{N}}$ which is the $N$th root of unity. The backward Discrete Fourier Transform of a complex vector ...

**0**

votes

**1**answer

84 views

### A question about the Vandermonde determinant

We know that the Vandermonde determinant of order $n$ is the determinant defined as follows:
$$\begin{vmatrix}
1&x_1&x_1^2&\dots&x_1^{n-1}\\
...

**-3**

votes

**0**answers

38 views

### Mutual Information: How these two equations are equal? [on hold]

I'm a biologist trying to apply the Mutual Information (MI) to some RNA secondary structure. I know that there exists two MI equation that, mathematically, are equal:
$I(X,Y) = \sum_{x,y} p(x,y) ...

**-5**

votes

**0**answers

40 views

### What does b^(3x+1)×b^(2x−5) equal? [on hold]

I am taking a grade 12 math course and this question is really confusing me b^(3x+1)×b^(2x−5). The answer is b^(6x^2−13x−5). However since both the bases ("b") are the same, and they are being ...

**1**

vote

**0**answers

143 views

### Functors similar to $H^i(\cdot)$

Suppose $T$ is a contravariant functor from the category of pointed topological spaces to the category of abelian groups, then we have homomorphisms $\alpha\colon T(X)\times T(Y)\to T(X\times Y)$ and ...

**3**

votes

**1**answer

102 views

### group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281:
Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...

**2**

votes

**2**answers

192 views

### binomial/factorial identity mod p

In trying to determine the spectrum of a well-known ergodic transformation, I came up with the following useful (for me) result.
Let $p$ be a prime and $a$ a positive integer. Then for $M$ a positive ...

**0**

votes

**0**answers

20 views

### Weighted Perturbation Bound for Polar Decomposition

Setup: Let $X\in\mathbb{R}^{n\times r}$ be a matrix with orthogonal columns, with $\Sigma = X^TX$, and assume that $\Sigma$ is invertible (note, $\Sigma$ is not necessarily the identity).
Suppose we ...

**4**

votes

**2**answers

482 views

### Number of prime numbers in a range

Denote by $A_n$ the number of prime numbers between $n$ and $n + \log n$.
Is it true that $A_n < const$?
UPD: Is it true that $A_n > \log \log n$ (or something another) for infinite number ...

**5**

votes

**1**answer

39 views

### Uniform Sampling Subject to Linear Equalities and Non-Negativity Constraint

I'm trying to sample uniformly on the intersections of faces of several simplicies, with all coordinates being non-negative. That is, given constraints
$$A\vec{x}=\vec{b} \ \ and \ \ \vec{x} \geq ...

**-3**

votes

**0**answers

49 views

### Dividing a rectangle [on hold]

Okay, I need to divide a rectangle into 5 equal smaller rectangles.
The overal size of the rectangle is 87" by 100".
What is the length the smaller rectangles need to be approximately? Or even if you ...

**2**

votes

**2**answers

204 views

### Ordinals separate from set theory

Is there an exposition and development of ordinals theory separate from set theory? That is, some first-order theory where terms are interpreted as ordinals, with constant $0$ (and maybe $\omega$), ...

**-4**

votes

**0**answers

69 views

### sum and infinity [on hold]

If you have the sums $ (1+2+..+n) + (1+2+3+..+n-1)+ (1+2+3+..+n-2)+(1+2+3+..+n-3)+...+(1+2+3)+(1+2)+1$ for large enough $n$
$$\frac {n^3}{3!} \approx (1+2+..+n) + (1+2+3+..+n-1)+ ...

**1**

vote

**1**answer

47 views

### How to determine an unitary operator involved in an unitary transformation?

Let two real matrices $A$ and $B$ be unitarily equivalent. How to determine (computationally or theoretically) the unitary operator $U$ s.t. $A = UBU^\dagger$? Is it possible for some special class of ...

**4**

votes

**0**answers

112 views

### Do more generalizations of Schur's inequality exist?

I meet this following problem
If $$n\ge 3,\sum_{i=1}^{n}\left(\prod_{j\neq i}(a_{i}-a_{j})\right)\ge 0$$
where $a_{i}$ are real numbers.
when $n=3$, it is Schur's inequality
so which $n$ ...

**3**

votes

**2**answers

72 views

### Given $x$ in a path-connected open set $S$ on the plane, are there non-crossing paths from $x$ to every point in $\partial S$?

A have a (non-simply) bounded path-connected open set $S\subset\mathbb{R}^2$.
Given $x\in S$, there are paths in $S$ from $x$ to any point in the boundary $\partial S$.
However, can all these paths ...

**3**

votes

**3**answers

409 views

### What are a couple of examples of finite sized but interesting categories?

I'm studying category theory and, given that I don't have a background in topology, I'm struggling to think of some finite categories that interesting.
The main one I know of is finite preorders -- I ...

**1**

vote

**0**answers

43 views

### closed range bounded linear operators [migrated]

Let $CL(X,Y)$ be the set of all closed range bounded linear operators from Banach space $X$ to Banach space $Y$. Is $CL(X,Y)$ an open set of $B(X,Y)$?

**0**

votes

**0**answers

101 views

### residue formula for connections on curves

Let $X$ be a smooth, projective curve over a field $k$ (characteristic zero is enough for me) and $E$ a line bundle on $X$. Assume that $E$ is equipped with an integrable logarithmic connection ...

**0**

votes

**0**answers

52 views

### Koch snowflake construction in many dimensions

I'm looking for some references to deal with the Koch snowflake construction. The construction basically says we can find a sequence $E_k$ such that $\sup_k|E_k|<\infty$ but $P(E_k) \rightarrow ...

**-1**

votes

**1**answer

50 views

### Question on real polynomial in projective space [on hold]

Hi all I was given this question and desperately in need of help as it is part of my graduate studiess I know it is true but my instructor told me to find the right way to do it and I am really ...

**-3**

votes

**0**answers

26 views

### total number of strongly connected 1 [on hold]

Given a square grid of 0's and 1's,i have to find the number of strongly connected 1's. A block of 1's is strongly connected if it is possible to move to any 1 in the block from any other 1 in the ...