Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Polytopes of eigensteps of finite equal norm tight frames
Published in Discrete Comput. Geom. (2016) 56: 727
• View Publication
• BIB
Hilbert space frames generalize orthonormal bases to allow redundancy in representations of vectors while keeping good reconstruction properties. A frame comes with an associated frame operator encoding essential properties of the frame. We study a polytope that arises in an algorithm for constructing all finite frames with given lengths of frame vectors and spectrum of the frame operator, which is a Gelfand-Tsetlin polytope. For equal norm tight frames, we give a non-redundant description of the polytope in terms of equations and inequalities. From this we obtain the dimension and number of facets of the polytope.
Blocking optimal $k$-arborescences
Given a digraph $D=(V,A)$ and a positive integer $k$, an arc set $F\subseteq A$ is called a \textbf{$k$-arborescence} if it is the disjoint union of $k$ spanning arborescences. The problem of finding a minimum cost $k$-arborescence is known to be polynomial-time solvable using matroid intersection. In this paper we study the following problem: find a minimum cardinality subset of arcs that contains at least one arc from every minimum cost $k$-arborescence. For $k=1$, the problem was solved in [A. Bernáth, G. Pap , Blocking optimal arborescences, IPCO 2013]. In this paper we give an algorithm for general $k$ that has polynomial running time if $k$ is fixed.
Strong games played on random graphs
Published
• View Publication
• BIB
In a strong game played on the edge set of a graph G there are two players, Red and Blue, alternating turns in claiming previously unclaimed edges of G (with Red playing first). The winner is the first one to claim all the edges of some target structure (such as a clique, a perfect matching, a Hamilton cycle, etc.). It is well known that Red can always ensure at least a draw in any strong game, but finding explicit winning strategies is a difficult and a quite rare task. We consider strong games played on the edge set of a random graph G ~ G(n,p) on n vertices. We prove, for sufficiently large $n$ and a fixed constant 0 < p < 1, that Red can w.h.p win the perfect matching game on a random graph G ~ G(n,p).
Forbidden Induced Subgraphs for Bounded $p$-Intersection Number
Published
• View Publication
• BIB
A graph $G$ has $p$-intersection number at most $d$ if it is possible to assign to every vertex $u$ of $G$, a subset $S(u)$ of some ground set $U$ with $|U|=d$ in such a way that distinct vertices $u$ and $v$ of $G$ are adjacent in $G$ if and only if $|S(u)\cap S(v)|\geq p$. We show that every minimal forbidden induced subgraph for the hereditary class ${\cal G}(d,p)$ of graphs whose $p$-intersection number is at most $d$, has order at most $3\cdot 2^{d+1}+1$, and that the exponential dependence on $d$ in this upper bound is necessary. For $p\in \{ d-1,d-2\}$, we provide more explicit results characterizing the graphs in ${\cal G}(d,p)$ without isolated/universal vertices using forbidden induced subgraphs.
Lattice Properties of Oriented Exchange Graphs and Torsion Classes
Published
• View Publication
• BIB
The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graphs with finitely many elements are semidistributive lattices. Furthermore, if the quiver is mutation-equivalent to a type A Dynkin quiver or is an oriented cycle, then the oriented exchange graph is a lattice quotient of a lattice of biclosed subcategories of modules over the cluster-tilted algebra, generalizing Reading's Cambrian lattices in type A. We also apply our results to address a conjecture of Brüstle, Dupont, and Pérotin on the lengths of maximal green sequences.
Simultaneous core partitions: parameterizations and sums
Published in Electron. J. Combin. 23 (2016), no. 1, Paper 1.4, 34 pp
• View Publication
• BIB
Fix coprime $s,t\ge1$. We re-prove, without Ehrhart reciprocity, a conjecture of Armstrong (recently verified by Johnson) that the finitely many simultaneous $(s,t)$-cores have average size $\frac{1}{24}(s-1)(t-1)(s+t+1)$, and that the subset of self-conjugate cores has the same average (first shown by Chen--Huang--Wang). We similarly prove a recent conjecture of Fayers that the average weighted by an inverse stabilizer---giving the "expected size of the $t$-core of a random $s$-core"---is $\frac{1}{24}(s-1)(t^2-1)$. We also prove Fayers' conjecture that the analogous self-conjugate average is the same if $t$ is odd, but instead $\frac{1}{24}(s-1)(t^2+2)$ if $t$ is even. In principle, our explicit methods---or implicit variants thereof---extend to averages of arbitrary powers.
The main new observation is that the stabilizers appearing in Fayers' conjectures have simple formulas in Johnson's $z$-coordinates parameterization of $(s,t)$-cores.
We also observe that the $z$-coordinates extend to parameterize general $t$-cores. As an example application with $t := s+d$, we count the number of $(s,s+d,s+2d)$-cores for coprime $s,d\ge1$, verifying a recent conjecture of Amdeberhan and Leven.
Species with potential arising from surfaces with orbifold points of order 2, Part I: one choice of weights
Published
• View Publication
• BIB
We present a definition of mutations of species with potential that can be applied to the species realizations of any skew-symmetrizable matrix B over cyclic Galois extensions E/F whose base field F has a primitive [E:F]-th root of unity. After providing an example of a globally unfoldable skew-symmetrizable matrix whose species realizations do not admit non-degenerate potentials, we present a construction that associates a species with potential to each tagged triangulation of a surface with marked points and orbifold points of order 2. Then we prove that for any two tagged triangulations related by a flip, the associated species with potential are related by the corresponding mutation (up to a possible change of sign at a cycle), thus showing that these species with potential are non-degenerate. In the absence of orbifold points, the constructions and results specialize to previous work by the second author.
The species constructed here for each triangulation $τ$ is a species realization of one of the several matrices that Felikson-Shapiro-Tumarkin have associated to $τ$, namely, the one that in their setting arises from choosing the number 1/2 for every orbifold point.
Independence in Uniform Linear Triangle-free Hypergraphs
Published
• View Publication
• BIB
The independence number $α(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free graphs (J. Comb. Theory, Ser. B 53 (1991) 300-307), and considerably improving recent results of Li and Zang (SIAM J. Discrete Math. 20 (2006) 96-104) and Chishti et al. (Acta Univ. Sapientiae, Informatica 6 (2014) 132-158), we show that $$α(H)\geq \sum_{u\in V(H)}f_r(d_H(u))$$ for an $r$-uniform linear triangle-free hypergraph $H$ with $r\geq 2$, where \begin{eqnarray*} f_r(0)&=&1\mbox{, and }\\ f_r(d)&=&\frac{1+\Big((r-1)d^2-d\Big)f_r(d-1)}{1+(r-1)d^2}\mbox{ for $d\geq 1$.} \end{eqnarray*}
Multicolor Ramsey numbers and restricted Turán numbers for the loose 3-uniform path of length three
Published
• View Publication
• BIB
Let $P$ denote a 3-uniform hypergraph consisting of 7 vertices $a,b,c,d,e,f,g$ and 3 edges $\{a,b,c\}, \{c,d,e\},$ and $\{e,f,g\}$. It is known that the $r$-colored Ramsey number for $P$ is $R(P;r)=r+6$ for $r=2,3$, and that $R(P;r)\le 3r$ for all $r\ge3$. The latter result follows by a standard application of the Turán number $ex_3(n;P)$, which was determined to be $\binom{n-1}2$ in our previous work. We have also shown that the full star is the only extremal 3-graph for $P$. In this paper, we perform a subtle analysis of the Turán numbers for $P$ under some additional restrictions. Most importantly, we determine the largest number of edges in an $n$-vertex $P$-free 3-graph which is not a star. These Turán type results, in turn, allow us to confirm the formula $R(P;r)=r+6$ for $r\in\{4,5,6,7\}$.
Uniform linear embeddings of graphons
Published
• View Publication
• BIB
Let $w:[0,1]^2\rightarrow [0,1]$ be a symmetric function, and consider the random process $G(n,w)$, where vertices are chosen from $[0,1]$ uniformly at random, and $w$ governs the edge formation probability. Such a random graph is said to have a linear embedding, if the probability of linking to a particular vertex $v$ decreases with distance. The rate of decrease, in general, depends on the particular vertex $v$. A linear embedding is called uniform if the probability of a link between two vertices depends only on the distance between them. In this article, we consider the question whether it is possible to "transform" a linear embedding to a uniform one, through replacing the uniform probability space $[0,1]$ with a suitable probability space on ${\mathbb R}$. We give necessary and sufficient conditions for the existence of a uniform linear embedding for random graphs where $w$ attains only a finite number of values. Our findings show that for a general $w$ the answer is negative in most cases.
Cylindrical Dyck paths and the Mazorchuk-Turowska equation
Published in J. Algebraic Combin. 44 Issue 1 (2016) 223-247
• View Publication
• BIB
We classify all solutions (p,q) to the equation p(u)q(u)=p(u+b)q(u+a) where p and q are complex polynomials in one indeterminate u, and a and b are fixed but arbitrary complex numbers. This equation is a special case of a system of equations which ensures that certain algebras defined by generators and relations are non-trivial. We first give a necessary condition for the existence of non-trivial solutions to the equation. Then, under this condition, we use combinatorics of generalized Dyck paths to describe all solutions and a canonical way to factor each solution into a product of irreducible solutions.
Infinite Orders and Non-$D$-finite Property of $3$-Dimensional Lattice Walks
Published
• View Publication
• BIB
Recently, Bostan and his coauthors investigated lattice walks restricted to the non-negative octant $\mathbb{N}^3$. For the $35548$ non-trivial models with at most six steps, they found that many models associated to a group of order at least $200$ and conjectured these groups were in fact infinite groups. In this paper, we first confirm these conjectures and then consider the non-$D$-finite property of the generating function for some of these models.
The number of additive triples in subsets of abelian groups
Published in Math. Proc. Camb. Phil. Soc. 160 (2016) 495-512
• View Publication
• BIB
A set of elements of a finite abelian group is called sum-free if it contains no Schur triple, i.e., no triple of elements $x,y,z$ with $x+y=z$. The study of how large the largest sum-free subset of a given abelian group is had started more than thirty years before it was finally resolved by Green and Ruzsa a decade ago. We address the following more general question. Suppose that a set $A$ of elements of an abelian group $G$ has cardinality $a$. How many Schur triples must $A$ contain? Moreover, which sets of $a$ elements of $G$ have the smallest number of Schur triples? In this paper, we answer these questions for various groups $G$ and ranges of $a$.
Construction of infinite families of non-Schurian association schemes of order $2p^2$, $p$ an odd prime, based on biaffine planes and Heisenberg groups: research report and beyond
Let $p$ be an odd prime. In this paper we provide a construction which gives four non-Schurian association schemes for every $p\geq 5$ and two for $p=3$. This construction is explained using incidences between points and lines of a biaffine plane and we also provide a pure algebraic model for it with the aid of finite Heisenberg groups. The obtained results are discussed in a more wide framework.
The weak Lefschetz property for monomial ideals of small type
Published
• View Publication
• BIB
In this work a combinatorial approach towards the weak Lefschetz property is developed that relates this property to enumerations of signed perfect matchings as well as to enumerations of signed families of non-intersecting lattice paths in certain triangular regions. This connection is used to study Artinian quotients by monomial ideals of a three-dimensional polynomial ring. Extending a main result in the recent memoir [Boij, Migliore, Miró-Roig, Nagel, Zanello], we completely classify the quotients of type two that have the weak Lefschetz property in characteristic zero. We also derive results in positive characteristic for quotients whose type is at most two.
Topology of the tropical moduli spaces $M_{2,n}$
Published
• View Publication
• BIB
We study the topology of the link $M^{\mathrm{trop}}_{g,n}[1]$ of the tropical moduli spaces of curves when g=2. Tropical moduli spaces can be identified with boundary complexes for $\mathcal{M}_{g,n}$, as shown by Abramovich-Caporaso-Payne, so their reduced rational homology encodes top-weight rational cohomology of the complex moduli spaces $\mathcal{M}_{g,n}$. We prove that $M^{\mathrm{trop}}_{2,n}[1]$ is an $n$-connected topological space whose reduced integral homology is supported in the top two degrees only. We compute the reduced Euler characteristic of $M^{\mathrm{trop}}_{g,n}[1]$ for all n, and we compute the rational homology of $M^{\mathrm{trop}}_{2,n}[1]$ when $n \le 8$, determining completely the top-weight $\mathbb{Q}$-cohomology of $\mathcal{M}_{2,n}$ in that range.
Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications
Published
• View Publication
• BIB
We prove new bounds on the Betti numbers of real varieties and semi-algebraic sets that have a more refined dependence on the degrees of the polynomials defining them than results known before. Our method also unifies several different types of results under a single framework, such as bounds depending on the total degrees, on multi-degrees, as well as in the case of quadratic and partially quadratic polynomials. The bounds we present in the case of partially quadratic polynomials offer a significant improvement over what was previously known. Finally, we extend a result of Barone and Basu on bounding the number of connected components of real varieties defined by two polynomials of differing degrees to the sum of all Betti numbers, thus making progress on an open problem posed in that paper.
Generating families of surface triangulations. The case of punctured surfaces with inner degree at least 4
We present two versions of a method for generating all triangulations of any punctured surface in each of these two families: (1) triangulations with inner vertices of degree at least 4 and boundary vertices of degree at least 3 and (2) triangulations with all vertices of degree at least 4. The method is based on a series of reversible operations, termed reductions, which lead to a minimal set of triangulations in each family. Throughout the process the triangulations remain within the corresponding family. Moreover, for the family (1) these operations reduce to the well-known edge contractions and removals of octahedra. The main results are proved by an exhaustive analysis of all possible local configurations which admit a reduction.
Characteristic Polynomial Patterns in Difference Sets of Matrices
Published
• View Publication
• BIB
We show that for every subset $E$ of positive density in the set of integer square-matrices with zero traces, there exists an integer $k \geq 1$ such that the set of characteristic polynomials of matrices in $E-E$ contains the set of \emph{all} characteristic polynomials of integer matrices with zero traces and entries divisible by $k$. Our theorem is derived from results by Benoist-Quint on measure rigidity for actions on homogeneous spaces.
Edge reconstruction of the Ihara zeta function
Published
• View Publication
• BIB
We show that if a graph $G$ has average degree $\bar d \geq 4$, then the Ihara zeta function of $G$ is edge-reconstructible. We prove some general spectral properties of the edge adjacency operator $T$: it is symmetric for an indefinite form and has a "large" semi-simple part (but it can fail to be semi-simple in general). We prove that this implies that if $\bar d>4$, one can reconstruct the number of non-backtracking (closed or not) walks through a given edge, the Perron-Frobenius eigenvector of $T$ (modulo a natural symmetry), as well as the closed walks that pass through a given edge in both directions at least once.
The appendix by Daniel MacDonald established the analogue for multigraphs of some basic results in reconstruction theory of simple graphs that are used in the main text.