Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Decoding rank metric Reed-Muller codes
In this article, we investigate the decoding of the rank metric Reed--Muller codes introduced by Augot, Couvreur, Lavauzelle and Neri in 2021. These codes are defined from Abelian Galois extensions extending the construction of Gabidulin codes over arbitrary cyclic Galois extensions. We propose a polynomial time algorithm that rests on the structure of Dickson matrices, works on any such code and corrects any error of rank up to half the minimum distance.
Higher-order Delsarte Dual LPs: Lifting, Constructions and Completeness
A central and longstanding open problem in coding theory is the rate-versus-distance trade-off for binary error-correcting codes. In a seminal work, Delsarte introduced a family of linear programs establishing relaxations on the size of optimum codes. To date, the state-of-the-art upper bounds for binary codes come from dual feasible solutions to these LPs. Still, these bounds are exponentially far from the best-known existential constructions.
Recently, hierarchies of linear programs extending and strengthening Delsarte's original LPs were introduced for linear codes, which we refer to as higher-order Delsarte LPs. These new hierarchies were shown to provably converge to the actual value of optimum codes, namely, they are complete hierarchies. Therefore, understanding them and their dual formulations becomes a valuable line of investigation. Nonetheless, their higher-order structure poses challenges. In fact, analysis of all known convex programming hierarchies strengthening Delsarte's original LPs has turned out to be exceedingly difficult and essentially nothing is known, stalling progress in the area since the 1970s.
Our main result is an analysis of the higher-order Delsarte LPs via their dual formulation. Although quantitatively, our current analysis only matches the best-known upper bounds, it shows, for the first time, how to tame the complexity of analyzing a hierarchy strengthening Delsarte's original LPs. In doing so, we reach a better understanding of the structure of the hierarchy, which may serve as the foundation for further quantitative improvements. We provide two additional structural results for this hierarchy. First, we show how to \emph{explicitly} lift any feasible dual solution from level $k$ to a (suitable) larger level $\ell$ while retaining the objective value. Second, we give a novel proof of completeness using the dual formulation.
Sharp bounds for product and sum throttling numbers
Throttling in graphs optimizes a sum or product of resources used, such as the number of vertices in an initial set, and time required, such as the propagation time, to complete a given task. We introduce a new technique to establish sharp upper bounds in terms of graph order for sum throttling and initial cost product throttling for power domination. Furthermore, we establish sharp bounds on possible changes of the product throttling number, both with and without initial cost, caused by certain graph operations for standard zero forcing, positive semidefinite forcing, and power domination.
A Simple and Combinatorial Approach to Proving Chernoff Bounds and Their Generalizations
The Chernoff bound is one of the most widely used tools in theoretical computer science. It's rare to find a randomized algorithm that doesn't employ a Chernoff bound in its analysis. The standard proofs of Chernoff bounds are beautiful but in some ways not very intuitive. In this paper, I'll show you a different proof that has four features: (1) the proof offers a strong intuition for why Chernoff bounds look the way that they do; (2) the proof is user-friendly and (almost) algebra-free; (3) the proof comes with matching lower bounds, up to constant factors in the exponent; and (4) the proof extends to establish generalizations of Chernoff bounds in other settings. The ultimate goal is that, once you know this proof (and with a bit of practice), you should be able to confidently reason about Chernoff-style bounds in your head, extending them to other settings, and convincing yourself that the bounds you're obtaining are tight (up to constant factors in the exponent).
Spherical friezes
A fundamental problem in spherical distance geometry aims to recover an $n$-tuple of points on a 2-sphere in $\mathbb{R}^3$, viewed up to oriented isometry, from $O(n)$ input measurements. We solve this problem using algorithms that employ only the four arithmetic operations. Each algorithm recursively produces output data that we arrange into a new type of frieze pattern. These frieze patterns exhibit glide symmetry and a version of the Laurent phenomenon.
Reconfiguration of Minimum PSD Forcing Sets and Minimum Skew Forcing Sets
Reconfiguration graphs provide a way to represent relationships among solutions to a problem, and have been studied in many contexts. We investigate the reconfiguration graphs corresponding to minimum PSD forcing sets and minimum skew forcing sets. We present results for the structure and realizability of certain graph classes as token exchange and token sliding reconfiguration graphs. Additionally, we use a universal approach to establish structural properties for the reconfiguration graphs of many common graph parameters under these reconfiguration rules. Finally, we compare results on reconfiguration graphs for zero forcing variants.
Big convex polytopes or rich hyperplanes
For natural numbers $n$ and $l > d \geq 2$, let $ES_d(l,n)$ be the minimum $N$ such that any set of at least $N$ points in $\mathbb{R}^d$ contains either $l$ points contained in a common $(d-1)$-dimensional hyperplane or $n$ points in convex position. In this paper, we give the upper and lower bounds for $ES_d(l,n)$.
The log concavity of two graphical sequences
We show that the large Cartesian powers of any graph have log-concave valencies with respect to a ffxed vertex. We show that the series of valencies of distance regular graphs is log-concave, thus improving on a result of (Taylor, Levingston, 1978). Consequences for strongly regular graphs, two-weight codes, and completely regular codes are derived. By P-Q duality of association schemes the series of multiplicities of Q-polynomial association schemes is shown, under some assumption, to be log-concave.
Optimal List Recoloring of Subcubic Graphs and Complete Multipartite Graphs
For a list-assignment $L$, the reconfiguration graph $C_L(G)$ of a graph $G$ is the graph whose vertices are proper $L$-colorings of $G$ and whose edges link two colorings that differ on only one vertex. If $|L(v)| \ge d(v) + 2$ for every vertex of $G$, it is known that $C_L(G)$ is connected. In this case, Cambie et al. investigated the diameter of $C_L(G)$. They conjectured that $diam(C_L(G)) \le n(G) + μ(G)$ with $μ(G)$ the size of a maximum matching of $G$ and proved several results towards this conjecture. We answer to two of their open problems by proving the conjecture for two classes of graphs, namely subcubic graphs and complete multipartite graphs.
Do perfect powers repel partition numbers?
In 2013 Zhi-Wei Sun conjectured that $p(n)$ is never a power of an integer when $n>1.$ We confirm this claim in many cases. We also observe that integral powers appear to repel the partition numbers. If $k>1$ and $Δ_k(n)$ is the distance between $p(n)$ and the nearest $k$th power, then for every $d\geq 0$ we conjecture that there are at most finitely many $n$ for which $Δ_k(n)\leq d.$ More precisely, for every $\varepsilon>0,$ we conjecture that $$M_k(d):=\max\{n \ : \ Δ_k(n)\leq d\}=o( d^{\varepsilon}).$$ In $k$-power aspect with $d$ fixed, we also conjecture that if $k$ is sufficiently large, then $$ M_k(d)=\max \left\{ n \ : \ p(n)-1\leq d\right\}. $$ In other words, $1$ generally appears to be the closest $k$th power among the partition numbers.
Young domination on Hamming rectangles
We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule.
We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.
Quasi-optimal cyclic orbit codes
We focus on two aspects of cyclic orbit codes: invariants under equivalence and quasi-optimality. Regarding the first aspect, we establish a connection between the codewords of a cyclic orbit code and a certain linear set on the projective line. This allows us to derive new bounds on the parameters of the code. In the second part, we study a particular family of (quasi-)optimal cyclic orbit codes and derive a general existence theorem for quasi-optimal codes in even-dimensional vector spaces over finite fields of any characteristic. Finally, for our particular code family we describe the automorphism groups under the general linear group and a suitable Galois group.
Bounds on $A_α$-eigenvalues using graph invariants
In 2017, Nikiforov introduced the concept of the $A_α$-matrix, as a linear convex combination of the adjacency matrix and the degree diagonal matrix of a graph. This matrix has attracted increasing attention in recent years, as it serves as a unifying structure that combines the adjacency matrix and the signless Laplacian matrix. In this paper, we present some bounds for the largest and smallest eigenvalue of $A_α$-matrix involving invariants associated to graphs.
Isogeny graphs with level structures arrising from the Verschiebung map
We enhance an isogeny graph of elliptic curves by incorporating level structures defined by bases of the kernels of iterates of the Verschiebung map. We extend several previous results on isogeny graphs with level structures defined by geometric points to these graphs. Firstly, we prove that these graphs form $\mathbb{Z}_p$-towers of graph coverings as the power of the Verschiebung map varies. Secondly, we prove that the connected components of these graphs display a volcanic structure.
On $\mathbb{Z}_p$-towers of graph coverings arising from a constant voltage assignment
We investigate properties of $\mathbb{Z}_p$-towers of graph coverings that arise from a constant voltage assignment. We prove the existence and uniqueness (up to isomorphisms) of such towers. Furthermore, we study the Iwasawa invariants of these towers, and apply our results to towers of isogeny graphs enhanced with level structures, as well as towers arising from volcano graphs.
Changing almost perfect nonlinear functions on affine subspaces of small codimensions
In this article, we study algebraic decompositions and secondary constructions of almost perfect nonlinear (APN) functions. In many cases, we establish precise criteria which characterize when certain modifications of a given APN function yield new ones. Furthermore, we show that some of the newly constructed functions are extended-affine inequivalent to the original ones.
A Constructive Approach to Zauner's Conjecture via the Stark Conjectures
We propose a construction of $d^2$ complex equiangular lines in $\mathbb{C}^d$, also known as SICPOVMs, conjectured by Zauner to exist for all d. The construction gives a putatively complete list of SICs with Weyl-Heisenberg symmetry in all dimensions d > 3. Specifically, we give an explicit expression for an object we call a ghost SIC, which is constructed from the real multiplication values of a special function and which is Galois conjugate to a SIC. The special function, the Shintani-Faddeev modular cocycle, is more precisely a tuple of meromorphic functions indexed by a congruence subgroup of ${\rm SL}_2(\mathbb{Z})$. We prove our construction gives a valid SIC in every case assuming two conjectures: the order 1 abelian Stark conjecture for real quadratic fields and a special value identity for the Shintani-Faddeev modular cocycle. The former allows us to prove that the ghost and the SIC are Galois conjugate over an extension of $\mathbb{Q}(\sqrtΔ)$ where $Δ= (d+1)(d-3)$, while the latter allows us to prove idempotency of the presumptive fiducial projector. We provide computational tests of our SIC construction by cross-validating it with known solutions, particularly the extensive work of Scott and Grassl, and by constructing four numerical examples of nonequivalent SICs in d=100, three of which are new. We further consider rank-r generalizations called r-SICs given by maximal equichordal configurations of r-dimensional complex subspaces. We give similar conditional constructions for r-SICs for all r, d such that r(d-r) divides $(d^2-1)$. Finally, we study the structure of the field extensions conjecturally generated by the r-SICs. If K is any real quadratic field, then either every abelian Galois extension of K, or else every abelian extension for which 2 is unramified, is generated by our construction; the former holds for a positive density of field discriminants.
Graph classes through the lens of logic
Graph transformations definable in logic can be described using the notion of transductions. By understanding transductions as a basic embedding mechanism, which captures the possibility of encoding one graph in another graph by means of logical formulas, we obtain a new perspective on the landscape of graph classes and of their properties. The aim of this survey is to give a comprehensive presentation of this angle on structural graph theory.
We first give a logic-focused overview of classic graph-theoretic concepts, such as treedepth, shrubdepth, treewidth, cliquewidth, twin-width, bounded expansion, and nowhere denseness. Then, we present recent developments related to notions defined purely through transductions, such as monadic stability, monadic dependence, and classes of structurally sparse graphs.
On the constant partial-dual polynomials of hypermaps
In this paper, we introduce the partial-dual polynomial for hypermaps, extending the concept from ribbon graphs. We discuss the basic properties of this polynomial and characterize it for hypermaps with exactly one hypervertex containing a non-zero constant term. Additionally, we show that the partial-dual polynomial of a prime connected hypermap $H$ is constant if and only if $H$ is a plane hypermap with a single hyperedge.
Partial Petrial polynomials for complete graphs and paths
Recently, Gross, Mansour, and Tucker introduced the partial Petrial polynomial, which enumerates all partial Petrials of a ribbon graph by Euler genus. They provided formulas or recursions for various families of ribbon graphs, including ladder ribbon graphs. In this paper, we focus on the partial Petrial polynomial of bouquets, which are ribbon graphs with exactly one vertex. We prove that the partial Petrial polynomial of a bouquet primarily depends on its intersection graph, meaning that two bouquets with identical intersection graphs will have the same partial Petrial polynomial. Additionally, we introduce the concept of the partial Petrial polynomial for circle graphs and prove that for a connected graph with $n$ vertices ($n\geq 2$), the polynomial has non-zero coefficients for all terms of degrees from 1 to $n$ if and only if the graph is complete. Finally, we present the partial Petrial polynomials for paths.