Showing 20 papers (Total: 82505 papers, 47699 authors in database)
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.
Triangulations, order polytopes, and generalized snake posets
Published
• View Publication
• BIB
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations.
On polyhedral graphs and their complements
Published
• View Publication
• BIB
We find all polyhedral graphs such that their complements are still polyhedral. These turn out to be all self-complementary.
Category $\mathcal{O}$ for Oriented Matroids
Published
• View Publication
• BIB
We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite dimensional algebra, whose representation theory is analogous to blocks of Bernstein--Gelfand--Gelfand category $\mathcal O$. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden--Licata--Proudfoot--Webster.
Applying our construction to nonlinear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, as in the linear setting. In the non-Euclidean case, we obtain algebras that are not quasi-hereditary and not known to be Koszul, but still have a natural class of standard modules and satisfy numerical analogues of quasi-heredity and Koszulity on the level of graded Grothendieck groups.
Partially Optimal Edge Fault-Tolerant Spanners
Published
• View Publication
• BIB
Recent work has established that, for every positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges that is resilient to $f$ edge or vertex faults. For vertex faults, this bound is tight. However, the case of edge faults is not as well understood: the best known lower bound for general $k$ is $Ω(f^{\frac12 - \frac{1}{2k}} n^{1+1/k} +fn)$. Our main result is to nearly close this gap with an improved upper bound, thus separating the cases of edge and vertex faults. For odd $k$, our new upper bound is $O_k(f^{\frac12 - \frac{1}{2k}} n^{1+1/k} + fn)$, which is tight up to hidden $poly(k)$ factors. For even $k$, our new upper bound is $O_k(f^{1/2} n^{1+1/k} +fn)$, which leaves a gap of $poly(k) f^{1/(2k)}$. Our proof is an analysis of the fault-tolerant greedy algorithm, which requires exponential time, but we also show that there is a polynomial-time algorithm which creates edge fault tolerant spanners that are larger only by factors of $k$.