arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Loose Hamiltonian cycles forced by large $(k-2)$-degree - sharp version
Published in Contrib. Discrete Math. 13 (2018), no. 2, 88-100 • View Publication • BIB
We prove for all $k\geq 4$ and $1\leq\ell<k/2$ the sharp minimum $(k-2)$-degree bound for a $k$-uniform hypergraph $\mathcal H$ on $n$ vertices to contain a Hamiltonian $\ell$-cycle if $k-\ell$ divides $n$ and $n$ is sufficiently large. This extends a result of Han and Zhao for $3$-uniform hypegraphs.
2017-05-10
A note on panchromatic colorings
Published • View Publication • BIB
This paper studies the quantity $p(n,r)$, that is the minimal number of edges of an $n$-uniform hypergraph without panchromatic coloring (it means that every edge meets every color) in $r$ colors. If $r \leq c \frac{n}{\ln n}$ then all bounds have a type $A_1(n, \ln n, r)(\frac{r}{r-1})^n \leq p(n, r) \leq A_2(n, r, \ln r) (\frac{r}{r-1})^n$, where $A_1$, $A_2$ are some algebraic fractions. The main result is a new lower bound on $p(n,r)$ when $r$ is at least $c \sqrt n$; we improve an upper bound on $p(n,r)$ if $n = o(r^{3/2})$. Also we show that $p(n,r)$ has upper and lower bounds depend only on $n/r$ when the ratio $n/r$ is small, which can not be reached by the previous probabilistic machinery. Finally we construct an explicit example of a hypergraph without panchromatic coloring and with $(\frac{r}{r-1} + o(1))^n$ edges for $r = o(\sqrt{\frac{n}{\ln n}})$.
2017-05-10 v2
Enumerating the symplectic Dellac configurations
Fang and Fourier defined the symplectic Dellac configurations in order to parametrize the torus fixed points of the symplectic degenerated flag varieties, and conjectured that their numbers are the elements of a sequence of integers (1, 2, 10, 98, 1594, ...) which appears in the study by Randrianarivony and Zeng of the median Euler numbers. In this paper, we prove the conjecture by considering a combinatorial interpretation of these integers in terms of the surjective pistols (which form a well-known combinatorial model of the Genocchi numbers), and constructing an appropriate surjection from the symplectic Dellac configurations to the surjective pistols.
2017-05-10
A Local Prime Factor Decomposition Algorithm for Strong Product Graphs
This work is concerned with the prime factor decomposition (PFD) of strong product graphs. A new quasi-linear time algorithm for the PFD with respect to the strong product for arbitrary, finite, connected, undirected graphs is derived. Moreover, since most graphs are prime although they can have a product-like structure, also known as approximate graph products, the practical application of the well-known "classical" prime factorization algorithm is strictly limited. This new PFD algorithm is based on a local approach that covers a graph by small factorizable subgraphs and then utilizes this information to derive the global factors. Therefore, we can take advantage of this approach and derive in addition a method for the recognition of approximate graph products.
Local algorithms for the prime factorization of strong product graphs
The practical application of graph prime factorization algorithms is limited in practice by unavoidable noise in the data. A first step towards error-tolerant "approximate" prime factorization, is the development of local approaches that cover the graph by factorizable patches and then use this information to derive global factors. We present here a local, quasi-linear al- gorithm for the prime factorization of "locally unrefined" graphs with respect to the strong product. To this end we introduce the backbone B(G) for a given graph G and show that the neighborhoods of the backbone vertices provide enough information to determine the global prime factors.
2017-05-10
Asymptotic bounds for the sizes of constant dimension codes and an improved lower bound
Published • View Publication • BIB
We study asymptotic lower and upper bounds for the sizes of constant dimension codes with respect to the subspace or injection distance, which is used in random linear network coding. In this context we review known upper bounds and show relations between them. A slightly improved version of the so-called linkage construction is presented which is e.g. used to construct constant dimension codes with subspace distance $d=4$, dimension $k=3$ of the codewords for all field sizes $q$, and sufficiently large dimensions $v$ of the ambient space, that exceed the MRD bound, for codes containing a lifted MRD code, by Etzion and Silberstein.
Convex equipartitions of colored point sets
Published in Discrete and Computational Geometry 61 (2019), 355-363 • View Publication • BIB
We show that any $d$-colored set of points in general position in $\mathbb{R}^d$ can be partitioned into $n$ subsets with disjoint convex hulls such that the set of points and all color classes are partitioned as evenly as possible. This extends results by Holmsen, Kynčl & Valculescu (2017) and establishes a special case of their general conjecture. Our proof utilizes a result obtained independently by Soberón and by Karasev in 2010, on simultaneous equipartitions of $d$ continuous measures in $\mathbb{R}^d$ by $n$ convex regions. This gives a convex partition of $\mathbb{R}^d$ with the desired properties, except that points may lie on the boundaries of the regions. In order to resolve the ambiguous assignment of these points, we set up a network flow problem. The equipartition of the continuous measures gives a fractional flow. The existence of an integer flow then yields the desired partition of the point set.
2017-05-09
Solution to Bishnoi's conjecture on minimal t-fold blocking sets of maximal size
Bishnoi conjectured that if a minimal t-fold blocking set in a projective plane of prime power order has maximal size then it is either a projective plane minus one point, the complement of a Baer subplane or a unital. In this note we prove this conjecture.
2017-05-09 v4
Cobordism classes of maps and covers for spheres
Published in Topology and its Applications, 237 (2018), p. 21-25 • View Publication • BIB
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
2017-05-09
Validity of Borodin & Kostochka Conjecture for a Class of Graphs
Borodin & Kostochka conjectured that if maximum degree of a graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and maximum degree minus 1. Here we prove that this Conjecture is true for {P3 UNION K1}-free graphs and {K2 UNION complement of K2}-free graphs.
2017-05-09
On the diameter of an ideal
Published • View Publication • BIB
We begin the study of the notion of diameter of an ideal I of a polynomial ring S over a field, an invariant measuring the distance between the minimal primes of I. We provide large classes of Hirsch ideals, i.e. ideals with diameter not larger than the codimension, such as: quadratic radical ideals of codimension at most 4 and such that S/I is Gorenstein, or ideals admitting a square-free complete intersection initial ideal.
2017-05-09
Universality and Fourth Moment Theorem for homogeneous sums. Orthogonal polynomials and apolarity
The aim of the dissertation is threefold: the first two parts are devoted to explore the Fourth Moment Theorem and universality properties for homogeneous sums, while the last part approaches the classical theory of orthogonal polynomials via the invariant theory of binary forms. Specifically, Part I deals with the Lindberg method of influence functions in free probability spaces. By providing a general multidimensional invariance principle for homogeneous sums in freely independent variables, a class of universal laws for semicircular and free Poisson approximations will be derived that satisfies also the so-called Fourth Moment phenomenon. It is known that the fourth moment phenomenon for homogeneous sums applies, for instance, when X is Gaussian, Poisson, semicircular or free Poisson distributed. Is there a characterizing property enabling this phenomenon, or does it occur accidentally? The goal of Part II is the characterization of random variables X such that homogeneous sums based on i.i.d. copies of X verify the Fourth Moment Theorem, both for classical and free probability spaces. The main results will be the determination of a condition on the fourth cumulant of X that is sufficient for the Fourth Moment Theorem to hold. The optimality of such condition is also discussed. Part III has a purely algebraic flavour, and aims at recasting orthogonality of polynomials within the invariant theory of binary forms through the symbolic methods introduced by Kung and Rota. Then, by focusing on apolarity. a unifying representation for (generalized) sequences of orthogonal polynomials (in any number of variables) is achieved and explicit formulae for the moments of the random discriminants are derived. In this specific case of cumulants, a focus is presented within the combinatorial approach to stochastic integration in terms of diagonal measures.
2017-05-09
Dimensions of sets which uniformly avoid arithmetic progressions
Published in Int. Math. Res. Not., (2019), 4419-4430 • View Publication • BIB
We provide estimates for the dimensions of sets in $\mathbb{R}$ which uniformly avoid finite arithmetic progressions. More precisely, we say $F$ uniformly avoids arithmetic progressions of length $k \geq 3$ if there is an $ε>0$ such that one cannot find an arithmetic progression of length $k$ and gap length $Δ>0$ inside the $εΔ$ neighbourhood of $F$. Our main result is an explicit upper bound for the Assouad (and thus Hausdorff) dimension of such sets in terms of $k$ and $ε$. In the other direction, we provide examples of sets which uniformly avoid arithmetic progressions of a given length but still have relatively large Hausdorff dimension. We also consider higher dimensional analogues of these problems, where arithmetic progressions are replaced with arithmetic patches lying in a hyperplane. As a consequence we obtain a discretised version of a `reverse Kakeya problem': we show that if the dimension of a set in $\mathbb{R}^d$ is sufficiently large, then it closely approximates arithmetic progressions in every direction.
2017-05-09 v2
On Selkow's Bound on the Independence Number of Graphs
Published in Discussiones Mathematicae Graph Theory, ISSN (Online) 2083-5892 • View Publication • BIB
For a graph $G$ with vertex set $V(G)$ and independence number $α(G)$, S. M. Selkow (Discrete Mathematics, 132(1994)363--365) established the famous lower bound $\sum\limits_{v\in V(G)}\frac{1}{d(v)+1}(1+\max\{\frac{d(v)}{d(v)+1}-\sum\limits_{u\in N(v)}\frac{1}{d(u)+1},0 \})$ on $α(G)$, where $N(v)$ and $d(v)=|N(v)|$ denote the neighborhood and the degree of a vertex $v\in V(G)$, respectively. However, Selkow's original proof of this result is incorrect. We give a new probabilistic proof of Selkow's bound here.
2017-05-09 v2
A notion of minor-based matroid connectivity
Published in Advances in Applied Mathematics Volume 100, September 2018, Pages 163-178 • View Publication • BIB
For a matroid $N$, a matroid $M$ is $N$-connected if every two elements of $M$ are in an $N$-minor together. Thus a matroid is connected if and only if it is $U_{1,2}$-connected. This paper proves that $U_{1,2}$ is the only connected matroid $N$ such that if $M$ is $N$-connected with $|E(M)| > |E(N)|$, then $M \backslash e$ or $M / e$ is $N$-connected for all elements $e$. Moreover, we show that $U_{1,2}$ and $M(\mathcal{W}_2)$ are the only connected matroids $N$ such that, whenever a matroid has an $N$-minor using $\{e,f\}$ and an $N$-minor using $\{f,g\}$, it also has an $N$-minor using $\{e,g\}$. Finally, we show that $M$ is $U_{0,1} \oplus U_{1,1}$-connected if and only if every clonal class of $M$ is trivial.
A conjectural Peterson isomorphism in K-theory
Published • View Publication • BIB
We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and structure constants. This generalizes Peterson's isomorphism in (co)homology. We prove a formula for the Pontryagin structure constants in the K-homology ring, and we use it to check our conjecture in few situations.
2017-05-09 v2
The Interactive Sum Choice Number of Trees
We study the interactive sum choice number, a game coloring parameter introduced by Bonamy and Meeks, and obtain a recursive formula for the interactive sum choice number of forests. This formula coincides with a formula for the slow coloring cost of forests, a parameter introduced by Mahoney, Puleo, and West, and shows that these parameters are equal on forests. This answers a question of Bonamy and Meeks.
2017-05-09 v3
Asymptotics for Turán numbers of cycles in 3-uniform linear hypergraphs
Published • View Publication • BIB
Let $\mathcal{F}$ be a family of $3$-uniform linear hypergraphs. The linear Turán number of $\mathcal F$ is the maximum possible number of edges in a $3$-uniform linear hypergraph on $n$ vertices which contains no member of $\mathcal{F}$ as a subhypergraph. In this paper we show that the linear Turán number of the five cycle $C_5$ (in the Berge sense) is $\frac{1}{3 \sqrt3}n^{3/2}$ asymptotically. We also show that the linear Turán number of the four cycle $C_4$ and $\{C_3, C_4\}$ are equal asmptotically, which is a strengthening of a theorem of Lazebnik and Verstraëte. We establish a connection between the linear Turán number of the linear cycle of length $2k+1$ and the extremal number of edges in a graph of girth more than $2k-2$. Combining our result and a theorem of Collier-Cartaino, Graber and Jiang, we obtain that the linear Turán number of the linear cycle of length $2k+1$ is $Θ(n^{1+\frac{1}{k}})$ for $k = 2, 3, 4, 6$.
2017-05-08
On toric face rings I
Published • View Publication • BIB
We construct an explicit Deligne - Du Bois complex for algebraic varieties which are locally analytically isomorphic to the spectrum of a toric face ring.
2017-05-08 v2
On toric face rings II
Published • View Publication • BIB
We introduce the class of weakly log canonical singularities, a natural generalization of semi-log canonical singularities. Toric varieties (associated to toric face rings, possibly non-normal or reducible) which have weakly (semi-) log canonical singularities are classified. In the toric case, we discuss residues to lc centers of codimension one or higher.