Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Permutation Designs and Sequencing Highly Transitive Group Actions
We consider an experimental design problem for permutations: given a fixed set $X$, and an integer $t$, construct a list $L$ of permutations of $X$ such that every ordered $t$-tuple of distinct elements of $X$ occurs as a consecutive subsequence of exactly one permutation in $L$. In this paper we focus on solutions based on sharply transitive group actions, in effect generalizing Gordon's notion of group sequencing. We give an explicit construction when $|X|$ is prime for the case $t=3$, and analyze a branching algorithm for the general case which produces, for example, a rare design with $t=6$ based on the Mathieu group $M_{12}$, and suggests that every sharply transitive group action leads to a solution, apart from an explicit list of counterexamples. We state a number of conjectures and indicate directions for future work.
Constructing Families of Cospectral Regular Graphs
Published
• View Publication
• BIB
A set of graphs are called cospectral if their adjacency matrices have the same characteristic polynomial. In this paper we introduce a simple method for constructing infinite families of cospectral regular graphs. The construction is valid for special cases of a property introduced by Schwenk. For the case of cubic (3-regular) graphs, computational results are given which show that the construction generates a large proportion of the cubic graphs, which are cospectral with another cubic graph.
Binary Programming Formulations for the Upper Domination Problem
Published
• View Publication
• BIB
We consider Upper Domination, the problem of finding the minimal dominating set of maximum cardinality. Very few exact algorithms have been described for solving Upper Domination. In particular, no binary programming formulations for Upper Domination have been described in literature, although such formulations have proved quite successful for other kinds of domination problems. We introduce two such binary programming formulations, and show that both can be improved with the addition of extra constraints which reduce the number of feasible solutions. We compare the performance of the formulations on various kinds of graphs, and demonstrate that (a) the additional constraints improve the performance of both formulations, and (b) the first formulation outperforms the second in most cases, although the second performs better for very sparse graphs. Also included is a short proof that the upper domination number of any generalized Petersen graph P(n,k) is equal to n.
On 1-subdivisions of transitive tournaments
Published in The Electronic Journal of Combinatorics 29(1) (2022), P1.51
• View Publication
• BIB
The oriented Ramsey number $\vec{r}(H)$ for an acyclic digraph $H$ is the minimum integer $n$ such that any $n$-vertex tournament contains a copy of $H$ as a subgraph. We prove that the $1$-subdivision of the $k$-vertex transitive tournament $H_k$ satisfies $\vec{r}(H_k)= O(k^2\log\log k)$. This is tight up to multiplicative $\log\log k$-term.
We also show that if $T$ is an $n$-vertex tournament with $Δ^+(T)-δ^+(T)= O(n/k) - k^2$, then $T$ contains a $1$-subdivision of $\vec{K}_k$, a complete $k$-vertex digraph with all possible $k(k-1)$ arcs. This is also tight up to multiplicative constant.
A weighted graph zeta function involved in the Szegedy walk
Published in Quantum Information and Computation, Vol. 22, No. 1&2 (2022) 0038-0052
• View Publication
• BIB
We define a new weighted zeta function for a finite graph and obtain its determinant expression. This result gives the characteristic polynomial of the transition matrix of the Szegedy walk on a graph.
Packing list-colourings
Published
• View Publication
• BIB
List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list-colouring, we seek many in parallel. Our explorations have uncovered a potentially rich seam of interesting problems spanning chromatic graph theory.
Given a $k$-list-assignment $L$ of a graph $G$, which is the assignment of a list $L(v)$ of $k$ colours to each vertex $v\in V(G)$, we study the existence of $k$ pairwise-disjoint proper colourings of $G$ using colours from these lists. We may refer to this as a \emph{list-packing}. Using a mix of combinatorial and probabilistic methods, we set out some basic upper bounds on the smallest $k$ for which such a list-packing is always guaranteed, in terms of the number of vertices, the degeneracy, the maximum degree, or the (list) chromatic number of $G$. (The reader might already find it interesting that such a minimal $k$ is well defined.) We also pursue a more focused study of the case when $G$ is a bipartite graph. Our results do not yet rule out the tantalising prospect that the minimal $k$ above is not too much larger than the list chromatic number.
Our study has taken inspiration from study of the strong chromatic number, and we also explore generalisations of the problem above in the same spirit.
Gorenstein homogeneous subrings of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected simple graph, with $n$ vertices such that $S$ is its homogeneous monomial subring. We prove that if $S$ is normal and Gorenstein, then $G$ is unmixed with cover number $\lceil\frac{n}{2}\rceil$ and $G$ has a strong $\lceil\frac{n}{2}\rceil$-$τ$-reduction. Furthermore, if $n$ is even, then we show that $G$ is bipartite. Finally, if $S$ is normal and $G$ is unmixed whose cover number is $\lceil\frac{n}{2}\rceil$, we give sufficient conditions for $S$ to be Gorenstein.
Improved Lower Bounds for Strongly Separable Matrices and Related Combinatorial Structures
Published
• View Publication
• BIB
In nonadaptive group testing, the main research objective is to design an efficient algorithm to identify a set of up to $t$ positive elements among $n$ samples with as few tests as possible. Disjunct matrices and separable matrices are two classical combinatorial structures while one provides a more efficient decoding algorithm and the other needs fewer tests, i.e., larger rate. Recently, a notion of strongly separable matrix has been introduced, which has the same identifying ability as a disjunct matrix, but has larger rate. In this paper, we use a modified probabilistic method to improve the lower bounds for the rate of strongly separable matrices. Using this method, we also improve the lower bounds for some well-known combinatorial structures, including locally thin set families and cancellative set families.
On $q$-ary shortened-$1$-perfect-like codes
Published in IEEE Trans. Inf. Theory 68(11) 2022, 7100-7106
• View Publication
• BIB
We study codes with parameters of $q$-ary shortened Hamming codes, i.e., $(n=(q^m-q)/(q-1), q^{n-m}, 3)_q$. Firstly, we prove the fact mentioned in 1998 by Brouwer et al. that such codes are optimal, generalizing it to a bound for multifold packings of radius-$1$ balls, with a corollary for multiple coverings. In particular, we show that the punctured Hamming code is an optimal $q$-fold packing with minimum distance $2$. Secondly, for every admissible length starting from $n=20$, we show the existence of $4$-ary codes with parameters of shortened $1$-perfect codes that cannot be obtained by shortening a $1$-perfect code.
Keywords: Hamming graph, multifold packings, multiple coverings, perfect codes.
Parametric kinds of generalized Apostol-Bernoulli polynomials and their properties
The purpose of this paper is to define generalized Apostol--Bernoulli polynomials with including a new cosine and sine parametric type of generating function using the quasi-monomiality properties and trigonometric functions. In this study, the Apostol-Bernoulli polynomials with three variable are defined with two new generating functions cosine and sine parameters. Then, we investigate multiplicative and derivative operators, diffrential equations, some summation formulas and partial differential equations for these polynomials. Moreover, we introduce Gould--Hopper--Apostol--Bernoulli type polynomials, Hermite--Appell--Apostol--Bernoulli type polynomials and truncated exponential Apostol--Bernoulli type polynomials. Finally, the special cases of these new polynomials are investigated, and the corresponding results are expressed.
On positive hypergraphs
Published in European Journal of Combinatorics, vol. 106, article # 103574, 2022
• View Publication
• BIB
Camarena, Csóka, Hubai, Lippner, and Lovász introduced the notion of positive graphs. This notion naturally extends to $r$-uniform hypergraphs. In the case when $r$ is odd, we prove that a hypergraph is positive if and only if its Levi graph is positive. As an application, we show that the $1$-subdivision of $K_{r,r}$ is not a positive graph when $r$ is odd.
When Janson meets McDiarmid: Bounded difference inequalities under graph-dependence
Published
• View Publication
• BIB
We establish concentration inequalities for Lipschitz functions of dependent random variables, whose dependencies are specified by forests. We also give concentration results for decomposable functions, improving Janson's Hoeffding-type inequality for the summation of graph-dependent bounded variables. These results extend McDiarmid's bounded difference inequality to the dependent cases.
Human-verifiable proofs in the theory of word-representable graphs
Published
• View Publication
• BIB
A graph is word-representable if it can be represented in a certain way using alternation of letters in words. Word-representable graphs generalise several important and well-studied classes of graphs, and they can be characterised by semi-transitive orientations. Recognising word-representability is an NP-complete problem, and the bottleneck of the theory of word-representable graphs is convincing someone that a graph is non-word-representable, keeping in mind that references to (even publicly available and user-friendly) software are not always welcome. (Word-representability can be justified by providing a semi-transitive orientation as a certificate that can be checked in polynomial time.)
In the literature, a variety of (usually ad hoc) proofs of non-word-representability for particular graphs, or families of graphs, appear, but for a randomly selected graph, one should expect looking at O(2^{#{edges}}) orientations and justifying that none of them is semi-transitive.
In this paper, we develop methods for an automatic search of human-verifiable proofs of graph non-word-representability. As a proof-of-concept, we provide ``short'' proofs of non-word-representability, generated automatically by our publicly available user-friendly software, of the Shrikhande graph on 16 vertices and 48 edges (6 ``lines'' of proof) and the Clebsch graph on 16 vertices and 40 edges (10 ``lines'' of proof). As a bi-product of our studies, we correct two mistakes published multiple times (two graphs out of the 25 non-word-representable graphs on 7 vertices were actually word-representable, while two non-word-representable graphs on 7 vertices were missing).
Free Commutative Monoids in Homotopy Type Theory
Published in Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10492
• View Publication
• BIB
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the categorical universal property of two, necessarily equivalent, algebraic presentations of free commutative monoids using 1-HITs. These presentations correspond to two different equational theories invariably including commutation axioms. In this setting, we prove important structural combinatorial properties of finite multisets. These properties are established in full generality without assuming decidable equality on the carrier set.
As an application, we present a constructive formalisation of the relational model of classical linear logic and its differential structure. This leads to constructively establishing that free commutative monoids are conical refinement monoids. Thereon we obtain a characterisation of the equality type of finite multisets and a new presentation of the free commutative-monoid construction as a set-quotient of the list construction. These developments crucially rely on the commutation relation of creation/annihilation operators associated with the free commutative-monoid construction seen as a combinatorial Fock space.
Board games, random boards and long boards
Published in Discrete Mathematics 364 (2023), 113111?
• View Publication
• BIB
For any odd integer $n\geq3$ a board (of size $n$) is a square array of $n\times n$ positions with a simple rule of how to move between positions. The goal of the game we introduce is to find a path from the upper left corner of a board to the center of the square. If there exists such a path we say that the board is solvable, and we say that the length of this board is the length of a shortest such path. There are $8^{n^2}$ different boards. We discuss various properties of these boards and present some questions and conjectures. In particular, we show that for $n\gg1$ roughly $\frac{1}{3}$ of the boards are solvable, and that the expected length of a random solvable board tends to $\frac{209}{96}$, i.e., very big solvable boards tend to have extremely short solutions.
Sneaky Angel and Devil Game
In this paper we introduce an imperfect information variant of the Angel and Devil game, which was first introduced in 1982 by Berlekamp, Conway, and Guy. The Devil player has a winning strategy in this game, but the main problem they pose is whether this changes if the Angel player is allowed two moves for every one of the Devil. This and many other variants of the game have been considered, and the original question was only solved in 2007, when it was shown that the so-called power 2 Angel could win. Our main theorem, Theorem 4, is that the Devil player wins the imperfect information variant of the game. This generalizes the result that the Devil player has a winning strategy in the original Angel and Devil game.
Polynomials over structured grids
Published in Combinatorics, Probability and Computing 32 (2023), no. 2, 284--298
• View Publication
• BIB
We study multivariate polynomials over `structured' grids. We begin by proposing an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results--notably, the Combinatorial Nullstellensatz and the Coefficient Theorem--to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.
Peak algebras in combinatorial Hopf algebras
The peak algebra is originally introduced by Stembridge using enriched $P$-partitions. Using the character theory by Aguiar-Bergeron-Sottile, the peak algebra is also the image of $Θ$, the universal morphism between certain combinatorial Hopf algebras. We extend the notion of peak algebras and theta maps to shuffle, tensor, and symmetric algebras. As examples, we study the peak algebras of symmetric functions in non-commuting variables and the graded associated Hopf algebra on permutations. We also introduce a new shuffle basis of quasi-symmetric functions that its elements are the eigenfunctions of $Θ$. Using this new basis, we show that the peak algebra is the space spanned by the set of shuffle basis elements indexed by compositions whose all parts are odd.
An old problem of Erdős: a graph without two cycles of the same length
Published in Discrete Applied Mathematics 337 (2023) , 42-45
• View Publication
• BIB
In 1975, P. Erdős proposed the problem of determining the maximum number $f(n)$ of edges in a graph on $n$ vertices in which any two cycles are of different lengths. Let $f^{\ast}(n)$ be the maximum number of edges in a simple graph on $n$ vertices in which any two cycles are of different lengths. Let $M_n$ be the set of simple graphs on $n$ vertices in which any two cycles are of different lengths and with the edges of $f^{\ast}(n)$. Let $mc(n)$ be the maximum cycle length for all $G \in M_n$. In this paper, it is proved that for $n$ sufficiently large, $mc(n)\leq \frac{15}{16}n$. We make the following conjecture:
$$\lim_{n \rightarrow \infty} {mc(n)\over n}= 0.$$
DP-Coloring Cartesian Products of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvořák and Postle in 2015. Motivated by results related to list coloring Cartesian products of graphs, we initiate the study of the DP-chromatic number, $χ_{DP}$, of the same. We show that $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $\text{col}(H)$ is the coloring number of the graph $H$. We focus on building tools for lower bound arguments for $χ_{DP}(G \square H)$ and use them to show the sharpness of the bound above and its various forms. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, is essential in the study of the DP-chromatic number of the Cartesian product of graphs, including the following question that extends the sharpness problem above and the classical result on gap between list chromatic number and chromatic number: given any graph $G$ and $k \in \mathbb{N}$, what is the smallest $t$ for which $χ_{DP}(G \square K_{k,t})= χ_{DP}(G) + k$?