Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Action of $W$-type operators on Schur functions and Schur Q-functions
Published
• View Publication
• BIB
In this paper, we investigate a series of W-type differential operators, which appear naturally in the symmetry algebras of KP and BKP hierarchies. In particular, they include all operators in the W-constraints for tau functions of higher KdV hierarchies which satisfy the string equation. We will give simple uniform formulas for actions of these operators on all ordinary Schur functions and Schur's Q-functions. As applications of such formulas, we will give new simple proofs for Alexandrov's conjecture and Mironov-Morozov's formula, which express the Brézin-Gross-Witten and Kontsevich-Witten tau-functions as linear combinations of Q-functions with simple coefficients respectively.
Min orderings and list homomorphism dichotomies for signed and unsigned graphs
Published
• View Publication
• BIB
The CSP dichotomy conjecture has been recently established, but a number of other dichotomy questions remain open, including the dichotomy classification of list homomorphism problems for signed graphs. Signed graphs arise naturally in many contexts, including for instance nowhere-zero flows for graphs embedded in non-orientable surfaces. For a fixed signed graph $\widehat{H}$, the list homomorphism problem asks whether an input signed graph $\widehat{G}$ with lists $L(v) \subseteq V(\widehat{H}), v \in V(\widehat{G}),$ admits a homomorphism $f$ to $\widehat{H}$ with all $f(v) \in L(v), v \in V(\widehat{G})$. Usually, a dichotomy classification is easier to obtain for list homomorphisms than for homomorphisms, but in the context of signed graphs a structural classification of the complexity of list homomorphism problems has not even been conjectured, even though the classification of the complexity of homomorphism problems is known. Kim and Siggers have conjectured a structural classification in the special case of ``weakly balanced" signed graphs. We confirm their conjecture for reflexive and irreflexive signed graphs; this generalizes previous results on weakly balanced signed trees, and weakly balanced separable signed graphs \cite{separable,trees}. In the reflexive case, the result was first presented in \cite{KS}, with the proof using some of our results included in this paper. In fact, here we present our full proof, as an alternative to the proof in \cite{KS}. In particular, we provide direct polynomial algorithms where previously algorithms relied on general dichotomy theorems. The irreflexive results are new, and their proof depends on first deriving a theorem on extensions of min orderings of (unsigned) bipartite graphs, which is interesting on its own. [shortened, full abstract in PDF]
On a construction of some homology $d$-manifolds
Published in Discrete Math. 349 (2026), no. 2, Paper No. 114843, 16 pp
• View Publication
• BIB
The $g$-vector of a simplicial complex contains a lot of information about the combinatorial and topological structure of that complex. Several classification results regarding the structure of normal pseudomanifolds and homology manifolds have been established concerning the value of $g_2$. It is known that when $g_2=0$, all normal pseudomanifolds of dimensions at least three are stacked spheres. In the cases of $g_2=1$ and $2$, all homology manifolds are polytopal spheres and can be obtained through retriangulation or join operations from the previous ones. In this article, we provide a combinatorial characterization of the homology $d$-manifolds, where $d\geq 3$ and $g_2=3$. These are spheres and can be obtained through operations such as joins, some retriangulations, and connected sums from spheres with $g_2\leq 2$. Furthermore, we have presented a structural result on prime normal $d$-pseudomanifolds with $g_2=3$.
Raised $k$-Dyck paths
Raised $k$-Dyck paths are a generalization of $k$-Dyck paths that may both begin and end at a nonzero height. In this paper, we develop closed formulas for the number of raised $k$-Dyck paths from $(0,α)$ to $(\ell,β)$ for all height pairs $α,β\geq 0$, all lengths $\ell \geq 0$, and all $k \geq 2$. We then enumerate raised $k$-Dyck paths with a fixed number of returns to ground, a fixed minimum height, and a fixed maximum height, presenting generating functions (in terms of the generating functions $C_k(t)$ for the $k$-Catalan numbers) when closed formulas aren't tractable. Specializing our results to $k=2$ or to $α< k$ reveal connections with preexisting results concerning height-bounded Dyck paths and "Dyck paths with a negative boundary", respectively.
Columnar order in random packings of $2\times2$ squares on the square lattice
Published
• View Publication
• BIB
We study random packings of $2\times2$ squares with centers on the square lattice $\mathbb{Z}^{2}$, in which the probability of a packing is proportional to $λ$ to the number of squares. We prove that for large $λ$, typical packings exhibit columnar order, in which either the centers of most tiles agree on the parity of their $x$-coordinate or the centers of most tiles agree on the parity of their $y$-coordinate. This manifests in the existence of four extremal and periodic Gibbs measures in which the rotational symmetry of the lattice is broken while the translational symmetry is only broken along a single axis. We further quantify the decay of correlations in these measures, obtaining a slow rate of exponential decay in the direction of preserved translational symmetry and a fast rate in the direction of broken translational symmetry. Lastly, we prove that every periodic Gibbs measure is a mixture of these four measures.
Additionally, our proof introduces an apparently novel extension of the chessboard estimate, from finite-volume torus measures to all infinite-volume periodic Gibbs measures.
A Multiset Version of Even-Odd Permutations Identity
In this paper, we give a new bijective proof of a multiset analogue of even-odd permutations identity. This multiset version is equivalent to the original coin arrangements lemma which is a key combinatorial lemma in the Sherman's Proof of a conjecture of Feynman about an identity on paths in planar graphs related to combinatorial solution of two dimensional Ising model in statistical physics.
Dense minors of graphs with independence number two
Published
• View Publication
• BIB
Motivated by Hadwiger's conjecture, we prove that every $n$-vertex graph $G$ with no independent set of size three contains an $\lceil n/2\rceil$-vertex simple minor $H$ with $$0.98688 \cdot \binom{|V(H)|}{2} - o(n^2)$$ edges.
Matroids of Gain Signed Graphs
Published
• View Publication
• BIB
A signed graph has edge signs. A gain graph has oriented edge gains drawn from a group. We define the combination of the two for the abelian case, in which each oriented edge of a signed graph has a gain from an abelian group, concentrating on the case of the additive group of a field. We develop the elementary graph properties, the associated matroid, and the vector and hyperplanar representations.
Baumslag-Solitar graphs through colours
Higher-rank graphs are, as the name suggests, higher-dimensional analogues of directed graphs which we will define using category theory. The whole idea of my project was to construct what we call a Baumslag-Solitar graph, a higher-rank graph. They're too abstract an idea to picture, but in building Baumslag-Solitar graphs through coloured graphs, we are able to do so. I modelled my work on constructing Baumslag-Solitar graphs off Hazlewood, Raeburn, Sims, and Webster's Remarks on some fundamental results about higher-rank graphs and their $C^*$-algebras. This was a novel approach in understanding the generalisation of directed graphs.
Elementary remarks about Pisano periods
In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic non-constant characteristic equation.
Multi-colour competition with reinforcement
Published
• View Publication
• BIB
We study a system of interacting urns where balls of different colour/type compete for their survival, and annihilate upon contact. For competition between two types, the underlying graph (finite and connected), determining the interaction between the urns, is known to be irrelevant for the possibility of coexistence, whereas for $K\ge3$ types the structure of the graph does affect the possibility of coexistence. We show that when the underlying graph is a cycle, competition between $K\ge3$ types almost surely has a single survivor, thus establishing a conjecture of Griffiths, Janson, Morris and the first author. Along the way, we give a detailed description of an auto-annihilative process on the cycle, which can be perceived as an expression of the geometry of a Möbius strip in a discrete setting.
Some Identities in Quantum Torus Arising from Ringel-Hall Algebras
We define two classes of representations of quivers over arbitrary fields, called monomorphic representations and epimorphic representations. We show that every representation has a unique maximal nilpotent subrepresentation and the associated quotient is always monomorphic, and every representation has a unique maximal epimorphic subrepresentation and the associated quotient is always nilpotent. The uniquenesses of such subrepresenations imply two identities in the Ringel-Hall algebra. By applying Reineke's integration map, we obtain two identities in the corresponding quantum torus.
Generalizing the Mukai Conjecture to the symplectic category and the Kostant game
Published
• View Publication
• BIB
In this paper we pose the question of whether the (generalized) Mukai inequalities hold for compact, positive monotone symplectic manifolds. We first provide a method that enables one to check whether the (generalized) Mukai inequalities hold true. This only makes use of the almost complex structure of the manifold and the analysis of the zeros of the so-called generalized Hilbert polynomial, which takes into account the Atiyah-Singer indices of all possible line bundles. We apply this method to generalized flag varieties. In order to find the zeros of the corresponding generalized Hilbert polynomial we introduce a modified version of the Kostant game and study its combinatorial properties.
On Parking Functions and The Tower of Hanoi
Published
• View Publication
• BIB
The displacement of a parking function measures the total difference between where cars want to park and where they ultimately park. In this article, we prove that the set of parking functions of length $n$ with displacement one is in bijection with the set of ideal states in the famous Tower of Hanoi game with $n+1$ disks and $n+1$ pegs, both sets being enumerated by the Lah numbers.
Highly connected subgraphs with large chromatic number
Published
• View Publication
• BIB
For integers $k\ge1$ and $m\ge2$, let $g(k,m)$ be the least integer $n\ge1$ such that every graph with chromatic number at least $n$ contains a $(k+1)$-connected subgraph with chromatic number at least $m$. Refining the recent result Girão and Narayanan that $g(k-1,k)\le 7k+1$ for all $k\ge2$, we prove that $g(k,m)\le \max(m+2k-2,\lceil(3+\frac{1}{16})k\rceil)$ for all $k\ge1$ and $m\ge2$. This sharpens earlier results of Alon, Kleitman, Saks, Seymour, and Thomassen, of Chudnovsky, Penev, Scott, and Trotignon, and of Penev, Thomassé, and Trotignon.
Our result implies that $g(k,k+1)\le\lceil(3+\frac{1}{16})k\rceil$ for all $k\ge1$, making a step closer towards a conjecture of Thomassen from 1983 that $g(k,k+1)\le 3k+1$, which was originally a result with a false proof and was the starting point of this research area.
Weak Ramanujan property of the standard non-uniform arithmetic quotient of $PGL_4$
Published
• View Publication
• BIB
Let $F$ be a field of formal series over a finite field and $\mathcal{B}_d$ be the affine building associated to $PGL_d(F)$. Given a lattice $Γ$ in $PGL_d(F)$, the complex arising as a quotient $Γ\backslash \mathcal{B}_d$ is called weakly Ramanujan if every non-tivial discrete simultaneous spectrum of the colored adjacency operators $A_1,A_2,\ldots,A_{d-1}$ acting on $L^2(Γ\backslash \mathcal{B}_d)$ is contained in the simultaneous spectrum of those operators acting on $L^2(\mathcal{B})$. In this paper, we prove that the standard non-uniform arithmetic quotient $PGL_4(\mathbb{F}_q[t])\backslash \mathcal{B}_4$ of $PGL_4(F)$ is weakly Ramanujan.
Subexponential mixing for partition chains on grid-like graphs
Published
• View Publication
• BIB
We consider the problem of generating uniformly random partitions of the vertex set of a graph such that every piece induces a connected subgraph. For the case where we want to have partitions with linearly many pieces of bounded size, we obtain approximate sampling algorithms based on Glauber dynamics which are fixed-parameter tractable with respect to the bandwidth of $G$, with simple-exponential dependence on the bandwidth. For example, for rectangles of constant or logarithmic width this gives polynomial-time sampling algorithms. More generally, this gives sub-exponential algorithms for bounded-degree graphs without large expander subgraphs (for example, we obtain $O(2^{\sqrt n})$ time algorithms for square grids).
In the case where we instead want partitions with a small number of pieces of linear size, we show that Glauber dynamics can have exponential mixing time, even just for the case of 2 pieces, and even for 2-connected subgraphs of the grid with bounded bandwidth.
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Published in Journal of Combinatorial Theory, Series B 167 (2024), 215-249
• View Publication
• BIB
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free graphs without $K_{2,3}$ as a subgraph and whose treewidth is (at least) logarithmic.
Using our result, we show that Maximum Independent Set and 3-Coloring in $\mathcal{O}_k$-free graphs can be solved in quasi-polynomial time. Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $\mathcal{O}_k$-free graphs, and that deciding the $\mathcal{O}_k$-freeness of sparse graphs is polynomial time solvable.
A hidden signal in Hofstadter's $H$ sequence
The Hofstadter $H$ sequence is defined by $H(1) = 1$ and $H(n) = n-H(H(H(n-1)))$ for $n > 1$. If $α$ is the real root of $x^3+x=1$ we show that the numbers $αH(n) \mod 1$ are not uniformly distributed on $[0,1]$, but converge to a distribution we believe is continuous but not differentiable. This is motivated by a discovery of Steinerberger, who found a real number with similar behavior for the Ulam sequence. Our result is related with the fact that a certain sequence defined from the linear recurrence $h_n=h_{n-1}+h_{n-3}$ has the property $\|x h_n\| \rightarrow 0$ precisely for $x \in \mathbb{Z}[α]$, a phenomenon we inquire for general linear recurrent sequences of integers.
Hadamard matrices related to a certain series of ternary self-dual codes
Published
• View Publication
• BIB
In 2013, Nebe and Villar gave a series of ternary self-dual codes of length $2(p+1)$ for a prime $p$ congruent to $5$ modulo $8$. As a consequence, the third ternary extremal self-dual code of length $60$ was found. We show that the ternary self-dual code contains codewords which form a Hadamard matrix of order $2(p+1)$ when $p$ is congruent to $5$ modulo $24$. In addition, it is shown that the ternary self-dual code is generated by the rows of the Hadamard matrix. We also demonstrate that the third ternary extremal self-dual code of length $60$ contains at least two inequivalent Hadamard matrices.