Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Matchings vs hitting sets among half-spaces in low dimensional euclidean spaces
Let $\mathcal{F}$ be any collection of linearly separable sets of a set $P$ of $n$ points either in $\mathbb{R}^2$, or in $\mathbb{R}^3$. We show that for every natural number $k$ either one can find $k$ pairwise disjoint sets in $\mathcal{F}$, or there are $O(k)$ points in $P$ that together hit all sets in $\mathcal{F}$. The proof is based on showing a similar result for families $\mathcal{F}$ of sets separable by pseudo-discs in $\mathbb{R}^2$. We complement these statements by showing that analogous result fails to hold for collections of linearly separable sets in $\mathbb{R}^4$ and higher dimensional euclidean spaces.
Avoidability of long $k$-abelian repetitions
Published
• View Publication
• BIB
We study the avoidability of long $k$-abelian-squares and $k$-abelian-cubes on binary and ternary alphabets. For $k=1$, these are Mäkelä's questions. We show that one cannot avoid abelian-cubes of abelian period at least $2$ in infinite binary words, and therefore answering negatively one question from Mäkelä. Then we show that one can avoid $3$-abelian-squares of period at least $3$ in infinite binary words and $2$-abelian-squares of period at least 2 in infinite ternary words. Finally we study the minimum number of distinct $k$-abelian-squares that must appear in an infinite binary word.
Proof of a conjecture of Kenyon and Wilson on semicontiguous minors
Published
• View Publication
• BIB
Kenyon and Wilson showed how to test if a circular planar electrical network with $n$ nodes is well-connected by checking the positivity of $\binom{n}{2}$ central minors of the response matrix. Their test is based on the fact that any contiguous minor of a matrix can be expressed as a Laurent polynomial in the central minors. Moreover, the Laurent polynomial is the generating function of domino tilings of a weighted Aztec diamond. They conjectured that a larger family of minors, semicontiguous minors, can also be written in terms of domino tilings of a region on the square lattice. In this paper, we present a proof of the conjecture.
Algorithmic and enumerative aspects of the Moser-Tardos distribution
Published in ACM Transactions on Algorithms 13(3), Article #33 (2017)
• View Publication
• BIB
Moser & Tardos have developed a powerful algorithmic approach (henceforth "MT") to the Lovasz Local Lemma (LLL); the basic operation done in MT and its variants is a search for "bad" events in a current configuration. In the initial stage of MT, the variables are set independently. We examine the distributions on these variables which arise during intermediate stages of MT. We show that these configurations have a more or less "random" form, building further on the "MT-distribution" concept of Haeupler et al. in understanding the (intermediate and) output distribution of MT. This has a variety of algorithmic applications; the most important is that bad events can be found relatively quickly, improving upon MT across the complexity spectrum: it makes some polynomial-time algorithms sub-linear (e.g., for Latin transversals, which are of basic combinatorial interest), gives lower-degree polynomial run-times in some settings, transforms certain super-polynomial-time algorithms into polynomial-time ones, and leads to Las Vegas algorithms for some coloring problems for which only Monte Carlo algorithms were known.
We show that in certain conditions when the LLL condition is violated, a variant of the MT algorithm can still produce a distribution which avoids most of the bad events. We show in some cases this MT variant can run faster than the original MT algorithm itself, and develop the first-known criterion for the case of the asymmetric LLL. This can be used to find partial Latin transversals -- improving upon earlier bounds of Stein (1975) -- among other applications. We furthermore give applications in enumeration, showing that most applications (where we aim for all or most of the bad events to be avoided) have many more solutions than known before by proving that the MT-distribution has "large" min-entropy and hence that its support-size is large.
On some problems of Euclidean Ramsey theory
Published
• View Publication
• BIB
In the paper we prove, in particular, that for any measurable coloring of the euclidian plane into two colours there is a monochromatic triangle with some restrictions on the sides. Also we consider similar problems in finite fields settings.
Bouquet algebra of toric ideals
To any toric ideal $I_A$, encoded by an integer matrix $A$, we associate a matroid structure called {\em the bouquet graph} of $A$ and introduce another toric ideal called {\em the bouquet ideal} of $A$. We show how these objects capture the essential combinatorial and algebraic information about $I_A$. Passing from the toric ideal to its bouquet ideal reveals a structure that allows us to classify several cases. For example, on the one end of the spectrum, there are ideals that we call {\em stable}, for which bouquets capture the complexity of various generating sets as well as the minimal free resolution. On the other end of the spectrum lie toric ideals whose various bases (e.g., minimal generating sets, Gröbner, Graver bases) coincide. Apart from allowing for classification-type results, bouquets provide a new way to construct families of examples of toric ideals with various interesting properties, such as robustness, genericity, and unimodularity. The new bouquet framework can be used to provide a characterization of toric ideals whose Graver basis, the universal Gröbner basis, any reduced Gröbner basis and any minimal generating set coincide.
Hyperbolic four-manifolds, colourings and mutations
Published in Proc. London Math. Soc. (2016), 113 (2), 163-184
• View Publication
• BIB
We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathcal{X}$ and $\mathcal{Y}$ have twice the minimal volume among all complete orientable hyperbolic $4$-manifolds.
'On the signless Laplacian spectra of $k$-trees'-- CORRIGENDUM
Published
• View Publication
• BIB
In this paper, we use a new and correct method to determine the $n$-vertex $k$-trees with the first three largest signless Laplacian indices.
A decomposition rule for certain tensor product representations of the symmetric groups
Published in Journal of Algebra 434 (2015) 46-64
• View Publication
• BIB
In this paper, we give a combinatorial rule to calculate the decomposition of the tensor product (Kronecker product) of two irreducible complex representations of the symmetric group ${\mathfrak S}_n$, when one of the representations corresponds to a hook $(n-m, 1^m)$.
On fixing sets of composition and corona product of graphs
A fixing set $\mathcal{F}$ of a graph $G$ is a set of those vertices of the graph $G$ which when assigned distinct labels removes all the automorphisms from the graph except the trivial one. The fixing number of a graph $G$, denoted by $fix(G)$, is the smallest cardinality of a fixing set of $G$. In this paper, we study the fixing number of composition product, $G_1[G_2]$ and corona product, $G_1 \odot G_2$ of two graphs $G_1$ and $G_2$ with orders $m$ and $n$ respectively. We show that for a connected graph $G_1$ and an arbitrary graph $G_2$ having $l\geq 1$ components $G_2^1$, $G_2^2$, ... $G_2^l,$ $mn-1\geq fix(G_1[G_2])\geq m\left(\sum \limits_{i=1}^{l} fix(G_2^i )\right)$. For a connected graph $G_1$ and an arbitrary graph $G_2$, which are not asymmetric, we prove that $fix(G_1\odot G_2)=m fix( G_2)$. Further, for an arbitrary connected graph $G_{1}$ and an arbitrary graph $G_{2}$ we show that $fix(G_1\odot G_2)= max\{fix(G_1), m fix(G_2)\}$.
On the finite geometry of $W(23,16)$
We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular weighted graph out of this geometry. This might indicate that a weighing matrix $W(23,16)$ does not exist.
Zero-free regions of partition functions with applications to algorithms and graph limits
Published
• View Publication
• BIB
Based on a technique of Barvinok and Barvinok and Soberón we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect the Benjamini-Schramm topology on bounded degree graphs. We moreover give quasi-polynomial time approximation schemes for evaluating a large class of graph polynomials, including the Tutte polynomial, on bounded degree graphs.
Exponential formulas for models of complex reflection groups
Published
• View Publication
• BIB
In this paper we find some exponential formulas for the Betti numbers of the De Concini-Procesi minimal wonderful models Y_{G(r,p,n)} associated to the complex reflection groups G(r,p,n). Our formulas are different from the ones already known in the literature: they are obtained by a new combinatorial encoding of the elements of a basis of the cohomology by means of set partitions with weights and exponents.
We also point out that a similar combinatorial encoding can be used to describe the faces of the real spherical wonderful models of type A_{n-1}=G(1,1,n), B_n=G(2,1,n) and D_n=G(2,2,n). This provides exponential formulas for the f-vectors of the associated nestohedra: the Stasheff's associahedra (in this case closed formulas are well known) and the graph associahedra of type D_n.
On the ranking of a Swiss system chess team tournament
Published in Annals of Operations Research, 254(1-2): 17-36, 2017
• View Publication
• BIB
The paper suggests a family of paired comparison-based scoring procedures for ranking the participants of a Swiss system chess team tournament. We present the challenges of ranking in Swiss system, the features of individual and team competitions as well as the failures of the official rankings based on lexicographical order. The tournament is represented as a ranking problem such that the linearly-solvable row sum (score), generalized row sum, and least squares methods have favourable axiomatic properties.
Two chess team European championships are analysed as case studies. Final rankings are compared by their distances and visualized with multidimensional scaling (MDS). Differences to the official ranking are revealed by the decomposition of the least squares method. Rankings are evaluated by prediction power, retrodictive performance, and stability. The paper argues for the use of least squares method with a results matrix favouring match points on the basis of its relative insensitivity to the choice between match and board points, retrodictive accuracy, and robustness.
On interference among moving sensors and related problems
We show that for any set of $n$ points moving along "simple" trajectories (i.e., each coordinate is described with a polynomial of bounded degree) in $\Re^d$ and any parameter $2 \le k \le n$, one can select a fixed non-empty subset of the points of size $O(k \log k)$, such that the Voronoi diagram of this subset is "balanced" at any given time (i.e., it contains $O(n/k)$ points per cell). We also show that the bound $O(k \log k)$ is near optimal even for the one dimensional case in which points move linearly in time. As applications, we show that one can assign communication radii to the sensors of a network of $n$ moving sensors so that at any given time their interference is $O(\sqrt{n\log n})$. We also show some results in kinetic approximate range counting and kinetic discrepancy. In order to obtain these results, we extend well-known results from $\varepsilon$-net theory to kinetic environments.
Hypercube emulation of interconnection networks topologies
Published
• View Publication
• BIB
We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained embeddings: infinite series of hypercube embeddable Bubble Sort and Double Chordal Rings topologies, as well as of regular maps.
Finite edge-transitive oriented graphs of valency four: a global approach
Published
• View Publication
• BIB
We develop a new framework for analysing finite connected, oriented graphs of valency 4, which admit a vertex-transitive and edge-transitive group of automorphisms preserving the edge orientation. We identify a sub-family of "basic" graphs such that each graph of this type is a normal cover of at least one basic graph. The basic graphs either admit an edge-transitive group of automorphisms that is quasiprimitive or biquasiprimitive on vertices, or admit an (oriented or unoriented) cycle as a normal quotient. We anticipate that each of these additional properties will facilitate effective further analysis, and we demonstrate that this is so for the quasiprimitive basic graphs. Here we obtain strong restirictions on the group involved, and construct several infinite families of such graphs which, to our knowledge, are different from any recorded in the literature so far. Several open problems are posed in the paper.
The "art of trellis decoding" is fixed-parameter tractable
Published in IEEE Trans. Inform. Theory, 63(11)(November 2017), pp. 7178-7205
• View Publication
• BIB
Given n subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a linear layout $V_1,V_2,\ldots,V_n$ of the subspaces such that $\dim((V_1+V_2+\cdots+V_i) \cap (V_{i+1}+\cdots+V_n))\le k$ for all i, such a linear layout is said to have width at most k. When restricted to 1-dimensional subspaces, this problem is equivalent to computing the trellis-width (or minimum trellis state-complexity) of a linear code in coding theory and computing the path-width of an $\mathbb F$-represented matroid in matroid theory.
We present a fixed-parameter tractable algorithm to construct a linear layout of width at most k, if it exists, for input subspaces of a finite-dimensional vector space over $\mathbb F$. As corollaries, we obtain a fixed-parameter tractable algorithm to produce a path-decomposition of width at most k for an input $\mathbb F$-represented matroid of path-width at most k, and a fixed-parameter tractable algorithm to find a linear rank-decomposition of width at most k for an input graph of linear rank-width at most k. In both corollaries, no such algorithms were known previously.
It was previously known that a fixed-parameter tractable algorithm exists for the decision version of the problem for matroid path-width, a theorem by Geelen, Gerards, and Whittle~(2002) implies that for each fixed finite field $\mathbb F$, there are finitely many forbidden $\mathbb F$-representable minors for the class of matroids of path-width at most k. An algorithm by Hliněný (2006) can detect a minor in an input $\mathbb F$-represented matroid of bounded branch-width. However, this indirect approach would not produce an actual path-decomposition. Our algorithm is the first one to construct such a path-decomposition and does not depend on the finiteness of forbidden minors.
Asymmetric Latin squares, Steiner triple systems, and edge-parallelisms
This article, showing that almost all objects in the title are asymmetric, is re-typed from a manuscript I wrote somewhere around 1980 (after the papers of Bang and Friedland on the permanent conjecture but before those of Egorychev and Falikman). I am not sure of the exact date. The manuscript had been lost, but surfaced among my papers recently.
I am grateful to Laci Babai and Ian Wanless who have encouraged me to make this document public, and to Ian for spotting a couple of typos. In the section on Latin squares, Ian objects to my use of the term "cell"; this might be more reasonably called a "triple" (since it specifies a row, column and symbol), but I have decided to keep the terminology I originally used.
The result for Latin squares is in B. D. McKay and I. M. Wanless, On the number of Latin squares, Annals of Combinatorics 9 (2005), 335-344 (arXiv 0909.2101), while the result for Steiner triple systems is in L. Babai, Almost all Steiner triple systems are asymmetric, Annals of Discrete Mathematics 7 (1980), 37-39.
New examples of complete sets, with connections to a Diophantine theorem of Furstenberg
Published
• View Publication
• BIB
A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of Cassels ('60), Zannier ('92), Burr, Erdős, Graham, and Li ('96), and Hegyvári ('00). We also introduce the somewhat philosophically related notion of a $dispersing$ set and refine a theorem of Furstenberg ('67).