Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Critical classes of power graphs and reconstruction of directed power graphs
Published
• View Publication
• BIB
In a graph $Γ=(V,E)$, we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation in which two vertices are equivalent if they have the same closed neighbourhood. Those notions are deeply explored when $Γ$ is the power graph associated with a finite group $G$. In that case, among the corresponding closed twin equivalence classes, we introduce the concepts of plain, compound and critical classes. The study of critical classes, together with properties of the Moore closure operator, allow us to correct a mistake in the proof of {\rm \cite[Theorem 2 ]{Cameron_2}} and to deduce a simple algorithm to reconstruct the directed power graph of a finite group from its undirected counterpart, as asked in \cite[Question 2]{GraphsOnGroups}.
Cats in cubes
Published
• View Publication
• BIB
Answering a recent question of Patchell and Spiro, we show that when a $d$-dimensional cube of side length $n$ is filled with letters, the word $\mathsf{CAT}$ can appear contiguously at most $(3^{d-1}/2)n^d$ times (allowing diagonals); we also characterize when equality occurs and extend our results to words other than $\mathsf{CAT}$.
An asymptotic lower bound on the number of polyominoes
Published in Ann. Comb. 28, 459-484 (2024)
• View Publication
• BIB
Let $P(n)$ be the number of polyominoes of $n$ cells and $λ$ be Klarner's constant, that is, $λ=\lim_{n\to\infty} \sqrt[n]{P(n)}$. We show that there exist some positive numbers $A,T$, so that for every $n$ \[ P(n) \ge An^{-T\log n} λ^n. \] This is somewhat a step toward the well known conjecture that there exist positive $C,θ$ so that $P(n)\sim Cn^{-θ}λ^n$ for every $n$. In fact, if we assume another popular conjecture that $P(n)/P(n-1)$ is increasing, we can get rid of $\log n$ to have \[ P(n)\ge An^{-T}λ^n. \] Beside the above theoretical result, we also conjecture that the ratio of the number of some class of polyominoes, namely inconstructible polyominoes, over $P(n)$ is decreasing, by observing this behavior for the available values. The conjecture opens a nice approach to bounding $λ$ from above, since if it is the case, we can conclude that \[ λ< 4.1141, \] which is quite close to the current best lower bound $λ> 4.0025$ and greatly improves the current best upper bound $λ< 4.5252$.
The approach is merely analytically manipulating the known or likely properties of the function $P(n)$, instead of giving new insights of the structure of polyominoes. The techniques can be applied to other lattice animals and self-avoiding polygons of a given area with almost no change.
Fault-Tolerant Detection Systems on the King's Grid
Published
• View Publication
• BIB
A detection system, modeled in a graph, uses "detectors" on a subset of vertices to uniquely identify an "intruder" at any vertex. We consider two types of detection systems: open-locating-dominating (OLD) sets and identifying codes (ICs). An OLD set gives each vertex a unique, non-empty open neighborhood of detectors, while an IC provides a unique, non-empty closed neighborhood of detectors. We explore their fault-tolerant variants: redundant OLD (RED:OLD) sets and redundant ICs (RED:ICs), which ensure that removing/disabling at most one detector guarantees the properties of OLD sets and ICs, respectively. This paper focuses on constructing optimal RED:OLD sets and RED:ICs on the infinite king's grid, and presents the proof for the bounds on their minimum densities; [3/10, 1/3] for RED:OLD sets and [3/11, 1/3] for RED:ICs.
The gerrymander sequence, or A348456
Published in Advances in Applied Mathematics 148 (2023) 102520
• View Publication
• BIB
Recently Kauers, Koutschan and Spahn announced a significant increase in the length of the so-called {\em gerrymander sequence}, given as A348456 in the OEIS, extending the sequence from 3 terms to 7 terms. We give a further extension to 11 terms, but more significantly prove that the coefficients grow as $λ^{4L^2},$ where $λ\approx 1.7445498, $ and is equal to the corresponding quantity for self-avoiding walks crossing a square (WCAS), or self-avoiding polygons crossing a square (PCAS). These are, respectively, OEIS sequences A007764 and A333323. Thus we have established a close connection between these previously separate problems.
We have also related the sub-dominant behaviour to that of WCAS and PCAS, allowing us to conjecture that the coefficients of the gerrymander sequence A348456 grow as $λ^{4L^2+dL+e} \cdot L^g,$ where $d=-8.08708 \pm 0.0002,$ $e \approx 7.69$ and $g = 0.75 \pm 0.01,$ with $g$ almost certainly $3/4$ exactly.
We also have generated 26 terms in the related gerrymander polynomial (defined below), and have been able to predict the asymptotic behaviour with a satisfying degree of precision. Indeed, it behaves exactly as $L$ times the corresponding coefficient of the generalised gerrymander sequence.
The improved algorithm we give for counting these sequences is a variation of that which we recently developed for extending a number of sequences for SAWs and SAPs crossing a domain of the square or hexagonal lattices. It makes use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths.
Two-arc-transitive bicirculants
Published
• View Publication
• BIB
In this paper, we determine the class of finite 2-arc-transitive bicirculants. We show that a connected $2$-arc-transitive bicirculant is one of the following graphs: $C_{2n}$ where $n\geqslant 2$, $\K_{2n}$ where $n\geqslant 2$, $\K_{n,n}$ where $n\geqslant 3$, $ \K_{n,n}-n\K_2$ where $n\geqslant 4$,
$B(\PG(d-1,q))$ and $B'(\PG(d-1,q))$ where $d\geq 3$ and $q$ is a prime power,
$ X_1(4,q)$ where $q\equiv 3\pmod{4}$ is a prime power,
$\K_{q+1}^{2d}$ where $q$ is an odd prime power and $d\geq 2$ dividing $q-1$, $ AT_Q(1+q,2d)$ where $d\mid q-1$ and $d\nmid \frac{1}{2}(q-1)$, $ AT_D(1+q,2d)$ where $d\mid \frac{1}{2}(q-1)$ and $d\geq 2$,
$Γ(d, q, r)$, where $d\geq 2$, $q$ is a prime power and $r|q-1$, Petersen graph, Desargues graph, dodecahedron graph, folded $5$-cube, $X(3,2)$, $ X_2(3)$, $ AT_Q(4,12)$, $GP(12,5)$, $GP(24,5)$, $B(H(11))$, $B'(H(11))$,
$ AT_D(4,6)$ and $ AT_D(5,6)$.
Identifying a 3-vertex strongly biconnected directed subgraph with minimum number of edges
A strongly connected graph is strongly biconnected if after ignoring the direction of its edges we have an undirected graph with no articulation points. A 3-vertex strongly biconnected graph is a strongly biconnected digraph that has the property that deleting any two vertices in this graph leaves a strongly binconnected subgraph. Jaberi [11] presented approximation algorithms for minimum cardinality 2-vertex strongly biconnected directed subgraph problem. We will focus in this paper on polynomial time algorithms which we have implemented for producing spanning subgraphs that are 3-vertex strongly biconnected.
On Gorenstein algebras of finite Cohen-Macaulay type: dimer tree algebras and their skew group algebras
Published
• View Publication
• BIB
Dimer tree algebras are a class of non-commutative Gorenstein algebras of Gorenstein dimension 1. In previous work we showed that the stable category of Cohen-Macaulay modules of a dimer tree algebra $A$ is a 2-cluster category of Dynkin type $\mathbb{A}$. Here we show that, if $A$ has an admissible action by the group $G$ with two elements, then the stable Cohen-Macaulay category of the skew group algebra $AG$ is a 2-cluster category of Dynkin type $\mathbb{D}$. This result is reminiscent of and inspired by a result by Reiten and Riedtmann, who showed that for an admissible $G$-action on the path algebra of type $\mathbb{A}$ the resulting skew group algebra is of type $\mathbb{D}$. Moreover, we provide a geometric model of the syzygy category of $AG$ in terms of a punctured polygon $\mathcal{P}$ with a checkerboard pattern in its interior, such that the 2-arcs in $\mathcal{P}$ correspond to indecomposable syzygies in $AG$ and 2-pivots correspond to morphisms. In particular, the dimer tree algebras and their skew group algebras are Gorenstein algebras of finite Cohen-Macaulay type $\mathbb{A}$ and $\mathbb{D}$ respectively. We also provide examples of types $\mathbb{E}_6,\mathbb{E}_7,$ and $\mathbb{E}_8$.
A Note on Large Cycles in Graphs Around Conjectures of Bondy and Jung
Published
• View Publication
• BIB
Two new sufficient conditions for generalized cycles (including Hamilton and dominating cycles as special cases) in an arbitrary k-connected graph (k=1,2,...) are derived, which prove the truth of Bondy's (1980) famous conjecture for some variants significantly improving the result expected by the given hypothesis. Similarly, two new lower bounds for the circumference (the length of a longest cycle) are established for the reverse hypothesis proposed by Jung (2001).
Average sensitivity of nested canalizing multivalued functions
Published
• View Publication
• BIB
The canalizing properties of biological functions have been mainly studied in the context of Boolean modelling of gene regulatory networks. An important mathematical consequence of canalization is a low average sensitivity, which ensures in particular the expected robustness to noise. In certain situations, the Boolean description is too crude, and it may be necessary to consider functions involving more than two levels of expression. We investigate here the properties of nested canalization for these multivalued functions. We prove that the average sensitivity of nested canalizing multivalued functions is bounded above by a constant. In doing so, we introduce a generalization of nested canalizing multivalued functions, which we call weakly nested canalizing, for which this upper bound holds.
A new upper bound to (a variant of) the pancake problem
The "pancake problem" asks how many prefix reversals are sufficient to sort any permutation $π\in \mathcal{S}_k$ to the identity. We write $f(k)$ to denote this quantity.
The best known bounds are that $\frac{15}{14}k -O(1) \le f(k)\le \frac{18}{11}k+O(1)$. The proof of the upper bound is computer-assisted, and considers thousands of cases.
We consider $h(k)$, how many prefix and suffix reversals are sufficient to sort any $π\in \mathcal{S}_k$. We observe that $\frac{15}{14}k -O(1)\le h(k)$ still holds, and give a human proof that $h(k) \le \frac{3}{2}k +O(1)$. The constant "$\frac{3}{2}$" is a natural barrier for the pancake problem and this variant, hence new techniques will be required to do better.
Counting Involutions on Multicomplex Numbers
We show that there is a bijection between real-linear automorphisms of the multicomplex numbers of order $n$ and signed permutations of length $2^{n-1}$. This allows us to deduce a number of results on the multicomplex numbers, including a formula for the number of involutions on multicomplex spaces which generalizes a recent result on the bicomplex numbers and contrasts drastically with the quaternion case. We also generalize this formula to $r$-involutions and obtain a formula for the number of involutions preserving elementary imaginary units. The proofs rely on new elementary results pertaining to multicomplex numbers that are surprisingly unknown in the literature, including a count and a representation theorem for numbers squaring to $\pm 1$.
Transitivity on subclasses of chordal graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph, where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called a \emph{transitive $k$-partition} if $V_i$ dominates $V_j$ for all $i,j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called \emph{transitivity} of $G$ and it is denoted by $Tr(G)$. The \textsc{Maximum Transitivity Problem} is to find a transitive partition of a given graph with the maximum number of partitions. It was known that the decision version of \textsc{Maximum Transitivity Problem} is NP-complete for chordal graphs [Iterated colorings of graphs, \emph{Discrete Mathematics}, 278, 2004]. In this paper, we first prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. We also discuss Nordhaus-Gaddum type relations for transitivity and provide counterexamples for an open problem posed by J. T. Hedetniemi and S. T. Hedetniemi [The transitivity of a graph, \emph{J. Combin. Math. Combin. Comput}, 104, 2018]. Finally, we characterize transitively critical graphs having fixed transitivity.
Integer Representations of the Generalized Symmetric Groups
Published
• View Publication
• BIB
In this paper, we construct a mixed-base number system over the generalized symmetric group $G(m,1,n)$, which is a complex reflection group with a root system of type $B_n^{(m)}$. We also establish one-to-one correspondence between all positive integers in the set $\{1,\cdots,m^nn!\}$ and the elements of $G(m,1,n)$ by constructing the subexceedant function in relation to this group. In addition, we provide a new enumeration system for $G(m,1,n)$ by defining the inversion statistic on $G(m,1,n)$. Finally, we prove that the \textit{flag-major index} is equi-distributed with this inversion statistic on $G(m,1,n)$. Therefore, the flag-major index is Mahonian on $G(m,1,n)$ with respect to the length function $L$.
On vertex Ramsey graphs with forbidden subgraphs
Published
• View Publication
• BIB
A classical vertex Ramsey result due to Nešetřil and Rödl states that given a finite family of graphs $\mathcal{F}$, a graph $A$ and a positive integer $r$, if every graph $B\in\mathcal{F}$ has a $2$-vertex-connected subgraph which is not a subgraph of $A$, then there exists an $\mathcal{F}$-free graph which is vertex $r$-Ramsey with respect to $A$. We prove that this sufficient condition for the existence of an $\mathcal{F}$-free graph which is vertex $r$-Ramsey with respect to $A$ is also necessary for large enough number of colours $r$.
We further show a generalisation of the result to a family of graphs and the typical existence of such a subgraph in a dense binomial random graph.
The signed Varchenko Determinant for Complexes of Oriented Matroids
We generalize the (signed) Varchenko matrix of a hyperplane arrangement to complexes of oriented matroids and show that its determinant has a nice factorization. This extends previous results on hyperplane arrangements and oriented matroids.
The structure of Sidon set systems
A family $\mathcal{F}\subset 2^G$ of subsets of an abelian group $G$ is a Sidon system if the sumsets $A+B$ with $A,B\in \mathcal{F}$ are pairwise distinct. Cilleruelo, Serra and the author previously proved that the maximum size $F_k(n)$ of a Sidon system consisting of $k$-subsets of the first $n$ positive integers satisfies $C_k n^{k-1}\leq F_k(n) \leq \binom{n-1}{k-1}+n-k$ for some constant $C_k$ only depending on $k$. We close the gap by proving an essentially tight structural result that in particular implies $F_k(n)\geq (1-o(1))\binom{n}{k-1}$. We also use this to establish a result about the size of the largest Sidon system in the binomial random family $\binom{[n]}{k}_p$. Extensions to $h$-fold sumsets for any fixed $h\geq 3$ are also obtained.
Modular flats of oriented matroids and poset quasi-fibrations
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 306-328
• View Publication
• BIB
We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case.
Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements.
We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.
Skew hook Schur functions and the cyclic sieving phenomenon
Fix an integer $t \geq 2$ and a primitive $t^{\text{th}}$ root of unity $ω$. We consider the specialized skew hook Schur polynomial $\text{hs}_{λ/μ}(X,ωX,\dots,ω^{t-1}X/Y,ωY,\dots,ω^{t-1}Y)$, where $ω^k X=(ω^k x_1, \dots, ω^k x_n)$, $ω^k Y=(ω^k y_1, \dots, ω^k y_m)$ for $0 \leq k \leq t-1$. We characterize the skew shapes $λ/μ$ for which the polynomial vanishes and prove that the nonzero polynomial factorizes into smaller skew hook Schur polynomials. Then we give a combinatorial interpretation of $\text{hs}_{λ/μ}(1,ω^d,\dots,ω^{d(tn-1)}/1,ω^d,\dots,ω^{d(tm-1)})$, for all divisors $d$ of $t$, in terms of ribbon supertableaux. Lastly, we use the combinatorial interpretation to prove the cyclic sieving phenomenon on the set of semistandard supertableaux of shape $λ/μ$ for odd $t$. Using a similar proof strategy, we give a complete generalization of a result of Lee--Oh (arXiv: 2112.12394, 2021) for the cyclic sieving phenomenon on the set of skew SSYT conjectured by Alexandersson--Pfannerer--Rubey--Uhlin (Forum Math. Sigma, 2021).
On the number of $A$-transversals in hypergraphs
A set $S$ of vertices in a hypergraph is \textit{strongly independent} if every hyperedge shares at most one vertex with $S$. We prove a sharp result for the number of maximal strongly independent sets in a $3$-uniform hypergraph analogous to the Moon-Moser theorem.
Given an $r$-uniform hypergraph ${\mathcal H}$ and a non-empty set $A$ of non-negative integers, we say that a set $S$ is an \textit{$A$-transversal} of ${\mathcal H}$ if for any hyperedge $H$ of ${\mathcal H}$, we have \mbox{$|H\cap S| \in A$}. Independent sets are $\{0,1,\dots,r{-}1\}$-transversals, while strongly independent sets are $\{0,1\}$-transversals. Note that for some sets $A$, there may exist hypergraphs without any $A$-transversals. We study the maximum number of $A$-transversals for every $A$, but we focus on the more natural sets, e.g., $A=\{a\}$, $A=\{0,1,\dots,a\}$ or $A$ being the set of odd or the set of even numbers.