Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Ins-Robust Primitive Words
Let Q be the set of primitive words over a finite alphabet with at least two symbols. We characterize a class of primitive words, Q_I, referred to as ins-robust primitive words, which remain primitive on insertion of any letter from the alphabet and present some properties that characterizes words in the set Q_I. It is shown that the language Q_I is dense. We prove that the language of primitive words that are not ins-robust is not context-free. We also present a linear time algorithm to recognize ins-robust primitive words and give a lower bound on the number of n-length ins-robust primitive words.
Polyhedra and parameter spaces for matroids over valuation rings
Published
• View Publication
• BIB
In this paper we address two of the major foundational questions in the theory of matroids over rings. First, we provide a cryptomorphic axiomatisation, by introducing an analogue of the base polytope for matroids. Second, we describe a parameter space for matroids over a valuation ring, which turns out to be a tropical version of the Bott-Samelson varieties for the full flag variety. Thus a matroid over a valuation ring is a sequence of flags of tropical linear spaces a.k.a. valuated matroids.
Optimal Littlewood-Offord inequalities in groups
Published in Combinatorica 2019
• View Publication
• BIB
We prove several Littlewood-Offord type inequalities for arbitrary groups. In groups having elements of finite order the worst case scenario is provided by the simple random walk on a certain cyclic subgroup. The inequalities we obtain are optimal if the underlying group contains an element of certain order. It turns out that for torsion-free groups Erdős's bound still holds. Our results strengthen and generalize some very recent results by Tiep and Vu.
Connectivity keeping stars or double-stars in 2-connected graphs
Published
• View Publication
• BIB
In [W. Mader, Connectivity keeping paths in $k$-connected graphs, J. Graph Theory 65 (2010) 61-69.], Mader conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. In the same paper, Mader proved that the conjecture is true when $T$ is a path. Diwan and Tholiya [A.A. Diwan, N.P. Tholiya, Non-separating trees in connected graphs, Discrete Math. 309 (2009) 5235-5237.] verified the conjecture when $k=1$. In this paper, we will prove that Mader's conjecture is true when $T$ is a star or double-star and $k=2$.
Polynomial bases: positivity and Schur multiplication
Published
• View Publication
• BIB
We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule for the product of a Schur polynomial and a quasi-key polynomial. This rule simultaneously extends Haglund, Luoto, Mason and van Willigenburg's (2011) Littlewood-Richardson rule for quasi-Schur polynomials and refines their Littlewood-Richardson rule for Demazure characters. We also establish bijections connecting combinatorial models for these polynomials including semi-skyline fillings and quasi-key tableaux.
Spectra of Digraph Transformations
Published in Linear Algebra and its Applications, 439 (2013) 106-132
• View Publication
• BIB
For a digraph D and three parameters x, y, z in {0,1,+,-} we define the digraph D^(x,y,z) and call it the (x,y,z)-transformation of D. We show that for every r-regular digraph D the adjacency characteristic polynomial A(t, D^(x,y,z)) of (x,y,z)-transformation of D is uniquely defined by r and the adjacency characteristic polynomial A(t, D) of digraph D and we give a description of this function A(t, D^(x,y,z)) = F(r, A(t, D)). We also obtain similar results for some non-regular digraphs, namely, for so-called digraph-functions and their inverse. Also using the (x,y,z)-transformations of digraphs, we give various new constructions of non-isomorphic adjacency cospectral digraphs.
On Binary Matroid Minors and Applications to Data Storage over Small Fields
Published in Coding Theory and Applications, 5 ICMCTA (2017). Proceedings, pp. 139-153
• View Publication
• BIB
Locally repairable codes for distributed storage systems have gained a lot of interest recently, and various constructions can be found in the literature. However, most of the constructions result in either large field sizes and hence too high computational complexity for practical implementation, or in low rates translating into waste of the available storage space. In this paper we address this issue by developing theory towards code existence and design over a given field. This is done via exploiting recently established connections between linear locally repairable codes and matroids, and using matroid-theoretic characterisations of linearity over small fields. In particular, nonexistence can be shown by finding certain forbidden uniform minors within the lattice of cyclic flats. It is shown that the lattice of cyclic flats of binary matroids have additional structure that significantly restricts the possible locality properties of $\mathbb{F}_{2}$-linear storage codes. Moreover, a collection of criteria for detecting uniform minors from the lattice of cyclic flats of a given matroid is given, which is interesting in its own right.
Efficient Generation of One-Factorizations through Hill Climbing
It is well known that for every even integer $n$, the complete graph $K_{n}$ has a one-factorization, namely a proper edge coloring with $n-1$ colors. Unfortunately, not much is known about the possible structure of large one-factorizations. Also, at present we have only woefully few explicit constructions of one-factorizations. Specifically, we know essentially nothing about the {\em typical} properties of one-factorizations for large $n$.
Suppose that $\cal C_{\rm n}$ is a graph whose vertex set includes the set of all order-$n$ one-factorizations and that $Ψ: V(\cal C_{\rm n})\to \mathbb R$ takes its minimum precisely at the one-factorizations. Given $\cal C_{\rm n}$ and $Ψ$, we can generate one-factorizations via hill climbing. Namely, by taking a walk on $\cal C_{\rm n}$ that tends to go from a vertex to a neighbor of smaller $Ψ$. For over 30 years, hill-climbing has been essentially the only method for generating many large one-factorizations. However, the validity of such methods was supported so far only by numerical evidence. Here, we present for the first time hill-climbing algorithms that provably generate an order-$n$ one-factorization in $\text{polynomial}(n)$ steps regardless of the starting state, while all vertex degrees in the underlying graph are appropriately bounded.
We also raise many questions and conjectures regarding hill-climbing methods and concerning the possible and typical structure of one-factorizations.
A heuristic algorithm for the Bin Packing Problem with Conflicts on Interval Graphs
In this paper we deal with the Bin Packing Problem with Conflicts on interval graphs: given an interval graph, a nonnegative integer weight for each vertex, and a nonnegative integer B, find a partition of the vertex set of the graph into k subsets such that the sum of the weights of the vertices assigned to same subset is less than or equal to B, two vertices connected by an edge do not belong to the same subset, and k is minimum. We design a heuristic algorithm, and propose a new random interval graph generator which builds interval conflict graphs with desired edge density. We test the algorithm on a huge test bed, and compare the results with existing algorithms.
Cut Tree Structures with Applications on Contraction-Based Sparsification
We introduce three new cut tree structures of graphs $G$ in which the vertex set of the tree is a partition of $V(G)$ and contractions of tree vertices satisfy sparsification requirements that preserve various types of cuts. Recently, Kawarabayashi and Thorup \cite{Kawarabayashi2015a} presented the first deterministic near-linear edge-connectivity recognition algorithm. A crucial step in this algorithm uses the existence of vertex subsets of a simple graph $G$ whose contractions leave a graph with $\tilde{O}(n/δ)$ vertices and $\tilde{O}(n)$ edges ($n := |V(G)|$) such that all non-trivial min-cuts of $G$ are preserved. We improve this result by eliminating the poly-logarithmic factors, that is, we show a contraction-based sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges and preserves all non-trivial min-cuts. We complement this result by giving a sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges such that all (possibly not minimum) cuts of size less than $δ$ are preserved, by using contractions in a second tree structure. As consequence, we have that every simple graph has $O(n/δ)$ $δ$-edge-connected components, and, if it is connected, it has $O((n/δ)^2)$ non-trivial min-cuts. All these results are proven to be asymptotically optimal.
By using a third tree structure, we give a new lower bound on the number of \emph{pendant pairs}. The previous best bound was given 1974 by Mader, who showed that every simple graph contains $Ω(δ^2)$ pendant pairs. We improve this result by showing that every simple graph $G$ with $δ\geq 5$ or $λ\geq 4$ or $κ\geq 3$ contains $Ω(δn)$ pendant pairs. We prove that this bound is asymptotically tight from several perspectives, and that $Ω(δn)$ pendant pairs can be computed efficiently.
Symmetries of weight enumerators and applications to Reed-Muller codes
Published
• View Publication
• BIB
Gleason's 1970 theorem on weight enumerators of self-dual codes has played a crucial role for research in coding theory during the last four decades. Plenty of generalizations have been proved but, to our knowledge, they are all based on the symmetries given by MacWilliams' identities. This paper is intended to be a first step towards a more general investigation of symmetries of weight enumerators. We list the possible groups of symmetries, dealing both with the finite and infinite case, we develop a new algorithm to compute the group of symmetries of a given weight enumerator and apply these methods to the family of Reed-Muller codes, giving, in the binary case, an analogue of Gleason's theorem for all parameters.
On the lengths of divisible codes
Published
• View Publication
• BIB
In this article, the effective lengths of all $q^r$-divisible linear codes over $\mathbb{F}_q$ with a non-negative integer $r$ are determined. For that purpose, the $S_q(r)$-adic expansion of an integer $n$ is introduced. It is shown that there exists a $q^r$-divisible $\mathbb{F}_q$-linear code of effective length $n$ if and only if the leading coefficient of the $S_q(r)$-adic expansion of $n$ is non-negative. Furthermore, the maximum weight of a $q^r$-divisible code of effective length $n$ is at most $σq^r$, where $σ$ denotes the cross-sum of the $S_q(r)$-adic expansion of $n$. This result has applications in Galois geometries. A recent theorem of N{ă}stase and Sissokho on the maximum size of a partial spread follows as a corollary. Furthermore, we get an improvement of the Johnson bound for constant dimension subspace codes.
A New Proof for the Characterization of Linear Betweenness Structure
In their paper published in 1997, Richmond and Richmond classified metric spaces in which all triangles are degenerate. That result was later reproved by Dovgoshei and Dordovskii in the finite case and it was generalized to finite pseudometric betweennesses by Beaudou et al. In this paper, we give a new, independent proof to the finite case of the original theorem which we reformulate in terms of linearity of betweenness structures.
On the Extremal Graphs with Respect to Bond Incident Degree Indices
Published in Discrete Appl. Math. 238, (2018) 32-40
• View Publication
• BIB
Many existing degree based topological indices can be classified as bond incident degree (BID) indices, whose general form is $BID(G)=\sum_{uv\in E(G)}$ $Ψ(d_{u},d_{v})$, where $uv$ is the edge connecting the vertices $u,v$ of the graph $G$, $E(G)$ is the edge set of $G$, $d_{u}$ is the degree of the vertex $u$ and $Ψ$ is a non-negative real valued (symmetric) function of $d_{u}$ and $d_{v}$. Here, it has been proven that if the extension of $Ψ$ to the interval $[0,\infty)$ satisfies certain conditions then the extremal $(n,m)$-graph with respect to the BID index (corresponding to $Ψ$) must contain at least one vertex of degree $n-1$. It has been shown that these conditions are satisfied for the general sum-connectivity index (whose special cases are: the first Zagreb index and the Hyper Zagreb index), for the general Platt index (whose special cases are: the first reformulated Zagreb index and the Platt index) and for the variable sum exdeg index. Applying aforementioned result, graphs with maximum values of the aforementioned BID indices among tree, unicyclic, bicyclic, tricyclic and tetracyclic graphs were characterized. Some of these results are new and the already existing results are proven in a shorter and more unified way.
On Symmetric But Not Cyclotomic Numerical Semigroups
Published
• View Publication
• BIB
A numerical semigroup is called cyclotomic if its corresponding numerical semigroup polynomial $P_S(x)=(1-x)\sum_{s\in S}x^s$ is expressable as the product of cyclotomic polynomials. Ciolan, García-Sánchez, and Moree conjectured that for every embedding dimension at least $4$, there exists some numerical semigroup which is symmetric but not cyclotomic. We affirm this conjecture by giving an infinite class of numerical semigroup families $S_{n, t}$, which for every fixed $t$ is symmetric but not cyclotomic when $n\ge \max(8(t+1)^3,40(t+2))$ and then verify through a finite case check that the numerical semigroup families $S_{n, 0}$, and $S_{n, 1}$ yield acyclotomic numerical semigroups for every embedding dimension at least $4$.
Colouring games based on autotopisms of Latin hyper-rectangles
Published in Quaestiones Mathematicae 42:7 (2019) 953-975
• View Publication
• BIB
Every partial colouring of a Hamming graph is uniquely related to a partial Latin hyper-rectangle. In this paper we introduce the $Θ$-stabilized $(a,b)$-colouring game for Hamming graphs, a variant of the $(a,b)$-colouring game so that each move must respect a given autotopism $Θ$ of the resulting partial Latin hyper-rectangle. We examine the complexity of this variant by means of its chromatic number. We focus in particular on the bi-dimensional case, for which the game is played on the Cartesian product of two complete graphs, and also on the hypercube case.
On almost-equidistant sets
Published in Linear Algebra and its Applications, 563 (2019), 220-230
• View Publication
• BIB
A finite set of points in $\mathbb R^d$ is called almost-equidistant if among any three distinct points in the set, some two are at unit distance. We prove that an almost-equidistant set in $\mathbb R^d$ has cardinality at most $5d^{13/9}$.
On the combinatorics of Riordan arrays and Sheffer polynomials: monoids, operads and monops
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of properties of cancellative set-monops we construct a family of partially ordered sets whose prototypical examples are the Dowling lattices. They generalize the partition posets associated to a cancellative operad, and the subset posets associated to a cancellative monoid. Their generalized Withney numbers of the first and second kind are the entries of a Riordan matrix and its inverse. Equivalently, they are the connecting coefficients of two umbral inverse Sheffer sequences with the family of powers $\{x^n\}_{n=0}^{\infty}$. We study algebraic monops, their associated algebras and the free monop-algebras, as part of a program in progress to develop a theory of Koszul duality for monops.
An affine almost positive roots model
Published
• View Publication
• BIB
We generalize the almost positive roots model for cluster algebras from finite type to a uniform finite/affine type model. We define the almost positive Schur roots $Φ_c$ and a compatibility degree, given by a formula that is new even in finite type. The clusters define a complete fan $\operatorname{Fan}_c(Φ)$. Equivalently, every vector has a unique cluster expansion. We give a piecewise linear isomorphism from the subfan of $\operatorname{Fan}_c(Φ)$ induced by real roots to the ${\mathbf g}$-vector fan of the associated cluster algebra. We show that $Φ_c$ is the set of denominator vectors of the associated acyclic cluster algebra and conjecture that the compatibility degree also describes denominator vectors for non-acyclic initial seeds. We extend results on exchangeability of roots to the affine case.
On the Number of Circuit-cocircuit Reversal Classes of an Oriented Matroid
Published
• View Publication
• BIB
The first author introduced the circuit-cocircuit reversal system of an oriented matroid, and showed that when the underlying matroid is regular, the cardinalities of such system and its variations are equal to special evaluations of the Tutte polynomial (e.g., the total number of circuit-cocircuit reversal classes equals $t(M;1,1)$, the number of bases of the matroid). By relating these classes to activity classes studied by the first author and Las Vergnas, we give an alternative proof of the above results and a proof of the converse statements that these equalities fail whenever the underlying matroid is not regular. Hence we extend the above results to an equivalence of matroidal properties, thereby giving a new characterization of regular matroids.