2
votes
0answers
39 views

Multiplying three factorials with three binomials in polynomial identity

I have checked the following identity (1) below for $n\leq 40$ with a computer. Let $(n)_k$ denote the falling factorial $n(n-1)\ldots (n-k+1)$, let $Z_n=\sum_{k=0}^n (n)_k x^{n-k}$, and finally let ...
3
votes
1answer
82 views

When two Dedekind sums are equal

The (classical) Dedekind sum $s(h,k)$ is defined as $$s(h,k)=\sum_{r=1}^{k-1}\frac{r}{k}\bigg(\frac{hr}{k}-\Big[\frac{hr}{k}\Big]-\frac{1}{2}\bigg)$$ for $\gcd(h,k)=1$. A natural question is, when ...
1
vote
1answer
33 views

What is the smallest partition lattice PART(M) containing the lattice P(N) of subsets of a finite set of N elements

It's been known for 35 years that every finite lattice can be embedded in a finite partition lattice ( Pudlak and Tuma algebra universalis 1980, Volume 10, Issue 1, pp 74-95). I don't follow the ...
0
votes
0answers
55 views

rational cohomology of finite dimensional real grassmannian

Let $G_k(R^n)$, $n>k$, be the finite dimensional real grassmannian. What is the rational cohomology algebra $H^*(G_k(R^n);Q)$? I have searched out that $H^*(BO_k;Q)=Q[p_1,p_2,...,p_[k/2]]$ is the ...
-5
votes
0answers
27 views

Prize allocation of scratch codes to ensure correct number of prizes to give away [on hold]

We would like to give away 100 prizes. We have 13.5 million codes, divided into 20 categories. To win a person must collect one code in each category. If 15 of those categories have 877,195 codes ...
0
votes
1answer
104 views

Finiteness of geometric valuations

I feel the following fact has been used in many argument in algebraic geometry, but I was not be able to prove it or find the precise reference: Let $X$ be a $\mathbb{Q}$-factorial variety with log ...
31
votes
1answer
2k views

Mathematicians wearing hats on arbitrary total orders

I've been pondering the following generalisation of a famous problem (the special case where $T = \mathbb{N})$: Question: We have some totally-ordered set $T$ of mathematicians, each wearing a hat ...
2
votes
2answers
124 views

How can i change 8_19 to (3,4)-torus knot K(3,4)?

In the knot table, it is well-known that 8_19 is (3,4)-torus knot. But, it is not clear to me. How can i change 8_19 to (3,4)-torus knot K(3,4)? Moreover, it is well-known that braids of two ...
-2
votes
1answer
59 views

Show that among any 6 non-negative integers one can find 2 integers so that their difference is divisible by 5 [on hold]

I have the following question in homework I have been assigned in Discrete Mathematics relating the pigeonhole principle: "Show that among any 6 non-negative integers one can find 2 integers so that ...
1
vote
2answers
96 views

A certain matrix associated to graphs

I am not very familiar with graph theory, but I need some results for my work. Thus, the question is, whether the following has already been studied and where I can find it. Let $G=(V,E)$ be an graph ...
1
vote
2answers
79 views

Partial Sum of the Binomial Theorem [duplicate]

The binomial theorem states $\sum_{k=0}^nC_n^kr^k=(1+r)^n$. I am interested in the function \begin{equation} \sum_{k=0}^mC_n^kr^k, \quad m<n \end{equation} for fixed $n$ and $r$, and both $m$ and ...
1
vote
0answers
34 views

Classes of knots that have known Bridge spectra

Bridge spectra is a knot invariant first defined by Doll, who established some basic properties. Tomova has shown that high distance knots have bridge spectra $(n,n-1,\ldots,2,1,0)$. Zupan has ...
3
votes
0answers
44 views

Matroid rank decay

Consider a uniform vector matroid $M(0)=U_{m,n}$ of rank $m$ with $n$ points, $n>m>2$ (you can think of it as a set of $n$ points in general position in vector space $F^m$ for some large field ...
2
votes
0answers
37 views

Applications of small Kakeya sets over finite fields

It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$. For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...
0
votes
0answers
74 views

Behaviour of first $l^2$-Betti number under quotienting

Let $G$ be a finitely generated group, and let $H = G / N$ be a quotient of it. We have two observations: 1) In general, it is $\textbf{not}$ true that $\beta_1^{(2)}(G) = 0 \Rightarrow ...
0
votes
0answers
95 views

Is it a correct description of the bounded above derived category of coherent sheaves?

Let $X$ be a (Noetherian) scheme. Let $D^{-}_{\text{coh}}(X)$ be the derived category of complexes of $\mathcal{O}_X$-modules with bounded above and coherent cohomologies. Do we have the following ...
2
votes
1answer
82 views

$t$-analogue of the symmetric power of an additive character over $\Bbb{F}_q^*$

