Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Factorizations into irreducible numerical semigroups
Every numerical semigroup can be expressed as an intersection of irreducible numerical semigroups. We show that the unions of sets of lengths of factorizations of numerical semigroups into irreducible numerical semigroups are all equal to $\mathbb{N}_{\ge 2}$.
On monochromatic solutions to linear equations over the integers
We study the number of monochromatic solutions to linear equations in a $2$-coloring of $\{1,\ldots,n\}$. We show that any nontrivial linear equation has a constant fraction of solutions that are monochromatic in any $2$-coloring of $\{1,\ldots,n\}$. We further study commonness of four-term equations and disprove a conjecture of Costello and Elvin by showing that, unlike over $\mathbb{F}_p$, the four-term equation $x_1 + 2x_2 - x_3 - 2x_4 = 0$ is uncommon over $\{1,\ldots,n\}$.
Stable functions and Følner's Theorem
Published
• View Publication
• BIB
We show that if $G$ is an amenable group and $A\subseteq G$ has positive upper Banach density, then there is an identity neighborhood $B$ in the Bohr topology on $G$ that is almost contained in $AA^{-1}$ in the sense that $B\backslash AA^{-1}$ has upper Banach density $0$. This generalizes the abelian case (due to Følner) and the countable case (due to Beiglböck, Bergelson, and Fish). The proof is indirectly based on local stable group theory in continuous logic. The main ingredients are Grothendieck's double-limit characterization of relatively weakly compact sets in spaces of continuous functions, along with results of Ellis and Nerurkar on the topological dynamics of weakly almost periodic flows.
A Proof of the Tree Packing Conjecture
We prove a conjecture of Gyárfás (1976), which asserts that any family of trees $T_1, \dots, T_{n}$ where each $T_k$ has $k$ vertices packs into $K_n$. We do so by translating the decomposition problem into a labeling problem, namely complete labeling. Our proof employs the polynomial method using a functional reformulation of the conjecture.
On the degrees of regular nut graphs and Cayley nut graphs
A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. It is known that infinitely many $d$-regular nut graphs exist for $3 \leq d \leq 12$ and for $d \geq 4$ such that $d \equiv 0 \pmod{4}$. Here it is shown that infinitely many $d$-regular nut graphs exist for each degree $d \geq 3$. Moreover, we prove that there are infinitely many $d$-regular Cayley nut graphs for each even $d \ge 4$. This implies that we have identified all feasible degrees $d$ for which a $d$-regular Cayley nut graph exists.
Relative position in binary substitutions
Given an infinite word ${\bf w}$ on a finite alphabet, an immediate question arises:~can we understand the frequency of letters in ${\bf w}$\,? For words that are the fixed points of substitutions, the answer to this question is often `yes' -- the details and methods of these answers have been well-documented. In this paper, toward a better-understanding of the fixed points of binary substitutions, we delve deeper by investigating, in fine detail, the position of letters by defining various position functions and proving results about their behavior. Our analysis reveals new information about the Fibonacci substitution and the extended Pisa family of substitutions, as well as a new characterization of the Thue--Morse sequence.
Rainbow Combinatorial Lines in Hypercubes
This paper is about the rainbow dual of the Hales Jewett number, providing general bounds an anti-Hales Jewett Number for hypercubes of length k and dimension n denoted $ah(k, n).$ The best general bounds this paper provides are: $(k-1)^n < ah(k, n) \leq \frac{(k-1)^2-2}{k-1}\cdot k^{n-1}+\frac{k+1}{k-1}.$ This paper also includes proofs about the specific cases of $k = 2$ and $k = 3$, where we show that $ah(2, n) = 2$ and $2^n < ah(3, n) \leq 3^{n-1} - 2\cdot3^{n-4} + 2$ for all natural numbers n $>$ 4. For $n < 4$, we have found the exact values: $ah(3, 1) = 3$, $ah(3, 2) = 5$, and $ah(3, 3) = 11$. In the case $n = 4$, we have found that $23 < ah(3, 4) \leq 27$.
A geometric realization of the chromatic symmetric function of a unit interval graph
Shareshian-Wachs, Brosnan-Chow, and Guay-Pacquet [Adv. Math. ${\bf 295}$ (2016), ${\bf 329}$ (2018), arXiv:1601.05498] realized the chromatic (quasi-)symmetric function of a unit interval graph in terms of Hessenberg varieties. Here we exhibit another realization of these chromatic (quasi-)symmetric functions in terms of the Betti cohomology of the variety $\mathscr X_Ψ$ defined in [arXiv:2301.00862]. This yields a new inductive combinatorial expression of these chromatic symmetric functions. Based on this, we propose a geometric refinement of the Stanley-Stembridge conjecture, whose validity would imply the Shareshian-Wachs conjecture.
Bounds on the exceptional set in the $abc$ conjecture
We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples $(a,b,c)\in [1,X]^3$, which satisfy $\mathrm{rad}(abc) < c^{1-ε}$. The proof is based on a combination of bounds for the density of integer points on varieties, coming from the determinant method, Thue equations, geometry of numbers, and Fourier analysis.
On generalized Turán problems with bounded matching number
Published
• View Publication
• BIB
The generalized Turán number $\mathrm{ex}(n, H, \mathcal{F})$ is defined as the maximum number of copies of a graph $H$ in an $n$-vertex graph that does not contain any graph $F \in \mathcal{F}$. Alon and Frankl initiated the study of Turán problems with a bounded matching number.In this paper, we establish stability results for generalized Turán problems with bounded matching number.Using the stability results, we provide exact values of $\ex(n,K_r,\{F,M_{s+1}\})$ for $F$ being any non-bipartite graph or a path on $k$ vertices.
The geometry of covering codes in the sum-rank metric
Published
• View Publication
• BIB
We introduce the concept of a sum-rank saturating system and outline its correspondence to a covering properties of a sum-rank metric code. We consider the problem of determining the shortest sum-rank-$ρ$-saturating systems of a fixed dimension, which is equivalent to the covering problem in the sum-rank metric. We obtain upper and lower bounds on this quantity. We also give constructions of saturating systems arising from geometrical structures.
The gold partition conjecture and the Lexicographic sum of posets
If a finite poset $Q$ satisfies the Gold Partition Conjecture, and $P$ is a finite poset, then for any $i$ in $P$ the lexicographic sum of $P$ with $Q$ on the point $i$, satisfies the Gold Partition Conjecture.
Stability properties for subgroups generated by return words
Published
• View Publication
• BIB
Return words are a classical tool for studying shift spaces with low factor complexity. In recent years, their projection inside groups have attracted some attention, for instance in the context of dendric shift spaces, of generation of pseudorandom numbers (through the welldoc property), and of profinite invariants of shift spaces. Aiming at unifying disparate works, we introduce a notion of stability for subgroups generated by return words. Within this framework, we revisit several existing results and generalize some of them. We also study general aspects of stability, such as decidability or closure under certain operations.
$B$-Stirling numbers associated to potential polynomials
Published
• View Publication
• BIB
We introduce the $B$-Stirling numbers of the first and second kind, which are the coefficients of the potential polynomials when we express them in terms of the monomials and the falling factorials, respectively. These numbers include, as particular cases, the partial and complete Bell polynomials, the degenerate and probabilistic Stirling numbers, and the $S$-restricted Stirling numbers, among others. Special attention is devoted to the computation of such numbers. On the one hand, a recursive formula is provided. On the other, we can compute Stirling numbers of one kind in terms of the other, with the help of the classical Stirling numbers.
Arc-disjoint in- and out-branchings in semicomplete split digraphs
Published
• View Publication
• BIB
An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digraph has any good pair is NP-complete. A \emph{semicomplete split digraph} is a digraph where the vertex set is the disjoint union of two non-empty sets, $V_1$ and $V_2$, such that $V_1$ is an independent set, the subdigraph induced by $V_2$ is semicomplete, and every vertex in $V_1$ is adjacent to every vertex in $V_2$. In this paper, we prove that every $2$-arc-strong semicomplete split digraph $D$ contains a good $(u, v)$-pair for any choice of vertices $u, v$ of $D$, thereby confirming a conjecture by Bang-Jensen and Wang [Bang-Jensen and Wang, J. Graph Theory, 2024].
Folded galleries and moment graphs
We characterize folding patterns, the combinatorial options of folding minimal alcove-to-alcove galleries in affine Coxeter complexes positively with respect to Weyl chamber orientations of the Coxeter complex, by drawing a connection to the Bruhat moment graph of the associated spherical Coxeter group. We also prove how to determine the spherical direction of the end alcove of a positively folded gallery using these graphs.
Quasi-linear distance query reconstruction for graphs of bounded treelength
In distance query reconstruction, we wish to reconstruct the edge set of a hidden graph by asking as few distance queries as possible to an oracle. Given two vertices $u$ and $v$, the oracle returns the shortest path distance between $u$ and $v$ in the graph.
The length of a tree decomposition is the maximum distance between two vertices contained in the same bag. The treelength of a graph is defined as the minimum length of a tree decomposition of this graph. We present an algorithm to reconstruct an $n$-vertex connected graph $G$ parameterized by maximum degree $Δ$ and treelength $k$ in $O_{k,Δ}(n \log^2 n)$ queries (in expectation). This is the first algorithm to achieve quasi-linear complexity for this class of graphs. The proof goes through a new lemma that could give independent insight on graphs of bounded treelength.
The geometry of quasisymmetric coinvariants
We develop a quasisymmetric analogue of the theory of Schubert cycles, building off of our previous work on a quasisymmetric analogue of Schubert polynomials and divided differences. Our constructions result in a natural geometric interpretation for the ring of quasisymmetric coinvariants.
Pivot polytopes of products of simplices and shuffles of associahedra
Published
• View Publication
• BIB
We provide a piecewise linear isomorphism from the normal fan of the pivot polytope of a product of simplices to the normal fan of a shuffle of associahedra.
Palindromic length of infinite aperiodic words
Published
• View Publication
• BIB
The palindromic length of the finite word $v$ is equal to the minimal number of palindromes whose concatenation is equal to $v$. It was conjectured in 2013 that for every infinite aperiodic word $x$, the palindromic length of its factors is not bounded. We prove this conjecture to be true.