Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Towards a polynomial basis of the algebra of peak quasisymmetric functions
Published in J. Algebraic Combin. 44 (2016), No. 4, 931-946
• View Publication
• BIB
Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak quasisymmetric functions (PQSym) over the integers. It provides a polynomial basis of PQSym over the rational field, different from Hsiao's basis, and implies the freeness of PQSym over its subring of symmetric functions spanned by Schur's Q-functions.
A Study of $k$-dipath Colourings of Oriented Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (February 1, 2018) dmtcs:1520
• View Publication
• BIB
We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are proved.
The structure theory of Nilspaces I
Published
• View Publication
• BIB
This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics.
This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project.
The structure theory of Nilspaces II: Representation as nilmanifolds
Published
• View Publication
• BIB
This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]).
The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12].
The structure theory of Nilspaces III: Inverse limit representations and topological dynamics
Published
• View Publication
• BIB
This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs.
Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy.
We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.
Maximum Semidefinite and Linear Extension Complexity of Families of Polytopes
Published
• View Publication
• BIB
We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on the maximum semidefinite extension complexity of 0/1-polytopes. We further show how our result can be used to improve on the corresponding bounds known for polygons with integer vertices.
Our geometric proof builds upon nothing else than a simple well-known property of maximum volume inscribed ellipsoids of convex bodies. In particular, it does not rely on factorizations over the semidefinite cone and thus avoids involved procedures of balancing them as required, e.g., in [Briet, Dadush & Pokutta 2015]. We hope that revealing the geometry behind the phenomenon opens doors for further results.
Moreover, we show that the linear extension complexity of every d-dimensional 0/1-polytope is bounded from above by O(2^d / d).
Generalized Matsumoto-Tits sections and quantum quasi-shuffle algebras
Published in Journal of Algebraic Combinatorics, Volume 43, Issue 3 (2016), pp 693-714
• View Publication
• BIB
In this paper generalized Matsumoto-Tits sections lifting permutations to the algebra associated to a generalized virtual braid monoid are defined. They are then applied to study the defining relations of the quantum quasi-shuffle algebras via the total symmetrization operator.
Analytic combinatorics of connected graphs
Published
• View Publication
• BIB
We enumerate the connected graphs that contain a number of edges growing linearly with respect to the number of vertices. So far, only the first term of the asymptotics and a bound on the error were known. Using analytic combinatorics, ie generating function manipulations, we derive a formula for the coefficients of the complete asymptotic expansion. The same result is derived for connected multigraphs.
On Block Representations and Spectral Properties of Semimagic Square Matrices
Published
• View Publication
• BIB
Using the decomposition of semimagic squares into the associated and balanced symmetry types as a motivation, we introduce an equivalent representation in terms of block-structured matrices. This block representation provides a way of constructing such matrices with further symmetries and of studying their algebraic behaviour, significantly advancing and contributing to the understanding of these symmetry properties. In addition to studying classical attributes, such as dihedral equivalence and the spectral properties of these matrices, we show that the inherent structure of the block representation facilitates the definition of low-rank semimagic square matrices. This is achieved by means of tensor product blocks. Furthermore, we study the rank and eigenvector decomposition of these matrices, enabling the construction of a corresponding two-sided eigenvector matrix in rational terms of their entries. The paper concludes with the derivation of a correspondence between the tensor product block representations and quadratic form expressions of Gaussian type.
Arithmetical Semirings
Published
• View Publication
• BIB
We study the number of connected graphs with $n$ vertices that cannot be written as the cartesian product of two graphs with fewer vertices. We give an upper bound which implies that for large $n$ almost all graphs are both connected and cartesian prime. For graphs with an even number of vertices, a full asymptotic expansion is obtained. Our method, inspired by Knopfmacher's theory of arithmetical semigroups, is based on reduction to Wright's asymptotic expansion for the number of connected graphs with $n$ vertices.
Combinatorial methods for the spectral p-norm of hypermatrices
Published
• View Publication
• BIB
The spectral $p$-norm of $r$-matrices generalizes the spectral $2$-norm of $2$-matrices. In 1911 Schur gave an upper bound on the spectral $2$-norm of $2$-matrices, which was extended in 1934 by Hardy, Littlewood, and Polya to $r$-matrices. Recently, Kolotilina, and independently the author, strengthened Schur's bound for $2$-matrices. The main result of this paper extends the latter result to $r$-matrices, thereby improving the result of Hardy, Littlewood, and Polya.
The proof is based on combinatorial concepts like $r$-partite $r$-matrix and symmetrant of a matrix, which appear to be instrumental in the study of the spectral $p$-norm in general. Thus, another application shows that the spectral $p$-norm and the $p$-spectral radius of a symmetric nonnegative $r$-matrix are equal whenever $p\geq r$. This result contributes to a classical area of analysis, initiated by Mazur and Orlicz around 1930.
Additionally, a number of bounds are given on the $p$-spectral radius and the spectral $p$-norm of $r$-matrices and $r$-graphs.
Principal eigenvector and spectral radius of uniform hypergraphs
In this paper, we give some bounds for principal eigenvector and spectral radius of connected uniform hypergraphs in terms of vertex degrees, the diameter, and the number of vertices and edges.
Random Toric Surfaces and a Threshold for Smoothness
Published
• View Publication
• BIB
We present a notion of a random toric surface modeled on a notion of a random graph. We then study some threshold phenomena related to the smoothness of the resulting surfaces.
The maximum product of sizes of cross-intersecting families
Published
• View Publication
• BIB
We say that a set $A$ $t$-intersects a set $B$ if $A$ and $B$ have at least $t$ common elements. Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-$t$-intersecting if each set in $\mathcal{A}$ $t$-intersects each set in $\mathcal{B}$. A subfamily $\mathcal{S}$ of a family $\mathcal{F}$ is called a $t$-star of $\mathcal{F}$ if the sets in $\mathcal{S}$ have $t$ common elements. Let $l(\mathcal{F},t)$ denote the size of a largest $t$-star of $\mathcal{F}$. We call $\mathcal{F}$ a $(\leq r)$-family if each set in $\mathcal{F}$ has at most $r$ elements. We determine a function $c : \mathbb{N}^3 \rightarrow \mathbb{N}$ such that the following holds. If $\mathcal{A}$ is a subfamily of a $(\leq r)$-family $\mathcal{F}$ with $l(\mathcal{F},t) \geq c(r,s,t)l(\mathcal{F},t+1)$, $\mathcal{B}$ is a subfamily of a $(\leq s)$-family $\mathcal{G}$ with $l(\mathcal{G},t) \geq c(r,s,t)l(\mathcal{G},t+1)$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then $|\mathcal{A}||\mathcal{B}| \leq l(\mathcal{F},t)l(\mathcal{G},t)$. Some known results follow from this, and we identify several natural classes of families for which the bound is attained.
Half-arc-transitive graphs of prime-cube order of small valencies
Published
• View Publication
• BIB
A graph is called {\em half-arc-transitive} if its full automorphism group acts transitively on vertices and edges, but not on arcs. It is well known that for any prime $p$ there is no tetravalent half-arc-transitive graph of order $p$ or $p^2$. Xu~[Half-transitive graphs of prime-cube order, J. Algebraic Combin. 1 (1992) 275-282] classified half-arc-transitive graphs of order $p^3$ and valency $4$. In this paper we classify half-arc-transitive graphs of order $p^3$ and valency $6$ or $8$. In particular, the first known infinite family of half-arc-transitive Cayley graphs on non-metacyclic $p$-groups is constructed.
A CFSG-free analysis of Babai's quasipolynomial GI-algorithm
We obtain a weaker but still quasipolynomial version of Babai's famous GI-algorithm.
A counterexample to Thiagarajan's conjecture on regular event structures
Published
• View Publication
• BIB
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002) that regular event structures correspond exactly to event structures obtained as unfoldings of finite 1-safe Petri nets. The same counterexample is used to disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999) that domains of regular event structures with bounded $\natural$-cliques are recognizable by finite trace automata. Event structures, trace automata, and Petri nets are fundamental models in concurrency theory. There exist nice interpretations of these structures as combinatorial and geometric objects. Namely, from a graph theoretical point of view, the domains of prime event structures correspond exactly to median graphs; from a geometric point of view, these domains are in bijection with CAT(0) cube complexes.
A necessary condition for both conjectures to be true is that domains of regular event structures (with bounded $\natural$-cliques) admit a regular nice labeling. To disprove these conjectures, we describe a regular event domain (with bounded $\natural$-cliques) that does not admit a regular nice labeling. Our counterexample is derived from an example by Wise (1996 and 2007) of a nonpositively curved square complex whose universal cover is a CAT(0) square complex containing a particular plane with an aperiodic tiling. We prove that other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009).
On the positive side, using breakthrough results by Agol (2013) and Haglund and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's conjecture is true for regular event structures whose domains occur as principal filters of hyperbolic CAT(0) cube complexes which are universal covers of finite nonpositively curved cube complexes.
Random walks on hyperplane arrangements and stopping times
Consider a real hyperplane arrangement and let $\mathcal{C}$ denote the occurring chambers. Bidigare, Hanlon and Rockmore introduced a Markov chain on $\mathcal{C}$ which is a generalization of some card shuffling models used in computer science, biology and card games. This paper introduces strong stationary arguments for this Markov chain, which provide explicit bounds for the separation distance.
Heat-bath random walks with Markov bases
Published
• View Publication
• BIB
Graphs on lattice points are studied whose edges come from a finite set of allowed moves of arbitrary length. We show that the diameter of these graphs on fibers of a fixed integer matrix can be bounded from above by a constant. We then study the mixing behaviour of heat-bath random walks on these graphs. We also state explicit conditions on the set of moves so that the heat-bath random walk, a generalization of the Glauber dynamics, is an expander in fixed dimension.
A nearly tight upper bound on tri-colored sum-free sets in characteristic 2
A tri-colored sum-free set in an abelian group $H$ is a collection of ordered triples in $H^3$, $\{(a_i,b_i,c_i)\}_{i=1}^m$, such that the equation $a_i+b_j+c_k=0$ holds if and only if $i=j=k$. Using a variant of the lemma introduced by Croot, Lev, and Pach in their breakthrough work on arithmetic-progression-free sets, we prove that the size of any tri-colored sum-free set in $\mathbb{F}_2^n$ is bounded above by $6 {n \choose \lfloor n/3 \rfloor}$. This upper bound is tight, up to a factor subexponential in $n$: there exist tri-colored sum-free sets in $\mathbb{F}_2^n$ of size greater than ${n \choose \lfloor n/3 \rfloor} \cdot 2^{-\sqrt{16 n / 3}}$ for all sufficiently large $n$.