Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs
A digraph $D=(V,A)$ has a good decomposition if $A$ has two disjoint sets $A_1$ and $A_2$ such that both $(V,A_1)$ and $(V,A_2)$ are strong. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$
For digraph compositions $Q=T[H_1,\dots H_t]$, we obtain sufficient conditions for $Q$ to have a good decomposition and a characterization of $Q$ with a good decomposition when $T$ is a strong semicomplete digraph and each $H_i$ is an arbitrary digraph with at least two vertices.
For digraph products, we prove the following: (a) if $k\geq 2$ is an integer and $G$ is a strong digraph which has a collection of arc-disjoint cycles covering all vertices, then the Cartesian product digraph $G^{\square k}$ (the $k$th powers with respect to Cartesian product) has a good decomposition; (b) for any strong digraphs $G, H$, the strong product $G\boxtimes H$ has a good decomposition.
Simple Graph Density Inequalities with no Sum of Squares Proofs
Establishing inequalities among graph densities is a central pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression is to write it as a sum of squares. In this paper, we identify a simple condition under which a graph density expression cannot be a sum of squares. Using this result, we prove that the Blakley-Roy inequality does not have a sum of squares certificate when the path length is odd. We also show that the same Blakley-Roy inequalities cannot be certified by sums of squares using a multiplier of the form one plus a sum of squares. These results answer two questions raised by Lovász. Our main tool is used again to show that the smallest open case of Sidorenko's conjectured inequality cannot be certified by a sum of squares. Finally, we show that our setup is equivalent to existing frameworks by Razborov and Lovász-Szegedy, and thus our results hold in these settings too.
Finding non-minority balls with majority and plurality queries
Given a set of $n$ colored balls, a \textit{majority, non-minority or plurality ball} is one whose color class has size more than $n/2$, at least $n/2$ or larger than any other color class, respectively. We describe linear time algorithms for finding non-minority balls using query sets of size $q$ of the following form: the answer to a majority/plurality query $Q$ is a majority/plurality ball in $Q$ or the statement that there is no such ball in $Q$.
Relationship Between Mullineux Involution and the Generalized Regularization
Published in European Journal of Combinatorics, Volume 85, March 2020, 103059
• View Publication
• BIB
The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization and prove a condition under which the two maps are exactly the same. Our results generalize the work of Bessenrodt, Olsson and Xu, and the combinatorial constructions is related to the Iwahori-Hecke algebra and the global crystal basis of the basic $U_q(\widehat{\mathfrak{sl}}_b)$-module. In the conclusion, we provide several conjectures regarding the $q$-decomposition numbers and generalizations of results due to Fayers.
Rigged configurations and the $\ast$-involution for generalized Kac--Moody algebras
Published in J. Algebra, 573 (2021) pp. 148-168
• View Publication
• BIB
We construct a uniform model for highest weight crystals and $B(\infty)$ for generalized Kac--Moody algebras using rigged configurations. We also show an explicit description of the $\ast$-involution on rigged configurations for $B(\infty)$: that the $\ast$-involution interchanges the rigging and the corigging. We do this by giving a recognition theorem for $B(\infty)$ using the $\ast$-involution. As a consequence, we also characterize $B(λ)$ as a subcrystal of $B(\infty)$ using the $\ast$-involution.
The typical structure of Gallai colorings and their extremal graphs
An edge coloring of a graph $G$ is a Gallai coloring if it contains no rainbow triangle. We show that the number of Gallai $r$-colorings of $K_n$ is $\left(\binom{r}{2}+o(1)\right)2^{\binom{n}{2}}$. This result indicates that almost all Gallai $r$-colorings of $K_n$ use only 2 colors. We also study the extremal behavior of Gallai $r$-colorings among all $n$-vertex graphs. We prove that the complete graph $K_n$ admits the largest number of Gallai $3$-colorings among all $n$-vertex graphs when $n$ is sufficiently large, while for $r\geq 4$, it is the complete bipartite graph $K_{\lfloor n/2 \rfloor, \lceil n/2 \rceil}$. Our main approach is based on the hypergraph container method, developed independently by Balogh, Morris, and Samotij as well as by Saxton and Thomason, together with some stability results for containers.
Growth series of CAT(0) cubical complexes
Published in Topology Proc.54(2019), 295-303
• Search Publication
Let $X$ be a CAT(0) cubical complex. The growth series of $X$ at $x$ is $G_{x}(t)=\sum_{y \in Vert(X)} t^{d(x,y)}$, where $d(x,y)$ denotes $\ell_{1}$-distance between $x$ and $y$. If $X$ is cocompact, then $G_{x}$ is a rational function of $t$. In the case when $X$ is the Davis complex of a right-angled Coxeter group it is a well-known that $G_{x}(t)=1/f_{L}(-t/(1+t))$, where $f_{L}$ denotes the $f$-polynomial of the link $L$ of a vertex of $X$. We obtain a similar formula for general cocompact $X$. We also obtain a simple relation between the growth series of individual orbits and the $f$-polynomials of various links. In particular, we get a simple proof of reciprocity of these series ($G_{x}(t)=\pm G_{x}(t^{-1})$) for an Eulerian manifold $X$.
Hajós-Type Constructions and Neighborhood Complexes
Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Hajós-type constructions frequently result in the presence of an $S^1$-wedge summand in the neighborhood complex of the resulting graph. Our results imply that for a graph $G$ with a highly-connected neighborhood complex, the end behavior of the construction sequence is quite restricted, and we investigate these restrictions in detail. We also introduce two graph construction algorithms based on different Hajós-type constructions and conduct computational experiments using these.
On the entropy of coverable subshifts
A coloration w of Z^2 is said to be coverable if there exists a rectangular block q such that w is covered with occurrences of q, possibly overlapping. In this case, q is a cover of w. A subshift is said to have the cover q if each of its points has the cover q. In a previous article, we characterized the covers that force subshifts to be finite (in particular, all configurations are periodic). We also noticed that some covers force subshifts to have zero topological entropy while not forcing them to be finite. In the current paper we work towards characterizing precisely covers which force a subshift to have zero entropy, but not necessarily periodicity. We give a necessary condition and a sufficient condition which are close, but not quite identical.
Asymptotic normality in random graphs with given vertex degrees
We consider random graphs with a given degree sequence and show, under weak technical conditions, asymptotic normality of the number of components isomorphic to a given tree, first for the random multigraph given by the configuration model and then, by a conditioning argument, for the simple uniform random graph with the given degree sequence. Such conditioning is standard for convergence in probability, but much less straightforward for convergence in distribution as here. The proof uses the method of moments, and is based on a new estimate of mixed cumulants in a case of weakly dependent variables. The result on small components is applied to give a new proof of a recent result by Barbour and Röllin on asymptotic normality of the size of the giant component in the random multigraph; moreover, we extend this to the random simple graph.
On Cherry-picking and Network Containment
Phylogenetic networks are used to represent evolutionary scenarios in biology and linguistics. To find the most probable scenario, it may be necessary to compare candidate networks, to distinguish different networks, and to see when one network is contained in another. In this paper, we introduce cherry-picking networks, a class of networks that can be reduced by a sequence of two graph operations. We show that some networks are uniquely determined by the sequences that reduce them---we call these the reconstructible cherry-picking networks, and further show that given two cherry-picking networks within the same reconstructible class, one is contained in the other if a sequence for the latter network reduces the former network. By restricting our scope to tree-child networks, we show that the converse of the above statement holds, thereby showing that {\sc Network Containment}, the problem of checking whether a network is contained in another, can be solved in linear time for tree-child networks. We implement this algorithm in Python and show that the linear-time theoretical bound on the input size is achievable in practice. Lastly, we provide a linear time algorithm for deciding whether two tree-child networks are isomorphic.
Exposed circuits, linear quotients, and chordal clutters
Published in J. Combin. Theory Ser. A, 177 (2021)
• View Publication
• BIB
A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call `edge-erasures'. We show that these moves are in fact equivalent to a linear quotient ordering on $I_{\overline{G}}$, the edge ideal of the complement graph. Known results imply that $I_{\overline G}$ has linear quotients if and only if $G$ is chordal, and hence this recovers an algebraic proof of their characterization. We investigate higher-dimensional analogues of this result, and show that in fact linear quotients for more general circuit ideals of $d$-clutters can be characterized in terms of removing exposed circuits in the complement clutter. Restricting to properly exposed circuits can be characterized by a homological condition. This leads to a notion of higher dimensional chordal clutters which borrows from commutative algebra and simple homotopy theory. The interpretation of linear quotients in terms of shellability of simplicial complexes also has applications to a conjecture of Simon regarding the extendable shellability of $k$-skeleta of simplices. Other connections to combinatorial commutative algebra, chordal complexes, and hierarchical clustering algorithms are explored.
Derandomizing compressed sensing with combinatorial design
Compressed sensing is the art of reconstructing structured $n$-dimensional vectors from substantially fewer measurements than naively anticipated. A plethora of analytic reconstruction guarantees support this credo. The strongest among them are based on deep results from large-dimensional probability theory that require a considerable amount of randomness in the measurement design. Here, we demonstrate that derandomization techniques allow for considerably reducing the amount of randomness that is required for such proof strategies. More, precisely we establish uniform s-sparse reconstruction guarantees for $C s \log (n)$ measurements that are chosen independently from strength-four orthogonal arrays and maximal sets of mutually unbiased bases, respectively. These are highly structured families of $\tilde{C} n^2$ vectors that imitate signed Bernoulli and standard Gaussian vectors in a (partially) derandomized fashion.
Fair Multi-Cake Cutting
In the classic problem of fair cake-cutting, a single interval ("cake") has to be divided among n agents with different value measures, giving each agent a single sub-interval with a value of at least 1/n of the total. This paper studies a generalization in which the cake is made of m disjoint intervals, and each agent should get at most k sub-intervals. The paper presents a polynomial-time algorithm that guarantees to each agent at least min(1/n, k/(m+n-1)) of the total value, and shows that this is the largest fraction that can be guaranteed. The algorithm simultaneously guarantees to each agent at least 1/n of the value that the agent can get without partners to share with. The main technical tool is envy-free matching in a bipartite graph. Some of the results remain valid even with additional fairness constraints such as envy-freeness. Besides the natural application of the algorithm to simultaneous division of multiple land-estates, the paper shows an application to a geometric problem -- fair division of a two-dimensional land estate shaped as a rectilinear polygon, where each agent should receive a rectangular piece.
Combinatorics of Ramanujan--Slater type identities
Published in Integers 9 (S) (2009), article 10
• Search Publication
We provide the missing member of a family of four $q$-series identities related to the modulus 36, the other members having been found by Ramanujan and Slater. We examine combinatorial implications of the identities in this family, and of some of the identities we considered in "Identities of the Ramanujan-Slater type related to the moduli 18 and 24," [\emph{J. Math. Anal. Appl.} \textbf{344}/2 (2008) 765--777].
The maximum, spectrum and supremum for critical set sizes in (0,1)-matrices
If $D$ is a partially filled-in $(0,1)$-matrix with a unique completion to a $(0,1)$-matrix $M$ (with prescribed row and column sums), we say that $D$ is a {\em defining set} for $M$. A {\em critical set} is a minimal defining set (the deletion of any entry results in more than one completion). We give a new classification of critical sets in $(0,1)$-matrices and apply this theory to $Λ_{2m}^m$, the set of $(0,1)$-matrices of dimensions $2m\times 2m$ with uniform row and column sum $m$.
The smallest possible size for a defining set of a matrix in $Λ_{2m}^m$ is $m^2$
\cite{Cav}, and the infimum (the largest smallest defining set size for members of $Λ_{2m}^m$) is known asymptotically \cite{CR}.
We show that no critical set of size larger than $3m^2-2m$ exists in an element of $Λ_{2m}^m$ and that there exists a critical set of size $k$ in an element of $Λ_{2m}^m$ for each $k$ such that $m^2\leq k\leq 3m^2-4m+2$. We also bound the supremum (the smallest largest critical set size for members of $Λ_{2m}^m$) between $\lceil (3m^2-2m+1)/2\rceil$ and $2m^2-m$.
Distributions of Statistics over Pattern-Avoiding Permutations
Published in Journal of Integer Sequences 22 (2019) 19.2.6
• Search Publication
We consider the distribution of ascents, descents, peaks, valleys, double ascents, and double descents over permutations avoiding a set of patterns. Many of these statistics have already been studied over sets of permutations avoiding a single pattern of length 3. However, the distribution of peaks over 321-avoiding permutations is new and we relate it statistics on Dyck paths. We also obtain new interpretations of a number of well-known combinatorial sequences by studying these statistics over permutations avoiding two patterns of length 3.
Untying The Gordian Knot via Experimental Mathematics
In this methodological article on experimental-yet-rigorous enumerative combinatorics, we use two instructive case studies, to show that often, just like Alexander the Great before us, the simple, "cheating" solution to a hard problem is the best. So before you spend days (and possibly years) trying to answer a mathematical question by analyzing and trying to 'understand' its structure, let your computer generate enough data, and then let it guess the answer. Often its guess can be proved by a quick 'hand-waving' (yet fully rigorous) 'meta-argument'. Since our purpose is to illustrate a methodology, we include many details, as well as Maple source-code.
The eigenvalues of Hessian matrices of the complete and complete bipartite graphs
In this paper, we consider the Hessian matrices $H_Γ$ of the complete and complete bipartite graphs, and the special value of $\tilde H_Γ$ at $x_{i}=1$ for all $x_{i}$. We compute the eigenvalues of $\tilde H_Γ$. We show that one of them is positive and that the others are negative. In other words, the metric with respect to the symmetric matrix $\tilde H_Γ$ is Lorentzian. Hence those Hessian $\det (H_Γ)$ are not identically zero. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the graphic matroids of the complete and complete bipartite graphs with at most five vertices.
Some algebraic structures in KPZ universality
We review some algebraic and combinatorial structures that underlie models in the KPZ universality class.Emphasis is placed on the Robinson-Schensted-Knuth correspondence and its geometric lifting due to A.N.Kirillov. We present how these combinatorial constructions are used to analyse the structure of solvable models in the KPZ class and lead to computation of their statistics via connecting to representation theoretic objects such as Schur, Macdonald and Whittaker functions, Young tableaux and Gelfand-Tsetlin patterns. We also present how fundamental representation theoretic concepts, such as the Cauchy identity, the Pieri rule and the branching rule, can be used, alongside RSK correspondences, and can be combined with probabilistic ideas, in order to construct integrable stochastic dynamics on two dimensional arrays of Gelfand-Tsetlin type, in ways that couple different one dimensional stochastic processes. For example, interacting particle systems, on the one hand, and processes related to eigenvalues of random matrices, on the other, thus illuminating the emergence of random matrix distributions in interacting stochastic processes. The goal of the notes is to expose some of the overarching principles, which have driven a significant number of developments in the field.