Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Counting Independent Sets in Graphs of Hyperplane Arrangements
Published in Discrete Mathematics, Volume 343, Issue 3, March 2020, 111764
• View Publication
• BIB
In this paper, we count the number of independent sets of a type of graph $G(\mathcal{A},q)$ associated to some hyperplane arrangement $\mathcal{A}$, which is a generalization of the construction of graphical arrangements. We show that when the parameters of $\mathcal{A}$ satisfy certain conditions, the number of independent sets of the disjoint union $G(\mathcal{A},q_1)\cup\cdots\cup G(\mathcal{A},q_s)$ depends only on the coefficients of $\mathcal{A}$ and the total number of vertices $\sum_i q_i$ when $q_i$'s are powers of large enough prime numbers. In addition it is independent of the coefficients as long as $\mathcal{A}$ is central and the coefficients are multiplicatively independent.
Triangulating Almost-Complete Graphs
A triangle decomposition of a graph $G$ is a partition of the edges of $G$ into triangles. Two necessary conditions for $G$ to admit such a decomposition are that $|E(G)|$ is a multiple of three and that the degree of any vertex in $G$ is even; we call such graphs tridivisible.
Kirkman's work on Steiner triple systems established that for $G \simeq K_n$, $G$ admits a triangle decomposition precisely when $G$ is tridivisible. In 1970, Nash-Williams conjectured that tridivisiblity is also sufficient for "almost-complete" graphs, which for this talk's purposes we interpret as any graph $G$ on $n$ vertices with $δ(G) \geq (1 -ε)n, E(G) \geq (1 - ξ)\binom{n}{2}$ for some appropriately small constants $ε, ξ$. Nash-Williams conjectured that $ε= ξ=1/4$ would suffice; in 1991, Gustavsson demonstrated in his dissertation that $ε= ξ< 10^{-24}$ suffices for all $n \equiv 3, 9 \mod 18$, and in 2015 Keevash's work on the existence conjecture for combinatorial designs established that some value of $ε$ existed for any $n$.
In this paper, we prove that for any $ε< \frac{1}{432}$, there is a constant $ξ$ such that any $G$ with $δ(G) \geq (1 - ε)n$ and $|E(G)| \geq (1 - ξ)\binom{n}{2}$ admits such a decomposition, and offer an algorithm that explicitly constructs such a triangulation. Moreover, we note that our algorithm runs in polynomial time on such graphs. (This last observation contrasts with Holyer's result that finding triangle decompositions in general is a NP-complete problem.)
Log-convex and Stieltjes moment sequences
Published in published in Advances in Applied Mathematics 2016 (81) 115-127
• View Publication
• BIB
We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of $q$-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.
A connection between matchings and removal in abelian groups
In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$.
If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.
A Rational Catalan Formula for $(m,3)$-Hikita Polynomials
Published
• View Publication
• BIB
Building upon a recent formula for $(3,m)$-Catalan polynomials, we describe a formula for $(3,m)$-Hikita polynomials in terms related to Catalan polynomials. This formula shows a surprising relation among coefficients of Hikita polynomials and implies deeper recursive relations and proves the $q,t$-symmetry of $(3,m)$-Hikita polynomials.
On Coloring Random Subgraphs of a Fixed Graph
Given an arbitrary graph $G$ we study the chromatic number of a random subgraph $G_{1/2}$ obtained from $G$ by removing each edge independently with probability $1/2$. Studying $χ(G_{1/2})$ has been suggested by Bukh~\cite{Bukh}, who asked whether $\mathbb{E}[χ(G_{1/2})] \geq Ω( χ(G)/\log(χ(G)))$ holds for all graphs $G$. In this paper we show that for any graph $G$ with chromatic number $k = χ(G)$ and for all $d \leq k^{1/3}$ it holds that $\Pr[χ(G_{1/2}) \leq d] < \exp \left(- Ω\left(\frac{k(k-d^3)}{d^3}\right)\right)$. In particular, $\Pr[G_{1/2} \text{ is bipartite}] < \exp \left(- Ω\left(k^2 \right)\right)$. The later bound is tight up to a constant in $Ω(\cdot)$, and is attained when $G$ is the complete graph on $k$ vertices.
As a technical lemma, that may be of independent interest, we prove that if in \emph{any} $d^3$ coloring of the vertices of $G$ there are at least $t$ monochromatic edges, then $\Pr[χ(G_{1/2}) \leq d] < e^{- Ω\left(t\right)}$.
We also prove that for any graph $G$ with chromatic number $k = χ(G)$ and independence number $α(G) \leq O(n/k)$ it holds that $\mathbb{E}[χ(G_{1/2})] \geq Ω\left( k/\log(k) \right)$. This gives a positive answer to the question of Bukh for a large family of graphs.
A cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra
In this paper, we give a cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra, using the technique of splitting and merging via a sign-reversing involution. The cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions.
Ear Decomposition and Balanced Neighborly Simplicial Manifolds
Published
• View Publication
• BIB
We find the first non-octahedral balanced 2-neighborly 3-sphere and the balanced 2-neighborly triangulation of the lens space $L(3,1)$. Each construction has 16 vertices. We show that there exists a balanced 3-neighborly non-spherical 5-manifold with 18 vertices. We also show that the rank-selected subcomplexes of a balanced simplicial sphere do not necessarily have an ear decomposition.
Upper bounds on the Q-spectral radius of book-free and/or $K_{s,t}$-free graphs
Published
• View Publication
• BIB
In this paper, we prove two results about the signless Laplacian spectral radius $q(G)$ of a graph $G$ of order $n$ with maximum degree $Δ$. Let $B_{n}=K_{2}+\overline{K_{n}}$ denote a book, i.e., the graph $B_{n}$ consists of $n$ triangles sharing an edge.
(1) Let $1< k\leq l< Δ< n$ and $G$ be a connected \{$B_{k+1},K_{2,l+1}$\}-free graph of order $n$ with maximum degree $Δ$. Then $$\displaystyle q(G)\leq \frac{1}{4}[3Δ+k-2l+1+\sqrt{(3Δ+k-2l+1)^{2}+16l(Δ+n-1)}.$$ with equality holds if and only if $G$ is a strongly regular graph with parameters ($Δ$, $k$, $l$).
(2) Let $s\geq t\geq 3$, and let $G$ be a connected $K_{s,t}$-free graph of order $n$ $(n\geq s+t)$. Then $$q(G)\leq n+(s-t+1)^{1/t}n^{1-1/t}+(t-1)(n-1)^{1-3/t}+t-3.$$
On the signless Laplacian spectral radius of $C_{4}$-free $k$-cyclic graphs
A $k$-cyclic graph is a connected graph of order $n$ and size $n+k-1$. In this paper, we determine the maximal signless Laplacian spectral radius and the corresponding extremal graph among all $C_{4}$-free $k$-cyclic graphs of order $n$. Furthermore, we determine the first three unicyclic, and bicyclic, $C_{4}$-free graphs whose spectral radius of the signless Laplacian is maximal. Similar results are obtained for the (combinatorial) Laplacian.
Fitness, Apprenticeship, and Polynomials
Published
• View Publication
• BIB
This article discusses the design of the Apprenticeship Program at the Fields Institute, held 21 August - 3 September 2016. Six themes from combinatorial algebraic geometry were selected for the two weeks: curves, surfaces, Grassmannians, convexity, abelian combinatorics, parameters and moduli. The activities were structured into fitness, research and scholarship. Combinatorics and concrete computations with polynomials (and theta functions) empowers young scholars in algebraic geometry, and it helps them to connect with the historic roots of their field. We illustrate our perspective for the threefold obtained by blowing up six points in $\mathbb{P}^3$.
Saito duality and the classical theory of arithmetic functions
We study Saito duality and Fourier-Ramanujan transform for power sums and multiplicities of monodromy roots.
Linear Residuals and Gallai-Simplicial Complexes
In this paper, we give a new algebraic criterion for the {\em shellability} of (non-pure) simplicial complex $Δ$ over $[n]$, shellable in the sense of Björner and Wachs \cite{BW}. We show that the spanning simplicial complex of doubly uni-cyclic graph is non-pure shellable. Moreover, we introduce the concept of Gallai-simplicial complex $Δ_Γ(G)$ of a finite simple graph $G$. We applied the obtained criterion to discuss the shellability of Gallai simplicial complexes associated to various classes of graphs..
Enumerating Cayley (di-)graphs on dihedral groups
Published
• View Publication
• BIB
Let $p$ be an odd prime, and $D_{2p}=\langle τ,σ\mid τ^p=σ^2=e,στσ=τ^{-1}\rangle$ the dihedral group of order $2p$. In this paper, we provide the number of (connected) Cayley (di-)graphs on $D_{2p}$ up to isomorphism by using the Pólya enumeration theorem. In the process, we also enumerate (connected) Cayley digraphs on $D_{2p}$ of out-degree $k$ up to isomorphism for each $k$.
Algorithms for Tight Spans and Tropical Linear Spaces
Published in Journal of Symbolic Computation (special issue MEGA 2017) 91 (2019), 116-128
• View Publication
• BIB
We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems.
Hamiltonian cycles for the square of the augmentation graphs and Gray codes for restricted permutations and ascent sequences
In this paper, we construct a listing for the vertices of the augmentation graph of given size, and as a consequence, we obtain a Hamiltonian cycle for the square of the augmentation graph of given size. As applications, we have a Gray code for the $132$-$312$ avoiding permutations of given length such that two successive permutations differ by at most $2$ adjacent transpositions. Also we obtain Gray codes of strong distance $2$ for the $001$ avoiding ascent sequences and the $010$ avoiding ascent sequences of given length.
Intersection Graphs of Rays and Grounded Segments
Published
• View Publication
• BIB
We consider several classes of intersection graphs of line segments in the plane and prove new equality and separation results between those classes. In particular, we show that: (1) intersection graphs of grounded segments and intersection graphs of downward rays form the same graph class, (2) not every intersection graph of rays is an intersection graph of downward rays, and (3) not every intersection graph of rays is an outer segment graph. The first result answers an open problem posed by Cabello and Jejčič. The third result confirms a conjecture by Cabello. We thereby completely elucidate the remaining open questions on the containment relations between these classes of segment graphs. We further characterize the complexity of the recognition problems for the classes of outer segment, grounded segment, and ray intersection graphs. We prove that these recognition problems are complete for the existential theory of the reals. This holds even if a 1-string realization is given as additional input.
Equiangular line systems and switching classes containing regular graphs
Published in Linear Algebra Appl. 536 (2018), pp. 31-51
• View Publication
• BIB
We develop the theory of equiangular lines in Euclidean spaces. Our focus is on the question of when a Seidel matrix having precisely three distinct eigenvalues has a regular graph in its switching class. We make some progress towards an answer to this question by finding some necessary conditions and some sufficient conditions. Furthermore, we show that the cardinality of an equiangular line system in $18$ dimensional Euclidean space is at most $60$.
Relative projectivity and transferability for partial lattices
Published
• View Publication
• BIB
A partial lattice P is ideal-projective, with respect to a class C of lattices, if for every K $\in$ C and every homomorphism $φ$ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f : P $\rightarrow$ K for $φ$ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to C. We prove the following: (1) A finite lattice P, belonging to a variety V, is sharply transferable with respect to V iff it is projective with respect to V and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to V. (2) Every finite distributive lattice is sharply transferable with respect to the class R mod of all relatively complemented modular lattices. (3) The gluing D 4 of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety V iff V is contained in the variety M$ω$ generated by all lattices of length 2. (4) D 4 is projective, but not ideal-projective, with respect to R mod. (5) D 4 is transferable, but not sharply transferable, with respect to the variety M of all modular lattices. This solves a 1978 problem of G. Grätzer. (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.
Perfect boundaries in rotor-router aggregation on cylinders
Published
• View Publication
• BIB
We study a rotor-router version of the internal diffusion-limited aggregation introduced by J.Propp. The existing estimations of boundary fluctuations of the aggregation cluster show that they grow not faster than $O(\log r)$ with the cluster radius $r$. We consider the rotor-router internal DLA on the semi-infinite cylinder and prove a constant width of boundary fluctuations not depending on the radius of the cylinder.