-2
votes
0answers
15 views

How to verify a vector has a steady gradual increase mathematically?

I rank the values inside my vector then look to verify the values have a gradual but steady increase. Ideally if I had 10 numbers the smallest would occur first and the second smallest would rank ...
6
votes
2answers
201 views

Painting $n$ balls from $2n$ balls red, and guessing which ball is red, game

The game Lucy has $2n$ distinct white colored balls numbered $1$ through $2n$. Lucy picks $n$ different balls in any way Lucy likes, and paint them red. Lucy then giftwrap all the balls so that it is ...
0
votes
0answers
15 views

Galois group of equation

Let the equation $5x^6-12x^5-12x^4+204x^3+81x^2-792x+414=0$ The Galois group of $P(x)=5x^6-12x^5-12x^4+204x^3+81x^2-792x+414$ have solvable to be or not?
0
votes
1answer
72 views

What is the difference between the moduli space of curves and the moduli space of orbi-curves?

I feel that I should already know the answer to this, but it never sits quite right in my head. Let's look at something relatively concrete. One way you can look at the moduli of hyperelliptic curves ...
0
votes
0answers
9 views

Hyperbolicity of Deligne-Mumford stacks

Let $X$ be a smooth finite type separated connected Deligne-Mumford stack over $\mathbb C$ (with trivial generic stabilizer if necessary). This question is about "hyperbolicity" and it is motivated ...
10
votes
0answers
97 views

Does every smooth, projective morphism to $\mathbb{C}P^1$ admit a section?

Possibly this has already been asked, but it came up again in this question of Daniel Litt. Does every smooth, projective morphism $f:Y\to \mathbb{C}P^1$ admit a section, i.e., a morphism ...
0
votes
1answer
182 views

On the superior of generalized Ornstein-Uhlenbeck process

Let us consider a generalized O-U process $X_t \in L^2[0, 1]$ defined by the following spde: $dX_t = \frac{1}{2}\partial_x^2X_t + dW_t, $ $\partial_x X_t(0) = \partial_x X_t(1) = 0, $ $X_0 = 0, $ ...
3
votes
0answers
16 views

Universality with respect to quotients

Is there an infinite cardinal $\kappa$ for which the following statement (S) true? (S) : There is a topology $\tau_\kappa$ on $\kappa$ such that for all topological spaces $(X,\tau)$ with $|X|\leq ...
0
votes
0answers
88 views

Conjecture Reference Request

If Second Hardy-Littlewood Conjecture is true then we can claim that $\pi(x)-\pi(y)\leq \pi(x-y)$. Thus the conjecture gives an upper bound for the number of primes between $x$ and $y$. I have found ...
0
votes
1answer
146 views

Is there any algorithm to decide whether a series with integral coefficiens is a algebraic function?

Given a series with integral coefficiens as following: $$F(x)=\sum_0^i a_i x^i,\text{where }a_i\in \mathbb{N}\bigcup 0 $$$$\text{and there is a computable function $\psi$ such that } \forall i ...
0
votes
0answers
23 views

Identification of Hilbert space with dual follows from another identification?

Let $X$ be a Hilbert space with inner product $(\cdot,\cdot)_X$, and let $Y$ be another Hilbert space with inner product $(\cdot,\cdot)_Y$. Suppose there is a bijective continuous linear operator $F:X ...
1
vote
1answer
45 views

Coloring algorithm maximising color difference between neighbors

Consider a graph and a set of ordered colors ${\cal C} = \{1,2,\cdots,C\}$. I want to color each node $i$ with a color $c_i\in{\cal C}$ so as to maximize the minimum color difference between two ...
1
vote
1answer
154 views

All solutions to a set of integral equations

I would like a better understanding of the set of pairs $(f_1,f_2)$ of functions $[0,1] \times [0,1] \to [0,1]$ which satisfy the following conditions: For all $y \in [0,1]$, $f_1(x,y) \geq ...
0
votes
0answers
57 views

Is holomorphic 2-form on Moduli of Higgs bundle in Biswas' paper is non-degenerate

In Biswas' paper, Geometry of moduli of Higgs bundles, he defined a holomorphic 2-form on moduli of stable Higgs bundles, using Kodaira-Spencer map and Petersson-Weil metric. I want to know whether ...
0
votes
0answers
74 views

A question on the Euclidean domain $\mathbb{Z}[\omega]$

Let $\omega=\frac{-1+i\sqrt{3}}{2}=e^{\frac{2 \pi i}{3}}$ be a complex cube root of unity, and $\mathbb{Z}[\omega]$ the Euclidean domain. In view of that $\int_0^\infty e^{ix} ...
-2
votes
0answers
29 views

Existence of minimizer in Sobolev space $H^{1,2}(\Omega)$ [on hold]

I am looking at a functional $$\frac{\int_{\partial \Omega} u^2 \mathrm{dx}}{ \left(\int_{\Omega} u^q \mathrm{dx} \right)^{2/q} }$$ And i want to know if the minimizer exists in the space ...
2
votes
2answers
117 views

