Showing 20 papers (Total: 83842 papers, 48355 authors in database)
The Specter (and Spectra) of Miner Extractable Value
Miner extractable value (MEV) refers to any excess value that a transaction validator can realize by manipulating the ordering of transactions. In this work, we introduce a simple theoretical definition of the 'cost of MEV', prove some basic properties, and show that the definition is useful via a number of examples. In a variety of settings, this definition is related to the 'smoothness' of a function over the symmetric group. From this definition and some basic observations, we recover a number of results from the literature.
Borel line graphs
Published
• View Publication
• BIB
We characterize Borel line graphs in terms of 10 forbidden induced subgraphs, namely the 9 finite graphs from the classical result of Beineke together with a 10th infinite graph associated to the equivalence relation $\mathbb{E}_0$ on the Cantor space. As a corollary, we prove a partial converse to the Feldman--Moore theorem, which allows us to characterize all locally countable Borel line graphs in terms of their Borel chromatic numbers.
A Pair of Garside Shadows
We prove that the smallest elements of Shi parts and cone type parts exist and form Garside shadows. The latter resolves a conjecture of Parkinson and the second author as well as a conjecture of Hohlweg, Nadeau and Williams.
Catalan-Spitzer permutations
Published
• View Publication
• BIB
We study two classes of permutations intimately related to the visual proof of Spitzer's lemma and Huq's generalization of the Chung-Feller theorem. Both classes of permutations are counted by the Fuss-Catalan numbers. The study of one class leads to a generalization of results of Flajolet from continued fractions to continuants. The study of the other class leads to the discovery of a restricted variant of the Foata--Strehl group action.
Power-partible Reduction and Congruences for Schröder Polynomials
Published
• View Publication
• BIB
In this note, we apply the power-partible reduction to show the following arithmetic properties of large Schröder polynomials $S_n(z)$ and little Schröder polynomials $s_n(z)$: for any odd prime $p$, nonnegative integer $r\in\mathbb{N}$, $\varepsilon\in\{-1,1\}$ and $z\in\mathbb{Z}$ with $\gcd(p,z(z+1))=1$, we have \[ \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k S_k(z)\equiv 1\pmod {p}\quad \text{and} \quad \sum_{k=0}^{p-1}(2k+1)^{2r+1}\varepsilon^k s_k(z)\equiv 0\pmod {p}. \]
Transversals in a collections of trees
Let $\mathcal{S}$ be a fixed family of graphs on vertex set $V$ and $\mathcal{G}$ be a collection of elements in $\mathcal{S}$. We investigated the transversal problem of finding the maximum value of $|\mathcal{G}|$ when $\mathcal{G}$ contains no rainbow elements in $\mathcal{S}$. Specifically, we determine the exact values when $\mathcal{S}$ is a family of stars or a family of trees of the same order $n$ with $n$ dividing $|V|$. Further, all the extremal cases for $\mathcal{G}$ are characterized.
Co-maximal subgroup graph characterized by forbidden subgraphs
In this communication, the co-maximal subgroup graph $Γ(G)$ of a finite group $G$ is examined when $G$ is a finite nilpotent group, finite abelian group, dihedral group $D_n$, dicyclic group $Q_{2^n}$, and $p$-group. We derive the necessary and sufficient conditions for $Γ(G)$ to be a cluster graph, triangle-free graph, claw-free graph, cograph, chordal graph, threshold graph and split graph. For the case of finite nilpotent group, we are able to classify it entirely. Moreover, we derive the complete structure of finite abelian group $G$ such that $Γ(G)$ is a split graph. We leave the readers with a few unsolved questions.
On the colorability of bi-hypergraphs
A {\it mixed hypergraph} ${\cal H}=({\cal V},{\cal C},{\cal D})$ consists of the vertex set ${\cal V}$ and two families of subsets of $2^{\cal V}$: the family ${\cal C}$ of co-edges and the family ${\cal D}$ of edges. ${\cal H}$ is said to be colorable if there is a mapping $f$ from ${\cal V}$ to the set of positive integers such that $|\{f(v):v\in e\}|<|e|$ for each $e\in {\cal C}$ and $|\{f(v):v\in e\}|>1$ for each $e\in {\cal D}$. There exist mixed hypergraphs which are uncolorable, and quite little about these mixed hypergraphs is known. A mixed hypergraph is called a bi-hypergraph if its co-edge set and edge set are the same. In this article, we first apply Lovász local lemma to show that any $r$-uniform bi-hypergraph with $r\ge 4$ is colorable if every edge is incident to less than $(r-1)^{r-1}e^{-1}-1$ other edges, where $e$ is the base of natural logarithms. Then, we show that among all the uncolorable $3$-uniform bi-hypergraphs, the smallest size of a minimal one is ten, which answers a question raised by Tuza and Voloshin in 2000. As an extension, we provide a minimal uncolorable $3$-uniform bi-hypergraph of order $n$ and size at most $\frac{7n}3-4$ for every $n\ge 6$.
Newton-Okounkov polytopes of type $A$ flag varieties of small ranks arising from cluster structures
Published
• View Publication
• BIB
A flag variety is a smooth projective homogeneous variety. In this paper, we study Newton-Okounkov polytopes of the flag variety $Fl(\mathbb{C}^4)$ arising from its cluster structure. More precisely, we present defining inequalities of such Newton-Okounkov polytopes of $Fl(\mathbb{C}^4)$. Moreover, we classify these polytopes, establishing their equivalence under unimodular transformations.
On the order sequence of a group
Published in The Electronic Journal of Combinatorics, 32(2) (2025), #P2.9
• View Publication
• BIB
This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group.
The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following.
M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum.
The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order.
If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$.
There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime.
The paper concludes with a number of open problems.
Higher rank inner products, Voronoi tilings and metric degenerations of tori
Published
• View Publication
• BIB
We introduce higher rank inner products on real and complex vector spaces and study their corresponding Voronoi tilings. We use the framework to describe metric degenerations of polarized tori and Hausdorff limits of Voronoi tilings of discrete sets.
On friendship and cyclic parking functions
Published
• View Publication
• BIB
In parking problems, a given number of cars enter a one-way street sequentially, and try to park according to a specified preferred spot in the street. Various models are possible depending on the chosen rule for collisions, when two cars have the same preferred spot. In classical parking functions, if a car's preferred spot is already occupied by a previous car, it drives forward and looks for the first unoccupied spot to park. In this work, we introduce a variant of classical parking functions, called "friendship parking functions", which imposes additional restrictions on where cars can park. Namely, a car can only end up parking next to cars which are its friends (friendship will correspond to adjacency in an underlying graph). We characterise and enumerate such friendship parking functions according to their outcome permutation, which describes the final configuration when all cars have parked. We apply this to the case where the underlying friendship graph is the cycle graph. Finally, we consider a subset of classical parking functions, called "cyclic parking functions", where cars end up in an increasing cyclic order. We enumerate these cyclic parking functions and exhibit a bijection to permutation components.
On variations of Yama Nim and Triangular Nim
Yama Nim is a two heaps Nim game introduced in the second author's Master Thesis, where the player takes more than $2$ tokens from one heap, and return $1$ token to the other heap. Triangular Nim is a generalization, where the player takes several tokens from one heap, and return some tokens (at least one token) to the other heap, so that the total number of the tokens in the heaps decrease strictly. In this paper, we investigate their winning strategies, Grundy numbers, and their variations and generalizations. Particularly interesting is the Wythoff variations, where in addition to the Yama/Triangular Nim moves, the player is allowed to take tokens from both heaps, say $i$ tokens from the first heap and $j$ tokens from the other, under some restrictions for $i$ and $j$. For example when we force $i=j>0$ for the Triangular Nim, then the pair of non-negative integers $(x, y)$ with $x$ less than or equal to $y$ is in the $P$-position if and only if $(x, y) is in {(0, 0), (0, 1), (1, 3), (3, 6), (6, 10), (10, 15), ...}$, namely the winning strategy is described by triangular numbers. In other rulesets, we also found examples where the square numbers, pentagonal numbers, geometric progressions, and so on.
On the classification and dispersability of circulant graphs with two jump lengths
Published
• View Publication
• BIB
In this paper, we give the classification of circulant graphs $C(\mathbb{Z}_{n},S)$ with $|S|=2$ and completely solve the dispersability of circulant graphs $C(\mathbb{Z}_{n},\{1, k\})$.
Dense circuit graphs and the planar Turán number of a cycle
Published
• View Publication
• BIB
The $\textit{planar Turán number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_k$ denote the cycle of length $k$. The planar Turán number $\textrm{ex}_{\mathcal P}(n,C_k)$ is known for $k\le 7$. We show that dense planar graphs with a certain connectivity property (known as circuit graphs) contain large near triangulations, and we use this result to obtain consequences for planar Turán numbers. In particular, we prove that there is a constant $D$ so that $\textrm{ex}_{\mathcal P}(n,C_k) \le 3n - 6 - Dn/k^{\log_2^3}$ for all $k, n\ge 4$. When $k \ge 11$ this bound is tight up to the constant $D$ and proves a conjecture of Cranston, Lidický, Liu, and Shantanam.
On the average number of cycles in conjugacy class products
Published
• View Publication
• BIB
We show that for the product of two fixed point free conjugacy classes, the average number of cycles is always very similar. Specifically, our main result is that for a randomly chosen pair of fixed point free permutations of cycle types $α$ and $β$, the average number of cycles in their product is between $H_n-3$ and $H_n+1$, where $H_n$ is the harmonic number.
Generically Stable Measures and Distal Regularity in Continuous Logic
We develop a theory of generically stable and smooth Keisler measures in NIP metric theories, generalizing the case of classical logic. Using smooth extensions, we verify that fundamental properties of (Borel)-definable measures and the Morley product hold in the NIP metric setting. With these results, we prove that as in discrete logic, generic stability can be defined equivalently through definability properties, statistical properties, or behavior under the Morley product. We also examine weakly orthogonal Keisler measures, characterizing weak orthogonality in terms of various analytic regularity properties.
We then examine Keisler measures in distal metric theories, proving that as in discrete logic, distality is characterized by all generically stable measures being smooth, or by all pairs of generically stable measures being weakly orthogonal. We then use this, together with our results on weak orthogonality and a cutting lemma, to find analytic versions of distal regularity and the strong Erdős-Hajnal property.
Spherical sets avoiding orthonormal bases
Published
• View Publication
• BIB
We show that there exists an absolute constant $c_0<1$ such that for all $n \ge 2$, any measurable set $A \subset S^{n-1}$ of density at least $c_0$ contains $n$ pairwise orthogonal vectors. The result is sharp up to the value of the constant $c_0$.
Moreover, we show that for all $2\le k \le n$ a set $A$ avoiding $k$ pairwise orthogonal vectors has measure at most $\exp(-c_1 \min\{\sqrt{n}, n/k\})$ for some $c_1>0$. Proofs rely on the harmonic analysis on the sphere and the hypercontractive inequality.
Finding cliques and dense subgraphs using edge queries
We consider the problem of finding a large clique in an Erdős--Rényi random graph where we are allowed unbounded computational time but can only query a limited number of edges. Recall that the largest clique in $G \sim G(n,1/2)$ has size roughly $2\log_{2} n$. Let $α_{\star}(δ,\ell)$ be the supremum over $α$ such that there exists an algorithm that makes $n^δ$ queries in total to the adjacency matrix of $G$, in a constant $\ell$ number of rounds, and outputs a clique of size $α\log_{2} n$ with high probability. We give improved upper bounds on $α_{\star}(δ,\ell)$ for every $δ\in [1,2)$ and $\ell \geq 3$. We also study analogous questions for finding subgraphs with density at least $η$ for a given $η$, and prove corresponding impossibility results.
Simplicial pseudohyperplane arrangements give weak Garside groups
Published
• View Publication
• BIB
In this note we connect the language of Bessis's Garisde categories with Salvetti's metrical-hemisphere complexes in order to find new examples of weak Garside groups. As our main example, we show that the fundamental group of the (appropriately defined) complexified complement of a pseudohyperplane arrangement is a weak Garside group. As a consequence of the Folkman-Lawrence topological realization theorem, we also show that fundamental group of the Salvetti complex of a ("simplicial") oriented matroid is a weak Garside group. This provides novel examples of weak Garside groups.