1
vote
1answer
23 views

Splitting subspaces and finite fields

Hellow. I'm sure that the following is truth, but I can't prove it. Let $R<S<K, R=\mathrm{GF}(q),\ S= \mathrm{GF}(q^n), \ K= \mathrm{GF}(q^{mn})$ be a chain of finite fields and $A = ...
0
votes
0answers
21 views

The eigenvalue of operator $-\Delta$

Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. We know the eigenfunction of Laplacian operator $-\Delta$ is an orthonormal basis of $L^2$. Let $\{\omega_n\}$ denote the ...
0
votes
2answers
46 views

Four Sphere Fibrations

Does there exist a manifold $M$ and a compact Lie group $H$ such that we have a fibration $H \to S^4 \to M$, where $S^4$ is the four sphere?
-2
votes
0answers
10 views

3-dimensional vectors satisfying certain equalities

Question: Are there 5 distinct vectors $u,v,w,x,y \in \mathbb{R}^3$, all on the unit sphere (i.e. $||u||=||v||=||w||=||x||=||y||=1$), such that: $||u+v+x||=||u+v+y||=||u+w+x||=||u+w+y||=1$ ? Also, ...
0
votes
0answers
3 views

Find the number of connected components in pseudospectra

Suppose: $B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$ ${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
-2
votes
0answers
10 views

Best algorithm to compute the first eigenvector of symmetric matrix [migrated]

Assume that we have a real symmetric matrix $\mathbf{A}\in\mathbb{R}^{n\times n}$ obtained as following : $$\mathbf{A}=\mathbf{N}-\mathbf{P},$$ with $\mathbf{N}\in\mathbb{R}^{n\times n}$ and ...
3
votes
0answers
21 views

When is a map from a logarithmic tangent bundle to a normal bundle surjective?

Suppose that $X$ is a smooth algebraic variety with free divisor $D$ so that the logarithmic tangent bundle $\mathcal{T}_X(-\log D)$ is locally free. Suppose moreover that $\iota\colon Y\to X$ is a ...
2
votes
1answer
50 views

First proof of the integral representation of the hypergeometric function $F(a,b,c;\cdot)$

Assuming $\lvert x\lvert<1$ and $0<a<c$, the following formula holds true $$F(a,b,c;x)=\sum_{n=0}^{+\infty} \frac{(a)_n(b)_n}{(c)_n(1)_n} x^n=\frac{\Gamma ( c ...
-2
votes
0answers
38 views

Does this numerical series have any special name?

I don't have enough background to find the answer for this on my own, so I am posting it here with the hope to get some pointers. Assume a descending sequence of K numbers $\{n_1, ..., n_K\}$ where ...
0
votes
0answers
32 views

2nd order partial differential equation with non-constant coefficients

During my research I came across the following differential equation: $$f(x,y) = \left(y^2 \partial_{x}^{2} + x^2 \partial_{y}^{2} \right)f(x,y)$$ Any ideas how to solve it without using series ...
4
votes
0answers
30 views

Sets of matrices which are irreducible but not strongly irreducible

A set of $d \times d$ real or complex matrices is commonly called irreducible if those matrices do not jointly preserve a linear subspace with dimension strictly between zero and $d$. A stronger ...
0
votes
1answer
91 views

Does every ultrafilter contain sets of sup-measure $0$?

Let $\mathbb{N}$ be the set of positive integers and for $A\subseteq {\mathbb{N}}$ set $$m(A) = \text{lim sup}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}.$$ Does every ultrafilter ${\cal U}$ on ...
2
votes
0answers
94 views

Up to $2000$, $A145722(n-1) \equiv \sigma(4n-3) \pmod{5}$

A145722 is Expansion of f(q) * f(q^5) / phi(-q^2)^2 in powers of q where f(), phi() are Ramanujan theta functions. Using the pari program and offset 0, up to ...
0
votes
0answers
85 views

One-dimension Algebraic groups

I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following : Let $K$ be an algebraically closed field. ...
5
votes
2answers
100 views

Uniform bounds on the number of integer points on a family of elliptic curves

Let $P(x,y)$ be a binary cubic polynomial with integer coefficient. Let $n$ be an integer. Suppose the (complex) curve $P(x,y)=n$ is nonsingular, so is an elliptic curve. Is there any bound on the ...
0
votes
0answers
27 views

Extension of a valuation on a function field

Let $K$ be a field, and $K(x)$ the field of rational functions over $K$. Consider the degree valuation $v$ on $K(x)$, That is $v\left(\frac{f(x)}{g(x)}\right)=\deg(g)-\deg(f)$. So for every $f(x)\in ...
-1
votes
0answers
17 views

2D convolution property [on hold]

If I have three square matrices a,b, and c of equal size. say each of them are 3x3 matrices. then practically it is possible that d = (a.b) * c .....(1) = a * (b.c) .....(2) that is 2D convolution ...
0
votes
0answers
23 views

Isomorphisms of well ordered sets [migrated]

Let $A$, $B$ be well ordered sets. If there exist order-preserving functions $f : A \to B$ and $g : B \to A$ (do not need to preserve initial segments), are $A$ and $B$ isomorphic? I know this is not ...
2
votes
1answer
74 views

Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...
4
votes
2answers
161 views

Lefschetz on étale fundamental group for quasi-projective varieties

If $X$ is a smooth projective variety of dimension at least $3$ over $\mathbb{C}$, Lefschetz's Hyperplane theorem says that for every hyperplane section $H$ $$\pi^1(H)\to\pi^1(X)$$ is an isomorphism, ...
4
votes
0answers
60 views

The non-abelian Gauss-Manin connection; non-abelian M_dR; a Grothendieck lemma for cyrstals

I'm interested in understanding the non-abelian Gauss-Manin connection on Carlos Simpson's relative de Rham Moduli space $M_{dR}(X/S,n)$ for a smooth projective morphism of schemes $X/S$. The scheme ...
5
votes
0answers
71 views

Has anyone seen these binary trees (Catalan-type related to the Gegenbauer polynomials and Motzkin paths)?

The OEIS entry A121448 enumerates binary trees with $n$ edges and $k$ vertices with outdegree 1. Has anyone seen these trees? The o.g.f. for this entry, $G(x,t)$, is essentially a discriminant ...
7
votes
0answers
65 views

Counting isomorphism classes in open subsets of Bun_G

Let $G$ be a split semisimple algebraic group and let $C$ be a curve of genus $g$ over $\mathbb F_q$. Assume $g \geq 2$. The number of $\mathbb F_q$-points of $\# \operatorname{Bun}_G(C)$, where each ...
3
votes
0answers
70 views

Local product structure of determinantal variety

The variety $X_n$ of singular $n\times n$ real matrices is stratified by smooth strata $X_{n,k}$ where $k$ is the rank. Choose a rank $k$ matrix $A\in X_{n,k}$. Is there a local diffeomorphism sending ...
2
votes
0answers
26 views

Uniform convergence of long geodesic to Liouville measure

Here is the set up : let $(S,g)$ an hyperbolic surface and $L_g$ the associated volume measure. By the shadowing lemma there exist sequences of long closed geodesics, $\gamma_n$ which approximate the ...
0
votes
0answers
9 views

What is the 4D axis of rotation for Necker cube inversion? [migrated]

See the figure on top of page 47 of Rudy Rucker's book. ...
3
votes
1answer
230 views

Primary structures in $\mathbb Q$

I'll formulate a topic restricted here to the positive rational numbers $\ \mathbb Q_{_{>0}},\ $, then will pose a question (Q.2) plus some related, to which I don't know the answers nor reference. ...
0
votes
0answers
17 views

Generalized Lax-Milgram for Weak Formulation of 1D Linear Schrodinger

I am interested in the variational formulation of the 1D Schrodinger equation: $i u_t- \beta u_{xx} = 0 $ and $u(x,0)=u_0(x)$ which upon integration by parts yields: $i(u_t,v) + \beta (u_x,v_x) = 0$ ...
20
votes
10answers
695 views

What (fun) results in graph theory should undergraduates learn?

I have the task of creating a 3rd year undergraduate course in graph theory (in the UK). Essentially the students will have seen minimal discrete math/combinatorics before this course. Since graph ...
0
votes
0answers
72 views

Additional condition to the Bollobas theorem in extremal set theory

The Bollobas'1965 theorem is the following: If $A_1,...,A_n$ and $B_1,...,B_n$ are two sequences of subsets of $X=\{1,...,r\}$ such that $A_i\cap B_j = \emptyset$ if and only if $i=j$, then ...
1
vote
0answers
37 views

Boundary of pseudospectra

Suppose: $B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$ ${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
5
votes
1answer
99 views

Example to $2^\kappa\nrightarrow (3)^2_\kappa$, plus closed walks of odd length?

Let $\kappa$ be an infinite cardinal. Consider the following example to $2^\kappa\nrightarrow (3)^2_\kappa$. $V$ is a set of vertices, each of which is an element of $2^\kappa$. Color the edge ...
2
votes
0answers
107 views

Can we do better than zero padding of FFT?

My background is in signal processing, and never took any course related to functional analysis or even advanced algebra. But I have a strong conviction (may be wrong) that we may be do better then ...
6
votes
1answer
176 views

$K$ theory and singular cohomology

For cell complexes${}^1$ $X$ we have an isomorphism $$ K^*(X)\otimes \mathbb{Q}\cong H^{*}(X;\mathbb{Q}), $$ which is induced by the Chern character. What is the analogous statement for $KO(X)$? ...
0
votes
0answers
47 views

Metric equivalence

Suppose we have two different metrics $g$ and $g'$ describing manifolds with the same dimension and isometry group. How can one determine if there is a such coordinate transformation $g\rightarrow ...
3
votes
1answer
212 views

Convergence of a triple sum involving the imaginary part of the Riemann zeta function's non trivial zeros

Let $N>0$ an integer, $k>0$ a real parameter and let $\rho = \beta +i \gamma$ a non trivial zero of the Riemann zeta function. For a work I need to find the best possible $k$ such that ...
5
votes
1answer
199 views

A solution for this equation with a certain condition

Let $(S^n(1),g)$ be the round sphere and $J_{\delta , \beta}$ be an almost complex structure on $TS^n(1)$ with the definition \begin{equation} J_{\delta , \beta}(X^h)=\beta X^h + \alpha X^v,\\ ...
1
vote
2answers
58 views

Sum of subsequence, over index set of non-zero density, of monotone divergent sum also divergent?

For a subset $S$ of the natural numbers $N$ and $n\in N$ let $|S\cap n|$ be the number of members of $S$ that are less than $n$. Suppose $S$ does not have upper asymptotic density $0$. That is, ...
9
votes
3answers
207 views

Random links and $3$-manifolds

In Jeffrey Weeks book "The Shape of Space" he explaines at the end of Chapter 18 (on page 255) the following about the geometrization conjecture: A non-trivial connected sum $M_1\# M_2$ admits a ...
-3
votes
0answers
30 views

Global dimension of matrix algebra [on hold]

Let $k$ be a field, and $A=T_{n}(k)$. $gldim(A) = 1$, and if $B = A/rad(A)^{2}$, then $gldim(B) = n+1$. Some indication!! How can I prove that $gldim(A) = 1$, and $gldim(B) = n+1$ ? Thank you!
6
votes
1answer
138 views

The unique positive real root of summation function

update: add one condition according to answer below. I post this question in MSE a week ago. I thought this should be an easy freshman exercise, but it turns out not easy... The original question ...
3
votes
0answers
74 views

Numerical and topological density

Let $\mathbb{N}$ denote the set of positive integers, and let's say that $A\subseteq \mathbb{N}$ is numerically dense if $$\text{lim inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n} = 1.$$ Is there a ...
2
votes
0answers
142 views

Groups with isomorphic quotients [on hold]

Assume we have a finitely presented group $G$ and a non-trivial normal subgroup N. How can one decide that $G/N$ is isomorphic to $G$ or not? $G$ is given as a presentation and $N$ as a set of words.
34
votes
5answers
2k views

The sequence $a_{n+1}=\left\lceil \frac{-1+\sqrt{5}}{2}a_{n}-a_{n-1} \right\rceil$ is periodic

Let $(a_{n})_{n \ge 1}$ be a sequence of integers such that for all $n \ge 2$: $0\le a_{n-1}+\frac{1-\sqrt{5}}{2}a_{n}+a_{n+1} <1$. Prove that the sequence $(a_{n})$ is periodic. ...
2
votes
0answers
133 views

Moduli space of log Calabi-Yau varieties exists?

Let $\mathcal M$ be a moduli space of pair varieties $(X,D)$ which $K_X+D$ is trivial and $D$ is a divisor on Kahler variety $X$. I am looking for a proof that such moduli space exists? The log ...
17
votes
1answer
314 views

How big are the prime factors of $2^kp - 1$?

I have already asked this question here. No answers despite the bounty (which has now ended) Let $p$ be a prime number, $p > 3$. Does there always exist $k \in \mathbb N_{\ge 1}$ such that the ...
8
votes
0answers
108 views

A seemingly simple combinatorial object that must have an easy generating function

One more question related to my earlier "Special" meanders. I am trying to isolate simplest problems related to it. Here is one. For a composition (i. e. a tuple of natural numbers) ...
5
votes
0answers
132 views

Flat + locally of finite presentation + monomorphism = open immersion

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$: Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then ...
5
votes
2answers
257 views

Symplectic orthogonality and projective duality: how do they work together?

Let $(V,\omega)$ be a $2n$-dimensional linear symplectic space, and $(\mathbb{P}V,\theta_\omega)$ the corresponding $(2n-1)$-dimensional contact manifold. Given a smooth $(n-1)$-dimensional smooth ...
5
votes
2answers
137 views

No normal coordinates on general Finsler manifolds

I recently read a footnote in Chern's article stating that a non-Riemmanian Finsler manifold does not possess normal coordinates. As I'm still new to non-Riemmanian Finsler geometry I don't see why ...

15 30 50 per page