Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Homomesy via Toggleability Statistics
Published in Combinatorial Theory, 3(2), 2023
• View Publication
• BIB
The rowmotion operator acting on the set of order ideals of a finite poset has been the focus of a significant amount of recent research. One of the major goals has been to exhibit homomesies: statistics that have the same average along every orbit of the action. We systematize a technique for proving that various statistics of interest are homomesic by writing these statistics as linear combinations of "toggleability statistics" (originally introduced by Striker) plus a constant. We show that this technique recaptures most of the known homomesies for the posets on which rowmotion has been most studied. We also show that the technique continues to work in modified contexts. For instance, this technique also yields homomesies for the piecewise-linear and birational extensions of rowmotion; furthermore, we introduce a $q$-analogue of rowmotion and show that the technique yields homomesies for "$q$-rowmotion" as well.
The VC-dimension and point configurations in ${\Bbb F}_q^2$
Published
• View Publication
• BIB
Let $X$ be a set and ${\mathcal H}$ a collection of functions from $X$ to $\{0,1\}$. We say that ${\mathcal H}$ shatters a finite set $C \subset X$ if the restriction of ${\mathcal H}$ yields every possible function from $C$ to $\{0,1\}$. The VC-dimension of ${\mathcal H}$ is the largest number $d$ such that there exists a set of size $d$ shattered by ${\mathcal H}$, and no set of size $d+1$ is shattered by ${\mathcal H}$. Vapnik and Chervonenkis introduced this idea in the early 70s in the context of learning theory, and this idea has also had a significant impact on other areas of mathematics. In this paper we study the VC-dimension of a class of functions ${\mathcal H}$ defined on ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field with $q$ elements. Define $$ {\mathcal H}^d_t=\{h_y(x): y \in {\Bbb F}_q^d \},$$ where for $x \in {\Bbb F}_q^d$, $h_y(x)=1$ if $||x-y||=t$, and $0$ otherwise, where here, and throughout, $||x||=x_1^2+x_2^2+\dots+x_d^2$. Here $t \in {\Bbb F}_q$, $t \not=0$. Define ${\mathcal H}_t^d(E)$ the same way with respect to $E \subset {\Bbb F}_q^d$. The learning task here is to find a sphere of radius $t$ centered at some point $y \in E$ unknown to the learner. The learning process consists of taking random samples of elements of $E$ of sufficiently large size.
We are going to prove that when $d=2$, and $|E| \ge Cq^{\frac{15}{8}}$, the VC-dimension of ${\mathcal H}^2_t(E)$ is equal to $3$. This leads to an intricate configuration problem which is interesting in its own right and requires a new approach.
Fast Decoding of Union-free Codes
Published
• View Publication
• BIB
Union-free codes and disjunctive codes are two combinatorial structures, which are used in nonadaptive group testing to find a set of $d$ defective elements among $n$ samples by carrying out the minimal number of tests $t$. It is known that union-free codes have a larger rate, whereas disjunctive codes provide a more efficient decoding algorithm. In this paper we introduce a new family of codes for nonadaptive group testing with fast decoding. The rate of these codes is larger than the rate of disjunctive codes, while the decoding algorithm has the same complexity. In addition, we derive a lower bound on the rate of new codes for the case of $d=2$ defectives, which is significantly better than the bound for disjunctive codes and almost as good as the bound for union-free codes.
Topology of augmented Bergman complexes
Published
• View Publication
• BIB
The augmented Bergman complex of a matroid is a simplicial complex introduced recently in work of Braden, Huh, Matherne, Proudfoot and Wang. It may be viewed as a hybrid of two well-studied pure shellable simplicial complexes associated to matroids: the independent set complex and Bergman complex.
It is shown here that the augmented Bergman complex is also shellable, via two different families of shelling orders. Furthermore, comparing the description of its homotopy type induced from the two shellings re-interprets a known convolution formula counting bases of the matroid. The representation of the automorphism group of the matroid on the homology of the augmented Bergman complex turns out to have a surprisingly simple description. This last fact is generalized to closures beyond those coming from a matroid.
Generalized sum-free sets and cycle saturated regular graphs
Gerbner, Patkós, Tuza, and Vizer recently initiated the study of $F$-saturated regular graphs. One of the essential problems in this line of research is determining when such a graph exists. Using generalized sum-free sets we prove that for any odd integer $k \geq 5$, there is an $n$-vertex regular $C_k$-saturated graph for all $n \geq n_k$. Our proof is based on constructing a special type of sum-free set in $\mathbb{Z}_n$. We prove that for all even $\ell \geq 4$ and integers $n > 12 \ell^2 + 36 \ell + 24$, there is a symmetric complete $( \ell , 1)$-sum-free set in $\mathbb{Z}_n$. We pose the problem of finding the minimum size of such a set, and present some examples found by a computer search.
Capturing Polytopal Symmetries by Coloring the Edge-Graph
Published
• View Publication
• BIB
A general (convex) polytope $P\subset\mathbb R^d$ and its edge-graph $G_P$ can have very distinct symmetry properties. We construct a coloring (of the vertices and edges) of the edge-graph so that the combinatorial symmetry group of the colored edge-graph is isomorphic (in a natural way) to $\mathrm{Aut}_{\mathrm{GL}}(P)$, the group of linear symmetries of the polytope. We also construct an analogous coloring for $\mathrm{Aut}_{\mathrm{O}}(P)$, the group of orthogonal symmetries of $P$.
On the partial sums of Riordan arrays
We define two notions of partial sums of a Riordan array, corresponding respectively to the partial sums of the rows and the partial sums of the columns of the Riordan array in question. We characterize the matrices that arise from these operations. On the one hand, we obtain a new Riordan array, while on the other hand, we obtain a rectangular array which has an inverse that is a lower Hessenberg matrix. We examine the structure of these Hessenberg matrices. We end with a generalization linked to the Fibonacci numbers and phyllotaxis.
Optimal Radio Labellings of Block Graphs and Line Graphs of Trees
Published
• View Publication
• BIB
A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest $t$ such that $G$ admits a radio labeling with $t=\max\{|f(v)-f(u)|: v, u \in V(G)\}$. A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph. In this paper, a lower bound for the radio number of block graphs is established. The block graph which achieves this bound is called a lower bound block graph. We prove three necessary and sufficient conditions for lower bound block graphs. Moreover, we give three sufficient conditions for a graph to be a lower bound block graph. Applying the established bound and conditions, we show that several families of block graphs are lower bound block graphs, including the level-wise regular block graphs and the extended star of blocks. The line graph of a graph $G(V,E)$ has $E(G)$ as the vertex set, where two vertices are adjacent if they are incident edges in $G$. We extend our results to trees as trees and its line graphs are block graphs. We prove that if a tree is a lower bound block graph then, under certain conditions, its line graph is also a lower bound block graph, and vice versa. Consequently, we show that the line graphs of many known lower bound trees, excluding paths, are lower bound block graphs.
Proof of some Littlewood identities conjectured by Lee, Rains and Warnaar
Published in Proc. Amer. Math. Soc. Ser. B 11 (2024), 133-146
• View Publication
• BIB
We prove a novel pair of Littlewood identities for Schur functions, recently conjectured by Lee, Rains and Warnaar in the Macdonald case, in which the sum is over partitions with empty 2-core. As a byproduct we obtain a new Littlewood identity in the spirit of Littlewood's original formulae.
Extremal Polygonal Cacti for General Sombor Index
The Sombor index of a graph $G$ was recently introduced by Gutman from the geometric point of view, defined as $SO(G)=\sum_{uv\in E(G)}\sqrt{d(u)^2+d(v)^2}$, where $d(u)$ is the degree of a vertex $u$. For two real numbers $α$ and $β$, the $α$-Sombor index and general Sombor index of $G$ are two generalized forms of the Sombor index defined as $SO_α(G)=\sum_{uv\in E(G)}(d(u)^α+d(v)^α)^{1/α}$ and $SO_α(G;β)=\sum_{uv\in E(G)}(d(u)^α+d(v)^α)^β$, respectively. A $k$-polygonal cactus is a connected graph in which every block is a cycle of length $k$. In this paper, we establish a lower bound on $α$-Sombor index for $k$-polygonal cacti and show that the bound is attained only by chemical $k$-polygonal cacti. The extremal $k$-polygonal cacti for $SO_α(G;β)$ with some particular $α$ and $β$ are also considered.
Exact solutions to the Erdős-Rothschild problem
Published
• View Publication
• BIB
Let $\textbf{k} := (k_1,\ldots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\textbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\textbf{k})$ to denote the maximum of $F(G;\textbf{k})$ over all graphs $G$ on $n$ vertices. There are currently very few known exact (or asymptotic) results for this problem, posed by Erdős and Rothschild in 1974. We prove some new exact results for $n \to \infty$:
(i) A sufficient condition on $\textbf{k}$ which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results.
(ii) Addressing the original question of Erdős and Rothschild, in the case $\textbf{k}=(3,\ldots,3)$ of length $7$, the unique extremal graph is the complete balanced $8$-partite graph, with colourings coming from Hadamard matrices of order $8$.
(iii) In the case $\textbf{k}=(k+1,k)$, for which the sufficient condition in (i) does not hold, for $3 \leq k \leq 10$, the unique extremal graph is complete $k$-partite with one part of size less than $k$ and the other parts as equal in size as possible.
$q$-Analogues of $π$-Related Formulae from Jackson's $_8φ_7$-Series via Inversion Approach
By making use of the multiplicate form of the extended Carlitz inverse series relations, we establish two general `dual' theorems of Jackson's summation formula for well--poised $_8φ_7$-series. Their duplicate forms under the partition pattern $n=\lfloor{\frac{n}2}\rfloor+\lfloor{\frac{n+1}2}\rfloor$ are explored and yield numerous $q$-series identities whose limiting cases as $q\to1$ result in classical $π$-related Ramanujan--like series of convergence rate ``$\frac1{16}$" including one for $1/π^2$ discovered by Guillera (2003). The triplicate dual formulae under the partition pattern $n=\lfloor{\frac{n}3}\rfloor+\lfloor{\frac{n+1}3}\rfloor+\lfloor{\frac{n+2}3}\rfloor$ are examined via the ``reverse bisection method", which leads us to twenty new $q$-series identities together with their classical counterparts of convergence rate ``$\frac{-1}{27}$" when $q\to1$.
Lattice paths with infinitely many down steps -- the negative boundary model
We consider a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ down-steps $(1,-j)$, for $j\ge2$ are allowed.
We give credits to Emeric Deutsch for that.
The enumeration of such objects living in a strip is performed. Methods are the kernel method and techniques from linear algebra.
Steiner distance matrix of caterpillar graphs
Published
• View Publication
• BIB
For a connected graph $G:=(V,E)$, the Steiner distance $d_G(X)$ among a set of vertices $X$ is the minimum size among all the connected subgraphs of $G$ whose vertex set contains $X$. The $k-$Steiner distance matrix $D_k(G)$ of $G$ is a matrix whose rows and columns are indexed by $k-$subsets of $V$. For $k$-subsets $X_1$ and $X_2$, the $(X_1,X_2)-$entry of $D_k(G)$ is $d_G(X_1 \cup X_2)$. In this paper, we show that the rank of $2-$Steiner distance matrix of a caterpillar graph on $N$ vertices and with $p$ pendant veritices is $2N-p-1$.
The spectral property of hypergraph coverings
Published in Discrete Mathematics, Volume 347, Issue 3, March 2024, 113830
• View Publication
• BIB
Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.
Restricted Positional Games
A positional game is a game where two players sequentially label vertices of a hypergraph, consisting of a board and a collection of winning sets, with colors assigned to each player until all vertices of the board are claimed. The first player to claim all elements of a winning set wins. If no player claims all the elements of a winning set, then the game results in a draw. One such example of a positional game is Tic-Tac-Toe, where the board is the 3-by-3 grid. The popular game of Connect-4 is an example of what we define to be a "restricted positional game". Here, we introduce another example of a restricted positional game, Connect-Tac-Toe, which additionally has the influence of gravity-like restrictions to affect what plays are possible. It is a generalization of the Connect-4 game for the hypercube. We define a variant of the Hales-Jewett number for this game as a way to classify its restrictiveness and provide a logarithmic lower bound for this number.
The chromatic number of the Minkowski plane -- the regular polygon case
The Hadwiger-Nelson problem asks for the minimum number of colors, so that each point of the plane can be assigned a single color with the property that no two points unit-distance apart are identically colored. It is now known that the answer is $5$, $6$, or $7$, Here we consider the problem in the context of Minkowski planes, where the unit circle is a regular polygon with $8$, $10$, or $12$ vertices. We prove that in each of these cases, one also needs at least five colors.
Well-mixing vertices and almost expanders
Published
• View Publication
• BIB
We study regular graphs in which the random walks starting from a positive fraction of vertices have small mixing time. We prove that any such graph is virtually an expander and has no small separator. This answers a question of Pak [SODA, 2002]. As a corollary, it shows that sparse (constant degree) regular graphs with many well-mixing vertices have a long cycle, improving a result of Pak. Furthermore, such cycle can be found in polynomial time.
Secondly, we show that if the random walks from a positive fraction of vertices are well-mixing, then the random walks from almost all vertices are well-mixing (with a slightly worse mixing time).
Edge Statistics for Lozenge Tilings of Polygons, II: Airy Line Ensemble
Published in Forum of Mathematics, Pi 13 (2025) e2
• View Publication
• BIB
We consider uniformly random lozenge tilings of simply connected polygons subject to a technical assumption on their limit shape. We show that the edge statistics around any point on the arctic boundary, that is not a cusp or tangency location, converge to the Airy line ensemble. Our proof proceeds by locally comparing these edge statistics with those for a random tiling of a hexagon, which are well understood. To realize this comparison, we require a nearly optimal concentration estimate for the tiling height function, which we establish by exhibiting a certain Markov chain on the set of all tilings that preserves such concentration estimates under its dynamics.
Volume of convex polytopes equals mixed volume of simplices
Published
• View Publication
• BIB
This note provides a simple proof for the equality between the normalized volume of a convex polytope with $m$ vertices and the mixed volume of $m$ simplices and thus shows the seemingly restrictive problem of computing mixed volume of simplices is still at least as hard as computing volumes of convex polytopes.