相关论文: Equivalences of promise compactness principles

We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise…

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

A coloured graph is k-ultrahomogeneous if every isomorphism between two induced subgraphs of order at most k extends to an automorphism. A coloured graph is t-tuple regular if the number of vertices adjacent to every vertex in a set S of…

Let $G$ be a compact connected Lie group acting on a stable complex manifold $M$ with equivariant vector bundle $E$. Besides, suppose $\phi$ is an equivariant map from $M$ to the Lie algebra $\mathfrak{g}$. We can define some equivalence…

We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimes\Gamma(2)$ (where $\Gamma(2)$ is the congruence subgroup of level 2). For each of them, we compute both…

Let $\mathsf{TT}^2_k$ denote the combinatorial principle stating that every $k$-coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an isomorphic subtree in which all pairs of compatible nodes have…

In recent work, we related the structure of subvarieties of $n\times n$ complex matrices defined by eigenvalue coincidences to $GL(n-1,\mathbb{C})$-orbits on the flag variety of $\mathfrak{gl}(n,\mathbb{C})$. In the first part of this…

Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative…

We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…

The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…

Let $\mathbb{K}$ be an algebraically closed field, and $A \subset \mathbb{K}[x_{1}, \ldots, x_n]$ be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of $\mathbb{K}$-algebras \[…

Given a lattice $\mathbb{L}$ and a class $K$ of algebraic structures, we say that $\mathbb{L}$ \emph{forces nilpotency} in $K$ if every algebra $\mathbf{A} \in K$ whose congruence lattice $\mathrm{Con} (\mathbf{A})$ is isomorphic to…

A $k$-uniform hypergraph $G=(V,E)$ is called odd-bipartite ([5]), if $k$ is even and there exists some proper subset $V_1$ of $V$ such that each edge of $G$ contains odd number of vertices in $V_1$. Odd-bipartite hypergraphs are…

We classify the cohomology spaces $H^2(\mathfrak{g},K)$ for all filiform nilpotent Lie algebras of dimension $n\le 11$ over $K$ and for certain classes of algebras of dimension $n\ge 12$. The result is applied to the determination of affine…

Let $\mathfrak{g}$ be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism $\overline{D}$ on the coordinate ring $\mathbb{C}[N]$ related to Brion's equivariant multiplicities via the…

If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…

The equivalence postulate approach to quantum mechanics entails a derivation of quantum mechanics from a fundamental geometrical principle. Underlying the formalism there exists a basic cocycle condition, which is invariant under…

Let $X$ be a (data) set. Let $K(x,y)>0$ be a measure of the affinity between the data points $x$ and $y$. We prove that $K$ has the structure of a Newtonian potential $K(x,y)=\varphi(d(x,y))$ with $\varphi$ decreasing and $d$ a quasi-metric…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…