0
votes
0answers
10 views

a question on sum of Gaussian binomial coefficients

I was trying to calculate something and at some point I get the following sum: \begin{equation} \sum_{t=0}^{s}{s+3n \brack s-t}\sum_{i = 0}^{t/2}q^{2i^2}{t/2+2n-i \brack t/2-i}{n \brack 2i}x^t ...
1
vote
1answer
34 views

$K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal. ...
0
votes
0answers
7 views

Degenerations and spanning monomials

Let $R = \mathbb{C}[x_1,…,x_n]$, let $J\subset R$ be a graded ideal, and consider the initial monomial ideal $\operatorname{in}(J)$ with respect to some term order. Suppose that we are given a linear ...
-3
votes
0answers
29 views

Video Lecture for topolgy [on hold]

want to study general topology. i find video lecture at nptel, but instructor's pronunciation is hard to understand. so other course to study general topology? thankyou!
0
votes
0answers
10 views

Mutual information staying constant under composition of channels

Consider the following scenario: one has 2 communication channels $C_1$ and $C_2$. Denote by $p(x)$ the input probability distribution. The mutual information between the input and the output of ...
0
votes
0answers
38 views

Subset of the integers with certain properties

How would one find the maximal $n$ such that there exists an $n$-subset $S$ of $\mathbb{Z}^+$ such that $\forall a\subseteq S, \sum_{a\in A}a$ is either a perfect square or a perfect cube, or can one ...
0
votes
0answers
27 views

How many edges are in the kth-iterated common neighborhood knight's graph?

For terminology see https://www.academia.edu/2180382/The_Common_Neighborhood_Graph_and_Its_Energy) It has been known for quite some time by players that a vertex whose corresponding square is in the ...
0
votes
0answers
47 views

Complex structures on Riemann surfaces

This is cross posted from math.SE: http://math.stackexchange.com/q/876432/9 Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq (H^0(M;K^2))^*$. Considering $\alpha$ as a map ...
8
votes
0answers
131 views

The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in a unit $d$-dimensional cube, with perfectly elastic wall collisions. Let $k=n^{\frac{1}{d}}$. For example, in 3D, $d=3$, with ...
1
vote
1answer
84 views

Milnor's exact sequence and a certain proof

Please forgive me if this is not the right forum for this question. Let $$ X = \cdots \rightarrow X_n \rightarrow X_{n-1} \rightarrow \cdots \rightarrow X_0 = \ast$$ be a tower of fibrations of ...
-2
votes
0answers
70 views

P != #P ? And its implications [on hold]

Is it known that p != #p ? And what would such a proof imply? I've been reading Valiant's paper on the permanent, and this isn't clear to me.
0
votes
0answers
20 views

Uniqueness of a quadratic time-dependent matrix equation

Let $v: [0,1] \to \mathbb R^n, t \mapsto v(t)$ continuously differentiable with the property that for any constant vector $h \in \mathbb R^n$ the fact that $v(t)^{\top} h = 0$ for all $t \in [0,1]$ ...
-1
votes
0answers
27 views

Two-Dimensional Recurrence Solving [on hold]

Can someone help me to solve this two dimensional recurrence: f(n,k)=f(n-k,1)+f(n-k,2)+f(n-k,3)+...+f(n-k,n-k); f(n,1)=1; f(n,n)=1; Thanks
1
vote
1answer
67 views

Brun's algorithm

Does anyone have an exact reference for the weak convergence (convergence in angle) of Brun's subtractive multi-dimensional continued fractions algorithm (in all dimensions)? I have been given ...
3
votes
1answer
73 views

non-negative random variable

Let $X$ be a real-valued random variable with $X \geq 0$ and $\mathbb E X >0$. I would like to bound $\mathbb P(X >0)$ from below using information about the first few moments of the variable. ...
2
votes
1answer
99 views

When are isotrivial families split by a finite base-change?

