Showing 20 papers (Total: 83400 papers, 48159 authors in database)
Linear operators preserving volume polynomials
We study linear operators preserving the property of being a volume polynomial. More, precisely we show that a linear operator preserves this property if the associated symbol is itself a volume polynomial. This can be seen as an analogue to theorems by Borcea-Brändén and Brändén-Huh for stable polynomials and Lorentzian polynomials, respectively.
A unified convention for achievement positional games
We introduce achievement positional games, a convention for positional games which encompasses the Maker-Maker and Maker-Breaker conventions. We consider two hypergraphs, one red and one blue, on the same vertex set. Two players, Left and Right, take turns picking a previously unpicked vertex. Whoever first fills an edge of their color, blue for Left or red for Right, wins the game (draws are possible). We establish general properties of such games. In particular, we show that a lot of principles which hold for Maker-Maker games generalize to achievement positional games. We also study the algorithmic complexity of deciding whether Left has a winning strategy as first player when all blue edges have size at mot $p$ and all red edges have size at most $q$. This problem is in P for $p,q \leq 2$, but it is NP-hard for $p \geq 3$ and $q=2$, coNP-complete for $p=2$ and $q \geq 3$, and PSPACE-complete for $p,q \geq 3$. A consequence of this last result is that, in the Maker-Maker convention, deciding whether the first player has a winning strategy on a hypergraph of rank 4 after one round of (non-optimal) play is PSPACE-complete.
Odd spanning trees of a graph
A graph $G=(V,E)$ is said to be odd (or even, resp.) if $d_G(v)$ is odd (or even, resp.) for any $v\in V$. Trivially, the order of an odd graph must be even. In this paper, we show that every 4-edge connected graph of even order has a connected odd factor. A spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST by simply) if $T$ contains no vertex of degree two. Trivially, an odd spanning tree must be a HIST. In 1990, Albertson, Berman, Hutchinson, and Thomassen showed that every connected graph of order $n$ with $δ(G)\geq \min\{\frac n 2, 4\sqrt{2n}\}$ contains a HIST.
We show that every complete bipartite graph with both parts being even has no odd spanning tree, thereby for any even integer $n$ divisible by 4, there exists a graph of order $n$ with the minimum degree $\frac n 2$ having no odd spanning tree. Furthermore, we show that every graph of order $n$ with $δ(G)\geq \frac n 2 +1$ has an odd spanning tree. We also characterize all split graphs having an odd spanning tree. As an application, for any graph $G$ with diameter at least 4, $\overline{G}$ has a spanning odd double star. Finally, we also give a necessary and sufficient condition for a triangle-free graph $G$ whose complement contains an odd spanning tree. A number of related open problems are proposed.
Solving tiling enumeration problems by tensor network contractions
This paper presents an algorithm for computing the contraction of two-dimensional tensor networks on a square lattice; and we combine it with solving congruence equations to compute the exact enumeration (including weighted enumeration) of Wang tilings. Based on this, the paper demonstrates how to transform other tiling enumeration problems (such as those of polyominoes) into Wang tiling enumeration problems, thereby solving them using this algorithm.
Our algorithm extends the sequence length records for dozens of sequences defined by polyomino tiling enumeration on chessboards on the OEIS website, covering numerous of different polyomino sets, including I-polyominoes, tetrominoes, pentominoes, etc. This demonstrates the high efficiency and strong universality of the algorithm for solving exact tiling enumeration problems.
In addition, the theory and techniques used in the algorithm establish a bridge between tensor network contractions and tiling enumeration, where the former provides a theoretical foundation for solving problems in the latter, while the latter offers an intuitive combinatorial interpretation of the former.
The intersection density of cubic arc-transitive graphs with $2$-arc-regular full automorphism group equal to $\operatorname{PGL}_2(q)$
Published
• View Publication
• BIB
The \emph{intersection density} of a transitive permutation group $G\leq \operatorname{Sym}(Ω)$ is the ratio between the largest size of a subset of $G$ in which any two agree on at least one element of $Ω$, and the order of a point-stabilizer of $G$. In this paper, we determine the intersection densities of the automorphism group of the arc-transitive graphs admitting a $2$-arc-regular full automorphism group $G^* = \operatorname{PGL}_2(q)$ and an arc-regular subgroup of automorphism $G = \operatorname{PSL}_2(q)$.
Efficient reconstruction of the characteristic polynomial
The polynomial reconstruction problem, introduced by Cvetković in 1973, asks whether the characteristic polynomial $φ^G$ of a graph $G$ with at least $3$ vertices can be reconstructed from the polynomial deck $\{φ^{G \setminus i}\}_{i \in V(G)}$. In this work, we prove that $φ^G \pmod{4}$ can be reconstructed from the polynomial deck if the number of vertices in $G$ is even or if the rank of the walk matrix of $G$ over $\mathbb{F}_2$ is less than $\lceil n/2 \rceil$. We also prove that for every graph $G$, $φ^{\overline{G}}\pmod{4}$ can be computed from $φ^G\pmod{4}$, strengthening a recent result by Ji, Tang, Wang and Zhang. Finally, Hagos showed that the pair of characteristic polynomials $(φ^G, φ^{\overline{G}})$ is reconstructible from the generalized polynomial deck $\{(φ^{G \setminus i}, φ^{\overline{G} \setminus i})\}_{i \in V(G)}$. We also present an efficient version of this result that requires less information.
On the maximum spectral radius of connected graphs with a prescribed order and size
Published in Filomat 39 (2025) 12281-12297
• View Publication
• BIB
The spectral radius of a graph is the largest modulus of an eigenvalue of its adjacency matrix. Let $\mathcal{C}_{n, e}$ be the set of all the connected simple graphs with $n$ vertices and $n - 1 + e$ edges. Here, we solve the spectral radius maximization problem on $\mathcal{C}_{n, e}$ when $e \le 130$ or $n \ge e + 2 + 13\sqrt{e}$.
The graph zeta functions with respect to the group matrix of a finite group
In this paper, we present formulas for the edge zeta function and the second weighted zeta function with respect to the group matrix of a finite abelian group $Γ$. Furthermore, we give another proof of Dedekind Theorem for the group determinant of $Γ$ by the decomposition formula for a matrix of a group covering of a digraph. Finally, we treat the weighted complexity of the complete graph with entries of the group matrix of $Γ$ as arc weights.
Minimum saturated graphs without $4$-cycles and $5$-cycles
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $F\in\mathcal{F}$ within $G$. The minimum size of an $\mathcal{F}$-saturated graph on $n$ vertices is called the saturation number, denoted by $\mbox{sat}(n, \mathcal{F})$. Let $C_r$ be the cycle of length $r$. In this paper, we study on $\mbox{sat}(n, \mathcal{F})$ when $\mathcal{F}$ is a family of cycles. In particular, we determine that $\mbox{sat}(n, \{C_4,C_5\})=\lceil\frac{5n}{4}-\frac{3}{2}\rceil$ for any positive integer $n$.
Vertex Partitioning and $p$-Energy of Graphs
Published
• View Publication
• BIB
For a Hermitian matrix $A$ of order $n$ with eigenvalues $λ_1(A)\ge \cdots\ge λ_n(A)$, define \[ \mathcal{E}_p^+(A)=\sum_{λ_i > 0} λ_i^p(A), \quad \mathcal{E}_p^-(A)=\sum_{λ_i<0} |λ_i(A)|^p,\] to be the positive and the negative $p$-energy of $A$, respectively. In this note, first we show that if $A=[A_{ij}]_{i,j=1}^k$, where $A_{ii}$ are square matrices, then \[ \mathcal{E}_p^+(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^+(A_{ii}), \quad \mathcal{E}_p^-(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^-(A_{ii}),\] for any real number $p\geq 1$. We then apply the previous inequality to establish lower bounds for $p$-energy of the adjacency matrix of graphs.
Separation Number and Treewidth, Revisited
Published
• View Publication
• BIB
We give a constructive proof of the fact that the treewidth of a graph $G$ is bounded by a linear function of the separation number of $G$.
Congruences on posets, relatively pseudocomplemented and Boolean posets
Published
• View Publication
• BIB
The aim of the present paper is to extend the concept of a congruence from lattices to posets. We use an approach different from that used by the first author and V. Snášel. By using our definition we show that congruence classes are convex. If the poset in question satisfies the Ascending Chain Condition as well as the Descending Chain Condition, then these classes turn out to be intervals. If the poset has a top element 1 then the 1-class of every congruence is a so-called strong filter. We study congruences on relatively pseudocomplemented posets which form a formalization of intuitionistic logic. For such posets we define so-called deductive systems and we show how they are connected with congruence kernels. We prove that every strong filter F of a relatively pseudocomplemented poset induces a congruence having F as its kernel. Finally, we consider Boolean posets which form a natural generalization of Boolean algebras. We show that congruences on Boolean posets in general do not share properties known from Boolean algebras, but congruence kernels of Boolean posets still have some interesting properties.
A Note on Mixed Cages of Girth 5
Published
• View Publication
• BIB
A mixed regular graph is a graph where every vertex has $z$ incoming arcs, $z$ outgoing arcs, and $r$ edges; furthermore, if it has girth $g$, we say that the graph is a \emph{$[z,r;g]$-mixed graph}. A \emph{$[z,r;g]$-mixed cage} is a $[z,r;g]$-mixed graph with the smallest possible order. In this note, we give a family of $[z,q;5]$-mixed graphs for $q\geq 7$ power of prime and $q-1\leq 4z+R$ with $z\geq 1$ and $R \in \{1,\ldots,5\}$. This provides better upper bounds on the order of mixed cages until this moment.
Characterizing simplex graphs
The simplex graph $S(G)$ of a graph $G$ is defined as the graph whose vertices are the cliques of $G$ (including the empty set), with two vertices being adjacent if, as cliques of $G$, they differ in exactly one vertex. Simplex graphs form a subclass of median graphs and include many well-known families of graphs, such as gear graphs, Fibonacci cubes and Lucas cubes.
In this paper, we characterize simplex graphs from four different perspectives: the first focuses on a graph class associated with downwards-closed sets -- namely, the daisy cubes; the second identifies all forbidden partial cube-minors of simplex graphs; the third is from the perspective of the $Θ$ equivalent classes; and the fourth explores the relationship between the maximum degree and the isometric dimension. Furthermore, very recently, Betre et al.\ [K. H. Betre, Y. X. Zhang, C. Edmond, Pure simplicial and clique complexes with a fixed number of facets, 2024, arXiv: 2411.12945v1] proved that an abstract simplicial complex (i.e., an independence system) of a finite set can be represented to a clique complex of a graph if and only if it satisfies the Weak Median Property. As a corollary, we rederive this result by using the graph-theoretical method.
On high discrepancy $1$-factorizations of complete graphs
We proved that for every sufficiently large $n$, the complete graph $K_{2n}$ with an arbitrary edge signing $σ: E(K_{2n}) \to \{-1, +1\}$ admits a high discrepancy $1$-factor decomposition. That is, there exists a universal constant $c > 0$ such that every edge-signed $K_{2n}$ has a perfect matching decomposition $\{ψ_1, \ldots, ψ_{2n-1}\}$, where for each perfect matching $ψ_i$, the discrepancy $\lvert \frac{1}{n} \sum_{e\in E(ψ_i)} σ(e) \rvert$ is at least $c$.
Hankel Determinants for Convolution of Power Series: An Extension of Cigler's Results
Cigler considered certain shifted Hankel determinants of convolution powers of Catalan numbers and conjectured identities for these determinants. Recently, Fulmek gave a bijective proof of Cigler's conjecture. Cigler then provided a computational proof. We extend Cigler's determinant identities to the convolution of general power series $F(x)$, where $F(x)$ satisfies a certain type of quadratic equation. As an application, we present the Hankel determinant identities of convolution powers of Motzkin numbers.
Pullback parking functions
Published in American Journal of Combinatorics Vol. 4 (2025) 1--22
• View Publication
• BIB
We introduce a generalization of parking functions in which cars are limited in their movement backwards and forwards by two nonnegative integer parameters $k$ and $\ell$, respectively. In this setting, there are $n$ spots on a one-way street and $m$ cars attempting to park in those spots, and $1\leq m\leq n$. We let $α=(a_1,a_2,\ldots,a_m)\in[n]^m$ denote the parking preferences for the cars, which enter the street sequentially. Car $i$ drives to their preference $a_i$ and parks there if the spot is available. Otherwise, car $i$ checks up to $k$ spots behind their preference, parking in the first available spot it encounters if any. If no spots are available, or the car reaches the start of the street, then the car returns to its preference and attempts to park in the first spot it encounters among spots $a_i+1,a_i+2,\ldots,a_i+\ell$. If car $i$ fails to park, then parking ceases. If all cars are able to park given the preferences in $α$, then $α$ is called a $(k,\ell)$-pullback $(m,n)$-parking function. Our main result establishes counts for these parking functions in two ways: counting them based on their final parking outcome (the order in which the cars park on the street), and via a recursive formula. Specializing $\ell=n-1$, our result gives a new formula for the number of $k$-Naples $(m,n)$-parking functions and further specializing $m=n$ recovers a formula for the number of $k$-Naples parking functions given by Christensen et al. The specialization of $k=\ell=1$, gives a formula for the number of vacillating $(m,n)$-parking functions, a generalization of vacillating parking functions studied by Fang et al., and the $m=n$ result answers a problem posed by the authors. We conclude with a few directions for further study.
Cycle Patterns and Mean Payoff Games
We introduce the concept of a \emph{cycle pattern} for directed graphs as functions from the set of cycles to the set $\{-,0,+\}$. The key example for such a pattern is derived from a weight function, giving rise to the sign of the total weight of the edges for each cycle. Hence, cycle patterns describe a fundamental structure of a weighted digraph, and they arise naturally in games on graphs, in particular parity games, mean payoff games, and energy games.
Our contribution is threefold: we analyze the structure and derive hardness results for the realization of cycle patterns by weight functions. Then we use them to show hardness of solving games given the limited information of a cycle pattern. Finally, we identify a novel geometric hardness measure for solving mean payoff games (MPG) using the framework of linear decision trees, and use cycle patterns to derive lower bounds with respect to this measure, for large classes of algorithms for MPGs.
On almost Gallai colourings in complete graphs
For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube.
Universality for catalytic equations and fully parked trees
We show that critical parking trees conditioned to be fully parked converge in the scaling limits towards the Brownian growth-fragmentation tree, a self-similar Markov tree different from Aldous' Brownian tree recently introduced and studied by Bertoin, Curien and Riera. As a by-product of our study, we prove that positive non-linear polynomial equations involving a catalytic variable display a universal polynomial exponent $5/2$ at their singularity, confirming a conjecture by Chapuy, Schaeffer and Drmota & Hainzl. Compared to previous analytical works on the subject, our approach is probabilistic and exploits an underlying random walk hidden in the random tree model.