# All Questions

**0**

votes

**0**answers

2 views

### Linear independency and compactness of the set of pure states of a $C^*$-algebra

Let $\mathcal{A}$ be a noncommutative $C^*$-algebra and $PS(\mathcal{A})$ be the set of its pure states.
Question 1. Is $PS(\mathcal{A})$ linearly independent (as vectors over $\mathbb{R}$)? (If $\...

**0**

votes

**0**answers

7 views

### An inequality in cyclic polygon and tangential polygon

I proposed my conjecture, it is strengthened version of the Erdős–Mordell inequality as following:
Let $A_1A_2.....A_n$ be a cyclic Polygon and $B_1B_2....B_n$ be the its tangential polygon. Let P be ...

**0**

votes

**0**answers

6 views

### Limits of an indeterminate form $\lim_{t\to\infty} (a+b(-m)^t)/(c+d(-m)^{t-1})$ [on hold]

I'm trying to solve the limit of the following indeterminate form:
$$\lim_{t\to\infty} \frac{a+b(-m)^t}{c+d(-m)^{t-1}}$$
where $t=1, 2, 3, \cdots$ denotes time and all the coefficients are positive ...

**0**

votes

**0**answers

7 views

### Extending homomorphisms into Hahn groups

Let $\Omega$ be a linearly (i.e. fully) ordered set, and let $\Lambda_{\Omega}$ be the ordered abelian group consisting of
those $(\lambda_\omega)_{\omega\in\Omega}\in\mathbb{R}^{\Omega}$ with well-...

**2**

votes

**2**answers

101 views

### Examples of Sets with Positive Upper Density

While reading the statement of Roth's theorem I started asking myself what are examples of sets of positive upper density? It's not hard to come up with a few:
Flip a coin with probability $\mathbb{...

**1**

vote

**1**answer

139 views

### Scaling of First-passage times for Random Walk on integer lattices

Consider simple symmetric random walk $S_{n} = (S_{n}^{(1)},\dots,
S_{n}^{(d)})$ on the d-dimensional integer lattice with starting point the origin.
Let $\tau_{N}$ be the first time $S_{n}$ exits ...

**2**

votes

**0**answers

32 views

### Is a one-dimensional compact complex analytic space necessarily projective?

Let $X$ be a compact complex analytic space with singular locus $X^{\mathrm{sing}}$. Suppose that $X\setminus X^{\mathrm{sing}}$ is a Riemann surface. If $X^{\mathrm{sing}} = \emptyset$, then $X$ is ...

**2**

votes

**1**answer

95 views

### A generalization of Erdős–Mordell inequality

I proposed my conjecture generalization of Erdős–Mordell inequality as following:
Let $A_1A_2....A_n$ be a polygon in a plane, $P$ be the point in $A_1A_2....A_n$. Let $d_i$ be the distances from $P$ ...

**5**

votes

**1**answer

218 views

### Question on period map, Gauss-Manin connection and complex coordinates of $\mathcal{H}^1(k)$

Let $\mathcal{L}_g$ be the space of abelian differentials on Riemann surfaces of genus $g\ge 2$ and $\mathcal{TH}_g:=\mathcal{L}_g/Diff_0^+(S_g)$ be the Teichmuller space of abelian differentials on ...

**0**

votes

**1**answer

43 views

### Hodge decomposition on open manifold

For the open manifold like $X\times \mathbb R$ or $X\times \mathbb R^+$, where $X$ is a closed manifold.
Is there any decomposition like (Hodge Decomposition) of the Differential forms on it.

**1**

vote

**2**answers

129 views

### Maps between symmetric powers of the natural module for $SL_2 (k)$ in prime characteristic

Let $G=SL_2(k)$ considered as a linear algebraic group over an algebraically closed field of prime characteristic. Let $E$ be the natural module for $G$ and denote by $S^r (E)$ its $r-$th symmetric ...

**3**

votes

**0**answers

24 views

### Group bundles for topological spaces without universal cover

I‘m currently writing my Bachelor Thesis on (Co-)Homology with local coefficients. Let me first describe the situation:
There are two approaches in defining Homology with local coefficients of a ...

**5**

votes

**1**answer

141 views

### How to compute $[CP^2, G/PL]$?

Let $E^4$ be the two stage Postnikov space appearing in the homotopy type of the classifying space $G/PL$. One of its properties is that it only has two nontrivial homotopy groups $\pi_2(E)=Z/2Z$ and $...

**4**

votes

**1**answer

248 views

### A variant of bin-and-ball problem

We have $n$ balls, each belonging to a group (e.g, color). There are $g$ groups ($g$ may be large but $g=o(n)$). We sequentially put the balls into $m$ bins in the following way: for each ball, we ...

**1**

vote

**0**answers

47 views

### Gauge Fixing Problem on Cylindrical

For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...

**4**

votes

**1**answer

142 views

+150

### Seeking very regular $\mathbb Q$-acyclic complexes

This question was raised from a project with Nati Linial and Yuval Peled
We are seeking a $3$-dimensional simplicial complex $K$ on $12$ vertices with the following properties
a) $K$ has a complete $...

**4**

votes

**0**answers

659 views

### What is known about the area of the symmetric Pythagorean tree?

What is known about the area of the symmetric Pythagorean tree? (Closed unit square as base, area of enclosed triangles not included.) The problem in calculating the area is that squares start to ...

**1**

vote

**0**answers

73 views

### The current status of the conjecture on algebraic matroids

Can anyone point out some articles for the conjecture: the dual of an algebraic matroid is algebraic?
Thank you!

**3**

votes

**1**answer

182 views

+50

### Intuition behind the definition of the Siegel-Eichler transformation

Recently I am reading Wall's paper "On the Orthogonal Groups of Unimodular Quadratic Forms II". In this paper, I encountered with the map $E^1_\omega$, which now I am interested in.
Let $X$ be an ...

**3**

votes

**1**answer

71 views

### Lie subalgebra of $\chi^{\infty}(M)$ of codimension one

Assume that $M$ is a manifold.Is there a Lie subalgebra of $\chi^{\infty}(M)$, the space of smooth vector fields on $M$, whose codimension is equal to one?

**0**

votes

**1**answer

34 views

### Computing canonical forms from orbit partitions

Suppose we know the orbit partition of the vertices of a graph (due to the action of its automorphism group). Is it easy (as in "polynomial time") to generate a canonical form for that graph using its ...

**1**

vote

**1**answer

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

**3**

votes

**0**answers

33 views

### Cohen's model yet again

It has been discussed already whether a countable OD set necessarily contains an OD element. See e.g.
A question about ordinal definable real numbers
.
A negative answer was obtained in Archive for ...

**2**

votes

**0**answers

71 views

### Are all zeros of $\dfrac{\Gamma'}{\Gamma^2}(s) \pm \dfrac{\Gamma'}{\Gamma^2}(1-s)$ either real or on the line with $\Re(s)=\frac12$?

In this post it was proven that, except for a finite few, all zeros of $\Gamma(s) \pm \Gamma(1-s)$ are either real or reside on the line $\Re(s)=\frac12$.
I have been searching for similar reflexive $...

**1**

vote

**0**answers

49 views

### Gauss Bonnett on a flat surface with border

I'm reading the article "Euler Characteristics of Teichmuller Curves in genus two" by Matt Bainbridge and there's a point I don't understand in the proof of theorem 5.5. Maybe you can help me clarify ...

**0**

votes

**0**answers

13 views

### Hyperbola application [on hold]

A curved mirror is placed in a store for a wide angle view of the room. the right hand branch of x squared over one minus y squared over three equals one models the curvature of the mirror. a small ...

**0**

votes

**0**answers

15 views

### Algorithm for Longest Common Subtour

For a new kind of heuristic for the TSP I need to calculate the longest subtour, that is common to a set $T_1,\ ...,\ T_m$ of tours, that are "good" approximations of the optimal tour $T_{opt}$.
By a ...

**0**

votes

**0**answers

47 views

### Is (+, *) the only semiring over the positive reals? [on hold]

I know that there are others over the reals but I can't find any others over the positive reals.

**0**

votes

**1**answer

37 views

### Count Functional digraph [on hold]

Given a set of nodes, how can I count the number of different functional digraph containing a specific number of connected components? With a restriction that no node can have an edge point to itself. ...

**0**

votes

**0**answers

33 views

### How many number of finite points exists inside the circle? [on hold]

I am doing project on Image processing dealing with circular images. So I need an approximate number of pixels present inside circle image of radius R and Circle center of (x,y). Please give me the ...

**16**

votes

**1**answer

560 views

### Number of matrices with given Smith normal form

Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...

**3**

votes

**1**answer

62 views

### Isoperimetric inequality via Crofton's formula

I have seen various assertions that one can derive the isoperimetric inequality in the plane from Crofton's formula in geometric probability. Unfortunately, I have not managed to figure out such a ...

**0**

votes

**0**answers

8 views

### Proving that an integral of several cdf and pdf functions is increasing in a certain parameter

Basic assumptions: $n\geq3$, $a\leq b\leq c$, $b$ is simply a dummy
variable of integration, and $\rho\geq0$. $F(z)$ and $f(z)$ represent the
usual general CDF and PDF (no specified distribution here)....

**4**

votes

**1**answer

104 views

### Stopping times for Brownian motion

Let $B_t, t\geq 0$ be standard Brownian motion.
Let $\big(\mathcal{G}_t, t\geq 0\big)$ be the natural filtration, defined by $\mathcal{G}_t=\sigma(B_s, 0\leq s\leq t)$.
Define also a filtration $\...

**3**

votes

**0**answers

31 views

### Intersection multiplicity of limit linear spaces

Let $X\subset\mathbb{P}^N$ be a smooth projective variety. Let us fix a general point $q \in X$, and let $C\subseteq X$ be a smooth curve passing through $q$.
Now let $\Lambda_{\xi, q}$, with $\xi \...

**2**

votes

**0**answers

51 views

### Kahler Einstein metric with minimal singularities

Let $X$ be a Kahler variety with snc divisor $D$ such that $K_X+D$ is
ample. then there is a Kahler metric $\omega_E$ such that
$Ric(\omega_E)=-\omega_E$ on $E=X\setminus D$, then
$h=\frac{1}{\...

**16**

votes

**0**answers

163 views

### Applications of arithmetic topology to number theory

There is a well-known analogy between 3-manifolds and number fields, with prime ideals corresponding to knots. Are there any results in number theory that have been proven using topology through this ...

**0**

votes

**0**answers

25 views

### Sums of unit vectors has a binary span after constrained permutations

Let $e_1 = (1,0,\ldots,0), \ldots , e_{m_1+m_2} = (0,\ldots,0,1)$ be the unit vectors of the standard basis $E$ of $\mathbb{R}^{m_1+m_2}$.
An enumeration $ E \cup -E = \{f_1, \ldots, f_{2(m_1+m_2)}\}...

**0**

votes

**0**answers

18 views

### On balanced bipartite graphs

Of the $2^{n^2}$ balanced bipartite graphs on $2n$ vertices how many of them have $i$ perfect matchings where $i\in\Bbb N\cup\{0\}$ and $0\leq i\leq n!$ holds?

**1**

vote

**0**answers

33 views

### A priori estimates for elliptic operators

Suppose $L : L^{m,p}(M)\rightarrow L^p(M)$ is some elliptic operator of order $m$, and $(M,g)$ is a compact Riemannian manifold. Then it is known that there exists a constant $C$ such that we have the ...

**2**

votes

**0**answers

76 views

### A Combinatorial Game: the Snake and the Hunter

The Snake and the Hunter is a game for two players who play in two rounds interchanging the roles of snake and hunter. The game is played in a rectangular grid of points, say $6 \times 6$. In both ...

**-1**

votes

**2**answers

98 views

### number of partitions from 0 to n^2 [on hold]

You are given the numbers 0 to n^2. You must use n numbers with no number greater than n to form all the partitions of the numbers 0 to n^2. For example with n=4 you want to find the partitions of 7:...

**1**

vote

**0**answers

66 views

### Selmer and free rank of Elliptic Curves

If I am not mistaken, the equality of the $p$-Selmer rank and the free rank of an elliptic curve are conjectured to be equal.
This is one of the many equivalent formulations of the Birch and ...

**9**

votes

**1**answer

270 views

### Understanding the purely formal part of the sheaf theoretic (cohomological) framework for representation theory

By now I have the impression that many statements in representation theory can be phrased a lot more elegantly using cohomological language. Therefore I'm trying to understand a bit better the sheaf ...

**5**

votes

**1**answer

131 views

### A subgroup of corank 1 in a free group contains a primitive element?

Let $F$ be the free group on $\{x_i\}_{i=1}^\infty$, and let $H \leq F$ be a subgroup with $\langle H \cup \{x_1\} \rangle = F$. Must there be a free basis $B$ of $F$ for which $B \cap H \neq \...

**0**

votes

**0**answers

29 views

### Non symmetric, zero column sum, positive diagonal and negative off diagonal entries matrix bound?

Under which conditions can the A-inner product of a non symmetric, zero column sum, positive diagonal and negative off diagonal entries matrix be bounded by the L2-inner product?
$A \in \mathbb{R}^{n ...

**1**

vote

**0**answers

32 views

### Finding the analytic Zariski decomposition singular hermitian metric on a relative line bundle

Let $f:X\to S$ be a proper surjective projective morphism between complex manifolds with connected fibers and let $D$ be an effective $\mathbb Q$-divisor on $X$ such that
$$S^°=\{s\in S| f\text{ is ...

**29**

votes

**2**answers

616 views

### $x_1 = 2$, $x_{n + 1} = {{x_n(x_n + 1)}\over2}$, what can we say about $x_n \text{ mod }2$?

This question was asked on MathStackexchange here, but there was no answer, so I am asking it here.
Let$$x_1 = 2, \quad x_{n + 1} = {{x_n(x_n + 1)}\over2}.$$What can we say about the behavior of $x_n ...

**-3**

votes

**1**answer

135 views

### Does one need an external, peer-reviewed grant to become tenured faculty in this field? [on hold]

As a secondary question, how important is it to be awarded grants to remain employed as a PhD mathematician at an academic research institution? Is it common or uncommon for PhD mathematicians to have ...

**2**

votes

**0**answers

57 views

### Some queries on Moduli Space of Parabolic Vector Bundles on curve

In "Moduli of Vector Bundles on curves with Parabolic Structures"-Bulletin of the American Mathematical Society Volume 83, Number 1, January 1977 the author announces the following result on moduli ...