Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Indicated domination game
Motivated by the success of domination games and by a variation of the coloring game called the indicated coloring game, we introduce a version of domination games called the indicated domination game. It is played on an arbitrary graph $G$ by two players, Dominator and Staller, where Dominator wants to finish the game in as few rounds as possible while Staller wants just the opposite. In each round, Dominator indicates a vertex $u$ of $G$ that has not been dominated by previous selections of Staller, which, by the rules of the game, forces Staller to select a vertex in the closed neighborhood of $u$. The game is finished when all vertices of $G$ become dominated by the vertices selected by Staller. Assuming that both players are playing optimally according to their goals, the number of selected vertices during the game is the indicated domination number, $γ_i(G)$, of $G$.
We prove several bounds on the indicated domination number expressed in terms of other graph invariants. In particular, we find a place of the new graph invariant in the well-known domination chain, by showing that $γ_i(G)\ge Γ(G)$ for all graphs $G$, and by showing that the indicated domination number is incomparable with the game domination number and also with the upper irredundance number. In connection with the trivial upper bound $γ_i(G)\le n(G)-δ(G)$, we characterize the class of graphs $G$ attaining the bound provided that $n(G)\ge 2δ(G)+2$. We prove that in trees, split graphs and grids the indicated domination number equals the independence number. We also find a formula for the indicated domination number of powers of paths, from which we derive that there exist graphs in which the indicated domination number is arbitrarily larger than the upper irredundance number.
Lightning graph matching
Published
• View Publication
• BIB
Graph matching aims to find correspondences between two graphs. It is a fundamental task in pattern recognition. The classical spectral matching algorithm has time complexity $\mathcal{O}(n^4)$ and space complexity $\mathcal{O}(n^4)$, where $n$ is the number of nodes. Such a complexity limits the applicability to large-scale graph matching tasks. This paper proposes an efficient redesign of spectral matching by transforming the graph matching problem into a 1D linear assignment problem, which can be solved efficiently by sorting two $n \times 1$ vectors. The resulting algorithm is named the lightning spectral assignment method (LiSA), which enjoys a complexity of $\mathcal{O}(n^2)$. Numerical experiments demonstrate the efficiency and the theoretical analysis of the strategy.
Regular ovoids and Cameron-Liebler sets of generators in polar spaces
Published
• View Publication
• BIB
Cameron-Liebler sets of generators in polar spaces were introduced a few years ago as natural generalisations of the Cameron-Liebler sets of subspaces in projective spaces. In this article we present the first two constructions of non-trivial Cameron-Liebler sets of generators in polar spaces. Also regular m-ovoids of k-spaces are introduced as a generalization of m-ovoids of polar spaces. They are used in one of the aforementioned constructions of Cameron-Liebler sets.
Maximum Betti numbers of Čech complexes
Published
• View Publication
• BIB
The Upper Bound Theorem for convex polytopes implies that the $p$-th Betti number of the Čech complex of any set of $N$ points in $\mathbb R^d$ and any radius satisfies $β_{p} = O(N^{m})$, with $m = \min \{ p+1, \lceil d/2 \rceil \}$. We construct sets in even and odd dimensions that prove this upper bound is asymptotically tight. For example, we describe a set of $N = 2(n+1)$ points in $\mathbb R^3$ and two radii such that the first Betti number of the Čech complex at one radius is $(n+1)^2 - 1$, and the second Betti number of the Čech complex at the other radius is $n^2$.
Improved lower bound towards Chen-Chvátal conjecture
Published
• View Publication
• BIB
We prove that in every metric space where no line contains all the points, there are at least $Ω(n^{2/3})$ lines. This improves the previous $Ω(\sqrt{n})$ lower bound on the number of lines in general metric space, and also improves the previous $Ω(n^{4/7})$ lower bound on the number of lines in metric spaces generated by connected graphs.
Power-free Complementary Binary Morphisms
Published
• View Publication
• BIB
We revisit the topic of power-free morphisms, focusing on the properties of the class of complementary morphisms. Such morphisms are defined over a $2$-letter alphabet, and map the letters 0 and 1 to complementary words. We prove that every prefix of the famous Thue-Morse word $\mathbf{t}$ gives a complementary morphism that is $3^+$-free and hence $α$-free for every real number $α>3$. We also describe, using a 4-state binary finite automaton, the lengths of all prefixes of $\mathbf{t}$ that give cubefree complementary morphisms. Next, we show that $3$-free (cubefree) complementary morphisms of length $k$ exist for all $k\not\in \{3,6\}$. Moreover, if $k$ is not of the form $3\cdot2^n$, then the images of letters can be chosen to be factors of $\mathbf{t}$. Finally, we observe that each cubefree complementary morphism is also $α$-free for some $α<3$; in contrast, no binary morphism that maps each letter to a word of length 3 (resp., a word of length 6) is $α$-free for any $α<3$.
In addition to more traditional techniques of combinatorics on words, we also rely on the Walnut theorem-prover. Its use and limitations are discussed.
Sampling Balanced Forests of Grids in Polynomial Time
Published
• View Publication
• BIB
We prove that a polynomial fraction of the set of $k$-component forests in the $m \times n$ grid graph have equal numbers of vertices in each component, for any constant $k$. This resolves a conjecture of Charikar, Liu, Liu, and Vuong, and establishes the first provably polynomial-time algorithm for (exactly or approximately) sampling balanced grid graph partitions according to the spanning tree distribution, which weights each $k$-partition according to the product, across its $k$ pieces, of the number of spanning trees of each piece. Our result follows from a careful analysis of the probability a uniformly random spanning tree of the grid can be cut into balanced pieces.
Beyond grids, we show that for a broad family of lattice-like graphs, we achieve balance up to any multiplicative $(1 \pm \varepsilon)$ constant with constant probability, and up to an additive constant with polynomial probability. More generally, we show that, with constant probability, components derived from uniform spanning trees can approximate any given partition of a planar region specified by Jordan curves. These results imply polynomial time algorithms for sampling approximately balanced tree-weighted partitions for lattice-like graphs.
Our results have applications to understanding political districtings, where there is an underlying graph of indivisible geographic units that must be partitioned into $k$ population-balanced connected subgraphs. In this setting, tree-weighted partitions have interesting geometric properties, and this has stimulated significant effort to develop methods to sample them.
Accessibility, planar graphs, and quasi-isometries
We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.
The linear system for Sudoku and a fractional completion threshold
Published
• View Publication
• BIB
We study a system of linear equations associated with Sudoku latin squares. The coefficient matrix $M$ of the normal system has various symmetries arising from Sudoku. From this, we find the eigenvalues and eigenvectors of $M$, and compute a generalized inverse. Then, using linear perturbation methods, we obtain a fractional completion guarantee for sufficiently large and sparse rectangular-box Sudoku puzzles.
A short proof of the Almkvist-Meurman theorem
We give a short generating function proof of the Almkvist-Meurman theorem: For integers $h$ and $k\ne0$, define the numbers $M_n(h,k)$ by $kx(e^{hx}-1)/(e^{kx}-1)=\sum_{n=0}^\infty M_n(h,k) x^n/n!$. Equivalently, $M_n(h,k) = k^n(B_n(h/k) - B_n)$, where $B_n(u)$ is the Bernoulli polynomial. Then $M_n(h,k)$ is an integer. The proof is related to Postnikov's functional equation for the generating function for intransitive trees.
Hodge theory for tropical fans
This paper is the first in a series devoted to the development of a Hodge theory for tropical varieties. We introduce a notion of T-stability for tropical fans and prove that various geometric properties of tropical fans are T-stable. As a consequence, we establish Kähler properties for the Chow ring in a large class of tropical fans, going beyond the case of matroids and their Bergman fans. As a by-product, we obtain a new proof of the Kähler package for combinatorial geometries. The approach makes it possible to deal with tropical fans with general weights.
Spectral properties of generalized Paley graphs
We study the spectrum of generalized Paley graphs $Γ(k,q)=Cay(\mathbb{F}_q,R_k)$, undirected or not, with $R_k=\{x^k:x\in \mathbb{F}_q^*\}$ where $q=p^m$ with $p$ prime and $k\mid q-1$. We first show that the eigenvalues of $Γ(k,q)$ are given by the Gaussian periods $η_{i}^{(k,q)}$ with $0\le i\le k-1$. Then, we explicitly compute the spectrum of $Γ(k,q)$ with $1\le k \le 4$ and of $Γ(5,q)$ for $p\equiv 1\pmod 5$ and $5\mid m$. Also, we characterize those GP-graphs having integral spectrum, showing that $Γ(k,q)$ is integral if and only if $p$ divides $(q-1)/(p-1)$. Next, we focus on the family of semiprimitive GP-graphs. We show that they are integral strongly regular graphs (of pseudo-Latin square type). Finally, we characterize all integral Ramanujan graphs $Γ(k,q)$ with $1\le k \le 4$ or where $(k,q)$ is a semiprimitive pair.
Graph decomposition via edge edits into a union of regular graphs
Published
• View Publication
• BIB
Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$ with the property that one of their neighbors $(v,w) \in E$ has a higher degree $\mbox{deg}(w) > \mbox{deg}(v)$. We prove the converse statement: if a graph has few vertices having a neighbor with higher degree and satisfies a mild regularity condition, then, via adding and removing a few edges, the graph can be turned into a disjoint union of (distance-)regular graphs. The number of edge operations depends on the maximum degree and number of vertices with a higher degree neighbor but is independent of the size of $|V|$.
Quantum search by continuous-time quantum walk on t-designs
Published in Quantum Inf Process 23, 140 (2024)
• View Publication
• BIB
This work examines the time complexity of quantum search algorithms on combinatorial $t$-designs with multiple marked elements using the continuous-time quantum walk. Through a detailed exploration of $t$-designs and their incidence matrices, we identify a subset of bipartite graphs that are conducive to success compared to random-walk-based search algorithms. These graphs have adjacency matrices with eigenvalues and eigenvectors that can be determined algebraically and are also suitable for analysis in the multiple-marked vertex scenario. We show that the continuous-time quantum walk on certain symmetric $t$-designs achieves an optimal running time of $O(\sqrt{n})$, where $n$ is the number of points and blocks, even when accounting for an arbitrary number of marked elements. Upon examining two primary configurations of marked elements distributions, we observe that the success probability is consistently $o(1)$, but it approaches 1 asymptotically in certain scenarios.
Proof of Irvine's Conjecture via Mechanized Guessing
We prove a recent conjecture of Sean A. Irvine about a nonlinear recurrence, using mechanized guessing and verification. The theorem-prover Walnut plays a large role in the proof.
Infinite series of $3$-designs in the extended quadratic residue code
Published
• View Publication
• BIB
In this paper, we show infinite series of $3$-designs in the extended quadratic residue codes over $\mathbb {F}_{r^2}$ for a prime $r$.
Highest Weight Varieties and Narayana Numbers
In this exposition, we compute the hilbert series of the coordinate ring of some highest weight varieties. We also explain why Narayana numbers (and their generalizations) appear naturally in the numerator of the hilbert series of the coordinate ring of complex grassmanian Gr(d,n+d+1) and of the minimal nilpotent adjoint orbit in sl_n(C). These calculations might be related to some cluster algebra structures.
Euler characteristics of affine ADE Nakajima quiver varieties via collapsing fibers
Published in J. Lond. Math. Soc., Vol 111, Issue 2 (2025), e70074
• View Publication
• BIB
We prove a universal substitution formula that compares generating series of Euler characteristics of Nakajima quiver varieties associated with affine ADE diagrams at generic and at certain nongeneric stability conditions via a study of collapsing fibres in the associated variation of GIT map, unifying and generalising earlier results of the last two authors with Némethi and of Nakajima. As a special case, we compute generating series of Euler characteristics of noncommutative Quot schemes of Kleinian orbifolds. In type A and rank 1, we give a second, combinatorial proof of our substitution formula, using torus localisation and partition enumeration. This gives a combinatorial model of the fibers of the variation of GIT map, and also leads to relations between our results and the representation theory of the affine and finite Lie algebras in type A.
The weak Lefschetz property of artinian algebras associated to paths and cycles
Published
• View Publication
• BIB
Given a base field $\Bbbk$ of characteristic zero, for each graph $G$, we associate the artinian algebra $A(G)$ defined by the edge ideal of $G$ and the squares of the variables. We study the weak Lefschetz property of $A(G)$. We classify some classes of graphs with relatively few edges, including paths and cycles, such that its associated artinian ring has the weak Lefschetz property.
Minimum Decomposition on Maxmin Trees
Maxmin trees are trees that consist of nodes that are either local minimums or maximums. Such trees were first studied by Postnikov. Later Dugan, Glennon, Gunnells, and Steingrimsson introduced the concept of weight to these trees and proved a bijection between maximum weight maxmin trees and permutations, defining weights for permutations. In addition, the q-Eulerian polynomial $E_n(x, q)$ is defined which relates descents and weights of permutations. This polynomial was later proven to exhibit a stabilization phenomenon by Agrawal et al. Extracting the formal power series $W_d(t)$ from the stabilization of these coefficients, $W_d(t)$ was conjectured to partially correspond to A256193. In our paper, we introduce a process called minimum decomposition to help us better understand maxmin trees. Using minimum decomposition, we present a new way to calculate the weight of different maxmin trees and prove the bijection between the coefficients of $W_d(t)$ and A256193.