contain ↗ reference
7689 papers tagged with this keyword
Sampling-based proofs of almost-periodicity results and algorithmic applications
Published
• View Publication
• BIB
We give new combinatorial proofs of known almost-periodicity results for sumsets of sets with small doubling in the spirit of Croot and Sisask, whose almost-periodicity lemma has had far-reaching implications in additive combinatorics. We provide an alternative (and L^p-norm free) point of view, which allows for proofs to easily be converted to probabilistic algorithms that decide membership in almost-periodic sumsets of dense subsets of F_2^n.
As an application, we give a new algorithmic version of the quasipolynomial Bogolyubov-Ruzsa lemma recently proved by Sanders. Together with the results by the last two authors, this implies an algorithmic version of the quadratic Goldreich-Levin theorem in which the number of terms in the quadratic Fourier decomposition of a given function is quasipolynomial in the error parameter, compared with an exponential dependence previously proved by the authors. It also improves the running time of the algorithm to have quasipolynomial dependence instead of an exponential one.
We also give an application to the problem of finding large subspaces in sumsets of dense sets. Green showed that the sumset of a dense subset of F_2^n contains a large subspace. Using Fourier analytic methods, Sanders proved that such a subspace must have dimension bounded below by a constant times the density times n. We provide an alternative (and L^p norm-free) proof of a comparable bound, which is analogous to a recent result of Croot, Laba and Sisask in the integers.
Rainbow numbers for graphs with cyclomatic number at most two
For a given graph H and n ? 1; let f(n;H) denote the maximum number m for which it is possible to colour the edges of the complete graph Kn with m colours in such a way that each subgraph H in Kn has at least two edges of the same colour. Equivalently, any edge-colouring of Kn with at least rb(n;H) = f(n;H)+1 colours contains a rainbow copy of H: The numbers f(n;H) and rb(Kn;H) are called anti-ramsey numbers and rainbow numbers, respectively. In this paper we will classify the rainbow number for a given graph H with respect to its cyclomatic number. Let H be a graph of order p >= 4 and cyclomatic number v(H) >= 2: Then rb(Kn;H) cannot be bounded from above by a function which is linear in n: If H has cyclomatic number v(H) = 1; then rb(Kn;H) is linear in n: We will compute all rainbow numbers for the bull B; which is the unique graph with 5 vertices and degree sequence (1; 1; 2; 3; 3): Furthermore, we will compute some rainbow numbers for the diamond D = K_4 - e; for K_2;3; and for the house H (complement of P_5).
The motif problem
Fix a choice and ordering of four pairwise non-adjacent vertices of a parallelepiped, and call a motif a sequence of four points in R^3 that coincide with these vertices for some, possibly degenerate, parallelepiped whose edges are parallel to the axes. We show that a set of r points can contain at most r^2 motifs. Generalizing the notion of motif to a sequence of L points in R^p, we show that the maximum number of motifs that can occur in a point set of a given size is related to a linear programming problem arising from hypergraph theory, and discuss some related questions.
On the convergence of the affine hull of the Chvátal-Gomory closures
Published
• View Publication
• BIB
Given an integral polyhedron P and a rational polyhedron Q living in the same n-dimensional space and containing the same integer points as P, we investigate how many iterations of the Chvátal-Gomory closure operator have to be performed on Q to obtain a polyhedron contained in the affine hull of P. We show that if P contains an integer point in its relative interior, then such a number of iterations can be bounded by a function depending only on n. On the other hand, we prove that if P is not full-dimensional and does not contain any integer point in its relative interior, then no finite bound on the number of iterations exists.
On the Existence of General Factors in Regular Graphs
Published
• View Publication
• BIB
Let $G$ be a graph, and $H\colon V(G)\to 2^\mathbb{N}$ a set function associated with $G$. A spanning subgraph $F$ of $G$ is called an $H$-factor if the degree of any vertex $v$ in $F$ belongs to the set $H(v)$. This paper contains two results on the existence of $H$-factors in regular graphs. First, we construct an $r$-regular graph without some given $H^*$-factor. In particular, this gives a negative answer to a problem recently posed by Akbari and Kano. Second, by using Lovász's characterization theorem on the existence of $(g, f)$-factors, we find a sharp condition for the existence of general $H$-factors in $\{r, r+1\}$-graphs, in terms of the maximum and minimum of $H$. The result reduces to Thomassen's theorem for the case that $H(v)$ consists of the same two consecutive integers for all vertices $v$, and to Tutte's theorem if the graph is regular in addition.
Torsion in Khovanov homology of semi-adequate links
Published in Fundamenta Mathematicae (225), 277--303, 2014
• View Publication
• BIB
The goal of this paper is to address A. Shumakovitch's conjecture about the existence of $\Z_2$-torsion in Khovanov link homology. We analyze torsion in Khovanov homology of semi-adequate links via chromatic cohomology for graphs which provides a link between the link homology and well-developed theory of Hochschild homology. In particular, we obtain explicit formulae for torsion and prove that Khovanov homology of semi-adequate links contains $Z_2$-torsion if the corresponding Tait-type graph has a cycle of length at least 3. Computations show that torsion of odd order exists but there is no general theory to support these observations. We conjecture that the existence of torsion is related to the braid index.
On Turan's (3,4)-problem with forbidden configurations
Published
• View Publication
• BIB
We identify three 3-graphs on five vertices each missing in all known extremal configurations for Turan's (3,4)-problem and prove Turan's conjecture for 3-graphs that are additionally known not to contain any induced copies of these 3-graphs. Our argument is based on an (apparently) new technique of "indirect interpretation" that allows us to retrieve additional structure from hypothetical counterexamples to Turan's conjecture, but in rather loose and limited sense. We also include two miscellaneous calculations in flag algebras that prove similar results about some other additional forbidden subgraphs.
Cycle complex over the projective line minus three points : toward multiple zeta values cycles
Published
• View Publication
• BIB
In this paper, the author constructs a family of algebraic cycles in Bloch's cubical cycle complex over the projective line minus three points which are expected to correspond to multiple polylogarithms in one variable. Elements in this family are in particular equidimensional over the projective line minus three points. In weight greater or equal to $2$, they are naturaly extended as equidimensional cycle over the affine line. This allows to consider their fibers at the point 1 and this is one of the main differences with Gangl, Goncharov and Levin work where generic arguments are imposed for cycles corresponding to multiple polylogarithms in many variables. Considering the fiber at 1 make it possible to think of these cycles as corresponding multiple zeta values. After the introduction, the author recalls some properties of Bloch's cycle complex, presents the strategy and enlightens the difficulties on a few examples. Then a large section is devoted to the combinatorial situation which is related to the combinatoric of trivalent trees and to a differential on trees already introduced by Gangl Goncharov and Levin. In the last section, two families of cycles are constructed as solution to a "differential system" in Bloch cycle complex. One of this families contains only cycles with empty fiber at 0 and should correspond to multiple polylogarithms while the other contains only cycles empty at 1. The use of two such families is required in order to work with equidimimensional cycles and to insure the admissibility condition.
Polynomial configurations in the primes
Published
• View Publication
• BIB
The Bergelson-Leibman theorem states that if P_1, ..., P_k are polynomials with integer coefficients, then any subset of the integers of positive upper density contains a polynomial configuration x+P_1(m), ..., x+P_k(m), where x,m are integers. Various generalizations of this theorem are known. Wooley and Ziegler showed that the variable m can in fact be taken to be a prime minus 1, and Tao and Ziegler showed that the Bergelson-Leibman theorem holds for subsets of the primes of positive relative upper density. Here we prove a hybrid of the latter two results, namely that the step m in the Tao-Ziegler theorem can be restricted to the set of primes minus 1.
Locally arc-transitive graphs of valence $\{3,4\}$ with trivial edge kernel
In this paper we consider connected locally $G$-arc-transitive graphs with vertices of valence 3 and 4, such that the kernel $G_{uv}^{[1]}$ of the action of an edge-stabiliser on the neighourhood $Γ(u) \cup Γ(v)$ is trivial. We find nineteen finitely presented groups with the property that any such group $G$ is a quotient of one of these groups. As an application, we enumerate all connected locally arc-transitive graphs of valence ${3,4}$ on at most 350 vertices whose automorphism group contains a locally arc-transitive subgroup $G$ with $G_{uv}^{[1]} = 1$.
The Flag Descent Algebra and the Colored Eulerian Descent Algebra
We prove that the group algebra of the hyperoctahedral group contains a subalgebra corresponding to the flag descent number of Adin, Brenti, and Roichman. This algebra is in fact the span of the basis elements of the type A and type B Eulerian descent algebras. We describe a set of orthogonal idempotents which spans the flag descent algebra and prove that it contains the type A Eulerian descent algebra as a two-sided ideal. Using a new colored analogue of Stanley's $P$-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. We also describe a set of orthogonal idempotents that spans the colored Eulerian descent algebra and includes, as a special case, the familiar Eulerian idempotents in the group algebra of the symmetric group.
The central component of a triangulation
The central component of a polygon triangulation is defined as the triangle or diameter that contain its geometric center. More generally, every polygon dissection contains a central component. Using this notion, we derive new recurrences for the Catalan and $k$-Catalan numbers, and use these recursions to prove congruence relations of these numbers. We also enumerate the triangulations that contain a fixed vertex in their central components.
On the Automorphism Group of a Binary Self-dual [120, 60, 24] Code
Published in Applicable Algebra in Engineering, Communication and Computing (2013)
• View Publication
• BIB
We prove that an automorphism of order 3 of a putative binary self-dual [120, 60, 24] code C has no fixed points. Moreover, the order of the automorphism group of C divides 2^a.3.5.7.19.23.29 where a is a nonegative integer. Automorphisms of odd composite order r may occur only for r=15, 57 or r=115 with corresponding cycle structures 15-(0,0,8;0), 57-(2,0,2;0) or 115-(1,0,1;0), respectively. In case that all involutions act fixed point freely we have |Aut(C)|<=920, and Aut(C) is solvable if it contains an element of prime order p>=7. Moreover, the alternating group A_5 is the only non-abelian composition factor which may occur.
Toric Topology
Published in Mathematical Surveys and Monographs, 204, American Mathematical Society, Providence, RI, 2015
• View Publication
• BIB
Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary links and applications, and continues to attract experts from different fields.
The key players in toric topology are moment-angle manifolds, a family of manifolds with torus actions defined in combinatorial terms. Their construction links to combinatorial geometry and algebraic geometry of toric varieties via the related notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to seminal connections with the classical and modern areas of symplectic, Lagrangian and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and their generalisations, polyhedral products, provides a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate area of homotopy theory, with strong links to other areas of toric topology. A new perspective on torus action has also contributed to the development of classical areas of algebraic topology, such as complex cobordism.
The book contains lots of open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter into a beautiful new area.
The optimal drawings of K_{5,n}
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.1, 29 pp
• Search Publication
Zarankiewicz's Conjecture (ZC) states that the crossing number cr$(K_{m,n})$ equals $Z(m,n):=\floor{\frac{m}{2}} \floor{\frac{m-1}{2}} \floor{\frac{n}{2}} \floor{\frac{n-1}{2}}$. Since Kleitman's verification of ZC for $K_{5,n}$ (from which ZC for $K_{6,n}$ easily follows), very little progress has been made around ZC; the most notable exceptions involve computer-aided results. With the aim of gaining a more profound understanding of this notoriously difficult conjecture, we investigate the optimal (that is, crossing-minimal) drawings of $K_{5,n}$. The widely known natural drawings of $K_{m,n}$ (the so-called Zarankiewicz drawings) with $Z(m,n)$ crossings contain antipodal vertices, that is, pairs of degree-$m$ vertices such that their induced drawing of $K_{m,2}$ has no crossings. Antipodal vertices also play a major role in Kleitman's inductive proof that cr$(K_{5,n}) = Z(5,n)$. We explore in depth the role of antipodal vertices in optimal drawings of $K_{5,n}$, for $n$ even. We prove that if {$n \equiv 2$ (mod 4)}, then every optimal drawing of $K_{5,n}$ has antipodal vertices. We also exhibit a two-parameter family of optimal drawings $D_{r,s}$ of $K_{5,4(r+s)}$ (for $r,s\ge 0$), with no antipodal vertices, and show that if $n\equiv 0$ (mod 4), then every optimal drawing of $K_{5,n}$ without antipodal vertices is (vertex rotation) isomorphic to $D_{r,s}$ for some integers $r,s$. As a corollary, we show that if $n$ is even, then every optimal drawing of $K_{5,n}$ is the superimposition of Zarankiewicz drawings with a drawing isomorphic to $D_{r,s}$ for some nonnegative integers $r,s$.
On a generalisation of Roth's theorem for arithmetic progressions and applications to sum-free subsets
Published
• View Publication
• BIB
We prove a generalisation of Roth's theorem for arithmetic progressions to d-configurations, which are sets of the form {n_i+n_j+a}_{1 \leq i \leq j \leq d} where a, n_1,..., n_d are nonnegative integers, using Roth's original density increment strategy and Gowers uniformity norms. Then we use this generalisation to improve a result of Sudakov, Szemerédi and Vu about sum-free subsets and prove that any set of n integers contains a sum-free subset of size at least log n (log log log n)^{1/32772 - o(1)}.
Rainbow domination in the lexicographic product of graphs
Let k be a positive integer and let f be a map from V(G) to the set of all subsets of {1,2,3,...,k}. The function f is called a k-rainbow dominating function of G provided that whenever u is a vertex of G such that f(u) is the empty set, then for each integer r in {1,2,3,...,k} there is a neighbor x of u such that f(x) contains r. The k-rainbow domination number of G is the minimum sum (over all the vertices of G) of the cardinalities of the subsets assigned by a k-rainbow dominating function of G. The k-rainbow domination number of G is the ordinary domination number of the Cartesian product of G and a complete graph of order k.
We focus on the 2-rainbow domination number of the lexicographic product of graphs and prove sharp lower and upper bounds for this number. In fact, we prove the exact value of the 2-rainbow domination number of the lexicographic product of G with H in terms of domination invariants of G, except for the case when H has 2-rainbow domination number 3 and there is a minimum 2-rainbow dominating function of H such that some vertex in H is assigned the label {1,2}.
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.
Threshold functions for distinct parts: revisiting Erdos-Lehner
Published
• View Publication
• BIB
We study four problems: put $n$ distinguishable/non-distinguishable balls into $k$ non-empty distinguishable/non-distinguishable boxes randomly. What is the threshold function $k=k(n) $ to make almost sure that no two boxes contain the same number of balls? The non-distinguishable ball problems are very close to the Erd\H os--Lehner asymptotic formula for the number of partitions of the integer $n$ into $k$ parts with $k=o(n^{1/3})$. The problem is motivated by the statistics of an experiment, where we only can tell whether outcomes are identical or different.
Forcing finite minors in sparse infinite graphs by large-degree assumptions
Published
• View Publication
• BIB
Developing further Stein's recent notion of relative end degrees in infinite graphs, we investigate which degree assumptions can force a locally finite graph to contain a given finite minor, or a finite subgraph of given minimum degree. This is part of a wider project which seeks to develop an extremal theory of sparse infinite graphs.