Algoresearch L.L.C.（Algoreresearch有限责任公司）；Research Institute of the University of Bucharest（布加勒斯特大学研究所）；Alfréd Rényi Institute of Mathematics（阿尔弗雷德·雷尼数学研究所）
Let $X$ be a set of $n$ points in the plane, not all on a line. According to the Gallai-Sylvester
theorem, $X$ always spans an \emph{ordinary line}, i.e., one that passes through precisely 2
elements of $X$. Given an integer $c\ge 2,$ a \emph{line} spanned by $X$ is called
\emph{$c$-ordinary} if it passes through at most $c$ points of $X$. A \emph{triangle} spanned by 3
noncollinear points of $X$ is called \emph{$c$-ordinary} if all 3 lines determined by its sides
are \emph{$c$-ordinary}. Motivated by a question of Erd\H os, Fulek \emph{et al.}~\cite{FMN+17}
proved that there exists an absolute constant $c > 2$ such that if $X$ cannot be covered by 2
lines, then it determines at least one $c$-ordinary triangle. Moreover, the number of such
triangles grows at least linearly in $n$. They raised the question whether the true growth rate of
this function is superlinear.
We prove that if $X$ cannot be covered by 2 lines, and no line passes through more than $n-t(n)$
points of $X$, for some function $t(n)\rightarrow\infty,$ then the number of $17$-ordinary
triangles spanned by $X$ is at least constant times $n \cdot t(n)$, i.e., superlinear in $n$. We also
show that the assumption $t(n)\rightarrow\infty$ is necessary. If we further assume that no line
passes through more than $n/2-t(n)$ points of $X$, then the number of $17$-ordinary triangles
grows superquadratically in $n$. This statement does not hold if $t(n)$ is bounded. We close this
paper with some algorithmic results. In particular, we provide a $O(n^{2.372})$ time algorithm for
counting all $c$-ordinary triangles in an $n$-element point set, for any $c<n$.
Let $P$ be a finite set of points in the plane. A c-ordinary triangle is a set of three non-collinear points of $P$ such that each line spanned by the points contains at most $c$ points of $P$. We show that if $P$ is not contained in the union of two lines and $|P|$ is sufficiently large, then it contains an 11-ordinary triangle. This improves upon a result of Fulek et al., who showed one may take $c=12000$.
Let $P$ be a finite point set in the plane. A \emph{$c$-ordinary triangle} in $P$ is a subset of $P$ consisting of three non-collinear points such that each of the three lines determined by the three points contains at most $c$ points of $P$. Motivated by a question of Erdős, and answering a question of de Zeeuw, we prove that there exists a constant $c>0$ such that $P$ contains a $c$-ordinary triangle, provided that $P$ is not contained in the union of two lines. Furthermore, the number of $c$-ordinary triangles in $P$ is $Ω(|P|)$.
We characterize a family of number triangles whose production matrices are closely related to the original number triangle. We study a number of such triangles that are of combinatorial significance. For a specific subfamily, these triangles relate to sequences that have interesting convolution recurrences and continued fraction generating functions.
This article introduces Gamma-triangles, which are closely related to and more fundamental than F-triangles and H-triangles that have been used in the combinatorics of cluster complexes. It is proved that Gamma-triangles can be expressed as sums of the local gamma-vectors introduced by Athanasiadis, which themselves refine the local h-vectors attached by Stanley to simplicial subdivisions. Gamma triangles of all cluster complexes are then explicitly computed.
We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman.
We define and characterize the $γ$-matrix associated to Pascal-like matrices that are defined by ordinary and exponential Riordan arrays. We also define and characterize the $γ$-matrix of the reversions of these triangles, in the case of ordinary Riordan arrays. We are led to the $γ$-matrices of a one-parameter family of generalized Narayana triangles. Thus these matrices generalize the matrix of $γ$-vectors of the associahedron. The principal tools used are the bivariate generating functions of the triangles and Jacobi continued fractions.
The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. We begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random from the collection of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph. In this note we show that with high probability the number of edges in the final graph is at most $ O\big( n^{7/4}\log^{5/4}n \big) $.
In their unpublished work, Jockusch and Propp showed that a 2-enumeration of antisymmetric monotone triangles is given by a simple product formula. On the other hand, the author proved that the same formula counts the domino tilings of the quartered Aztec rectangle. In this paper, we explain this phenomenon directly by building a correspondence between the antisymmetric monotone triangles and domino tilings of the quartered Aztec rectangle.
This is a companion note to the paper "Almost all Steiner triple systems have perfect matchings (arXiv:1611.02246). That paper contains several general lemmas about random Steiner triple systems; in this note we record analogues of these lemmas for random Latin squares, which in particular are necessary ingredients for our recent paper "Large deviations in random Latin squares" (arXiv:2106.11932). Most important is a relationship between uniformly random order-$n$ Latin squares and the triangle removal process on the complete tripartite graph $K_{n,n,n}$.
We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained.
Let $G$ be a triangle-free graph on $n$ vertices with adjacency matrix eigenvalues $μ_1(G)\geq μ_2(G)\geq \dots \geq μ_n(G)$. In this paper we study the quantity $$μ_1(G)+μ_n(G).$$ We prove that for any triangle-free graph $G$ we have $$μ_1(G)+μ_n(G)\leq (3-2\sqrt{2})n.$$ This was proved for regular graphs by Brandt, we show that the condition on regularity is not necessary. We also prove that among triangle-free strongly regular graphs the Higman-Sims graph achieves the maximum of $$\frac{μ_1(G)+μ_n(G)}{n}.$$
The suspension of the path $P_4$ consists of a $P_4$ and an additional vertex connected to each of the four vertices, and is denoted by $\hat{P_4}$. The largest number of triangles in a $\hat{P_4}$-free $n$-vertex graph is denoted by $ex(n,K_3,\hat{P_4})$. Mubayi and Mukherjee in 2020 showed that $ ex(n,K_3,\hat{P_4})= n^2/8+O(n)$. We show that for sufficiently large $n$, $ex(n,K_3,\hat{P_4})=\lfloor n^2/8\rfloor$.
Let $α_{1} (G)$ denote the maximum size of an edge set that contains at most one edge from each triangle of $G$. Let $τ_{B} (G)$ denote the minimum size of an edge set whose deletion makes $G$ bipartite. It was conjectured by Lehel and independently by Puleo that $α_{1} (G) + τ_{B} (G) \le n^2/4$ for every $n$-vertex graph $G$. Puleo showed that $α_{1} (G) + τ_{B} (G) \le 5n^2/16$ for every $n$-vertex graph $G$. In this note, we improve the bound by showing that $α_{1} (G) + τ_{B} (G) \le 4403n^2/15000$ for every $n$-vertex graph $G$.
In this short note, we give a lower bound on the number of congruence classes of triangles in a small set of points in $\mathbb{F}_p^2$. More precisely, for $\mathcal{A}\subset \mathbb{F}_p^2$ with $|\mathcal{A}|\le p^{2/3}$, we prove that the number of congruence classes of triangles determined by points in $\mathcal{A}\times \mathcal{A}$ is at least $|\mathcal{A}|^{7/2}$. This note is not intended for journal publication.
Monotone triangles are certain triangular arrays of integers, which correspond to $n \times n$ alternating sign matrices when prescribing $(1,2,...,n)$ as bottom row of the monotone triangle. In this article we define halved monotone triangles, a specialization of which correspond to vertically symmetric alternating sign matrices. We derive an operator formula for the number of halved monotone triangles with prescribed bottom row which is analogous to our operator formula for the number of ordinary monotone triangle.
In this note we investigate some matroid minor structure results. In particular, we present sufficient conditions, in terms of {\em triangles}, for a matroid to have either $U_{2,4}$ or $F_7$ or $M(K_5)$ as a minor.
A set of $q$ triangles sharing a common edge is a called a book of size $q$. Letting $bk(G)$ denote the size of the largest book in a graph $G$, Erdős and Rothschild \cite{erdostwo} asked what the minimal value of $bk(G)$ is for graphs $G$ with $n$ vertices and a set number of edges where every edge is contained in at least one triangle. In this paper, we show that for any graph $G$ with $n$ vertices and $\frac{n^2}{4} - nf(n)$ edges where every edge is contained in at least one triangle, $bk(G) \geq Ω\left(\min{\{\frac{n}{\sqrt{f(n)}}, \frac{n^2}{f(n)^2}\}}\right)$.
This note collects some facts and conjectures about the Hankel determinants and their generating functions of the columns of Hoggatt triangles which apparently are related to combinatorial objects such as Young tableaux and Narayana numbers.
Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only …
We prove that there is an absolute constant $C>0$ so that for every natural $n$ there exists a triangle-free \emph{regular} graph with no independent set of size at least $C\sqrt{n\log n}$.
B. D. Acharya has conjectured that if $\bigl(A_i: i=1, 2, ..., 2^{|X|}-1\bigr)$ is a permutation of all nonempty subsets of a set $X$ with at least two elements such that for each even positive integer $j<2^{|X|}-1$, $A_{j-1}\triangle A_j\triangle A_{j+1}=\emptyset$, then $|X|=2$. In this article, we show that if the cardinality of a set $X$ is more than four, then a permutation as described above indeed exists.
We show the existence of a series of transforms that capture several structures that underlie higher-dimensional partitions. These transforms lead to a sequence of triangles whose entries are given combinatorial interpretations as the number of particular types of skew Ferrers diagrams. The end result of our analysis is the existence of a triangle, that we denote by F, which implies that the data needed to compute the number of partitions of a given positive integer is reduced by a factor of half. The number of spanning rooted forests appears intriguingly in a family of entries in the triangle…
In this paper, we deal with the signed bad number and the negative decision number of graphs. We show that two upper bounds concerning these two parameters for bipartite graphs in papers [Discrete Math. Algorithms Appl. 1 (2011), 33--41] and [Australas. J. Combin. 41 (2008), 263--272] are not true as they stand. We correct them by presenting more general bounds for triangle-free graphs by using the classic theorem of Mantel from the extremal graph theory and characterize all triangle-free graphs attaining these bounds.
In a recent work, the combinatorial interpretation of the polynomial alpha(n;k1,k2,...,kn) counting the number of Monotone Triangles with bottom row k1 < k2 < ... < kn was extended to weakly decreasing sequences k1 >= k2 >= ... >= kn. In this case the evaluation of the polynomial is equal to a signed enumeration of objects called Decreasing Monotone Triangles. In this paper we define Generalized Monotone Triangles - a joint generalization of both ordinary Monotone Triangles and Decreasing Monotone Triangles. As main result of the paper we prove that the evaluation of alpha(n;k1,k2,...,kn) at a…
In this note we prove an assertion made by M. Levin in 1999: the Pascal matrix modulo 2 has the property that each of the square sub-matrices laying on the upper border or on the left border has determinants, computed in $\mathbb{Z}$, equal to 1 or -1.
In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance.
Deciding whether a planar graph (even of maximum degree $4$) is $3$-colorable is NP-complete. Determining subclasses of planar graphs being $3$-colorable has a long history, but since Grötzsch's result that triangle-free planar graphs are such, most of the effort was focused to solving Havel's and Steinberg's conjectures. In this paper, we prove that every planar graph of maximum degree $4$ obtained as a subgraph of the medial graph of any bipartite plane graph is $3$-choosable. These graphs are allowed to have close triangles (even incident), and have no short cycles forbidden, hence represen…
Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines, namely that (i) $P$ determines $Ω(N^2)$ different equivalence classes of congruent triangles, and (ii) $P$ determines $Ω(\frac{N^2}{\log N})$ different equivalence classes of similar triangles. The first fact follows from the recent theorem by Guth-Katz on point-line incidences in $\R^3$. The second one, perhaps not so well known, is due to Solymosi and Tardos.
A note on vertex-critical induced subgraphs of shift graphs
University of West Bohemia（西波希米亚大学）；CNRS（法国国家科学研究中心）；IRIF（IRIF实验室）；Faculty of Mathematics and Physics, University of Ljubljana（卢布尔雅那大学数学物理学院）；Faculty of Information Studies in Novo Mesto（诺沃梅斯托信息研究学院）；Rudolfovo – Science and Technology Centre（鲁多维福科学与技术中心）；University of Southern Denmark（南丹麦大学）
We give the connection between three polynomials that generate triangles in The On-Line Encyclopedia of Integer Sequences (A123192, A137396 and A300453). We show that they are related with the bracket polynomial for the (2,n)-torus knot
A family $F$ of graphs on a fixed set of $n$ vertices is called triangle-intersecting if for any $G_1,G_2 \in F$, the intersection $G_1 \cap G_2$ contains a triangle. More generally, for a fixed graph $H$, a family $F$ is $H$-intersecting if the intersection of any two graphs in $F$ contains a sub-graph isomorphic to $H$. In [D. Ellis, Y. Filmus, and E. Friedgut, Triangle-intersecting families of graphs, J. Eur. Math. Soc. 14 (2012), pp. 841--885], Ellis, Filmus and Friedgut proved a 36-year old conjecture of Simonovits and Sós stating that the maximal size of a triangle-intersecting family is…
A book of size N is the union of N triangles sharing a common edge. We show that the Ramsey number of a book of size N vs. a book of size M equals 2N+3 for all N>(10^6)M. Our proof is based on counting.
The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding infinitely many new Scott-type inequalities.
We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involvin…
We give an elementary proof of a well-known result on Kostka numbers, following a question from Mark Wildon on MathOverflow. Namely, we show that given partitions $λ,μ,ν$ of $n$ with $μ\trianglerighteqν$, we have $K_{λν}\geqslant K_{λμ}$.
We provide a context around a conjectured closed form for the Hankel transform of linear combinations of consecutive pairs of Catalan numbers. This generalizes the formula for the Hankel transforms of the shifted Catalan numbers and the known results for linear combinations of pairs of Catalan numbers. Many interesting number triangles emerge, some of which we analyze using the language of Riordan arrays.
In theoretical chemistry molecular structure descriptors are used for modeling physico-chemical, pharmacological, toxicologic, biological and other properties of chemical compounds. In this paper we study distance-based graph invariants and present some improved and corrected sharp inequalities for PI, vertex PI, Szeged and edge Szeged topological indices, involving the number of vertices and edges, the diameter, the number of triangles and the Zagreb indices. In addition, we give a complete characterization of the extremal graphs.
