# All Questions

**0**

votes

**0**answers

8 views

### Generalized height of elements in abelian groups

In the book Infinite abelian groups Vol. I by L. Fuchs, on page 154, the notion of the generalized $p$-height of an element in an abelian group is defined, as follows:
Let $A$ be an abelian group ...

**1**

vote

**1**answer

16 views

### An inequality on partitions into distinct bounded parts

Let $P(n,m)$ denote the set of all positive integer partitions of $n$ into parts that are pairwise distinct and bounded by $m$. Let $p(n,m) = |P(n,m)|$.
After some numerical experiments it appears
$...

**0**

votes

**0**answers

28 views

### An ideal and its annihilator

Let $I$ be an arbitrary ideal of commutative ring $R$ with identity.
If $ann (I)=AB$, where $A$ and $B$ are comaximal, how can we fine two ideal $I_1$ and $I_2$ with $I=I_1+I_2$ such that $I_1$ ...

**1**

vote

**0**answers

18 views

### Bounds on Matrix Exponential

Suppose $A$ and $B$ are (non-commuting) hermitian $n\times n$ matrices and $k$ is a large positive number. Suppose we write the product of matrix exponentials as
$e^{kA + B} e^{-kA} = e^{C(k)}$
for ...

**2**

votes

**2**answers

263 views

### Euclid vs Eratosthenes

Very little is known about Euclid's life--much less than about other famous ancient Greek mathematicians, which is puzzling. It is also strange to me that Euclid didn't write about the Eratosthenes ...

**1**

vote

**0**answers

32 views

### Has a continuous map from $\kappa^\omega$ to $[0,1]^\omega$ a non-scattered fiber?

