# All Questions

**2**

votes

**0**answers

22 views

### A question of Erdos on entire functions

At the end of the following paper, Erdos asked if there is a family $F$ of entire functions of size continuum such that for every $z \in \mathbb{C}$, $\{f(z) : f \in F\}$ has size less than continuum. ...

**1**

vote

**0**answers

9 views

### The representation theory for the fake Heisenberg groups over non-perfect local field

Let $K$ be a local field of characteristic $p$, where $p$ is a prime number greater than 2. In particular, $(x+y)^p=x^p+y^p$ for $x,y\in K$.
The fake Heisenberg group is defined to be
$$
...

**0**

votes

**0**answers

27 views

### What are constructions for induced $C_5$-free graphs?

During a recent workshop, the question came up whether there are some constructions for graphs that are induced $C_5$-free, but they contain "everything else," so we don't want to forbid $C_5$'s, ...

**0**

votes

**1**answer

56 views

### Worst case difference in rank by column-row swapping

Given a matrix $m\in\{-1,+1\}^{n\times n}$. Consider $m^\sigma$ to be collection of all matrices obtained from $m$ by permuting rows and columns.
Consider $\mathscr{M}[m^\sigma]$ to be collection of ...

**0**

votes

**1**answer

62 views

### Does the forgetful functor from presentable $\infty$-categories to $\infty$-categories preserve filtered colimits?

Marc's answer to my previous question gives a way to compute colimits in the category of presentable $\infty$-categories and continuous functors, using the (discontinuous) right adjoints to those ...

**3**

votes

**0**answers

85 views

### homology fibrations induced by actions of topological monoids

In the paper Homology fibrations and group completion theorem, McDuff-Segal, page 280, lines from bottom 3-6, Proposition 2:
If $M$ is a topological monoid which acts on a space $X$, and for each
...

**3**

votes

**0**answers

152 views

### Uniformly small sums of roots of unity

I have considerable numerical evidence that
for all $0\leq k\leq{{n-1}\over 2}$ ($n$ odd) there exists a subset $
S_k$ of {1,2,...,n} of cardinality $k$
such that the modulus square of ...

**1**

vote

**0**answers

66 views

### Compact finite dimensional group

