Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Chinese Postman Problem on Edge-Colored Multigraphs
Published
• View Publication
• BIB
It is well-known that the Chinese postman problem on undirected and directed graphs is polynomial-time solvable. We extend this result to edge-colored multigraphs. Our result is in sharp contrast to the Chinese postman problem on mixed graphs, i.e., graphs with directed and undirected edges, for which the problem is NP-hard.
Infinite friezes and triangulations of the strip
The infinite friezes of positive integers were introduced by Tschabold as a variation of the classical Conway-Coxeter frieze patterns. These infinite friezes were further shown be to realizable via triangulations of the infinite strip by Baur, Parsons and Tschabold. In this paper, we show that the construction of Baur, Parsons and Tschabold can be slightly adapted in order to obtain a bijection between the infinite friezes and the so-called admissible triangulations of the infinite strip with no special marked points on the upper boundary. As a consequence, we obtain that the infinite friezes with enough ones are in bijection with the admissible triangulations of the infinity-gon.
Minimum distance functions of graded ideals and Reed-Muller-type codes
Published in J. Pure Appl. Algebra 221 (2017), 251--275
• View Publication
• BIB
We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives an algebraic formulation of the minimum distance of a projective Reed-Muller-type code in terms of the algebraic invariants and structure of the underlying vanishing ideal. Then we give a method, based on Groebner bases and Hilbert functions, to find lower bounds for the minimum distance of certain Reed-Muller-type codes. Finally we show explicit upper bounds for the number of zeros of polynomials in a projective nested cartesian set and give some support to a conjecture of Carvalho, Lopez-Neumann and Lopez.
Inside the clustering window for random linear equations
Published
• View Publication
• BIB
We study a random system of cn linear equations over n variables in GF(2), where each equation contains exactly r variables; this is equivalent to r-XORSAT. Previous work has established a clustering threshold, c^*_r for this model: if c=c_r^*-εfor any constant ε>0 then with high probability all solutions form a well-connected cluster; whereas if c=c^*_r+ε, then with high probability the solutions partition into well-connected, well-separated clusters (with probability tending to 1 as n goes to infinity). This is part of a general clustering phenomenon which is hypothesized to arise in most of the commonly studied models of random constraint satisfaction problems, via sophisticated but mostly non-rigorous techniques from statistical physics. We extend that study to the range c=c^*_r+o(1), and prove that the connectivity parameters of the r-XORSAT clusters undergo a smooth transition around the clustering threshold.
Non-representable hyperbolic matroids
Published
• View Publication
• BIB
The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. Hyperbolic polynomials give rise to a class of (hyperbolic) matroids which properly contains the class of matroids representable over the complex numbers. This connection was used by the second author to construct counterexamples to algebraic (stronger) versions of the generalized Lax conjecture by considering a non-representable hyperbolic matroid. The Vámos matroid and a generalization of it are, prior to this work, the only known instances of non-representable hyperbolic matroids.
We prove that the Non-Pappus and Non-Desargues matroids are non-representable hyperbolic matroids by exploiting a connection between Euclidean Jordan algebras and projective geometries. We further identify a large class of hyperbolic matroids which contains the Vámos matroid and the generalized Vámos matroids recently studied by Burton, Vinzant and Youm. This proves a conjecture of Burton et al. We also prove that many of the matroids considered here are non-representable. The proof of hyperbolicity for the matroids in the class depends on proving nonnegativity of certain symmetric polynomials. In particular we generalize and strengthen several inequalities in the literature, such as the Laguerre-Turán inequality and Jensen's inequality. Finally we explore consequences to algebraic versions of the generalized Lax conjecture.
On Cube Tilings of Tori and Classification of Perfect Codes in the Maximum Metric
We describe odd-length-cube tilings of the n-dimensional q-ary torus what includes q-periodic integer lattice tilings of R^n. In the language of coding theory these tilings correspond to perfect codes with respect to the maximum metric. A complete characterization of the two-dimensional tillings is presented and in the linear case, a description of general matrices, isometry and isomorphism classes is provided. Several methods to construct perfect codes from codes of smaller dimension or via sections are derived. We introduce a special type of matrices (perfect matrices) which are in correspondence with generator matrices for linear perfect codes in arbitrary dimensions. For maximal perfect codes, a parametrization obtained allows to describe isomorphism classes of such codes. We also approach the problem of what isomorphism classes of abelian groups can be represented by q-ary n-dimensional perfect codes of a given cardinality N.
On Cyclic Kautz Digraphs
A prominent problem in Graph Theory is to find extremal graphs or digraphs with restrictions in their diameter, degree and number of vertices. Here we obtain a new family of digraphs with minimal diameter, that is, given the number of vertices and out-degree there is no other digraph with a smaller diameter. This new family is called modified cyclic digraphs $MCK(d,\ell)$ and it is derived from the Kautz digraphs $K(d,\ell)$. %It is not common to find non-regular digraphs with minimal diameter given their number of vertices and out-degree.
It is well-known that the Kautz digraphs $K(d,\ell)$ have the smallest diameter among all digraphs with their number of vertices and degree. We define the cyclic Kautz digraphs $CK(d,\ell)$, whose vertices are labeled by all possible sequences $a_1\ldots a_\ell$ of length $\ell$, such that each character $a_i$ is chosen from an alphabet containing $d+1$ distinct symbols, where the consecutive characters in the sequence are different (as in Kautz digraphs), and now also requiring that $a_1\neq a_\ell$. The cyclic Kautz digraphs $CK(d,\ell)$ have arcs between vertices $a_1 a_2\ldots a_\ell$ and $a_2 \ldots a_\ell a_{\ell+1}$, with $a_1\neq a_\ell$ and $a_2\neq a_{\ell+1}$. Unlike in Kautz digraphs $K(d,\ell)$, any label of a vertex of $CK(d,\ell)$ can be cyclically shifted to form again a label of a vertex of $CK(d,\ell)$.
We give the main parameters of $CK(d,\ell)$: number of vertices, number of arcs, and diameter. Moreover, we construct the modified cyclic Kautz digraphs $MCK(d,\ell)$ to obtain the same diameter as in the Kautz digraphs, and we show that $MCK(d,\ell)$ are $d$-out-regular. Finally, we compute the number of vertices of the iterated line digraphs of $CK(d,\ell)$.
A sharp threshold for van der Waerden's theorem in random subsets
Published in Discrete Analysis, 2016:7, 19 pp
• View Publication
• BIB
We establish sharpness for the threshold of van der Waerden's theorem in random subsets of $\mathbb{Z}/n\mathbb{Z}$. More precisely, for $k\geq 3$ and $Z\subseteq \mathbb{Z}/n\mathbb{Z}$ we say $Z$ has the van der Waerden property if any two-colouring of $Z$ yields a monochromatic arithmetic progression of length $k$. Rödl and Ruciński (1995) determined the threshold for this property for any k and we show that this threshold is sharp.
The proof is based on Friedgut's criteria (1999) for sharp thresholds, and on the recently developed container method for independent sets in hypergraphs by Balogh, Morris and Samotij (2015) and by Saxton and Thomason (2015).
A combinatorial Hopf algebra for the boson normal ordering problem
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 5 (2018), 61-102
• View Publication
• BIB
In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity $(a^†)^{r_n}a^{s_n}\cdots(a^†)^{r_1}a^{s_1}=(a^†)^α\displaystyle\sum S_{\bf{r,s}}(k)(a^†)^k a^k$, where $α$ is assumed to be non-negative. These objects are used to define a combinatorial Hopf algebra which specializes to the enveloping algebra of the Heisenberg Lie algebra. Here, we propose a new variant of this construction which admits a realization with variables. This means that we construct our algebra from a free algebra $\mathbb{C}\langle A \rangle$ using quotient and shifted product. The combinatorial objects (B-diagrams) are slightly different from those proposed by Blasiak \emph{et al.}, but give also a combinatorial interpretation of the generalized Stirling numbers together with a combinatorial Hopf algebra related to Heisenberg Lie algebra. The main difference comes from the fact that the B-diagrams have the same number of inputs and outputs. After studying the combinatorics and the enumeration of B-diagrams, we propose two constructions of algebras called Fusion algebra $\mathcal{F}$, defined using formal variable and another algebra $\mathcal{B}$ constructed directly from the B-diagrams. We show the connection between these two algebras and that $\mathcal{B}$ can be endowed with a Hopf structure. We recognize two already known combinatorial Hopf subalgebras of $\mathcal{B}$ : $\mathrm{WSym}$ the algebra of word symmetric functions indexed by set partitions and $\mathrm{BWSym}$ the algebra of biword symmetric functions indexed by set partitions into lists.
Generation of cubic graphs and snarks with large girth
Published
• View Publication
• BIB
We describe two new algorithms for the generation of all non-isomorphic cubic graphs with girth at least $k\ge 5$ which are very efficient for $5\le k \le 7$ and show how these algorithms can be efficiently restricted to generate snarks with girth at least $k$.
Our implementation of these algorithms is more than 30, respectively 40 times faster than the previously fastest generator for cubic graphs with girth at least 6 and 7, respectively.
Using these generators we have also generated all non-isomorphic snarks with girth at least 6 up to 38 vertices and show that there are no snarks with girth at least 7 up to 42 vertices. We present and analyse the new list of snarks with girth 6.
The uniqueness of a distance-regular graph with intersection array {32,27,8,1;1,4,27,32} and related results
Published
• View Publication
• BIB
It is known that, up to isomorphism, there is a unique distance-regular graph $Δ$ with intersection array {32,27;1,12} (equivalently, $Δ$ is the unique strongly regular graph with parameters (105,32,4,12)). Here we investigate the distance-regular antipodal covers of $Δ$. We show that, up to isomorphism, there is just one distance-regular antipodal triple cover of $Δ$ (a graph $\hatΔ$ discovered by the author over twenty years ago), proving that there is a unique distance-regular graph with intersection array {32,27,8,1;1,4,27,32}. In the process, we confirm an unpublished result of Steve Linton that there is no distance-regular antipodal double cover of $Δ$, and so no distance-regular graph with intersection array {32,27,6,1;1,6,27,32}. We also show there is no distance-regular antipodal 4-cover of $Δ$, and so no distance-regular graph with intersection array {32,27,9,1;1,3,27,32}, and that there is no distance-regular antipodal 6-cover of $Δ$ that is a double cover of $\hatΔ$.
Homology of spaces of directed paths in Euclidean pattern spaces
Published
• View Publication
• BIB
The paper addresses certain topological aspects of Dijkstra's PV-model for parallel computations in concurrency theory. The main result is a computation of the homology of the trace space associated with PV-programs in which access and release of every resource happen without time delay.
Well-quasi-ordering and finite distinguishing number
Published
• View Publication
• BIB
Balogh, Bollobas and Weinreich showed that a parameter that has since been termed the distinguishing number can be used to identify a jump in the possible speeds of hereditary classes of graphs at the sequence of Bell numbers.
We prove that every hereditary class that lies above the Bell numbers and has finite distinguishing number contains a boundary class for well-quasi-ordering. This means that any such hereditary class which in addition is defined by finitely many minimal forbidden induced subgraphs must contain an infinite antichain. As all hereditary classes below the Bell numbers are well-quasi-ordered, our results complete the answer to the question of well-quasi-ordering for hereditary classes with finite distinguishing number.
We also show that the decision procedure of Atminas, Collins, Foniok and Lozin to decide the Bell number (and which now also decides well-quasi-ordering for classes of finite distinguishing number) has run time bounded by an explicit (quadruple exponential) function of the order of the largest minimal forbidden induced subgraph of the class.
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.