Question. Let $\kappa>\mathfrak c$ be a cardinal endowed with the discrete topology and $f:\kappa^\omega\to[0,1]^\omega$ be a continuous map. Is there a point $y\in[0,1]^\omega$ whose preimage $f^{-...

**0**

votes

**0**answers

32 views

### Normalizing factor in Reciprocity of traces of Frobenius with solutions of equations mod p

One kind of Reciprocity tells us that we can count solutions to polynomial equations over finite fields and relate them to traces of Galois Representations with some normalization factor.
For ...

**3**

votes

**0**answers

48 views

### Meaning of the support property in the definition of Bridgeland stability condition

Let $(Z,\mathcal{P})$ be a Bridgeland stability condition on a triangulated category $\mathcal{C}$. It is said to satisfy the support property if there exists a norm on $K(\mathcal{C})\otimes_\mathbb{...

**1**

vote

**2**answers

200 views

### Krull-dimension of local domain

Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated.
...

**-4**

votes

**0**answers

35 views

### How do I figure out the next number in these series of numbers? [on hold]

I tried everything but I guess I am struggling and I am stumped what number comes next in the sequence. Hints or tips about how to go about this because I am not seeing this. I tried calculating the ...

**0**

votes

**0**answers

53 views

### (Dynamical) mean field theory for mathematicians?

I am looking for a readable introduction/tutorial on dynamical mean-field theory, written for someone who doesn't know anything about particle physics.
My physics background is non-existent beyond ...

**2**

votes

**0**answers

87 views

### Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...

**0**

votes

**1**answer

47 views

### Parametric solutions to a system of equations

Let $s,t$ be two independent real parameters, and let $a_2(s,t), a_1(s,t), a_0(s,t)$ be linear forms in $s, t$ with real coefficients. Put $a_4 = s, a_3 = t$ and consider the quadratic form
$$\...

**-4**

votes

**0**answers

108 views

### What is geometry? [on hold]

I wish to know what geometers and other mathematicians consider geometry.
Wikipedia defines geometry as "concerned with questions of shape, size, relative position of figures, and the properties of ...

**-4**

votes

**0**answers

71 views

### Does the group Aut(M) preserve every Dedekind Zeta function? [on hold]

Foreword:
This excerpt of a paper of mine aims at introducing the concept of automorphism of an L-function, where by L-function we mean any element of the Selberg class that is also an automorphic L-...

**0**

votes

**1**answer

42 views

### Hamiltonian potential invariant under lie group action?

Let $(M,g)$ be a riemannian manifold and $G$ a Lie group acting on $M$ by isometries.
Taking a $G$-invariant function $f\colon M \to \mathbb{R}$, we have the riemannian gradient $\operatorname{grad} ...

**1**

vote

**0**answers

31 views

### Can all Local Martingales Be Represented using Only Brownian Motion and Finite Variation Processes?

This is a cross-post of my unanswered (more than a week) question on Math.SE. Since it covers topics from my graduate-level course on stochastic processes, I thought it might be appropriate to try to ...

**3**

votes

**1**answer

132 views

### A kind of saturation property related to forcing notions

Forcing is typically done over well-founded models. There are lots of good reasons for this, but it can feel confining at times. Fortunately, we can equally well force over non-well-founded models! It ...

**3**

votes

**0**answers

55 views

### Solving matrix equation $X^{-1}=\sum_{i=1}^n D_i X A_i$

Does anybody know an algorithm to solve the following matrix equation?
$$X^{-1}=\sum_{i=1}^n D_i X A_i$$
where $D_i$s are diagonal and $A_i$s are symmetric matrices.

**1**

vote

**0**answers

37 views

### Banach spaces: A ball being a subset of the interior of the union of two balls

Let $X$ be a separable reflexive Banach space and let $A$, $B_1$, and $B_2$ be three closed balls in $X$. Is there a `handy' necessary and sufficient condition for checking whether $A \subseteq (B_1 \...

**0**

votes

**0**answers

10 views

### Expected value of stochastic process [on hold]

How can i calculate the expected value of $$S_t= S_0 \exp\left( mt-\frac12\int_{0}^{t}e^{2Y_s}ds+\int_{0}^{t}e^{Y_s}dB_s\right)\quad $$ where $${Y_t}$$ is the solution of a sde and follows tha normal ...

**0**

votes

**0**answers

72 views

### Dirac functional embedding [on hold]

I got the following set up:
Let $S \neq \emptyset$ equiped with the discrete topology and let $\ell_\infty(S) = \{f: S \to \mathbb C \mid f \text{ bounded}\}$. Not $\ell_\infty(S)$ with the pointwise ...

**4**

votes

**1**answer

106 views

### Bernstein sets of large cardinality

A metrizable space $X$ will be called a generalized Bernstein set if every closed completely metrizable subspace $C$ of $X$ has cardinality $|C|<|X|$.
It is well-known that the real line contains ...

**2**

votes

**0**answers

32 views

### $TSU(n)$ completely integrable with 3 $SU(2)$ invariant functions?

Consider the Lie group $SU(n)$ endowed with the standard bi-invariant metric. Then $SU(n)$ can be viewed as a symmetric space of $K_{n,n} := SU(n) \times SU(n)$.
Define $M := K_{n,n} /SU(n)$. Using ...

**4**

votes

**1**answer

242 views

### History of the notation for substitution

One of the very common notations for syntactic substitution is $[\ /\ ]$.
There seems to be a large inconsistency in the literature about its use.
Many write $[t/x]$ for substitute $t$ for $x$ (e.g. ...

**2**

votes

**1**answer

126 views

### Tensor and symmetric invariants of Symmetric group

For the action of $S_n$ on $\mathbb C^n$ the elementary symmetric polynomials generate the ring of polynomial invariants. What are the generators for the action of $S_n$ on $\mathbb C^n \otimes \...

**0**

votes

**0**answers

60 views

### Find equidistant points on surface of sphere [on hold]

Given a sphere, find the maximum number of points can be placed on the surface of the sphere such that all are equidistant from each other.
I am not at all good in maths. Please let me know what can ...

**2**

votes

**1**answer

147 views

### Left adjoint to Double Nerve?

The well known nerve functor from small categories to simplicial sets has a left adjoint, namely the fundamental category functor. Does the double nerve functor $N^2:2Cat\rightarrow sSSet$ from 2-...

**1**

vote

**1**answer

142 views

### Evaluation of sum of factorials

Is there an evaluation of this sum (possibly involving gamma functions)? $k$ and $n$ are natural numbers and $x$ is real with $0<x<1$.
$$ \sum_{\substack{k=0\\n-k\text{ even}}}^n \frac{(-1)^{(n-...

**2**

votes

**0**answers

43 views

### Approximate unit in C*-algebra with additional properties

In the book about K-theory (a friendly approach) by Wegge and Olsen I came across the following notion: in Lemma 16.4 authors assume that the $C^*$-algebra $A$ possess "(commuting) approximate unit $(...

**1**

vote

**1**answer

221 views

### $G_1 \rtimes G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? $G_1 \times G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? [on hold]

As summarized in the title, suppose there is an isomorphism between $G_1 \times G_2$ and $G_3$, is it always true that $BG_1 \times BG_2$ is homotopy equivalent to $BG_3$? If it is not always true ...

**1**

vote

**2**answers

76 views

### Concentration of matrix norms under random projection.

Let X be a given matrix of dimension $p \times q$. Let $G$ be a $s \times p$ dimensional matrix of standard normal/Gaussian random variables.
Are there cases where one can been able to quantify $...

**3**

votes

**0**answers

50 views

### Do the normal forms for braid groups really conceal information about better than randomly applying the braid relations?

In braid based cryptography, one typically wants to conceal the way a certain braid $b$ has been obtained. One therefore puts $b$ into some normal form. Since every braid has a unique normal form, the ...

**7**

votes

**0**answers

134 views

### What is the smallest density of a metrizable space without countable separation?

A Tychonoff space $X$ is defined to have countable separation if some (equivalently, any) compactification $bX$ of $X$ contains a countable family $\mathcal U$ of open sets such that for any points $x\...

**2**

votes

**1**answer

84 views

### If a Weyl element preserves a root, then it has a representative which preserves the root space?

Let $G$ be a reductive group defined over a field $F$. Let $\Sigma$ be the set of roots of $G$ with respect to a Borel subgroup $B=TU$ with torus $T$. Let $W=N_G(T)/T$ be the Weyl group of $G$. For $\...

**0**

votes

**0**answers

27 views

### Basic Definition and Notations in RWRE [on hold]

From the definition of Zeitouni's lecture notes on RWRE: $(V, E)$ is a special graph, and $N_v:= \{k \in V: (v,k) \in E\}$ is the neighborhood of $v \in V$. $\Omega = \prod_{v \in V} M_1(N_v)$ ...

**0**

votes

**0**answers

111 views

### Ring structure on cohomology of groups

Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...

**-1**

votes

**0**answers

21 views

### Closed form formula for fill rate given a discrete distribution? [on hold]

I'm wondering whether there is a closed form way to obtain good estimates for fill rate given a discrete distribution of demand.
I created a simple monte carlo simulation to see if I could see any ...

**-1**

votes

**0**answers

62 views

### A rash guess about distribution of primes based on meager empirical evidence?

Elementary number theory is a field in which imbeciles can ask questions that experts cannot answer (and I wonder if discrete geometry is a similar subject in that respect?) and herewith I submit ...

**2**

votes

**1**answer

144 views

### Resolution of the ideal of the Abel-Jacobi image of a curve?

Let $C$ be a complex curve of genus $g\ge 2$ and let $a\colon C\to J(C)$ be the Abel-Jacobi map. Is there a finite resolution of the ideal $\mathcal I_{a(C)}$ whose terms are sums line bundles of the ...

**-3**

votes

**0**answers

26 views

### function mapping odd numbers to counting numbers [on hold]

Mapping even numbers to counting numbers is straight forward.
Without introducing any other variable:
i = 0, 2, 4, 6, . . .
if i > 0: count = i/2
what about ...

**-4**

votes

**0**answers

26 views

### similarity metric for geometries [on hold]

I'm searching for a method to calculate the degree of similarity of two given geometries. These geometries can be of any type and can have an arbitrary shape. For the sake of simplicity, I primarily ...

**0**

votes

**0**answers

158 views

### Can some exotic sphere be diffeomorphically embedded into some $R^n$?

Can some (or perhaps every) exotic sphere be diffeomorphically embedded into some $R^n$? How does such an embedding (if it exists) look like? I.e., what are the equations for a particular embedding?
...