Showing 20 papers (Total: 81564 papers, 47262 authors in database)
On the convex hull of integer points above the hyperbola
We show that the polyhedron defined as the convex hull of the lattice points above the hyperbola $\left\{xy = n\right\}$ has between $Ω(n^{1/3})$ and $O(n^{1/3} \log n)$ vertices. The same bounds apply to any hyperbola with rational slopes except that instead of $n$ we have $n/Δ$ in the lower bound and by $\max\left\{Δ, n/Δ\right\}$ in the upper bound, where $Δ\in \mathbb{Z}_{>0}$ is the discriminant.
We also give an algorithm that enumerates the vertices of these convex hulls in logarithmic time per vertex. One motivation for such an algorithm is the deterministic factorization of integers.
Toric ideal of matching polytopes and edge colorings
In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.
Fast exact recovery of noisy matrix from few entries: the infinity norm approach
The matrix recovery (completion) problem, a central problem in data science and theoretical computer science, is to recover a matrix $A$ from a relatively small sample of entries.
While such a task is impossible in general, it has been shown that one can recover $A$ exactly in polynomial time, with high probability, from a random subset of entries, under three (basic and necessary) assumptions: (1) the rank of $A$ is very small compared to its dimensions (low rank), (2) $A$ has delocalized singular vectors (incoherence), and (3) the sample size is sufficiently large.
There are many different algorithms for the task, including convex optimization by Candes, Tao and Recht (2009), alternating projection by Hardt and Wooters (2014) and low rank approximation with gradient descent by Keshavan, Montanari and Oh (2009, 2010).
In applications, it is more realistic to assume that data is noisy. In this case, these approaches provide an approximate recovery with small root mean square error. However, it is hard to transform such an approximate recovery to an exact one.
Recently, results by Abbe et al. (2017) and Bhardwaj et al. (2023) concerning approximation in the infinity norm showed that we can achieve exact recovery even in the noisy case, given that the ground matrix has bounded precision. Beyond the three basic assumptions above, they required either the condition number of $A$ is small (Abbe et al.) or the gap between consecutive singular values is large (Bhardwaj et al.).
In this paper, we remove these extra spectral assumptions. As a result, we obtain a simple algorithm for exact recovery in the noisy case, under only the three basic assumptions. This is the first such algorithm. To analyse this algorithm, we introduce a contour integration argument which is totally different from all previous methods and may be of independent interest.
On a hypergraph Mantel theorem
An $r$-graph is a triangle if there exists a positive integer $i \le \lceil r/2 \rceil$ such that it is isomorphic to the following $r$-graph with three edges: \begin{align*}
\left\{\{1, \ldots, r\},~\{1, \ldots, i, r+1, \ldots, 2r-i\},~\{i+1, \ldots, r, r+1, 2r-i+1, \ldots,2r-1\}\right\}. \end{align*} We prove an Andr{á}sfai--Erdős--Sós-type stability theorem for triangle-free $r$-graphs. In particular, it implies that for large $n$, the unique extremal triangle-free construction on $n$ vertices is the balanced complete $r$-partite $r$-graph. The latter result answers a question by Mubayi and Pikhurko~{\cite[Problem~20]{MPS11}} on weakly triangle-free $r$-graphs for large $n$ in a stronger form. The proof combines the recently introduced entropic technique of Chao--Yu~\cite{CY24} with the framework developed in~\cite{LMR23unif,HLZ24}.
A MacMahon Analysis View of Cylindric Partitions
We study cylindric partitions with two-element profiles using MacMahon's partition analysis. We find explicit formulas for the generating functions of the number of cylindric partitions by first finding the recurrences using partition analysis and then solving them. We also note some q-series identities related to these objects that show the manifestly positive nature of some alternating series. We generalize the proven identities and conjecture new polynomial refinements of Andrews-Gordon and Bressoud identities, which are companions to Foda-Quano's refinements. Finally, using a variant of the Bailey lemma, we present many new infinite hierarchies of polynomial identities.
Well-failed graphs
In this paper we begin the study of well-failed graphs, that is, graphs in which every maximal failed zero forcing set is a maximum failed zero forcing set, or equivalently, in which every minimal fort is a minimum fort. We characterize trees that are well-failed. Along the way, we prove that the set of vertices in a graph that are not in any minimal fort is identical to the set of vertices that are in no minimal zero forcing set, which allows us to characterize vertices in a tree that are in no minimal fort.
The General Position Problem: A Survey
Inspired by a chessboard puzzle of Dudeney, the general position problem in graph theory asks for a largest set $S$ of vertices in a graph such that no three elements of $S$ lie on a common shortest path. The number of vertices in such a largest set is the \emph{general position number} of the graph. This paper provides a survey of this rapidly growing problem, which now has an extensive literature. We cover exact results for various graph classes and the behaviour of the general position number under graph products and operations. We also discuss interesting variations of the general position problem, including those corresponding to different graph convexities, as well as dynamic, fractional, colouring and game versions of the problem.
The integer $\{2\}$-domination number of grids
For positive integers $m$ and $n$, the grid graph $G_{m,n}$ is the Cartesian product of the path graph $P_m$ on $m$ vertices and the path graph $P_n$ on $n$ vertices. An integer $\{2\}$-dominating function of a graph is a mapping from the vertex set to $\{0,1,2\}$ such that the sum of the mapped values of each vertex and its neighbors is at least $2$; the integer $\{2\}$-domination number of a graph is defined to be the minimum sum of mapped values of all vertices among all integer $\{2\}$-dominating functions. In this paper, we compute the integer $\{2\}$-domination numbers of $G_{1,n}$ and $G_{2,n}$, attain an upper bound to the integer $\{2\}$-domination numbers of $G_{3,n}$, and propose an algorithm to count the integer $\{2\}$-domination numbers of $G_{m,n}$ for arbitrary $m$ and $n$. As a future work, we list the integer $\{2\}$-domination numbers of $G_{4,n}$ for small $n$, and conjecture on its formula.
Rainbow Erdős-Sós Conjectures
An edge colored graph is said to contain rainbow-$F$ if $F$ is a subgraph and every edge receives a different color. In 2007, Keevash, Mubayi, Sudakov, and Verstraëte introduced the \emph{rainbow extremal number} $\mathrm{ex}^*(n,F)$, a variant on the classical Turán problem, asking for the maximum number of edges in a $n$-vertex properly edge-colored graph which does not contain a rainbow-$F$. In the following years many authors have studied the asymptotic behavior of $\mathrm{ex}^*(n,F)$ when $F$ is bipartite. In the particular case that $F$ is a tree $T$, the infamous Erdös-Sós conjecture says that the extremal number of $T$ depends only on the size of $T$ and not its structure. After observing that such a pattern cannot hold for $\mathrm{ex}^*$ in the usual setting, we propose that the relative rainbow extremal number $\mathrm{ex}^*(Q_n,T)$ in the $n$-dimensional hypercube $Q_n$ will satisfy an Erdös-Sós type Conjecture and verify it for some infinite families of trees $T$.
Roller Coaster Gorenstein algebras and Koszul algebras failing the weak Lefschetz property
Inspired by the Roller Coaster Theorem from graph theory, we prove the existence of artinian Gorenstein algebras with unconstrained Hilbert series, which we call Roller Coaster algebras. Our construction relies on Nagata idealization of quadratic monomial algebras defined by whiskered graphs. The monomial algebras are interesting in their own right, as our results suggest that artinian level algebras defined by quadratic monomial ideals rarely have the weak Lefschetz property. In addition, we discover a large family of G-quadratic Gorenstein algebras failing the weak Lefschetz property.
Construction Techniques for Linear Realizations of Multisets with Small Support
A Hamiltonian path in the complete graph $K_v$ whose vertices are labeled with the integers $0,1,\ldots,v-1$ is a linear realization for the multiset $L$ of the linear edge-lengths (given by $|x-y|$ for the edge between vertices $x$ and $y$) of the edges in the path. A linear realization is standard if an end-vertex is 0 and perfect if the end-vertices are 0 and $v-1$.
Linear realizations are useful in the study of the Buratti-Horak-Rosa (BHR) Conjecture on the existence of cyclic realizations (where cyclic edge-lengths are given by distance modulo $v$) for given multisets. In this paper, we focus on multisets of the form $\{1^a, (y-k)^b, y^c\}$.
Using core perfect linear realizations for supports of size 2 (which have the forms $\{x^{y-1},y^{x+1}\}$ whenever $\gcd(x,y)=1$), we construct standard linear realizations (with $a=k-1$, $b=j(y-k)$, $c=jy$) when $k\mid y$ or $k \leq 4$. When $k=2$, these allow us to show that there is a linear realization whenever $a \geq y$. This is in line with the known results for the case of $k=1$. We also supplement these results for $k=1$ by constructing linear realizations whenever $b+c < y$ and $a \geq y - \min(b,c)$, from which the coprime version of the BHR Conjecture (requiring that $v$ is coprime with each element of the multiset) follows for $k=1$ when $y \leq 16$.
Our methods show promise for constructing linear realizations for arbitrary $k$, in the direction of a resolution of the BHR Conjecture for supports of size 3.
Settling the no-$(k+1)$-in-line problem when $k$ is not small
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities.
Convolution numbers: the cyclic case
Convolution sums are introduced and special instances of the cyclic convolution on finite sets is examined in more detail. The distributions that emerge are multidimensional generalizations of the Catalan and Narayana numbers. This work yields a closed form solution for 1-dimensional marginals and certain bivariate marginals in the cyclic prime case. It is explained how a sufficiently high resolution of understanding these multidimensional distributions yields an approach to attack the Hadamard matrix conjecture.
The Moebius function on the lattice of normal subgroups
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character table. The Moebius function is then used to extract information on the faithful irreducible representations of a group.
Solving infinitary Rubik's cubes
We develop infinitary analogues of the $N\times N\times N$ Rubik's cube. We'll be pushed to consider the possibility of transfinitely many twists and the foremost question we shall study is whether or not all infinite scrambles are solvable, in principle, and in how many twists. As is typical of infinitary generalizations of everyday games and puzzles, several alternative definitions are reasonable, including in particular the edged and edgeless cubes, which bear surprising theoretical differences, not analogous to the finite case. We show that for the edged cube of cardinality $\aleph_α$, all convergent (in a suitable sense) scrambles are in fact solvable in principle in fewer than $ω_{α+1}$ many moves. For the countable edgeless variation, we prove by entirely different methods that all convergent scrambles are solvable in a mere $ω^2$ many moves and this solution does not require knowledge of how the scrambled configuration was obtained. Finally, we explore the space of all legal configurations of the countable edgeless cube connected to the solved configuration by accessibility. We invite several open questions, including the solvability in principle of edgeless cubes of uncountable cardinality.
Extremal distance spectral radius of graphs with fixed size
Let $m$ be a positive integer. Brualdi and Hoffman proposed the problem to determine the (connected) graphs with maximum spectral radius in a given graph class and they posed a conjecture for the class of graphs with given size $m$. After partial results due to Friedland and Stanley, Rowlinson completely confirmed the conjecture. The distance spectral radius of a connected graph is the largest eigenvalue of its distance matrix. We investigate the problem to determine the connected graphs with minimum distance spectral radius in the class of graphs with size $m$. Given $m$, there is exactly one positive integer $n$ such that ${n-1\choose 2} <m\leq {n\choose 2}$. We establish some structural properties of the extremal graphs for all $m$ and solve the problem for ${n-1\choose 2}+\max\{\frac{n-6}{2},1\}\le m\leq {n\choose 2}$. We give a conjecture for the remaining case. To prove the main results, we also determine the the complements of forests of fixed order with large and small distance spectral radius.
Cointeraction on noncrossing partitions and related polynomial invariants
We study the structure of two cointeracting bialgebras on noncrossing partitions appearing in the theory of free probability. The first coproduct is given by separation of the blocks of the partitions into two parts, with respect to the nestings, while the second one is given by fusion of blocks. This structure implies the existence of a unique polynomial invariant respecting the product and both coproducts. We give a combinatorial interpretation of this invariant, study its values at -1 and use it for the computation of the antipode. We also give several results on its coefficients when applied to noncrossing partitions with no nesting. This leads to unexpected links with harmonic nested sums, Riordan arrays, composition of formal series and generalized Stirling numbers. This polynomial invariant is shown to be related to other ones, counting increasing or strictly increasing maps for the nesting order on noncrossing partitions, through the action of several characters.
On 3-isoregularity of multicirculants
A graph is said to be $k$-{\em isoregular} if any two vertex subsets of cardinality at most $k$, that induce subgraphs of the same isomorphism type, have the same number of neighbors. It is shown that no $3$-isoregular bicirculant (and more generally, no locally $3$-isoregular bicirculant) of order twice an odd number exists. Further, partial results for bicirculants of order twice an even number as well as tricirculants of specific orders, are also obtained. Since $3$-isoregular graphs are necessarily strongly regular, the above result about bicirculants, among other, brings us a step closer to obtaining a direct proof of a classical consequence of the Classification of Finite Simple Groups that no simply primitive group of degree twice a prime exists for primes greater than $5$.
Triangle-free $d$-degenerate graphs have small fractional chromatic number
A well-known conjecture by Harris states that any triangle-free $d$-degenerate graph has fractional chromatic number at most $O\left(\frac{d}{\ln d}\right)$. This conjecture has gained much attention in recent years, and is known to have many interesting implications, including a conjecture by Esperet, Kang and Thomassé that any triangle-free graph with minimum degree $d$ contains a bipartite induced subgraph of minimum degree $Ω(\log d)$. Despite this attention, Harris' conjecture has remained wide open with no known improvement on the trivial upper bound, until now.
In this article, we give an elegant proof of Harris' conjecture. In particular, we show that any triangle-free $d$-degenerate graph has fractional chromatic number at most $(4+o(1))\frac{d}{\ln d}.$ The conjecture of Esperet et al. follows as a direct consequence. We also prove a more general result, showing that for any triangle-free graph $G$, there exists a random independent set in which each vertex $v$ is included with probability $Ω(p(v))$, where $p:V(G)\rightarrow [0,1]$ is any function that satisfies a natural condition.
On the minimum cut-sets of the power graph of a finite cyclic group, II
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$ and two distinct vertices are adjacent if one of them is a power of the other. Let $n=p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r},$ where $p_1,p_2,\ldots,p_r$ are primes with $p_1<p_2<\cdots <p_r$ and $n_1,n_2,\ldots, n_r$ are positive integers. For the cyclic group $C_n$ of order $n$, the minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. Recently, in \cite{MPS}, certain cut-sets of $\mathcal{P}(C_n)$ are identified such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them. In this paper, for $r\geq 4$, we explicitly determine the minimum cut-sets, in particular, the vertex connectivity of $\mathcal{P}(C_n)$ when: (i) $n_r\geq 2$, (ii) $r=4$ and $n_r=1$, and (iii) $r=5$, $n_r=1$, $p_1\geq 3$.