Showing 20 papers (Total: 84460 papers, 48641 authors in database)
$K_r$-Factors in Graphs with Low Independence Number
Published
• View Publication
• BIB
A classical result by Hajnal and Szemerédi from 1970 determines the minimal degree conditions necessary to guarantee for a graph to contain a $K_r$-factor. Namely, any graph on $n$ vertices, with minimum degree $δ(G) \ge \left(1-\frac{1}{r}\right) n$ and $r$ dividing $n$ has a $K_r$-factor. This result is tight but the extremal examples are unique in that they all have a large independent set which is the bottleneck. Nenadov and Pehova showed that by requiring a sub-linear independence number the minimum degree condition in the Hajnal-Szemerédi theorem can be improved. We show that, with the same minimum degree and sub-linear independence number, we can find a clique-factor with double the clique size. More formally, we show for every $r\in \mathbb{N}$ and constant $μ>0$ there is a positive constant $γ$ such that every graph $G$ on $n$ vertices with $δ(G)\ge \left(1-\frac{2}{r}+μ\right)n$ and $α(G) < γn$ has a $K_r$-factor. We also give examples showing the minimum degree condition is asymptotically best possible.
A simple explanation for the "shuffling phenomenon'' for lozenge tilings of dented hexagons
Published
• View Publication
• BIB
In a recent paper, Lai and Rohatgi proved a "shuffling theorem" for lozenge tilings of a hexagon with "dents" (i.e., missing triangles). Here, we shall point out that this follows immediately from the enumeration of Gelfand--Tsetlin patterns with given bottom row. This observation is also contained in a recent preprint of Byun.
Extended Nestohedra and their Face Numbers
Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the boundaries of simple polytopes, answering a question of Lam and Pylyavskyy. We also study the duals of (extended) nestohedra, giving a complete characterization of isomorphisms (as simplicial complexes) between the duals of extended nestohedra and a partial characterization of isomorphisms between the duals of nestohedra and extended nestohedra. In addition, we give formulas for their $f$-, $h$-, and $γ$-vectors. This includes showing that the $f$-vectors of the extended nestohedron corresponding to a forest $F$ and the nestohedron corresponding to the line graph of $F$ are the same, as well as showing that all flag extended nestohedra have nonnegative $γ$-vectors, thus proving Gal's conjecture for a large class of flag simple polytopes. We also relate the $f$- and $h$-vectors of the nestohedra and extended nestohedra, as well as give explicit formulas for the $h$- and $γ$-vectors in terms of descent statistics for a certain class of flag extended nestohedra. Finally, we define a partial ordering on partial permutations that is a join semilattice quotient of the weak Bruhar order on the symmetric group, and such that any linear extension of the partial order provides a shelling of the dual of the stellohedron.
On the Graph Laplacian and the Rankability of Data
Published
• View Publication
• BIB
Recently, Anderson et al. (2019) proposed the concept of rankability, which refers to a dataset's inherent ability to produce a meaningful ranking of its items. In the same paper, they proposed a rankability measure that is based on a integer program for computing the minimum number of edge changes made to a directed graph in order to obtain a complete dominance graph, i.e., an acyclic tournament graph. In this article, we prove a spectral-degree characterization of complete dominance graphs and apply this characterization to produce a new measure of rankability that is cost-effective and more widely applicable. We support the details of our algorithm with several results regarding the conditioning of the Laplacian spectrum of complete dominance graphs and the Hausdorff distance between their Laplacian spectrum and that of an arbitrary directed graph with weights between zero and one. Finally, we analyze the rankability of datasets from the world of chess and college football.
Counterexamples to Siegel's Conjecture
We prove that the intersection of a Hirsch polytope and a cube may be a non-Hirsch polytope.
Constructions of Pairs of Orthogonal Latin Cubes
Published in Journal of Combinatorial Designs. 2020. V. 28 (8). P. 604--613
• View Publication
• BIB
A pair of orthogonal latin cubes of order $q$ is equivalent to an MDS code with distance $3$ or to an ${\rm OA}_1(3,5,q)$ orthogonal array. We construct pairs of orthogonal latin cubes for a sequence of previously unknown orders $q_i=16(18i-1)+4$ and $q'_i=16(18i+5)+4$. The minimal new obtained parameters of orthogonal arrays are ${\rm OA}_1(3,5,84)$.
Keywords: latin square, latin cube, MOLS, MDS code, block design, Steiner system, orthogonal array
Generalized spectral characterization of mixed graphs
Published
• View Publication
• BIB
A mixed graph $G$ is a graph obtained from a simple undirected graph by orientating a subset of edges. $G$ is self-converse if it is isomorphic to the graph obtained from $G$ by reversing each directed edge. For two mixed graphs $G$ and $H$ with Hermitian adjacency matrices $A(G)$ and $A(H)$, we say $G$ is $\mathbb{R}$\emph{-cospectral} to $H$ if, for any $y\in \mathbb{R}$, $yJ-A(G)$ and $yJ-A(H)$ have the same spectrum, where $J$ is the all-one matrix. A self-converse mixed graph $G$ is said to be determined by its generalized spectrum, if any self-converse mixed graph that is $R$-cospectral with $G$ is isomorphic to $G$. Let $G$ be a self-converse mixed graph of order $n$ such that $2^{-\lfloor n/2\rfloor}\det W$ (which is always a real or pure imaginary Gaussian integer) is square-free in $\mathbb{Z}[i]$, where $W=[e,Ae,\ldots,A^{n-1}e]$, $A=A(G)$ and $e$ is the all-one vector. We prove that, for any self-converse mixed graph $H$ that is $\mathbb{R}$-cospectral to $G$, there exists a Gaussian rational unitary matrix $U$ such that $Ue=e$, $U^*A(G)U=A(H)$ and $(1+i)U$ is a Gaussian integral matrix. In particular, if $G$ is an ordinary graph (viewed as a mixed graph) satisfying the above condition, then any self-converse mixed graph $H$ that is $\mathbb{R}$-cospectral to $G$ is $G$ itself (in the sense of isomorphism). This strengthens a recent result of the first author.
Chains of binary paths and shifted tableaux
In this paper, a natural bijection between multichains of binary paths and shifted tableaux is presented, and it is used for the enumeration of the chains with maximum length from a given path $P$ to the maximum path $\mathbf{1}_{|P|}$. By mapping chains to shifted tableaux, the main formulas given in a recent paper by the authors for the enumeration of the $P - \mathbf{1}_{|P|}$ chains having only small intervals and minimum length are proved, using some new bijections on shifted tableaux.
Algebraic analysis of multiple social networks with multiplex
Published
• View Publication
• BIB
\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing multiplex, signed, and two-mode networks, this package offers a collection of functions that deal with algebraic systems ---such as the partially ordered semigroup, and balance or cluster semirings--- their decomposition, and the enumeration of bundle patterns occurring at different levels of the network. Moreover, through Galois derivations between families of the pairs of subsets in different domains it is possible to analyze affiliation networks with an algebraic approach. Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.
The spectral radius of graphs with no intersecting triangles
A graph on $2k+1$ vertices consisting of $k$ triangles which intersect in exactly one common vertex is called a $k$-fan and denoted by $F_k$. This paper aims to determine the graphs of order $n$ that have the maximum (adjacency) spectral radius among all graphs containing no $F_k$, for $n$ sufficiently large.
$q$-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping
Published
• View Publication
• BIB
By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. The original $q$-supercongruences then follow from these parametric generalizations by taking the limits as the parameter tends to $1$ (l'Hôpital's rule is utilized here). In particular, we prove a complete $q$-analogue of the (J.2) supercongruence of Van Hamme and a complete $q$-analogue of a "divergent" Ramanujan-type supercongruence, thus confirming two recent conjectures of the author. We also put forward some related conjectures, including a $q$-supercongruence modulo the fifth power of a cyclotomic polynomial.
Maximum likelihood estimation for discrete exponential families and random graphs
Published
• View Publication
• BIB
We characterize the existence of the maximum likelihood estimator for discrete exponential families. Our criterion is simple to apply as we show in various settings, most notably for exponential models of random graphs. As an application, we point out the size of independent identically distributed samples for which the maximum likelihood estimator exists with high probability.
Perfect 2-colorings of Hamming graphs
Published in J. Comb. Des. 29(6) 2021, 367-396
• View Publication
• BIB
We consider the problem of existence of perfect $2$-colorings (equitable $2$-partitions) of Hamming graphs with given parameters. We start with conditions on parameters of graphs and colorings that are necessary for their existence. Next we observe known constructions of perfect colorings and propose some new ones giving new parameters. At last, we deduce which parameters of colorings are covered by these constructions and give tables of admissible parameters of $2$-colorings in Hamming graphs $H(n,q)$ for small $n$ and $q$. Using the connection with perfect colorings, we construct an orthogonal array OA(2048,7,4,5).
Dominated chromatic number of some operations on a graph
Let $G$ be a simple graph. The dominated coloring of a graph $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $χ_{dom}(G)$. In this paper, we examine the effects on $χ_{dom}(G)$ when $G$ is modified by operations on vertex and edge of $G$.
Lossless Size Reduction for Integer Least Squares with Application to Sphere Decoding
Published in IEEE Trans. Signal Processing, vol. 68, pp. 6547-6561, Dec. 2020
• View Publication
• BIB
Minimum achievable complexity (MAC) for a maximum likelihood (ML) performance-achieving detection algorithm is derived. Using the derived MAC, we prove that the conventional sphere decoding (SD) algorithms suffer from an inherent weakness at low SNRs. To find a solution for the low SNR deficiency, we analyze the effect of zero-forcing (ZF) and minimum mean square error (MMSE) detected symbols on the MAC and demonstrate that although they both improve the SD algorithm in terms of the computational complexity, the MMSE point has a vital difference at low SNRs. By exploiting the information provided by the MMSE method, we prove the existence of a lossless size reduction which can be interpreted as the feasibility of a detection method which is capable of detecting the ML symbol without visiting any nodes at low and high SNRs. We also propose a lossless size reduction-aided detection method which achieves the promised complexity bounds marginally and reduces the overall computational complexity significantly, while obtaining the ML performance. The theoretical analysis is corroborated with numerical simulations.
Generalisations of Capparelli's and Primc's identities, II: perfect $A_{n-1}^{(1)}$ crystals and explicit character formulas
Published
• View Publication
• BIB
In the first paper of this series, we gave infinite families of coloured partition identities which generalise Primc's and Capparelli's classical identities.
In this second paper, we study the representation theoretic consequences of our combinatorial results. First, we show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity, which have a very simple expression, are actually the energy function with values in $\{0,1,2\}$ for the perfect crystal of the tensor product of the vector representation and its dual in $A_{n-1}^{(1)}$.
Then we introduce a new type of partitions, grounded partitions, which allows us to retrieve connections between character formulas and partition generating functions without having to perform a specialisation.
Finally, using the formulas for the generating functions of our generalised partitions, we recover the Kac-Peterson character formula for the characters of all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$, and give a new character formula as a sum of infinite products with obviously positive coefficients in the generators $e^{- α_i} \ (i \in \{0, \dots , n-1\}),$ where the $α_i$'s are the simple roots.
Generalisations of Capparelli's and Primc's identities, I: coloured Frobenius partitions and combinatorial proofs
Published
• View Publication
• BIB
In these two companion papers, we give infinite families of partition identities which generalise Primc's and Capparelli's identities, and study their consequences on the theory of crystal bases of the affine Lie algebra $A_{n-1}^{(1)}.$
In this first paper, we focus on combinatorial aspects. We give a $n^2$-coloured generalisation of Primc's identity by constructing a $n^2 \times n^2$ matrix of difference conditions, Primc's original identities corresponding to $n=2$ and $n=3$. While most coloured partition identities in the literature connect partitions with difference conditions to partitions with congruence conditions, in our case, the natural way to generalise these identities is to relate partitions with difference conditions to coloured Frobenius partitions. This gives a very simple expression for the generating function. With a particular specialisation of the colour variables, our generalisation also yields a partition identity with congruence conditions. Then, using a bijection from our new generalisation of Primc's identity, we deduce a multi-parameter family of identities on $(n^2-1)$-coloured partitions which generalise Capparelli's identity, also in terms of coloured Frobenius partitions. The particular case $n=2$ is Capparelli's identity and the case $n=3$ recovers an identity of Meurman and Primc.
In the second paper, we will focus on crystal theoretic aspects. We will show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity are actually energy functions for certain $A_{n-1}^{(1)}$ crystals. We will then use this result to retrieve the Kac-Peterson character formula and derive a new character formula as a sum of infinite products for all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$.
A Broken Circuit Model for Chromatic Homology Theories
Published
• View Publication
• BIB
Using the tools of algebraic Morse theory, and the thin poset approach to constructing homology theories, we give a categorification of Whitney's broken circuit theorem for the chromatic polynomial, and for Stanley's chromatic symmetric function.
Distance domatic numbers for grid graphs
We say that a vertex-coloring of a graph is a proper k-distance domatic coloring if for each color, every vertex is within distance k from a vertex receiving that color. The maximum number of colors for which such a coloring exists is called the k-distance domatic number of the graph. The problem of determining the k-distance domatic number is motivated by questions about multi-agent networks including arrangements of sensors and robotics. Here, we find the exact k-distance domatic numbers for all grid graphs formed from the Cartesian product of two sufficiently long paths.
On strong infinite Sidon and $B_h$ sets and random sets of integers
Published
• View Publication
• BIB
A set of integers $S \subset \mathbb{N}$ is an $α$-strong Sidon set if the pairwise sums of its elements are far apart by a certain measure depending on $α$, more specifically if $| (x+w) - (y+z) | \geq \max \{ x^α,y^α,z^α,w^α\}$ for every $x,y,z,w \in S$ satisfying $\max \{x,w\} \neq \max \{y,z\}$. We obtain a new lower bound for the growth of $α$-strong infinite Sidon sets when $0 \leq α< 1$. We also further extend that notion in a natural way by obtaining the first non-trivial bound for $α$-strong infinite $B_h$ sets. In both cases, we study the implications of these bounds for the density of, respectively, the largest Sidon or $B_h$ set contained in a random infinite subset of $\mathbb{N}$. Our theorems improve on previous results by Kohayakawa, Lee, Moreira and Rödl.