All Questions

For $a,b \in \omega$ with $a > 0$, let $f_{a,b}: \omega\to\omega$ be defined by $n \mapsto an+b$. What is an example of an infinite binary string $b:\omega\to\{0,1\}$ with the following property? ...

Set-theoretic paradoxes noted by Russell and others led to attempts to produce a consistent set theory as a foundation for mathematics. (Stanford Encyclopedia of Philosophy. Inconsistent Mathematics) ...

Let $σ$ be the sum-of-divisors function. Let $σ(n)/n$ be the abundancy index of $n$. Consider the density map $$f(x) = \lim_{N \to \infty} f_N(x) \ \ \text{ with } \ \ f_N(x) = \frac{1}{N} \#\{ 1 \...

For $m,n\in \mathbb{N}$, denote the Kloosterman sum $$S(m,n;c)=\sum_{a\bmod c}e\left( \frac{ma+n \overline{a}}{c}\right),$$where $\overline{a}$ denotes the multiplicative inverse of $a\bmod c$. Does ...

In this post we denote the sequence of prime numbers as $p_k$ for integers $k\geq 1$. I don't know if the following definition is in the literature. Definition. We define the $\theta$-strong primes, ...

This question is motivated by the vector field question I asked recently. Panagiotis Konstantis answered this question for odd manifolds and I am trying to figure out the even case. Let $M$ be a ...

The question is inspired by Abel Plana summation formula : Is there a general class of functions $f$ that are positive valued on the positive real axis, and which satisfy the following $$\int_0^\infty ...

This is a question to research mathematicians, as well as to those concerned with the history and philosophy of mathematics. I am asking for a reference. In order to make the reference request as ...

I am trying to find the integral of the following function: $\int\limits_0^{2\pi } {Q\left( { - (e\cos (a + \theta )\sqrt{x} + g} \right))Q\left( { - (f\sin (a + \theta )\sqrt{x} + h} \right))d\theta }...

Let A be a convex polygon with area SA. Construct a new polygon B by orderly connecting the midpoints of the segments of A. Denote the area of B by SB. Claim : the ratio SB/SA is constant for all ...

I am struggling to find a clear source of information on-line that will help me understand how to convert a fuzzy weight for a linguistic preference to a crisp value. For instance, below we have a ...

Let $G$ and $H$ be Lie Groupoids. We know that there are two notions of equivalences of Lie Groupoids: Strongly Equivalent Lie Groupoids: (My terminology) A homomorphism $\phi:G \rightarrow H$ of ...

Let $(R, \mathfrak{m})$ be a Noetherian local ring and $M$ is a finitely generated $R$-module of depth $t$. It is well-known that every maximal regular sequence of $M$ has length $t$. Recalling that $...

Many of the introductory notes on generalized equivariant cohomology theories assume that one is working over the category of $G$-spaces or $G$-spectra. However, one thing that concerns me is that the ...

Let $G$ be a profinite group. Then the category of discrete $G$-modules have enough injectives. Now I have a category of finitely generated and torsion $G$-modules with continuous $G$-action. Does ...

Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...

Is there an isometric embedding of the modular surface $X(1)=PSL(2,\mathbb{Z})\backslash \,\mathbb{H}$ into the Euclidean 3-space? For all I know this may be an open problem but I am also curious if ...

This configuration appear as problem 3845 in Crux Mathematicorum. I see it is very beautiful. This configuration are generalization of Pascal theorem and Brianchon theorem: Consider six points $A_1$, $...

Let $F$ be a $p$-adic field and let $X$ be a smooth integral variety over $F$ (I am chiefly interested in the case when $X$ is a connected reductive group over $F$). Let $U$ be a non-empty open subset ...

Consider the equation $$ \frac{\partial f}{\partial t} + u \cdot \nabla f - \Delta f = 0 $$ in $(0,T) \times \mathbb R^N$, with initial condition $$ f \vert_{t=0} = f_0 $$ for some given $f_0 \colon \...

In Peter Petersen words, Gromov Betti number estimate is considered one of the deepest and most beautiful results in Riemannian geometry; which asserts that Theorem (Gromov 1981). There is a constant ...

Let $R$ be a finitely generated $\mathbb{Z}$-algebra with an [edit: linear algebraic] action of $G(\mathbb{Z})$ where $G$ is a split simply-connected semisimple group. Then for any prime $p$ we have a ...

I studied basic algebraic topology elements: fundamental group, higher homotopy groups, fibre bundles, homology groups, cohomology groups, obstruction theory, etc. I want to study Rational Homotopy ...

Let $N_5$ denote the non-orientable surface of genus 5. In Conder's database https://www.math.auckland.ac.nz/~conder/BigSurfaceActions-Genus2to101-ByGenus.txt we can see that the biggest finite group $...

As I said in my previous posts, I'm trying to teach myself some rigorous statistical mechanics/statistical field theory and I'm primarily interested in $\varphi^{4}$, but I know that the absense of ...

Let $X$ be a complex manifold and $\omega\in \Omega(X\times \mathbb{P}^1)$ a form. I met the following identity: $$\int_{\mathbb{P}^1}(\partial_z\bar{\partial}_z\omega) \log|z|^2=\int_{\mathbb{P}^1}\...

