Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Subgraphs versus Orientations: Infinite families of equidistributions
A classical enumerative result states that, given a graph $G$ and a vertex $u$, the number of connected subgraphs of $G$ is equal to the number of orientations of $G$ such that every vertex can reach $u$ by a directed path. We show that this result is an instance of a much broader set of enumerative identities between subgraphs and orientations corresponding to various connectivity constraints. Namely, given two sets of pairs of vertices $A=\{(u_i,v_i), i\in[k]\}$ and $B=\{(u_i',v_i'), i\in[l]\}$, we consider the orientations $α$ of $G$ such that adding the elements of $A$ and $B$ as additional directed edges to $α$ gives an orientation $α'$ in which $v_i$ cannot reach $u_i$ for all $i\in[k]$, but $v_i'$ can reach $u_i'$ for all $i\in[l]$. We show that this set of orientations is equinumerous to a set of subgraphs satisfying the ``same" connectivity constraints defined in terms of $A$ and $B$.
We also extend our results to the enumeration of equivalence classes of orientations satisfying such connectivity constraints. Precisely, we consider the equivalence classes under cycle reversal, cocycle reversal, or cycle-cocycle reversal. We show that the equivalences classes are equinumerous to some sets of subgraphs defined by connectivity and acyclicity constraints.
Extensions of the Furstenberg-Sárközy theorem via the arithmetic level-$d$ inequality
Very recently, Green and Sawhney obtained a quasipolynomial bound in the Furstenberg--Sárközy theorem for square differences by proving an ''arithmetic level-$d$'' inequality, thereby yielding a greatly improved density increment scheme. We adapt their method to general intersective polynomials $h\in\mathbb{Z}[x]$ and obtain an analogous quasipolynomial upper bound for the largest subset of $\{1,2,\dots,X\}$ whose difference set contains no nonzero element of the form $h(n)$ with $n\in \mathbb{Z}$. This is the best quantitative upper bound presently known for sets lacking intersective polynomial differences. In contrast to the square case, extending the method to general intersective polynomials requires performing a density increment iteration in which the underlying polynomial changes at each step; a key contribution of this paper is to show that the arithmetic level-$d$ inequality remains effective uniformly across all auxiliary polynomials arising in the iteration. We also develop smoothly weighted versions of the exponential sum estimates of Rice.
The Facial Common Neighbourhood Graph
Given a polyhedron (planar, $3$-connected graph) $G$, we investigate its common neighbourhood graph con($G$). For cubic ($3$-regular) polyhedra, we show that the planarity of con($G$) depends on the number of odd faces of $G$, and on their adjacency. We then prove that for all other polyhedra, con($G$) is non-planar.
We introduce a novel concept for polyhedra (and more generally, for plane graphs) $G$, namely the `facial common neighbourhood graph' facecon($G$). Its definition takes into account pairs of vertices with a common neighbour on the same face of $G$. It is a spanning subgraph of con($G$), that coincides with con($G$) for cubic polyhedra. It also generalises the reverse construction of the radial graph.
As part of our investigation, we also prove a technical result of independent interest: if a maximal planar graph (triangulation of the sphere) has exactly two vertices of odd degree, then they are not adjacent.
We also answer several questions in extremal graph theory. Fixing the number of vertices, we characterise the polyhedra $G$ such that con($G$) is planar and the number of edges in con($G$) is minimal/maximal. We address the same problem for facecon($G$), and prove that if it is maximal planar, then $G$ has no face of length greater than $6$. We notably characterise and explicitly construct all polyhedra $G$ of maximal face length $4$ such that facecon($G$) is maximal planar.
Evaluation of two determinants involving $q$-integers
The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.
Burnside process on parking functions and Dyck paths
Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.
A short proof of Mathar's 2013 recurrence conjecture for the reversible-binary-string sequence A032123
For the OEIS sequence A032123, the number of length-$2n$ black-and-white strings with $n$ black beads, considered up to reversal, R. J. Mathar contributed in November 2013 the conjectured order-5 P-recursive recurrence \[ \begin{aligned} &n(n-1)\,a(n) - 2(n-1)(3n-4)\,a(n-1) + 4(2n^{2}-14n+19)\,a(n-2) &\qquad + 8(n^{2}+5n-19)\,a(n-3) - 16(n-3)(3n-10)\,a(n-4) &\qquad + 32(n-4)(2n-9)\,a(n-5) \;=\; 0, \qquad n \ge 6. \end{aligned} \] We give a short proof. Burnside's lemma applied to the reversal action gives the closed form $a(n) = \tfrac{1}{2}\bigl(\binom{2n}{n} + [n \text{ even}]\binom{n}{n/2}\bigr)$; the two summands satisfy elementary recurrences of order $1$ and $2$ respectively; and Mathar's order-5 operator, applied to each summand separately, reduces to a polynomial identity that simplifies to zero after a brief calculation. The supplementary archive includes a SymPy script which verifies the polynomial identities symbolically and checks Mathar's recurrence numerically for $n = 6, \ldots, 5000$.
Optimal Diameters of High Multiplicity g-Golomb Rulers
A set $\mathcal{G}$ of integers is called a $g$-Golomb ruler of length $n$ if the difference between any two distinct elements of $\mathcal{G}$ is repeated at most $g$ times. If $g=1$, these are also called $B_2$-sets, Sidon sets, and Babcock sets. We define $G(g,n)$ to represent the minimum diameter of a $g$-Golomb Ruler. In this paper, we prove that for all $b\ge 1$, if $g \ge \frac{7}{4}\left(b^{3/2} -b\right)+1,$ then $G(g,g+b)=g+2b-2$. Sharper bounds are given for $b\le 18$. The main technique is through an arithmetic property of the integers that are \emph{not} in a $g$-Golomb ruler, leading us to introduce LM rulers, a new class of rulers where every distance $d$ occurs as a difference at most $d-1$ times. We show that the minimum diameter of an $n$-element LM ruler $L(n)$ is $\sqrt{8/9} \cdot (n-1)^{3/2} \le L(n) \le \frac{7}{4}\left((n+1)^{3/2}-(n+1)\right).$
Graceful Labeling of Two Families of Spiders
A \emph{graceful labeling} of a graph $G$ is an injective function $f : V(G) \to \{0, \ldots, |E(G)|\}$ such that $\{\,|f(u)-f(v)| : uv \in E(G)\,\} = \{1, \ldots, |E(G)|\}$. If such a labeling exists, then we call $G$ \emph{graceful}. Introduced by Rosa in 1967, graceful labeling has been widely studied, and the Graceful Tree Conjecture asserts that every tree is graceful. The conjecture is known to hold for several classes of trees, including caterpillars, trees with at most four leaves, trees of diameter at most five, and certain spiders. An important subclass is that of \emph{$α$-labelings}, where a graceful labeling $f$ admits an integer $α$ such that each edge joins a vertex with label at most $α$ to one with label greater than $α$. A result from 1982 by Huang, Kotzig, and Rosa shows that if $H$ has an $α$-labeling with a vertex $u$ labeled $0$ or $α$, and $G$ has a graceful labeling with a vertex $v$ labeled $0$, then identifying $u$ and $v$ yields a graceful graph, though this requires a $0$-labeled vertex in $G$. We prove a related result that relaxes this condition: if $G$ has a graceful labeling $f$ such that $f(u)+\lfloor n/2 \rfloor + 1 \le n$ and $n \not\equiv 1 \pmod{4}$, where $u\in V(G)$ and $n\ge 2$ is an integer, then joining $u$ to an end vertex of the vertex-disjoint $n$-vertex path $P_n$ yields a graceful graph. As an application, we show that any spider with legs $L_1,\ldots,L_s$ ($s \ge 1$) satisfying $|E(L_{2})| \ge 2|E(L_1)|+ 4$ and $|E(L_{i+1})| \ge 2|E(L_i)|+ 2$ for $i \in \{2,\ldots, s-1\}$ is graceful. Furthermore, we give an explicit graceful labeling for spiders with one leg of arbitrary length and all others of length at most two such that the center is labeled by $0$. This labeling enables the construction of larger graceful spiders by attaching paths at the center.
A Subtraction Nim with a Pass
We consider a subtraction Nim with subtraction set {s_1,s_2,s_3={2,4n,4n+2}, where n is a positive integer such that n >= 3. We do not treat the case that n=1 or n=2 in this article. We show that this game satisfies the reverse-mex property of Grundy numbers, i.e., G(x)=mex{G(x+s_1), G(x+s_2), G(x+s_3)}, where the mex is taken over successors rather than predecessors. We modify the rule of this subtraction Nim to allow a one-time pass, that is, a passing move usable at most once during the game, unavailable from terminal positions; once used by either player, it becomes unavailable. In classical Nim, the introduction of a pass move complicates the game, and finding a formula that describes the set of P-positions in traditional three-pile Nim with a pass remains an important open question. In the case of subtraction Nim with a pass, however, the introduction of a pass move does not complicate the game. We prove that this game still satisfies the reverse-mex property of Grundy numbers when a pass move is available.
Fibonomial determinants
In this paper, we find several determinants expressing the Fibonomial coefficients. We also give the generating functions, Vandermonde identity, and continued fractions about Fibonomial coefficients.
A Study on Type-2 Isomorphic Circulant Graphs: Part 8: $C_{432}(R)$, $C_{6750}(S)$ -- each has 2 types of Type-2 isomorphic circulant graphs
In this study, we obtain the following two families of circulant graphs each has Type-2 isomorphic circulant graphs w.r.t. $m$ such that $m$ has more than one value. (i) Family of circulant graphs $C_{432}(R)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 as well as $m$ = 3; and (ii) Family of circulant graphs $C_{6750}(S)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 3 as well as $m$ = 5. This study is the $8^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}.
Branch-width of represented matroids in matrix multiplication time
For an $n$-element matroid $M$ given by an $n \times n$ matrix representation over a finite field $\mathbb F$ and an integer $k$, we present an $(O_{k,\mathbb F}(n^2)+O(n^ω))$-time algorithm that either finds a branch-decomposition of $M$ of width at most $k$, or confirms that the branch-width of $M$ is more than $k$, where $ω< 2.3714$ is the matrix multiplication exponent, and the $O_{k,\mathbb F}(\cdot)$-notation hides factors that depend on $k$ and $\mathbb F$ in a computable manner. All previous algorithms including Hliněný and Oum [SIAM J. Comput. (2008)] and Jeong, Kim, and Oum [SIAM J. Discrete Math. (2021)] run in at least $Ω(n^3)$ time. Moreover, if the input matrix representation is given by a standard form, our algorithm runs in $O_{k,\mathbb F}(n^2)$-time, since $O(n^ω)$-time is only needed for finding a standard form of the input matrix. When $M$ is given by an $m \times n$ matrix, the overhead for finding a standard form is $O(mn \min(m,n)^{ω-2})$.
As corollaries, we obtain faster algorithms for rank-width of directed graphs and path-width of matroids represented over a fixed finite field. Furthermore, we also present an approximation algorithm for finding branch-width that works on infinite fields provided that the input matrix is of a standard form and contains a bounded number of distinct values of entries.
To suggest that our algorithm is optimal, we observe that for every field $\mathbb F$, deciding whether the branch-width of a matroid represented over $\mathbb F$ is $0$ is as hard as deciding whether a square matrix over $\mathbb F$ is singular. Under the assumption that singularity testing requires $Ω(n^ω)$-time, this implies that the overhead of $O(n^ω)$ is unavoidable. We also show strengthenings of this observation to rule out some approximations under this assumption.
Integer points in a simplex and related Diophantine problems: Hardy--Littlewood asymptotics in higher dimensions
In the early 1920s, Hardy and Littlewood considered the number of integer points in the right-angled triangles with irrational inclines of the diagonal. We extend their results to higher dimensions.
On the Eccentricity Laplacian and Eccentricity Signless Laplacian Matrices of a Graph
In this paper, we introduce the Laplacian and the signless Laplacian for the eccentricity matrix of a connected graph, referred to as the eccentricity Laplacian and the eccentricity signless Laplacian, respectively. We establish the equivalence among the eccentricity Laplacian, eccentricity signless Laplacian, and eccentricity spectrum for different classes of graphs. We provide spectral characterization of $\mathcal{E}$-bipartite graphs by the symmetry of $\mathcal{E}$-spectrum and the similarity of these Laplacian matrices.
Clumsy and Careless: Stationary-Entry Flux in Non-monotone Coupon Collectors
We study three nonmonotone coupon-collector models through a stationary-entry viewpoint. In such models the all-present state is not absorbing, so completion is governed not by the disappearance of a monotone terminal cloud but by rare new entries into a target state, except in the reset-button model, where exact regeneration gives a separate reduction.
We prove a finite stationary-entry theorem: a mixing estimate, a one-block clump-control estimate, and the stationary entry flux imply an exponential hitting law. For the reset-button collector, regeneration gives an exact probability-generating function in terms of the ordinary coupon-collector transform and recovers the known beta-function expectation, while also yielding rare-success exponential limits and negligible-reset Gumbel limits.
For the clumsy collector with fixed loss probability $p$ and $q=1-p$, the stationary-entry flux is $p q^n$, and $p q^n T_n$ converges to $\operatorname{Exp}(1)$. Thus the fixed-loss standardized limit is exponential rather than Gumbel. For the post-loss careless collector, we compute the sharp stationary-entry flux $$ μ_n\sim (q;q)_\infty^{-1}\frac{n!}{n^n}q^{n(n+1)/2} $$ and prove $μ_nT_n\Rightarrow\operatorname{Exp}(1)$, with matching moment asymptotics. This shows that the careless scale is governed by a stationary high tail, or ordered lucky climb, rather than by the independent one-point marginal heuristic. We also analyze a combined clumsy-careless model, confirming stability of the high-tail entry mechanism.
Non-vanishing of homotopy groups of Manin--Schechtman arrangements
One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(π,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the braid arrangement, and prove that their complements have non-vanishing higher homotopy groups. Consequently, these arrangements fail to be $K(π,1)$ in a broad range of cases.
A non-hereditary Pollyanna class that is not strongly Pollyanna
Chudnovsky, Cook, Davies, and Oum introduced the notion of Pollyanna graph classes: a class $\mathcal{C}$ is Pollyanna if for every $χ$-bounded class $\mathcal{F}$, the intersection $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded. They further defined $\mathcal{C}$ to be strongly Pollyanna if it is $k$-strongly Pollyanna for some integer $k$, meaning that $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded for every $k$-good class $\mathcal{F}$. They asked whether there are Pollyanna graph classes that are not strongly Pollyanna. In this note we answer this question affirmatively, under the literal interpretation that graph classes are not required to be hereditary. We construct a class $\mathcal{C}$ that is Pollyanna but, for every $k \ge 1$, is not $k$-strongly Pollyanna; in particular $\mathcal{C}$ is not strongly Pollyanna.
Munarini graphs: a generalization of Fibonacci cubes and Pell graphs. Part I
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube $Q_n$ induced by vertices with no consecutive $1$s. Munarini introduced Pell graphs, a variation of Fibonacci cubes defined on ternary strings. A generalization of Pell graphs to $(k+1)$-ary strings has recently been proposed. In this paper we introduce Munarini graphs, which constitute an alternative generalization of Fibonacci cubes and Pell graphs. One of the main advantages of Munarini graphs is that, unlike previously proposed generalization, they are daisy cubes, as are Fibonacci cubes and Pell graphs. In this first article, we study some of their fundamental properties including the size, the recursive structure, the cube and maximal cube polynomials.
Spectral extremal results for triangle-free graphs with chromatic number at least four
A graph is called $F$-free if it does not contain a copy of $F$. Let $G(r,s)$ denote a $K_{r+1}$-free graph of order $n$ with chromatic number at least $s$ that maximizes the spectral radius. Nikiforov [Linear Algebra Appl., 2007] proved the spectral Turán theorem, which implies that $G(r,s)$ is the $r$-partite Turán graph $T_{n,r}$ for $s\leq r$. Lin, Ning, and Wu [Combin. Probab. Comput., 2021] characterized the unique spectral extremal graph $G(2,3)$. This result was later extended by Li and Peng [SIAM J. Discrete Math., 2023] to all $s=r+1\geq 3$. In this paper, we push the characterization further by determining the unique extremal graph $G(2,4)$ for all sufficiently large $n$. Specifically, we show that $G(2,4)$ is precisely a blow-up of the Grötzsch graph. Interestingly, under the same conditions, $G(2,4)$ also coincides with the unique edge-extremal graph identified by Ren, Wang, Wang, and Yang [arXiv:2404.07486v2].
Combinatorial study of the q-Catalan triangle and its generalizations
We announce a series of results on the combinatorial study of the q-Catalan triangle (C_{n,k}(q)), defined by C_{n,0}(q)=q^{n(n-1)/2} and C_{n,k}(q)=C_{n,k-1}(q)+q^{n-k-1}C_{n-1,k}(q). We establish combinatorial interpretations via a universal combinatorial family of seven components: four families of pattern-avoiding permutations weighted by inversion or co-inversion statistics, Dyck paths, binary words and triangulations. We introduce the mirror polynomial C-tilde_{n,k}(q)=q^{n(n-1)/2}C_{n,k}(q^{-1}), prove its dual recurrence and co-inversion interpretation. The q,p-Catalan triangle and a multivariate generalization opening the way to cyclotomic q-analogues are introduced. Theorems on the q-Catalan triangle via 312-avoiding permutations and the mirror recurrence are proved completely here. This is the first paper of series W0-W5 on classical and q-deformed interpretations of the Catalan triangle.