Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Quantifying the difference between phylogenetic diversity and diversity indices
Published
• View Publication
• BIB
Phylogenetic diversity is a popular measure for quantifying the biodiversity of a collection $Y$ of species, while phylogenetic diversity indices provide a way to apportion phylogenetic diversity to individual species. Typically, for some specific diversity index, the phylogenetic diversity of $Y$ is not equal to the sum of the diversity indices of the species in $Y.$ In this paper, we investigate the extent of this difference for two commonly-used indices: Fair Proportion and Equal Splits. In particular, we determine the maximum value of this difference under various instances including when the associated rooted phylogenetic tree is allowed to vary across all root phylogenetic trees with the same leaf set and whose edge lengths are constrained by either their total sum or their maximum value.
Multidimensional polynomial patterns over finite fields: bounds, counting estimates and Gowers norm control
Published
• View Publication
• BIB
We examine multidimensional polynomial progressions involving linearly independent polynomials in finite fields, proving power saving bounds for sets lacking such configurations. This jointly generalises earlier results of Peluse (for the single dimensional case) and the author (for distinct degree polynomials). In contrast to the cases studied in the aforementioned two papers, a usual PET induction argument does not give Gowers norm control over multidimensional progressions that involve polynomials of the same degrees. The main challenge is therefore to obtain Gowers norm control, and we accomplish this for all multidimensional polynomial progressions with pairwise independent polynomials. The key inputs are: (1) a quantitative version of a PET induction scheme developed in ergodic theory by Donoso, Koutsogiannis, Ferré-Moragues and Sun, (2) a quantitative concatenation result for Gowers box norms in arbitrary finite abelian groups, motivated by earlier results of Tao, Ziegler, Peluse and Prendiville; (3) an adaptation to combinatorics of the box norm smoothing technique, recently developed in the ergodic setting by the author and Frantzikinakis; and (4) a new version of the multidimensional degree lowering argument.
On uniquely packable trees
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices that are pairwise distance more than $i$ apart. A \emph{packing colouring} of $G$ is a partition $X=\{X_{1},X_{2},\ldots,X_{k}\}$ of $V(G)$ such that each colour class $X_{i}$ is an $i$-packing. The minimum order $k$ of a packing colouring is called the packing chromatic number of $G$, denoted by $χ_ρ(G)$. In this paper we investigate the existence of trees $T$ for which there is only one packing colouring using $χ_ρ(T)$ colours. For the case $χ_ρ(T)=3$, we completely characterise all such trees. As a by-product we obtain sets of uniquely $3$-$χ_ρ$-packable trees with monotone $χ_ρ$-coloring and non-monotone $χ_ρ$-coloring respectively.
Triangles with one fixed side-length, a Furstenberg type problem, and incidences in finite vector spaces
Published
• View Publication
• BIB
The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in $\mathbb{F}_q^2$. More precisely, for $A, B, C\subset \mathbb{F}_q^2$, if $|A||B||C|^{1/2}\gg q^4$, then for any $λ\in \mathbb{F}_q\setminus \{0\}$, the number of congruence classes of triangles with vertices in $A\times B\times C$ and one side-length $λ$ is at least $\gg q^2$. In higher dimensions, we obtain similar results for $k$-simplex but under a slightly stronger condition. Compared to the well--known $L^2$ method in the literature, our approach offers better results in both conditions and conclusions. When $A=B=C$, the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point--line incidence bound in $\mathbb{F}_q^3$ due to Kollár (2015).
Cycles in Austrian Solitaire
Published
• View Publication
• BIB
Austrian Solitaire is a variation of Bulgarian Solitaire. It may be described as a card game, a method of asset inventory management, or a discrete dynamical system on integer partitions. We prove that the limit cycles in Austrian Solitaire do not depend on the initial configuration; in other words, each state space is connected. We show that a full Farey sequence completely characterizes these unique (and balanced) cycles.
Local dimer dynamics in higher dimensions
Published
• View Publication
• BIB
We consider local dynamics of the dimer model (perfect matchings) on hypercubic boxes $[n]^d$. These consist of successively switching the dimers along alternating cycles of prescribed (small) lengths. We study the connectivity properties of the dimer configuration space equipped with these transitions. Answering a question of Freire, Klivans, Milet and Saldanha, we show that in three dimensions any configuration admits an alternating cycle of length at most 6. We further establish that any configuration on $[n]^d$ features order $n^{d-2}$ alternating cycles of length at most $4d-2$. We also prove that the dynamics of dimer configurations on the unit hypercube of dimension $d$ is ergodic when switching alternating cycles of length at most $4d-4$. Finally, in the planar but non-bipartite case, we show that parallelogram-shaped boxes in the triangular lattice are ergodic for switching alternating cycles of lengths 4 and 6 only, thus improving a result of Kenyon and Rémila, which also uses 8-cycles. None of our proofs make reference to height functions.
Counting Clean Words According to the Number of Their Clean Neighbors
Published
• View Publication
• BIB
We extract brilliant ideas of Sandi Klavzar, Michel Mollard, and Marko Petkovsek who used them to solve one very specific enumeration problem, namely counting the number of words in the alphabet {0,1} of length n avoiding two consecutive ones, and having exactly k such neighbors, to a much more general setting where one has any (finite) alphabet, and any (finite) set of forbidden subwords. More important, we fully implement it in Maple.
The number of polyiamonds is supermultiplicative
Published in The Electronic Journal of Combinatorics (2023): P4-38
• View Publication
• BIB
While the number of polyominoes is known to be supermultiplicative by a simple concatenation argument, it is still unknown whether the same applies to polyiamonds. This article proves that if $\ell,m$ are not both $1$, then $T(\ell+m)\ge T(\ell)T(m)$, for which one can say that the number of polyiamonds $T(n)$ is supermultiplicative. The method is, however, by concatenating, merging and adding cells at the same time. A corollary is an increment of the best known lower bound on the growth constant from $2.8423$ to $2.8578$.
Optimal radio labelings of the Cartesian product of the generalized Peterson graph and tree
Published in Discrete Mathematics, Algorithms and Applications, 2024
• View Publication
• BIB
A radio labeling of a graph $G$ is a function $f : V(G) \rightarrow \{0,1,2,\ldots\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u,v$ of $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest number $k$ such that $G$ has radio labeling $f$ with max$\{f(v):v \in V(G)\} = k$. In this paper, we give a lower bound for the radio number for the Cartesian product of the generalized Petersen graph and tree. We present two necessary and sufficient conditions, and three other sufficient conditions to achieve the lower bound. Using these results, we determine the radio number for the Cartesian product of the Peterson graph and stars.
No Where to Go But High: A Perspective on High Dimensional Expanders
Published
• View Publication
• BIB
"No Where to go but in" is a well known statement of Osho. Osho meant to say that the answers to all our questions should be obtained by looking into ourselves. In a paraphrase to Osho's statement we say "No Where to go but high". This meant to demonstrate that for various seemingly unrelated topics and questions the only way to get significant progress is via the prism of a new philosophy (new field) called high dimensional expansion. In this note we give an introduction \footnote{This introduction reflects the authors' interests and by no mean claim to represent the field in a through way} to the high dimensional expansion philosophy, and how it has been useful recently in obtaining progress in various questions in seemingly unrelated fields.
This exposition is dedicated to the memory of my mother, Sarah Kaufman, who was always trying to understand the reason why things behave in a certain way. It is also dedicated to the memory of my father Eliezer Kaufman.
Edge general position sets in Fibonacci and Lucas cubes
A set of edges $X\subseteq E(G)$ of a graph $G$ is an edge general position set if no three edges from $X$ lie on a common shortest path in $G$. The cardinality of a largest edge general position set of $G$ is the edge general position number of $G$. In this paper edge general position sets are investigated in partial cubes. In particular it is proved that the union of two largest $Θ$-classes of a Fibonacci cube or a Lucas cube is a maximal edge general position set.
Hands-on Tropical Geometry
This is a guide on how to create 3d printable models of tropical surfaces, curves, and combinations thereof. It uses Polymake to construct bounded models of the tropical objects, and OpenSCAD to thicken and export them to any common 3D printable file format.
From the Mayer-Vietoris spectral sequence to überhomology
Published in Proc. Roy. Soc. Edinburgh Sect. A (2023)
• View Publication
• BIB
We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.
The chromatic number of the plane with an interval of forbidden distances is at least 7
The work is devoted to one of the variations of the Hadwiger--Nelson problem on the chromatic number of the plane. In this formulation one needs to find for arbitrarily small $\varepsilon$ the least possible number of colors needed to color a Euclidean plane in such a way that any two points, the distance between which belongs to the interval $[1-\varepsilon, 1+\varepsilon]$, are colored differently. The conjecture proposed by G. Exoo in 2004, states that for arbitrary positive $\varepsilon$ at least 7 colors are required. Also, with a sufficiently small $\varepsilon$ the number of colors is exactly 7. The main result of the present paper is that the conjecture is true for the Euclidean plane as well as for any Minkowski plane.
Algebraic Characterization of the Voronoi Cell Structure of the $A_n$ Lattice
We characterized the combinatorial structure of the Voronoi cell of the $A_n$ lattice in arbitrary dimensions. Based on the well-known fact that the Voronoi cell is the disjoint union of $(n+1)!$ congruent simplices, we show that it is the disjoint union of $(n+1)$ congruent hyper-rhombi, which are the generalized rhombi or trigonal trapezohedra. The explicit structure of the faces is investigated, including the fact that all the $k$-dimensional faces, $2\le k\le n-1$, are hyper-rhombi. We show it to be the vertex-first orthogonal projection of the $(n+1)$-dimensional unit cube. Hence the Voronoi cell is a zonotope. We prove that in low dimensions ($n\le 3$) the Voronoi cell can be understood as the section of that of the $D_{n+1}$ lattice with the hyperplane orthogonal to the diagonal direction. We provide all the explicit coordinates and transformation matrices associated with our analysis. Most of our analysis is algebraic and easily accessible to those less familiar with the Coxeter-Dynkin diagrams.
Bounds on Maximum Weight Directed Cut
Published
• View Publication
• BIB
We obtain lower and upper bounds for the maximum weight of a directed cut in the classes of weighted digraphs and weighted acyclic digraphs as well as in some of their subclasses. We compare our results with those obtained for the maximum size of a directed cut in unweighted digraphs. In particular, we show that a lower bound obtained by Alon, Bollobas, Gyafas, Lehel and Scott (J Graph Th 55(1) (2007)) for unweighted acyclic digraphs can be extended to weighted digraphs with the maximum length of a cycle being bounded by a constant and the weight of every arc being at least one. We state a number of open problems.
A note on the 1-2-3 Theorem for infinite graphs
Karoński, Łuczak and Thomason conjectured in 2004 that for every finite graph without isolated edge, the edges can be assigned weights from $\{1,2,3\}$ in such a way that the endvertices of each edge have different sums of incident edge weights. This is known as the 1-2-3 Conjecture, and it was only recently proved by Keusch. We extend this result to infinite graphs in the following way. If $G$ is a graph without isolated edge, then the edges can be assigned weights from $\{1,2,3\}$ is such a way that the endvertices of each edge have different sum of incident edge weights, or these endvertices have both the same infinite degree. We also investigate the extensions of theorems about total and list versions of 1-2-3 Conjecture to infinite graphs.
Row-Column duality and combinatorial topological strings
Published in J. Phys. A: Math. Theor. 57 065202, 2024
• View Publication
• BIB
Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to two dimensional TQFTs based on fusion coefficients of finite groups. These TQFTs are denoted as $R(G)$-TQFTs and allow analogous integrality results to be derived for partial row sums of characters over conjugacy classes along fixed rows. This relation between the $G$-TQFTs and $R(G)$-TQFTs defines a row-column duality for character tables, which provides a physical framework for exploring the mathematical analogies between rows and columns of character tables. These constructive proofs of integrality are complemented with the proof of similar and complementary results using the more traditional Galois theoretic framework for integrality properties of character tables. The partial row and column sums are used to define generalised partitions of the integer row and column sums, which are of interest in combinatorial representation theory.
Critically 3-frustrated signed graphs
Published
• View Publication
• BIB
Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind.
Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.
Sparse vertex cutsets and the maximum degree
Published
• View Publication
• BIB
We show that every graph $G$ of maximum degree $Δ$ and sufficiently large order has a vertex cutset $S$ of order at most $Δ$ that induces a subgraph $G[S]$ of maximum degree at most $Δ-3$. For $Δ\in \{ 4,5\}$, we refine this result by considering also the average degree of $G[S]$. If $G$ has no $K_{r,r}$ subgraph, then we show the existence of a vertex cutset that induces a subgraph of maximum degree at most $\left(1-\frac{1}{r\choose 2}\right)Δ+O(1)$.