Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Enumeration of connected bipartite graphs with given Betti number
Published
• View Publication
• BIB
We obtain first order linear partial differential equations which are satisfied by exponential generating functions of two variables for the number of connected bipartite graphs with given Betti number. By solving these equations inductively, we obtain the explicit form of generating functions and derive the asymptotic behavior of their coefficients. We also introduce a family of basic graphs to classify connected bipartite graphs and give another expression of the generating functions as the sum over basic graphs of rational functions of those for the number of labeled bipartite rooted spanning trees.
Mathematical and chemistry properties of geometry-based invariants
Published
• View Publication
• BIB
Recently, based on elementary geometry, Gutman proposed several geometry-based invariants (i.e., $SO$, $SO_{1}$, $SO_{2}$, $SO_{3}$, $SO_{4}$, $SO_{5}$, $SO_{6}$). The Sombor index was defined as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, the first Sombor index was defined as $SO_{1}(G)= \frac{1}{2}\sum\limits_{uv\in E(G)}|d_{u}^{2}-d_{v}^{2}|$, where $d_{u}$ denotes the degree of vertex $u$.
In this paper, we consider the mathematical and chemistry properties of these geometry-based invariants. We determine the maximum trees (resp. unicyclic graphs) with given diameter, the maximum trees with given matching number, the maximum trees with given pendent vertices, the maximum trees (resp. minimum trees) with given branching number, the minimum trees with given maximum degree and second maximum degree, the minimum unicyclic graphs with given maximum degree and girth, the minimum connected graphs with given maximum degree and pendent vertices, and some properties of maximum connected graphs with given pendent vertices with respect to the first Sombor index $SO_{1}$.
As an application, we inaugurate these geometry-based invariants and verify their chemical applicability. We used these geometry-based invariants to model the acentric factor (resp. entropy, enthalpy of vaporization, etc.) of alkanes, and obtained satisfactory predictive potential, which indicates that these geometry-based invariants can be successfully used to model the thermodynamic properties of compounds.
Association schemes with given stratum dimensions: on a paper of Peter M. Neumann
Published
• View Publication
• BIB
In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for example a classification of primitive groups of odd degree.
However, there are further reasons for being interested in this paper. First, it was written at a time when combinatorial techniques were being introduced into the theory of finite permutation groups, and the paper gives a very good summary and application of these techniques. Second, like its predecessor by Helmut Wielandt on primitive groups of degree 2p, it can be re-interpreted as a combinatorial result concerning association schemes whose common eigenspaces have dimensions of a rather limited form. This result uses neither the primality of p nor the existence of a permutation group related to the combinatorial structure. We extract these results and give details of the related combinatorics.
A Brightwell-Winkler type characterisation of NU graphs
In 2000, Brightwell and Winkler characterised dismantlable graphs as the graphs $H$ for which the Hom-graph ${\rm Hom}(G,H)$, defined on the set of homomorphisms from $G$ to $H$, is connected for all graphs $G$. This shows that the reconfiguration version ${\rm Recon_{Hom}}(H)$ of the $H$-colouring problem, in which one must decide for a given $G$ whether ${\rm Hom}(G,H)$ is connected, is trivial if and only if $H$ is dismantlable.
We prove a similar starting point for the reconfiguration version of the $H$-extension problem. Where ${\rm Hom}(G,H;p)$ is the subgraph of the Hom-graph ${\rm Hom}(G,H)$ induced by the $H$-colourings extending the $H$-precolouring $p$ of $G$, the reconfiguration version ${\rm Recon_{Ext}(H)}$ of the $H$-extension problem asks, for a given $H$-precolouring $p$ of a graph $G$, if ${\rm Hom}(G,H;p)$ is connected. We show that the graphs $H$ for which ${\rm Hom}(G,H;p)$ is connected for every choice of $(G,p)$ are exactly the ${\rm NU}$ graphs. This gives a new characterisation of ${\rm NU}$ graphs, a nice class of graphs that is important in the algebraic approach to the ${\rm CSP}$-dichotomy.
We further give bounds on the diameter of ${\rm Hom}(G,H;p)$ for ${\rm NU}$ graphs $H$, and show that shortest path between two vertices of ${\rm Hom}(G,H;p)$ can be found in parameterised polynomial time. We apply our results to the problem of shortest path reconfiguration, significantly extending recent results.
$d$-connectivity of the random graph with restricted budget
Published
• View Publication
• BIB
In this short note, we consider a graph process recently introduced by Frieze, Krivelevich and Michaeli. In their model, the edges of the complete graph $K_n$ are ordered uniformly at random and are then revealed consecutively to a player called Builder. At every round, Builder must decide if they accept the edge proposed at this round or not. We prove that, for every $d\ge 2$, Builder can construct a spanning $d$-connected graph after $(1+o(1))n\log n/2$ rounds by accepting $(1+o(1))dn/2$ edges with probability converging to 1 as $n\to \infty$. This settles a conjecture of Frieze, Krivelevich and Michaeli.
Distribution of rooks on a chess-board representing a Latin square partitioned by a subsystem
A $d$-dimensional generalization of a Latin square of order $n$ can be considered as a chess-board of size $n\times n\times \ldots\times n$ ($d$ times), containing $n^d$ cells with $n^{d-1}$ non-attacking rooks. Each cell is identified by a $d$-tuple $(e_1,e_2,\ldots ,e_d)$ where $e_i \in \{1,2,\ldots ,n\}$. For $d = 3$ we prove that such a chess-board represents precisely one main class.
A subsystem $T$ induced by a family of sets $<E_1,E_2,\ldots ,E_d>$ over $\{1,2,\ldots ,n\}$ is real if $E_i \subset \{1,2,\ldots ,n\}$ for each $i \in \{1,2,\ldots ,d\}$. The density of $T$ is the ratio of contained rooks to the number of cells in $T$. The distance between two subsystems is the minimum Hamming distance between cell pairs. Replacing $k$ sets of $<E_1,E_2,\ldots ,E_d>$ by their complements, a subsystem $U$ is obtained with distance $k$ between $T$ and $U$. All these subsystems, including $T$, form a partition of the chess-board. We prove that in such a partition, the number of rooks in a $U$ and the density of $U$ can be determined from the number of rooks in $T$ and the number of cells in $T$ and $U$ and the value of $(-1)^k$. We examine the subsystem couple $(T,U)$ in the $2$- and $3$-dimensional cases, where $U$ is the most distant unique subsystem from a real $T$. On the fly, a new identity of binomial coefficients is proved.
Exact and Approximate Schemes for Robust Optimization Problems with Decision Dependent Information Discovery
Published
• View Publication
• BIB
Uncertain optimization problems with decision dependent information discovery allow the decision maker to control the timing of information discovery, in contrast to the classic multistage setting where uncertain parameters are revealed sequentially based on a prescribed filtration. This problem class is useful in a wide range of applications, however, its assimilation is partly limited by the lack of efficient solution schemes. In this paper we study two-stage robust optimization problems with decision dependent information discovery where uncertainty appears in the objective function. The contributions of the paper are twofold: (i) we develop an exact solution scheme based on a nested decomposition algorithm, and (ii) we improve upon the existing K-adaptability approximate by strengthening its formulation using techniques from the integer programming literature. Throughout the paper we use the orienteering problem as our working example, a challenging problem from the logistics literature which naturally fits within this framework. The complex structure of the routing recourse problem forms a challenging test bed for the proposed solution schemes, in which we show that exact solution method outperforms at times the K-adaptability approximation, however, the strengthened K-adaptability formulation can provide good quality solutions in larger instances while significantly outperforming existing approximation schemes even in the decision independent information discovery setting. We leverage the effectiveness of the proposed solution schemes and the orienteering problem in a case study from Alrijne hospital in the Netherlands, where we try to improve the collection process of empty medicine delivery crates by co-optimizing sensor placement and routing decisions.
Remixed Eulerian numbers
Published
• View Publication
• BIB
Remixed Eulerian numbers are a polynomial $q$-deformation of Postnikov's mixed Eulerian numbers. They arose naturally in previous work by the authors concerning the permutahedral variety and subsume well-known families of polynomials such as $q$-binomial coefficients and Garsia--Remmel's $q$-hit numbers. We study their combinatorics in more depth. As polynomials in $q$, they are shown to be symmetric and unimodal. By interpreting them as computing success probabilities in a simple probabilistic process we arrive at a combinatorial interpretation involving weighted trees. By decomposing the permutahedron into certain combinatorial cubes, we obtain a second combinatorial interpretation. At $q=1$, the former recovers Postnikov's interpretation whereas the latter recovers Liu's interpretation, both of which were obtained via methods different from ours.
Down-up algebras and chromatic symmetric functions
We establish Guay-Paquet's unpublished linear relation between certain chromatic symmetric functions by relating his algebra on paths to the $q$-Klyachko algebra. The coefficients in this relations are $q$-hit polynomials, and they come up naturally in our setup as connected remixed Eulerian numbers, in contrast to the computational approach of Colmenarejo-Morales-Panova. As Guay-Paquet's algebra is a down-up algebra, we are able to harness algebraic results in the context of the latter and establish results of a combinatorial flavour. In particular we resolve a conjecture of Colmenarejo-Morales-Panova on chromatic symmetric functions. This concerns the abelian case of the Stanley-Stembridge conjecture, which we briefly survey.
Overfullness of edge-critical graphs with small minimal core degree
Published
• View Publication
• BIB
Let $G$ be a simple graph. Denote by $n$, $Δ(G)$ and $χ' (G)$ be the order, the maximum degree and the chromatic index of $G$, respectively. We call $G$
\emph{overfull} if $|E(G)|/\lfloor n/2\rfloor > Δ(G)$, and {\it critical} if $χ'(H) < χ'(G)$ for every proper subgraph $H$ of $G$. Clearly, if $G$ is overfull then $χ'(G) = Δ(G)+1$. The \emph{core} of $G$, denoted by $G_Δ$, is the subgraph of $G$ induced by all its maximum degree vertices. We believe that utilizing the core degree condition could be considered as an approach to attacking the overfull conjecture. Along this direction, we in this paper show that for any integer $k\geq 2$, if $G$ is critical with $Δ(G)\geq \frac{2}{3}n+\frac{3k}{2}$ and $δ(G_Δ)\leq k$, then $G$ is overfull.
Bijections, generalizations, and other properties of sequentially congruent partitions
Published
• View Publication
• BIB
Recently, Schneider and Schneider defined a new class of partitions called sequentially congruent partitions, in which each part is congruent to the next part modulo its index, and they proved two partition bijections involving these partitions. We introduce a new partition notation specific to sequentially congruent partitions which allows us to more easily study these bijections and their compositions, and we reinterpret them in terms of Young diagram transformations. We also define a generalization of sequentially congruent partitions, and we provide several new partition bijections for these generalized sequentially congruent partitions. Finally, we investigate a question of Schneider--Schneider regarding how sequentially congruent partitions fit into Andrews' theory of partition ideals. We prove that the maximal partition ideal of sequentially congruent partitions has infinite order and is therefore not linked, and we identify its order 1 subideals.
The partial Temperley-Lieb algebra and its representations
Published
• View Publication
• BIB
We give a combinatorial description of a new diagram algebra, the partial Temperley--Lieb algebra, arising as the generic centralizer algebra $\mathrm{End}_{\mathbf{U}_q(\mathfrak{gl}_2)}(V^{\otimes k})$, where $V = V(0) \oplus V(1)$ is the direct sum of the trivial and natural module for the quantized enveloping algebra $\mathbf{U}_q(\mathfrak{gl}_2)$. It is a proper subalgebra of the Motzkin algebra (the $\mathbf{U}_q(\mathfrak{sl}_2)$-centralizer) of Benkart and Halverson. We prove a version of Schur--Weyl duality for the new algebras, and describe their generic representation theory.
Solution to a BCC 2022 problem
For positive integers $n$ and $k$ such that $k$ is at most $n$, we find an explicit one-to-one correspondence between the following two sets: the set of words consisting of $k$ $R$s, $k$ $U$s, and $n - k$ $D$s, where the first letter of the word is not $D$; and the set of subgraphs $H$ of a cycle of length $2n$ (where that cycle has differently labelled vertices) such that $H$ has $n$ edges and $k$ connected components. This solves a problem of Thomas Selig from the 29th British Combinatorial Conference held at Lancaster University in July 2022.
Geometric structures in pseudo-random graphs
Published in Can. J. Math.-J. Can. Math. 77 (2025) 1041-1071
• View Publication
• BIB
In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory.
Self-dual codes over $\mathbb{F}_5$ and $s$-extremal unimodular lattices
Published
• View Publication
• BIB
New $s$-extremal extremal unimodular lattices in dimensions $38$, $40$, $42$ and $44$ are constructed from self-dual codes over $\mathbb{F}_5$ by Construction A. In the process of constructing these codes, we obtain a self-dual $[44,22,14]$ code over $\mathbb{F}_5$. In addition, the code implies a $[43,22,13]$ code over $\mathbb{F}_5$. These codes have larger minimum weights than the previously known $[44,22]$ codes and $[43,22]$ codes, respectively.
A new generalization of the minimal excludant arising from an analogue of Franklin's identity
Published
• View Publication
• BIB
Euler's classical identity states that the number of partitions of an integer into odd parts and distinct parts are equinumerous. Franklin gave a generalization by considering partitions with exactly $j$ different multiples of $r$, for a positive integer $r$. We prove an analogue of Franklin's identity by studying the number of partitions with $j$ multiples of $r$ in total and in the process, discover a natural generalization of the minimal excludant (mex) which we call the $r$-chain mex. Further, we derive the generating function for $σ_{rc} \textup{mex}(n)$, the sum of $r$-chain mex taken over all partitions of $n$, thereby deducing a combinatorial identity for $σ_{rc} \textup{mex}(n)$, which neatly generalizes the result of Andrews and Newman for $σ\textup{mex}(n)$, the sum of mex over all partitions of $n$.
Small resolutions of moduli spaces of scaled curves
Published in International Mathematics Research Notices, Volume 2025, Issue 13, July 2025, rnaf196
• View Publication
• BIB
We construct small resolutions of the moduli space $\overline{Q}_n$ of stable scaled $n$-marked lines of Ziltener and Ma'u--Woodward and of the moduli space $\overline{P}_n$ of stable $n$-marked ${\mathbb G}_a$-rational trees introduced in earlier work. The resolution of $\overline{P}_n$ is the augmented wonderful variety corresponding to the graphic matroid of the complete graph. The resolution of $\overline{Q}_n$ is a further blowup, also a wonderful model of an arrangement in ${\mathbb P}^{n-1}$.
The 2-center Problem in Maximal Outerplanar Graph
We consider the problem of computing 2-center in maximal outerplanar graph. In this problem, we want to find an optimal solution where two centers cover all the vertices with the smallest radius. We provide the following result. We can compute the optimal centers and the optimal radius in $O(n^2)$ time for a given maximal outerplanar graph with $n$ vertices. We try to let the maximal outerplanar graph be cut into two subgraphs with an internal edge, each center will cover vertices which are continuous.
Coloring in essential annihilating-ideal graphs of commutative rings
Published
• View Publication
• BIB
The essential annihilating-ideal graph $\mathcal{EG}(R)$ of a commutative unital ring $R$ is a simple graph whose vertices are non-zero ideals of $R$ with non-zero annihilator and there exists an edge between two distinct vertices $I,J$ if and only if $Ann(IJ)$ has a non-zero intersection with any non-zero ideal of $R$. In this paper, we show that $\mathcal{EG}(R)$ is weakly perfect, if $R$ is Noetherian and an explicit formula for the clique number of $\mathcal{EG}(R)$ is given. Moreover, the structures of all rings whose essential annihilating-ideal graphs have chromatic number $2$ are fully determined. Among other results, twin-free clique number and edge chromatic number of $\mathcal{EG}(R)$ are examined.
On a conjecture of McNeil
Published
• View Publication
• BIB
Suppose that the $n^2$ vertices of the grid graph $P_n^2$ are labeled, such that the set of their labels is $\{1,2,\ldots,n^2\}$. The labeling induces a walk on $P_n^2$, beginning with the vertex whose label is $1$, proceeding to the vertex whose label is $2$, etc., until all vertices are visited. The question of the maximal possible length of such a walk, denoted by $M(P_n^2)$, when the distance between consecutive vertices is the Manhattan distance, was studied by McNeil, who, based on empirical evidence, conjectured that $M(P_n^2)=n^3-3$, if $n$ is even, and $n^3-n-1$, otherwise. In this work we study the more general case of $P_m\times P_n$ and capture $M(P_m\times P_n)$, up to an additive factor of $1$. This holds, in particular, for the values conjectured by McNeil.