0
votes
0answers
8 views

Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point. I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
0
votes
0answers
15 views

Bounds on imaginary parts of partial Kloosterman sums?

For a prime $p$ and integers $a,m$, $0<a,m<p$ define the (partial Kloosterman) sum $$ S_p(a,m) = \sum_{0<k<m} \exp\left(\frac{2\pi\mathrm{i}}{p}(x + a x^{-1})\right), $$ where $x^{-1}$ is ...
1
vote
0answers
11 views

counting irreducible factors

In How hard is it to compute the number of prime factors of a given integer? a question was asked on computing number of prime factors of an integer. Suppose we have a polynomial $f(X)\in \Bbb Z[X]$ ...
3
votes
2answers
109 views

What problem would you base your mathcoin on?

Recently, a variant of electronic currency, based on prime sextuplets, broke the record in generating the largest known set of six primes, packed as closely as possible, that is, a sextuple ...
4
votes
1answer
35 views

References to proofs of upper and lower bounds on the number of coprimes in an interval?

On the first page of the article "When the sieve works", the authors present upper and lower bounds for $S(T,T+x;\mathcal{E})$; the number of integers in the interval $(T,T+x]$ that are coprime to all ...
6
votes
1answer
82 views

What's the volume of $\{x\in[0,1]^n|\sum x_i\le t\}$ for real $t$?

Given $x\in\mathbb{R}^n$, $x_i$ denotes its $i$-th coordinate. My question is: What is $Vol(\{x\in[0,1]^n|\sum_{i=1}^n x_i\le t\})$ for $t\in\mathbb{R}$ ? Is there some kind of "easily computable" ...
0
votes
0answers
16 views

Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question: Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...
1
vote
0answers
43 views

Newvectors in tensor product representations

Let $\pi_p$ and $\pi_p^\prime$ two smooth admissible irreducible complex representations of ${\rm GL}_2(F)$ where $F$ is a non archimedean local field of residual characteristic $p$ of central ...
6
votes
0answers
123 views

Do we know that 'most' finite groups are Galois groups of number fields?

The inverse Galois problem is a classical problem in mathematics and asks whether every finite group can be realized as the Galois group of a finite field extension of the rational numbers. The ...
3
votes
1answer
66 views

Intersections of hypersurfaces of degree $d$ in $\mathbb CP^n$

