Related papers: Cyclically covering subspaces in $\mathbb{F}_2^n$

Let $\mathbb{F}$ be a field. Denote by $t_n(\mathbb{F})$ the greatest possible dimension for a vector space of $n$-by-$n$ matrices over $\mathbb{F}$ in which every element is triangularizable over $\mathbb{F}$. It was recently proved that…

For $n\in \mathbb{N}$ consider the $n$-dimensional hypercube as equal to the vector space $\mathbb{F}_2^n$, where $\mathbb{F}_2$ is the field of size two. Endow $\mathbb{F}_2^n$ with the Hamming metric, i.e., with the metric induced by the…

We introduce and begin to analyse a class of algebras, associated to congruence subgroups, that extend both the algebra of modular forms of all levels and the ring of classical Hecke operators. At the intuitive level, these are algebras of…

This article gives a description of invariant subspaces for the backward shift generated by vector valued lacunary series and by a class of lacunary power series in $H^2(\mathbb{D}, X)$, (where $X$ is an Hilbert space). In particular, we…

We consider the isometries of the complex hyperbolic bidisk, that is, the product space $\mathbb{H}^2_{\mathbb{C}} \times \mathbb{H}^2_{\mathbb{C}} $, where each factor $ \mathbb{H}^2_{\mathbb{C}} $ denotes the complex hyperbolic plane. We…

Counting the number of Hamiltonian cycles that are contained in a geometric graph is {\bf \#P}-complete even if the graph is known to be planar \cite{lot:refer}. A relaxation for problems in plane geometric graphs is to allow the geometric…

We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}.

We show that any set $A$ in $\mathbb F_2^n$ with $|A+A| \le |A|^{2-\eta}$ must intersect a subspace of dimension $O_{\eta}(\log |A|)$ in at least $|A|^{\eta - o(1)}$ elements.

If $p$ is prime, a compact Riemann surface $X$ of genus $g\geq 2$ is called cyclic $p$-gonal if it admits a cyclic group of automorphisms $C_{p}$ of order $p$ such that the quotient space $X/C_{p}$ has genus 0. If in addition $C_{p}$ is not…

For a prime p>2 and q=p^n, we compute a finite generating set for the SL_2(F_q)-invariants of the second symmetric power representation, showing the invariants are a hypersurface and the field of fractions is a purely transcendental…

A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan…

Let $p>7$ be a prime, let $G=\Z/p\Z$, and let $S_1=\prod_{i=1}^p g_i$ and $S_2=\prod_{i=1}^p h_i$ be two sequences with terms from $G$. Suppose that the maximum multiplicity of a term from either $S_1$ or $S_2$ is at most $\frac{2p+1}{5}$.…

A covering system of the integers is a finite collection of modular residue classes $\{a_m \bmod{m}\}_{m \in S}$ whose union is all integers. Given a finite set $S$ of moduli, it is often difficult to tell whether there is a choice of…

Let $p$ and $q$ be anisotropic quadratic forms over a field $F$ of characteristic $\neq 2$, let $s$ be the unique non-negative integer such that $2^s < \mathrm{dim}(p) \leq 2^{s+1}$, and let $k$ denote the dimension of the anisotropic part…

A Hamilton decomposition of a graph is a partitioning of its edge set into disjoint spanning cycles. The existence of such decompositions is known for all hypercubes of even dimension $2n$. We give a decomposition for the case $n = 2^a3^b$…

The problem of efficiently characterizing degree sequences of simple hypergraphs is a fundamental long-standing open problem in Graph Theory. Several results are known for restricted versions of this problem. This paper adds to the list of…

We prove that if every Schmidt subgroup of a group $G$ is subnormal or modular, then $G/F(G)$ is cyclic

We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…

A tuple $(T_1,\dots,T_n)$ of continuous linear operators on a topological vector space $X$ is called hypercyclic if there is $x\in X$ such that the the orbit of $x$ under the action of the semigroup generated by $T_1,\dots,T_n$ is dense in…

Let $\phi \in {\rm Mod}(\Sigma)$ be an arbitrary element of the mapping class group of a closed orientable surface $\Sigma$ of genus at least $2$. For any characteristic cover $\widetilde{\Sigma} \to \Sigma$ one can consider the linear…