Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Order-forcing in Neural Codes
Published
• View Publication
• BIB
Convex neural codes are subsets of the Boolean lattice that record the intersection patterns of convex sets in Euclidean space. Much work in recent years has focused on finding combinatorial criteria on codes that can be used to classify whether or not a code is convex. In this paper we introduce order-forcing, a combinatorial tool which recognizes when certain regions in a realization of a code must appear along a line segment between other regions. We use order-forcing to construct novel examples of non-convex codes, and to expand existing families of examples. We also construct a family of codes which shows that a dimension bound of Cruz, Giusti, Itskov, and Kronholm (referred to as monotonicity of open convexity) is tight in all dimensions.
An Efficient Scheme for the Generation of Ordered Trees in Constant Amortized Time
Published
• View Publication
• BIB
Trees are useful entities allowing to model data structures and hierarchical relationships in networked decision systems ubiquitously. An ordered tree is a rooted tree where the order of the subtrees (children) of a node is significant. In combinatorial optimization, generating ordered trees is relevant to evaluate candidate combinatorial objects. In this paper, we present an algebraic scheme to generate ordered trees with $n$ vertices with utmost efficiency; whereby our approach uses $\mathcal{O}(n)$ space and $\mathcal{O}(1)$ time in average per tree. Our computational studies have shown the feasibility and efficiency to generate ordered trees in constant time in average, in about one tenth of a millisecond per ordered tree. Due to the 1-1 bijective nature to other combinatorial classes, our approach is favorable to study the generation of binary trees with $n$ external nodes, trees with $n$ nodes, legal sequences of $n$ pairs of parentheses, triangulated $n$-gons, gambler's sequences and lattice paths. We believe our scheme may find its use in devising algorithms for planning and combinatorial optimization involving Catalan numbers.
Positivity and divisibility of alternating descent polynomials
Published
• View Publication
• BIB
The alternating descent statistic on permutations was introduced by Chebikin as a variant of the descent statistic. We show that the alternating descent polynomials on permutations are unimodal via a five-term recurrence relation. We also found a quadratic recursion for the alternating major index $q$-analog of the alternating descent polynomials. As an interesting application of this quadratic recursion, we show that $(1+q)^{\lfloor n/2\rfloor}$ divides $\sum_{π\in\mathfrak{S}_n}q^{\rm{altmaj}(π)}$, where $\mathfrak{S}_n$ is the set of all permutations of $\{1,2,\ldots,n\}$ and $\rm{altmaj}(π)$ is the alternating major index of $π$. This leads us to discover a $q$-analog of $n!=2^{\ell}m$, $m$ odd, using the statistic of alternating major index. Moreover, we study the $γ$-vectors of the alternating descent polynomials by using these two recursions and the ${\textbf{cd}}$-index. Further intriguing conjectures are formulated, which indicate that the alternating descent statistic deserves more work.
Exact Phase Transitions of Model RB with Slower-Growing Domains
The second moment method has always been an effective tool to lower bound the satisfiability threshold of many random constraint satisfaction problems. However, the calculation is usually hard to carry out and as a result, only some loose results can be obtained. In this paper, based on a delicate analysis which fully exploit the power of the second moment method, we prove that random RB instances can exhibit exact phase transition under more relaxed conditions, especially slower-growing domain size. These results are the best by using the second moment method, and new tools should be introduced for any better results.
On correlation of hyperbolic volumes of fullerenes with their properties
Published
• View Publication
• BIB
We observe that fullerene graphs are one-skeletons of polyhedra, which can be realized with all dihedral angles equal to $π/2$ in a hyperbolic 3-dimensional space. One of the most important invariants of such a polyhedron is its volume. We are referring this volume as a hyperbolic volume of a fullerene. It is known that some topological indices of graphs of chemical compounds serve as strong descriptors and correlate with chemical properties. We demonstrate that hyperbolic volume of fullerenes correlates with few important topological indices and so, hyperbolic volume can serve as a chemical descriptor too. The correlation between hyperbolic volume of fullerene and its Wiener index suggested few conjectures on volumes of hyperbolic polyhedra. These conjectures are confirmed for the initial list of fullerenes.
A generalization of the cylinder conjecture for divisible codes
Published
• View Publication
• BIB
We extend the original cylinder conjecture on point sets in affine three-dimensional space to the more general framework of divisible linear codes over $\mathbb{F}_q$ and their classification. Through a mix of linear programming, combinatorial techniques and computer enumeration, we investigate the structural properties of these codes. In this way, we can prove a reduction theorem for a generalization of the cylinder conjecture, show some instances where it does not hold and prove its validity for small values of $q$. In particular, we correct a flawed proof for the original cylinder conjecture for $q = 5$ and present the first proof for $q = 7$.
Subset Representations and Eigenvalues of the Universal Intertwining Matrix
Published in Jounal of Pure and Apllied Algebra 226 (2022) 107024
• View Publication
• BIB
We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation. This is then applied to justify the evaluation of the Eisenbud-Levine-Khimshiashvili (ELK) signature formula for the gradient index at a degenerate star in arXiv:2001.10882
Common Complements of Linear Subspaces and the Sparseness of MRD Codes
Published
• View Publication
• BIB
Motivated by applications to the theory of rank-metric codes, we study the problem of estimating the number of common complements of a family of subspaces over a finite field in terms of the cardinality of the family and its intersection structure. We derive upper and lower bounds for this number, along with their asymptotic versions as the field size tends to infinity. We then use these bounds to describe the general behaviour of common complements with respect to sparseness and density, showing that the decisive property is whether or not the number of spaces to be complemented is negligible with respect to the field size. By specializing our results to matrix spaces, we obtain upper and lower bounds for the number of MRD codes in the rank metric. In particular, we answer an open question in coding theory, proving that MRD codes are sparse for all parameter sets as the field size grows, with only very few exceptions. We also investigate the density of MRD codes as their number of columns tends to infinity, obtaining a new asymptotic bound. Using properties of the Euler function from number theory, we then show that our bound improves on known results for most parameter sets. We conclude the paper by establishing general structural properties of the density function of rank-metric codes.
Singularity of random symmetric matrices revisited
Published
• View Publication
• BIB
Let $M_n$ be drawn uniformly from all $\pm 1$ symmetric $n \times n$ matrices. We show that the probability that $M_n$ is singular is at most $\exp(-c(n\log n)^{1/2})$, which represents a natural barrier in recent approaches to this problem. In addition to improving on the best-known previous bound of Campos, Mattos, Morris and Morrison of $\exp(-c n^{1/2})$ on the singularity probability, our method is different and considerably simpler.
Motif Estimation via Subgraph Sampling: The Fourth Moment Phenomenon
Published in Ann. Statist. 50(2): 987-1011 (April 2022)
• View Publication
• BIB
Network sampling is an indispensable tool for understanding features of large complex networks where it is practically impossible to search over the entire graph. In this paper, we develop a framework for statistical inference for counting network motifs, such as edges, triangles, and wedges, in the widely used subgraph sampling model, where each vertex is sampled independently, and the subgraph induced by the sampled vertices is observed. We derive necessary and sufficient conditions for the consistency and the asymptotic normality of the natural Horvitz-Thompson (HT) estimator, which can be used for constructing confidence intervals and hypothesis testing for the motif counts based on the sampled graph. In particular, we show that the asymptotic normality of the HT estimator exhibits an interesting fourth-moment phenomenon, which asserts that the HT estimator (appropriately centered and rescaled) converges in distribution to the standard normal whenever its fourth-moment converges to 3 (the fourth-moment of the standard normal distribution). As a consequence, we derive the exact thresholds for consistency and asymptotic normality of the HT estimator in various natural graph ensembles, such as sparse graphs with bounded degree, Erdos-Renyi random graphs, random regular graphs, and dense graphons.
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. IV
We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are covered by two subsets of the ground set {1,...,t} of the corresponding oriented matroid.
Fractional forcing number of graphs
Published
• View Publication
• BIB
The notion of forcing sets for perfect matchings was introduced by Harary, Klein, and Živković. The application of this problem in chemistry, as well as its interesting theoretical aspects, made this subject very active. In this work, we introduce the notion of forcing function of fractional perfect matchings, which is continuous analogous to forcing sets defined over the perfect matching polytope of graphs. We show that this object is a continuous and concave function extension of the integral forcing set. Then, we use our results in the continuous world to conclude new bounds and results in the discrete case of forcing sets, for the family of regular edge-transitive graphs. In particular, we derive new upper bounds for the maximum forcing number of hypercube graphs.
Between proper and strong edge-colorings of subcubic graphs
Published
• View Publication
• BIB
In a proper edge-coloring the edges of every color form a matching. A matching is induced if the end-vertices of its edges induce a matching. A strong edge-coloring is an edge-coloring in which the edges of every color form an induced matching. We consider intermediate types of edge-colorings, where edges of some colors are allowed to form matchings, and the remaining form induced matchings. Our research is motivated by the conjecture proposed in a recent paper of Gastineau and Togni on S-packing edge-colorings (On S-packing edge-colorings of cubic graphs, Discrete Appl. Math. 259 (2019), 63-75) asserting that by allowing three additional induced matchings, one is able to save one matching color. We prove that every graph with maximum degree 3 can be decomposed into one matching and at most 8 induced matchings, and two matchings and at most 5 induced matchings. We also show that if a graph is in class I, the number of induced matchings can be decreased by one, hence confirming the above-mentioned conjecture for class I graphs.
Hilbert series of typical representations for Lie superalgebras
Published
• View Publication
• BIB
Let g be a basic classical Lie superalgebra over C. In the case of a typical weight whose every nonnegative integer multiple is also typical, we compute a closed form for the Hilbert series whose coefficients encode the dimensions of finite-dimensional irreducible typical g-representations. We give a formula for this Hilbert series in terms of elementary symmetric polynomials and Eulerian polynomials. Additionally, we show a simple closed form in terms of differential operators.
Belief Propagation on the random $k$-SAT model
Published
• View Publication
• BIB
Corroborating a prediction from statistical physics, we prove that the Belief Propagation message passing algorithm approximates the partition function of the random $k$-SAT model well for all clause/variable densities and all inverse temperatures for which a modest absence of long-range correlations condition is satisfied. This condition is known as "replica symmetry" in physics language. From this result we deduce that a replica symmetry breaking phase transition occurs in the random $k$-SAT model at low temperature for clause/variable densities below but close to the satisfiability threshold.
Flip graphs for infinite type surfaces
Published
• View Publication
• BIB
We associate to triangulations of infinite type surface a type of flip graph where simultaneous flips are allowed. Our main focus is on understanding exactly when two triangulations can be related by a sequence of flips. A consequence of our results is that flip graphs for infinite type surfaces have uncountably many connected components.
Approximating the discrete time-cost tradeoff problem with bounded depth
Published
• View Publication
• BIB
We revisit the deadline version of the discrete time-cost tradeoff problem for the special case of bounded depth. Such instances occur for example in VLSI design. The depth of an instance is the number of jobs in a longest chain and is denoted by $d$. We prove new upper and lower bounds on the approximability. First we observe that the problem can be regarded as a special case of finding a minimum-weight vertex cover in a $d$-partite hypergraph. Next, we study the natural LP relaxation, which can be solved in polynomial time for fixed $d$ and -- for time-cost tradeoff instances -- up to an arbitrarily small error in general. Improving on prior work of Lovász and of Aharoni, Holzman and Krivelevich, we describe a deterministic algorithm with approximation ratio slightly less than $\frac{d}{2}$ for minimum-weight vertex cover in $d$-partite hypergraphs for fixed $d$ and given $d$-partition. This is tight and yields also a $\frac{d}{2}$-approximation algorithm for general time-cost tradeoff instances. We also study the inapproximability and show that no better approximation ratio than $\frac{d+2}{4}$ is possible, assuming the Unique Games Conjecture and $\text{P}\neq\text{NP}$. This strengthens a result of Svensson, who showed that under the same assumptions no constant-factor approximation algorithm exists for general time-cost tradeoff instances (of unbounded depth). Previously, only APX-hardness was known for bounded depth.
Conditional probabilities via line arrangements and point configurations
Published in Linear and Multilinear Algebra, 2021
• View Publication
• BIB
We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal whose algebraic invariants are encoded in a hypergraph. The primary decompositions of these ideals give a characterisation of the distributions satisfying the original CI statements. Classically, these ideals are generated by 2-minors of a matrix of variables, however, in the presence of hidden variables, they contain higher degree minors. This leads to the study of the structure of determinantal hypergraph ideals whose decompositions can be understood in terms of point and line configurations in the projective space.
A compact presentation for the alternating central extension of the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$
Published
• View Publication
• BIB
This paper concerns the positive part $U^+_q$ of the quantum group $U_q({\widehat{\mathfrak{sl}}}_2)$. The algebra $U^+_q$ has a presentation involving two generators that satisfy the cubic $q$-Serre relations. We recently introduced an algebra $\mathcal U^+_q$ called the alternating central extension of $U^+_q$. We presented $\mathcal U^+_q$ by generators and relations. The presentation is attractive, but the multitude of generators and relations makes the presentation unwieldy. In this paper we obtain a presentation of $\mathcal U^+_q$ that involves a small subset of the original set of generators and a very manageable set of relations. We call this presentation the compact presentation of $\mathcal U^+_q$.
Towards characterizing locally common graphs
Published
• View Publication
• BIB
A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Csóka, Hubai and Lovász [arXiv:1912.02926], where the graph is required to be the minimizer with respect to perturbations of the random 2-edge-coloring. We give a complete analysis of the 12 initial terms in the Taylor series determining the number of monochromatic copies of H in such perturbations and classify graphs H based on this analysis into three categories: graphs of Class I are weakly locally common, graphs of Class II are not weakly locally common, and graphs of Class III cannot be determined to be weakly locally common or not based on the initial 12 terms. As a corollary, we obtain new necessary conditions on a graph to be common and new sufficient conditions on a graph to be not common.