Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order
Published in Proc. Amer. Math. Soc. 148 (2020), 1-7
• View Publication
• BIB
We construct a simple combinatorially-defined representation of $\mathfrak{sl}_2$ which respects the order structure of the weak order on the symmetric group. This is used to resolve a conjecture of Stanley that the weak order has the strong Sperner property, and is therefore a Peck poset.
Many cusped hyperbolic 3-manifolds do not bound geometrically
Published in Proc. Amer. Math. Soc. 18:5 (2020), 2223-2243
• View Publication
• BIB
In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds.
A survey on graphs with convex quadratic stability number
Published
• View Publication
• BIB
A graph with convex quadratic stability number is a graph for which the stability number is determined by solving a convex quadratic program. Since the very beginning, where a convex quadratic programming upper bound on the stability number was introduced, a necessary and sufficient condition for this upper bound be attained was deduced. The recognition of graphs with convex quadratic stability number has been deeply studied with several consequences from continuous and combinatorial point of view. This survey starts with an exposition of some extensions of the classical Motzkin-Straus approach to the determination of the stability number of a graph and its relations with the convex quadratic programming upper bound. The main advances, including several properties and alternative characterizations of graphs with convex quadratic stability number are described as well as the algorithmic strategies developed for their recognition. Open problems and a conjecture for a particular class of graphs, herein called adverse graphs, are presented, pointing out a research line which is a challenge between continuous and discrete problems.
A central limit theorem for descents and major indices in fixed conjugacy classes of $S_n$
Published
• View Publication
• BIB
The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Kim and Lee showed, by using Curtiss' theorem and moment generating functions, how to prove a central limit theorem for descents in arbitrary conjugacy classes of $S_n$. In this paper, we prove a modified version of Curtiss' theorem to shift the interval of convergence in a more convenient fashion and use this to show that the joint distribution of descents and major indices is asymptotically bivariate normal.
New Theoretical Bounds and Constructions of Permutation Codes under Block Permutation Metric
Published
• View Publication
• BIB
Permutation codes under different metrics have been extensively studied due to their potentials in various applications. Generalized Cayley metric is introduced to correct generalized transposition errors, including previously studied metrics such as Kendall's $τ$-metric, Ulam metric and Cayley metric as special cases. Since the generalized Cayley distance between two permutations is not easily computable, Yang et al. introduced a related metric of the same order, named the block permutation metric. Given positive integers $n$ and $d$, let $\mathcal{C}_{B}(n,d)$ denote the maximum size of a permutation code in $S_n$ with minimum block permutation distance $d$. In this paper, we focus on the theoretical bounds of $\mathcal{C}_{B}(n,d)$ and the constructions of permutation codes under block permutation metric. Using a graph theoretic approach, we improve the Gilbert-Varshamov type bound by a factor of $Ω(\log{n})$, when $d$ is fixed and $n$ goes into infinity. We also propose a new encoding scheme based on binary constant weight codes. Moreover, an upper bound beating the sphere-packing type bound is given when $d$ is relatively close to $n$.
Embedding partial Latin squares in Latin squares with many mutually orthogonal mates
Published
• View Publication
• BIB
We show that any partial Latin square of order $n$ can be embedded in a Latin square of order at most $16n^2$ which has at least $2n$ mutually orthogonal mates. We also show that for any $t\geq 2$, a pair of orthogonal partial Latin squares of order $n$ can be embedded into a set of $t$ mutually orthogonal Latin squares (MOLS) of order a polynomial with respect to $n$. Furthermore, the constructions that we provide show that MOLS($n^2$)$\geq$MOLS($n$)+2, consequently we give a set of $9$ MOLS($576$). The maximum known size of a set of MOLS($576$) was previously given as $8$ in the literature.
Another Note on Intervals in the Hales-Jewett Theorem
The Hales-Jewett Theorem states that any $r$-colouring of $[m]^n$ contains a monochromatic combinatorial line if $n$ is large enough. Shelah's proof of the theorem implies that for $m = 3$ there always exists a monochromatic combinatorial lines whose set of active coordinates is the union of at most $r$ intervals. Conlon and Kamčev proved the existence of colourings for which it cannot be fewer than $r$ intervals if $r$ is odd. For $r = 2$ however, Leader and Räty showed that one can always find a monochromatic combinatorial line whose active coordinate set is a single interval. In this paper, we extend the result of Leader and Räty to the case of all even $r$, showing that one can always find a monochromatic combinatorial line in $[3]^n$ whose set of active coordinate is the union of at most $r-1$ intervals.
New Polyhedral and Algorithmic Results on Greedoids
Published
• View Publication
• BIB
We present various new results on greedoids. We prove a theorem that generalizes an equivalent formulation of Edmonds' classic matroid polytope theorem to local forest greedoids -- a class of greedoids that contains matroids as well as branching greedoids. We also describe an application of this theorem in the field of measuring the reliability of networks by game-theoretical tools. Finally, we prove new results on the optimality of the greedy algorithm on greedoids and correct some mistakes that have been present in the literature for almost three decades.
Pseudofiniteness in Hrushovski Constructions
Published in Notre Dame J. Formal Logic 61, no. 1 (2020), 1-10
• View Publication
• BIB
In a relational language consisting of a single relation $ R, $ we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation $ R $ plays a crucial role in this context.
When $ R $ is ternary, by extending the methods developed in [BL12], we interpret $ \langle\mathbb{Q}^{+},<\rangle $ in the $ \langle\mathcal{K}^{+}_{0},\leq^{*}\rangle $-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in [EW09] (Question 2.6). This result, in fact, unfolds another aspect of complexity of this structure, along with undecidability and strict order property proved in [EW09] and [Bl12]. On the other hand, when $ R $ is binary, it can be shown that the $ \langle\mathcal{K}^{+}_{0},\leq^{*}\rangle $-generic is decidable and pseudofinite.
Weyl-Mahonian Statistics for Weighted Flags of Type A-D
We relate properties of weighted flags (or multiflags) of type AD to statistics of the corresponding Weyl groups. For type A, we recover the Mahonian statistics on symmetric groups. Finally, we sketch briefly an easy extension incorporating statistics for so-called Euler-polynomials.
Clifford-like parallelisms
Published in J. Geom. 110 (2019), Article 2
• View Publication
• BIB
Given two parallelisms of a projective space we describe a construction, called blending, that yields a (possibly new) parallelism of this space. For a projective double space $(\mathbb{P},\parallel_\ell,\parallel_r)$ over a quaternion skew field we characterise the "Clifford-like" parallelisms, i.e. the blends of the Clifford parallelisms $\parallel_\ell$ and $\parallel_r$, in a geometric and an algebraic way. Finally, we establish necessary and sufficient conditions for the existence of Clifford-like parallelisms that are not Clifford.
Geometry, combinatorics, and algebra of inductively pierced codes
Convex neural codes are combinatorial structures describing the intersection pattern of a collection of convex sets. Inductively pierced codes are a particularly nice subclass of neural codes introduced in the information visualization literature by Stapleton et al. in 2011 and to the convex codes literature by Gross et al. in 2016. Here, we show that all inductively pierced codes are nondegenerate convex codes and nondegenerate hyperplane codes. In particular, we prove that a $k$-inductively pierced code on $n$ neurons has a convex realization with balls in $\mathbb R^{k+1}$ and with half spaces in $\mathbb R^{n}$. We characterize the simplicial and polar complexes of inductively pierced codes, showing the simplicial complexes are disjoint unions of vertex decomposable clique complexes and that the polar complexes are shellable. In an earlier version of this preprint, we gave a flawed proof that toric ideals of $k$-inductively pierced codes have quadratic Gröbner bases under the term order induced by a shelling order of the polar complex of $\mathcal C$. We now state this as a conjecture, inspired by computational evidence.
On an Annihilation Number Conjecture
Published
• View Publication
• BIB
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in the graph $G=\left(V,E\right) $. If $α(G)+μ(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph. If $d_{1}\leq d_{2}\leq\cdots\leq d_{n}$ is the degree sequence of $G$, then the annihilation number $h\left(G\right) $ of $G$ is the largest integer $k$ such that $\sum\limits_{i=1}^{k}d_{i}\leq\left\vert E\right\vert $ (Pepper 2004, Pepper 2009). A set $A\subseteq V$ satisfying $\sum \limits_{a\in A} deg(a)\leq\left\vert E\right\vert $ is an annihilation set, if, in addition, $ deg\left(v\right) +\sum\limits_{a\in A} deg(a)>\left\vert E\right\vert $, for every vertex $v\in V(G)-A$, then $A$ is a maximal annihilation set in $G$.
In (Larson & Pepper 2011) it was conjectured that the following assertions are equivalent:
(i) $α\left(G\right) =h\left(G\right) $;
(ii) $G$ is a König-Egerváry graph and every maximum independent set is a maximal annihilating set.
In this paper, we prove that the implication "(i) $\Longrightarrow$ (ii)" is correct, while for the opposite direction we provide a series of generic counterexamples.
Keywords: maximum independent set, matching, tree, bipartite graph, König-Egerváry graph, annihilation set, annihilation number.
Characterizing $(0,\pm 1)$-matrices with only even-rank principal submatrices in terms of skew-symmetry
We show that every principal submatrix of a square matrix $A$ with only entries in $\{0,1,-1\}$ has even rank if and only if $A$ is skew-symmetric up to multiplication of rows/columns by $-1$.
Triangular Ladders $P_{d,2}$ are $e$-positive
In 1995 Stanley conjectured that the chromatic symmetric functions of the graphs $P_{d,2}$, which we call triangular ladders, were $e$-positive. In this paper we confirm this conjecture, which is also an unsolved case of the celebrated $(3+1)$-free conjecture. Our method is to follow the generalization of the chromatic symmetric functions by Gebhard and Sagan to symmetric functions in non-commuting variables. These functions satisfy a deletion-contraction property unlike the chromatic symmetric function in commuting variables. We do this by proving a new signed combinatorial formula for \emph{all} unit interval graphs on the basis of elementary symmetric functions. Then we prove $e$-positivity for triangular ladders by very carefully defining a sign-reversing involution on our signed combinatorial formula. This leaves us with certain positive terms and further allows us to expand on an already-known family of $e$-positive graphs by Gebhard and Sagan.
The Erdős-Ko-Rado property of trees of depth two
A family of sets is intersecting if any two sets in the family intersect. Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain $v$. This family is called an $r$-star. Then $G$ is said to be $r$-EKR if no intersecting subfamily of $ \mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star. Let $k, n, r \geq 1$, and let $T(n, k)$ be the tree of depth two in which the root has degree $n$ and every neighbour of the root has the same number $k + 1$ of neighbours. For each $k \geq 2$, we show that $T(n, k)$ is $r$-EKR if $2r \leq n$, extending results of Borg and of Feghali, Johnson and Thomas who considered the case $k = 1$.
Shortcut Graphs and Groups
Published
• View Publication
• BIB
We introduce shortcut graphs and groups. Shortcut graphs are graphs in which cycles cannot embed without metric distortion. Shortcut groups are groups which act properly and cocompactly on shortcut graphs. These notions unify a surprisingly broad family of graphs and groups of interest in geometric group theory and metric graph theory, including: the 1-skeletons of systolic and quadric complexes (in particular finitely presented C(6) and C(4)-T(4) small cancellation groups), 1-skeletons of finite dimensional CAT(0) cube complexes, hyperbolic graphs, standard Cayley graphs of finitely generated Coxeter groups and the standard Cayley graph of the Baumslag-Solitar group BS(1,2). Most of these examples satisfy a strong form of the shortcut property.
The shortcut properties also have important geometric group theoretic consequences. We show that shortcut groups are finitely presented and have exponential isoperimetric and isodiametric functions. We show that groups satisfying the strong form of the shortcut property have polynomial isoperimetric and isodiametric functions.
Convolution Algebras for Finite Reductive Monoids
For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$, the convolution algebra of $K\times K$-invariant functions from $M$ to $F$, where $F$ is a field of characteristic not dividing $|K|$. When $M$ is reductive and $K = B$ is a Borel subgroup of the group of units, this indirectly provides a connection between irreducible representations of $M$ and those of $F[R]$, where $R$ is the Renner monoid of $M$. We conclude with a quick proof of Frobenius Reciprocity for monoids for reference in future papers.
Traversal with Enumeration of Geometric Graphs in Bounded Space
Published in Journal of Interconnection Networks, 19(04), (2019)
• View Publication
• BIB
In this paper, we provide an algorithm for traversing geometric graphs which visits all vertices, and reports every vertex and edge exactly once. To achieve this, we combine a given geometric graph $G$ with the integer lattice, seen as a graph, in such a way that the resulting hypothetical graph can be traversed using the algorithm in \cite{Chavez}. To overcome the problem with hypothetical vertices and edges, we develop an algorithm for visiting any $k$th neighborhood of a vertex in a graph straight-line drawn in the plane using $O(\log k)$ memory. The memory needed to complete the traversal of a geometric graph then turns out to depend on the maximum ratio of the graph distance and Euclidean distance for pairs of distinct vertices of $G$ at Euclidean distance greater than one and less than $2\sqrt{2}$.
Constructing Geometric Graphs of Cop Number Three
The game of cops and robbers is a pursuit game on graphs where a set of agents, called the cops try to get to the same position of another agent, called the robber. Cops and robbers has been studies on several classes of graphs including geometrically represented graphs. For example, it has been shown that string graphs, including geometric graphs, have cop number at most 15. On the other hand, little is known about geometric graphs of any cop number less than 15 and there is only one example of a geometric graph of cop number three that has as many as 1440 vertices. In this paper we present a construction for subdividing planar graphs of maximum degree $\le 5$ into geometric planar graphs of at least the same cop number. Indeed, our construction shows that there are infinitely many planar geometric graphs of cop number three. We also present another construction that consists in clique substitutions alongside subdividing the edges in a planar graph of maximum degree $\le 9$, resulting in geometric, but not necessarily planar, graphs of at least the same cop number as the starting graphs.