Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Super-Catalan Numbers of the Third and Fourth Kind
The Super-Catalan numbers are a generalization of the Catalan numbers defined as $T(m,n) = \frac{(2m)!(2n)!}{2m!n!(m+n)!}$. It is an open problem to find a combinatorial interpretation for $T(m,n)$. We resolve this for $m=3,4$ using a common form; no such solution exists for $m=5$.
Generalised dihedral CI-groups
Published
• View Publication
• BIB
In this paper, we find a strong new restriction on the structure of CI-groups. We show that, if $R$ is a generalised dihedral group and if $R$ is a CI-group, then for every odd prime $p$ the Sylow $p$-subgroup of $R$ has order $p$, or $9$. Consequently, any CI-group with quotient a generalised dihedral group has the same restriction, that for every odd prime $p$ the Sylow $p$-subgroup of the group has order $p$, or $9$. We also give a counter example to the conjecture that every BCI-group is a CI-group.
Superregular matrices over small finite fields
Published
• View Publication
• BIB
A trivially zero minor of a matrix is a minor having all its terms in the Leibniz formula equal to zero. A matrix is superregular if all of its minors that are not trivially zero are nonzero. In the area of Coding Theory, superregular matrices over finite fields are connected with codes with optimum distance proprieties. When a superregular matrix has all its entries nonzero, it is called full superregular and these matrices are used to construct Maximum Distance Separable block codes. In the context of convolutional codes, lower triangular Toeplitz superregular matrices are employed to build convolutional codes with optimal column distance. Although full superregular matrices over small fields are known (e.g. Cauchy matrices), the few known general constructions of these matrices having a lower triangular Toeplitz structure require very large field sizes. In this work we investigate lower triangular Toeplitz superregular matrices over small finite prime fields. Following the work of Hutchinson, Smarandache and Trumpf, we study the minimum number of different nontrivial minors that such a matrix have, and exhibit concrete constructions of superregular matrices of this kind.
Protection of graphs with emphasis on Cartesian product graphs
Published in Filomat 33 (1) (2019) 319-333
• View Publication
• BIB
In this paper we study the weak Roman domination number and the secure domination number of a graph. In particular, we obtain general bounds on these two parameters and, as a consequence of the study, we derive new inequalities of Nordhaus-Gaddum type involving secure domination and weak Roman domination. Furthermore, the particular case of Cartesian product graphs is considered.
Traces, symmetric functions, and a raising operator
Published
• View Publication
• BIB
The polynomial relationship between elementary symmetric functions (Cauchy enumeration formula) is formulated via a ``raising operator" and Fock space construction. A simple graphical proof of this relation is proposed. The new operator extends the Heisenberg algebra so that the number operator becomes a Lie product. This study is motivated by natural appearance of these polynomials in the theory of invariants for Lax equations and in classical and topological field theories.
Double domination in lexicographic product graphs
Published
• View Publication
• BIB
In a graph $G$, a vertex dominates itself and its neighbours. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The minimum cardinality among all double dominating sets of $G$ is the double domination number. In this article, we obtain tight bounds and closed formulas for the double domination number of lexicographic product graphs $G\circ H$ in terms of invariants of the factor graphs $G$ and $H$.
Big Ramsey degrees of 3-uniform hypergraphs are finite
Published
• View Publication
• BIB
We prove that the universal homogeneous 3-uniform hypergraph has finite big Ramsey degrees. This is the first case where big Ramsey degrees are known to be finite for structures in a non-binary language.
Our proof is based on the vector (or product) form of Milliken's Tree Theorem and demonstrates a general method to carry existing results on structures in binary relational languages to higher arities.
Gallai-Ramsey numbers for graphs with five vertices of chromatic number four
Given a graph $H$ and an integer $k\ge1$, the Gallai-Ramsey number $GR_k(H)$ is defined to be the minimum integer $n$ such that every $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $H$. In this paper, we determine the Gallai-Ramsey numbers for connected graphs with five vertices of chromatic number four.
Well-quasi-ordering digraphs with no long alternating paths by the strong immersion relation
Published in J. Combin. Theory Ser. B 158 (2023), 210--251
• View Publication
• BIB
Nash-Williams' Strong Immersion Conjecture states that graphs are well-quasi-ordered by the strong immersion relation. That is, given infinitely many graphs, one graph contains another graph as a strong immersion. In this paper we study the analogous problem for directed graphs. It is known that digraphs are not well-quasi-ordered by the strong immersion relation, but for all known such infinite antichains, paths that change direction arbitrarily many times can be found. This paper proves that the converse statement is true: for every positive integer $k$, the digraphs that do not contain a path that changes direction $k$ times are well-quasi-ordered by the strong immersion relation, even when vertices are labelled by a well-quasi-order. This result is optimal for classes of digraphs closed under taking subgraphs since paths that change direction arbitrarily many times with vertex-labels form an infinite antichain with respect to the strong immersion relation.
Hilton-Milner results in projective and affine spaces
In this article, we analyse maximal sets of $k$-spaces, in PG(n,q) and AG(n,q), $n>2k+t+2$, that pairwise meet in at least a $t$-space. It is known that for both PG(n,q) and AG(n,q), the largest example is a $t$-pencil, i.e. the set of all $k$-spaces containing a fixed $t$-space. In this paper, we analyse the structure of the second largest maximal example in both PG(n,q) and AG(n,q).
The Localization Game On Cartesian Products
Published
• View Publication
• BIB
The localization game is played by two players: a Cop with a team of $k$ cops, and a Robber. The game is initialised by the Robber choosing a vertex $r \in V$, unknown to the Cop. Thereafter, the game proceeds turn based. At the start of each turn, the Cop probes $k$ vertices and in return receives a distance vector. If the Cop can determine the exact location of $r$ from the vector, the Robber is located and the Cop wins. Otherwise, the Robber is allowed to either stay at $r$, or move to $r'$ in the neighbourhood of $r$. The Cop then again probes $k$ vertices. The game continues in this fashion, where the Cop wins if the Robber can be located in a finite number of turns. The localization number $ζ(G)$, is defined as the least positive integer $k$ for which the Cop has a winning strategy irrespective of the moves of the Robber. In this paper, we focus on the game played on Cartesian products. We prove that $ζ( G \square H) \geq \max\{ζ(G), ζ(H)\}$ as well as $ζ(G \square H) \leq ζ(G) + ψ(H) - 1$ where $ψ(H)$ is a doubly resolving set of $H$. We also show that $ζ(C_m \square C_n)$ is mostly equal to two.
Parallelogram polyominoes and rectangular EW-tableaux: correspondences through the sandpile model
Published
• View Publication
• BIB
This paper establishes connections between EW-tableaux and parallelogram polyominoes by using recent research regarding the sandpile model on the complete bipartite graph. This paper presents and proves a direct bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes. The significance of this is that allows one to move between these objects without the need for `recurrent configurations', the central object which previously tied this work together. It introduces the notion of a marked rectangular EW-tableaux that exactly encode all recurrent configurations of the sandpile model on the complete bipartite graph. This shows how non-cornersupport entries that featured in previous work can be utilized in a simple but important way in relation to EW-tableaux. It lifts the bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes to a bijection between marked rectangular EW-tableaux and labelled parallelogram polyominoes. This bijection helps us to fully understand the aspects of these very different objects that are, in a sense, different sides of the same coin.
The Cost of 2-Distinguishing Hypercubes
Published
• View Publication
• BIB
A graph $G$ is said to be {\it $2$-distinguishable} if there is a labeling of the vertices with two labels so that only the trivial automorphism preserves the labels. The minimum size of a label class, over all 2-distinguishing labelings, is called the {\it cost of $2$-distinguishing}, denoted by $ρ(G)$. For $n\geq 4$ the hypercubes $Q_n$ are 2-distinguishable, but the values for $ρ(Q_n)$ have been elusive, with only bounds and partial results previously known. This paper settles the question. The main result can be summarized as: for $n\geq 4$, $ρ(Q_n) \in \{1+\lceil \log_2 n \rceil, 2 + \lceil \log_2 n\rceil\}$. Exact values are be found using a recursive relationship involving a new parameter $ν_m$, the smallest integer for which $ρ(Q_{ν_m})=m$. The main result is\begin{gather*} 4\leq n \leq 12\Longrightarrow ρ(Q_n)=5, \text{ and } 5\leq m \leq 11 \Longrightarrow ν_m=4; \\ \text{ for } m\geq 6, ρ(Q_n) = m \iff 2^{m-2} - ν_{m-1} + 1 \leq n \leq 2^{m-1}-ν_m; \\ \text{ for } n\geq 5, ν_m = n \iff 2^{n-1} - ρ(Q_{n-1}) + 1\leq m \leq 2^{n}-ρ(Q_n).\end{gather*}
On the dot product graph of a commutative ring, II
Published in International Electronic Journal of Algebra, Volume 28 (2020) 61--74
• View Publication
• BIB
In this paper, we study the unit dot graph of product of commutative rings
Cohomology of the toric arrangement associated with $A_n$
Published in Journal of Fixed Point Theory and Applications, 2019, 21:15
• View Publication
• BIB
We compute the total cohomology of the complement of the toric arrangement associated to the root system $A_n$ as a representation of the corresponding Weyl group via fixed point theory of a "twisted" action of the group. We also provide several proofs of an explicit formula for the Poincaré polynomial of the complement of the toric arrangement associated with $A_n$.
Compression and Symmetry of Small-World Graphs and Structures
Published
• View Publication
• BIB
For various purposes and, in particular, in the context of data compression, a graph can be examined at three levels. Its structure can be described as the unlabeled version of the graph; then the labeling of its structure can be added; and finally, given then structure and labeling, the contents of the labels can be described. Determining the amount of information present at each level and quantifying the degree of dependence between them, requires the study of symmetry, graph automorphism, entropy, and graph compressibility. In this paper, we focus on a class of small-world graphs. These are geometric random graphs where vertices are first connected to their nearest neighbors on a circle and then pairs of non-neighbors are connected according to a distance-dependent probability distribution. We establish the degree distribution of this model, and use it to prove the model's asymmetry in an appropriate range of parameters. Then we derive the relevant entropy and structural entropy of these random graphs, in connection with graph compression.
Vapnik-Chervonenkis Dimension and Density on Johnson and Hamming Graphs
Published
• View Publication
• BIB
VC-dimension and VC-density are measures of combinatorial complexity of set systems. VC-dimension was first introduced in the context of statistical learning theory, and is tightly related to the sample complexity in PAC learning. VC-density is a refinement of VC-dimension. Both notions are also studied in model theory, in the context of \emph{dependent} theories. A set system that is definable by a formula of first-order logic with parameters has finite VC-dimension if and only if the formula is a dependent formula.
In this paper we study the VC-dimension and the VC-density of the edge relation $Exy$ on Johnson graphs and on Hamming graphs. On a graph $G$, the set system defined by the formula $Exy$ is the vertex set of $G$ along with the collection of all \emph{open neighbourhoods} of $G$.
We show that the edge relation has VC-dimension at most $4$ on Johnson graphs and at most $3$ on Hamming graphs and these bounds are optimal.
We furthermore show that the VC-density of the edge relation on the class of all Johnson graphs is $2$, and on the class of all Hamming graphs the VC-density is $2$ as well. Moreover, we show that our bounds on the VC-dimension carry over to the class of all induced subgraphs of Johnson graphs, and to the class of all induced subgraphs of Hamming graphs, respectively. It also follows that the VC-dimension of the set systems of \emph{closed neighbourhoods} in Johnson graphs and Hamming graphs is bounded.
Johnson graphs and Hamming graphs are well known examples of distance transitive graphs.
Neither of these graph classes is nowhere dense nor is there a bound on their (local) clique-width.
Our results contrast this by giving evidence of structural tameness of the graph classes.
Foundations of matroids I: Matroids without large uniform minors
Published
• View Publication
• BIB
The foundation of a matroid is a canonical algebraic invariant which classifies representations of the matroid up to rescaling equivalence. Foundations of matroids are pastures, a simultaneous generalization of partial fields and hyperfields.
Using deep results due to Tutte, Dress-Wenzel, and Gelfand-Rybnikov-Stone, we give a presentation for the foundation of a matroid in terms of generators and relations. The generators are certain "cross-ratios" generalizing the cross-ratio of four points on a projective line, and the relations encode dependencies between cross-ratios in certain low-rank configurations arising in projective geometry.
Although the presentation of the foundation is valid for all matroids, it is simplest to apply in the case of matroids without large uniform minors, i.e. matroids having no minor corresponding to five points on a line or its dual configuration. For such matroids, we obtain a complete classification of all possible foundations. We then give a number of applications of this classification theorem, for example:
- We prove the following strengthening of a theorem of Lee and Scobee: every orientation of a matroid without large uniform minors comes from a dyadic representation, which is unique up to rescaling.
- For a matroid $M$ without large uniform minors, we establish the following strengthening of a 2017 theorem of Ardila-Rincón-Williams: if $M$ is positively oriented then $M$ is representable over every field with at least three elements.
- Two matroids are said to belong to the same representation class if they are representable over precisely the same pastures. We prove that there are precisely 12 possibilities for the representation class of a matroid without large uniform minors, exactly three of which are not representable over any field.
Generalized Cut Polytopes for Binary Hierarchical Models
Published in Alg. Stat. 14 (2023) 17-36
• View Publication
• BIB
Marginal polytopes are important geometric objects that arise in statistics as the polytopes underlying hierarchical log-linear models. These polytopes can be used to answer geometric questions about these models, such as determining the existence of maximum likelihood estimates or the normality of the associated semigroup. Cut polytopes of graphs have been useful in analyzing binary marginal polytopes in the case where the simplicial complex underlying the hierarchical model is a graph. We introduce a generalized cut polytope that is isomorphic to the binary marginal polytope of an arbitrary simplicial complex via a generalized covariance map. This polytope is full dimensional in its ambient space and has a natural switching operation among its facets that can be used to deduce symmetries between the facets of the correlation and binary marginal polytopes. We find complete H-representations of the generalized cut polytope for some important families of simplicial complexes. We also compute the volume of these polytopes in some instances.
Homological algebra of modules over posets
Published
• View Publication
• BIB
Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.