Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Recognizing and Realizing Inductively Pierced Codes
We prove algebraic and combinatorial characterizations of the class of inductively pierced codes, resolving a conjecture of Gross, Obatake, and Youngs. Starting from an algebraic invariant of a code called its canonical form, we explain how to compute a piercing order in polynomial time, if one exists. Given a piercing order of a code, we explain how to construct a realization of the code using a well-formed collection of open balls, and classify the minimal dimension in which such a realization exists.
Planar convex codes are decidable
Published
• View Publication
• BIB
We show that every convex code realizable by compact sets in the plane admits a realization consisting of polygons, and analogously every open convex code in the plane can be realized by interiors of polygons. We give factorial-type bounds on the number of vertices needed to form such realizations. Consequently we show that there is an algorithm to decide whether a convex code admits a closed or open realization in the plane.
Unexpected Biases between Congruence Classes for Parts in k-indivisible Partitions
Published in Journal of Number Theory 248 (2025) 310-342
• View Publication
• BIB
For integers $k,t \geq 2$, and $1\leq r \leq t$ let $D_k^\times(r,t;n)$ be the number of parts among all $k$-indivisible partitions of $n$ (i.e., partitions where all parts are not divisible by $k$) of $n$ that are congruent to $r$ modulo $t$. Using Wright's circle method, we derive an asymptotic for $D_k^\times(r,t;n)$ as $n \to \infty$ when $k,t$ are coprime. The main term of this asymptotic does not depend on $r$, and so, in a weak asymptotic sense, the parts are equidistributed among congruence classes. However, inspection of the lower order terms indicates a bias towards different congruence classes modulo $t$. This induces an ordering on the congruence classes modulo $t$, which we call the $k$-indivisible ordering. We prove that for $k \geq \frac{6(t^2-1)}{π^2}$ the $k$-indivisible ordering matches the natural ordering. We also explore the properties of these orderings when $k < \frac{6(t^2-1)}{π^2}$.
Trees with many leaves in tournaments
Published
• View Publication
• BIB
Sumner's universal tournament conjecture states that every $(2n-2)$-vertex tournament should contain a copy of every $n$-vertex oriented tree. If we know the number of leaves of an oriented tree, or its maximum degree, can we guarantee a copy of the tree with fewer vertices in the tournament? Due to work initiated by Häggkvist and Thomason (for number of leaves) and Kühn, Mycroft and Osthus (for maximum degree), it is known that improvements can be made over Sumner's conjecture in some cases, and indeed sometimes an $(n+o(n))$-vertex tournament may be sufficient.
In this paper, we give new results on these problems. Specifically, we show
i) for every $α>0$, there exists $n_0\in\mathbb{N}$ such that, whenever $n\geqslant n_0$, every $((1+α)n+k)$-vertex tournament contains a copy of every $n$-vertex oriented tree with $k$ leaves, and
ii) for every $α>0$, there exists $c>0$ and $n_0\in\mathbb{N}$ such that, whenever $n\geqslant n_0$, every $(1+α)n$-vertex tournament contains a copy of every $n$-vertex oriented tree with maximum degree $Δ(T)\leqslant cn$.
Our first result gives an asymptotic form of a conjecture by Havet and Thomassé, while the second improves a result of Mycroft and Naia which applies to trees with polylogarithmic maximum degree.
Fraisse Structures with SDAP+, Part I: Indivisibility
This is Part I of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. We prove that every Fraisse structure in a finite relational language with relation symbols of any finite arity satisfying this property is indivisible. Novelties include a new formulation of coding trees in terms of 1-types over initial segments of the Fraisse structure, and a direct proof of indivisibility which uses the method of forcing to conduct unbounded searches for finite sets. In Part II, we prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Part II utilizes a theorem from Part I as a pigeonhole principle for induction arguments. This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures.
Coarse geometry of the Cops and robber game
Published
• View Publication
• BIB
We introduce two variations of the cops and robber game on graphs. These games yield two invariants in $\mathbb{Z}_+\cup\{\infty\}$ for any connected graph $Γ$, the {weak cop number $\mathsf{wcop}(Γ)$} and the {strong cop number $\mathsf{scop}(Γ)$}. These invariants satisfy that $\mathsf{scop}(Γ)\leq\mathsf{wcop}(Γ)$. Any graph that is finite or a tree has strong cop number one. These new invariants are preserved under small local perturbations of the graph, specifically, both the weak and strong cop numbers are quasi-isometric invariants of connected graphs. More generally, we prove that if $Δ$ is a quasi-retract of $Γ$ then $\mathsf{wcop}(Δ)\leq\mathsf{wcop}(Γ)$ and $\mathsf{scop}(Δ)\leq\mathsf{scop}(Γ)$. We exhibit families of examples of graphs with arbitrary weak cop number (resp. strong cop number). We prove that hyperbolic graphs have strong cop number one. We also prove that one-ended non-amenable locally-finite vertex-transitive graphs have infinite weak cop number. We raise the question of whether there exists a connected vertex transitive graph with finite weak (resp. strong) cop number different than one.
Edge pancyclic derangement graphs
We consider the derangement graph in which the vertices are permutations of $\{ 1,\ldots, n\}$. Two vertices are joined by an edge if the corresponding permutations differ in every position. The derangement graph is known to be Hamiltonian and Hamilton-connected. In this note, we show that the derangement graph is edge pancyclic if $n\ge 4$.
Distributions of Hook Lengths Divisible by Two or Three
Published
• View Publication
• BIB
For fixed $t = 2$ or $3$, we investigate the statistical properties of $\{Y_t(n)\}$, the sequence of random variables corresponding to the number of hook lengths divisible by $t$ among the partitions of $n$. We characterize the support of $Y_t(n)$ and show, in accordance with empirical observations, that the support is vanishingly small for large $n$. Moreover, we demonstrate that the nonzero values of the mass functions of $Y_2(n)$ and $Y_3(n)$ approximate continuous functions. Finally, we prove that although the mass functions fail to converge, the cumulative distribution functions of $\{Y_2(n)\}$ and $\{Y_3(n)\}$ converge pointwise to shifted Gamma distributions, completing a characterization initiated by Griffin--Ono--Tsai for $t \geq 4$.
Fraisse structures with SDAP+, Part II: Simply characterized big Ramsey structures
This is Part II of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. In Part I, we prove that every Fraisse structure in a finite relational language with relation symbols of any finite arity satisfying this property is indivisible. In Part II, we prove that every Fraisse structure in a finite relational language with relation symbols of arity at most two having this property has finite big Ramsey degrees which have a simple characterization. It follows that any such Fraisse structure admits a big Ramsey structure. Part II utilizes the notion of coding trees of 1-types developed in Part I and a theorem from Part I which functions as a pigeonhole principle for induction arguments in this paper. Our approach yields a direct characterization of the degrees without appeal to the standard method of "envelopes". This work offers a streamlined and unifying approach to Ramsey theory on some seemingly disparate classes of Fraisse structures.
Criteria for smoothness of Positroid varieties via pattern avoidance, Johnson graphs, and spirographs
Published
• View Publication
• BIB
Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer, and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. This allows us to give two formulas for counting the number of smooth positroids along with two $q$-analogs. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids.
The list-coloring function of signed graphs
Published
• View Publication
• BIB
It is known that, for any $k$-list assignment $L$ of a graph $G$, the number of $L$-list colorings of $G$ is at least the number of the proper $k$-colorings of $G$ when $k>(m-1)/\ln(1+\sqrt{2})$. In this paper, we extend the Whitney's broken cycle theorem to $L$-colorings of signed graphs, by which we show that if $k> \binom{m}{3}+\binom{m}{4}+m-1$ then, for any $k$-assignment $L$, the number of $L$-colorings of a signed graph $Σ$ with $m$ edges is at least the number of the proper $k$-colorings of $Σ$. Further, if $L$ is $0$-free (resp., $0$-included) and $k$ is even (resp., odd), then the lower bound $\binom{m}{3}+\binom{m}{4}+m-1$ for $k$ can be improved to $(m-1)/\ln(1+\sqrt{2})$.
Implementing real polyhedral homotopy
Published in J. Softw. Alg. Geom. 14 (2024) 59-71
• View Publication
• BIB
We implement a real polyhedral homotopy method using three functions. The first function provides a certificate that our real polyhedral homotopy is applicable to a given system; the second function generates binomial systems for a start system; the third function outputs target solutions from the start system obtained by the second function. This work realizes the theoretical contributions in \cite{ergur2019polyhedral} as easy to use functions, allowing for further investigation into real homotopy algorithms.
An algebraic characterization of self-generating chemical reaction networks using semigroup models
Published
• View Publication
• BIB
The ability of a chemical reaction network to generate itself by catalyzed reactions from constantly present environmental food sources is considered a fundamental property in origin-of-life research. Based on Kaufmann's autocatalytic sets, Hordijk and Steel have constructed the versatile formalism of catalytic reaction systems (CRS) to model and to analyze such self-generating networks, which they named reflexively autocatalytic and food generated (RAF). Previously, it was established that the subsequent and simultaenous catalytic functions of the chemicals of a CRS give rise to an algebraic structure, termed a semigroup model. The semigroup model allows to naturally consider the function of any subset of chemicals on the whole CRS. This gives rise to a generative dynamics by iteratively applying the function of a subset to the externally supplied food set. The fixed point of this dynamics yields the maximal self-generating set of chemicals. Moreover, the lattice of all functionally closed self-generating sets of chemicals is discussed and a structure theorem for this lattice is proven. It is also shown that a CRS which contains self-generating sets of chemicals cannot be nilpotent and thus a useful link to the combinatorial theory of finite semigroups is established. The main technical tool introduced and utilized in this work is the representation of the semigroup elements as decorated rooted trees, allowing to translate the generation of chemicals from a given set of resources into the semigroup language.
Graph tilings in incompatibility systems
Published
• View Publication
• BIB
An \emph{incompatibility system} $(G,\mathcal{F})$ consists of a graph $G$ and a family $\mathcal{F}=\{F_v\}_{v\in V(G)}$ over $G$ with $F_v\subseteq \{\{e,e'\}\in {E(G)\choose 2}: e\cap e'=\{v\}\}$. We say that two edges $e,e'\in E(G)$ are \emph{incompatible} if $\{e,e'\}\in F_v$ for some $v\in V(G)$, and otherwise \emph{compatible}. A subgraph $H$ of $G$ is \emph{compatible} if every pair of edges in $H$ are compatible. An incompatibility system $(G,\mathcal{F})$ is \emph{$Δ$-bounded} if for any vertex $v$ and any edge $e$ incident with $v$, there are at most $Δ$ members of $F_v$ containing $e$. This notion was partly motivated by a concept of transition system introduced by Kotzig in 1968, and first formulated by Krivelevich, Lee and Sudakov to study the robustness of Hamiltonicity of Dirac graphs.
We prove that for any $α>0$ and any graph $H$ with $h$ vertices, there exists a constant $μ>0$ such that for any sufficiently large $n$ with $n\in h\mathbb{N}$, if $G$ is an $n$-vertex graph with $δ(G)\ge(1-\frac{1}{χ^*(H)}+α)n$ and $(G,\mathcal{F})$ is a $μn$-bounded incompatibility system, then there exists a compatible $H$-factor in $G$, where the value $χ^*(H)$ is either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ and we provide a dichotomy as in the Kühn--Osthus result. Moreover, we give examples $H$ for which there exists an $μn$-bounded incompatibility system $(G, \mathcal{F})$ with $n\in h\mathbb{N}$ and $δ(G)\ge(1-\frac{1}{χ^*(H)}+\fracμ{2})n$ such that $G$ contains no compatible $H$-factor. Unlike in the previous work of Kühn and Osthus on embedding $H$-factors, our proof uses the lattice-based absorption method.
Positivity of the symmetric group characters is as hard as the polynomial time hierarchy
Published in International Mathematics Research Notices, Volume 2024, Issue 10, pages 8442-8458
• View Publication
• BIB
We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is $PP$-complete under many-one reductions, and hence $PH$-hard under Turing-reductions.
Intersecting families with covering number three
Published
• View Publication
• BIB
We consider $k$-graphs on $n$ vertices, that is, $\mathcal{F}\subset \binom{[n]}{k}$. A $k$-graph $\mathcal{F}$ is called intersecting if $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. In the present paper we prove that for $k\geq 7$, $n\geq 2k$, any intersecting $k$-graph $\mathcal{F}$ with covering number at least three, satisfies $|\mathcal{F}|\leq \binom{n-1}{k-1}-\binom{n-k}{k-1}-\binom{n-k-1}{k-1}+\binom{n-2k}{k-1}+\binom{n-k-2}{k-3}+3$, the best possible upper bound which was proved in \cite{F80} subject to exponential constraints $n>n_0(k)$.
Values of Games for Information Decomposition
Published
• View Publication
• BIB
The information decomposition problem requires an additive decomposition of the mutual information between the input and target variables into nonnegative terms. The recently introduced solution to this problem, Information Attribution, involves the Shapley-style value measuring the influence of predictors in the coalitional game associated with the joint probability distribution of the input random vector and the target variable. Motivated by the original problem, we consider a general setting of coalitional games where the players form a boolean algebra, and the coalitions are the corresponding down-sets. This enables us to study in detail various single-valued solution concepts, called values. Namely, we focus on the classes of values that can represent very general alternatives to the solution of the information decomposition problem, such as random-order values or sharing values. We extend the axiomatic characterization of some classes of values that were known only for the standard coalitional games.
Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets
Published in Discrete Mathematics, Volume 348, Issue 1, January 2025, 114195
• View Publication
• BIB
This paper continues a series of papers investigating the following question: which hereditary graph classes have bounded treewidth? We call a graph $t$-clean if it does not contain as an induced subgraph the complete graph $K_t$, the complete bipartite graph $K_{t, t}$, subdivisions of a $(t \times t)$-wall, and line graphs of subdivisions of a $(t \times t)$-wall. It is known that graphs with bounded treewidth must be $t$-clean for some $t$; however, it is not true that every $t$-clean graph has bounded treewidth. In this paper, we show that three types of cutsets, namely clique cutsets, 2-cutsets, and 1-joins, interact well with treewidth and with each other, so graphs that are decomposable by these cutsets into basic classes of bounded treewidth have bounded treewidth. We apply this result to two hereditary graph classes, the class of ($ISK_4$, wheel)-free graphs and the class of graphs with no cycle with a unique chord. These classes were previously studied and decomposition theorems were obtained for both classes. Our main results are that $t$-clean ($ISK_4$, wheel)-free graphs have bounded treewidth and that $t$-clean graphs with no cycle with a unique chord have bounded treewidth.
Hypergraph Turán densities can have arbitrarily large algebraic degree
Published
• View Publication
• BIB
Grosu [On the algebraic and topological structure of the set of Turán densities. \emph{J. Combin. Theory Ser. B} \textbf{118} (2016) 137--185] asked if there exist an integer $r\ge 3$ and a finite family of $r$-graphs whose Turán density, as a real number, has (algebraic) degree greater than~$r-1$. In this note we show that, for all integers $r\ge 3$ and $d$, there exists a finite family of $r$-graphs whose Turán density has degree at least~$d$, thus answering Grosu's question in a strong form.
Sprague-Grundy values and complexity for LCTR
Published
• View Publication
• BIB
Given an integer partition of $n$, we consider the impartial combinatorial game LCTR in which moves consist of removing either the left column or top row of its Young diagram. We show that for both normal and misère play, the optimal strategy can consist mostly of mirroring the opponent's moves. We also establish that both LCTR and Downright are domestic as well as returnable, and on the other hand neither tame nor forced. For both games, those structural observations allow for computing the Sprague-Grundy value any position in $O(\log(n))$ time, assuming that the time unit allows for reading an integer, or performing a basic arithmetic operation. This improves on the previously known bound of $O(n)$ due to Ilić (2019). We also cover some other complexity measures of both games, such as state-space complexity, and number of leaves and nodes in the corresponding game tree.