# All Questions

**0**

votes

**0**answers

3 views

### continued fractions and modular-forms

Let q=e^(i*2*pi*t),
If u(t) is ramanujan's octic continued fraction,is it true that the generator of the octahedral group can be expressed as a continued fraction of the form
...

**0**

votes

**0**answers

6 views

### Antichains in subgroups up to group automorphism

A family of subgroups of a group G will denote a nonempty collection of subgroups closed under conjugation and further passing to subgroups.
In a Noetherian group (any ascending chain of subgroups ...

**2**

votes

**0**answers

18 views

### Inequality about moments of a random variable and of its conditional expectation

This is a follow-up to a question I asked earlier: Moments of a random variable and of its conditional expectation
My claim turned out to be false. Here is a new claim.
Let $X$ be a bounded random ...

**0**

votes

**1**answer

46 views

### SO(3) transformation that produces a reflection

This came up doing some research in quantum information. Let us consider two orthogonal three-dimensional unit vectors $v$ and $w$
$v^T\cdot w=0$,
and the Householder transformation
...

**6**

votes

**0**answers

43 views

### Analytic Chern clases

I have two questions on Chern classes, following Huybrechts' Complex Geometry.
Are the analytic Chern forms just the elementary symmetric polynomials of the eigenvalues of the curvature?
I googled ...

**2**

votes

**0**answers

63 views

### Ramanujan conjecture and covariance of Kloosterman sums

There has been interest in moments and covariances/correlations of Kloosterman sums $S(m,n,c)=\sum_{ad=1 \mod c} e(\frac{ma+nd}{c})$ like
$\sum_{m\in\mathbb F_c} S(m,n,c)^k$, ...

**0**

votes

**1**answer

50 views

### Square Integrable Harmonic Functions in an Infinite Strip

Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space.
Is it true that the only $L^2$ harmonic function in this strip is the ...

**2**

votes

**1**answer

65 views

### Finding matrices $A$ such that the entries of $A^n$ have specified signs

What techniques are there for ensuring nonnegativity of various entries of matrix powers?
Specific Question: Consider a matrix $A\in SL_2(\mathbb R)$. Let $(A^n)_{i,j}$ denote the $(i,j)$ entry of ...

**2**

votes

**1**answer

26 views

### More precise statement about lower bounds on the cover time of general graphs

Uriel Feige has shown in 1995 in his paper "A Tight Lower Bound on the Cover Time for Random Walks on Graphs", the following result:
For any graph $G$ on $n$ vertices, and any starting vertex $u$ ...

**10**

votes

**1**answer

290 views

### Why is there a $\sqrt{5}$ in Hurwitz's Theorem?

Hurwitz's theorem is an extension of Minkowski's Theorem and deals with rational approximations to irrational numbers. The theorem states:
For every irrational number $\alpha$, there are infinitely ...

**1**

vote

**1**answer

123 views

### Well-ordered reference

I'm wondering if there is a standard reference for the following straightforward facts about well-orderings. (They are quite easy to prove, I just need a handy/standard reference.)
Let $(S,<)$ ...

**0**

votes

**0**answers

97 views

### What are some good short statements that attempt to define mathematics? [on hold]

The Wikipedia article "Definitions of mathematics" https://en.wikipedia.org/wiki/Definitions_of_mathematics gives surprisingly few serious examples. My current favorite isn't there: "the science of ...

**4**

votes

**0**answers

64 views

### Fundamental lemma: why is the transfer factor a power of q

Let $k$ be a finite field of sufficiently large characteristic, $F = k((t))$ and $\mathfrak{o} = k[[t]]$. Let $G$ be a reductive algebraic group defined over $\mathfrak{o}$. Roughly stated, for sake ...

**3**

votes

**1**answer

145 views

### Least prime for which a square-free integer is a non-residue

Suppose $a$ is a square-free integer and $\left(\frac{a}{p}\right)=1$ for the primes $p\leq k$. I'll call $a$ a quasi-square of order $k$. What I am interested in is the maximum value of $k$ in terms ...

**4**

votes

**0**answers

68 views

### Explicit bounds for exceptional zeros and/or $L(1,\chi)$ for real $\chi$

I would like to have an explicit upper bound (that is, one with explicit constants) for a possible real zero $\beta$ for $L(1,\chi)$ for real Dirichlet characters $\chi$. I need such a bound for real ...

**3**

votes

**2**answers

133 views

### Infinitesimal deformations of a fibration

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties over an algebraically closed field with connected fibers.
Assume that both $Y$ and the general fiber of $f$ admit a non-trivial ...

**1**

vote

**1**answer

82 views

### Actions of the unit circle on finite complex matrices

Let $M_2(\mathbb{C})$ be the algebra of $2\times 2$ complex matrices and $\mathbb{S}^1$ the unit circle.
How many actions of $\mathbb{S}^1$ on $M_2(\mathbb{C})$ exist (up to isomorphism)? And on ...

**0**

votes

**2**answers

68 views

### Operator on a Sobolev space [on hold]

I'm studying Sobolev spaces using Evans' PDE book.
I can't figure out this simple fact.
Let $L$ be an operator in this form:
$$Lu= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}.$$
I can't understand why ...

