Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Relative Fractional Packing Number and Its Properties
The concept of the \textit{relative fractional packing number} between two graphs $G$ and $H$, initially introduced in arXiv:2307.06155 [math.CO], serves as an upper bound for the ratio of the zero-error Shannon capacity of these graphs. Defined as: \begin{equation*} \sup\limits_{W} \frac{α(G \boxtimes W)}{α(H \boxtimes W)} \end{equation*} where the supremum is computed over all arbitrary graphs and $\boxtimes$ denotes the strong product of graphs.
This article delves into various critical theorems regarding the computation of this number. Specifically, we address its NP-hardness and the complexity of approximating it. Furthermore, we develop a conjecture for necessary and sufficient conditions for this number to be less than one. We also validate this conjecture for specific graph families. Additionally, we present miscellaneous concepts and introduce a generalized version of the independence number that gives insights that could significantly contribute to the study of the relative fractional packing number.
Cyclic complementary extensions and skew-morphisms
Published
• View Publication
• BIB
A cyclic complementary extension of a finite group $A$ is a finite group $G$ which contains $A$ and a cyclic subgroup $C$ such that $A\cap C=\{1_G\}$ and $G=AC$. For any fixed generator $c$ of the cyclic factor $C=\langle c\rangle$ of order $n$ in a cyclic complementary extension $G=AC$, the equations $cx=\varphi(x)c^{Π(x)}$, $x\in A$, determine a permutation $\varphi:A\to A$ and a function $Π:A\to\mathbb{Z}_n$ on $A$ characterized by the properties:
(a) $\varphi(1_A)=1_A$ and $Π(1_A)\equiv1\pmod{n}$; (b) $\varphi(xy)=\varphi(x)\varphi^{Π(x)}(y)$ and $Π(xy)\equiv\sum_{i=1}^{Π(x)}Π(\varphi^{i-1}(y))\pmod{n}$, for all $x,y\in A$. The permutation $\varphi$ is called a skew-morphism of $A$ and has already been extensively studied. One of the main contributions of the present paper is the recognition of the importance of the function $Π$, which we call the extended power function associated with $\varphi$. We show that {\em every} cyclic complementary extension of $A$ is determined and can be constructed from a skew-morphism $\varphi$ of $A$ and an extended power function $Π$ associated with $\varphi$. As an application, we present a classification of cyclic complementary extensions of cyclic groups obtained using skew-morphisms which are group automorphisms.
Towards the classification of finite-dimensional diagonally graded commutative algebras
Published
• View Publication
• BIB
Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras originally studied by Arnold. In this paper, we call them diagonally graded commutative algebras (DGCAs) and verify that the isomorphism classes of DGCAs of dimension $\leq 7$ over an arbitrary field are in bijection with the equivalence classes consisting of coefficient matrices with the same distribution of nonzero entries, while dramatically there may be infinitely many isomorphism classes of dimension $n$ corresponding to one equivalence class of coefficient matrices when $n\geq 8$.
Furthermore, we adopt the Skjelbred-Sund method of central extensions to study the isomorphism classes of DGCAs, and associate any DGCA with a undirected simple graph to explicitly describe its corresponding second (graded) commutative cohomology group as an affine variety.
Climbing up a random subgraph of the hypercube
Published
• View Publication
• BIB
Let $Q^d$ be the $d$-dimensional binary hypercube. We say that $P=\{v_1,\ldots, v_k\}$ is an increasing path of length $k-1$ in $Q^d$, if for every $i\in [k-1]$ the edge $v_iv_{i+1}$ is obtained by switching some zero coordinate in $v_i$ to a one coordinate in $v_{i+1}$.
Form a random subgraph $Q^d_p$ by retaining each edge in $E(Q^d)$ independently with probability $p$. We show that there is a phase transition with respect to the length of a longest increasing path around $p=\frac{e}{d}$. Let $α$ be a constant and let $p=\fracα{d}$. When $α<e$, then there exists a $δ\in [0,1)$ such that whp a longest increasing path in $Q^d_p$ is of length at most $δd$. On the other hand, when $α>e$, whp there is a path of length $d-2$ in $Q^d_p$, and in fact, whether it is of length $d-2, d-1$, or $d$ depends on whether the all-zero and all-one vertices percolate or not.
Simplifying modular lattices by removing doubly irreducible elements
Published in Australas. J. Combin. 92 (2025) 49-64
• Search Publication
Lattices are simplified by removing some of their doubly irreducible elements, resulting in smaller lattices called racks. All vertically indecomposable modular racks of $n \le 40$ elements are listed, and the numbers of all modular lattices of $n \le 40$ elements are obtained by Pólya counting. SageMath code is provided that allows easy access both to the listed racks, and to the modular lattices that were not listed. More than 3000-fold savings in storage space are demonstrated.
Recognizing trees from incomplete decks
Published
• View Publication
• BIB
For a given graph, the unlabeled subgraphs $G-v$ are called the cards of $G$ and the deck of $G$ is the multiset $\{G-v: v \in V(G)\}$. Wendy Myrvold [Ars Combinatoria, 1989] showed that a non-connected graph and a connected graph both on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor +1$ cards in common and she found (infinite) families of trees and non-connected forests for which this upper bound is tight. Bowler, Brown, and Fenner [Journal of Graph Theory, 2010] conjectured that this bound is tight for $n \geq 44$. In this article, we prove this conjecture for sufficiently large $n$. The main result is that a tree $T$ and a unicyclic graph $G$ on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor+1$ common cards. Combined with Myrvold's work this shows that it can be determined whether a graph on $n$ vertices is a tree from any $\lfloor \frac{n}{2}\rfloor+2$ of its cards.
Based on this theorem, it follows that any forest and non-forest also have at most $\lfloor \frac{n}{2} \rfloor +1$ common cards. Moreover, we have classified all except finitely many pairs for which this bound is strict. Furthermore, the main ideas of the proof for trees are used to show that the girth of a graph on $n$ vertices can be determined based on any $\frac{2n}{3} +1$ of its cards. Lastly, we show that any $\frac{5n}{6} +2$ cards determine whether a graph is bipartite.
On pyramidal groups whose number of involutions is a prime power
A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, with $p \neq 7$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.
Packing even directed circuits quarter-integrally
Published
• View Publication
• BIB
We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$.
Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erdős-Pósa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of Pólya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erdős-Pósa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems.
Using a Grassmann graph to recover the underlying projective geometry
Published in Graphs and Combinatorics 40, 88 (2024)
• View Publication
• BIB
Let $n,k$ denote integers with $n>2k\geq 6$. Let $\mathbb{F}_q$ denote a finite field with $q$ elements, and let $V$ denote a vector space over $\mathbb{F}_q$ that has dimension $n$. The projective geometry $P_q(n)$ is the partially ordered set consisting of the subspaces of $V$; the partial order is given by inclusion. For the Grassmann graph $J_q(n,k)$ the vertex set consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. The graph $J_q(n,k)$ is known to be distance-regular. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick two vertices $x,y$ in $J_q(n,k)$ such that $1<\partial(x,y)<k$. The set $P_q(n)$ contains the elements $x,y,x\cap y,x+y$. In our main result, we describe $x\cap y$ and $x+y$ using only the graph structure of $J_q(n,k)$. To achieve this result, we make heavy use of the Euclidean representation of $J_q(n,k)$ that corresponds to the second largest eigenvalue of the adjacency matrix.
On the saturation spectrum of the unions of disjoint cycles
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal{H}$ be a family of graphs. We say $G$ is $\mathcal{H}$-saturated if $G$ does not contain a copy of $H$ with $H\in\mathcal{H}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $H\in\mathcal{H}$ within $G+e$. The saturation number of $\mathcal{H}$ is the minimum size of an $\mathcal{H}$-saturated graph on $n$ vertices, and the saturation spectrum of $\mathcal{H}$ is the set of all possible sizes of an $\mathcal{H}$-saturated graph on $n$ vertices. Let $k\mathcal{C}_{\ge 3}$ be the family of the unions of $k$ vertex-disjoint cycles. In this note, we completely determine the saturation number and the saturation spectrum of $k\mathcal{C}_{\ge 3}$ for $k=2$ and give some results for $k\ge 3$.
An explicit construction for large sets of infinite dimensional $q$-Steiner systems
Published
• View Publication
• BIB
Let $V$ be a vector space over the finite field ${\mathbb F}_q$. A $q$-Steiner system, or an $S(t,k,V)_q$, is a collection ${\mathcal B}$ of $k$-dimensional subspaces of $V$ such that every $t$-dimensional subspace of $V$ is contained in a unique element of ${\mathcal B}$. A large set of $q$-Steiner systems, or an $LS(t,k,V)_q$, is a partition of the $k$-dimensional subspaces of $V$ into $S(t,k,V)_q$ systems. In the case that $V$ has infinite dimension, the existence of an $LS(t,k,V)_q$ for all finite $t,k$ with $1<t<k$ was shown by Cameron in 1995. This paper provides an explicit construction of an $LS(t,t+1,V)_q$ for all prime powers $q$, all positive integers $t$, and where $V$ has countably infinite dimension.
Local certification of geometric graph classes
Published in 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)
• View Publication
• BIB
The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates.
In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $Ω(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $Ω(n^{1-δ})$ for any $δ>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest.
Mirković-Vilonen Polytopes from Combinatorics
Mirković-Vilonen (MV) polytopes are a class of generalized permutahedra originating from geometric representation theory. In this paper we study MV polytopes coming from matroid polytopes, flag matroid polytopes, Bruhat interval polytopes, and Schubitopes. We give classifications and combinatorial conditions for when these polytopes are MV polytopes. We also describe how the crystal structure on MV polytopes manifests combinatorially in these situations. As a special case, we show that the Newton polytopes of Schubert polynomials and key polynomials are MV polytopes.
Rumors with Changing Credibility
Randomized rumor spreading processes diffuse information on an undirected graph and have been widely studied. In this work, we present a generic framework for analyzing a broad class of such processes on regular graphs. Our analysis is protocol-agnostic, as it only requires the expected proportion of newly informed vertices in each round to be bounded, and a natural negative correlation property.
This framework allows us to analyze various protocols, including PUSH, PULL, and PUSH-PULL, thereby extending prior research. Unlike previous work, our framework accommodates message failures at any time $t\geq 0$ with a probability of $1-q(t)$, where the credibility $q(t)$ is any function of time. This enables us to model real-world scenarios in which the transmissibility of rumors may fluctuate, as seen in the spread of ``fake news'' and viruses. Additionally, our framework is sufficiently broad to cover dynamic graphs.
New recursive constructions of amoebas and their balancing number
Published
• View Publication
• BIB
The definition of amoeba graphs is based on iterative \emph{feasible edge-replacements}, where, at each step, an edge from the graph is removed and placed in an available spot in a way that the resulting graph is isomorphic to the original graph. Broadly speaking, amoebas are graphs that, by means of a chain of feasible edge-replacements, can be transformed into any other copy of itself on a given vertex set (which is defined according to whether these are local or global amoebas). Global amoebas were born as examples of \emph{balanceable} graphs, which are graphs that appear with half of their edges in each color in any $2$-edge coloring of a large enough complete graph with a sufficient amount of edges in each color. The least amount of edges required in each color is called the \emph{balancing number} of $G$. In a work by Caro et al., an infinite family of global amoeba trees with arbitrarily large maximum degree is presented, and the question if they were also local amoebas is raised. In this paper, we provide a recursive construction to generate very diverse infinite families of local and global amoebas, by which not only this question is answered positively, it also yields an efficient algorithm that, given any copy of the graph on the same vertex set, provides a chain of feasible edge-replacements that one can perform in order to move the graph into the aimed copy. All results are illustrated by applying them to three different families of local amoebas, including the Fibonacci-type trees. Concerning the balancing number of a global amoeba $G$, we are able to express it in terms of the extremal number of a class of subgraphs of $G$. By means of this, we give a general lower bound for the balancing number of a global amoeba $G$, and we provide linear (in terms of order) lower and upper bounds for the balancing number of our three case studies.
On the Complexity of the Median and Closest Permutation Problems
Published
• View Publication
• BIB
Genome rearrangements are events where large blocks of DNA exchange places during evolution. The analysis of these events is a promising tool for understanding evolutionary genomics, providing data for phylogenetic reconstruction based on genome rearrangement measures. Many pairwise rearrangement distances have been proposed, based on finding the minimum number of rearrangement events to transform one genome into the other, using some predefined operation. When more than two genomes are considered, we have the more challenging problem of rearrangement-based phylogeny reconstruction. Given a set of genomes and a distance notion, there are at least two natural ways to define the "target" genome. On the one hand, finding a genome that minimizes the sum of the distances from this to any other, called the median genome. Finding a genome that minimizes the maximum distance to any other, called the closest genome. Considering genomes as permutations, some distance metrics have been extensively studied. We investigate median and closest problems on permutations over the metrics: breakpoint, swap, block-interchange, short-block-move, and transposition. In biological matters some values are usually small, such as the solution value d or the number k of input permutations. For each of these metrics and parameters d or k, we analyze the closest and the median problems from the viewpoint of parameterized complexity. We obtain the following results: NP-hardness for finding the median/closest permutation for some metrics, even for k = 3; Polynomial kernels for the problems of finding the median permutation of all studied metrics, considering the target distance d as parameter; NP-hardness result for finding the closest permutation by short-block-moves; FPT algorithms and infeasibility of polynomial kernels for finding the closest permutation for some metrics parameterized by the target distance d.
Composition schemes: q-enumerations and phase transitions
Published in LIPIcs, Volume 302, pp. 7:1-7:18, 2024
• View Publication
• BIB
Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of~$q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). For structures enumerated by a composition scheme, we prove a phase transition for any parameter having such a Gibbs measure: for a critical value $q=q_c$, the limit law of the parameter is a two-parameter Mittag-Leffler distribution, while it is Gaussian in the supercritical regime ($q>q_c$), and it is a Boltzmann distribution in the subcritical regime ($0<q<q_c$). We apply our results to fundamental statistics of lattice paths and quarter-plane walks. We also explain previously observed limit laws for pattern-restricted permutations, and a phenomenon uncovered by Krattenthaler for the wall contacts in watermelons.
Equivariant Ehrhart theory, commutative algebra and invariant triangulations of polytopes
Ehrhart theory is the study of the enumeration of lattice points in lattice polytopes. Equivariant Ehrhart theory is a generalization of Ehrhart theory that takes into account the action of a finite group acting via affine transformations on the underlying lattice and preserving the polytope. We further develop equivariant Ehrhart theory in part by establishing connections with commutative algebra as well as the question of when there exists an invariant lattice triangulation of a lattice polytope.
Representation theoretic interpretation of the Springer correspondence for dihedral groups
The Lusztig-Shoji algorithm is generalized to a complex reflection group $W$ and give us a version of the Springer correspondence of $W$. We show that the combinatorics of generalized Springer correspondences of dihedral groups of order $2n$ exhibit the Brauer-Humphreys type reciprocity as in the case of Weyl groups for odd $n$, and these constitute a major portion of the stratification of the natural module categories attached to them.
Intersections of Dual $SL_3$-Webs
Published
• View Publication
• BIB
We introduce a topological intersection number for an ordered pair of $\operatorname{SL}_3$-webs on a decorated surface. Using this intersection pairing between reduced $(\operatorname{SL}_3,\mathcal{A})$-webs and a collection of $(\operatorname{SL}_3,\mathcal{X})$-webs associated with the Fock--Goncharov cluster coordinates, we provide a natural combinatorial interpretation of the bijection from the set of reduced $(\operatorname{SL}_3,\mathcal{A})$-webs to the tropical set $\mathcal{A}^+_{\operatorname{PGL}_3,\hat{S}}(\mathbb{Z}^t)$, as established by Douglas and Sun in \cite{DS20a, DS20b}. We provide a new proof of the flip equivariance of the above bijection, which is crucial for proving the Fock--Goncharov duality conjecture of higher Teichmüller spaces for $\operatorname{SL}_3$.