Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the difference of the intersection power graph and the power graph of a finite group
The two graphs of the title both have vertex set G. In the intersection power graph, x and y are joined if some non-identity element is a power of both; in the power graph, x and y joined if one is a power of the other. Thus the power graph is a spanning subgraph of the intersection power graph, and we define the edges of the difference graph to be the difference of these edge sets. In this paper, we give a number of results about the difference graph. We examine groups whose power graph and intersection power graph coincide. In addition, we make some observations on isolated vertices in difference graphs. We study the connectedness and perfectness of difference graph with respect to various properties of the underlying group G. Furthermore, we investigate the operation of twin reduction on graphs, a technique that yields smaller graphs which may be easier to analyze.
On the $Z_q$-forcing number: computational approach and exact values
Zero forcing is a graph coloring process that is used to model spreading phenomena in real-world scenarios. It can also be viewed as a single-player combinatorial game on a graph, where the player's goal is to select a subset of vertices of minimum cardinality that eventually leads to all vertices of the graph being colored. A variant of this game, called the $q$-analogue of zero forcing, was later introduced. In this version, the player again seeks to choose the smallest number of vertices that will eventually color the entire graph, while an oracle attempts to force the player to select a larger subset. In this paper, we exploit the structural properties of several graph classes in order to both derive algorithms to compute the exact value of $Z_q$, and to establish bounds and exact values of the parameter for these graph classes. In particular, we present a SAT-based algorithm to compute the $q$-analogue zero forcing number, offering optimal strategies for both the player and the oracle. Additionally, we propose a polynomial-time algorithm for computing the $q$-analogue zero forcing number for $q=1$ of cactus graphs. Lastly, we prove the exact value of this parameter for several graph classes such as block graphs. Our work extends previous results about trees by Butler et al. (2020) and Blanco et al. (2024).
Explicit computation of the generic degree of the generalized Verschiebung in rank two
The purpose of this paper is to apply previous work on dormant opers to the study of the moduli space of stable bundles in positive characteristic. We affirmatively resolve the rank $2$ case of a conjecture proposed by the second author, which predicts a direct relationship between the number of higher-level dormant $\mathrm{PGL}_2$-opers and the generic degree of the generalized Verschiebung map for rank $2$ stable bundles induced by Frobenius pull-back. As a consequence, we obtain a procedure for explicitly determining these generic degrees in the previously unexplored range of genera by counting certain combinatorial objects.
Excluding a Ladder as an Induced Minor in Graphs Without Induced Stars
A $k$-ladder is the graph obtained from two disjoint paths, each with $k$ vertices, by joining the $i$th vertices of both paths with an edge for each $i\in\{ 1,\ldots,k\}$. In this paper, we show that for all positive integers $k$ and $d$, the class of all $K_{1,d}$-free graphs excluding the $k$-ladder as an induced minor has a bounded tree-independence number.
We further show that our method implies a number of known results: We improve the bound on the tree-independence number for the class of $K_{1,d}$-free graphs not containing a wheel as an induced minor given by Choi, Hilaire, Milanič, and Wiederrecht. Furthermore, we show that the class of $K_{1,d}$-free graphs not containing a theta or a prism, whose paths have length at least $k$, as an induced subgraph has bounded tree-independence number. This improves a result by Chudnovsky, Hajebi, and Trotignon. Finally, we extend the induced Erdős-Pósa result of Ahn, Gollin, Huynh, and Kwon in $K_{1,d}$-free graphs from long induced cycles to any graph that is an induced minor of the $k$-ladder where every edge is subdivided exactly once.
A sufficient condition for planar graphs with maximum degree eight to be totally 9-colorable
A total coloring of a graph $G$ is a coloring of the vertices and edges such that two adjacent or incident elements receive different colors. The minimum number of colors required for a total coloring of a graph $G$ is called the total chromatic number, denoted by $χ''(G)$. Let $G$ be a planar graph of maximum degree eight. It is known that $9\leq χ''(G) \leq 10$. We here prove that $χ''(G)=9$ when the graph does not contain any subgraph isomorphic to a $4$-fan.
Classification of thin Jordan schemes
Jordan schemes generalize association schemes in a similar way as Jordan algebras generalize the associative ones. It is well-known that association schemes of maximal rank are in one-to-one correspondence with groups (so-called thin schemes). In this paper, we classify Jordan schemes of maximal rank-to-order ratio and show that regular Jordan schemes correspond to a special class of Moufang loops, known as Ring Alternative loops.
Submonoids of Infinite Symmetric Inverse Monoids
In this thesis we study the subsemigroup structure of the symmetric inverse monoid $I_X$, the inverse semigroup of bijections between subsets of the set $X$, when $X$ is an infinite set. We explore three different approaches to this task. First, we classify the maximal subsemigroups of $I_X$ containing certain subgroups of the symmetric group on $X$. The subgroups in question are the symmetric group itself, the pointwise stabiliser of a finite non-empty subset of $X$, the stabiliser of an ultrafilter on $X$, and the stabiliser of a finite partition of $X$. Next, we study subsemigroups of $I_X$ which are closed in semigroup topologies on $I_X$ introduced by Elliot et al. in 2023. We discover that the closed subsemigroups in these topologies that contain all the idempotents of $I_X$ coincide exactly with semigroups of partial endomorphisms and partial automorphisms of relational structures defined on $X$. Furthermore, we show that if a relational structure $R$ on a countable set $X$ only contains a finite number of relations, then there exists a finite subset $U$ of $I_X$ such that the union of the partial automorphisms of $R$ together with $U$ generates all of $I_X$. Finally, we study the subsemigroup structure of $I_X$ under a preorder introduced by George Bergman and Saharon Shelah in 2006 for the symmetric group. Extending the preorder to $I_X$, if $S_1$ and $S_2$ are subsemigroups of $I_X$, we say that $S_1 \preccurlyeq S_2$ if there exists a finite subset $U$ of $I_X$ such that $S_1$ is contained in the semigroup generated by the union of $S_2$ and $U$. We classify certain types of subsemigroups of $I_X$ according the Bergman-Shelah preorder, and we formulate a conjecture analogous to the main result by Bergman and Shelah.
Coalition graphs of connected domination partitions in subcubic graphs
A graph is subcubic if it is connected and its maximum vertex degree does not exceed 3. Two disjoint vertex subsets of a graph $G$ form a connected coalition in $G$ if neither of them is a connected dominating set but their union is a connected dominating set. A connected coalition partition of $G$ is a partition of its vertices $π(G) = \{V_1, V_2,..., V_k \}$, such that each $V_i$ is either a connected dominating set consisting of a single vertex or forms a coalition with some set of $π(G)$. The formation of connected coalitions is described by a coalition graph whose vertices correspond to the sets of $π$, and two vertices are adjacent if and only if the corresponding sets form a coalition in $G$. We characterize all coalition graphs of subcubic graphs.
Simple harmonic oscillators from non-semisimple walled Brauer algebras
Walled Brauer algebras $B_N ( m , n ) $ illuminate the combinatorics of mixed tensor representations of $U(N)$, with $m$ copies of the fundamental and $n$ copies of the anti-fundamental representation. They lie at the intersection of research in representation theory, AdS/CFT and quantum information theory. They have been used to study of correlators in multi-matrix models motivated by brane-anti-brane physics in AdS/CFT. They have been applied in computing and optimising fidelities of port-based quantum teleportation. There is a large $N$ regime, specifically $ N \ge (m+n)$ where the algebras are semi-simple and their representation theory more tractable. There are known combinatorial formulae for dimensions of irreducible representations and associated reduction multiplicities. The large $N$ regime has a stability property whereby these formulae are independent of $N$. In this paper we initiate a systematic study of the combinatorics in the non-semisimple regime of $ N = m +n - l $, with positive $l$. We introduce restricted Bratteli diagrams (RBD) which are useful as an instrument to process known data from the large $N$ regime to calculate representation theory data in the non-semisimple regime. We identify within the non-semisimple regime, a region of $(m,n)$-stability, where $ \min ( m, n ) \ge ( 2l -3) $ and the RBD take a stable form depending on $l$ only and not the choice of $ m,n$ within the region. In this regime, several aspects of the combinatorics of the RBD are controlled by a universal partition function for an infinite tower of simple harmonic oscillators closely related, but not identical, to the partition function of 2D non-chiral free scalar field theory.
All Ordinals are Cop-Robber Ordinals
Published
• View Publication
• BIB
The game of cops and robbers, played on a fixed graph $G$, is a two-player game, where the cop and the robber (the players) take turns in moving to adjacent vertices. The game finishes if the cop lands on the robber's vertex. In that case we say that the cop wins. If the cop can always win, regardless of the starting positions, we say that $G$ is a cop-win graph.
For a finite cop-win graph $G$ we can ask for the minimum number $n$ such that, regardless of the starting positions, the game will end in at most $n$ steps. This number is called the maximum capture time of $G$. By looking at finite paths, we see that any non-negative integer is the maximum capture time for a cop-win graph.
What about infinite cop-win graphs? In this case, the notion of capture time is nicely generalised if one works with ordinals, and so the question becomes which ordinals can be the maximum capture time of a cop-win graph? These ordinals are called CR (Cop-Robber)-ordinals. In this paper we fully settle this by showing that all ordinals are CR-ordinals, answering a question of Bonato, Gordinowicz and Hahn.
Stabilizers and NIP arithmetic regularity
We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabilizers using technical (but elementary) maneuvers based on work of Sisask. Using another trick from Alon, Fox, and Zhao, we then give an effective proof of a related result of the first author and Pillay on finite NIP sets of bounded tripling in arbitrary groups. Along the way, we show that NIP sets satisfy a strong form of the Polynomial Bogolyubov-Ruzsa Conjecture.
One part leaky covers
In our previous work [CMS24] we defined a new class of enumerative invariants called $k$-leaky double Hurwitz descendants, generalizing both descendant integrals of double ramification cycles and $k$-leaky double Hurwitz numbers. Here, we focus on the one-part version of these numbers, i.e.\ when the positive ramification profile is $(d)$. We derive recursions and use them to produce explicit formulas and structure results for some infinite families of these numbers.
Existence and bounds of growth constants for restricted walks, surfaces, and generalisations
We introduce classes of restricted walks, surfaces and their generalisations. For example, self-osculating walks (SOWs) are supersets of self-avoiding walks (SAWs) where edges are still not allowed to cross but may 'kiss' at a vertex. They are analogous to osculating polygons introduced in (Jensen and Guttmann, 1998) except that they are not required to be closed. The 'automata' method of (Pönitz and Tittmann, 2000) can be adapted to such restricted walks. For example, we prove upper bounds for the connective constant for SOWs on the square and triangular lattices to be $μ^{\mathrm{SOW}}_\square \leq 2.73911$ and $μ^{\mathrm{SOW}}_\triangle \leq 4.44931$, respectively. In analogy, we also introduce self-osculating surfaces (SOSs), a superset of self-avoiding surfaces (SASs) which can be generated from fixed polyominoids (XDs). We further generalise and define self-avoiding $k$-manifolds (SAMs) and its supersets, self-osculating $k$-manifolds (SOMs) in the $d$-dim hypercubic lattice and $(d, k)$-XDs. By adapting the concatenation procedure procedure (van Rensburg and Whittington, 1989), we prove that their growth constants exist, and prove an explicit form for their upper and lower bounds. The upper bounds can be improved by adapting the 'twig' method, originally developed for polyominoes (Eden, 1961, Klarner and Rivest, 1973). For the cubic lattice, we find improved upper bounds for the growth constant of SASs as $μ^{\mathrm{SAS}}_{\mathbb{Z}^3} \leq 17.11728$.
Perfect Edge Domination in $P_6$-free Graphs and in Graphs Without Efficient Edge Dominating Sets
An edge of a graph dominates itself along with any edge that shares an endpoint with it. An efficient edge dominating set (also called a dominating induced matching, DIM) is a subset of edges such that each edge of the graph is dominated by exactly one edge in the subset. A perfect edge dominating set is a subset of edges in which every edge outside the subset is dominated by exactly one edge within it. In this article, we establish the NP-completeness of deciding whether a graph that does not admit any efficient edge dominating set has at least two perfect edge dominating sets. We also present a cubic time algorithm designed to identify a perfect dominating set of minimal cardinality for $P_6$-free graphs. Moreover, we show how this algorithm can be adapted to handle the weighted version of the problem and to count all perfect edge dominating sets as well as DIMs in a given graph, while preserving the same time complexity.
Cluster tori over $\mathbb{F}_2$, hexagonal moves on triangulations, and minimal coverings of cluster manifolds
We study cluster algebras over $\mathbb{F}_2$. By the Laurent phenomenon there is a map from the set of seeds of the cluster algebra to the corresponding cluster variety. We show that in type $A$, fibers of this map can be described in terms of certain edges of the universal polytope of triangulations of a polygon. Moreover, we show that there is a section of this map giving seeds whose corresponding cluster tori cover the cluster manifold over any field $\mathbb{F}$, but there are also sections giving seeds whose cluster tori do not cover the cluster manifold over any field $\mathbb{F} \not\cong \mathbb{F}_2$.
A 13/6-Approximation for Strip Packing via the Bottom-Left Algorithm
In the Strip Packing problem, we are given a vertical strip of fixed width and unbounded height, along with a set of axis-parallel rectangles. The task is to place all rectangles within the strip, without overlaps, while minimizing the height of the packing. This problem is known to be NP-hard. The Bottom-Left Algorithm is a simple and widely used heuristic for Strip Packing. Given a fixed order of the rectangles, it places them one by one, always choosing the lowest feasible position in the strip and, in case of ties, the leftmost one. Baker, Coffman, and Rivest proved in 1980 that the Bottom-Left Algorithm has approximation ratio 3 if the rectangles are sorted by decreasing width. For the past 45 years, no alternative ordering has been found that improves this bound. We introduce a new rectangle ordering and show that with this ordering the Bottom-Left Algorithm achieves a 13/6 approximation for the Strip Packing problem.
The Ungar Games on Graded Posets
For a poset $P$, an Ungar move sends $P$ to $P\setminus T$, where $T$ is some subset of maximal elements of $P$. With these Ungar moves, Defant, Kravitz, and Williams define the Ungar games, where two players alternate making nontrivial Ungar moves until one player cannot make a move and loses. We characterize the second-player wins on graded posets. We first prove recursive characterizations of second-player wins before using these results to give classifications of the second-player wins in terms of boolean circuits. We also generalize Defant, Kravitz, and Williams' work on Young's Lattice $J(\mathbb{N}^2)$ to the higher-dimensional $J(\mathbb{N}^d)$.
Smooth Combinatorial Cubes are IDP
Tadao Oda conjectured that every smooth polytope has the Integer Decomposition Property. In this paper, we show this result for a subclass of polytopes: smooth combinatorial cubes of any dimension.
Combinatorics behind discriminants of polynomial systems
In the 1970s, Kouchnirenko, Bernstein, and Khovanskii noticed that the geometry of a generic system of polynomial equations is determined by the geometry of its Newton polytopes. In the 1990s, Gelfand, Kapranov, Zelevinsky, and Sturmfels extended this observation to discriminants and resultants of generic polynomials. Particularly, well-known open questions about the irreducibility of discriminants and sets of solutions of such systems lead to questions about the corresponding geometric property of tuples of polytopes: Minkowski linear independence. To address these questions, we encode Minkowski linear independence into a finite matroid and characterize its bases, circuits, and cyclics. The obtained combinatorial results are used in the subsequent work to describe components of discriminants for generic square polynomial systems.
Representation number of word-representable co-bipartite graph
A graph $G = (V, E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct letters $x, y \in V$, the letters $x$ and $y$ alternate in $w$ if and only if $xy \in E$. A graph is co-bipartite if its complement is bipartite. Therefore, the vertex set of a co-bipartite graph can be partitioned into two disjoint subsets $X$ and $Y$ such that the subgraphs induced by $X$ and $Y$ are cliques.
The concept of word-representability for graph classes has gained significant attention in recent years. The book Words and Graphs by Sergey Kitaev and Vadim Lozin presents examples of co-bipartite graphs that are not word-representable. It is known that a graph is word-representable if and only if it admits a semi-transitive orientation. Although the necessary and sufficient conditions for the existence of a semi-transitive orientation in co-bipartite graphs have been established, the characterization based on vertex ordering remains open. In this paper, we present necessary and sufficient conditions for a co-bipartite graph to be word-representable in terms of its vertex ordering. Furthermore, based on this vertex ordering, we provide an algorithm to construct a $3$-uniform word-representation for any word-representable co-bipartite graph. Using this result, we prove that except for the permutation graphs, the representation number of all other word-representable co-bipartite graphs is $3$.