**4**

votes

**1**answer

103 views

### Infinite-dimensional admissible representations of SL(2,C)

I'm working in my research with the infinite dimensional (admissible) irreducible representations of $\mathrm{SL}(2,\mathbb{C})$ introduced by Harish-Chandra in his paper "Infinite Irreducible ...

**2**

votes

**2**answers

699 views

### About Abhyankar's conjecture

I just came to this conjecture (proved by M.Raynaud and D.Harbater in 1994) last weekend, in Fresnel and v.d.Put's book Rigid Geometry and Its Applications. It claims that all quasi $p$-group $G$ ...

**3**

votes

**1**answer

76 views

### Relations between modular functions of certain $q$-continued fractions

Given the j-function $j:=j(\tau)$, and $q=e^{2\pi i\tau} = \exp(2\pi i\tau)$ where, for convenience, we set $\tau=\sqrt{-n}$.
I. $\frac{A_2(q)}{A_1(q)} = \text{q-cfrac}:\;$ Icosahedral group
...

**0**

votes

**0**answers

47 views

### What does the Plancherel theorem say about positive-definite distributions?

I'm trying to understand the answer to this MO question: Bochner's theorem for measures of positive type, which suggests a relationship between Bochner's theorem and the Plancherel theorem.
The ...

**7**

votes

**2**answers

98 views

### Moments of a random variable and of its conditional expectation

Let $X$ be a bounded random variable with $\mathbb{E}X=0$. Since $X$ is bounded, all its moments exist. Let $\mathcal{G}$ be any $\sigma$-field and let $Y:=\mathbb{E}[X|\mathcal{G}].$ I am interested ...

**1**

vote

**0**answers

18 views

### Maximum cardinality general factor of a graph

