Showing 20 papers (Total: 82661 papers, 47773 authors in database)
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
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.
Semi-invariants of Binary Forms Pertaining to a Unimodality Theorem of Reiner and Stanton
Published
• View Publication
• BIB
The symmetric difference of the $q$-binomial coefficients $F_{n,k}(q)={n+k\brack k}-q^{n}{n+k-2\brack k-2}$ was introduced by Reiner and Stanton. They proved that $F_{n,k}(q)$ is symmetric and unimodal for $k \geq 2$ and $n$ even by using the representation theory for Lie algebras. Based on Sylvester's proof of the unimodality of the Gaussian coefficients, as conjectured by Cayley, we find an interpretation of the unimodality of $F_{n,k}(q)$ in terms of semi-invariants. In the spirit of the strict unimodality of the Gaussian coefficients due to Pak and Panova, we prove the strict unimodality of the symmetric difference $G_{n,k,r}(q)={n+k\brack k}-q^{nr/2}{n+k-r\brack k-r}$, except for the two terms at both ends, where $n,r\geq8$, $k\geq r$ and at least one of $n$ and $r$ is even.
The Erdős-Gyárfás function with respect to Gallai-colorings
Published in Journal of Graph Theory, 2022
• View Publication
• BIB
For fixed $p$ and $q$, an edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ distinct colors. The function $f(n, p, q)$ is the minimum number of colors needed for $K_n$ to have a $(p, q)$-coloring. This function was introduced about 45 years ago, but was studied systematically by Erdős and Gyárfás in 1997, and is now known as the Erdős-Gyárfás function. In this paper, we study $f(n, p, q)$ with respect to Gallai-colorings, where a Gallai-coloring is an edge-coloring of $K_n$ without rainbow triangles. Combining the two concepts, we consider the function $g(n, p, q)$ that is the minimum number of colors needed for a Gallai-$(p, q)$-coloring of $K_n$. Using the anti-Ramsey number for $K_3$, we have that $g(n, p, q)$ is nontrivial only for $2\leq q\leq p-1$. We give a general lower bound for this function and we study how this function falls off from being equal to $n-1$ when $q=p-1$ and $p\geq 4$ to being $Θ(\log n)$ when $q = 2$. In particular, for appropriate $p$ and $n$, we prove that $g=n-c$ when $q=p-c$ and $c\in \{1,2\}$, $g$ is at most a fractional power of $n$ when $q=\lfloor\sqrt{p-1}\rfloor$, and $g$ is logarithmic in $n$ when $2\leq q\leq \lfloor\log_2 (p-1)\rfloor+1$.
Extremal problems for multigraphs
Published
• View Publication
• BIB
An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Turán-type questions on the maximum of the sum of the edge multiplicities in such multigraphs have been studied since the 1990s. More recently, Mubayi and Terry [An extremal problem with a transcendental solution, Combinatorics Probability and Computing 2019] posed the problem of determining the maximum of the product of the edge multiplicities in $(n,s,q)$-graphs. We give a general lower bound construction for this problem for many pairs $(s,q)$, which we conjecture is asymptotically best possible. We prove various general cases of our conjecture, and in particular we settle a conjecture of Mubayi and Terry on the $(s,q)=(4,6a+3)$ case of the problem (for $a\geq2$); this in turn answers a question of Alon. We also determine the asymptotic behaviour of the problem for `sparse' multigraphs (i.e. when $q\leq 2\binom{s}{2}$). Finally we introduce some tools that are likely to be useful for attacking the problem in general.
Distance-unbalancedness of graphs
In this paper we propose and study a new structural invariant for graphs, called distance-unbalanced\-ness, as a measure of how much a graph is (un)balanced in terms of distances. Explicit formulas are presented for several classes of well-known graphs. Distance-unbalancedness of trees is also studied. A few conjectures are stated and some open problems are proposed.
Supersymmetric gaps of a numerical semigroup with two generators
Published in Communications in Algebra 50(10), pp. 4252-4268 (2022)
• View Publication
• BIB
In this paper we introduce the new concepts of supersymmetric and self-symmetric gaps of a numerical semigroup with two generators. Those concepts are based on certain symmetries of the gaps of the semigroup with respect to their Wilf number. We prove that the set of supersymmetric and self-symmetric gaps completely determines the semigroup and we compare this set with the fundamental gaps of the semigroup.