Related papers: A note on the paper "Homomorphism with respect to …
We extend the result of D. Phillips (On one-homogeneous solutions to elliptic systems in two dimensions. C. R. Math. Acad. Sci. Paris 335 (2002), no. 1, 39-42) by showing that one-homogeneous solutions of certain elliptic systems in…
Focke, Goldberg, and \v{Z}ivn\'y (arXiv 2017) prove a complexity dichotomy for the problem of counting surjective homomorphisms from a large input graph G without loops to a fixed graph H that may have loops. In this note, we give a short…
Given two algebraic groups $G$, $H$ over a field $k$, we investigate the representability of the functor of morphisms (of schemes) $\mathbf{Hom}(G,H)$ and the subfunctor of homomorphisms (of algebraic groups) $\mathbf{Hom}_{\rm gp}(G,H)$.…
The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings,…
We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…
A classic theorem in the theory of connections on principal fiber bundles states that the evaluation of all holonomy functions gives enough information to characterize the bundle structure (among those sharing the same structure group and…
In this paper an analytic proof of a generalization of a theorem of Bismut ([Bis1, Theorem 5.1]) is given, which says that, when $v$ is a transversal holomorphic vector field on a compact complex manifold $X$ with a zero point set $Y$, the…
In this paper, we prove a result related to the deformation of complex submanifolds, modifying a result of Kodaira (Ann. Math, 75(1), 146-162, 1962).
Recently there has been much interest in Gowers uniformity norms from the perspective of theoretical computer science. This is mainly due to the fact that these norms provide a method for testing whether the maximum correlation of a…
We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…
We survey our recent result that for every continuous function there is an absolutely continuous homeomorphism such that the composition has a uniformly converging Fourier expansion. We mention the history of the problem, orginally stated…
We investigate a generalisation of the coherent choice functions considered by Seidenfeld et al. (2010), by sticking to the convexity axiom but imposing no Archimedeanity condition. We define our choice functions on vector spaces of…
The classical Arrow's Theorem answers "how can $n$ voters obtain a collective preference on a set of outcomes, if they have to obey certain constraints?" We give an analogue in the judgment aggregation framework of List and Pettit,…
We consider the problem of approximating a linear cocycle (or, more generally, a vector bundle automorphism) over a fixed base dynamics by another cocycle admitting a dominated splitting. We prove that the possibility of doing so depends…
We study the problem of counting the number of homomorphisms from an input graph $G$ to a fixed (quantum) graph $\bar{H}$ in any finite field of prime order $\mathbb{Z}_p$. The subproblem with graph $H$ was introduced by Faben and Jerrum…
This technical report presents a direct proof of Theorem~1 in [1] and some consequences that also account for (20) in [1]. This direct proof exploits a state space change of basis which replaces the coupled difference equations (10) in [1]…
We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier…
We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism…
Cazanave has identified the algebraic homotopy class of a rational function of $1$ variable with an explicit nondegenerate symmetric bilinear form. Here we show that Hurwitz's proof of a classical result about real rational functions…
The present paper extends generalized morphisms of relations into the realm of Monoidal Fuzzy Logics by first proving and then using relational inequalities over pseudo-associative BK-products (compositions) of relations in these logics. In…