Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Local obstructions in sequences revisited
In this article, we consider some simple combinatorial game and a winning strategy in this game. This game is then used to prove several known results about non-repetitive sequences and approximations with denominators from a lacunary sequence. In this way we simplify the proofs, improve the bounds and get for free the computable versions that required a separate treatment.
On the order of the shortest solution sequences for the pebble motion problems
Let $G$ be a connected graph with $N$ vertices. Let $k$ be the number of vertices in a longest path of $G$ such that every vertex on the path is a cut vertex of $G$, and every intermediate vertex of the path is a degree-two vertex of $G$. We conventionally set $k = 1$ when $G$ is $2$-edge-connected. Let $P=\{1,\ldots,n\}$ be a set of pebbles with $k < N-n$. A \textit{configuration} of $P$ on $G$ is defined as a function $f$ from $V(G)$ to $\{0, 1, \ldots, n \}$ with $|f^{-1}(i)| = 1$ for $1 \le i \le n$, where $f^{-1}(i)$ is a vertex occupied with the $i$th pebble for $1 \le i \le n$ and $f^{-1}(0)$ is a set of unoccupied vertices. A \textit{move} is defined as shifting a pebble from a vertex to some unoccupied neighbor. The {\it pebble motion problem on the pair $(G,P)$} is to decide whether a given configuration of pebbles is reachable from another by executing a sequence of moves. Let $\D(G)$ denote the diameter of the graph $G$, and let $\CL(G)$ denote the maximum length of a shortest cycle containing a vertex $v$, taken over all vertices $v$ in all $2$-connected components of $G$. For completeness, we define $\CL(G) := 1$ when $G$ is a tree. In this paper, we show that the length of the shortest solution sequences for the pebble motion problem on a pair $(G, P)$ is in $\Ord\left(n\D(G) + \min\left\{k n \D(G),\ n^{2} \log\big(1+\min\{n, k\}\big)\right\}\right)$ if $G$ is an $N$-vertex tree, and in $\Ord\left(n\D(G)+\frac{n^2\min\{n,\CL(G)\}}{N-n}+n^2\log(1+\min\{n, N-n\})\right)$ if $G$ is a connected general $N$-vertex graph. Furthermore, in the case where $G$ is a connected general $N$-vertex graph and the number of unoccupied spaces $N - n$ is bounded by some constant, this length admits an upper bound of $\Ord(n \CL(G) \D(G))$.
Keywords: pebble motion, motion planning, multi-agent path finding, $15$-puzzle, tree
Orthogonalisability of joins of graphs
Published
• View Publication
• BIB
A graph is said to be orthogonalisable if the set of real symmetric matrices whose off-diagonal pattern is prescribed by its edges contains an orthogonal matrix. We determine some necessary and some sufficient conditions on the sizes of the connected components of two graphs for their join to be orthogonalisable. In some cases, those conditions coincide, and we present several families of joins of graphs that are orthogonalisable.
Fractional coloring of product signed graphs
This study examines the fractional chromatic number associated with the direct product of signed graphs. It shows that if $(H,τ)$ is a signed circulant graph $G(n,S,T)$, then for any signed graph $(G,σ)$, the fractional chromatic number of their direct product is the lower number between the fractional chromatic number of $(G,σ)$ and $(H,τ)$.
Hereditary classes of graphs and matroids with finitely many exclusions
A class $\mathcal{G}$ of graphs closed under taking induced subgraphs is called hereditary. We denote by $\mathcal{G}^\mathrm{add}$ the class of graphs at most one edge addition away from $\mathcal{G}$, and by $\mathcal{G}^\mathrm{epex}$ the class of graphs at most one edge deletion away. We previously showed that if $\mathcal{G}$ has finitely many forbidden induced subgraphs, then so does the hereditary class $\mathcal{G}^\mathrm{epex}$. In this paper, we prove the corresponding result for $\mathcal{G}^\mathrm{add}$. Consequently, we show that the class of graphs within a fixed number of vertex deletions, edge deletions, and edge additions from $\mathcal{G}$ also has finitely many forbidden induced subgraphs provided that $\mathcal{G}$ does. We also present the binary and ternary matroid analogue of this result.
Additionally, if $\mathcal{G}$ is closed under complementation, the forbidden induced subgraphs of $\mathcal{G}^\mathrm{add}$ and $\mathcal{G}^\mathrm{epex}$ are complements of each other. We provide explicit lists of the forbidden induced subgraphs for $\mathcal{G}^\mathrm{add}$, and consequently for $\mathcal{G}^\mathrm{epex}$, when $\mathcal{G}$ is the class of split graphs, cographs, or threshold graphs. Following Gyárfás's framework, we introduce $(p,q)$-edge split graphs, analogous to his $(p,q)$-split graphs, and prove they have finitely many forbidden induced subgraphs.
Density of linearity index in the interval of matching numbers
Published
• View Publication
• BIB
Given integers $2 \leq p \leq c \leq q$, we construct a finite simple graph $G$ with $ν_1(G) = p$ and $ν(G) = q$ for which the squarefree power $I(G)^{[k]}$ of the edge ideal $I(G)$ of $G$ has linear quotients for each $c \leq k \leq q$ and is not linearly related for each $1 \leq k < c$, where $ν_1(G)$ is the induced matching number of $G$ and $ν(G)$ is the matching number of $G$.
Totally Disjoint 3-Digit Decimal Check Digit Codes
In 1969 J. Verhoeff provided the first examples of a decimal error detecting code using a single check digit to provide protection against all single, transposition and adjacent twin errors. The three versions of such a code that he presented are length 3-digit codes with 2 information digits. Existence of a 4-digit code would imply the existence of 10 such disjoint 3-digit codes. This paper presents 3 pairwise disjoint 3-digit codes. The codes developed herein, have the property that the knowledge of the multiset of digits included in a word is sufficient to determine the entire codeword even though their positions were unknown. Thus the codes are permutation-free, and this fulfills Verhoeff's desire to eliminate "cyclic errors". Phonetic errors, where 2 digit pairs of the forms X0 and 1X are interchanged, are also eliminated.
Disperse Hypergraphs
Published
• View Publication
• BIB
For $\ell \geq 3$, an $\ell$-uniform hypergraph is disperse if the number of edges induced by any set of $\ell+1$ vertices is 0, 1, $\ell$ or $\ell+1$. We show that every disperse $\ell$-uniform hypergraph on $n$ vertices contains a clique or independent set of size $n^{Ω_{\ell}(1)}$, answering a question of the first author and Tomon. To this end, we prove several structural properties of disperse hypergraphs.
Permutons, meanders, and SLE-decorated Liouville quantum gravity
Published in J. Eur. Math. Soc. 28 (2026), no. 11, pp. 4893-4949
• View Publication
• BIB
We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times.
We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.
Solutions of inhomogeneous linear difference equations using Green's functions
We present a general formula for the particular solution of an inhomogeneous linear difference equation with variable coefficients. The answer is expressed as a weighted sum of fundamental solutions of the associated linear difference equation. This corresponds to an initial value problem in the case of linear differential equations. We remark that Green's functions are naturally suited for solving such problems. This note presents a Green's function formalism to solve an inhomogeneous linear difference equation with variable coefficients. Both the retarded and advanced Green's functions are required, to obtain a complete solution. We independently confirm previous work for the case of linear difference equations with constant coefficients.
Isodiametric inequality for vector spaces
Published
• View Publication
• BIB
A theorem of Kleitman states that a collection of binary vectors with diameter d has cardinality at most that of a Hamming ball of radius d/2. In this paper, we give a q-analog of it.
Maximum number of edge colorings avoiding rainbow copies of $K_4$
In this paper we show that for $r\geq 12$ and any sufficiently large $n$-vertex graph $G$ the number of $r$-edge-colorings of $G$ with no rainbow $K_4$ is at most $r^{ex(n,K_4)}$, where $ex(n,K_4)$ denotes the Turán number of $K_4$. Moreover, $G$ attains equality if and only if it is the Turán graph $T_3(n)$.
The bound on the number of colors $r\geq 12$ is best possible. It improves upon a result of H. Lefmann, D.A. Nolibos, and the second author who showed the same result for $r \geq 5434$ and it confirms a conjecture by Gupta, Pehova, Powierski and Staden.
Block diagonally symmetric lozenge tilings
Published
• View Publication
• BIB
We introduce a new symmetry class of both boxed plane partitions and lozenge tilings of a hexagon, called the $\mathbf{r}$-block diagonal symmetry class, where $\mathbf{r}$ is an $n$-tuple of non-negative integers. We prove that the tiling generating function of this symmetry class under a certain weight assignment is given by a simple product formula. As a consequence, the volume generating function of $\mathbf{r}$-block symmetric plane partitions is obtained. Additionally, we consider $(\mathbf{r},\mathbf{r^{\prime}})$-block diagonally symmetric lozenge tilings by embedding the hexagon into a cylinder and present an identity for the signed enumeration of this symmetry class in specific cases. Two methods are provided to study this symmetry class: (1) the method of non-intersecting lattice paths with a modification, and (2) interpreting weighted lozenge tilings algebraically as (skew) Schur polynomials and applying the dual Pieri rule.
Boundary measurements of positive networks on a cylinder of maximal rank 2 and 3
Boundary measurement matrices associated to networks on a plane correspond to certain totally nonnegative Grassmannians as shown previously by A. Postnikov. In this paper, we look to generalize this result by categorizing the boundary measurements associated to networks on a cylinder of maximal rank 2 and 3. In particular, we show that the maximal rank 3 matrices associated to networks on a cylinder are precisely the matrices in which every odd-dimensional minor is nonnegative.
Invariant theory for wreath products acting on superpolynomials
This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series for the $G$-invariant subalgebra turns out to determine the analogous Hilbert series for the wreath product $P[G]$ acting on $V^n$ for any permutation group $P$ inside the symmetric group $S_n$ on $n$ letters.
This leads to a structural result: one can collate the direct sum for all $n$ of the $S_n[G]$-invariant subalgebras to form a graded ring via an external shuffle product, whose structure turns out to be a superpolynomial algebra generated by the $G$-invariants. A parallel statement holds for the direct sum of all $S_n[G]$-antiinvariants, which forms a graded ring via an external signed shuffle product, isomorphic to the superexterior algebra generated by the $G$-invariants.
The chromatic symmetric function of graphs glued at a single vertex
Published
• View Publication
• BIB
We describe how the chromatic symmetric function of two graphs glued at a single vertex can be expressed as a matrix multiplication using certain information of the two individual graphs. We then prove new $e$-positivity results by using a connection between forest triples, defined by the first author, and Hikita's probabilities associated to standard Young tableaux. Specifically, we prove that gluing a sequence of unit interval graphs and cycles results in an $e$-positive graph. We also prove $e$-positivity for a graph obtained by gluing the first and last vertices of such a sequence. This generalizes $e$-positivity of cycle-chord graphs and supports Ellzey's conjectured $e$-positivity for proper circular arc digraphs.
Three algorithmic approaches to the general position problem
Published in Bull. Aust. Math. Soc. 113 (2026) 1-9
• View Publication
• BIB
If $G$ is a graph, then $X\subseteq V(G)$ is a general position set if for every two vertices $v,u\in X$ and every shortest $(u,v)$-path $P$, it holds that no inner vertex of $P$ lies in $X$. In this note we propose three algorithms to compute a largest general position set in $G$: an integer linear programming algorithm, a genetic algorithm, and a simulated annealing algorithm. These approaches are supported by examples from different areas of graph theory.
Obstructions for homomorphisms to odd cycles in series-parallel graphs
Published
• View Publication
• BIB
For a graph $H$, an $H$-colouring of a graph $G$ is a vertex map $φ:V(G) \to V(H)$ such that adjacent vertices are mapped to adjacent vertices. A graph $G$ is $C_{2k+1}$-critical if $G$ has no $C_{2k+1}$-colouring but every proper subgraph of $G$ has a $C_{2k+1}$-colouring. We prove a structural characterisation of $C_{2k+1}$-critical graphs when $k \geq 2$. In the case that $k = 2$, we use the aforementioned charazterisation to show a $C_3$-free series-parallel graph $G$ has a $C_5$-colouring if either $G$ has neither $C_8$ nor $C_{10}$, or $G$ has no two $5$-cycles sharing a vertex.
The $g$-good-neighbor diagnosability of product networks under the PMC model
Published
• View Publication
• BIB
The concept of neighbor connectivity originated from the assessment of the subversion of espionage networks caused by underground resistance movements, and it has now been applied to measure the disruption of networks caused by cascading failures through neighbors. In this paper, we give two necessary and sufficient conditions of the existance of $g$-good-neighbor diagnosability. We introduce a new concept called $g$-good neighbor cut-component number (gc number for short), which has close relation with $g$-good-neighbor diagnosability. Sharp lower and upper bounds of the gc number of general graphs in terms of the $g$-good neighbor connectivity is given, which provides a formula to compute the $g$-good-neighbor diagnosability for general graphs (therefore for Cartesian product graphs). As their applications, we get the exact values or bounds for the gc numbers and $g$-good-neighbor diagnosability of grid, torus networks and generalized cubes.
The maximum spectral radius of $θ_{2,2,3}$-free graphs with given size
Published
• View Publication
• BIB
A theta graph $θ_{r,p,q}$ is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $r,p,q$, where $q\geq p\geq r\geq1$ and $p\geq2$. A graph is $θ_{r,p,q}$-free if it does not contain $θ_{r,p,q}$ as a subgraph. The maximum spectral radius of $θ_{1,p,q}$-free graphs with given size has been determined for any $q\geq p\geq2$. Zhai, Lin and Shu [Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs, European J. Combin. 95 (2021) 103322] characterized the extremal graph with the maximum spectral radius of $θ_{2,2,2}$-free graphs having $m$ edges. In this paper, we consider the maximum spectral radius of $θ_{2,2,3}$-free graphs with size $m$ and characterize the extremal graph.