Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Fourientations and the Tutte Polynomial
Published in Research in the Mathematical Sciences, 4, 2017
• View Publication
• BIB
A fourientation of a graph is a choice for each edge of the graph whether to orient that edge in either direction, leave it unoriented, or biorient it. Fixing a total order on the edges and a reference orientation of the graph, we investigate properties of cuts and cycles in fourientations which give trivariate generating functions that are generalized Tutte polynomial evaluations of the form \[(k+m)^{n-1}(k+l)^gT\left(\frac{αk + βl + m}{k+m},\frac{γk + l + δm}{k+l}\right)\] for $α,γ\in \{0,1,2\}$ and $β, δ\in \{0,1\}$. We introduce an intersection lattice of 64 cut-cycle fourientation classes enumerated by generalized Tutte polynomial evaluations of this form. We prove these enumerations using a single deletion-contraction argument and classify axiomatically the set of fourientation classes to which our deletion-contraction argument applies. This work unifies and extends earlier results for fourientations due to Gessel and Sagan, and results for partial orientations due to the first author, and the second author and David Perkinson, as well as results for total orientations due to many authors. We conclude by describing how these classes of fourientations relate to geometric, combinatorial, and algebraic objects including bigraphical arrangements, cycle-cocycle reversal systems, graphic Lawrence ideals, Riemann-Roch theory for graphs, zonotopal algebras, and the reliability polynomial.
Lattice Path Enumeration
Published in Handbook of Enumerative Combinatorics, M. Bóna (ed.), Discrete Math. and Its Appl., CRC Press, Boca Raton-London-New York, 2015, pp. 589-678
• Search Publication
This is a survey of results in the enumeration of lattice paths.
Plane partitions in the work of Richard Stanley and his school
Published in in: "The Mathematical Legacy of Richard P. Stanley" P. Hersh, T. Lam, P. Pylyavskyy and V. Reiner (eds.), Amer. Math. Soc., R.I., 2016, pp. 246-277
• View Publication
• BIB
These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanley and his school.
Upper bound theorem for odd-dimensional flag triangulations of manifolds
Published in Mathematika 62 (2016) 909-928
• View Publication
• BIB
We prove that among all flag triangulations of manifolds of odd dimension 2r-1 with sufficiently many vertices the unique maximizer of the entries of the f-, h-, g- and gamma-vector is the balanced join of r cycles. Our proof uses methods from extremal graph theory.
Circuit diameter and Klee-Walkup constructions
Published
• View Publication
• BIB
Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets.
It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.
Asymptotic incidence energy and Laplacian-energy-like invariant of the Union Jack lattice
The incidence energy $\mathscr{IE}(G)$ of a graph $G$, defined as the sum of the singular values of the incidence matrix of a graph $G$, is a much studied quantity with well known applications in chemical physics. The Laplacian-energy-like invariant of $G$ is defined as the sum of square roots of the Laplacian eigenvalues. In this paper, we obtain the closed-form formulae expressing the incidence energy and the Laplacian-energy-like invariant of the Union Jack lattice. Moreover, the explicit asymptotic values of these quantities are calculated by utilizing the applications of analysis approach with the help of calculational software.
Orphans in Forests of Linear Fractional Transformations
Published in Electron. J. Combin. 23, 3, Paper 3.6 (2016), 24pp
• View Publication
• BIB
This paper studies the set of orphans in certain Calkin-Wilf trees generated by linear fractional transformations.
Connecting the Kontsevich-Witten and Hodge tau-functions by the $\hat{GL(\infty)}$ operators
Published in Commun. Math. Phys. (2016), 346(1), 143-190
• View Publication
• BIB
In this paper, we present an explicit formula that connects the Kontsevich-Witten tau-function and the Hodge tau-function by differential operators belonging to the $\hat{GL(\infty)}$ group. Indeed, we show that the two tau-functions can be connected using Virasoro operators. This proves a conjecture posted by Alexandrov in [1].
Generalized Hultman Numbers and Cycle Structures of Breakpoint Graphs
Published in Journal of Computational Biology 24:2 (2017), 93-105
• View Publication
• BIB
Genome rearrangements can be modeled as $k$-breaks, which break a genome at k positions and glue the resulting fragments in a new order. In particular, reversals, translocations, fusions, and fissions are modeled as $2$-breaks, and transpositions are modeled as $3$-breaks. While $k$-break rearrangements for $k>3$ have not been observed in evolution, they are used in cancer genomics to model chromothripsis, a catastrophic event of multiple breakages happening simultaneously in a genome. It is known that the $k$-break distance between two genomes (i.e., the minimum number of $k$-breaks required to transform one genome into the other) can be computed in terms of cycle lengths in the breakpoint graph of these genomes.
In the current work, we address the combinatorial problem of enumerating genomes at a given $k$-break distance from a fixed unichromosomal genome. More generally, we enumerate genome pairs, whose breakpoint graph has a given distribution of cycle lengths. We further show how our enumeration can be used for uniform sampling of random genomes at a given $k$-break distance, and describe its connection to various combinatorial objects such as Bell polynomials.
The Statistic $\mathtt{pinv}$ for Number System
The number of inversions is a statistic on permutation groups measuring the degree to which the entries of a permutation are out of order. We provide a generalization of that statistic by introducing the statistic number of pseudoinversions on the colored permutation groups. The main motivation to investigate that statistic is the possibility to use it to define a number system and a numeral system on the colored permutation groups. By means of the statistic number of $i$-pseudoinversions, we construct our number system, and a bijection between the set of positive integers and the colored permutation groups.
Unitals with many Baer secants through a fixed point
Published
• View Publication
• BIB
We show that a unital $U$ in $\mathrm{PG}(2,q^2)$ containing a point $P$, such that at least $q^2-ε$ of the secant lines through $P$ intersect $U$ in a Baer subline, is an ovoidal Buekenhout-Metz unital (where $ε\approx 2q$ for $q$ even and $ε\approx q^{3/2}/2$ for $q$ odd).
Resistance distances in corona and neighborhood corona graphs with Laplacian generalized inverse approach
Let $G_1$ and $G_2$ be two graphs on disjoint sets of $n_1$ and $n_2$ vertices, respectively. The corona of graphs $G_1$ and $G_2$, denoted by $G_1\circ G_2$, is the graph formed from one copy of $G_1$ and $n_1$ copies of $G_2$ where the $i$-th vertex of $G_1$ is adjacent to every vertex in the $i$-th copy of $G_2$. The neighborhood corona of $G_1$ and $G_2$, denoted by $G_1\diamond G_2$, is the graph obtained by taking one copy of $G_1$ and $n_1$ copies of $G_2$ and joining every neighbor of the $i$-th vertex of $G_1$ to every vertex in the $i$-th copy of $G_2$ by a new edge. In this paper, the Laplacian generalized inverse for the graphs $G_1\circ G_2$ and $G_1\diamond G_2$ are investigated, based on which the resistance distances of any two vertices in $G_1\circ G_2$ and $G_1\diamond G_2$ can be obtained. Moreover, some examples as applications are presented, which illustrate the correction and efficiency of the proposed method.
Another proof of Harer-Zagier formula
Published
• View Publication
• BIB
For a regular $2n$-gon there are $(2n-1)!!$ ways to match and glue the $2n$ sides. The Harer-Zagier bivariate generating function enumerates the gluings by $n$ and the genus $g$ of the attendant surface and leads to a recurrence equation for the counts of gluings with parameters $n$ and $g$. This formula was originally obtained by using the multidimensional Gaussian integrals. Soon after Jackson and later Zagier found alternative proofs that used the symmetric group characters. In this note we give a different, characters-based, proof. Its core is computing and marginally inverting Fourier transform of the underlying probability measure on $S_{2n}$. Aside from Murnaghan-Nakayama rule for one-hook diagrams, the counting techniques we use are of elementary, combinatorial nature.
Almost-spanning universality in random graphs
Published
• View Publication
• BIB
A graph $G$ is said to be $\mathcal H(n,Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. It is known that for any $\varepsilon > 0$ and any natural number $Δ$ there exists $c > 0$ such that the random graph $G(n,p)$ is asymptotically almost surely $\mathcal H((1-\varepsilon)n,Δ)$-universal for $p \geq c (\log n/n)^{1/Δ}$. Bypassing this natural boundary, we show that for $Δ\geq 3$ the same conclusion holds when $p = ω\left(n^{-\frac{1}{Δ-1}}\log^5 n\right)$.
Total [1,2]-domination in graphs
Published
• View Publication
• BIB
A subset $S\subseteq V$ in a graph $G=(V,E)$ is a total $[1,2]$-set if, for every vertex $v\in V$, $1\leq |N(v)\cap S|\leq 2$. The minimum cardinality of a total $[1,2]$-set of $G$ is called the total $[1,2]$-domination number, denoted by $γ_{t[1,2]}(G)$.
We establish two sharp upper bounds on the total [1,2]-domination number of a graph $G$ in terms of its order and minimum degree, and characterize the corresponding extremal graphs achieving these bounds. Moreover, we give some sufficient conditions for a graph without total $[1,2]$-set and for a graph with the same total $[1,2]$-domination number, $[1,2]$-domination number and domination number.
Spectra of infinite graphs with tails
Published
• View Publication
• BIB
We compute explicitly (modulo solutions of certain algebraic equations) the spectra of infinite graphs obtained by attaching one or several infinite paths to some vertices of certain finite graphs. The main result concerns a canonical form of the adjacency matrix of such infinite graphs. A complete answer is given in the case when the number of attached paths to each vertex is the same.
Minimum distance of Symplectic Grassmann codes
Published in Linear Algebra and its Applications 488: 124-134 (2016)
• View Publication
• BIB
We introduce the Symplectic Grassmann codes as projective codes defined by symplectic Grassmannians, in analogy with the orthogonal Grassmann codes introduced in [4]. Note that the Lagrangian-Grassmannian codes are a special class of Symplectic Grassmann codes. We describe the weight enumerator of the Lagrangian--Grassmannian codes of rank $2$ and $3$ and we determine the minimum distance of the line Symplectic Grassmann codes.
The Book Thickness of 1-Planar Graphs is Constant
Published
• View Publication
• BIB
In a book embedding, the vertices of a graph are placed on the spine of a book and the edges are assigned to pages, so that edges on the same page do not cross. In this paper, we prove that every $1$-planar graph (that is, a graph that can be drawn on the plane such that no edge is crossed more than once) admits an embedding in a book with constant number of pages. To the best of our knowledge, the best non-trivial previous upper-bound is $O(\sqrt{n})$, where $n$ is the number of vertices of the graph.
Dyck algebras, interval temporal logic and posets of intervals
Published
• View Publication
• BIB
We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-theoretic interpretation of such Heyting algebras, which we call Dyck algebras, by showing that they are the algebraic counterpart of a certain fragment of a classical interval temporal logic (also known as Halpern-Shoham logic). Finally, we propose a generalization of our approach, suggesting a similar study of the Heyting algebra arising from the poset of intervals of a finite poset using Birkhöff duality. In order to illustrate this, we show how several combinatorial parameters of Dyck paths can be expressed in terms of the Heyting algebra structure of Dyck algebras together with a certain total order on the set of atoms of each Dyck algebra.
Coxeter's frieze patterns at the crossroads of algebra, geometry and combinatorics
Published
• View Publication
• BIB
Frieze patterns of numbers, introduced in the early 70's by Coxeter, are currently attracting much interest due to connections with the recent theory of cluster algebras. The present paper aims to review the original work of Coxeter and the new developments around the notion of frieze, focusing on the representation theoretic, geometric and combinatorial approaches.