Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The structure and the list 3-dynamic coloring of outer-1-planar graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (August 27, 2021) dmtcs:5860
• View Publication
• BIB
An outer-1-planar graph is a graph admitting a drawing in the plane so that all vertices appear in the outer region of the drawing and every edge crosses at most one other edge. This paper establishes the local structure of outer-1-planar graphs by proving that each outer-1-planar graph contains one of the seventeen fixed configurations, and the list of those configurations is minimal in the sense that for each fixed configuration there exist outer-1-planar graphs containing this configuration that do not contain any of another sixteen configurations. There are two interesting applications of this structural theorem. First of all, we conclude that every (resp. maximal) outer-1-planar graph of minimum degree at least 2 has an edge with the sum of the degrees of its two end-vertices being at most 9 (resp. 7), and this upper bound is sharp. On the other hand, we show that the list 3-dynamic chromatic number of every outer-1-planar graph is at most 6, and this upper bound is best possible.
Reflection groups and quiver mutation: Diagrammatics
Published
• View Publication
• BIB
We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel and Tsaranov as well as Barot and Marsh.
Power Partitions and Semi-m-Fibonacci Partitions
Published
• View Publication
• BIB
George Andrews recently proved a new identity between the cardinalities of the set of Semi-Fibonacci partitions and the set of partitions into powers of two with all parts appearing an odd number of times. This paper extends the identity to the set of Semi-$m$-Fibonacci partitions of $n$ and the set of partitions of $n$ into powers of $m$ in which all parts appear with multiplicity not divisible by $m$.
The cover time of a sparse random intersection graph
Many known networks have structure of affiliation networks, where each of $n$ network's nodes (actors) selects an attribute set from a given collection of $m$ attributes and two nodes (actors) establish adjacency relation whenever they share a common attribute. We study behaviour of the random walk on such networks. For that purpose we use commonly used model of such networks -- random intersection graph. We establish the cover time of the simple random walk on the binomial random intersection graph ${\cal G}(n,m,p)$ at the connectivity threshold and above it. We consider the range of $n,m,p$ where the typical attribute is shared by (stochastically) bounded number of actors.
On the product of elements with prescribed trace
Published
• View Publication
• BIB
This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\mathrm{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in $\mathbb{K}$, is it possible to write $z$ as a product $x\cdot y$, where $x,y\in \mathbb{L}$ with $\mathrm{Tr}(x)=a, \mathrm{Tr}(y)=b$? We solve most of these problems for finite fields, with a complete solution when the degree of the extension is at least $5$. We also have results for arbitrary fields and extensions of degrees $2,3$ or $4$. We then apply our results to the study of PN functions, semifields, irreducible polynomials with prescribed coefficients, and to a problem from finite geometry concerning the existence of certain disjoint linear sets.
The 2-associahedra are Eulerian
Published
• View Publication
• BIB
We show that the 2-associahedra are Eulerian, by exploiting their recursive structure.
A King in every two consecutive tournaments
We think of a tournament $T=([n], E)$ as a communication network where in each round of communication processor $P_i$ sends its information to $P_j$, for every directed edge $ij \in E(T)$. By Landau's theorem (1953) there is a King in $T$, i.e., a processor whose initial input reaches every other processor in two rounds or less. Namely, a processor $P_ν$ such that after two rounds of communication along $T$'s edges, the initial information of $P_ν$ reaches all other processors. Here we consider a more general scenario where an adversary selects an arbitrary series of tournaments $T_1, T_2,\ldots$, so that in each round $s=1, 2, \ldots$, communication is governed by the corresponding tournament $T_s$. We prove that for every series of tournaments that the adversary selects, it is still true that after two rounds of communication, the initial input of at least one processor reaches everyone. Concretely, we show that for every two tournaments $T_1, T_2$ there is a vertex in $[n]$ that can reach all vertices via (i) A step in $T_1$, or (ii) A step in $T_2$ or (iii) A step in $T_1$ followed by a step in $T_2$. }
Principal specializations of Schubert polynomials and pattern containment
Published
• View Publication
• BIB
We show that the principal specialization of the Schubert polynomial at $w$ is bounded below by $1+p_{132}(w)+p_{1432}(w)$ where $p_u(w)$ is the number of occurrences of the pattern $u$ in $w$, strengthening a previous result by A. Weigandt. We then make a conjecture relating the principal specialization of Schubert polynomials to pattern containment. Finally, we characterize permutations $w$ whose RC-graphs are connected by simple ladder moves via pattern avoidance.
Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$
Published in Acta Mathematica Sinica, English Series (2024) 40(4), 1015--1028
• View Publication
• BIB
In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv p\left(\frac{-2}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}$ is the $n$-th Euler number.
Further Bijections to Pattern-Avoiding Valid Hook Configurations
Published
• View Publication
• BIB
Valid hook configurations are combinatorial objects used to understand West's stack-sorting map. We extend existing bijections corresponding valid hook configurations to intervals in partial orders on Motzkin paths. To enumerate valid hook configurations on $312$-avoiding permutations, we build off of an existing bijection into a Motzkin poset and construct a bijection to certain well-studied closed lattice walks in the first quadrant. We use existing results about these lattice paths to show that valid hook configurations on $312$-avoiding permutations are not counted by a $D$-finite generating function, resolving a question of Defant's, and additionally to compute asymptotics for the number of such configurations. We also extend a bijection of Defant's to a correspondence between valid hook configurations on $132$-avoiding permutations and intervals in the Motzkin-Tamari posets, providing a more elegant proof of Defant's enumeration thereof. To investigate this bijection, we present a number of lemmas about valid hook configurations that are generally applicable and further study the bijections of Defant's.
Bijections on Dyck tilings: DTS/DTR bijections, Dyck tableaux and tree-like tableaux
Dyck tilings are certain tilings in the region surrounded by two Dyck paths. We study bijections and combinatorial objects bijective to Dyck tilings, which include Dyck tiling strip (DTS) and Dyck tiling ribbon (DTR) bijections, increasing and decreasing trees, Hermite histories, Dyck tableaux and tree-like tableaux. Dyck tableaux and tree-like tableaux are originally defined for a zigzag path, or equivalently a permutation. We generalize them to the case of general Dyck paths. We show that the most properties of Dyck tableaux can be generalized to the generic case, and show some enumerative results on generalized tree-like tableaux. We also show connections among DTS and DTR bijections, Hermite histories, involutions on increasing and decreasing trees and the reflection of Dyck tilings.
The exact complexity of the Tutte polynomial
Published
• View Publication
• BIB
This is a survey on the exact complexity of computing the Tutte polynomial. It is the longer 2017 version of Chapter 25 of the CRC Handbook on the Tutte polynomial and related topics, edited by J. Ellis-Monaghan and I. Moffatt, which is due to appear in the first quarter of 2020. In the version to be published in the Handbook the Sections 5 and 6 are shortened and made into a single section.
Minimum-weight combinatorial structures under random cost-constraints
Published in Electron. J. Combin. 28 (2021), no. 1, Paper No. 1.20,-18
• View Publication
• BIB
Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the minimum-length structure whose total cost is less than some cost budget. For several classes of structures, we determine the correct minimum length structure as a function of the cost-budget, up to constant factors. Moreover, we achieve this even in the more general setting where the distribution of weights and costs are arbitrary, so long as the density $f(x)$ as $x\to 0$ behaves like $cx^γ$ for some $γ\geq 0$; previously, this case was not understood even in the absence of cost constraints. We also handle the case where each edge has several independent costs associated to it, and we must simultaneously satisfy budgets on each cost. In this case, we show that the minimum-length structure obtainable is essentially controlled by the product of the cost thresholds.
Systematic Counting of Restricted Partitions
Integer partitions are one of the most fundamental objects of combinatorics (and number theory), and so is enumerating objects avoiding patterns. In the present paper we describe two approaches for the systematic counting of classes of partitions avoiding an arbitrary set of "patterns".
PushTASEP in inhomogeneous space
Published
• View Publication
• BIB
We consider the PushTASEP (pushing totally asymmetric simple exclusion process, also sometimes called long-range TASEP) with the step initial configuration evolving in an inhomogeneous space. That is, the rate of each particle's jump depends on the location of this particle. We match the distribution of the height function of this PushTASEP with Schur processes. Using this matching and determinantal structure of Schur processes, we obtain limit shape and fluctuation results which are typical for stochastic particle systems in the Kardar-Parisi-Zhang universality class. PushTASEP is a close relative of the usual TASEP. In inhomogeneous space the former is integrable, while the integrability of the latter is not known.
On Critical nets in $\mathbb{R}^k$
Published
• View Publication
• BIB
Critical nets in $\mathbb{R}^k$ (sometimes called geodesic nets) are embedded graph with the property that their embedding is a critical point of the total (edge) length functional and under the constraint that certain 1-valent vertices (leaves) have a fixed position. In contrast to what happens on generic manifolds, we show that, if n is the number of 1-valent vertices, the total length of the edges not incident with a 1-valent vertex is bounded by rn (where r is the outer radius), the degree of any vertex is bounded by n and that the number of edges (and hence the number of vertices) is bounded by nl where l is related to the combinatorial diameter of the graph.
Maximum sparse induced subgraphs of the binomial random graph with given number of edges
Published
• View Publication
• BIB
We prove that a.a.s. the maximum size of an induced subtree of the binomial random graph $G(n,p)$ is concentrated in 2 consecutive points. We also prove that, given a non-negative integer-valued function $t(k)<\varepsilon k^2$, under a certain smoothness condition on this function, a.a.s. the maximum size $k$ of an induced subgraph with exactly $t(k)$ edges of $G(n,p)$ is concentrated in 2 consecutive points as well.
On weighted sums of numbers of convex polygons in point sets
Published
• View Publication
• BIB
Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erdős-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty convex polygons to polygons with interior points. Analogous results for higher dimension are shown as well.
Strengthening some complexity results on toughness of graphs
Published
• View Publication
• BIB
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-tough bipartite graphs is coNP-complete (the case $t=1$ was already known), and this problem remains coNP-complete for $k$-connected bipartite graphs, and so does the problem of recognizing 1-tough r-regular bipartite graphs. To prove these statements we also deal with other related complexity problems on toughness. % In this paper we prove the following. For any positive rational number $t$, deciding whether $τ(G)=t$ is DP-complete and if $t < 1$, this problem remains DP-complete for bipartite graphs. For any integer $k \ge 2$ and positive rational number $t \le 1$, recognizing $t$-tough $k$-connected bipartite graphs is coNP-complete. For any integer $r \ge 5$, recognizing $1/2$-tough $r$-regular graphs is coNP-complete. For any integer $r \ge 6$, recognizing 1-tough $r$-regular bipartite graphs is coNP-complete. For any positive rational number $t < 2/3$ we give a polynomial time algorithm for recognizing 3-regular graphs with toughness $t$. Finally, we prove that every connected 4-regular graph is 1/2-tough.
Semantic Limits of Dense Combinatorial Objects
Published
• View Publication
• BIB
The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often associated with the name ``graph limits''. The language of graph limits is generally more intuitive and expressible, but a price that one has to pay for it is that it is better suited for the case of ordinary graphs than for more general combinatorial objects. Accordingly, there have been several attempts in the literature, of varying degree of generality, to define limit objects for more complicated combinatorial structures.
This paper is another attempt at a workable general theory of dense limit objects. Unlike previous efforts in this direction (with notable exception of [Ashwini Aroskar and James Cummings. Limits, regularity and removal for finite structures. Technical Report arXiv:1412.2014 [math.LO], arXiv e-print, 2014.]), we base our account on the same concepts from the first-order logic and the model theory as in the theory of flag algebras.
We show how our definition naturally encompasses a host of previously considered cases (graphons, hypergraphons, digraphons, permutons, posetons, colored graphs, etc.), and we extend the fundamental properties of existence and uniqueness to this more general case. We also give an intuitive general proof of the continuous version of the Induced Removal Lemma based on the completeness theorem for propositional calculus. We capitalize on the notion of an open interpretation that often allows to transfer methods and results from one situation to another. Again, we show that some previous arguments can be quite naturally framed using this language.