Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Bruhat operads
We describe some planar operads build from the higher Bruhat orders.
Finding $d$-Cuts in Probe $H$-Free Graphs
For an integer $d\geq 1$, the $d$-Cut problem is that of deciding whether a graph has an edge cut in which each vertex is adjacent to at most $d$ vertices on the opposite side of the cut. The $1$-Cut problem is the well-known Matching Cut problem. The $d$-Cut problem has been extensively studied for $H$-free graphs. We extend these results to the probe graph model, where we do not know all the edges of the input graph. For a graph $H$, a partitioned probe $H$-free graph $(G,P,N)$ consists of a graph $G=(V,E)$, together with a set $P\subseteq V$ of probes and an independent set $N=V\setminus P$ of non-probes such that we can change $G$ into an $H$-free graph by adding zero or more edges between vertices in $N$. For every graph $H$ and every integer $d\geq 1$, we completely determine the complexity of $d$-Cut on partitioned probe $H$-free graphs.
Deformed Bivariate $q$-Appell Polynomials
In this paper, we introduce bivariate polynomial sets of deformed $q$-Appell type, and we study the algebraic properties of these sets. We show the relation between deformed bivariate $q$-Appell polynomials and deformed homogeneous polynomials. Next, we give some of their characterizations and algebraic structure. Then, we introduce the deformed $q$-Appell operators and obtain Mehler's and Rogers-type formulas of quasi-$q$-Appell polynomials. Finally, some examples of polynomial sequences of deformed $q$-Appell type are given: Bernoulli, Euler, and Genocchi types.
Representation of Symmetric Shift Registers
The objective of this work is to establish a mathematical framework for the study of symmetric shift registers over the field GF(2). The present paper gives a new approach where the symmetric shift registers are represented by associated systems of nonlinear difference equations. Arithmetical progressions will play a central part. This approach clarifies the underlying structures and makes it easier to determine the minimal periods of the sequences generated by the symmetric shift registers. Key words: Shift registers, nonlinear difference equations, periods, arithmetical progressions, GF(2).
On Big Ramsey degrees of universal $ω$-edge-labeled hypergraphs
Published in In EuroComb'25, Booklet of extended abstracts, pages 660-665. HUN-REN Alfréd Rényi Institute of Mathematics, 2025
• Search Publication
We show that the big Ramsey degrees of every countable universal $u$-uniform $ω$-edge-labeled hypergraph are infinite for every $u\geq 2$. Together with a recent result of Braunfeld, Chodounský, de Rancourt, Hubička, Kawach, and Konečný this finishes full characterisation of unrestricted relational structures with finite big Ramsey degrees.
Tensor product formulas for the Bollobás-Riordan and Krushkal polynomials
Brylawski's tensor product formula expresses the Tutte polynomial of the tensor product of two graphs in terms of Tutte polynomials arising from the tensor factors. Analogous tensor product formulas are known for the ribbon graph polynomial and transition polynomials of graphs embedded in surfaces, as well as for the Bollobás-Riordan polynomial in some special cases. We define the tensor product of graphs embedded in pseudo-surfaces and use this to generalize and unify all of the above results, providing Brylawski-style formulas for both the Bollobás-Riordan and Krushkal polynomials.
Overpartitions and Kaur, Rana, and Eyyunni's mex sequences
Kaur, Rana, and Eyyunni recently defined the mex sequence of a partition and established, by analytic methods, connections to two disparate types of partition-related objects. We make a bijection between partitions with certain mex sequences and a uniform family of overpartitions which allows us to provide combinatorial proofs of their results, as they requested.
Oscillating subalgebras of the atomless countable Boolean algebra
We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite.
Counting big Ramsey degrees of the homogeneous and universal $K_4$-free graph
Published in In EuroComb'25, Booklet of extended abstracts, pages 653-659. HUN-REN Alfréd Rényi Institute of Mathematics, 2025
• Search Publication
Big Ramsey degrees of Fraïssé limits of finitely constrained free amalgamation classes in finite binary languages have been recently fully characterised by Balko, Chodounský, Dobrinen, Hubička, Konečný, Vena, and Zucker. A special case of this characterisation is the universal homogeneous $K_4$-free graph. We give a self-contained and relatively compact presentation of this case and compute the actual big Ramsey degrees of small graphs.
PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
We present PyRigi, a novel Python package designed to study the rigidity properties of graphs and frameworks. Among many other capabilities, PyRigi can determine whether a graph admits only finitely many ways, up to isometries, of being drawn in the plane once the edge lengths are fixed, whether it has a unique embedding, or whether it satisfied such properties even after the removal of any of its edges. By implementing algorithms from the scientific literature, PyRigi enables the exploration of rigidity properties of structures that would be out of reach for computations by hand. With reliable and robust algorithms, as well as clear, well-documented methods that are closely connected to the underlying mathematical definitions and results, PyRigi aims to be a practical and powerful general-purpose tool for the working mathematician interested in rigidity theory. PyRigi is open source and easy to use, and awaits researchers to benefit from its computational potential.
On the independent set polynomial of graphs and claw-free graphs
We present two new contributions to the study of the independence polynomial $Z_G(z)$ of a finite simple graph $G = (V,E)$. First, we provide an improved lower bound for the zero-free region of $Z_G(z)$ for the important class of claw-free graphs. Our bound exceeds the classical Shearer radius and it is derived through a refined application of the Fernández-Procacci criterion using properties of the local neighborhood structure in claw-free graphs. Second, we establish a novel combinatorial expression for $Z_G(z)$, inspired by the connection with the abstract polymer gas models in statistical mechanics, which offers a new structural interpretation of the polynomial and may be of independent interest. These results strengthen the connection between statistical physics, combinatorics, and graph theory, and suggest new approaches for analytic exploration.
The range of the des statistic for conjugacy classes in $S_n$
We determine the range of the des statistic on every conjugacy class in the symmetric group $S_n$, prove that the minimum is $1$ (except for the identity class), and show that every intermediate value from $1$ to the maximum value is attained. We also demonstrate a constructive method to achieve every value in the range and discuss its combinatorial implications.
A Unified Treatment of Some Classic Combinatorial Inequalities Using the Variance Method
The "variance method" has been used to prove many classical inequalities in design theory and coding theory. The purpose of this expository note is to review and present some of these inequalities in a unified setting. I will also discuss some examples from my own research where I have employed these techniques.
Separating dots with circles
Given a finite set of points in general position in the plane or sphere, we count the number of ways to separate those points using two types of circles: circles through three of the points, and circles through none of the points (up to an equivalence). In each case, we show the number of circles which separate the points into subsets of size k and l is independent of the configuration of points, and we provide an explicit formula in each case. We also consider how the circles change as the configuration of dots varies continuously. We show that an associated higher order Voronoi decomposition of the sphere changes by a sequence of local `moves'. As a consequence, an associated cluster algebra is independent of the configuration of dots, and only depends on the number of dots and the order of the Voronoi decomposition.
Monotonicity and decompositions of random regular graphs
In this work we establish several monotonicity and decomposition results in the framework of random regular graphs. Among other results, we show that, for a wide range of parameters $d_1 \leq d_2$, there exists a coupling of $G(n,d_1)$ and $G(n,d_2)$ satisfying that $G(n,d_1) \subseteq G(n,d_2)$ with high probability, confirming a conjecture of Gao, Isaev and McKay in a new regime. Our contributions include new tools for analysing contiguity and total variation distance between random regular graph models, a novel procedure for generating unions of random edge-disjoint perfect matchings, and refined estimates of Gao's bounds on the number of perfect matchings in random regular graphs. In addition, we make progress towards another conjecture of Isaev, McKay, Southwell and Zhukovskii.
A Closer Look at Chapoton's q-Ehrhart Polynomials
If $\mathcal{P}$ is a lattice polytope (i.e., $\mathcal{P}$ is the convex hull of finitely many integer points in $\mathbb{R}^d$), Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|t \mathcal{P} \cap \mathbb{Z}^d|$ is a polynomial in the integer variable $t$. Chapoton (2016) proved that, given a fixed integral form $λ: \mathbb{Z}^d \to \mathbb{Z}$, there exists a polynomial $\text{cha}_\mathcal{P}^λ(q,x) \in \mathbb{Q}(q)[x]$ such that the refined enumeration function $\sum_{ \mathbf{m} \in t \mathcal{P} } q^{ λ(\mathbf{m}) }$ equals the evaluation $\text{cha}_\mathcal{P}^λ(q, [t]_q)$ where, as usual, $[t]_q := \frac{ q^t - 1 }{ q-1 }$; naturally, for $q=1$ we recover the Ehrhart polynomial. Our motivating goal is to view Chapoton's work through the lens of Brion's Theorem (1988), which expresses the integer-point structure of a given polytope via that of its vertex cones. It turns out that this viewpoint naturally yields various refinements and extensions of Chapoton's results, including explicit formulas for $\text{cha}_\mathcal{P}^λ(q,x)$, its leading coefficient, and its behavior as $t \to \infty$. We also prove an analogue of Chapoton's structural and reciprocity theorems for rational polytopes (i.e., with vertices in $\mathbb{Q}^d$).
The only Class 0 Flower snark is the smallest
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. Graphs whose pebbling number is equal to the number of vertices are called Class~$0$ and provide a challenging set of graphs that resist being characterized. In this note, we answer a question recently proposed by the pioneering study on the pebbling number of snark graphs: we prove that the smallest Flower snark $J_3$ is Class~$0$, establishing that $J_3$ is in fact the only Class~$0$ Flower snark.
Edge-transitive token graphs as covers
This paper uses the theory of covering graphs to characterize some of the edge-transitive graphs which can arise as token graphs.
On the set-coloring Ramsey numbers of graphs
The \textit{set-coloring Ramsey number} $\mathrm{R}_{r, s}(G_1,G_2,...,G_r)$ is the least $n \in \mathbb{N}$ such that every coloring $χ: E\left(K_n\right) \rightarrow\binom{[r]}{s}$ contains a monochromatic copy of $G_i$, that is, a color $i \in[r]$ such that $i \in χ(e)$ for every $e \in E(G_i)$. If $G_1=G_2=\cdots=G_r=G$, then we write $\mathrm{R}_{r,s}(G)$ for short. In 2022, Le asked to find lower and upper bounds for $\mathrm{R}_{s, t}(G)$ with various kinds of graphs $G$ such as stars, paths, cycles, etc. In this paper, we obtain exact values or bounds for the set-coloring Ramsey numbers of stars, paths, matchings, etc. By Lovász Local Lemma, we give a lower bound for the set-coloring Ramsey number for general graphs.
Missing faces of neighborly and nearly neighborly polytopes and spheres
For a $(d-1)$-dimensional simplicial complex $Δ$ and $1\leq i\leq d$, let $f_{i-1}$ be the number of $(i-1)$-faces of $Δ$ and $m_i$ be the number of missing $i$-faces of $Δ$. In the nineties, Kalai asked for a characterization of the $m$-numbers of simplicial polytopes and spheres -- a problem that remains wide open to this day. Here, we study the $m$-numbers of nearly neighborly and neighborly polytopes and spheres. Specifically, for $d\geq 4$, we obtain a lower bound on $m_{\lfloor d/2\rfloor}$ in terms of $f_0$ and $f_{\lfloor d/2\rfloor-1}$ in the class of all $(\lfloor d/2\rfloor-1)$-neighborly $(d-1)$-spheres. For neighborly spheres, we (almost) characterize the $m$-numbers of $2$-neighborly $4$-spheres, and we show that, for all odd values of $k$, there exists an infinite family of neighborly simplicial $2k$-spheres with $m_{k+1}=0$. Along the way, we provide a simple numerical condition based on the $m$-numbers that allows to establish non-polytopality of some neighborly odd-dimensional spheres.