Let $G$ be a finite group and let $f: G \longrightarrow \Bbb{C}$ be any complex-valued function. For integers $k, n \geq 0$, an indeterminant $t$, and $x \in G$ let $f_k(x) := f \big( x^k \big)$ and ...
6
votes
0answers
155 views

On a permutation module for GL(n,q)

Let $G=GL(n,q)$ be the general linear group of degree $n$ over the $q$ element field. Let $X$ be the set of full rank $n\times r$ matrices where $1\leq r\leq n$. Then $G$ acts transitively on the ...
8
votes
3answers
643 views

“Epicycles” (Ptolemy style) in math theory?

By analogy: The epicycles of Ptolemy explained the known facts in the sun system and in this sense were not "wrong". But they distracted from a better insight. From another viewpoint, everything fell ...
5
votes
1answer
271 views

When is the category of small (pre)sheaves a(n elementary) topos?

When $C$ is essentially small, the presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is the free cocompletion of $C$. The presheaf category $[C^\mathrm{op},\mathsf{Set}]$ is also a topos. When $C$ is ...
3
votes
1answer
69 views

Rate of convergence of Bayesian posterior

Suppose a data generating process (DGP) is parameterized by some unknown parameter $\theta_0$, say $P_{\theta_0}$, and we want to estimate the value of $\theta_0$ using Bayesian method. Let ...
5
votes
0answers
38 views

A “lower-central” filtration of Steenrod algebra?

$\renewcommand{\Atwo}{\mathcal{A}_2}$ So, a lot of good work has been accomplished by filtering the Steenrod algebras $\mathcal{A}_p$ in powers of the Augmentation ideal; For reasons partly ...
5
votes
1answer
97 views

Singular/Smooth locus of Schubert variety of the affine grassmannian

Let $G$ be a connected, simply connected, semisimple, complex linear algebraic group with maximal torus $T$ and affine Grassmannian $\mathcal Gr$. It is well known that $\mathcal Gr$ admits a Bruhat ...
5
votes
2answers
127 views

Combinatorial identity and Fuss-Catalan numbers

I would like to show that $$ \lim_{N\to\infty}\frac{1}{N^{np+1}}\frac1{p!}\sum_{j=0}^{p-1}(-1)^j\binom{p-1}{j} \left(\frac{\Gamma(N+p-j)}{\Gamma(N-j)}\right)^{n+1} =\frac1{np+1}\binom{(n+1)p}{p}, $$ ...
2
votes
2answers
158 views

Applications of Szemeredi's Theorem

Szemeredi's Theorem is a famous theorem in Additive Combinatorics, Ergodic Theory and maybe some other parts of Mathemtaitcs: (Szemeredi's Theorem) Let $\Lambda \in \mathbb{Z}$ be a subset of ...
0
votes
0answers
78 views

Reformulation of a theorem for special case [on hold]

This question is about some theorems in the book "Analysis Now" from Pedersen. In particular Proposition $5.3.2$ and Theorem $5.3.3$. Here one has a essential $*$-isomorphism of some algebra $L(X)$ ...
1
vote
1answer
110 views

Dieudonné modules -reference request

I need a reference to start learning about Dieudonn\'e modules, and their application to the arithmetic of abelian varieities. I know that this is a copy of Reference for Dieudonné modules, ...
0
votes
0answers
27 views

Finite element method p2 2d [on hold]

I'm preparing my graduate project and i really need some help to implement FEM 2D with quadratic element triangles, so i have done everything so far and i think the problem is in the assembling of the ...
9
votes
2answers
496 views

Consecutive numbers with mutually distinct exponents in their canonical prime factorization

Is it possible to find 23 consecutive positive integers each of which has mutually distinct exponents in its canonical prime factorization? Such numbers are sequence A130091 in OEIS. 24 such numbers ...
2
votes
1answer
45 views

Decomposing large symmetric banded sparse matrices

I'm investigating 3D image deblurring and one of the approaches I'm interested in is applying spatial regularisation. To do this I have generated a matrix $A$ which encodes the 6-connectivity of each ...
6
votes
0answers
86 views

Max min of functionals

I have an interesting question which I believe was probably already studied, but I could not find anything. Let $n, m \geq 1$ be fixed. Suppose that $|| \cdot ||$ is a norm in $\mathbb{R}^n$ and $f_1, ...
4
votes
2answers
74 views

Finding joint probability from double marginals

Consider three probability distributions in the form $p_1(y,z),p_2(x,z),p_3(x,y)$. When does a global joint probability $p(x,y,z)$ (possibly not unique) exist? The first compatibility condition to ...
2
votes
1answer
144 views

Embeddings of subshifts

