Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Finiteness of non-decomposable critically 4 and 5-frustrated signed graphs
Published
• View Publication
• BIB
A signed graph $(G,σ)$ is a graph $G$ with a signature $σ$ labeling each edge with a positive or negative sign. Two signatures of $G$ are switching equivalent if one is obtained from the other by changing the signs of all edges in an edge-cut. The frustration index of a signed graph $(G, σ)$ is the minimum number of negative edges among all signatures equivalent to $σ$. A signed graph is critically $k$-frustrated if it has frustration index $k$, and the removal of any edge decreases its frustration index. A critically $k$-frustrated signed graph is prime if it has no subdivided edge (including multiedge) and none of its subgraphs is the edge-disjoint union of critically frustrated signed graphs. Steffen and Naserasr et al. conjectured that for any positive integer $k$, there are finitely many prime critically $k$-frustrated signed graphs. The cases $k=1,2,3$ have been proved to be true recently by Cappello et al.. In this paper, we show that the conjecture holds when $k=4$ and $5$.
On the maximum number of tangencies among $1$-intersecting curves
According to a conjecture of Pach, there are $O(n)$ tangent pairs among any family of $n$ Jordan arcs in which every pair of arcs has precisely one common point and no three arcs share a common point. This conjecture was proved for two special cases, however, for the general case the currently best upper bound is only $O(n^{7/4})$. This is also the best known bound on the number of tangencies in the relaxed case where every pair of arcs has \emph{at most} one common point. We improve the bounds for the latter and former cases to $O(n^{5/3})$ and $O(n^{3/2})$, respectively. We also consider a few other variants of these questions, for example, we show that if the arcs are \emph{$x$-monotone}, each pair intersects at most once and their left endpoints lie on a common vertical line, then the maximum number of tangencies is $Θ(n^{4/3})$. Without this last condition the number of tangencies is $O(n^{4/3}(\log n)^{1/3})$, improving a previous bound of Pach and Sharir. Along the way we prove a graph-theoretic theorem which extends a result of Erdős and Simonovits and may be of independent interest.
Decoding universal cycles for t-subsets and t-multisets by decoding bounded-weight de Bruijn sequences
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S| that contains a representative of each element in S exactly once as a substring. Despite the many universal cycle constructions known in the literature for various sets including k-ary strings of length n, permutations of order n, t-subsets of an n-set, and t-multisets of an n-set, remarkably few have efficient decoding (ranking/unranking) algorithms. In this paper we develop the first polynomial time/space decoding algorithms for bounded-weight de Bruijn sequences for strings of length nover an alphabet of size k. The results are then applied to decode universal cycles for t-subsets and t-multisets.
Universal cycle constructions for k-subsets and k-multisets
Published
• View Publication
• BIB
A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S|that contains a representation of each element in S exactly once as a substring. If S is the set of k-subsets of [n] = {1, 2, . . . , n}, it is well-known that universal cycles do not always exists when applying a simple string representation, where 12 or 21 could represent the subset {1, 2}. Similarly, if S is the set of k-multisets of [n], it is also known that universal cycles do not always exist using a similar representation, where 112, 121, or 211 could represent the multiset {1, 1, 2}. By mapping these sets to an appropriate family of labeled graphs, universal cycles are known to exist, but without a known efficient construction. In this paper we consider a new representation for k-subsets and k-multisets that leads to efficient universal cycle constructions for all n, k >=2. We provide successor-rule algorithms to construct such universal cycles in O(n) time per symbol using O(n) space and demonstrate that necklace concatenation algorithms allow the same sequences to be generated in O(1) amortized time per symbol. They are the first known efficient universal cycle constructions for k-multisets. The results are obtained by considering constructions for bounded-weight de Bruijn sequences. In particular, we demonstrate that a bounded-weight generalization of the Grandmama de Bruijn sequence can be constructed in O(1) amortized time per symbol.
Broadcasting Agents and Adversary: A new variation on Cops and Robbers
We introduce a new game played on graphs, ``Agents and Adversary". This game is reminiscent of ``Cops and Robbers" but has some fundamental differences. We classify infinite families of graphs as Agents-win and Adversary-win. We then define a new type of graph symmetry and use it to define a winning strategy for Adversary. Finally, we give tight upper and lower bounds for Agents' time-to-win on several infinite families of graphs.
On the structure of the sandpile identity element on Sierpinski gasket graphs
We consider the identity of the abelian sandpile group of finite approximation graphs of the Sierpinski gasket, and we show that the second-order term in the scaling limit converges to the path distance to the nearest corner on the Sierpinski gasket. The proof relies on a decomposition of the identity of the sandpile group into the sum of a constant function and the Laplacian of the graph distance on the approximating graphs.
Maximum-Entropy Random Walks on Hypergraphs
Random walks are fundamental tools for analyzing complex networked systems, including social networks, biological systems, and communication infrastructures. While classical random walks focus on pairwise interactions, many real-world systems exhibit higher-order interactions naturally modeled by hypergraphs. Existing random walk models on hypergraphs often focus on undirected structures or do not incorporate entropy-based inference, limiting their ability to capture directional flows, uncertainty, or information diffusion in complex systems. In this article, we develop a maximum-entropy random walk framework on directed hypergraphs with two interaction mechanisms: broadcasting where a pivot node activates multiple receiver nodes and merging where multiple pivot nodes jointly influence a receiver node. We infer a transition kernel via a Kullback--Leibler divergence projection onto constraints enforcing stochasticity and stationarity. The resulting optimality conditions yield a multiplicative scaling form, implemented using Sinkhorn--Schrödinger-type iterations with tensor contractions. We further analyze ergodicity, including projected linear kernels for broadcasting and tensor spectral criteria for polynomial dynamics in merging. The effectiveness of our framework is demonstrated with both synthetic and real-world examples.
New Binomial Identities for Fibonacci, Lucas, and Generalized Fibonacci Sequences with Multiple Indices
This paper presents new identities expressing the terms of Fibonacci, Lucas, and generalized Fibonacci sequences with multiple indices through powers of Lucas numbers and binomial coefficients. The obtained formulas rely on the application of symmetric polynomials (Waring's formulas) to the classical Binet's formula. Particular attention is given to the binomial expansion for the generalized Fibonacci sequence, which structurally combines two adjacent binomial coefficients from Pascal's triangle.
Evil Twins in Sums of Wildflowers
A game $G$ is said to have the evil twin property if there exists $G^* \in \{G,G+*\}$ such that $o^+(G) = o^-(G^*)$ and $o^+(G^*) = o^-(G)$. We study sums of wildflowers, games of form $G:H$. We find that a large closed set of sums of wildflowers has the evil twin property, extending work of McKay--Milley--Nowakowski and Lo. Our argument partially generalizes the misère genus theory of Conway to partizan games, and requires proving several general theorems on ways to extend sets with the evil twin property. Many sums of mutant flowers of the form $\{*x_1,\dots,*x_n\}:a$, where $a$ is a number, also have the evil twin property. We also prove that this set of mutant flowers is the largest such closed set with the evil twin property, and that it is $\mathsf{NP\text{-}hard}$ to compute the outcome class of a sum of mutant flowers under either play convention via a reduction from \textsc{3-Sat}. Previous work on this topic was done by McKay, Milley, and Nowakowski, and later Lo.
Binomial Random Matroids
Let $\mathcal B=\mathcal B_{k,n,p}$ be a random collection of $k$-subsets of $[n]$ where each possible set is present independently with probability $p$. Let $\cal E_{\mathcal B}$ be the event that $\mathcal B$ defines the set of bases of a matroid. We prove that If $p= 1-\frac{c_n}{(k(n-k)\binom nk)^{1/2}}$ where $0\leq c_n\leq \infty$, then
\[
\lim_{n\to\infty}\Pr[\cal E_{\cal B}\mid |\cal B|\geq2]=\begin{cases}1&c_n\to0.\\e^{-c^2}&c_n\to c.\\0&c_n\to \infty.\end{cases}\]
In addition, we identify a condition preventing the occurence of $\cal E_{\cal B}$ and prove a hitting time version for the occurence of $\cal B$. We also prove that when $\cal E_{\mathcal B}$ occurs, $\mathcal B$ defines a sparse paving matroid w.h.p.
In addition, study a greedy algorithm that produces a random matroid defined by a collection of hyperplanes. We use this to improve the estimates in \cite{HPV} on $\log m(n,k),\log p(n,k), \log s(n,k)$ where $ m(n, k), p(n, k), s(n, k)$ denote the number of matroids, paving matroids, and sparse paving matroids (respectively) of rank $k$ on $[n]$. Our improvement lies in that we can deal with $k$ growing slowly with $n$ as opposed to $k=O(1)$ in \cite{HPV}. More generally, we obtain estimates for the number of matchings in nearly-regular hypergraphs with small codegree, which may be of independent interest.
Refinements of Alon-Babai-Suzuki-type intersection theorems via non-shadows and binomial support
Published
• View Publication
• BIB
We prove a multilevel non-shadow refinement of the Alon--Babai--Suzuki (ABS) nonuniform restricted-intersection theorem. Let $K=\{k_1,\dots,k_r\}$ and let $L$ be a set with $|L|=s$. If $\mathcal{F}\subseteq \bigcup_{k\in K}\binom{[n]}{k}$ is $L$-intersecting and $k_i>s-r$ for every $i$, then $|\mathcal{F}| + \sum_{j=s-r+1}^{s} |\mathcal{N}_j(\mathcal{F})| \le N(n,s,r),$ equivalently $|\mathcal{F}| \le \sum_{j=s-r+1}^{s} |\partial_j\mathcal{F}|.$ Thus the ABS bound is sharpened by the total non-shadow deficit on the top $r$ levels.
In the modular setting, we take a coefficient-sensitive viewpoint: the polynomial method depends not just on the degree of the annihilator polynomial $P_L(t)=\prod_{\ell\in L}(t-\ell)\in\mathbb{F}_p[t]$, but on which binomial terms actually appear in it. This yields a gap-free modular bound depending only on the active support levels of $P_L$. For almost-initial residue patterns $L=\{0,1,\dots,s-m-1\}\cup R \pmod p$ we obtain the collapse $|\mathcal{F}|\le \sum_{i=0}^{m}\binom{n}{s-i}.$ In particular, for consecutive residues $L=\{0,1,\dots,s-1\}\pmod p$ we get the sharp bound $|\mathcal{F}|\le \binom{n}{s}$, giving a partial negative answer to a question of Alon--Babai--Suzuki: the modular ABS bound $N(n,s,r)$ is not attainable in the consecutive-residue regime whenever $r\ge 2$.
On Bipartite-Almost Bipartite Graphs and the Determinantal Factorization
Published
• View Publication
• BIB
A graph is almost bipartite if it contains exactly one odd cycle, and it is Konig-Egervary if the sum of the independence number and the matching number equals the order of the graph. We introduce the class of Bipartite-Almost Bipartite graphs (BAB-graphs), defined through a controlled union of a bipartite graph and several almost bipartite non-Konig-Egervary graphs. This family unifies and generalizes the previously studied classes of almost bipartite non-Konig-Egervary and R-disjoint graphs. While an almost bipartite non-Konig-Egervary graph contains a single odd cycle, an R-disjoint graph has exactly k pairwise disjoint odd cycles. A BAB-graph may contain many odd cycles that are not necessarily disjoint.
We describe the structure of BAB-graphs by means of the Gallai-Edmonds decomposition and obtain explicit expressions for nucleus(G), diadem(G), and ker(G), which allow us to extend several known results for the previous classes. Moreover, we show that the determinant of the adjacency matrix of a BAB-graph can be factorized in terms of the determinants of the adjacency matrices of its component graphs. As a consequence, we confirm the conjecture stating the validity of this factorization for R-disjoint graphs. Finally, we derive combinatorial consequences of these results and establish new bounds for |corona(G)| + |ker(G)|.
Inequalities Involving Core, Corona, and Critical Sets in General Graphs
Let $α(G)$ denote the cardinality of a maximum independent set. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. Let $\text{core}(G)$ and $\text{corona}(G)$ be the intersection/union of all maximum independent sets of $G$. Let $\text{ker}(G)$ and $\text{diadem}(G)$ be the intersection/union of all critical independent sets of $G$. In this paper we prove that \[ \left|\text{corona}(G)\right|+\left|\text{core}(G)\right|\le2α(G)+k, \] \noindent where $k$ is the number of vertex-distinct odd cycles in $G$, thus confirming a recent conjecture in the area. Moreover, we prove that \[ \left|\text{nucleus}(G)\right|+\left|\text{diadem}(G)\right|\le2α(G), \] \noindent thereby confirming another conjecture (Levit--Mandrescu 2014). As an application of these facts, we obtain a chain of inequalities \[ \left|\text{nucleus}(G)\right|+\left|\text{diadem}(G)\right|\le2α(G)\le\left|\text{corona}(G)\right|+\left|\text{core}(G)\right|\le2α(G)+k. \] \noindent The paper concludes with a collection of related open problems.
On the minimum degree of minimal $k$-$\{1,2\}$-factor critical $k$-planar graphs
A graph of order $n$ is said to be $k$-\emph{factor-critical} $(0\le k<n)$ if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$. In 1998, Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$.
A natural extension of this notion arises from $\{1,2\}$-factors. A spanning subgraph of $G$ is called a $\{1,2\}$-factor if each of its components is a regular graph of degree one or two. A graph is $k$-\emph{$\{1,2\}$-factor critical} if the removal of any $k$ vertices results in a graph with a $\{1,2\}$-factor.
A recent conjecture in the area states that every minimal $k$-$\{1,2\}$-factor critical graph $G$ satisfies $k+1\le δ(G)\le k+2$. In this paper, we prove that the conjecture holds for $k$-planar graphs, that is, graphs in which the deletion of any set of $k$ vertices yields a planar graph. In particular, this resolves the conjecture for planar graphs.
Optimising two-block averaging kernels to speed up Markov chains
Published
• View Publication
• BIB
We study the problem of selecting optimal two-block partitions to accelerate the mixing of finite Markov chains under group-averaging transformations. The main objectives considered are the Kullback-Leibler (KL) divergence and the Frobenius distance to stationarity. We establish explicit connections between these objectives and the induced projection chain. In the case of the KL divergence, this reduction yields explicit decay rates in terms of the log-Sobolev constant. For the Frobenius distance, we identify a Cheeger-type functional that characterises optimal cuts. This formulation recasts two-block selection as a structured combinatorial optimisation problem admitting difference-of-submodular decompositions. We further propose several algorithmic approximations, including majorisation-minimisation and coordinate descent schemes, as computationally feasible alternatives to exhaustive combinatorial search. Our numerical experiments reveal that optimal cuts under the two objectives can substantially reduce total variation distance to stationarity and demonstrate the practical effectiveness of the proposed approximation algorithms.
Optimal Spectral Bounds for Antipodal Graphs
Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of "neighbors" (pairs of points with distance $\leq \varepsilon$) to the number of "antipodes" (pairs of points with distance $\geq 1 - \varepsilon$) is $\gtrsim\varepsilon^{1/2 + o(1)}$, attaining the conjectured correct asymptotic within a polylog factor and improving the $\gtrsim\varepsilon^{3/4+o(1)}$ bound of Steinerberger (2025).
Aldous property for full-flag Johnson graphs
We show that the full-flag Johnson graph has spectral gap equal to that of its Schreier quotient arising from the point-stabiliser equitable partition. Our results confirm two conjectures posed by Huang, Huang, and Cioabă, which imply an Aldous-type spectral-gap phenomenon for full-flag Johnson graphs.
Additive Subtraction Games
We determine the full nim-value structure of additive subtraction games in the {\em primitive quadratic} regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type {\em bracket expressions} on rational moduli, for determining the P-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The primitive quadratic case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction with Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical P-positions.
A new lower bound for the kissing number in 19 dimensions
We prove that the kissing number in 19 dimensions is at least 11948, improving the bound of Cohn and Li by 256. The proof combines Cohn and Li's odd-sign construction with an explicit nonlinear binary code of length 19, size 1280, and minimum distance 5 inside a 5-punctured extended binary Golay code. The construction makes use of nested codes $M\le K\le D$: quotienting a particular graph on $K$ by $M$ yields the Clebsch graph, then an independent set of size 5 in that quotient lifts to a 320-word code in $K$, and finally the four cosets of $K$ in $D$ give the full 1280-word code.
The Ricci flow with prescribed curvature on graphs
In this paper, we consider the Ricci flow with prescribed curvature on the finite graph $G=(V,E)$. For any $e$ in $E$, $$\frac{dω(t,e)}{dt} = -(κ(t,e)-κ^*(e))ω(t,e), t > 0,$$ where $ω$ is the weight function, $κ$ is Lin-Lu-Yau Ricci curvature, and $κ^*$ is the prescribed curvature. By imposing invariance of the graph distance with respect to time $t$, the Ricci flow introduced above characterizes the weight evolution governed by the Lin-Lu-Yau curvature. We first establish the existence and uniqueness of the solution to this equation on general graphs. Furthermore, for graphs with girth of at least 6, we prove that the Ricci flow converges exponentially to weights of $κ^*$ if and only if $κ^*$ is attainable (namely, there exist weights realizing $κ^*$). In particular, we prove that the weights for constant curvature exist if and only if $$\max_{\emptyset \neq Ω\subsetneq V} \frac{|E(Ω)|}{|Ω|} < \frac{|E|}{|V|},$$ where $E(Ω)$ denotes the set of edges within the induced subgraph of $Ω$, and $|A|$ is the cardinality of the set $A$. Viewing edge weights as metrics on surface tilings with girth of at least 5 or the duals of triangulations with vertex degrees exceeding 5, we demonstrate that our constant Lin-Lu-Yau curvature flow serves as an analog to the 2D combinatorial Ricci flow for piecewise constant curvature metrics, thereby providing an affirmative answer to Question 2 posed by Chow and Luo (J Differ Geom, 63(1) 2002).