Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Surjective polymorphisms of reflexive cycles
A reflexive cycle is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure Slupecki if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4 have this property.
Invariant Theory for the free left-regular band and a q-analogue
Published in Pacific J. Math. 322 (2023) 251-280
• View Publication
• BIB
We examine from an invariant theory viewpoint the monoid algebras for two monoids having large symmetry groups. The first monoid is the free left-regular band on $n$ letters, defined on the set of all injective words, that is, the words with at most one occurrence of each letter. This monoid carries the action of the symmetric group. The second monoid is one of its $q$-analogues, considered by K. Brown, carrying an action of the finite general linear group. In both cases, we show that the invariant subalgebras are semisimple commutative algebras, and characterize them using Stirling and $q$-Stirling numbers.
We then use results from the theory of random walks and random-to-top shuffling to decompose the entire monoid algebra into irreducibles, simultaneously as a module over the invariant ring and as a group representation. Our irreducible decompositions are described in terms of derangement symmetric functions introduced by Désarménien and Wachs.
Non-trivial squares and Sidorenko's conjecture
Published
• View Publication
• BIB
Let $t(H;G)$ be the homomorphism density of a graph $H$ into a graph $G$. Sidorenko's conjecture states that for any bipartite graph $H$, $t(H;G)\geq t(K_2;G)^{|E(H)|}$ for all graphs $G$. It is already known that such inequalities cannot be certified through the sums of squares method when $H$ is a so-called trivial square. In this paper, we investigate recent results about Sidorenko's conjecture and classify those involving trivial versus non-trivial squares. We then present some computational results. In particular, we categorize the bipartite graphs $H$ on at most 7 edges for which $t(H;G)\geq t(K_2;G)^{|E(H)|}$ has a sum of squares certificate. We then discuss other limitations for sums of squares proofs beyond trivial squares.
New Bounds on the Size of Permutation Codes With Minimum Kendall $τ$-distance of Three
We study $P(n,3)$, the size of the largest subset of the set of all permutations $S_n$ with minimum Kendall $τ$-distance $3$. Using a combination of group theory and integer programming, we reduced the upper bound of $P(p,3)$ from $(p-1)!-1$ to $(p-1)!-\lceil\frac{p}{3}\rceil+2\leq (p-1)!-2$ for all primes $p\geq 11$. In special cases where $n$ is equal to $6,7,11,13,14,15$ and $17$ we reduced the upper bound of $P(n,3)$ by $3,3,9,11,1,1$ and $4$, respectively.
On Eccentricity Matrices of Wheel Graphs
Published
• View Publication
• BIB
The eccentricity matrix $E(G)$ of a simple connected graph $G$ is obtained from the distance matrix $D(G)$ of $G$ by retaining the largest distance in each row and column, and by defining the remaining entries to be zero. This paper focuses on the eccentricity matrix $E(W_n)$ of the wheel graph $W_n$ with $n$ vertices. By establishing a formula for the determinant of $E(W_n)$, we show that $E(W_n)$ is invertible if and only if $n \not\equiv 1\Mod3$. We derive a formula for the inverse of $E(W_n)$ by finding a vector $\mathbf{w}\in \mathbb{R}^n$ and an $n \times n$ symmetric Laplacian-like matrix $\widetilde{L}$ of rank $n-1$ such that \begin{eqnarray*}
E(W_n)^{-1} = -\frac{1}{2}\widetilde{L} +
\frac{6}{n-1}\mathbf{w}\mathbf{w^{\prime}}. \end{eqnarray*} Further, we prove an analogous result for the Moore-Penrose inverse of $E(W_n)$ for the singular case. We also determine the inertia of $E(W_n)$.
A Flexible Approach for the Enumeration of Down-Sets and its Application on Dedekind Numbers
We introduce a flexible approach for the enumeration of the down-sets of a finite poset and test it with the calculation of the Dedekind numbers $b(5) = 7581$ and $b(6) = 7828354$. For the calculation of $b(5)$, we develop two methods of which the first one (without pre-calculations) requires simple evaluation of 80 posets and the second one (with pre-calculations) of 34 posets. The calculation of $b(6)$ (with pre-calculations) is done by evaluating 245 posets.
Oddomorphisms and homomorphism indistinguishability over graphs of bounded degree
We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism indistinguishability.
Graphs $G$ and $H$ are *homomorphism indistinguishable* over a family $\mathcal{F}$ if $\hom(F,G) = \hom(F,H)$ for all $F \in \mathcal{F}$, where $\hom(F,G)$ is the number of homomorphisms from $F$ to $G$. A classical result of Lovász says that isomorphism is equivalent to homomorphism indistinguishability over the class of all graphs. In recent years it has been shown that many homomorphism indistinguishability relations have natural algebraic and/or logical formulations. Currently, much research in this area is focused on finding such reformulations. We aim to broaden the scope of current research on homomorphism indistinguishability by introducing new concepts/constructions and proposing several conjectures/questions. In particular, we conjecture that every family closed under disjoint unions and minors gives rise to a distinct homomorphism indistinguishability relation.
We also show that if $\mathcal{F}$ is a family of graphs closed under disjoint unions, restrictions to connected components, and weak oddomorphisms, then $\mathcal{F}$ satisfies a certain maximality or closure property: homomorphism indistinguishability over $\mathcal{F}$ of $G$ and $H$ does not imply $\hom(F,G) = \hom(F,H)$ for any $F \notin \mathcal{F}$. This allows us to answer a question raised over ten years ago, showing that homomorphism indistinguishability over graphs of bounded degree is not equivalent to isomorphism.
Rainbow bases in matroids
Recently, it was proved by Bérczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open.
We first show that the problem remains hard if the matroid is graphic, answering a question of Bérczi and Schwarcz. As another special case, we consider the problem of deciding whether a given digraph can be factorized into subgraphs which are spanning trees in the underlying sense and respect upper bounds on the indegree of every vertex. We prove that this problem is also hard. This answers a question of Frank.
In the second part of the article, we deal with the relaxed problem of covering the ground set of a matroid by rainbow bases. Among other results, we show that there is a linear function $f$ such that every matroid that can be factorized into $k$ bases for some $k \geq 3$ can be covered by $f(k)$ rainbow bases if every partition class contains at most 2 elements.
A survey on association schemes on triples
Published
• View Publication
• BIB
Association schemes on triples (ASTs) are ternary analogues of classical association schemes, whose relations and adjacency algebras are ternary instead of binary. We provide a survey of the current progress in the study of ASTs, highlighting open questions, suggesting research directions, and producing some related results. We review properties of the ternary adjacency algebras of ASTs, ASTs whose relations are invariant under some group action, and ASTs obtained from 2-designs and two-graphs. We also provide a notion of fusion and fission ASTs, using the AST obtained from the affine special linear group $ASL(2,q)$ as an example.
A Study of Weisfeiler-Leman Colorings on Planar Graphs
The Weisfeiler-Leman (WL) algorithm is a combinatorial procedure that computes colorings on graphs, which can often be used to detect their (non-)isomorphism. Particularly the 1- and 2-dimensional versions 1-WL and 2-WL have received much attention, due to their numerous links to other areas of computer science.
Knowing the expressive power of a certain dimension of the algorithm usually amounts to understanding the computed colorings. An increase in the dimension leads to finer computed colorings and, thus, more graphs can be distinguished. For example, on the class of planar graphs, 3-WL solves the isomorphism problem. However, the expressive power of 2-WL on the class is poorly understood (and, in particular, it may even well be that it decides isomorphism).
In this paper, we investigate the colorings computed by 2-WL on planar graphs. Towards this end, we analyze the graphs induced by edge color classes in the graph. Based on the obtained classification, we show that for every 3-connected planar graph, it holds that: a) after coloring all pairs with their 2-WL color, the graph has fixing number 1 with respect to 1-WL, or b) there is a 2-WL-definable matching that can be used to transform the graph into a smaller one, or c) 2-WL detects a connected subgraph that is essentially the graph of a Platonic or Archimedean solid, a prism, a cycle, or a bipartite graph K_{2,\ell}. In particular, the graphs from case (a) are identified by 2-WL.
On the decomposition of $n$-partite graphs based on a vertex-removing synchronised graph product
Recently, we have introduced and modified graph-decomposition theorems based on a graph product motivated by applications in the context of synchronising periodic real-time processes. This vertex-removing synchronised product (VRSP) is based on modifications of the well-known Cartesian product and is closely related to the synchronised product due to Wöhrle and Thomas. Here, we introduce a new graph-decomposition theorem based on the VRSP that decomposes an edge-labelled acyclic n-partite multigraph where all labels are the same.
Subsets of Virtually Nilpotent Groups with the SBM Property
Published
• View Publication
• BIB
We extend Leth's notion of subsets of the integers satisfying the Standard interval measure (SIM) property to the class of virtually nilpotent groups and name the corresponding property the Standard ball measure (SBM) property. In order to do this, we define a natural measure on closed balls in asymptotic cones associated to such groups and show that this measure satisfies the Lebesgue density theorem. We then prove analogs of various properties known to hold for SIM sets in this broader context, occasionally assuming extra properties of the group, such as the small spheres property and the small gaps property.
Improved bounds for the triangle case of Aharoni's rainbow generalization of the Caccetta-Häggkvist conjecture
Published in Discrete Mathematics, Volume 347, Issue 1, January 2024, 113691
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then $G$ contains a directed cycle of length at most $\lceil n/k \rceil$. Aharoni proposed a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size at least $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. Let us call $(α, β)$ \emph{triangular} if every simple edge-colored graph on $n$ vertices with at least $αn$ color classes, each with at least $βn$ edges, has a rainbow triangle. Aharoni, Holzman, and DeVos showed the following: $(9/8,1/3)$ is triangular; $(1,2/5)$ is triangular. In this paper, we improve those bounds, showing the following: $(1.1077,1/3)$ is triangular; $(1,0.3988)$ is triangular. Our methods give results for infinitely many pairs $(α, β)$, including $β< 1/3$; we show that $(1.3481,1/4)$ is triangular.
Turán inequalities for the broken $k$-diamond partition function
Published
• View Publication
• BIB
We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $Δ_k(n)$ satisfies the order $d$ Turán inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $Δ_k(a)Δ_k(b)\geΔ_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.
A hypergraph Heilmann--Lieb theorem
Published
• View Publication
• BIB
The Heilmann--Lieb theorem is a fundamental theorem in algebraic combinatorics which provides a characterization of the distribution of the zeros of matching polynomials of graphs. In this paper, we establish a hypergraph Heilmann--Lieb theorem as follows. Let $\h$ be a connected $k$-graph with maximum degree $Δ\geq 2$ and let $μ(\h, x)$ be its matching polynomial. We show that the zeros (with multiplicities) of $μ(\h, x)$ are invariant under a rotation of an angle $2π/{\ell}$ in the complex plane for some positive integer $\ell$ and $k$ is the maximum integer with this property. We further prove that the maximum modulus $λ(\h)$ of all the zeros of $μ(\h, x)$ is a simple root of $μ(\h, x)$ and satisfies $$Δ^{\frac{1}{ k}} \leq λ(\h)< \frac{k}{k-1}\big((k-1)(Δ-1)\big)^{\frac{1}{ k}}.$$ To achieve these, we prove that $μ(\h, x)$ divides the matching polynomial of the $k$-walk-tree of $\h$, which generalizes a classical result due to Godsil from graphs to hypergraphs.
Connected and outer-connected domination number of middle graphs
In this paper, we study the notions of connected domination number and of outer-connected domination number for middle graphs. Indeed, we obtain tight bounds for this number in terms of the order of the graph M(G). We also compute the outer-connected domination number of some families of graphs such as star graphs, cycle graphs, wheel graphs, complete graphs, complete bipartite graphs and some operation on graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the outer-connected domination number of middle graphs.
MDS Codes Based Group Coded Caching in Fog Radio Access Networks
Published
• View Publication
• BIB
In this paper, we investigate maximum distance separable (MDS) codes based group coded caching in fog radio access networks (F-RANs). The goal is to minimize the average fronthaul rate under nonuniform file popularity. Firstly, an MDS codes and file grouping based coded placement scheme is proposed to provide coded packets and allocate more cache to the most popular files simultaneously. Next, a fog access point (F-AP) grouping based coded delivery scheme is proposed to meet the requests for files from different groups. Furthermore, a closed-form expression of the average fronthaul rate is derived. Finally, the parameters related to the proposed coded caching scheme are optimized to fully utilize the gains brought by MDS codes and file grouping. Simulation results show that our proposed scheme obtains significant performance improvement over several existing caching schemes in terms of fronthaul rate reduction.
On approximating the rank of graph divisors
Published in Discrete Math. 346 (2023), no. 9, Paper No. 113528, 8 pp
• View Publication
• BIB
Baker and Norine initiated the study of graph divisors as a graph-theoretic analogue of the Riemann-Roch theory for Riemann surfaces. One of the key concepts of graph divisor theory is the {\it rank} of a divisor on a graph. The importance of the rank is well illustrated by Baker's {\it Specialization lemma}, stating that the dimension of a linear system can only go up under specialization from curves to graphs, leading to a fruitful interaction between divisors on graphs and curves.
Due to its decisive role, determining the rank is a central problem in graph divisor theory. Kiss and Tóthméresz reformulated the problem using chip-firing games, and showed that computing the rank of a divisor on a graph is NP-hard via reduction from the Minimum Feedback Arc Set problem.
In this paper, we strengthen their result by establishing a connection between chip-firing games and the Minimum Target Set Selection problem. As a corollary, we show that the rank is difficult to approximate to within a factor of $O(2^{\log^{1-\varepsilon}n})$ for any $\varepsilon > 0$ unless $P=NP$. Furthermore, assuming the Planted Dense Subgraph Conjecture, the rank is difficult to approximate to within a factor of $O(n^{1/4-\varepsilon})$ for any $\varepsilon>0$.
Almost resolvable even cycle systems of $(K_u \times K_g)(λ)$
In this paper, we prove that almost resolvable $k$-cycle systems (briefly $k$-ARCS) of $(K_u \times K_g)(λ)$ exists for all $k \equiv 0(mod \ 4) $ with few possible exceptions, where $\times$ represents tensor product of graphs.
The cap set problem: 41-cap 5-flats
An s-cap n-flat, or an n-dimensional cap of size s, is a pair (S,F) where F is an n-dimensional affine space over Z/3Z and the size-s subset S of F contains no triple of collinear points. The cap set problem in dimension n asks for the largest s for which an s-cap n-flat exists. This series of articles investigates the cap set problem in dimensions up to and including 7. This is the second paper in the series.
By applying and adapting methods from the first paper in the series, we systematically classify all 5-dimensional caps of size at least 41.