Given a graph $G=(V,E)$ and a set of integers $B(v)$ associated to each vertex, a general factor of $G$ is a set of edges $F\subseteq E$ such that the degree of each vertex $v\in V$ in the graph $(V, ...

**2**

votes

**0**answers

70 views

### Diagonalizing against a non stationary set of functions

Suppose $\kappa$ is regular uncountable (assume $2^{< \kappa} = \kappa$ and $\kappa$ is weakly Mahlo if needed). Is the following true?
For every sequence $\langle f_i: i \to 2 \mid i \in A ...

**-1**

votes

**0**answers

16 views

### Motion tracking formula by tracking information [on hold]

I have tracking information of a short clip that demonstrates a first person view flight.
The red dot is a x,y tracking information of a specific point in the clip.
Additionally, we have the angle, ...

**3**

votes

**0**answers

16 views

### Is there a perfect integral fusion category with PFdim = 2 mod 4?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$.
Proposition: A finite group $G$ is perfect iff any $1$-dimensional complex representation of $G$ is trivial.
proof: First if ...

**0**

votes

**0**answers

30 views

### Enumeration of simple graphs with given degree distribution/sequence

Is there any exact formula for asymptotic/exact enumeration of simple graphs with given degree sequence? I just found some results about it, but the formula is hold on for some conditions, for example ...

**3**

votes

**1**answer

351 views

### Is a non-trivial finite perfect group of order 4n?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$, or equivalently, if any $1$-dimensional complex representation is trivial.
Question: Is a non-trivial finite perfect group of ...

**13**

votes

**2**answers

396 views

### What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?

Over the years, advances in machine learning has allowed us to communicate and interact, using the same natural language, more and more semantically with computers, e.g. Google, Siri, Watson, etc. On ...

**1**

vote

**0**answers

52 views

### Reduced products of (abelian and triangulated) categories: references?

For a filter $U$ on a set $X$ and for a family of categories $C_x$ indexed by $X$ I would like to consider the (corresponding categorical version of) reduced product of $C_x$ (for $x\in X$) with ...

**14**

votes

**2**answers

325 views

### Equivalence of “Weyl Algebra” and “Crystalline” definitions of rings of differential operators between modules?

Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...

**13**

votes

**3**answers

591 views

### Stability of the Solar System

My question is simple:
Is the Solar System stable?
You can see this Wikipedia page.
In May 2015 i was in the conference of Cedric Villani at Sharif university in Iran with this title: "Of ...

**0**

votes

**0**answers

11 views

### lattice basis reduction of the orbit of a rational vector on the torus

LEt $v=(p_1/q,...,p_n/q)$ be a vector of the torus $\mathbb{T}^n$, such that for any $i$, $p_i$ and $q$ are relatively prime. Let $L= \{ kv \mod \mathbb{T}^n , k=0,...,q-1 \}$.
What is the lattice ...

**2**

votes

**0**answers

59 views

### Representations of $\mathbb{H}^{\times}$ and $\mathbb{H}^{\times}/\mathbb{R}^{\times}$

In an attempt to recapture Eichler's theta correspondence I have hit a stumbling block.
Let $D$ be a quaternion algebra over $\mathbb{Q}$, ramified at $p,\infty$. Also let $V_j = ...

**2**

votes

**2**answers

137 views

### Commutative von Neumann algebras and localizable measure spaces

This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...

**5**

votes

**1**answer

92 views

### Distribution of infinity-norm over the unit sphere

I need to compute probabilities of the form
$P( \Vert X \Vert_\infty < r ),$
where $X$ is a random variable of dimension $n$, drawn with a uniform distribution on the unit sphere ...

**0**

votes

**0**answers

20 views

### Distortion of the Hausdorff dimension of sums of Cantor sets under local scaling

The following question deals with possible distortion of the Hausdorff dimension of sums of Cantor sets as one "zooms in" on the sum around any given point.
Let us assume that $C_1$ and $C_2$ are two ...

**-1**

votes

**0**answers

21 views

### Solve Higher ODE with boundary condition at infinity [on hold]

Given below is a second-order linear differential,
$y''+Ay'+By=0$
The boundary conditions are:
(a) $y(t=0)=1+H\frac{dy}{dt}$
(b) $y(t=\inf)=0$
Does a solution exist for this problem?

**8**

votes

**1**answer

164 views

### Is an explicit $c$ known to lead to a noncomputable Julia set?

Braverman & Yampolsky have shown that there exist noncomputable Julia sets,
i.e., there exist $c \in \mathbb{C}$ such that the Julia set of $f(z) = c + z^2$
is not computable.
"A set is ...

**5**

votes

**2**answers

71 views

### Differential operators between modules, $\mathcal{D}_A(M, M)$ necessarily a filtered, almost commutative ring?

See here. Does it follow immediately that $\mathcal{D}_A(M, M)$ as defined in the link is a filtered, almost commutative ring? How can I visualize this geometrically?

**0**

votes

**0**answers

55 views

### higher direct images of relative canonical sheaf plus a fractional divisor

For a map $f: Y \rightarrow X$ branched over simple normal crossing divisor $B=\sum_iB_i$, do we know of similar local freeness property for higher direct image of relative canonical sheaf plus a ...

**-5**

votes

**0**answers

34 views

### profit and loss related aptitude qustion? [on hold]

A sold a watch to B at a gain of 5% and B sold it to C at a gain of 4%. If C paid Rs. 1902 for it, the price paid by A is?

**12**

votes

**1**answer

293 views

### Geometric generic fibre

This is a pretty elementary question about schemes, but it came up in the course of research, so let's try it here rather than MSE.
Question 1: Are the fibres of a family of complex varieties ...

**15**

votes

**1**answer

340 views

### Minimum value of $|p(1)|^2+|p(2)|^2 +…+ |p(n+3)|^2$ over all monic polynomials $p$

Let $n$ be a positive integer. Determine the smallest possible value of $|p(1)|^2+|p(2)|^2 +...+ |p(n+3)|^2$ over all monic polynomials $p$ of degree $n$.
This question was proposed (problem ...

**0**

votes

**2**answers

51 views

### Maximum principle for the heat equation with Dirichlet conditions

Let us consider the Laplacian operator in a domain $\Omega\subset \mathbb{R}^n$, with Dirichlet boundary conditions.
For all $f\in L^2(\Omega)$, we denote by $S(t)f$ the solution of the equation
$$
...

**0**

votes

**0**answers

10 views

### An algebraics Hamiltonian vector field with a finite number of periodic orbits(2)

Is there a polynomial Hamiltonian $H:\mathbb{R}^{4}\to \mathbb{R}$ such that the number of nontrivial periodic orbits of the corresponding Hamiltonian vector field $X_{H}$ is finite but different ...

**0**

votes

**0**answers

56 views

### Intersections of ideals and nilpotence

Let $R$ be a polynomial ring over a field $k$, $R = k[x_1, \dots, x_n]$. Suppose $R'$ is an associative $R$-algebra and it has the property that there exists a degree $m<n$ monomial in the $x_i$'s ...

**1**

vote

**2**answers

91 views

### Embedding finite lattices into the lattice of partitions of a finite set

For any set $X$ we denote by $\text{Part}(X)$ the set of all partitions of $X$, ordered by the refinement ordering. It is well known that this is a complete lattice for all sets $X$.
Let $L$ be a ...

**7**

votes

**2**answers

392 views

### What is descent data (of higher categories), conceptually?

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a ...