Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Hermitian adjacency matrix of digraphs and mixed graphs
Published
• View Publication
• BIB
The paper gives a thorough introduction to spectra of digraphs via its Hermitian adjacency matrix. This matrix is indexed by the vertices of the digraph, and the entry corresponding to an arc from $x$ to $y$ is equal to the complex unity $i$ (and its symmetric entry is $-i$) if the reverse arc $yx$ is not present. We also allow arcs in both directions and unoriented edges, in which case we use $1$ as the entry. This allows to use the definition also for mixed graphs. This matrix has many nice properties; it has real eigenvalues and the interlacing theorem holds for a digraph and its induced subdigraphs. Besides covering the basic properties, we discuss many differences from the properties of eigenvalues of undirected graphs and develop basic theory. The main novel results include the following. Several surprising facts are discovered about the spectral radius; some consequences of the interlacing property are obtained; operations that preserve the spectrum are discussed -- they give rise to an incredible number of cospectral digraphs; for every $0\leα\le\sqrt{3}$, all digraphs whose spectrum is contained in the interval $(-α,α)$ are determined.
A Nekrasov-Okounkov type formula for type C
In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function due to Nekrasov and Okounkov by using Macdonald's identity in type $\widetilde{A}$. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using Macdonald's identity in type $\widetilde{C}$ and a new bijection. As applications, we derive a symplectic hook formula and a relation between Macdonald's identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$.
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al. '99] also on proof size. [Alekhnovich and Razborov '03] established that if the clause-variable incidence graph of a CNF formula F is a good enough expander, then proving that F is unsatisfiable requires high PC/PCR degree. We further develop the techniques in [AR03] to show that if one can "cluster" clauses and variables in a way that "respects the structure" of the formula in a certain sense, then it is sufficient that the incidence graph of this clustered version is an expander. As a corollary of this, we prove that the functional pigeonhole principle (FPHP) formulas require high PC/PCR degree when restricted to constant-degree expander graphs. This answers an open question in [Razborov '02], and also implies that the standard CNF encoding of the FPHP formulas require exponential proof size in polynomial calculus resolution. Thus, while Onto-FPHP formulas are easy for polynomial calculus, as shown in [Riis '93], both FPHP and Onto-PHP formulas are hard even when restricted to bounded-degree expanders.
On longest increasing subsequences in words in which all multiplicities are equal
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.7.3
• Search Publication
Gessel's famous Bessel determinant formula gives the generating function of the number of permutations without increasing subsequences of a given length. Ekhad and Zeilberger proposed the challenge of finding a suitable generalization for permutations of multisets in which all multiplicities are equal, that is, to count words of length $rn$ from an alphabet consisting of $n$ letters in which each letter appears exactly $r$ times and which have no increasing subsequences of length $d$.
In this paper we present such a generating function expressible as a multiple integral of the product of a Gessel-type Toeplitz determinant with the exponentiated cycle index polynomial of the symmetric group on $r$ elements.
Monochromatic connectivity and graph products
Published
• View Publication
• BIB
The concept of monochromatic connectivity was introduced by Caro and Yuster. A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} ($MC$-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection number}, denoted by $mc(G)$, is defined to be the maximum number of colors used in an $MC$-coloring of a graph $G$. In this paper, we study the monochromatic connection number on the lexicographical, strong, Cartesian and direct product and present several upper and lower bounds for these products of graphs.
On upper bounds on the smallest size of a saturating set in a projective plane
Published
• View Publication
• BIB
In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q,$ a point subset $S$ is saturating (or dense) if any point of $Π_{q}\setminus S$ is collinear with two points in$~S$. Using probabilistic methods, the following upper bound on the smallest size $ s(2,q)$ of a saturating set in $Π_{q}$ is proved: \begin{equation*} s(2,q)\leq 2\sqrt{(q+1)\ln (q+1)}+2\thicksim 2\sqrt{q\ln q}. \end{equation*} We also show that for any constant $c\ge 1$ a random point set of size $k$ in $Π_{q}$ with $ 2c\sqrt{(q+1)\ln(q+1)}+2\le k<\frac{q^{2}-1}{q+2}\thicksim q$ is a saturating set with probability greater than $1-1/(q+1)^{2c^{2}-2}.$ Our probabilistic approach is also applied to multiple saturating sets. A point set $S\subset Π_{q}$ is $(1,μ)$-saturating if for every point $Q$ of $Π_{q}\setminus S$ the number of secants of $S$ through $Q$ is at least $μ$, counted with multiplicity. The multiplicity of a secant $ \ell $ is computed as ${\binom{\#(\ell \,\cap S)}{2}}.$ The following upper bound on the smallest size $s_{μ}(2,q)$ of a $(1,μ)$-saturating set in $Π_{q}$ is proved: \begin{equation*} s_{μ}(2,q)\leq 2(μ+1)\sqrt{(q+1)\ln (q+1)}+2\thicksim 2(μ+1)\sqrt{ q\ln q}\,\text{ for }\,2\leq μ\leq \sqrt{q}. \end{equation*}
By using inductive constructions, upper bounds on the smallest size of a saturating set (as well as on a $(1,μ)$-saturating set) in the projective space $PG(N,q)$ are obtained.
All the results are also stated in terms of linear covering codes.
Birkhoff sum fluctuations in substitution dynamical systems
Published
• View Publication
• BIB
We consider the deviation of Birkhoff sums along fixed orbits of substitution dynamical systems. We show distributional convergence for the Birkhoff sums of eigenfunctions of the substitution matrix. For noncoboundary eigenfunctions with eigenvalue of modulus 1, we obtain a central limit theorem. For other eigenfunctions, we show convergence to distributions supported on Cantor sets. We also give a new criterion for such an eigenfunction to be a coboundary, as well as a new characterization of substitution dynamical systems with bounded discrepancy
On the number of L-shapes in embedding dimension four
Published
• View Publication
• BIB
\textit{Minimum distance diagrams}, also known as \textit{\textsf{L}--shapes}, have been used to study some properties related to \textit{weighted Cayley digraphs} of \textit{degree} two and \textit{embedding dimension three numerical semigroups}. In this particular case, it has been shown that these discrete structures have at most two related \textsf{L}--shapes. These diagrams are proved to be a good tool for studing \textit{factorizations} and the \textit{catenary degree} for semigroups and \textit{diameter} and \textit{distance} between vertices for digraphs.
Which Haar graphs are Cayley graphs?
For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut }G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$.
Rigged Configurations and Catalan, Stretched Parabolic Kostka Numbers and Polynomials: Polynomiality, Unimodality and Log-concavity
Published
• View Publication
• BIB
We will look at the Catalan numbers from the {\it Rigged Configurations} point of view originated \cite{Kir} from an combinatorial analysis of the Bethe Ansatz Equations associated with the higher spin anisotropic Heisenberg models . Our strategy is to take a combinatorial interpretation of Catalan numbers $C_n$ as the number of standard Young tableaux of rectangular shape $(n^2)$, or equivalently, as the Kostka number $K_{(n^2),1^{2n}}$, as the starting point of research. We observe that the rectangular (or multidimensional) Catalan numbers $ C(m,n)$ introduced and studied by P. MacMahon \cite{Mc}, \cite{Su1}, see also \cite{Su2}, can be identified with the Kostka number $K_{(n^m),1^{mn}}$, and therefore can be treated by Rigged Configurations technique. Based on this technique we study the stretched Kostka numbers and polynomials, and give a proof of `` a strong rationality `` of the stretched Kostka polynomials. This result implies a polynomiality property of the stretched Kostka and stretched Littlewood--Richardson coefficients \cite{KT}, \cite{Ras}, \cite{Ki1}. Another application of the Rigged Configuration technique presented, is a new family of counterexamples to Okounkov's log-concavity conjecture \cite{Ok}. Finally, we apply Rigged Configurations technique to give a combinatorial prove of the unimodality of the principal specialization of the internal product of Schur functions. In fact we prove a combinatorial formula for generalized $q$-Gaussian polynomials which is a far generalization of the so-called $KOH$-identity \cite{O}, as well as it manifests the unimodality property of the $q$-Gaussian polynomials.
Packing and Covering Immersions in 4-Edge-Connected Graphs
Published in J. Combin. Theory Ser. B 151 (2021), 148-222
• View Publication
• BIB
A graph $G$ contains another graph $H$ as an immersion if $H$ can be obtained from a subgraph of $G$ by splitting off edges and removing isolated vertices. In this paper, we prove an edge-variant of the Erdős-Pósa property with respect to the immersion containment in 4-edge-connected graphs. More precisely, we prove that for every graph $H$, there exists a function $f$ such that for every 4-edge-connected graph $G$, either $G$ contains $k$ pairwise edge-disjoint subgraphs each containing $H$ as an immersion, or there exists a set of at most $f(k)$ edges of $G$ intersecting all such subgraphs. This theorem is best possible in the sense that the 4-edge-connectivity cannot be replaced by the 3-edge-connectivity.
The Fuglede Conjecture holds in ${\Bbb Z}_p \times {\Bbb Z}_p$
Published in Analysis & PDE 10 (2017) 757-764
• View Publication
• BIB
In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Arithmetic properties of the finite field Fourier transform, elementary Galois theory and combinatorial geometric properties of direction sets play the key role in the proof.
Groups of order at most 6 000 generated by two elements, one of which is an involution, and related structures
A (2,*)-group is a group that can be generated by two elements, one of which is an involution. We describe the method we have used to produce a census of all (2,*)-groups of order at most 6 000. Various well-known combinatorial structures are closely related to (2,*)-groups and we also obtain censuses of these as a corollary.
Graphs for Juncture
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal composition. Juncture is a generalized vertical composition of 2-cells that need not involve the whole target and the whole source; it may involve them only partly, provided the result is again a 2-cell. Since commuting diagrams of arrows of ordinary categories may be conceived as invertible 2-cells, this study concerns ordinary category theory too. The operation of juncture has a connection with proof theory, where it corresponds to a kind of cut rule on sequents, and it is related also to an operation on which the notion of operad can be based. The main achievement of the work is a detailed description of the specific planarity involved in juncture and graphs of 2-cells, comparable to the usual combinatorial characterizations of planarity in graph theory. This work points out to an alternative foundation for bicategories, i.e. weak 2-categories, and more generally weak n-categories.
Approximation Ratio of LD Algorithm for Multi-Processor Scheduling and the Coffman-Sethi Conjecture
Published
• View Publication
• BIB
Coffman and Sethi proposed a heuristic algorithm, called LD, for multi-processor scheduling, to minimize makespan over flowtime-optimal schedules. LD algorithm is a natural extension of a very well-known list scheduling algorithm, Longest Processing Time (LPT) list scheduling, to our bicriteria scheduling problem. Moreover, in 1976, Coffman and Sethi conjectured that LD algorithm has precisely the following worst-case performance bound: $\frac{5}{4} - \frac{3}{4(4m-1)}$, where m is the number of machines. In this paper, utilizing some recent work by the authors and Huang, from 2013, which exposed some very strong combinatorial properties of various presumed minimal counterexamples to the conjecture, we provide a proof of this conjecture. The problem and the LD algorithm have connections to other fundamental problems (such as the assembly line-balancing problem) and to other algorithms.
The contributions of Stanley to the fabric of symmetric and quasisymmetric functions
Published in The Mathematical Legacy of Richard P. Stanley, P. Hersh, T. Lam, P. Pylyavskyy, and V. Reiner (Eds.), American Mathematical Society, 2016, 83-104
• View Publication
• BIB
We weave together a tale of two rings, SYM and QSYM, following one gold thread spun by Richard Stanley. The lesson we learn from this tale is that "Combinatorial objects like to be counted by quasisymmetric functions."
Coefficient Extraction Formula and Furstenberg's Theorems
In this article, using a Proposition of Furstenberg, we give a coefficient extraction formula for algebraic series that is valid for all fields, of which the Flajolet-Soria coefficient extraction formula for the complex field is a special case.
On the Rigidity of Sparse Random Graphs
Published
• View Publication
• BIB
A graph with a trivial automorphism group is said to be rigid. Wright proved that for $\frac{\log n}{n}+ω(\frac 1n)\leq p\leq \frac 12$ a random graph $G\in G(n,p)$ is rigid whp. It is not hard to see that this lower bound is sharp and for $p<\frac{(1-ε)\log n}{n}$ with positive probability $\text{aut}(G)$ is nontrivial. We show that in the sparser case $ω(\frac 1 n)\leq p\leq \frac{\log n}{n}+ω(\frac 1n)$, it holds whp that $G$'s $2$-core is rigid. We conclude that for all $p$, a graph in $G(n,p)$ is reconstrutible whp. In addition this yields for $ω(\frac 1n)\leq p\leq \frac 12$ a canonical labeling algorithm that almost surely runs in polynomial time with $o(1)$ error rate. This extends the range for which such an algorithm is currently known.
The signed random-to-top operator on tensor space (draft)
Given a free module L over a commutative ring k, we study two k-linear operators on the tensor algebra of T(L): One of them sends a pure tensor u_1 (X) u_2 (X) ... (X) u_k to the sum of all tensors u_i (X) u_1 (X) u_2 (X) ... (X) (skip u_i) (X) ... (X) u_k. The other is similar, but the sum is replaced by an alternating sum. These operators can be regarded as algebraic analogues of the "random-to-top shuffle" from combinatorics. We describe the kernel of the second operator (which we call boldface-t); it is a certain easily described Lie subsuperalgebra of T(L). We also describe the kernel of the first operator (which is denoted boldface-t') when the additive group k is torsionfree (the description is analogous to that of the kernel of t) and also when k is an algebra over a finite field (in this case, the description is slightly complicated by the presence of p-th powers).
A Graded Möbius transform and its harmonic interpretation
We give a graded version of the Möbius inversion formula in the framework of trace monoids. The formula is based on a graded version of the Möbius transform, related to the notion of height deriving from the Cartier-Foata normal form of the elements of a trace monoid.
Using the notion of Bernoulli measures on the boundary of a trace monoid developped recently, we study a probabilistic interpretation of the graded inversion formula. We introduce Möbius harmonic functions for trace monoids and obtain an integral representation formula for them, analogous to the Poisson formula for harmonic functions associated to random walks on trees.