# All Questions

**2**

votes

**1**answer

128 views

### Rational functions and polynomials evaluated on a set of points

Let $S$ be a collection of points on the real line.
Let $\{x_i\}_{i=1}^n$ take values in $S$.
Consider a polynomial $p(x_1,x_2,\dots,x_n)$ over $\mathbb R[x_1,x_2,\dots,x_n]$ of degree $d$ which ...

**9**

votes

**3**answers

318 views

### The continuum hypothesis for packing shapes without overlapping

Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many ...

**4**

votes

**0**answers

53 views

### Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts:
Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean ...

**2**

votes

**0**answers

68 views

### Tracy-Widom distribution - Phase transitions - catastrophe/chaos - 'surface-fit'/'curve-fit' software [on hold]

There's an article that interested me about asymmetric distributions:
http://www.simonsfoundation.org/quanta/20141015-at-the-far-ends-of-a-new-universal-law/
This mentions the finding that ...

**0**

votes

**1**answer

45 views

### Analytic extension of the exterior Newtonian potential into the domain

I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain.
Definition of Newtonian ...

**13**

votes

**1**answer

250 views

### Is the regularity of finitely generated rings decidable?

Q: Is there an algorithm to decide whether a given finitely generated (over $\mathbb{Z}$) commutative ring is regular?
I mean by regular that the localization at every prime ideal is a regular local ...

**0**

votes

**2**answers

77 views

### Form of the Shannon capacity for Heptagon?

Is the $0$-error capacity of $7$-cycle:
$(1)$ known to be of form $7^q$ for some $q\in \mathbb Q$?

**-4**

votes

**0**answers

32 views

### Floating point evaluation with taylor series and matlab [closed]

I know how to do part (a) and I know that f2 is better at avoiding the pit falls, but I'm not entirely sure why, I know it has to do with catastrophic cancelation. I also don't know how to relate the ...

**1**

vote

**1**answer

26 views

### Average entropy of quantum system in bipartite pure state for finite temperature

