Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On independent domination of regular graphs
Published
• View Publication
• BIB
Given a graph $G$, a dominating set of $G$ is a set $S$ of vertices such that each vertex not in $S$ has a neighbor in $S$. The domination number of $G$, denoted $γ(G)$, is the minimum size of a dominating set of $G$. The independent domination number of $G$, denoted $i(G)$, is the minimum size of a dominating set of $G$ that is also independent. Note that every graph has an independent dominating set, as a maximal independent set is equivalent to an independent dominating set.
Let $G$ be a connected $k$-regular graph that is not $K_{k, k}$ where $k\geq 4$. Generalizing a result by Lam, Shiu, and Sun, we prove that $i(G)\le \frac{k-1}{2k-1}|V(G)|$, which is tight for $k = 4$. This answers a question by Goddard et al. in the affirmative. We also show that $\frac{i(G)}{γ(G)} \le \frac{k^3-3k^2+2}{2k^2-6k+2}$, strengthening upon a result of Knor, Škrekovski, and Tepeh. In addition, we prove that a graph $G'$ with maximum degree at most $4$ satisfies $i(G') \le \frac{5}{9}|V(G')|$, which is also tight.
A note on 1-2-3 and 1-2 Conjectures for 3-regular graphs
The 1-2-3 Conjecture, posed by Karoński, Łuczak and Thomason, asked whether every connected graph $G$ different from $K_2$ can be 3-edge-weighted so that every two adjacent vertices of $G$ get distinct sums of incident weights. The 1-2 Conjecture states that if vertices also receive colors and the vertex color is added to the sum of its incident edges, then adjacent vertices can be distinguished using only $\{ 1,2\}$. In this paper we confirm 1-2 Conjecture for 3-regular graphs. Meanwhile, we show that every 3-regular graph can achieve a neighbor sum distinguishing edge coloring by using 4 colors, which answers 1-2-3 Conjecture positively.
Conjectures and results on some generalized Rueppel sequences
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the representation of suitable generating functions by Stieltjes continued fractions. We define polynomial sequences by introducing parameters that define generalized Rueppel sequences, and we show that such polynomials have coefficient arrays that are Riordan arrays. Finally we conjecture the form of a product of Hankel transforms arising from the Rueppel sequence.
Some combinatorial properties of skew Jack symmetric functions
Published
• View Publication
• BIB
Motivated by Stanley's conjecture on the multiplication of Jack symmetric functions, we prove a couple of identities showing that skew Jack symmetric functions are semi-invariant up to translation and rotation of a $π$ angle of the skew diagram. It follows that, in some special cases, the coefficients of the skew Jack symmetric functions with respect to the basis of the monomial symmetric functions are polynomials with nonnegative integer coefficients.
Orders and Polytropes: Matrix Algebras from Valuations
Published
• View Publication
• BIB
We apply tropical geometry to study matrix algebras over a field with valuation. Using the shapes of min-max convexity, known as polytropes, we revisit the graduated orders introduced by Plesken and Zassenhaus. These are classified by the polytrope region. We advance the ideal theory of graduated orders by introducing their ideal class polytropes. This article emphasizes examples and computations. It offers first steps in the geometric combinatorics of endomorphism rings of configurations in affine buildings.
Rectilinear approximation and volume estimates for hereditary bodies via [0,1]-decorated containers
Published
• View Publication
• BIB
We use the hypergraph container theory of Balogh--Morris--Samotij and Saxton--Thomason to obtain general rectilinear approximations and volume estimates for sequences of bodies closed under certain families of projections. We give a number of applications of our results, including a multicolour generalisation of a theorem of Hatami, Janson and Szegedy on the entropy of graph limits. Finally, we raise a number of questions on geometric and analytic approaches to containers.
On the functional graph of the power map over finite groups
Published
• View Publication
• BIB
In this paper we study the description of the functional graphs associated with the power maps over finite groups. We present a structural result which describes the isomorphism class of these graphs for abelian groups and also for flower groups, which is a special class of non abelian groups introduced in this paper. Unlike the abelian case where all the trees associated with periodic points are isomorphic, in the case of flower groups we prove that several different classes of trees can occur. The class of central trees (i.e. associated with periodic points that are in the center of the group) are in general non-elementary and a recursive description is given in this work. Flower groups include many non abelian groups such as dihedral and generalized quaternion groups, and the projective general linear group of order two over a finite field. In particular, we provide improvements on past works regarding the description of the dynamics of the power map over these groups.
BFT$_2$: a General Class of $2d$ $\mathcal{N}=(0,2)$ Theories, 3-Manifolds and Toric Geometry
Published
• View Publication
• BIB
We introduce and initiate the study of a general class of $2d$ $\mathcal{N}=(0,2)$ quiver gauge theories, defined in terms of certain 2-dimensional CW complexes on oriented 3-manifolds. We refer to this class of theories as BFT$_2$$\mbox{'}$s. They are natural generalizations of Brane Brick Models, which capture the gauge theories on D1-branes probing toric Calabi-Yau 4-folds. The dynamics and triality of the gauge theories translate into simple transformations of the underlying CW complexes. We introduce various combinatorial tools for analyzing these theories and investigate their connections to toric Calabi-Yau manifolds, which arise as their master and moduli spaces. Invariance of the moduli space is indeed a powerful criterion for identifying theories in the same triality class. We also investigate the reducibility of these theories.
Strong edge coloring of Cayley graphs and some product graphs
Published
• View Publication
• BIB
A strong edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper, we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 5 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by $4$.
Phylogenetic Diversity Rankings in the Face of Extinctions: the Robustness of the Fair Proportion Index
Published
• View Publication
• BIB
Planning for the protection of species often involves difficult choices about which species to prioritize, given constrained resources. One way of prioritizing species is to consider their "evolutionary distinctiveness", i.e. their relative evolutionary isolation on a phylogenetic tree. Several evolutionary isolation metrics or phylogenetic diversity indices have been introduced in the literature, among them the so-called Fair Proportion index (also known as the "evolutionary distinctiveness" score). This index apportions the total diversity of a tree among all leaves, thereby providing a simple prioritization criterion for conservation.
Here, we focus on the prioritization order obtained from the Fair Proportion index and analyze the effects of species extinction on this ranking. More precisely, we analyze the extent to which the ranking order may change when some species go extinct and the Fair Proportion index is re-computed for the remaining taxa. We show that for each phylogenetic tree, there are edge lengths such that the extinction of one leaf per cherry completely reverses the ranking. Moreover, we show that even if only the lowest ranked species goes extinct, the ranking order may drastically change. We end by analyzing the effects of these two extinction scenarios (extinction of the lowest ranked species and extinction of one leaf per cherry) for a collection of empirical and simulated trees. In both cases, we can observe significant changes in the prioritization orders, highlighting the empirical relevance of our theoretical findings.
The $q$-analog of the Markoff injectivity conjecture over the language of a balanced sequence
Published in Combinatorial Theory 2 (2022) #9
• View Publication
• BIB
The Markoff injectivity conjecture states that $w\mapstoμ(w)_{12}$ is injective on the set of Christoffel words where $μ:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$ is a certain homomorphism and $M_{12}$ is the entry above the diagonal of a $2\times2$ matrix $M$. Recently, Leclere and Morier-Genoud (2021) proposed a $q$-analog $μ_q$ of $μ$ such that $μ_{q}(w)_{12}|_{q=1}=μ(w)_{12}$ is the Markoff number associated to the Christoffel word $w$ when evaluated at $q=1$. We show that there exists an order $<_{radix}$ on $\{\mathtt{0},\mathtt{1}\}^*$ such that for every balanced sequence $s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$ and for all factors $u, v$ in the language of $s$ with $u <_{radix} v$, the difference $μ_q(v)_{12} - μ_q(u)_{12}$ is a nonzero polynomial of indeterminate $q$ with nonnegative integer coefficients. Therefore, the map $u\mapstoμ_q(u)_{12}$ is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.
Perfect matching modules, dimer partition functions and cluster characters
Published in Adv. Math. 443 (2024), Paper no. 109570
• View Publication
• BIB
Cluster algebra structures for Grassmannians and their (open) positroid strata are controlled by a Postnikov diagram D or, equivalently, a dimer model on the disc, as encoded by either a bipartite graph or the dual quiver (with faces). The associated dimer algebra A, determined directly by the quiver with a certain potential, can also be realised as the endomorphism algebra of a cluster-tilting object in an associated Frobenius cluster category. In this paper, we introduce a class of A-modules corresponding to perfect matchings of the dimer model of D and show that, when D is connected, the indecomposable projective A-modules are in this class. Surprisingly, this allows us to deduce that the cluster category associated to D embeds into the cluster category for the appropriate Grassmannian. We show that the indecomposable projectives correspond to certain matchings which have appeared previously in work of Muller-Speyer. This allows us to identify the cluster-tilting object associated to D, by showing that it is determined by one of the standard labelling rules constructing a cluster of Plücker coordinates from D. By computing a projective resolution of every perfect matching module, we show that Marsh-Scott's formula for twisted Plücker coordinates, expressed as a dimer partition function, is a special case of the general cluster character formula, and thus observe that the Marsh-Scott twist can be categorified by a particular syzygy operation in the Grassmannian cluster category.
Close relatives (of Feedback Vertex Set), revisited
At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a number of problems related to the classic Feedback Vertex Set (FVS) problem do not admit a $2^{o(k \log k)} \cdot n^{\mathcal{O}(1)}$-time algorithm on graphs of treewidth at most $k$, assuming the Exponential Time Hypothesis. This contrasts with the $3^{k} \cdot k^{\mathcal{O}(1)} \cdot n$-time algorithm for FVS using the Cut&Count technique.
During their live talk at IPEC 2020, Bergougnoux et al.~posed a number of open questions, which we answer in this work.
- Subset Even Cycle Transversal, Subset Odd Cycle Transversal, Subset Feedback Vertex Set can be solved in time $2^{\mathcal{O}(k \log k)} \cdot n$ in graphs of treewidth at most $k$. This matches a lower bound for Even Cycle Transversal of Bergougnoux et al.~and improves the polynomial factor in some of their upper bounds.
- Subset Feedback Vertex Set and Node Multiway Cut can be solved in time $2^{\mathcal{O}(k \log k)} \cdot n$, if the input graph is given as a clique-width expression of size $n$ and width $k$.
- Odd Cycle Transversal can be solved in time $4^k \cdot k^{\mathcal{O}(1)} \cdot n$ if the input graph is given as a clique-width expression of size $n$ and width $k$. Furthermore, the existence of a constant $\varepsilon > 0$ and an algorithm performing this task in time $(4-\varepsilon)^k \cdot n^{\mathcal{O}(1)}$ would contradict the Strong Exponential Time Hypothesis.
Multicolor Size-Ramsey Number of Cycles
Published
• View Publication
• BIB
Given a positive integer $ r $, the $ r $-color size-Ramsey number of a graph $ H $, denoted by $ \hat{R}(H, r) $, is the smallest integer $ m $ for which there exists a graph $ G $ with $ m $ edges such that, in any edge coloring of $ G $ with $ r $ colors, $G$ contains a monochromatic copy of $ H $. Haxell, Kohayakawa and Łuczak showed that the size-Ramsey number of a cycle $ C_n $ is linear in $ n $ i.e. $ \hat{R}(C_n, r) \leq c_rn $, for some constant $ c_r $. Their proof, however, is based on the Szemerédi's regularity lemma and so no specific constant $ c_r $ is known. Javadi, Khoeini, Omidi and Pokrovskiy gave an alternative proof for this result which avoids using of the regularity lemma. Indeed, they proved that if $ n $ is even, then $ c_r $ is exponential in $ r $ and if $ n $ is odd, then $ c_r $ is doubly exponential in $ r $.
\noindent In this paper, we improve the bound $c_r$ and prove that $c_r$ is polynomial in $r$ when $n$ is even and is exponential in $r$ when $n$ is odd. We also prove that in the latter case, it cannot be improved to a polynomial bound in $r$. More precisely, we prove that there are some positive constants $c_1,c_2$ such that for every even integer $n$, we have $c_1r^2n\leq \hat{R}(C_n,r)\leq c_2r^{120}(\log^2 r)n$ and for every odd integer $n$, we have
$c_1 2^{r}n \leq \hat{R}(C_n, r)\leq c_22^{16 r^2+2\log r}n $.
Energy and Randic index of directed graphs
Published
• View Publication
• BIB
The concept of Randic index has been extended recently for a digraph. We prove that $2R(G)\leq \mathcal{E}(G)\leq 2\sqrt{Δ(G)} R(G)$, where $G$ is a digraph, and $R(G)$ denotes the Randic index, $\mathcal{E}(G)$ denotes the Nikiforov energy and $Δ(G) $ denotes the maximum degree of $G$. In both inequalities we describe the graphs for which the equality holds.
Matching of given sizes in hypergraphs
Published
• View Publication
• BIB
For all integers $k,d$ such that $k \geq 3$ and $k/2\leq d \leq k-1$, let $n$ be a sufficiently large integer {\rm(}which may not be divisible by $k${\rm)} and let $s\le \lfloor n/k\rfloor-1$. We show that if $H$ is a $k$-uniform hypergraph on $n$ vertices with $δ_{d}(H)>\binom{n-d}{k-d}-\binom{n-d-s+1}{k-d}$, then $H$ contains a matching of size $s$. This improves a recent result of Lu, Yu, and Yuan and also answers a question of Kühn, Osthus, and Townsend. In many cases, our result can be strengthened to $s\leq \lfloor n/k\rfloor$, which then covers the entire possible range of $s$. On the other hand, there are examples showing that the result does not hold for certain $n, k, d$ and $s= \lfloor n/k\rfloor$.
Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants
Published in Advances in Applied Mathematics 145, (2023) 102481
• View Publication
• BIB
We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski.
It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.
Burling graphs revisited, part II: Structure
Published in European Journal of Combinatorics, Volume 116, 2024, 103849
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Any graph which is an induced subgraph of a graph in this sequence is called a Burling graph. These graphs have attracted some attention because they have geometric representations and because they provide counter-examples to several conjectures about bounding the chromatic number in classes of graphs. We recall an equivalent definition of Burling graphs from the first part of this work: the graphs derived from a tree. We then give several structural properties of derived graphs.
Diameter estimates for graph associahedra
Published in Ann. Combin. 26(4), 873-902 (2022)
• View Publication
• BIB
Graph associahedra are generalized permutohedra arising as special cases of nestohedra and hypergraphic polytopes. The graph associahedron of a graph $G$ encodes the combinatorics of search trees on $G$, defined recursively by a root $r$ together with search trees on each of the connected components of $G-r$. In particular, the skeleton of the graph associahedron is the rotation graph of those search trees. We investigate the diameter of graph associahedra as a function of some graph parameters. We give a tight bound of $Θ(m)$ on the diameter of trivially perfect graph associahedra on $m$ edges. We consider the maximum diameter of associahedra of graphs on $n$ vertices and of given tree-depth, treewidth, or pathwidth, and give lower and upper bounds as a function of these parameters. We also prove that the maximum diameter of associahedra of graphs of pathwidth two is $Θ(n\log n)$. Finally, we give the exact diameter of the associahedra of complete split and of unbalanced complete bipartite graphs.
Rees algebras of filtrations of covering polyhedra and integral closure of powers of monomial ideals
Published in Res. Math. Sci. 9} (2022), no. 1, paper no. 13, 33 pp
• View Publication
• BIB
The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure.