Skip to main content

Questions tagged [embeddings]

82 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
131 views

Embedding a binary subspace to $l_2$ in a much lower dimension

I'm trying to find a way to embed a binary linear subspace of dimension $n$ (a linear code) to the Euclidian space while reducing the dimension significantly. The subspace (or code) contains points ...
GWB's user avatar
  • 301
2 votes
0 answers
222 views

obstructions to embeddings of manifolds into Grassmannians

Let $G_k(\mathbb{R}^n)$ be the Grassmannian consisting of $k$-dimensional subspaces in $\mathbb{R}^n$ and $AG_k(\mathbb{R}^n)$ the "affine Grassmannian" consisting of $k$-dimensional planes in $\...
Shi Q.'s user avatar
  • 543
2 votes
0 answers
139 views

Disks in Flat Embeddings of Graphs in $\mathbb{R}^3$

Robertson, Seymour and Thomas proved that any linkless graph $G$ has a flat embedding in $\mathbb{R}^3$ (see for example A survey of linkless embeddings). An embedding of $G$ is flat if for any cycle $...
Hooman's user avatar
  • 415
1 vote
0 answers
51 views

Compact embeddings RKHSs into Sobolev Spaces

Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
Sam_the_Sampler's user avatar
1 vote
0 answers
75 views

Closed regular monomorphism and closed subspace

I have read the categorical definition of embedding, which is that of regular monomorphism. In the case of the category of locally ringed space, is it true that closed subspaces are defined by closed ...
Lefevres's user avatar
1 vote
0 answers
77 views

Is there a variant of the crossing lemma for multigraphs with arbitrary embedding?

Suppose $G$ is a graph embedded in the plane with $m=|E(G)|$ edges and $n=|V(G)|$ vertices. Suppose $\operatorname{sim}(G)$, the simplification of $G$ contains $ m' \gg 3n $ edges. Call the set of ...
Hao S's user avatar
  • 111
1 vote
0 answers
141 views

Can a closed null-homotopic curve be filled in by a disc?

Let $U\subseteq\Bbb R^n$ be an open set and $\gamma\subset U$ a closed null-homotopic curve in $U$ (i.e. it can be contracted to a point). Then is there an embedded disc $D\subset U$ with boundary $\...
M. Winter's user avatar
  • 13.6k
1 vote
0 answers
123 views

Dependence of Sobolev embedding theorem constant on smoothness

Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that $$ \|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
user515999's user avatar
1 vote
0 answers
125 views

Do cycle graphs embed isometrically in spheres?

I recently came across, what seems to be a folklore. Namely, that cycle graphs embeds isometrically into spheres $S^n(r)$, for some $n\in \mathbb{N}_+$ and some $r>0$. However, I could not track ...
Justin_other_PhD's user avatar
1 vote
0 answers
79 views

Can this method let choiceless large cardinals be smaller than cardinals compatible with choice?

Recall question "Can we have this sequence where choice fails and returns?" Can that theory be extended with requiring the $\mathcal V_n$'s to fulfill a choiceless large cardinal extension ...
Zuhair Al-Johar's user avatar
1 vote
0 answers
119 views

Embedding (Kronecker product) preserves the structure?

In PGL$_{n}(\textbf{C})$, conjugacy classes of toral involutions can be represented by $$s_{i} = \begin{pmatrix} -I_{i} & 0\\ 0 & I_{n-i} \end{pmatrix}.$$ for $1 \leqslant i \leqslant [n/2]$. ...
user488802's user avatar
1 vote
0 answers
118 views

Exists $G$-equivariant embedding with faithful representation of $G$?

Let $k$ be a field of characteristic zero and $G$ a reductive group over $k$. Furthermore, let $X$ be a projective $k$-variety with a $G$-action. Then we know, for example from Mumfords book about GIT,...
KKD's user avatar
  • 473
1 vote
0 answers
136 views

Realization of a subgroup in a maximal subgroup of a classical group

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\SL{SL}$In the finite group $G = \operatorname{PGL}_8(5)$, there is an elementary abelian $2$-subgroup $E$ of rank 5. $E = A_{1} \times A_{2} $ where $...
user488802's user avatar
1 vote
0 answers
106 views

Best estimate on doubling constant of a finite metric space

Let $(X,d)$ be a finite metric space. Clearly, $(X,d)$ is a doubling metric space but is there a 'best' estimate of $(X,d)$'s doubling constant? Probability based on its cardinality, diameter, and ...
Carlos_Petterson's user avatar
1 vote
0 answers
31 views

Separability of graph component embeddings

