Showing 20 papers (Total: 82000 papers, 47479 authors in database)
The structure of monotone blow-ups in symplectic toric geometry and a question of McDuff
Published
• View Publication
• BIB
Monotone polytopes, also known as smooth reflexive polytopes, are the polytopes associated to monotone symplectic toric manifolds and Gorenstein Fano toric varieties. We first show that the only monotone polytopes admitting blow-ups at vertices are the simplex and the result of a codimension-two blow-up in it (this is the polyhedral version of a result of Bonavero from 2002). Then we show that the $n$-simplex admits disjoint blow-ups at faces if and only if the faces are disjoint and have dimensions adding up to $n-1$ or $n-2$. These results answer a question posed by Dusa McDuff in 2011.
A Combinatorial Hopf Algebra on Partition Diagrams
Published
• View Publication
• BIB
We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_α H_β = H_{α\cdot β}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $α$ and $β$, we mimic this multiplication rule by setting $\textsf{H}_π \textsf{H}_ρ = \textsf{H}_{π\otimes ρ}$ for partition diagrams $π$ and $ρ$ and for the horizontal concatenation $π\otimes ρ$ of $ π$ and $ρ$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.
Solving Abalone on Small Boards
Abalone is a 2-player board game with perfect information. The game is played on a 5x5x5 hexagonal grid and ends when a player pushes 6 of their opponents' pieces off the board. Abalone is similar to games like chess and Go in that all three games have high branching factors, making it difficult for a computer to determine the outcome of a game. However, solving smaller, simplified versions of Abalone can offer insight into how to play the full-size game optimally. In this paper, we strongly solve a variation of Abalone played on a 2x2x2 hexagonal board. We also weakly solve an Abalone variation on a 2x2x3 hexagonal board.
Independent dominating sets in planar triangulations
Published
• View Publication
• BIB
In 1996, Matheson and Tarjan proved that every near planar triangulation on $n$ vertices contains a dominating set of size at most $n/3$, and conjectured that this upper bound can be reduced to $n/4$ for planar triangulations when $n$ is sufficiently large. In this paper, we consider the analogous problem for independent dominating sets: What is the minimum $ε$ for which every near planar triangulation on $n$ vertices contains an independent dominating set of size at most $εn$? We prove that $2/7 \leq ε\leq 5/12$. Moreover, this upper bound can be improved to $3/8$ for planar triangulations, and to $1/3$ for planar triangulations with minimum degree 5.
Lines, Quadrics, and Cremona Transformations in Two-View Geometry
Given $7 \leq k \leq 9$ points $(x_i,y_i) \in \mathbb{P}^2 \times \mathbb{P}^2$, we characterize rank deficiency of the $k \times 9$ matrix $Z_k$ with rows $x_i^\top \otimes y_i^\top$, in terms of the geometry of the point sets $\{x_i\}$ and $\{y_i\}$. This problem arises in the conditioning of certain well-known reconstruction algorithms in computer vision, but has surprising connections to classical algebraic geometry via the interplay of quadric surfaces, cubic curves and Cremona transformations. The characterization of rank deficiency of $Z_k$, when $k \leq 6$, was completed in arXiv:2301.09826.
Exponentiations of ultrafilters
Published
• View Publication
• BIB
In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the foundations of a general theory of exponentiations of ultrafilters, with a particular focus on their combinatorial properties and the existence of idempotents.
Burning a binary tree and its generalization
Graph burning is a graph process that models the spread of social contagion. Initially, all the vertices of a graph $G$ are unburnt. At each step, an unburnt vertex is put on fire and the fire from burnt vertices of the previous step spreads to their adjacent unburnt vertices. This process continues till all the vertices are burnt. The burning number $b(G)$ of the graph $G$ is the minimum number of steps required to burn all the vertices in the graph. The burning number conjecture by Bonato et al. states that for a connected graph $G$ of order $n$, its burning number $b(G) \leq \lceil \sqrt{n} \rceil$. It is easy to observe that in order to burn a graph it is enough to burn its spanning tree. Hence it suffices to prove that for any tree $T$ of order $n$, its burning number $b(T) \leq \lceil \sqrt{n} \rceil$ where $T$ is the spanning tree of $G$. It was proved in 2018 that $b(T) \leq \lceil \sqrt{n + n_2 + 1/4} +1/2 \rceil$ for a tree $T$ where $n_2$ is the number of degree $2$ vertices in $T$. In this paper, we provide an algorithm to burn a tree and we improve the existing bound using this algorithm. We prove that $b(T)\leq \lceil \sqrt{n + n_2 + 8}\rceil -1$ which is an improved bound for $n\geq 50$. We also provide an algorithm to burn some subclasses of the binary tree and prove the burning number conjecture for the same.
The Circuit-Cocircuit Intersection Conjecture for Intersection Size $\le7$
A circuit-cocircuit intersection, or a CCI for short, of a matroid is the intersection of a circuit and a cocircuit. Oxley conjectured (1992) that a matroid with a CCI of size $k\ge4$ has a CCI of size $k-2$. We show that the conjecture holds for $k\le7$.
On the power series of involutory functions
Published in Enumer. Combin. Appl. 4:2 (2024), Article S2R10
• View Publication
• BIB
It is shown that the coefficients of any involutory function $f$ represented as a power series can be expressed in terms of multivariable Lah polynomials. This result is based on the fact that any such $f~(\neq\text{identity})$ can be regarded as a (compositional) conjugate of negative identity. Moreover, a constructive proof of this statement is given.
Kalai's $3^{d}$ conjecture for unconditional and locally anti-blocking polytopes
Published
• View Publication
• BIB
Kalai's $3^d$ conjecture states that every centrally-symmetric $d$-polytope has at least $3^d$ faces. We give short proofs for two special cases: if $P$ is unconditional (that is, invariant w.r.t. reflection in any coordinate hyperplane), and more generally, if $P$ is locally anti-blocking. In both cases we show that the minimum is attained exactly for the Hanner polytopes.
Fundamental Groups of Hamming Graphs
Published
• View Publication
• BIB
Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a homotopy category, a fundamental group for graphs under this homotopy, and a way of computing covers of graphs that lift homotopy via this fundamental group. In this paper, we compute the fundamental groups of all Hamming graphs, show that they are direct products of cyclic groups, and use this result to describe some $\times$-homotopy covers of Hamming graphs.
Solving a Random Asymmetric TSP Exactly in Quasi-Polynomial Time w.h.p
Published
• View Publication
• BIB
Let the costs $C(i,j)$ for an instance of the Asymmetric Traveling Salesperson Problem (ATSP) be independent copies of a non-negative random variable $C$ from a class of distributions that include the uniform $[0,1]$ distribution and the exponential mean 1 distribution with mean 1. We describe an algorithm that solves ATSP exactly in time $e^{\log^{2+o(1)}n}$, w.h.p.
Total outer-connected domination number of middle graphs
In this paper, we study the total outer-connected domination number of the middle graph of a simple graph and we obtain tight bounds for this number in terms of the order of the middle graph. We also compute the total outer-connected domination number of some families of graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the total outer-connected domination number of middle graphs.
Connectivity gaps among matroids with the same enumerative invariants
Published in Advances in Applied Mathematics, 2024
• View Publication
• BIB
Many important enumerative invariants of a matroid can be obtained from its Tutte polynomial, and many more are determined by two stronger invariants, the $\mathcal{G}$-invariant and the configuration of the matroid. We show that the same is not true of the most basic connectivity invariants. Specifically, we show that for any positive integer $n$, there are pairs of matroids that have the same configuration (and so the same $\mathcal{G}$-invariant and the same Tutte polynomial) but the difference between their Tutte connectivities exceeds $n$, and likewise for vertical connectivity and branch-width. The examples that we use to show this, which we construct using an operation that we introduce, are transversal matroids that are also positroids.
A formula for the base size of the symmetric group in its action on subsets
Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$.
Fractional revival on semi-Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper, we investigate the existence of fractional revival on semi-Cayley graphs over finite abelian groups. We give some necessary and sufficient conditions for semi-Cayley graphs over finite abelian groups admitting fractional revival. We also show that integrality is necessary for some semi-Cayley graphs admitting fractional revival. Moreover, we characterize the minimum time when semi-Cayley graphs admit fractional revival. As applications, we give examples of certain Cayley graphs over the generalized dihedral groups and generalized dicyclic groups admitting fractional revival.
Binomial Fibonacci sums from Chebyshev polynomials
We explore new types of binomial sums with Fibonacci and Lucas numbers. The binomial coefficients under consideration are $\frac{n}{n+k}\binom{n+k}{n-k}$ and $\frac{k}{n+k}\binom{n+k}{n-k}$. The identities are derived by relating the underlying sums to Chebyshev polynomials. Finally, some combinatorial sums are studied and a connection to a recent paper by Chu and Guo from 2022 is derived.
Everywhere unbalanced configurations
Published
• View Publication
• BIB
An old problem in discrete geometry, originating with Kupitz, asks whether there is a fixed natural number $k$ such that every finite set of points in the plane has a line through at least two of its points where the number of points on either side of this line differ by at most $k$. We give a negative answer to a natural variant of this problem, showing that for every natural number $k$ there exists a finite set of points in the plane together with a pseudoline arrangement such that each pseudoline contains at least two points and there is a pseudoline through any pair of points where the number of points on either side of each pseudoline differ by at least $k$. Moreover, we may find such a configuration with at most $2^{2^{ck}}$ points, which, by a result of Pinchasi, is best possible up to the value of the constant $c$.
Prime and polynomial distances in colourings of the plane
Published
• View Publication
• BIB
We give two extensions of the recent theorem of the first author that the odd distance graph has unbounded chromatic number. The first is that for any non-constant polynomial $f$ with integer coefficients and positive leading coefficient, every finite colouring of the plane contains a monochromatic pair of distinct points whose distance is equal to $f(n)$ for some integer $n$. The second is that for every finite colouring of the plane, there is a monochromatic pair of points whose distance is a prime number.
Periodicity and Circulant Matrices in the Riordan Array of a Polynomial
Published
• View Publication
• BIB
We consider Riordan arrays $\bigl(1/(1-t^{d+1}), ~ tp(t)\bigr)$. These are infinite lower triangular matrices determined by the formal power series $1/(1-t^{d+1})$ and a polynomial $p(t)$ of degree $d$. Columns of such matrix are eventually periodic sequences with a period of $d + 1$, and circulant matrices are used to describe the long term behavior of such periodicity when the column's index grows indefinitely. We also discuss some combinatorially interesting sequences that appear through the corresponding A - and Z - sequences of such Riordan arrays.