-3
votes
0answers
46 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
0answers
39 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
2answers
184 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
1answer
206 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
4answers
306 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
0answers
64 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
0answers
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 ...
-3
votes
0answers
93 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
0answers
88 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
2answers
483 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
1answer
63 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
0answers
53 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
1answer
186 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
0answers
138 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
1answer
109 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
0answers
38 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
0answers
53 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
1answer
85 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
0answers
111 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
0answers
124 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
1answer
254 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
1answer
201 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
0answers
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
0answers
125 views

About real roots of complex multivariable polynomials

Let $f(z,w_1,w_2,..,w_n)$ be a multivarible complex polynomial mapping $\mathbb{C}^{n+1} \rightarrow \mathbb{C}$ and it has all real coefficients. Assume that this is "real-stable" i.e it has no roots ...
3
votes
0answers
117 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
2answers
406 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
0answers
183 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 ...
10
votes
2answers
374 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
0answers
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
0answers
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
1answer
111 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
0answers
109 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
1answer
166 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
0answers
73 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
0answers
64 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
1answer
417 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
0answers
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
0answers
44 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
2answers
241 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
0answers
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
0answers
66 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
0answers
101 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
0answers
32 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
0answers
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
0answers
24 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 ...
14
votes
1answer
316 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
0answers
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
1answer
246 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
1answer
115 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
1answer
79 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 ...

15 30 50 per page