Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Discrete analogues of Kakeya problems
This thesis investigates two problems that are discrete analogues of two harmonic analytic problems which lie in the heart of research in the field.
More specifically, we consider discrete analogues of the maximal Kakeya operator conjecture and of the recently solved endpoint multilinear Kakeya problem, by effectively shrinking the tubes involved in these problems to lines, thus giving rise to the problems of counting joints and multijoints with multiplicities. In fact, we effectively show that, in $\mathbb{R}^3$, what we expect to hold due to the maximal Kakeya operator conjecture, as well as what we know in the continuous case due to the endpoint multilinear Kakeya theorem by Guth, still hold in the discrete case.
In particular, let $\mathfrak{L}$ be a collection of $L$ lines in $\mathbb{R}^3$ and $J$ the set of joints formed by $\mathfrak{L}$, that is, the set of points each of which lies in at least three non-coplanar lines of $\mathfrak{L}$. It is known that $|J|=O(L^{3/2})$ (first proved by Guth and Katz). For each joint $x\in J$, let the multiplicity $N(x)$ of $x$ be the number of triples of non-coplanar lines through $x$. We prove here that $$\sum_{x\in J} N(x)^{1/2}=O(L^{3/2}), $$while we also extend this result to real algebraic curves in $\mathbb{R}^3$ of uniformly bounded degree, as well as to curves in $\mathbb{R}^3$ parametrized by real univariate polynomials of uniformly bounded degree.
The multijoints problem is a variant of the joints problem, involving three finite collections of lines in $\mathbb{R}^3$; a multijoint formed by them is a point that lies in (at least) three non-coplanar lines, one from each collection.
We finally present some results regarding the joints problem in different field settings and higher dimensions.
Optimal Combinatorial Batch Codes based on Block Designs
Published
• View Publication
• BIB
Batch codes, introduced by Ishai, Kushilevitz, Ostrovsky and Sahai, represent the distributed storage of an $n$-element data set on $m$ servers in such a way that any batch of $k$ data items can be retrieved by reading at most one (or more generally, $t$) items from each server, while keeping the total storage over $m$ servers equal to $N$. This paper considers a class of batch codes (for $t=1$), called combinatorial batch codes (CBC), where each server stores a subset of a database. A CBC is called optimal if the total storage $N$ is minimal for given $n,m$, and $k$. A $c$-uniform CBC is a combinatorial batch code where each item is stored in exactly $c$ servers. A $c$-uniform CBC is called optimal if its parameter $n$ has maximum value for given $m$ and $k$. Optimal $c$-uniform CBCs have been known only for $c\in \{2,k-1,k-2\}$.
In this paper we present new constructions of optimal CBCs in both the uniform and general settings, for values of the parameters where tight bounds have not been established previously. In the uniform setting, we provide constructions of two new families of optimal uniform codes with $c\sim \sqrt{k}$. Our constructions are based on affine planes and transversal designs.
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
Published
• View Publication
• BIB
A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $ε$-thick vertical line connecting them that intersects at most one other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly planar graph classes. In particular, we study their relation to 1-planar graphs, which have a drawing with at most one crossing per edge; quasi-planar graphs, which have a drawing with no three mutually crossing edges; the squares of planar 1-flow networks, which are upward digraphs with in- or out-degree at most one. Our main results are that 1-planar graphs and the (undirected) squares of planar 1-flow networks are weak bar 1-visibility graphs and that these are quasi-planar graphs.
A basis construction of the extended Catalan and Shi arrangements of the type $A_{2}$
Published
• View Publication
• BIB
In [9], Terao proved the freeness of multi-Coxeter arrangements with constant multiplicities by giving an explicit construction of bases. Combining it with algebro-geometric method, Yoshinaga proved the freeness of the extended Catalan and Shi arrangements in [11]. However, there have been no explicit constructions of the bases for the logarithmic derivation modules of the extended Catalan and Shi arrangements. In this paper, we give the first explicit construction of them when the root system is of the type $A_2$.
A note on acyclic vertex-colorings
Published
• View Publication
• BIB
We prove that the acyclic chromatic number of a graph with maximum degree $Δ$ is less than $2.835Δ^{4/3}+Δ$. This improves the previous upper bound, which was $50Δ^{4/3}$. To do so, we draw inspiration from works by Alon, McDiarmid and Reed and by Esperet and Parreau.
Further results on strong edge-colourings in outerplanar graphs
An edge-colouring is {\em strong} if every colour class is an induced matching. In this work we give a formulae that determines either the optimal or the optimal plus one strong chromatic index of bipartite outerplanar graphs. Further, we give an improved upper bound for any outerplanar graph which is close to optimal. All our proofs yield efficient algorithms to construct such colourings.
Graph properties, graph limits and entropy
Published
• View Publication
• BIB
We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number, which by well-known results describes the rate of growth.
We study also random graphs and their entropies. We show, for example, that if a hereditary property has a unique limiting graphon with maximal entropy, then a random graph with this property, selected uniformly at random from all such graphs with a given order, converges to this maximizing graphon as the order tends to infinity.
Duality and syzygies for semimodules over numerical semigroups
Published
• View Publication
• BIB
Let $Γ=\langle α, β\rangle$ be a numerical semigroup. In this article we consider the dual $Δ^*$ of a $Γ$-semimodule $Δ$; in particular we deduce a formula that expresses the minimal set of generators of $Δ^*$ in terms of the generators of $Δ$. As applications we compute the minimal graded free resolution of a graded $\mathbb{F}[t^α,t^β]$-submodule of $\mathbb{F}[t]$, and we investigate the structure of the selfdual $Γ$-semimodules, leading to a new way of counting them.
On the star arboricity of hypercubes
Published in Australas. J. Combin. 59(2) (2014) 282-292
• Search Publication
A Hypercube $Q_n$ is a graph in which the vertices are all binary vectors of length n, and two vertices are adjacent if and only if their components differ in exactly one place. A galaxy or a star forest is a union of vertex disjoint stars. The star arboricity of a graph $G$, ${\rm sa}(G)$, is the minimum number of galaxies which partition the edge set of $G$. In this paper among other results, we determine the exact values of ${\rm sa}(Q_n)$ for $n \in \{2^k-3, 2^k+1, 2^k+2, 2^i+2^j-4\}$, $i \geq j \geq 2$. We also improve the last known upper bound of ${\rm sa}(Q_n)$ and show the relation between ${\rm sa}(G)$ and square coloring.
A Distributive Lattice Connected with Arithmetic Progressions of Length Three
Published
• View Publication
• BIB
Let $\mathcal{T}$ be a collection of 3-element subsets $S$ of $\{1, \ldots,n\}$ with the property that if $i<j<k$ and $a<b<c$ are two 3-element subsets in $S$, then there exists an integer sequence $x_1 < x_2 < \cdots < x_n$ such that $x_i, x_j, x_k$ and $x_a, x_b, x_c$ are arithmetic progressions. We determine the number of such collections $\mathcal{T}$ and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.
The Highly Connected Matroids in Minor-closed Classes
Published
• View Publication
• BIB
For any minor-closed class of matroids over a fixed finite field, we state an exact structural characterization for the sufficiently connected matroids in the class. We also state a number of conjectures that might be approachable using the structural characterization.
Rainbow path and color degree in edge colored graphs
Published
• View Publication
• BIB
Let $G$ be an edge colored graph. A {\it}{rainbow path} in $G$ is a path in which all the edges are colored with distinct colors. Let $d^c(v)$ be the color degree of a vertex $v$ in $G$, i.e. the number of distinct colors present on the edges incident on the vertex $v$. Let $t$ be the maximum length of a rainbow path in $G$. Chen and Li showed that if $d^c \geq k$, for every vertex $v$ of $G$, then $t \geq \left \lceil \frac{3 k}{5}\right \rceil + 1$ (Long heterochromatic paths in edge-colored graphs, The Electronic Journal of Combinatorics 12 (2005), # R33, Pages:1-33.) Unfortunately, proof by Chen and Li is very long and comes to about 23 pages in the journal version. Chen and Li states in their paper that it was conjectured by Akira Saito, that $t \ge \left \lceil \frac {2k} {3} \right \rceil$. They also states in their paper that they believe $t \ge k - c$ for some constant $c$.
In this note, we give a short proof to show that $t \ge \left \lceil \frac{3 k}{5}\right \rceil$, using an entirely different method. Our proof is only about 2 pages long. The draw-back is that our bound is less by 1, than the bound given by Chen and Li. We hope that the new approach adopted in this paper would eventually lead to the settlement of the conjectures by Saito and/or Chen and Li.
Strong forms of linearization for Hopf monoids in species
Published in J. Algebr. Comb. 42 (2015), 391-428
• View Publication
• BIB
A vector species is a functor from the category of finite sets with bijections to vector spaces; informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. We say that a Hopf monoid is strongly linearized if it has a "basis" preserved by its product and coproduct in a certain sense. We prove several equivalent characterizations of this property, and show that any strongly linearized Hopf monoid which is commutative and cocommutative possesses four bases which one can view as analogues of the classical bases of the algebra of symmetric functions. There are natural functors which turn Hopf monoids into graded Hopf algebras, and applying these functors to strongly linearized Hopf monoids produces several notable families of Hopf algebras. For example, in this way we give a simple unified construction of the Hopf algebras of superclass functions attached to the maximal unipotent subgroups of three families of classical Chevalley groups.
Extremal densities and measures on groups and $G$-spaces and their combinatorial applications
This text contains lecture notes of the course taught to Ph.D. students of Jagiellonian University in Krakow on 25-28 November, 2013.
Maximal induced matchings in triangle-free graphs
Published
• View Publication
• BIB
An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. It is known that any $n$-vertex graph has at most $10^{n/5} \approx 1.5849^n$ maximal induced matchings, and this bound is best possible. We prove that any $n$-vertex triangle-free graph has at most $3^{n/3} \approx 1.4423^n$ maximal induced matchings, and this bound is attained by any disjoint union of copies of the complete bipartite graph $K_{3,3}$. Our result implies that all maximal induced matchings in an $n$-vertex triangle-free graph can be listed in time $O(1.4423^n)$, yielding the fastest known algorithm for finding a maximum induced matching in a triangle-free graph.
Successful strategies for a queens placing game on an n x n chess board
In his list of open problems, Martin Erickson described a certain game: "Two players alternately put queens on an n x n chess board so that each new queen is not in range of any queen already on the board (the color of the queens is unimportant). The last player who can move wins." Then he asked: "Who should win?"
Obviously, for n up to 3, the first player wins, if he does not miss to start at the central position in the case n=3.
In this article, we give very simple always winning strategies for the first player if n is 4 or odd.
The additionally (in the source package) provided computer program QPGAME3 has been used to check that there are successful strategies for the first player if n is 6 or 8, and for the second player if n is 10, 12, 14, or 16.
As discovered during the submission process of the first version of this article, Hassan A Noon presented consistent results concerning values of n which are odd or at most 10, in his B.A. thesis and, together with Glen Van Brummelen, in a journal article.
On the number of $K_4$-saturating edges
Published
• View Publication
• BIB
Let $G$ be a $K_4$-free graph, an edge in its complement is a $K_4$-\emph{saturating} edge if the addition of this edge to $G$ creates a copy of $K_4$. Erdős and Tuza conjectured that for any $n$-vertex $K_4$-free graph $G$ with $\lfloor n^2/4\rfloor+1$ edges, one can find at least $(1+o(1))\frac{n^2}{16}$ $K_4$-saturating edges. We construct a graph with only $\frac{2n^2}{33}$ $K_4$-saturating edges. Furthermore, we prove that it is best possible, i.e., one can always find at least $(1+o(1))\frac{2n^2}{33}$ $K_4$-saturating edges in an $n$-vertex $K_4$-free graph with $\lfloor n^2/4\rfloor+1$ edges.
McKay Centralizer Algebras
Published
• View Publication
• BIB
For a finite subgroup $G$ of the special unitary group $SU_2$, we study the centralizer algebra $Z_k(G) = End_G(V^{\otimes k})$ of $G$ acting on the $k$-fold tensor product of its defining representation $V= \mathbb{C}^2$. These subgroups are in bijection with the simply-laced affine Dynkin diagrams. The McKay correspondence relates the representation theory of these groups to the associated Dynkin diagram, and we use this connection to show that the structure and representation theory of $Z_k(G)$ as a semisimple algebra is controlled by the combinatorics of the corresponding Dynkin diagram.
Dichotomies properties on computational complexity of S-packing coloring problems
Published
• View Publication
• BIB
This work establishes the complexity class of several instances of the S-packing coloring problem: for a graph G, a positive integer k and a non decreasing list of integers S = (s\_1 , ..., s\_k ), G is S-colorable, if its vertices can be partitioned into sets S\_i , i = 1,... , k, where each S\_i being a s\_i -packing (a set of vertices at pairwise distance greater than s\_i). For a list of three integers, a dichotomy between NP-complete problems and polynomial time solvable problems is determined for subcubic graphs. Moreover, for an unfixed size of list, the complexity of the S-packing coloring problem is determined for several instances of the problem. These properties are used in order to prove a dichotomy between NP-complete problems and polynomial time solvable problems for lists of at most four integers.
Network histograms and universality of blockmodel approximation
Published in Proceedings of the National Academy of Sciences of the USA 2014, Vol. 111, No. 41, 14722-14727
• View Publication
• BIB
In this article we introduce the network histogram: a statistical summary of network interactions, to be used as a tool for exploratory data analysis. A network histogram is obtained by fitting a stochastic blockmodel to a single observation of a network dataset. Blocks of edges play the role of histogram bins, and community sizes that of histogram bandwidths or bin sizes. Just as standard histograms allow for varying bandwidths, different blockmodel estimates can all be considered valid representations of an underlying probability model, subject to bandwidth constraints. Here we provide methods for automatic bandwidth selection, by which the network histogram approximates the generating mechanism that gives rise to exchangeable random graphs. This makes the blockmodel a universal network representation for unlabeled graphs. With this insight, we discuss the interpretation of network communities in light of the fact that many different community assignments can all give an equally valid representation of such a network. To demonstrate the fidelity-versus-interpretability tradeoff inherent in considering different numbers and sizes of communities, we analyze two publicly available networks - political weblogs and student friendships - and discuss how to interpret the network histogram when additional information related to node and edge labeling is present.