English
Related papers

Related papers: A Goppa-like bound on the trellis state complexity…

200 papers

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

We present new constructions of quasi-cyclic (QC) and generalized quasi-cyclic (GQC) codes from algebraic curves. Unlike previous approaches based on elliptic curves, our method applies to curves that are Kummer extensions of the rational…

Information Theory · Computer Science 2026-02-06 Matteo Bonini , Arianna Dionigi , Francesco Ghiandoni

A tree decomposition of the coordinates of a code is a mapping from the coordinate set to the set of vertices of a tree. A tree decomposition can be extended to a tree realization, i.e., a cycle-free realization of the code on the…

Information Theory · Computer Science 2016-11-17 Navin Kashyap

A graph is $c$-closed when every pair of nonadjacent vertices has at most $c-1$ common neighbors. In $c$-Closed Vertex Deletion, the input is a graph $G$ and an integer $k$ and we ask whether $G$ can be transformed into a $c$-closed graph…

Data Structures and Algorithms · Computer Science 2025-11-18 Lisa Lehner , Christian Komusiewicz , Luca Pascal Staus

We investigate the bounds on algebraic connectivity of graphs subject to constraints on the number of edges, vertices, and topology. We show that the algebraic connectivity for any tree on $n$ vertices and with maximum degree $d$ is bounded…

Discrete Mathematics · Computer Science 2014-12-22 Theodore Kolokolnikov

An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. The smallest size of an identifying code of $G$ is denoted $\gamma^{\text{ID}}(G)$.…

Combinatorics · Mathematics 2023-08-01 Florent Foucaud , Tuomo Lehtilä

We study the well-known Vertex Cover problem parameterized above and below tight bounds. We show that two of the parameterizations (both were suggested by Mahajan, Raman and Sikdar, J. Computer and System Sciences, 75(2):137--153, 2009) are…

Computational Complexity · Computer Science 2009-08-28 Gregory Gutin , Eun Jung Kim , Michael Lampis , Valia Mitsou

How hard is it to program $n$ robots to move about a long narrow aisle such that only $w$ of them can fit across the width of the aisle? In this paper, we answer that question by calculating the topological complexity of $\text{conf}(n,w)$,…

Algebraic Topology · Mathematics 2026-02-26 Nicholas Wawrykow

In the spanning-tree congestion problem ($\mathsf{STC}$), we are given a graph $G$, and the objective is to compute a spanning tree of $G$ that minimizes the maximum edge congestion. While $\mathsf{STC}$ is known to be $\mathbb{NP}$-hard,…

Data Structures and Algorithms · Computer Science 2026-02-12 Sunny Atalig , Marek Chrobak , Christoph Dürr , Petr Kolman , Huong Luu , Jiří Sgall , Gregory Zhu

An $\textit{identifying code}$ of a closed-twin-free graph $G$ is a set $S$ of vertices of $G$ such that any two vertices in $G$ have a distinct intersection between their closed neighborhood and $S$. It was conjectured that there exists a…

Combinatorics · Mathematics 2024-07-24 Dipayan Chakraborty , Florent Foucaud , Michael A. Henning , Tuomo Lehtilä

We consider complex projective schemes $X\subset\Bbb{P}^{r}$ defined by quadratic equations and satisfying a technical hypothesis on the fibres of the rational map associated to the linear system of quadrics defining $X$. Our assumption is…

Algebraic Geometry · Mathematics 2010-07-01 Alberto Alzati , José Carlos Sierra

Let $C$ be a linear code of length $n$ and dimension $k$ over the finite field $\mathbb{F}_{q^m}$. The trace code $\mathrm{Tr}(C)$ is a linear code of the same length $n$ over the subfield $\mathbb{F}_q$. The obvious upper bound for the…

Information Theory · Computer Science 2023-09-06 Márton Erdélyi , Pál Hegedüs , Sándor Z. Kiss , Gábor P. Nagy

Tight $2 s$-designs are the $2 s$-$(v, k, \lambda)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs.…

Combinatorics · Mathematics 2023-12-25 Ziqing Xiang

We prove a lower bound for the topological complexity, in the sense of Smale, of the problem of finding a flex point on a cubic plane curve. The key is to bound the Schwarz genus of a cover associated to this problem. We also show that our…

Geometric Topology · Mathematics 2025-08-29 Weiyan Chen , Zheyan Wan

We present a probabilistic Las Vegas algorithm for computing the local zeta function of a hyperelliptic curve of genus $g$ defined over $\mathbb{F}_q$. It is based on the approaches by Schoof and Pila combined with a modeling of the…

Number Theory · Mathematics 2018-06-08 Simon Abelard , Pierrick Gaudry , Pierre-Jean Spaenlehauer

The $k$-dimensional Weisfeiler-Leman ($k$-WL) algorithm is a simple combinatorial algorithm that was originally designed as a graph isomorphism heuristic. It naturally finds applications in Babai's quasipolynomial time isomorphism…

Discrete Mathematics · Computer Science 2026-01-13 Martin Grohe , Moritz Lichter , Daniel Neuen , Pascal Schweitzer

Generalized quasi-cyclic (GQC) codes form a natural generalization of quasi-cyclic (QC) codes. They are viewed here as mixed alphabet codes over a family of ring alphabets. Decomposing these rings into local rings by the Chinese Remainder…

Information Theory · Computer Science 2017-02-02 Cem Güneri , Ferruh Özbudak , Buket Özkaya , Elif Saçıkara , Zahra Sepasdar , Patrick Solé

We determine lower bounds for the topological complexity of many planar polygon spaces mod isometry. With very few exceptions, the upper and lower bounds given by dimension and cohomology considerations differ by 1. This is true for 130 of…

Algebraic Topology · Mathematics 2016-01-21 Donald M. Davis

Fix integers $r,d,s,\pi$ with $r\geq 4$, $d\gg s$, $r-1\leq s \leq 2r-4$, and $\pi\geq 0$. Refining classical results for the genus of a projective curve, we exhibit a sharp upper bound for the arithmetic genus $p_a(C)$ of an integral…

Algebraic Geometry · Mathematics 2011-07-20 Vincenzo Di Gennaro , Davide Franco

Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree,…

Cryptography and Security · Computer Science 2026-02-02 Giulia Gaggero , Elisa Gorla