Questions of the kind "What's the name for a X that satisfies property Y?"

**4**

votes

**0**answers

74 views

### Is there a name for groups of the form $Sp(1)^n$?

A (compact) torus is a Lie group isomorphic to the product of finitely many circles: $T^n = S^1 \times \cdots \times S^1$. Such groups are extremely important in Lie theory, Differential Geometry, ...

**4**

votes

**0**answers

173 views

### Origin of the name ''momentum map''

Why is the momentum map in the differential geometry of symmetries called the ''momentum'' (or ''moment'') map?

**0**

votes

**1**answer

116 views

### Clarification on the definition of a quotient singularity

I am working on the quotient construction of a simplicial toric variety as described in chapter 5 of this book. I have tried the following two examples -
The fan $\Delta$ in $\mathbb R^2$ consists ...

**0**

votes

**1**answer

87 views

### Some questions related to the unitary operators

A unitary operator is a surjective linear operator between complex inner product spaces, which preserves the inner product.
What is the name of the analogue for the real case? Orthogonal operator ...

**0**

votes

**0**answers

137 views

### Graph Coloring: Two adjacent vertices share same color

Consider, subgraphs $G_1, G_2,...... G_x$ of graph $G$. Each subgraph has $k$ vertices.
Now, Fix subgraph $G_1$ and consider another subgraph $G_k$ where $1 <k \le x$.
The edge set ...

**1**

vote

**0**answers

54 views

### Better word for a general iterated binary operation? [closed]

I'm working on an algorithm where a lot of things are summed. My paper has the words "summed", "summation", etc. all over the place.
I've recently found that actually, the algorithm will work ...

**2**

votes

**1**answer

168 views

### What is the extension of the truth-table degrees to Baire Space called?

Recall that for sets $A, B \in 2^\omega$ that we say $A \leq_{tt} B$ if there is a total Turing functional $F \colon 2^\omega \to 2^\omega$ such that $F(B)=A$. This is called truth-table reducibility....

**4**

votes

**1**answer

79 views

### Terminology: jointly completely bounded?

This question has a subjective component but I would like answers that try to stick to concrete observable facts, such as which papers use which terminology. However, the informed impressions of those ...

**2**

votes

**2**answers

232 views

### Attaching an ideal whose square is zero: does this operation have a name and a notation?

I know I met the following construction somewhere, but I cannot remember where. Let $A$ be
a (unital associative) ring, and let $N$ be an $A$-$A$ bimodule. On the product set $A\times N$ we define ...

**3**

votes

**1**answer

428 views

### origin of analogy “primes as the atoms of number theory/ arithmetic”

a math student recently challenged me on the old comparison/ analogy of prime numbers to "the atoms of number theory or arithmetic" and then was wondering the origin of the phrase.
where does this ...

**2**

votes

**1**answer

121 views

### What word can I use for a poset with equivalences

Often I want to define a structure on a set $S$ which is like a poset, but lacks the antisymmetry condition: i.e., one is allowed both $a\succeq b$ and $a \preceq b$ for $a, b$ different elements of ...

**1**

vote

**2**answers

173 views

### Is there a name for this metric on a Borel sets

