Showing 20 papers (Total: 82139 papers, 47531 authors in database)
New results for the growth of sets of real numbers
Published
• View Publication
• BIB
We use the theory of cross ratios to construct a real-valued function f of only three variables with the property that for any finite set A of reals, the set f(A) = {f(a,b,c):a,b,c \in A} has cardinality at least C|A|^2/log|A|, for an absolute constant C. Previously-known functions with this property had all been of four variables.
We also improve on the state of the art for functions of four variables by constructing a function g for which g(A) has cardinality at least C|A|^2; the previously best-achieved bound was C|A|^2/log|A|.
Finally, we give an example of a five-variable function h for which h(A) has cardinality at least C|A|^4/log|A|.
Proving these results depends only on the Szemeredi-Trotter incidence theorem and an analoguous result for planes due to Edelsbrunner, Guibas and Sharir, each applied in the Erlangen-type framework of Elekes and Sharir. In particular the proofs do not employ the Guth-Katz polynomial partitioning technique or the theory of ruled surfaces.
Although the growth exponents for f, g and h are stronger than those for previously considered functions, it is not clear that they are necessarily sharp. So we pose a question as to whether the bounds on the cardinalities of f(A), g(A) and h(A) can be further strengthened.
A note on a Cayley graph of S_n
Recently in graph theory several authors have studied the spectrum of the Cayley graph of the symmetric group S_n generated by the transpositions (1, i) for 2 <= i <= n. Several conjectures were made and partial results were obtained. The purpose of this note is to point out that, as mentioned also by P. Renteln, this problem is actually already solved in another context. Indeed it is equivalent to studying the spectrum of so-called Jucys-Murphy elements in the algebra of the symmetric group, which is well understood. The aforementioned conjectures are direct consequences of the existing theory. We also present a related result from P. Biane, giving an asymptotic description of this spectrum. We insist on the fact that this note does not contain any new results, but has only been written to convey the information from the algebraic combinatorics community to graph theorists.
CI-groups with respect to ternary relational structures: new examples
Published
• View Publication
• BIB
We find a sufficient condition to establish that certain abelian groups are not CI-groups with respect to ternary relational structures, and then show that the groups $\Z_3\times\Z_2^2$, $\Z_7\times\Z_2^3$, and $\Z_5\times\Z_2^4$ satisfy this condition. Then we completely determine which groups $\Z_2^3\times\Z_p$, $p$ a prime, are CI-groups with respect to binary and ternary relational structures. Finally, we show that $\Z_2^5$ is not a CI-group with respect to ternary relational structures.
Escher degree of non-periodic L-tilings by 2 prototiles
For a given tiling of the euclidean plane ${\bf E}^2$, we call the degree of freedom of perturbed edges of prototiles {\it escher degree}. In this paper we consider non-periodic L-tilings by 2 prototiles and obtain the escher degree of them.
Fonction complexité associée à une application ergodique du tore
Published in Bulletin of the London Mathematical Society, 44 (2012) (6) :1155--1168
• View Publication
• BIB
In this article we give the optimal lower bound for the complexity function of a planar translation which induces an ergodic rotation of the torus $\mathbb{R}^2 / \mathbb{Z}^2$. In addition, we give an explicit calculation of this complexity for the application $(x,y) \mapsto (x+1/φ^2,y+x-1/ (2φ^3))$, where $φ$ is the golden mean.
Nous proposons dans ce travail de minorer de manière optimale la fonction complexité associée à une translation du plan, qui induit une rotation ergodique du tore $\mathbb R^2/\mathbb Z^2$. De plus, nous donnons un calcul explicite de cette complexité pour l'application $(x,y)\mapsto(x+1/φ^2,y+x-1/(2φ^3))$, où $φ$ désigne le nombre d'or.
A restriction of Euclid
Published
• View Publication
• BIB
Euclid is a well known two-player impartial combinatorial game. A position in Euclid is a pair of positive integers and the players move alternately by subtracting a positive integer multiple of one of the integers from the other integer without making the result negative. The player who makes the last move wins. There is a variation of Euclid due to Grossman in which the game stops when the two entrees are equal. We examine a further variation that we called M-Euclid in which the game stops when one of the entrees is a positive integer multiple of the other. We solve the Sprague-Grundy function for M-Euclid and compare the Sprague-Grundy functions of the three games.
Computation of Polarized Metrized Graph Invariants By Using Discrete Laplacian Matrix
Published
• View Publication
• BIB
Several invariants of polarized metrized graphs and their applications in Arithmetic Geometry are studied recently. In this paper, we give fast algorithms to compute these invariants by expressing them in terms of the discrete Laplacian matrix and its pseudo inverse. Algorithms we give can be used for both symbolic and numerical computations. We present various examples to illustrate the implementation of these algorithms.
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
Published
• View Publication
• BIB
In spite of the extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of the 3-coloring problem on graphs with small diameter, i.e. with diameter 2 or 3, has been a longstanding and challenging open question. For graphs with diameter 2 we provide the first subexponential algorithm with complexity $2^{O(\sqrt{n\log n})}$, which is asymptotically the same as the currently best known time complexity for the graph isomorphism (GI) problem. Moreover, we prove that the graph isomorphism problem on 3-colorable graphs with diameter 2 is GI-complete. Furthermore we present a subclass of graphs with diameter 2 that admits a polynomial algorithm for 3-coloring. For graphs with diameter 3 we establish the complexity of 3-coloring by proving that for every $\varepsilon \in [0,1)$, 3-coloring is NP-complete on triangle-free graphs of diameter 3 and radius 2 with $n$ vertices and minimum degree $δ=Θ(n^{\varepsilon})$. Moreover, assuming ETH, we provide three different amplifications of our hardness results to obtain for every $\varepsilon \in [0,1)$ subexponential lower bounds for the complexity of 3-coloring on triangle-free graphs with diameter 3 and minimum degree $δ=Θ(n^{\varepsilon})$. Finally, we provide a 3-coloring algorithm with running time $2^{O(\min\{δΔ,\frac{n}δ\logδ\})}$ for graphs with diameter 3, where $δ$ (resp. $Δ$) is the minimum (resp. maximum) degree of the input graph. To the best of our knowledge, this algorithm is the first subexponential algorithm for graphs with $δ=ω(1)$ and for graphs with $δ=O(1)$ and $Δ=o(n)$. Due to the above lower bounds of the complexity of 3-coloring, the running time of this algorithm is asymptotically almost tight when the minimum degree if the input graph is $δ=Θ(n^{\varepsilon})$, where $\varepsilon \in [1/2,1)$.
The width of 5-dimensional prismatoids
Published in Proc. London Math. Soc., Vol 110 (3) (2015), 647-672
• View Publication
• BIB
Santos' construction of counter-examples to the Hirsch Conjecture (2012) is based on the existence of prismatoids of dimension d of width greater than d. Santos, Stephen and Thomas (2012) have shown that this cannot occur in $d \le 4$. Motivated by this we here study the width of 5-dimensional prismatoids, obtaining the following results:
- There are 5-prismatoids of width six with only 25 vertices, versus the 48 vertices in Santos' original construction. This leads to non-Hirsch polytopes of dimension 20, rather than the original dimension 43.
- There are 5-prismatoids with $n$ vertices and width $Ω(\sqrt{n})$ for arbitrarily large $n$. Hence, the width of 5-prismatoids is unbounded.
Simplicial geometry of unital lattice-ordered abelian groups
Published
• View Publication
• BIB
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder theorem for finitely presented unital $\ell$-groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $\FP$.
The depth of a permutation
Published
• View Publication
• BIB
For the elements of a Coxeter group, we present a statistic called depth, defined in terms of factorizations of the elements into products of reflections. Depth is bounded above by length and below by the average of length and reflection length. In this article, we focus on the case of the symmetric group, where we show that depth is equal to sum_i max{w(i)-i, 0}. We characterize those permutations for which depth equals length: these are the 321-avoiding permutations (and hence are enumerated by the Catalan numbers). We also characterize those permutations for which depth equals reflection length: these are permutations avoiding both 321 and 3412 (also known as boolean permutations, which we can hence also enumerate). In this case, it also happens that length equals reflection length, leading to a new perspective on a result of Edelman.
A multidimensional Szemeredi theorem for Hardy sequences of different growth
Published
• View Publication
• BIB
We prove a variant of the multidimensional polynomial Szemerédi theorem of Bergelson and Leibman where one replaces polynomial sequences with other sparse sequences defined by functions that belong to some Hardy field and satisfy certain growth conditions. We do this by studying the limiting behavior of the corresponding multiple ergodic averages and obtaining a simple limit formula. A consequence of this formula in topological dynamics shows denseness of certain orbits when the iterates are restricted to suitably chosen sparse subsequences. Another consequence is that every syndetic set of integers contains certain non-shift invariant patterns, and every finite coloring of $\N$, with each color class a syndetic set, contains certain polychromatic patterns, results very particular to our non-polynomial setup.
Vertex Isoperimetric Inequalities for a Family of Graphs on Z^k
Published
• View Publication
• BIB
We consider the family of graphs whose vertex set is Z^k where two vertices are connected by an edge when their l\infty-distance is 1. We prove the optimal vertex isoperimetric inequality for this family of graphs. That is, given a positive integer n, we find a set A \subset Z^k of size n such that the number of vertices who share an edge with some vertex in A is minimized. These sets of minimal boundary are nested, and the proof uses the technique of compression.
We also show a method of calculating the vertex boundary for certain subsets in this family of graphs. This calculation and the isoperimetric inequality allow us to indirectly find the sets which minimize the function calculating the boundary.
Relative Tutte polynomials of tensor products of colored graphs
Published in Combin. Probab. Comput. 22 (2013), no. 6, 801-828
• View Publication
• BIB
The tensor product $(G_1,G_2)$ of a graph $G_1$ and a pointed graph $G_2$ (containing one distinguished edge) is obtained by identifying each edge of $G_1$ with the distinguished edge of a separate copy of $G_2$, and then removing the identified edges. A formula to compute the Tutte polynomial of a tensor product of graphs was originally given by Brylawski. This formula was recently generalized to colored graphs and the generalized Tutte polynomial introduced by Bollobás and Riordan. In this paper we generalize the colored tensor product formula to relative Tutte polynomials of relative graphs, containing zero edges to which the usual deletion-contraction rules do not apply. As we have shown in a recent paper, relative Tutte polynomials may be used to compute the Jones polynomial of a virtual knot.
Strong Backdoors to Nested Satisfiability
Published
• View Publication
• BIB
Knuth (1990) introduced the class of nested formulas and showed that their satisfiability can be decided in polynomial time. We show that, parameterized by the size of a smallest strong backdoor set to the target class of nested formulas, checking the satisfiability of any CNF formula is fixed-parameter tractable. Thus, for any k>0, the satisfiability problem can be solved in polynomial time for any formula F for which there exists a variable set B of size at most k such that for every truth assignment t to B, the formula F[t] is nested; moreover, the degree of the polynomial is independent of k.
Our algorithm uses the grid-minor theorem of Robertson and Seymour (1986) to either find that the incidence graph of the formula has bounded treewidth - a case that is solved using model checking for monadic second order logic - or to find many vertex-disjoint obstructions in the incidence graph. For the latter case, new combinatorial arguments are used to find a small backdoor set. Combining both cases leads to an approximation algorithm producing a strong backdoor set whose size is upper bounded by a function of the optimum. Going through all assignments to this set of variables and using Knuth's algorithm, the satisfiability of the input formula is decided.
Toric Cubes
A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells are interiors of toric cubes and their boundaries are subcomplexes. The motivating example of a toric cube is the edge-product space in phylogenetics, and our work generalizes results known for that space.
Computable Hilbert Schemes
In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In Chapter 2 we study the most important objects used to project algorithmic techniques, namely Borel-fixed ideals. We determine an algorithm computing all the saturated Borel-fixed ideals with Hilbert polynomial assigned and we investigate their combinatorial properties. In Chapter 3 we show a new type of flat deformations of Borel-fixed ideals which lead us to give a new proof of the connectedness of the Hilbert scheme. In Chapter 4 we construct families of ideals that generalize the notion of family of ideals sharing the same initial ideal with respect to a fixed term ordering. Some of these families correspond to open subsets of the Hilbert scheme and can be used to a local study of the Hilbert scheme. In Chapter 6 we deal with the problem of the connectedness of the Hilbert scheme of locally Cohen-Macaulay curves in the projective 3-space. We show that one of the Hilbert scheme considered a "good" candidate to be non-connected, is instead connected. Moreover there are three appendices that present and explain how to use the implementations of the algorithms proposed.
A simple existence criterion for normal spanning trees in infinite graphs
Published
• View Publication
• BIB
Halin proved in 1978 that there exists a normal spanning tree in every connected graph $G$ that satisfies the following two conditions: (i) $G$ contains no subdivision of a `fat' $K_{\aleph_0}$, one in which every edge has been replaced by uncountably many parallel edges; and (ii) $G$ has no $K_{\aleph_0}$ subgraph. We show that the second condition is unnecessary.
Counting maximal antichains and independent sets
Published
• View Publication
• BIB
Answering several questions of Duffus, Frankl and Rödl, we give asymptotics for the logarithms of (i) the number of maximal antichains in the n-dimensional Boolean algebra and (ii) the numbers of maximal independent sets in the covering graph of the n-dimensional hypercube and certain natural subgraphs thereof. The results in (ii) are implied by more general upper bounds on the numbers of maximal independent sets in regular and biregular graphs. We also mention some stronger possibilities involving actual rather than logarithmic asymptotics.
Metric intersection problems in Cayley graphs and the Stirling recursion
Published
• View Publication
• BIB
In the symmetric group Sym(n) with n at least 5 let H be a conjugacy class of elements of order 2 and let Γbe the Cayley graph whose vertex set is the group G generated by H (so G is Sym(n) or Alt(n)) and whose edge set is determined by H. We are interested in the metric structure of this graph. In particular, for g\in G let B_{r}(g) be the metric ball in Γof radius r and centre g. We show that the intersection numbers Φ(Γ; r, g):=|\,B_{r}(e)\,\cap\,B_{r}(g)\,| are generalized Stirling functions in n and r. The results are motivated by the study of error graphs and related reconstruction problems.