Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Minimum forcing numbers of perfect matchings of circular and prismatic graphs
Let $G$ be a graph with a perfect matching. Denote by $f(G)$ the minimum size of a matching in $G$ which is uniquely extendable to a perfect matching in $G$. Diwan (2019) proved by linear algebra that for $d$-hypercube $Q_d$ ($d\geq 2)$, $f(Q_n)=2^{d-2}$, settling a conjecture proposed by Pachter and Kim in 1998. Recently Mohammadian generalized this method to obtain a general result: for a bipartite graph $G$ on $n$ vertices, if there exists an involutory matrix $A$ on a field $F$ as a weighted adjacency matrix then $f(G\Box K_2)=\frac{n}{2}$. In this paper, under the same condition we obtain $f(G\Box C_{2k})=n ~(k\ge2)$. Also this method can be applied to some non-balanced bipartite graphs $G$ whenever $G$ admit a weighted bi-adjacency matrix with orthogonal rows.
The Towers of Fibonacci, Lucas, Pell, and Jacobsthal
We present in this paper four new variants of the Tower of Hanoi problem, the optimal solution of each of these variants is related to one of the four known numbers Fibonacci, Lucas, Pell, and Jacobsthal. We give an optimal solution to each of these variants, and we present their associated graphs.
A signless Laplacian spectral Erdös-Stone-Simonovits theorem
The celebrated Erdős--Stone--Simonovits theorem states that $\mathrm{ex}(n,F)= \big(1-\frac{1}{χ(F)-1}+o(1) \big)\frac{n^{2}}{2}$, where $χ(F)$ is the chromatic number of $F$. In 2009, Nikiforov proved a spectral extension of the Erdős--Stone--Simonovits theorem in terms of the adjacency spectral radius. In this paper, we shall establish a unified extension in terms of the signless Laplacian spectral radius. Let $q(G)$ be the signless Laplacian spectral radius of $G$ and we denote $\mathrm{ex}_{q}(n,F) =\max \{q(G):|G|=n ~\mbox{and}~F\nsubseteq G\}$. It is known that the Erdős--Stone--Simonovits type result for the signless Laplacian spectral radius does not hold for even cycles. We prove that if $F$ is a graph with $χ(F)\geq 3$, then $\mathrm{ex}_{q}(n,F)=\big(1-\frac{1}{χ(F)-1}+o(1) \big)2n$. This solves a problem proposed by Li, Liu and Feng (2022), which gives an entirely satisfactory answer to the problem of estimating $\mathrm{ex}_q(n,F)$. Furthermore, it extends the aforementioned result of Erdős, Stone and Simonovits as well as the spectral result of Nikiforov. Our result indicates that the Erdős--Stone--Simonovits type result regarding the signless Laplacian spectral radius is valid in general.
An introduction to local tropicalization
In this paper we explain four viewpoints on the local tropicalization of formal subgerms of toric germs, which is a local analog of the global tropicalization of subvarieties of algebraic tori. We start by illustrating some of those viewpoints for plane curve singularities, then we pass to arbitrary dimensions. We conclude by describing several variants and extensions of the notion of local tropicalization presented in this paper.
Hamiltonian Cycles in Signed and Multisigned Complete Graphs
A signed complete graph contains both positive and negative Hamiltonian cycles if and only if it also contains both positive and negative triangles. Otherwise, all Hamiltonian cycles are negative if and only if all triangles are negative and n is odd, while all Hamiltonian cycles are positive if and only if all triangles are negative and n is even, or all triangles are positive. Extending these results to multisigned complete graphs, we prove that such a graph contains at least two Hamiltonian cycles with different multisigns if and only if it contains at least two triangles with different multisigns.
Trees with non log-concave independent set sequences
We construct a family of trees with independence numbers going to infinity for which the log-concavity relation for the independent set sequence of a tree $T$ in the family fails at around $α(T)\left(1-1/(16\log α(T))\right)$. Here $α(T)$ is the independence number of $T$. This resolves a conjecture of Kadrawi and Levit.
Chords of longest cycles passing through a specified small set
A long-standing conjecture of Thomassen says that every longest cycle of a $3$-connected graph has a chord. Thomassen (2018) proved that if $G$ is $2$-connected and cubic, then any longest cycle must have a chord. He also showed that if $G$ is a $3$-connected graph with minimum degree at least $4$, then some of the longest cycles in $G$ must have a chord. Zhang (1987) proved that if $G$ is a $3$-connected simple planar graph which is 3-regular or has minimum degree at least $4$, then every longest cycle of $G$ must have a chord. Recently, Li and Liu showed that if $G$ is a $2$-connected cubic graph and $x, y$ are two distinct vertices of $G$, then every longest $(x,y)$-path of $G$ contains at least one internal vertex whose neighbors are all in the path. In this paper, we study chords of longest cycles passing through a specified small set and generalize Thomassen's and Zhang's above results by proving the following results. (i) Let $G$ be a $2$-connected cubic graph and $S$ be a specified set consisting of an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. (ii) Let $G$ be a $3$-connected graph with minimum degree at least $4$ and $e$ be a specified edge of $G$. Then some longest cycle of $G$ containing $e$ must have a chord. (iii) Let $G$ be a $3$-connected planar graph with minimum degree at least $4$. Suppose $S$ is a specified set consisting of either three vertices or an edge plus a vertex. Then every longest cycle of $G$ containing $S$ must have a chord. We also extend the above-mentioned result of Li and Liu for $2$-connected cubic graphs.
Enumeration of consecutive patterns in flattened Catalan words
A Catalan word $w$ is said to be flattened if the subsequence of $w$ obtained by taking the first letter of each weakly increasing run is nondecreasing. Let $\mathcal{F}_n$ denote the set of flattened Catalan words of length $n$, which has cardinality $\frac{3^{n-1}+1}{2}$ for all $n \geq 1$. In this paper, we consider the distribution of several consecutive patterns on $\mathcal{F}_n$. Indeed, we find explicit formulas for the generating functions of the joint distribution on $\mathcal{F}_n$ of several trios of patterns, along with an auxiliary parameter. As special cases of these formulas, we obtain the generating function for the distribution of all consecutive patterns of length two or three. The following equivalences with regard to being identically distributed on $\mathcal{F}_n$ arise when comparing the various generating functions and may be explained bijectively: $112\approx122$ and $211\approx221\approx231$. In addition, explicit expressions are found for the total number of occurrences on $\mathcal{F}_n$ of each pattern of length two or three as well as for the number of avoiders of each pattern. These results can be obtained as special cases of our more general formulas for the generating functions, but may be explained combinatorially as well, the arguments of which are featured herein.
Incidence bounds related to circular Furstenberg sets
We prove bounds on approximate incidences between families of circles and families of points in the plane. As a consequence, we prove a lower bound for the dimension of circular $(u,v)$-Furstenberg sets, which is new for large $u$ and $v$.
New Necessary Conditions for Existence of Strong External Difference Families
Strong external difference families (SEDFs) were introduced by Paterson and Stinson as a more restrictive version of external difference families. SEDFs can be used to produce optimal strong algebraic manipulation detection codes. In this paper, we use the theory of cyclotomic fields, algebraic number theory and character theory to give some new necessary conditions for the existence of SEDFs. Based on the results of decomposition of prime ideals and Schmidt's field descent method, two exponent bounds of SEDFs are presented. Based on the field descent method, a special homomorphism from an abelian group to its cyclic subgroup and Gauss sums, some bounds for prime divisors of $v$ and some congruence relations between $k, m$ and $λ$ for $(v,m,k,λ)$-SEDFs with $m>2$ are established.
Counting alternating permutations with restricted prefix and suffix
In this paper, we use Hasse diagrams and generating functions to count alternating permutations with restricted prefix and suffix of lengths 3 and 4. In other words, for an alternating permutation $σ=σ_1σ_2σ_3\cdotsσ_{n}\in S_{n}$, we restrict length-3 prefixes $σ_1σ_2σ_3$ to follow certain patterns, such as $231$ and $132$, or follow certain restrictions such as $σ_2 \geq \max\{σ_1,σ_3\}+2$, similarly for prefixes of length 4. We also study the enumeration of alternating permutations with restrictions on both prefix and suffix.
Proof of a conjecture of Green and Liebeck on codes in symmetric groups
Let $A$ and $B$ be subsets of a finite group $G$ and $r$ a positive integer. If for every $g\in G$, there are precisely $r$ pairs $(a,b)\in A\times B$ such that $g=ab$, then $B$ is called a code in $G$ with respect to $A$ and we write $r G=A\boldsymbol{\cdot}B$. If in addition $B$ is a subgroup of $G$, then we say that $B$ is a subgroup code in $G$. In this paper we resolve a conjecture by Green and Liebeck \cite[Conjecture 2.3]{Green20} on certain subgroup codes in the symmetric group $S_n$. Let $n>2k$ and let $j$ be such that $2^j\leqslant k<2^{j+1}$. Suppose that $X$ is a conjugacy class in $S_n$ containing $x$, and $Y_k$ is the subgroup $S_k\times S_{n-k}$ of $S_n$, where the factor $S_k$ permutes the subset $\{1,\ldots,k\}$ and the factor $S_{n-k}$ permutes the subset $\{k+1,\ldots,n\}$. We prove that $r S_n=X\boldsymbol{\cdot}Y_k$ for some positive integer $r$ if and only if the cycle type of $x$ has exactly one cycle of length $2^i$ for $0\leqslant i\leqslant j$ and all other cycles have length at least $k+1$. We also propose several problems concerning the existence of certain subgroup codes in a finite group $G$ with respect to a conjugation-closed subset in $G$.
Recursions for quadratic rotation symmetric functions weights
A Boolean function in $n$ variables is rotation symmetric (RS) if it is invariant under powers of $ρ(x_1, \ldots, x_n) = (x_2, \ldots, x_n, x_1)$. An RS function is called monomial rotation symmetric (MRS) if it is generated by applying powers of $ρ$ to a single monomial. The author showed in $2017$ that for any RS function $f_n$ in $n$ variables, the sequence of Hamming weights $wt(f_n)$ for all values of $n$ satisfies a linear recurrence with associated recursion polynomial given by the minimal polynomial of a {\em rules matrix}. Examples showed that the usual formula for the weights $wt(f_n)$ in terms of powers of the roots of the minimal polynomial always has simple coefficients. The conjecture that this is always true is the Easy Coefficients Conjecture (ECC). The present paper proves the ECC if the rules matrix satisfies a certain condition. Major applications include an enormous decrease in the amount of computation that is needed to determine the values of $wt(f_n)$ for a quadratic RS function $f_n$ if either $n$ or the order of the recursion for the weights is large, and a simpler way to determine the Dickson form of $f_n.$ The ECC also enables rapid computation of generating functions which give the values of $wt(f_n)$ as coefficients in a power series.
Light Edge Fault Tolerant Graph Spanners
There has recently been significant interest in fault tolerant spanners, which are spanners that still maintain their stretch guarantees after some nodes or edges fail. This work has culminated in an almost complete understanding of the three-way tradeoff between stretch, sparsity, and number of faults tolerated. However, despite some progress in metric settings, there have been no results to date on the tradeoff in general graphs between stretch, lightness, and number of faults tolerated.
We initiate the study of light edge fault tolerant (EFT) graph spanners, obtaining the first such results. First, we observe that lightness can be unbounded if we use the traditional definition (normalizing by the MST). We then argue that a natural definition of fault-tolerant lightness is to instead normalize by a min-weight fault tolerant connectivity preserver; essentially, a fault-tolerant version of the MST. However, even with this, we show that it is still not generally possible to construct $f$-EFT spanners whose weight compares reasonably to the weight of a min-weight $f$-EFT connectivity preserver.
In light of this lower bound, it is natural to then consider bicriteria notions of lightness, where we compare the weight of an $f$-EFT spanner to a min-weight $(f' > f)$-EFT connectivity preserver. The most interesting question is to determine the minimum value of $f'$ that allows for reasonable lightness upper bounds. Our main result is a precise answer to this question: $f' = 2f$. In particular, we show that the lightness can be untenably large (roughly $n/k$ for a $k$-spanner) if one normalizes by the min-weight $(2f-1)$-EFT connectivity preserver. But if one normalizes by the min-weight $2f$-EFT connectivity preserver, then we show that the lightness is bounded by just $O(f^{1/2})$ times the non-fault tolerant lightness (roughly $n^{1/k}$, for a $(1+ε)(2k-1)$-spanner).
Involutions on Tip-Augmented Plane Trees for Leaf Interchanging
This paper constructs two involutions on tip-augmented plane trees, as defined by Donaghey, that interchange two distinct types of leaves while preserving all other leaves. These two involutions provide bijective explanations addressing a question posed by Dong, Du, Ji, and Zhang in their work.
Bipartite graphs with the double Hall property
The super-neighborhood of a vertex set $A$ in a graph $G$, denoted by $Λ^2(A)$, is the set of vertices adjacent to at least two vertices in $A$. We say that a bipartite graph $G=(X, Y)$ with $|X| \geq 2$ satisfies the double Hall property (with respect to $X$) if $|Λ^2(A)| \geq |A|$ for any subset $A \subseteq X$ with $|A| \geq 2$. Kostochka et al. first conjectured that if a bipartite graph $G=(X, Y)$ satisfies a slightly weaker version of the double Hall property, then $G$ contains a cycle that covers all vertices of $X$. They verified their conjecture for $|X| \leq 6$. In this paper, we extend their result to $|X| = 7$. Later, Salia conjectured that every bipartite graph satisfying the double Hall property has a cycle covering all vertices of $X$. We show that Salia's conjecture is almost equivalent to a much weaker conjecture requiring vertices in $Y$ to have high degrees. By extending a result of Barát et al., we also show that Salia's conjecture holds for some graphs where the vertices of $Y$ have degree either $2$ or very high. Finally, we establish a lower bound for the maximum degree of graphs satisfying the double Hall property and present deterministic and probabilistic constructions of such graphs that approach this bound.
On Turán problems for suspension hypergraphs
For a given graph $F$, the $r$-uniform suspension of $F$ is the $r$-uniform hypergraph obtained from $F$ by taking $r-2$ new vertices and adding them to every edge. In this paper, we consider Turán problems on suspension hypergraphs, and we obtain several general and exact results.
Orbits on a product of two flags and a line and the Bruhat Order, I
Let $G=GL(n)$ be the $n\times n$ complex general linear group and let $\mathcal{B}_{n}$ be its flag variety. The standard Borel subgroup $B$ of upper triangular matrices acts on the product $\mathcal{B}_{n}\times \mathbb{P}^{n-1}$ with finitely many orbits. In this paper, we study the $B$-orbits on the subvarieties $\mathcal{B}_{n}\times \mathcal{O}_{i}$, where $\mathcal{O}_{i}$ is the $B$-orbit on $\mathbb{P}^{n-1}$ containing the line through the origin in the direction of the $i$-th standard basis vector of $\mathbb{C}^{n}$. For each $i=1,\dots, n$, we construct a bijection between $B$-orbits on $\mathcal{B}_{n}\times\mathcal{O}_{i}$ and certain pairs of Schubert cells in $\mathcal{B}_{n}\times\mathcal{B}_{n}$. We also show that this bijection can be used to understand the Richardson-Springer monoid action on such $B$-orbits in terms of the classical monoid action of the symmetric group on itself. We also develop combinatorial models of these orbits and use these models to compute exponential generating functions for the sequences $\{|B\backslash(\mathcal{B}_{n}\times\mathcal{O}_{i})|\}_{n\geq 1}$ and $\{|B\backslash (\mathcal{B}_{n}\times \mathbb{P}^{n-1})|\}_{n\geq 1}$. In the sequel to this paper, we use the results of this paper to construct a correspondence between $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ and a collection of $B$-orbits on the flag variety $\mathcal{B}_{n+1}$ of $GL(n+1)$ and show that this correspondence respects closures relations and preserves monoid actions. As a consequence both closure relations and monoid actions for all $B$-orbits on $\mathcal{B}_{n}\times\mathbb{P}^{n-1}$ can be understood via the Bruhat order by using our results in [CE].
Unavoidable subgraphs in Ramsey graphs
We study subgraphs that appear in large Ramsey graphs for a given graph $F$. The recent girth Ramsey theorem of the first two authors asserts that there are Ramsey graphs such that all small subgraphs are `forests of copies of $F$' amalgamated on vertices and edges. We derive a few further consequences from this structural result and investigate to which extent such forests of copies must be present in Ramsey graphs.
Minimum maximal matchings in permutahedra
We prove that the minimal size $M(π_n)$ of a maximal matching in the permutahedron $π_n$ is asymptotically $n!/3$. On the one hand, we obtain a lower bound $M(π_n) \ge n! (n-1) / (3n-2)$ by considering $4$-cycles in the permutahedron. On the other hand, we obtain an asymptotical upper bound $M(π_n) \le n!(1/3+o(1))$ by multiple applications of Hall's theorem (similar to the approach of Forcade (1973) for the hypercube) and an exact upper bound $M(π_n) \le n!/3$ by an explicit construction. We also derive bounds on minimum maximal matchings in products of permutahedra.