Showing 20 papers (Total: 84191 papers, 48510 authors in database)
Classical continued fractions for some multivariate polynomials generalizing the Genocchi and median Genocchi numbers
Published
• View Publication
• BIB
A D-permutation is a permutation of $[2n]$ satisfying $2k-1 \le σ(2k-1)$ and $2k \ge σ(2k)$ for all $k$; they provide a combinatorial model for the Genocchi and median Genocchi numbers. We find Stieltjes-type and Thron-type continued fractions for some multivariate polynomials that enumerate D-permutations with respect to a very large (sometimes infinite) number of simultaneous statistics that measure cycle status, record status, crossings and nestings.
Two Ramsey-Turán numbers involving triangles
Published
• View Publication
• BIB
Given integers $p, q\ge2$, we say that a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. Fix a function $f( n )$, the Ramsey-Turán number $RT( {n,p,q,f( n ))} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $f( n )$. For any $δ>0$, let $ρ(p, q,δ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,δn)}{n^2}$. We always call $ρ(p, q):= \mathop {\lim }\limits_{δ\to 0}ρ(p, q,δ)$ the Ramsey-Turán density of $K_p$ and $K_q$.
In 1993, Erdős, Hajnal, Simonovits, Sós and Szemerédi proposed to determine the value of $ρ(3,q)$ for $q\ge3$, and they conjectured that for $q \ge 2$, $ρ\left( {3,2q - 1} \right) = \frac{1}{2}(1 - \frac{1}{r(3,q) - 1})$. Recently, Kim, Kim and Liu (2019) conjectured that for $q \ge 2$, $ρ( {3,2q } ) = \frac{1}{2}( 1 - \frac{1}{r( {3,q} )})$. Erdős et al. (1993) determined $ρ(3,q)$ for $q=3,4,5$ and $ρ(4,4)$. There is no progress on the Ramsey-Turán density $ρ(p, q)$ in the past thirty years. In this paper, we obtain $ρ(3,6)=\frac{5}{12}$ and $ρ(3,7)=\frac{7}{16}$. Moreover, we show that the corresponding asymptotically extremal structures are weakly stable, which answers a problem of Erdős et al. (1993) for the two cases.
Diameter of orientations of graphs with given order and number of blocks
Published
• View Publication
• BIB
A strong orientation of a graph $G$ is an assignment of a direction to each edge such that $G$ is strongly connected. The oriented diameter of $G$ is the smallest diameter among all strong orientations of $G$. A block of $G$ is a maximal connected subgraph of $G$ that has no cut vertex. A block graph is a graph in which every block is a clique. We show that every bridgeless graph of order $n$ containing $p$ blocks has an oriented diameter of at most $n-\lfloor \frac{p}{2} \rfloor$. This bound is sharp for all $n$ and $p$ with $p \geq 2$. As a corollary, we obtain a sharp upper bound on the oriented diameter in terms of order and number of cut vertices. We also show that the oriented diameter of a bridgeless block graph of order $n$ is bounded above by $\lfloor \frac{3n}{4} \rfloor$ if $n$ is even and $\lfloor \frac{3(n+1)}{4} \rfloor$ if $n$ is odd.
Polyharmonic Functions in the Quarter Plane
Published
• View Publication
• BIB
While discrete harmonic functions have been objects of interest for quite some time, this is not the case for discrete polyharmonic functions, as appear for instance in the asymptotics of path counting problems. In this article, a novel method to compute all discrete polyharmonic functions in the quarter plane for non-singular models with small steps and zero drift is proposed. In case of a finite group, an alternative method using decoupling functions is given, which often leads to a basis consisting of rational functions. In a similar manner one can obtain polyharmonic functions in the continuous setting, and convergence between the discrete and continuous cases is proven. Lastly, using a concrete example it is shown why the decoupling approach seems not to work in the infinite group case.
Spectral properties of $\mathcal{C}$-graphs
Published
• View Publication
• BIB
Assumed to be undirected, simple, and connected are all of the graphs in this study, and adjacency matrix $A$ serves as the associated matrix. In this paper we show that it is possible to relate a creation sequence for a type of cographs (we call it $\mathcal{C}$-graphs). Those cographs can be defined by a finite sequence of natural numbers. Using that sequence we obtain the inertia of the cograph under consideration. An extended eigenvalue-free set from $(-1,0)$ to $\big{[}\frac{-1-\sqrt{2}}{2}, -1)\cup (-1, 0) \cup (0, \frac{-1+\sqrt{2}}{2}α_{min}\big{]}$, (where $α_{min}\geq1$ is the smallest integer of the creation sequence) is obtained for the cographs under consideration. Additionally, an exact formula is found for the characteristic polynomial.
Universal characters twisted by roots of unity
Published in Algebr. Comb. 6 (2023), no. 6, 1653-1676
• View Publication
• BIB
A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected, it has proved to be an important tool in the character theory of the symmetric group, the cyclic sieving phenomenon, plethysms of symmetric functions and more. Recently, similar factorisations for the characters of the groups $\mathrm{O}(2n,\mathbb{C})$, $\mathrm{Sp}(2n,\mathbb{C})$ and $\mathrm{SO}(2n+1,\mathbb{C})$ were obtained by Ayyer and Kumari. We lift these results to the level of universal characters, which has the benefit of making the proofs simpler and the structure of the factorisations more transparent. Our approach also allows for universal character extensions of some factorisations of a different nature originally discovered by Ciucu and Krattenthaler, and generalised by Ayyer and Behrend.
Random Recursive Hypergraphs
Published in J. Phys. A: Math. Theor. 56, 195001 (2023)
• View Publication
• BIB
Random recursive hypergraphs grow by adding, at each step, a vertex and an edge formed by joining the new vertex to a randomly chosen existing edge. The model is parameter-free, and several characteristics of emerging hypergraphs admit neat expressions via harmonic numbers, Bernoulli numbers, Eulerian numbers, and Stirling numbers of the first kind. Natural deformations of random recursive hypergraphs give rise to fascinating models of growing random hypergraphs.
An ODE approach to multiple choice polynomial programming
Published in East Asian Journal on Applied Mathematics 15 (2025) 1
• View Publication
• BIB
We propose an ODE approach to solving multiple choice polynomial programming (MCPP) after assuming that the optimum point can be approximated by the expected value of so-called thermal equilibrium as usually did in simulated annealing. The explicit form of the feasible region and the affine property of the objective function are both fully exploited in transforming the MCPP problem into the ODE system. We also show theoretically that a local optimum of the former can be obtained from an equilibrium point of the latter. Numerical experiments on two typical combinatorial problems, MAX-$k$-CUT and the calculation of star discrepancy, demonstrate the validity of our ODE approach, and the resulting approximate solutions are of comparable quality to those obtained by the state-of-the-art heuristic algorithms but with much less cost. This paper also serves as the first attempt to use a continuous algorithm for approximating the star discrepancy.
Solving the n-color ice model
Published in Annals of Combinatorics (2025)
• View Publication
• BIB
Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.
Rotation groups, mediangle graphs, and periagroups: a unified point of view on Coxeter groups and graph products of groups
Published
• View Publication
• BIB
In this article, we introduce rotation groups as a common generalisation of Coxeter groups and graph products of groups (including right-angled Artin groups). We characterise algebraically these groups by presentations (periagroups) and we propose a combinatorial geometry (mediangle graphs) to study them. As an application, we give natural and unified proofs for several results that hold for both Coxeter groups and graph products of groups.
Trees meet octahedron comparison
Published in J. Topol. Anal. 17 (2025), no. 5, 1205--1209
• View Publication
• BIB
We show that trees and their products meet octahedron comparison.
Maker-Breaker domination game on trees when Staller wins
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (September 6, 2023) dmtcs:10515
• View Publication
• BIB
In the Maker-Breaker domination game played on a graph $G$, Dominator's goal is to select a dominating set and Staller's goal is to claim a closed neighborhood of some vertex. We study the cases when Staller can win the game. If Dominator (resp., Staller) starts the game, then $γ_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}'(G)$) denotes the minimum number of moves Staller needs to win. For every positive integer $k$, trees $T$ with $γ_{\rm SMB}'(T)=k$ are characterized and a general upper bound on $γ_{\rm SMB}'$ is proved. Let $S = S(n_1,\dots, n_\ell)$ be the subdivided star obtained from the star with $\ell$ edges by subdividing its edges $n_1-1, \ldots, n_\ell-1$ times, respectively. Then $γ_{\rm SMB}'(S)$ is determined in all the cases except when $\ell\ge 4$ and each $n_i$ is even. The simplest formula is obtained when there are at least two odd $n_i$s. If $n_1$ and $n_2$ are the two smallest such numbers, then $γ_{\rm SMB}'(S(n_1,\dots, n_\ell))=\lceil \log_2(n_1+n_2+1)\rceil$. For caterpillars, exact formulas for $γ_{\rm SMB}$ and for $γ_{\rm SMB}'$ are established.
Non symmetric Cauchy kernel, crystals and last passage percolation
Published in Tunisian J. Math. 6 (2024) 249-297
• View Publication
• BIB
We use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.
Positivity of Sylow branching coefficients of symmetric groups
Published
• View Publication
• BIB
In this article we investigate the positivity of Sylow branching coefficients for symmetric groups when $p = 3$. In particular, we complete the discussion begun by Giannelli and the author in arXiv:1712.02642 (J. Algebra) and developed in arXiv:1909.09446 (J. London Math. Soc.) concerning the case of odd primes.
Identities for full-history Horadam sequences
We prove a master identity for a class of sequences defined by full-history linear homogeneous recurrences with (non-negative) constant coefficients. The identity is derived in a combinatorial way, providing thus combinatorial proofs for many known and new identities obtained as its corollaries. In particular, we prove several interesting identities for the Pell, the Jacobsthal, and the m-nacci numbers.
On Computing Vertex Connectivity of 1-Plane Graphs
Published
• View Publication
• BIB
The vertex connectivity of a graph $G$ is the size of the smallest set of vertices $S$ such that $G \setminus S$ is disconnected. For the class of planar graphs, the problem of vertex connectivity is well-studied, both from structural and algorithmic perspectives. Let $G$ be a plane embedded graph, and $Λ(G)$ be an auxiliary graph obtained by inserting a face vertex inside each face and connecting it to all vertices of $G$ incident with the face. If $S$ is a minimal vertex cut of $G$, then there exists a cycle of length $2|S|$ whose vertices alternate between vertices of $S$ and face vertices. This structure facilitates the designing of a linear-time algorithm to find minimum vertex cuts of planar graphs. In this paper, we attempt a similar approach for the class of 1-plane graphs -- these are graphs with a drawing on the plane where each edge is crossed at most once.
We consider different classes of 1-plane graphs based on the subgraphs induced by the endpoints of crossings. For 1-plane graphs where the endpoints of every crossing induce the complete graph $K_4$, we show that the structure of minimum vertex cuts is identical to that in plane graphs, as mentioned above. For 1-plane graphs where the endpoints of every crossing induce at least three edges (i.e., one edge apart from the crossing pair of edges), we show that for any minimal vertex cut $S$, there exists a cycle of diameter $O(|S|)$ in $Λ(G)$ such that all vertices of $S$ are in the neighbourhood of the cycle. This structure enables us to design a linear time algorithm to compute the vertex connectivity of all such 1-plane graphs.
A lower bound for set-colouring Ramsey numbers
The set-colouring Ramsey number $R_{r,s}(k)$ is defined to be the minimum $n$ such that if each edge of the complete graph $K_n$ is assigned a set of $s$ colours from $\{1,\ldots,r\}$, then one of the colours contains a monochromatic clique of size $k$. The case $s = 1$ is the usual $r$-colour Ramsey number, and the case $s = r - 1$ was studied by Erdős, Hajnal and Rado in 1965, and by Erdős and Szemerédi in 1972.
The first significant results for general $s$ were obtained only recently, by Conlon, Fox, He, Mubayi, Suk and Verstraëte, who showed that $R_{r,s}(k) = 2^{Θ(kr)}$ if $s/r$ is bounded away from $0$ and $1$. In the range $s = r - o(r)$, however, their upper and lower bounds diverge significantly. In this note we introduce a new (random) colouring, and use it to determine $R_{r,s}(k)$ up to polylogarithmic factors in the exponent for essentially all $r$, $s$ and $k$.
Determinantal random subgraphs
Published
• View Publication
• BIB
We define two families of determinantal random spanning subgraphs of a finite connected graph, one supported by acyclic spanning subgraphs (spanning forests) with fixed number of connected components, the other by connected spanning subgraphs with fixed number of independent cycles. Each family generalizes the uniform spanning tree and the generating functions of these probability measures generalize the classical Kirchhoff and Symanzik polynomials.
We call Symanzik spanning forests the elements of the acyclic spanning subgraphs family, and single out a particular determinantal mixture of these, having as kernel a normalized Laplacian on $1$-forms, which we call the Laplacian spanning forest.
Our proofs rely on a set of integral and real or complex (which we call geometric) multilinear identies involving cycles, coboundaries, and forests on graphs. We prove these identities using classical pieces of the algebraic topology of graphs and the exterior calculus applied to finite determinantal point processes, both of which we treat in a self-contained way.
We emphasize the matroidal nature of our constructions, thereby showing how the above two families of random spanning subgraphs are dual to one another, as well as possible generalisations.
Generalized parking function polytopes
Published
• View Publication
• BIB
A classical parking function of length $n$ is a list of positive integers $(a_1, a_2, \ldots, a_n)$ whose nondecreasing rearrangement $b_1 \leq b_2 \leq \cdots \leq b_n$ satisfies $b_i \leq i$. The convex hull of all parking functions of length $n$ is an $n$-dimensional polytope in $\mathbb{R}^n$, which we refer to as the classical parking function polytope. Its geometric properties have been explored in (Amanbayeva and Wang 2022) in response to a question posed in (Stanley 2020). We generalize this family of polytopes by studying the geometric properties of the convex hull of $\mathbf{x}$-parking functions for $\mathbf{x}=(a,b,\dots,b)$, which we refer to as $\mathbf{x}$-parking function polytopes. We explore connections between these $\mathbf{x}$-parking function polytopes, the Pitman-Stanley polytope, and the partial permutahedra of (Heuer and Striker 2022). In particular, we establish a closed-form expression for the volume of $\mathbf{x}$-parking function polytopes. This allows us to answer a conjecture of (Behrend et al. 2022) and also obtain a new closed-form expression for the volume of the convex hull of classical parking functions as a corollary.
$k$-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$
Published in Discussiones Mathematicae Graph Theory 44(4) (2024) 1471-1484
• View Publication
• BIB
Vertex-fault-tolerance was introduced by Hayes~\cite{Hayes1976} in 1976, and since then it has been systematically studied in different aspects. In this paper we study $k$-vertex-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$, i.e., graphs in which removing any $k$ vertices leaves a graph that has $p$ disjoint complete graphs of order $c$ as a subgraph. The main contribution is to describe such graphs that have the smallest possible number of edges for $k=1$, $p \geq 1$, and $c \geq 3$. Moreover, we analyze some properties of such graphs for any value of $k$.