Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Random generation of subgroups of the modular group with a fixed isomorphism type
Published
• View Publication
• BIB
We show how to efficiently count and generate uniformly at random finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$ of a given isomorphism type. The method to achieve these results relies on a natural map of independent interest, which associates with any finitely generated subgroup of $\textsf{PSL}(2,\mathbb{Z})$ a graph which we call its silhouette, and which can be interpreted as a conjugacy class of free finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$.
Total positivity for matroid Schubert varieties
Published
• View Publication
• BIB
We define the totally nonnegative matroid Schubert variety $\mathcal Y_V$ of a linear subspace $V \subset \mathbb R^n$. We show that $\mathcal Y_V$ is a regular CW complex homeomorphic to a closed ball, with strata indexed by pairs of acyclic flats of the oriented matroid of $V$. This closely resembles the regularity theorem for totally nonnegative generalized flag varieties. As a corollary, we obtain a regular CW structure on the real matroid Schubert variety of $V$.
More on $r$-cross $t$-intersecting families for vector spaces
Published
• View Publication
• BIB
Let $V$ be a finite dimensional vector space over a finite field. Suppose that $\mathscr{F}_1$, $\mathscr{F}_2$, $\dots$, $\mathscr{F}_r$ are $r$-cross $t$-intersecting families of $k$-subspaces of $V$. In this paper, we determine the extremal structure when $\prod_{i=1}^r|\mathscr{F}_i|$ is maximum under the condition that $\dim(\bigcap_{F\in\mathscr{F}_i}F)<t$ for each $i$.
A guide to Penrose tilings
Published
• View Publication
• BIB
The aim of this book is to provide an elementary introduction, complete with detailed proofs, to the celebrated tilings of the plane discovered by Sir Roger Penrose in the `70s. The book covers many aspects of Penrose tilings, including the study of the space parameterizing Penrose tilings from the point of view of Connes' Noncommutative Geometry.
Same average in every direction
Given a polytope $P\subset R^3$ and a non-zero vector $z \in R^3$, the plane $\{x\in R^3:zx=t\}$ intersects $P$ in convex polygon $P(z,t)$ for $t \in [t^-,t^+]$ where $t^-=\min \{zx: x \in P\}$ and $t^+=\max \{zx: x\in P\}$, $zx$ is the scalar product of $z,x \in R^3$. Let $A(P,z)$ denote the average number of vertices of $P(z,t)$ on the interval $[t^-,t^+]$. For what polytopes is $A(P,z)$ a constant independent of $z$?
The threshold for powers of tight Hamilton cycles in random hypergraphs
Published
• View Publication
• BIB
We investigate the occurrence of powers of tight Hamilton cycles in random hypergraphs. For every $r\ge 3$ and $k\ge 1$, we show that there exists a constant $C > 0$ such that if $p=p(n) \ge Cn^{-1/\binom{k+r-2}{r-1}}$ then asymptotically almost surely the random hypergraph $H^{(r)}(n,p)$ contains the $k$th power of a tight Hamilton cycle. This improves on a result of Parczyk and Person, who proved the same result under the assumption $p=ω\left(n^{-1/\binom{k+r-2}{r-1}}\right)$ using a second moment argument.
Perfect codes in 2-valent Cayley digraphs on abelian groups
Published
• View Publication
• BIB
For a digraph $Γ$, a subset $C$ of $V(Γ)$ is a perfect code if $C$ is a dominating set such that every vertex of $Γ$ is dominated by exactly one vertex in $C$. In this paper, we classify strongly connected 2-valent Cayley digraphs on abelian groups admitting a perfect code, and determine completely all perfect codes of such digraphs.
Counting triangles in graphs without vertex disjoint odd cycles
Published
• View Publication
• BIB
Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $\mathrm{ex}(n, H, F)$. Let $(\ell+1) \cdot F$ denote $\ell+1$ vertex disjoint copies of $F$. In this paper, we determine the exact value of $\mathrm{ex}(n, C_3, (\ell+1)\cdot C_{2k+1})$ and its extremal graph, which generalizes some known results.
Simple Constructions of Unique Neighbor Expanders from Error-correcting Codes
In this note, we give very simple constructions of unique neighbor expander graphs starting from spectral or combinatorial expander graphs of mild expansion. These constructions and their analysis are simple variants of the constructions of LDPC error-correcting codes from expanders, given by Sipser-Spielman [SS96] (and Tanner [Tan81]), and their analysis. We also show how to obtain expanders with many unique neighbors using similar ideas.
There were many exciting results on this topic recently, starting with Asherov-Dinur [AD23] and Hsieh-McKenzie-Mohanty-Paredes [HMMP23], who gave a similar construction of unique neighbor expander graphs, but using more sophisticated ingredients (such as almost-Ramanujan graphs) and a more involved analysis. Subsequent beautiful works of Cohen-Roth-TaShma [CRT23] and Golowich [Gol23] gave even stronger objects (lossless expanders), but also using sophisticated ingredients.
The main contribution of this work is that we get much more elementary constructions of unique neighbor expanders and with a simpler analysis.
Observations on Graph Invariants with the Lovász $\vartheta$-Function
Published in AIMS Mathematics, 9 (2024), no. 6, pp. 15385--15468, April 2024
• View Publication
• BIB
This paper delves into three research directions, leveraging the Lovász $\vartheta$-function of a graph. First, it focuses on the Shannon capacity of graphs, providing new results that determine the capacity for two infinite subclasses of strongly regular graphs, and extending prior results. The second part explores cospectral and nonisomorphic graphs, drawing on a work by Berman and Hamud (2024), and it derives related properties of two types of joins of graphs. For every even integer such that $n \geq 14$, it is constructively proven that there exist connected, irregular, cospectral, and nonisomorphic graphs on $n$ vertices, being jointly cospectral with respect to their adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, while also sharing identical independence, clique, and chromatic numbers, but being distinguished by their Lovász $\vartheta$-functions. The third part focuses on establishing bounds on graph invariants, particularly emphasizing strongly regular graphs and triangle-free graphs, and compares the tightness of these bounds to existing ones. The paper derives spectral upper and lower bounds on the vector and strict vector chromatic numbers of regular graphs, providing sufficient conditions for the attainability of these bounds. Exact closed-form expressions for the vector and strict vector chromatic numbers are derived for all strongly regular graphs and for all graphs that are vertex- and edge-transitive, demonstrating that these two types of chromatic numbers coincide for every such graph. This work resolves a query regarding the variant of the $\vartheta$-function by Schrijver and the identical function by McEliece et al. It shows, by a counterexample, that the $\vartheta$-function variant by Schrijver does not possess the property of the Lovász $\vartheta$-function of forming an upper bound on the Shannon capacity of a graph.
Block partitions in higher dimensions
Consider a set $X\subseteq \mathbb{R}^d$ which is 1-dense, namely, it intersects every unit ball. We show that we can get from any point to any other point in $\mathbb{R}^d$ in $n$ steps so that the intermediate points are in $X$, and the discrepancy of the step vectors is at most $2\sqrt{2}$, or formally, $$\sup\limits_{\substack{n\in \mathbb{Z}^+,\ t\in \mathbb{R}^d\\ X\text{ is 1-dense}}}\,\, \inf\limits_{\substack{p_1,\ldots, p_{n-1}\in X\\ p_0=\underline{0},\ p_n=t}}\,\, \max\limits_{0\leq i<j<n} \big\|(p_{i+1}-p_i)-(p_{j+1}-p_j)\big\|\leq 2\sqrt{2}.$$
Asymptotic independence for random permutations from surface groups
Published
• View Publication
• BIB
Let $X$ be an orientable hyperbolic surface of genus $g\geq 2$ with a marked point $o$, and let $Γ$ be an orientable hyperbolic surface group isomorphic to $π_{1}(X,o)$. Consider the space $\text{Hom}(Γ,S_{n})$ which corresponds to $n$-sheeted covers of $X$ with labeled fiber. Given $γ\inΓ$ and a uniformly random $φ\in\text{Hom}(Γ,S_{n})$, what is the expected number of fixed points of $φ(γ)$?
Formally, let $F_{n}(γ)$ denote the number of fixed points of $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We think of $F_{n}(γ)$ as a random variable on the space $\text{Hom}(Γ,S_{n})$. We show that an arbitrary fixed number of products of the variables $F_{n}(γ)$ are asymptotically independent as $n\to\infty$ when there are no obvious obstructions. We also determine the limiting distribution of such products. Additionally, we examine short cycle statistics in random permutations of the form $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We show a similar asymptotic independence result and determine the limiting distribution.
The Simultaneous Lattice Packing-Covering Constant of Octahedra
Published in Advances in Geometry (2025)
• View Publication
• BIB
This paper proves that the simultaneous lattice packing-covering constant of an octahedron is $7/6$. In other words, $7/6$ is the smallest positive number $r$ such that for every octahedron $O$ centered at the origin there is a lattice $Λ$ such that $O+Λ$ is a packing in $\mathbb{E}^3$ and $rO+Λ$ is a covering of $\mathbb{E}^3$.
Oriented trees and paths in digraphs
Published
• View Publication
• BIB
Which conditions ensure that a digraph contains all oriented paths of some given length, or even a all oriented trees of some given size, as a subgraph? One possible condition could be that the host digraph is a tournament of a certain order. In arbitrary digraphs and oriented graphs, conditions on the chromatic number, on the edge density, on the minimum outdegree and on the minimum semidegree have been proposed. In this survey, we review the known results, and highlight some open questions in the area.
Conant's Metric Spectra Problem
In this paper, we try to minimize the scope of possible unique metric spectra up to equivalence. While it is well known that every spectra $S\subseteq \mathbb{R}^+$ is equivalent to a spectra $T\subseteq \mathbb{N}$, it has remained open if $T$ could also maintain a desirable combinatorial form. Conant questioned if $T= \{t_1,...,t_n \}_{<}$ could be taken such that $2^i-1 \leq t_i \leq 2^n -1$. In this paper, we come to two partial answers. The first is that the largest element $t_n$ can be chosen such that $t_n\leq 2^n $. Approximating a full solution, we also observe $T$ with the combinatorial form $2^i \leq t_i \leq 2^{n+1}$. Our methods are rather unique in the field as we utilize linear optimization and polygonal geometry to achieve our results. Our work aims to approach a full characterization of metric spectra, and simplify future computational endeavors in the field.
New examples of self-dual near-extremal ternary codes of length 48 derived from 2-(47,23,11) designs
Published
• View Publication
• BIB
In a recent paper [M. Araya, M. Harada, Some restrictions on the weight enumerators of near-extremal ternary self-dual codes and quaternary Hermitian self-dual codes, Des. Codes Cryptogr., 91 (2023), 1813--1843], Araya and Harada gave examples of self-dual near-extremal ternary codes of length 48 for $145$ distinct values of the number $A_{12}$ of codewords of minimum weight 12, and raised the question about the existence of codes for other values of $A_{12}$. In this note, we use symmetric 2-$(47,23,11)$ designs with an automorphism group of order 6 to construct self-dual near-extremal ternary codes of length 48 for $150$ new values of $A_{12}$.
Explicit formulas for permutation pattern character polynomials
Given permutations $π\in S_n$ and $σ\in S_k$, let $N_σ(π)$ denote the number of occurrences of $σ$ in $π$. While pattern avoidance and the distribution of pattern occurrences in permutations have been extensively studied, their interactions with the group structure on $S_n$ are still poorly understood. Gaetz and Ryba showed that the expected value of $χ^{λ[n]}(π)N_σ(π)$ for $π\in S_n$ is given by a polynomial $a_σ^λ(n)$. More recently, Gaetz and Pierson derived explicit formulas for $a_{\mathrm{id}_k}^λ(n)$ when $\lvertλ\rvert \le 2$, which led them to conjecture that the polynomials $a_{\mathrm{id}_k}^λ(n)$ are real-rooted and nonnegative for $n \ge k$. We show that for all partitions $λ$, the polynomials $a_{\mathrm{id}_k}^λ(n)$ admit explicit closed forms in $n$ and $k$. These formulas allow us to exhibit counterexamples to Gaetz and Pierson's real-rootedness conjecture as well as to prove special cases of their nonnegativity conjecture. Lastly, we note that our results imply that the expected value of $f \cdot N_{\mathrm{id}_k}$ on $S_n$ admits a closed form whenever $f$ is a permutation statistic expressible as a polynomial in the functions $m_j \colon \bigsqcup_{n \ge 0} S_n \to \mathbb{Z}$ which count $j$-cycles in their inputs.
Paired 2-disjoint path covers of burnt pancake graphs with faulty elements
The burnt pancake graph $BP_n$ is the Cayley graph of the hyperoctahedral group using prefix reversals as generators. Let $\{u,v\}$ and $\{x,y\}$ be any two pairs of distinct vertices of $BP_n$ for $n\geq 4$. We show that there are $u-v$ and $x-y$ paths whose vertices partition the vertex set of $BP_n$ even if $BP_n$ has up to $n-4$ faulty elements. On the other hand, for every $n\ge3$ there is a set of $n-2$ faulty edges or faulty vertices for which such a fault-free disjoint path cover does not exist.
The Barnes-Hurwitz zeta cocycle at $s=0$ and Ehrhart quasi-polynomials of triangles
Published
• View Publication
• BIB
Following a theorem of David R. Hayes, we give a geometric interpretation of the special value at $s=0$ of certain $1$-cocycle on $\mathrm{PGL}_2(\mathbb{Q})$ previously introduced by the author. This work yields three main results: an explicit formula for our cocycle at $s=0$, a generalization and a new proof of Hayes' theorem, and an elegant summation formula for the $0$th coefficient of the Ehrhart quasi-polynomial of certain triangles in $\mathbb{R}^2$.
On the volumes of simplices determined by a subset of $\mathbb{R}^d$
Published in Ann. Fenn. Math. 50 (2025), no. 1, 97--108
• View Publication
• BIB
We prove that for $1\le k<d$, if $E$ is a Borel subset of $\mathbb{R}^d$ of Hausdorff dimension strictly larger than $k$, the set of $(k+1)$-volumes determined by $k+2$ points in $E$ has positive one-dimensional Lebesgue measure. In the case $k=d-1$, we obtain an essentially sharp lower bound on the dimension of the set of tuples in $E$ generating a given volume. We also establish a finer version of the classical slicing theorem of Marstrand-Mattila in terms of dimension functions, and use it to extend our results to sets of ``dimension logarithmically larger than $k$''.