contain ↗ reference
7720 papers tagged with this keyword
Excluding affine configurations over a finite field
Published in Discrete Analysis 2023:21
• View Publication
• BIB
Let $a_{i1}x_1+\cdots+a_{ik}x_k=0$, $i\in[m]$ be a balanced homogeneous system of linear equations with coefficients $a_{ij}$ from a finite field $\mathbb{F}_q$. We say that a solution $x=(x_1,\ldots, x_k)$ with $x_1,\ldots, x_k\in \mathbb{F}_q^n$ is `generic' if every homogeneous balanced linear equation satisfied by $x$ is a linear combination of the given equations.
We show that if the given system is `tame', subsets $S\subseteq \mathbb{F}_q^n$ without generic solutions must have exponentially small density. Here, the system is called tame if for every implied system the number of equations is less than half the number of used variables. Using a subspace sampling argument this also gives a `supersaturation result': there is a constant $c$ such that for $ε>0$ sufficiently small, every subset $S\subseteq \mathbb{F}_q^n$ of size at least $q^{(1-ε) n}$ contains $Ω(q^{(k-m-εc)n})$ solutions as $n\to\infty$. For $q<4$ the tameness condition can be left out.
Our main tool is a modification of the slice rank method to leverage the existence of many solutions in order to obtain high rank solutions.
The threshold for stacked triangulations
Published
• View Publication
• BIB
A \emph{stacked triangulation} of a $d$-simplex $\mathbf{o}=\{1,\ldots,d+1\}$ ($d\geq 2$) is a triangulation obtained by repeatedly subdividing a $d$-simplex into $d+1$ new ones via a new vertex (the case $d=2$ is known as an Appolonian network). We study the occurrence of such a triangulation in the Linial--Meshulam model, i.e., for which $p$ does the random simplicial complex $Y\sim \mathcal{Y}_d(n,p)$ contain the faces of a stacked triangulation of the $d$-simplex $\mathbf{o}$, with its internal vertices labeled in $[n]$. In the language of bootstrap percolation in hypergraphs, it pertains to the threshold for $K_{d+2}^{d+1}$, the $(d+1)$-uniform clique on $d+2$ vertices.
Our main result identifies this threshold for every $d\geq 2$, showing it is asymptotically $(α_d n)^{-1/d}$, where $α_d$ is the growth rate of the Fuss--Catalan numbers of order $d$. The proof hinges on a second moment argument in the supercritical regime, and on Kalai's algebraic shifting in the subcritical regime.
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.
Regular semigroups weakly generated by idempotents
Published
• View Publication
• BIB
A regular semigroup is weakly generated by a set X if it has no proper regular subsemigroups containing X. In this paper, we study the regular semigroups weakly generated by idempotents. We show there exists a regular semigroup FI(X) weakly generated by |X| idempotents such that all other regular semigroups weakly generated by |X| idempotents are homomorphic images of FI(X). The semigroup FI(X) is defined by a presentation $\langle G(X),ρ_e\cupρ_s\rangle$ and its structure is studied. Although each of the sets $G(X)$, $ρ_e$, and $ρ_s$ is infinite for $|X|\geq 2$, we show that the word problem is decidable as each congruence class has a canonical form. If $FI_n$ denotes FI(X) for $|X|=n$, we prove also that $FI_2$ contains copies of all $FI_n$ as subsemigroups. As a consequence, we conclude that (i) all regular semigroups weakly generated by a finite set of idempotents, which include all finitely idempotent generated regular semigroups, strongly divide $FI_2$; and (ii) all finite semigroups divide $FI_2$.
The codegree threshold of $K_4^-$
Published
• View Publication
• BIB
The codegree threshold $\mathrm{ex}_2(n, F)$ of a $3$-graph $F$ is the minimum $d=d(n)$ such that every $3$-graph on $n$ vertices in which every pair of vertices is contained in at least $d+1$ edges contains a copy of $F$ as a subgraph. We study $\mathrm{ex}_2(n, F)$ when $F=K_4^-$, the $3$-graph on $4$ vertices with $3$ edges. Using flag algebra techniques, we prove that if $n$ is sufficiently large then $\mathrm{ex}_2(n, K_4^-)\leq (n+1)/4$.
This settles in the affirmative a conjecture of Nagle from 1999. In addition, we obtain a stability result: for every near-extremal configuration $G$, there is a quasirandom tournament $T$ on the same vertex set such that $G$ is close in the edit distance to the $3$-graph $C(T)$ whose edges are the cyclically oriented triangles from $T$. For infinitely many values of $n$, we are further able to determine $\mathrm{ex}_2(n, K_4^-)$ exactly and to show that tournament-based constructions $C(T)$ are extremal for those values of $n$.
q-ary Propelinear Perfect Codes from the Regular Subgroups of the GA(r,q) and Their Ranks
Published
• View Publication
• BIB
We propose a new method of constructing q-ary propelinear perfect codes. The approach utilizes permutations of the fixed length q-ary vectors that arise from the automorphisms of the regular subgroups of the affine group. For any prime q it is shown that the new class contains an infinite series of q-ary propelinear perfect codes of varying ranks of growing length.
On $d$-panconnected tournaments with large semidegrees
Published
• View Publication
• BIB
We prove the following new results.
(a) Let $T$ be a regular tournament of order $2n+1\geq 11$ and $S$ a subset of $V(T)$. Suppose that $|S|\leq \frac{1}{2}(n-2)$ and $x$, $y$ are distinct vertices in $V(T)\setminus S$. If the subtournament $T-S$ contains an $(x,y)$-path of length $r$, where $3\leq r\leq |V(T)\setminus S|-2$, then $T-S$ also contains an $(x,y)$-path of length $r+1$.
(b) Let $T$ be an $m$-irregular tournament of order $p$, i.e., $|d^+(x)-d^-(x)|\le m$ for every vertex $x$ of $T.$ If $m\leq \frac{1}{3}(p-5)$ (respectively, $m\leq \frac{1}{5}(p-3)$), then for every pair of vertices $x$ and $y$, $T$ has an $(x,y)$-path of any length $k$, $4\leq k\leq p-1$ (respectively, $3\leq k\leq p-1$ or $T$ belongs to a family $\cal G$ of tournaments, which is defined in the paper). In other words, (b) means that if the semidegrees of every vertex of a tournament $T$ of order $p$ are between
$\frac{1}{3}(p+1)$ and $\frac{2}{3}(p-2)$ (respectively, between $\frac{1}{5}(2p-1)$ and $\frac{1}{5}(3p-4)$), then the claims in (b) hold.
Our results improve in a sense related results of Alspach (1967), Jacobsen (1972), Alspach et al. (1974), Thomassen (1978) and Darbinyan (1977, 1978, 1979), and are sharp in a sense.
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.
Hop-Spanners for Geometric Intersection Graphs
Published in Journal of Computational Geometry 14(2):26-64 (2023)
• View Publication
• BIB
A $t$-spanner of a graph $G=(V,E)$ is a subgraph $H=(V,E')$ that contains a $uv$-path of length at most $t$ for every $uv\in E$. It is known that every $n$-vertex graph admits a $(2k-1)$-spanner with $O(n^{1+1/k})$ edges for $k\geq 1$. This bound is the best possible for $1\leq k\leq 9$ and is conjectured to be optimal due to Erdős' girth conjecture.
We study $t$-spanners for $t\in \{2,3\}$ for geometric intersection graphs in the plane. These spanners are also known as \emph{$t$-hop spanners} to emphasize the use of graph-theoretic distances (as opposed to Euclidean distances between the geometric objects or their centers). We obtain the following results: (1) Every $n$-vertex unit disk graph (UDG) admits a 2-hop spanner with $O(n)$ edges; improving upon the previous bound of $O(n\log n)$. (2) The intersection graph of $n$ axis-aligned fat rectangles admits a 2-hop spanner with $O(n\log n)$ edges, and this bound is tight up to a factor of $\log \log n$. (3) The intersection graph of $n$ fat convex bodies in the plane admits a 3-hop spanner with $O(n\log n)$ edges. (4) The intersection graph of $n$ axis-aligned rectangles admits a 3-hop spanner with $O(n\log^2 n)$ edges.
On the Gauss-Epple homomorphism of the braid group $B_n$, and generalizations to Artin groups of crystallographic type
In this paper, we introduce a broad family of group homomorphisms that we name the Gauss-Epple homomorphisms. In the setting of braid groups, the Gauss-Epple invariant was originally defined by Epple based on a note of Gauss as an action of the braid group $B_n$ on the set $\{1, \dots, n\}\times\mathbb{Z}$; we prove that it is well-defined. We consider the associated group homomorphism from $B_n$ to the symmetric group $\text{Sym}(\{1, \dots, n\}\times\mathbb{Z})$. We prove that this homomorphism factors through $\mathbb{Z}^n\rtimes S_n$ (in fact, its image is an order 2 subgroup of the previous group). We also describe the kernel of the homomorphism and calculate the asymptotic probability that it contains a random braid of a given length. Furthermore, we discuss the super-Gauss-Epple homomorphism, a homomorphism which extends the generalization of the Gauss-Epple homomorphism and describe a related 1-cocycle of the symmetric group $S_n$ on the set of antisymmetric $n\times n$ matrices over the integers. We then generalize the super-Gauss-Epple homomorphism and the associated 1-cocycle to Artin groups of finite type. For future work, we suggest studying possible generalizations to complex reflection groups and computing the vector spaces of Gauss-Epple analogues.
Kempe Equivalent List Colorings
Published in Combinatorica. Vol. 44, 2024, pp. 125-153
• View Publication
• BIB
An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are $k$-Kempe equivalent. Mohar conjectured the same conclusion for connected $k$-regular graphs. This was proved for $k=3$ by Feghali, Johnson, and Paulusma (with a single exception $K_2\square K_3$, also called the 3-prism) and for $k\ge 4$ by Bonamy, Bousquet, Feghali, and Johnson.
In this paper we prove an analogous result for list-coloring. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap is called $L$-valid for $\varphi$ if performing the Kempe swap yields another $L$-coloring. Two $L$-colorings are called $L$-equivalent if we can form one from the other by a sequence of $L$-valid Kempe swaps. Let $G$ be a connected $k$-regular graph with $k\ge 3$. We prove that if $L$ is a $k$-assignment, then all $L$-colorings are $L$-equivalent (again with a single exception $K_2 \square K_3$). When $k\ge 4$, the proof is completely self-contained, so implies an alternate proof of the result of Bonamy et al.
Our proofs rely on the following key lemma, which may be of independent interest. Let $H$ be a graph such that for every degree-assignment $L_H$ all $L_H$-colorings are $L_H$-equivalent. If $G$ is a connected graph that contains $H$ as an induced subgraph, then for every degree-assignment $L_G$ for $G$ all $L_G$-colorings are $L_G$-equivalent.
Tuza's conjecture for binary geometries
Published
• View Publication
• BIB
Tuza (A conjecture, in Proceedings of the Colloquia Mathematica Societatis Janos Bolyai, 1981) conjectured that $τ(G) \le 2ν(G)$ for all graphs $G$, where $τ(G)$ is the minimum size of an edge set whose removal makes $G$ triangle-free, and $ν(G)$ is the maximum size of a collection of pairwise edge-disjoint triangles. Here, we generalise Tuza's conjecture to simple binary matroids that do not contain the Fano plane as a restriction. We prove that the geometric version of the conjecture holds for cographic matroids.
Sparse random graphs with many triangles
Published
• View Publication
• BIB
In this paper we consider the Erdős-Rényi random graph in the sparse regime in the limit as the number of vertices $n$ tends to infinity. We are interested in what this graph looks like when it contains many triangles, in two settings. First, we derive asymptotically sharp bounds on the probability that the graph contains a large number of triangles. We show that conditionally on this event, with high probability the graph contains an almost complete subgraph, i.e., the triangles form a near-clique, and has the same local limit as the original Erdős-Rényi random graph. Second, we derive asymptotically sharp bounds on the probability that the graph contains a large number of vertices that are part of a triangle. If order $n$ vertices are in triangles, then the local limit (provided it exists) is different from that of the Erdős-Rényi random graph. Our results shed light on the challenges that arise in the description of real-world networks, which often are sparse, yet highly clustered, and on exponential random graphs, which often are used to model such networks.
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.
Complexity of Paired Domination in AT-free and Planar Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, a subset $D$ of vertex set $V$, is a dominating set of $G$ if every vertex not in $D$ is adjacent to atleast one vertex of $D$. A dominating set $D$ of a graph $G$ with no isolated vertices is called a paired dominating set (PD-set), if $G[D]$, the subgraph induced by $D$ in $G$ has a perfect matching. The Min-PD problem requires to compute a PD-set of minimum cardinality. The decision version of the Min-PD problem remains NP-complete even when $G$ belongs to restricted graph classes such as bipartite graphs, chordal graphs etc. On the positive side, the problem is efficiently solvable for many graph classes including intervals graphs, strongly chordal graphs, permutation graphs etc. In this paper, we study the complexity of the problem in AT-free graphs and planar graph. The class of AT-free graphs contains cocomparability graphs, permutation graphs, trapezoid graphs, and interval graphs as subclasses. We propose a polynomial-time algorithm to compute a minimum PD-set in AT-free graphs. In addition, we also present a linear-time $2$-approximation algorithm for the problem in AT-free graphs. Further, we prove that the decision version of the problem is NP-complete for planar graphs, which answers an open question asked by Lin et al. (in Theor. Comput. Sci., $591 (2015): 99-105$ and Algorithmica, $ 82 (2020) :2809-2840$).
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.
Sequences of symmetry groups of infinite words
Published
• View Publication
• BIB
In this paper we introduce a new notion of a sequence of symmetry groups of an infinite word. Given a subgroup $G_n$ of the symmetric group $S_n$, it acts on the set of finite words of length $n$ by permutation. We associate to an infinite word $w$ a sequence $(G_n(w))_{n\geq 1}$ of its symmetry groups: For each $n$, a symmetry group of $w$ is a subgroup $G_n(w)$ of the symmetric group $S_n$ such that $g(v)$ is a factor of $w$ for each permutation $g \in G_n(w)$ and each factor $v$ of length $n$ of $w$. We study general properties of the symmetry groups of infinite words and characterize the sequences of symmetry groups of several families of infinite words. We show that for each subgroup $G$ of $S_n$ there exists an infinite word $w$ with $G_n(w)=G$. On the other hand, the structure of possible sequences $(G_n(w))_{n\geq 1}$ is quite restrictive: we show that they cannot contain for each order $n$ certain cycles, transpositions and some other permutations. The sequences of symmetry groups can also characterize a generalized periodicity property. We prove that symmetry groups of Sturmian words and more generally Arnoux-Rauzy words are of order two for large enough $n$; on the other hand, symmetry groups of certain Toeplitz words have exponential growth.
When are symmetric ideals monomial?
Published
• View Publication
• BIB
We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a monomial radical if their coefficients are sufficiently general with respect to their supports. We prove this for instance in the case where some generator contains a power of a variable. Moreover, if the polynomials have only square-free terms and their coefficients do not sum to zero, then in a larger polynomial ring the ideal itself is square-free monomial. This has implications also for symmetric ideals of the infinite polynomial ring.
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.
On the geometry of the orthogonal momentum amplituhedron
Published
• View Publication
• BIB
In this paper we study the orthogonal momentum amplituhedron $\mathcal{O}_k$, a recently introduced positive geometry that encodes the tree-level scattering amplitudes in ABJM theory. We generate the full boundary stratification of $\mathcal{O}_k$ and show that its boundaries can be labelled by so-called orthogonal Grassmannian forests (OG forests). We also determine the generating function for enumerating boundaries according to their dimension and show that the Euler characteristic of $\mathcal{O}_k$ equals one. This provides a strong indication that the orthogonal momentum amplituhedron is homeomorphic to a ball. This paper is supplemented with the Mathematica package "orthitroids" which contains useful functions for studying the positive orthogonal Grassmannian and the orthogonal momentum amplituhedron.