Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A Practical Regularity Partitioning Algorithm and its Applications in Clustering
In this paper we introduce a new clustering technique called Regularity Clustering. This new technique is based on the practical variants of the two constructive versions of the Regularity Lemma, a very useful tool in graph theory. The lemma claims that every graph can be partitioned into pseudo-random graphs. While the Regularity Lemma has become very important in proving theoretical results, it has no direct practical applications so far. An important reason for this lack of practical applications is that the graph under consideration has to be astronomically large. This requirement makes its application restrictive in practice where graphs typically are much smaller. In this paper we propose modifications of the constructive versions of the Regularity Lemma that work for smaller graphs as well. We call this the Practical Regularity partitioning algorithm. The partition obtained by this is used to build the reduced graph which can be viewed as a compressed representation of the original graph. Then we apply a pairwise clustering method such as spectral clustering on this reduced graph to get a clustering of the original graph that we call Regularity Clustering. We present results of using Regularity Clustering on a number of benchmark datasets and compare them with standard clustering techniques, such as $k$-means and spectral clustering. These empirical results are very encouraging. Thus in this paper we report an attempt to harness the power of the Regularity Lemma for real-world applications.
A greedy algorithm for finding a large 2-matching on a random cubic graph
Published
• View Publication
• BIB
A 2-matching of a graph $G$ is a spanning subgraph with maximum degree two. The size of a 2-matching $U$ is the number of edges in $U$ and this is at least $n-\k(U)$ where $n$ is the number of vertices of $G$ and $\k$ denotes the number of components. In this paper, we analyze the performance of a greedy algorithm \textsc{2greedy} for finding a large 2-matching on a random 3-regular graph. We prove that with high probability, the algorithm outputs a 2-matching $U$ with $\k(U) = \tildeΘ\of{n^{1/5}}$.
Matroids over a ring
Published
• View Publication
• BIB
We introduce the notion of a matroid M over a commutative ring R, assigning to every subset of the ground set an R-module according to some axioms. When R is a field, we recover matroids. When R=$\mathbb{Z}$, and when R is a DVR, we get (structures which contain all the data of) quasi-arithmetic matroids, and valuated matroids i.e. tropical linear spaces, respectively. More generally, whenever R is a Dedekind domain, we extend all the usual properties and operations holding for matroids (e.g., duality), and we explicitly describe the structure of the matroids over R. Furthermore, we compute the Tutte-Grothendieck ring of matroids over R. We also show that the Tutte quasi-polynomial of a matroid over $\mathbb{Z}$ can be obtained as an evaluation of the class of the matroid in the Tutte-Grothendieck ring.
An inhomogeneous Lambda-determinant
Published
• View Publication
• BIB
We introduce a multi-parameter generalization of the Lambda-determinant of Robbins and Rumsey, based on the cluster algebra with coefficients attached to a T-system recurrence. We express the result as a weighted sum over alternating sign matrices.
A partition of the hypercube into maximally nonparallel Hamming codes
Published in J. Comb. Des. 22(4) 2014, 179-187
• View Publication
• BIB
By using the Gold map, we construct a partition of the hypercube into cosets of Hamming codes such that for every two cosets the corresponding Hamming codes are maximally nonparallel, that is, their intersection cardinality is as small as possible to admit nonintersecting cosets.
Vertically N-contractible elements in 3-connected matroids
In this paper we establish a variation of the Splitter Theorem. Let $M$ and $N$ be simple 3-connected matroids. We say that $x\in E(M)$ is vertically $N$-contractible if $si(M/x)$ is a 3-connected matroid with an $N$-minor. Whittle (for $k=1,2$) and Costalonga(for $k=3$) proved that, if $r(M)- r(N)\ge k$, then $M$ has a $k$-independent set $I$ of vertically $N$-contractible elements. Costalonga also characterized an obstruction for the existence of such a 4-independent set $I$ in the binary case, provided $r(M)-r(N)\ge 5$, and improved this result when $r(M)-r(N)\ge 6$, and in the graphic case. In this paper we generalize the results of Costalonga to the non-binary case.
Moreover, we apply our results to the study of properties similar to 3-roundedness in classes of matroids.
Lattices of Equivalence Relations Closed Under the Operations of Relation Algebras
Published in Algebra Universalis, (71), 2014, p. 187-190
• View Publication
• BIB
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as lattices of equivalence relations on finite sets closed under certain first order formulas. We generalize this question to a different collection of first-order formulas, giving examples to demonstrate that our new question is distinct. We then prove that every lattice $\m M_n$ can be represented in this new way. [This is an extended version of a paper submitted to \emph{Algebra Universalis}.]
Another proof of a Gowers theorem
W. T. Gowers proved that every Lipschitz function from the unit sphere of the Banach space $c_0$ to $\mathbb{R}$ is oscilation stable. His proof uses a result about finite partitions of the set $FIN_k$ of finitely supported functions $p$ from $\mathbb{N}$ to $\{0,1,...,k\}$ with $k$ in $Im(p)$. Every known proof of this fact uses methods of topological dynamics on the space $β\mathbb{N}$ of ultrafilters on $\mathbb{N}$. We give a purely combinatorial proof of this result avoiding the use of ultrafilters.
On balanced incomplete block designs with specified weak chromatic number
Published
• View Publication
• BIB
A weak $c$-colouring of a balanced incomplete block design (BIBD) is a colouring of the points of the design with $c$ colours in such a way that no block of the design has all of its vertices receive the same colour. A BIBD is said to be weakly $c$-chromatic if $c$ is the smallest number of colours with which the design can be weakly coloured. In this paper we show that for all $c \geq 2$ and $k \geq 3$ with $(c,k) \neq (2,3)$, the obvious necessary conditions for the existence of a $(v,k,λ)$-BIBD are asymptotically sufficient for the existence of a weakly $c$-chromatic $(v,k,λ)$-BIBD.
A Note on Hamilton Cycles
If $G$ is a more than one tough graph on $n$ vertices with $δ\ge \frac{n}{2}-a$ for a given $a>0$ and $n$ is large enough then $G$ is hamiltonian.
Non-normal affine monoids
Published in Manuscripta Mathematica, Vol. 146 (2015) no. 1-2, 223-233
• Search Publication
We give a geometric description of the set of holes in a non-normal affine monoid $Q$. The set of holes turns out to be related to the non-trivial graded components of the local cohomology of $k[Q]$. From this, we see how various properties of $k[Q]$ like local normality and Serre's conditions $(R_1)$ and $(S_2)$ are encoded in the geometry of the holes. A combinatorial upper bound for the depth the monoid algebra $k[Q]$ is obtained and some cases where equality holds are identified. We apply this results to seminormal affine monoids.
Counting symmetry classes of dissections of a convex regular polygon
Published
• View Publication
• BIB
This paper proves explicit formulas for the number of dissections of a convex regular polygon modulo the action of the cyclic and dihedral groups. The formulas are obtained by making use of the Cauchy-Frobenius Lemma as well as bijections between rotationally symmetric dissections and simpler classes of dissections. A number of special cases of these formulas are studied. Consequently, some known enumerations are recovered and several new ones are provided.
Two-sided Eulerian numbers via balls in boxes
Published
• View Publication
• BIB
The Eulerian numbers count permutations according to the number of descents. The two-sided Eulerian numbers count permutations according to number of descents and the number of descents in the inverse permutation. Here we derive some results for Eulerian and two-sided Eulerian numbers using an elementary "balls-in-boxes" approach. We also discuss an open conjecture of Ira Gessel about the two-sided Eulerian numbers.
The Brill-Noether rank of a tropical curve
Published
• View Publication
• BIB
We construct a space classifying divisor classes of a fixed degree on all tropical curves of a fixed combinatorial type and show that the function taking a divisor class to its rank is upper semicontinuous. We extend the definition of the Brill-Noether rank of a metric graph to tropical curves and use the upper semicontinuity of the rank function on divisors to show that the Brill-Noether rank varies upper semicontinuously in families of tropical curves. Furthermore, we present a specialization lemma relating the Brill-Noether rank of a tropical curve with the dimension of the Brill-Noether locus of an algerbaic curve.
An Algorithmic Approach to the Extensibility of Association Schemes
An association scheme which is associated to a height t presuperscheme is said to be extensible to height t. Smith (1994, 2007) showed that an association scheme X=(Q,Γ) of order d:=|Q| is Schurian iff X is extensible to height (d-2). In this work, we formalize the maximal height t_max(X) of an association scheme X as the largest positive integer such that X is extensible to height t (we also include the possibility t_max(X)=\infty, which is equivalent to t_max(X)\ge (d-2)). Intuitively, the maximal height provides a natural measure of how close an association scheme is to being Schurian.
For the purpose of computing the maximal height, we introduce the association scheme extension algorithm. On input an association scheme X=(Q,Γ) of order d:=|Q| and an integer t such that 1\le t\le (d-2), the association scheme extension algorithm decides in time d^(O(t)) if the scheme X is extensible to height t. In particular, if t is a fixed constant, then the running time of the association scheme extension algorithm is polynomial in the order of X.
The association scheme extension algorithm is used to show that all non-Schurian association schemes up to order 26 are completely inextensible, i.e. they are not extensible to a positive height. Via the tensor product of association schemes, the latter result gives rise to a multitude of examples of infinite families of completely inextensible association schemes.
Decision trees, monotone functions, and semimatroids
We define decision trees for monotone functions on a simplicial complex. We define homology decidability of monotone functions, and show that various monotone functions related to semimatroids are homology decidable. Homology decidability is a generalization of semi-nonevasiveness, a notion due to Jonsson. The motivating example is the complex of bipartite graphs, whose Betti numbers are unknown in general.
We show that these monotone functions have optimum decision trees, from which we can compute relative Betti numbers of related pairs of simplicial complexes. Moreover, these relative Betti numbers are coefficients of evaluations of the Tutte polynomial, and every semimatroid collapses onto its broken circuit complex.
Betti numbers of cut ideals of trees
Published in J. Alg. Stat., 4(1):108-117, 2013
• View Publication
• BIB
Cut ideals, introduced by Sturmfels and Sullivant, are used in phylogenetics and algebraic statistics. We study the minimal free resolutions of cut ideals of tree graphs. By employing basic methods from topological combinatorics, we obtain upper bounds for the Betti numbers of this type of ideals. These take the form of simple formulas on the number of vertices, which arise from the enumeration of induced subgraphs of certain incomparability graphs associated to the edge sets of trees.
Squarefree monomial ideals with constant depth function
Published
• View Publication
• BIB
In this paper we study squarefree monomial ideals which have constant depth functions. Edge ideals, matroidal ideals and facet ideals of pure simplicial forests connected in codimension one with this property are classified.
Spectra of the neighbourhood corona of two graphs
Published in Pages 1205--1219, Volume 62, Issue 9, 2014, Linear and Multilinear Algebra
• View Publication
• BIB
Given simple graphs $G_1$ and $G_2$, the neighbourhood corona of $G_1$ and $G_2$, denoted $G_1\star G_2$, is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper we determine the adjacency spectrum of $G_1 \star G_2$ for arbitrary $G_1$ and $G_2$, and the Laplacian spectrum and signless Laplacian spectrum of $G_1\star G_2$ for regular $G_1$ and arbitrary $G_2$, in terms of the corresponding spectrum of $G_1$ and $G_2$. The results on the adjacency and signless Laplacian spectra enable us to construct new pairs of adjacency cospectral and signless Laplacian cospectral graphs. As applications of the results on the Laplacian spectra, we give constructions of new families of expander graphs from known ones by using neighbourhood coronae.
Duplicial algebras and Lagrange inversion
Published in in Algebraic Combinatorics, Resurgence, Moulds and Applcations (CARMA), Vol. 1, ISBN 978-3-03719-204-7, European Math. Soc., 2020
• View Publication
• BIB
We provide operadic interpretations for two Hopf subalgebras of the algebra of parking functions. The Catalan subalgebra is identified with the free duplicial algebra on one generator, and the Schröder subalgebra is interpreted by means of a new operad, which we call triduplicial.
The noncommutative Lagrange inversion formula is then interpreted in terms of duplicial structures. The generic solution of the noncommutative inversion problem appears as the formal sum of all parking functions. This suggests that combinatorial generating functions derived by functional inversion should be obtainable by evaluating a suitable character on this generic solution. This idea is illustrated by means of the Narayana polynomials, of which we obtain bivariate "super-analogues" by lifting to parking functions a classical character of the algebra of symmetric functions. Other characters, such as evaluation of symmetric functions on a binomial element, are also discussed.