# All Questions

**-3**

votes

**0**answers

47 views

### How to calculcate frecency? [on hold]

I recently came across the concept of Frecency. I thought it was a typo, but apparently it's a combination of recency and frequency, used in Mozilla's URL bar.
What are possible formulas for ...

**13**

votes

**2**answers

271 views

### Minimal number of generators for $GL(n,\mathbb{Z})$

$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = ...

**1**

vote

**1**answer

127 views

### Solution or Reference Request for a Closed Form of the Sum

I have been working for quite a while on finding a closed formula for the Legendre Symbol. Inspite of my best efforts I can't come anything better with a formula for the symbol ...

**-1**

votes

**0**answers

43 views

### How to distribute groups over activities in rounds [on hold]

This problem started with my sister asking me how she can distribute 12 groups over 6 activities in 6 rounds. She wants to organize a camp for for year students. There are 6 acitvities and in every ...

**5**

votes

**1**answer

69 views

### Separability of the C*-algebra in the definition of K-homology

There are (at least) two approaches to K-homoology: one is via the so called dual algebra which is due to Paschke. The second is via the Fredholm modules and is due to Kasparov. In Nigel Higson's book ...

**4**

votes

**1**answer

67 views

### Comodule analogue for statement that a faithful representation of an affine group scheme generates all

If $V$ is a faithful finite dimensional representation of an affine group scheme $G$ over a field $k$, then every finite dimensional representation of $G$ is isomorphic to a subquotient of $\otimes^n ...

**7**

votes

**2**answers

144 views

### Fast computation of a Groebner basis - What is Possible

I need to compute a Groebner basis of 18 polynomials in 19 variables the terms of which have degree at most 3. My aim is to exploit a symmetry in a PDE problem and I am not an expert in algebra or ...

**-1**

votes

**0**answers

29 views

### graphical estimate of convergence rates [looking for textbook reference] [on hold]

I asked this question already in mathematics, but got no sufficient answer.
I am writing a paper for engineers. There, under other things, I compare convergence rates
of sequences $x_n \to x^*$, ...

**1**

vote

**0**answers

42 views

### Lower central series in a free pro-p group

Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$.
Is ...

**2**

votes

**1**answer

62 views

### Intersection of closed geodesics in hyperbolic surface

This question may be easy but I could not come up with a proof.
Let $F$ be a hyperbolic surface of finite type (with finitely many boundary and finitely many puncture). Let $\gamma$ be a closed ...

**5**

votes

**1**answer

284 views

### Are the Szpiro ratios of 37b1 over certain number fields {33,39,42,48,51,66}?

Related to this question.
According to Hindry p.7 Conj 3.1
and Stein's notes Szpiro's conjecture over number fields states that the Szpiro ratio is:
$$ ...

**0**

votes

**1**answer

44 views

### edge transitivity and edge deletion

Let G be a graph which has the following properties:
1) For every $e_1,e_2 \notin E(G)$, $G \cup e_1 \cong G \cup e_2$
2) For every $e_1,e_2 \in E(G)$, $G\setminus e_1 \cong G\setminus e_2$
i.e. ...

**0**

votes

**0**answers

65 views

### Maximal subgroups of indefinite special orthogonal group SO(p,q)

Can someone answer the following question:
Is there any classification of maximal proper Zariski-closed real subgroups of $SO(p,q)$ which are not parabolic, and satisfy the following conditions:
...

**9**

votes

**3**answers

336 views

### Square filling self avoiding walk

I want to create an algorithm that fills a square grid with a random Hamiltonian path starting at a particular point. See this example.
One approach is to try a free direction as a next step, and ...

**1**

vote

**0**answers

187 views

### Learning roadmap in Algebra [on hold]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas:
a) Commutative Algebra
b) Field Theory and Galois Theory
c) Homological Algebra
My question is ...

**1**

vote

**0**answers

65 views

### Expanding graphs from iterated zig-zag product

Let $\Gamma \, zz\, G$ denote the zig-zag product of graphs $\Gamma$ and $G$.
Reingold, Vadhan, and Wigderson proved that the second largest eigenvalue of the normalized adjacency matrix of the ...

**-4**

votes

**0**answers

118 views

### How can I prove: If A is a subset of C and B is a subset of D, then the union of A and B is a subset of the union of C and D? [on hold]

How could I write a proof for the above statement, considering I'm studyng the first Enginnering math's course? (in other words, my math level is pretty basic)
Thanks in advance

**5**

votes

**0**answers

89 views

### How many simultaneous polynomial equations of degree 2 can software solve today?

Consider the following problem:
Input: $n$ polynomial equations of degree $2$ in approximately $n$ variables.
Each equation contains about $\sqrt{n}$ monomials.
We would like to find one ...

