English
Related papers

Related papers: Bounding the trellis state complexity of algebraic…

200 papers

We derive Singleton-type bounds on the free distance and column distances of trellis codes. Our results show that, at a given time instant, the maximum attainable column distance of trellis codes can exceed that of convolutional codes.…

Information Theory · Computer Science 2026-02-17 Yubin Zhu , Zitan Chen

In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the…

Number Theory · Mathematics 2019-06-06 Samuele Anni , Vladimir Dokchitser

We prove the lower bound R(M_m) \geq 3/2 m^2 - 2 on the border rank of m x m matrix multiplication by exhibiting explicit representation theoretic (occurence) obstructions in the sense of the geometric complexity theory (GCT) program. While…

Computational Complexity · Computer Science 2013-03-19 Peter Bürgisser , Christian Ikenmeyer

In a reconfiguration version of an optimization problem $\mathcal{Q}$ the input is an instance of $\mathcal{Q}$ and two feasible solutions $S$ and $T$. The objective is to determine whether there exists a step-by-step transformation between…

Data Structures and Algorithms · Computer Science 2019-10-03 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , Sebastian Siebertz

This thesis addresses the question of the maximal number of $d$-simplices for a simplicial complex which is embeddable into $\mathbb{R}^r$ for some $d \leq r \leq 2d$. A lower bound of $f_d(C_{r + 1}(n)) =…

Combinatorics · Mathematics 2018-12-21 Anna Gundert

A cohomology class u of a topological space X is atoroidal if its pullback to the torus vanishes for every map from a torus to X. Furthermore, X is atoroidally symplectic if there is an atoroidal cohomology class $u\in H^2(X;F)$ such that…

Algebraic Topology · Mathematics 2025-05-27 Luca Sandrock , Thomas Schick

Working over an algebraically closed field of arbitrary characteristic we study, for integers $N\geq 2$ and $g\geq 2$, the set of points of order dividing $N$ lying on an irreducible smooth proper curve of genus $g$ embedded in its jacobian…

Algebraic Geometry · Mathematics 2024-01-04 John Boxall

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the…

Information Theory · Computer Science 2021-04-01 Yves Aubry , Elena Berardini , Fabien Herbaut , Marc Perret

We study the communication complexity of a number of graph properties where the edges of the graph $G$ are distributed between Alice and Bob (i.e., each receives some of the edges as input). Our main results are: * An Omega(n) lower bound…

Quantum Physics · Physics 2012-04-23 Gabor Ivanyos , Hartmut Klauck , Troy Lee , Miklos Santha , Ronald de Wolf

Let $G$ be a connected (non-complete) $d$-regular graph with $d\geq3$. Let $c(G-S)$ denote the number of components of $G-S$ for any cut $S$ of $G$. The toughness $t(G)$ of $G$ is defined as $\min\left\{\frac{|S|}{c(G-S)}\right\}$, where…

Combinatorics · Mathematics 2026-05-04 Wenqian Zhang

Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…

Logic · Mathematics 2023-02-09 Vasco Brattka

In this note, we give a construction of codes on algebraic function field $F/ \mathbb{F}_{q}$ using places of $F$ (not necessarily of degree one) and trace functions from various extensions of $\mathbb{F}_{q}$. This is a generalization of…

Information Theory · Computer Science 2021-04-15 Nupur Patanker , Sanjay Kumar Singh

We define counting classes #P_R and #P_C in the Blum-Shub-Smale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over R, or of…

Computational Complexity · Computer Science 2011-06-17 Peter Buergisser , Felipe Cucker

We construct linear codes over the finite field Fq from arbitrary simplicial complexes, establishing a connection between topological properties and fundamental coding parameters. First, we study the behaviour of the weights of codewords…

Information Theory · Computer Science 2026-03-05 Antonio Jesús Lorite López , Daniel Camazón Portela , Juan Antonio López Ramos

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the $r$-gonality $d_r(C)$ of $C$ is the minimal integer $t$ such that there is $L\in {Pic}^t(C)$ with $h^0(C,L) =r+1$. In this paper for all $g\ge 40805$ we construct…

Algebraic Geometry · Mathematics 2013-03-04 Edoardo Ballico

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

Given an integer $\gamma\geq 2$ and an odd prime power $q$ we show that for every large genus $g$ there exists a non-singular curve $C$ defined over $\mathbb{F}_q$ of genus $g$ and gonality $\gamma$ and with exactly $\gamma(q+1)$…

Number Theory · Mathematics 2022-03-18 Floris Vermeulen

A set $S\subseteq V(G)$ of a graph $G$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Let $\gamma(G)$ be the cardinality of a minimum dominating set in $G$. The bondage number $b(G)$ of a graph $G$ is the…

Combinatorics · Mathematics 2022-03-22 Valentin Bouquet

We show that the $n$-point, genus-$g$ correlation functions of topological recursion on any regular spectral curve with simple ramifications grow at most like $(2g - 2 + n)!$ as $g \rightarrow \infty$, which is the expected growth rate.…

Mathematical Physics · Physics 2025-06-16 Gaëtan Borot , Bertrand Eynard , Alessandro Giacchetto