Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Some observations on the connection between Stirling numbers and Bessel numbers
Published in Electron. J. Combin. 29 (2022) P1.40
• View Publication
• BIB
We present new proofs for some summation identities involving Stirling numbers of both first and second kind. The two main identities show a connection between Stirling numbers and Bessel numbers. Our method is based on solving a particular recurrence relation in two different ways and comparing the coefficients in the resulting polynomial expressions. We also briefly discuss a probabilistic setting where this recurrence relation occurs.
Explicit Baranyai Partitions for Quadruples, Part I: Quadrupling Constructions
Published
• View Publication
• BIB
It is well known that, whenever $k$ divides $n$, the complete $k$-uniform hypergraph on $n$ vertices can be partitioned into disjoint perfect matchings. Equivalently, the set of $k$-subsets of an $n$-set can be partitioned into parallel classes so that each parallel class is a partition of the $n$-set. This result is known as Baranyai's theorem, which guarantees the existence of \emph{Baranyai partitions}. Unfortunately, the proof of Baranyai's theorem uses network flow arguments, making this result non-explicit. In particular, there is no known method to produce Baranyai partitions in time and space that scale linearly with the number of hyperedges in the hypergraph. It is desirable for certain applications to have an explicit construction that generates Baranyai partitions in linear time. Such an efficient construction is known for $k=2$ and $k=3$. In this paper, we present an explicit recursive quadrupling construction for $k=4$ and $n=4t$, where $t \equiv 0,3,4,6,8,9 ~(\text{mod}~12)$. In a follow-up paper (Part II), the other values of~$t$, namely $t \equiv 1,2,5,7,10,11 ~(\text{mod}~12)$, will be considered.
The tropical Poincaré-Hopf theorem
Published in Journal of Combinatorial Theory, Series A, Volume 196, 2023, 105733
• View Publication
• BIB
We express the beta invariant of a loopless matroid as tropical self-intersection number of the diagonal of its matroid fan (a "local" Poincaré-Hopf theorem). This provides another example of uncovering the "geometry" of matroids by expressing their invariants in terms of tropicalised geometric constructions. We also prove a global Poincaré-Hopf theorem and initiate the study of a more general tropical Lefschetz-Hopf trace formula by proving the two special cases of tropical curves and tropical tori.
Counting multiple graphs in generalized Turán problems
We are given graphs $H_1,\dots,H_k$ and $F$. Consider an $F$-free graph $G$ on $n$ vertices. What is the largest sum of the number of copies of $H_i$? The case $k=1$ has attracted a lot of attention.
We also consider a colored variant, where the edges of $G$ are colored with $k$ colors. What is the largest sum of the number of copies of $H_i$ in color $i$? Our motivation to study this colored variant is a recent result stating that the Turán number of the $r$-uniform Berge-$F$ hypergraphs is at most the quantity defined above for $k=2$, $H_1=K_r$ and $H_2=K_2$.
In addition to studying these new questions, we obtain new results for generalized Turán problems and also for Berge hypergraphs.
On the largest and least eigenvalues of eccentricity matrix of trees
Published
• View Publication
• BIB
The eccentricity matrix $\varepsilon(G)$ of a graph $G$ is constructed from the distance matrix of $G$ by keeping only the largest distances for each row and each column. This matrix can be interpreted as the opposite of the adjacency matrix obtained from the distance matrix by keeping only the distances equal to 1 for each row and each column. The $\varepsilon$-eigenvalues of a graph $G$ are those of its eccentricity matrix $\varepsilon(G)$. Wang et al \cite{e} proposed the problem of determining the maximum $\varepsilon$-spectral radius of trees with given order. In this paper, we consider the above problem of $n$-vertex trees with given diameter. The maximum $\varepsilon$-spectral radius of $n$-vertex trees with fixed odd diameter is obtained, and the corresponding extremal trees are also determined. The trees with least $\varepsilon$-eigenvalues in $[-2\sqrt{2},0)$ have been known. Finally, we determine the trees with least $\varepsilon$-eigenvalues in $[-2-\sqrt{13},-2\sqrt{2})$.
On flag-transitive imprimitive 2-designs
Published
• View Publication
• BIB
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than $100$ points. There are exactly eleven such examples, and for one of these designs, a flag-regular, point-imprimitive $2-(36,8,4)$ design with automorphism group ${\rm Sym}(6)$, there seems to be no construction previously available in the literature.
Online Discrepancy Minimization for Stochastic Arrivals
Published
• View Publication
• BIB
In the stochastic online vector balancing problem, vectors $v_1,v_2,\ldots,v_T$ chosen independently from an arbitrary distribution in $\mathbb{R}^n$ arrive one-by-one and must be immediately given a $\pm$ sign. The goal is to keep the norm of the discrepancy vector, i.e., the signed prefix-sum, as small as possible for a given target norm.
We consider some of the most well-known problems in discrepancy theory in the above online stochastic setting, and give algorithms that match the known offline bounds up to $\mathsf{polylog}(nT)$ factors. This substantially generalizes and improves upon the previous results of Bansal, Jiang, Singla, and Sinha (STOC' 20). In particular, for the Komlós problem where $\|v_t\|_2\leq 1$ for each $t$, our algorithm achieves $\tilde{O}(1)$ discrepancy with high probability, improving upon the previous $\tilde{O}(n^{3/2})$ bound. For Tusnády's problem of minimizing the discrepancy of axis-aligned boxes, we obtain an $O(\log^{d+4} T)$ bound for arbitrary distribution over points. Previous techniques only worked for product distributions and gave a weaker $O(\log^{2d+1} T)$ bound. We also consider the Banaszczyk setting, where given a symmetric convex body $K$ with Gaussian measure at least $1/2$, our algorithm achieves $\tilde{O}(1)$ discrepancy with respect to the norm given by $K$ for input distributions with sub-exponential tails.
Our key idea is to introduce a potential that also enforces constraints on how the discrepancy vector evolves, allowing us to maintain certain anti-concentration properties. For the Banaszczyk setting, we further enhance this potential by combining it with ideas from generic chaining. Finally, we also extend these results to the setting of online multi-color discrepancy.
Tegula -- exploring a galaxy of two-dimensional periodic tilings
Published
• View Publication
• BIB
Periodic tilings play a role in the decorative arts, in construction and in crystal structures. Combinatorial tiling theory allows the systematic generation, visualization and exploration of such tilings of the plane, sphere and hyperbolic plane, using advanced algorithms and software.Here we present a "galaxy" of tilings that consists of the set of all 2.4 billion different types of periodic tilings that have Dress complexity up to 24. We make these available in a database and provide a new program called Tegula that can be used to search and visualize such tilings.
Availability: All tilings and software and are open source and available here: https://ab.inf.uni-tuebingen.de/software/tegula.
The g-extra connectivity of the Mycielskian
Published
• View Publication
• BIB
The $g$-extra connectivity is an important parameter to measure the ability of tolerance and reliability of interconnection networks. Given a connected graph $G=(V,E)$ and a non-negative integer $g$, a subset $S\subseteq V$ is called a $g$-extra cut of $G$ if $G-S$ is disconnected and every component of $G-S$ has at least $g+1$ vertices. The cardinality of the minimum $g$-extra cut is defined as the $g$-extra connectivity of $G$, denoted by $κ_g(G)$. In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph $G$ into a new graph $μ(G)$, which is called the Mycielskian of $G$. This paper investigates the relationship of the g-extra connectivity of the Mycielskian $μ(G)$ and the graph $G$, moreover, show that $κ_{2g+1}(μ(G))=2κ_{g}(G)+1$ for $g\geq 1$ and $κ_{g}(G)\leq min\{g+1, \lfloor\frac{n}{2}\rfloor\}$.
A family of non-periodic tilings of the plane by right golden triangles
Published
• View Publication
• BIB
We study a family of substitution tilings with similar right triangles of two sizes which is obtained using the substitution rule introduced in [Danzer, L. and van Ophuysen, G. A species of planar triangular tilings with inflation factor $\sqrt{-τ}$. Res. Bull. Panjab Univ. Sci. 2000, 50, 1-4, pp. 137--175 (2001)]. In that paper, it is proved this family of tilings can be obtained from a local rule using decorated tiles. That is, that this family is \emph{sofic}.
In the present paper, we provide an alternative proof of this fact. We use more decorated tiles than Danzer and van Ophuysen (22 in place of 10). However, our decoration of supertiles is more intuitive and our local rule is simpler.
The (multiplicative degree-)Kirchhoff index of graphs derived from the Catersian product of $S_n$ and $K_2$
Published
• View Publication
• BIB
Recently, Li et al. [Appl. Math. Comput. 382 (2020) 125335] proposed the problem of determining the Kirchhoff index and multiplicative degree-Kirchhoff index of graphs derived from $S_n \times K_2$, the Catersian product of the star $S_n$ and the complete graph $K_2$. In the present paper, we completely solve this problem. That is, the explicit closed-form formulae of Kirchhoff index, multiplicative degree-Kirchhoff index, and number of spanning trees are obtained for some graphs derived from $S_n \times K_2$.
The geometry of diagonal groups
Published
• View Publication
• BIB
Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied.
The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite.
A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.)
A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics.
We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups).
Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.
Tilings in vertex ordered graphs
Published
• View Publication
• BIB
Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect $H$-tiling problem for all ordered graphs $H$ of interval chromatic number $2$. Already in this restricted setting the class of extremal examples is richer than in the unordered graph problem. In the process of proving our results, novel approaches to both the regularity and absorbing methods are developed.
Even-Odd partition identities of Rogers-Ramanujan type
Published in The Ramanujan Journal (2021)
• View Publication
• BIB
We prove a theorem which add a new member to Rogers-Ramanujan identities. This new member counts partitions with different type of constraints on even and odd parts. Generalizing this theorem, we obtain two family of partition identities of Rogers-Ramanujan type.
Refined Cauchy identity for spin Hall-Littlewood symmetric rational functions
Published
• View Publication
• BIB
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $\mathsf{F}_λ$ arise in the context of $\mathfrak{sl}(2)$ higher spin six vertex models, and are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials. We obtain a refined Cauchy identity expressing a weighted sum of the product of two $\mathsf{F}_λ$'s as a determinant. The determinant is of Izergin-Korepin type: it is the partition function of the six vertex model with suitably decorated domain wall boundary conditions. The proof of equality of two partition functions is based on the Yang-Baxter equation.
We rewrite our Izergin-Korepin type determinant in a different form which includes one of the sets of variables in a completely symmetric way. This determinantal identity might be of independent interest, and also allows to directly link the spin Hall-Littlewood rational functions with (the Hall-Littlewood particular case of) the interpolation Macdonald polynomials. In a different direction, a Schur expansion of our Izergin-Korepin type determinant yields a deformation of Schur symmetric polynomials.
In the spin-$\frac12$ specialization, our refined Cauchy identity leads to a summation identity for eigenfunctions of the ASEP (Asymmetric Simple Exclusion Process), a celebrated stochastic interacting particle system in the Kardar-Parisi-Zhang universality class. This produces explicit integral formulas for certain multitime probabilities in ASEP.
Construction of product $*$-probability spaces via free cumulants
It is well known that free independence is equivalent to the vanishing of mixed free cumulants. The purpose of this short note is to build free products of $*$-probability spaces using this as the definition of freeness and relying on free cumulants instead of moments.
On partial parallel classes in partial Steiner triple systems
Published
• View Publication
• BIB
For an integer $ρ$ such that $1 \leq ρ\leq v/3$, define $β(ρ,v)$ to be the maximum number of blocks in any partial Steiner triple system on $v$ points in which the maximum partial parallel class has size $ρ$. We obtain lower bounds on $β(ρ,v)$ by giving explicit constructions, and upper bounds on $β(ρ,v)$ result from counting arguments. We show that $β(ρ,v) \in Θ(v)$ if $ρ$ is a constant, and $β(ρ,v) \in Θ(v^2)$ if $ρ= v/c$, where $c$ is a constant. When $ρ$ is a constant, our upper and lower bounds on $β(ρ,v)$ differ by a constant that depends on $ρ$. Finally, we apply our results on $β(ρ,v)$ to obtain infinite classes of sequenceable partial Steiner triple systems.
A Vertex-Weighted Tutte Symmetric Function, and Constructing Graphs with Equal Chromatic Symmetric Function
Published in The Electronic Journal of Combinatorics (2021): P2-1
• View Publication
• BIB
This paper has two main parts. First, we consider the Tutte symmetric function $XB$, a generalization of the chromatic symmetric function. We introduce a vertex-weighted version of $XB$ and show that this function admits a deletion-contraction relation. We also demonstrate that the vertex-weighted $XB$ admits spanning-tree and spanning-forest expansions generalizing those of the Tutte polynomial by connecting $XB$ to other graph functions. Second, we give several methods for constructing nonisomorphic graphs with equal chromatic and Tutte symmetric functions, and use them to provide specific examples.
Computing Volumes of Adjacency Polytopes via Draconian Sequences
Published
• View Publication
• BIB
Adjacency polytopes appear naturally in the study of nonlinear emergent phenomena in complex networks. The "PQ-type" adjacency polytope, denoted $\nabla^{\mathrm{PQ}}_G$ and which is the focus of this work, encodes rich combinatorial information about power-flow solutions in sparse power networks that are studied in electric engineering. Of particular importance is the normalized volume of such an adjacency polytope, which provides an upper bound on the number of distinct power-flow solutions.
In this article we show that the problem of computing normalized volumes for $\nabla^{\mathrm{PQ}}_G$ can be rephrased as counting $D(G)$-draconian sequences where $D(G)$ is a certain bipartite graph associated to the network. We prove recurrences for all networks with connectivity at most $1$ and, for $2$-connected graphs under certain restrictions, we give recurrences for subdividing an edge and taking the join of an edge with a new vertex. Together, these recurrences imply a simple, non-recursive formula for the normalized volume of $\nabla^{\mathrm{PQ}}_G$ when $G$ is part of a large class of outerplanar graphs; we conjecture that the formula holds for all outerplanar graphs. Explicit formulas for several other (non-outerplanar) classes are given. Further, we identify several important classes of graphs $G$ which are planar but not outerplanar that are worth additional study.
A note on hypergraphs without non-trivial intersecting subgraphs
Published
• View Publication
• BIB
A hypergraph $\mathcal{F}$ is non-trivial intersecting if every two edges in it have a nonempty intersection but no vertex is contained in all edges of $\mathcal{F}$. Mubayi and Verstraëte showed that for every $k \ge d+1 \ge 3$ and $n \ge (d+1)n/d$ every $k$-graph $\mathcal{H}$ on $n$ vertices without a non-trivial intersecting subgraph of size $d+1$ contains at most $\binom{n-1}{k-1}$ edges. They conjectured that the same conclusion holds for all $d \ge k \ge 4$ and sufficiently large $n$. We confirm their conjecture by proving a stronger statement.
They also conjectured that for $m \ge 4$ and sufficiently large $n$ the maximum size of a $3$-graph on $n$ vertices without a non-trivial intersecting subgraph of size $3m+1$ is achieved by certain Steiner systems. We give a construction with more edges showing that their conjecture is not true in general.