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

15 30 50 per page