natural ↗ reference
4894 papers tagged with this keyword
Selective Hypergraph Colourings
Published
• View Publication
• BIB
We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of $r$ induced by the colour classes of the vertices in $E$. Let $Q$ be a set of partitions of $r$. A $Q$-colouring of $H$ is a colouring of its vertices such that only patterns appearing in $Q$ are allowed. We first show that many known hypergraph colouring problems, including Ramsey theory, can be stated in the language of $Q$-colourings. Then, using as our main tools the notions of $Q$-colourings and $Σ$-hypergraphs, we define and prove a result on tight colourings, which is a strengthening of the notion of unique colourability. $Σ$-hypergraphs are a natural generalisation of $σ$-hypergraphs introduced by the first two authors in an earlier paper. We also show that there exist $Σ$-hypergraphs with arbitrarily large $Q$-chromatic number and chromatic number but with bounded clique number. Dvorak et al. have characterised those $Q$ which can lead to a hypergraph with a gap in its $Q$-spectrum. We give a short direct proof of the necessity of their condition on $Q$. We also prove a partial converse for the special case of $Σ$-hypergraphs. Finally, we show that, for at least one family $Q$ which is known to yield hypergraphs with gaps, there exist no $Σ$-hypergraphs with gaps in their $Q$-spectrum.
Extremal problems on the Hamiltonicity of claw-free graphs
Published in Discrete Mathematics 341(2018) 2774--2788
• View Publication
• BIB
In 1962, Erdős proved that if a graph $G$ with $n$ vertices satisfies $$ e(G)>\max\left\{\binom{n-k}{2}+k^2,\binom{\lceil(n+1)/2\rceil}{2}+\left\lfloor \frac{n-1}{2}\right\rfloor^2\right\}, $$ where the minimum degree $δ(G)\geq k$ and $1\leq k\leq(n-1)/2$, then it is Hamiltonian. For $n \geq 2k+1$, let $E^k_n=K_{k}\vee (kK_1+K_{n-2k})$, where "$\vee$" is the "join" operation. One can observe $e(E^k_n)=\binom{n-k}{2}+k^2$ and $E^k_n$ is not Hamiltonian. As $E^k_n$ contains induced claws for $k\geq 2$, a natural question is to characterize all 2-connected claw-free non-Hamiltonian graphs with the largest possible number of edges. We answer this question completely by proving a claw-free analog of Erdős' theorem. Moreover, as byproducts, we establish several tight spectral conditions for a 2-connected claw-free graph to be Hamiltonian. Similar results for the traceability of connected claw-free graphs are also obtained. Our tools include Ryjáček's claw-free closure theory and Brousek's characterization of minimal 2-connected claw-free non-Hamiltonian graphs.
Sparse multivariate polynomial interpolation in the basis of Schubert polynomials
Published in Computational Complexity, 2017 Dec, 26(4), pp. 881-909
• View Publication
• BIB
Schubert polynomials were discovered by A. Lascoux and M. Schützenberger in the study of cohomology rings of flag manifolds in 1980's. These polynomials generalize Schur polynomials, and form a linear basis of multivariate polynomials. In 2003, Lenart and Sottile introduced skew Schubert polynomials, which generalize skew Schur polynomials, and expand in the Schubert basis with the generalized Littlewood-Richardson coefficients.
In this paper we initiate the study of these two families of polynomials from the perspective of computational complexity theory. We first observe that skew Schubert polynomials, and therefore Schubert polynomials, are in $\CountP$ (when evaluating on non-negative integral inputs) and $\VNP$.
Our main result is a deterministic algorithm that computes the expansion of a polynomial $f$ of degree $d$ in $\Z[x_1, \dots, x_n]$ in the basis of Schubert polynomials, assuming an oracle computing Schubert polynomials. This algorithm runs in time polynomial in $n$, $d$, and the bit size of the expansion. This generalizes, and derandomizes, the sparse interpolation algorithm of symmetric polynomials in the Schur basis by Barvinok and Fomin (Advances in Applied Mathematics, 18(3):271--285). In fact, our interpolation algorithm is general enough to accommodate any linear basis satisfying certain natural properties.
Applications of the above results include a new algorithm that computes the generalized Littlewood-Richardson coefficients.
Resource convertibility and ordered commutative monoids
Published in Math. Struct. Comp. Sci. 27(6), 850--938 (2017)
• View Publication
• BIB
Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For example, information theory studies the conversion of a noisy communication channel instance into an exchange of information. Inspired by work in quantum information theory, we develop a general mathematical toolbox for this type of question. The convertibility of resources into other ones and the possibility of combining resources is accurately captured by the mathematics of ordered commutative monoids. As an intuitive example, we consider chemistry, where chemical reaction equations such as \[ \mathrm{2H_2 + O_2} \to \mathrm{2H_2O} \] are concerned both with a convertibility relation "$\to$" and a combination operation "$+$". We study ordered commutative monoids from an algebraic and functional-analytic perspective and derive a wealth of results which should have applications to concrete resource theories, such as a formula for rates of conversion. As a running example showing that ordered commutative monoids are also of purely mathematical interest, we exemplify our results with the ordered commutative monoid of graphs.
While closely related to both Girard's linear logic and to Deutsch's constructor theory, our framework also produces results very reminiscent of the utility theorem of von Neumann and Morgenstern in decision theory and of a theorem of Lieb and Yngvason on thermodynamics.
Concerning pure algebra, our observation is that some pieces of algebra can be developed in a context in which equality is not necessarily symmetric, i.e. in which the equality relation is replaced by an ordering relation. For example, notions like cancellativity or torsion-freeness are still sensible and very natural concepts in our ordered setting.
Order-Chain Polytopes
Published
• View Publication
• BIB
Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$, where $\mathcal{P}_1\in X$, $\mathcal{P}_2\in Y$. Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.
Uniqueness of Banach space valued graphons
Published
• View Publication
• BIB
A Banach space valued graphon is a function $W:(Ω, \mathcal{A},π)^2\to\mathcal{Z}$ from a probability space to a Banach space with a separable predual, measurable in a suitable sense, and lying in appropriate $L^p$-spaces. As such we may consider $W(x,y)$ as a two-variable random element of the Banach space. A two-dimensional analogue of moments can be defined with the help of graphs and weak-* evaluations, and a natural question that then arises is whether these generalized moments determine the function $W$ uniquely -- up to measure preserving transformations. The main motivation comes from the theory of multigraph limits, where these graphons arise as the natural limit objects for convergence in a generalized homomorphism sense. Our main result is that this holds true under some Carleman-type condition, but fails in general even with $\mathcal{Z}=\mathbb{R}$, for reasons related to the classical moment-problem. In particular, limits of multigraph sequences are uniquely determined - up to measure preserving transformations - whenever the tails of the edge-distributions stay small enough.
Character formulas and descents for the hyperoctahedral group
Published
• View Publication
• BIB
A general setting to study a certain type of formulas, expressing characters of the symmetric group $\mathfrak{S}_n$ explicitly in terms of descent sets of combinatorial objects, has been developed by two of the authors. This theory is further investigated in this paper and extended to the hyperoctahedral group $B_n$. Key ingredients are a new formula for the irreducible characters of $B_n$, the signed quasisymmetric functions introduced by Poirier, and a new family of matrices of Walsh--Hadamard type. Applications include formulas for natural $B_n$-actions on coinvariant and exterior algebras and on the top homology of a certain poset in terms of the combinatorics of various classes of signed permutations, as well as a $B_n$-analogue of an equidistribution theorem of Désarménien and Wachs.
Quantum jumps of normal polytopes
Published
• View Publication
• BIB
We introduce a partial order on the set of all normal polytopes in R^d. This poset NPol(d) is a natural discrete counterpart of the continuum of convex compact sets in R^d, ordered by inclusion, and exhibits a remarkably rich combinatorial structure. We derive various arithmetic bounds on elementary relations in NPol(d), called "quantum jumps". The existence of extremal objects in NPol(d) is a challenge of number theoretical flavor, leading to interesting classes of normal polytopes: minimal, maximal, spherical. Minimal elements in NPol(5) have played a critical role in disproving various covering conjectures for normal polytopes in the 1990s. Here we report on the first examples of maximal elements in NPol(4) and NPol(5), found by a combination of the developed theory, random generation, and extensive computer search.
q-randomized Robinson-Schensted-Knuth correspondences and random polymers
Published
• View Publication
• BIB
We introduce and study q-randomized Robinson-Schensted-Knuth (RSK) correspondences which interpolate between the classical (q=0) and geometric (q->1) RSK correspondences (the latter ones are sometimes also called tropical).
For 0<q<1 our correspondences are randomized, i.e., the result of an insertion is a certain probability distribution on semistandard Young tableaux. Because of this randomness, we use the language of discrete time Markov dynamics on two-dimensional interlacing particle arrays (these arrays are in a natural bijection with semistandard tableaux). Our dynamics act nicely on a certain class of probability measures on arrays, namely, on q-Whittaker processes (which are t=0 versions of Macdonald processes). We present four Markov dynamics which for q=0 reduce to the classical row or column RSK correspondences applied to a random input matrix with independent geometric or Bernoulli entries.
Our new two-dimensional discrete time dynamics generalize and extend several known constructions: (1) The discrete time q-TASEPs arise as one-dimensional marginals of our "column" dynamics. In a similar way, our "row" dynamics lead to discrete time q-PushTASEPs - new integrable particle systems in the Kardar-Parisi-Zhang universality class. We employ these new one-dimensional discrete time systems to establish a Fredholm determinantal formula for the two-sided continuous time q-PushASEP conjectured by Corwin-Petrov (2013). (2) In a certain Poisson-type limit (from discrete to continuous time), our two-dimensional dynamics reduce to the q-randomized column and row Robinson-Schensted correspondences introduced by O'Connell-Pei (2012) and Borodin-Petrov (2013), respectively. (3) In a scaling limit as q->1, two of our four dynamics on interlacing arrays turn into the geometric RSK correspondences associated with log-Gamma or strict-weak directed random polymers.
Some extremal results on the colorful monochromatic vertex-connectivity of a graph
Published
• View Publication
• BIB
A path in a vertex-colored graph is called a \emph{vertex-monochromatic path} if its internal vertices have the same color. A vertex-coloring of a graph is a \emph{monochromatic vertex-connection coloring} (\emph{MVC-coloring} for short), if there is a vertex-monochromatic path joining any two vertices in the graph. For a connected graph $G$, the \emph{monochromatic vertex-connection number}, denoted by $mvc(G)$, is defined to be the maximum number of colors used in an \emph{MVC-coloring} of $G$. These concepts of vertex-version are natural generalizations of the colorful monochromatic connectivity of edge-version, introduced by Caro and Yuster. In this paper, we mainly investigate the Erdős-Gallai-type problems for the monochromatic vertex-connection number $mvc(G)$ and completely determine the exact value. Moreover, the Nordhaus-Gaddum-type inequality for $mvc(G)$ is also given.
Free algebraic structures on the permutohedra
Published
• View Publication
• BIB
Tridendriform algebras are a type of associative algebras, introduced independently by F. Chapoton and by J.-L. Loday and the third author, in order to describe operads related to the Stasheff polytopes. The vector space $\st$ spanned by the faces of permutohedra has a natural structure of tridendriform bialgebra, we prove that it is free as a tridendriform algebra and exhibit a basis. Our result implies that the subspace of primitive elements of the coalgebra $\st$ , equipped with the coboundary map of permutohedra, is a free cacti algebra.
Heat diffusion with frozen boundary
Published
• View Publication
• BIB
Consider "Frozen Random Walk" on $\mathbb{Z}$: $n$ particles start at the origin. At any discrete time, the leftmost and rightmost $\lfloor{\frac{n}{4}}\rfloor$ particles are "frozen" and do not move. The rest of the particles in the "bulk" independently jump to the left and right uniformly. The goal of this note is to understand the limit of this process under scaling of mass and time. To this end we study the following deterministic mass splitting process: start with mass $1$ at the origin. At each step the extreme quarter mass on each side is "frozen". The remaining "free" mass in the center evolves according to the discrete heat equation. We establish diffusive behavior of this mass evolution and identify the scaling limit under the assumption of its existence. It is natural to expect the limit to be a truncated Gaussian. A naive guess for the truncation point might be the $1/4$ quantile points on either side of the origin. We show that this is not the case and it is in fact determined by the evolution of the second moment of the mass distribution.
Multi-Base Representations of Integers: Asymptotic Enumeration and Central Limit Theorems
Published in Applicable Analysis and Discrete Mathematics 2015 Volume 9, Issue 2, Pages: 285-312
• View Publication
• BIB
In a multi-base representation of an integer (in contrast to, for example, the binary or decimal representation) the base (or radix) is replaced by products of powers of single bases. The resulting numeral system has desirable properties for fast arithmetic. It is usually redundant, which means that each integer can have multiple different digit expansions, so the natural question for the number of representations arises. In this paper, we provide a general asymptotic formula for the number of such multi-base representations of a positive integer $n$. Moreover, we prove central limit theorems for the sum of digits, the Hamming weight (number of non-zero digits, which is a measure of efficiency) and the occurrences of a fixed digits in a random representation.
On 1-sum flows in undirected graphs
Published
• View Publication
• BIB
Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we study the existence of gamma-L-flows for various choices of sets L of real numbers, with an emphasis on 1-sum flows.
Given a natural k number, a c-sum k-flow is a c-sum flow with values from the set {-1,1,...,1-k, k-1}. Let L be a subset of real numbers containing 0 and let L* be L minus 0 by L*. Answering a question from a recent paper we characterize which bipartite graphs admit a 1-sum R*-flow or a 1-sum Z*-flow. We also show that that every k-regular graph, with k either odd or congruent to 2 modulo 4, admits a 1-sum {-1, 0, 1}-flow.
Sum-of-squares lower bounds for planted clique
Published
• View Publication
• BIB
Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size k is planted in a random G(n, 1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for k ~ sqrt(n).
In this paper we study the complexity of the planted clique problem under algorithms from the Sum-of-squares hierarchy. We prove the first average case lower bound for this model: for almost all graphs in G(n,1/2), r rounds of the SOS hierarchy cannot find a planted k-clique unless k > n^{1/2r} (up to logarithmic factors). Thus, for any constant number of rounds planted cliques of size n^{o(1)} cannot be found by this powerful class of algorithms. This is shown via an integrability gap for the natural formulation of maximum clique problem on random graphs for SOS and Lasserre hierarchies, which in turn follow from degree lower bounds for the Positivestellensatz proof system.
We follow the usual recipe for such proofs. First, we introduce a natural "dual certificate" (also known as a "vector-solution" or "pseudo-expectation") for the given system of polynomial equations representing the problem for every fixed input graph. Then we show that the matrix associated with this dual certificate is PSD (positive semi-definite) with high probability over the choice of the input graph.This requires the use of certain tools. One is the theory of association schemes, and in particular the eigenspaces and eigenvalues of the Johnson scheme. Another is a combinatorial method we develop to compute (via traces) norm bounds for certain random matrices whose entries are highly dependent; we hope this method will be useful elsewhere.
Using novelty-biased GA to sample diversity in graphs satisfying constraints
Published
• View Publication
• BIB
The structure of the network underlying many complex systems, whether artificial or natural, plays a significant role in how these systems operate. As a result, much emphasis has been placed on accurately describing networks using network theoretic metrics. When it comes to generating networks with similar properties, however, the set of available techniques and properties that can be controlled for remains limited. Further, whilst it is becoming clear that some of the metrics currently used to control the generation of such networks are not very prescriptive so that networks could potentially exhibit very different higher-order structure within those constraints, network generating algorithms typically produce fairly contrived networks and lack mechanisms by which to systematically explore the space of network solutions. In this paper, we explore the potential of a multi-objective novelty-biased GA to provide a viable alternative to these algorithms. We believe our results provide the first proof of principle that (i) it is possible to use GAs to generate graphs satisfying set levels of key classical graph theoretic properties and (ii) it is possible to generate diverse solutions within these constraints. The paper is only a preliminary step, however, and we identify key avenues for further development.
Enumeration formulæ in neutral sets
Published
• View Publication
• BIB
We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They generalize formulae previously known for Sturmian sets or more generally for tree sets. We also give a geometric example of this class of sets, namely the natural coding of some interval exchange transformations.
Minimal complexity of equidistributed infinite permutations
Published
• View Publication
• BIB
An infinite permutation is a linear ordering of the set of natural numbers. An infinite permutation can be defined by a sequence of real numbers where only the order of elements is taken into account. In the paper we investigate a new class of {\it equidistributed} infinite permutations, that is, infinite permutations which can be defined by equidistributed sequences. Similarly to infinite words, a complexity $p(n)$ of an infinite permutation is defined as a function counting the number of its subpermutations of length $n$. For infinite words, a classical result of Morse and Hedlund, 1938, states that if the complexity of an infinite word satisfies $p(n) \leq n$ for some $n$, then the word is ultimately periodic. Hence minimal complexity of aperiodic words is equal to $n+1$, and words with such complexity are called Sturmian. For infinite permutations this does not hold: There exist aperiodic permutations with complexity functions growing arbitrarily slowly, and hence there are no permutations of minimal complexity. We show that, unlike for permutations in general, the minimal complexity of an equidistributed permutation $α$ is $p_α(n)=n$. The class of equidistributed permutations of minimal complexity coincides with the class of so-called Sturmian permutations, directly related to Sturmian words.
The $\textbf{nbc}$ minimal complex of supersolvable arrangements
In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra associated to $\mathcal{A}$ and the set of chambers of $\mathcal{A}$. We use these bijections to get results on the first (co)homology group of the Milnor fiber of $\mathcal{A}$ and to describe a bijection between the symmetric group and the $\textbf{nbc}$ basis of the braid arrangement.
Counting hypergraph matchings up to uniqueness threshold
Published
• View Publication
• BIB
We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity parameter $λ$, each matching $M$ is assigned a weight $λ^{|M|}$. The counting problem is formulated as computing a partition function that gives the sum of the weights of all matchings in a hypergraph. This problem unifies two extensively studied statistical physics models in approximate counting: the hardcore model (graph independent sets) and the monomer-dimer model (graph matchings).
For this model, the critical activity $λ_c= \frac{d^d}{k (d-1)^{d+1}}$ is the threshold for the uniqueness of Gibbs measures on the infinite $(d+1)$-uniform $(k+1)$-regular hypertree. Consider hypergraphs of maximum degree at most $k+1$ and maximum size of hyperedges at most $d+1$. We show that when $λ< λ_c$, there is an FPTAS for computing the partition function; and when $λ= λ_c$, there is a PTAS for computing the log-partition function. These algorithms are based on the decay of correlation (strong spatial mixing) property of Gibbs distributions. When $λ> 2λ_c$, there is no PRAS for the partition function or the log-partition function unless NP$=$RP.
Towards obtaining a sharp transition of computational complexity of approximate counting, we study the local convergence from a sequence of finite hypergraphs to the infinite lattice with specified symmetry. We show a surprising connection between the local convergence and the reversibility of a natural random walk. This leads us to a barrier for the hardness result: The non-uniqueness of infinite Gibbs measure is not realizable by any finite gadgets.