Showing 20 papers (Total: 83190 papers, 48060 authors in database)
All minor-minimal apex obstructions with connectivity two
Published in The Electronic Journal of Combinatorics 28(1) (2021), #P1.23
• View Publication
• BIB
A graph is an apex graph if it contains a vertex whose deletion leaves a planar graph. The family of apex graphs is minor-closed and so it is characterized by a finite list of minor-minimal non-members. The long-standing problem of determining this finite list of apex obstructions remains open. This paper determines the 133 minor-minimal, non-apex graphs that have connectivity two.
Edge-transitive graphs of small order and the answer to a 1967 question by Folkman
Published
• View Publication
• BIB
In this paper, we introduce a method for finding all edge-transitive graphs of small order, using faithful representations of transitive permutation groups of small degree, and we explain how we used this method to find all edge-transitive graphs of order up to $47$, and all bipartite edge-transitive graphs of order up to $63$. We also give an answer to a 1967 question of Folkman about semi-symmetric graphs of large valency; in fact we show that for semi-symmetric graphs of order $2n$ and valency $d$, the ratio $d/n$ can be arbitrarily close to $1$.
New Classes of Infinite Image Partition Regular Matrices Near Zero
Published
• View Publication
• BIB
Image partition regular matrices near zero generalizes many classical results of Ram- sey Theory. There are several characterizations of finite image partition regular matrices near zero. Contrast to the finite cases there are only few classes of matri- ces that are known to be infinite image partition regular near zero. In this present work we have produced several new examples of such classes.
Some results and a conjecture on certain subclasses of graphs according to the relations among certain energies, degrees and conjugate degrees of graphs
Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that $\mathcal{E}(G)\leq \sum_{i=1}^{n} \sqrt{d_i}$ and $\sum_{i=1}^{n} \sqrt{d_i^*} \leq LEL(G) \leq IE(G) \leq \sum_{i=1}^{n} \sqrt{d_i}$, where $\mathcal{E}(G)$, $LEL(G)$ and $IE(G)$ are the energy, the Laplacian-energy-like invariant and the incidence energy of $G$, respectively, and in \cite{DasMojallalGutman2017} it was concluded that the class of all connected simple graphs of order $n$ can be dividend into four subclasses according to the position of $\mathcal{E}(G)$ in the order relations above. Then, they proposed a problem about characterizing all graphs in each subclass. In this paper, we attack this problem. First, we count the number of graphs of order $n$ in each of four subclasses for every $1\leq n \leq 8$ using a Sage code. Second, we present a conjecture on the ratio of the number of graphs in each subclass to the number of all graphs of order $n$ as $n$ approaches the infinity. Finally, as a first partial solution to the problem, we determine subclasses to which a path, a complete graph and a cycle graph of order $n\geq 1$ belong.
Quasi-Sturmian colorings on regular trees
Published in Ergod. Th. & Dynam. Sys. 40(12) (2020) 3403-3419
• View Publication
• BIB
Quasi-Sturmian words, which are infinite words with factor complexity eventually $n+c$ share many properties with Sturmian words. In this paper, we study the quasi-Sturmian colorings on regular trees. There are two different types, bounded and unbounded, of quasi-Sturmian colorings. We obtain an induction algorithm similar to Sturmian colorings. We distinguish them by the recurrence function.
Permutations avoiding 312 and another pattern, Chebyshev polynomials and longest increasing subsequences
Published in Adv. in Appl. Math. Volume 116, May 2020, 102002
• View Publication
• BIB
We study the longest increasing subsequence problem for random permutations avoiding the pattern $312$ and another pattern $τ$ under the uniform probability distribution. We determine the exact and asymptotic formulas for the average length of the longest increasing subsequences for such permutation classes specifically when the pattern $τ$ is monotone increasing or decreasing, or any pattern of length four.
Punctured intervals tile $\mathbb Z^3$
Published
• View Publication
• BIB
Extending the methods of Metrebian (2018), we prove that any symmetric punctured interval tiles $\mathbb Z^3$. This solves two questions of Metrebian and completely resolves a question of Gruslys, Leader and Tan. We also pose a question that asks whether there is a relation between the genus $g$ (number of holes) in a one-dimensional tile $T$ and a uniform bound $d$ such that $T$ tiles $\mathbb{Z}^d$. An affirmative answer would generalize a conjecture of Gruslys, Leader and Tan (2016).
Two first-order logics of permutations
Published
• View Publication
• BIB
We consider two orthogonal points of view on finite permutations, seen as pairs of linear orders (corresponding to the usual one line representation of permutations as words) or seen as bijections (corresponding to the algebraic point of view). For each of them, we define a corresponding first-order logical theory, that we call $\mathsf{TOTO}$ (Theory Of Two Orders) and $\mathsf{TOOB}$ (Theory Of One Bijection) respectively. We consider various expressibility questions in these theories.
Our main results go in three different direction. First, we prove that, for all $k \ge 1$, the set of $k$-stack sortable permutations in the sense of West is expressible in $\mathsf{TOTO}$, and that a logical sentence describing this set can be obtained automatically. Previously, descriptions of this set were only known for $k \le 3$. Next, we characterize permutation classes inside which it is possible to express in $\mathsf{TOTO}$ that some given points form a cycle. Lastly, we show that sets of permutations that can be described both in $\mathsf{TOOB}$ and $\mathsf{TOTO}$ are in some sense trivial. This gives a mathematical evidence that permutations-as-bijections and permutations-as-words are somewhat different objects.
Szemerédi-Trotter type results in arbitrary finite fields
Let $q$ be a power of a prime and $\mathbb{F}_q$ the finite field consisting of $q$ elements. We prove explicit upper bounds on the number of incidences between lines and Cartesian products in $\mathbb{F}_q^2$. We also use our results on point-line incidences to give new sum-product type estimates concerning sums of reciprocals.
Growing Graceful and Harmonious Trees
We describe symbolic constructions for listing and enumerating graphs having the same induced edge label sequence. We settle in the affirmative R. Whitty's [W08] conjectured existence of determinantal constructions for listing and enumerating gracefully labeled trees. We conclude the paper with a description of a new graceful labeling algorithm.
Rigid linkages and partial zero forcing
Published
• View Publication
• BIB
Connections between vital linkages and zero forcing are established. Specifically, the notion of a rigid linkage is introduced as a special kind of unique linkage and it is shown that spanning forcing paths of a zero forcing process form a spanning rigid linkage and thus a vital linkage. A related generalization of zero forcing that produces a rigid linkage via a coloring process is developed. One of the motivations for introducing zero forcing is to provide an upper bound on the maximum multiplicity of an eigenvalue among the real symmetric matrices described by a graph. Rigid linkages and a related notion of rigid shortest linkages are utilized to obtain bounds on the multiplicities of eigenvalues of this family of matrices.
Toward a Nordhaus-Gaddum Inequality for the Number of Dominating Sets
Published in Involve 12 (2019) 1175-1181
• View Publication
• BIB
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex of $G$ is either in $S$ or is adjacent to a vertex in $S$. Nordhaus-Gaddum inequailties relate a graph $G$ to its complement $\bar{G}$. In this spirit Wagner proved that any graph $G$ on $n$ vertices satisfies $\partial(G)+\partial(\bar{G})\geq 2^n$ where $\partial(G)$ is the number of dominating sets in a graph $G$. In the same paper he comments that an upper bound for $\partial(G)+\partial(\bar{G})$ among all graphs on $n$ vertices seems to be much more difficult. Here we prove an upper bound on $\partial(G)+\partial(\bar{G})$ and prove that any graph maximizing this sum has minimum degree at least $\lfloor n/2\rfloor-2$ and maximum degree at most $\lfloor n/2\rfloor+1$. We conjecture that the complete balanced bipartite graph maximizes $\partial(G)+\partial(\bar{G})$ and have verified this computationally for all graphs on at most $10$ vertices.
An orthosymplectic Pieri rule
Published in Electron. J. Comb. Vol 25, Issue 3 (2018), Paper #P3.37
• View Publication
• BIB
The classical Pieri formula gives a combinatorial rule for decomposing the product of a Schur function and a complete homogeneous symmetric polynomial as a linear combination of Schur functions with integer coefficients. We give a Pieri rule for describing the product of an orthosymplectic character and an orthosymplectic character arising from a one-row partition. We establish that the orthosymplectic Pieri rule coincides with Sundaram's Pieri rule for symplectic characters and that orthosymplectic characters and symplectic characters obey the same product rule.
Lattices from graph associahedra and subalgebras of the Malvenuto-Reutenauer algebra
Published
• View Publication
• BIB
The Malvenuto-Reutenauer algebra is a well-studied combinatorial Hopf algebra with a basis indexed by permutations. This algebra contains a wide variety of interesting sub Hopf algebras, in particular the Hopf algebra of plane binary trees introduced by Loday and Ronco. We compare two general constructions of subalgebras of the Malvenuto-Reutenauer algebra, both of which include the Loday-Ronco algebra. The first is a construction by Reading defined in terms of lattice quotients of the weak order, and the second is a construction by Ronco in terms of graph associahedra. To make this comparison, we consider a natural partial ordering on the maximal tubings of a graph and characterize those graphs for which this poset is a lattice quotient of the weak order.
A Brief Survey on Lattice Zonotopes
Published
• View Publication
• BIB
Zonotopes are a rich and fascinating family of polytopes, with connections to many areas of mathematics. In this article we provide a brief survey of classical and recent results related to lattice zonotopes. Our emphasis is on connections to combinatorics, both in the sense of enumeration (e.g. Ehrhart theory) and combinatorial structures (e.g. graphs and permutations).
The norm and the evaluation of the Macdonald polynomials in superspace
We demonstrate the validity of previously conjectured explicit expressions for the norm and the evaluation of the Macdonald polynomials in superspace. These expressions, which involve the arm-lengths and leg-lengths of the cells in certain Young diagrams, specialize to the well known formulas for the norm and the evaluation of the usual Macdonald polynomials.
Subtrees of a random tree
Let $T$ be a random tree taken uniformly at random from the family of labelled trees on $n$ vertices. In this note, we provide bounds for $c(n)$, the number of sub-trees of $T$ that hold asymptotically almost surely. With computer support we show that $1.41805386^n \le c(n) \le 1.41959881^n$. Moreover, there is a strong indication that, in fact, $c(n) \le 1.41806183^n$.
Rainbow matchings in properly-colored hypergraphs
Published
• View Publication
• BIB
A hypergraph $H$ is properly colored if for every vertex $v\in V(H)$, all the edges incident to $v$ have distinct colors. In this paper, we show that if $H_{1}$, \cdots, $H_{s}$ are properly-colored $k$-uniform hypergraphs on $n$ vertices, where $n\geq3k^{2}s$, and $e(H_{i})>{{n}\choose {k}}-{{n-s+1}\choose {k}}$, then there exists a rainbow matching of size $s$, containing one edge from each $H_i$. This generalizes some previous results on the Erdős Matching Conjecture.
On Local Antimagic Vertex Coloring for Corona Products of Graphs
Let $G = (V, E)$ be a finite simple undirected graph without $K_2$ components. A bijection $f : E \rightarrow \{1, 2,\cdots, |E|\}$ is called a {\bf local antimagic labeling} if for any two adjacent vertices $u$ and $v$, they have different vertex sums, i.e. $w(u) \neq w(v)$, where the vertex sum $w(u) = \sum_{e \in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color(vertex sum) $w(v)$. The {\bf local antimagic chromatic number} $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this article among others we determine completely the local antimagic chromatic number $χ_{la}(G\circ \overline{K_m})$ for the corona product of a graph $G$ with the null graph $\overline{K_m}$ on $m\geq 1$ vertices, when $G$ is a path $P_n$, a cycle $C_n$, and a complete graph $K_n$.
A bilinear Bogolyubov-Ruzsa lemma with poly-logarithmic bounds
Published in Discrete Analysis 2019:10, 14 pp
• View Publication
• BIB
The Bogolyubov-Ruzsa lemma, in particular the quantitative bounds obtained by Sanders, plays a central role in obtaining effective bounds for the inverse $U^3$ theorem for the Gowers norms. Recently, Gowers and Milićević applied a bilinear Bogolyubov-Ruzsa lemma as part of a proof of the inverse $U^4$ theorem with effective bounds. The goal of this note is to obtain quantitative bounds for the bilinear Bogolyubov-Ruzsa lemma which are similar to those obtained by Sanders for the Bogolyubov-Ruzsa lemma.
We show that if a set $A \subset \mathbb{F}_p^n \times \mathbb{F}_p^n$ has density $α$, then after a constant number of horizontal and vertical sums, the set $A$ would contain a bilinear structure of co-dimension $r=\log^{O(1)} α^{-1}$. This improves the results of Gowers and Milićević which obtained similar results with a weaker bound of $r=\exp(\exp(\log^{O(1)} α^{-1}))$ and by Bienvenu and Lê which obtained $r=\exp(\exp(\exp(\log^{O(1)} α^{-1})))$.