Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Fundamental domains for rhombic lattices with dihedral symmetry of order 8
Published in Electron. J. Combin. 26 (2019) Paper 3.5
• View Publication
• BIB
We show by construction that every rhombic lattice $Γ$ in $\mathbb{R}^{2}$ has a fundamental domain whose symmetry group contains the point group of $Γ$ as a subgroup of index $2$. This solves the last open case of a question raised in [3] on fundamental domains for planar lattices whose symmetry groups properly contain the point groups of the lattices.
On bounds on bend number of split and cocomparability graphs
Published
• View Publication
• BIB
A path is a simple, piecewise linear curve made up of alternating horizontal and vertical line segments in the plane. A $k$-bend path is a path made up of at most $k + 1$ line segments. A $B_k$-VPG representation of a graph is a collection of $k$-bend paths such that each path in the collection represents a vertex of the graph and two such paths intersect if and only if the vertices they represent are adjacent in the graph. The graphs that have a $B_k$-VPG representation are called $B_k$-VPG graphs. It is known that the poset dimension $dim(G)$ of a cocomparability graph $G$ is greater than or equal to its bend number $bend(G)$. Cohen et al. ({\textsc{order 2015}}) asked for examples of cocomparability graphs with low bend number and high poset dimension. We answer this question by proving that for each $m, t \in \mathbb{N}$, there exists a cocomparability graph $G_{t,m}$ with $t < bend(G_{t,m}) \leq 4t+29$ and $dim(G_{t,m})-bend(G_{t,m})>m$. Techniques used to prove the above result, allows us to partially address the open question posed by Chaplick et al. ({\textsc{wg 2012}}) who asked whether $B_k$-VPG-chordal $\subsetneq$ $B_{k+1}$-VPG-chordal for all $k \in \mathbb{N}$. We address this by proving that there are infinitely many $m \in \mathbb{N}$ such that $B_m$-VPG-split $\subsetneq$ $B_{m+1}$-VPG-split which provides infinitely many positive examples. We use the same techniques to prove that, for all $t \in \mathbb{N}$, $B_t$-VPG-$Forb(C_{\geq 5})$ $\subsetneq$ $B_{4t+29}$-VPG-$Forb(C_{\geq 5})$, where $Forb(C_{\geq 5})$ denotes the family of graphs that does not contain induced cycles of length greater than 4. Furthermore, we show that for all $t \in \mathbb{N}$, $PB_t$-VPG-split $\subsetneq PB_{36t+80}$-VPG-split, where $PB_t$-VPG denotes the class of graphs with proper bend number at most $t$.
$N$-detachable pairs in 3-connected matroids III: the theorem
Published in Journal of Combinatorial Theory, Series B, 153 (2022), 223-290
• View Publication
• BIB
Let $M$ be a 3-connected matroid, and let $N$ be a 3-connected minor of $M$. A pair $\{x_1,x_2\} \subseteq E(M)$ is $N$-detachable if one of the matroids $M/x_1/x_2$ or $M \backslash x_1 \backslash x_2$ is both 3-connected and has an $N$-minor. This is the third and final paper in a series where we prove that if $|E(M)|-|E(N)| \ge 10$, then either $M$ has an $N$-detachable pair after possibly performing a single $Δ$-$Y$ or $Y$-$Δ$ exchange, or $M$ is essentially $N$ with a spike attached. Moreover, we describe the additional structures that arise if we require only that $|E(M)|-|E(N)| \ge 5$.
Squarefree divisor complexes of certain numerical semigroup elements
Published in Involve 14 (2021) 1-9
• View Publication
• BIB
A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $Δ_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.
Rooted complete minors in line graphs with a Kempe coloring
Published in Graphs and Combinatorics (2019) 35:551-557
• View Publication
• BIB
It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.
On the enumeration of the set of numerical semigroups with fixed Frobenius number and fixed number of second kind gaps
Published in Results Math. 77 (2022), Article No. 10
• View Publication
• BIB
We study how certain invariants of numerical semigroups relate to the number of second kind gaps. Furthermore, given two fixed non-negative integers F and k, we provide an algorithm to compute all the numerical semigroups whose Frobenius number is F and which have exactly k second kind gaps.
Platonic solids, Archimedean solids and semi-equivelar maps on the sphere
Published
• View Publication
• BIB
A vertex-transitive map $X$ is a map on a surface on which the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. In particular, there are semi-equivelar maps on the torus, on the Klein bottle and on the surfaces of Euler characteristics $-1$ $\&$ $-2$ which are not vertex-transitive.
It is known that the boundaries of Platonic solids, Archimedean solids, regular prisms and antiprisms are vertex-transitive maps on $\mathbb{S}^2$. Here we show that there is exactly one semi-equivelar map on $\mathbb{S}^2$ which is not vertex-transitive. More precisely, we show that a semi-equivelar map on $\mathbb{S}^2$ is the boundary of a Platonic solid, an Archimedean solid, a regular prism, an antiprism or the pseudorhombicuboctahedron. As a consequence, we show that all the semi-equivelar maps on $\mathbb{RP}^2$ are vertex-transitive. Moreover, every semi-equivelar map on $\mathbb{S}^2$ can be geometrized, i.e., every semi-equivelar map on $\mathbb{S}^2$ is isomorphic to a semi-regular tiling of $\mathbb{S}^2$. In the course of the proof of our main result, we present a combinatorial characterization in terms of an inequality of all the types of semi-equivelar maps on $\mathbb{S}^2$. Here, we present self-contained combinatorial proofs of all our results.
Promotion on oscillating and alternating tableaux and rotation of matchings and permutations
Published
• View Publication
• BIB
Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals.
For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups.
We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence.
A lower bound on the number of homotopy types of simplicial complexes on $n$ vertices
Published
• View Publication
• BIB
For $n \in \mathbb{N}$, let $h(n)$ denote the number of simplicial complexes on $n$ vertices up to homotopy equivalence. Here we prove that $h(n) \geq 2^{2^{0.02n}}$ when $n$ is large enough. Together with the trivial upper bound of $2^{2^n}$ on the number of labeled simplicial complexes on $n$ vertices this proves a conjecture of Kalai that $h(n)$ is doubly exponential in $n$.
A local approach to the Erdős-Sós conjecture
A famous conjecture of Erdős and Sós states that every graph with average degree more than $k - 1$ contains all trees with $k$ edges as subgraphs. We prove that the Erdős-Sós conjecture holds approximately, if the size of the embedded tree is linear in the size of the graph, and the maximum degree of the tree is sublinear.
A note on number triangles that are almost their own production matrix
We characterize a family of number triangles whose production matrices are closely related to the original number triangle. We study a number of such triangles that are of combinatorial significance. For a specific subfamily, these triangles relate to sequences that have interesting convolution recurrences and continued fraction generating functions.
Hamiltonian surgery: Cheeger-type gap inequalities for nonpositive (stoquastic), real, and Hermitian matrices
Cheeger inequalities bound the spectral gap $γ$ of a space by isoperimetric properties of that space and vice versa. In this paper, I derive Cheeger-type inequalities for nonpositive matrices (aka stoquastic Hamiltonians), real matrices, and Hermitian matrices. For matrices written $H = L+W$, where $L$ is either a combinatorial or normalized graph Laplacian, I show that: (1) when $W$ is diagonal and $L$ has maximum degree $d_{\max}$, $2h \geq γ\geq \sqrt{h^2 + d_{\max}^2}-d_\max$; (2) when $W$ is real, we can often route negative-weighted edges along positive-weighted edges such that the Cheeger constant of the resulting graph obeys an inequality similar to that above; and (3) when $W$ is Hermitian, the weighted Cheeger constant obeys $2h \geq γ$ here $h$ is the weighted Cheeger constant of $H$. This constant reduces bounds on $γ$ to information contained in the underlying graph and the Hamiltonian's ground-state.
If efficiently computable, the constant opens up a very clear path towards adaptive quantum adiabatic algorithms, those that adjust the adiabatic path based on spectral structure. I sketch a bashful adiabatic algorithm that aborts the adiabatic process early, uses the resulting state to approximate the weighted Cheeger constant, and restarts the process using the updated information. Should this approach work, it would provide more rigorous foundations for adiabatic quantum computing without \textit{a priori} knowledge of the spectral gap.
Combinatorics of orbit configuration spaces
Published
• View Publication
• BIB
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space" is the complement of an arrangement of subvarieties inside the cartesian product, and we use this structure to study its topology. We give an abstract combinatorial description of its poset of layers (connected components of intersections from the arrangement) which turns out to be of much independent interest as a generalization of partition and Dowling lattices. The close relationship to these classical posets is then exploited to give explicit cohomological calculations.
One-dependent colorings of the star graph
Published
• View Publication
• BIB
This paper is concerned with symmetric $1$-dependent colorings of the $d$-ray star graph $\mathscr{S}^d$ for $d \ge 2$. We compute the critical point of the $1$-dependent hard-core processes on $\mathscr{S}^d$, which gives a lower bound for the number of colors needed for a $1$-dependent coloring of $\mathscr{S}^d$. We provide an explicit construction of a $1$-dependent $q$-coloring for any $q \ge 5$ of the infinite subgraph $\mathscr{S}^3_{(1,1,\infty)}$, which is symmetric in the colors and whose restriction to any path is some symmetric $1$-dependent $q$-coloring. We also prove that there is no such coloring of $\mathscr{S}^3_{(1,1,\infty)}$ with $q = 4$ colors. A list of open problems are presented.
Sharper bounds and structural results for minimally nonlinear 0-1 matrices
Published in The Electronic Journal of Combinatorics (2020): P4-24
• View Publication
• BIB
The extremal function $ex(n, P)$ is the maximum possible number of ones in any 0-1 matrix with $n$ rows and $n$ columns that avoids $P$. A 0-1 matrix $P$ is called minimally non-linear if $ex(n, P) = ω(n)$ but $ex(n, P') = O(n)$ for every $P'$ that is contained in $P$ but not equal to $P$.
Bounds on the maximum number of ones and the maximum number of columns in a minimally non-linear 0-1 matrix with $k$ rows were found in (CrowdMath, 2018). In this paper, we improve the bound on the maximum number of ones in a minimally non-linear 0-1 matrix with $k$ rows from $5k-3$ to $4k-4$. As a corollary, this improves the upper bound on the number of columns in a minimally non-linear 0-1 matrix with $k$ rows from $4k-2$ to $4k-4$.
We also prove that there are not more than four ones in the top and bottom rows of a minimally non-linear matrix and that there are not more than six ones in any other row of a minimally non-linear matrix. Furthermore, we prove that if a minimally non-linear 0-1 matrix has ones in the same row with exactly $d$ columns between them, then within these columns there are at most $2d-1$ rows above and $2d-1$ rows below with ones.
On extremal cacti with respect to the edge revised Szeged index
Let $G$ be a connected graph. The edge revised Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equidistant from both ends of $e$. In this paper, we give the minimal and the second minimal edge revised Szeged index of cacti with order $n$ and $k$ cycles, and all the graphs that achieve the minimal and second minimal edge revised Szeged index are identified.
$N$-detachable pairs in 3-connected matroids II: life in $X$
Published in Journal of Combinatorial Theory, Series B, 149 (2021), 222-271
• View Publication
• BIB
Let $M$ be a 3-connected matroid, and let $N$ be a 3-connected minor of $M$. A pair $\{x_1,x_2\} \subseteq E(M)$ is $N$-detachable if one of the matroids $M/x_1/x_2$ or $M \backslash x_1 \backslash x_2$ is both 3-connected and has an $N$-minor. This is the second in a series of three papers where we describe the structures that arise when it is not possible to find an $N$-detachable pair in $M$. In the first paper in the series, we showed that, under mild assumptions, either $M$ has an $N$-detachable pair, $M$ has one of three particular 3-separators that can appear in a matroid with no N-detachable pairs, or there is a 3-separating set $X$ with certain strong structural properties. In this paper, we analyse matroids with such a structured set $X$, and prove that they have either an $N$-detachable pair, or one of five particular 3-separators that can appear in a matroid with no $N$-detachable pairs.
On incidence choosability of cubic graphs
Published
• View Publication
• BIB
An incidence of a graph $G$ is a pair $(u,e)$ where $u$ is a vertex of $G$ and $e$ is an edge of $G$ incident with $u$. Two incidences $(u,e)$ and $(v,f)$ of $G$ are adjacent whenever (i) $u=v$, or (ii) $e=f$, or (iii) $uv=e$ or $uv=f$. An incidence $k$-coloring of $G$ is a mapping from the set of incidences of $G$ to a set of $k$ colors such that every two adjacent incidences receive distinct colors. The notion of incidence coloring has been introduced by Brualdi and Quinn Massey (1993) from a relation to strong edge coloring, and since then, attracted by many authors. On a list version of incidence coloring, it was shown by Benmedjdoub et. al. (2017) that every Hamiltonian cubic graph is incidence 6-choosable. In this paper, we show that every cubic (loopless) multigraph is incidence 6-choosable. As a direct consequence, it implies that the list strong chromatic index of a $(2,3)$-bipartite graph is at most 6, where a (2,3)-bipartite graph is a bipartite graph such that one partite set has maximum degree at most 2 and the other partite set has maximum degree at most 3.
A combinatorial model for $\nabla m_μ$
The modified Macdonald polynomials introduced by Garsia and Haiman (1996) have many remarkable combinatorial properties. One such class of properties involves applying the $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. A refinement of this conjecture, called the Compositional Shuffle Conjecture, was introduced by Haglund, Morse, and Zabrocki (2012) and proved by Carlsson and Mellit (2015).
We give a symmetric function identity relating hook monomial symmetric functions to the operators used in the Compositional Shuffle Conjecture. This implies a parking function interpretation for nabla of a hook monomial symmetric function, as well as LLT positivity. We show that our identity is a $q$-analog of the expansion of a hook monomial into complete homogeneous symmetric functions given by Kulikauskas and Remmel (2006). We use this connection to conjecture a model for expanding $\nabla m_μ$ in this way when $μ$ is not a hook.
Constructions of maximum few-distance sets in Euclidean spaces
A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in $\mathbb{R}^4$, the largest $4$-distance sets in $\mathbb{R}^3$, and the largest $6$-distance sets in $\mathbb{R}^2$. We also construct new examples of large $s$-distance sets for $d\leq 8$ and $s\leq 6$, and independently verify several earlier results from the literature.