Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Gaussian binomial coefficients with negative arguments
Published
• View Publication
• BIB
Loeb showed that a natural extension of the usual binomial coefficient to negative (integer) entries continues to satisfy many of the fundamental properties. In particular, he gave a uniform binomial theorem as well as a combinatorial interpretation in terms of choosing subsets of sets with a negative number of elements. We show that all of this can be extended to the case of Gaussian binomial coefficients. Moreover, we demonstrate that several of the well-known arithmetic properties of binomial coefficients also hold in the case of negative entries. In particular, we show that Lucas' Theorem on binomial coefficients modulo $p$ not only extends naturally to the case of negative entries, but even to the Gaussian case.
Convolutions of sets with bounded VC-dimension are uniformly continuous
Published in Discrete Analysis, 2021:1, 25 pp
• View Publication
• BIB
We study a notion of VC-dimension for subsets of groups, defining this for a set $A$ to be the VC-dimension of the family $\{ (xA) \cap A : x \in A\cdot A^{-1} \}$. We show that if a finite subset $A$ of an abelian group has bounded VC-dimension, then the convolution $1_A*1_{-A}$ is Bohr uniformly continuous, in a quantitatively strong sense. This generalises and strengthens a version of the stable arithmetic regularity lemma of Terry and Wolf in various ways. In particular, it directly implies that the Polynomial Bogolyubov--Ruzsa Conjecture -- a strong version of the Polynomial Freiman--Ruzsa Conjecture -- holds for sets with bounded VC-dimension. We also prove some results in the non-abelian setting.
In some sense, this gives a structure theorem for translation-closed set systems with bounded (classical) VC-dimension: if a VC-bounded family of subsets of an abelian group is closed under translation, then each member has a simple description in terms of Bohr sets, up to a small error.
On the Algebraic and Arithmetic structure of the monoid of Product-one sequences II
Published in Period. Math. Hungar. (2018)
• View Publication
• BIB
Let $G$ be a finite group and $G'$ its commutator subgroup. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. The monoid $\mathcal B (G)$ of all product-one sequences over $G$ is a finitely generated C-monoid whence it has a finite commutative class semigroup. It is well-known that the class semigroup is a group if and only if $G$ is abelian (equivalently, $\mathcal B (G)$ is Krull). In the present paper we show that the class semigroup is Clifford (i.e., a union of groups) if and only if $|G'| \le 2$ if and only if $\mathcal B (G)$ is seminormal, and we study sets of lengths in $\mathcal B (G)$.
Gamma-positivity and partial gamma-positivity of descent-type polynomials
Published
• View Publication
• BIB
In this paper, we study gamma-positivity of descent-type polynomials by introducing the change of context-free grammars method. We first present grammatical proofs of the gamma-positivity of the Eulerian polynomials, type B Eulerian polynomials, derangement polynomials, Narayana polynomials and type B Narayana polynomials. We then provide partial gamma-positive expansions for several multivariate polynomials associated to Stirling permutations, Legendre-Stirling permutations, Jacobi-Stirling permutations and type B derangements, and the recurrences for the partial gamma-coefficients of these expansions are also obtained. Moreover, we define variants of the Foata-Strehl group action which are used to give combinatorial interpretations for the coefficients of most of these partial gamma-positive expansions.
Vanishing ideals of binary Hamming spheres
We consider the simplified Algebraic Normal Form (sANF) of Boolean functions vanishing on Hamming spheres centred at zero and the associated sANF vector. We show that this vector is periodic, leading to an efficient computation of the sANF and to specific formulas for particular cases. Moreover, we explicitly provide a connection to the binary M{ö}bius transform of the elementary symmetric functions. We conclude by presenting a method based on polynomial evaluation to bound the minimum distance of binary nonlinear codes. The same method can be used to compute the minimum distance and the weight distribution of binary linear codes.
Erratum for Ricci-flat graphs with girth at least five
Published
• View Publication
• BIB
This erratum will correct the classification of Theorem 1 in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex graph.
Ricci-flat cubic graphs with girth five
Published
• View Publication
• BIB
We classify all connected, simple, 3-regular graphs with girth at least 5 that are Ricci-flat. We use the definition of Ricci curvature on graphs given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Anal., 2009. A graph is Ricci-flat, if it has vanishing Ricci curvature on all edges. We show, that the only Ricci-flat cubic graphs with girth at least 5 are the Petersen graph, the Triplex and the dodecahedral graph. This will correct the classification in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex.
Hadwiger numbers of self-complementary graphs
Published
• View Publication
• BIB
The Hadwiger number of a graph $G$, denoted by $h(G)$, is the order of the largest complete minor of $G$. A graph is said to be self-complementary if it is isomorphic to its complement. We prove that for all $n\equiv 0,1 (\text{mod 4})$ and for all $ \lfloor \dfrac{n+1}{2} \rfloor \le h \le \lfloor \dfrac{3n}{5}\rfloor $, there exists a self-complementary graph $G$ with $n$ vertices whose Hadwiger number is $h$.
Four-coloring $P_6$-free graphs. I. Extending an excellent precoloring
Published
• View Publication
• BIB
This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph.
In this paper we give a polynomial time algorithm that determines if a special kind of precoloring of a $P_6$-free graph has a precoloring extension, and constructs such an extension if one exists. Combined with the main result of the second paper of the series, this gives a complete solution to the problem.
Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring
Published
• View Publication
• BIB
This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph.
In this paper we give a polynomial time algorithm that starts with a $4$-precoloring of a graph with no induced six-vertex path, and outputs a polynomial-size collection of so-called excellent precolorings. Excellent precolorings are easier to handle than general ones, and, in addition, in order to determine whether the initial precoloring can be extended to the whole graph, it is enough to answer the same question for each of the excellent precolorings in the collection. The first paper in the series deals with excellent precolorings, thus providing a complete solution to the problem.
The $b$-branching problem in digraphs
In this paper, we introduce the concept of $b$-branchings in digraphs, which is a generalization of branchings serving as a counterpart of $b$-matchings. Here $b$ is a positive integer vector on the vertex set of a digraph, and a $b$-branching is defined as a common independent set of two matroids defined by $b$: an arc set is a $b$-branching if it has at most $b(v)$ arcs sharing the terminal vertex $v$, and it is an independent set of a certain sparsity matroid defined by $b$. We demonstrate that $b$-branchings yield an appropriate generalization of branchings by extending several classical results on branchings. We first present a multi-phase greedy algorithm for finding a maximum-weight $b$-branching. We then prove a packing theorem extending Edmonds' disjoint branchings theorem, and provide a strongly polynomial algorithm for finding optimal disjoint $b$-branchings. As a consequence of the packing theorem, we prove the integer decomposition property of the $b$-branching polytope. Finally, we deal with a further generalization in which a matroid constraint is imposed on the $b(v)$ arcs sharing the terminal vertex $v$.
Tropicalized quartics and canonical embeddings for tropical curves of genus 3
Published in International Mathematics Research Notices 2019
• View Publication
• BIB
Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus $3$ can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic.
Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropical plane and a faithfully tropicalized quartic in it. These constructions rely on modifications resp. tropical refinements. Conversely, we prove that any realizably hyperelliptic curve cannot be embedded in such a fashion. For that, we rely on the theory of tropical divisors and embeddings from linear systems, and recent advances in the realizability of sections of the tropical canonical divisor.
Field extensions, Derivations, and Matroids over Skew Hyperfields
We show that a field extension $K\subseteq L$ in positive characteristic $p$ and elements $x_e\in L$ for $e\in E$ gives rise to a matroid $M^σ$ on ground set $E$ with coefficients in a certain skew hyperfield $L^σ$. This skew hyperfield $L^σ$ is defined in terms of $L$ and its Frobenius action $σ:x\mapsto x^p$. The matroid underlying $M^σ$ describes the algebraic dependencies over $K$ among the $x_e\in L$ , and $M^σ$ itself comprises, for each $m\in \mathbb{Z}^E$, the space of $K$-derivations of $K\left(x_e^{p^{m_e}}: e\in E\right)$.
The theory of matroid representation over hyperfields was developed by Baker and Bowler for commutative hyperfields. We partially extend their theory to skew hyperfields. To prove the duality theorems we need, we use a new axiom scheme in terms of quasi-Plücker coordinates.
On the gaps between consecutive primes
Published
• View Publication
• BIB
Let $p_n$ denote the $n$-th prime. For any $m\geq 1$, there exist infinitely many $n$ such that $p_{n}-p_{n-m}\leq C_m$ for some large constant $C_m>0$, and $$p_{n+1}-p_n\geq \frac{c_m\log n\log\log n\log\log\log\log n}{\log\log\log n}, $$ for some small constant $c_m>0$. Furthermore, we also obtain a related result concerning the least primes in arithmetic progressions.
On the Stability of Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size, and its roots are called {\em independence roots}. We investigate the stability of such polynomials, that is, conditions under which the roots lie in the left half-plane (all of the real roots of independence polynomial are negative and hence lie in this half-plane). We show stability for all independence polynomials of graphs with independence number at most three, but for larger independence number we show that the independence polynomials can have roots arbitrarily far to the right. We provide families of graphs whose independence polynomials are stable and ones that are not, utilizing various graph operations.
Coarse median algebras: The intrinsic geometry of coarse median spaces and their intervals
Published
• View Publication
• BIB
This paper establishes a new combinatorial framework for the study of coarse median spaces, bridging the worlds of asymptotic geometry, algebra and combinatorics. We introduce a simple and entirely algebraic notion of coarse median algebra which simultaneously generalises the concepts of bounded geometry coarse median spaces and classical discrete median algebras. We study the coarse median universe from the perspective of intervals, with a particular focus on cardinality as a proxy for distance. In particular we prove that the metric on a quasi-geodesic coarse median space of bounded geometry can be constructed up to quasi-isometry using only the coarse median operator. Finally we develop a concept of rank for coarse median algebras in terms of the geometry of intervals and show that the notion of finite rank coarse median algebra provides a natural higher dimensional analogue of Gromov's concept of $δ$-hyperbolicity.
Combinatorial views on persistent characters in phylogenetics
Published
• View Publication
• BIB
The so-called binary perfect phylogeny with persistent characters has recently been thoroughly studied in computational biology as it is less restrictive than the well known binary perfect phylogeny. Here, we focus on the notion of (binary) persistent characters, i.e. characters that can be realized on a phylogenetic tree by at most one $0 \rightarrow 1$ transition followed by at most one $1 \rightarrow 0$ transition in the tree, and analyze these characters under different aspects. First, we illustrate the connection between persistent characters and Maximum Parsimony, where we characterize persistent characters in terms of the first phase of the famous Fitch algorithm. Afterwards we focus on the number of persistent characters for a given phylogenetic tree. We show that this number solely depends on the balance of the tree. To be precise, we develop a formula for counting the number of persistent characters for a given phylogenetic tree based on an index of tree balance, namely the Sackin index. Lastly, we consider the question of how many (carefully chosen) binary characters together with their persistence status are needed to uniquely determine a phylogenetic tree and provide an upper bound for the number of characters needed.
Factors of generalised polynomials and automatic sequences
Published
• View Publication
• BIB
The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by an arbitrary sequence whose terms are given by a generalised polynomial (i.e., an expression involving algebraic operations and the floor function) that is not periodic except for a set of density zero.
Cubic Preferences and the Character Admissibility Problem
Published
• View Publication
• BIB
In multiple-question referendum elections, the separability problem occurs when a voter's preferences on some questions or proposals depend on the predicted outcomes of others. The notion of separability formalizes the study of interdependence in multidimensional preferences, and the character admissibility problem deals with the construction of voter preferences with given separability structures. In this paper, we develop a graph theoretic approach to the character admissibilty problem, using Hamiltonian paths to generate voter preferences. We apply this method specifically to the hypercube graph, defining the class of cubic preferences. We then explore how the algebraic structure of the group of symmetries of the hypercube impacts the separability structures exhibited by cubic preferences. We prove that the characters of cubic preferences satisfy set theoretic properties distinct from those produced by previous methods, and we define two functions to construct cubic preferences. Our results have potential applications to experimental work involving election simulation.
Deletable edges in 3-connected graphs and their applications
Published
• View Publication
• BIB
Let $G$ and $H$ be simple 3-connected graphs such that $G$ has an $H$-minor. An edge $e$ in $G$ is called {\it $H$-deletable} if $G\backslash e$ is 3-connected and has an $H$-minor. The main result in this paper establishes that, if $G$ has no $H$-deletable edges, then there exists a sequence of simple 3-connected graphs $G_0, \dots , G_k$ with no $H$-deletable edges such that $G_0\cong H$, $G_k= G$, and for $1 \le i \le k$ one of three possibilities holds: $G_{i-1}= G_i/f$; $G_{i-1}=G_i/f \backslash e$ where $e$ and $f$ are incident to a degree 3 vertex in $G_i$; or $G_{i-1}=G_i-w$ where $w$ is a degree $3$ vertex in $G_i$. Several applications are given including a graph theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if $G$ is a minimally $3$-connected graph on $n\ge 8$ vertices, then $|E(G)|\le 3n-9$ and equality holds if and only if $G\cong K_{3, n-3}$. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with $|E(G)|=3n-10$.