I have an undirected graph. I also have an embedding of the graph in $\mathbb{R}^3$. Assume that the graph has 2 connected components. I want to know whether there exists a plane (or better - any ...
user1747134's user avatar
1 vote
0 answers
112 views

The best lower bound for isometric immersions

I just read Azov's article in the considered two classes of Riemannian metrics, \begin{align*} ds^2&=du_1^2+f(u_1)\sum_{i=2}^ldu_i,&f>0\\ ds^2&=g^2(u_1)\sum_{i=2}^ldu_i^2 ,&g>0\...
Zaragosa's user avatar
  • 143
1 vote
0 answers
70 views

Injectivity of post-composition operator

Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
SetValued_Michael's user avatar
1 vote
0 answers
109 views

What is known about this generalization of planar dual?

So it is well known that given a planar graph, $G$, embedded in the plane (without edge crossing, so a planar embedding). One can construct the planar dual, $G^*$. What is perhaps slightly less well-...
Justin Benfield's user avatar
1 vote
0 answers
212 views

Intrinsic Reach for a Riemannian manifold

The reach of a set $X\subseteq \mathbb{R}^d$ is the supremum of all $r \geq 0$ such that for all $y\in X^c$ with $dist(y,X)<r$ there is a unique $x\in X$ with $dist(y,x)= dist(y,X)$. My question: ...
Amir Sagiv's user avatar
  • 3,574
1 vote
0 answers
159 views

Max-min genus of a bipartite graph

As usual, the genus of a graph with a prescribed circular ordering of the edges at each vertex is defined as the minimum genus of an orientable surface in which the graph can be drawn without edge ...
GMB's user avatar
  • 1,389
1 vote
0 answers
34 views

Realizing set systems in real space

Let $\mathcal{S} = \{S_i\}$ be a collection of subsets of the same size $s$, all drawn from the universe $[n]$, with the property that $|S_i \cap S_j| \le 1$ for all $ i \ne j$. Let us say that $\...
GMB's user avatar
  • 1,389
1 vote
0 answers
111 views

"Nice" limits of sequences of smooth embeddings

Consider smooth embeddings of a manifold $M$ into some $\mathbb{R}^n$. If a sequence $f_k : M \to \mathbb{R}^n$ of such embeddings converges to some continuous function $f : M \to \mathbb{R}^n$, then ...
Herng Yi's user avatar
  • 221
0 votes
0 answers
67 views

Constants in the entropy number of the Sobolev space

For a Sobolev space with $W^s(\Omega)$, where $\Omega\subset R^d$ is a compact space with smooth boundary, we know that the entropy number satisfies $e(\delta, W^s(\Omega, 1),\|\cdot\|_{L_\infty})\leq ...
NullOfMatrix's user avatar
0 votes
0 answers
154 views

Embedding of the first Hirzebruch surface in $\mathbb{P}^4$ as a cubic surface

The first Hirzebruch surface (the blow-up of $\mathbb{P}^2$ at one point) is a projective toric surface that naturally embeds into $\mathbb{P}^4$ as a cubic surface (sometimes called the cubic scroll)....
Yromed's user avatar
  • 183
0 votes
0 answers
111 views

Name for homotopy totalization of Goodwillie tower (in embedding calculus)

Let $M,N$ be a manifold and consider the presheaf of spaces $\textrm{Emb}(-, N)$ on the open sets of $M$. Classical embedding calculus produces a goodwillie tower $$ \ldots \rightarrow T_{k+1} \textrm{...
Andrea Marino's user avatar
0 votes
0 answers
155 views

Prove that Takens' embedding is a smooth one-to-one map with a smooth inverse

Let $f: \mathcal{M} \rightarrow \mathcal{M}$ be a smooth diffeomorphism and $\phi: \mathcal{M} \rightarrow \mathbb{R}$ be a smooth function, where $\mathcal{M}$ is a $d$-dimensional manifold (which we ...
Mark's user avatar
  • 297
0 votes
0 answers
241 views

Can a non-reflexive space embed into a reflexive space?

My question is inspired from the concept of super-reflexivity which was defined by James here: https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/superreflexive-banach-...
Shridhar's user avatar
0 votes
0 answers
162 views

Compact embedding of anisotropic Sobolev space

I am wondering if the embedding from $W^{2,1}_p(\Omega \times [0,T])$ to $C^{\alpha,\alpha/2}(\Omega \times [0,T])$ is compact, for some suitable domain, $p$ and $\alpha$. I have found some results. I ...
mnmn1993's user avatar
0 votes
0 answers
94 views

Reflective embeddings outside separation?

One of the known ways to axiomatize ZF is via these two axiom schemata: Separation: $\forall \vec{w} \forall A \exists! x: x=\{y \in A: \phi\}$ Reflection: $\forall \vec{w} \exists \alpha: \phi \to \...
Zuhair Al-Johar's user avatar
0 votes
0 answers
377 views

Examples of (infinite) graphs which cannot be embedded into 3d space?

I was thinking about the concept of embedding graphs into Euclidean spaces. Specifically, i was looking for examples of infinite graphs which cannot be embedded in $\mathbb{R}^3$ but can be embedded ...
Conor Marco's user avatar
0 votes
0 answers
216 views

Intersection of weighted Sobolev spaces

Consider the Sobolev spaces with $p=2$, defined for $s \in \mathbb{R}$ as \begin{equation} W^{s} = \left\{ u \in \mathcal{S}', \ (1 + \lvert \cdot \rvert^2)^{{s}/{2}} \widehat{u} \in L_2 \right\}. \...
Goulifet's user avatar
  • 2,306
0 votes
0 answers
581 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? ...
Arnold Neumaier's user avatar

1
2