Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Classification of weighted networks through mesoscale homological features
Published
• View Publication
• BIB
As complex networks find applications in a growing range of disciplines, the diversity of naturally occurring and model networks being studied is exploding. The adoption of a well-developed collection of network taxonomies is a natural method for both organizing this data and understanding deeper relationships between networks. Most existing metrics for network structure rely on classical graph-theoretic measures, extracting characteristics primarily related to individual vertices or paths between them, and thus classify networks from the perspective of local features. Here, we describe an alternative approach to studying structure in networks that relies on an algebraic-topological metric called persistent homology, which studies intrinsically mesoscale structures called cycles, constructed from cliques in the network. We present a classification of 14 commonly studied weighted network models into four groups or classes, and discuss the structural themes arising in each class. Finally, we compute the persistent homology of two real-world networks and one network constructed by a common dynamical systems model, and we compare the results with the three classes to obtain a better understanding of those networks.
Ulrich Schur bundles on flag varieties
Published
• View Publication
• BIB
In this paper, we study equivariant vector bundles on partial flag varieties arising from Schur functors. We show that a partial flag variety with three or more steps does not admit an Ulrich bundle of this form with respect to the minimal ample class. We classify Ulrich bundles of this form on two-step flag varieties F(1,n-1;n), F(2,n-1;n), F(2,n-2;n), F(k,k+1;n) and F(k,k+2;n). We give a conjectural description of the two-step flag varieties which admit such Ulrich bundles.
A Note on Bipartite Subgraphs and Triangle-independent Sets
Published in Discrete Mathematics, 340(2):23-30, 2017
• View Publication
• BIB
Let $α_{1} (G)$ denote the maximum size of an edge set that contains at most one edge from each triangle of $G$. Let $τ_{B} (G)$ denote the minimum size of an edge set whose deletion makes $G$ bipartite. It was conjectured by Lehel and independently by Puleo that $α_{1} (G) + τ_{B} (G) \le n^2/4$ for every $n$-vertex graph $G$. Puleo showed that $α_{1} (G) + τ_{B} (G) \le 5n^2/16$ for every $n$-vertex graph $G$. In this note, we improve the bound by showing that $α_{1} (G) + τ_{B} (G) \le 4403n^2/15000$ for every $n$-vertex graph $G$.
General Parity Result and Cycle-plus-Triangles Graphs
Published
• View Publication
• BIB
We generalize a parity result of Fleishner and Stiebitz that being combined with Alon--Tarsi polynomial method allowed them to prove that a 4-regular graph formed by a Hamiltonian cycle and several disjoint triangles is always 3-choosable. Also we present a modification of polynomial method and show how it gives slightly more combinatorial information about colourings than direct application of Alon's Combinatorial Nullstellensatz.
A new proof of Seymour's 6-flow theorem
Published
• View Publication
• BIB
Tutte's famous 5-flow conjecture asserts that every bridgeless graph has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. Here we give (two versions of) a new proof of Seymour's Theorem. Both are roughly equal to Seymour's in terms of complexity, but they offer an alternative perspective which we hope will be of value.
Monodromy and $K$-theory of Schubert Curves via Generalized Jeu de Taquin
We establish a combinatorial connection between the real geometry and the $K$-theory of complex Schubert curves $S(λ_\bullet)$, which are one-dimensional Schubert problems defined with respect to flags osculating the rational normal curve. In a previous paper, the second author showed that the real geometry of these curves is described by the orbits of a map $ω$ on skew tableaux, defined as the commutator of jeu de taquin rectification and promotion. In particular, the real locus of the Schubert curve is naturally a covering space of $\mathbb{RP}^1$, with $ω$ as the monodromy operator.
We provide a fast, local algorithm for computing $ω$ without rectifying the skew tableau, and show that certain steps in our algorithm are in bijective correspondence with Pechenik and Yong's genomic tableaux, which enumerate the $K$-theoretic Littlewood-Richardson coefficient associated to the Schubert curve. Using this bijection, we give purely combinatorial proofs of several numerical results involving the $K$-theory and real geometry of $S(λ_\bullet)$.
Finding a low-dimensional piece of a set of integers
Published
• View Publication
• BIB
We show that a finite set of integers $A \subseteq \mathbb{Z}$ with $|A+A| \le K |A|$ contains a large piece $X \subseteq A$ with Freĭman dimension $O(\log K)$, where large means $|A|/|X| \ll \exp(O(\log^2 K))$. This can be thought of as a major quantitative improvement on Freĭman's dimension lemma, or as a "weak" Freĭman--Ruzsa theorem with almost polynomial bounds.
The methods used, centered around an "additive energy increment strategy", differ from the usual tools in this area and may have further potential.
Most of our argument takes place over $\mathbb{F}_2^n$, which is itself curious. There is a possibility that the above bounds could be improved, assuming sufficiently strong results in the spirit of the Polynomial Freĭman--Ruzsa Conjecture over finite fields.
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.