# All Questions

**0**

votes

**1**answer

42 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

63 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

326 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

181 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

61 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

108 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

85 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

94 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

92 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

106 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

50 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

102 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

97 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

46 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

41 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

68 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

188 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

92 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

102 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

57 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

42 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

94 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

55 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

39 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

207 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

60 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

**1**answer

80 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

248 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

132 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

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

**3**

votes

**1**answer

214 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

90 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

41 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

41 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

103 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

61 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

44 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

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

**1**

vote

**3**answers

235 views

+150

### a colouring / matching problem

While trying to find a bijection which preserves various combinatorial statistics, I was led to the problem below. Very much to my surprise, a closely related question, Coloring summands of given ...

**2**

votes

**1**answer

51 views

### Which is the right way to compute the Approximate Entropy (ApEn)?

My problem is the inconsistency between the definition and the computation of the Approximate entropy (ApEn).
Suppose $u = (u_i:1\leq i \leq N)$ is a sequence of ...

**-4**

votes

**0**answers

24 views

### Success Ranking Methodology [on hold]

I'm trying to calculate the success of a couple of students but they aren't all in sync with their attended exam count. These are the data I have right now:
...

**30**

votes

**1**answer

2k views

### Hilbert's Hotel

Hilbert's Hotel is a famous story about infinity attributed to David Hilbert (1862-1943).
Is it documented that Hilbert's Hotel is in fact due to Hilbert, and if yes, where?

**0**

votes

**0**answers

71 views

### Symplectic forms and Chern classes [on hold]

Given a symplectic manifold, is there any explicit formula showing the relation between its symplectic form and Chern classes?

**9**

votes

**1**answer

178 views

### Isotropic Riemannian manifolds

Let $M$ be a Riemannian manifold and $G$ a closed connected subgroup of isometries of $M$. Call the pair $(M,G)$ an isotropic pair if $G$ acts transitively on the sphere bundle $SM$. As an example, ...

**5**

votes

**1**answer

120 views

### p-adic L-function of curves

Given a smooth projective curve $C$ over $\mathbb{Q}$ one has the $L$-function $L(C, s)$ and the Beilinson conjectures predict its values at integers $s=n$ in terms of regulators.
Is there a p-adic ...

**3**

votes

**2**answers

188 views

### Sheaf of isogenies representable?

It is well-known that "the" stack of elliptic curves (allow me to be vague as to singular curves, compactifications etc) has a presentation by a groupoid in schemes. One of the things that needs to be ...

**3**

votes

**0**answers

49 views

### Dimension of the sum of images of transpose

$\newcommand{\rank}{\operatorname{rank}}\newcommand{\im}{\operatorname{im}}$
Given $A,B\in M_{n\times n}(k)$, define $\rank(A,B):=\dim(\im A+\im B)$. I'm looking for results regarding relationships ...

**-5**

votes

**0**answers

33 views

### Probability question (win three games in a row = win or 4 wins total = win) [on hold]

Two teams play each other repeatedly until either one of them wins three games in a row or one of them wins a total of four games. What are all the ways in which the tournament can be played? What is ...

**1**

vote

**0**answers

141 views

### Davenport's proof that almost all integers are the sum of 4 cubes

Where can I find a pdf that describes Davenport's proof that almost all integers are the sum of $4$ cubes?