Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Homomorphism Complexes and Maximal Chains in Graded Posets
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the subcomplex of cubical cells in a permutahedron. Thus, this work can be interpreted as a generalization of the study of these complexes. We provide a detailed investigation when our poset is a product of chains, in which case we find an optimal discrete Morse matching and prove that the corresponding complex is torsion-free.
S-hypersimplices, pulling triangulations, and monotone paths
An $S$-hypersimplex for $S \subseteq \{0,1, \dots,d\}$ is the convex hull of all $0/1$-vectors of length $d$ with coordinate sum in $S$. These polytopes generalize the classical hypersimplices as well as cubes, crosspolytopes, and halfcubes. In this paper we study faces and dissections of $S$-hypersimplices. Moreover, we show that monotone path polytopes of $S$-hypersimplices yield all types of multipermutahedra. In analogy to cubes, we also show that the number of simplices in a pulling triangulation of a halfcube is independent of the pulling order.
A survey of $χ$-boundedness
If a graph has bounded clique number, and sufficiently large chromatic number, what can we say about its induced subgraphs? András Gyárfás made a number of challenging conjectures about this in the early 1980's, which have remained open until recently; but in the last few years there has been substantial progress. This is a survey of where we are now.
Qualitative graph limit theory. Cantor Dynamical Systems and Constant-Time Distributed Algorithms
The goal of the paper is to lay the foundation for the qualitative analogue of the classical, quantitative sparse graph limit theory. In the first part of the paper we introduce the qualitative analogues of the Benjamini-Schramm and local-global graph limit theories for sparse graphs. The natural limit objects are continuous actions of finitely generated groups on totally disconnected compact metric spaces. We prove that the space of weak equivalent classes of free Cantor actions is compact and contains a smallest element, as in the measurable case. We will introduce and study various notions of almost finiteness, the qualitative analogue of hyperfiniteness, for classes of bounded degree graphs. We prove the almost finiteness of a new class of étale groupoids associated to Cantor actions and construct an example of a nonamenable, almost finite totally disconnected étale groupoid, answering a query of Suzuki. Motivated by the notions and results on qualitative graph limits, in the second part of our paper we give a precise definition of constant-time distributed algorithms on sparse graphs. We construct such constant-time algorithms for various approximation problems for hyperfinite and almost finite graph classes. We also prove the Hausdorff convergence of the spectra of convergent graph sequences in the strongly almost finite category.
On zero-free regions for the anti-ferromagnetic Potts model on bounded-degree graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 8 (2021), no. 3, pp. 459--489
• View Publication
• BIB
For a graph $G=(V,E)$, $k\in \mathbb{N}$, and a complex number $w$ the partition function of the univariate Potts model is defined as \[ {\bf Z}(G;k,w):=\sum_{φ:V\to [k]}\prod_{\substack{uv\in E \\ φ(u)=φ(v)}}w, \] where $[k]:=\{1,\ldots,k\}$. In this paper we give zero-free regions for the partition function of the anti-ferromagnetic Potts model on bounded degree graphs. In particular we show that for any $Δ\in \mathbb{N}$ and any $k\geq eΔ+1$, there exists an open set $U$ in the complex plane that contains the interval $[0,1)$ such that ${\bf Z}(G;k,w)\neq 0$ for any $w\in U$ and any graph $G$ of maximum degree at most $Δ$. (Here $e$ denotes the base of the natural logarithm.) For small values of $Δ$ we are able to give better results.
As an application of our results we obtain improved bounds on $k$ for the existence of deterministic approximation algorithms for counting the number of proper $k$-colourings of graphs of small maximum degree.
Disturbing the $q$-Dyson Conjecture
Published in Contemporary Mathematics Volume 457 (2008): Tapas in Experimental Mathematics, ed. Tewodros Amdeberhan and Victor H. Moll, 261--271
• View Publication
• BIB
I discuss the computational methods behind the formulation of some conjectures related to variants on Andrews' $q$-Dyson conjecture.
On the ordinary and signed Göllnitz--Gordon partitions
Published in Southeast Asian Journal of Mathematics and Mathematical Sciences 6 (2008) 63--68
• Search Publication
Dedicated to George E. Andrews on the occasion of his 70th birthday. Submitted to a special issue for this occasion. We use Andrews' notion of a `signed partition' (i.e. partition where some parts are allowed to be negative) to interpret the Göllnitz--Gordon sum, and then provide a bijective map between these signed partitions and the usual Göllnitz--Gordon partitions (partitions with difference at least two between parts, and no consecutive even parts).
Homology groups of cubical sets with connections
Toward defining commutative cubes in all dimensions, Brown and Spencer introduced the notion of "connection" as a new kind of degeneracy. In this paper, for a cubical set with connections, we show that the connections generate an acyclic subcomplex of the chain complex of the cubical set. In particular, our results show that the homology groups of a cubical set with connections are independent of whether we normalize by the connections or we do not, that is, connections do not contribute to any nontrivial cycle in the homology groups of the cubical set.
A Construction for Difference Sets with Local Properties
We construct finite sets of real numbers that have a small difference set and strong local properties. In particular, we construct a set $A$ of $n$ real numbers such that $|A-A|=n^{\log_2 3}$ and that every subset $A'\subseteq A$ of size $k$ satisfies $|A'-A'|\ge k^{\log_2 3}$. This construction leads to the first non-trivial upper bound for the problem of distinct distances with local properties.
Extra pearls in graph theory
This is a supplement for "Pearls in graph theory" -- a textbook written by Nora Hartsfield and Gerhard Ringel.
We discuss the following topics: Ramsey theory, Probabilistic method, Deletion-contraction formulas, Matrix theorem, Graph-polynomials, Generating functions, Minimum spanning trees, Marriage theorem and its relatives, Toroidal graphs, Rado graph, Rewriting systems.
Combinatorics of nondeterministic walks of the Dyck and Motzkin type
Published in Workshop on Analytic Algorithmics and Combinatorics, Jan 2019, San Diego, United States
• View Publication
• BIB
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. At each step, a nondeterministic walk draws a random set of steps from a predefined set of sets and explores all possible extensions in parallel. We introduce our new model on Dyck steps with the nondeterministic step set {{--1}, {1}, {--1, 1}} and Motzkin steps with the nondeterministic step set {{--1}, {0}, {1}, {--1, 0}, {--1, 1}, {0, 1}, {--1, 0, 1}}. For general lists of step sets and a given length, we express the generating function of nondeterministic walks where at least one of the walks explored in parallel is a bridge (ends at the origin). In the particular cases of Dyck and Motzkin steps, we also compute the asymptotic probability that at least one of those parallel walks is a meander (stays nonnegative) or an excursion (stays nonnegative and ends at the origin). This research is motivated by the study of networks involving encapsulations and decapsulations of protocols. Our results are obtained using generating functions and analytic combinatorics.
Comparing Linear Width Parameters for Directed Graphs
In this paper we introduce the linear clique-width, linear NLC-width, neighbourhood-width, and linear rank-width for directed graphs. We compare these parameters with each other as well as with the previously defined parameters directed path-width and directed cut-width. It turns out that the parameters directed linear clique-width, directed linear NLC-width, directed neighbourhood-width, and directed linear rank-width are equivalent in that sense, that all of these parameters can be upper bounded by each of the others. For the restriction to digraphs of bounded vertex degree directed path-width and directed cut-width are equivalent. Further for the restriction to semicomplete digraphs of bounded vertex degree all six mentioned width parameters are equivalent. We also show close relations of the measures to their undirected versions of the underlying undirected graphs, which allow us to show the hardness of computing the considered linear width parameters for directed graphs. Further we give first characterizations for directed graphs defined by parameters of small width.
On colorful edge triples in edge-colored complete graphs
An edge-coloring of the complete graph $K_n$ we call $F$-caring if it leaves no $F$-subgraph of $K_n$ monochromatic and at the same time every subset of $|V(F)|$ vertices contains in it at least one completely multicolored version of $F$. For the first two meaningful cases, when $F=K_{1,3}$ and $F=P_4$ we determine for infinitely many $n$ the minimum number of colors needed for an $F$-caring edge-coloring of $K_n$. An explicit family of $2\lceil\log_2 n\rceil$ $3$-edge-colorings of $K_n$ so that every quadruple of its vertices contains a totally multicolored $P_4$ in at least one of them is also presented. Investigating related Ramsey-type problems we also show that the Shannon (OR-)capacity of the Grötzsch graph is strictly larger than that of the five length cycle.
Caterpillars are Antimagic
Published in Mediterr. J. Math. (2021) 18:39
• View Publication
• BIB
An antimagic labeling of a graph $G$ is an injection from $E(G)$ to $\{1,2,\dots,|E(G)|\}$ such that all vertex sums are pairwise distinct, where the vertex sum at vertex $u$ is the sum of the labels assigned to edges incident to $u$. A graph is called antimagic when it has an antimagic labeling. Hartsfield and Ringel conjectured that every simple connected graph other than $K_2$ is antimagic and the conjecture remains open even for trees. Here we prove that caterpillars are antimagic by means of an $O(n \log n)$ algorithm.
Polylogarithmic bounds in the nilpotent Freiman theorem
We show that if $A$ is a finite $K$-approximate subgroup of an $s$-step nilpotent group then there is a finite normal subgroup $H\subset A^{K^{O_s(1)}}$ modulo which $A^{O_s(\log^{O_s(1)}K)}$ contains a nilprogression of rank at most $O_s(\log^{O_s(1)}K)$ and size at least $\exp(-O_s(\log^{O_s(1)}K))|A|$. This partially generalises the close-to-optimal bounds obtained in the abelian case by Sanders, and improves the bounds and simplifies the exposition of an earlier result of the author. Combined with results of Breuillard-Green, Breuillard-Green-Tao, Gill-Helfgott-Pyber-Szabó, and the author, this leads to improved rank bounds in Freiman-type theorems in residually nilpotent groups and certain linear groups of bounded degree.
On Inverses of Permutation Polynomials of Small Degree over Finite Fields
Published in IEEE Transactions on Information Theory, 66(2):914--922, Feb 2020
• View Publication
• BIB
Permutation polynomials (PPs) and their inverses have applications in cryptography, coding theory and combinatorial design theory. In this paper, we make a brief summary of the inverses of PPs of finite fields, and give the inverses of all PPs of degree $\leq 6$ over finite fields $\mathbb{F}_{q}$ for all $q$ and the inverses of all PPs of degree $7$ over $\mathbb{F}_{2^n}$. The explicit inverse of a class of fifth degree PPs is the main result, which is obtained by using Lucas' theorem, some congruences of binomial coefficients, and a known formula for the inverses of PPs of finite fields.
Canonical projection tilings defined by patterns
Published in Geom. Dedicata 208, 157-175 (2020)
• View Publication
• BIB
We give a necessary and sufficient condition on a $d$-dimensional affine subspace of $\mathbb{R}^n$ to be characterized by a finite set of patterns which are forbidden to appear in its digitization. This can also be stated in terms of local rules for canonical projection tilings, or subshift of finite type. This provides a link between algebraic properties of affine subspaces and combinatorics of their digitizations. The condition relies on the notion of {\em coincidence} and can be effectively checked. As a corollary, we get that only algebraic subspaces can be characterized by patterns.
Isometry invariant permutation codes and mutually orthogonal Latin squares
Published
• View Publication
• BIB
Commonly the direct construction and the description of mutually orthogonal Latin squares (MOLS) makes use of difference or quasi-difference matrices. Now there exists a correspondence between MOLS and separable permutation codes. We like to present separable permutation codes of length $35$, $48$, $63$ and $96$ and minimum distance $34$, $47$, $62$ and $95$ consisting of $6 \times 35$, $10 \times 48$, $8 \times 63$ and $8 \times 96$ codewords respectively. Using the correspondence this gives $6$ MOLS for $n=35$, $10$ MOLS for $n=48$, $8$ MOLS for $n=63$ and $8$ MOLS for $n=96$. So $N(35) \ge 6$, $N(48) \ge 10$, $N(63) \ge 8$ and $N(96) \ge 8$ holds which are new lower bounds for MOLS. The codes will be given by generators of an appropriate subgroup $U$ of the isometry group of the symmetric group $S_n$ and $U$-orbit representatives. This gives an alternative uniform way to describe the MOLS where the data for the codes can be used as input for computer algebra systems like MAGMA, GAP etc.
On the Extremal Maximum Agreement Subtree Problem
Given two phylogenetic trees with the $\{1, \ldots, n\}$ leaf-set the maximum agreement subtree problem asks what is the maximum size of the subset $A \subseteq \{1, \ldots, n\}$ such that the two trees are equivalent when restricted to $A$. The long-standing extremal version of this problem focuses on the smallest number of leaves, $\mathrm{mast}(n)$, on which any two (binary and unrooted) phylogenetic trees with $n$ leaves must agree. In this work we prove that this number grows asymptotically as $Θ(\log n)$; thus closing the enduring gap between the lower and upper asymptotic bounds on $\mathrm{mast}(n)$.
Tiling an Equilateral Triangle
Let $ABC$ be an equilateral triangle. For certain triangles $T$ (the "tile") and certain $N$, it is possible to cut $ABC$ into $N$ copies of $T$. It is known that only certain shapes of $T$ are possible, but until now very little was known about the possible values of $N$. Here we prove that for $N>3$, $N$ cannot be prime, and study more closely the possible tilings when the tile has a $π/3$ angle.