Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Distance-regular Cayley graphs with least eigenvalue $-2$
Published
• View Publication
• BIB
We classify the distance-regular Cayley graphs with least eigenvalue $-2$ and diameter at most three. Besides sporadic examples, these comprise of the lattice graphs, certain triangular graphs, and line graphs of incidence graphs of certain projective planes. In addition, we classify the possible connection sets for the lattice graphs and obtain some results on the structure of distance-regular Cayley line graphs of incidence graphs of generalized polygons.
Diagonally and antidiagonally symmetric alternating sign matrices of odd order
Published in Adv. Math. 315 (2017) 324-365
• View Publication
• BIB
We study the enumeration of diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order by introducing a case of the six-vertex model whose configurations are in bijection with such matrices. The model involves a grid graph on a triangle, with bulk and boundary weights which satisfy the Yang-Baxter and reflection equations. We obtain a general expression for the partition function of this model as a sum of two determinantal terms, and show that at a certain point each of these terms reduces to a Schur function. We are then able to prove a conjecture of Robbins from the mid 1980's that the total number of $(2n+1)\times(2n+1)$ DASASMs is $\prod_{i=0}^n\frac{(3i)!}{(n+i)!}$, and a conjecture of Stroganov from 2008 that the ratio between the numbers of $(2n+1)\times(2n+1)$ DASASMs with central entry $-1$ and $1$ is $n/(n+1)$. Among the several product formulae for the enumeration of symmetric alternating sign matrices which were conjectured in the 1980's, that for odd-order DASASMs is the last to have been proved.
Intrinsic Volumes of Polyhedral Cones: A combinatorial perspective
Published
• View Publication
• BIB
The theory of intrinsic volumes of convex cones has recently found striking applications in areas such as convex optimization and compressive sensing. This article provides a self-contained account of the combinatorial theory of intrinsic volumes for polyhedral cones. Direct derivations of the General Steiner formula, the conic analogues of the Brianchon-Gram-Euler and the Gauss-Bonnet relations, and the Principal Kinematic Formula are given. In addition, a connection between the characteristic polynomial of a hyperplane arrangement and the intrinsic volumes of the regions of the arrangement, due to Klivans and Swartz, is generalized and some applications are presented.
The Cohen-Macaulayness of the bounded complex of an affine oriented matroid
Published
• View Publication
• BIB
An affine oriented matroid is a combinatorial abstraction of an affine hyperplane arrangement. From it, Novik, Postnikov and Sturmfels constructed a squarefree monomial ideal in a polynomial ring, called an oriented matroid ideal, and got beautiful results. Developing their theory, we will show the following.
(1) If an oriented matroid ideal is Cohen-Macaulay, then the bounded complex (a regular CW complex associated with it) of the corresponding affine oriented matroid is a contractible homology manifold with boundary. This is closely related to Dong's theorem, which used to be "Zaslavsky's conjecture".
(2) We characterize the affine oriented matroid whose corresponding ideal is Cohen-Macaulay.
(3) In the Cohen-Macaulay case, we give a description of the canonical module of the residue class ring by an oriented matroid ideal.
When the extension property does not hold for vector space alphabets
In our recent paper we characterized the extension property for symmetrized weight composition for linear codes over a module alphabet. Several improvements for the case of vector space alphabets are given in this paper. A detailed description of the property of $G$-pseudo-injectivity for vector spaces is made.
On the shelling antimatroids of split graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (March 24, 2017) dmtcs:1349
• View Publication
• BIB
Chordal graph shelling antimatroids have received little attention with regard to their combinatorial properties and related optimization problems, as compared to the case of poset shelling antimatroids. Here we consider a special case of these antimatroids, namely the split graph shelling antimatroids. We show that the feasible sets of such an antimatroid relate to some poset shelling antimatroids constructed from the graph. We discuss a few applications, obtaining in particular a simple polynomial-time algorithm to find a maximum weight feasible set. We also provide a simple description of the circuits and the free sets.
Poset splitting and minimality of finite models
Published
• View Publication
• BIB
We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13 points and the nonexistence of a finite model of the torus with fewer than 16 points. Indeed, we prove much stronger results from which we also obtain that there does not exist a finite model of the Klein bottle with fewer than 16 points and that the integral homology groups of finite spaces with fewer than 13 points are torsion-free, settling a conjecture of Hardie, Vermeulen and Witbooi. Furthermore, we also apply our technique to give a complete characterization of the minimal finite models of the real projective plane, the torus, and the Klein bottle.
In addition, we show that the poset splitting technique has an intrinsic interest giving original topological results that can be obtained from its application, such as a generalization of Hurewicz's theorem for non-simply-connected spaces and a generalization of a result of R. Brown on the fundamental group of a space.
Coloring curves that cross a fixed curve
Published
• View Publication
• BIB
We prove that for every integer $t\geq 1$, the class of intersection graphs of curves in the plane each of which crosses a fixed curve in at least one and at most $t$ points is $χ$-bounded. This is essentially the strongest $χ$-boundedness result one can get for this kind of graph classes. As a corollary, we prove that for any fixed integers $k\geq 2$ and $t\geq 1$, every $k$-quasi-planar topological graph on $n$ vertices with any two edges crossing at most $t$ times has $O(n\log n)$ edges.
ADMM for the SDP relaxation of the QAP
Published
• View Publication
• BIB
The semidefinite programming (SDP) relaxation has proven to be extremely strong for many hard discrete optimization problems. This is in particular true for the quadratic assignment problem (QAP), arguably one of the hardest NP-hard discrete optimization problems. There are several difficulties that arise in efficiently solving the SDP relaxation, e.g.,~increased dimension; inefficiency of the current primal-dual interior point solvers in terms of both time and accuracy; and difficulty and high expense in adding cutting plane constraints.
We propose using the alternating direction method of multipliers (ADMM) to solve the SDP relaxation. This first order approach allows for inexpensive iterations, a method of cheaply obtaining low rank solutions, as well a trivial way of adding cutting plane inequalities. When compared to current approaches and current best available bounds we obtain remarkable robustness, efficiency and improved bounds.
New Partial Geometric Difference Sets and Partial Geometric Difference Families
Published
• View Publication
• BIB
Olmez, in "Symmetric $1\frac{1}{2}$-Designs and $1\frac{1}{2}$-Difference Sets" (2014), introduced the concept of a partial geometric difference set (also referred to as a $1\frac{1}{2}$-design), and showed that partial geometric difference sets give partial geometric designs. Nowak et al., in "Partial Geometric Difference Families" (2014), introduced the concept of a partial difference family, and showed that these also give partial geometric designs. It was shown by Brouwer et al. in "Directed strongly regular graphs from $1\frac{1}{2}$-designs" (2012) that directed strongly regular graphs can be obtained from partial geometric designs. In this correspondence we construct several families of partial geometric difference sets and partial difference families with new parameters, thereby giving directed strongly regular graphs with new parameters. We also discuss some of the links between partially balanced designs, $2$-adesigns (which were recently coined by Cunsheng Ding in "Codes from Difference Sets" (2015)), and partial geometric designs, and make an investigation into when a $2$-adesign is partial geometric.
When the extension property does not hold
Published
• View Publication
• BIB
A complete extension theorem for linear codes over a module alphabet and the symmetrized weight composition is proved. It is shown that an extension property with respect to arbitrary weight function does not hold for module alphabets with a noncyclic socle.
A generalization of the Erdős-Ko-Rado Theorem
Our main result is a new upper bound for the size of k-uniform, L-intersecting families of sets, where L contains only positive integers. We characterize extremal families in this setting. Our proof is based on the Ray-Chaudhuri--Wilson Theorem. As an application, we give a new proof for the Erdős-Ko-Rado Theorem, improve Fisher's inequality in the uniform case and give an uniform version of the Frankl-Füredi conjecture .
Boolean lattices: Ramsey properties and embeddings
Published
• View Publication
• BIB
A subposet $Q'$ of a poset $Q$ is a copy of a poset $P$ if there is a bijection $f$ between elements of $P$ and $Q'$ such that $x\leq y$ in $P$ iff $f(x)\leq f(y)$ in $Q'$. For posets $P, P'$, let the poset Ramsey number $R(P,P')$ be the smallest $N$ such that no matter how the elements of the Boolean lattice $Q_N$ are colored red and blue, there is a copy of $P$ with all red elements or a copy of $P'$ with all blue elements. We provide some general bounds on $R(P,P')$ and focus on the situation when $P$ and $P'$ are both Boolean lattices. In addition, we give asymptotically tight bounds for the number of copies of $Q_n$ in $Q_N$ and for a multicolor version of a poset Ramsey number.
Congruences on the Number of Restricted $m$-ary Partitions
Published
• View Publication
• BIB
Andrews, Brietzke, Rødseth and Sellers proved an infinite family of congruences on the number of the restricted $m$-ary partitions when $m$ is a prime. In this note, we show that these congruences hold for arbitrary positive integer $m$ and thus confirm the conjecture of Andrews, et al.
Curves in $\mathbb{R}^4$ and two-rich points
Published in Discrete. Comput. Geom. 58: 232--253, 2017
• View Publication
• BIB
We obtain a new bound on the number of two-rich points spanned by an arrangement of low degree algebraic curves in $\mathbb{R}^4$. Specifically, we show that an arrangement of $n$ algebraic curves determines at most $C_εn^{4/3+3ε}$ two-rich points, provided at most $n^{2/3+2ε}$ curves lie in any low degree hypersurface and at most $n^{1/3+ε}$ curves lie in any low degree surface. This result follows from a structure theorem about arrangements of curves that determine many two-rich points.
3-connected graphs and their degree sequences
Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a 3-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily 3-connected i.e. the sequence can only be realised as a 3-connected graph. Finally, a matrix is introduced whose non-empty entries partition the set of 3-connected graphs.
k-connected degree sequences
Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a k-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily k-connected.
A Central Limit Theorem for the Optimal Alignments Score in Multiple Random Words
Let $\mathbf{X}^{(1)}_{n},\ldots,\mathbf{X}^{(m)}_{n}$, where $\mathbf{X}^{(i)}_{n}=(X^{(i)}_{1},\ldots,X^{(i)}_{n})$, $i=1,\ldots,m$, be $m$ independent sequences of independent and identically distributed random variables taking their values in a finite alphabet $\mathcal{A}$. Let the score function $S$, defined on $\mathcal{A}^{m}$, be non-negative, bounded, permutation-invariant, and satisfy a bounded differences condition. Under a variance lower-bound assumption, a central limit theorem is proved for the optimal alignments score of the $m$ random words.
The Topology of Equivariant Hilbert Schemes
Published
• View Publication
• BIB
For $G$ a finite group acting linearly on $\mathbb{A}^2$, the equivariant Hilbert scheme $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ is a natural resolution of singularities of $\operatorname{Sym}^r(\mathbb{A}^2/G)$. In this paper we study the topology of $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ for abelian $G$ and how it depends on the group $G$. We prove that the topological invariants of $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ are periodic or quasipolynomial in the order of the group $G$ as $G$ varies over certain families of abelian subgroups of $GL_2$. This is done by using the Bialynicki-Birula decomposition to compute topological invariants in terms of the combinatorics of a certain set of partitions.
$K_{3,3}$-free Intersection Graphs of Finite Groups
Published
• View Publication
• BIB
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$ and $K$ if and only if $H\cap K \neq 1$ where $1$ denotes the trivial subgroup of $G$. In this paper we classify all finite groups whose intersection graphs are $K_{3,3}$-free.