Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Algorithm for computing the partition function of the Potts model for SP-graphs
The q-state Potts model is a fundamental framework in statistical physics and graph theory, with its partition function encoding rich information about spin configurations. The multivariate Tutte polynomial (known as the partition function of the Potts model) can be defined on an arbitrary finite graph $G$ and encodes a lot of important combinatorial information about the graph. As a special case, it contains the familiar Tutte polynomial with two variables and, consequently, its specialization with one variable, such as the chromatic polynomial, the flow polynomial and the reliability polynomial. The main goal of this paper is to present an efficient algorithm for computing the Potts model partition function on SP-graphs (series-parallel graphs) with arbitrary weights. The algorithm for SP-graphs is based on simplifying the graph by replacing several edges with a single edge of equivalent weight, which significantly reduces computational complexity. In this paper, we present a linear-time algorithm for exactly computing the Potts model partition function on series-parallel graphs (SP-graphs).
Hamiltonian paths in iterated line graphs
For integer $n$, the $n$-iterated line graph $L^n(G)$ of an undirected graph $G$ is defined to be $L(L^{n-1}(G))$, where $L^1(G)$ is the line graph $L(G)$ of $G$. In this paper we introduce hamiltonian path index. Hamiltonian path index, denoted by $h_p(G)$, is the minimum number $n$ such that $L^n(G)$ contains a hamiltonian path. We show that hamiltonian path index of $G$ exists for any graph $G$ and we set the exact value of hamiltonian path index for trees and discuss the problem about graphs with hamiltonian 2-connected blocks.
Domino tilings beyond 2D
There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and their answers become significantly more difficult in dimension three and above. Despite this curse of dimensionality, there have been exciting recent advances in the theory. Here we briefly review foundational results of two-dimensional domino tilings and highlight where challenges arise when generalizing to higher dimensions. We then survey results in higher dimensional domino tilings, focusing on the question of connectivity of the space of tilings, and the open problems that still remain.
Proof of the linkage conjecture for highly connected tournaments
A digraph $D$ is $k$-linked if for every $2k$ distinct vertices $ x_1,\ldots , x_k, y_1, \ldots , y_k$ in $D$, there exist $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ starts at $x_i$ and ends at $y_i$ for each $i\in [k]$. In 2021, Girão, Popielarz, and Snyder [Combinatorica 41 (2021) 815--837] conjectured that there exists a constant $C >0$ such that every $(2k+1)$-connected tournament with minimum out-degree at least $Ck$ is $k$-linked. In this paper, we disprove this conjecture by constructing a family of counterexamples with minimum out-degree at least $\frac{k^2+11k}{26}$ (for $k\geq 42$). Further, we prove that every $(2k+1)$-connected semicomplete digraph $D$ with minimum out-degree at least $ 7k^2 + 36k$ is $k$-linked. This result is optimal in terms of both connectivity and minimum out-degree (up to a multiplicative factor), which refines and generalizes the earlier result of Girão, Popielarz, and Snyder.
Catalan number sequences and generalized action graphs
Published in Mathematics Exchange 18 (2025) 88-106
• View Publication
• BIB
Action graphs emerged from work of Bergner and Hackney on category actions in the context of Reedy categories. Alvarez, Bergner, and Lopez showed that action graphs could be inductively generated without reference to category actions and have a close relationship with the sequence of Catalan numbers. These graphs were further generalized in work of Cressman, Lin, Nguyen, and Wiljanen, who showed that the Fuss-Catalan numbers have a similar relation to another set of inductively defined directed graphs. In our paper, we consider several other sequences related to the Catalan numbers, namely Catalan's triangle, $(a,b)$-Catalan numbers, internal triangles, and super Catalan numbers. We show action graphs cannot be generalized to Catalan's triangle, $(a,b)$-Catalan numbers, nor internal triangles. We also conjecture a method for constructing action graphs for the Super Catalan numbers.
Arnol'd's limit and the Lagrange inversion
We show how to prove by means of the Lagrange inversion the limit of Arnol'd that $$ \lim_{x\to0}\frac{\sin(\tan x)-\tan(\sin x)}{\arcsin(\arctan x)-\arctan(\arcsin x)}=1\,. $$ In fact, we obtain a more general result in terms of formal power series.
Hamilton cycles in pseudorandom graphs: resilience and approximate decompositions
Dirac's classical theorem asserts that, for $n \ge 3$, any $n$-vertex graph with minimum degree at least $n/2$ is Hamiltonian. Furthermore, if we additionally assume that such graphs are regular, then, by the breakthrough work of Csaba, Kühn, Lo, Osthus and Treglown, they admit a decomposition into Hamilton cycles and at most one perfect matching, solving the well-known Nash-Williams conjecture. In the pseudorandom setting, it has long been conjectured that similar results hold in much sparser graphs. We prove two overarching theorems for graphs that exclude excessively dense subgraphs, which yield asymptotically optimal resilience and Hamilton-decomposition results in sparse pseudorandom graphs. In particular, our results imply that for every fixed $γ> 0$, there exists a constant $C > 0$ such that if $G$ is a spanning subgraph of an $(n,d,λ)$-graph satisfying $δ(G) \ge (\tfrac12 + γ)d$ and $d/λ\ge C$, then $G$ must contain a Hamilton cycle. Secondly, we show that for every $\varepsilon > 0$, there is $C > 0$ so that every $(n,d,λ)$-graph with $d/λ\ge C$ contains at least $(\tfrac12 - \varepsilon)d$ edge-disjoint Hamilton cycles, and, finally, we prove that the entire edge set of $G$ can be covered by no more than $(\tfrac12 + \varepsilon)d$ such cycles. All bounds are asymptotically optimal and significantly improve earlier results on Hamiltonian resilience, packing, and covering in sparse pseudorandom graphs.
On a Ramsey--Turán variant of Roth's theorem
A classical theorem of Roth states that the maximum size of a solution-free set of a homogeneous linear equation $\mathcal{L}$ in $\mathbb{F}_p$ is $o(p)$ if and only if the sum of the coefficients of $\mathcal{L}$ is $0$. In this paper, we prove a Ramsey--Turán variant of Roth's theorem, with respect to a natural notion of ``structured'' sets introduced by Erdős and Sárközy in the 1970's. Namely, we show that the following statements are equivalent:
$(a)$ Every solution-free set $A$ of $\mathcal{L}$ in $\mathbb{F}_p$ with $α(\mathrm{Cay}_{\mathbb{F}_p}(A)) = o(p)$ has size $o(p)$.
$(b)$ There exists a non-empty \emph{subset} of coefficients of $\mathcal{L}$ with zero sum.
Conditions for building generalized action graphs from sequences
This paper explores the properties of directed graphs, termed generalized action graphs, which exhibit a strong connection to certain number sequences. Focusing on the structural and combinatorial aspects, we investigate the conditions under which specific sequences can generate generalized action graphs. Building upon prior research in this field, we analyze specific features of these graphs and how they correspond to patterns and properties in their sequences. These findings support a broader conclusion that establishes framework for identifying which sequences can produce generalized action graphs.
On plus-one generated arrangements of plane conics
Published in Geom Dedicata 220: Art. Id. 10 (2026)
• View Publication
• BIB
In this paper, we examine the combinatorial properties of conic arrangements in the complex projective plane that possess certain quasi-homogeneous singularities. First, we introduce a new tool that enables us to characterize the property of being plus-one generated within the class of conic arrangements with some naturally chosen quasi-homogeneous singularities. Next, we present a classification result on plus-one generated conic arrangements admitting only nodes and tacnodes as singularities. Building on results regarding conic arrangements with nodes and tacnodes, we present new examples of strong Ziegler pairs of conic-line arrangements -- that is, arrangements having the same strong combinatorics but distinct derivation modules.
Character theoretic techniques for nonabelian partial difference sets
A $(v,k,λ, μ)$-partial difference set (PDS) is a subset $D$ of size $k$ of a group $G$ of order $v$ such that every nonidentity element $g$ of $G$ can be expressed in either $λ$ or $μ$ different ways as a product $xy^{-1}$, $x, y \in D$, depending on whether or not $g$ is in $D$. If $D$ is inverse closed and $1 \notin D$, then the Cayley graph ${\rm Cay}(G,D)$ is a $(v,k,λ, μ)$-strongly regular graph (SRG). PDSs have been studied extensively over the years, especially in abelian groups, where techniques from character theory have proven to be particularly effective. Recently, there has been considerable interest in studying PDSs in nonabelian groups, and the purpose of this paper is develop character theoretic techniques that apply in the nonabelian setting. We prove that analogues of character theoretic results of Ott about generalized quadrangles of order $s$ also hold in the general PDS setting, and we are able to use these techniques to compute the intersection of a putative PDS with the conjugacy classes of the parent group in many instances. With these techniques, we are able to prove the nonexistence of PDSs in numerous instances and provide severe restrictions in cases when such PDSs may still exist. Furthermore, we are able to use these techniques constructively, computing several examples of PDSs in nonabelian groups not previously recognized in the literature, including an infinite family of genuinely nonabelian PDSs associated to the block-regular Steiner triple systems originally studied by Clapham and related infinite families of genuinely nonabelian PDSs associated to the block-regular Steiner $2$-designs first studied by Wilson.
Phylogenetic network models as graphical models
The displayed tree phylogenetic network model is shown to sit as a natural submodel of the graphical model associated to a directed acyclic graph (DAG). This representation allows to derive a number of results about the displayed tree model. In particular, the concept of a local modification to a DAG model is developed and applied to the displayed tree model. As an application, some nonidentifiability issues related to the displayed tree models are highlighted as they relate to reticulation edges and stacked reticulations in the networks. We also derive rank conditions on flattenings of probability tensors for the displayed tree model, generalizing classic results for phylogenetic tree models.
The Squishy Grid Problem
In this paper we consider the problem of approximating Euclidean distances by the infinite integer grid graph. Although the topology of the graph is fixed, we have control over the edge-weight assignment $w:E\to \mathbb{R}_{\ge 0}$, and hope to have grid distances be asymptotically isometric to Euclidean distances, that is, for all grid points $u,v$, $\mathrm{dist}_w(u,v) = (1\pm o(1))\|u-v\|_2$. We give three methods for solving this problem, each attractive in its own way.
* Our first construction is based on an embedding of the recursive, non-periodic pinwheel tiling of Radin and Conway into the integer grid. Distances in the pinwheel graph are asymptotically isometric to Euclidean distances, but no explicit bound on the rate of convergence was known. We prove that the multiplicative distortion of the pinwheel graph is $(1+1/Θ(\log^ξ\log D))$, where $D$ is the Euclidean distance and $ξ=Θ(1)$. The pinwheel tiling approach is conceptually simple, but can be improved quantitatively.
* Our second construction is based on a hierarchical arrangement of "highways." It is simple, achieving stretch $(1 + 1/Θ(D^{1/9}))$, which converges doubly exponentially faster than the pinwheel tiling approach.
* The first two methods are deterministic. An even simpler approach is to sample the edge weights independently from a common distribution $\mathscr{D}$. Whether there exists a distribution $\mathscr{D}^*$ that makes grid distances Euclidean, asymptotically and in expectation, is major open problem in the theory of first passage percolation. Previous experiments show that when $\mathscr{D}$ is a Fisher distribution, grid distances are within 1\% of Euclidean. We demonstrate experimentally that this level of accuracy can be achieved by a simple 2-point distribution that assigns weights 0.41 or 4.75 with probability 44\% and 56\%, respectively.
On the DP-chromatic Number of Cartesian Products of Critical Graphs
DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced by Dvořák and Postle in 2015. The following sharp bound on the DP-chromatic number of the Cartesian product of graphs $G$ and $H$ is known: $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $χ_{DP}(G)$ is the DP-chromatic number of $G$ and $\text{col}(H)$ is the coloring number of $H$. We seek to understand when $χ_{DP}(G \square K_{l,t})$ is far from its chromatic number: $χ(G \square K_{l,t}) = \max \{χ(G), 2 \}$ in the case that $G$ is a $k$-critical graph with $χ_{DP}(G)=k$. In particular, we have $χ_{DP}(G \square K_{l,t}) \leq k + l$, and for fixed $l$ we wish to find the smallest $t$ for which this upper bound is achieved. This can be viewed as an extension of the classic result that the list chromatic number of $K_{l,t}$ is $l+1$ if and only if $t \geq l^l$. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, provides a concept and tool that is useful for making progress on this problem.
Decomposition Theorem for Product of Fundamental Crystals in Monomial Realization of type $C_n$
We consider a product of fundamental crystals of type $C_n$ in monomial realization, where the product means a natural product of Laurent monomials, not a tensor product. Then we shall show that the product still holds a crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition rule for the tensor product of the fundamental crystals.
Slavic Techniques for Hat Guessing Algorithms
2023 undergraduate thesis on a deterministic "hat game." For a digraph $D$, each player stands on a vertex $v$, is assigned a hat from $h(v)$ possible colors, and makes $g(v)$ guesses of her hat's color based on her out-neighbors' hats. If there exists a collective strategy that guarantees a correct guess for any hat assignment, the game is winnable. Which games $(D,g,h)$ are winnable? Two much-studied parameters: $μ(D)$ is the maximum integer $k$ such that $(D,1,k)$ is winnable, and $\hatμ(D)$ is the supremum of $h/g$ for integer $h, g$ such that $(D,g,h)$ is winnable.
Chapter 0 is a casual, riddle-based introduction. Chapter 1 taxonomizes the games, surveys all previous work, and summarizes the piece. Chapter 2 proves lemmata and easy cases. Chapter 3 uses "hats as hints" and "admissible paths" for games on cycles. Chapter 4 generalizes several "constructors" and applies them to tree games. Chapter 5 uses "combinatorial prisms" for a new angle on the well-studied $K_{n,m}$ games. In chapter 6, we apply "dependency digraphs" to the continuous limit of this game. Chapter 7 collects open problems and minor results.
We show:
$(C_{k\geq 4},1,h)$ is winnable if and only if: $h=3$ and $k$ is divisible by $3$ or equal to $4$, $h\leq 4$ and the $h(v)$ sequence $(3,2,3)$ or $(2,3,3)$ appears in the cycle, or the $h(v)$ sequence $(2,...,2)$ appears with no intervening value $>4$.
$(T, 1, h)$ is winnable for tree $T$ iff $T$ has a subtree $T'$ with $h(v)\leq 2^{deg_{T'}(v)}$ for all $v\in V(T')$.
For a digraph $D$, $\hatμ(D)\leq e(Δ^-+1)$. For a graph $G$, $\hatμ(G)\leq (Δ-1)^{1-Δ} Δ^Δ<eΔ$.
$(\overrightarrow{C}_k, g, h)$ is unwinnable if $g(v_i)/h(v_i) + g(v_{i+1})/h(v_{i+1}) < 1$ for some $i$.
And much else. Important open questions: what other graph parameters or properties bound $μ$? What complexity classes are at play?
Solid bricks that every $b$-invariant edge is solitary
A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. A brick $G$ is solid if for any two vertex disjoint odd cycles $C_1$ and $C_2$ of $G$, $G-(V(C_1)\cup V(C_2))$ has no perfect matching. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we show that for a solid brick $G$ of order $n$ that is distinct from $K_4$, every $b$-invariant edge of $G$ is solitary if and only if $G$ is a wheel $W_n$.
Partial Deranged Bell Numbers and Their Combinatorial Properties
We introduce a novel generalization of deranged Bell numbers by defining the partial deranged Bell numbers $w_{n,r}$, which count the number of set partitions of $\left[ n\right] $ with exactly $r$ fixed blocks, while the remaining blocks are deranged. This construction provides a unified framework that connects partial derangements, Stirling numbers, and ordered Bell numbers. We investigate their combinatorial properties, including explicit formulas, generating functions, and recurrence relations. Moreover, we demonstrate that these numbers are expressible in terms of classical sequences such as deranged Bell numbers and ordered Bell numbers, and reveal their relationship to complementary Bell numbers, offering insights relevant to Wilf's conjecture. Notably, we derive the identity \[ \tildeφ_{n}=\Tilde{w}_{n,0}-\Tilde{w}_{n,1}=\tilde{w}_{n-1,0}-2\tilde {w}_{n-1,2}, \] which illustrates their structural connection to complementary Bell numbers. We also introduce a polynomial expansion for these numbers and explore their connections with exponential polynomials, geometric polynomials, and Bernoulli numbers. These relationships facilitate the derivation of closed-form expressions for certain finite summations involving Stirling numbers of the second kind, Bernoulli numbers, and binomial coefficients, articulated through partial derangement numbers.
Schur-like numbers and a lemma of Shearer
Suppose that each number $1,2,...,N$ has one of n colours assigned. We show that if there are no monochromatic solutions to the equation $x_1+x_2+x_3=y_1+y_2$, then $N=O((n!)^{1/2})$, improving upon a result of Cwalina and Schoen. Further, a stronger bound of $N=O(((n-k)!)^{1/2})$, where $k\gg\frac{\log n}{\log\log n}$ is shown for colourings avoiding solutions to the equation $x_1+x_2+...+x_{12}=y_1+y_2+...+y_9$. Finally, some remarks on other equations are presented.
Enumerating Cayley digraphs on dihedral groups
This paper investigates the enumeration of Cayley digraphs, focusing on counting Cayley digraphs on dihedral groups up to CI-isomorphism. By leveraging the Cauchy-Frobenius Lemma and properties of automorphisms, we derive an explicit formula for the number of non-isomorphic Cayley digraphs on dihedral groups with DCI-property, particularly for the group $\mathrm{D}_{6p}$ with $p>3$ a prime. The enumeration involves detailed analysis of cycle numbers of automorphisms and their actions on the group elements, culminating in a precise count of non-isomorphic digraphs.