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

learn more… | top users | synonyms (1)

4
votes
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
3answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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(\...