**0**

votes

**1**answer

96 views

### Convergence of complex series that are not absolutely convergent?

Does anyone know of a convergence test for a complex series of the form
$$\sum_n a_n \cdot \exp(i \cdot b_n)$$
?
The particular series I need to understand has a_n going to zero as n goes ...

**1**

vote

**1**answer

94 views

### Expression and growth bound for $r_{p^m,k}(n)$

Let's define , $$R_{p^m,k}(n)=\#\{(a_1,\dots,a_k)\in\mathbb{Z}^k:\sum_{i=1}^ka_i^2\le n \ \text{and} \ p^m|\sum_{i=1}^ka_i^2\}$$
what will be growth bound of $R_{p^m,k}(n)$? This can be thought as a ...

**4**

votes

**1**answer

111 views

### Inequality due to Siegel (assumptions) and upper bounds on number field discriminants

In Siegel's 1969 paper, Abschätzung von Einheiten, on page 73, he states the inequality
$$\log\sqrt d\le n-1+{n\over 2}\log\pi+r_2\log 2\qquad (*)$$
and compares with the bound due to Minkowski that
...

**0**

votes

**0**answers

53 views

### Bounding the absolute value of a polynomial involving a Diophantine equation

Let $\mathbf{z}\in\mathbb{C}^n$ with entries $z_1,z_2,\ldots,z_n$. I would like to bound the following quantity
\begin{equation*}
...

**-8**

votes

**0**answers

111 views

### Proof that $\sqrt2$ is irrational [on hold]

Question: Using fundamental theorem of integers and the fact that every natural number that is not prime, prove that $\sqrt{2}$ is irrational unless $n=m^2$ for some $m\in\mathbb N$.
Here is how I ...

**0**

votes

**1**answer

100 views

### Number of solutions in a sum of squares Diophantine equation

Let $n$ be an integer. I'm interested in upper bounding the number of integer solutions of
\begin{equation*}
x_1^2+x_2^2+\ldots+x_p^2=y_1^2+y_2^2+\ldots+y_p^2,
\end{equation*}
where for all ...

**0**

votes

**0**answers

48 views

### u-Invariants of p-adic function fields

In his Paper "Fields of u-invariant 9" Oleg Izhboldin points out that for a algebraic closed, finitely generated field $k$ we have $u(k)= 2^{cd(k)}$. In particular we have
...

**-2**

votes

**0**answers

42 views

### Studying Signal Processing [on hold]

I'd Like to ask two questions :
What is the difference between studying Signal processing (both Deterministic and statistical) in Department of Electrical Engineering versus Department of Mathematics ...

**-1**

votes

**0**answers

69 views

### Proof that at least one of the nontrivial zeta zeroes has an irrational height (assuming RH) [on hold]

This seems quite simple so its likely someone has done this before (a few Google searches returned empty and I would be really grateful for a relevant link), but in case it's new, I wanted to check if ...

**4**

votes

**2**answers

195 views

### Strong divisibility of Lucas sequences

Let $a$ and $b$ be relatively prime integers and let $u_n$ be their associate Lucas sequence, i.e., the second order linear recurrence sequence satisfying $u_0 = 0$, $u_1 = 1$ and $u_{n+2} = au_{n+1} ...

**1**

vote

**2**answers

95 views

### The set of matrices with same spectral radius

I am working on an optimization problem over the set of positive matrices (that is, matrices where all entries are positive numbers) that have the same spectral radius. My main problem is how to ...

**7**

votes

**2**answers

104 views

### Trees with a maximal convex hull: are the only optimal solutions Steiner trees?

For given $n\geqslant 3$, I'm looking for a connected set composed of $n$ equal segments in the plane such that the convex hull of it has maximal area $A(n)$. To simplify notation, we'll take ...

**0**

votes

**0**answers

58 views

### Bounding Random Quadratic Gauss sums

I'm interested in seeing whether the following is true. Assume $u$ is uniform on $[0,1]$ and $|\epsilon_k|=1$ for all $k=1,2,\ldots,n$. We have
\begin{align*}
...

**0**

votes

**0**answers

28 views

### Period doubling bifurcations [on hold]

In the bifurcation diagram, is it true that if the function $f_r(x)$ at $x^*$ (where $x^*$ is a fixed point where a bifurcation occurs) can be locally written as a smooth function then ...

**0**

votes

**0**answers

44 views

### Linear extensions and directed, rooted spanning trees

Let $P$ be a poset with a unique bottom element $\perp$ and view its Hasse diagram $H$ as an oriented graph. Can the principle of exclusion-inclusion
be used to calculate the number of linear ...

**3**

votes

**0**answers

98 views

