Showing 20 papers (Total: 82901 papers, 47900 authors in database)
The Turán number of blow-ups of trees
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.
Flagged $(\mathcal{P},ρ)$-partitions
Published
• View Publication
• BIB
We introduce the theory of $(\mathcal{P},ρ)$-partitions, depending on a poset $\mathcal{P}$ and a map $ρ$ from $\mathcal{P}$ to positive integers. The generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of $(\mathcal{P},ρ)$-partitions is a polynomial that, when the images of $ρ$ tend to infinity, tends to Stanley's generating function $F_{\mathcal{P}}$ of $\mathcal{P}$-partitions. Analogous to Stanley's fundamental theorem for $\mathcal{P}$-partitions, we show that the set of $(\mathcal{P},ρ)$-partitions decomposes as a disjoint union of $(\mathcal{L},ρ)$-partitions where $\mathcal{L}$ runs over the set of linear extensions of $\mathcal{P}$. In this more general context, the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for linear orders $\mathcal{L}$ over determines a basis of polynomials. We thus introduce the notion of flagged $(\mathcal{P},ρ)$-partitions, and we prove that the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for flagged $(\mathcal{L},ρ)$-partitions for linear orders $\mathcal{L}$ is precisely the fundamental slide basis of the polynomial ring, introduced by the first author and Searles. Our main theorem shows that any generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of flagged $(\mathcal{P},ρ)$-partitions is a positive integer linear combination of slide polynomials. As applications, we give a new proof of positivity of the slide product and, motivating our nomenclature, we also prove flagged Schur functions are slide positive.
The number of fuzzy subgroups of a finite abelian group of order $p^{n}q^{m}$
The purpose of this paper is to determine the number of fuzzy subgroups of a finite abelian group of order $p^{n}q^{m}$. As an application of our main result, explicit formulas for the number of fuzzy subgroups of $\mathbb{Z}_{p}^{n}\times\mathbb{Z}_{q}^{m}$ and $\mathbb{Z}_{p^{n}}\times\mathbb{Z}_{q}^{m}$ are given.
Proof of the List Coloring Conjecture for line perfect multigraphs
We prove that for a line perfect multigraph the chromatic index is equal to the list chromatic index. This is a generalization of Galvin's result on bipartite multigraphs.
Soon after the first version was submitted to arxiv, I found out that the same result has already been achieved in an older paper by Peterson and Woodall, by a similar but not entirely the same method.
Spectra of comb graphs with tails
Given two graphs, a backbone and a finger, a comb product is a new graph obtained by grafting a copy of the finger into each vertex of the backbone. We study the comb graphs in the case when both components are the paths of order $n$ and $k$, respectively, as well as the above comb graphs with an infinite ray attached to some of their vertices. A detailed spectral analysis is carried out in both situations.
On bipartite distance-regular Cayley graphs with diameter $3$
In this paper, we show that every bipartite distance-regular Cayley graph with diameter $3$ can be constructed on the semidirect product of a group and $\mathbb{Z}_{2}$, except possibly for one case.
Geometrical Realisations of the Simple Permutoassociahedron by Minkowski sums
This paper offers a geometrical realisation of simple permutoassociahedra, which has significant importance serving as a topological proof of Mac Lane's coherence. We introduce a family of $n$-polytopes, $PA_{n,c}$, obtained by Minkowski sums such that each summand yields to the appropriate facet of the resulting sum. Additionally, it leads to the correlation between Minkowski sums and truncations of permutohedron, which implicitly gives a general procedure for geometrical Minkowski-construction of any permutonestohedron.
Turán numbers of Berge trees
A classical conjecture of Erdős and Sós asks to determine the Turán number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all $k$ and $r$, with $r \ge k (k-2)$, we show that any $r$-uniform hypergraph $\mathcal{H}$ with more than $\frac{n(k-1)}{r+1}$ hyperedges contains a Berge copy of any tree with $k$ edges different from the $k$-edge star. This bound is sharp when $r+1$ divides $n$ and for such values of $n$ we determine the extremal hypergraphs.
Proof of Aharoni Berger Conjecture
We prove the Aharoni Berger Conjecture
Linear algorithms on Steiner domination of trees
A set of vertices $W$ in a connected graph $G$ is called a Steiner dominating set if $W$ is both Steiner and dominating set. The Steiner domination number $γ_{st}(G)$ is the minimum cardinality of a Steiner dominating set of $G$. A linear algorithm is proposed in this paper for finding a minimum Steiner dominating set for a tree $T$.
Arc-transitive bicirculants
In this paper, we characterise the family of finite arc-transitive bicirculants. We show that every finite arc-transitive bicirculant is a normal $r$-cover of an arc-transitive graph that lies in one of eight infinite families or is one of seven sporadic arc-transitive graphs. Moreover, each of these "basic" graphs is either an arc-transitive bicirculant or an arc-transitive circulant, and each graph in the latter case has an arc-transitive bicirculant normal $r$-cover for some integer $r$.
On the $g$-extra connectivity of graphs
Connectivity and diagnosability are two important parameters for the fault tolerant of an interconnection network $G$. In 1996, Fàbrega and Fiol proposed the $g$-extra connectivity of $G$. A subset of vertices $S$ is said to be a \emph{cutset} if $G-S$ is not connected. A cutset $S$ is called an \emph{$R_g$-cutset}, where $g$ is a non-negative integer, if every component of $G-S$ has at least $g+1$ vertices. If $G$ has at least one $R_g$-cutset, the \emph{$g$-extra connectivity} of $G$, denoted by $κ_g(G)$, is then defined as the minimum cardinality over all $R_g$-cutsets of $G$. In this paper, we first obtain the exact values of $g$-extra connectivity of some special graphs. Next, we show that $1\leq κ_g(G)\leq n-2g-2$ for $0\leq g\leq \left\lfloor \frac{n-3}{2}\right\rfloor$, and graphs with $κ_g(G)=1,2,3$ and trees with $κ_g(T_n)=n-2g-2$ are characterized, respectively. In the end, we get the three extremal results for the $g$-extra connectivity.
Lucas sequences in t-uniform simplicial complexes
We introduce t-uniform simplicial complexes and we show that the lengths of spheres in such complexes are the terms of certain Lucas sequences. We find optimal constants for the linear isoperimetric inequality in the hyperbolic case.
Frobenius's last proof
Around about 1917, Issai Schur rediscovered the Rogers-Ramanujan identities, and proved a system of polynomial identities that imply them. Schur wrote that Georg Frobenius (his former advisor) had shown him a simple, direct proof of these polynomial identities. Schur did not see fit to reveal Frobenius's proof, preferring his own rather complicated proof. But it is easy enough to guess what this `simple, direct' proof must have been. As Frobenius died in 1917, we may call this `Frobenius's last proof'.
Minimal Separators in Graphs
The Known Menger's theorem states that in a finite graph, the size of a minimum separator set of any pair of vertices is equal to the maximum number of disjoint paths that can be found between these two vertices. In this paper, we study the minimal separators of two non-adjacent vertices in a finite graph, and we give a new elementary proof of Menger's theorem.
Partial sums and generating functions for powers of second order sequences with indices in arithmetic progression
The sums $\sum_{j = 0}^k {u_{rj + s}^{2n}z^j }$, $\sum_{j = 0}^k {u_{rj + s}^{2n-1}z^j }$, $\sum_{j = 0}^k {v_{rj + s}^{n}z^j }$ and $\sum_{j = 0}^k {w_{rj + s}^{n}z^j }$ are evaluated; where $n$ is any positive integer, $r$, $s$ and $k$ are any arbitrary integers, $z$ is arbitrary, $(u_i)$ and $(v_i)$ are the Lucas sequences of the first kind, and of the second kind, respectively; and $(w_i)$ is the Horadam sequence. Pantelimon St\uanic\ua set out to evaluate the sum $\sum_{j = 0}^k {w_j^n z^j }$. His solution is not complete because he made the assumption that $w_0=0$, thereby giving effectively only the partial sum for $(u_i)$, the Lucas sequence of the first kind.
MAT-free reflection arrangements
Published in Electronic J. Comb. 27(1) (2020), #P1.28
• View Publication
• BIB
We introduce the class of MAT-free hyperplane arrangements which is based on the Multiple Addition Theorem by Abe, Barakat, Cuntz, Hoge, and Terao. We also investigate the closely related class of MAT2-free arrangements based on a recent generalization of the Multiple Addition Theorem by Abe and Terao. We give classifications of the irreducible complex reflection arrangements which are MAT-free respectively MAT2-free. Furthermore, we ask some questions concerning relations to other classes of free arrangements.
The Complete Lattice of Erdős-Menger Separations
F. Escalante and T. Gallai studied in the seventies the structure of different kind of separations and cuts between a vertex pair in a (possibly infinite) graph. One of their results is that if there is a finite separation, then the optimal (i.e. minimal sized) separations form a finite distributive lattice with respect to a natural partial order. Furthermore, any finite distributive lattice can be represented this way.
If there is no finite separation then cardinality is a too rough measure to capture being 'optimal'. Menger's theorem provides a structural characterization of optimality if there is a finite separation. We use this characterization to define Erdős-Menger separations even if there is no finite separation. The generalization of Menger's theorem to infinite graphs (which was not available until 2009) ensures that Erdős-Menger separations always exist. We show that they form a complete lattice with respect to the partial order given by Escalante and every complete lattice can be represented this way.
Sylvester-Gallai type theorems for quadratic polynomials
We prove Sylvester-Gallai type theorems for quadratic polynomials. Specifically, we prove that if a finite collection $\mathcal Q$, of irreducible polynomials of degree at most $2$, satisfy that for every two polynomials $Q_1,Q_2\in {\mathcal Q}$ there is a third polynomial $Q_3\in{\mathcal Q}$ so that whenever $Q_1$ and $Q_2$ vanish then also $Q_3$ vanishes, then the linear span of the polynomials in ${\mathcal Q}$ has dimension $O(1)$. We also prove a colored version of the theorem: If three finite sets of quadratic polynomials satisfy that for every two polynomials from distinct sets there is a polynomial in the third set satisfying the same vanishing condition then all polynomials are contained in an $O(1)$-dimensional space. This answers affirmatively two conjectures of Gupta [ECCC 2014] that were raised in the context of solving certain depth-$4$ polynomial identities. To obtain our main theorems we prove a new result classifying the possible ways that a quadratic polynomial $Q$ can vanish when two other quadratic polynomials vanish. Our proofs also require robust versions of a theorem of Edelstein and Kelly (that extends the Sylvester-Gallai theorem to colored sets).
Optimal Domination Polynomials
Let $G$ be a graph on $n$ vertices and $m$ edges and $D(G,x)$ the domination polynomial of $G$. In this paper we completely characterize the values of $n$ and $m$ for which optimal graphs exist for domination polynomials. We also show that there does not always exist least optimal graphs for the domination polynomial. Applications to network reliability are highlighted.