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

**-1**

votes

**0**answers

42 views

### Ddifference between deduct and deduce [on hold]

In the context of logic, the term "deduction" was used as a way of thinking. I think, apparently, the verb of "deduction" should be "deduct", hence it is natural and reasonable to use the term ...

**2**

votes

**1**answer

160 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 ...

**3**

votes

**1**answer

70 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

224 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

420 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

116 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

172 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

274 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

79 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

61 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

256 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

89 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

189 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

186 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

58 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

352 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

117 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

358 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

26 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

60 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

352 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:
...

**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

469 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

193 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

397 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

95 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

804 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 ...

**4**

votes

**1**answer

559 views

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

Define $F(n,i)=\prod_{j=1}^nj^{j^i}$.
$F(n,0)=n!$.
$F(n,1)$ is hyperfactorial.
Is there a term for $F(n,i)$? How fast do these grow? Is growth rate $2^{\frac{c_in^{i+1}\log_2n}{i+1}}$ with some ...

**1**

vote

**1**answer

134 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 ...

**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, ...

**2**

votes

**0**answers

100 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 } ...

**2**

votes

**1**answer

104 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

111 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

186 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

167 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

160 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 ...

**13**

votes

**0**answers

233 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 ...

**4**

votes

**1**answer

126 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

61 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} & = & ...

**18**

votes

**4**answers

1k views

### What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?

This is an embarrassingly simple question, but I was not able to find a definitive answer from literature search.
Suppose one has some collection of functions $f_1: X \to Y_1, \dots, f_n: X \to Y_n$ ...

**7**

votes

**0**answers

401 views

### Name for an operation on matrices?

Given two matrices $A$ and $B$ of size $a \times n$ and $b \times m$ consider the following operation $A \dagger B$ whose result is an $a b^n \times n m$ matrix. $A \dagger B$ is a block matrix with ...

**8**

votes

**0**answers

219 views

### What is the name for a Banach space property closed under ultraproducts?

In Banach space theory, a super-property is a property of a Banach space that is preserved under ultrapowers. (Update (2015-09-28): The property must also be closed under isometric embeddings.) ...

**3**

votes

**0**answers

104 views

### Synonyms for “labeling” of a graph

In Preprint 1 we write numerical labels 0 or 1 at each vertex of a Dynkin diagram $D$. We call it a labeling of the graph (Dynkin diagram) $D$.
In Preprint 2 we consider an extended (affine) Dynkin ...

**3**

votes

**2**answers

169 views

### Name for an orthogonal decomposition of $L^2 (\mathbb{R}^2; \mathbb{C})$

The space $L^2 (\mathbb{R}^2; \mathbb{C})$ can be decomposed as
$$
L^2 (\mathbb{R}^2; \mathbb{C}) = \bigoplus_{k \in \mathbb{Z}} L^2_k (\mathbb{R}^2; \mathbb{C}),
$$
where
$$
L^2_k (\mathbb{R}^2; ...