[I got halfway through writing this when I found the paper that answers the question in (essentially) the affirmative. I'll post it anyways in case anyone is interested.]
Background: If a random ...

**1**

vote

**2**answers

227 views

### A question from the proof of affine algebraic group is a linear

In (some version of) the proof of the fact that any affine algebraic group is a linear algebraic group, there is an important step as follows (for example in Borel's book "Linear Algebraic Groups", ...

**7**

votes

**1**answer

162 views

### On unramified p-adic groups

Let G be a reductive group over a local field F. Let O be the ring of integers of F.
The following are equivalent (and groups satisfying these conditions are called unramified):
(a) G is quasisplit ...

**2**

votes

**1**answer

69 views

### Linearly constrained eigenvalue problem

Suppose I'd like to:
\begin{align}
\mathop{\text{min}}_\mathbf{x} && \mathbf{x}^T\mathbf{A}\mathbf{x} \\
\text{subject to:} && \mathbf{x}^T \mathbf{M} \mathbf{x} = 1\\
&& ...

**-4**

votes

**0**answers

26 views

### How to prove a relation holds almost surely? [closed]

Let's assume x(t) and y(t) are to random processes. How should we prove a relation say
x(t)>y(t)
holds almost surely?
Thanks in advance.

**5**

votes

**0**answers

78 views

### Isotropy of Apollonian disk-packing

Is there any sense in which the "epsilon-tail" of an Apollonian disk-packing (by which I mean the union of the disks of radius less than epsilon) exhibits more and more statistical isotropy as epsilon ...

**7**

votes

**2**answers

833 views

### Does the Gamma function preserve integers?

Does the Gamma function $\Gamma: \mathbb{C} \to \mathbb{C}$ preserve the Kummer ring $\mathbb{Z}[\exp(2\pi\imath/m)]$? And if not, then what about the Gaussian integers $\mathbb{Z}[\imath]$ or the ...

**3**

votes

**1**answer

60 views

### Conditions conformal mapping to be expansive

Let $\Omega' \subset \Omega$ be simply connected domains in the complex plane. The Riemann mapping theorem tells us that there a biholomorphism $f: \Omega' \to \Omega$. What conditions guarantee that ...

**1**

vote

**0**answers

36 views

### Coding for channels with concentrated error

Can we implement a reduced-error transmission over a channel with error frequency having $\liminf<\frac{1}{2}$ and $\limsup>\frac{1}{2}$?
We know that if a channel with error flips (in the ...

**3**

votes

**1**answer

82 views

### Points with pairwise integer distances in the plane

Consider $n>3$ points with pairwise integer distances in the plane! What is the relationship between these $n(n-1)/2$ integers? Do we have a theorem or result about these points? Does there exist a ...

**10**

votes

**1**answer

351 views

### Is there any relationship between the Euler class and the Vandermonde determinant?

Several Wikipedia articles claim that the relationship between the Euler class $e(V)$ and the top Pontryagin class $p_k(V)$ of an oriented $2k$-dimensional real vector bundle $V$ corresponds, via the ...

**5**

votes

**1**answer

318 views

### Why do $12$ and $120$ occur very often in the denominators of $\zeta(-n)$ for odd $n$?

$\zeta(-n) = - \dfrac{B_{n+1}}{n+1}$
$\zeta(-2n) = 0$
$\zeta(-1) = - \dfrac{1}{12}$
$\zeta(-3) = \dfrac{1}{120}$
$\zeta(-5) = - \dfrac{1}{252}$
$\zeta(-7) = \dfrac{1}{240}$
$\zeta(-9) = - ...

**6**

votes

**1**answer

159 views

### Extending compact operators

Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...

**0**

votes

**0**answers

76 views

### What are some continued fractions for $2\pi$ and for $\dfrac{\pi}{2}$? [closed]

I've found on Wikipedia three simple and beautiful continued fractions for $\pi$ :
I would like to see some continued fractions for $2\pi$ and for $\dfrac{\pi}{2}$.

**-1**

votes

**1**answer

79 views

### terminology: “complex” and “sequence” in homological algebra

It appears that the terms "complex" and "sequence" are used synonymously in homological algebra.
But there seem to be collocations (in the linguistic sense) that prefer one of those words. For ...

**2**

votes

**1**answer

63 views

### Triangulations of translation surfaces whose edges are shorter than the diameter

Let $S$ be a compact translation surface (i.e. a surface endowed with a singular flat metric such that singular points are locally isometric to a cone of angle an integer multiple of $2\pi$, and that ...

**-1**

votes

**0**answers

24 views

### convex analysis [closed]

So I read this theorem in a convex analysis book saying Let f: R^N --> R(Bar) be convex with x(bar) in dom f. the following are equivalent. (i) f is continuous at x(bar) (ii) x(bar) in int(dom f) ...

**0**

votes

**0**answers

39 views

### Semicubical parabola homeomorphic to C^2 [closed]

a semicubical parabola $L$ in $\mathbb C^2$ is given by $y^2=x^3$.
I showed that a bijective function $f\colon\mathbb C \to L$ defined by $t \mapsto (t^2, t^3)$ becomes a homeomorphism regarding the ...

**-1**

votes

**0**answers

44 views

### Characterization of a family of interval graphs

Let $G=(V,E)$ be a graph, where $V$ is a set of integral intervals from $[1,n]$ and $\left \{i,j \right \} \in E$ if $i \cap j \neq \emptyset $. Is the family of these graphs a proper subset of the ...

**4**

votes

**2**answers

117 views

### Isotypic components of the action of the symmetric group on polynomials

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ decomposes as a direct sum of isotypic components for the action of the symmetric group $S_n$. The isotypic component of the trivial representation is ...

**2**

votes

**0**answers

85 views

### Slice a compact C1 surface in R3 by a moving transverse plane. Does the length of the slice depend C1 on the plane?

To be more precise I am interested in questions similar to the one below
(I asked the question below on math.stackexchange last week but got not answer.)
I have a $C^1$ function $f:[0,1]^2 \to ...

**2**

votes

**2**answers

107 views

### $(LLP(Epi), Epi)$ is a WFS on any variety of algebras

This entry in the Joyal catlab claims without proof that in a category $\bf V$ which is a "variety of algebras" the two classes $(LLP(Epi), Epi)$ form a weak factorization system. I interpret this ...

**1**

vote

**0**answers

63 views

### Definition of primitive divisor of a Lucas sequence

If $\{a_n\}_{n=1}^\infty$ is a sequence of integers, then the definition of primitive divisor of one of its terms is quite natural:
Def. 1. A prime number $p$ is a primitive divisor of $a_n$ if $p ...

**1**

vote

**0**answers

56 views

### How is this transformation related to the Legendre transform?

I stumbled over the following transform in a statistical mechanics paper:
Unfortunately, no mathematical details were given there, which is why I wanted to ask here about this transform.
Let $s : ...

**2**

votes

**0**answers

88 views

### Applying Lemma 2.12 of Deligne's/ Milne's “Tannakian Categories” on an irreducible representation

since this is my first question here, I'm not very certain whether I state it properly. I'm thankful for any helpful remarks.
Currently I'm trying to understand the above-mentioned article which can ...

**-1**

votes

**0**answers

106 views

### Question about non trivial zeros of Riemann zeta function [closed]

I would like to know if is it true that $$-\frac{1}{2\pi i}\underset{n\geq1}{\sum}\frac{1}{n\rho^{n}}\in\mathbb{R}-\mathbb{Z}$$where $\rho$ is a non trivial zero of Riemann zeta function. How can I ...

**0**

votes

**0**answers

43 views

### Solution of parabolic PDE system [closed]

For the following parabolic PDE system, $u(x,t)$ and $v(x,t)$ are functions of independent variables $x$ and $t$, $x\in[a,b]$.
\begin{equation}
\begin{cases}
\frac{\partial}{\partial ...

**6**

votes

**1**answer

164 views

### Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...

**1**

vote

**0**answers

121 views

### Towards an enhanced version of homological mirror symmetry for affine varieties

Let $X$ and $X^\vee$ be a mirror pair, homological mirror symmetry relates the symplectic geometry of $X$ to the complex geometry of $X^\vee$ via the equivalence of triangulated categories
...

**0**

votes

**0**answers

60 views

### Integral representation of the function

I try find integral representation to following function ($d_1<d_2$ and $d_2-d_1=1(\mod 2)$
$f(d_1,d_2)=\frac{(-1)^{\frac{d_2-d_1-1}{2}}}{2^{d_1-1} d_1!}\sum_{k=[\frac{d_1}{2}]+1}^{ d_1} { d_1 ...

**-3**

votes

**0**answers

44 views

### Binomial theorem [closed]

I have a problem with binomial theorom.
What is the result of solving of inequality:
(n 1) + (n 2) + (n 3) + ... (n n) > 32
Sorry for this notation.
Thanks for answer.

**10**

votes

**2**answers

369 views

### Is every order type of a PA model the \omega of some ZFC model?

Let $N$ be a model of first-order Peano arithmetic, and let $\sigma$ be its order-type. Does it follow that there is a (non-transitive, expect when $M$ is the standard model) $ZFC$-model $M$ such that ...

**-1**

votes

**1**answer

66 views

### CAT spaces and Metric Measure Spaces [on hold]

This is very vague question but here it goes: are there any results of analysis on metric spaces in CAT spaces?, for instance as in the paper of Sturm (On the geometry of metric measure spaces) or as ...

**3**

votes

**1**answer

310 views

### what would be the consequences on the distribution of primes of $\Lambda=\infty$?

It is widely believed that the quantity $\Lambda:=\lim\sup\dfrac{t_{n+1}-t_{n}}{2\pi/\log t_{n}}$, where $t_{n}$ is the imaginary part of the $n$-th non-trivial zero on the critical line of the ...

**0**

votes

**0**answers

17 views

### Some Galois theory [migrated]

I have a question on field extensions, and I can't seem to find precise
answers when browsing through online notes etc.
Here it is: suppose $K$ and $k$ are fields with $k \leq K$ and $[K : k] = m$
...

**0**

votes

**0**answers

24 views

### Question about Skorokhod embedding problem

Let $B=(B_t)_{t\ge 0}$ be a standard Brownian motion on some probability space. Now for every centered probability distribution $\mu$ on $R$, i.e. $\int_{R}|x|d\mu(x)<+\infty$ and ...

**3**

votes

**0**answers

121 views

### Moduli interpretation of Eisenstein series

Let $N \geq 11$ be an integer and consider the basis of Eisenstein series for $M_2(\Gamma_0(N))$ described in Theorem $4.6.2$ of Diamond--Shurman's book. Pick and Eisenstein series $F$ in this basis. ...

**3**

votes

**1**answer

200 views

### Is $L(\ell_2,\ell_2)$ dense in $L(\ell_2,c_0)$?

Let $\ell_2:=\{ x:\mathbb{N} \to \mathbb{R}: \sum_{j=1}^\infty x_j^2<\infty\}$ and
$c_0:=\{ x:\mathbb{N} \to \mathbb{R}: \lim_{j\to\infty}x_j=0,\, \sup_{j\in\mathbb{N}}|x_j|<\infty\}$ denote the ...

**0**

votes

**1**answer

39 views

### A hyperbolic partial differential equation (wave-like) with variable-dependent coefficient and possibly singular in one variable

First, I beg your pardon since the title of the question is a bit confusing I guess. I'm working on a physical equation of the wave-like form. Explicitly, it reads
...

**2**

votes

**1**answer

72 views

### Weight polytopes of the fundamental representations of simple Lie groups

Where can I find a description of the weight polytopes of the fundamental representations of the classical complex simple Lie groups?
Thanks in advance

**0**

votes

**0**answers

138 views

### Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...

**4**

votes

**2**answers

250 views

### Are Banach space norms (up to equivalence) unique?

Here is a naive question: is a "completing" norm of a vector space unique (up to equivalence) or can one find a vector space and two non-equivalent norms $\|.\|$ and $|||.|||$ that both induce a ...