Is it true that every projective sub-variety of degree $d$ in $\mathbb CP^n$ is an intersection of some number of hypersurfaces of degree $d$? Is there some simple proof of this fact? (I believe this ...
4
votes
0answers
41 views

Elementary embeddings with the same critical point

Question: Is it consistent (relative to the existence of large cardinals) that there is an elementary embedding $j\colon V\to M$ (where $M$ is transitive model) that factors as $j = j_n \circ k_n$ for ...
-1
votes
0answers
35 views

A general Formula for calculating Bezout's identity? [on hold]

I know how to calculate Bezout's identity by using the extended Euclidian algorithm (running the regular algorithm "backwards" where each step is calculated before I proceed to the next one, like so ...
4
votes
2answers
119 views

another question about connected open sets in $R^2$

Before posting this question,I just asked a similar question:a question about connected open sets in $R^2$. I got several nice answers.Now I want to ask: Let $U$ be a nonempty connected open set in ...
4
votes
1answer
56 views

Site dependance of the Cech weak equivalences on simplicial sheaves

Let $\mathcal{T}= sh(C,J)$ a Grothendieck topos of sheaves over a (ordinary) site. One endows the category of simplicial presheaves over $C$ with the "Rezk-Lurie" model structure: that is we start ...
0
votes
0answers
125 views

Areas of Mathematics [on hold]

Can anyone please provide me with the main areas of math and how each area branches out with its categories, subsets, and tasks as in a knowledge graph or provide me with some useful contacts? I know ...
0
votes
1answer
77 views

Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...
2
votes
1answer
58 views

A question on recursion in Kripke-Platek set theory with infinity and $\Sigma_{3}$-separation and $\Sigma_3$-collection

$\Sigma_{3}KP\omega$ be Kripke-Platek set theory with infinity and $\Sigma_{3}$-separation and $\Sigma_3$-collection. What strengthening of Barwise's Definition by $\Sigma$ Recursion (Theorem 6.4 on ...
0
votes
0answers
12 views

Intuition behind shrinking and subsampling in gradient boosted regression/classification?

I'm using gradient boosted decision trees from here: http://scikit-learn.org/stable/modules/generated/sklearn.ensemble.GradientBoostingClassifier.html#sklearn.ensemble.GradientBoostingClassifier In ...
10
votes
2answers
192 views

a question about connected open sets in $R^2$

Let $U,V$ be two nonempty connected open sets in $\mathbb{R}^2$ and $U\subsetneqq V$.I want to ask if there must exist an open ball $B\subset V$ such that $B\not\subset U$ and $B\cap U$ is a nonempty ...
2
votes
0answers
62 views

On the local root number(or local $\epsilon$-factor)

I want to ask some question related to the local root number. Let $E/F$ be a quadratic extension of p-adic local fields and $\psi:E \to \mathbb{C}$ is an additive character of $E$. Let $\phi:WD(E) ...
-2
votes
1answer
91 views

finitely generated subgroups of SO(3) [on hold]

Is it known whether there is any example of a pair of rotations in $SO(3)$ about orthogonal axes such that the group that they generate is not a free product of the two cyclic groups generated by each ...
2
votes
0answers
41 views

Reflexive subspaces of non-separable abstract $L_1$ spaces

An abstract $L_1$ space is a Banach lattice $E$ such that $\|x+y\|=\|x\|+\|y\|$ for disjoint $x,y\in E$. The space $L_1[0,1]$ is a separable example that contains subspaces isomorphic to $L_p[0,1]$ ...
1
vote
0answers
28 views

Does $A_{j,k}$ commute with all its conjugates in homotopy braid groups?

Let $\tilde{B_n}$ be the homotopy braid group; namely, in the deformation of braids, a braid string is allowed to intersect itself. Similarly let $\tilde{P_n}$ be the homotopy pure braid group. I am ...
1
vote
1answer
59 views

n-cube connectivity problem

Given $n\geq 2$, let us consider the n-cube $H_n=(V,E)$, i.e. vertex set $V$ is $\{0,1\}^n$. Here, the edges of $H_n$ are directed, oriented by set inclusion, i.e., $(x,y)\in E$ iff $x\subseteq y$ and ...
1
vote
0answers
138 views

On the Hitchin fibration

I will refer to Simpson's "Higgs bundles and local systems". Proposition 1.4: When $X$ is a smooth projective variety, one can build up the moduli space $\mathcal{M}(X,r)$ of rank $r$ Higgs ...
3
votes
2answers
262 views

Twin primes for polynomials in $\Bbb Z[X]$

The following paper provides result on an analog of twin primes conjecture for $\Bbb F_q[X]$ http://www.math.uga.edu/~pollack/twins.pdf Is there an analog of twin primes conjecture for $\Bbb Z[X]$? ...
3
votes
2answers
159 views

Localizations or quotients of categories?

Motivation: In the classical construction of the derived category of an abelian category, one (roughly) starts with an abelian category $\mathcal{A}$, then considers the quotient category ...
0
votes
0answers
70 views

Notion of solution of pde

Let's consider the following Schrodinger equation $$iu_t+\Delta u+F(u)=0$$ in $\mathbb{R}^n$. In Cazenave's book, "Semilinear Schrodinger equation", he defines $H^1$-weak solution as $u\in ...
1
vote
1answer
102 views

Does the associated Lie algebra determine a group?

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
6
votes
2answers
90 views

Realizing a monoid as $\mathrm{End}(G)$ for some graph $G$

This question relates to Realizing groups as automorphism groups of graphs. Given a monoid $M$, is there a graph $G$ such that the endomorphism monoid $\textrm{End}(G)$ is isomorphic to $M$?
-4
votes
0answers
37 views

Find all solutions in positive integers of the diophantine equation $w^2+x^2+y^2=z^2$ [migrated]

It's an exercises of the text book Elementary Number Theory and It's Applications 6th Edition by Kenneth H.Rosen. I wanted to solve it using the method in solving the diophantine equation ...
-4
votes
0answers
28 views

Distributions properties [on hold]

Let $\varphi\in\mathcal{D}(\mathbb{R})$ the set of functions $\mathcal{C}^\infty$ with compact support, $\delta_n$ is the Dirac in $n$ and the functionals : $$ T = \sum_{n=0}^{+\infty} e^n ...
2
votes
0answers
99 views

Functoriality of the adjoint functor construction?

Say we have a category $\mathcal C$, and for every category $\mathcal A$, we have a category $\mathcal D_{\mathcal A}$ and a functor $F_{\mathcal A} : \mathcal D_{\mathcal A} \to \mathcal C$, and, ...
4
votes
1answer
276 views

Generalization of a property of $A_n; n\geq 5$

Let $H$ and $K$ be two proper non-trivial subgroups of the alternating group $A_n; n\geq 5$. Then there exists a maximal subgroup $M$ of $A_n$ such that $H\not\leq M$ and $K\not\leq M$. To see this ...
-1
votes
0answers
36 views

Random Spanning Tree Edge Probability [on hold]

I am working on a problem with a Loop Erased Random Walk used to create random spanning trees. The problem has many parts, but there are two hints to help with the more complicated problems Figure ...
2
votes
0answers
65 views

Teichmuller geodesics vs. geodesics in the hyperbolic plane

Geodesics in $\mathbb H^2$ have the following properties: For every two points in the plane there exists a unique geodesic joining them. Every geodesic determines exactly two points on the ...
4
votes
1answer
137 views

Equitably distributed curve on a sphere

Let $\gamma=\gamma(L)$ be a simple (non-self-intersecting) closed curve of length $L$ on the unit-radius sphere $S$. So if $L=2\pi$, $\gamma$ could be a great circle. I am seeking the most equitably ...
-1
votes
0answers
59 views

Are there any special properties of graph eigenvalues of perfect matchings?

Say if the graph is just a perfect matching of its vertices OR if it is an union of a few perfect matchings OR its an union of a few perfect matchings and a part of another? Anything if one further ...
4
votes
0answers
84 views

Is this $S$-birational map an open immersion on its domain of definition?

My question is about a claim on the bottom of p. 121 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud, so I will freely use the general terminology recalled in this book, but will ...
1
vote
0answers
47 views

When the completed filtration of a process increases slowly

If $\mathcal{F}_t$ is the filtration of the evaluation process on $C_T$ (continuous function on $[0,T]$). Can we find some law of continuous process $\mathbb{P}$ so that for $t\leq T$ ...
-4
votes
0answers
29 views

Irreflexivity of relations on sets [on hold]

How can I know if the relations: xy >= 1 and x=y+1 or x=y-1 Are irreflexive on Z(all integers)? Thank you!
4
votes
2answers
194 views

Isomorphism problem for two radical extensions

Let $n\geq 2$ and let $a,b\in{\mathbb Q}$. Suppose that both the polynomials $A=X^n-a$ and $B=X^n-b$ are irreducible. We want to know whether ( * ) there is a root $\alpha$ of $A$ and a root $\beta$ ...
13
votes
0answers
127 views

Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to \mathbb{R}$ such that for each $\varepsilon\in(0,1)$ every Banach space $X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point set ...
3
votes
1answer
217 views

Does this function have any exponential growth?

Has anyone seen any function of the following type? $$ g(x):=\sum_{n=0}^\infty \frac{x^n}{n!}\exp\left(-\frac{a^n}{x}\right),\quad a>1,x\ge 0. $$ The question is whether for some constant ...
-2
votes
0answers
75 views

What is the characterization of a graph Laplacian? [on hold]

Given a matrix, what properties must it have so that its ensured that there exists a graph whose Laplacian it would be? (...may be you can consider weighted and unweighted cases separately...) And ...
0
votes
0answers
16 views

the ratio between product of two trace functions maximization

Consider the following Optimization [\begin{array}{l} \mathop {\max }\limits_{\bf{X}} \,\frac{{trace\left( {{\bf{XA}}} \right)trace\left( {{\bf{XB}}} \right)}}{{trace\left( {{\bf{XC}}} ...
0
votes
0answers
72 views

Do they have the same limit?

Suppose $a(\cdot)\in L^p$ and is symmetric and $b(\cdot)\in L^q$, where $1/p+2/q=2$, $p,q\ge 1$. Consider the quantity $Q_T=$ $$ ...
0
votes
0answers
34 views

Random Matrix Theory: question on a quantity on page 87 in book of Bai and Silverstein 2010

Anyone else is reading carefully the book of Bai and Silverstein 2010, titled "Spectral Analysis of Large Dimensional Random Matrices"? On page 87 of this book, when they state the final step in the ...
4
votes
2answers
433 views

Mayer-Vietoris sequence for topological K-theory

I'm reading the paper Loop groups and twisted K-theory I by Freed, Hopkins, and Teleman. They give some examples of computing (twisted) K groups using the Mayer-Vietoris sequence. I'm a bit ...
0
votes
1answer
62 views

A decomposition of incompressible vector fields

In Andrew, Majda- Vorticity and incompressible flow page 93, there is a theorem which is not proved: Take a smooth incompressible (free divergence) vector field $v$ in $\mathbb{R}^2$. Call $w$ its ...

15 30 50 per page