Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Bier spheres and toric topology
Published in Proc. Steklov Inst. Math., 326 (2024), 252-268
• View Publication
• BIB
We compute the real and complex Buchstaber numbers of an arbitrary Bier sphere. In dimension two, we identify all the 13 different combinatorial types of Bier spheres and show that 12 of them are nerve complexes of nestohedra, while the remaining one is a nerve complex of a generalized permutohedron. As an application of our results, we construct a regular normal fan for each of those 13 Delzant polytopes, compute the cohomology rings of the corresponding nonsingular projective toric varieties, and examine the orientability of the corresponding small covers.
Cyclically ordered quivers
Published
• View Publication
• BIB
A cyclically ordered quiver is a quiver endowed with an additional structure of a cyclic ordering of its vertices. This structure, which naturally arises in many important applications, gives rise to new powerful mutation invariants.
A note on sequences variant of irregularity strength for hypercubes
Let $f: E \mapsto \{1,2,\dots,k\}$ be an edge coloring of the $n$ - dimensional hypercube $H_n$. By the palette at a vertex $v$ we mean the sequence $\left(f(e_1(v)), f(e_1(v)),\dots, f(e_n(v))\right)$, where $e_i(v)$ is the $i$ - dimensional edge incident to $v$. In the paper, we show that two colors are enough to distinguish all vertices of the $n$ - dimensional hypercube $H_n$ ($n \geq 2$) by their palettes. We also show that if $f$ is a proper edge coloring of the hypercube $H_n$ ($n\geq 5$), then $n$ colors suffice to distinguish all vertices by their palettes.
About the second neighborhood conjecture for tournaments missing two stars or disjoint paths
Published
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture (SSNC) asserts that every oriented finite simple graph (without digons) has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is said to have the second neighborhood property (SNP). In this paper, we prove SSNC for tournaments missing two stars. We also study SSNC for tournaments missing disjoint paths and, particularly, in the case of missing paths of length 2. In some cases, we exhibit at least two vertices with the SNP.
More on the number of distinct values of a class of functions
In a previous article the authors determined the best-known upper bound for the cardinality of the image set for several classes of functions, including planar functions. Here, we show that the upper bound cannot be tight for planar functions over finite fields. This follows from a more general result proving that the upper bound cannot be tight for a much larger class of functions over an abelian group of order $y^n$ with $n>1$. Moreover, the tightness of the upper bound for the larger class of functions is equivalent to the existence of planar difference sets.
To obtain better upper bounds, we first completely resolve an optimization problem involving the partitioning of a number into triangular parts. Our solution, which is algorithmic and constructive, allows us to determine tight upper bounds provided the relevant parameters are given explicitly. We also provide a suite of upper bounds which can be applied across a range of parameters. These are established via a well-studied Diophantine equation and are related to class numbers of quadratic number fields.
An application of node and edge nonlinear hypergraph centrality to a protein complex hypernetwork
Published in PloS one. 2024;19(10):e0311433
• View Publication
• BIB
The use of graph centrality measures applied to biological networks, such as protein interaction networks, underpins much research into identifying key players within biological processes. This approach however is restricted to dyadic interactions and it is well-known that in many instances interactions are polyadic. In this study we illustrate the merit of using hypergraph centrality applied to a hypernetwork as an alternative. Specifically, we review and propose an extension to a recently introduced node and edge nonlinear hypergraph centrality model which provides mutually dependent node and edge centralities. A Saccharomyces Cerevisiae protein complex hypernetwork is used as an example application with nodes representing proteins and hyperedges representing protein complexes. The resulting rankings of the nodes and edges are considered to see if they provide insight into the essentiality of the proteins and complexes. We find that certain variations of the model predict essentiality more accurately and that the degree-based variation illustrates that the centrality-lethality rule extends to a hypergraph setting. In particular, through exploitation of the models flexibility, we identify small sets of proteins densely populated with essential proteins. One of the key advantages of applying this model to a protein complex hypernetwork is that it also provides a classification method for protein complexes, unlike previous approaches which are only concerned with classifying proteins.
A Ramsey-type theorem on deficiency
Published
• View Publication
• BIB
Ramsey's Theorem states that a graph $G$ has bounded order if and only if $G$ contains no complete graph $K_n$ or empty graph $E_n$ as its induced subgraph. The Gyárfás-Sumner conjecture says that a graph $G$ has bounded chromatic number if and only if it contains no induced subgraph isomorphic to $K_n$ or a tree $T$. The deficiency of a graph is the number of vertices that cannot be covered by a maximum matching. In this paper, we prove a Ramsey type theorem for deficiency, i.e., we characterize all the forbidden induced subgraphs for graphs $G$ with bounded deficiency. As an application, we answer a question proposed by Fujita, Kawarabayashi, Lucchesi, Ota, Plummer and Saito (JCTB, 2006).
Shellability of $3$-Cut Complexes of Squared Cycle Graphs
Published
• View Publication
• BIB
For a positive integer $k$, the $k$-cut complex of a graph $G$ is the simplicial complex whose facets are the $(|V(G)|-k)$-subsets $σ$ of the vertex set $V(G)$ of $G$ such that the induced subgraph of $G$ on $V(G) \setminus σ$ is disconnected. These complexes first appeared in the master thesis of Denker and were further studied by Bayer et al.\ in [Topology of cut complexes of graphs, SIAM Journal on Discrete Mathematics, 2024]. In the same article, Bayer et al.\ conjectured that for $k \geq 3$, the $k$-cut complexes of squared cycle graphs are shellable. Moreover, they also conjectured about the Betti numbers of these complexes when $k=3$. In this article, we prove these conjectures for $k=3$.
On $\ell$-regular partitions and Hickerson's identity
Published
• View Publication
• BIB
Based on two involutions and a bijection, we completely determine the difference between the number of $\ell$-regular partitions of $n$ into an even number of parts and into an odd number of parts for all positive integers $n$ and $\ell>1$, which extends two recent results due to Ballantine and Merca. As an application, we provide a combinatorial proof of Hickerson's identity on the number of partitions into an even and odd number of parts.
On Ramsey degrees, compactness and approximability
One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what happens in the realm of dual Ramsey degrees due to the lack of the compactness argument that applies to that setting. In this paper we present a framework within which both "direct" and dual Ramsey statements can be stated and reasoned about in a uniform fashion. We introduce the notion of approximability which yields a general compactness argument powerful enough to prove statements about both "direct" and dual Ramsey phenomena. We conclude the paper with an application of the new strategies by generalizing Voigt's $\star$-version of the Infinite Ramsey Theorem to a large class of relational structures and deriving a Ramsey statement for "loose colorings" of enumerated Fraïssé limits.
Degrees are Useless in SNORT When Measuring Temperature
Published
• View Publication
• BIB
Snort is a two-player game played on a simple graph in which players alternately colour a vertex such that they do not colour adjacent to their opponents' vertex. In combinatorial game theory, the temperature of a position is a measure of the urgency of moving first. It is known that the temperature of \snort in general is infinite ($K_{1,n}$ has temperature $n$). We show that the temperature in addition can be infinitely larger than the degree of the board being played on. We do so by constructing a family of positions in which the temperature grows twice as fast as the degree of the board.
Communication Complexity of Graph Isomorphism, Coloring, and Distance Games
In quantum information, nonlocal games are particularly useful for differentiating classical, quantum, and non-signalling correlations. An example of differentiation is given by the principle of no-collapse of communication complexity, which is often interpreted as necessary for a feasible physical theory. It is satisfied by quantum correlations but violated by some non-signalling ones.
In this work, we investigate this principle in the context of three nonlocal games related to graph theory, starting from the well-known graph isomorphism and graph coloring games, and introducing a new game, the vertex distance game, with a parameter $D\in\mathbb N$, that generalizes the former two to some extent. For these three games, we prove that perfect non-signalling strategies collapse communication complexity under favorable conditions. We also define a refinement of fractional isomorphism of graphs, namely D-fractional isomorphisms, and we show that this characterizes perfect non-signalling strategies for the vertex distance game. Surprisingly, we observe that non-signalling strategies provide a finer distinction for the new game compared to classical and quantum strategies since the parameter D is visible only in the non-signalling setting.
Seymour and Woodall's conjecture holds for graphs with independence number two
Published
• View Publication
• BIB
Woodall (and Seymour independently) in 2001 proposed a conjecture that every graph $G$ contains every complete bipartite graph on $χ(G)$ vertices as a minor, where $χ(G)$ is the chromatic number of $G$. In this paper, we prove that for each positive integer $\ell$ with $2\ell \leq χ(G)$, each graph $G$ with independence number two contains a $K^{\ell}_{\ell,χ(G)-\ell}$-minor, implying that Seymour and Woodall's conjecture holds for graphs with independence number two, where $K^{\ell}_{\ell,χ(G)-\ell}$ is the graph obtained from $K_{\ell,χ(G)-\ell}$ by making every pair of vertices on the side of the bipartition of size $\ell$ adjacent.
Multiplicative largeness of $\textit{de Polignac numbers}$
A number $m$ is said to be a $\textit{de Polignac number}$, if infinitely many pairs of consecutive primes exist, such that $m$ can be written as the difference of those consecutive prime numbers. Recently in [ W. D. Banks: Consecutive primes and IP sets, arXiv:2403.10637.], using arguments from the Ramsey theory, W. D. Banks proved that the collection of $\textit{de Polignac number}$ is an $IP^\star$ set (Though his original statement is relatively weaker, an iterative application of pigeonhole principle/ theory of ultrafilters shows that this statement is sufficient to conclude the set is $IP^\star$). As a consequence, we have this collection as an additively syndetic set. In this article, we show that this collection is also a multiplicative syndetic set. In our proof, we use combinatorial arguments and the tools from the algebra of the Stone-Čech compactification of discrete semigroups (for details see [N. Hindman, and D. Strauss: Algebra in the Stone-Čech Compactification: Theory and Applications, second edition, de Gruyter, Berlin,2012.]).
On the characterization of chordal graphs using Horn hypergeometric series
Published
• View Publication
• BIB
Radchenko and Villegas characterized the chordal graphs by the inverse of their independence polynomials being Horn hypergeometric series in Radchenko et al. in 2021. In this paper, we reprove their result using some elementary combinatorial methods. Our proof is different from their proof, and it is based on the connection between the inverse of the multi-variate independence polynomials and the multi-colored chromatic polynomials of graphs, established by Arunkumar et al. in 2018.
Restricted SDC Edge Cover Pebbling Number
The restricted edge pebbling distribution is a distribution of pebbles on the edges of $G$ is the placement of pebbles on the edges with the restriction that only an even number of pebbles should be placed on the edges with labels $0$. Given an SDC labeling of $G$, the restricted SDC edge cover pebbling number of a graph $G$, $ψ_{EC}(G)$, is the least positive integer $m$ for which any restricted edge pebbling distribution of $m$ pebbles such that at the end there are no pebbles on the edges having label $0$ will allow the shifting of a pebble simultaneously to all edges with label $1$ using a sequence of restricted edge pebbling moves. We compute the restricted SDC edge cover pebbling number for some graphs
On the number of digons in arrangements of pairwise intersecting circles
Published
• View Publication
• BIB
A long-standing open conjecture of Branko Grünbaum from 1972 states that any simple arrangement of $n$ pairwise intersecting pseudocircles in the plane can have at most $2n-2$ digons. Agarwal et al. proved this conjecture for arrangements of pairwise intersecting pseudocircles in which there is a common point surrounded by all pseudocircles. Recently, Felsner, Roch and Scheucher showed that Grünbaum's conjecture is true for arrangements of pairwise intersecting pseudocircles in which there are three pseudocircles every pair of which create a digon. In this paper we prove this over 50-year-old conjecture of Grünbaum for any simple arrangement of pairwise intersecting circles in the plane.
Quasisymmetric divided difference operators and polynomial bases
The key polynomials, the Demazure atoms, the Schubert polynomials, and even the Schur functions can be defined using divided difference operator. In 2000, Hivert introduced a quasisymmetric analog of the divided difference operator. In particular, replacing it in a natural way in the definition of the Schur functions gives Gessel's fundamental basis. This paper is our attempt to apply the same methods to define the remaining bases and study the results. In particular, we show both the key polynomials and Demazure atoms have natural analogs using Hivert's operator and that the resulting bases occur independently and defined by other means in the work of Assaf and Searles, as the fundemental slide polynomials and the fundamental particle basis respectively. We further explore properties of these two bases, including giving the structure constants for the fundamental particle basis.
Simplicial complexes and matroids with vanishing $T^2$
Published
• View Publication
• BIB
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded components of $T^2$ when the simplicial complex is a uniform matroid. Finally, we show that $T^2$ vanishes for all matroids of corank at most two and conjecture that all connected matroids with vanishing $T^2$ are of corank at most two.
Series of combinatorial games
We present a definition for the sum of a sequence of combinatorial games. This sum coincides with the classical sum in the case of a converging sequence of real numbers and with the infinitary natural sum in the case of a sequence of ordinal numbers. We briefly discuss other possibilities, such as the string limit, some "magical" variants of Hackenbush, as well as "Dadaist" infinite sums, which allow transfinite runs, while still being loopfree.