Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Structure and linear-Pollyanna for some square-free graphs
Published
• View Publication
• BIB
We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em hammer} is a graph obtained by identifying an endvertex of a $P_3$ with a vertex of a triangle. A class ${\cal F}$ is $χ$-bounded if there is a function $f$ such that $χ(G)\leq f(ω(G))$ for all induced subgraphs $G$ of a graph in ${\cal F}$. A class ${\cal C}$ of graphs is {\em Pollyanna} (resp. {\em linear-Pollyanna}) if ${\cal C}\cap {\cal F}$ is polynomially (resp. linear-polynomially) $χ$-bounded for every $χ$-bounded class ${\cal F}$ of graphs. Chudnovsky {\em et al} \cite{CCDO2023} showed that both the classes of bull-free graphs and hammer-free graphs are Pollyannas. Let $G$ be a connected graph with no clique cutsets and no universal cliques. In this paper, we show that $G$ is $(C_4$, hammer)-free if and only if it has girth at least 5, and $G$ is $(C_4$, bull)-free if and only if it is a clique blowup of some graph of girth at least 5. As a consequence, we show that both the classes of $(C_4$, bull)-free graphs and $(C_4$, hammer)-free graphs are linear-Pollyannas.
Addendum to: Mahler's method in several variables and finite automata
Published
• View Publication
• BIB
This note is an addendum to the paper ''Mahler's method in several variables and finite automata''. It strengthens part (i) of Theorem 1.1 of the aforementioned paper.
Tight Bounds for the Number of Absent Subsequences
Published
• View Publication
• BIB
A {\em subsequence} of a word $w$ is a word $u$ that can be obtained by deleting some letters from $w$ while maintaining the relative order of the remaining letters, e.g., $\mathtt{lala}$ is a subsequence of $\mathtt{alfalfa}$. A word, over some alphabet $Σ$, which has all possible words of length $ι$ over $Σ$ as subsequences is called $ι$-universal, and the largest $ι$ for which this holds is called the universality index of $w$, and denoted $ι(w)$. Moreover, words that are not subsequences of $w$ are called absent subsequences (AS) of $w$, and their investigation was started in (Kosche et al., 2022). In this paper, we present tight bounds on the number of AS of a given length $k$ among all words with the same universality index $ι$. For both the lower and upper bound, we construct words that have, respectively, a minimal and maximal number of absent subsequences of the respective length $k$, and, in the case of the lower bound, we provide the exact number of missing subsequences as a closed form. Finally, we present efficient enumeration algorithms for the set of subsequences of given length of a word: we give a novel, optimal enumeration algorithm with output linear delay of this set of subsequences, with preprocessing time $O(|w|)$, which is further improved to an incremental enumeration algorithm with $O(1)$ delay of this set of subsequences, with preprocessing time $O(|w|)$.
Some properties of the Redei-Berge function and related combinatorial Hopf algebras
Stanley and Grinberg introduced the symmetric function associated to digraphs, called the Redei-Berge symmetric function. In [8] is shown that this symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. In this paper, we introduce two new combinatorial Hopf algebras of posets and permutations and define corresponding Redei-Berge functions for them. By using both theories, of symmetric functions and of combinatorial Hopf algebras, we prove many properties of the Redei-Berge function. These include some forms of deletion-contraction property, which make it similar to the chromatic symmetric function. We also find some invariants of digraphs that are detected by the Redei-Berge function.
Rollercoasters with Plateaus
Published
• View Publication
• BIB
In this paper we investigate the problem of detecting, counting, and enumerating (generating) all maximum length plateau-$k$-rollercoasters appearing as a subsequence of some given word (sequence, string), while allowing for plateaus. We define a plateau-$k$-rollercoaster as a word consisting of an alternating sequence of (weakly) increasing and decreasing \emph{runs}, with each run containing at least $k$ \emph{distinct} elements, allowing the run to contain multiple copies of the same symbol consecutively. This differs from previous work, where runs within rollercoasters have been defined only as sequences of distinct values. Here, we are concerned with rollercoasters of \emph{maximum} length embedded in a given word $w$, that is, the longest rollercoasters that are a subsequence of $w$.
We present algorithms allowing us to determine the longest plateau-$k$-roller\-coasters appearing as a subsequence in any given word $w$ of length $n$ over an alphabet of size $σ$ in $O(n σk)$ time, to count the number of plateau-$k$-rollercoasters in $w$ of maximum length in $O(n σk)$ time, and to output all of them with $O(n)$ delay after $O(n σk)$ preprocessing. Furthermore, we present an algorithm to determine the longest common plateau-$k$-rollercoaster within a set of words in $O(N k σ)$ where $N$ is the product of all word lengths within the set.
A generalization of the Hamiltonian cycle in dense digraphs
Published
• View Publication
• BIB
Let D be a digraph and C be a cycle in D. For any two vertices x and y in D, the distance from x to y is the minimum length of a path from x to y. We denote the square of Let $D$ be a digraph and $C$ be a cycle in $D$. For any two vertices $x$ and $y$ in $D$, the distance from $x$ to $y$ is the minimum length of a path from $x$ to $y$. We denote the square of the cycle $C$ to be the graph whose vertex set is $V(C)$ and for distinct vertices $x$ and $y$ in $C$, there is an arc from $x$ to $y$ if and only if the distance from $x$ to $y$ in $C$ is at most $2$. The reverse square of the cycle $C$ is the digraph with the same vertex set as $C$, and the arc set $A(C)\cup \{yx: \mbox{the vertices}\ x, y\in V(C)\ \mbox{and the distance from $x$ to $y$ on $C$ is $2$}\}$. In this paper, we show that for any real number $γ>0$ there exists a constant $n_0=n_0(γ)$, such that every digraph on $n\geq n_0$ vertices with the minimum in- and out-degree at least $(2/3+γ)n$ contains the reverse square of a Hamiltonian cycle. Our result extends a result of Czygrinow, Kierstead and Molla.
Overlapping substitutions and tilings
We generalize the notion of (geometric) substitution rule to obtain overlapping substitutions. Our motivating example is the substitution presented in Ziherl, Dotera and Bekku \cite{DBZ}, which features a substitution matrix with non-integer entries. We give the meaning of such a matrix by showing that the right Perron--Frobenius eigenvector encodes the patch frequency of the resulting tiling. The patch frequencies are shown to be uniformly convergent, implying that the corresponding dynamical system is uniquely ergodic. Under mild assumptions, we further prove that the associated expansion constant is always an algebraic integer. In general, overlapping substitutions may yield a patch with illegal (partial) overlaps of tiles, even if it is locally consistent. We provide a sufficient condition for an overlapping substitution to be consistent, ensuring that no such illegal tiles emerge. Finally, we construct many intriguing one-dimensional overlapping substitutions and present higher dimensional examples from Delone multi-sets with inflation symmetry.
The Music and Mathematics of Maximal Evenness in Graphs
Published in Bridges Proceedings 2024, https://archive.bridgesmathart.org/2024/
• Search Publication
We use the concept of electric potential energy from physics, the mathematical field of graph theory, and the notion of majorization to study maximal evenness in a broader mathematical context than what was previously possible, so that we can go beyond the well-known one-dimensional maximally even sets into higher dimensional and more geometrically complex territory. We investigate musical connections between certain generalizations of maximally even sets, one of the oldest Puerto Rican musical traditions of African origin called bomba, and with certain scales ranging from the familiar to the esoteric.
Sets of vertices with extremal energy
Published
• View Publication
• BIB
We define various notions of energy of a set of vertices in a graph, which generalize two of the most widely studied graphical indices: the Wiener index and the Harary index. We provide a new proof of a result due to Douthett and Krantz, which says that for cycles, the sets of vertices which have minimal energy among all sets of the same size are precisely the maximally even sets, as defined in Clough and Douthett's work on music theory. Generalizing a theorem of Clough and Douthett, we prove that a finite, simple, connected graph is distance degree regular if and only if whenever a set of vertices has minimal energy, its complement also has minimal energy. We also provide several characterizations of sets of vertices in finite paths and cycles for which the sum of all pairwise distances between vertices in the set is maximal among all sets of the same size.
Towards Characterization of 5-List-Colorability of Toroidal Graphs
Through computer-assisted enumeration, we list minimal obstructions for 5-choosability of graphs on the torus with the following additional property: There exists a cyclic system of non-contractible triangles around the torus where the consecutive triangles are at distance at most four. This condition is satisfied by all previously known obstructions, and we verify that there are no additional obstructions with this property. This supports the conjecture that a toroidal graph is 5-choosable if and only if it is 5-colorable.
Benjamini-Schramm vs Plancherel convergence
Published
• View Publication
• BIB
We show that Plancherel convergence is strictly stronger than Benjamini-Schramm convergence. In order to do so, we introduce two criteria for Plancherel and Benjamini-Schramm convergence in terms of counting functions of the length spectrum.
Optimizing the CGMS upper bound on Ramsey numbers
In a recent breakthrough Campos, Griffiths, Morris and Sahasrabudhe obtained the first exponential improvement of the upper bound on the diagonal Ramsey numbers since 1935. We shorten their proof, replacing the underlying book algorithm with a simple inductive statement. This modification allows us
- to give a very short proof of an improved upper bound on the off-diagonal Ramsey numbers, which extends to the multicolor setting, and
- to clarify the dependence of the bounds on underlying parameters and optimize these parameters, obtaining, in particular, an upper bound $$R(k,k) \leq (3.8)^{k+o(k)}$$ on the diagonal Ramsey numbers.
A note on edge colorings distinguishing all triangles in a graph
We consider edge colorings of a graph in such a way that each two different triangles have distinct colorings. It is an extension of the well-known idea of distinguishing all maximal stars in a graph. It was introduced in literature in 1985 and studied by many authors in various variants, but always for stars. We estimate new invariants regarding triangles for proper and general colorings.
Self-intersections of arcs on a pair of pants
Published
• View Publication
• BIB
We investigate arcs on a pair of pants and present an algorithm to compute the self-intersection number of an arc. Additionally, we establish bounds for the self-intersection number in terms of the word length. We also prove that the spectrum of self-intersection numbers of 2-low-lying arcs covers all natural numbers.
New tools to study 1-11-representation of graphs
Published
• View Publication
• BIB
The notion of a $k$-11-representable graph was introduced by Jeff Remmel in 2017 and studied by Cheon et al.\ in 2019 as a natural extension of the extensively studied notion of word-representable graphs, which are precisely 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al.\ is that {\em any} graph is 2-11-representable, while it is unknown whether every graph is 1-11-representable. Cheon et al.\ showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs.
In this paper, we introduce new tools for studying 1-11-representation of graphs. We apply them for establishing 1-11-representation of Chvátal graph, Mycielski graph, split graphs, and graphs whose vertices can be partitioned into a comparability graph and an independent set.
Eigenbasis for a weighted adjacency matrix associated with the projective geometry $B_q(n)$
Published
• View Publication
• BIB
In a recent article "Projective geometries, $Q$-polynomial structures, and quantum groups" Terwilliger (arXiv:2407.14964) defined a certain weighted adjacency matrix, depending on a free (positive real) parameter, associated with the projective geometry, and showed (among many other results) that it is diagonalizable, with the eigenvalues and their multiplicities explicitly written down, and that it satisfies the $Q$-polynomial property (with respect to the zero subspace).
In this note we
(i) Write down an explicit eigenbasis for this matrix.
(ii) Evaluate the adjacency matrix-eigenvector products, yielding a new proof for the eigenvalues and their multiplicities.
(iii) Evaluate the dual adjacency matrix-eigenvector products and directly show that the action of the dual adjacency matrix on the eigenspaces of the adjacency matrix is block-tridiagonal, yielding a new proof of the $Q$-polynomial property.
Integral Biflow Maximization
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph with four distinguished vertices, two sources $s_1, s_2$ and two sinks $t_1,t_2$, let $c:\, E \rightarrow \mathbb Z_+$ be a capacity function, and let ${\cal P}$ be the set of all simple paths in $G$ from $s_1$ to $t_1$ or from $s_2$ to $t_2$. A biflow (or $2$-commodity flow) in $G$ is an assignment $f:\, {\cal P}\rightarrow \mathbb R_+$ such that $\sum_{e \in Q \in {\cal P}}\, f(Q) \le c(e)$ for all $e \in E$, whose value is defined to be $\sum_{Q \in {\cal P}}\, f(Q)$. A bicut in $G$ is a subset $K$ of $E$ that contains at least one edge from each member of ${\cal P}$, whose capacity is $\sum_{e\in K}\, c(e)$. In 1977 Seymour characterized, in terms of forbidden structures, all graphs $G$ for which the max-biflow (integral) min-bicut theorem holds true (that is, the maximum value of an integral biflow is equal to the minimum capacity of a bicut for every capacity function $c$); such a graph $G$ is referred to as a Seymour graph. Nevertheless, his proof is not algorithmic in nature. In this paper we present a combinatorial polynomial-time algorithm for finding maximum integral biflows in Seymour graphs, which relies heavily on a structural description of such graphs.
Sign patterns of principal minors of real symmetric matrices
Published
• View Publication
• BIB
We analyze a combinatorial rule satisfied by the signs of principal minors of a real symmetric matrix. The sign patterns satisfying this rule are equivalent to uniform oriented Lagrangian matroids. We first discuss their structure and symmetries and then study their asymptotics, proving that almost all of them are not representable by real symmetric matrices. We offer several conjectures and experimental results concerning representable sign patterns and the topology of their representation spaces.
Projective rigidity of point-line configurations in the plane
In this paper, we establish a general setup for studying incidence-preserving motions of projective geometric configurations of points and lines via a "projective rigidity matrix". The spaces of infinitesimal motions of a point-line configuration and dependencies amongst the point-line incidences can be interpreted as the kernel and co-kernel of this projective rigidity matrix, respectively. We also introduce a symmetry-adapted projective rigidity matrix for analysing symmetric configurations and their symmetry-preserving motions. The symmetry may be a point group or a more general symmetry, such as an autopolarity.
A survey on big Ramsey structures
Published in Zbornik Radova (Beograd), 22(30):317-355, 2025. Selected topics in combinatorial analysis II
• View Publication
• BIB
In recent years, there has been much progress in the field of structural Ramsey theory, in particular in the study of big Ramsey degrees. In all known examples of infinite structures with finite big Ramsey degrees, there is in fact a single expansion of the structure, called a big Ramsey structure, which correctly encodes the exact big Ramsey degrees of every finite substructure simultaneously. The first half of the article collects facts about this phenomenon that have appeared in the literature into a single cohesive framework, thus offering a conceptual survey of big Ramsey structures. We present some original results indicating that the standard methods of proving finite big Ramsey degrees automatically yield big Ramsey structures, often with desirable extra properties. The second half of the article is a survey in the more traditional sense, discussing numerous examples from the literature and showing how they fit into our framework. We also present some general results on how big Ramsey degrees are affected by expanding structures with unary functions.