Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Algorithms for the Maximum Edge Open Packing Problem
Packing problems form a central theme in graph theory, owing to their relevance in
modeling conflict-free resource allocation, network design, and communication
constraints. Motivated by applications in wireless networks where each device can
participate in at most one communication at a time and simultaneous links must
avoid interference we consider a generalization of induced matching known as
\emph{edge open packing}. Two edges of a graph are said to conflict if a third
edge connects one endpoint of each; an \emph{edge open packing set} is a set of
edges containing no such conflicting pair. The largest cardinality of such a set
is the \emph{edge open packing number} of a graph.
In this work, we study the computational complexity of the Maximum Edge Open
Packing Problem. We give a polynomial-time algorithm for the problem in
\emph{distance-hereditary graphs}, exploiting their canonical decomposition via
twin-set interactions. We further show that the problem remains polynomial-time
solvable on \emph{biconvex bipartite graphs}, thereby identifying a tractable
subclass within bipartite graphs, in contrast to the known NP-hardness of the
problem on Eulerian bipartite graphs. Finally, we initiate the parameterized
complexity study of the problem and present a fixed-parameter tractable algorithm
for \emph{chordal graphs}, parameterized by the clique number $ω$, running
in $O(2^ω\cdot\mathrm{poly}(n))$ time.
On a conjecture on $k$-antichains in the unit $n$-cube
Let $[0, 1]^{n} \subseteq \mathbb{R}^{n}$ be endowed with its pointwise order, and let $k$ be a positive integer. A subset $A$ of $[0, 1]^{n}$ is said to be a \emph{$k$-antichain} if $\operatorname{card}(A \cap C) \leq k$ for each chain $C \subseteq [0, 1]^{n}$. Letting $\mathcal{H}^{m}$ denote the $m$-dimensional Hausdorff outer measure, Pelekis and Vlasák [Publ.\ Math.\ Debrecen, 2020] conjectured that there exists a $k$-antichain $A \subseteq [0, 1]^{n}$ satisfying $\mathcal{H}^{n-1}(A) = k n$, and proved the special case of this conjecture for $n = 2$, whereas Janzer [Mathematika, 2020] proved the $k = 1$ case of Pelekis and Vlasák's conjecture. This conjecture is motivated by a result due to Erdős on $k$-antichains in $\{ 0, 1 \}^{n}$. We prove Pelekis and Vlasák's conjecture in full generality, thus establishing that their upper bound $\mathcal{H}^{n-1}(A) \leq k n$ is sharp for $k$-antichains $A$ in $[0, 1]^{n}$.
Chordality, syzygies, and shellability for hypergraphic analogues of interval graphs
Interval graphs are a special class of chordal graphs, and hence have connections to commutative algebra via Fröberg's theorem that characterizes linear resolutions of squarefree quadratic ideals. In recent years, several hypergraphic analogues of interval and chordal graphs have been proposed, in part as an effort to extend Fröberg's theorem to ideals generated in higher degree. In this paper, we study two such classes from the literature, cointerval hypergraphs and underclosed complexes, and show that they are in fact equivalent up to complementation. We then consider their place in the broader theory of higher-dimensional chordality, proving that an underclosed clutter is chordal in the sense of Woodroofe. As a consequence, we answer a question of Dochtermann and Engström by showing that the associated Alexander dual complexes are vertex decomposable, implying that the corresponding circuit ideals have linear quotients. We furthermore show that these dual complexes have shellings induced by their underclosed vertex orders.
Structure of Cayley Codes
Cayley codes, introduced by Kaufman and Wigderson, are linear codes constructed from a Cayley graph and a smaller linear code. We explore general properties of the class of Cayley codes for finite groups. In particular we give a reduction to Cayley codes for connected Cayley graphs that maintains code properties such as rate, minimum distance and symmetry. Also, for a given Cayley code, we identify a family of symmetric Cayley codes, each associated with a normal edge-transitive Cayley graph, such that the given Cayley code embeds into the direct sum of the symmetric Cayley codes. We analyse several families of examples, in particular studying the behaviour of the Cayley code construction under forming direct products and cartesian products of Cayley graphs, and we pose a number of open questions.
A reduced planar body with area greater than $πΔ^2/4$
We construct a reduced planar convex body $R$ with thickness $Δ(R)=1$ and \[\operatorname{area}(R)=0.786215\ldots>0.785398\ldots=\fracπ{4}.\] Thus $R$ is a counterexample to Lassak's conjectured upper bound $\operatorname{area}\le(π/4)Δ^2$ for planar reduced bodies. The construction is given by an explicit support function, and the proofs use only elementary support-function, width, area, and contact-point computations.
The Andersen-Hoffman Theorem for Equitable Rectangles
More than forty years ago, Andersen and Hoffman independently proved that every symmetric Latin rectangle can be extended to a symmetric Latin square with prescribed diagonal entries. We generalize this theorem as follows. Let $k\leq n^2$, and let $M$ be an $n\times n$ array whose top-left $r\times r$ subarray is filled with symbols from $\{1,2,\ldots,k\}$. Suppose that, for each $i\in\{1,\ldots,r\}$ and each symbol, the number of occurrences of that symbol in row $i$ equals its number of occurrences in column $i$, and that each remaining diagonal entry is either empty or already contains a symbol from $\{1,\ldots,k\}$. We establish necessary and sufficient conditions for completing $M$ so that the resulting array is symmetric off the prescribed $r\times r$ subarray, each symbol occurs a specified total number of times in $M$, and, for every symbol, its numbers of occurrences in any two rows (respectively, columns) differ by at most one.
Restricted to symmetric arrays, our theorem generalizes results of Cruse (1974), Goldwasser et al. (2015), and Bahmanian and Hilton (2025). It also extends Baranyai's theorem for complete graphs (1973) by characterizing when a partial coloring of $K_r$ with a loop on every vertex can be extended to an almost regular coloring of $K_n$ with a loop on every vertex, where $n\geq r$.
The Thickness of Infinite Sidon Sets
Let $γ\ge 1$. A set $A$ of nonnegative integers is a Sidon set if for each $d>0$ there is at most one pair $(a,b) \in A \times A$ with $d=a-b$. If there are at most $γ$ pairs, then $A$ is a $γ$-Golomb ruler. We prove that if $A$ is a $γ$-Golomb ruler, then \[\liminf_{n\to\infty} \frac{|A\cap[0,n)|}{\sqrt{n/\log n}} \le \frac{2}{\sqrt{\log 2}} \sqrtγ.\] There is a $γ$-Golomb ruler $G$ with \[ \limsup_{n\to\infty} \frac{|G\cap[0,n)|}{\sqrt n} \ge \frac{1}{\sqrt2} \sqrtγ.\]
Linkage problem on optimal $1$-planar graphs
Enami and Maezawa give a complete characterization of $(s_1, s_2, \ldots, s_k)$-linked planar graphs for any $k$-tuple of positive integers. In this paper, we investigate linkage problems for optimal 1-planar graphs. In particular, we show that every optimal 1-planar graph with connectivity $6$ is $(5, 5)$-linked. Moreover, for an optimal $1$-planar graph $G$ that is not $(2,2,1)$-linked, we characterize disjoint vertex subsets $S_1, S_2, S_3$ in $G$ with $|S_1|=|S_2|=2$ and $|S_3|=1$ such that $G$ is not $\{S_1,S_2,S_3\}$-linked.
Separable integer partition classes and Slater's list -- II
Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.
Another proof of the result on rotation compatible planar covers
Negami's Planar Cover Conjecture asserts that a connected graph has a finite planar cover if and only if it can be embedded on the projective plane. While this statement has already been proven for rotation compatible planar covers, namely covers equipped with a certain condition on the rotation system, the existing proof relies on advanced algebraic and topological methods. In this paper, we provide another proof of this result, focusing primarily on combinatorial arguments based on a structural analysis with respect to a spanning tree in the base graph.
The Existence of Diagonal Quantum Latin Squares with Maximum Cardinality
A quantum Latin square of order \(n\), denoted by \(\operatorname{QLS}(n)\), is an \(n \times n\) square whose entries are unit column vectors in the \(n\)-dimensional Hilbert space \(\mathcal{H}_n\), such that each row and each column forms an orthonormal basis of \(\mathcal{H}_n\). The cardinality of a QLS($n$) is the number of distinct vectors up to a global phase in the array. A \(\mathrm{QLS}(n)\) whose main diagonal and anti-diagonal each forms an orthonormal basis of \(\mathcal{H}_n\) is called a diagonal quantum Latin square (\(\mathrm{DQLS}(n)\)). In this paper, we focus on the existence of the \(\mathrm{DQLS}(n)\) with maximum cardinality ($\mathrm{MCDQLS}(n)$). By employing direct constructions based on row-quantum Latin rectangle and special complete mapping, together with the recursive techniques such as the singular direct product construction, We have almost completely determined the existence of \(\mathrm{MCDQLS}(n)\), except for a few exceptional cases. This result is based on the study of the existence of idempotent \(\mathrm{QLS}(n)\) with maximum cardinality (\(\mathrm{MCQLS}(n)\)), and implies an existence result for pandiagonal quantum Latin squares with maximum cardinality (\(\mathrm{MCPQLS}(n)\)).
Unimodular matrices and lattice paths enumeration via Pascal's triangle
Published in Communications in Combinatorics and Optimization, 2026
• View Publication
• BIB
This article investigates a remarkable combinatorial identity involving a distinguished family of matrices whose entries are defined via binomial coefficients. Specifically, we consider a class of \( n \times n \) matrices parameterized by a positive integer \( m \), where each entry reflects a structured pattern derived from Pascal's triangle, particularly the diagonals corresponding to figurate numbers such as triangular, tetrahedral, and higher-dimensional simplex numbers. We establish, by means of a bijective argument, that the determinant of any such matrix is identically equal to \( 1 \), independent of the specific values of \( m \) and \( n \), provided that \( 2 \leq m \leq n \). This result unveils a profound connection between classical binomial identities and the enumeration of lattice paths in grid graphs.
Critical percolation on preferential attachment graphs with infinite variance
We study the inhomogeneous random graph with preferential attachment kernel and degree distribution with power-law exponent $τ\in(2,3)$ as a representative of the class of graphs of preferential attachment type with infinite variance degrees. Under bond percolation with a positive retention probability independent of the size $n$ of the graph there is a unique macroscopic component with high probability. We therefore investigate percolation probabilities $p_n\downarrow0$. We identify a moving critical window at $p_c \sim βn^{(τ-3)/(2τ-2)}$. Above this window, when $p_n \gg p_c$, the maximal component has size of order $n p^{_{(τ-1)/(3-τ)}}_{_n}$ and it is unique. Below this window, when $n^{1/(1-τ)} \ll p_n \ll p_c$, it is non-unique, star-shaped and has size of order $n^{1/(τ-1)} p_n$. In the critical window itself, the largest component scaled by $\sqrt{n}$ converges in distribution to a positive random variable with a law given in terms of a subcritical Norros-Reittu graph. This behaviour is markedly different from that seen for other classes of scale-free graphs and is conjectured to persist throughout the broad class of growing graphs with infinite variance.
Transversal Difference Numbers in Finite Abelian Quotients
Given \(H\leq G\) finite abelian groups, a transversal \(T\subseteq G\) for \(G/H\) has fixed size \(|G/H|\), but its ambient difference support \(D(T)=T-T\) can vary with the embedding of \(H\) in \(G\). We call $ δ(G,H)=\min_T |D(T)| $ the transversal difference number of the pair \((G,H)\). This invariant is related to finite abelian factorisation, tiling complements, and small-sumset questions, and is motivated by recent work regarding ambient Galois labels in CRT transforms for cyclotomic-subfield homomorphic encryption. We prove various results regarding this invariant, including a general lower bound $δ(G,H)\geq 2|G/H|-m(G,H), $ where \(m(G,H)\) is the largest order of a subgroup of \(G\) disjoint from \(H\). The bound is sharp for cyclic quotients, and Kneser's theorem gives a cross-transversal estimate leading to exact product families with one nonsplit cyclic coordinate and arbitrary split factors. These results isolate the first genuinely new residual obstruction, namely the same-prime square plane \[ G=(\mathbb Z/p^2\mathbb Z)^2,\qquad H=pG. \] For odd \(p\), this case is the technical core of the paper. Here transversals are graphs of functions \(\mathbb F_p^2\to \mathbb F_p^2\), and \(D(T)\) decomposes into carry-corrected finite-field derivative images. We conjecture that \[ δ(G,H)=(2p-1)^2 \] for all odd primes \(p\), prove the unconditional lower bound \(3p^2-p-1\), and give small-prime, probabilistic, and fixed-polynomial evidence for the conjecture.
Maniplexes as a Foundation for Cross-Linked Databases of Symmetric Objects
Graphs, maps on surfaces, and abstract polytopes are related combinatorial structures that tend to be studied by different communities using their own tools and databases. Maniplexes provide a unifying framework that captures all of them. A single database built around maniplexes would help researchers recognize shared structures and translate results across fields. Here we present a compact, interoperable format for storing maniplexes as edge-labeled graphs, designed with such a database in mind. As a first step, we connect two existing datasets of regular 4-maniplexes to the House of Graphs and to Potočnik's tetravalent graph censuses, using canonical forms of their flag graphs, 1-skeleton graphs, and 1-coskeleton graphs.
The Erdos n^2/25 max-cut conjecture for small multiples of five, via a per-root-MaxCut envelope and blow-up integrality
Erdős conjectured that every triangle-free graph on $N$ vertices can be made bipartite by deleting at most $N^2/25$ edges; the bound would be sharp, attained by the balanced blow-up $C_5[N/5]$. Writing $β(G)$ for the minimum number of edges whose deletion makes $G$ bipartite and $a(N) = \max\{β(G):G$ triangle-free on $N$ vertices$\}$, the conjecture is $a(N)\le N^2/25$, and for $N=5n$ it reads $a(5n)\le n^2$. Balogh, Clemen and Lidícký proved it for large $N$ in the two density tails (edge density at most $0.2486$ or at least $0.3197$) and proved the global bound $a(N)\le N^2/23.5$; the medium-density band remains open. We prove \[ a(5n) = n^2 \qquad \text{for every } 1 \le n \le 40, \quad \text{i.e. } N \in \{5,10,\dots,200\}. \] The proof is computer-assisted and combines three ingredients. (i) A \emph{per-root-MaxCut envelope}: for the $107$ triangle-free $7$-root types, the mean over types of the best per-type cut is an upper bound $d_{\rm mono}(W)\le U_7(W)$ that is \emph{tight} at the $C_5$-blow-up. (ii) An order-$10$ flag-algebra certificate -- the per-root-MaxCut rows at $7$ and $8$ roots together with rooted-Horn cuts and a manifestly-PSD moment block -- bounds the envelope on the medium band, $U_7(W)\le \tfrac{2}{25}+δ$ with an explicit rational $δ\approx 4.8558\times10^{-5}$, for every triangle-free graphon $W$ of edge density in $[0.2486,0.3197]$. (iii) The blow-up identity $β(G[t])=t^2β(G)$ plus integrality of $β$ turns this into $β(G)\le n^2+\tfrac{25}{2}n^2δ$ for any $5n$-vertex band-density $G$, and $\tfrac{25}{2}n^2δ<1$ for $n\le 40$; the two density tails are handled by the Balogh-Clemen-Lidícký bounds, transferred to finite $N$ by the same blow-up. The envelope bound $d_{\rm mono} \le U_7$ is a genuine graphon upper bound (each per-root rule is one global $2$-colouring), the certificate is verified in exact rational arithmetic, the moment positivity is Razborov's flag-algebra theorem exhibited as an exact Gram factorization, and the bound is cross-checked against brute-force max-cut on all triangle-free graphs of order at most $12$. The same envelope at orders $9$ and $10$ provably does not reach the constant needed for larger $n$; we explain why, and locate the all-$n$ conjecture at a single self-tight obstruction.
A combinatorial nerve theorem
The celebrated (homological) nerve theorem makes use of spectral sequences to determine the homology of a space. However, this theorem cannot effectively compute the homology in every circumstance. In this paper, we develop an effective version of the nerve theorem. Our theorem enables us to compute the homology of a simplicial complex explicitly using the combinatorial information of its subcomplexes and their non-trivial intersections using discrete Morse theory.
Suppose $X$ is a simplicial complex with subcomplexes $A_1, A_2, \dots ,A_k$ such that $X= \cup_{i=1}^{k}A_i$. Then the main theorem of this paper states that we can explicitly compute the homology of $X$ using the information of given gradient vector fields on $A_i$ for each $i \in [k]$, and on their possible non-trivial intersections. Our approach is purely combinatorial, in the sense that it does not involve any notions of geometric realization, continuity or homotopy.
Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$
Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_ε(q^{3+ε})$ for every $ε>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_ε(q^{3+ε})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2π]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.
Mixed Products of Modified Greaves--Jing--Zhu Operators
Let $\mathcal Y(z;t)$ be the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We first point out that this operator can be obtained from the classical neutral operator by a simple diagonal change of variables. We then study products in which the two deformation parameters are not necessarily the same. For two parameters $t$ and $s$, we compute the scalar factor that appears in the mixed product. This factor has an explicit exponential form and, in a completed setting, can also be written as a quotient of infinite $t$-Pochhammer products. We also give a recurrence for its coefficients, a product formula for several mixed operators, and formulas for the coefficients obtained after applying the operators to $\mathbf 1$.
A particularly simple case occurs when $s=t^M$. In this case the scalar factor becomes the finite quotient $(u;t)_M/(-u;t)_M$. Its coefficients are signed principal specializations of one-row Schur $Q$-functions. As a result, after removing the signs, these coefficients are nonnegative palindromic polynomials. We also give a Gaussian-binomial formula and a finite-order recurrence.
The Signless Laplacian Spectral Radius of $tK_3$-Free Graphs
The signless Laplacian matrix of a graph $G$ is $Q(G)=D(G)+A(G)$, where $D(G)$ and $A(G)$ are the diagonal degree matrix and the adjacency matrix of $G$, respectively. The signless Laplacian spectral radius of $G$ is the largest eigenvalue of $Q(G)$. For a positive integer $t$, a graph is called $tK_3$-free if it contains no $t$ vertex-disjoint triangles. In this paper, for every fixed $t\geq 2$ and all $n\geq 28t-17$, we determine the unique graph achieving the maximum signless Laplacian spectral radius among all $tK_3$-free graphs of order $n$.