Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Local algorithms for Maximum Cut and Minimum Bisection on locally treelike regular graphs of large degree
Published
• View Publication
• BIB
Given a graph $G$ of degree $k$ over $n$ vertices, we consider the problem of computing a near maximum cut or a near minimum bisection in polynomial time. For graphs of girth $2L$, we develop a local message passing algorithm whose complexity is $O(nkL)$, and that achieves near optimal cut values among all $L$-local algorithms. Focusing on max-cut, the algorithm constructs a cut of value $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+\mathsf{err}(n,k,L)$, where $\mathsf{P}_\star\approx 0.763166$ is the value of the Parisi formula from spin glass theory, and $\mathsf{err}(n,k,L)=o_n(n)+no_k(\sqrt{k})+n \sqrt{k} o_L(1)$ (subscripts indicate the asymptotic variables). Our result generalizes to locally treelike graphs, i.e., graphs whose girth becomes $2L$ after removing a small fraction of vertices.
Earlier work established that, for random $k$-regular graphs, the typical max-cut value is $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+o_n(n)+no_k(\sqrt{k})$. Therefore our algorithm is nearly optimal on such graphs. An immediate corollary of this result is that random regular graphs have nearly minimum max-cut, and nearly maximum min-bisection among all regular locally treelike graphs. This can be viewed as a combinatorial version of the near-Ramanujan property of random regular graphs.
New results and open problems on subgraph centrality
Published in Journal of Combinatorics, Vol. 14, No. 4 (2023), pp. 425-444
• View Publication
• BIB
Subgraph centrality, introduced by Estrada and Rodríguez-Velázquez in [12], has become a widely used centrality measure in the analysis of networks, with applications in biology, neuroscience, economics and many other fields. It is also worthy of study from a strictly mathematical point of view, in view of its connections to topics in spectral graph theory, number theory, analytic matrix functions, and combinatorics. In this paper we present some new results and a list of open questions about subgraph centrality and other node centrality measures based on graph walks.
Positroids are 3-colorable
Published
• View Publication
• BIB
We show that every positroid of rank $r \geq 3$ has a good coline. Using the definition of the chromatic number of oriented matroid introduced by J.\ Nešetřil, R.\ Nickel, and W.~Hochstättler, this shows that every orientation of a positroid is 3-colorable.
On Affine Hilbert Functions of Unions of Layers in Finite Grids
The affine Hilbert function is a classical algebraic object that has been central, among other tools, to the development of the polynomial method in combinatorics. Owing to its concrete connections with Gröbner basis theory, as well as its applicability in several areas like computational complexity, combinatorial geometry, and coding theory, an important line of enquiry is to understand the affine Hilbert function of structured sets of points in the affine space.
In this work, we determine the affine Hilbert function (over the reals) of arbitrary unions of layers of points in a uniform grid (a finite grid with the component sets having equispaced points), where each layer of points is determined by a fixed sum of components for all the points. This extends a result of Bernasconi and Egidi (Inf. Comput. 1999) from the Boolean cube setting to the uniform grid setting.
Our proofs follow a similar outline as that of Bernasconi and Egidi. However, there are two bottlenecks that arise in the uniform grid setting. We resolve these by using (i) a classical fact that a symmetric Jordan basis exists for the function space on a uniform grid, and (ii) an extension to multisets of an algebraic interpretation by Friedl and Rónyai (Discrete Math. 2003) of the notion of order shattering.
The affine Hilbert function is, in fact, a stronger notion than the finite-degree Zariski closure, which is yet another important tool in the polynomial method toolkit. We conclude by giving an alternative proof of a combinatorial characterization of a variant of finite-degree Zariski closures, for unions of layers in uniform grids, obtained in an earlier work of the author (arXiv, 2021).
Takagi Function Identities on Dyadic Rationals
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.2.7
• Search Publication
The number of unbalanced interior nodes of divide-and-conquer trees on $n$ leaves is known to form a sequence of dilations of the Takagi function on dyadic rationals. We use this fact to derive identities on the Takagi function and on the Hamming weight of an integer in terms of the Takagi function.
A Note on the Maximum Number of Minimal Connected Dominating Sets in a Graph
We prove constructively that the maximum possible number of minimal connected dominating sets in a connected undirected graph of order $n$ is in $Ω(1.489^n)$. This improves the previously known lower bound of $Ω(1.4422^n)$ and reduces the gap between lower and upper bounds for input-sensitive enumeration of minimal connected dominating sets in general graphs as well as some special graph classes.
Cops and robber on subclasses of $P_5$-free graphs
Published
• View Publication
• BIB
The game of cops and robber is a turn based vertex pursuit game played on a connected graph between a team of cops and a single robber. The cops and the robber move alternately along the edges of the graph. We say the team of cops win the game if a cop and the robber are at the same vertex of the graph. The minimum number of cops required to win in each component of a graph is called the cop number of the graph. Sivaraman [Discrete Math. 342(2019), pp. 2306-2307] conjectured that for every $t\geq 5$, the cop number of a connected $P_t$-free graph is at most $t-3$, where $P_t$ denotes a path on $t$~vertices. Turcotte [Discrete Math. 345 (2022), pp. 112660] showed that the cop number of any $2K_2$-free graph is at most $2$, which was earlier conjectured by Sivaraman and Testa. Note that if a connected graph is $2K_2$-free, then it is also $P_5$-free. Liu showed that the cop number of a connected ($P_t$, $H$)-free graph is at most $t-3$, where $H$ is a cycle of length at most $t$ or a claw. So the conjecture of Sivaraman is true for ($P_5$, $H$)-free graphs, where $H$ is a cycle of length at most $5$ or a claw. In this paper, we show that the cop number of a connected ($P_5,H$)-free graph is at most $2$, where $H\in \{C_4$, $C_5$, diamond, paw, $K_4$, $2K_1\cup K_2$, $K_3\cup K_1$, $P_3\cup P_1\}$.
Multivariate Analytic Combinatorics for Cost Constrained Channels
Published
• View Publication
• BIB
Analytic combinatorics in several variables is a branch of mathematics that deals with deriving the asymptotic behavior of combinatorial quantities by analyzing multivariate generating functions. We study information-theoretic questions about sequences in a discrete noiseless channel under cost constraints. Our main contributions involve the relationship between the graph structure of the channel and the singularities of the bivariate generating function whose coefficients are the number of sequences satisfying the constraints. We use these new results to invoke theorems from multivariate analytic combinatorics to obtain the asymptotic behavior of the number of cost-limited strings that are admissible by the channel. This builds a new bridge between analytic combinatorics in several variables and labeled weighted graphs, bringing a new perspective and a set of powerful results to the literature of cost-constrained channels. Along the way, we show that the cost-constrained channel capacity is determined by a cost-dependent singularity of the bivariate generating function, generalizing Shannon's classical result for unconstrained capacity, and provide a new proof of the equivalence of the combinatorial and probabilistic definitions of the cost-constrained capacity.
Ramsey numbers for complete graphs versus generalized fans
Published
• View Publication
• BIB
For two graphs $G$ and $H$, let $r(G,H)$ and $r_*(G,H)$ denote the Ramsey number and star-critical Ramsey number of $G$ versus $H$, respectively. In 1996, Li and Rousseau proved that $r(K_{m},F_{t,n})=tn(m-1)+1$ for $m\geq 3$ and sufficiently large $n$, where $F_{t,n}=K_{1}+nK_{t}$. Recently, Hao and Lin proved that $r(K_{3},F_{3,n})=6n+1$ for $n\geq 3$ and $r_{\ast}(K_{3},F_{3,n})=3n+3$ for $n\geq 4$. In this paper, we show that $r(K_{m}, sF_{t,n})=tn(m+s-2)+s$ for sufficiently large $n$ and, in particular, $r(K_{3}, sF_{t,n})=tn(s+1)+s$ for $t\in\{3,4\},n\geq t$ and $s\geq1$. We also show that $r_{\ast}(K_{3}, F_{4,n})=4n+4$ for $n\geq 4$ and establish an upper bound on $r(F_{2,m},F_{t,n})$.
Avoiding a pair of patterns in multisets and compositions
Published in Advances in Applied Mathematics 133 (2022), article 102286
• View Publication
• BIB
In this paper, we study the Wilf-type equivalence relations among multiset permutations. We identify all multiset equivalences among pairs of patterns consisting of a pattern of length three and another pattern of length at most four. To establish our results, we make use of a variety of techniques, including Ferrers-equivalence arguments, sorting by minimal/maximal letters, analysis of active sites and direct bijections. In several cases, our arguments may be extended to prove multiset equivalences for infinite families of pattern pairs. Our results apply equally well to the Wilf-type classification of compositions, and as a consequence, we obtain a complete description of the Wilf-equivalence classes for pairs of patterns of type (3,3) and (3,4) on compositions, with the possible exception of two classes of type (3,4).
A simplified proof of the Johansson-Molloy Theorem using the Rosenfeld counting method
We show that any triangle-free graph with maximum degree $Δ$ has chromatic number at most $\left(1+o(1)\right)Δ/\log Δ.$
The configuration space of a robotic arm over a graph
Published
• View Publication
• BIB
We investigate the configuration space $\mathcal{S}_{G,b,\ell}$ associated with the movement of a robotic arm of length $\ell$ on a grid over an underlying graph $G$, anchored at a vertex $b \in G$. We study an associated PIP (poset with inconsistent pairs) $\text{IP}_{G,b,\ell}$ consisting of indexed paths on $G$. This PIP acts as a combinatorial model for the robotic arm, and we use $\text{IP}_{G,b,\ell}$ to show that the space $\mathcal{S}_{G,b,\ell}$ is a CAT(0) cubical complex, generalizing work of Ardila, Bastidas, Ceballos, and Guo. This establishes that geodesics exist within the configuration space, and yields explicit algorithms for moving the robotic arm between different configurations in an optimal fashion. We also give a tight bound on the diameter of the robotic arm transition graph (the maximal number of moves necessary to change from one configuration to another) and compute this diameter for a large family of underlying graphs $G$.
On Nash-solvability of finite $n$-person deterministic graphical games; Catch 22
We consider finite $n$-person deterministic graphical (DG) games. These games are modelled by finite directed graphs (digraphs) $G$ which may have directed cycles and, hence, infinite plays. Yet, it is assumed that all these plays are equivalent and form a single outcome $c$, while the terminal vertices $V_T = \{a_1, \ldots, a_p\}$ form $p$ remaining outcomes. We study the existence of Nash equilibria (NE) in pure stationary strategies. It is known that NE exist when $n=2$ and may fail to exist when $n > 2$. Yet, the question becomes open for $n > 2$ under the following extra condition: (C) For each of $n$ players, $c$ is worse than each of $p$ terminal outcomes. In other words, all players are interested in terminating the play, which is a natural assumption. Moreover, Nash-solvability remains open even if we replace (C) by a weaker condition: (C22) There exist no two players for whom $c$ is better than (at least) two terminal outcomes. We conjecture that such two players exist in each NE-free DG game, or in other words, that (C22) implies Nash-solvability, for all $n$. Recently, the DG games were extended to a wider class of the DG multi-stage (DGMS) games, whose outcomes are the strongly connected components (SCC) of digraph $G$. Merging all outcomes of a DGMS game that correspond to its non-terminal SCCs we obtain a DG game. Clearly, this operation respects Nash-solvability (NS). Basic conditions and conjectures related to NS can be extended from the DG to DGMS games: in both cases NE exist if $n=2$ and may fail to exist when $n > 2$; furthermore, we modify conditions (C) and (C22) to adapt them for the DGMS games. Keywords: $n$-person deterministic graphical (multi-stage) games, Nash equilibrium, Nash-solvability, pure stationary strategy, digraph, directed cycle, strongly connected component.
On the Maximal Number of Columns of a $Δ$-modular Integer Matrix: Bounds and Computations
Published
• View Publication
• BIB
We study the maximal number of pairwise distinct columns in a $Δ$-modular integer matrix with $m$ rows. Recent results by Lee et al. provide an asymptotically tight upper bound of $O(m^2)$ for fixed $Δ$. We complement this and obtain an upper bound of the form $O(Δ)$ for fixed $m$, and with the implied constant depending polynomially on $m$.
Logical limit laws for layered permutations and related structures
Published in Enumerative Combinatorics and Applications 2:4 (2022) Article S4PP2
• View Publication
• BIB
We show that several classes of ordered structures (namely, convex linear orders, layered permutations, and compositions) admit first-order logical limit laws.
Online Discrepancy with Recourse for Vectors and Graphs
Published
• View Publication
• BIB
The vector-balancing problem is a fundamental problem in discrepancy theory: given T vectors in $[-1,1]^n$, find a signing $σ(a) \in \{\pm 1\}$ of each vector $a$ to minimize the discrepancy $\| \sum_{a} σ(a) \cdot a \|_{\infty}$. This problem has been extensively studied in the static/offline setting. In this paper we initiate its study in the fully-dynamic setting with recourse: the algorithm sees a stream of T insertions and deletions of vectors, and at each time must maintain a low-discrepancy signing, while also minimizing the amortized recourse (the number of times any vector changes its sign) per update.
For general vectors, we show algorithms which almost match Spencer's $O(\sqrt{n})$ offline discrepancy bound, with ${O}(n\cdot poly\!\log T)$ amortized recourse per update. The crucial idea is to compute a basic feasible solution to the linear relaxation in a distributed and recursive manner, which helps find a low-discrepancy signing. To bound recourse we argue that only a small part of the instance needs to be re-computed at each update.
Since vector balancing has also been greatly studied for sparse vectors, we then give algorithms for low-discrepancy edge orientation, where we dynamically maintain signings for 2-sparse vectors. Alternatively, this can be seen as orienting a dynamic set of edges of an n-vertex graph to minimize the absolute difference between in- and out-degrees at any vertex. We present a deterministic algorithm with $O(poly\!\log n)$ discrepancy and $O(poly\!\log n)$ amortized recourse. The core ideas are to dynamically maintain an expander-decomposition with low recourse and then to show that, as the expanders change over time, a natural local-search algorithm converges quickly (i.e., with low recourse) to a low-discrepancy solution. We also give strong lower bounds for local-search discrepancy minimization algorithms.
On the number of cycles in commutators of random permutations
Published
• View Publication
• BIB
We present general links between statistics of non-Hermitian random matrices and the distribution of the number of cycles of some specific random permutations. In particular, we derive explicit formulas for the generating functions of the number of cycles in the commutator $[σ,τ] = στσ^{-1} τ^{-1}$ where $σ$ is uniformly distributed, and $τ$ is either one cycle, the product of two cycles of same size, or the product of many transpositions.
Probabilistic hypergraph containers
Published
• View Publication
• BIB
Given a $k$-uniform hypergraph $\mathcal{H}$ and sufficiently large $m \gg m_0(\mathcal{H})$, we show that an $m$-element set $I \subseteq V(\mathcal{H})$, chosen uniformly at random, with probability $1 - e^{-ω(m)}$ is either not independent or is contained in an almost-independent set in $\mathcal{H}$ which, crucially, can be constructed from carefully chosen $o(m)$ vertices of $I$. As a corollary, this implies that if the largest almost-independent set in $\mathcal{H}$ is of size $o(v(\mathcal{H}))$ then $I$ itself is an independent set with probability $e^{-ω(m)}$. More generally, $I$ is very likely to inherit structural properties of almost-independent sets in $\mathcal{H}$.
The value $m_0(\mathcal{H})$ coincides with that for which Janson's inequality gives that $I$ is independent with probability at most $e^{-Θ(m_0)}$. On the one hand, our result is a significant strengthening of Janson's inequality in the range $m \gg m_0$. On the other hand, it can be seen as a probabilistic variant of hypergraph container theorems, developed by Balogh, Morris and Samotij and, independently, by Saxton and Thomason. While being strictly weaker than the original container theorems in the sense that it does not apply to all independent sets of size $m$, it is nonetheless sufficient for many applications and admits a short proof using probabilistic ideas.
The limit of the zero locus of the independence polynomial for bounded degree graphs
Published
• View Publication
• BIB
The goal of this paper is to accurately describe the maximal zero-free region of the independence polynomial for graphs of bounded degree, for large degree bounds. In previous work with de Boer, Guerini and Regts it was demonstrated that this zero-free region coincides with the normality region of the related occupation ratios. These ratios form a discrete semi-group that is in a certain sense generated by finitely many rational maps. We will show that as the degree bound converges to infinity, the properly rescaled normality regions converge to a limit domain, which can be described as the maximal boundedness component of a semi-group generated by infinitely many exponential maps.
We prove that away from the real axis, this boundedness component avoids a neighborhood of the boundary of the limit cardioid, answering a recent question by Andreas Galanis. We also give an exact formula for the boundary of the boundedness component near the positive real boundary point.
Applications of Random Algebraic Constructions to Hardness of Approximation
Published
• View Publication
• BIB
In this paper, we show how one may (efficiently) construct two types of extremal combinatorial objects whose existence was previously conjectural.
(*) Panchromatic Graphs: For fixed integer k, a k-panchromatic graph is, roughly speaking, a balanced bipartite graph with one partition class equipartitioned into k colour classes in which the common neighbourhoods of panchromatic k-sets of vertices are much larger than those of k-sets that repeat a colour. The question of their existence was raised by Karthik and Manurangsi [Combinatorica 2020].
(*) Threshold Graphs: For fixed integer k, a k-threshold graph is, roughly speaking, a balanced bipartite graph in which the common neighbourhoods of k-sets of vertices on one side are much larger than those of (k+1)-sets. The question of their existence was raised by Lin [JACM 2018].
As applications of our constructions, we show the following conditional time lower bounds on the parameterized set intersection problem where, given a collection of n sets over universe [n] and a parameter k, the goal is to find k sets with the largest intersection.
(*) Assuming ETH, for any computable function F, no $n^{o(k)}$-time algorithm can approximate the parameterized set intersection problem up to factor F(k). This improves considerably on the previously best-known result under ETH due to Lin [JACM 2018], who ruled out any $n^{o(\sqrt{k})}$ time approximation algorithm for this problem.
(*) Assuming SETH, for every $\varepsilon>0$ and any computable function F, no $n^{k-\varepsilon}$-time algorithm can approximate the parameterized set intersection problem up to factor F(k). No result of comparable strength was previously known under SETH, even for solving this problem exactly.