### Singularities in mixed characteristic

Let $R$ be a regular local ring in mixed characteristic. Moreover, I assume that $R$ is the local ring of a point on a smooth $\mathbb Z_p$-scheme and that $R/pR$ is regular. ($\mathbb Z_p$ is the ...

**2**

votes

**1**answer

57 views

### Endomorphism Ring of Simple Abelian Varieties

I know that if $A$ is a simple abelian variety over a number field $k$ with all endomorphisms defined over $K$ then $\mbox{End}(A_K)\otimes \mathbb{Q}$ is a division algebra with a positive ...

**5**

votes

**0**answers

41 views

### Testing membership in a cluster algebra

Say I have a cluster algebra with principal coefficients and initial cluster $x_1,\ldots,x_n$. I don't want to invert the coefficient variables $y_1,\ldots,y_n$. The Laurent Phenomenon says that ...

**2**

votes

**3**answers

211 views

### Algorithm to find the “optimal” path in a given graph

Assume that $G=(V,E)$ is an undirected connected graph and that $H: V \to \mathbb R$ is a function that assign at each vertex $v \in V$ its height $H(v)$. Think of the pair $(G,H)$ as an energy ...

**2**

votes

**1**answer

65 views

### Existence of neighborhood inclusion for 4-chordal graphs

Let $N(v)$ be the (open) neighbourhood set of a vertex $v$, and let $N[v]$ be the closed neighbourhood set of $v$.
A graph $G$ is called 4-chordal if $G$ has no induced cycle with five or more ...

**2**

votes

**2**answers

123 views

### Ito diffusion with highly oscillatory diffusion coefficient

Consider the stochastic differential equation on $\mathbb R$
$$
dx_t = f(x_t) dt + g(\omega t)\, dW_t
$$
with $W_t$ a standard Brownian motion, $f:\mathbb R \to \mathbb R$ a smooth function, and ...

**3**

votes

**1**answer

259 views

### High dimensional topological field theory

In the article Topological Field Theories in 2 dimension, Constantin Teleman has the following commentary " By constrast, in higher dimension, there seem to be no interesting theories: all examples ...

**3**

votes

**1**answer

135 views

### Compositional inversion and generating functions in algebraic geometry

The exponential generating function of the graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus zero satisfying the associativity equations of physics (the WDVV ...

**2**

votes

**0**answers

53 views

### Algebraic approach to showing trigonometric equations have no solution

I have very little background in algebra and algebraic geometry, so please bear with me.
I am trying to show that certain systems of trigonometric polynomial equations generally have no solution. One ...

**4**

votes

**1**answer

258 views

### Why the Szpiro conjecture over number fields doesn't depend on the discriminant of the number field?

According to Hindry p.7 Conj 3.1
and Stein Szpiro's conjecture states that the Szpiro ratio is:
$$ \sigma_{E/K}=\frac{\log{|N_{K/Q}\Delta_{E/K}|}}{\log{|N_{K/Q} f_{E/K}}|}$$
Given $ \varepsilon ...

**4**

votes

**1**answer

98 views

### Rank one (phi,Gamma)-modules

Let $\mathbb{Q}_p$ be the field of $p$-adic numbers. Consider an unramified representation $\rho : Gal(\bar{\mathbb{Q}}_p / \mathbb{Q}_p) \to \mathbb{F}_p^{\times}$ which sends the arithmetic ...

**3**

votes

**0**answers

42 views

### Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem

If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...

**0**

votes

**0**answers

45 views

### Diagonally change the matrix [on hold]

if we have a matrix
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 16
then we have to change the elements diagonally from top left to bottom right ? what it ...

**2**

votes

**0**answers

107 views

### Finding a smooth 6-manifold with a closed 2-form which is degenerate only along some embedded 2-spheres

Given a symplectic 6-manifold $(M,\omega)$ and an embedded
symplectic 2-sphere $C\subset M$ whose normal bundle has the first
Chern class -2. How to find on $M$ another closed 2-form $\eta$ which
only ...

**0**

votes

**0**answers

64 views

### A bound on the size of the center

Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$

**0**

votes

**1**answer

46 views

### Reference for finite number of Weyl groups of reductive groups of rank $r$

I'm posting this question on behalf of someone without access to mathoverflow:
Can anybody give me a reliable reference (not a proof) to the following statement?
Up to isomorphism, there are only ...

**3**

votes

**1**answer

81 views

### Liouville type theorems; linear PDE with decaying potential

Dear Mathoverflowers,
I am interested in the following pde:
$$ -\Delta u(x) + C(x) u(x) = 0 $$ in $ R^N$. Lets assume that $ C(x)$ is bounded and (smooth if you like) and satisfies the ...