# All Questions

**0**

votes

**0**answers

11 views

### Solve PDE system almost equal to the Ernst equation of general relativity

I am trying to find a solution to the following elliptic quasilinear system of PDEs that arises from a 1962 mathematical physics theory for which no solutions have ever been found:$$\Delta G+\nabla ...

**0**

votes

**1**answer

25 views

### holomorphic continuation

consider the function given by $f(t):=\sum\limits_{n=0}^{\infty}e^{-\left(n+\frac{1}{2}\right)^2t}$ for $t\in (0,\infty)$.
This function can be continued holomorphically for all complex numbers with ...

**0**

votes

**0**answers

31 views

### Properties of “incomplete finite simplicial complexes”

Definition: We say that $K'$ is an incomplete finite simplicial complex if there exists a finite simplicial complex $K$ such that $|K'|=|K|\backslash Y$ where $Y$ is a union of some open faces of K.
...

**0**

votes

**0**answers

13 views

### Tiling with restricted overlap

Non-overlapping tilings of regions is a well-studied topic.
I wonder if the following variant has been considered:
A tile can be partitioned into several regions, where such regions from different ...

**0**

votes

**0**answers

48 views

### How do you differentiate $x_i^j\sum_i\sum_jx_i^j$? [on hold]

I'm trying to find the jacobian of of a function that contains matrices, e.g.
$$\dot{x_i^j} = \ \ x_i^j\sum_i\sum_jx_i^j + \sum_i\sum_jx_i^jy \ \ \ + \ ... \ = \ \ f(x_i^j,y) $$
Where $x_i^j$ is ...

**3**

votes

**1**answer

31 views

### Can we extend a multiplicative linear functional of a closed left ideal on whole of the algebra?

Let B be a closed left ideal of a Banach algebra A. Also, B has a right approximate identity (in B).
If g is a nonzero multiplicative linear functional on B, can we always extend g to a ...

**3**

votes

**0**answers

23 views

### Identities for ${~}_3\phi_1$?

I am looking for some source of summation formulas for the $q$-hypergeometric function ${~}_3\phi_1$ in the sense of Gasper-Rahman book. For some reason, the book focuses heavily on ${~}_{r+1}\phi_r$ ...

**4**

votes

**0**answers

69 views

### Continuous-piecewise-linear versus piecewise-linear

Some authors use the term "continuous piecewise-linear" where other authors use the shorter term "piecewise-linear" (with continuity tacit).
I'd be interested in people's thoughts about this ...

**2**

votes

**0**answers

46 views

### Multiplicativity of combinatorial l classes

For closed smooth manifolds $M$ and $N$, the Hirzebruch $L$ class is multiplicative, i.e. $L(M\times N)=L(M)L(N)$. Is this property still true if $M$ and $N$ are assumed to be closed topological ...

**2**

votes

**0**answers

47 views

### Analysing functions on zero-length intervals and super-small values

Suppose a function that has a pole in $x=0$:
Here we see the graphic of the real part of the Gamma function.
As we can see on it, there is a vertical line at $x=0$ that comes from $-\infty$ to ...

**4**

votes

**1**answer

144 views

### Irreducibility of a polynomial

For $n\ge 1$, let $g(x_1,x_2,\ldots,x_n)$ be an irreducible homogeneous polynomial in $n$ variables over a field $k$ and $f(x)$ an irreducible polynomial of $k[x]$. Is $f(g(x_1,x_2,\ldots,x_n))$ ...

**-4**

votes

**0**answers

46 views

### the triangle inequality for shortest paths of graphs [on hold]

