Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Small polygons with large area
Published
• View Publication
• BIB
A polygon is \textit{small} if it has unit diameter. The maximal area of a small polygon with a fixed number of sides $n$ is not known when $n$ is even and $n\geq14$. We determine an improved lower bound for the maximal area of a small $n$-gon for this case. The improvement affects the $1/n^3$ term of an asymptotic expansion; prior advances affected less significant terms. This bound cannot be improved by more than $O(1/n^3)$. For $n=6$, $8$, $10$, and $12$, the polygon we construct has maximal area.
Orbit harmonics for the union of two orbits
Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$. This construction was an essential tool in their analysis of the Springer representation, and variations of it have reappeared recently in several other combinatorial and geometric contexts under the name orbit harmonics. In this article, we analyze the orbit harmonics of a union of two $S_n$ orbits. We prove that when the coordinate sums of the two orbits are different, the corresponding graded $S_n$ representation is a direct sum of two Springer representations, one of which is shifted in degree by 1.
Generalized Tuza's conjecture for random hypergraphs
Published
• View Publication
• BIB
A celebrated conjecture of Tuza states that in any finite graph the minimum size of a cover of triangles by edges is at most twice the maximum size of a set of edge-disjoint triangles. For an $r$-uniform hypergraph ($r$-graph) $G$, let $τ(G)$ be the minimum size of a cover of edges by $(r-1)$-sets of vertices, and let $ν(G)$ be the maximum size of a set of edges pairwise intersecting in fewer than $r-1$ vertices. Aharoni and Zerbib proposed the following generalization of Tuza's conjecture: $$ \text{For any $r$-graph $G$, $τ(G)/ν(G) \leq \lceil(r+1)/2\rceil$.} $$
Let $H_r(n,p)$ be the uniformly random $r$-graph on $n$ vertices. We show that, for $r \in \{3, 4, 5\}$ and any $p = p(n)$, $H_r(n,p)$ satisfies the Aharoni-Zerbib conjecture with high probability (i.e., with probability approaching 1 as $n \rightarrow \infty$). We also show that there is a $C < 1$ such that, for any $r \geq 6$ and any $p = p(n)$, $τ(H_r(n, p))/ν(H_r(n, p)) \leq C r$ with high probability. Furthermore, we may take $C < 1/2 + \varepsilon$, for any $\varepsilon > 0$, by restricting to sufficiently large $r$ (depending on $\varepsilon$).
The generalized reciprocal distance matrix of graphs
Let $G$ be a simple undirected connected graph with the Harary matrix $RD(G)$, which is also called the reciprocal distance matrix of $G$. The reciprocal distance signless Laplacian matrix of $G$ is $RQ(G)=RT(G)+RD(G)$, where $RT(G)$ denotes the diagonal matrix of the vertex reciprocal transmissions of graph $G$. This paper intends to introduce a new matrix $RD_α(G)=αRT(G)+(1-α)RD(G)$, $α\in [0,1]$, to track the gradual change from $RD(G)$ to $RQ(G)$. First, we describe completely the eigenvalues of $RD_α(G)$ of some special graphs. Then we obtain serval basic properties of $RD_α(G)$ including inequalities that involve the spectral radii of the reciprocal distance matrix, reciprocal distance signless Laplacian matrix and $RD_α$-matrix of $G$. We also provide some lower and upper bounds of the spectral radius of $RD_α$-matrix. Finally, we depict the extremal graphs with maximal spectral radius of the $RD_α$-matrix among all connected graphs of fixed order and precise vertex connectivity, edge connectivity, chromatic number and independence number, respectively.
Matrix multiplication via matrix groups
In 2003, Cohn and Umans proposed a group-theoretic approach to bounding the exponent of matrix multiplication. Previous work within this approach ruled out certain families of groups as a route to obtaining $ω= 2$, while other families of groups remain potentially viable. In this paper we turn our attention to matrix groups, whose usefulness within this framework was relatively unexplored.
We first show that groups of Lie type cannot prove $ω=2$ within the group-theoretic approach. This is based on a representation-theoretic argument that identifies the second-smallest dimension of an irreducible representation of a group as a key parameter that determines its viability in this framework. Our proof builds on Gowers' result concerning product-free sets in quasirandom groups. We then give another barrier that rules out certain natural matrix group constructions that make use of subgroups that are far from being self-normalizing.
Our barrier results leave open several natural paths to obtain $ω= 2$ via matrix groups. To explore these routes we propose working in the continuous setting of Lie groups, in which we develop an analogous theory. Obtaining the analogue of $ω=2$ in this potentially easier setting is a key challenge that represents an intermediate goal short of actually proving $ω= 2$. We give two constructions in the continuous setting, each of which evades one of our two barriers.
On the $ P_3 $-hull numbers of $ q $-Kneser graphs and Grassmann graphs
Published
• View Publication
• BIB
Let $S$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, where $q$ is necessarily a prime power. Denote $K_q(n,k)$ (resp. $J_q(n,k)$) to be the \emph{$q$-Kneser graph} (resp. \emph{Grassmann graph}) for $k\geq 1$ whose vertices are the $k$-dimensional subspaces of $S$ and two vertices $v_1$ and $v_2$ are adjacent if $\dim(v_1\cap v_2)=0$ (resp. $\dim(v_1\cap v_2)=k-1$). We consider the infection spreading in the $ q $-Kneser graphs and the Grassmann graphs: a vertex gets infected if it has at least two infected neighbors. In this paper, we compute the $ P_3 $-hull numbers of $K_q(n,k)$ and $J_q(n,k)$ respectively, which is the minimum size of a vertex set that eventually infects the whole graph.
Threshold for Steiner triple systems
Published
• View Publication
• BIB
We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We also prove the analogous theorem for Latin squares. Our result follows from a novel bootstrapping scheme that utilizes iterative absorption as well as the connection between thresholds and fractional expectation-thresholds established by Frankston, Kahn, Narayanan, and Park.
Solutions of certain meta-Fibonacci recurrences
Published
• View Publication
• BIB
In this note we investigate the solutions of certain meta-Fibonacci recurrences of the form $f(n)=f(n-f(n-1))+f(n-2)$ for various sets of initial conditions. In the case when $f(n)=1$ for $n\leq 1$, we prove that the resulting integer sequence is closely related to the function counting binary partitions of a certain type.
The Power of Filling in Balanced Allocations
Published in SIAM Journal on Discrete Mathematics, 38(1): 529-565, 2024
• View Publication
• BIB
We introduce a new class of balanced allocation processes which are primarily characterized by ``filling'' underloaded bins. A prototypical example is the Packing process: At each round we only take one bin sample, if the load is below the average load, then we place as many balls until the average load is reached; otherwise, we place only one ball. We prove that for any process in this class the gap between the maximum and average load is $\mathcal{O}(\log n)$ w.h.p. for any number of balls $m\geq 1$. For the Packing process, we also provide a matching lower bound. Additionally, we prove that the Packing process is sample-efficient in the sense that the expected number of balls allocated per sample is strictly greater than one. Finally, we also demonstrate that the upper bound of $\mathcal{O}(\log n)$ on the gap can be extended to the Memory process studied by Mitzenmacher, Prabhakar and Shah (2002).
Semidefinite programming bounds for complex spherical codes
A complex spherical code is a finite subset on the unit sphere in $\mathbb{C}^d$. A fundamental problem on complex spherical codes is to find upper bounds for those with prescribed inner products. In this paper, we determine the irreducible decomposition under the action of the one-point stabilizer of the unitary group $U(d)$ on the polynomial ring $\mathbb{C}[z_1\ldots,z_d,\bar{z}_1,\ldots,\bar{z}_d]$ in order to obtain the semidefinite programming bounds for complex spherical codes.
Birational Rowmotion and the Octahedron Recurrence
Published
• View Publication
• BIB
We use the octahedron recurrence to give a simplified statement and proof of a formula for iterated birational rowmotion on a product of two chains, first described by Musiker and Roby. Using this, we show that weights of certain chains in rectangles shift in a predictable way under the action of rowmotion. We then define generalized Stanley-Thomas words whose cyclic rotation uniquely determines birational rowmotion on the product of two chains. We also discuss the relationship between rowmotion and birational RSK and give a birational analogue of Greene's theorem in this setting.
The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability
Published
• View Publication
• BIB
We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones.
List covering of regular multigraphs with semi-edges
Published
• View Publication
• BIB
In line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no semi-edges, no loops, and no multiple edges. A graph covering projection, also known as a locally bijective homomorphism, is a mapping between vertices and edges of two graphs which preserves incidences and which is a local bijection on the edge-neighborhood of every vertex. This notion stems from topological graph theory, but has also found applications in combinatorics and theoretical computer science.
It has been known that for every fixed simple regular graph $H$ of valency greater than 2, deciding if an input graph covers $H$ is NP-complete. Graphs with semi-edges have been considered in this context only recently and only partial results on the complexity of covering such graphs are known so far. In this paper we consider the list version of the problem, called \textsc{List-$H$-Cover}, where the vertices and edges of the input graph come with lists of admissible targets. Our main result reads that the \textsc{List-$H$-Cover} problem is NP-complete for every regular graph $H$ of valency greater than 2 which contains at least one semi-simple vertex (i.e., a vertex which is incident with no loops, with no multiple edges and with at most one semi-edge). Using this result we show the NP-co/polytime dichotomy for the computational complexity of \textsc{ List-$H$-Cover} for cubic graphs.
Unavoidable patterns in complete simple topological graphs
Published
• View Publication
• BIB
We show that every complete $n$-vertex simple topological graph contains a topological subgraph on at least $(\log n)^{1/4 - o(1)}$ vertices that is weakly isomorphic to the complete convex geometric graph or the complete twisted graph. This is the first improvement on the bound $Ω(\log^{1/8}n)$ obtained in 2003 by Pach, Solymosi, and Tóth. We also show that every complete $n$-vertex simple topological graph contains a plane path of length at least $(\log n)^{1 -o(1)}$.
Maximally Edge-Connected Realizations and Kundu's $k$-factor Theorem
Published
• View Publication
• BIB
A simple graph $G$ with edge-connectivity $λ(G)$ and minimum degree $δ(G)$ is maximally edge connected if $λ(G)=δ(G)$. In 1964, given a non-increasing degree sequence $π=(d_{1},\ldots,d_{n})$, Jack Edmonds showed that there is a realization $G$ of $π$ that is $k$-edge-connected if and only if $d_{n}\geq k$ with $\sum_{i=1}^{n}d_{i}\geq 2(n-1)$ when $d_{n}=1$. We strengthen Edmonds's result by showing that given a realization $G_{0}$ of $π$ if $Z_{0}$ is a spanning subgraph of $G_{0}$ with $δ(Z_{0})\geq 1$ such that $|E(Z_{0})|\geq n-1$ when $δ(G_{0})=1$, then there is a maximally edge-connected realization of $π$ with $G_{0}-E(Z_{0})$ as a subgraph. Our theorem tells us that there is a maximally edge-connected realization of $π$ that differs from $G_{0}$ by at most $n-1$ edges. For $δ(G_{0})\geq 2$, if $G_{0}$ has a spanning forest with $c$ components, then our theorem says there is a maximally edge-connected realization that differs from $G_{0}$ by at most $n-c$ edges. As an application we combine our work with Kundu's $k$-factor Theorem to show there is a maximally edge-connected realization with a $(k_{1},\dots,k_{n})$-factor for $k\leq k_{i}\leq k+1$ and present a partial result to a conjecture that strengthens the regular case of Kundu's $k$-factor theorem.
Simplicial Resolutions of Powers of Square-free Monomial Ideals
Published in Algebraic Combinatorics, Volume 7 (2024) no. 1, pp. 77-107
• View Publication
• BIB
The Taylor resolution is almost never minimal for powers of monomial ideals, even in the square-free case. In this paper we introduce a smaller resolution for each power of any square-free monomial ideal, which depends only on the number of generators of the ideal. More precisely, for every pair of fixed integers $r$ and $q$, we construct a simplicial complex that supports a free resolution of the $r$-th power of any square-free monomial ideal with $q$ generators. The resulting resolution is significantly smaller than the Taylor resolution, and is minimal for special cases. Considering the relations on the generators of a fixed ideal allows us to further shrink these resolutions. We also introduce a class of ideals called "extremal ideals", and show that the Betti numbers of powers of all square-free monomial ideals are bounded by Betti numbers of powers of extremal ideals. Our results lead to upper bounds on Betti numbers of powers of any square-free monomial ideal that greatly improve the binomial bounds offered by the Taylor resolution.
Visibility phenomena in hypercubes
Published
• View Publication
• BIB
We study the set of visible lattice points in multidimensional hypercubes. The problems we investigate mix together geometric, probabilistic and number theoretic tones. For example, we prove that almost all self-visible triangles with vertices in the lattice of points with integer coordinates in $\mathcal W=[0,N]^d$ are almost equilateral having all sides almost equal to $\sqrt{d}N/\sqrt{6}$, and the sine of the typical angle between rays from the visual spectra from the origin of $\mathcal W$ is, in the limit, equal to $\sqrt{7}/4$, as $d$ and $N/d$ tend to infinity. We also show that there exists an interesting number theoretic constant $Λ_{d,K}$, which is the limit probability of the chance that a $K$-polytope with vertices in the lattice $\mathcal W$ has all vertices visible from each other.
A strong Gram classification of non-negative unit forms of Dynkin type A
Published in Fundamenta Informaticae, Volume 191, Issue 1 (March 30, 2024) fi:9330
• View Publication
• BIB
An integral quadratic form q is usually identified with a bilinear form b such that its Gram matrix with respect to the canonical basis is upper triangular. Two integral quadratic forms are called strongly (resp. weakly) Gram congruent if their corresponding upper triangular bilinear forms (resp. their symmetrizations) are equivalent. If q is unitary, such upper triangular bilinear form is unimodular, and one considers the associated Coxeter transformation and its characteristic polynomial, the so-called Coxeter polynomial of q with this identification. Two strongly Gram congruent quadratic unit forms are weakly Gram congruent and have the same Coxeter polynomial. Here we show that the converse of this statement holds for the connected non-negative case of Dynkin type A_r and arbitrary corank, and use this characterization to complete a combinatorial classification of such quadratic forms started in [Fundamenta Informaticae 184(1):49-82, 2021] and [Fundamenta Informaticae 185(3):221-246, 2022].
Spectrum of the Transposition graph
Published in Linear Algebra and its Applications, 2022
• View Publication
• BIB
Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group generated by all transpositions. It is known that all eigenvalues of $T_n$ are integers. However, an explicit description of the spectrum is unknown. In this paper we prove that for any integer $k\geqslant 0$ there exists $n_0$ such that for any $n\geqslant n_0$ and any $m \in \{0, \dots, k\}$, $m$ is an eigenvalue of $T_n$. In particular, it is proved that zero is an eigenvalue of $T_n$ for any $n\neq2$, and one is an eigenvalue of $T_n$ for any odd $n\geqslant 7$ and for any even $n \geqslant 14$. We also present exact values of the third and the fourth largest eigenvalues of $T_n$ with their multiplicities.
Two flags in a semimodular lattice generate an antimatroid
Published
• View Publication
• BIB
A basic property in a modular lattice is that any two flags generate a distributive sublattice. It is shown (Abels 1991, Herscovic 1998) that two flags in a semimodular lattice no longer generate such a good sublattice, whereas shortest galleries connecting them form a relatively good join-sublattice. In this note, we sharpen this investigation to establish an analogue of the two-flag generation theorem for a semimodular lattice. We consider the notion of a modular convex subset, which is a subset closed under the join and meet only for modular pairs, and show that the modular convex hull of two flags in a semimodular lattice of rank $n$ is isomorphic to a union-closed family on $[n]$. This family uniquely determines an antimatroid, which coincides with the join-sublattice of shortest galleries of the two flags.