A metric associated with a continuous surjective map $f:X\to Y$

Assume that $f:(X,d_{1})\to (Y,d_{2})$ is a continuous surjective map between compact metric spaces. We define another metric $d_{f}$ on $Y$ With $$ d_{f}(a,b)=Hd(f^{-1}(x), f^{-1}(y))$$ ...
6
votes
1answer
72 views

A linear category with objects of infinite length but which is otherwise finite?

Fix a ground field $k$. By a linear category I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called finite if it satisfies the following four ...
4
votes
0answers
46 views

Characterize the category of rings

(Sub)categories of many well-studied mathematical objects have been characterized purely in terms of their morphisms. Some (famous) examples: Sets and functions, due to Lawvere. Modules over some ...
4
votes
0answers
54 views

Does $\mathsf{fReR}_0$ prove the existence of the cartesian product of two sets

$\mathsf{fReR}_0$ is the set-theoretical system whose axioms consist of: (1) Axiom of extensionality: $\forall z\in x\ (z\in y)\wedge\forall z\in y\ (z\in x)\rightarrow x=y$ (2) Axiom of empty set: ...
2
votes
1answer
63 views

a question about minimal non-abelian groups

Let $G$ be a minimal non-abelian group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ , see [ Huppert, Endlich Gruppen I, Aufgaben III, 5.14]. My quesion is, if there is another ...
4
votes
2answers
90 views

Are sums of 0-1 Pareto efficient vectors Pareto efficient?

Does there exist an $m \times n$ matrix $A$ and a vector $x \in \mathbb{R}^m$ such that: The entries of $A$ are $\in \{0, 1\}$. For all pairs of columns $u, v$ of $A$ the entries of $u - v$ are ...
0
votes
0answers
14 views

Computing row-sum scaled unsigned Stirling nos. of the 1st kind

As the title suggests, I would like to compute probability vectors with elements proportional to (unsigned) Stirling numbers of the first kind by row. For easy reference, here is the Wiki page. For ...
9
votes
2answers
291 views

Is a group uniquely determined by the sets {ab,ba} for each pair of elements a and b?

This is a cross-posted question, originally active here on math.stackexchange. For a given group $G=(S,\cdot)$ with underlying set $S$, consider the function $$ F_G:S\times ...
1
vote
0answers
12 views

Semigroup nilpotents and compostional inversion

The integer coefficients of a general partition formula for the compositional inverse of a function are a refined version of the coefficients of the generating series for the number of nilpotents in a ...
3
votes
0answers
33 views

Probability that a sum of intependent random variables hits a point

Let $X_1,\ldots,X_n$ be independent random elements of a normed space $X$. Suppose that $\sup_{x\in X}\mathbb{P}(X_i=x)=p_i$. What is the best known upper bound for $$\sup_{x\in X} ...
4
votes
3answers
146 views

Are there examples of families of objects which are canonically isomorphic, but where diagrams of canonical isomorphisms don't commute?

Specifically, are there "nice" (ie, not too obscure or contrived) examples of families of objects, where say for each objects $A,B,C$ in the family, the canonical isomorphism from $A\rightarrow C$ is ...
19
votes
1answer
477 views

Making $\mathbb{Q}$-cohomology integral

Let $X$ be an algebraic variety (say, smooth and projective) over $\mathbb{C}$, and fix $$\alpha\in H^i(X^{\text{an}}, \mathbb{Q})$$ with $i>0$. Does there always exist a variety $Y$ and a ...
10
votes
12answers
1k views

Obscure Names in Mathematics [on hold]