Consider $(X,\sigma_X)$ and $(Y, \sigma_{Y})$ be subshifts of the one sided shift in two symbols. Assume that $(X,\sigma_X)$ is a transitive subshift of finite type and $(Y, \sigma_{Y})$ is a ...
0
votes
0answers
37 views

How can I calculate the global log canonical threshold?

Let $X$ be a normal variety and let $D$ be a $\mathbb{Q}$-divisor. The log canonical threshold of a pair $(X,D)$ is $lct(X,D)=sup\{c|(X,cD)$ is log canonical$\}$. If $X$ is $\mathbb{Q}$-Fano ...
5
votes
0answers
184 views

A strange condition on containment of special complex numbers in cyclotomic fields

In a recent theorem we have naturally come across this condition, that seems to be important, but rarely satisfied: $\sqrt{\frac 1 4 + a^m} \in \mathbb Q(\zeta_m, a)$ where $a\in\mathbb C^*$ and ...
3
votes
1answer
111 views

Is there a maximal connected Hausdorff space?

We call a space $(X,\tau)$ maximal connected, if it is connected, and for any topology $\sigma \supseteq \tau$ with $\sigma\neq \tau$, the space $(X,\sigma)$ is not connected. Is there a maximal ...
1
vote
1answer
78 views

Maximal connected topologies

We call a space $(X,\tau)$ maximal connected, if it is connected, and for any topology $\sigma \supseteq \tau$ with $\sigma\neq \tau$, the space $(X,\sigma)$ is not connected. If $(X,\tau)$ is ...
0
votes
1answer
38 views

Defining a brownian bridge indexed by angle

I have a random closed curve of the form $(\theta,r_\theta)$, where $\theta\in [0,2\pi]$, is the counter clockwise angle from the x-axis and $r_\theta$ is the radial distance from the origin ...
-5
votes
0answers
19 views

LyX preamble to auto add space before and after math (CTRL+M) [migrated]

I tried everything, but nothing works. How can I make auto space bofore and after math formulas in the same line? Thank you.
3
votes
1answer
64 views

Null tetrad transformation

I have been going through the Chandrasekhar's "The Mathematical Theory of Black holes", in particular the chapter on Newman Penrose formalism. I have a question about what he calls a "class III ...
2
votes
0answers
87 views

Irreducibility of a general fibre

Let $A\subseteq B$ be an inclusion of affine domains over an algebraically closed field $k$ of characteristic $0$. Can someone give me a reference for the following fact? If $A$ is algebraically ...
5
votes
2answers
201 views

Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question. I can think of at least four topologies to put on $C_c(M)$: Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney ...
13
votes
2answers
608 views

(Non)existence of mirrors with more than two foci

Do there exist any mirrors $M$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ for which there exist three different points $x_1$, $x_2$, $x_3 \in \mathbb{R}^d$ such that if any ray of light passes ...
-2
votes
0answers
48 views

How to estimate some combinatorial expression? [on hold]

How to estimate (or explicitly compute) the following sum $\sum_{j=1}^{k}\left|\binom{x}{j}\binom{k-1}{j-1}\right|$ from above? The most convenient estimation ...
0
votes
1answer
92 views

Minimal dimension of a Lie algebra of matrices, with a restrictive property

Let $\mathfrak{g}$ be a sub-Lie-algebra of $\mathfrak{gl}_n(\mathbb{C})$, the Lie algebra of complex $n\times n$ square matrices. Let us call $(H)$ the hypothesis: for all $x, y\in\mathbb{C}^n$, ...
5
votes
1answer
51 views

Monoidal structure on simplicial sheaves

Let $\mathcal{C}$ be a site and let $sPh(\mathcal{C})_{proj}$ be the category of simplicial presheaves equipped with the projective model structure. This category is a closed monoidal model category ...
-2
votes
0answers
35 views

Deriving sequence of number added after sum of the number [on hold]

I just want to know , is there any mathematics operation by which we can achieve the below mentioned task: 1> I will sum up a sequence of number, it could be any number(For the task I am free to ...
2
votes
0answers
40 views

Hyperellptic curve defined by a set of rational points

If we fix a field $\mathbb{F}$ of positive characteristic, and a a genus $g$ , how many rational points are enough to build a unique hyperelliptic curve of genus $g$ over $\mathbb{F}$?. The thing is ...
1
vote
0answers
59 views

Weak topology on subsets of a Hilbert Space

I have few questions about the subsets of a (for example) Hilbert Space endowed with the weak topology. Let $E$ be such subset. When is the norm a continuous function on $E$? This happens for ...
1
vote
0answers
38 views

The number of $k$-free integers not exceeding $x$

We say that an integer $n\in\mathbb{N}$ is $k$-free if for each prime $p\mid n$, one has $p^k \nmid n$. Let $\mu_k(n)$ be the characteristic function of $k$-free numbers, where $k\ge 2$. Let ...

15 30 50 per page