Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor
We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.
The numbers of distinct and repeated squares and cubes in the Tribonacci sequence
The Tribonacci sequence $\mathbb{T}$ is the fixed point of the substitution $σ(a,b,c)=(ab,ac,a)$. The main result is twofold: (1) we give the explicit expressions of the numbers of distinct squares and cubes in $\mathbb{T}[1,n]$ (the prefix of $\mathbb{T}$ of length $n$); (2) we give algorithms for counting the number of repeated squares and cubes in $\mathbb{T}[1,n]$ for all $n$; then get explicit expressions for some special $n$ such as $n=t_m$ (the Tribonacci number).
On rational Dyck paths and the enumeration of factor-free Dyck words
Published in Discrete Applied Mathematics 244 (2018), 36-43
• View Publication
• BIB
Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by factor-free words. This bijection leads to a new statistic based on the reducibility level of the paths for which we provide a corresponding formula. On the other hand, we prove an inverse relation for certain sequences defined via partial Bell polynomials, and we use it to derive a formula for the enumeration of factor-free words. In addition, we give alternative formulas for various enumerative sequences that appear in the context of rational Dyck paths.
Integral Cayley Graphs over Dihedral Groups
Published
• View Publication
• BIB
In this paper, we give a necessary and sufficient condition for the integrality of Cayley graphs over the dihedral group $D_n=\langle a,b\mid a^n=b^2=1,bab=a^{-1}\rangle$. Moreover, we also obtain some simple sufficient conditions for the integrality of Cayley graphs over $D_n$ in terms of the Boolean algebra of $\langle a\rangle$, from which we find infinite classes of integral Cayley graphs over $D_n$. In particular, we completely determine all integral Cayley graphs over the dihedral group $D_p$ for a prime $p$.
Codes arising from incidence matrices of points and hyperplanes in $PG(n,q)$
Published
• View Publication
• BIB
In this paper we completely characterize the words with second minimum weight in the $p-$ary linear code generated by the rows of the incidence matrix of points and hyperplanes of $PG(n,q)$, with $q=p^h$ and $p$ prime, proving that they are the scalar multiples of the difference of the incidence vectors of two distinct hyperplanes of $PG(n,q)$.
On Deposition of the Product of Demazure Atoms and Demazure Characters
This paper studies the properties of Demazure atoms and characters using linear operators and also tableaux-combinatorics. It proves the atom-positivity property of the product of a dominating monomial and an atom, which was an open problem. Furthermore, it provides a combinatorial proof to the key-positivity property of the product of a dominating monomial and a key using skyline fillings, an algebraic proof to the key-positivity property of the product of a Schur function and a key using linear operator and verifies the first open case for the conjecture of key-positivity of the product of two keys using linear operators and polytopes.
Spectral Gap of Random Hyperbolic Graphs and Related Parameters
Published
• View Publication
• BIB
Random hyperbolic graphs have been suggested as a promising model of social networks. A few of their fundamental parameters have been studied. However, none of them concerns their spectra. We consider the random hyperbolic graph model as formalized by [GPP12] and essentially determine the spectral gap of their normalized Laplacian. Specifically, we establish that with high probability the second smallest eigenvalue of the normalized Laplacian of the giant component of and $n$-vertex random hyperbolic graph is $Ω(n^{-(2α-1)}/D)$, where $\frac12<α<1$ is a model parameter and $D$ is the network diameter (which is known to be at most polylogarithmic in $n$). We also show a matching (up to a polylogarithmic factor) upper bound of $n^{-(2α-1)}(\log n)^{1+o(1)}$. As a byproduct we conclude that the conductance upper bound on the eigenvalue gap obtained via Cheeger's inequality is essentially tight. We also provide a more detailed picture of the collection of vertices on which the bound on the conductance is attained, in particular showing that for all subsets whose volume is $O(n^{1-\varepsilon})$ the obtained conductance is with high probability $Ω(n^{-(2α-1)\varepsilon+o(1)})$. Finally, we also show consequences of our result for the minimum and maximum bisection of the giant component.
Perfect state transfer is poly-time
Published in Quantum Information & Computation, Vol. 17 No.5&6, May 2017. PP0495-0502
• View Publication
• BIB
We show that deciding whether a graph admits perfect state transfer can be done in polynomial time with respect to the size of the graph on a classical computer.
Tropicalization of theta characteristics, double covers, and Prym varieties
Published in Selecta Mathematica, 2018
• View Publication
• BIB
We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta characteristics and $2^{g-1}$ odd theta characteristics. We then study the relationship between unramified double covers of a tropical curve and its theta characteristics, and use this to define the tropical Prym variety.
Note on the index conjecture in zero-sum theory and its connection to a Dedekind-type sum
Published
• View Publication
• BIB
Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index 1. In this note we study the index conjecture and connect it to a Dedekind-type sum. In particular we reprove a special case of the conjecture when $|G|$ is prime.
Polyhedra with few 3-cuts are hamiltonian
Published
• View Publication
• BIB
In 1956, Tutte showed that every planar 4-connected graph is hamiltonian. In this article, we will generalize this result and prove that polyhedra with at most three 3-cuts are hamiltonian. In 2002 Jackson and Yu have shown this result for the subclass of triangulations. We also prove that polyhedra with at most four 3-cuts have a hamiltonian path. It is well known that for each $k \ge 6$ non-hamiltonian polyhedra with $k$ 3-cuts exist. We give computational results on lower bounds on the order of a possible non-hamiltonian polyhedron for the remaining open cases of polyhedra with four or five 3-cuts.
Odd length for even hyperoctahedral groups and signed generating functions
Published
• View Publication
• BIB
We define a new statistic on the even hyperoctahedral groups which is a natural analogue of the odd length statistic recently defined and studied on Coxeter groups of types $A$ and $B$. We compute the signed (by length) generating function of this statistic over the whole group and over its maximal and some other quotients and show that it always factors nicely. We also present some conjectures.
Hopeful windows and fractals in cellular automata and combinatorial games
This paper studies 2-player impartial combinatorial games, where the outcomes correspond to updates of cellular automata (CA) which generalize Wolfram's elementary rule 60 and rule 110 (Cook 2004). The games extend the class of \emph{triangle placing games} (Larsson 2013) where at each stage of the game the previous player has the option to block certain hopeful moves of the next player. We also study fractals and partial convergence in a subclass of the CA.
Outside nested decompositions of skew diagrams and Schur function determinants
Published
• View Publication
• BIB
In this paper we describe the thickened strips and the outside nested decompositions of any skew shape $λ/μ$. For any such decomposition $Φ=(Θ_1,Θ_2,\ldots,Θ_g)$ of the skew shape $λ/μ$ where $Θ_i$ is a thickened strip for every $i$, if $r$ is the number of boxes that are contained in any two distinct thickened strips of $Φ$, we establish a determinantal formula of the function $s_{λ/μ}(X)p_{1^r}(X)$ with the Schur functions of thickened strips as entries, where $s_{λ/μ}(X)$ is the Schur function of the skew shape $λ/μ$ and $p_{1^r}(X)$ is the power sum symmetric function index by the partition $(1^r)$. This generalizes Hamel and Goulden's theorem on the outside decompositions of the skew shape $λ/μ$. As an application of our theorem, we derive the number of $m$-strip tableaux which was first counted by Baryshnikov and Romik via extending the transfer operator approach due to Elkies.
Topological realizations of line arrangements
Published
• View Publication
• BIB
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres.
Lonely Runner Polyhedra
Published in Integers: the Electronic Journal of Combinatorial Number Theory 19 (2019), A 29
• Search Publication
We study the \emph{Lonely Runner Conjecture}, conceived by Jörg M.~Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \, n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. Continuing a view-obstruction approach by Cusick and recent work by Henze and Malikiosis, our goal is to promote a polyhedral \emph{ansatz} to the Lonely Runner Conjecture. Our results include geometric proofs of some folklore results that are only implicit in the existing literature, a new family of affirmative instances defined by the parities of the speeds, and geometrically motivated conjectures whose resolution would shed further light on the Lonely Runner Conjecture.
Some algebras with the weak Lefschetz property
Published
• View Publication
• BIB
Using a connection to lozenge tilings of triangular regions, we establish an easily checkable criterion that guarantees the weak Lefschetz property of a quotient by a monomial ideal. It is also shown that each such ideal also has a semistable syzygy bundle.
Generalized Permutohedra from Probabilistic Graphical Models
Published
• View Publication
• BIB
A graphical model encodes conditional independence relations via the Markov properties. For an undirected graph these conditional independence relations can be represented by a simple polytope known as the graph associahedron, which can be constructed as a Minkowski sum of standard simplices. There is an analogous polytope for conditional independence relations coming from a regular Gaussian model, and it can be defined using multiinformation or relative entropy. For directed acyclic graphical models and also for mixed graphical models containing undirected, directed and bidirected edges, we give a construction of this polytope, up to equivalence of normal fans, as a Minkowski sum of matroid polytopes. Finally, we apply this geometric insight to construct a new ordering-based search algorithm for causal inference via directed acyclic graphical models.
Walking on the Edge and Cosystolic Expansion
Random walks on regular bounded degree expander graphs have numerous applications. A key property of these walks is that they converge rapidly to the uniform distribution on the vertices. The recent study of expansion of high dimensional simplicial complexes, which are the high dimensional analogues of graphs, calls for the natural generalization of random walks to higher dimensions. In particular, a high order random walk on a $2$-dimensional simplicial complex moves at random between neighboring edges of the complex, where two edges are considered neighbors if they share a common triangle. We show that if a regular $2$-dimensional simplicial complex is a cosystolic expander and the underlying graph of the complex has a spectral gap larger than $1/2$, then the random walk on the edges of the complex converges rapidly to the uniform distribution on the edges.
Three conjectures in extremal spectral graph theory
Published
• View Publication
• BIB
We prove three conjectures regarding the maximization of spectral invariants over certain families of graphs. Our most difficult result is that the join of $P_2$ and $P_{n-2}$ is the unique graph of maximum spectral radius over all planar graphs. This was conjectured by Boots and Royle in 1991 and independently by Cao and Vince in 1993. Similarly, we prove a conjecture of Cvetković and Rowlinson from 1990 stating that the unique outerplanar graph of maximum spectral radius is the join of a vertex and $P_{n-1}$. Finally, we prove a conjecture of Aouchiche et al from 2008 stating that a pineapple graph is the unique connected graph maximizing the spectral radius minus the average degree. To prove our theorems, we use the leading eigenvector of a purported extremal graph to deduce structural properties about that graph. Using this setup, we give short proofs of several old results: Mantel's Theorem, Stanley's edge bound and extensions, the Kővari-Sós-Turán Theorem applied to $\mathrm{ex}\left(n, K_{2,t}\right)$, and a partial solution to an old problem of Erdős on making a triangle-free graph bipartite.