Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Some results on chromatic number as a function of triangle count
Published in SIAM Journal on Discrete Mathematics 33(1), pp. 546-563 (2019)
• View Publication
• BIB
A variety of powerful extremal results have been shown for the chromatic number of triangle-free graphs. Three noteworthy bounds are in terms of the number of vertices, edges, and maximum degree given by Poljak \& Tuza (1994), and Johansson. There have been comparatively fewer works extending these types of bounds to graphs with a small number of triangles. One noteworthy exception is a result of Alon et. al (1999) bounding the chromatic number for graphs with low degree and few triangles per vertex; this bound is nearly the same as for triangle-free graphs. This type of parametrization is much less rigid, and has appeared in dozens of combinatorial constructions.
In this paper, we show a similar type of result for $χ(G)$ as a function of the number of vertices $n$, the number of edges $m$, as well as the triangle count (both local and global measures). Our results smoothly interpolate between the generic bounds true for all graphs and bounds for triangle-free graphs. Our results are tight for most of these cases; we show how an open problem regarding fractional chromatic number and degeneracy in triangle-free graphs can resolve the small remaining gap in our bounds.
Pentavalent symmetric graphs of order twice a prime power
Published
• View Publication
• BIB
A connected symmetric graph of prime valency is {\em basic} if its automorphism group contains no nontrivial normal subgroup having more than two orbits. Let $p$ be a prime and $n$ a positive integer. In this paper, we investigate properties of connected pentavalent symmetric graphs of order $2p^n$, and it is shown that a connected pentavalent symmetric graph of order $2p^n$ is basic if and only if it is either a graph of order $6$, $16$, $250$, or a graph of three infinite families of Cayley graphs on generalized dihedral groups -- one family has order $2p$ with $p=5$ or $5 \mid (p-1)$, one family has order $2p^2$ with $5 \mid (p\pm 1)$, and the other family has order $2p^4$. Furthermore, the automorphism groups of these basic graphs are computed. Similar works on cubic and tetravalent symmetric graphs of order $2p^n$ have been done.
It is shown that basic graphs of connected pentavalent symmetric graphs of order $2p^n$ are symmetric elementary abelian covers of the dipole $\Dip_5$, and with covering techniques, uniqueness and automorphism groups of these basic graphs are determined. Moreover, symmetric $\mz_p^n$-covers of the dipole $\Dip_5$ are classified. As a byproduct, connected pentavalent symmetric graphs of order $2p^2$ are classified.
An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Discrete Algorithms (November 4, 2019) dmtcs:1425
• View Publication
• BIB
Given a graph $G=(V,E)$ and a positive integer $t\geq2$, the task in the vertex cover $P_t$ ($VCP_t$) problem is to find a minimum subset of vertices $F\subseteq V$ such that every path of order $t$ in $G$ contains at least one vertex from $F$. The $VCP_t$ problem is NP-complete for any integer $t\geq2$ and has many applications in real world. Recently, the authors presented a dynamic programming algorithm running in time $4^p\cdot n^{O(1)}$ for the $VCP_3$ problem on $n$-vertex graphs with treewidth $p$. In this paper, we propose an improvement of it and improved the time-complexity to $3^p\cdot n^{O(1)}$.
The connected vertex cover $P_3$ ($CVCP_3$) problem is the connected variation of the $VCP_3$ problem where $G[F]$ is required to be connected. Using the Cut\&Count technique, we give a randomized algorithm with runtime $4^p\cdot n^{O(1)}$ for the $CVCP_3$ problem on $n$-vertex graphs with treewidth $p$.
Rectangular Schroder Parking Functions Combinatorics
We study Schroder paths drawn in a (m,n) rectangle, for any positive integers m and n. We get explicit enumeration formulas, closely linked to those for the corresponding (m,n)-Dyck paths. Moreover we study a Schroder version of (m,n)-parking functions, and associated (q,t)-analogs.
Power Graph and Exchange Property for Resolving Sets
Published
• View Publication
• BIB
A formula for computing the metric dimension of a simple graph, having no singleton twin, is given. A sufficient condition for a simple graph to have the exchange property, for resolving sets, is found. Some families of power graphs of finite groups, having this exchange property, are identified. The metric dimension of the power graph of a dihedral group is also computed.
Characterising Bounded Expansion by Neighbourhood Complexity
Published
• View Publication
• BIB
We show that a graph class $\cal G$ has bounded expansion if and only if it has bounded $r$-neighbourhood complexity, i.e. for any vertex set $X$ of any subgraph $H$ of $G\in\cal G$, the number of subsets of $X$ which are exact $r$-neighbourhoods of vertices of $H$ on $X$ is linear to the size of $X$. This is established by bounding the $r$-neighbourhood complexity of a graph in terms of both its $r$-centred colouring number and its weak $r$-colouring number, which provide known characterisations to the property of bounded expansion.
Chromatic number of signed graphs with bounded maximum degree
A signed graph $ (G, Σ)$ is a graph positive and negative ($Σ$ denotes the set of negative edges). To re-sign a vertex $v$ of a signed graph $ (G, Σ)$ is to switch the signs of the edges incident to $v$. If one can obtain $ (G, Σ')$ by re-signing some vertices of $ (G, Σ)$, then
$ (G, Σ) \equiv (G, Σ')$.
A signed graphs $ (G, Σ)$ admits an homomorphism to $ (H, Λ)$ if there is a sign preserving vertex mapping from $(G,Σ')$ to $(H, Λ)$ for some $ (G, Σ) \equiv (G, Σ')$.
The signed chromatic number $χ_{s}( (G, Σ))$ of the signed graph $(G, Σ)$ is the minimum order (number of vertices) of a signed graph $(H, Λ)$ such that $ (G, Σ)$ admits a homomorphism to $(H, Λ)$. For a family $ \mathcal{F}$ of signed graphs $χ_{s}(\mathcal{F}) = \text{max}_{(G,Σ) \in \mathcal{F}} χ_{s}( (G, Σ))$.
We prove $2^{Δ/2-1} \leq χ_s(\mathcal{G}_Δ) \leq (Δ-1)^2. 2^{(Δ-1)} +2$ for all $Δ\geq 3$ where $\mathcal{G}_Δ$ is the family of connected signed graphs with maximum degree $Δ$. \end{abstract}
On local structures of cubicity 2 graphs
Published
• View Publication
• BIB
A 2-stab unit interval graph (2SUIG) is an axes-parallel unit square intersection graph where the unit squares intersect either of the two fixed lines parallel to the $X$-axis, distance $1 + ε$ ($0 < ε< 1$) apart. This family of graphs allow us to study local structures of unit square intersection graphs, that is, graphs with cubicity 2. The complexity of determining whether a tree has cubicity 2 is unknown while the graph recognition problem for unit square intersection graph is known to be NP-hard. We present a polynomial time algorithm for recognizing trees that admit a 2SUIG representation.
Singularity Degree of the Positive Semidefinite Matrix Completion Problem
Published
• View Publication
• BIB
The singularity degree of a semidefinite programming problem is the smallest number of facial reduction steps to make the problem strictly feasible. We introduce two new graph parameters, called the singularity degree and the nondegenerate singularity degree, based on the singularity degree of the positive semidefinite matrix completion problem. We give a characterization of the class of graphs whose parameter value is equal to one for each parameter. Specifically, we show that the singularity degree of a graph is equal to one if and only if the graph is chordal, and the nondegenerate singularity degree of a graph is equal to one if and only if the graph is the clique sum of chordal graphs and $K_4$-minor free graphs. We also show that the singularity degree is bounded by two if the treewidth is bounded by two, and exhibit a family of graphs with treewidth three, whose singularity degree grows linearly in the number of vertices.
On the number of lattice convex chains
Published in Discrete Analysis, 2016:19, 15 pp
• View Publication
• BIB
An asymptotic formula is presented for the number of planar lattice convex polygonal lines joining the origin to a distant point of the diagonal. The formula involves the non-trivial zeros of the zeta function and leads to a necessary and sufficient condition for the Riemann Hypothesis to hold.
Poset edge densities, nearly reduced words, and barely set-valued tableaux
Published in J. Combin. Theory Ser. A 158 (2018), 66-125
• View Publication
• BIB
In certain finite posets, the expected down-degree of their elements is the same whether computed with respect to either the uniform distribution or the distribution weighting an element by the number of maximal chains passing through it. We show that this coincidence of expectations holds for Cartesian products of chains, connected minuscule posets, weak Bruhat orders on finite Coxeter groups, certain lower intervals in Young's lattice, and certain lower intervals in the weak Bruhat order below dominant permutations. Our tools involve formulas for counting nearly reduced factorizations in 0-Hecke algebras; that is, factorizations that are one letter longer than the Coxeter group length.
Ehrhart series of fractional stable set polytopes of finite graphs
Published in Annals of Combinatorics 22 (2018), 563-573
• View Publication
• BIB
The fractional stable set polytope ${\rm FRAC}(G)$ of a simple graph $G$ with $d$ vertices is a rational polytope that is the set of nonnegative vectors $(x_1,\ldots,x_d)$ satisfying $x_i+x_j\le 1$ for every edge $(i,j)$ of $G$. In this paper we show that (i) The $δ$-vector of a lattice polytope $2 {\rm FRAC}(G)$ is alternatingly increasing; (ii) The Ehrhart ring of ${\rm FRAC}(G)$ is Gorenstein; (iii) The coefficients of the numerator of the Ehrhart series of ${\rm FRAC}(G)$ are symmetric, unimodal and computed by the $δ$-vector of $2 {\rm FRAC}(G)$.
$3$-pyramidal Steiner Triple Systems
Published
• View Publication
• BIB
A design is said to be $f$-pyramidal when it has an automorphism group which fixes $f$ points and acts sharply transitively on all the others. The problem of establishing the set of values of $v$ for which there exists an $f$-pyramidal Steiner triple system of order $v$ has been deeply investigated in the case $f=1$ but it remains open for a special class of values of $v$. The same problem for the next possible $f$, which is $f=3$, is here completely solved: there exists a $3$-pyramidal Steiner triple system of order $v$ if and only if $v\equiv7,9,15$ (mod $24$) or $v\equiv 3, 19$ (mod 48).
Complete Homogeneous Varieties via Representation Theory
Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $\textit{homogeneous variety}$ if $H$ acts on it transitively, and satisfies a few other properties, such as $H$ being semisimple. Some examples of homogeneous varieties are quadric hypersurfaces, rational normal curves, and Veronese and Segre embeddings. In this case, we construct new compactifications of the parameter spaces $PGL_{N+1}/H$, obtained compactifying $PGL_{N+1}$ to the classically known space of \textit{complete collineations}, and taking the G.I.T. quotient by $H$, and we will call the result space of \textit{complete homogeneous varieties}; this extends the same construction for quadric hypersurfaces in [36]. We establish a few properties of these spaces: in particular, we find a formula for the volume of divisors that depends only on the dimension of $H$-invariants in irreducible representations of $SL_{N+1}$. We then develop some tools in invariant theory, combinatorics and spline approximation to calculate such invariants, and carry out the entire calculations for the case of $SL_2$-invariants in irreducible representations of $SL_4$, that gives us explicit values for the volume function in the case of $X$ being a twisted cubic. Afterwards, we focus our attention on the case of twisted cubics, giving a more explicit description of these compactifications, including the relation with the previously known moduli spaces. In the end, we make some conjectures about how the volume function might be used in solving some enumerative problems.
Excluded minors are almost fragile
Published in Journal of Combinatorial Theory, Series B, 140 (2020), 263-322
• View Publication
• BIB
Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb P$, and let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary. We prove that either $M$ is bounded relative to $N$, or, up to replacing $M$ by a $Δ$-$Y$-equivalent excluded minor, we can choose a pair of elements $\{a,b\}$ such that either $M\backslash \{a,b\}$ is $N$-fragile, or $M^* \backslash \{a,b\}$ is $N^*$-fragile.
Selective game versions of countable tightness with bounded finite selections
Published
• View Publication
• BIB
For a topological space $X$ and a point $x \in X$, consider the following game -- related to the property of $X$ being countably tight at $x$. In each inning $n\inω$, the first player chooses a set $A_n$ that clusters at $x$, and then the second player picks a point $a_n\in A_n$; the second player is the winner if and only if $x\in\overline{\{a_n:n\inω\}}$.
In this work, we study variations of this game in which the second player is allowed to choose finitely many points per inning rather than one, but in which the number of points they are allowed to choose in each inning has been fixed in advance. Surprisingly, if the number of points allowed per inning is the same throughout the play, then all of the games obtained in this fashion are distinct. We also show that a new game is obtained if the number of points the second player is allowed to pick increases at each inning.
Geometric representation of the infimax S-adic family
Published
• View Publication
• BIB
We construct geometric realizations for the infimax family of substitutions by generalizing the Rauzy-Canterini-Siegel method for a single substitution to the S-adic case. The composition of each countably infinite subcollection of substitutions from the family has an asymptotic fixed sequence whose shift orbit closure is an infimax minimal set $Δ^+$. The subcollection of substitutions also generates an infinite Bratteli-Vershik diagram with prefix-suffix labeled edges. Paths in the diagram give the Dumont-Thomas expansion of sequences in $Δ^+$ which in turn gives a projection onto the asymptotic stable direction of the infinite product of the Abelianization matrices. The projections of all sequences from $Δ^+$ is the generalized Rauzy fractal which has subpieces corresponding to the images of symbolic cylinder sets. The intervals containing these subpieces are shown to be disjoint except at endpoints, and thus the induced map derived from the symbolic shift translates them. Therefore the process yields an Interval Translation Map, and the Rauzy fractal is proved to be its attractor.
Schubert polynomials, slide polynomials, Stanley symmetric functions and quasi-Yamanouchi pipe dreams
Published
• View Publication
• BIB
We introduce two new bases for polynomials that lift monomial and fundamental quasisymmetric functions to the full polynomial ring. By defining a new condition on pipe dreams, called quasi-Yamanouchi, we give a positive combinatorial rule for expanding Schubert polynomials into these new bases that parallels the expansion of Schur functions into fundamental quasisymmetric functions. As a result, we obtain a refinement of the stable limits of Schubert polynomials to Stanley symmetric functions. We also give combinatorial rules for the positive structure constants of these bases that generalize the quasi-shuffle product and shuffle product, respectively. We use this to give a Littlewood--Richardson rule for expanding a product of Schubert polynomials into fundamental slide polynomials and to give formulas for products of Stanley symmetric functions in terms of Schubert structure constants.
Quasisymmetric Functions from Combinatorial Hopf Monoids and Ehrhart Theory
Published
• View Publication
• BIB
We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.
Combinatorial descriptions of the crystal structure on certain PBW bases (extended abstract)
Published in DMTCS proc. BC, 2016, 1063-1074
• View Publication
• BIB
Lusztig's theory of PBW bases gives a way to realize the infinity crystal for any simple complex Lie algebra where the underlying set consists of Kostant partitions. In fact, there are many different such realizations, one for each reduced expression for the longest element of the Weyl group. There is an algorithm to calculate the actions of the crystal operators, but it can be quite complicated. For ADE types, we give conditions on the reduced expression which ensure that the corresponding crystal operators are given by simple combinatorial bracketing rules. We then give at least one reduced expression satisfying our conditions in every type except $E_8$, and discuss the resulting combinatorics. Finally, we describe the relationship with more standard tableaux combinatorics in types A and D.