I recently stumbled over the "Happy Ending Problem" (cf e.g. http://en.wikipedia.org/wiki/Happy_Ending_problem), which made we wonder, if there are other conjectures, theorems or problems, whose names ...
0
votes
0answers
59 views

Is the parallelogram rule an axiom or a theorem in euclidean geometry? [on hold]

I am aware of the proof of the rule in inner product spaces. Excluding the geometry of Descartes, is it possible to prove parallelogram rule or is it an axiom?
7
votes
2answers
420 views

Decomposition of an integral operator into a composition

I've been musing about the following question for a while now. Given an integral operator $G$ defined by $$ (Gf)(x) = \int_0^1 G(x,u) f(u)\,du $$ Is it possible to decompose this into two separate ...
0
votes
1answer
89 views

Poisson approximation of random sub-graphs

I add the edges of $G(n)$ the complete graph on $n$ vertices one by one, at random and without replacement, and denote by $G(n,m)$ the resulting Erdos Renyi random graph process. At step $m$ in the ...
1
vote
0answers
23 views

lower bound of a trace quadratic form

i want to find a lower bound on the following expression: $tr(AXA^T)$ in terms of $tr(X)$ where A is real $n\times n$ matrix and $X>0$ is positive symmetric. It seems that the following bound is ...
0
votes
1answer
32 views

Help in finding distribution of the following function of random variable

Let $X_1$ and $X_2$ be independent complex Gaussian random variables, $$X_1 \sim \mathcal{CN}(0,\sigma)$$ $$X_2 \sim \mathcal{CN}(0,\sigma)$$ If $X= aX_1 + bX_2$ where $a,b$ are constants then the ...
2
votes
0answers
77 views

Characterizing the real analytic Eisenstein series

Consider the classical real analytic Eisenstein series $$ E(z,s)=\left(\pi^{-s}\Gamma(s)\frac{1}{2}\right)\sum_{(m,n)\neq(0,0)}\frac{y^s}{|mz+n|^{2s}}, $$ where $z=x+iy$. We think of $E(z,s)$ as a ...
1
vote
0answers
82 views

Equations over $\mathbb{Z}[[T]]$ vs. equations over $\mathbb{Z}_p$

This question might be deemed totally unanswerable, unless there is an obvious counterexample. Answers to either effect would be welcome. Question. Let $X$ be a finite-type scheme over ...
2
votes
1answer
82 views

u-Invariants of p-adic function fields

In his Paper "Fields of u-invariant 9" Oleg Izhboldin points out that for a algebraic closed, finitely generated field $k$ we have $u(k)= 2^{cd(k)}$. In particular we have ...
1
vote
0answers
22 views

Cohomological dimension of transcendental p-adic extensions

Let $k = \mathbb{Q}_p$ for any prime $p$ and set $L = k(t_1,..,t_n)$. The u-invariant of a field $u(k)$ is defined by $u(k):=\{ max (\mathrm{rank}(q)) $ | $ q $ is anisotropic over $k\}$. It is ...
7
votes
0answers
146 views

On the ratio of Gilbreath sequences

Definitions: let $n \in \mathbb{N}_{>0} \cup \{ \infty \}$ and let $E_n$ be the set of sequences $(d_i)_{i=1}^n$ such that $d_1=1$, $d_i$ is an even integer (for $i > 1$) and $0<d_i \le i$. ...
2
votes
1answer
269 views

Beurling density and interpolation

Let $\Lambda=\{\lambda_n\}_1^\infty$ a set of points on the real line. We denote by $\bar{n}(r)$ the largest number of points in any interval $[x,x+r]$, $r>0$. Define the upper uniform density ...
3
votes
1answer
128 views

Weinstein's local classification of Lagrangian foliations

In the paper "Symplectic manifolds and their Lagrangian submanifolds", Weinstein showed that locally all the Lagrangian foliations are symplectomorhic to the fiber foliation of a cotangent bundle. I ...
0
votes
1answer
53 views

Nagakami behavoir

Is the sum of square Nagakami random variables Erlang distributed? What is the distribution of euclidean norm of complex Nagakami? Cheers!
2
votes
2answers
106 views
+100

Projection formula for smooth representations of locally profinite groups

Let $G$ be a locally profinite (i.e., locally compact, Hausdorff, and totally disconnected) topological group, $H \le G$ a closed subgroup, $(\pi, V)$ a smooth representation of $G$, and $(\sigma, W)$ ...
2
votes
0answers
237 views

A metric on $S^{2}$ [on hold]

Let $p:S^{3}\to S^{2}$ be the Hopf fibration $p(z,w)= (\parallel z\parallel^{2}-\parallel w\parallel^{2},\;2z\bar{w})$. Define a metric on $S^{2}$ as follows: $$d(x,y)=Hd(p^{-1}(x), ...
0
votes
0answers
62 views

Zero-mean assumptions concerning r.d.'s when reading graduate-level probability texts

I'm reading through T. Taos book on random matrices (to be found here), and it is frequent to make without-loss-of-generality certain reductions when proving theorems as for example Hoeffdings ...
11
votes
4answers
2k views

An easy proof that S(n) does not embed into A(n+1)?

Rotman's book An Introduction to the Theory of Groups (Fourth Edition) asks, on page 22, Exercise 2.8, to show that S(n) cannot be embedded in A(n+1), where S(n) = the symmetric group on n elements, ...
8
votes
1answer
1k views

How can I have a copy of this old paper by Frobenius?

How can I have a copy of this old paper and a translation of it? Frobenius, G. (1902). Uber primitive Gruppen des Grades n und der Klasse n - 1. S. B. Akad. Berlin 1902, 455-459.
-5
votes
0answers
46 views

What is induction to n^(n-1) >= n! for n=9,10 [on hold]

Can somebody help me? How do I prove n^(n-1) >= n! for n=9,10..... by induction?
1
vote
1answer
160 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
5
votes
1answer
225 views

Dimension of Hilbert scheme?

I have a subvariety $V \subset X$, and I want to compute the dimension of the connected component of $\textrm{Hilb}(X)$ containing $[V]$. I can give explicit deformations of $V$ showing that the ...

15 30 50 per page