# All Questions

37 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, ...
2k views

### Parametrization of the boundary of the Mandelbrot set

Does anyone know how to parametrize the boundary of the Mandelbrot set? I am not a fractal-geometer or a dynamical systems person. I just have some idle curiosity about this question. The ...
5 views

### A quantitative version of Pelczynski's property ($V^{*}$)

Let me first fix some notations. Let $A$ be a bounded subset of a Banach space $X$. Set $$wk_{X}(A)=\widehat{d}(\overline{A}^{w^{*}},X)=\sup\{d(x^{**},X):x^{**}\in \overline{A}^{w^{*}}\},$$ where ...
31 views

### Area of an irregular, n-sided, non-intersecting (edges) polygon algorithm

I need to generate an irregular, n-sided polygon of non-intersecting edges (n= 200, for example) with the smallest area possible. The position of the vertex is random and I've tried designing a couple ...
455 views
+100

### Banach algebraic proof of the Borsuk Ulam theorem

I am wondering whether there exists a proof of the classical Borsuk Ulam theorem for the Euclidean n-sphere, $n>2$ that is based only on the theory of Banach algebras. I checked on MR but had no ...
12 views

### finite Projective plane

Let Z=PG(q,2) be a finite Projective plane over a finite field Fq, q a prime power. Show that there exists a commutative binary operation * in Z such that (i) x*y is neither x nor y for any x and y, ...
32 views

### Research on unique 2d geometric structures - terminology and resources [on hold]

First of all, please note that I am not a professional mathematician, but this topic probably touches some non-obvious areas, so I hope to find assistance here. Also note that it is very hard to ...
34 views

### Opposite of an E2-algebra

Suppose $C$ is the monoidal $\infty$-category of modules over an $\mathcal{E}_2$-ring spectrum $A$. Let $C' = C$ as a category, but with opposite monoidal structure to $C$. Is $C'$ the category of ...
224 views

### Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...
184 views

### Stable homotopy groups of $RP^{\infty}$

Are the stable homotopy groups $\pi^s_i(\mathbb R P^{\infty})$ known for small $i$? In particular, I would be interested in the values for $i = 5,6$. A quick Internet search did not lead to anything.
1k views

### $f\circ f=g$ revisited

This may be related to solving f(f(x))=g(x). Let $C(\mathbb{R})$ be the linear space of all continuous functions from reals to reals, and let $\mathcal{S}$ $:=$ { $g\in C(\mathbb{R})$ $;$ $\exists$ ...
8 views

### Stochastic calculus in $L^1$

Does there exist a more general (than Malliavin or Ito) "Stochastic calculus" defined on $L^1$ space, or some Olicz space between $L^2\, and\, L^1$
92 views

### Factoring a multiset into a product of two multisets

Given a multiset $S$ of $mn$ numbers, how hard is to find multisets $A$ and $B$, of $m$ and $n$ numbers respectively, such that $$S = \{ xy \mid x\in A, y\in B \}~~~~\text{(multiset sense)},$$ or ...
859 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,$$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
94 views

65 views

### Simultaneous special orthogonal similarity problem

Given matrices $A,B,C,D\in\Bbb K^{n\times n}$ where $\Bbb K$ is a ring is there an efficient technique to compute set $O$ with $OO'=I$ where $'$ is transpose and $\mathsf{Det}(O)=\pm1$ such that ...
66 views

Find the definition of a locale and its dual (i.e. a frame) and consider the definition of a Grothendieck topology. Discuss the differences between this concept and an ordinary topology on a set ...
54 views

### look for a right technique to solve logarithmic functional equations

I would like to solve this equation but can not find a standard technique f(f(x)) = log(x)
185 views

### Path integral methods

Are there detailed expositions of the path integral methods in (mathematical) physics other than Feynman-Hibbs and Glimm-Jaffe?
81 views

### Probability of at most $K$ consecutive zeroes in a sequence of 0s and 1s

I want to prove that in a sequence W of length n, consisting of 1s and 0s, $P$( in $W$ there is at most $\frac{\log_2n}2$ consecutive zeroes ) $\leq \frac{K}{n}$ for some constant K. Can anyone ...
50 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 ...
638 views

### calculate KL-divergence from sampling

Assume we have two sampling process, i.e. we can draw samples from two (not explicitly known) distributions P and Q. Is there any simple way to calculate the KL-divergence D(P||Q)? P and Q could be ...
370 views

### Alternate proofs of Hilberts Basis Theorem

I'm interested in proofs using ideas from outside commutative algebra of Hilbert's Basis Theorem. If $R$ is a noetherian ring, then so is $R[X]$. or its sister version If $R$ is a noetherian ...
168 views

### Q re Kaprekar's fixed mapping points

Jens Kruse Andersen in his comment in OEIS's A099009 noticed 3 families of numbers among Kaprekar's fixed mapping points (otherwise known as kernels of the Kaprekar's routine): "Let $d(n)$ denote ...
131 views

### Does the truncated Hausdorff moment problem admit absolutely continuous solutions?

Let $\mu$ be a (Borel) probability measure on $[0,1]$ and define $m_j(\mu) = \int x^j\,\mu(dx)$. Let $k$ be a positive integer and consider the set $\mathcal C_{\mu,k}$ of probability measures $\nu$ ...
142 views

### What area of maths have I reinvented? [on hold]

I was trying to solve the issue of calculating (total) utilities with infinite numbers of people. This is problematic, because many infinite series are divergent, so there does not appear to be a way ...
187 views

### Isotropic subspaces in a symplectic vectorspace over $GF(q)$

Let $V$ be a symplectic vectorspace of dimension $2n$, and $r\mid n$. Is this statement true?"There is an isotropic spread of $r$ dimensional subspaces in $V$". By an isotropis subspace I mean a ...
43 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$ ...
38 views

### concentric spheres with common radius [on hold]

I am trying to think of a way to solve this problem but I am not sure if it is doable or not. Here goes: Assume we have n spheres that share a common radius (x0,y0,z0). For each sphere we have one ...
427 views

### A divisor sum congruence for 8n+6

Letting $d(m)$ be the number of divisors of $m$, is it the case that for $m=8n+6$, $$d(m) \equiv \sum_{k=1}^{m-1} d(k) d(m-k) \pmod{8}\ ?$$ It's easy to show that both sides are 0 mod 4: the left ...
179 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 ...
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!
I've been working on a discrete version of the "unreliable friend" distribution. It would seem that what I've come up with is equivalent to the following random walk: Choose $p$ from $U(0,1)$ Start ...