Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Rainbow matchings in Dirac bipartite graphs
Published
• View Publication
• BIB
We show the existence of rainbow perfect matchings in $μn$-bounded edge colourings of Dirac bipartite graphs, for a sufficiently small $μ>0$. As an application of our results, we obtain several results on the existence of rainbow $k$-factors in Dirac graphs and rainbow spanning subgraphs of bounded maximum degree on graphs with large minimum degree.
polyDB: A Database for Polytopes and Related Objects
Published
• View Publication
• BIB
polyDB is a database for discrete geometric objects. The database is accessible via web and an interface from the software package polymake. It contains various datasets from the area of lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short note we introduce the structure of the database and explain its use with a computation of the free sums and certain skew bipyramids among the class of smooth Fano polytopes in dimension up to 8.
Ramsey graphs induce subgraphs of quadratically many sizes
Published
• View Publication
• BIB
An n-vertex graph is called C-Ramsey if it has no clique or independent set of size C log n. All known constructions of Ramsey graphs involve randomness in an essential way, and there is an ongoing line of research towards showing that in fact all Ramsey graphs must obey certain "richness" properties characteristic of random graphs. Motivated by an old problem of Erdős and McKay, recently Narayanan, Sahasrabudhe and Tomon conjectured that for any fixed C, every n-vertex C-Ramsey graph induces subgraphs of $Θ(n^2)$ different sizes. In this paper we prove this conjecture.
Sufficient conditions for Hamilton-connected graphs in terms of (signless Laplacian) spectral radius
Published
• View Publication
• BIB
In this paper, we present some spectral sufficient conditions for a graph to be Hamilton-connected in terms of the spectral radius or signless Laplacian spectral radius of the graph. Our results improve some previous work.
Proof of a conjecture of Morales-Pak-Panova on reverse plane partitions
Published
• View Publication
• BIB
Using equivariant cohomology theory, Naruse obtained a hook length formula for the number of standard Young tableaux of skew shape $λ/μ$. Morales, Pak and Panova found two $q$-analogues of Naruse's formula respectively by counting semistandard Young tableaux of shape $λ/μ$ and reverse plane partitions of shape $λ/μ$. When $λ$ and $μ$ are both staircase shape partitions, Morales, Pak and Panova conjectured that the generating function of reverse plane partitions of shape $λ/ μ$ can be expressed as a determinant whose entries are related to $q$-analogues of the Euler numbers. The objective of this paper is to prove this conjecture.
Arctic Curves in path models from the Tangent Method
Published
• View Publication
• BIB
Recently, Colomo and Sportiello introduced a powerful method, known as the \emph{Tangent Method}, for computing the arctic curve in statistical models which have a (non- or weakly-) intersecting lattice path formulation. We apply the Tangent Method to compute arctic curves in various models: the domino tiling of the Aztec diamond for which we recover the celebrated arctic circle; a model of Dyck paths equivalent to the rhombus tiling of a half-hexagon for which we find an arctic half-ellipse; another rhombus tiling model with an arctic parabola; the vertically symmetric alternating sign matrices, where we find the same arctic curve as for unconstrained alternating sign matrices. The latter case involves lattice paths that are non-intersecting but that are allowed to have osculating contact points, for which the Tangent Method was argued to still apply. For each problem we estimate the large size asymptotics of a certain one-point function using LU decomposition of the corresponding Gessel-Viennot matrices, and a reformulation of the result amenable to asymptotic analysis.
Every Binary Code Can Be Realized by Convex Sets
Published
• View Publication
• BIB
Much work has been done to identify which binary codes can be represented by collections of open convex or closed convex sets. While not all binary codes can be realized by such sets, here we prove that every binary code can be realized by convex sets when there is no restriction on whether the sets are all open or closed. We achieve this by constructing a convex realization for an arbitrary code with $k$ nonempty codewords in $\mathbb{R}^{k-1}$. This result justifies the usual restriction of the definition of convex neural codes to include only those that can be realized by receptive fields that are all either open convex or closed convex. We also show that the dimension of our construction cannot in general be lowered.
Chromatic numbers of spheres
Published
• View Publication
• BIB
The chromatic number of a subset of Euclidean space is the minimal number of colors sufficient for coloring all points of this subset in such a way that any two points at the distance 1 have different colors. We give new upper bounds for chromatic numbers of spheres.
The wall-crossing formula and Lagrangian mutations
Published
• View Publication
• BIB
We prove a general form of the wall-crossing formula which relates the disk potentials of monotone Lagrangian submanifolds with their Floer-theoretic behavior away from a Donaldson divisor. We define geometric operations called mutations of Lagrangian tori in del Pezzo surfaces and in toric Fano varieties of higher dimension, and study the corresponding wall-crossing formulas that compute the disk potential of a mutated torus from that of the original one.
In the case of del Pezzo surfaces, this justifies the connection between Vianna's tori and the theory of mutations of Landau-Ginzburg seeds. In higher dimension, this provides new Lagrangian tori in toric Fanos corresponding to different chambers of the mirror variety, including ones which are conjecturally separated by infinitely many walls from the chamber containing the standard toric fibre.
Regular Incidence Complexes, Polytopes, and C-Groups
Published
• View Publication
• BIB
Regular incidence complexes are combinatorial incidence structures generalizing regular convex polytopes, regular complex polytopes, various types of incidence geometries, and many other highly symmetric objects. The special case of abstract regular polytopes has been well-studied. The paper describes the combinatorial structure of a regular incidence complex in terms of a system of distinguished generating subgroups of its automorphism group or a flag-transitive subgroup. Then the groups admitting a flag-transitive action on an incidence complex are characterized as generalized string C-groups. Further, extensions of regular incidence complexes are studied, and certain incidence complexes particularly close to abstract polytopes, called abstract polytope complexes, are investigated.
Signless Laplacian spectral radius and fractional matchings in graphs
A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e\in Γ(v)}f(e)\leq 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_{*}(G)$, is the maximum of $\sum_{e\in E(G)}f(e)$ over all fractional matchings $f$. In this paper, we propose the relations between the fractional matching number and the signless Laplacian spectral radius of a graph. As applications, we also give sufficient spectral conditions for existence of a fractional perfect matching in a graph in terms of the signless Laplacian spectral radius of the graph and its complement.
Congruences modulo powers of 5 for $k$-colored partitions
Published
• View Publication
• BIB
Let $p_{-k}(n)$ enumerate the number of $k$-colored partitions of $n$. In this paper, we establish some infinite families of congruences modulo 25 for $k$-colored partitions. Furthermore, we prove some infinite families of Ramanujan-type congruences modulo powers of 5 for $p_{-k}(n)$ with $k=2, 6$, and $7$. For example, for all integers $n\geq0$ and $α\geq1$, we prove that \begin{align*} p_{-2}\left(5^{2α-1}n+\dfrac{7\times5^{2α-1}+1}{12}\right) &\equiv0\pmod{5^α} \end{align*} and \begin{align*} p_{-2}\left(5^{2α}n+\dfrac{11\times5^{2α}+1}{12}\right) &\equiv0\pmod{5^{α+1}}. \end{align*}
Reverse plane partitions of skew staircase shapes and $q$-Euler numbers
Published
• View Publication
• BIB
Recently, Naruse discovered a hook length formula for the number of standard Young tableaux of a skew shape. Morales, Pak and Panova found two $q$-analogs of Naruse's hook length formula over semistandard Young tableaux (SSYTs) and reverse plane partitions (RPPs). As an application of their formula, they expressed certain $q$-Euler numbers, which are generating functions for SSYTs and RPPs of a zigzag border strip, in terms of weighted Dyck paths. They found a determinantal formula for the generating function for SSYTs of a skew staircase shape and proposed two conjectures related to RPPs of the same shape. One conjecture is a determinantal formula for the number of \emph{pleasant diagrams} in terms of Schröder paths and the other conjecture is a determinantal formula for the generating function for RPPs of a skew staircase shape in terms of $q$-Euler numbers.
In this paper, we show that the results of Morales, Pak and Panova on the $q$-Euler numbers can be derived from previously known results due to Prodinger by manipulating continued fractions. These $q$-Euler numbers are naturally expressed as generating functions for alternating permutations with certain statistics involving \emph{maj}. It has been proved by Huber and Yee that these $q$-Euler numbers are generating functions for alternating permutations with certain statistics involving \emph{inv}. By modifying Foata's bijection we construct a bijection on alternating permutations which sends the statistics involving \emph{maj} to the statistic involving \emph{inv}. We also prove the aforementioned two conjectures of Morales, Pak and Panova.
An Introduction to the Discharging Method
In this survey essay, I explore the application of the discharging method in graph theory, including the selection of charging rules and discharging rules, and the general characteristics of the discharging method. As examples, I will prove some lemmas using the discharging method and provide a high-level description of the proof of the four color theorem.
Reversible DNA codes over a family of non-chain rings $R_{k,s}$
In this paper, we solve the reversibility problem for DNA codes over the non-chain ring $R_{k,s}=\mathbb{F}_{4^{2k}}[u_1,...,u_{s}]/< u_1^2-u_1,..., u_s^2-u_s>$. We define an automorphism $θ$ over $R_{k,s}$ which help us both find the idempotent decomposition of $R_{k,s}$ and solve the reversibility problem via skew cyclic codes. Moreover, we introduce a generalized Gray map that preserves DNA reversibility.
On extremal cacti with respect to the edge Szeged index and edge-vertex Szeged index
Published
• View Publication
• BIB
The edge Szeged index and edge-vertex Szeged index of a graph are defined as $Sz_{e}(G)=\sum\limits_{uv\in E(G)}m_{u}(uv|G)m_{v}(uv|G)$ and $Sz_{ev}(G)=\frac{1}{2} \sum\limits_{uv \in E(G)}[n_{u}(uv|G)m_{v}(uv|G)+n_{v}(uv|G)m_{u}(uv|G)],$ respectively, where $m_{u}(uv|G)$ (resp., $m_{v}(uv|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $n_{u}(uv|G)$ (resp., $n_{v}(uv|G)$) is the number of vertices whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), respectively. A cactus is a graph in which any two cycles have at most one common vertex. In this paper, the lower bounds of edge Szeged index and edge-vertex Szeged index for cacti with order $n$ and $k$ cycles are determined, and all the graphs that achieve the lower bounds are identified.
Whirling injections, surjections, and other functions between finite sets
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (December 10, 2025) dmtcs:14126
• View Publication
• BIB
This paper analyzes a certain action called "whirling" that can be defined on any family of functions between two finite sets equipped with a linear (or cyclic) ordering. Many maps of interest in dynamical algebraic combinatorics, such as rowmotion of order ideals, can be represented as a composition of "toggling" involutions, each of which modifies its object only locally. Similarly whirling is made up of locally-acting whirling maps which directly generalize toggles, but cycle through more than two possible outputs. In this first paper on whirling, we consider it as a map on subfamilies of functions between finite sets.
For whirling acting on the set of injections or the set of surjections, we prove that within each whirling orbit, any two elements of the codomain appear as outputs of functions the same number of times. This result can be stated in terms of the homomesy phenomenon, which occurs when a statistic has the same average across every orbit. We further explore homomesy results and conjectures for whirling on restricted-growth words, which correspond to set partitions. These results extend the collection of combinatorial objects for which we have interesting dynamics and homomesy, and open the door to considering whirling in other contexts.
Tits arrangements on cubic curves
Published in Innov. Incidence Geom. 18 (2020) 7-24
• View Publication
• BIB
We classify affine rank three Tits arrangements whose roots are contained in the locus of a homogeneous cubic polynomial. We find that there exist irreducible affine Tits arrangements which are not locally spherical.
Snake graphs and continued fractions
This paper is a sequel to our previous work in which we found a combinatorial realization of continued fractions as quotients of the number of perfect matchings of snake graphs. We show how this realization reflects the convergents of the continued fractions as well as the Euclidean division algorithm. We apply our findings to establish results on sums of squares, palindromic continued fractions, Markov numbers and other statements in elementary number theory.
A feasibility approach for constructing combinatorial designs of circulant type
Published in Journal of Combinatoral Optimization, 35(4):1061-1085, 2018
• View Publication
• BIB
In this work, we propose an optimization approach for constructing various classes of circulant combinatorial designs that can be defined in terms of autocorrelations. The problem is formulated as a so-called feasibility problem having three sets, to which the Douglas-Rachford projection algorithm is applied. The approach is illustrated on three different classes of circulant combinatorial designs: circulant weighing matrices, D-optimal matrices, and Hadamard matrices with two circulant cores. Furthermore, we explicitly construct two new circulant weighing matrices, a $CW(126,64)$ and a $CW(198,100)$, whose existence was previously marked as unresolved in the most recent version of Strassler's table.