Showing 20 papers (Total: 82000 papers, 47479 authors in database)
The critical group of a combinatorial map
Published
• View Publication
• BIB
Motivated by the appearance of embeddings in the theory of chip firing and the critical group of a graph, we introduce a version of the critical group (or sandpile group) for combinatorial maps, that is, for graphs embedded in orientable surfaces. We provide several definitions of our critical group, by approaching it through analogues of the cycle-cocycle matrix, the Laplacian matrix, and as the group of critical states of a chip firing game (or sandpile model) on the edges of a map.
Our group can be regarded as a perturbation of the classical critical group of its underlying graph by topological information, and it agrees with the classical critical group in the plane case. Its cardinality is equal to the number of spanning quasi-trees in a connected map, just as the cardinality of the classical critical group is equal to the number of spanning trees of a connected graph.
Our approach exploits the properties of principally unimodular matrices and the methods of delta-matroid theory.
AG codes have no list-decoding friends: Approaching the generalized Singleton bound requires exponential alphabets
Published
• View Publication
• BIB
A simple, recently observed generalization of the classical Singleton bound to list-decoding asserts that rate $R$ codes are not list-decodable using list-size $L$ beyond an error fraction $\frac{L}{L+1} (1-R)$ (the Singleton bound being the case of $L=1$, i.e., unique decoding). We prove that in order to approach this bound for any fixed $L >1$, one needs exponential alphabets. Specifically, for every $L>1$ and $R\in(0,1)$, if a rate $R$ code can be list-of-$L$ decoded up to error fraction $\frac{L}{L+1} (1-R -\varepsilon)$, then its alphabet must have size at least $\exp(Ω_{L,R}(1/\varepsilon))$. This is in sharp contrast to the situation for unique decoding where certain families of rate $R$ algebraic-geometry (AG) codes over an alphabet of size $O(1/\varepsilon^2)$ are unique-decodable up to error fraction $(1-R-\varepsilon)/2$. Our bounds hold even for subconstant $\varepsilon\ge 1/n$, implying that any code exactly achieving the $L$-th generalized Singleton bound requires alphabet size $2^{Ω_{L,R}(n)}$. Previously this was only known only for $L=2$ under the additional assumptions that the code is both linear and MDS.
Our lower bound is tight up to constant factors in the exponent -- with high probability random codes (or, as shown recently, even random linear codes) over $\exp(O_L(1/\varepsilon))$-sized alphabets, can be list-of-$L$ decoded up to error fraction $\frac{L}{L+1} (1-R -\varepsilon)$.
Gotta match 'em all: Solution diversification in graph matching matched filters
Published
• View Publication
• BIB
We present a novel approach for finding multiple noisily embedded template graphs in a very large background graph. Our method builds upon the graph-matching-matched-filter technique proposed in Sussman et al., with the discovery of multiple diverse matchings being achieved by iteratively penalizing a suitable node-pair similarity matrix in the matched filter algorithm. In addition, we propose algorithmic speed-ups that greatly enhance the scalability of our matched-filter approach. We present theoretical justification of our methodology in the setting of correlated Erdos-Renyi graphs, showing its ability to sequentially discover multiple templates under mild model conditions. We additionally demonstrate our method's utility via extensive experiments both using simulated models and real-world dataset, include human brain connectomes and a large transactional knowledge base.
Simonovits's theorem in random graphs
Let $H$ be a graph with $χ(H) = r+1$. Simonovits's theorem states that, if $H$ is edge-critical, the unique largest $H$-free subgraph of $K_n$ is its largest $r$-partite subgraph, provided that $n$ is sufficiently large. We show that the same holds with $K_n$ replaced by the binomial random graph $G_{n,p}$ whenever $H$ is also strictly $2$-balanced and $p \ge (θ_H+o(1)) n^{-\frac{1}{m_2(H)}} (\log n)^{\frac{1}{e_H-1}}$ for some explicit constant $θ_H$, which we believe to be optimal. This (partially) resolves a conjecture of DeMarco and Kahn.
Super FiboCatalan Numbers and their Lucas Analogues
Catalan observed in 1874 that the numbers $S(m,n) = \frac{(2m)! (2n)!}{m! n! (m+n)!}$, now called the super Catalan numbers, are integers but there is still no known combinatorial interpretation for them in general, although interpretations have been given for the case $m=2$ and for $S(m, m+s)$ for $0 \leq s \leq 4$. In this paper, we define the super FiboCatalan numbers $S(m,n)_F = \frac{F_{2m}! F_{2n}!}{F_m! F_n! F_{m+n}!}$ and the generalized FiboCatalan numbers $J_{r,F} \frac{F_{2n}!}{F_n! F_{n+r+1}!}$ where $J_{r,F} = \frac{F_{2r+1}!}{F_r!}$. In addition, we give Lucas analogues for both of these numbers and use a result of Sagan and Tirrell to prove that the Lucas analogues are polynomials with non-negative integer coefficients which in turn proves that the super FiboCatalan numbers and the generalized FiboCatalan numbers are integers.
On nonrepetitive colorings of paths and cycles
Published
• View Publication
• BIB
We say that a sequence $a_1 \cdots a_{2t}$ of integers is repetitive if $a_i = a_{i+t}$ for every $i\in\{1,\ldots,t\}$. A walk in a graph $G$ is a sequence $v_1 \cdots v_r$ of vertices of $G$ in which $v_iv_{i+1}\in E(G)$ for every $i\in\{1,\ldots,r-1\}$. Given a $k$-coloring $c\colon V(G)\to\{1,\ldots,k\}$ of $V(G)$, we say that $c$ is walk-nonrepetitive (resp. stroll-nonrepetitive) if for every $t\in\mathbb{N}$ and every walk $v_1\cdots v_{2t}$ the sequence $c(v_1) \cdots c(v_{2t})$ is not repetitive unless $v_i = v_{i+t}$ for every $i\in\{1,\ldots,t\}$ (resp. unless $v_i = v_{i+t}$ for some $i\in\{1,\ldots,t\}$). The walk (resp. stroll) chromatic number $σ(G)$ (resp. $ρ(G)$) of $G$ is the minimum $k$ for which $G$ has a walk-nonrepetitive (resp. stroll-nonrepetitive) $k$-coloring. Let $C_n$ and $P_n$ denote, respectively, the cycle and the path with $n$ vertices. In this paper we present three results that answer questions posed by Barát and Wood in 2008: (i) $σ(C_n) = 4$ whenever $n\geq 4$ and $n \notin\{5,7\}$; (ii) $ρ(P_n) = 3$ if $3\leq n\leq 21$ and $ρ(P_n) = 4$ otherwise; and (iii) $ρ(C_n) = 4$, whenever $n \notin\{3,4,6,8\}$, and $ρ(C_n) = 3$ otherwise. In particular, (ii) improves bounds on $n$ obtained by Tao in 2023.
Vector space Ramsey numbers and weakly Sidorenko affine configurations
Published in Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications (2023) 450-456
• View Publication
• BIB
For $B \subseteq \mathbb F_q^m$, the $n$-th affine extremal number of $B$ is the maximum cardinality of a set $A \subseteq \mathbb F_q^n$ with no subset which is affinely isomorphic to $B$. Furstenberg and Katznelson proved that for any $B \subseteq \mathbb F_q^m$, the $n$-th affine extremal number of $B$ is $o(q^n)$ as $n \to \infty$. By counting affine homomorphisms between subsets of $\mathbb F_q^n$, we derive new bounds and give new proofs of some previously known bounds for certain affine extremal numbers. At the same time, we establish corresponding supersaturation results. We connect these bounds to certain Ramsey-type numbers in vector spaces over finite fields. For $s,t \geq 1$, let $R_q(s,t)$ denote the minimum $n$ such that in every red-blue coloring of the one-dimensional subspaces of $\mathbb F_q^n$, there is either a red $s$-dimensional subspace or a blue $t$-dimensional subspace of $\mathbb F_q^n$. The existence of these numbers is a special case of a well-known theorem of Graham, Leeb, Rothschild. We improve the best known upper bounds on $R_2(2,t)$, $R_3(2,t)$, $R_2(t,t)$, and $R_3(t,t)$.
Quantum-Informed Recursive Optimization Algorithms
Published
• View Publication
• BIB
We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility in constrained optimization problems. Additionally, we use backtracking techniques to further improve the performance of the algorithm without increasing the requirements on the quantum hardware. We demonstrate the capabilities of our approach by informing QIRO with correlations from classical simulations of shallow (depth $p=1$) circuits of the quantum approximate optimization algorithm (QAOA), solving instances of maximum independent set and maximum satisfiability problems with hundreds of variables. We also demonstrate how QIRO can be deployed on a neutral atom quantum processor available online on Amazon Braket to find large independent sets of graphs. In summary, our scheme achieves results comparable to classical heuristics, such as simulated annealing and greedy algorithms, even with relatively weak quantum resources. Furthermore, enhancing the quality of these quantum resources improves the performance of the algorithms, highlighting the potential of QIRO. Notably, the modular nature of QIRO offers various avenues for modifications, positioning our work as a blueprint for designing a broader class of hybrid quantum-classical algorithms for combinatorial optimization.
Cubic graphs with colouring defect 3
The colouring defect of a cubic graph is the smallest number of edges left uncovered by any set of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, those that cannot be $3$-edge-coloured (that is, snarks) are known to have defect at least $3$. In this paper we focus on the structure and properties of snarks with defect $3$. For such snarks we develop a theory of reductions similar to standard reductions of short cycles and small cuts in general snarks. We prove that every snark with defect $3$ can be reduced to a snark with defect $3$ which is either nontrivial (cyclically $4$-edge-connected and of girth at least $5$) or to one that arises from a nontrivial snark of defect greater than $3$ by inflating a vertex lying on a suitable $5$-cycle to a triangle. The proofs rely on a detailed analysis of Fano flows associated with triples of perfect matchings leaving exactly three uncovered edges. In the final part of the paper we discuss application of our results to the conjectures of Berge and Fulkerson, which provide the main motivation for our research.
About subdivisions of four blocks cycles $C(k_1,1,k_3,1)$ in digraphs with large chromatic number
Published
• View Publication
• BIB
A cycle with four blocks $C(k_{1}, k_{2},k_{3},k_{4})$ is an oriented cycle formed of four blocks of lengths $k_{1}, k_{2}, k_{3}$ and $k_{4}$ respectively. Recently, Cohen et al. conjectured that for every positive integers $k_{1}, k_{2}, k_{3}, k_{4}$, there is an integer $g(k_{1},k_{2},k_{3},k_{4})$ such that every strongly connected digraph $D$ containing no subdivisions of $C(k_{1},k_{2},k_{3},k_{4})$ has a chromatic number at most $g(k_{1},k_{2},k_{3},k_{4})$. This conjecture is confirmed by Cohen et al. for the case of $C(1,1,1,1)$ and by Al-Mniny for the case of $C(k_1,1,1,1)$. In this paper, we affirm Cohen et al.'s conjecture for the case where $k_2=k_4=1$, namely $g(k_1,1,k_3,1) =O({(k_1+k_3)}^2)$. Moreover, we show that if in addition $D$ is Hamiltonian, then the chromatic number of $D$ is at most $6k$, with $k=\textrm{max}\{k_1,k_3\}.$
On the combinatorics of Lotka-Volterra equations
Published in Physica A, Volume 670, 15 July 2025, 130484
• View Publication
• BIB
We study an approach to obtaining the exact formal solution of the 2-species Lotka-Volterra equation based on combinatorics and generating functions. By employing a combination of Carleman linearization and Mori-Zwanzig reduction techniques, we transform the nonlinear equations into a linear system, allowing for the derivation of a formal solution. The Mori-Zwanzig reduction reduces to an expansion which we show can be interpreted as a directed and weighted lattice path walk, which we use to obtain a representation of the system dynamics as walks of fixed length. The exact solution is then shown to be dependent on the generator of weighted walks. We show that the generator can be obtained by the solution of PDE which in turn is equivalent to a particular Koopman evolution of nonlinear observables.
Linear-Sized Spectral Sparsifiers and the Kadison-Singer Problem
Published
• View Publication
• BIB
The Kadison-Singer Conjecture, as proved by Marcus, Spielman, and Srivastava (MSS) [Ann. Math. 182, 327-350 (2015)], has been informally thought of as a strengthening of Batson, Spielman, and Srivastava's theorem that every undirected graph has a linear-sized spectral sparsifier [SICOMP 41, 1704-1721 (2012)]. We formalize this intuition by using a corollary of the MSS result to derive the existence of spectral sparsifiers with a number of edges linear in their number of vertices for all undirected, weighted graphs. The proof consists of two steps. First, following a suggestion of Srivastava [Asia Pac. Math. Newsl. 3, 15-20 (2013)], we show the result in the special case of graphs with bounded leverage scores by repeatedly applying the MSS corollary to partition the graph, while maintaining an appropriate bound on the leverage scores of each subgraph. Then, we extend to the general case by constructing a recursive algorithm that repeatedly (i) divides edges with high leverage scores into multiple parallel edges and (ii) uses the bounded leverage score case to sparsify the resulting graph.
No Polynomial Kernels for Knapsack
This paper focuses on kernelization algorithms for the fundamental Knapsack problem. A kernelization algorithm (or kernel) is a polynomial-time reduction from a problem onto itself, where the output size is bounded by a function of some problem-specific parameter. Such algorithms provide a theoretical model for data reduction and preprocessing and are central in the area of parameterized complexity. In this way, a kernel for Knapsack for some parameter $k$ reduces any instance of Knapsack to an equivalent instance of size at most $f(k)$ in polynomial time, for some computable function $f(\cdot)$. When $f(k)=k^{O(1)}$ then we call such a reduction a polynomial kernel.
Our study focuses on two natural parameters for Knapsack: The number of different item weights $w_{\#}$, and the number of different item profits $p_{\#}$. Our main technical contribution is a proof showing that Knapsack does not admit a polynomial kernel for any of these two parameters under standard complexity-theoretic assumptions. Our proof discovers an elaborate application of the standard kernelization lower bound framework, and develops along the way novel ideas that should be useful for other problems as well. We complement our lower bounds by showing the Knapsack admits a polynomial kernel for the combined parameter $w_{\#}+p_{\#}$.
Obstruction characterization of co-TT graphs
Published
• View Publication
• BIB
Threshold tolerance graphs and their complement graphs, known as co-TT graphs, were introduced by Monma, Reed, and Trotter[24]. Building on this, Hell et al.[19] introduced the concept of negative interval. Then they proceeded to define signedinterval digraphs/ bigraphs, demonstrating their equivalence to several seemingly distinct classes of digraphs/ bigraphs. They also showed that co-TT graphs are equivalent to symmetric signed-interval digraphs, where some vertices of the digraphs have loops and others do not. We have showed that this actually solve the representation characterization problem of co-TT graphs posed by Monma, Reed and Trotter [24]. In this paper, we characterize signed-interval bigraphs and signed-interval graphs in terms of their biadjacency matrices and adjacency matrices, respectively. Moreover we emphasize on the geometric representation of signed-interval graphs, i.e. co-TT graphs. Finally, by utilizing the geometric representation of signed-interval graphs, we resolve the open problem of characterizing co-TT graphs in terms of minimal forbidden induced subgraphs, a problem initially posed by Monma, Reed, and Trotter in the same paper.
An interlacing property of the signless Laplacian of threshold graphs
Published
• View Publication
• BIB
We show that for threshold graphs, the eigenvalues of the signless Laplacian matrix interlace with the degrees of the vertices. As an application, we show that the signless Brouwer conjecture holds for threshold graphs, i.e., for threshold graphs the sum of the k largest eigenvalues is bounded by the number of edges plus k + 1 choose 2.
Some orientation theorems for restricted DP-colorings of graphs
Published in Discrete Mathematics, Volume 348, Issue 4, 2025
• View Publication
• BIB
We define $Z$-signable correspondence assignments on multigraphs, which generalize good correspondence assignments as introduced by Kaul and Mudrock. We introduce an auxiliary digraph that allows us to prove an Alon-Tarsi style theorem for DP-colorings from $Z$-signable correspondence assignments on multigraphs, and apply this theorem to obtain three DP-coloring analogs of the Alon-Tarsi theorem for arbitrary correspondence assignments as corollaries. We illustrate the use of these corollaries for DP-colorings on a restricted class of correspondence assignments on toroidal grids.
Sharp volume and multiplicity bounds for Fano simplices
We present sharp upper bounds on the volume, Mahler volume and multiplicity for Fano simplices depending on the dimension and Gorenstein index. These bounds rely on the interplay between lattice simplices and unit fraction partitions. Moreover, we present an efficient procedure for explicitly classifying Fano simplicies of any dimension and Gorenstein index and we carry out the classification up to dimension four for various Gorenstein indices.
On a question of Matt Baker regarding the dollar game
In an introductory paper on dollar game played on a graph, Matt Baker wrote the following: ``The total number of borrowing moves required to win the game when playing the 'borrowing binge strategy' is independent of which borrowing moves you do in which order! Note, however, that it is usually possible to win in fewer moves by employing lending moves in combination with borrowing moves. The optimal strategy when one uses both kinds of moves is not yet understood.''
In this article, we give a lower bound on the minimum number $ M_{\text{min}} $ of such moves of an optimal algorithm in terms of the number of moves $ M_0 $ of the borrowing binge strategy. Concretely, we have: $ M_{\text{min}} \geq \frac{M_0}{n-1} $ where $ n $ is the number of vertices of the graph. This bound is tight.
Decreasing the mean subtree order by adding $k$ edges
Published
• View Publication
• BIB
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $μ(H) < μ(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $μ(H) < μ(G)$. Furthermore, they proposed that $μ(K_m+nK_1) < μ(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.
On self-duality and unigraphicity for $3$-polytopes
Published
• View Publication
• BIB
Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation.
An algorithm in the literature constructs a self-dual $3$-polytope for any admissible degree sequence. To do so, it performs operations on the radial graph, so that the corresponding $3$-polytope and its dual are modified in exactly the same way. To settle our question and construct the relevant graphs, we apply this algorithm, we introduce some modifications of it, and we also devise new ones. The speed of these algorithms is linear in the graph order.