natural ↗ reference
4897 papers tagged with this keyword
Bohr sets in sumsets I: Compact abelian groups
Published in Discrete Analysis 2025:11
• Search Publication
Let $G$ be a compact abelian group and $φ_1, φ_2, φ_3$ be continuous endomorphisms on $G$. Under certain natural assumptions on the $φ_i$'s, we prove the existence of Bohr sets in the sumset $φ_1(A) + φ_2(A) + φ_3(A)$, where $A$ is either a set of positive Haar measure, or comes from a finite partition of $G$. The first result generalizes theorems of Bogolyubov and Bergelson-Ruzsa. As a variant of the second result, we show that for any partition $\mathbb{Z} = \bigcup_{i=1}^r A_i$, there exists an $i$ such that $A_i - A_i + sA_i$ contains a Bohr set for any $s \in \mathbb{Z} \setminus \{ 0 \}$. The latter is a step toward an open question of Katznelson and Ruzsa.
Exponential decay of intersection volume with applications on list-decodability and Gilbert-Varshamov type bound
Published
• View Publication
• BIB
We give some natural sufficient conditions for balls in a metric space to have small intersection. Roughly speaking, this happens when the metric space is (i) expanding and (ii) well-spread, and (iii) a certain random variable on the boundary of a ball has a small tail. As applications, we show that the volume of intersection of balls in Hamming, Johnson spaces and symmetric groups decay exponentially as their centers drift apart. To verify condition (iii), we prove some large deviation inequalities `on a slice' for functions with Lipschitz conditions.
We then use these estimates on intersection volumes to
$\bullet$ obtain a sharp lower bound on list-decodability of random $q$-ary codes, confirming a conjecture of Li and Wootters; and
$\bullet$ improve the classical bound of Levenshtein from 1971 on constant weight codes by a factor linear in dimension, resolving a problem raised by Jiang and Vardy.
Our probabilistic point of view also offers a unified framework to obtain improvements on other Gilbert--Varshamov type bounds, giving conceptually simple and calculation-free proofs for $q$-ary codes, permutation codes, and spherical codes. Another consequence is a counting result on the number of codes, showing ampleness of large codes.
On the domination number of $t$-constrained de Bruijn graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (August 22, 2022) dmtcs:8879
• View Publication
• BIB
Motivated by the work on the domination number of directed de Bruijn graphs and some of its generalizations, in this paper we introduce a natural generalization of de Bruijn graphs (directed and undirected), namely $t$-constrained de Bruijn graphs, where $t$ is a positive integer, and then study the domination number of these graphs.
Within the definition of $t$-constrained de Bruijn graphs, de Bruijn and Kautz graphs correspond to 1-constrained and 2-constrained de Bruijn graphs, respectively. This generalization inherits many structural properties of de Bruijn graphs and may have similar applications in interconnection networks or bioinformatics.
We establish upper and lower bounds for the domination number on $t$-constrained de Bruijn graphs both in the directed and in the undirected case. These bounds are often very close and in some cases we are able to find the exact value.
Parabolic induction for Springer fibres
Published
• View Publication
• BIB
Let $G$ be a reductive group satisfying the standard hypotheses, with Lie algebra $\mathfrak{g}$. For each nilpotent orbit $\mathcal{O}_0$ in a Levi subalgebra $\mathfrak{g}_0$ we can consider the induced orbit $\mathcal{O}$ defined by Lusztig and Spaltenstein. We observe that there is a natural closed morphism of relative dimension zero from the Springer fibre over a point of $\mathcal{O}_0$ to the Springer fibre over $\mathcal{O}$, which induces an injection on the level of irreducible components. When $G = \operatorname{GL}_N$ the components of Springer fibres was classified by Spaltenstein using standard tableaux. Our main results explains how the Lusztig--Spaltenstein map of Springer fibres can be described combinatorially, using a new associative composition rule for standard tableaux which we call stacking.
Beyond Single-Deletion Correcting Codes: Substitutions and Transpositions
Published
• View Publication
• BIB
We consider the problem of designing low-redundancy codes in settings where one must correct deletions in conjunction with substitutions or adjacent transpositions; a combination of errors that is usually observed in DNA-based data storage. One of the most basic versions of this problem was settled more than 50 years ago by Levenshtein, or one substitution, with nearly optimal redundancy. However, this approach fails to extend to many simple and natural variations of the binary single-edit error setting. In this work, we make progress on the code design problem above in three such variations:
We construct linear-time encodable and decodable length-$n$ non-binary codes correcting a single edit error with nearly optimal redundancy $\log n+O(\log\log n)$, providing an alternative simpler proof of a result by Cai, Chee, Gabrys, Kiah, and Nguyen (IEEE Trans. Inf. Theory 2021). This is achieved by employing what we call weighted VT sketches, a notion that may be of independent interest.
We construct linear-time encodable and list-decodable binary codes with list-size $2$ for one deletion and one substitution with redundancy $4\log n+O(\log\log n)$. This matches the existential bound up to an $O(\log\log n)$ additive term.
We show the existence of a binary code correcting one deletion or one adjacent transposition with nearly optimal redundancy $\log n+O(\log\log n)$.
On the Vanishing Criterion for the Cohomology Groups of the Automorphism Group of a finite Abelian $p$-Group
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite abelian $p$-group $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathbb{Z}/p^{λ_i}\mathbb{Z})^{ρ_i}$, where $p$ is a prime, we consider two actions of its automorphism group $\mathcal{G}_{\underlineλ}$ on $\mathcal{A}_{\underlineλ}$. The first action is the natural action $g\bullet a=\ ^ga$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_1=Id_{\mathcal{G}_{\underlineλ}}:\mathcal{G}_{\underlineλ}\longrightarrow \mathcal{G}_{\underlineλ}$ and the second action is the trivial action $g\bullet a=a$ for all $g\in\mathcal{G}_{\underlineλ}$ and $a\in\mathcal{A}_{\underlineλ}$ where the action map is denoted by $Λ_2:\mathcal{G}_{\underlineλ}\longrightarrow \{e\}\subset\mathcal{G}_{\underlineλ}$ the trivial map. For the natural action $Λ_1$, we show that the first and second cohomology groups $H_{Λ_1}^i(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ}),i=1,2$ vanish for any partition $\underlineλ$ for an odd prime $p$. For the trivial action $Λ_2$ we show that, for an odd prime $p$, the first cohomology group $H_{Λ_2}^1(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ and for an odd prime $p\neq 3$, the second cohomology group $H_{Λ_2}^2(\mathcal{G}_{\underlineλ},\mathcal{A}_{\underlineλ})$ vanish if and only if the difference between two successive parts of the partition $\underlineλ$ is at most one. This is done by using the $mod\ p$ cohomologies $H^i(\mathcal{G}_{\underlineλ},\mathbb{Z}/p\mathbb{Z}),i=1,2$.
Hat guessing numbers of strongly degenerate graphs
Published
• View Publication
• BIB
Assume $n$ players are placed on the $n$ vertices of a graph $G$. The following game was introduced by Winkler: An adversary puts a hat on each player, where each hat has a colour out of $q$ available colours. The players can see the hat of each of their neighbours in $G$, but not their own hat. Using a prediscussed guessing strategy, the players then simultaneously guess the colour of their hat. The players win if at least one of them guesses correctly, else the adversary wins. The largest integer $q$ such that there is a winning strategy for the players is denoted by $\text{HG}(G)$, and this is called the hat guessing number of $G$.
Although this game has received a lot of attention in the recent years, not much is known about how the hat guessing number relates to other graph parameters. For instance, a natural open question is whether the hat guessing number can be bounded from above in terms of degeneracy. In this paper, we prove that the hat guessing number of a graph can be bounded from above in terms of a related notion, which we call strong degeneracy. We further give an exact characterisation of graphs with bounded strong degeneracy. As a consequence, we significantly improve the best known upper bound on the hat guessing number of outerplanar graphs from $2^{125000}$ to $40$, and further derive upper bounds on the hat guessing number for any class of $K_{2,s}$-free graphs with bounded expansion, such as the class of $C_4$-free planar graphs, more generally $K_{2,s}$-free graphs with bounded Hadwiger number or without a $K_t$-subdivision, and for Erdős-Rényi random graphs with constant average degree.
Symmetric Functions and Rectangular Catalan Combinatorics
Symmetric functions provide one of the most efficient tools for combinatorial enumeration, in the context of objects that may be acted upon by permutations. Only assuming a basic knowledge of linear algebra, we introduce and describe the classical toolbox of symmetric functions, and give many examples of their uses. In particular, we present how classical formulas of enumerative combinatorics afford a natural generalization in terms of symmetric functions. We then rapidly present Macdonald symmetric functions and associated operators, to go on with the description of their relations to rectangular Catalan combinatorics. We also discuss the link with a realization of the elliptic Hall algebra, as an algebra of operators on symmetric functions.
Weisfeiler-Leman Indistinguishability of Graphons
Published in Electronic Journal of Combinatorics Volume 30, Issue 4 (2023), P4.35
• View Publication
• BIB
The color refinement algorithm is mainly known as a heuristic method for graph isomorphism testing. It has surprising but natural characterizations in terms of, for example, homomorphism counts from trees and solutions to a system of linear equations. Grebík and Rocha (2022) have recently shown how color refinement and notions that characterize it generalize to graphons, which emerged as limit objects in the theory of dense graph limits. In particular, they show that these characterizations are still equivalent in the graphon case. The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a more powerful variant of color refinement that colors $k$-tuples instead of single vertices, where the terms $1$-WL and color refinement are often used interchangeably since they compute equivalent colorings. We show how to adapt the result of Grebík and Rocha to $k$-WL or, in other words, how $k$-WL and its characterizations generalize to graphons. In particular, we obtain characterizations in terms of homomorphism densities from multigraphs of bounded treewidth and linear equations. We give a simple example that parallel edges make a difference in the more general case of graphons, which means that, there, the equivalence between $1$-WL and color refinement does not hold anymore. We also show how this equivalence can be recovered by defining a variant of $k$-WL that corresponds to homomorphism densities from simple graphs of bounded treewidth.
A Complete Linear Programming Hierarchy for Linear Codes
A longstanding open problem in coding theory is to determine the best (asymptotic) rate $R_2(δ)$ of binary codes with minimum constant (relative) distance $δ$. An existential lower bound was given by Gilbert and Varshamov in the 1950s. On the impossibility side, in the 1970s McEliece, Rodemich, Rumsey and Welch (MRRW) proved an upper bound by analyzing Delsarte's linear programs. To date these results remain the best known lower and upper bounds on $R_2(δ)$ with no improvement even for the important class of linear codes. Asymptotically, these bounds differ by an exponential factor in the blocklength.
In this work, we introduce a new hierarchy of linear programs (LPs) that converges to the true size $A^{\text{Lin}}_2(n,d)$ of an optimum linear binary code (in fact, over any finite field) of a given blocklength $n$ and distance $d$.
This hierarchy has several notable features:
(i) It is a natural generalization of the Delsarte LPs used in the first MRRW bound.
(ii) It is a hierarchy of linear programs rather than semi-definite programs potentially making it more amenable to theoretical analysis.
(iii) It is complete in the sense that the optimum code size can be retrieved from level $O(n^2)$.
(iv) It provides an answer in the form of a hierarchy (in larger dimensional spaces) to the question of how to cut Delsarte's LP polytopes to approximate the true size of linear codes.
We obtain our hierarchy by generalizing the Krawtchouk polynomials and MacWilliams inequalities to a suitable "higher-order" version taking into account interactions of $\ell$ words. Our method also generalizes to translation schemes under mild assumptions.
On Generalizations of Pairwise Compatibility Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (October 6, 2024) dmtcs:12295
• View Publication
• BIB
A graph $G$ is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree and an interval $I$, such that each leaf of the tree is a vertex of the graph, and there is an edge $\{ x, y \}$ in $G$ if and only if the weight of the path in the tree connecting $x$ and $y$ lies within the interval $I$. Originating in phylogenetics, PCGs are closely connected to important graph classes like leaf-powers and multi-threshold graphs, widely applied in bioinformatics, especially in understanding evolutionary processes. In this paper we introduce two natural generalizations of the PCG class, namely $k$-OR-PCG and $k$-AND-PCG, which are the classes of graphs that can be expressed as union and intersection, respectively, of $k$ PCGs. These classes can be also described using the concepts of the covering number and the intersection dimension of a graph in relation to the PCG class. We investigate how the classes of OR-PCG and AND-PCG are related to PCGs, $k$-interval-PCGs and other graph classes known in the literature. In particular, we provide upper bounds on the minimum $k$ for which an arbitrary graph $G$ belongs to $k$-interval-PCGs, $k$-OR-PCG or $k$-AND-PCG classes. For particular graph classes we improve these general bounds. Moreover, we show that, for every integer $k$, there exists a bipartite graph that is not in the $k$-interval-PCGs class, proving that there is no finite $k$ for which the $k$-interval-PCG class contains all the graphs. This answers an open question of Ahmed and Rahman from 2017. Finally, using a Ramsey theory argument, we show that for any $k$, there exists graphs that are not in $k$-AND-PCG, and graphs that are not in $k$-OR-PCG.
P-partition power sums
We develop the theory of weighted P-partitions, which generalises the theory of P-partitions from labelled posets to weighted labelled posets. We define the related generating functions in the natural way and compute their product, coproduct and other properties. As an application we introduce the basis of combinatorial power sums for the Hopf algebra of quasisymmetric functions and the reverse basis, both of which refine the power sum symmetric functions. These bases share many properties with the type 1 and type 2 quasisymmetric power sums introduced by Ballantine, Daugherty, Hicks, Mason and Niese, and moreover expand into the monomial basis of quasisymmetric functions with nonnegative integer coefficients. We prove formulas for products, coproducts and classical quasisymmetric involutions via the combinatorics of P-partitions, and give combinatorial interpretations for the coefficients when expanded into the monomial and fundamental bases.
Clustering with fair-center representation: parameterized approximation algorithms and heuristics
Published
• View Publication
• BIB
We study a variant of classical clustering formulations in the context of algorithmic fairness, known as diversity-aware clustering. In this variant we are given a collection of facility subsets, and a solution must contain at least a specified number of facilities from each subset while simultaneously minimizing the clustering objective ($k$-median or $k$-means). We investigate the fixed-parameter tractability of these problems and show several negative hardness and inapproximability results, even when we afford exponential running time with respect to some parameters.
Motivated by these results we identify natural parameters of the problem, and present fixed-parameter approximation algorithms with approximation ratios $\big(1 + \frac{2}{e} +ε\big)$ and $\big(1 + \frac{8}{e}+ ε\big)$ for diversity-aware $k$-median and diversity-aware $k$-means respectively, and argue that these ratios are essentially tight assuming the gap-exponential time hypothesis. We also present a simple and more practical bicriteria approximation algorithm with better running time bounds. We finally propose efficient and practical heuristics. We evaluate the scalability and effectiveness of our methods in a wide variety of rigorously conducted experiments, on both real and synthetic data.
Union-closed Sets Conjecture Holds for Height No More Than 3 and Height No Less Than N-1
For each given union-closed family F of n elements and m sets, we discuss the union-closed sets conjecture from height number of the UC family, which is a natural parameter from lattice theory. In this paper, we call it height number of F(n, m), recorded as H(F). we prove that for any given union-closed family F, union-closed sets conjecture holds if its height number H(F) no more than 3 or no less than n-1. Since the height number H(F) is a positive integer which is bounded between 1 to n. As an attempted approach and framework, if we can prove union-closed sets conjecture holds for all possible value of H(F), then union-closed sets conjecture is true.
From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$.
We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them.
Tolerances on posets
Published
• View Publication
• BIB
The concept of a tolerance relation, shortly called tolerance, was studied on various algebras since the seventieth of the twentieth century by B. Zelinka and the first author. Since tolerances need not be transitive, their blocks may overlap and hence in general the set of all blocks of a tolerance cannot be converted into a quotient algebra in the same way as in the case of congruences. However, G. Czédli showed that lattices can be factorized by means of tolerances in a natural way, and J. Grygiel and S. Radelecki proved some variant of an Isomorphism Theorem for tolerances on lattices. The aim of the present paper is to extend the concept of a tolerance on a lattice to posets in such a way that results similar to those obtained for tolerances on lattices can be derived.
Ramsey numbers of cycles versus general graphs
Published in Forum of Mathematics, Sigma , Volume 11 , 2023 , e10
• View Publication
• BIB
The Ramsey number $R(F,H)$ is the minimum number $N$ such that any $N$-vertex graph either contains a copy of $F$ or its complement contains $H$. Burr in 1981 proved a pleasingly general result that for any graph $H$, provided $n$ is sufficiently large, a natural lower bound construction gives the correct Ramsey number involving cycles: $R(C_n,H)=(n-1)(χ(H)-1)+σ(H)$, where $σ(H)$ is the minimum possible size of a colour class in a $χ(H)$-colouring of $H$. Allen, Brightwell and Skokan conjectured that the same should be true already when $n\geq |H|χ(H)$.
We improve this 40-year-old result of Burr by giving quantitative bounds of the form $n\geq C|H|\log^4χ(H)$, which is optimal up to the logarithmic factor. In particular, this proves a strengthening of the Allen-Brightwell-Skokan conjecture for all graphs $H$ with large chromatic number.
Highest weight crystals for Schur Q-functions
Published in Combinatorial Theory 3 (2023), no. 2., #6
• View Publication
• BIB
Work of Grantcharov et al. develops a theory of abstract crystals for the queer Lie superalgebra $\mathfrak{q}_n$. Such $\mathfrak{q}_n$-crystals form a monoidal category in which the connected normal objects have unique highest weight elements and characters that are Schur $P$-polynomials. This article studies a modified form of this category, whose connected normal objects again have unique highest weight elements but now possess characters that are Schur $Q$-polynomials. The crystals in this category have some interesting features not present for ordinary $\mathfrak{q}_n$-crystals. For example, there is an extra crystal operator, a different tensor product, and an action of the hyperoctahedral group exchanging highest and lowest weight elements. There are natural examples of $\mathfrak{q}_n$-crystal structures on certain families of shifted tableaux and factorized reduced words. We describe extended forms of these structures that give similar examples in our new category.
Order in the chaos with examples from graph theory
In randomly created structures (be they natural or artificial) very often there exist ordered substructures. In this Hungarian language scientific essay we will present some of such structures in graph theory. E.g. Rédei's theorem, Ramsey theory, Turán's problem, Hamiltonian cycles in De Bruijn graphs.
Super graphs on groups, I
Published
• View Publication
• BIB
Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups.
We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number.
The paper ends with some open problems and suggestions for further work.