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

15 30 50 per page