Showing 20 papers (Total: 83722 papers, 48319 authors in database)
On the rank of the communication matrix for deterministic two-way finite automata
The communication matrix for two-way deterministic finite automata (2DFA) with $n$ states is defined for an automaton over a full alphabet of all $(2n+1)^n$ possible symbols: its rows and columns are indexed by strings, and the entry $(u, v)$ is $1$ if $uv$ is accepted by the automaton, and $0$ otherwise. With duplicate rows and columns removed, this is a square matrix of order $n(n^n-(n-1)^n)+1$, and its rank is known to be a lower bound on the number of states necessary to transform an $n$-state 2DFA to a one-way unambiguous finite automaton (UFA). This paper determines this rank, showing that it is exactly $f(n)=\sum_{k=1}^n \binom{n}{k-1} \binom{n}{k} \binom{2k-2}{k-1} =(1+o(1)) \frac{3\sqrt{3}}{8πn} 9^n$, and this function becomes the new lower bound on the state complexity of the 2DFA to UFA transformation, thus improving a recent lower bound by S. Petrov and Okhotin (``On the transformation of two-way deterministic finite automata to unambiguous finite automata'', Inf. Comput., 2023). The key element of the proof is determining the rank of a $k! \times k!$ submatrix, with its rows and columns indexed by permutations, where the entry $(π, σ)$ is $1$ if $σ\circ π$ is a cycle of length $k$, and 0 otherwise; using the methods of group representation theory it is shown that its rank is exactly $\binom{2k-2}{k-1}$, and this implies the above formula for $f(n)$.
Ordered structures with no finite monomorphic decomposition. Application to the profile of hereditary classes
Published
• View Publication
• BIB
We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We consider the following notion due to N.Thiéry and the second author. A \emph{monomorphic decomposition} of a relational structure $R$ is a partition of its domain $V(R)$ into a family of sets $(V_x)_{x\in X}$ such that the restrictions of $R$ to two finite subsets $A$ and $A'$ of $V(R)$ are isomorphic provided that the traces $A\cap V_x$ and $A'\cap V_x$ have the same size for each $x\in X$. Let $\mathscr S_μ$ be the class of relational structures of signature $μ$ which do not have a finite monomorphic decomposition. We show that if a hereditary subclass $\mathscr D$ of $\mathscr S_μ$ is made of ordered relational structures then it contains a finite subset $\mathfrak A$ such that every member of $\mathscr D$ embeds some member of $\mathfrak A$. Furthermore, for each $R\in \mathfrak A$ the profile of the age $\age(R)$ of $R$ (made of finite substructures of $R$) is at least exponential. We deduce that if the profile of a hereditary class of finite ordered structures is not bounded above by a polynomial then it is at least exponential. For ordered graphs, this result is a part of classification obtained by Balogh, Bollobás and Morris (2006).
4-Chromatic Graphs Have At Least 4 Cycles of Length $0 \bmod 3$
Published
• View Publication
• BIB
A 2018 conjecture of Brewster, McGuinness, Moore, and Noel asserts that for $k \ge 3$, if a graph has chromatic number greater than $k$, then it contains at least as many cycles of length $0 \bmod k$ as the complete graph on $k+1$ vertices. Our main result confirms this in the $k=3$ case by showing every $4$-critical graph contains at least $4$ cycles of length $0 \bmod 3$, and that $K_4$ is the unique such graph achieving the minimum.
We make progress on the general conjecture as well, showing that $(k+1)$-critical graphs with minimum degree $k$ have at least as many cycles of length $0\bmod r$ as $K_{k+1}$, provided $k+1 \ne 0 \bmod r$. We also show that $K_{k+1}$ uniquely minimizes the number of cycles of length $1\bmod k$ among all $(k+1)$-critical graphs, strengthening a recent result of Moore and West and extending it to the $k=3$ case.
A note on forcing triples with no forcing pairs
Chung, Graham and Wilson defined a set of graphs $\mathcal{H}$ to be forcing, if any sequence of graphs $\{G_n\}_{n \geq 0}$ with $|G_n| = n$ must be quasirandom, whenever $hom(H, G_n)= (p^{|E(H)|}+o(1))n^{|V(H)|}$ for every $H \in \mathcal{H}$ and some constant $p \in (0, 1)$. Answering a question of Horn, attributed to Graham, a forcing set of three graphs is constructed such that no two of the three graphs are forcing as a pair.
Bijection between positive clusters and projectively signed exceptional sequences
Published in Communications in Algebra (2024)
• View Publication
• BIB
In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of relatively projective/injective objects in terms of supports of the objects in the exceptional sequence.
Sprague-Grundy Value for Common Divisor Nim
We determine the Sprague-Grundy value for the Common Divisor Nim$_m$ (CDN$_m$ for short) for $m \in \mathbb{Z}_{\ge 1}$, which is called COMMON DIVISOR game in [ANW, Chapter 2, Exercise 8 (p.55)].
Presentations of Schur and Specht modules in characteristic zero
Published in Journal of Pure and Applied Algebra Volume 229, Issue 1 , January 2025, 107774
• View Publication
• BIB
New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.
The cyclic flats of $\mathcal{L}$-polymatroids
We consider structural properties of $\mathcal{L}$-polymatroids, especially those defined on a finite complemented modular lattice $\mathcal{L}$. We introduce a set of cover-weight axioms and establish a cryptomorphism between these axioms and the rank axioms of an $\mathcal{L}$-polymatroid. We introduce the notion of a cyclic flat of an $\mathcal{L}$-polymatroid and study properties of its lattice of cyclic flats. We show that the weighted lattice of cyclic flats of an $\mathcal{L}$-polymatroid $\mathcal{P}$, along with the atomic weights of $\mathcal{P}$, is sufficient to define its rank function on $\mathcal{L}$. In our main result, we characterize those weighted lattices $(\mathcal{Z},λ)$ such that $\mathcal{Z}\subseteq\mathcal{L}$ is the collection of cyclic flats of an $\mathcal{L}$-polymatroid.
Bipartite $q$-Kneser graphs and two-generated irreducible linear groups
Published
• View Publication
• BIB
Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.
Extended codes and deep holes of MDS codes
For a given linear code $\C$ of length $n$ over $\gf(q)$ and a nonzero vector $\bu$ in $\gf(q)^n$, Sun, Ding and Chen defined an extended linear code $\overline{\C}(\bu)$ of $\C$, which is a generalisation of the classical extended code $\overline{\C}(-\bone)$ of $\C$ and called the second kind of an extended code of $\C$ (see arXiv:2307.04076 and arXiv:2307.08053). They developed some general theory of the extended codes $\overline{\C}(\bu)$ and studied the extended codes $\overline{\C}(\bu)$ of several families of linear codes, including cyclic codes, projective two-weight codes, nonbinary Hamming codes, and a family of reversible MDS cyclic codes. The objective of this paper is to investigate the extended codes $\overline{\C}(\bu)$ of MDS codes $\C$ over finite fields. The main result of this paper is that the extended code $\overline{\C}(\bu)$ of an MDS $[n,k]$ code $\C$ remains MDS if and only if the covering radius $ρ(\mathcal{C}^{\bot})=k$ and the vector $\bu$ is a deep hole of the dual code $\C^\perp$. As applications of this main result, the extended codes of the GRS codes and extended GRS codes are investigated and the covering radii of several families of MDS codes are determined.
Majority distinguishing edge coloring
We consider edge colorings of graphs. An edge coloring is a majority coloring if for every vertex at most half of the edges incident with it are in one color. And edge coloring is a distinguishing coloring if for every non-trivial automorphism at least one edge changes its color. We consider these two notions together. We show that every graph without pendant edges has a majority distinguishing edge coloring with at most $\lceil\sqrtΔ\rceil+5$ colors. Moreover, we show results for some classes of graphs and a~general result for symmetric digraphs.
On the (non-)existence of tight distance-regular graphs: a local approach
Published in Electron. J. Combin. 31(2) (2024), #P2.25
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ from both $x$ and $y$, the number of common neighbors of $x$, $y$, $z$ is constant. We then show that if $Γ$ is locally the block graph of an orthogonal array (resp. a Steiner system) with smallest eigenvalue $-m$, $m\geq 3$, then the intersection number $c_2$ is not equal to $m^2$ (resp. $m(m+1)$). Using this result, we prove that if a tight distance-regular graph $Γ$ is not locally the block graph of an orthogonal array or a Steiner system, then the valency (and hence diameter) of $Γ$ is bounded by a function in the parameter $b=b_1/(1+θ_1)$, where $b_1$ is the intersection number of $Γ$ and $θ_1$ is the second largest eigenvalue of $Γ$.
Geometric constructions of small regular graphs with girth 7
Published
• View Publication
• BIB
We present simple, geometric constructions for small regular graphs of girth 7 from the incidence graphs of some generalized quadrangles. We obtain infinite families of (q-1)-regular, q-regular and (q + 1)-regular graphs of girth 7, for q a prime power. Some of them have the smallest order known so far.
Distribution of signless Laplacian eigenvalues and graph invariants
Published
• View Publication
• BIB
For a simple graph on $n$ vertices, any of its signless Laplacian eigenvalues is in the interval $[0, 2n-2]$. In this paper, we give relationships between the number of signless Laplacian eigenvalues in specific intervals in $[0, 2n-2]$ and graph invariants including matching number and diameter.
Tied--boxed algebras
Published
• View Publication
• BIB
We introduce two new algebras that we call \emph{tied--boxed Hecke algebra} and \emph{tied--boxed Temperley--Lieb algebra}. The first one is a subalgebra of the algebra of braids and ties introduced by Aicardi and Juyumaya, and the second one is a tied--version of the well known Temperley--Lieb algebra. We study their representation theory and give cellular bases for them. Furthermore, we explore a strong connection between the tied--boxed Temperley--Lieb algebra and the so--called partition Temperley--Lieb algebra given by Juyumaya. Also, we show that both structures inherit diagrammatic interpretations from a new class of monoids that we call \emph{boxed ramified monoids}. Additionally, we give presentations for the singular part of the ramified symmetric monoid and for the boxed ramified monoid associated to the Brauer monoid.
The inertia bound is far from tight
Published
• View Publication
• BIB
The inertia bound and ratio bound (also known as the Cvetković bound and Hoffman bound) are two fundamental inequalities in spectral graph theory, giving upper bounds on the independence number $α(G)$ of a graph $G$ in terms of spectral information about a weighted adjacency matrix of $G$. For both inequalities, given a graph $G$, one needs to make a judicious choice of weighted adjacency matrix to obtain as strong a bound as possible.
While there is a well-established theory surrounding the ratio bound, the inertia bound is much more mysterious, and its limits are rather unclear. In fact, only recently did Sinkovic find the first example of a graph for which the inertia bound is not tight (for any weighted adjacency matrix), answering a longstanding question of Godsil. We show that the inertia bound can be extremely far from tight, and in fact can significantly underperform the ratio bound: for example, one of our results is that for infinitely many $n$, there is an $n$-vertex graph for which even the unweighted ratio bound can prove $α(G)\leq 4n^{3/4}$, but the inertia bound is always at least $n/4$. In particular, these results address questions of Rooney, Sinkovic, and Wocjan--Elphick--Abiad.
Mean distance on metric graphs
Published
• View Publication
• BIB
We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs.
Ramsey goodness of $k$-uniform paths, or the lack thereof
Published
• View Publication
• BIB
Given a pair of $k$-uniform hypergraphs $(G,H)$, the Ramsey number of $(G,H)$, denoted by $R(G,H)$, is the smallest integer $n$ such that in every red/blue-colouring of the edges of $K_n^{(k)}$ there exists a red copy of $G$ or a blue copy of $H$. Burr showed that, for any pair of graphs $(G,H)$, where $G$ is large and connected, $R(G,H) \geq (v(G)-1)(χ(H)-1)+σ(H)$, where $σ(H)$ stands for the minimum size of a colour class over all proper $χ(H)$-colourings of $H$. We say that $G$ is $H$-good if $R(G,H)$ is equal to the general lower bound. Burr showed that, for any graph~$H$, every sufficiently long path is $H$-good.
Our goal is to explore the notion of Ramsey goodness in the setting of $k$-uniform hypergraphs. We demonstrate that, in stark contrast to the graph case, $k$-uniform $\ell$-paths are not $H$-good for a large class of $k$-graphs. On the other hand, we prove that long loose paths are always at least asymptotically $H$-good for every $H$ and derive lower and upper bounds that are best possible in a certain sense.
In the 3-uniform setting, we complement our negative result with a positive one, in which we determine the Ramsey number asymptotically for pairs containing a long tight path and a 3-graph $H$ when $H$ belongs to a certain family of hypergraphs. This extends a result of Balogh, Clemen, Skokan, and Wagner for the Fano plane asymptotically to a much larger family of 3-graphs.
Arndt-Carlitz compositions
Carlitz-compositions follow the restrictions of neighbouring parts $σ_{i-1}\neqσ_{i}$. The recently introduced Arndt-compositions have to satisfy $σ_{2i-1}>σ_{2i}$. The two concepts are combined to new and exciting objects that we call Arndt-Carlitz compositions.
The kissing number in 48 dimensions for codes with certain forbidden distances is 52 416 000
Published
• View Publication
• BIB
We prove that the kissing number in 48 dimensions among antipodal spherical codes with certain forbidden inner products is 52\,416\,000. Constructions of attaining codes as kissing configurations of minimum vectors in even unimodular extremal lattices are well known since the 1970's. We also prove that corresponding spherical 11-designs with the same cardinality are minimal. We use appropriate modifications of the linear programming bounds for spherical codes and designs introduced by Delsarte, Goethals and Seidel in 1977.