natural ↗ reference
4897 papers tagged with this keyword
Induced subgraphs and tree decompositions V. One neighbor in a hole
Published in Journal of Graph Theory 105 (2023), 542-561
• View Publication
• BIB
What are the unavoidable induced subgraphs of graphs with large treewidth? It is well-known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the "basic treewidth obstructions"). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced subgraphs have bounded treewidth. Sintiari and Trotignon answered this question in the negative. Their counterexamples, the so-called "layered wheels," contain wheels, where a wheel consists of a hole (i.e., an induced cycle of length at least four) along with a vertex with at least three neighbors in the hole. This leads one to ask whether graphs excluding wheels and the basic treewidth obstructions as induced subgraphs have bounded treewidth. This also turns out to be false due to Davies' recent example of graphs with large treewidth, no wheels and and no basic treewidth obstructions as induced subgraphs. However, in Davies' example there exist holes and vertices (outside of the hole) with two neighbors in them. Here we prove that a hole with a vertex with at least two neighbors in it is inevitable in graphs with large treewidth and no basic obstruction. Our main result is that graphs in which every vertex has at most one neighbor in every hole (that does not contain it) and with the basic treewidth obstructions excluded as induced subgraphs have bounded treewidth.
Number of partitions of n into parts not divisible by m
In this note, we obtain a formula which leads to a practical and efficient method to calculate the number of partitions of n into parts not divisible by m for given natural numbers n and m.
Decompositions of Unit Hypercubes and the Reversion of a Generalized Möbius Series
Published
• View Publication
• BIB
Let $s_d(n)$ be the number of distinct decompositions of the $d$-dimensional hypercube with $n$ rectangular regions that can be obtained via a sequence of splitting operations. We prove that the generating series $y = \sum_{n \geq 1} s_d(n)x^n$ satisfies the functional equation $x = \sum_{n\geq 1} μ_d(n)y^n$, where $μ_d(n)$ is the $d$-fold Dirichlet convolution of the Möbius function. This generalizes a recent result by Goulden et al., and shows that $s_1(n)$ also gives the number of natural exact covering systems of $\mZ$ with $n$ residual classes. We also prove an asymptotic formula for $s_d(n)$ and describe a bijection between $1$-dimensional decompositions and natural exact covering systems.
On Weighted Simplicial Homology
Published
• View Publication
• BIB
We develop a framework for computing the homology of weighted simplicial complexes with coefficients in a discrete valuation ring. A weighted simplicial complex, $(X,v)$, introduced by Dawson [Cah. Topol. Géom. Différ. Catég. 31 (1990), pp. 229--243], is a simplicial complex, $X$, together with an integer-valued function, $v$, assigning weights to simplices, such that the weight of any of faces are monotonously increasing. In addition, weighted homology, $H_n^v(X)$, features a new boundary operator, $\partial_n^v$. In difference to Dawson, our approach is centered at a natural homomorphism $θ$ of weighted chain complexes. The key object is $H^v_{n}(X/θ)$, the weighted homology of a quotient of chain complexes induced by $θ$, appearing in a long exact sequence linking weighted homologies with different weights. We shall construct bases for the kernel and image of the weighted boundary map, identifying $n$-simplices as either $κ_n$- or $μ_n$-vertices. Long exact sequences of weighted homology groups and the bases, allow us to prove a structure theorem for the weighted simplicial homology with coefficients in a ring of formal power series $R=\mathbb{F}[[π]]$, where $\mathbb{F}$ is a field. Relative to simplicial homology new torsion arises and we shall show that the torsion modules are connected to a pairing between distinguished $κ_n$ and $μ_{n+1}$ simplices.
Tournaments, Johnson Graphs, and NC-Teaching
Quite recently a teaching model, called "No-Clash Teaching" or simply "NC-Teaching", had been suggested that is provably optimal in the following strong sense. First, it satisfies Goldman and Matthias' collusion-freeness condition. Second, the NC-teaching dimension (= NCTD) is smaller than or equal to the teaching dimension with respect to any other collusion-free teaching model. It has also been shown that any concept class which has NC-teaching dimension $d$ and is defined over a domain of size $n$ can have at most $2^d \binom{n}{d}$ concepts. The main results in this paper are as follows. First, we characterize the maximum concept classes of NC-teaching dimension $1$ as classes which are induced by tournaments (= complete oriented graphs) in a very natural way. Second, we show that there exists a family $(\cC_n)_{n\ge1}$ of concept classes such that the well known recursive teaching dimension (= RTD) of $\cC_n$ grows logarithmically in $n = |\cC_n|$ while, for every $n\ge1$, the NC-teaching dimension of $\cC_n$ equals $1$. Since the recursive teaching dimension of a finite concept class $\cC$ is generally bounded $\log|\cC|$, the family $(\cC_n)_{n\ge1}$ separates RTD from NCTD in the most striking way. The proof of existence of the family $(\cC_n)_{n\ge1}$ makes use of the probabilistic method and random tournaments. Third, we improve the afore-mentioned upper bound $2^d\binom{n}{d}$ by a factor of order $\sqrt{d}$. The verification of the superior bound makes use of Johnson graphs and maximum subgraphs not containing large narrow cliques.
Symmetric Layer-Rainbow Colorations of Cubes
Published
• View Publication
• BIB
Can we color the $n^3$ cells of an $n\times n\times n$ cube $L$ with $n^2$ colors in such a way that each layer parallel to each face contains each color exactly once and that the coloring is symmetric so that $L_{ij\ell}=L_{j\ell i}=L_{\ell ij}$ for distinct $i,j,\ell \in \{1,\dots,n\}$, and $L_{iij}=L_{jj i}, L_{iji}=L_{jij}, L_{ij j}=L_{jii}$ for $i,j\in \{1,\dots,n\}$?
Using transportation networks, we show that such a coloring is possible if and only if $n\equiv 0,2 \mod 3$ (with two exceptions, $n=1$ and $n\neq 3$). Motivated by the designs of experiments, the study of these objects (without symmetry) was initiated by Kishen and Fisher in the 1940's. These objects are also closely related to orthogonal arrays whose existence has been extensively investigated, and they are natural three-dimensional analogues of symmetric latin squares.
Eigenstripping, Spectral Decay, and Edge-Expansion on Posets
We study the relationship between the underlying structure of posets and the spectral and combinatorial properties of their higher-order random walks. While fast mixing of random walks on hypergraphs has led to myriad breakthroughs throughout theoretical computer science in the last five years, many other important applications (e.g. locally testable codes, 2-2 games) rely on the more general non-simplicial structures. These works make it clear that the global expansion properties of posets depend strongly on their underlying architecture (e.g. simplicial, cubical, linear algebraic), but the overall phenomenon remains poorly understood. In this work, we quantify the advantage of different architectures, highlighting how structural regularity controls the spectral decay and edge-expansion of corresponding random walks.
In particular, we show the spectra of walks on expanding posets (Dikstein, Dinur, Filmus, Harsha RANDOM 2018) concentrate in strips around a small number of approximate eigenvalues controlled by the poset's regularity. This gives a simple condition to identify architectures (e.g. the Grassmann) that exhibit fast (exponential) decay of eigenvalues, versus architectures like hypergraphs with slow (linear) decay -- a crucial distinction in applications to hardness of approximation and agreement testing such as the recent proof of the 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). We show these results lead to a tight variance-based characterization of edge-expansion on eposets generalizing (Bafna, Hopkins, Kaufman, and Lovett (SODA 2022)), and pay special attention to the case of the Grassmann where we show our results are tight for a natural set of sparsifications of the Grassmann graphs. We note for clarity that our results do not recover the characterization used in the proof of the 2-2 Games Conjecture which relies on $\ell_\infty$ rather than $\ell_2$-structure.
Homological algebra of Nakayama algebras and 321-avoiding permutations
Published
• View Publication
• BIB
Linear Nakayama algebras over a field $K$ are in natural bijection to Dyck paths and Dyck paths are in natural bijection to 321-avoiding bijections via the Billey-Jockusch-Stanley bijection. Thus to every 321-avoiding permutation $π$ we can associate in a natural way a linear Nakayama algebra $A_π$. We give a homological interpretation of the fixed points statistic of 321-avoiding permutations using Nakayama algebras with a linear quiver. We furthermore show that the space of self-extension for the Jacobson radical of a linear Nakayama algebra $A_π$ is isomorphic to $K^{\mathfrak{s}(π)}$, where $\mathfrak{s}(π)$ is defined as the cardinality $k$ such that $π$ is the minimal product of transpositions of the form $s_i=(i,i+1)$ and $k$ is the number of distinct $s_i$ that appear.
Spectral dynamics of guided edge removals and identifying transient amplifiers for death-Birth updating
Published
• View Publication
• BIB
The paper deals with two interrelated topics, identifying transient amplifiers in an iterative process and analyzing the process by its spectral dynamics, which is the change in the graph spectra by edge manipulations. Transient amplifiers are networks representing population structures which shift the balance between natural selection and random drift. Thus, amplifiers are highly relevant for understanding the relationships between spatial structures and evolutionary dynamics. We study an iterative procedure to identify transient amplifiers for death-Birth updating. The algorithm starts with a regular input graph and iteratively removes edges until desired structures are achieved. Thus, a sequence of candidate graphs is obtained. The edge removals are guided by quantities derived from the sequence of candidate graphs. Moreover, we are interested in the Laplacian spectra of the candidate graphs and analyze the iterative process by its spectral dynamics. The results show that although transient amplifiers for death-Birth updating are rare, a substantial number of them can be obtained by the proposed procedure. The graphs identified share structural properties and have some similarity to dumbbell and barbell graphs. Also, the spectral dynamics possesses characteristic features useful for deducing links between structural and spectral properties and for distinguishing transient amplifiers among evolutionary graphs in general.
Monochromatic components with many edges
Published
• View Publication
• BIB
Given an $r$-edge-coloring of the complete graph $K_n$, what is the largest number of edges in a monochromatic connected component? This natural question has only recently received the attention it deserves, with work by two disjoint subsets of the authors resolving it for the first two special cases, when $r = 2$ or $3$. Here we introduce a general framework for studying this problem and apply it to fully resolve the $r = 4$ case, showing that any $4$-edge-coloring of $K_n$ contains a monochromatic component with at least $\frac{1}{12}\binom{n}{2}$ edges, where the constant $\frac{1}{12}$ is optimal only when the coloring matches a certain construction of Gyárfás.
Approximate Sampling of Graphs with Near-$P$-stable Degree Intervals
Published in Ann. Comb. (2023)
• View Publication
• BIB
The approximate uniform sampling of graph realizations with a given degree sequence is an everyday task in several social science, computer science, engineering etc. projects. One approach is using Markov chains. The best available current result about the well-studied switch Markov chain is that it is rapidly mixing on P-stable degree sequences (see DOI:10.1016/j.ejc.2021.103421). The switch Markov chain does not change any degree sequence. However, there are cases where degree intervals are specified rather than a single degree sequence. (A natural scenario where this problem arises is in hypothesis testing on social networks that are only partially observed.) Rechner, Strowick, and Müller-Hannemann introduced in 2018 the notion of degree interval Markov chain which uses three (separately well-studied) local operations (switch, hinge-flip and toggle), and employing on degree sequence realizations where any two sequences under scrutiny have very small coordinate-wise distance. Recently Amanatidis and Kleer published a beautiful paper (arXiv:2110.09068), showing that the degree interval Markov chain is rapidly mixing if the sequences are coming from a system of very thin intervals which are centered not far from a regular degree sequence. In this paper we extend substantially their result, showing that the degree interval Markov chain is rapidly mixing if the intervals are centred at P-stable degree sequences.
Inductive Freeness of Ziegler's Canonical Multiderivations
Published
• View Publication
• BIB
Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A''$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement $(\mathcal A'',κ)$. The aim of this paper is to prove an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the multiarrangement $(\mathcal A'',κ)$. In a related result we derive that if a deletion $\mathcal A'$ of $\mathcal A$ is free and the corresponding restriction $\mathcal A''$ is inductively free, then so is $(\mathcal A'',κ)$ -- irrespective of the freeness of $\mathcal A$. In addition, we show counterparts of the latter kind for additive and recursive freeness.
Lower bounds for the Turán densities of daisies
Published
• View Publication
• BIB
For integers $r \geq 3$ and $t \geq 2$, an $r$-uniform $t$-daisy $\mathcal{D}^t_r$ is a family of $\binom{2t}{t}$ $r$-element sets of the form $$\{S \cup T \ : T\subset U, \ |T|=t \}$$ for some sets $S,U$ with $|S|=r-t$, $|U|=2t$ and $S \cap U = \emptyset$. It was conjectured by Bollobás, Leader and Malvenuto (and independently Bukh) that the Turán densities of $t$-daisies satisfy $\lim\limits_{r \to \infty} π(\mathcal{D}_r^t) = 0$ for all $t \geq 2$; this has become a well-known problem, and it is still open for all values of $t$. In this paper, we give lower bounds for the Turán densities of $r$-uniform $t$-daisies. To do so, we introduce (and make some progress on) the following natural problem in additive combinatorics: for integers $m \geq 2t \geq 4$, what is the maximum cardinality $g(m,t)$ of a subset $R$ of $\mathbb{Z}/m\mathbb{Z}$ such that for any $x \in \mathbb{Z}/m\mathbb{Z}$ and any $2t$-element subset $X$ of $\mathbb{Z}/m\mathbb{Z}$, there are $t$ distinct elements of $X$ whose sum is not in the translate $x+R$? This is a slice-analogue of the extremal Hilbert cube problem considered by Gunderson and Rödl and its generalization studied by Cilleruelo and Tesoro.
Representation of short distances in structurally sparse graphs
A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that graphs from many natural graph classes admit such weak guidance systems, and study the algorithmic aspects of this notion.
Extremal entropy for graphs with given size
Published
• View Publication
• BIB
The first degree-based entropy of a graph is the Shannon entropy of its degree sequence normalized by the degree sum. Its correct interpretation as a measure of uniformity of the degree sequence requires the determination of its extremal values given natural constraints. In this paper, we prove that the graphs with given size that minimize the first degree-based entropy are the colex graphs.
An Extension of Heron's Formula to Tetrahedra, and the Projective Nature of Its Zeros
Published in Part I: Pi-Mu-Epsilon J. 15 (2023), no. 9, 539-551; Part II: ibid 15 (2024), no. 10, 617-628; Part III: ibid 16 (2024), no. 1, 11-25; Part IV: ibid 16 (2025), no. 2, 77-95
• Search Publication
A natural extension of Heron's 2000 year old formula for the area of a triangle to the volume of a tetrahedron is presented. This gives the fourth power of the volume as a polynomial in six simple rational functions of the areas of its four faces and of its three medial parallelograms, which are accordingly referred to herein as "interior faces." Geometrically, these rational functions are the areas of the triangles into which the exterior faces are divided by the points at which the tetrahedron's in-sphere touches those faces. Part I presents an overview of these results and some necessary but little-known background in areal geometry. Part II derives the promised extension, and ends with a conjecture as to how the formula extends to $n$-dimensional simplices for all $n > 3$. Part III explains how, for $n = 3$, the zeros of the polynomial constitute a five-dimensional semi-algebraic variety consisting almost entirely of collinear tetrahedra with vertices separated by infinite distances, but with generically well-defined distance ratios; it further proves that these unconventional Euclidean configurations can be identified with a quotient of the Klein quadric by an action of a group of reflections isomorphic to $\mathbb Z_2^4$, wherein four-point configurations in the affine plane constitute a distinguished three-dimensional subvariety. Part IV consists of five appendices which show, among other things, that the algebraic structure of the zeros in the affine plane naturally defines the associated four-element, rank $3$ chirotope, aka affine oriented matroid.
Extremal sequences for the unit-weighted Gao constant of $\mathbb Z_n$
For $A\subseteq \mathbb Z_n$, the $A$-weighted Gao constant $E_A(n)$ is defined to be the smallest natural number $k$, such that any sequence of $k$ elements in $\mathbb Z_n$ has a subsequence of length $n$, whose $A$-weighted sum is zero. Sequences of length $E_A(n)-1$ in $\mathbb Z_n$, which do not have any $A$-weighted zero-sum subsequence of length $n$ are called $A$-extremal sequences for the Gao constant. Such a sequence which has $n-1$ zeroes is said to be of the standard type. When $A=U(n)$ (units in $\mathbb Z_n$) where $n$ is odd, we characterize all such sequences and show that they are of the standard type. When $n$ is even, we give examples of such sequences which are not of the standard type. We also characterize the $U(n)$-extremal sequences for the Gao constant, when $n=2^rp$, where $p$ is an odd prime.
The asymptotic of the number of permutations whose cycle lengths are prime numbers
Let $A$ be a set of natural numbers and let $S_{n,A}$ be the set of all permutations of $[n]=\{1,2,...,n\}$ with cycle lengths belonging to $A$. Furthermore, let $\mid A(n)\mid$ denote the cardinality of the set $A(n)=A\cap [n]$. The limit $ρ=\lim_{n\to\infty}\mid A(n)\mid/n$ (if it exists) is called the density of set $A$. It turns out that, as $n\to\infty$, the cardinality $\mid S_{n,A}\mid$ of the set $S_{n,A}$ essentially depends on $ρ$. The case $ρ>0$ was studied by several authors under certain additional conditions on $A$. In 1999, Kolchin noticed that there is a lack studies on classes of permutations for which $ρ=0$. In this context, he also proposed investigations on certain particular cases. In this paper, we consider the permutations whose cycle lengths are prime numbers, that is, we assume that $A=\mathcal{P}$, where $\mathcal{P}$ denotes the set of all primes. For this class of permutations, the Prime Number Theorem implies that $ρ=0$. In this paper, we show that, as $n\to\infty$, the ratio $S_{n,\mathcal{P}}/(n-1)!$ approaches a finite limit and determine its value explicitly. Our method of proof employs classical Tauberian theorems.
Lattice paths and negatively indexed weight-dependent binomial coefficients
In 1992, Loeb considered a natural extension of the binomial coefficients to negative entries and gave a combinatorial interpretation in terms of hybrid sets. He showed that many of the fundamental properties of binomial coefficients continue to hold in this extended setting. Recently, Formichella and Straub showed that these results can be extended to the $q$-binomial coefficients with arbitrary integer values and extended the work of Loeb further by examining arithmetic properties of the $q$-binomial coefficients. In this paper, we give an alternative combinatorial interpretation in terms of lattice paths and consider an extension of the more general weight-dependent binomial coefficients, first defined by the second author, to arbitrary integer values. Remarkably, many of the results of Loeb, Formichella and Straub continue to hold in the general weighted setting. We also examine important special cases of the weight-dependent binomial coefficients, including ordinary, $q$- and elliptic binomial coefficients as well as elementary and complete homogeneous symmetric functions.
The Dirac--Goodman--Pollack Conjecture
Published
• View Publication
• BIB
In one of their seminal articles on allowable sequences, Goodman and Pollack gave combinatorial generalizations for three problems in discrete geometry, one of which being the Dirac conjecture. According to this conjecture, any set of $n$ noncollinear points in the plane has a point incident to at least $c n$ connecting lines determined by the set. The notion of allowable sequences of permutations provides a natural combinatorial setting for analyzing these problems. Within this formalism, the conjectured generalization reads as follows: \emph{Any nontrivial allowable $n$-sequence $Σ$ has a local sequence $Λ_i$ whose half-period is at least $c n$.} The conjecture is confirmed here with a concrete bound $c=1/845$. Several related problems are discussed.