Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Box Ramsey and Canonical Colourings
This paper introduces the concept of a productive notion of big Ramsey degree and showcases its versatility through a handful of applications. The main focus is notably providing sufficient conditions for the existence of a finite canonical basis of equivalence relations, building upon the prior work of Laflamme, Sauer, and Vuksanovic. Additionally, a combinatorial analysis of indexed structures is conducted.
On the intersection spectrum of $\operatorname{PSL}_2(q)$
Published
• View Publication
• BIB
Given a group $G$ and a subgroup $H \leq G$, a set $\mathcal{F}\subset G$ is called $H$\emph{-intersecting} if for any $g,g' \in \mathcal{F}$, there exists $xH \in G/H$ such that $gxH=g'xH$. The \emph{intersection density} of the action of $G$ on $G/H$ by (left) multiplication is the rational number $ρ(G,H)$, equal to the maximum ratio $\frac{|\mathcal{F}|}{|H|}$, where $\mathcal{F} \subset G$ runs through all $H$-intersecting sets of $G$. The \emph{intersection spectrum} of the group $G$ is then defined to be the set
$$
σ(G) := \left\{ ρ(G,H) : H\leq G \right\}.
$$ It was shown by Bardestani and Mallahi-Karai [{\it J. Algebraic Combin.}, 42(1):111-128, 2015] that if $σ(G) = \{1\}$, then $G$ is necessarily solvable. The natural question that arises is, therefore, which rational numbers larger than $1$ belong to $σ(G)$, whenever $G$ is non-solvable. In this paper, we study the intersection spectrum of the linear group $\operatorname{PSL}_2(q)$. It is shown that $2 \in σ\left(\operatorname{PSL}_2(q)\right)$, for any prime power $q\equiv 3 \pmod 4$. Moreover, when $q\equiv 1 \pmod 4$, it is proved that $ρ(\operatorname{PSL}_2(q),H)=1$, for any odd index subgroup $H$ (containing $\mathbb{F}_q$) of the Borel subgroup (isomorphic to $\mathbb{F}_q\rtimes \mathbb{Z}_{\frac{q-1}{2}}$) consisting of all upper triangular matrices.
New Optimal Results on Codes for Location in Graphs
Published
• View Publication
• BIB
In this paper, we broaden the understanding of the recently introduced concepts of solid-locating-dominating and self-locating-dominating codes in various graphs. In particular, we present the optimal, i.e., smallest possible, codes in the infinite triangular and king grids. Furthermore, we give optimal locating-dominating, self-locating-dominating and solid-locating-dominating codes in the direct product $K_n\times K_m$ of complete graphs. We also present optimal solid-locating-dominating codes for the Hamming graphs $K_q\square K_q\square K_q$ with $q\geq2$.
Subsequence frequency in binary words
Published
• View Publication
• BIB
The numbers we study in this paper are of the form $B_{n, p}(k)$, which is the number of binary words of length $n$ that contain the word $p$ (as a subsequence) exactly $k$ times. Our motivation comes from the analogous study of pattern containment in permutations. In our first set of results, we obtain explicit expressions for $B_{n, p}(k)$ for small values of $k$. We then focus on words $p$ with at most $3$ runs and study the maximum number of occurrences of $p$ a word of length $n$ can have. We also study the internal zeros in the sequence $(B_{n, p}(k))_{k \geq 0}$ for fixed $n$ and discuss the unimodality and log-concavity of such sequences.
On the edge-density of the Brownian co-graphon and common ancestors of pairs in the CRT
Published
• View Publication
• BIB
Bassino et al. (arXiv:1907.08517) have shown that uniform random co-graphs (graphs without induced $P_4$) of size $n$ converge to a certain non-deterministic graphon. The edge-density of this graphon is a random variable $Λ\in [0,1]$ whose first moments have been computed by these authors. The first purpose of this note is to observe that, in fact, these moments can be computed by a simple recurrence relation.
The problem leads us to the following question of independent interest: given $k$ i.i.d. uniform pairs of points $(X_1,Y_1),$ $\dots$, $(X_k,Y_k)$ in the Brownian CRT, what is the size $S_k$ of the set $\{X_i\wedge Y_i, i=1\dots k\}$ formed by their pairwise last common ancestors? We show that ${S_k}\sim c{\sqrt{k}\log k}$ in probability, with $c=(\sqrt{2π})^{-1}$.
The method to establish the recurrence relation is reminiscent of Janson's computation of moments of the Wiener index of (large) random trees. The logarithm factor in the convergence result comes from the estimation of Riemann sums in which summands are weighted by the integer divisor function -- such sums naturally occur in the problem. We have not been able to analyse the asymptotics of moments of $Λ$ directly from the recurrence relation, and in fact our study of $S_k$ is independent from it. Several things remain to be done, in particular we only scratch the question of large deviations of $S_k$, and the precise asymptotics of moments of $Λ$ is left open.
PBW bases of irreducible Ising modules
Published in Journal of Algebra Volume 639, 1 February 2024, Pages 398-421
• View Publication
• BIB
To every $h + \mathbb{N}$-graded module $M$ over an $\mathbb{N}$-graded conformal vertex algebra $V$, we associate an increasing filtration $(G^pM)_{p \in \mathbb{Z}}$ which is compatible with the filtrations introduced by Haisheng Li. The associated graded vector space $\mathrm{gr}^G(M)$ is naturally a module over the vertex Poisson algebra $\mathrm{gr}^G(V)$. We study $\mathrm{gr}^G(M)$ for the three irreducible modules of the Ising model $\mathrm{Vir}_{3, 4}$, namely $\mathrm{Vir}_{3,4} = L(1/2, 0)$, $L(1/2, 1/2)$ and $L(1/2, 1/16)$. We obtain an explicit monomial basis of each of these modules and a formula for their refined characters which are related to Nahm sums for the matrix $\left(\begin{smallmatrix} 8 & 3 \\ 3 & 2 \end{smallmatrix}\right)$.
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory
Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures. Conjecture-refuting algorithms attempt to refute conjectures by searching for counterexamples to those conjectures, often by maximizing certain score functions on graphs. This study proposes a novel conjecture-refuting algorithm, referred to as the adaptive Monte Carlo search (AMCS) algorithm, obtained by modifying the Monte Carlo tree search algorithm. Evaluated based on its success in finding counterexamples to several graph theory conjectures, AMCS outperforms existing conjecture-refuting algorithms. The algorithm is further utilized to refute six open conjectures, two of which were chemical graph theory conjectures formulated by Liu et al. in 2021 and four of which were formulated by the AutoGraphiX computer system in 2006. Finally, four of the open conjectures are strongly refuted by generalizing the counterexamples obtained by AMCS to produce a family of counterexamples. It is expected that the algorithm can help researchers test graph-theoretic conjectures more effectively.
On coloring parameters of triangle-free planar $(n,m)$-graphs
Published
• View Publication
• BIB
An $(n,m)$-graph is a graph with $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to another $(n,m)$-graph $H$ is a vertex mapping that preserves the adjacencies along with their types and directions. The order of a smallest (with respect to the number of vertices) such $H$ is the $(n,m)$-chromatic number of $G$.Moreover, an $(n,m)$-relative clique $R$ of an $(n,m)$-graph $G$ is a vertex subset of $G$ for which no two distinct vertices of $R$ get identified under any homomorphism of $G$. The $(n,m)$-relative clique number of $G$, denoted by $ω_{r(n,m)}(G)$, is the maximum $|R|$ such that $R$ is an $(n,m)$-relative clique of $G$. In practice, $(n,m)$-relative cliques are often used for establishing lower bounds of $(n,m)$-chromatic number of graph families.
Generalizing an open problem posed by Sopena [Discrete Mathematics 2016] in his latest survey on oriented coloring, Chakroborty, Das, Nandi, Roy and Sen [Discrete Applied Mathematics 2022] conjectured that $ω_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$ for any triangle-free planar $(n,m)$-graph $G$ and that this bound is tight for all $(n,m) \neq (0,1)$.In this article, we positively settle this conjecture by improving the previous upper bound of $ω_{r(n,m)}(G) \leq 14 (2n+m)^2 + 2$ to $ω_{r(n,m)}(G) \leq 2 (2n+m)^2 + 2$, and by finding examples of triangle-free planar graphs that achieve this bound. As a consequence of the tightness proof, we also establish a new lower bound of $2 (2n+m)^2 + 2$ for the $(n,m)$-chromatic number for the family of triangle-free planar graphs.
Distribution of sets of descent tops and descent bottoms on restricted permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (January 14, 2025) dmtcs:12636
• View Publication
• BIB
In this note, we prove some and conjecture other results regarding the distribution of descent top and descent bottom sets on some pattern-avoiding permutations. In particular, for 3-letter patterns, we show bijectively that the set of descent tops and the set of descent bottoms are jointly equidistributed on the avoiders of 231 and 312. We also conjecture similar equidistributions for 4-letter patterns, in particular, that the set of descent tops and the set of descent bottoms are jointly equidistributed on the avoiders of 3142, 3241, 4132. This conjecture and several others made in this paper have now been proved by Zhou, Zang, and Yan (2024).
On $(n,m)$-chromatic numbers of graphs having bounded sparsity parameters
Published
• View Publication
• BIB
An $(n,m)$-graph is characterised by having $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to an $(n,m)$-graph $H$, is a vertex mapping that preserves adjacency, direction, and type. The $(n,m)$-chromatic number of $G$, denoted by $χ_{n,m}(G)$, is the minimum value of $|V(H)|$ such that there exists a homomorphism of $G$ to $H$. The theory of homomorphisms of $(n,m)$-graphs have connections with graph theoretic concepts like harmonious coloring, nowhere-zero flows; with other mathematical topics like binary predicate logic, Coxeter groups; and has application to the Query Evaluation Problem (QEP) in graph database.
In this article, we show that the arboricity of $G$ is bounded by a function of $χ_{n,m}(G)$ but not the other way around. Additionally, we show that the acyclic chromatic number of $G$ is bounded by a function of $χ_{n,m}(G)$, a result already known in the reverse direction. Furthermore, we prove that the $(n,m)$-chromatic number for the family of graphs with a maximum average degree less than $2+ \frac{2}{4(2n+m)-1}$, including the subfamily of planar graphs with girth at least $8(2n+m)$, equals $2(2n+m)+1$. This improves upon previous findings, which proved the $(n,m)$-chromatic number for planar graphs with girth at least $10(2n+m)-4$ is $2(2n+m)+1$.
It is established that the $(n,m)$-chromatic number for the family $\mathcal{T}_2$ of partial $2$-trees is both bounded below and above by quadratic functions of $(2n+m)$, with the lower bound being tight when $(2n+m)=2$. We prove $14 \leq χ_{(0,3)}(\mathcal{T}_2) \leq 15$ and $14 \leq χ_{(1,1)}(\mathcal{T}_2) \leq 21$ which improves both known lower bounds and the former upper bound. Moreover, for the latter upper bound, to the best of our knowledge we provide the first theoretical proof.
Some combinatorial interpretations of the Macdonald identities for affine root systems and Nekrasov--Okounkov type formulas
Published
• View Publication
• BIB
We explore some connections between vectors of integers and integer partitions seen as bi-infinite words. This methodology enables us on the one hand to obtain enumerations connecting products of hook lengths and vectors of integers. This yields on the other hand a combinatorial interpretation of the Macdonald identities for affine root systems of the $7$ infinite families in terms of Schur functions, symplectic and special orthogonal Schur functions. From these results, we are able to derive $q$-Nekrasov--Okounkov formulas associated to each type. The latter for limit cases of $q$ yield Nekrasov--Okounkov type formulas corresponding to all the specializations given by Macdonald.
Connectivity threshold for superpositions of Bernoulli random graphs
Published
• View Publication
• BIB
Let $G_1,\dots, G_m$ be independent Bernoulli random subgraphs of the complete graph ${\cal K}_n$ having variable sizes $x_1,\dots, x_m\in [n]$ and densities $q_1,\dots, q_m\in [0,1]$. Letting $n,m\to+\infty$, we study the connectivity threshold for the union $\cup_{i=1}^mG_i$ defined on the vertex set of ${\cal K}_n$. Assuming that the empirical distribution $P_{n,m}$ of the pairs $(x_1,q_1),\dots, (x_m,q_m)$ converges to a probability distribution $P$ we show that the threshold is defined by the mixed moments $κ_n=\iint x(1-(1-q)^{|x-1|})P_{n,m}(dx,dq)$. For $\ln n-\frac{m}{n}κ_n\to-\infty$ we have
$P\{\cup_{i=1}^mG_i$ is connected$\}\to 1$ and for $\ln n-\frac{m}{n}κ_n\to+\infty$ we have
$P\{\cup_{i=1}^mG_i$ is connected$\}\to 0$. Interestingly, this dichotomy only holds if the mixed moment $\iint x(1-(1-q)^{|x-1|})\ln(1+x)P(dx,dq)<\infty$.
Noncrossing Partition Lattices from Planar Configurations
Published in Discrete & Computational Geometry (2024)
• View Publication
• BIB
The lattice of noncrossing partitions is well-known for its wide variety of combinatorial appearances and properties. For example, the lattice is rank-symmetric and enumerated by the Catalan numbers. In this article, we introduce a large family of new noncrossing partition lattices with both of these properties, each parametrized by a configuration of n points in the plane.
Extreme and statistical properties of eigenvalue indices of simple connected graphs
We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.
Fitch Graph Completion
Published
• View Publication
• BIB
Horizontal gene transfer is an important contributor to evolution. According to Walter M.\ Fitch, two genes are xenologs if they are separated by at least one HGT. More formally, the directed Fitch graph has a set of genes is its vertices, and directed edges $(x,y)$ for all pairs of genes $x$ and $y$ for which $y$ has been horizontally transferred at least once since it diverged from the last common ancestor of $x$ and $y$. Subgraphs of Fitch graphs can be inferred by comparative sequence analysis. In many cases, however, only partial knowledge about the ``full'' Fitch graph can be obtained. Here, we characterize Fitch-satisfiable graphs that can be extended to a biologically feasible ``full'' Fitch graph and derive a simple polynomial-time recognition algorithm. We then proceed to showing that finding the Fitch graphs with total maximum (confidence) edge-weights is an NP-hard problem.
Analysis and Synthesis of Digital Dyadic Sequences
Published in ACM Trans. Graph. 42:6 (2023), Article No. 218, 1-17
• View Publication
• BIB
We explore the space of matrix-generated (0, m, 2)-nets and (0, 2)-sequences in base 2, also known as digital dyadic nets and sequences. In computer graphics, they are arguably leading the competition for use in rendering. We provide a complete characterization of the design space and count the possible number of constructions with and without considering possible reorderings of the point set. Based on this analysis, we then show that every digital dyadic net can be reordered into a sequence, together with a corresponding algorithm. Finally, we present a novel family of self-similar digital dyadic sequences, to be named $ξ$-sequences, that spans a subspace with fewer degrees of freedom. Those $ξ$-sequences are extremely efficient to sample and compute, and we demonstrate their advantages over the classic Sobol (0, 2)-sequence.
Temporal Reachability Dominating Sets: contagion in temporal graphs
Published
• View Publication
• BIB
Given a population with dynamic pairwise connections, we ask if the entire population could be (indirectly) infected by a small group of $k$ initially infected individuals. We formalise this problem as the Temporal Reachability Dominating Set (TaRDiS}) problem on temporal graphs. We provide positive and negative parameterized complexity results in four different parameters: the number $k$ of initially infected, the lifetime $τ$ of the graph, the number of locally earliest edges in the graph, and the treewidth of the footprint graph $\mathcal{G}_\downarrow$.
We additionally introduce and study the MaxMinTaRDiS problem, where the aim is to schedule connections between individuals so that at least $k$ individuals must be infected for the entire population to become fully infected. We classify three variants of the problem: Strict, Nonstrict, and Happy. We show these to be coNP-complete, NP-hard, and $Σ_2^P$-complete, respectively. Interestingly, we obtain hardness of the Nonstrict variant by showing that a natural restriction is exactly the well-studied Distance-3 Independent Set problem on static graphs.
Braids act on configurations of lines
Published
• View Publication
• BIB
Similar pictures appear in various branches of mathematics. Sometimes this similarity gives rise to deep theorems.
Mentioning such a similarity between hexagonal tilings, cubes in 3-space, configurations of lines and braid groups, we prove that braids act on configurations of lines.
Cliques in Representation Graphs of Quadratic Forms
Published
• View Publication
• BIB
We study cliques in graphs arising from quadratic forms where the vertices are the elements of the module of the quadratic form and two vertices are adjacent if their difference represents some fixed scalar. We determine structural properties and the clique number for quadratic forms over finite rings. We further extend previous results about graphs arising from such forms and forms over fields of characteristic 0 in a unified framework.
Vertex-shellings of Euclidean Oriented Matroids
A Euclidean oriented matroid program yields a partial ordering of the cocircuits of its cocircuit graph. We show that every linear extension of that ordering yields a topological sweep and induces a recursive atom-ordering (a shelling of the cocircuits) of the tope cell of the feasible region. We extend that sweep and obtain also a vertex-shelling of the whole oriented matroid and finally describe some connections to the notion of stackable zontopal tilings and to a counterexample of a conjecture of A. Mandel.