Related papers: On graphs of total projective functions
Let $\lambda_1(G)\ge \lambda_2(G)\ge \cdots \ge \lambda_n(G)$ denote the adjacency eigenvalues of a graph $G$ of order $n$. We prove that for every $k\geq 2$ and every graph $G$ on $n\geq k$ vertices, $$ \lambda_k(G)\le…
We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over $L$, every analytic hypergraph on a Polish space admits a $\mathbf{\Delta}^1_2$ maximal independent set. As a main…
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures is complete for $\Sigma^1_1$; the first…
On the space of isometric embeddings $f_g$ of metrics $g$ on a manifold $M^n$ into the standard $(\mb{S}^{\tn=\tn(n)},\tg)$, we consider the total exterior scalar curvature $\Theta_{f_g}(M)$, and squared $L^2$ norm of the mean curvature…
Stanley introduced the chromatic symmetric function of a simple graph, which is a generalization of a chromatic polynomial. This is expressed in terms of the integer points of the complements of the corresponding graphic arrangement.…
Let $\gamma_g(G)$ and $\gamma_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $\gamma_g$-perfect (resp. $\gamma_{tg}$-perfect), if every induced subgraph $F$ of $G$…
Consider the following approximation problem of a continuous function of three variables by the sum of three continuous functions of one variable: \[ E(f,\Omega)=\inf||f(x,y,z)-\phi(x)-\psi(y)-\omega(z)||_{\infty}=? \] where $f(x,y,z)$ is a…
In this work, we establish a representation theorem for multivariable totally symmetric functions: a multisymmetric continuous function must be the composition of a continuous function and a set of generators of the multisymmetric…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…
For a $k$-uniform hypergraph (or simply $k$-graph) $F$, the codegree Tur\'{a}n density $\pi_{\mathrm{co}}(F)$ is the supremum over all $\alpha$ such that there exist arbitrarily large $n$-vertex $F$-free $k$-graphs $H$ in which every…
For an analytic and univalent function $f$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$, the logarithmic coefficients $\gamma_n$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…
Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For…
A $3$-uniform hypergraph is a generalization of simple graphs where each hyperedge is a subset of vertices of size $3$. The degree of a vertex in a hypergraph is the number of hyperedges incident with it. The degree sequence of a hypergraph…
We investigate the problem of the realization of a given graph as the Reeb graph $\mathcal{R}(f)$ of a smooth function $f\colon M\rightarrow \mathbb{R}$ with finitely many critical points, where $M$ is a closed manifold. We show that for…
We prove that, to every abstract group $G$, we can associate a sequence of graphs $\Gamma_n$ such that the automorphism group of $\Gamma_n$ is isomorphic to $G$ and the genus of $\Gamma_n$ is an unbounded function of $n$.
We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic…
In Chapter 2 we study the path-cycle symmetric function of a digraph, a symmetric function generalization of Chung and Graham's cover polynomial. Most of this material appears in either Advances in Math. 118 (1996), 71-98 or J. Algebraic…
We introduce and study a new graph representation where vertices are embedded in three or more dimensions, and in which the edges are drawn on the projections onto the axis-parallel planes. We show that the complete graph on $n$ vertices…
We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of…
The tau function corresponding to the affine ring of a certain plane algebraic curve, called (n,s)-curve, embedded in the universal Grassmann manifold is studied. It is neatly expressed by the multivariate sigma function. This expression is…