Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Embedding graphs in Euclidean space
Published in Journal of Combinatorial Theory, Ser. A, 171 (2020), article 105146
• View Publication
• BIB
The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$.
Zero Forcing in Claw-Free Cubic Graphs
Published
• View Publication
• BIB
The zero forcing number of a simple graph, written $Z(G)$, is a NP-hard graph invariant which is the result of the zero forcing color change rule. This graph invariant has been heavily studied by linear algebraists, physicists, and graph theorist. It's broad applicability and interesting combinatorial properties have attracted the attention of many researchers. Of particular interest, is that of bounding the zero forcing number from above. In this paper we show a surprising relation between the zero forcing number of a graph and the independence number of a graph, denoted $α(G)$. Our main theorem states that if $G \ne K_4$ is a connected, cubic, claw-free graph, then $Z(G) \le α(G) + 1$. This improves on best known upper bounds for $Z(G)$, as well as known lower bounds on $α(G)$. As a consequence of this result, if $G \ne K_4$ is a connected, cubic, claw-free graph with order $n$, then $Z(G) \le \frac{2}{5}n + 1$. Additionally, under the hypothesis of our main theorem, we further show $Z(G) \le α'(G)$, where $α'(G)$ denotes the matching number of $G$.
Rank Selection and Depth Conditions for Balanced Simplicial Complexes
Published
• View Publication
• BIB
We prove some new rank selection theorems for balanced simplicial complexes. Specifically, we prove that rank selected subcomplexes of balanced simplicial complexes satisfying Serre's condition $(S_{\ell})$ retain $(S_{\ell})$. We also provide a formula for the depth of a balanced simplicial complex in terms of reduced homologies of its rank selected subcomplexes. By passing to a barycentric subdivision, our results give information about Serre's condition and the depth of any simplicial compex. Our results extend rank selection theorems for depth proved by Stanley, Munkres, and Hibi.
Quantitative aspects of acyclicity
Published
• View Publication
• BIB
We study several aspects of the $k$-th Cheeger constant of a complex X, a parameter that quantifies the distance of $X$ from a complex $Y$ with nontrivial $k$-th cohomology over $\mathbb{Z}_2$. Our results include general methods for bounding the cosystolic norm of a cochain and for bounding the Cheeger constant of a complex, a discussion of expansion of pseudomanifolds and geometric lattices, probabilistic upper bounds on Cheeger constants, and application of non-Abelian expansion to random complexes.
Recent progress in subset combinatorics of groups
Published
• View Publication
• BIB
We systematize and analyze some results obtained in Subset Combinatorics of $G$ groups after publications the previous surveys [1-4]. The main topics: the dynamical and descriptive characterizations of subsets of a group relatively their combinatorial size, Ramsey-product subsets in connection with some general concept of recurrence in $G$-spaces, new ideals in the Boolean algebra $\mathcal{P}_{G}$ of all subsets of a group $G$ and in the Stone-$\check{C}$ech compactification $βG$ of $G$ , the combinatorial derivation.
The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity
Published
• View Publication
• BIB
In this paper, we introduce the $b$-bibranching problem in digraphs, which is a common generalization of the bibranching and $b$-branching problems. The bibranching problem, introduced by Schrijver (1982), is a common generalization of the branching and bipartite edge cover problems. Previous results on bibranchings include polynomial algorithms, a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation. The $b$-branching problem, recently introduced by Kakimura, Kamiyama, and Takazawa (2018), is a generalization of the branching problem admitting higher indegree, i.e., each vertex $v$ can have indegree at most $b(v)$. For $b$-branchings, a combinatorial algorithm, a linear programming formulation with total dual integrality, and a packing theorem for branchings are extended. A main contribution of this paper is to extend those previous results on bibranchings and $b$-branchings to $b$-bibranchings. That is, we present a linear programming formulation with total dual integrality, a packing theorem, and an M-convex submodular flow formulation for $b$-bibranchings. In particular, the linear program and M-convex submodular flow formulations respectively imply polynomial algorithms for finding a shortest $b$-bibranching.
Analysis of Summatory Functions of Regular Sequences: Transducer and Pascal's Rhombus
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
The summatory function of a $q$-regular sequence in the sense of Allouche and Shallit is analysed asymptotically. The result is a sum of periodic fluctuations for eigenvalues of absolute value larger than the joint spectral radius of the matrices of a linear representation of the sequence. The Fourier coefficients of the fluctuations are expressed in terms of residues of the corresponding Dirichlet generating function. A known pseudo Tauberian argument is extended in order to overcome convergence problems in Mellin--Perron summation.
Two examples are discussed in more detail: The case of sequences defined as the sum of outputs written by a transducer when reading a $q$ary expansion of the input and the number of odd entries in the rows of Pascal's rhombus.
On sequences covering all rainbow $k$-progressions
Published
• View Publication
• BIB
Let $\text{ac}(n,k)$ denote the smallest positive integer with the property that there exists an $n$-colouring $f$ of $\{1,\dots,\text{ac}(n,k)\}$ such that for every $k$-subset $R \subseteq \{1, \dots, n\}$ there exists an (arithmetic) $k$-progression $A$ in $\{1,\dots,\text{ac}(n,k)\}$ with $\{f(a) : a \in A\} = R$. Determining the behaviour of the function $\text{ac}(n,k)$ is a previously unstudied problem. We use the first moment method to give an asymptotic upper bound for $\text{ac}(n,k)$ for the case $k = o(n^{1/{5}})$.
Minimum weight codewords in dual Algebraic-Geometric codes from the Giulietti-Korchmáros curve
Published
• View Publication
• BIB
In this paper we investigate the number of minimum weight codewords of some dual Algebraic-Geometric codes associated with the Giulietti-Korchmáros maximal curve, by computing the maximal number of intersections between the Giulietti-Korchmáros curve and lines, plane conics and plane cubics.
Zero-sum Generalized Schur Numbers
Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $S_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer $n$ such that every coloring $χ:[1,n] \rightarrow \{0,1,\dots,r-1\}$ admits a solution to $\sum_{i=1}^{k-1} x_i = x_k$ with $\sum_{i=1}^{k} χ(x_i) \equiv 0 \,(\mathrm{mod }\,r)$. We give some formulas and lower bounds for various instances.
Zero-sum Analogues of van der Waerden's Theorem on Arithmetic Progressions
Published
• View Publication
• BIB
Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $w_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer such that every coloring $χ:[1,w_{\mathrm{\mathfrak{z}}}(k;r)] \rightarrow \{0,1,\dots,r-1\}$ admits a $k$-term arithmetic progression $a,a+d,\dots,a+(k-1)d$ with $\sum_{j=0}^{k-1} χ(a+jd) \equiv 0 \,(\mathrm{mod }\,r)$. We investigate these numbers as well as a "mixed" monochromatic/zero-sum analogue. We also present an interesting reciprocity between the van der Waerden numbers and $w_{\mathrm{\mathfrak{z}}}(k;r)$.
Extremal digraphs avoiding an orientation of $C_4$
Let $P_{2,2}$ be the orientation of $C_4$ which consists of two 2-paths with the same initial and terminal vertices. In this paper, we determine the maximum size of $P_{2,2}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size when $n\ge 13$.
The language (and series) of Hammersley-type processes
We study languages and formal power series associated to (variants of) Hammersley's process. We show that the ordinary Hammersley process yields a regular language and the Hammersley tree process yields deterministic context-free (but non-regular) languages. For the extension to intervals of the Hammersley process we show that there are two relevant formal languages. One of them leads to the same class of languages as the ordinary Hammersley tree process. The other one yields non-context-free languages. The results are motivated by the problem of studying the analog of the famous Ulam-Hammersley problem for heapable sequences. Towards this goal we also give an algorithm for computing formal power series associated to the variants of Hammersley's process. We employ these algorithms to settle the nature of the scaling constant, conjectured in previous work to be the golden ratio. Our results provide experimental support to this conjecture.
On a transformation of Riordan moment sequences
We define a transformation that associates certain exponential moment sequences with ordinary moment sequences in a natural way. The ingredients of this transformation are series reversion, the Sumudu transform (a variant of the Laplace transform), and the inverting of generating functions. This transformation also has a simple interpretation in terms of continued fractions. It associates lattice path objects with permutation objects, and in particular it associates the Narayana triangle with the Eulerian triangle.
Using the existence of t-designs to prove Erdős-Ko-Rado
Published
• View Publication
• BIB
In 1984, Wilson proved the Erdős-Ko-Rado theorem for $t$-intersecting families of $k$-subsets of an $n$-set: he showed that if $n\ge(t+1)(k-t+1)$ and $\mathcal{F}$ is a family of $k$-subsets of an $n$-set such that any two members of $\mathcal{F}$ have at least $t$ elements in common, then $|\mathcal{F}|\le\binom{n-t}{k-t}$. His proof made essential use of a matrix whose origin is not obvious. In this paper we show that this matrix can be derived, in a sense, as a projection of $t$-$(n,k,1)$ design.
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.