Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Improved quadratic Gowers uniformity for the Möbius function
We demonstrate that $$\|μ\|_{U^3([N])} \ll_{A}^{\text{ineff}} \log^{-A}(N)$$ $$\|Λ- Λ_Q\|_{U^3([N])} \ll_{A}^{\text{ineff}} \log^{-A}(N)$$ for any $A > 0$ where $Λ_Q$ is an approximant to the von Mangoldt function and will be defined below, improving upon a bound of Tao-Teräväinen (2021). As a consequence, among other things, we have the following: $$\mathbb{E}_{x, y \in [N], x + 3y \in [N]} Λ(x)Λ(x + y)Λ(x + 2y)Λ(x + 3y) = \mathfrak{S} + O_A(\log^{-A}(N))$$ where $\mathfrak{S}$ is the singular series for the configuration $(x, x + y, x + 2y, x + 3y)$. In fact, we show that $$\|μ- μ_{Siegel}\|_{U^3([N])} \ll \exp(-O(\log^{1/C}(N)))$$ $$\|Λ- Λ_{Siegel}\|_{U^3([N])} \ll \exp(-O(\log^{1/C}(N)))$$ where $μ_{Siegel}$ and $Λ_{Siegel}$ are approximants of $μ$, and $Λ$, respectively, representing the Siegel zero contribution of $μ$ and are defined in the above article. To do so, we use an improvement of the $U^3$ inverse theorem due to Sanders and we follow the approach of Green and Tao (2007), opting to use the ``old-fashioned" approach to equidistribution on two-step nilmanifolds which was also considered by Green and Tao (2017), and by Gowers and Wolf (2010). To the author's knowledge, this is the first time that quadratic Fourier analysis over $\mathbb{Z}/N\mathbb{Z}$ has achieved quasi-polynomial type bounds in applications.
Clustering Cluster Algebras with Clusters
Published in Advances in Theoretical and Mathematical Physics, Volume 27 (2023) Number 3, pp. 797-828
• View Publication
• BIB
Classification of cluster variables in cluster algebras (in particular, Grassmannian cluster algebras) is an important problem, which has direct application to computations of scattering amplitudes in physics. In this paper, we apply the tableaux method to classify cluster variables in Grassmannian cluster algebras $\mathbb{C}[Gr(k,n)]$ up to $(k,n)=(3,12), (4,10)$, or $(4,12)$ up to a certain number of columns of tableaux, using HPC clusters. These datasets are made available on GitHub. Supervised and unsupervised machine learning methods are used to analyse this data and identify structures associated to tableaux corresponding to cluster variables. Conjectures are raised associated to the enumeration of tableaux at each rank and the tableaux structure which creates a cluster variable, with the aid of machine learning.
Degree lowering for ergodic averages along arithmetic progressions
Published
• View Publication
• BIB
We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which averages of length $\ell$ of the aforementioned form have the same limit as averages of $\ell$-term arithmetic progressions. As a corollary, we derive a sufficient condition for the presence of arithmetic progressions with length $\ell+1$ and restricted differences in dense subsets of integers. These results are a consequence of the following general theorem: in order to verify that a multiple ergodic average is controlled by the degree $d$ Gowers-Host-Kra seminorm, it suffices to show that it is controlled by some Gowers-Host-Kra seminorm, and that the degree $d$ control follows whenever we have degree $d+1$ control. The proof relies on an elementary inverse theorem for the Gowers-Host-Kra seminorms involving dual functions, combined with novel estimates on averages of seminorms of dual functions. We use these estimates to obtain a higher order variant of the degree lowering argument previously used to cover averages that converge to the product of integrals.
New presences of $π$ and $e$ in Pascal's triangle
The following work shows new connections between the constants $π$ and $e$ with Pascal's triangle and the Lucas triangle, established via Fibonacci polynomials and similar means. Furthermore, relations between the two famous constants and the rows of Pascal's triangle and the Lucas triangle are conjectured, together with some other important related identities.
A non-constructive proof of the Four Colour Theorem
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
A $q$-analog of the Markoff injectivity conjecture holds
Published in Algebraic Combinatorics 6 (2023) 1677-1685
• View Publication
• BIB
The elements of Markoff triples are given by coefficients in certain matrix products defined by Christoffel words, and the Markoff injectivity conjecture, a long-standing open problem (also known as the uniqueness conjecture), is then equivalent to injectivity on Christoffel words. A $q$-analog of these matrix products has been proposed recently, and we prove that injectivity on Christoffel words holds for this $q$-analog. The proof is based on the evaluation at $q = \exp(iπ/3)$. Other roots of unity provide some information on the original problem, which corresponds to the case $q=1$. We also extend the problem to arbitrary words and provide a large family of pairs of words where injectivity does not hold.
Extending Grundy domination to $k$-Grundy domination
The Grundy domination number of a graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$ satisfying $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Recently, a generalization of this concept called $k$-Grundy domination was introduced. In $k$-Grundy domination, a vertex $v$ can be included in $S$ if it has a neighbor $u$ such that $u$ appears in the closed neighborhood of fewer than $k$ vertices of $S$. In this paper, we determine the $k$-Grundy domination number for some families of graphs, find degree-based bounds for the $k$-$L$-Grundy domination number, and define a relationship between the $k$-$Z$-Grundy domination number and the $k$-forcing number of a graph.
Antipaths in oriented graphs
We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomassé and Reed.
Generating Functions for Asymmetric Random Walk Processes With Double Absorbing Barriers
Published
• View Publication
• BIB
Generating functions for asymmetric step-size paths restricted by two absorbing barriers are derived. The method begins by applying the Lagrange inversion formula to arbitrary powers of roots of the characteristic equation, that being a trinomial, which produces generating function as function (z) of the conditional probability of absorption of a particle, on a path restricted by two absorbing barriers. The exact enumeration of an asymmetric walk with two absorbing barriers is given.
New sufficient degree conditions for an $r$-uniform hypergraph to be $k$-edge-connected
An $r$-uniform hypergraphic sequence (i.e., $r$-graphic sequence) $d=(d_1, d_2,\cdots,d_n)$ is said to be forcibly $k$-edge-connected if every realization of $d$ is $k$-edge-connected. In this paper, we obtain a strongest sufficient degree condition for $d$ to be $k$-edge-connected for all $k\ge 1$ and a strongest sufficient degree condition for $d$ to be super edge-connected. As a corollary, we give the minimum degree condition for $d$ to be maximally edge-connected. We also obtain another sufficient degree condition for $d$ to be $k$-edge-connected.
Property of upper bounds on the number of rich words
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. Let $q\geq 2$ be the size of the alphabet. Let $R(n)$ be the number of rich words of length $n$. Let $d>1$ be a real constant and let $φ, ψ$ be real functions such that \begin{itemize}\item there is $n_0$ such that $2ψ(2^{-1}φ(n))\geq dψ(n)$ for all $n>n_0$, \item $\frac{n}{φ(n)}$ is an upper bound on the palindromic length of rich words of length $n$, and \item $\frac{x}{ψ(x)}+\frac{x\ln{(φ(x))}}{φ(x)}$ is a strictly increasing concave function. \end{itemize} We show that if $c_1,c_2$ are real constants and $R(n)\leq q^{c_1\frac{n}{ψ(n)}+c_2\frac{n\ln(φ(n))}{φ(n)}}$ then for every real constant $c_3>0$ there is a positive integer $n_0$ such that for all $n>n_0$ we have that \[R(n)\leq q^{(c_1+c_3)\frac{n}{dψ(n)}+c_2\frac{n\ln(φ(n))}{φ(n)}(1+\frac{1}{c_2\ln{q}}+c_3)}\mbox{.}\]
Unconstrained Traveling Tournament Problem is APX-complete
Published
• View Publication
• BIB
We show that the Unconstrained Traveling Tournament Problem (UTTP) is APX-complete by presenting an L-reduction from a version of metric (1,2)-TSP to UTTP.
Keywords: Traveling Tournament Problem, APX-complete, Approximation algorithms, Traveling Salesman Problem
Cohen-Macaulay binomial edge ideals of small graphs
Published
• View Publication
• BIB
A combinatorial property that characterizes Cohen-Macaulay binomial edge ideals has long been elusive. A recent conjecture ties the Cohen-Macaulayness of a binomial edge ideal $J_G$ to special disconnecting sets of vertices of its underlying graph $G$, called \textit{cut sets}. More precisely, the conjecture states that $J_G$ is Cohen-Macaulay if and only if $J_G$ is unmixed and the collection of the cut sets of $G$ is an accessible set system. In this paper we prove the conjecture theoretically for all graphs with up to $12$ vertices and develop an algorithm that allows to computationally check the conjecture for all graphs with up to $15$ vertices and all blocks with whiskers where the block has at most $11$ vertices. This significantly extends previous computational results.
Problems, proofs, and disproofs on the inversion number
Published
• View Publication
• BIB
The {\it inversion} of a set $X$ of vertices in a digraph $D$ consists in reversing the direction of all arcs of $D\langle X\rangle$. The {\it inversion number} of an oriented graph $D$, denoted by ${\rm inv}(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic oriented graph. In this paper, we study a number of problems involving the inversion number of oriented graphs. Firstly, we give bounds on ${\rm inv}(n)$, the maximum of the inversion numbers of the oriented graphs of order $n$. We show $n - \mathcal{O}(\sqrt{n\log n}) \ \leq \ {\rm inv}(n) \ \leq \ n - \lceil \log (n+1) \rceil$. Secondly, we disprove a conjecture of Bang-Jensen et al. asserting that, for every pair of oriented graphs $L$ and $R$, we have ${\rm inv}(L\Rightarrow R) ={\rm inv}(L) + {\rm inv}(R)$, where $L\Rightarrow R$ is the oriented graph obtained from the disjoint union of $L$ and $R$ by adding all arcs from $L$ to $R$. Finally, we investigate whether, for all pairs of positive integers $k_1,k_2$, there exists an integer $f(k_1,k_2)$ such that if $D$ is an oriented graph with ${\rm inv}(D) \geq f(k_1,k_2)$ then there is a partition $(V_1, V_2)$ of $V(D)$ such that ${\rm inv}(D\langle V_i\rangle) \geq k_i$ for $i=1,2$. We show that $f(1,k)$ exists and $f(1,k)\leq k+10$ for all positive integers $k$. Further, we show that $f(k_1,k_2)$ exists for all pairs of positive integers $k_1,k_2$ when the oriented graphs in consideration are restricted to be tournaments.
Optimal cycles enclosing all the nodes of a $k$-dimensional hypercube
We solve the general problem of visiting all the $2^k$ nodes of a $k$-dimensional hypercube by using a polygonal chain that has minimum link-length, and we show that this optimal value is given by $h(2,k):=3 \cdot 2^{k-2}$ if and only if $k \in \mathbb{N}-\{0,1\}$. Furthermore, for any $k$ above one, we constructively prove that it is possible to visit once and only once all the aforementioned nodes, $H(2,k):=\{\{0,1\} \times \{0,1\} \times \dots \times \{0,1\}\} \subset \mathbb{R}^k$, with a cycle (i.e., a closed path) having only $3 \cdot 2^{k-2}$ links.
Counting closed walks in infinite regular trees using Catalan and Borel's triangles
We count the number of closed walks on a vertex in a regular tree using the Catalan's triangle and also the Borel's triangle, showing another combinatorial structure counted by these two array of numbers.
On lattice extensions
Published
• View Publication
• BIB
A lattice $Λ$ is said to be an extension of a sublattice $L$ of smaller rank if $L$ is equal to the intersection of $Λ$ with the subspace spanned by $L$. The goal of this paper is to initiate a systematic study of the geometry of lattice extensions. We start by proving the existence of a small-determinant extension of a given lattice, and then look at successive minima and covering radius. To this end, we investigate extensions (within an ambient lattice) preserving the successive minima of the given lattice, as well as extensions preserving the covering radius. We also exhibit some interesting arithmetic properties of deep holes of planar lattices.
Some divisibility properties of Jacobsthal numbers
In this paper we investigate some divisibility properties of Jacobsthal numbers.
Flag-transitive symmetric $2$-designs]{The symmetric $2$-$(v,k,λ)$ designs, with $k>λ\left(λ-3 \right)/2$, admitting a flag-transitive, point imprimitive automorphism group are known
Published
• View Publication
• BIB
The symmetric $2$-$(v,k,λ)$ designs, with $k>λ\left(λ-3 \right)/2$, admitting a flag-transitive, point-imprimitive automorphism group are completely classified: they are the known $2$-designs with parameters $(16,6,2),(45,12,3),(15,8,4)$ or $(96,20,4)$.
Edge Contraction and Line Graphs
Given a family of graphs $\mathcal{H}$, a graph $G$ is $\mathcal{H}$-free if any subset of $V(G)$ does not induce a subgraph of $G$ that is isomorphic to any graph in $\mathcal{H}$. We present sufficient and necessary conditions for a graph $G$ such that $G/e$ is $\mathcal{H}$-free for any edge $e$ in $E(G)$. Thereafter, we use these conditions to characterize claw-free and line graphs.