Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Rotor-routing reachability is easy, chip-firing reachability is hard
Published in European Journal of Combinatorics Volume 101, March 2022, 103466
• View Publication
• BIB
Chip-firing and rotor-routing are two well-studied examples of abelian networks. We study the complexity of their respective reachability problems. We show that the rotor-routing reachability problem is decidable in polynomial time, and we give a simple characterization of when a chip-and-rotor configuration is reachable from another one. For chip-firing, it has been known that the reachability problem is in P if we have a class of graphs whose period length is polynomial (for example, Eulerian digraphs). Here we show that in the general case, chip-firing reachability is hard in the sense that if the chip-firing reachability problem were in P for general digraphs, then the polynomial hierarchy would collapse to NP. We encode graphs by their adjacency matrix, and we encode ribbon structures "succinctly", only remembering the number of consecutive parallel edges.
A note on [D. G. Higman 1988 : Strongly regular designs and coherent configurations of type $[{3\atop {\;}}\;\;{2\atop 3}]$]
In 1988, D. G. Higman gave properties of parameters of strongly regular designs without proof. It included an error. We will give proofs and correct the error.
Two-distance transitive normal Cayley graphs
Published
• View Publication
• BIB
In this paper, we construct an infinite family of normal Cayley graphs, which are $2$-distance-transitive but neither distance-transitive nor $2$-arc-transitive. This answers a question raised by Chen, Jin and Li in 2019 and corrects a claim in a literature given by Pan, Huang and Liu in 2015.
A novel method based on node correlation to evaluate the important nodes in complex networks
Published
• View Publication
• BIB
Finding the important nodes in complex networks by topological structure is of great significance to network invulnerability. Several centrality measures have been proposed recently to evaluate the performance of nodes based on their correlation, showing that the interaction between nodes has an influence on the importance of nodes. In this paper, a novel method based on node distribution and global influence in complex networks is proposed. Our main idea is that the importance of nodes being linked not only to the relative position in the network but also to the correlations with each other. The nodes in the complex networks are classified according to the distance matrix, then the correlation coefficient between pairs of nodes is calculated. From the whole perspective in the network, the global similarity centrality (GSC) is proposed based on the relevance and shortest distance between any two nodes. The efficiency, accuracy and monotonicity of the proposed method are analyzed in two artificial datasets and eight real datasets of different sizes. Experimental results show that the performance of GSC method outperforms those current state-of-the-art algorithms.
Automatic sequences: from rational bases to trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Automata, Logic and Semantics (July 19, 2022) dmtcs:8455
• View Publication
• BIB
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with $r$-block substitutions where $r$ morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
Mixed graphs with cut vertices having exactly two positive eigenvalues
A mixed graph is obtained by orienting some edges of a simple graph. The positive inertia index of a mixed graph is defined as the number of positive eigenvalues of its Hermitian adjacency matrix, including multiplicities. This matrix was introduced by Liu and Li, independently by Guo and Mohar, in the study of graph energy. Recently, Yuan et al. characterized the mixed graphs with exactly one positive eigenvalue. In this paper, we study the positive inertia indices of mixed graphs and characterize the mixed graphs with cut vertices having positive inertia index 2.
A triangular field of rational numbers related to Stirling numbers and Hyperbolic functions
A triangular field of rational numbers is characterized, with relations to Stirling numbers 2nd, Hyperbolic functions, and centered Binomial distribution. A Generating function is given.
Growing balanced covering sets
Published
• View Publication
• BIB
Given a bipartite graph with bipartition $(A,B)$ where $B$ is equipartitioned into $k\ge2$ blocks, can the vertices in $A$ be picked one by one so that at every step, the picked vertices cover roughly the same number of vertices in each of these blocks? We show that, if each block has cardinality $m$, the vertices in $B$ have the same degree, and each vertex in $A$ has at most $cm$ neighbors in every block where $c>0$ is a small constant, then there is an ordering $v_1,\ldots,v_n$ of the vertices in $A$ such that for every $j\in\{1,\ldots,n\}$, the numbers of vertices with a neighbor in $\{v_1,\ldots,v_j\}$ in every two blocks differ by at most $\sqrt{2(k-1)c}\cdot m$. This is related to a well-known lemma of Steinitz, and partially answers an unpublished question of Scott and Seymour.
Lower bound results for conditionally decomposable polytopes
Published
• View Publication
• BIB
It is possible for a combinatorial type of polytope to have both decomposable and indecomposable realizations; here decomposability is meant with respect to Minkowski addition. Such polytopes are called conditionally decomposable. We show that the minimum number of vertices of a conditionally decomposable $d$-polytope is in the range $[3d-3, 4d-4]$, and that for a polytope having a line segment for a summand, $4d-4$ is sharp. As an application, the exact lower bound of the number of $k$-faces of a decomposable $d$-polytope with $2d+m$ vertices ($2 \le m\le d-4$) is obtained. Concerning the facets, in dimension 4, the minimum number of facets of a conditionally decomposable polytope is 9, and in dimension $d\ge 5$, the minimum is $d+4$.
Normal edge-transitive Cayley graphs and Frattini-like subgroups
Published
• View Publication
• BIB
For a finite group $G$ and an inverse-closed generating set $C$ of $G$, let $Aut(G;C)$ consist of those automorphisms of $G$ which leave $C$ invariant. We define an $Aut(G;C)$-invariant normal subgroup $Φ(G;C)$ of $G$ which has the property that, for any $Aut(G;C)$-invariant normal set of generators for $G$, if we remove from it all the elements of $Φ(G;C)$, then the remaining set is still an $Aut(G;C)$-invariant normal generating set for $G$. The subgroup $Φ(G;C)$ contains the Frattini subgroup $Φ(G)$ but the inclusion may be proper. The Cayley graph $Cay(G,C)$ is normal edge-transitive if $Aut(G;C)$ acts transitively on the pairs $\{c,c^{-1}\}$ from $C$. We show that, for a normal edge-transitive Cayley graph $Cay(G,C)$, its quotient modulo $Φ(G;C)$ is the unique largest normal quotient which is isomorphic to a subdirect product of normal edge-transitive graphs of characteristically simple groups. In particular, we may therefore view normal edge-transitive Cayley graphs of characteristically simple groups as building blocks for normal edge-transitive Cayley graphs whenever the subgroup $Φ(G;C)$ is trivial. We explore several questions which these results raise, some concerned with the set of all inverse-closed generating sets for groups in a given family. In particular we use this theory to classify all $4$-valent normal edge-transitive Cayley graphs for dihedral groups; this involves a new construction of an infinite family of examples, and disproves a conjecture of Talebi.
Powers of Hamilton cycles of high discrepancy are unavoidable
The Pósa-Seymour conjecture asserts that every graph on $n$ vertices with minimum degree at least $(1 - 1/(r+1))n$ contains the $r^{th}$ power of a Hamilton cycle. Komlós, Sárközy and Szemerédi famously proved the conjecture for large $n.$ The notion of discrepancy appears in many areas of mathematics, including graph theory. In this setting, a graph $G$ is given along with a $2$-coloring of its edges. One is then asked to find in $G$ a copy of a given subgraph with a large discrepancy, i.e., with significantly more than half of its edges in one color. For $r \geq 2,$ we determine the minimum degree threshold needed to find the $r^{th}$ power of a Hamilton cycle of large discrepancy, answering a question posed by Balogh, Csaba, Pluhár and Treglown. Notably, for $r \geq 3,$ this threshold approximately matches the minimum degree requirement of the Pósa-Seymour conjecture.
On Metric Dimensions of Hypercubes
Published
• View Publication
• BIB
The metric (resp. edge metric or mixed metric) dimension of a graph $G$, is the cardinality of the smallest ordered set of vertices that uniquely recognizes all the pairs of distinct vertices (resp. edges, or vertices and edges) of $G$ by using a vector of distances to this set. In this note we show two unexpected results on hypercube graphs. First, we show that the metric and edge metric dimension of $Q_d$ differ by only one for every integer $d$. In particular, if $d$ is odd, then the metric and edge metric dimensions of $Q_d$ are equal. Second, we prove that the metric and mixed metric dimensions of the hypercube $Q_d$ are equal for every $d \ge 3$. We conclude the paper by conjecturing that all these three types of metric dimensions of $Q_d$ are equal when $d$ is large enough.
Efficiently finding low-sum copies of spanning forests in zero-sum complete graphs via conditional expectation
Published
• View Publication
• BIB
For a fixed positive $ε$, we show the existence of a constant $C_ε$ with the following property: Given a $\pm1$-edge-labeling $c:E(K_n)\to \{ -1,1\}$ of the complete graph $K_n$ with $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$ of maximum degree $Δ$, one can determine in polynomial time an isomorphic copy $F'$ of $F$ in $K_n$ with $|c(E(F'))|\leq \left(\frac{3}{4}+ε\right)Δ+C_ε.$ Our approach is based on the method of conditional expectation.
Decompositions of finite high-dimensional random arrays
Published in Fundamenta Mathematicae 268 (2025), 101-150
• View Publication
• BIB
A $d$-dimensional random array on a nonempty set $I$ is a stochastic process $\boldsymbol{X}=\langle X_s:s\in \binom{I}{d}\rangle$ indexed by the set $\binom{I}{d}$ of all $d$-element subsets of $I$. We obtain structural decompositions of finite, high-dimensional random arrays whose distribution is invariant under certain symmetries.
Our first main result is a distributional decomposition of finite, (approximately) spreadable, high-dimensional random arrays whose entries take values in a finite set; the two-dimensional case of this result is the finite version of an infinitary decomposition due to Fremlin and Talagrand. Our second main result is a physical decomposition of finite, spreadable, high-dimensional random arrays with square-integrable entries that is the analogue of the Hoeffding/Efron--Stein decomposition. All proofs are effective.
We also present applications of these decompositions in the study of concentration of functions of finite, high-dimensional random arrays.
Minimum degree stability of $H$-free graphs
Published in Combinatorica 43, pages 129-147, 2023
• View Publication
• BIB
Given an $(r + 1)$-chromatic graph $H$, the fundamental edge stability result of Erdős and Simonovits says that all $n$-vertex $H$-free graphs have at most $(1 - 1/r + o(1)) \binom{n}{2}$ edges, and any $H$-free graph with that many edges can be made $r$-partite by deleting $o(n^{2})$ edges.
Here we consider a natural variant of this -- the minimum degree stability of $H$-free graphs. In particular, what is the least $c$ such that any $n$-vertex $H$-free graph with minimum degree greater than $cn$ can be made $r$-partite by deleting $o(n^{2})$ edges? We determine this least value for all 3-chromatic $H$ and for very many non-3-colourable $H$ (all those in which one is commonly interested) as well as bounding it for the remainder. This extends the Andrásfai-Erdős-Sós theorem and work of Alon and Sudakov.
Minimum supports of eigenfunctions of graphs: a survey
Published
• View Publication
• BIB
In this work we present a survey of results on the problem of finding the minimum cardinality of the support of eigenfunctions of graphs.
Graphs defined on groups
Published
• View Publication
• BIB
These notes concern aspects of various graphs whose vertex set is a group $G$ and whose edges reflect group structure in some way (so that they are invariant under the action of the automorphism group of $G$). The graphs I will discuss are the power graph, enhanced power graph, deep commuting graph, commuting graph, and non-generating graph, though I give a briefer discussion of the nilpotence and solvability graphs, and make some remarks on more general graphs. Aspects to be discussed include induced subgraphs, forbidden subgraphs, connectedness, and automorphism groups. We can also ask about the graphs formed by the edges in one graph but not in an earlier graph in the hierarchy. I have included some results on intersection graphs of subgroups of various types, which are often in a dual relation to one of the other graphs considered. Another actor is the Gruenberg--Kegel graph, or prime graph, of a group: this very small graph influences various graphs defined on the group. I say little about Cayley graphs, since (except in special cases) these are not invariant under the automorphism group of $G$.
The graphs all have the property that they contain \emph{twins}, pairs of vertices with the same neighbours (save possibly one another). Being equal or twins is an equivalence relation, and the automorphism group of the graph has a normal subgroup inducing the symmetric group on each twin class. For some purposes, we can merge twin vertices and get a smaller graph. Continuing until no further twins occur, the result is independent of the reduction, and is the $1$-vertex graph if and only if the original graph is a \emph{cograph}. So I devote a section to cographs and twin reduction, and another to consequences for automorphism groups.
There are briefer discussions of related matters.
Inclusion-exclusion on Schubert polynomials
We prove that an inclusion-exclusion inspired expression of Schubert polynomials of permutations that avoid the patterns 1432 and 1423 is nonnegative. Our theorem implies a partial affirmative answer to a recent conjecture of Yibo Gao about principal specializations of Schubert polynomials. We propose a general framework for finding inclusion-exclusion inspired expression of Schubert polynomials of all permutations.
Gorenstein Binomial Edge Ideals
We classify connected graphs $G$ whose binomial edge ideal is Gorenstein. The proof uses methods in prime characteristic.
Quantum loop groups and shuffle algebras via Lyndon words
Published in Advances in Mathematics 439 (2024), Paper No. 109482, 69 pp
• View Publication
• BIB
We study PBW bases of the untwisted quantum loop group $U_q(L\mathfrak{g})$ (in the Drinfeld new presentation) using the combinatorics of loop words, by generalizing the treatment of [29,30,43] in the finite type case. As an application, we prove that Enriquez' homomorphism [11] from the positive half of the quantum loop group to the trigonometric degeneration of Feigin-Odesskii's elliptic algebra [15] associated to $\mathfrak{g}$ is an isomorphism.