Consider a finite measure space $(X,\Sigma,\mu)$.
Consider the function $d:\Sigma \times \Sigma \to [0,1]$ given by
$$d(\sigma_1,\sigma_2) = \mu \left\{ (\sigma_1^c \cap \sigma_2) \cup (\sigma_1 \cap \...

**7**

votes

**1**answer

290 views

### What does “game theory” cover and how should it be called?

There seems to be a huge discrepancy in what people refer to when they speak of "game theory". I tend to think of it as including, among other things:
Combinatorial game theory dealing with certain ...

**4**

votes

**3**answers

88 views

### Name for directed graphs with “balanced cycles”

Does the following class of graphs have a name?
I'm interested in directed graphs with the following property: for every cycle (of the underlying undirected graph) half of the edges go in one ...

**8**

votes

**1**answer

215 views

### Need a good name for an algorithmic problem in groups that generalizes the conjugacy problem

I am looking for a good name for the following problem:
Given elements $g_1,\dotsc,g_n$ in a (finitely generated) group $G$, determine if the product of their conjugacy classes $g_1^G\dotsb g_n^G$ ...

**3**

votes

**0**answers

63 views

### Name for metric spaces with useful unique-ball-intersection property?

When dealing with the problem of extending a Lipschitz function $f:A \to Y$ between metric spaces across an inclusion $A \hookrightarrow X$, one often imposes (conditions which imply) the following ...

**1**

vote

**0**answers

28 views

### Name for a linear space of functions closed under inequalities

Consider $D$ a set and $X$ a linear space of functions $D \rightarrow \mathbb{R}$ s.t. for any $f \in X$ and $g: D \rightarrow \mathbb{R}$, if $\lvert g \rvert \leq \lvert f \rvert$ then $g \in X$. ...

**12**

votes

**2**answers

258 views

### Term for a metric space for which the triangle inequality is strict?

Is there a standard term for a metric space in which $\rho(p,r) < \rho(p,q) + \rho(q,r)$ for any distinct $p$, $q$, $r$? Sort of the opposite of metric convexity.
For instance, a subset of ...

**4**

votes

**0**answers

91 views

### What terminology surrounds “involutive” double categories?

Write $\mathbf{Cat}$ for the world of categories. Then $\mathbf{Cat}$ has:
objects (namely cateories)
arrows (namely, functors)
proarrows (namely, bimodules)
squares (namely, functors between pairs ...

**7**

votes

**3**answers

194 views

### Is there a standard name for the following type of linear operator?

Is there a standard name for a linear operator $T$ on a finite dimensional vector space satisfying $T^n=T^{n+1}$ for some $n\geq 1$ or, equivalently, $T$ is a similar to a direct sum of a nilpotent ...

**2**

votes

**1**answer

189 views

### Rings such that all quotients by prime ideals are PIDs?

Let $R$ be a commutative ring such that for every prime ideal $P$ of $R$, the ring $R/P$ is a PID. Do you know how these rings are called or another characterization of them?
I know there are a lot ...

**0**

votes

**1**answer

62 views

### Mapping an arrow from the direct limit of a diagram to the family of arrows from the diagram

Consider the direct limit of an indexed family $\{a_n\}_{n\in \omega}$:
$\require{AMScd}$
\begin{CD}
a_0 @>>> \ldots @>>> a_n @>>> a_{n+1} @>>> ...

**1**

vote

**2**answers

59 views

### Maximal Minimum Weight DAGs

In the case of undirected, connected graphs the name for the maximal cycle-free subgraph of minimal weight is called Minimum Spanning Tree, and the efficient algorithms for their calculation are well ...

**5**

votes

**2**answers

357 views

### What is this distance about?

For points $a,b\in \mathbb{R}^n\setminus \{0\}$ denote $$d(a,b)=\frac{\|a-b\|}{\|a\|+\|b\|}.$$
This question by Ritesh Ahuja (positive answered by Iosif Pinelis) says that $d$ is a metric. My ...

**2**

votes

**1**answer

177 views

### What is the formal name of this set-related concept?

I "invented" a concept and it feels like it has already been invented before. I would like to know whether such a concept exists and if so, what is its name?
Let $S$ be a family of finite sets.
...

**2**

votes

**0**answers

51 views

### Is there a name for this variant of the MST and the TSP?

Suppose I am given a weighted graph $G$ that contains a "start vertex" $v_0$, and my goal is to construct a set of paths that all originate at $v_0$ and touch all of the vertices of $G$, with as ...

**2**

votes

**1**answer

120 views

### Name for the set of vertices with the same neighborhood as another vertex

Suppose $\Gamma$ is a simple graph and $N_{\Gamma}(g)=\{x\in V(\Gamma)|x\sim g\}$ is the neighborhood of $g\in V(\Gamma)$. Then consider
$$\mathbb{S}=\{y\in V(\Gamma)|N_{\Gamma}(y)=N_{\Gamma}(g)\}.$$
...

**6**

votes

**1**answer

361 views

### Is a “knot knot” or “double knot” a thing in knot theory?

I apologize in advance for my rudimentary knowledge of knot theory, but I've been trying to find out about the significance (if any) of taking a knot (particularly a torus knot), cutting it, and ...

**0**

votes

**0**answers

27 views

### Name for a “Broken Cycles” Graph Problem

Is there a name for the task of reconstructing a set of cycles $\mathcal{C} = \{C_1,...,C_k\}$ in an undirected graph from the collection of $\mathcal{E}$ of edges constituting to $\mathcal{C}$, when ...

**0**

votes

**0**answers

61 views

### Term for meshes bounding a non-degenerate tetrahedral mesh in 3D?

Is there a term in the literature referring to triangle meshes that are the closed boundary of some non-self-intersecting, non-degenerate tetrahedral mesh embedded in $R^3$?
This class of triangle ...

**6**

votes

**1**answer

355 views

### Factorial-based constant

Am looking for a name for:
$$\prod\dfrac{1}{1-\dfrac{1}{n!}}$$
$$=2.529477472079152648180116154253954242$$
Wolfram|Alpha
Expanding the formula gives:
$$(1+\frac{1}{2!}+\frac{1}{2!^2}+\dots)(1+\...

**0**

votes

**0**answers

18 views

### min-max problems about sets of points

Many research problems in discrete geometry have the following form:
Given a set $S_n$ of $n$ points, let $Max(S_n)$ be the maximum
[something]. Define:
$$MinMax(n) = \inf_{S_n} Max(S_n)$$ ...

**0**

votes

**1**answer

471 views

### The $\zeta-$word [closed]

I was wondering about classical notations in number theory. I will not ask here about special functions in general but about the more ubiquitous number theory functions. That which made me wonder ...

**1**

vote

**2**answers

196 views

### The term for problems “like” Brachistocrone?

Is there a commonly-accepted umbrella term for infinite-dimensional calculus problems where the goal is to compute an optimal geometric path between a pair of points? Three examples of this would be ...

**10**

votes

**1**answer

398 views

### What are “Artin fractions”?

The German Wikipedia entry for Ernst Witt https://de.wikipedia.org/wiki/Ernst_Witt has a photo of his grave in Hamburg. The bottom part has a visible text "Artin Brueche" (Artin fractions) but the ...

**2**

votes

**0**answers

102 views

### Name for the variety of preimages of a finite morphism

If $f:X\to Y$ is a finite morphism of degree $d$ between two varieties, you get a closed subset of the symmetric product $X^{(d)}$ (or perhaps rather the Hilbert scheme $X^{[d]}$), defined as the ...

**12**

votes

**1**answer

818 views

### Where did the term “additive energy” originate?

A fundamental object in modern additive combinatorics and harmonic analysis is additive energy. Given a subset $A$ of (say) an abelian group $G$ the additive energy of $A$ is defined to be the ...

**5**

votes

**1**answer

685 views

### Is there a name for this fast growing function?

Define $F(n,i)=\prod_{j=1}^nj^{j^i}$. $F(n,0)=n!$ is just the standard factorial, whereas $F(n,1)$ is the so-called hyperfactorial.
Is there a term for $F(n,i)$?
How fast do these grow?
Is the ...

**1**

vote

**1**answer

136 views

### Node-edge coloring of graphs

There must be work on this concept, but I am not finding it through
searches, perhaps using the wrong terminology.
Define a node-edge coloring of a graph $G=(V,E)...

**3**

votes

**3**answers

234 views

### Semantic reflection

Let $\ulcorner \cdot \urcorner$ be a fixed encoding of formulas by numbers, e.g.
let $\ulcorner \varphi \urcorner$ denote the Godel number of $\varphi$.
Let $T$ be a first-order arithmetic theory, e....

**2**

votes

**0**answers

101 views

### Notions of singularity for symmetric bilinear maps

Given a symmetric, bilinear map $B : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^m$, a common notion of nondegeneracy is the following:
$$
\mbox{If } B(x,y) = 0 \mbox{ for all } y, \mbox{then } x=...

**2**

votes

**1**answer

108 views

### Does Gaussian Quadrature actually refer to Gauss-Legendre Quadrature？

When the term Gaussian Quadrature appears in most Literatures, does it actually refer to Gauss-Legendre Quadrature.
In other words, do they implicitly admit that they use the Legendre orthogonal ...

**5**

votes

**1**answer

113 views

### A special function solution of a fourth-order ODE

I want to consider the solutions of the following fourth-order ODE:
$$
f^{(4)}(t)+a tf^{(1)}(t)+b f(t)=0,
\tag{$\ast$}$$
where $a,b$ are complex parameters. It turns out that with a Fourier ...

**7**

votes

**0**answers

193 views

### What's the name of the cohomology class associated to a projective representation?

Suppose $\rho : G \to PGL_n(k)$ is a projective representation of a group $G$ over a field $k$. It's classical that the obstruction to lifting this to a linear representation $G \to GL_n(k)$ is a ...

**10**

votes

**1**answer

170 views

### Probability distribution derived from gamma function - does it have a name?

Consider the complex gamma function, denoted by $\Gamma(\sigma+it)$.
Now, let's fix $\sigma$ and let t vary. Then consider the following expression:
$$|\Gamma(\sigma+it)|^2$$
For any choice of $\...

**7**

votes

**0**answers

161 views

### Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=...

**13**

votes

**0**answers

234 views

### Is there support for the term “Gelfand algebra”?

In this question Yemon Choi asked whether there is a standard term for Banach algebras for which the submultiplicative law
($\|ab\| \leq \|a\| \|b\|$) is weakened to merely requiring the product to be ...

**2**

votes

**0**answers

119 views

### For f: X -> Y -> X, what is the name of the property whereby for all x in X and y1, y2 in Y, f(f x y1)y2 = f(f x y2)y1?

My PL group has been discussing this (so we are really professional reject mathematicians, but this is more about the math behind what we are doing). Some of us called it a "generalized associativity,"...

**4**

votes

**1**answer

128 views

### Is this notion of 'closed subset' of a semigroup action something people have thought of?

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...

**5**

votes

**0**answers

62 views

### Is there a name for a bifurcation where a stable fixed point bifurcates into three fixed points: stable, unstable and saddle?

Consider the differential equation on $\mathbb{R}^2$ whose polar-coordinate representation is given by
$$ \begin{array}{r c l} \dot{r} & = & r(\alpha - r^2) \\ \dot{\theta} & = & -sin(\...