Related papers: Optimal Farey sequence for the Congruence subgroup…

Let $n$ be a prime or its square. We prove that the congruence subgroup $\Gamma_0(n)$ admits a free product decomposition into cyclic factors in such a way that the $(2,1)$-component of each cyclic generator is either $n$ or $0$, answering…

The modified Farey sequence consists, at each level k, of rational fractions r_k^{(n)}, with n=1, 2, ...,2^k+1. We consider I_k^{(e)}, the total length of (one set of) alternate intervals between Farey fractions that are new (i.e., appear…

Let $n$ be a positive integer, $q$ be a prime power, and $V$ be a vector space of dimension $n$ over $\mathbb{F}_q$. Let $G := V \rtimes G_0$, where $G_0$ is an irreducible subgroup of ${\rm GL}(V)$ which is maximal by inclusion with…

For a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-universal if $G$ contains every graph in $\mathcal{F}$ as a (not necessarily induced) subgraph. For the family of all graphs on $n$ vertices and of maximum degree at most…

For a 2-graph $F$, let $H_F^{(r)}$ be the $r$-graph obtained from $F$ by enlarging each edge with a new set of $r-2$ vertices. We show that if $\chi(F)=\ell>r \geq 2$, then $ {\rm ex}(n,H_F^{(r)})= t_r (n,\ell-1)+ \Theta( {\rm…

A perfect matching of a complete graph $K_{2n}$ is a 1-regular subgraph that contains all the vertices. Two perfect matchings intersect if they share an edge. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of…

We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $\sigma: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c…

There is no recursively enumerable sequence of sufficiently strong 2-consistent r.e. theories such that each proves the $2$-consistency of the next. Montalb\'an and Shavrukov independently asked whether this result generalizes to…

Let $G$ be a finite group and let $N$ be a normal subgroup of $G$. We attach to $N$ two graphs ${\Gamma}_G(N)$ and ${\Gamma}^{\ast}_G(N)$ related to the conjugacy classes of $G$ contained in $N$ and to the set of primes dividing the sizes…

Let $\Gamma$ be a finite simple graph. If for some integer $n\geqslant 4$, $\Gamma$ is a $K_n$-free graph whose complement has an odd cycle of length at least $2n-5$, then we say that $\Gamma$ is an $n$-exact graph. For a finite group $G$,…

The classical Farey sequence of height $Q$ is the set of rational numbers in reduced form with denominator less than $Q$. In this paper we introduce the concept of a generalized Farey sequence. While these sequences arise naturally in the…

Let $\Gamma$ be a finite graph and let $\Gamma^{\mathrm{e}}$ be its extension graph. We inductively define a sequence $\{\Gamma_i\}$ of finite induced subgraphs of $\Gamma^{\mathrm{e}}$ through successive applications of an operation called…

Let ${F}_{n}$ be the Farey sequence of order $n$. For $S \subseteq {F}_n$ we let $\mathcal{Q}(S) = \left\{x/y:x,y\in S, x\le y \, \, \textrm{and} \, \, y\neq 0\right\}$. We show that if $\mathcal{Q}(S)\subseteq F_n$, then $|S|\leq n+1$.…

We find bounds for the maximal length of a sequence of distinct $\bf{\Gamma_{2n+1,m}}$-sets under $AD$ and show there is no sequence of distinct $\bf{\Gamma_{2n+1}}$-sets of length $\bf{\delta^1_{2n+3}}$. As a special case, there is no…

For any natural number $n\in\mathbb{N}$, $ \frac{1}{2n+\frac1{1-\gamma}-2}\le \sum_{i=1}^n\frac1i-\ln n-\gamma<\frac{1}{2n+\frac13}, $ where $\gamma=0.57721566490153286...m$ denotes Euler's constant. The constants $\frac{1}{1-\gamma}-2$ and…

We show that, up to minor-equivalence, the Farey graph is the unique minor-minimal graph that is infinitely edge-connected but such that every two vertices can be finitely separated.

We show that the number of perfect matching in a simple graph $G$ with an even number of vertices and degree sequence $d_1,d_2, ..., d_n$ is at most $\prod_{i=1}^n (d_i !)^{\frac{1}{2d_i}}$. This bound is sharp if and only if $G$ is a union…

For any positive integer $k$, we show that every maximal $C_{2k+1}$-free graph with at least $n^2/4-o(n^{3/2})$ edges contains an induced complete bipartite subgraph on $(1-o(1))n$ vertices. We also show that this is best possible.

We give an upper bound on the number of perfect matchings in simple graphs with a given number of vertices and edges. We apply this result to give an upper bound on the number of 2-factors in a directed complete bipartite balanced graph on…

We study the minimal homogeneous generating sets of the Eulerian ideal associated with a simple graph and its maximal generating degree. We show that the Eulerian ideal is a lattice ideal and use this to give a characterization of binomials…