Showing 20 papers (Total: 81564 papers, 47262 authors in database)
A Combinatorial Theory of Assembly Systems via Generating Functions
This document presents a combinatorial framework for analyzing assembly systems using generating functions. We explore the theory through concrete examples, such as linear polymers, and develop recursive equations to characterize valid assemblies. The framework accommodates various levels of description, from atoms to complex molecular structures, and provides combinatorial interpretations for each generating function. This approach enables the study of equilibrium behavior and the computation of equilibrium probabilities in polymer ensembles.
Cyclic $m$-DCI-groups and $m$-CI-groups
Based on the earlier work of Li (European J. Combin. 1997) and Dobson (Discrete Math. 2008), in this paper we complete the classification of cyclic $m$-DCI-groups and $m$-CI-groups. For a positive integer $m$ such that $m \ge 3$, we show that the group $\mathbb{Z}_n$ is an $m$-DCI-group if and only if $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < m$. Furthermore, if $m \ge 6$, then we show that $\mathbb{Z}_n$ is an $m$-CI-group if and only if either $n \in \{ 8, 9, 18 \}$, or $n \notin \{ 8, 9, 18 \}$ and $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < \frac{m - 1}{2}$.
Strong isometric path complexity of graphs: Asymptotic minors, restricted holes, and graph operations
The (strong) isometric path complexity is a recently introduced graph invariant that captures how arbitrary isometric paths (i.e., shortest paths) of a graph can be viewed as a union of a few ``rooted" isometric paths (i.e., isometric paths with a common end-vertex).
We show that important graph classes studied in \emph{coarse graph theory} have bounded strong isometric path complexity. Let $U_t$ denote the graph obtained by adding a universal vertex to a path of $t-1$ edges. We show that the strong isometric path complexity of $U_t$-asymptotic minor-free graphs is bounded. This implies that $K_4^-$-asymptotic minor-free graphs, i.e., graphs that are quasi-isometric to a cactus [Fujiwara \& Papasoglu '23], have bounded strong isometric path complexity. On the other hand, $K_4$-minor-free graphs have unbounded strong isometric path complexity. Hence, for a graph $H$ on at most four vertices, $H$-asymptotic minor-free graphs have bounded (strong) isometric path complexity if and only if $H\not=K_4$.
We show that graphs whose all induced cycles of length at least 4 have the same length (also known as monoholed graphs as defined by [Cook et al., \textsc{JCTB '24}]) form a subclass of $U_4$-asymptotic minor-free graphs. Hence, the strong isometric path complexity of monoholed graphs is bounded. On the other hand, we show that even-hole free graphs have unbounded strong isometric path complexity.
We investigate which graph operations preserve strong isometric path complexity. We show that the strong isometric path complexity is preserved under the \emph{fixed power} and \emph{line graph} operators, two important graph operations.
We also show that the \emph{clique-sums} of finitely many graphs with strong isometric path complexity at most $k$, yield a graph with strong isometric path complexity at most $3k+18$.
Graphs that are quasi-isometric to graphs with bounded treewidth
In this paper, we characterise graphs that are quasi-isometric to graphs with bounded treewidth. Specifically, we prove that a graph is quasi-isometric to a graph with bounded treewidth if and only if it has a tree-decomposition where each bag consists of a bounded number of balls of bounded diameter. This result extends a characterisation by Berger and Seymour (2024) of graphs that are quasi-isometric to trees. Additionally, we characterise graphs that are quasi-isometric to graphs with bounded pathwidth and graphs that are quasi-isometric to graphs with bounded linewidth. As an application of these results, we show that graphs with bounded rank-width, graphs with bounded tree independence number, and graphs with bounded sim-width are quasi-isometric to graphs with bounded treewidth.
Formalising New Mathematics in Isabelle: Diagonal Ramsey
The formalisation of mathematics is starting to become routine, but the value of this technology to the work of mathematicians remains to be shown. There are few examples of using proof assistants to verify brand-new work. This paper reports the formalisation of a major new result (arXiv:2303.09521) about Ramsey numbers that was announced in 2023. One unexpected finding was the heavy need for computer algebra techniques.
Improved bound on the number of cycle sets
The cycle set of a graph $G$ is the set consisting of all sizes of cycles in $G$. Answering a conjecture of Erdős and Faudree, Verstraëte showed that there are at most $2^{n - n^{1/10}}$ different cycle sets of graphs with $n$ vertices. We improve this bound to $2^{n - n^{1/2 - o(1)}}$. Our proof follows the general strategy of Verstraëte of reducing the problem to counting cycle sets of Hamiltonian graphs with many chords or a large maximum degree. The key new ingredients are near-optimal container lemmata for cycle sets of such graphs.
The sign character of the triagonal fermionic coinvariant ring
We determine the trigraded multiplicity of the sign character of the triagonal fermionic coinvariant ring $R_n^{(0,3)}$. As a corollary, this proves a conjecture of Bergeron (2020) that the dimension of the sign character of $R_n^{(0,3)}$ is $n^2-n+1$. We also give an explicit formula for double hook characters in the diagonal fermionic coinvariant ring $R_n^{(0,2)}$, and discuss methods towards calculating the sign character of $R_n^{(0,4)}$. Finally, we give a multigraded refinement of a conjecture of Bergeron (2020) that the dimension of the sign character of the $(1,3)$-bosonic-fermionic coinvariant ring $R_n^{(1,3)}$ is $\frac{1}{2}F_{3n}$, where $F_n$ is a Fibonacci number.
Further Results for the Capacity Statistic Distribution on Compositions of 1's and 2's
In this paper, we study additional aspects of the capacity distribution on the set $\mathcal{B}_n$ of compositions of $n$ consisting of $1$'s and $2$'s. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on $\mathcal{B}_n$. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on $\mathcal{B}_n$ is briefly considered.
Graph colouring and Steenrod's problem for Stanley-Reisner rings
It is a classical problem in algebraic topology asked by Steenrod which graded rings occur as the cohomology ring of a space.
In this paper, we define an algebraic version of the graph colouring, span colouring, and observe the relation between span colourings and Steenrod's problem for graded Stanley-Reisner rings, in other words polynomial rings divided by an ideal generated by square-free monic monomials.
On the shatter function of semilinear set systems
We show that the shatter function of a semilinear set system on $\mathbb{R}^m$ is asymptotic to a polynomial. This confirms, for the structure $(\mathbb{R}; +, <)$, a conjecture of Chernikov and is a step towards characterizing model-theoretic linearity via shatter functions.
Variations on a theme of Apéry
Apéry's remarkable discovery of rapidly converging continued fractions with small coefficients for $ζ(2)$ and $ζ(3)$ has led to a flurry of important activity in an incredible variety of different directions. Our purpose is to show that modifications of Apéry's continued fractions can give interesting results including new rapidly convergent continued fractions for certain interesting constants.
An Efficient Algorithm for Permutation Iteration Using a Singly Linked List
We present a new algorithm for iterating over all permutations of a sequence. The algorithm leverages elementary~$O(1)$ operations on recursive lists. As a result, no new nodes are allocated during the computation. Instead, all elements are rearranged within the original nodes of the singly linked list throughout the process. While permutations are generated in an unusual order, the transitions between consecutive permutations remain smooth. A proof of concept written in the Lisp programming language is referenced and discussed. We also present a polynomial-time algorithm for computing an arbitrary permutation given its index.
Word-representability of co-bipartite graph
A graph $G = (V, E)$ is word-representable, if there exists a word $w$ over the alphabet $V$ such that for letters $\{x,y\}\in V$, $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is a bipartite graph. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint cliques.
The concept of word-representability for co-bipartite graphs has not yet been fully studied. In the book Words and Graphs written by Sergey Kitaev and Vadim Lozin, examples of co-bipartite graphs that are not word-representable are provided. The authors have stated that it remains an open problem to characterize word-representable co-bipartite graphs. It is known that taking the complement of word-representable graphs does not preserve their word-representability. In this paper, we first identify certain classes of bipartite graphs for which word-representation is preserved after the complement operation. We found that the complement of the path graphs, even cycle graphs and generalized crown graphs are also word-representable. Next, we aim to find word-representable co-bipartite graphs in which the size of one clique partition is fixed while the other one can vary. We studied the word-representability of co-bipartite graphs where the sizes of one clique partition are $2$ and $3$. We found that any co-bipartite graphs where the size of the one clique partition is $2$ are word-representable. Also, when the size of the one clique partition is $3$, we found certain co-bipartite graphs are word-representable. Additionally, for word-representable graphs, it has been established that a graph is word-representable if and only if it can be oriented in a specific manner, known as semi-transitive orientation. We provide the necessary and sufficient conditions for a co-bipartite graph to have a semi-transitive orientation.
p-Strong Roman Domination in Graphs
Domination in graphs is a widely studied field, where many different definitions have been introduced in the last years to respond to different network requirements. This paper presents a new dominating parameter based on the well-known strong Roman domination model. Given a positive integer $p$, we call a $p$-strong Roman domination function ($p$-StRDF) in a graph $G$ to a function $f:V(G)\rightarrow \{0,1,2, \ldots , \left\lceil \frac{Δ+p}{p} \right\rceil \}$ having the property that if $f(v)=0$, then there is a vertex $u\in N(v)$ such that $f(u) \ge 1+ \left\lceil \frac{ |B_0\cap N(u)|}{p} \right\rceil $, where $B_0$ is the set of vertices with label $0$. The $p$-strong Roman domination number $γ_{StR}^p(G)$ is the minimum weight (sum of labels) of a $p$-StRDF on $G$. We study the NP-completeness of the \emph{$p$-StRD}-problem, we also provide general and tight upper and lower bounds depending on several classical invariants of the graph and, finally, we determine the exact values for some families of graphs.
Cutwidth and Crossings
We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.
The Erdős--Moser sum-free set problem via improved bounds for $k$-configurations
A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on binary systems of linear forms and of Kelley and Meka on Roth's theorem on arithmetic progressions, we show that, for $N \geq \exp((k\log(2/α))^{O(1)})$, any subset $A \subseteq [N]$ of density at least $α$ contains a $k$-configuration. This improves on the previously best known bound $N \geq \exp((2/α)^{O(k^2)})$, due to Shao. As a consequence, it follows that any finite non-empty set $A \subseteq \mathbb{Z}$ contains a subset $B \subseteq A$ of size at least $(\log|A|)^{1+Ω(1)}$ such that $b_1+b_2 \not\in A$ for any distinct $b_1,b_2 \in B$. This provides a new proof of a lower bound for the Erdős--Moser sum-free set problem of the same shape as the best known bound, established by Sanders.
The density of maximal IC-plane graphs and maximal NIC-plane graphs
In this paper, we show that any maximal IC-plane graph of order $n$ has at least $\left\lceil\frac{7}{3}n-\frac{14}{3}\right\rceil$ edges, and any maximal NIC-plane graph of order $n$ has at least $\left\lceil\frac{11}{5}n-\frac{18}{5}\right\rceil$ edges. Moreover, we show that both results are tight for infinitely many integers $n$.
Random-Key Algorithms for Optimizing Integrated Operating Room Scheduling
Efficient surgery room scheduling is essential for hospital efficiency, patient satisfaction, and resource utilization. This study addresses this challenge by introducing a novel concept of Random-Key Optimizer (RKO), rigorously tested on literature and new, real-world inspired instances. Our combinatorial optimization problem incorporates multi-room scheduling, equipment scheduling, and complex availability constraints for rooms, patients, and surgeons, facilitating rescheduling and enhancing operational flexibility. The RKO approach represents solutions as points in a continuous space, which are then mapped in the problem solution space via a deterministic function known as a decoder. The core idea is to operate metaheuristics and heuristics in the random-key space, unaware of the original solution space. We design the Biased Random-Key Genetic Algorithm with $Q$-Learning, Simulated Annealing, and Iterated Local Search for use within an RKO framework, employing a single decoder function. The proposed metaheuristics are complemented by lower-bound formulations, providing optimal gaps for evaluating the effectiveness of the heuristic results. Our results demonstrate significant lower and upper bounds improvements for the literature instances, notably proving one optimal result. Furthermore, the best-proposed metaheuristic efficiently generates schedules for the newly introduced instances, even in highly constrained scenarios. This research offers valuable insights and practical solutions for improving surgery scheduling processes, offering tangible benefits to hospitals by optimising resource allocation, reducing patient wait times, and enhancing overall operational efficiency.
Enumeration of partitions via socle reduction
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.
The Pop-Stack Operator on Ornamentation Lattices
Each rooted plane tree $\mathsf{T}$ has an associated ornamentation lattice $\mathcal{O}(\mathsf{T})$. The ornamentation lattice of an $n$-element chain is the $n$-th Tamari lattice. We study the pop-stack operator $\mathsf{Pop}\colon\mathcal{O}(\mathsf{T})\to\mathcal{O}(\mathsf{T})$, which sends each element $δ$ to the meet of the elements covered by or equal to $δ$. We compute the maximum size of a forward orbit of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Defant for Tamari lattices. We also characterize the image of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Hong for Tamari lattices. For each integer $k\geq 0$, we provide necessary conditions for an element of $\mathcal{O}(\mathsf{T})$ to be in the image of $\mathsf{Pop}^k$. This allows us to completely characterize the image of $\mathsf{Pop}^k$ on a Tamari lattice.