Suppose that $G$ is a compact, finite dimensional topological group (finite dimensional as a topological space). Does it follows that $G$ can be faithfully represented on some $U(n)$ (in other words, ...

**2**

votes

**0**answers

58 views

### Does the following $ C^{*} $-algebraic result have a purely algebraic proof?

While studying the proof of Bott periodicity for operator $ K $-theory in this set of notes, I learned this fact:
Theorem. Let $ A $ and $ B $ be $ C^{*} $-algebras. Let $ f,g: A \to B $ be $ * ...

**2**

votes

**1**answer

23 views

### Fixed point iteration on symmetric biconvex function

Suppose $X\subseteq\mathbb{R}^n$ is a convex set and that a function $g(x,y):X\times X\rightarrow\mathbb{R}_+$ is smooth, "strictly biconvex" (strictly convex in $x$ and $y$ independently but not ...

**1**

vote

**0**answers

35 views

### a topos without an underlying boolean topos

I remember an example of a topos that does not have an underlying Boolean topos.
My problem is, I cannot find where I saw it.
The solution is supposed to have Setf and Set, and the objects of the ...

**9**

votes

**6**answers

789 views

### Algorithms for calculating R(5,5) and R(6,6)

Calculating the Ramsey numbers R(5,5) and R(6,6) is a notoriously difficult problem. Indeed Erdős once said:
Suppose aliens invade the earth and threaten to obliterate it in a year's time unless ...

**0**

votes

**0**answers

26 views

### To fast invert a real symmetric positive definite matrix that is almost similar to Toeplitz [migrated]

It is well known how to solve a Toeplitz system Ax = b, of a matrix A, n x n elements, ...

**0**

votes

**1**answer

133 views

### Is the Gysin morphism equivariant?

Let $X$ be a smooth, projective complex variety and $j \colon D \hookrightarrow X$ a smooth divisor. Then we have a Gysin morphism in singular cohomology
$$
j_\ast \colon H^{\bullet}(D) \to ...

**2**

votes

**2**answers

125 views

### Lower bound for $ \sum_{i=1}^n x_i f(x_i)$ when $\sum_{i=1}^{n}x_i = K$

Considering,
the set of all n dim. vectors $\{x_i\}_{i=1,...,n} $ such that $x_i \geq 0 $ and $\sum_{i=1}^{n}x_i = K$
Any continuous and strictly increasing function $f^+(x)$ : $ \mathbb R^+ \to ...

**2**

votes

**1**answer

72 views

### What is the cokernel of a map of presentable stable $\infty$-categories?

Let $C$ and $D$ be presentable stable $\infty$-categories, and let $f:C \to D$ be a continuous functor between them. Let $0$ be the trivial stable $\infty$-category. What is the colimit of the ...

**9**

votes

**0**answers

119 views

### Minimum value of $|p(1)|^2+|p(2)|^2 +…+ |p(n+3)|^2$ over all monic polynomials $p$

Let $n$ be a positive integer. Determine the smallest possible value of $|p(1)|^2+|p(2)|^2 +...+ |p(n+3)|^2$ over all monic polynomials $p$ of degree $n$.
This question was proposed (problem ...

**5**

votes

**0**answers

86 views

### Radical of a polynomial values

It has been observed by Langevin and Elkies that the following holds:
Assume that the $ABC$- conjecture is true. Suppose that $f(x)\in\mathbb{Z}[x]$ has no repeated roots. Fix $\varepsilon >0.$ ...

**5**

votes

**0**answers

119 views

### Log smooth models for abelian varieties

Let $K$ be a field which is complete for a discrete valuation. Assume that the residue field has characteristic $p > 0$. Let $A$ be an abelian variety over $K$ having the property that (for some ...

**-14**

votes

**0**answers

88 views

### HISTORY OF MATHEMATICS [on hold]

WHAT TYPE OF MATHEMATICS ARE THE GREEKS KNOWN FOR? history of mathematics
WHICH GREEK MATHEMATICIAN IS KNOWN FOR HIS WORK ON CONIC SECTIONS?
WHAT ARE THE CONIC SECTIONS?
WHAT INFLUENTIAL BOOK DID ...

**4**

votes

**2**answers

158 views

### Is the $\infty$-category of presentable $\infty$-categories presentable?

Let $\mathit{Pr}^L$ be the $\infty$-category of presentable $\infty$-categories and continuous functors in some universe. Is it presentable itself a larger universe?

**-4**

votes

**0**answers

38 views

### Gamma Functions [on hold]

Writing the Integral Equation of the gamma function
I(n)=n-1*I(n)
is there a way to prove, if possible, that there exists only one gamma function?
Please Help!

**0**

votes

**0**answers

42 views

### Detailed example of a skew field different from Hamilton quaternion [migrated]

Do you have a reference of a detailed construction of a skew field different from the quaternions from Hamilton? I would appreciate if that would be accessible from the Internet.

**8**

votes

**2**answers

341 views

### Stability of the Solar System [on hold]

My question is simple:
Is the Solar System stable?
You can see this Wikipedia page.
In May 2015 i was in the conference of Cedric Villani at Sharif university in Iran with this title: "Of ...

**4**

votes

**0**answers

67 views

### Does the critical sequence for subalgebras of elementary embeddings with finitely many generators have order type $\omega$?

Suppose that $\lambda$ is a cardinal. Let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $j,k\in\mathcal{E}_{\lambda}$, then define
...

**5**

votes

**2**answers

659 views

### Idea of using etale site

I have just read an article which mentions that, when Grothendieck considered using etale morphism, he did borrow the idea from Riemann that multivalued function on an open subset of complex plane ...

**1**

vote

**0**answers

52 views

### Generalization of Pitt's theorem

Pitt's theorem (Pitt 1937), states that the one-dimensional Fourier tranform is well defined and continuous between the weighted spaces $L^p(\mathbb{R},|x|^{bp}dx)$ and $L^q(\mathbb{R},|x|^{\beta ...

**2**

votes

**2**answers

61 views

### Integrals involving the Tricomi hypergeometric function

I am looking for a reference for the two following equalities involving the Tricomi function $U$ and the Meijer function $G$. I have found these formulas on the website http://functions.wolfram.com/, ...

**6**

votes

**1**answer

82 views

### Counting equivalence relations with marked classes

The number of equivalence relations on a set of $n$ elements is the Bell number $B_n$.
If we wish to count the number of equivalence classes on a set of $n$ elements where one of the classes is ...

**0**

votes

**0**answers

63 views

### A question about a specific inverse proposition of Combinatorial Nullstellensatz

From the Hilbert's Nullstellensatz, we have the following consequence which is usually called Combinatorial Nullstellensatz:
Let $F$ be an arbitrary field, and let $f = f(x_1,x_2,\cdots,x_n)$ be a ...

**0**

votes

**0**answers

114 views

### How to prepare a radical change of research field after the PhD [duplicate]

I am in the middle of my PhD in functional analysis. My undergraduate studies were focused on pure theory and so it was logical to continue in this direction. However, recently I got into contact with ...

**2**

votes

**0**answers

64 views

### Rank of a particular matrix

Denote $P_{2n}$ to be collection of homogeneous total degree $2$ real polynomials in exactly $2n$ variables such that coefficient of every monomial is either $1$ or $-1$.
Split variable set into ...

**5**

votes

**2**answers

194 views

### Upper bound for number of prime numbers in a range

Theorem 3.2 in http://arxiv.org/pdf/1405.2593.pdf shows that for any $x$ there are $\gg x\exp(-\sqrt{\log x})$ integers $x_0 \in [x; 2x]$ such that $\pi(x_0 + \log x) - \pi(x_o) \gg \log\log x$.
Is ...

**0**

votes

**0**answers

19 views

### Ergodicity property for continuous-time Harris positive Markov process

I have posted this question on there, but got no answer.
The following theorem is Theorem 13.3.3 of Meyn and Tweedie's Markov Chains and Stochastic Stability on page 328:
Theorem 13.3.3. If ...

**1**

vote

**0**answers

18 views

### Small degree vertices in an epsilon-tough graph

We say that a graph is t-tough if by deleting a set if vertices $S$, the resulting graph will have at most $|S|/t$ connected components. We say that a graph is minimally t-tough if the deletion of an ...

**-1**

votes

**0**answers

21 views

### Freedom of speech in scientific discussions - An invitation to more tolerance in Scientific debates [migrated]

I hope this post enjoys some tolerance, and don't get closed or put on hold immediately.
I believe that freedom of speech in scientific discussions is one of the key values which enriches the debates ...

**-1**

votes

**0**answers

81 views

### picard group of a cyclic cover

I want to find any result about the picard group of a ramified double cover of a projective plane.
Isn't there any general result about this case unlike ruled surface?
Can you recommend any good ...

**2**

votes

**1**answer

143 views

### Existence of Hecke operators with distinct eigenvalues?

Consider the space of modular forms $M_k(N)$. Any modular form $f \in M_k(N)$ is determined by a finite number of Fourier coefficients (e.g., Sturm's bound), thus there is a finite set of Hecke ...

**0**

votes

**0**answers

233 views

### Set as a (strict) infinite-category?

First, let me say that I have no idea if such a post has its place here. However, I believe that the ideas I'm going to present are important. The goal of this thread is three fold:
1) trying to ...

**3**

votes

**1**answer

301 views

### $\pi_8(S^5)=\pi_8(SO(6))=\mathbb{Z}/24$?

I am currently thinking about a physics model related to framed bordism $\Omega_3^{fr}=Z/24=\pi^s_3$, and the first stable example is $\pi_8(S^5)$, so I was curious about the generator, and happened ...

**1**

vote

**1**answer

88 views

### Symplectic form on the third symmetric power of a plane

Let $V$ a vector space of dimension $2$ over a field $k$ of characteristic different from $2$ and $3$. Let $S^{3}V$ the third symmetric power of $V$.
How to construct a symplectic form on $S^{3}V$ ...

**3**

votes

**0**answers

47 views

### How small can the Mumford-Tate group of hypersurface be?

Is there some way of giving a lower bound on the dimension of the Mumford-Tate group of a hypersurface? Let's say it's of general type, say, of degree $10$ inside $ \mathbb{P}^3$.
I would expect the ...

**4**

votes

**0**answers

75 views

### Visibility in a prime orchard

This suggests a variant on Polya's orchard problem.
That problem asks1
for which radius $\epsilon$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the ...

**-1**

votes

**1**answer

83 views

### Bijection between dominant rational maps and morphisms of function fields?

Let $X$ and $Y$ be two integral schemes of finite type over a field $k$. Consider the function fields $K(X)$ and $K(Y)$.
Do we have a bijection between:
(a) Dominant rational maps $X \rightarrow Y$
...

**-1**

votes

**0**answers

62 views

### lie derivative on complex manifold

Let $M$ be a complex manifold with complex structure $J$.
Then for any smooth vector field $X$ on $M$ can be splited into its holomorphic and anti-holomorphic components $X=Z+\overline{Z}$. For any ...

**3**

votes

**0**answers

59 views

### Rectifying the definition of a closed category

The definition of a closed category I'm using is here.
Suppose $V$ is a closed category and that for each object $b\in V$, $[b,-]$ has a left adjoint $- \otimes b$. The result is nearly a monoidal ...

**1**

vote

**0**answers

70 views

### Orientation form on the blow up of a Kaehler manifold

Let $(X,\omega)$ be a complex Kaehler manifold of (complex) dimension $d$, and let $Y\subset X$ a complex submanifold of dimension $k$. Evidently $[\omega]^d\in H^{2d}(X,{\mathbb{R}})$ is always ...

**2**

votes

**1**answer

121 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**12**

votes

**4**answers

649 views

### Determining if a matrix is orthogonal

Let g be an element of $GL_n(\mathbb C)$. We know that there are orthogonal groups $O(\beta)=\{X\in GL_n(\mathbb C) \mid X^t\beta X=\beta\}$ for any $\beta$, invertible symmetric matrix. Though these ...

**39**

votes

**2**answers

2k views

### Arctangents of odd powers of the golden ratio

While trying to answer this MSE question, I found that arctangents of many odd powers of the golden ratio $\varphi=\frac{1+\sqrt5}2$ are expressible as rational linear combinations of arctangents of ...