# All Questions

6 views

### Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations

I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations: $[U_i, U_j] = 0$ for $|i-j|>1$ ...
24 views

### Differential characters, Chern-Simons forms, and differential cohomology

I've read through the classic Chern-Simons paper where they introduce the Chern-Simons forms. These are differential forms whose exterior derivative gives you the characteristic forms for any given ...
59 views

### Grothendieck, A Place to Begin

I'm finishing up an undergrad degree in mathematics and am beginning to think about areas of research. I know that the work of Grothendieck is considered the cornerstone of modern algebraic geometry, ...
29 views

### calculus integral with logs [on hold]

Why the solution of this integral $\displaystyle \int \frac{dx}{15-3x}$ is... $-\frac{1}{3} \ln \mid15-3x\mid$. I can't understand where $-\frac{1}{3}$ comes from, if the integral has not been ...
76 views

### Direct axiomatization of ordinal and cardinal numbers

Again, this question is related (**) to a previous one: in standard books on basic set theory, after stating the axioms of ZFC, ordinal numbers are introduced early on. Afterwards cardinals appear: ...
23 views

### How to calculate how much more wins to get a certain winrate? [on hold]

I have two values, wins and total games played. To calculate the win rate I use the normal «formula»: wins/totalGamesPlayed*100; But let's say I have 21 wins ...
28 views

### Maple: In Matrices A x B = C, how do I find matrix A given B and C [on hold]

I have matrix A, B, and C which are all 8x8 matrices in Maple. in the equation A x B = C, when B and C are known, how do I find matrix A? I know how to do it by hand, but I don't know the maple ...
137 views

### research articles in topology/geometry [on hold]

There is a saying "Do you read the masters?" I want to read some basic papers in Topology/geometry... I can not clearly state what is basic as of now... My back ground includes course in ...
24 views

### Arrange numbers? [on hold]

hello the question i would like to ask is very difficult as english is not my native language so here it goes...I need a program or exel chart that arrange numbers in a group in order to get the ...
26 views

### Perturbating the boundary of a helicoid

I prepare a long helix (with many periods) as the boundary of a long helicoid. I unavoidably made some mistake and the helix is not perfect, some perturbation or even defect is happening somewhere. ...
53 views

### Lie Symmetries of the Bessel Differential Equation

The Bessel differential equation has an arbitrary looking form, but a lot is known about it. $$x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - n^2)y = 0$$ Is there a way to derive the Bessel ...
39 views

### Sampling efficiently conditioned on linear constraints modulo both $\mathbb{F}_p$ and $\mathbb{F}_2$

Given a prime $p$ and positive integer $t \ll \log p$ (say $t = \sqrt{\log p}$), is there an algorithm that is polynomial time in $\log p$ to sample uniform $X, Y \in \mathbb{F}_p$ conditioned on the ...
107 views

### Does $|A+A|$ concentrate near its mean?

Fix $N$ to be a large prime. Let $A \subset \mathbb{Z}/N\mathbb{Z}$ be a random subset defined by $\mathbb{P}(a \in A) = p$, where $p = N^{-2/3 + \epsilon}$ for some fixed $\epsilon > 0$. My ...
28 views

### Classifying Low Dimensional Solutions of the Yang--Baxter Equation

What is the present situation with classifying solutions of the Yang--Baxter equation in low dimensions? To make my question more specific, have all solutions for dimension $2$ and $3$ been ...
47 views

### A question about Kähler Einstein metric

Let $X$, and $Y$ are Kähler manifolds and $f:X\to Y$ is birational and let on $(Y,\omega)$ we have $\text{Ric}(\omega)=-\omega$, then Kähler Einstein metric on $X$ can be of which form? can we say it ...
20 views

### Common Point of Intersection of n-dimensional ellipsoids [on hold]

Suppose we have two ellipses in 2-dimensions centered at the origin. It is easy to visualize that (unless one is contained in the other) they will have 4 points of intersection. Can we say that in ...
28 views

### A set containing more than half elements of a group [on hold]

