Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Multiple recurrence and popular differences for polynomial patterns in rings of integers
Published
• View Publication
• BIB
We demonstrate that the phenomenon of popular differences (aka the phenomenon of large intersections) holds for natural families of polynomial patterns in rings of integers of number fields. If $K$ is a number field with ring of integers $\mathcal{O}_K$ and $E \subseteq \mathcal{O}_K$ has positive upper Banach density $d^*(E) = δ> 0$, we show, inter alia:
1. If $p(x) \in K[x]$ is an intersective $\mathcal{O}_K$-valued polynomial and $r, s \in \mathcal{O}_K$ are distinct and nonzero, then for any $\varepsilon > 0$, the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n)\} \subseteq E \} \right) > δ^3 - \varepsilon. \] is syndetic. Moreover, if $\frac{s}{r} \in \mathbb{Q}$, then there are syndetically many $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + rp(n), x + sp(n), x + (r+s)p(n)\} \subseteq E \} \right) > δ^4 - \varepsilon. \]
2. If $\{p_1, \dots, p_k\} \subseteq K[x]$ is a jointly intersective family of linearly independent $\mathcal{O}_K$-valued polynomials, then the set of $n \in \mathcal{O}_K$ such that \[ d^* \left( \{ x \in \mathcal{O}_K : \{x, x + p_1(n), \dots, x + p_k(n)\} \subseteq E \} \right)> δ^{k+1} - \varepsilon \] is syndetic.
These two results generalize and extend previous work of Frantzikinakis and Kra on polynomial configurations in $\mathbb{Z}$ and build upon recent work of the authors and Best on linear patterns in general abelian groups. The above combinatorial results follow from multiple recurrence results in ergodic theory, which require a sharpening of existing tools for handling polynomial multiple ergodic averages. A key advancement made in this paper is a new result on the equidistribution of polynomial orbits in nilmanifolds, which can be seen as a far-reaching generalization of Weyl's equidistribution theorem.
On abelian $\ell$-towers of multigraphs III
Published
• View Publication
• BIB
Let $\ell$ be a rational prime. Previously, abelian $\ell$-towers of multigraphs were introduced which are analogous to $\Z_{\ell}$-extensions of number fields. It was shown that for towers of bouquets, the growth of the $\ell$-part of the number of spanning trees behaves in a predictable manner (analogous to a well-known theorem of Iwasawa for $\Z_{\ell}$-extensions of number fields). In this paper, we extend this result to abelian $\ell$-towers over an arbitrary connected multigraph (not necessarily simple and not necessarily regular). In order to carry this out, we employ integer-valued polynomials to construct power series with coefficients in $\Z_\ell$ arising from cyclotomic number fields, different than the power series appearing in the prequel. This allows us to study the special value at $u=1$ of the Artin--Ihara $L$-function, when the base multigraph is not necessarily a bouquet.
The principal Erdős--Gallai differences of a degree sequence
Published
• View Publication
• BIB
The Erdős--Gallai criteria for recognizing degree sequences of simple graphs involve a system of inequalities. Given a fixed degree sequence, we consider the list of differences of the two sides of these inequalities. These differences have appeared in varying contexts, including characterizations of the split and threshold graphs, and we survey their uses here. Then, enlarging upon properties of these graph families, we show that both the last term and the maximum term of the principal Erdős--Gallai differences of a degree sequence are preserved under graph complementation and are monotonic under the majorization order and Rao's order on degree sequences.
Distance in Latin Squares
A Latin square of order $n$ is an $n\times n$ array which contains $n$ distinct symbols exactly once in each row and column. We define the adjacent distance between two adjacent cells (containing integers) to be their difference modulo $n$, and inner distance of a Latin square to be the minimum of adjacent distances in the Latin square. By first establishing upper bounds and then constructing squares with said inner distance, we found the maximum inner distance of an $n \times n$ Latin square to be $\left\lfloor\frac{n-1}{2}\right\rfloor$. We then studied special kinds of Latin squares such as pandiagonals (also known as Knut-Vik designs), as well as Sudoku Latin squares. This research was conducted at the REU at Moravian College on Research Challenges of Computational and Experimental Mathematics, with support from the National Science Foundation.
On the $A_α$ spectral radius and $A_α$ energy of digraphs
Let $G$ be a digraph with adjacency matrix $A(G)$ and outdegrees diagonal matrix $D(G)$. For any real $α\in[0,1]$, the $A_α$ matrix $A_α(G)$ of a digraph $G$ is defined as $A_α(G)=αD(G)+(1-α)A(G)$. The eigenvalue of $A_α(G)$ with the largest modulus is called the $A_α$ spectral radius of $G$. In this paper, we first give some upper bounds for the $A_α$ spectral radius of a digraph and we also characterize the extremal digraphs attaining these bounds. Moreover, we define the $A_α$ energy of a digraph $G$ as $E^{A_α}(G)=\sum\limits_{i=1}^n(λ^α_i(G))^2$, where $n$ is the number of vertices and $λ^α_i(G)$ $(i=1,2,\ldots,n)$ are the eigenvalues of $A_α(G)$. We obtain a formula for $E^{A_α}(G)$, and give a lower and upper bounds for $E^{A_α}(G)$ and characterize the extremal digraphs that attain the lower and upper bounds. Finally, we characterize the extremal digraphs with maximum and minimum $A_α$ energy among all directed trees and unicyclic digraphs, respectively.
Discrete intrinsic volumes
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$.
In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their discrete counterparts. In particular, we show that for them the analogue of the Ehrhart result holds, where the volume is replaced by the intrinsic volume.
We also introduce and study a notion of Grassmann valuation which generalizes both the discrete volume and the solid-angle valuation introduced by Reeve and Macdonald.
Balanced subdivisions of a large clique in graphs with high average degree
Published
• View Publication
• BIB
In 1984, Thomassen conjectured that for every constant $k \in \mathbb{N}$, there exists $d$ such that every graph with average degree at least $d$ contains a balanced subdivision of a complete graph on $k$ vertices, i.e. a subdivision in which each edge is subdivided the same number of times. Recently, Liu and Montgomery confirmed Thomassen's conjecture. We show that for every constant $0<c<1/2$, every graph with average degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d^{c})$. Note that this bound is almost optimal. Moreover, we show that every sparse expander with minimum degree at least $d$ contains a balanced subdivision of a complete graph of size at least $Ω(d)$.
On Expected Face Numbers of Random Beta and Beta' Polytopes
Published
• View Publication
• BIB
The random beta polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1-\|x\|^2)^β$ on the $d$-dimensional unit ball, where $β>-1$ is a parameter. Similarly, the random beta' polytope is defined as the convex hull of $n$ independent random points with the density proportional to $(1+\|x\|^2)^{-β}$ on $\mathbb R^d$, where $β>\frac d2$. In a previous work [Angles of random simplices and face numbers of random polytopes, Adv. Math., 380 (2021), 107612], we established exact and explicit formulae for the expected $f$-vectors of these random polytopes in terms of certain definite integrals. In the present paper, we use purely algebraic manipulations to derive several identities for these integrals which yield alternative formulae for the expected $f$-vectors. Similar algebraic manipulations apply to Stirling numbers and yield the following identity: $$ \sum_{s=0}^k \genfrac{\{}{\}}{0pt}{}{n-s}{d-s} (d-s) \genfrac{[}{]}{0pt}{}{d-s}{k-s} =
\sum_{s=0}^k (-1)^s \genfrac{\{}{\}}{0pt}{}{n-s}{d} \genfrac{[}{]}{0pt}{}{d+1}{k-s} =
\sum_{s=0}^{d-k} (-1)^s \genfrac{\{}{\}}{0pt}{}{n+1}{d-s} \genfrac{[}{]}{0pt}{}{d-s}{k}. $$
Growth in linear groups
Published
• View Publication
• BIB
We prove a conjecture of Helfgott on the structure of sets of bounded tripling in bounded rank, which states the following. Let $A$ be a finite symmetric subset of $\mathrm{GL}_n(\mathbf{F})$ for any field $\mathbf{F}$ such that $|A^3| \leq K|A|$. Then there are subgroups $H \trianglelefteq Γ\trianglelefteq \langle A \rangle$ such that $A$ is covered by $K^{O_n(1)}$ cosets of $Γ$, $Γ/H$ is nilpotent of step at most $n-1$, and $H$ is contained in $A^{O_n(1)}$. This theorem includes the Product Theorem for finite simple groups of bounded rank as a special case. As an application of our methods we also show that the diameter of sufficiently quasirandom finite linear groups is poly-logarithmic.
Accumulation points of the edit distance function
Published
• View Publication
• BIB
Given a hereditary property $\mathcal H$ of graphs and some $p\in[0,1]$, the edit distance function $\operatorname{ed}_{\mathcal H}(p)$ is (asymptotically) the maximum proportion of "edits" (edge-additions plus edge-deletions) necessary to transform any graph of density $p$ into a member of $\mathcal H$. For any fixed $p\in[0,1]$, $\operatorname{ed}_{\mathcal H}(p)$ can be computed from an object known as a colored regularity graph (CRG). This paper is concerned with those points $p\in[0,1]$ for which infinitely many CRGs are required to compute $\operatorname{ed}_{\mathcal H}$ on any open interval containing $p$; such a $p$ is called an accumulation point. We show that, as expected, $p=0$ and $p=1$ are indeed accumulation points for some hereditary properties; we additionally determine the slope of $\operatorname{ed}_{\mathcal H}$ at these two extreme points. Unexpectedly, we construct a hereditary property with an accumulation point at $p=1/4$. Finally, we derive a significant structural property about those CRGs which occur at accumulation points.
Bipartite clique minors in graphs of large Hadwiger number
The Hadwiger number $h(G)$ is the order of the largest complete minor in $G$. Does sufficient Hadwiger number imply a minor with additional properties?
In [2], Geelen et al showed $h(G)\geq (1+o(1))ct\sqrt{\ln t}$ implies $G$ has a bipartite subgraph with Hadwiger number at least $t$, for some explicit $c\sim 1.276\dotsc$. We improve this to $h(G) \geq (1+o(1))t\sqrt{\log_2 t}$, and provide a construction showing this is tight. We also derive improved bounds for the topological minor variant of this problem.
On the Asymmetric Generalizations of Two Extremal Questions on Friends-and-Strangers Graphs
Published
• View Publication
• BIB
For two graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality $n,$ the friends-and-strangers graph $\mathsf{FS}(X,Y)$ was recently defined by Defant and Kravitz. The vertices of $\mathsf{FS}(X,Y)$ are the bijections from $V(X)$ to $V(Y),$ and two bijections $σ$ and $τ$ are adjacent if they agree everywhere except at two vertices $a,b\in V(X)$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y.$ We study generalized versions of two problems by Alon, Defant, and Kravitz. First, we show that if $X$ and $Y$ have minimum degrees $δ(X)$ and $δ(Y)$ that satisfy $δ(X)> n/2, δ(Y)>n/2,$ and $2\min(δ(X), δ(Y))+3\max(δ(X), δ(Y))\ge 3n,$ then $\mathsf{FS}(X,Y)$ is connected. As a corollary, we settle a recent conjecture by Alon, Defant, and Kravitz stating that there exists a number $d_n = 3n/5 + O(1)$ such that if both $X$ and $Y$ have minimum degrees at least $d_n,$ the graph $\mathsf{FS}(X,Y)$ is connected. When $X$ and $Y$ are bipartite, a parity obstruction prevents $\mathsf{FS}(X,Y)$ from being connected. We show that if $X$ and $Y$ are edge-subgraphs of $K_{r,r}$ that satisfy $δ(X)+δ(Y)\ge 3r/2+1,$ then the graph $\mathsf{FS}(X,Y)$ has exactly two connected components. As a corollary, we provide an almost complete answer to another recent question of Alon, Defant, and Kravitz asking for the minimum number $d^*_{r,r}$ such that for any edge-subgraph $X$ of $K_{r,r}$ satisfying $δ(X)\ge d^*_{r,r},$ the graph $\mathsf{FS}(X,K_{r,r})$ has exactly two connected components. We show that $d^*_{r,r} = r/2+1$ when $r$ is even and $d^*_{r,r}\in \{\lceil r/2\rceil, \lceil r/2\rceil+1\}$ when $r$ is odd.
Multiplication theorems for self-conjugate partitions
Published in Combinatorial Theory, 2(2) (2022) #13, pp.32
• View Publication
• BIB
In 2011, Han and Ji proved addition-multiplication theorems for integer partitions, from which they derived modular analogues of many classical identities involving hook-length. In the present paper, we prove addition-multiplication theorems for the subset of self-conjugate partitions. Although difficulties arise due to parity questions, we are almost always able to include the BG-rank introduced by Berkovich and Garvan. This gives us as consequences many self-conjugate modular versions of classical hook-lengths identities for partitions. Our tools are mainly based on fine properties of the Littlewood decomposition restricted to self-conjugate partitions.
On irreducible meanders growth rate
In this article, we provide upper and lower bounds for the growth rate of irreducible meanders. The obtained upper bound implies that the proportion of irreducible meanders among all of the prime meanders of order $n$ approaches $0$ as $n$ approaches infinity.
Polystability in positive characteristic and degree lower bounds for invariant rings
Published
• View Publication
• BIB
We develop a representation theoretic technique for detecting closed orbits that is applicable in all characteristics. Our technique is based on Kempf's theory of optimal subgroups and we make some improvements and simplify the theory from a computational perspective. We exhibit our technique in many examples and in particular, give an algorithm to decide if a symmetric polynomial in $n$-variables has a closed ${\rm SL}_n$ orbit.
As an important application, we prove exponential lower bounds on the maximal degree of a system of generators of invariant rings for two actions that are important from the perspective of Geometric Complexity Theory (GCT). The first is the action of ${\rm SL}(V)$ on ${\rm Sym}^3(V)^{\oplus 3}$, the space of 3-tuples of cubic forms, and the second is the action of ${\rm SL}(V) \times {\rm SL}(W) \times {\rm SL}(Z)$ on the tensor space $(V \otimes W \otimes Z)^{\oplus 5}$. In both these cases, we prove an exponential lower degree bound for a system of invariants that generate the invariant ring or that define the null cone.
Levenshtein Graphs: Resolvability, Automorphisms & Determining Sets
Published
• View Publication
• BIB
We introduce the notion of Levenshtein graphs, an analog to Hamming graphs but using the edit distance instead of the Hamming distance; in particular, Levenshtein graphs allow for underlying strings (nodes) of different lengths. We characterize various properties of these graphs, including a necessary and sufficient condition for their geodesic distance to be identical to the edit distance, their automorphism group and determining number, and an upper bound on their metric dimension. Regarding the latter, we construct a resolving set composed of two-run strings and an algorithm that computes the edit distance between a string of length $k$ and any single-run or two-run string in $O(k)$ operations.
The Number of Optimal Strategies in the Penney-Ante Game
Published in Integers 21 (2021), Paper No. A27, 26 pp
• Search Publication
In the Penney-Ante game, Player I chooses a head/tail string of a predetermined length $n\ge3$. Player II, upon seeing Player I's choice, chooses another head/tail string of the same length. A coin is then tossed repeatedly and the player whose string appears first in the resulting head/tail sequence wins the game. The Penney-Ante game has gained notoriety as a source of counterintuitive probabilities and nontransitivity phenomena. For example, Player II can always choose a string that beats the choice of Player I in the sense of being more likely to appear first in a random head/tail sequence.
It is known that Player II has a unique optimal strategy that maximizes her winning chances in this game. On the other hand, for Player I there exist multiple equivalent optimal strategies. In this paper we investigate the number, $c_n$, of optimal strategies for Player I, i.e., the number of head/tail strings of length $n$ that maximize the winning probability for Player I assuming optimal play by Player II. We derive a recurrence relation for $c_n$ and use this to obtain a sharp asymptotic estimate for $c_n$. In particular, we show that, as $n\to\infty$, a fixed proportion $α\approx 0.04062\dots$ of the $2^n$ head/tail strings of length $n$ are optimal from Player I's perspective.
On complete classes of valuated matroids
Published in TheoretiCS, Volume 3 (November 18, 2024) theoretics:10755
• View Publication
• BIB
We characterize a rich class of valuated matroids, called R-minor valuated matroids that includes the indicator functions of matroids, and is closed under operations such as taking minors, duality, and induction by network. We exhibit a family of valuated matroids that are not R-minor based on sparse paving matroids. Valuated matroids are inherently related to gross substitute valuations in mathematical economics. By the same token we refute the Matroid Based Valuation Conjecture by Ostrovsky and Paes Leme (Theoretical Economics 2015) asserting that every gross substitute valuation arises from weighted matroid rank functions by repeated applications of merge and endowment operations. Our result also has implications in the context of Lorentzian polynomials: it reveals the limitations of known construction operations.
On a conjecture of Zhuang and Gao
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite ablian group $G$ and this result is known as the Erdős-Ginzburg-Ziv Theorem. In 2005, Zhuang and Gao conjectured that $\mathsf E(G)=\mathsf d(G)+|G|$, where $\mathsf d(G)$ is the small Davenport constant. In this paper, we confirm the conjecture for the case when $G=\langle x, y| x^p=y^m=1, x^{-1}yx=y^r\rangle$, where $p$ is the smallest prime divisor of $|G|$ and $\mbox{gcd}(p(r-1), m)=1$.
Multiple twins in permutations
By an $r$-tuplet in a permutation we mean a family of $r$ pairwise disjoint subsequences with the same relative order. The length of an $r$-tuplet is defined as the length of any single subsequence in the family. Let $t^{(r)}(n)$ denote the largest $k$ such that every permutation of length $n$ contains an $r$-tuplet of length $k$. We prove that $t^{(r)}(n)=O\left(n^{\frac r{2r-1}}\right)$ and $t^{(r)}(n)=Ω\left( n^{\frac{R}{2R-1}} \right)$, where $R=\binom{2r-1}r$. We conjecture that the upper bound brings the correct order of magnitude of $t^{(r)}(n)$ and support this conjecture by proving that it holds for almost all permutations. Our work generalizes previous studies of the case $r=2$.