Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Readability of digraphs and bipartite graphs
In the final project paper we consider a graph parameter called readability. Motivation for readability comes from bioinformatics applications. Graphs arising in problems related to genome sequencing are of small readability, which motivates the study of graphs of small readability. We present an algorithm due to Braga and Meidanis, which shows that every digraph is isomorphic to the overlap graph of some set of strings. An upper bound on readability is derived from the algorithm. The readability parameter can also be defined for bipartite graphs; in the final project paper special emphasis is given to the bipartite model. The complexity of computing the readability of a given digraph (or of a given bipartite graph) is unknown. A way for the exact computation of readability is presented using Integer Linear Programming. We also present two approaches for computing upper and lower bounds for readability due to Chikhi at al. Finally, the readability is computed exactly for toroidal and two-dimensional grid graphs and a polynomial time algorithm for constructing an optimal overlap labeling of a given two-dimensional or toroidal grid graph is presented.
Combinatorial Invariance of Kazhdan-Lusztig-Vogan Polyomials for Fixed Point Free Involutions
Published
• View Publication
• BIB
When $Sp(2n,\mathbb{C})$ acts on the flag variety of $SL(2n,\mathbb{C})$, the orbits are in bijection with fixed point free involutions in the symmetric group $S_{2n}$. In this case, the associated Kazhdan-Lusztig-Vogan polynomials $P_{v,u}$ can be indexed by pairs of fixed point free involutions $v\geq u$, where $\geq$ denotes the Bruhat order on $S_{2n}$. We prove that these polynomials are combinatorial invariants in the sense that if $f: [u, w_0 ] \rightarrow [u , w_0]$ is a poset isomorphism of upper intervals in the Bruhat order on fixed point free involutions, then $P_{v,u} = P_{f(v),u}$ for all $v \geq u$.
Supercritical Space-Width Trade-offs for Resolution
Published
• View Publication
• BIB
We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-case upper bound. This significantly strengthens the space-width trade-offs in [Ben-Sasson '09]}, and provides one more example of trade-offs in the "supercritical" regime above worst case recently identified by [Razborov '16]. We obtain our results by using Razborov's new hardness condensation technique and combining it with the space lower bounds in [Ben-Sasson and Nordstrom '08].
On $m$-ovoids of regular near polygons
Published
• View Publication
• BIB
We generalise the work of Segre (1965), Cameron - Goethals - Seidel (1978), and Vanhove (2011) by showing that nontrivial $m$-ovoids of the dual polar spaces $DQ(2d, q)$, $DW(2d-1,q)$ and $DH(2d-1,q^2)$ ($d\ge 3$) are hemisystems. We also provide a more general result that holds for regular near polygons.
The Kelmans-Seymour conjecture IV: a proof
Published
• View Publication
• BIB
A well known theorem of Kuratowski in 1932 states that a graph is planar if, and only if, it does not contain a subdivision of $K_5$ or $K_{3,3}$. Wagner proved in 1937 that if a graph other than $K_5$ does not contain any subdivision of $K_{3,3}$ then it is planar or it admits a cut of size at most 2. Kelmans and, independently, Seymour conjectured in the 1970s that if a graph does not contain any subdivision of $K_5$ then it is planar or it admits a cut of size at most 4. In this paper, we give a proof of the Kelmans-Seymour conjecture. We also discuss several related results and problems.
Codegree conditions for tiling complete $k$-partite $k$-graphs and loose cycles
Published
• View Publication
• BIB
Given two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, a perfect $F$-tiling (or an $F$-factor) in $H$ is a set of vertex disjoint copies of $F$ that together cover the vertex set of $H$. For all complete $k$-partite $k$-graphs $K$, Mycroft proved a minimum codegree condition that guarantees a $K$-factor in an $n$-vertex $k$-graph, which is tight up to an error term $o(n)$. In this paper we improve the error term in Mycroft's result to a sub-linear term that relates to the Turán number of $K$ when the differences of the sizes of the vertex classes of $K$ are co-prime. Furthermore, we find a construction which shows that our improved codegree condition is asymptotically tight in infinitely many cases thus disproving a conjecture of Mycroft. At last, we determine exact minimum codegree conditions for tiling $K^{(k)}(1, \dots, 1, 2)$ and tiling loose cycles thus generalizing results of Czygrinow, DeBiasio, and Nagle, and of Czygrinow, respectively.
Reductions of Binary Trees and Lattice Paths induced by the Register Function
Published in Theoretical Computer Science 705 (2018), pp. 31-57
• View Publication
• BIB
The register function (or Horton-Strahler number) of a binary tree is a well-known combinatorial parameter. We study a reduction procedure for binary trees which offers a new interpretation for the register function as the maximal number of reductions that can be applied to a given tree. In particular, the precise asymptotic behavior of the number of certain substructures ("branches") that occur when reducing a tree repeatedly is determined.
In the same manner we introduce a reduction for simple two-dimensional lattice paths from which a complexity measure similar to the register function can be derived. We analyze this quantity, as well as the (cumulative) size of an (iteratively) reduced lattice path asymptotically.
Borsuk-Ulam type theorems for G-spaces with applications to Tucker type lemmas
Published
• View Publication
• BIB
In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds.
Generalized Riordan arrays and zero generalized Pascal matrices
Generalized Pascal matrix whose elements are generalized binomial coefficients is included in the group of generalized Riordan arrays. There is a special set of generalized Riordan arrays defined by parameter $q$. If $q=0$, they are ordinary Riordan arrays, if $q=1$, they are exponential Riordan arrays. In other cases, except $q=-1$, they are arrays associated with the $q$-binomial coefficients as well as the exponential Riordan arrays are associated with the ordinary binomial coefficients. Case $q=-1$ does not fit into the concept of generalized Riordan arrays, but it is necessary to expand for it. Introduced a special class of matrices, each of which is a limiting case of a certain set of generalized Pascal matrices. It is shown that every such matrix included in the matrix group similar to the generalized Riordan group.
Quantifying the degree of average contraction of Collatz orbits
Published
• View Publication
• BIB
We here elaborate on a quantitative argument to support the validity of the Collatz conjecture, also known as the (3x + 1) or Syracuse conjecture. The analysis is structured as follows. First, three distinct fixed points are found for the third iterate of the Collatz map, which hence organise in a period 3 orbit of the original map. These are 1, 2 and 4, the elements which define the unique attracting cycle, as hypothesised by Collatz. To carry out the calculation we write the positive integers in modulo 8 (mod8 ), obtain a closed analytical form for the associated map and determine the transitions that yield contracting or expanding iterates in the original, infinite-dimensional, space of positive integers. Then, we consider a Markov chain which runs on the reduced space of mod8 congruence classes of integers. The transition probabilities of the Markov chain are computed from the deterministic map, by employing a measure that is invariant for the map itself. Working in this setting, we demonstrate that the stationary distribution sampled by the stochastic system induces a contracting behaviour for the orbits of the deterministic map on the original space of the positive integers. Sampling the equilibrium distribution on the congruence classes mod8^m for any m, which amounts to arbitrarily reducing the degree of imposed coarse graining, returns an identical conclusion.
Mixing for three-term progressions in finite simple groups
Published in Math. Proc. Cambridge Philos. Soc. 165 (2018), no. 2, 279-286
• View Publication
• BIB
Answering a question of Gowers, Tao proved that any $A\times B\times C\subset SL_d(\mathbb{F}_q)^3$ contains $|A||B||C|/|SL_d(\mathbb{F}_q)|+O_d(|SL_d(\mathbb{F}_q)|^2/q^{\min(d-1,2)/8})$ three-term progressions $(x,xy,xy^2)$. Using a modification of Tao's argument, we prove such a mixing result for three-term progressions in all nonabelian finite simple groups except for $PSL_2(\mathbb{F}_q)$ with an error term that depends on the degree of quasirandomness of the group. This argument also gives an alternative proof of Tao's result when $d>2$, but with the error term $O(|SL_d(\mathbb{F}_q)|^2/q^{(d-1)/24})$.
Stirling permutations, marked permutations and Stirling derangements
In this paper we introduce the definition of marked permutations. We first present a bijection between Stirling permutations and marked permutations. We then present an involution on Stirling derangements. Furthermore, we present a symmetric bivariate enumerative polynomials on $r$-colored marked permutations. Finally, we give an explanation of $r$-colored marked permutations by using the language of combinatorial objects.
The boundary length and point spectrum enumeration of partial chord diagrams using cut and join recursion
Published in Trav. Math. 25 (2017) 213
• Search Publication
We introduce the boundary length and point spectrum, as a joint generalization of the boundary length spectrum and boundary point spectrum in arXiv:1307.0967. We establish by cut-and-join methods that the number of partial chord diagrams filtered by the boundary length and point spectrum satisfies a recursion relation, which combined with an initial condition determines these numbers uniquely. This recursion relation is equivalent to a second order, non-linear, algebraic partial differential equation for the generating function of the numbers of partial chord diagrams filtered by the boundary length and point spectrum.
Zero-sum subsequences in bounded-sum $\{-1, 1\}$-sequences
Published
• View Publication
• BIB
The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any function $f:[n]\to \{-1,1\}$ with $|\sum_{i=1}^nf(i)| \le q$, there is a set $B \subseteq [n]$ of $k$ consecutive integers with $|\sum_{y\in B}f(y)| \le t$. Moreover, this bound is sharp for all the parameters involved and a characterization of the extremal sequences is given.
This and other similar results involving different subsequences are presented, including decompositions of sequences into subsequences of bounded weight.
Clique coloring of dense random graphs
Published
• View Publication
• BIB
The clique chromatic number of a graph G=(V,E) is the minimum number of colors in a vertex coloring so that no maximal (with respect to containment) clique is monochromatic. We prove that the clique chromatic number of the binomial random graph G=G(n,1/2) is, with high probability, Ω(log n). This settles a problem of McDiarmid, Mitsche and Pralat who proved that it is O(log n) with high probability.
A normal quotient analysis for some families of oriented four-valent graphs
Published
• View Publication
• BIB
We analyse the normal quotient structure of several infinite families of finite connected edge-transitive, four-valent oriented graphs. These families were singled out by Marusic and others to illustrate various different internal structures for these graphs in terms of their alternating cycles (cycles in which consecutive edges have opposite orientations). Studying the normal quotients gives fresh insights into these oriented graphs: in particular we discovered some unexpected `cross-overs' between these graph families when we formed normal quotients. We determine which of these oriented graphs are `basic', in the sense that their only proper normal quotients are degenerate. Moreover, we show that the three types of edge-orientations studied are the only orientations, of the underlying undirected graphs in these families, which are invariant under a group action which is both vertex-transitive and edge-transitive.
Basic facts concerning supermodular functions
Elementary facts and observations on the cone of supermodular set functions are recalled. The manuscript deals with such operations with set functions which preserve supermodularity and the emphasis is put on those such operations which even preserve extremality (of a supermodular function). These involve a few self-transformations of the cone of supermodular set functions. Moreover, projections to the (less-dimensional) linear space of set functions for a subset of the variable set are discussed. Finally, several extensions to the (more-dimensional) linear space of set functions for a superset of the variable set are shown to be both preserving supermodularity and extremality.
Generalised Paley graphs with a product structure
Published
• View Publication
• BIB
A graph is Cartesian decomposable if it is isomorphic to a Cartesian product of (more than one) strictly smaller graphs, each of which has more than one vertex and admits no such decomposition. These smaller graphs are called the Cartesian-prime factors of the Cartesian decomposition, and were shown, by Sabidussi and Vizing independently, to be uniquely determined up to isomorphism. We characterise by their parameters those generalised Paley graphs which are Cartesian decomposable, and we prove that for such graphs, the Cartesian-prime factors are themselves smaller generalised Paley graphs. This generalises a result of Lim and the second author which deals with the case where all the Cartesian-prime factors are complete graphs. These results contribute to the determination, by parameters, of generalised Paley graphs with automorphism groups larger than the 1-dimensional affine subgroups used to define them.
A Generalization of the Eulerian Numbers
In the present paper we generalize the Eulerian numbers (also of the second and third orders). The generalization is connected with an autonomous first-order differential equation, solutions of which are used to obtain integral representations of some numbers, including the Bernoulli numbers.
On the structure of subsets of the discrete cube with small edge boundary
Published
• View Publication
• BIB
The edge isoperimetric inequality in the discrete cube specifies, for each pair of integers $m$ and $n$, the minimum size $g_n(m)$ of the edge boundary of an $m$-element subset of $\{0,1\}^{n}$; the extremal families (up to automorphisms of the discrete cube) are initial segments of the lexicographic ordering on $\{0,1\}^n$. We show that for any $m$-element subset $\mathcal{F} \subset \{0,1\}^n$ and any integer $l$, if the edge boundary of $\mathcal{F}$ has size at most $g_n(m)+l$, then there exists an extremal family $\mathcal{G} \subset \{0,1\}^n$ such that $|\mathcal{F} Δ\mathcal{G}| \leq Cl$, where $C$ is an absolute constant. This is best-possible, up to the value of $C$. Our result can be seen as a `stability' version of the edge isoperimetric inequality in the discrete cube, and as a discrete analogue of the seminal stability result of Fusco, Maggi and Pratelli concerning the isoperimetric inequality in Euclidean space.