Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Cyclic structure, vertex degree and number of linear vertices in Minimal Strong Digraphs
Published
• View Publication
• BIB
Minimal Strong Digraphs (MSDs) can be regarded as a generalization of the concept of tree to directed graphs. Their cyclic structure and some spectral properties have been studied in several articles. In this work, we further study some properties of MSDs that have to do with bounding the length of the longest cycle (regarding the number of linear vertices, or the maximal in- or outdegree of vertices); studying whatever consequences from the spectral point of view; and giving some insight about the circumstances in which an efficient algorithm to find the longest cycle contained in an MSD can be formulated. Among other properties, we show that the number of linear vertices contained in an MSD is greater or equal to the maximal (resp. minimal) in- or outdegree of any vertex of the MSD and that the maximal length of a cycle contained in an MSD is lesser or equal to 2n-m, where n,m are the order and the size of the MSD respectively; we have found a bound for the coefficients of the characteristic polynomial of an MSD, extending the result in a previous work of Lacalle, Marijuan and Pozo, and finally, we prove that computing the longest cycle contained in an MSD is an NP-Hard problem.
Planar graphs without $5^{-}$-cycles at distance less than $3$ are $(\mathcal{I}, \mathcal{F})$-colorable
Published
• View Publication
• BIB
A graph is $(\mathcal{I}, \mathcal{F})$-colorable if its vertex set can be partitioned into two subsets, one of which is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without $5^{-}$-cycles at distance less than $3$ is $(\mathcal{I}, \mathcal{F})$-colorable.
Joint distributions of statistics over permutations avoiding two patterns of length 3
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (November 4, 2024) dmtcs:12517
• View Publication
• BIB
Finding distributions of permutation statistics over pattern-avoiding classes of permutations attracted much attention in the literature. In particular, Bukata et al. found distributions of ascents and descents on permutations avoiding any two patterns of length 3. In this paper, we generalize these results in two different ways: we find explicit formulas for the joint distribution of six statistics (asc, des, lrmax, lrmin, rlmax, rlmin), and also explicit formulas for the joint distribution of four statistics (asc, des, MNA, MND) on these permutations in all cases. The latter result also extends the recent studies by Kitaev and Zhang of the statistics MNA and MND (related to non-overlapping occurrences of ascents and descents) on stack-sortable permutations. All multivariate generating functions in our paper are rational, and we provide combinatorial proofs of five equidistribution results that can be derived from the generating functions.
Full Grid Lattice Polygons with Maximal Sum of Squares of Edge-Lengths
Consider a subset [1,2,...,n]x[1,2,...,n] of the plane integer lattice. Take any non self-intersecting n^2-gon built on it (straight angles are allowed). The square of a side length is a positive integer. It is thus natural to ask how large the sum of square lengths of such an n^2-gon can be. This maximal value is a new integer sequence, labeled by A358212 in OEIS. In this note we give the lower bound and conjecture that this in fact is the correct answer. We further investigate proper n^2-gons (straight angles are not allowed) and present analogous results. Both sequences (conjecturally) have a different growth size.
Arboricity and Acyclic Chromatic Number
A theorem of Hakimi, Mitchem and Schmeichel from 1996 states that the edge arboricity arb(G) of a graph is bounded above by the acyclic chromatic number acy(G). We can improve this HMS inequality by 1, if acy(G) is even. We review also results about acyclic chromatic numbers in the context of a Grünbaum conjecture from 1973.
Y-frieze patterns
Motivated by cluster ensembles, we introduce a new variant of frieze patterns associated to acyclic cluster algebras, which we call ${\bf Y}\textit{-frieze patterns}$. Using the mutation rules for ${\bf Y}$-variables, we define a large class of ${\bf Y}$-frieze patterns called $\textit{unitary }{\bf Y}\textit{-frieze patterns}$, and show that the ensemble map induces a map from (unitary) frieze patterns to (unitary) ${\bf Y}$-frieze patterns. In rank 2, we show that ${\bf Y}$-frieze patterns are (associated to) friezes of generalised cluster algebras. In finite type (not necessarily rank 2), we show that ${\bf Y}$-frieze patterns share the same symmetries as frieze patterns, and prove that their number is finite.
List colorings of $k$-partite $k$-graphs
Published
• View Publication
• BIB
A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. In this note, we consider list colorings for such hypergraphs. We show that for any $\varepsilon > 0$ if each vertex $v \in V(H)$ is assigned a list of size $|L(v)| \geq \left((k-1+\varepsilon)Δ/\log Δ\right)^{1/(k-1)}$, then $H$ admits a proper $L$-coloring, provided $Δ$ is sufficiently large. Up to a constant factor, this matches the bound on the chromatic number of simple $k$-graphs shown by Frieze and Mubayi, and that on the list chromatic number of triangle free $k$-graphs shown by Li and Postle. Our results hold in the more general setting of ``color-degree'' as has been considered for graphs. Furthermore, we establish a number of asymmetric statements matching results of Alon, Cambie, and Kang for bipartite graphs.
Solution to a problem of Grünbaum on the edge density of $4$-critical planar graphs
We show that $\limsup |E(G)|/|V(G)| = 2.5$ over all $4$-critical planar graphs $G$, answering a question of Grünbaum from 1988.
On Sharp Bounds of Local Fractional Metric Dimension for Certain Symmetrical Algebraic Structure Graphs
Published in Symmetry 15 (2023), no. 10, Art. 1911, 25pp
• View Publication
• BIB
The smallest set of vertices needed to differentiate or categorize every other vertex in a graph is referred to as the graph's metric dimension. Finding the class of graphs for a particular given metric dimension is an NP-hard problem. This concept has applications in many different domains, including graph theory, network architecture, and facility location problems. A graph $G$ with order $n$ is known as a Toeplitz graph over the subset $S$ of consecutive collections of integers from one to $n$, and two vertices will be adjacent to each other if their absolute difference is a member of $S$. A graph $G(\mathbb{Z}_{n})$ is called a zero-divisor graph over the zero divisors of a commutative ring $\mathbb{Z}_{n}$, in which two vertices will be adjacent to each other if their product will leave the remainder zero under modulo $n$. Since the local fractional metric dimension problem is NP-hard, it is computationally difficult to identify an optimal solution or to precisely determine the minimal size of a local resolving set; in the worst case, the process takes exponential time. Different upper bound sequences of local fractional metric dimension are suggested in this article, along with a comparison analysis for certain families of Toeplitz and zero-divisor graphs. Furthermore, we note that the analyzed local fractional metric dimension upper bounds fall into three metric families: constant, limited, and unbounded.
Comparison of symbolic and ordinary powers of parity binomial edge ideals
Published in Monatshefte für Mathematik (2023)
• View Publication
• BIB
In this paper, we investigate when symbolic and ordinary powers of the parity binomial edge ideal of a graph fail to be equal. It turns out that if $\mathcal{I}_{G}$ is the parity binomial edge ideal of a graph $G$, then in each of the following cases the symbolic power $\mathcal{I}_{G}^{(t)}$ and the ordinary power $\mathcal{I}_{G}^t$ are not equal for some $t$: (i) the clique number of $G$ is greater than 3; (ii) $G$ has a net; or (iii) $G$ has a PT as an induced subgraph.
Spanning trees in pseudorandom graphs via sorting networks
Published
• View Publication
• BIB
We show that $(n,d,λ)$-graphs with $λ=O(d/\log^3 n)$ are universal with respect to all bounded degree spanning trees. This significantly improves upon the previous best bound due to Han and Yang of the form $λ=d/\exp{(O(\sqrt{\log n}))}$, and makes progress towards a problem of Alon, Krivelevich, and Sudakov from 2007. Our proof relies on the existence of sorting networks of logarithmic depth, as given by a celebrated construction of Ajtai, Komlós and Szemerédi. Using this construction, we show that the classical vertex-disjoint paths problem can be solved for a set of vertices fixed in advance.
Combinatorics of nondeterministic walks
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics.
Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.
A note on multicolour Erdős-Hajnal conjecture
Published
• View Publication
• BIB
Informally, the Erdős-Hajnal conjecture (shortly EH-conjecture) asserts that if a sufficiently large host clique on $n$ vertices is edge-coloured avoiding a copy of some fixed edge-coloured clique, then there is a large homogeneous set of size $n^β$ for some positive $β$, where a set of vertices is homogeneous if it does not induce all the colours. This conjecture, if true, claims that imposing local conditions on edge-partitions of cliques results in a global structural consequence such as a large homogeneous set, a set avoiding all edges of some part. While this conjecture attracted a lot of attention, it is still open even for two colours. In this note, we reduce the multicolour EH-conjecture to the case when the number of colours used in a host clique is either the same as in the forbidden pattern or one more. We exhibit a non-monotonicity behaviour of homogeneous sets in coloured cliques with forbidden patterns by showing that allowing an extra colour in the host graph could actually decrease the size of a largest homogeneous set.
Minimal Arrangements of Spherical Geodesics
We study arrangements of geodesic arcs on a sphere, where all arcs are internally disjoint and each arc has its endpoints located within the interior of other arcs. We establish fundamental results concerning the minimum number of arcs in such arrangements, depending on local geometric constraints such as "one-sidedness" and "k-orientation".
En route to these results, we generalize and settle an open problem from CCCG 2022, proving that any such arrangement has at least two "clockwise swirls" and at least two "counterclockwise swirls".
GM-rule and its applications to impartial games
Given integer $n \geq 1, \ell \geq 2$, and vector $x = (x_1, \ldots, x_n)$ that has an entry which is a multiple of $\ell$ and such that $x_1 \leq \ldots \leq x_n$, the GM-rule is defined as follows: Keep the rightmost minimal entry $x_i$ of $x$, which is a multiple of $\ell$ and reduce the remaining $n-1$ entries of $x$ by~1. We will call such $i$ the {\em pivot} and $x_i$ the {\em pivotal entry}. The GM-rule respects monotonicity of the entries. It uniquely determines a GM-move $x^0 \to x^1$ and an infinite GM-sequence $S$ that consists of successive GM-moves $x = x^0 \to x^1 \to \ldots \to x^j \to \ldots$ . If $range(x) = x_n - x_1 \leq \ell$ then for all $j \geq 0$:
(i) $range(x^j) \leq \ell$;
(ii) the pivot of $x^{j + \ell}$ is one less than the pivot of $x^j$, assuming that $1 - 1 = 0 = n$.
(iii) $x_i^j - x_i^{j + n \ell} = (n-1) \ell$ for all $i = 1,\ldots,n$.
Due to (iii), we compute $x^j$ in time linear in $n, \ell, \log(j)$, and $\sum^n_{i=1}\log(|x_i|+1)$. For $\ell = 2$ a slighty modified version of the GM-rule was recently introduced by Gurvich, Martynov, Maximchuk, and Vyalyi, "On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles", arXiv:2304.06498 (2023), where applications to impartial games were considered.
On polynomial degree-boundedness
Published in Advances in Combinatorics 2024:5, 16pp
• View Publication
• BIB
We prove a conjecture of Bonamy, Bousquet, Pilipczuk, Rzążewski, Thomassé, and Walczak, that for every graph $H$, there is a polynomial $p$ such that for every positive integer $s$, every graph of average degree at least $p(s)$ contains either $K_{s,s}$ as a subgraph or contains an induced subdivision of $H$. This improves upon a result of Kühn and Osthus from 2004 who proved it for graphs whose average degree is at least triply exponential in $s$ and a recent result of Du, Girão, Hunter, McCarty and Scott for graphs with average degree at least singly exponential in $s$. As an application, we prove that the class of graphs that do not contain an induced subdivision of $K_{s,t}$ is polynomially $χ$-bounded. In the case of $K_{2,3}$, this is the class of theta-free graphs, and answers a question of Davies. Along the way, we also answer a recent question of McCarty, by showing that if $\mathcal{G}$ is a hereditary class of graphs for which there is a polynomial $p$ such that every bipartite $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p(s)$, then more generally, there is a polynomial $p'$ such that every $K_{s,s}$-free graph in $\mathcal{G}$ has average degree at most $p'(s)$. Our main new tool is an induced variant of the Kővári-Sós-Turán theorem, which we find to be of independent interest.
A Classification of Graphs through Quadratic Embedding Constants and Clique Graph Insights
Published in Communications in Combinatorics and Optimization, 2024
• View Publication
• BIB
The quadratic embedding constant (QEC) of a graph $G$ is a new numeric invariant, which is defined in terms of the distance matrix and is denoted by $\mathrm{QEC}(G)$. By observing graph structure of the maximal cliques (clique graph), we show that a graph $G$ with $\mathrm{QEC}(G)<-1/2$ admits a ``cactus-like'' structure. We derive a formula for the quadratic embedding constant of a graph consisting of two maximal cliques. As an application we discuss characterization of graphs along the increasing sequence of $\mathrm{QEC}(P_d)$, where $P_d$ is the path on $d$ vertices. In particular, we determine graphs $G$ satisfying $\mathrm{QEC}(G)<\mathrm{QEC}(P_5)$.
Simple proofs for lattice coverings and sparse tensors
Published
• View Publication
• BIB
We provide simple proofs of analogues for coverings numbers of lattices of several recently studied basic statements on the ranks of tensors. We highlight the differences and analogies between the proofs in both settings.
Combinatorial Hodge Theory in Simplicial Signal Processing -- DAFx2023 Lecture Notes
Lecture notes of a tutorial on Combinatorial Hodge Theory in Simplicial Signal Processing held at international conference for digital audio effects (DAFx-23) in Copenhagen, Denmark.
On the combinatorics of $k$-Naples parking functions and parking strategies
We propose a characterization of $k$-Naples parking functions in terms of subsequences with the structure of a complete $k$-Naples parking function. We define complete parking preferences by requiring that for all $j=2,\dots,n$, the number of cars having preference at least $j$ is strictly greater than the number of spots in $[j,n]$. We also provide a characterization of permutation invariant $k$-Naples parking functions. Finally, we introduce a generalization of the parking problem where each car is given its own parking rule, by defining parking strategies as vectors of rules that allow all cars to park. Given a parking preference, we also investigate ways to find parking strategies that minimize certain natural parameters, such as the total number of backward steps, or the number of cars that need to drive backwards.