A well-known theorem of Grauert and Fischer states that a smooth proper family of complex manifolds is a locally trivial fibration as soon as all the fibers are isomorphic. It is also easy to obtain ...
0
votes
1answer
65 views

How do eigenvalues change if we duplicate a row and column of a symmetric matrix

Let ${\bf A}$ be a size $n \times n$ symmetric positive semidefinite matrix with the first column being ${\bf a}_1$. If we define a new matrix, \begin{align} {\bf B} = \left[\begin{array}{cc} a_{11} ...
3
votes
1answer
97 views

$RO(G)$-Graded Cohomology Theories

Let $G$ be a compact Lie group with real representation ring $RO(G)$. Recently, I have been learning about some aspects of $RO(G)$-graded cohomology theories (for a precise definition, see Chapter ...
1
vote
1answer
171 views

Example of a specific manifold

I want to find a example of a manifold that has positive scalar curvature but is not half conformally flat. Does there exists such manifolds? Thanks.
0
votes
0answers
13 views

Proximal operator of modified L1 matrix norm

In literature proximal operator $prox_{\lambda f} : R^n \rightarrow R^n$ of $f$ is defined as: $prox_{\lambda f}(V) = argmin(X) (f(X) + (1/2 \lambda)||X-V||^2_2)$ Consider now $g(X) = ...
6
votes
1answer
173 views

The definition of < in Robinson's Q

I recently had to explain how the basic axioms in Simpson's Subsystems of Second Order Arithmetic were interpretable in Robinson's Q. Most of the axioms are actually the same, except that Simpson ...
1
vote
0answers
56 views

A conjecture about the entropy of matrix vector products

Consider a random $n$ by $n$ circulant matrix $M$ whose entries are chosen independently and uniformly from $\{0,1\}$. Let $M'$ be the $m$ by $n$ matrix which is formed by taking the first $m$ rows of ...
1
vote
0answers
48 views

Question about the specialization map for Etale Fundamental Groups

Let $A$ be a complete, discrete valuation ring, and let $s$ (resp $\eta$) be the special (resp. generic) point of $S=Spec(A)$. Let $\phi:X \rightarrow S$ be a proper morphism and fix geometric base ...
3
votes
0answers
103 views

Both NP-hard but different [on hold]

What's the fundamental difference between the Knapsack problem and the travelling salesman (TSP) problem both of which are NP-hard, while the reality is that TSP could be solved much much faster?
9
votes
0answers
110 views

The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...
7
votes
1answer
106 views

Max flow, min cut on manifolds

If a graph has some half edges marked "input" and some half edges marked "output", it is well known that the smallest number of edges which must be cut to disconnect input from output is equal to the ...
4
votes
0answers
40 views

Set system with prescribed intersection sizes

Questions: What is the asymptotic maximal size of a $4$-uniform (every set has 4 elements) set system $\mathcal{A}$ of subsets of $[n]$ such that, no two sets have size of their intersection $2$? In ...
8
votes
7answers
923 views

Examples of famous 'workhorse' theorems

I use the term 'workhorse' to describe a theorem which is technically challenging to prove, perhaps very deep, but the statement is either uninteresting at first glance or too imposing to be ...
1
vote
1answer
333 views

is cross product of 2 or 3 vectors in 4 D is possible ? why ? i'm an engineer and please kelp me in explaining in a way i can understand? [on hold]

Is cross product of 2 or 3 vectors in 4 D is possible ? why ? i'm an engineer and please kelp me in explaining in a way i can understand ? It is also not clear that why vectors depend on the dimension ...
1
vote
0answers
30 views

A question on Gorenstein Liaisons of space curves

Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and ...
1
vote
0answers
207 views

Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?
-6
votes
0answers
124 views

A new set of Primes [on hold]

Considering the following do there exists a fatal error? For infinity number of prime $\beta$, there exists $\zeta$, $\alpha$ and $\gamma$ $\mathfrak{Primes}$ such that ...
0
votes
0answers
38 views

edge graph reconstruction conjecture : set vs multi set

Why is the edge reconstruction conjecture stated with the deck defined as the multi set of graphs formed by deleting one edge? Can someone give an example of two graphs such that the edge deleted ...
-1
votes
0answers
54 views

Tarski's undefinability theorem and IF logic

The Tarski undefinability theorem is valid when there are several constrains on the logic on which it is applied. The most important is that the logic mus to be closed under contradictory negation. ...
1
vote
0answers
55 views

A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof? Statement. ...
1
vote
0answers
29 views

Parametrized cancelations in stable Morse theory

Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...
1
vote
1answer
59 views

Are there some algorithms to solve the diagonal matrix $X$ to the following matrix equation?

Suppose $X$ is an unknown $m \times m$ diagonal matrix. Given a scalar $0<c<1$, and a matrix $A$ of $m \times m$ size whose entries $0<A_{i,j}<1$. Are there some algorithms to find the ...
2
votes
1answer
133 views

Localization of symmetric monoidal category

Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T ...
2
votes
0answers
86 views

Does the set of automorphisms of a cyclic group exhibit some sense of randomness?

I prefer to proceed with a concrete example if I may. I appreciate that the answer might well be better explained with group theory, geometry and/or notions from probability theory, which I welcome. ...
2
votes
1answer
77 views

Projection onto $\ell^{2,1}$ ball

Does anyone have an idea how to project onto the $\ell^{2,1}$ ball efficiently, i.e. how to solve $$ u = \arg \min_u \|u-f \|^2 \text{such that } \left(\sum_i \big(\sum_j |u_{i,j}|\big)^2 ...
2
votes
1answer
152 views

Number of Matrices with bounded determinant

Here's my question: Let $k,B,C$ be positive integers such that $B<C$. Can you give an upper bound for the number of $k\times k$ integer matrices having entries bounded in modulus by $B$ having ...
0
votes
0answers
15 views

Existence and Uniqueness of solution of volterra integral equation of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To know the existence and uniquness of solution of volterra integral equation(VIE) of the first kind, we differentiate it and convert to the VIE of the second kind. ...
4
votes
2answers
90 views

What is the number of noncrossing acyclic digraphs?

A noncrossing graph on $n$ vertices is a graph drawn on $n$ points numbered from $1$ to $n$ in counter-clockwise order on a circle such that the edges lie entirely within the circle and do not cross ...
-3
votes
0answers
55 views

What are the odds in the card game war that the game will start and finish on the first battle? [on hold]

What are the odds? My 6 year old daughter and I played war. On the first card we both played sevens and the battle bagan. We played three face down and one up and they matched again. Again, we ...
0
votes
0answers
34 views

Embedding dimension: local finiteness & intuition for more general spaces

Can every complex analytic space be covered by Stein spaces of finite embedding dimension? I am almost sure that ought to be true. Here the definition of embedding dimension I have in mind is $$ ...
1
vote
1answer
124 views

Examples of nontrivial local systems in Decomposition Theorem

There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that $$Rf∗IC_X \cong \oplus_a ...
2
votes
3answers
405 views

Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?
2
votes
1answer
56 views

Double quotients of Coxeter groups have the chain property?

Let $(W,S)$ be a Coxeter group with Bruhat order $\leq$ and length function $\ell(w)$. Definition: a subset $X \subset W$ has the chain property if whenever $x,y \in X$ with $x < y$, there ...
3
votes
2answers
125 views

A Lie algebra identity

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. Fix a basis $e_1,\dots,e_n$ of $\mathfrak{g}$ and let $e^1,\dots,e^n$ be its dual basis. We also use $e^i$ to denote the left-invariant ...
-5
votes
0answers
37 views

Precalculus Help? [on hold]

The lengths of the sides in a right triangle form three consecutive terms of a geometric sequence. Find the common ratio of the sequence. (There are two distinct answers. Enter your answers as a ...

15 30 50 per page