Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Rainbow spanning structures in graph and hypergraph systems
Published
• View Publication
• BIB
We study the following rainbow version of subgraph containment problems in a family of (hyper)graphs, which generalizes the classical subgraph containment problems in a single host graph. For a collection $\textbf{G}=\{G_1, G_2,\ldots, G_{m}\}$ of not necessarily distinct $k$-graphs on the same vertex set $[n]$, a (sub)graph $H$ on $[n]$ is rainbow if there exists an injection $\varphi: E(H)\rightarrow[m]$ such that $e\in E(G_{\varphi(e)})$ for each $e\in E(H)$. Note that if $|E(H)|=m$, then $\varphi$ is a bijection and thus $H$ contains exactly one edge from each $G_i$. Our main results focus on rainbow clique-factors in (hyper)graph systems with minimum $d$-degree conditions. Specifically, we establish the following: (1) A rainbow analogue of an asymptotical version of the Hajnal--Szemerédi theorem, namely, if $t\mid n$ and $δ(G_i)\geq(1-\frac{1}{t}+\varepsilon)n$ for each $i\in[\frac{n}{t}\binom{t}{2}]$, then $\textbf{G}$ contains a rainbow $K_t$-factor; (2) Essentially a minimum $d$-degree condition forcing a perfect matching in a $k$-graph also forces rainbow perfect matchings in $k$-graph systems for $d\in[k-1]$. The degree assumptions in both results are asymptotically best possible (although the minimum $d$-degree condition forcing a perfect matching in a $k$-graph is in general unknown). For (1) we also discuss two directed versions and a multipartite version. Finally, to establish these results, we in fact provide a general framework to attack this type of problems, which reduces it to subproblems with finitely many colors.
A General Family of $q$-Hypergeometric Polynomials and Associated Generating Functions
Published in Mathematics 9 (11), 1161 (2021)
• View Publication
• BIB
In this paper, we introduce a general family of $q$-hypergeometric polynomials and investigate several $q$-series identities such as an extended generating function and a Srivastava-Agarwal type bilinear generating function for this family of $q$-hypergeometric polynomials. We give a transformational identity involving generating functions for the generalized $q$-hypergeometric polynomials which we have introduced here. We also point out relevant connections of the various $q$-results, which we investigate here, with those in several related earlier works on this subject. We conclude this paper by remarking that it will be a rather trivial and inconsequential exercise to give the so-called $(p,q)$-variations of the $q$-results, which we have investigated here, because the additional parameter $p$ is obviously redundant.
Pinnacle Set Properties
Published
• View Publication
• BIB
Let pi = pi_1 pi_2 ... pi_n be a permutation in the symmetric group S_n written in one-line notation. The pinnacle set of pi, denoted Pin pi, is the set of all pi_i such that pi_{i-1} < pi_i > pi_{i+1}. This is an analogue of the well-studied peak set of pi where one considers values rather than positions. The pinnacle set was introduced by Davis, Nelson, Petersen, and Tenner who showed that it has many interesting properties. In particular, they proved that the number of subsets of [n] = {1, 2, ..., n} which can be the pinnacle set of some permutation is a binomial coefficient. Their proof involved a bijection with lattice paths and was somewhat involved. We give a simpler demonstration of this result which does not need lattice paths. Moreover, we show that our map and theirs are different descriptions of the same function. Davis et al. also studied the number of pinnacle sets with maximum m and cardinality d which they denoted by p(m,d). We show that these integers are ballot numbers and give two proofs of this fact: one using finite differences and one bijective. Diaz-Lopez, Harris, Huang, Insko, and Nilsen found a summation formula for calculating the number of permutations in S_n having a given pinnacle set. We derive a new expression for this number which is faster to calculate in many cases. We also show how this method can be adapted to find the number of orderings of a pinnacle set which can be realized by some pi in S_n.
Twisted Linearized Reed-Solomon Codes: A Skew Polynomial Framework
Published
• View Publication
• BIB
We provide an algebraic description for sum-rank metric codes, as quotient space of a skew polynomial ring. This approach generalizes at the same time the skew group algebra setting for rank-metric codes and the polynomial setting for codes in the Hamming metric. This allows to construct twisted linearized Reed-Solomon codes, a new family of maximum sum-rank distance codes extending at the same time Sheekey's twisted Gabidulin codes in the rank metric and twisted Reed-Solomon codes in the Hamming metric. Furthermore, we provide an analogue in the sum-rank metric of Trombetti-Zhou construction, which also provides a family of maximum sum-rank distance codes. As a byproduct, in the extremal case of the Hamming metric, we obtain a new family of additive MDS codes over quadratic fields.
Big Ramsey degrees of the generic partial order
Published
• View Publication
• BIB
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order in a similar way as Devlin characterised big Ramsey degrees of the generic linear order (the order of rationals).
New Ore-type Conditions for Hamilton Cycles and Spanning Trees with few leaves
New Ore-type conditions for Hamilton cycles and spanning trees with few leaves are presented.
Infinite monochromatic patterns in the integers
Published
• View Publication
• BIB
We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers $\mathbb{N}=C_1\cup\ldots\cup C_r$, there exists an increasing sequence $a<b<c<\ldots$ such that all elements below are monochromatic, that is, they belong to the same $C_i$: $$a,b,c,\ldots, a+b+ab, a+c+ac, b+c+bc,\ldots,a+b+c+ab+ac+bc+abc,\ldots.$$ The proofs use algebra in the space of ultrafilters $β\mathbb{Z}$.
Sharp bounds on fake weighted projective spaces with canonical singularities
Published
• View Publication
• BIB
We give a sharp upper bound on the multiplicity of a fake weighted projective space with at worst canonical singularities. This is equivalent to giving a sharp upper bound on the index of the sublattice generated by the vertices of a lattice simplex containing only the origin as an interior lattice point. We also completely characterise when equality occurs and discuss related questions and conjectures.
New hemisystems of the Hermitian surface
Published
• View Publication
• BIB
Finding Hemisystems is a challenging problem and just few examples arising from the Hermitian surface are known. A recent method to obtain Hemisystems is based on using maximal curves. Along this side of research, we provide new examples of Hemisystems in $PG(3,p^2)$, for each prime of the form $p=1+4a^2$, with $ a $ integer. Last, we use these results to obtain two weight linear codes and strongly regular graphs.
On game chromatic vertex-critical graphs
Published
• View Publication
• BIB
Several games that arise from graph coloring have been introduced and studied. Let $\varphi$ denote a graph invariant that arises from such a game. If $G$ is a graph and $\varphi(G-x)\neq \varphi(G)=k$, $k \geq 1$, holds true for every vertex $x \in V(G)$, then $G$ is called a $k$-$\varphi$-game-vertex-critical graph. We study the concept of $\varphi$-game-vertex-criticality for $\varphi \in \{χ_g, χ_i, χ_{ig}^{A}, χ_{ig}^{AB}\}$, where $χ_g$ denotes the standard game chromatic number, $χ_i$ denotes the indicated game chromatic number and $χ_{ig}^{A}$, $χ_{ig}^{AB}$ denote two versions of the independence game chromatic number. Since the game chromatic number $\varphi(G-x)$ can either decrease or increase with respect to $\varphi(G)$, we distinguish between lower, upper and mixed vertex-criticality. We show that for $\varphi \in \{χ_g, χ_{ig}^{A}, χ_{ig}^{AB}\}$ the difference $\varphi(G)-\varphi(G-x)$, $x \in V(G)$, can be arbitrarily large. A characterization of $2$-$\varphi$-game-vertex-critical and (connected) $3$-$\varphi$-lower-game-vertex-critical graphs for all $\varphi \in \{χ_g, χ_i, χ_{ig}^{A}, χ_{ig}^{AB}\}$ is given. It is shown that $χ_g$-game-vertex-critical, $χ_{ig}^{A}$-game-vertex-critical and $χ_{ig}^{AB}$-game-vertex-critical graphs are not necessarily connected. However, it is also shown that $χ_i$-lower-game-vertex-critical graphs are always connected.
Squarefree powers of edge ideals of forests
Published in The Electronic Journal of Combinatorics, 28(2) (2021), P2.32
• View Publication
• BIB
Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for any forest $G$.
Geodesic Growth of some 3-dimensional RACGs
We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons
On well-dominated direct, Cartesian and strong product graphs
Published
• View Publication
• BIB
If each minimal dominating set in a graph is a minimum dominating set, then the graph is called well-dominated. Since the seminal paper on well-dominated graphs appeared in 1988, the structure of well-dominated graphs from several restricted classes have been studied. In this paper we give a complete characterization of nontrivial direct products that are well-dominated. We prove that if a strong product is well-dominated, then both of its factors are well-dominated. When one of the factors of a strong product is a complete graph, the other factor being well-dominated is also a sufficient condition for the product to be well-dominated. Our main result gives a complete characterization of well-dominated Cartesian products in which at least one of the factors is a complete graph. In addition, we conjecture that this result is actually a complete characterization of the class of nontrivial, well-dominated Cartesian products.
The localization capture time of a graph
Published
• View Publication
• BIB
The localization game is a pursuit-evasion game analogous to Cops and Robbers, where the robber is invisible and the cops send distance probes in an attempt to identify the location of the robber. We present a novel graph parameter called the capture time, which measures how long the localization game lasts assuming optimal play. We conjecture that the capture time is linear in the order of the graph, and show that the conjecture holds for graph families such as trees and interval graphs. We study bounds on the capture time for trees and its monotone property on induced subgraphs of trees and more general graphs. We give upper bounds for the capture time on the incidence graphs of projective planes. We finish with new bounds on the localization number and capture time using treewidth.
Counting distinct functional graphs from linear finite dynamical systems
Published
• View Publication
• BIB
Let $\mathbb F_q$ be the finite field with $q$ elements and, for each positive integer $n$, let $A_q(n)$ be the number of non isomorphic functional graphs arising from $\mathbb F_q$-linear maps $T:\mathbb F_{q}^n\to \mathbb F_{q}^n$. In 2013, Bach and Bridy proved that, if $q$ is fixed and $n$ is sufficiently large, the quantity $\frac{\log \log A_q(n)}{\log n}$ lies in the interval $[\frac{1}{2}, 1]$. By combining some ideas from linear algebra, combinatorics and number theory, in this paper we provide sharper estimates on the function $A_q(n)$ and, in particular, we prove that $\lim\limits_{n\to +\infty}\frac{\log\log A_q(n)}{\log n}=1$ for every prime power $q$.
Incidence Monoids: Automorphisms and Complexity
Published
• View Publication
• BIB
The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the incidence monoid with respect to the two sided action of its maximal torus in terms of the zeta polynomial of the poset. In addition, we characterize the finite (connected) posets whose incidence monoids have complexity $\leq 1$. Finally, we determine the covering relations of the adherence order on the incidence monoid of a star poset.
Total Coloring and Total Matching: Polyhedra and Facets
Published
• View Publication
• BIB
A total coloring of a graph $G = (V, E)$ is an assignment of colors to vertices and edges such that neither two adjacent vertices nor two incident edges get the same color, and, for each edge, the end-points and the edge itself receive different colors. Any valid total coloring induces a partition of the elements of $G$ into total matchings, which are defined as subsets of vertices and edges that can take the same color. In this paper, we propose Integer Linear Programming models for both the Total Coloring and the Total Matching problems, and we study the strength of the corresponding Linear Programming relaxations. The total coloring is formulated as the problem of finding the minimum number of total matchings that cover all the graph elements. This covering formulation can be solved by a Column Generation algorithm, where the pricing subproblem corresponds to the Weighted Total Matching Problem. Hence, we study the Total Matching Polytope. We introduce three families of nontrivial valid inequalities: vertex-clique inequalities based on standard clique inequalities of the Stable Set Polytope, congruent-$2k3$ cycle inequalities based on the parity of the vertex set induced by the cycle, and even-clique inequalities induced by complete subgraphs of even order. We prove that congruent-$2k3$ cycle inequalities are facet-defining only when $k = 4$, while the vertex-clique and even-cliques are always facet-defining. Finally, we present preliminary computational results of a Column Generation algorithm for the Total Coloring Problem and a Cutting Plane algorithm for the Total Matching Problem.
Tuza's Conjecture for Threshold Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (August 14, 2022) dmtcs:7660
• View Publication
• BIB
Tuza famously conjectured in 1981 that in a graph without k+1 edge-disjoint triangles, it suffices to delete at most 2k edges to obtain a triangle-free graph. The conjecture holds for graphs with small treewidth or small maximum average degree, including planar graphs. However, for dense graphs that are neither cliques nor 4-colorable, only asymptotic results are known. Here, we confirm the conjecture for threshold graphs, i.e. graphs that are both split graphs and cographs, and for co-chain graphs with both sides of the same size divisible by 4.
Hypergraphs with minimum positive uniform Turán density
Published
• View Publication
• BIB
Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), 77--97] showed that the uniform Turán density of every $3$-uniform hypergraph is either $0$ or at least $1/27$, and asked whether there exist $3$-uniform hypergraphs with uniform Turán density equal or arbitrarily close to $1/27$. We construct $3$-uniform hypergraphs with uniform Turán density equal to $1/27$.
Schur functions in noncommuting variables
Published
• View Publication
• BIB
In 2004 Rosas and Sagan asked whether there was a way to define a basis in the algebra of symmetric functions in noncommuting variables, NCSym, having properties analogous to the classical Schur functions. This was because they had constructed a partial such set that was not a basis. We answer their question by defining Schur functions in noncommuting variables using a noncommutative analogue of the Jacobi-Trudi determinant. Our Schur functions in NCSym map to classical Schur functions under commutation, and a subset of them indexed by set partitions forms a basis for NCSym. Amongst other properties, Schur functions in NCSym also satisfy a noncommutative analogue of the product rule for classical Schur functions in terms of skew Schur functions.
We also show how Schur functions in NCSym are related to Specht modules, and naturally refine the Rosas-Sagan Schur functions. Moreover, by generalizing Rosas-Sagan Schur functions to skew Schur functions in the natural way, we prove noncommutative analogues of the Littlewood-Richardson rule and coproduct rule for them. Finally, we relate our functions to noncommutative symmetric functions by proving a subset of our functions are natural extensions of noncommutative ribbon Schur functions, and immaculate functions indexed by integer partitions.