I wish to prove the exercise which states that for a set $A$ containing more than half elements of a group $G$, every element of $G$ is a product of two elements of $A$. My attempt: By Lagrange ...
19 views

### AQA A Level Normal Distribution [on hold]

The question goes like: A wholesaler decides to grade such oranges by weight. He decided that the smallest 30% should be graded as small, largest 20% as large and in between as medium. The ...
88 views

31 views

### Context Free Languages closed under Kleene Star? [on hold]

I'm looking at the proof for the closure property of CFL under kleene star and I'm having a little trouble understand what it means. From what I saw this is the proof: ...
48 views

### Inverses of probability generating functions: positivity of derivatives

Let $\mathcal{G}$ be the set of probability generating functions of random variables taking positive integer values, considered as functions on $[0,1]$. So $G\in\mathcal{G}$ can be written ...
45 views

### Special random variables and monotone class theorem

I am currently reading a proof where the $\pi-\lambda$ Lemma and the monotone class theorem are applied to show a certain property for bounded random variables. The author of the book always shows the ...
64 views

### extending local systems on a neighbourhood

Let $Y$ an affine finite type scheme over an algebraically closed field $k$. Let $S$ be a closed subscheme of $Y$ and $Y'$ the henselization of $Y$ along $S$. If we have a $\mathbb{Z}_{\ell}$ local ...
34 views

### moduli space of curves under prescribed tangency conditons

We consider an irreducible component of the Hilbert Scheme of curves in $\mathbb P^2$. Denote it as $\mathcal D.$ We fix a line $L$ and a point $A\in L.$ Denote $\mathcal D_0$ as the subscheme of ...
41 views

### Factoring a multiset into a product of two multisets

Given a multiset $S$ of $mn$ numbers, how hard is to find multisets $A$ and $B$, of $m$ and $n$ numbers respectively, such that $$S = \{ xy \mid x\in A, y\in B \}~~~~\text{(multiset sense)},$$ or ...
1k views

### What is a foliation and why should I care?

The title says everything but while it is a little bit provocative let me elaborate a bit about my question. First time when I met the foliation it was just an isolated example in the differential ...
112 views

### Direct image for crystals?

If we get a morphism $f : X \to Y$ of schemes over $k$, how should I define the direct image functor $$f_* : Crys(X) \to Crys(Y)?$$ By a crystal I mean a quasi-coherent sheaf $M$ on $X$ with a ...
156 views

### Ref request: If the natural density (relative to the primes) exists, then the Dirichlet density also exists, and the two are equal

On p. 76 of the 1996 edition of Serre's A Course in Arithmetic, one reads the following (inline) remark: One can prove that, if $A$ has natural density $k$, the analytic density of $A$ exists and ...
141 views

### Nonseparable Hilbert spaces

Being nonseparable Banach space is in fact nothing special: one meets the first examples in the standard functional analysis course, when one learns about $\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
62 views

### A Künneth-Theorem version for relative singular cohomology

I'm not an expert in algebraic topology, but sometimes I need some results from this area, for example tools to determine singular cohomology groups of product spaces. The Künneth-Theorem which I ...
16 views

### Connected sum of two “same” Kleins bottles [migrated]

If I have two surfaces of Klein's bottle, K, given by edge words [a b- a- b-] and [a- b a b] what space do I get when I identify same edges. In other words, i have two same Klein's bottles that are ...
157 views

### Numerical invariants for a graph or its complement that are bounded by some constant

I'm looking for numerical graph invariants that are bounded by a constant either for a graph $G$ or its complement $\bar{G}$. (The complement graph $\bar{G}$ has the same set of vertices as $G$ but ...
Given a system of nonlinear PDE of the special form: $\sum_{i=1}^n A_i(x, \phi) - \frac{\partial \phi_j}{\partial x_i} = B_j(x,\phi)$ $(1)$ with $(j=1,...,m)$ and $x \in R^n,\phi \in R^m$. If we ...
For a connected bipartite graph $G$ are the two following properties equivalent: 1)Every minimal cycle in $G$ has length 4, that is every cycle of length strictly greater than 4 can be divided in ...