Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A non-associative incidence near-ring with a generalized Möbius function
Published
• View Publication
• BIB
There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.
The Extremal Function for Apex Graphs
McCarty and Thomas conjectured that a linklessly embeddable graph with $n\ge 7 $ vertices and $t$ triangles has at most $3n-9 +\frac{t}{3}$ edges. Thomas and Yoo proved this to be true for apex graphs. We give a shorter and simpler proof for the apex case.
Number of partitions of n with a given parity of the smallest part
We obtain a combinatorial proof of a surprising weighted partition equality of Berkovich and Uncu. Our proof naturally leads to a formula for the number of partitions with a given parity of the smallest part, in terms of S(i), the number of partitions of i into distinct parts with even rank minus the number with odd rank, for which there is an almost closed formula by Andrews, Dyson and Hickerson. This method of calculating the number of partitions of n with a given parity of the smallest part is practical and efficient.
A combinatorial proof of the Burdzy-Pitman conjecture
Published
• View Publication
• BIB
We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic version of this theorem and thus confirm the Burdzy-Pitman conjecture about the maximal spread of coherent and independent distributions.
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (December 11, 2023) dmtcs:9925
• View Publication
• BIB
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope.
Representation theoretic interpretation and interpolation properties of inhomogeneous spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We establish new properties of inhomogeneous spin $q$-Whittaker polynomials, which are symmetric polynomials generalizing $t=0$ Macdonald polynomials. We show that these polynomials are defined in terms of a vertex model, whose weights come not from an $R$-matrix, as is often the case, but from other intertwining operators of $U'_q(\hat{\mathfrak{sl}}_2)$-modules. Using this construction, we are able to prove a Cauchy-type identity for inhomogeneous spin $q$-Whittaker polynomials in full generality. Moreover, we are able to characterize spin $q$-Whittaker polynomials in terms of vanishing at certain points, and we find interpolation analogues of $q$-Whittaker and elementary symmetric polynomials.
Entanglement statistics of polymers in a lattice tube and unknotting of 4-plats
Published
• View Publication
• BIB
The Knot Entropy Conjecture states that the exponential growth rate of the number of $n$-edge lattice polygons with knot-type $K$ is the same as that for unknot polygons. Moreover, the next order growth follows a power law in $n$ with an exponent that increases by one for each prime knot in the knot decomposition of $K$. We provide the first proof of this conjecture by considering knots and non-split links in tube $\mathbb{T}^*$, an $\infty \times 2\times 1$ sublattice of the simple cubic lattice. We establish upper and lower bounds relating the asymptotics of the number of $n$-edge polygons with fixed link-type in $\mathbb{T}^*$ to that of the number of $n$-edge unknots. For the upper bound, we prove that polygons can be unknotted by braid insertions. For the lower bound, we prove a pattern theorem for unknots using information from exact transfer-matrices. This work provides new knot theory results for 4-plats and new combinatorics results for lattice polygons. Connections to modelling polymers such as DNA in nanochannels are highlighted.
The vertex connectivity of some classes of divisible design graphs
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbours, and two vertices from different classes have exactly $λ_2$ common neighbours. In this paper, we find the vertex connectivity of some classes of divisible design graphs, in particular, we present examples of divisible design graphs, whose vertex connectivity is less than $k$, where $k$ is the degree of a vertex. We also show that the vertex connectivity a divisible design graphs may be less than $k$ by any power of 2.
On coloring of graphs of girth 2l + 1 without longer odd holes
Published
• View Publication
• BIB
A hole is an induced cycle of length at least 4. Let $ł\ge 2$ be a positive integer, let ${\cal G}_l$ denote the family of graphs which have girth $2ł+1$ and have no holes of odd length at least $2ł+3$, and let $G\in {\cal G}_ł$. For a vertex $u\in V(G)$ and a nonempty set $S\subseteq V(G)$, let $d(u, S)=\min\{d(u, v):v\in S\}$, and let $L_i(S)=\{u\in V(G) \mbox{ and } d(u, S)=i\}$ for any integer $i\ge 0$. We show that if $G[S]$ is connected and $G[L_i(S)]$ is bipartite for each $i\in\{1, \ldots, \lfloor{ł\over 2}\rfloor\}$, then $G[L_i(S)]$ is bipartite for each $i>0$, and consequently $χ(G)\le 4$, where $G[S]$ denotes the subgraph induced by $S$. Let $θ^-$ be the graph obtained from the Petersen graph by deleting three vertices which induce a path, let $θ^+$ be the graph obtained from the Petersen graph by deleting two adjacent vertices, and let $θ$ be the graph obtained from $θ^+$ by removing an edge incident with two vertices of degree 3. For a graph $G\in{\cal G}_2$, we show that if $G$ is 3-connected and has no unstable 3-cutset then $G$ must induce either $θ$ or $θ^-$ but does not induce $θ^+$. As corollaries, $χ(G)\le 3$ for every graph $G$ of ${\cal G}_2$ that induces neither $θ$ nor $θ^-$, and minimal non-3-colorable graphs of ${\cal G}_2$ induce no $θ^+$.
The Ceresa class and tropical curves of hyperelliptic type
Published
• View Publication
• BIB
We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$.
Total domination number of middle graphs
Published
• View Publication
• BIB
A total dominating set of a graph G with no isolated vertices is a subset S of the vertex set such that every vertex of G is adjacent to a vertex in S. The total domination number of G is the minimum cardinality of a total dominating set of G. In this paper, we study the total domination number of middle graphs. Indeed, we obtain tight bounds for this number in terms of the order of the graph G. We also compute the total domination number of the middle graph of some known families of graphs explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the total domination number of middle graphs.
Indistinguishable asymptotic pairs and multidimensional Sturmian configurations
Published in Ergodic Theory and Dynamical Systems 45 (2025) 337-395
• View Publication
• BIB
Two asymptotic configurations on a full $\mathbb{Z}^d$-shift are indistinguishable if for every finite pattern the associated sets of occurrences in each configuration coincide up to a finitely supported permutation of $\mathbb{Z}^d$. We prove that indistinguishable asymptotic pairs satisfying a "flip condition" are characterized by their pattern complexity on finite connected supports. Furthermore, we prove that uniformly recurrent indistinguishable asymptotic pairs satisfying the flip condition are described by codimension-one (dimension of the internal space) cut and project schemes, which symbolically correspond to multidimensional Sturmian configurations. Together the two results provide a generalization to $\mathbb{Z}^d$ of the characterization of Sturmian sequences by their factor complexity $n+1$. Many open questions are raised by the current work and are listed in the introduction.
Realizability in tropical geometry and unobstructedness of Lagrangian submanifolds
Published in Geom. Topol. 29 (2025) 1909-1973
• View Publication
• BIB
We say that a tropical subvariety $V\subset \mathbb R^n$ is $B$-realizable if it can be lifted to an analytic subset of $(Λ^*)^n$. When $V$ is a smooth curve or hypersurface, there always exists a Lagrangian submanifold lift $L_V\subset (\mathbb C^*)^n$. We prove that whenever $L_V$ has well-defined Floer cohomology, we can find for each point of $V$ a Lagrangian torus brane whose Lagrangian intersection Floer cohomology with $L_V$ is non-vanishing. Assuming an appropriate homological mirror symmetry result holds for toric varieties, it follows that whenever $L_V$ is a Lagrangian submanifold that can be made unobstructed by a bounding cochain, the tropical subvariety $V$ is $B$-realizable. As an application, we show that the Lagrangian lift of a genus zero tropical curve is unobstructed, thereby giving a purely symplectic argument for Nishinou and Siebert's proof that genus-zero tropical curves are $B$-realizable. We also prove that tropical curves inside tropical abelian surfaces are $B$-realizable.
The chromatic number of (P_5, HVN )-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph. We use $χ(G)$ and $ω(G)$ to denote the chromatic number and clique number of $G$ respectively. A $P_5$ is a path on 5 vertices, and an $HVN$ is a $K_4$ together with one more vertex which is adjacent to exactly two vertices of $K_4$. Combining with some known result, in this paper we show that if $G$ is $(P_5, \textit{HVN})$-free, then $χ(G)\leq \max\{\min\{16, ω(G)+3\}, ω(G)+1\}$. This upper bound is almost sharp.
Polarised random k-SAT
Published
• View Publication
• BIB
In this paper we study a variation of the random $k$-SAT problem, called polarized random $k$-SAT. In this model there is a polarization parameter $p$, and in half of the clauses each variable occurs negated with probability $p$ and pure otherwise, while in the other half the probabilities are interchanged. For $p=1/2$ we get the classical random $k$-SAT model, and at the other extreme we have the fully polarized model where $p=0$, or $1$. Here there are only two types of clauses: clauses where all $k$ variables occur pure, and clauses where all $k$ variables occur negated. That is, for $p=0$ we get an instance of random monotone $k$-SAT. We show that the threshold of satisfiability does not decrease as $p$ moves away from $\frac{1}{2}$ and thus that the satisfiability threshold for polarized random $k$-SAT is an upper bound on the threshold for random $k$-SAT. In fact, we conjecture that asymptotically the two thresholds coincide.
Colourings of path systems
Published
• View Publication
• BIB
A $P_m$ path in a graph is a path on $m$ vertices. A $P_m$ system of order $n>1$ is a partition of the edges of the complete graph $K_n$ into $P_m$ paths. A $P_m$ system is said to be $k$-colourable if the vertex set of $K_n$ can be partitioned into $k$ sets called colour classes such that no path in the system is monochromatic. The system is $k$-chromatic if it is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of a $P_m$ system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first observe that there exists a $k$-chromatic $P_m$ system for any $k\geq 2$ and $m\geq 4$ where $m$ is even. Next, we prove that there exists an equitably 2-chromatic $P_4$ system of order $n$ for each admissible order $n$. We then show that for all $k\geq 3$, there exists a $k$-chromatic $P_4$ system of order $n$ for all sufficiently large admissible $n$. Finally, we show that there exists a uniquely 2-chromatic $P_4$ system of order $n$ for each admissible $n \geq 109$.
Hamiltonicity in generalized quasi-dihedral groups
Published
• View Publication
• BIB
Witte Morris showed in [21] that every connected Cayley graph of a finite (generalized) dihedral group has a Hamiltonian path. The infinite dihedral group is defined as the free product with amalgamation $\mathbb Z_2 \ast \mathbb Z_2$. We show that every connected Cayley graph of the infinite dihedral group has both a Hamiltonian double ray, and extend this result to all two-ended generalized quasi-dihedral groups.
Lattice paths and negatively indexed weight-dependent binomial coefficients
In 1992, Loeb considered a natural extension of the binomial coefficients to negative entries and gave a combinatorial interpretation in terms of hybrid sets. He showed that many of the fundamental properties of binomial coefficients continue to hold in this extended setting. Recently, Formichella and Straub showed that these results can be extended to the $q$-binomial coefficients with arbitrary integer values and extended the work of Loeb further by examining arithmetic properties of the $q$-binomial coefficients. In this paper, we give an alternative combinatorial interpretation in terms of lattice paths and consider an extension of the more general weight-dependent binomial coefficients, first defined by the second author, to arbitrary integer values. Remarkably, many of the results of Loeb, Formichella and Straub continue to hold in the general weighted setting. We also examine important special cases of the weight-dependent binomial coefficients, including ordinary, $q$- and elliptic binomial coefficients as well as elementary and complete homogeneous symmetric functions.
A q-analog of the adjacency matrix of the n-cube
Published
• View Publication
• BIB
We define a q-analog of the adjacency matrix of the n-cube, determine its eigenvalues and write down a canonical eigenbasis. We give a weighted count of the number of rooted spanning trees in the q-analog of the n-cube.
Remarks on the previous version: The q-analog of the Kac matrix appears in Terwilliger's classification of Leonard pairs and as such its eigenvalues and eigenvectors were known. Reference added to Terwilliger's papers and also to a paper of Johnson. Title changed to reflect this.
Galactic Token Sliding
Published
• View Publication
• BIB
Given a graph $G$ and two independent sets $I_s$ and $I_t$ of size $k$, the independent set reconfiguration problem asks whether there exists a sequence of $k$-sized independent sets $I_s = I_0, I_1, I_2, \ldots, I_\ell = I_t$ such that each independent set is obtained from the previous one using a so-called reconfiguration step. Viewing each independent set as a collection of $k$ tokens placed on the vertices of a graph $G$, the two most studied reconfiguration steps are token jumping and token sliding. In the token jumping variant of the problem, a single step allows a token to jump from one vertex to any other vertex in the graph. In the token sliding variant, a token is only allowed to slide from a vertex to one of its neighbors. Like the independent set problem, both of the aforementioned problems are known to be W[1]-hard on general graphs. A very fruitful line of research has showed that the independent set problem becomes fixed-parameter tractable when restricted to sparse graph classes, such as planar, bounded treewidth, nowhere-dense, and all the way to biclique-free graphs. Over a series of papers, the same was shown to hold for the token jumping problem. As for the token sliding problem, which is mentioned in most of these papers, almost nothing is known beyond the fact that the problem is polynomial-time solvable on trees and interval graphs. We remedy this situation by introducing a new model for the reconfiguration of independent sets, which we call galactic reconfiguration. Using this new model, we show that (standard) token sliding is fixed-parameter tractable on graphs of bounded degree, planar graphs, and chordal graphs of bounded clique number. We believe that the galactic reconfiguration model is of independent interest and could potentially help in resolving the remaining open questions concerning the (parameterized) complexity of token sliding.