In why-the-triangle-inequality
I found the statement:
for example if $d(a,b)$ measures the "length" of the "shortest path" between points $a$ and $b$ (and this can be interpreted quite ...

**0**

votes

**0**answers

133 views

### Is this topological looking space metrizable?

First of all I am sorry if something is missing or if I am making a mistake. I am a bit new in this field. The question is as follows:
The topology that is considered is called gross error model, or ...

**5**

votes

**1**answer

251 views

### Adding a real with infinite conditions

Consider the forcing $\Bbb P$ whose conditions are partial functions $p\colon\omega\to2$ with $\operatorname{dom}(p)$ a co-infinite subset of $\omega$, ordered by reverse inclusion.
Does $\Bbb P$ ...

**10**

votes

**1**answer

172 views

### Parametric solutions of Pell's equation

Given a positive integer $n$ which is not a perfect square, it is well-known that
Pell's equation $a^2 - nb^2 = 1$ is always solvable in non-zero integers $a$ and $b$.
Question: Let $n$ be a ...

**5**

votes

**1**answer

137 views

### Generic filters of inverse limits

Maybe this doubt is silly, but I do not understand the final step of the proof of Lemma 5.2 in Hamkins' paper Fragile measurability, Journal of Symbolic Logic 59 (1994) 262-282.
There, $\mathbb ...

**1**

vote

**0**answers

80 views

### Reference request for the relation of Ext groups and bar construction

I need a reference for the description of Ext groups in mixed categories (i.e. abelian categories with a weight filtration and semisimple graded quotients) by using the bar complex, as mentioned in ...

**2**

votes

**0**answers

42 views

### Compiling self-referential forms

Fix $1\leq d\in\mathbb{N}$ and set $D:=\{0,1,\ldots,d-1\}$.
Consider the system of equations
\begin{equation}
x_i=c_i + \sum_{j\in D}\delta_{x_j,i}
\end{equation}
with $c_i\in D$ given and $x_i\in D$ ...

**-2**

votes

**0**answers

59 views

### When can the group of permutations generated by the translations of a group be identical with the group of all permutations on this group? [on hold]

Let G be a finite (multiplicative) group of order n and P be the group of order n! of all permutations on the set G. For every element a in G, let L(a) be the left translation of a in G be defined as ...

**-3**

votes

**0**answers

34 views

### Calculation of Fourier Transform [on hold]

I am trying to calculate the Fourier Transform (with respect to k) of the following function:
$\frac{1}{\sqrt{k^2 + 1} - C}$
where $C$ is some complex number.
Does anyone knows how to do that?

**1**

vote

**0**answers

59 views

### Probabilistic statement on matrix ranks

Given $A\in\{0,1\}^{n\times n}$ with $rank(A)=r=2^{O(\sqrt{\log_2n})}$.
Denote $\mathsf{1_n}\in\{0,1\}^n$ as vector with $1$s.
Does
$$\lim_{n\rightarrow\infty}\mathsf{P_{A\in\{0,1\}^{n\times ...

**3**

votes

**1**answer

92 views

### Can every finite abelian $p$-group with duality pairing be written as cokernel of a symmetric matrix over the $p$-adic integers?

Let $G$ be a finite abelian $p$-group (where $p$ is a prime). Suppose there exists a symmetric bilinear map $\delta\colon G\times G\to \mathbb{Q}/\mathbb{Z}$ such that the induced map $g\to\langle ...

**2**

votes

**0**answers

115 views

### A morphism of elliptic schemes that preserves the identity is a homomorphism

I am trying to understand the proof of the fact that any morphism $f \colon E_1 \rightarrow E_2$ of elliptic curves over an arbitrary base scheme $S$ satisfying $f(0) = 0$ must respect the group ...

**2**

votes

**0**answers

88 views

### Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series;
1) multiplicative inversion for quadratic algebras,
2) compositional inversion for quadratic operads,
3) ...

**7**

votes

**1**answer

172 views

### Can any object in a presentable category be written as a colimit of generators?

Let $\mathcal{C}$ be a presentable category, and let $S$ be a set of objects such that $S$ generates $\mathcal{C}$ under colimits, i.e., such that the smallest cocomplete subcategory of $\mathcal{C}$ ...

**13**

votes

**2**answers

215 views

### Can all unit-distance graphs have their vertices at algebraic integers?

A graph $G$ is described as a unit-distance graph if there exists a function $f:G \rightarrow \mathbb{C}$ such that for every edge $(u,v) \in E(G)$, we have $|f(u) - f(v)| = 1$.
Obviously, we can ...

**2**

votes

**0**answers

47 views

### References for elliptic integral

I'm trying to learn more about the most general elliptic integral, that is, an integral of the form
$$\int\frac{A(x)}{B(x)\sqrt{S(x)}}$$
where $A(x), B(x)$ are arbitrary polynomials and $S(x)$ is ...

**2**

votes

**0**answers

44 views

### Convergence in distribution of stochastic equation solutions

I post this post en MSE (link) but I think that is more suitable for this site.
I'm studying from Kurtz's book "Markov Processes Characterization and convergence" and I have a question about the ...

**3**

votes

**0**answers

74 views

### Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that
$f$ is proper, flat, and of finite presentation;
...

**-4**

votes

**0**answers

20 views

**-7**

votes

**1**answer

87 views

### The P VS NP problem as relates to factoring [on hold]

Good Day all,
If someone could prove there is no simple way to factor an integer, and show searching is absolutely required, would that also prove P is not equal to NP?
Thanks in advance for your ...

**6**

votes

**0**answers

60 views

### When is a smooth function locally equivalent to a truncation of its Taylor series?

Let $U \subset \mathbb{R}^n$ be an open set and let $f:U \rightarrow \mathbb{R}$ be a smooth proper function. For $p \in \mathbb{R}^n$ let
$$T_p(x_1,\ldots,x_n) = \sum_{i_1,\ldots,i_n=0}^{\infty} ...

**2**

votes

**0**answers

51 views

### On subset of Deterministic games

Denote strings $u,v$ from $\{0,1\}^n$.
Denote concatenated pair $[uv]$.
Denote
$$[uv]_{1}=\{[uv]\oplus e_i\}_{i=1}^{2n}$$
collection of pairs with Hamming distance $1$ from $[uv]$ string ...

**0**

votes

**0**answers

80 views

### When does a hyperelliptic Riemann surface admit a map of degree 3

Let $X$ be a hyperelliptic curve of genus $g>1$.
For which $g$ does $X$ admit a map $X\to \mathbb P^1$ of degree $3$?
I think a genus two curve $X$ admits a map of degree $3$.
Proof: Pick $P$ ...

**2**

votes

**1**answer

85 views

### Legendre transform and Lipschitz approximation

Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function ...

**0**

votes

**0**answers

48 views

### Existence of a complementary closed subspace extending a given subspace

Let $H$ be an infinite dimensional (separable) Hilbert space (or any infinite dimensional Banach space in which every closed subspace has a complementary subspace). Suppose that $X$ and $Y$ are closed ...

**5**

votes

**0**answers

70 views

### Can a symplectic manifold be recovered from its Lagrangians?

Something I have wondered idly about from time to time is:
If $(M,\omega), (M',\omega')$ are symplectic manifolds, and you "know what the Lagrangians $L \subset M$ resp. $L' \subset M'$ are," can ...

**-2**

votes

**0**answers

39 views

### How do you describe this ordinal filter? [on hold]

I am creating a filter that takes the 4th highest out of each 13 values and does this to filter an array (so it is almost like a median filter). I want to describe it in my research paper. Could I go ...

**8**

votes

**0**answers

155 views

### Do canonical stacks exist over Spec(Z)?

Suppose a scheme $X$ has tame quotient singularities. Does there exist a smooth DM stack $\mathcal X$ with coarse space $X$ so that the coarse space morphism $\mathcal X\to X$ is an isomorphism ...

**7**

votes

**0**answers

76 views

### What Is The Minimal Monomial of the Symmetric Group?

In the symmetric group $S_n$ what is the shortest sequence $c_1,\ldots,c_k\in S_n$ such that, for all $x\in S_n$ the following product of conjugates of $x$:
$$x^{c_1}x^{c_2}\ldots x^{c_k}$$
equals the ...

**8**

votes

**2**answers

187 views

### Certain signed sum over $S_n$

The following question appeared in my research:
Let $G_1,G_2,G_3$ all be subgroups of $S_n$, and consider the sum
$$
\sum_{g_i \in G_i, g_1g_2g_3 = id} \epsilon(g_1)
$$
that is, we only consider ...

**0**

votes

**0**answers

19 views

### Interesting properties of complex Gateaux derivatives

The complex Gateaux derivatives are for $\psi=\psi_{1}+i\psi_{2}$ and functional F
$dF(\psi,\xi)=d_{\psi_{1}}F(\psi_{1},\xi_{1}-id_{\psi_{2}}F(\psi_{2},\xi_{2}$ and ...

**0**

votes

**0**answers

28 views

### Dependence of weak solution of an equation on a parameter

For each $p \in [a,b]$, let $X_p$ be a Hilbert space with $Y_p \subset X_p$ a subspace and we are given a bilinear form $a_p(\cdot,\cdot):X_p \times X_p \to \mathbb{R}$.
Given $u_p$ with $p \mapsto ...

**2**

votes

**0**answers

97 views

### Invariant generalized sections of dual vector bundles

Assume X is a real smooth manifold with an action of the real Lie group G. Let E be a G-vector bundle over X. Consider the spaces of generalized sections over X of E, and of E^* (fiberwise dual). My ...

**1**

vote

**0**answers

15 views

### Phase of the inner product between the elements of an ETF

I am doing research in compressive sampling for Cognitive Radio applications. While working on a project I came across with the following question:
Is there any research about the phase of inner ...

**7**

votes

**1**answer

103 views

### A positivity problem involving the number of ways of expressing $n$ as a product of $k$ factors

Let $d_k(n)$ denote the number of ways of expressing $n$ as a product of $k$ factors, and let $$D_k(x)=\sum_{n\leq x}d_k(n)$$ be the summatory function. During a study of Mertens' function I was lead ...

**0**

votes

**0**answers

85 views

### The amenable aspect of $F_{2}$ [on hold]

We fix an embedding of $F_{2}$, the free group on two generators, in $SO3$ and we put $G=\bar{F_{2}}$. Then we construct the following $C^{*}$ algebra: $$A=C^{*} G \sim C^{*}_{r} G $$
What ...

**0**

votes

**0**answers

30 views

### Showing existence of positive weak solution of a PDE by CoV

Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, ...

**2**

votes

**0**answers

31 views

### Is $LIS(\pi)+LIS(\sigma)+LIS(\sigma\pi^{-1})$ lower bounded?

In the title, $LIS$ stands for the length of longest increasing subsequence and Greek letters stand for permutations from symmetric group $S_n$.
Considering some cases such as ...

**-3**

votes

**0**answers

72 views

### What is the full subcategory of $\it{Cat}$ consisting of categories $\mathbb{C}$ where $\mathsf{ob}(\mathbb{C}) = \mathsf{arr}(\mathbb{C})$ hold? [on hold]

Let $\it{Cat}'$ be the full subcategory of $\it{Cat}$ such that
$ \mathsf{ob}(\it{Cat}') = \{ \mathbb{C} \in \it{Cat} \mid \mathsf{ob}(\mathbb{C}) = \mathsf{arr}(\mathbb{C}) \}$.
The questions are as ...