# All Questions

**-3**

votes

**0**answers

37 views

### linear inequalities [on hold]

A factory manufacturers 2 types of coffee tables A and B. each table goes through two distinct costing stage, assembly and finishing. the maximum capacity for assembly is 195hrs and for finishing is ...

**2**

votes

**0**answers

33 views

### max volume of inscribed simplex in a ball

Let $B_n$ be the $n$-dimensional unit ball, and $B_n(\epsilon)$ be the spherical cap with height $\epsilon$ I am interested in the quantity
$$\Gamma:=\sup_{\Delta:\textrm{ inscribed simplex in ...

**4**

votes

**2**answers

172 views

### Bound on a scaled sum of the Liouville function

Terence Tao has shown see his blog post that
$$\left| \sum_{n\leq x} \frac{\mu(n)}{n} \right|\leq 1,$$
for $x$ a positive real number, where $\mu(n)$ is the Möbius function. Let $\lambda(n)$ denote ...

**7**

votes

**1**answer

195 views

### A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...

**6**

votes

**4**answers

263 views

### Expected value of a function over random sets

I am doing an analysis on the complexity of some set-related algorithm where the input is a random set. One of my setbacks can be formulated as follows:
Pick $k$ distinct numbers out of numbers ...

**1**

vote

**0**answers

60 views

### Bound on the sum of arguments

Problem: Show that for all real $s,t,u$ and all complex $z$ with $|z|<1$ one has
$$(*)\qquad \arg\frac{1-zf(s-u)}{1-zf(s+u)}
+\arg\frac{1-zf(t+u)}{1-zf(t-u)}<\pi,
$$
where $f$ is the ...

**2**

votes

**0**answers

49 views

### Nonlinear things that one can do to a probability density function [migrated]

Say $f(x)$ is a smooth probability density function on $\mathbb{R}^n$ with compact support region. This wikipedia page
http://en.wikipedia.org/wiki/Maximum_entropy_probability_distribution
explains ...

**-1**

votes

**0**answers

92 views

### What is the status of CDS - Tian controversy on K-stability conjecture? [on hold]

May I ask what is the status of CDS - Tian controversy on K-stability conjecture? Which side provided the original idea? Which side copied others? Which side did the real work? The papers has been out ...

**5**

votes

**0**answers

84 views

### Intersections of the B-orbits and the orbits of some other Borel subgroups in the flag variety G/B

This is a follow-up of this previous question below:
Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$
Let $G = SL_n(\mathbb{C})$, $B$ be the standard Borel subgroup, and consider some ...

**7**

votes

**2**answers

466 views

### Most dense subset of numbers that avoids arbitrarily long arithmetic progressions

The famous Green-Tao theorem says that there exist arbitrarily long sequences of primes in arithmetic progression.
I am wondering: How dense can a subset $S \subset \mathbb{N}$ be and still avoid
...

**3**

votes

**1**answer

62 views

### Composition of spectral measures

Let $f: \mathbb{R}\rightarrow \mathbb{C}$ be a measurable function, $H$ some Hilbert space and
$$ f_E := \int_{\mathbb{R}} f dE$$ for some spectral measure $E$.
Now, my question is: When do we have ...

**1**

vote

**0**answers

49 views

### Weakly group theoretical fusion category and subsystems

Let $\mathcal{C}$ be a fusion category and $H$ a semi-simple finite weak Hopf algebra such that $\mathcal{C}(H) = \mathcal{C}$.
Suppose that for every nontrivial left coideal subalgebras $S$ of $H$ or ...

**4**

votes

**1**answer

179 views

### Massey products and $A_{\infty}$ structures

I know the general theorem of Kadeishvili which says that, for a DGA $C$, when $H^{i}(C)$, $i\geq 0$, is free, $H(C)$ can be made into an $A_{\infty}$ algebra. If my understanding is correct, the ...

**4**

votes

**0**answers

133 views

### Automorphisms of a quotient variety

Let $X$ be a variety, and $G\subset Aut(X)$ a subgroup of the automorphism group of $X$. Assume that the quotient $Y = X/G$ is a variety. Does there exist some simple relation between $Aut(X)$, $G$ ...

**2**

votes

**1**answer

105 views

### Existence of Steiner system designs given $n,k,t$

I am familiar with the recent Keevash paper here which proves that given some $t,n,k,\lambda$ then provided standard divisibility conditions hold, and $n$ is suitably large, there exists a ...

**1**

vote

**0**answers

34 views

### How often can a single length occur as a boundary distance?

Given a bounded domain $\Omega\subset\mathbb R^n$ ($n\geq2$), how often can a single real number $r>0$ appear as a distance of two points on $\partial\Omega$?
We can make any assumptions about the ...

**2**

votes

**0**answers

48 views

### Concentration bound in high min entropy distribution

Let $(X_{1},\dots,X_{m})$ be joint distribution on $\{0,1\}^{m}$ with that $H_{\infty}(X_{1},\cdots,X_{m})\geq m-r$, where $H_{\infty}$ means min-entropy.
Let $P_{1},...,P_{n}\subseteq [m]$ be sets ...

**2**

votes

**1**answer

82 views

### Involution on the components of a group algebra

If $G$ is a finite group and $k$ a field, there is a canonical involution (ie an involutive anti-automorphism) $\sigma$ on $k[G]$ induced by $g\mapsto g^{-1}$. Given that the center of $k[G]$ has ...

**0**

votes

**0**answers

106 views

### injective homogeneous polynomial functions $p(x,y) \in \mathbb{Z}[x,y]:{\mathbb{N}}^2 \to \mathbb{N}$

Related to this question Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$
I have the following question:
What is the set of homogeneous polynomials ...

**1**

vote

**0**answers

119 views

### Coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$

I want to prove that $\forall n \in \mathbb{N}$ at least one of the Fourier coefficients of $f(t)=(\sum_{m=0}^{+\infty}e^{2\pi im^4t})(\sum_{m=0}^{+\infty}e^{2 \pi inm^4t})$ is striclty greater than ...

**1**

vote

**1**answer

252 views

### Are chain complexes over a field always injective?

Question: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero and let $\mathrm{Ch}_{\mathbb{F}}$ be the category whose objects are chain complexes (of $\mathbb{F}$-modules) and ...

**1**

vote

**1**answer

191 views

### Confusion with proof about a fact $\mathbb{P}$-name [on hold]

Let $\mathbb{P}$ be poset.
Let $B$ be a set. We say that a $\mathbb{P}$-name $\dot{b}$ is a nice name for member of $B$ if there is a maximal antichain $A\subseteq\mathbb{P}$ and a function ...

**-1**

votes

**0**answers

28 views

### How to prove an inequality $\left| {g(j + 1)} \right| \le 5/4$ in Stein's method for Poisson approximation [migrated]

The following is a lemma in
Barbour, A. D., Holst, L., & Janson, S. (1992). Poisson approximation. Oxford: Clarendon Press,p7.
For $j=1,2,...$ and $\lambda > 0$, we have
$\left| {g(j + ...

**1**

vote

**0**answers

80 views

### About real roots of complex multivariable polynomials

Say we have a function $f : \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ such that,
$f(z,w_1,w_2,..,w_n) = \prod_{k=1}^{q} (z - a_k) = A_i(w_i-b_i)(w_i-c_i) $ where the $a_i$ are known to be real for ...

**3**

votes

**0**answers

115 views

### Prime zeta zeros - reference

Is there an online repository for zeros of the prime zeta function? I looked at the Yahoo group
Prime numbers and primality testing listed on the MathWorld notebook for the prime zeta function, but ...

**4**

votes

**2**answers

397 views

### Based loop groups as stacks?

I have been stuck for some time, thinking about the following question.
Let $G$ be a Lie group. Its classifying space $BG$ can be seen as the differentiable stack $[pt/G]$, which is of dimension ...

**-1**

votes

**0**answers

179 views

### What is the error here? [on hold]

Let $X$ a curve of genus $g\geq 3$ with a double cover to an elliptic curve $Z$. Let $F$ be a rank $2$ and degree $1$ locally free sheaf on $Z$, and $G$ its pullback to X.
Then, by Serre duality ...

**5**

votes

**2**answers

283 views

### What is the Hausdorff dimension of this fractal?

Let $\sum_{i=h}^\infty d_i/b^i $ be the base $b$ representation of $x \geq 0,$ where $b>1$ and the $d_i$ are uniquely determined by the greedy algorithm. For fixed $c>1,$ let $f(x)= ...

**-1**

votes

**0**answers

18 views

### Simulate correlated random field of probabilities [on hold]

Hi I am trying to simulate a spatial latent random field that are probabilities not correlated binary data as specified in other posts. The goal is to have the probabilities correlated by distance. ...

**0**

votes

**0**answers

62 views

### On a property of split short exact sequences [migrated]

Let $A_{\bullet}, B_\bullet$ and $C_\bullet$ be three short exact sequences of groups (not necessarily abelian) out of which $A_\bullet$ and $B_\bullet$ are split. Assume that there is again a short ...

**5**

votes

**1**answer

108 views

### Rademacher average based Hoeffding Inequality

I am following these lecture notes:
Given the i.i.d. $\mathcal{Z}$-valued random variables $Z_1,\dotsc,Z_m$ and $\mathcal{G}$ is a set of bounded functions $g\colon \mathcal{Z}\to[a,b]$.
Corollary ...

**0**

votes

**0**answers

107 views

### Torsion in cohomology

Suppose to have a short exact sequence of chain complexes of $\mathbb{Z}$-modules:
$$0\to A^\bullet\to B^\bullet\to C^\bullet\to 0$$
such that $A^k,B^k,C^k$ are non zero for $k=0,1,2$.
Moreover, ...

**2**

votes

**1**answer

162 views

### Loop space structures on $RP^\infty$

I am interested in infinite loop structures on the infinite dimensional projective space $\mathbb{R} P^\infty$. Is it unique? I think this has to be known in work of May, and If so, then I presume its ...

**-3**

votes

**0**answers

70 views

### Proalgebraic completion [on hold]

For a finitely generated group, say Γ, what is the meant by of the proalgebraic completion of Γ? I came across this while seeing a paper on Representation Growth for Linear Groups by Larsen and ...

**1**

vote

**0**answers

62 views

### Are all (graded) Artinian complete intersections like this?

I'm trying to prove some stuff (it's not important what) about (graded) Artinian complete intersections $R=\mathbb{C}[x_1,\ldots,x_n]/I$, where the $x_i$ have certain positive weights and where $I$ is ...

**10**

votes

**1**answer

408 views

### A group whose automorphism group is cyclic

Is there an Abelian group $A$ which is not locally cyclic whose automorphism group is cyclic ?
This question was first posted here.

**-4**

votes

**0**answers

40 views

### Pumping Lemma CFL [on hold]

L={ab^n ab^n ab^n: n ≥ 0}
I've just started learning pumping lemmas, but this one confuses me. How can I show that this is not context free?

**-5**

votes

**0**answers

43 views

### Enumeration, selective intersect labs(::) [on hold]

{2,3,4,5::1,5,6,8::3,4,5,6}
2×3×4×5=120
1×5×6×8=240
3×4×5×6=360
(561×8=(234×5)+(156×8)+(345×6))
Preorder to 4488(yπ+) at (2345+1568+3456)/3.141592653...:
4+4+3+3=2+3+4+5
4+4+3+3+2+2=3+4+5+6
...

**5**

votes

**2**answers

234 views

### Combinatorial designs textbook recommendation

Good evening, I am currently taking a class which has combinatorial designs as the first topic, we are using Peter Cameron's book Designs, Graphs, Codes and their Links which I am finding extremely ...

**5**

votes

**0**answers

68 views

### How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?

Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...

**1**

vote

**0**answers

65 views

### “Exceptional components” of the exceptional divisor of a blow up

Assume we are blowing up an ideal $I$ on an affine variety $X$, let $E$ be the exceptional divisor, and $P$ be a (closed) point in $V$, the zero set of $I$. Is there any algorithm to check that $E$ ...

**-2**

votes

**0**answers

95 views

### Existence and local compactness of the p-adic number field without Axiom of Choice [on hold]

I think we can prove the existence and local compactness of the p-adic number field without using Axiom of Choice. Am I right?

**1**

vote

**0**answers

31 views

### Techniques for finding the stationary state of a continuous-state, discrete-time Markov process

I'm interested in a continuous-state, discrete-time Markov process. Let the distribution at time $t$ be $f_t(x)$. The update equation has the form
\begin{equation}
f_{t+1}(x) = \int f_t(x') g(x', x) ...

**0**

votes

**0**answers

93 views

### Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that
$$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...

**3**

votes

**0**answers

23 views

### Quasi-M matrices?

Does any body know a reference on lower triangular matrices with negative entries everywhere except for the diagonal and subdiagonal where entries are positive (when all entries are negative with ...

**13**

votes

**1**answer

301 views

### Number of solutions to equations in finite groups

Suppose $G$ is a finite group and that $E$ is an equation of the form $x_1 x_2 ... x_n = e$, where each $x_i$ is in the set of symbols $\{x, y, x^{-1}, y^{-1}\}$.
Is it always true that the number ...

**1**

vote

**0**answers

66 views

### Degree 2 curves on a degree d hypersurface in P^(2d+2)/3

One of the foundations of Gromov-Witten theory is the use (due to Kontsevich I think) of localization to calculate the number of degree $n$ curves on a general quintic 3-fold. When calculating the ...

**6**

votes

**1**answer

214 views

### Find a polynomial not in any ideal generated by polynomials of total degree $o(n)$

Is there an explicit nontrivial (= not a constant) polynomial $p \in \mathbb{C}[x_1, \ldots, x_n]$ such that, for any ideal $I \not= \mathbb{C}[x_1, \ldots, x_n]$ generated by $f_1, f_2, \ldots, f_m$ ...

**3**

votes

**1**answer

114 views

### reference for “curves over S are locally the base change of a curve over S' which is finite type over R”

So recently I heard someone claiming that if $X\rightarrow S$ is a smooth curve (not necessarily proper?) and $S$ is an arbitrary scheme over $\text{Spec }R$ (for $R$ sufficiently nice), then there is ...

**6**

votes

**0**answers

55 views

### Chains of forking extension in stable theories

Let $T$ be an stable theory.
Further we work in the monster model of $T^{eq}$.
We say that a chain of types of the form
$$tp(a_1/A_1)\subset tp(a_2/A_2) ... \subset tp(a_n/A_n)$$
is a forking chain ...