Related papers: On graphs of total projective functions

A total weighting of a graph $G$ is a mapping $\phi$ that assigns a weight to each vertex and each edge of $G$. The vertex-sum of $v \in V(G)$ with respect to $\phi$ is $S_{\phi}(v)=\sum_{e\in E(v)}\phi(e)+\phi(v)$. A total weighting is…

In this paper, we prove the following: If $n\ge3$, there is a generic extension of $L$ -- the constructible universe -- in which it is true that the Separation principle holds for both effective (lightface) classes $\varSigma^1_n$ and…

The degree sequence of a graph is the sequence of the degrees of its vertices. If $\pi$ is a degree sequence of a graph $G$, then $G$ is a realization of $\pi$ and $G$ realizes $\pi$. Determining when a sequence of positive integers is…

Under suitable asymptotic and convexity conditions on a function $g\colon\mathbb{R}_+\to\mathbb{R}$, the solution to $\Delta f=g$, where $\Delta$ is the forward difference operator, is unique up to an additive constant and is called the…

We compare three notions of effectiveness on uncountable structures. The first notion is that of a $\real$-computable structure, based on a model of computation proposed by Blum, Shub, and Smale, which uses full-precision real arithmetic.…

We prove the existence of an affine paving for the three-step flag Hilbert scheme $$ \text{Hilb}^{n, n+1, n+2}(0) := \left\{\mathbb{C}[[x,y]]\supset I_n\supset I_{n+1}\supset I_{n+2}: I_i \,\,\text{ ideals with } \text{dim}_{\mathbb{C}}…

Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind,…

For a given graph $H$, we say that a graph $G$ has a perfect $H$-subdivision tiling if $G$ contains a collection of vertex-disjoint subdivisions of $H$ covering all vertices of $G.$ Let $\delta_{\mathrm{sub}}(n, H)$ be the smallest integer…

A graph is 1-planar if it can be drawn on a plane so that each edge is crossed by at most one other edge. In this paper, we first give a useful structural theorem for 1-planar graphs, and then apply it to the list edge and list total…

The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…

We show that it is equiconsistent with $\mathsf{ZF}$ that Fodor's lemma fails everywhere, and furthermore that the club filter on every regular cardinal is not even $\sigma$-complete. Moreover, these failures can be controlled in a very…

This is a follow up to a paper by the author where the disjointness relation for (the graphs of) definable functions from ${^\omega \omega}$ to ${^\omega \omega}$ is analyzed. In that paper, for each $a \in {^\omega \omega}$ we defined a…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

Let ({\Sigma}, g) be a compact $C^2$ finslerian 3-manifold. If the geodesic flow of g is completely integrable, and the singular set is a tamely-embedded polyhedron, then ${\pi}_1({\Sigma})$ is almost polycyclic. On the other hand, if…

M.Gromov extended the concepts of conformal and quasiconformal mapping to the mappings acting between the manifolds of different dimensions. For instance, any entire holomorphic function $ f: \Cn \to {\mathbb C}$ defines a mapping conformal…

We consider the compactification M(atrix) theory on a Riemann surface Sigma of genus g>1. A natural generalization of the case of the torus leads to construct a projective unitary representation of pi_1(\Sigma), realized on the Hilbert…

Given two $k$-graphs $F$ and $H$, a perfect $F$-tiling (also called an $F$-factor) in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. Let $t_{k-1}(n, F)$ be the smallest integer $t$ such that every…

Let $\Sigma$ and $\Sigma'$ be two refinements of a fan $\Sigma_0$ and $f \colon X_{\Sigma} \dashrightarrow X_{\Sigma'}$ be the birational map induced by $X_{\Sigma} \rightarrow X_{\Sigma_0} \leftarrow X_{\Sigma'}$. We show that the graph…