Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Obtuse almost-equiangular sets
For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $α(n, t)$ of such a set based on an extension of the Lovász theta number to hypergraphs. This bound is at least as good as previously known bounds and for many values of $n$ and $t$ it is better.
We also refine existing spectral methods to show that $α(n, t) \leq 2(n+1)$ for all $n$ and $t \leq 0$, with equality only at $t = -1/n$. This allows us to show the uniqueness of the optimal construction at $t = -1/n$ for $n \leq 5$ and to enumerate all possible constructions for $n \leq 3$ and $t \leq 0$.
Projected Gradient Descent Method for Tropical Principal Component Analysis over Tree Space
In 2019, Yoshida et al. developed tropical Principal Component Analysis (PCA), that is, an analogue of the classical PCA in the setting of tropical geometry and applied it to visualize a set of gene trees over a space of phylogenetic trees which is an union of lower dimensional polyhedral cones in an Euclidean space with its dimension $m(m-1)/2$ where $m$ is the number of leaves. In this paper, we introduce a projected gradient descent method to estimate the tropical principal polytope over the space of phylogenetic trees and we apply it to apicomplexa dataset. With computational experiment against Markov Chain Monte Carlo (MCMC) samplers, we show that our projected gradient descent has a lower sum of tropical distances between observations and their projections on an estimated best-fit tropical polytope compared with the MCMC approach proposed by Page et al.~in 2020.
Minimum-Turn Tours of Even Polyominoes
Let $P$ be a connected bounded region in the plane formed out of $2 \times 2$ blocks joined by their sides. Peng and Rascoussier conjectured that all minimum-turn Hamiltonian cycles of $P$ exhibit a certain regular structure. We prove this conjecture in the special case when $P$ is a topological disk. The proof proceeds in two phases - a "downward" phase where we break apart an irregular Hamiltonian cycle into a collection of shorter cycles; and an "upward" phase where we put it back together in a different way so that, overall, the number of turns in it decreases.
The Higman-M\lowercase{c}Laughlin Theorem for the flag-transitive $2$-designs with $λ$ prime
A famous result of Higman and McLaughlin \cite{HM} in 1961 asserts that any flag-transitive automorphism group $G$ of a $2$-design $\mathcal{D}$ with $λ=1$ acts point-primitively on $\mathcal{D}$. In this paper, we show that the Higman and McLaughlin theorem is still true when $λ$ is a prime and $\mathcal{D}$ is not isomorphic to one of the two $2$-$(16,6,2)$ designs as in [42, Section 1.2], or the $2$-$(45,12,3)$ design as in [44, Construction 4.2], or, when $2^{2^{j}}+1$ is a Fermat prime, a possible $2$-$(2^{2^{j+1}}(2^{2^{j}}+2),2^{2^{j}}(2^{2^{j}}+1),2^{2^{j}}+1)$ design having very specific features.
Optimal Hardness of Online Algorithms for Large Independent Sets
We study the algorithmic problem of finding a large independent set in the Erd{ö}s-Rényi random graph $G(n,p)$. For constant $p$ and $b=1/(1-p)$, the largest independent set has size $2\log_b n$, while a simple greedy algorithm - revealing vertices sequentially and making decisions based only on previously seen vertices - finds an independent set of size $\log_b n$. In his seminal 1976 paper, Karp challenged to either improve this guarantee or establish its hardness. Decades later, this problem remains open - one of the most prominent algorithmic problems in the theory of random graphs.
In this paper, we establish that a broad class of online algorithms fails to find an independent set of size $(1+ε)\log_b n$ whp. This class includes Karp's algorithm as a special case, and extends it by allowing the algorithm to query exceptional edges, not yet "seen" by the algorithm. Our lower bound holds for $p\in [d/n,1-n^{-1/d}]$. In the dense regime (constant $p$), we also prove that our result is asymptotically tight with respect to the number of exceptional edges queried, by designing an online algorithm which beats the half-optimality threshold when the number of exceptional edges slightly exceeds our bound.
Our result provides evidence for the algorithmic hardness of Karp's problem, by supporting the conjectured optimality of the greedy algorithm and establishing it within the class of online algorithms. Our proof relies on a refined analysis of the geometric structure of large independent sets, establishing a variant of the Overlap Gap Property (OGP). While OGP has predominantly served as a barrier to stable algorithms, online algorithms are inherently unstable, necessitating new ideas. Our proof refines the OGP framework by incorporating several new ideas (including temporal interpolation paths and stopping-times) that we expect to be useful for other online models.
Laplacian quantum walks on blow-up graphs
This paper is a sequel to the work of Bhattacharjya et al.\ (J. Phys. A-Math. 57.33: 335303, https://doi.org/10.1088/1751-8121/ad6653) on quantum state transfer on blow-up graphs, where instead of the adjacency matrix, we take the Laplacian matrix as the time-independent Hamiltonian associated with a blow-up graph. We characterize strong cospectrality, periodicity, perfect state transfer (LPST) and pretty good state transfer (LPGST) on blow-up graphs. We present several constructions of blow-up graphs with LPST and produce new infinite families of regular graphs where each vertex is involved in LPST. We also determine LPST and LPGST in blow-ups of classes of trees. Finally, if $n\equiv 0$ (mod 4), then the blow-up of $n$ copies of a graph $G$ has no LPST, but we show that under certain conditions, the addition of an appropriate matching this blow-up graph results in LPST.
Leaf-to-leaf paths and cycles in degree-critical graphs
An $n$-vertex graph is degree 3-critical if it has $2n - 2$ edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following:
- every $n$-vertex degree 3-critical graph has $Ω(\log n)$ distinct cycle lengths;
-every tree with maximum degree $Δ\ge 3$ and $\ell$ leaves has at least $\log_{Δ-1}\, ((Δ-2)\ell)$ distinct leaf-to-leaf path lengths;
- for every integer $N\geq 1$, there exist arbitrarily large 1-3 trees which have $O(N^{0.91})$ distinct leaf-to-leaf path lengths smaller than $N$, and, conversely, every 1-3 tree on at least $2^N$ vertices has $Ω(N^{2/3})$ distinct leaf-to-leaf path lengths smaller than $N$.
Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.
A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case
The field of analytic combinatorics in several variables (ACSV) develops techniques to compute the asymptotic behaviour of multivariate sequences from analytic properties of their generating functions. When the generating function under consideration is rational, its set of singularities forms an algebraic variety -- called the singular variety -- and asymptotic behaviour depends heavily on the geometry of the singular variety. By combining a recent algorithm for the Whitney stratification of algebraic varieties with methods from ACSV, we present the first software that rigorously computes asymptotics of sequences whose generating functions have non-smooth singular varieties (under other assumptions on local geometry). Our work is built on the existing sage_acsv package for the SageMath computer algebra system, which previously gave asymptotics under a smoothness assumption. We also report on other improvements to the package, such as an efficient technique for determining higher order asymptotic expansions using Newton iteration, the ability to use more efficient backends for algebraic computations, and a method to compute so-called critical points for any multivariate rational function through Whitney stratification.
Arbitrary orientations of cycles in oriented graphs
We show that every sufficiently large oriented graph $G$ with minimum indegree and outdegree both at least $(3|V(G)|-1)/8$ contains every orientation of a Hamilton cycle. This result improves the approximate bound established by Kelly and resolves a long-standing problem posed by Häggkvist and Thomason in 1995. The degree condition is tight and it can be improved to $(3|V(G)|-4)/8$ for Hamilton cycles that are nearly directed, generalizing a classic result by Keevash, Kühn and Osthus. Additionally, we derive a pancyclicity result for arbitrary orientations. More precisely, the above degree condition suffices to guarantee the existence of cycles of every possible orientation and every possible length unless $G$ is isomorphic to one of the exceptional oriented graphs.
On the divisibility of sums of Fibonacci numbers
We show that for infinitely many odd integers $n$, the sum of the first $n$ nonzero Fibonacci numbers is divisible by $n$. This resolves a conjecture of Fatehizadeh and Yaqubi.
Neo balcobalancing numbers
In this work, we defined neo balcobalancing numbers, neo Lucas-balcobalancing numbers, neo balcobalancers and neo Lucas-balcobalancers and derived the general terms of these numbers in terms of balancing numbers. Conversely we deduced the general terms of balancing, cobalancing, Lucas-balancing and Lucas-cobalancing numbers in terms of these numbers. We also deduced some relations on Binet formulas, recurrence relations, relationship with Pell, Pell-Lucas, triangular, square triangular numbers, Pythagorean triples and Cassini identities. We also formulate the sum of first $n$-terms of these numbers and obtained some formulas for the sums of Pell, Pell-Lucas, balancing and Lucas-cobalancing numbers in terms of these numbers.
Generalized Natural Density $\DF(\mathfrak{F}_n)$ of Fibonacci Word
This paper explores profound generalizations of the Fibonacci sequence, delving into random Fibonacci sequences, $k$-Fibonacci words, and their combinatorial properties. We established that the $n$-th root of the absolute value of terms in a random Fibonacci sequence converges to $1.13198824\ldots$, a symmetry identity for sums involving Fibonacci words, $\sum_{n=1}^{b} \frac{(-1)^n F_a}{F_n F_{n+a}} = \sum_{n=1}^{a} \frac{(-1)^n F_b}{F_n F_{n+b}}$, and an infinite series identity linking Fibonacci terms to the golden ratio. These findings underscore the intricate interplay between number theory and combinatorics, illuminating the rich structure of Fibonacci-related sequences. We provide, according to this paper, new concepts of density of Fibonacci word.
Maximizing subgraph density in graphs of bounded degree and clique number
We asymptotically determine the maximum density of subgraphs isomorphic to $H$, where $H$ is any graph containing a dominating vertex, in graphs $G$ on $n$ vertices with bounded maximum degree and bounded clique number. That is, we asymptotically determine the constant $c=c(H,Δ,ω)$ such that ex$(n,H,\{K_{1,Δ+1},K_{ω+1}\})=(1-o_n(1))cn$ where $ω$ is sufficiently large.
Following recent interest in the corresponding parameter mex$(m,H,F)$ where where we fix the number of edges $m$ instead of the number of vertices $n$ of the graph, we determine the asymptotics of mex$(m,H,\{K_{1,1,Δ+1},K_{ω+1}\})$ when $H$ has at least two dominating vertices.
We obtain these results via a uniform proof of a common technical generalization of both, where we fix the number of $u$-cliques in the graph. This general result may be of independent interest.
Then we localize these results, proving a tight inequality involving the sizes of the locally largest cliques and complete split graphs.
Nonnegativity of signomials with Newton simplex over $\mathcal{A}$-convex sets
We study a class of signomials whose positive support is the set of vertices of a simplex and which may have several negative support points in the simplex. Various groups of authors have provided an exact characterization for the global nonnegativity of a signomial in this class in terms of circuit signomials and that characterization provides a tractable nonnegativity test. We generalize this characterization to the constrained nonnegativity over a set $X$ under an additional convexity precondition in the exponential moment space. This provides a tractable nonnegativity test over $X$ for the class in terms of a power cone program. Our proof methods rely on a variant of the convex cone of constrained SAGE signomials (sums of arithmetic-geometric exponentials) and the duality theory.
The diagonal and Hadamard grade of hypergeometric functions
Diagonals of rational functions are an important class of functions arising in number theory, algebraic geometry, combinatorics, and physics. In this paper we study the diagonal grade of a function $f$, which is defined to be the smallest $n$ such that $f$ is the diagonal of a rational function in variables $x_0,\dots, x_n$. We relate the diagonal grade of a function to the nilpotence of the associated differential equation. This allows us to determine the diagonal grade of many hypergeometric functions and answer affirmatively the outstanding question on the existence of functions with diagonal grade greater than $2$. In particular, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has diagonal grade $n$ for each $n\geq 1$. Our method also applies to the generating function of the Apéry sequence, which we find to have diagonal grade $3$. We also answer related questions on Hadamard grades posed by Allouche and Mendès France. For example, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has Hadamard grade $n$ for all $n\geq 1$.
Further Comments on Yablo's Construction
We continue our analysis of Yablo's coding of the liar paradox by infinite acyclic graphs. The present notes are based on and continue the author's previous results on the problem. In particular, our approach is often more systematic than before.
Abstract simplicial complexes in {\tt Macaulay2}
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.
A discrete model for surface configuration spaces
One of the primary methods of studying the topology of configurations of points in a graph and configurations of disks in a planar region has been to examine discrete combinatorial models arising from the underlying spaces. Despite the success of these models in the graph and disk settings, they have not been constructed for the vast majority of surface configuration spaces. In this paper, we construct such a model for the ordered configuration space of $m$ points in an oriented surface $Σ$. More specifically, we prove that if we give $Σ$ a certain cube complex structure $K$, then the ordered configuration space of $m$ points in $Σ$ is homotopy equivalent to a subcomplex of $K^{m}$
Expected Length of the Longest Common Subsequence of Multiple Strings
We study the generalized Chvátal-Sankoff constant $γ_{k,d}$, which represents the normalized expected length of the longest common subsequence (LCS) of $d$ independent uniformly random strings over an alphabet of size $k$. We derive asymptotically tight bounds for $γ_{2,d}$, establishing that $γ_{2,d} = \frac{1}{2} + Θ\left(\frac{1}{\sqrt{d}}\right)$. We also derive asymptotically near-optimal bounds on $γ_{k,d}$ for $d\ge Ω(\log k)$.
Target Pebbling in Trees
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. A configuration $C$ is a supply of pebbles at various vertices of a graph $G$, and a distribution $D$ is a demand of pebbles at various vertices of $G$. The $D$-pebbling number, $π(G, D)$, of a graph $G$ is defined to be the minimum number $m$ such that every configuration of $m$ pebbles can satisfy the demand $D$ via pebbling moves. The special case in which $t$ pebbles are demanded on vertex $v$ is denoted $D=v^t$, and the $t$-fold pebbling number, $π_{t}(G)$, equals $\max_{v\in G}π(G,v^t)$. It was conjectured by Alcón, Gutierrez, and Hurlbert that the pebbling numbers of chordal graphs forbidding the pyramid graph can be calculated in polynomial time. Trees, of course, are the most prominent of such graphs. In 1989, Chung determined $π_t(T)$ for all trees $T$. In this paper, we provide a polynomial-time algorithm to compute the pebbling numbers $π(T,D)$ for all distributions $D$ on any tree $T$, and characterize maximum-size configurations that do not satisfy $D$.