I am looking for a sequence of functions $f_n,n\geq 1$ in $L^2(\mathbb R)$ such that $f_n$ is equal to $1$ on $[-n,n]$ and $\hat{f_n}$ vanishes on $[-1,1]$. Actually, I would also like $f_n$ to be $...

Given a linear diophantine equation $$x_1+\dots+x_n=m\leq nn'$$ how many solutions does it have with each $x_i\in[0,n']\cap\mathbb Z$? Looking for asymptotics that parametrizes well with both $n$ and $...

Suppose that $M$ is a compact manifold with corners, where each boundary hypersurface is an embedded submanifold. Then, do we have an integration by parts identity? i.e. \begin{align*} \int_M g(\nabla ...

Consider a rectangular Young diagram $\lambda$ with $n = pq$ boxes, with $p$ rows and $q$ columns. If $C$ is the column preserving subgroup of $\lambda$ and $R$ is the row preserving subgroup, then we ...

If we have a SVM that already classifies a training set. Is it possible to remove examples from the training set and still produce the same SVM?

I have a couple of questions about dealing with homotopy (co)limits cocomplete triangulated categories. Question I:The first one concerns a comment by Peter Arndt in this discussion about derived ...

I'm trying to solve this form of Fredholm equation: $$ g(v)=f_1(v)+\int\limits_{0}^{v_\mathrm{th}} g(v_s)\frac{e^{-\tfrac{\big[(v-v_\mathrm{init})-(1-v_\mathrm{leak})(v_s-v_\mathrm{init})\big]^2}{2v_\...

Let $ a = (a_1,a_2, \ldots,a_{10})\in \{ 0,1\}^{10 \times 1}$ be a binary column vector of length $10$. How to find $x_{i,j} \in \{ 0,1\}^{1 \times 10}$, $i\in \{1,2,3,4,5\}$, $j \in \{1,2,3\}$ (...

The question "Every mathematician has only a few tricks" originally had approximately the title of my question here, but originally admitted an interpretation asking for a small collection ...

A manifold is called prime if whenever it is homeomorphic to a connected sum, one of the two factors is homeomorphic to a sphere. Is there an example of a finite covering $\pi : N \to M$ of closed ...

Setting Suppose $\mu_n$ is a sequence of probability measures on $[0,1]\times [0,1]$ converging to a limit probability $\mu$ meaning that $$ \lim_{n\to+\infty}\int f(x,y)d\mu_n(x,y) = \int f(x,y)d\mu(...

Given an interval $[a,b]$ what is the minimum degree of univariate polynomials in $\mathbb Q[x]$ that passes through all primes between $a$ and $b$ (denoted by $\mathbb P[a,b]$ with total number of ...

Let $M$ be a compact, connected, orientable surface and $\varphi_1,\varphi_2$ be two orientation-reversing involutions (i.e., diffeomorphisms for which $\varphi^2=Id$) such that the fixed-point set ...

Since a σ-algebra in measure theory is indeed an algebra over $\mathbb{Z}_2$ with addition given by symmetric difference and multiplication given by intersection, does it mean we can put measure on ...

Let $E$ be a $\mathbb R$-Banach space $(T_n(t))_{t\ge0}$ and $(T(t))_{t\ge0}$ be strongly continuous contraction semigroups on $E$ with generators $(\mathcal D(A_n),A_n)$ and $(\mathcal D(A),A)$, ...

In https://arxiv.org/abs/2002.05422 I proved with elementary topological methods that a smooth planar curve with total turning number a non-zero integer multiple of $2\pi$ (the tangent fully turns a ...

Let $C$ be the nodal curve obtained by gluing together the points $0$ and $1$ of $\mathbb{A}^1_{\mathbb{C}}$. The topological fundamental group of $C$ is isomorphic to $\mathbb{Z}$. One can find an ...

A subset of $\mathbb{R}^n$ is $G_\delta$ if it is the intersection of countably many open sets $F_\sigma$ if it is the union of countably many closed sets $G_{\delta\sigma}$ if it is the union of ...

What is an upper bound on the chromatic number of the square of a tree on $n$ vertices? Note that the power of the graph is considered in this sense. If the tree were a path, then it is easy to see ...

Let $f,g\in H^1(\Omega)$ where $\Omega$ is a sufficiently nice bounded domain in $\mathbb{R}^2$. If $\{\cdot,\cdot\}:H^1(\Omega)\times H^1(\Omega)\to L^2(\Omega)$ is the Poisson bracket, is there some ...

$\DeclareMathOperator\U{U}\DeclareMathOperator\O{O}$Schur functions $s_\lambda(x)$ with $\lambda\vdash n$ are simultaneously the irreducible characters of the unitary group $\U(N)$ and proportional to ...

Consider a self-adjoint matrix $M$ that has block form $$M = \begin{pmatrix} M_{11} & M_{12} \\ M_{12}^* & M_{11} \end{pmatrix}.$$ I am wondering if there exists any criterion to decide if ...

In this paper from 2010 https://cmuc.karlin.mff.cuni.cz/pdf/cmuc1001/arhangav.pdf Arhangelskii asks if there is a quotient of a second countable locally compact Hausdorff space which is Frechet-...