Related papers: The Gamma question for many-one degrees

A resolving set for a graph $\Gamma$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension of $\Gamma$ is the smallest size of…

The singularities of the $\Gamma$ function, a meromorphic function on the complex plane, are known to occur at the nonpositive integers. We show, using Euler and Gauss identities, that for all positive integers $n$ and $k$, $$…

The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppstein [Separating thickness from geometric thickness. In: Towards a…

Let $\gamma: [0,1] \to [0,1]^2$ be a continuous curve such that $\gamma(0)=(0,0)$, $\gamma(1)=(1,1)$, and $\gamma(t) \in (0,1)^2$ for all $t\in (0,1)$. We prove that, for each $n \in \mathbb{N}$, there exists a sequence of points $A_i$,…

The Riemann hypothesis, conjectured by Bernhard Riemann in 1859, claims that the non-trivial zeros of $\zeta(s)$ lie on the line $\Re(s) =1/2$. The density hypothesis is a conjectured estimate $N(\lambda, T) =O\bigl(T\sp{2(1-\lambda)…

In the classical Polya urn problem, one begins with $d$ bins, each containing one ball. Additional balls arrive one at a time, and the probability that an arriving ball is placed in a given bin is proportional to $m^\gamma$, where $m$ is…

We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set $A$ with non-trivial prefix-free initial segment…

Let $\Lambda$ be a radical square zero Nakayama algebra with $n$ simple modules and let $\Gamma$ be the Auslander algebra of $\Lambda$. Then every indecomposable direct summand of a tilting $\Gamma$-module is either simple or projective.…

For a given irrational number $\alpha$ and a real number $\gamma$ in $(0,1)$ one defines the two-sided inhomogeneous approximation constant \begin{equation*} M(\alpha,\gamma):=\liminf_{|n|\rightarrow\infty}|n| ||n\alpha-\gamma||,…

Let $A$ and $B$ be sets of vertices in a graph $G$. Menger's theorem states that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of…

Ramsey's theorem asserts that every $k$-coloring of $[\omega]^n$ admits an infinite monochromatic set. Whenever $n \geq 3$, there exists a computable $k$-coloring of $[\omega]^n$ whose solutions compute the halting set. On the other hand,…

Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…

Let $\gamma(G)$ and $\gamma_t(G)$ denote the domination number and the total domination number, respectively, of a graph $G$ with no isolated vertices. It is well-known that $\gamma_t(G) \leq 2\gamma(G)$. We provide a characterization of a…

For a constant $\gamma \in[0,1]$ and a graph $G$, let $\omega_{\gamma}(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $\gamma\binom{k}{2}$ edges. We show that if $0<p<\gamma<1$ then…

Call a simple graph $H$ of order $n$ well-separable, if by deleting a separator set of size $o(n)$ the leftover will have components of size at most $o(n)$. We prove, that bounded degree well-separable spanning subgraphs are easy to embed:…

We give bounds on the degree of generators for the ideal of relations of the graded algebras of modular forms with coefficients in $\mathbb{Q}$ over congruence subgroups $\Gamma_0(N)$ for $N$ satisfying some congruence conditions and for…

Assume that $G$ is a finite group and let $a$ and $b$ be non-negative integers. We define an undirected graph $\Gamma_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and…

In [5] Soare and Stob prove that if $A$ is an r.e. set which isn't computable then there is a set of the form $A \oplus W^A_e$ which isn't of r.e. Turing degree. If we define a properly $n+1$-REA set to be an $n+1$-REA set which isn't…

A matching in a graph is induced if no two of its edges are joined by an edge, and finding a large induced matching is a very hard problem. Lin et al. (Approximating weighted induced matchings, Discrete Applied Mathematics 243 (2018)…

Let $\gamma(S_n)$ be the minimum number of proper subgroups $H_i$ of the symmetric group $S_n$ such that each element in $S_n$ lies in some conjugate of one of the $H_i.$ In this paper we conjecture that…