natural ↗ reference
4894 papers tagged with this keyword
Combinatorial Structures on van der Waerden sets
Published in Combinator. Probab. Comp. 24 (2015) 929-953
• View Publication
• BIB
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set.
The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\\leq1$, there exists a sequence $(n_q)_{q}$ of positive integers such that for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}[n_q]$ satisfying $$\frac{\big{|}D\cap \prod_{q=0}^{k-1} [n_q]\big{|}}{\prod_{q=0}^{k-1}n_q}\geqδ$$ for every $k$ in a van der Waerden set, there is a sequence $(J_q)_{q}$, where $J_q$ is an arithmetic progression of length $m_q$ contained in $[n_q]$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for every $k$ in a van der Waerden set. Moreover, working in an abstract setting, we obtain $J_q$ to be any configuration of natural numbers that can be found in an arbitrary set of positive density.
The Komlos Conjecture Holds for Vector Colorings
The Komlos conjecture in discrepancy theory states that for some constant K and for any m by n matrix A whose columns lie in the unit ball there exists a +/- 1 vector x such that the infinity norm of Ax is bounded above by K. This conjecture also implies the Beck-Fiala conjecture on the discrepancy of bounded degree hypergraphs. Here we prove a natural relaxation of the Komlos conjecture: if the columns of A are assigned unit real vectors rather than +/- 1 then the Komlos conjecture holds with K=1. Our result rules out the possibility of a counterexample to the conjecture based on semidefinite programming. It also opens the way to proving tighter efficient (polynomial-time computable) upper bounds for the conjecture using semidefinite programming techniques.
Partition Regularity of Nonlinear Polynomials: a Nonstandard Approach
Published
• View Publication
• BIB
In 2011, Neil Hindman proved that for every natural number $n,m$ the polynomial \begin{equation*} \sum_{i=1}^{n} x_{i}-\prod\limits_{j=1}^{m} y_{j} \end{equation*} has monochromatic solutions for every finite coloration of $\mathbb{N}$. We want to generalize this result to two classes of nonlinear polynomials. The first class consists of polynomials $P(x_{1},...,x_{n},y_{1},...,y_{m})$ of the following kind: \begin{equation*} P(x_{1},...,x_{n},y_{1},...,y_{m})=\sum_{i=1}^{n}a_{i}x_{i}M_{i}(y_{1},...,y_{m}), \end{equation*} where $n,m$ are natural numbers, $\sum\limits_{i=1}^{n}a_{i}x_{i}$ has monochromatic solutions for every finite coloration of $\mathbb{N}$ and the degree of each variable $y_{1},...,y_{m}$ in $M_{i}(y_{1},...,y_{m})$ is at most one. An example of such a polynomial is \begin{equation*} x_{1}y_{1}+x_{2}y_{1}y_{2}-x_{3}.\end{equation*} The second class of polynomials generalizing Hindman's result is more complicated to describe; its particularity is that the degree of some of the involved variables can be greater than one.\\ The technique that we use relies on an approach to ultrafilters based on Nonstandard Analysis. Perhaps, the most interesting aspect of this technique is that, by carefully chosing the appropriate nonstandard setting, the proof of the main results can be obtained by very simple algebraic considerations.
Infinite reduced words and the Tits boundary of a Coxeter group
Published
• View Publication
• BIB
Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the reflection subgroup of W which fixes ξ.
The Structure of Critical Product Sets
Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, and call any such pair $(A,B)$ \emph{critical}.
In the case when $|G|$ is prime, the Cauchy-Davenport Theorem asserts that $|AB| \ge \min {|G|, |A| + |B| - 1}$, and Vosper refined this result by classifying all critical pairs in these groups. For abelian groups, Kneser proved a natural generalization of Cauchy-Davenport by showing that there exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and $ABH = AB$. Kemperman then proved a result which characterizes the structure of all critical pairs in abelian groups.
Our main result gives a classification of all critical pairs in an arbitrary group $G$. As a consequence of this we derive the following generalization of Kneser's Theorem to arbitrary groups: There exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and so that for every $y \in AB$ there exists $x \in G$ so that $y(x^{-1} H x) \subseteq AB$.
Pairwise Suitable Family of Permutations and Boxicity
A family F of permutations of the vertices of a hypergraph H is called "pairwise suitable" for H if, for every pair of disjoint edges in H, there exists a permutation in F in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for H is called the "separation dimension" of H and is denoted by π(H). Equivalently, π(H) is the smallest natural number k so that the vertices of H can be embedded in R^k such that any two disjoint edges of H can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph H is equal to the "boxicity" of the line graph of H. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.
Partition regularity in the rationals
Published in J. Combin. Theory Ser. A 120 (2013), no. 7, 1590-1599
• View Publication
• BIB
A system of homogeneous linear equations with integer coefficients is partition regular if, whenever the natural numbers are finitely coloured, the system has a monochromatic solution. The Finite Sums theorem provided the first example of an infinite partition regular system of equations. Since then, other such systems of equations have been found, but each can be viewed as a modification of the Finite Sums theorem.
We present here a new infinite partition regular system of equations that appears to arise in a genuinely different way. This is the first example of a partition regular system in which a variable occurs with unbounded coefficients. A modification of the system provides an example of a system that is partition regular over Q but not N, settling another open problem.
Measurement Isomorphism of Graphs
The d-measurement set of a graph is its set of possible squared edge lengths over all d-dimensional embeddings. In this note, we define a new notion of graph isomorphism called d-measurement isomorphism. Two graphs are d-measurement isomorphic if there is agreement in their d-measurement sets. A natural question to ask is "what can be said about two graphs that are d-measurement isomorphic?" In this note, we show that this property coincides with the 2-isomorphism property studied by Whitney.
Embeddings of *-graphs into 2-surfaces
Published
• View Publication
• BIB
This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of orientable 2-surfaces into which such graphs may be embedded. A *-graph is a graph endowed with a formal adjacency structure on the half-edges around each vertex, and an embedding of a *-graph is an embedding under which the formal adjacency relation on half-edges corresponds to the adjacency relation induced by the embedding. *-graphs are a natural generalization of four-valent framed graphs, which are four-valent graphs with an opposite half-edge structure. In [5], the question of whether a four-valent framed graph admits a Z2-homologically trivial embedding into a given surface was shown to be equivalent to a problem on matrices. We show that a similar result holds for *-graphs in which all vertices have degree 4 or 6. This gives an algorithm in quadratic time to determine whether a *-graph admits an embedding into the plane.
Structure coefficients of the Hecke algebra of $(S_{2n},B_n)$
Published in The Electronic Journal of Combinatorics 21(4) (2014) 4-35
• View Publication
• BIB
The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.
Ecalle's arborification-coarborification transforms and Connes-Kreimer Hopf algebra
We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf algebras, thanks to a universal property satisfied by Connes-Kreimer Hopf algebra. We give a straightforward characterization of the fundamental process of homogeneous coarborification, using the explicit duality between decorated Connes-Kreimer and Grossman-Larson algebras. Finally, we introduce a new Hopf algebra that systematically underlies the calculations for the normalization of local dynamical systems.
Centers, cocenters and simple quantum groups
Published
• View Publication
• BIB
We define the notion of a (linearly reductive) center for a linearly reductive quantum group, and show that the quotient of a such a quantum group by its center is simple whenever its fusion semiring is free in the sense of Banica and Vergnioux. We also prove that the same is true of free products of quantum groups under very mild non-degeneracy conditions. Several natural families of compact quantum groups, some with non-commutative fusion semirings and hence very "far from classical", are thus seen to be simple. Examples include quotients of free unitary groups by their centers, recovering previous work, as well as quotients of quantum reflection groups by their centers.
The graph formulation of the union-closed sets conjecture
Published
• View Publication
• BIB
In 1979 Frankl conjectured that in a finite non-trivial union-closed collection of sets there has to be an element that belongs to at least half the sets. We show that this is equivalent to the conjecture that in a finite non-trivial graph there are two adjacent vertices each belonging to at most half of the maximal stable sets. In this graph formulation other special cases become natural. The conjecture is trivially true for non-bipartite graphs and we show that it holds also for the classes of chordal bipartite graphs, subcubic bipartite graphs, bipartite series-parallel graphs and bipartitioned circular interval graphs.
Encoding binary neural codes in networks of threshold-linear neurons
Published in Neural Computation, Vol 25, pp. 2858-2903, 2013
• View Publication
• BIB
Networks of neurons in the brain encode preferred patterns of neural activity via their synaptic connections. Despite receiving considerable attention, the precise relationship between network connectivity and encoded patterns is still poorly understood. Here we consider this problem for networks of threshold-linear neurons whose computational function is to learn and store a set of binary patterns (e.g., a neural code) as "permitted sets" of the network. We introduce a simple Encoding Rule that selectively turns "on" synapses between neurons that co-appear in one or more patterns. The rule uses synapses that are binary, in the sense of having only two states ("on" or "off"), but also heterogeneous, with weights drawn from an underlying synaptic strength matrix S. Our main results precisely describe the stored patterns that result from the Encoding Rule -- including unintended "spurious" states -- and give an explicit characterization of the dependence on S. In particular, we find that binary patterns are successfully stored in these networks when the excitatory connections between neurons are geometrically balanced -- i.e., they satisfy a set of geometric constraints. Furthermore, we find that certain types of neural codes are "natural" in the context of these networks, meaning that the full code can be accurately learned from a highly undersampled set of patterns. Interestingly, many commonly observed neural codes in cortical and hippocampal areas are natural in this sense. As an application, we construct networks that encode hippocampal place field codes nearly exactly, following presentation of only a small fraction of patterns. To obtain our results, we prove new theorems using classical ideas from convex and distance geometry, such as Cayley-Menger determinants, revealing a novel connection between these areas of mathematics and coding properties of neural networks.
Simplicial complexes: spectrum, homology and random walks
Published in Random Structures & Algorithms, 50(2): 225-261 (2017)
• View Publication
• BIB
Random walks on a graph reflect many of its topological and spectral properties, such as connectedness, bipartiteness and spectral gap magnitude. In the first part of this paper we define a stochastic process on simplicial complexes of arbitrary dimension, which reflects in an analogue way the existence of higher dimensional homology, and the magnitude of the high-dimensional spectral gap originating in the works of Eckmann and Garland.
The second part of the paper is devoted to infinite complexes. We present a generalization of Kesten's result on the spectrum of regular trees, and of the connection between return probabilities and spectral radius. We study the analogue of the Alon-Boppana theorem on spectral gaps, and exhibit a counterexample for its high-dimensional counterpart. We show, however, that under some assumptions the theorem does hold - for example, if the codimension-one skeletons of the complexes in question form a family of expanders.
Our study suggests natural generalizations of many concepts from graph theory, such as amenability, recurrence/transience, and bipartiteness. We present some observations regarding these ideas, and several open questions.
Capturing Forms in Dense Subsets of Finite Fields
Published
• View Publication
• BIB
An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite field $\mathbb{F}_q$. Specifically, given a linear form $L$ and a quadratic from $Q$ in two variables, we provide estimates on the necessary size of $A\subset \mathbb{F}_q$ to guarantee that $L(x,y)$ and $Q(x,y)$ are elements of $A$ for some $x,y\in\mathbb{F}_q$.
On sum edge-coloring of regular, bipartite and split graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with natural numbers is called a sum edge-coloring if the colors of edges incident to any vertex of $G$ are distinct and the sum of the colors of the edges of $G$ is minimum. The edge-chromatic sum of a graph $G$ is the sum of the colors of edges in a sum edge-coloring of $G$. It is known that the problem of finding the edge-chromatic sum of an $r$-regular ($r\geq 3$) graph is $NP$-complete. In this paper we give a polynomial time $(1+\frac{2r}{(r+1)^{2}})$-approximation algorithm for the edge-chromatic sum problem on $r$-regular graphs for $r\geq 3$. Also, it is known that the problem of finding the edge-chromatic sum of bipartite graphs with maximum degree 3 is $NP$-complete. We show that the problem remains $NP$-complete even for some restricted class of bipartite graphs with maximum degree 3. Finally, we give upper bounds for the edge-chromatic sum of some split graphs.
Calculating Heegaard-Floer Homology by Counting Lattice Points in Tetrahedra
Published in Acta Math. Hungar. 144 (2014), no. 1, 43-75
• View Publication
• BIB
We introduce a notion of complexity for Sefiert homology spheres by establishing a correspondence between lattice point counting in tethrahedra and the Heegaard-Floer homology. This complexity turns out to be equivalent to a version of Casson invariant and it is monotone under a natural partial order in the set of Seifert homology spheres. Using this interpretation we prove that there are finitely many Seifert homology spheres with prescribed Heegaard-Floer homology. As an application, we characterize L-spaces and weakly elliptic manifolds among Seifert homology spheres. Also, we list all the Seifert homology spheres up to complexity two.
Paths and animals in unbounded degree graphs with repulsion
Published
• View Publication
• BIB
A class of countable infinite graphs with unbounded vertex degree is considered. In these graphs, the vertices of large degree `repel' each other, which means that the path distance between two such vertices cannot be smaller than a certain function of their degrees. Assuming that this function increases sufficiently fast, we prove that the number of finite connected subgraphs (animals) of order N containing a given vertex x is exponentially bounded in N for N belonging to an infinite subset N_x of natural numbers. Under a less restrictive condition, the same result is obtained for the number of simple paths originated at a given vertex. These results are then applied to a number of problems, including estimating the growth of the Randić index and of the number of greedy animals.
Diamond cone for $\mathfrak{sl}(m,n)$
Published
• View Publication
• BIB
In this paper, we first study the shape algebra and the reduced shape algebra for the Lie superalgebra $\mathfrak{sl}(m,n)$. We define the quasistandard tableaux, their collection is the diamond cone for $\mathfrak{sl}(m,n)$, which is a combinatorial basis for the reduced shape algebra. We realize a bijection between the set of semistandard tableaux with shape $λ$ and the set of quasistandard tableaux with shape $μ\leqλ$, by using the 'super jeu de taquin' on skew semistandard tableaux. This gives the compatibility of the diamond cone with the natural stratification of the reduced shape algebra.