Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On linear configurations in subsets of compact abelian groups, and invariant measurable hypergraphs
Published
• View Publication
• BIB
We prove an arithmetic removal result for all compact abelian groups, generalizing a finitary removal result of Král', Serra and the third author. To this end, we consider infinite measurable hypergraphs that are invariant under certain group actions, and for these hypergraphs we prove a symmetry-preserving removal lemma, which extends a finitary result of the same name by the second author. We deduce our arithmetic removal result by applying this lemma to a specific type of invariant measurable hypergraph. As a direct application, we obtain the following generalization of Szemerédi's theorem: for any compact abelian group $G$, any measurable set $A\subset G$ with Haar probability $μ(A)\geqα>0$ satisfies $$\int_G\int_G\; 1_A\big(x\big)\; 1_A\big(x+r\big) \cdots 1_A\big(x+(k-1)r\big) \; dμ(x) dμ(r) \geq c,$$ where the constant $c=c(α,k)>0$ is valid uniformly for all $G$. This result is shown to hold more generally for any translation-invariant system of $r$ linear equations given by an integer matrix with coprime $r\times r$ minors.
Path decompositions of digraphs and their applications to Weyl algebra
We consider decompositions of digraphs into edge-disjoint paths and describe their connection with the $n$-th Weyl algebra of differential operators. This approach gives a graph-theoretic combinatorial view of the normal ordering problem and helps to study skew-symmetric polynomials on certain subspaces of Weyl algebra. For instance, path decompositions can be used to study minimal polynomial identities on Weyl algebra, similar as Eulerian tours applicable for Amitsur--Levitzki theorem. We introduce the $G$-Stirling functions which enumerate decompositions by sources (and sinks) of paths.
Generating functions for weighted Hurwitz numbers
Published in J. Math. Phys. 58, 083503 (2017)
• View Publication
• BIB
Double Hurwitz numbers enumerating weighted $n$-sheeted branched coverings of the Riemann sphere or, equivalently, weighted paths in the Cayley graph of $S_n$ generated by transpositions are determined by an associated weight generating function. A uniquely determined $1$-parameter family of 2D Toda $τ$-functions of hypergeometric type is shown to consist of generating functions for such weighted Hurwitz numbers. Four classical cases are detailed, in which the weighting is uniform: Okounkov's double Hurwitz numbers, for which the ramification is simple at all but two specified branch points; the case of Belyi curves, with three branch points, two with specified profiles; the general case, with a specified number of branch points, two with fixed profiles, the rest constrained only by the genus; and the signed enumeration case, with sign determined by the parity of the number of branch points. Using the exponentiated quantum dilogarithm function as weight generator, three new types of weighted enumerations are introduced. These determine {\em quantum} Hurwitz numbers depending on a deformation parameter $q$. By suitable interpretation of $q$, the statistical mechanics of quantum weighted branched covers may be related to that of Bosonic gases. The standard double Hurwitz numbers are recovered in the classical limit.
Tropical linear algebra with the Lukasiewicz T-norm
Published in Fuzzy Sets and Systems 276 (2015) 131-148
• View Publication
• BIB
The max-Lukasiewicz semiring is defined as the unit interval [0,1] equipped with the arithmetics "a+b"=max(a,b) and "ab"=max(0,a+b-1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the max-Lukasiewicz linear algebra can be equivalently formulated as a problem of the tropical (max-plus) linear algebra. Based on this equivalence, we develop a theory of the matrix powers and the eigenproblem over the max-Lukasiewicz semiring.
On the Component Number of Links from Plane Graphs
Published
• View Publication
• BIB
A short, elementary proof is given of the result: The number of components of a link arising from a medial graph M(G) by resolving vertices is equal to the nullity of the mod-2 Laplacian matrix of the graph G.
Looking for vertex number one
Published
• View Publication
• BIB
Given an instance of the preferential attachment graph $G_n=([n],E_n)$, we would like to find vertex 1, using only 'local' information about the graph; that is, by exploring the neighborhoods of small sets of vertices. Borgs et. al gave an an algorithm which runs in time $O(\log^4 n)$, which is local in the sense that at each step, it needs only to search the neighborhood of a set of vertices of size $O(\log^4 n)$. We give an algorithm to find vertex 1, which w.h.p. runs in time $O(ω\log n)$ and which is local in the strongest sense of operating only on neighborhoods of single vertices. Here $ω=ω(n)$ is any function that goes to infinity with $n$.
Ascent sequences and the binomial convolution of Catalan numbers
In this paper, we consider two sets of pattern-avoiding ascent sequences: those avoiding both 201 and 210 and those avoiding 0021. In each case we show that the number of such ascent sequences is given by the binomial convolution of the Catalan numbers. The result for $\{201, 210\}$-avoiders completes a family of results given by Baxter and the current author in a previous paper. The result for 0021-avoiders, together with previous work of Duncan, Steingrímsson, Mansour, and Shattuck, completes the Wilf classification of single patterns of length 4 for ascent sequences.
The descent set polynomial revisited
Published
• View Publication
• BIB
We continue to explore cyclotomic factors in the descent set polynomial $Q_{n}(t)$, which was introduced by Chebikin, Ehrenborg, Pylyavskyy and Readdy. We obtain large classes of factors of the form $Φ_{2s}$ or $Φ_{4s}$ where $s$ is an odd integer, with many of these being of the form $Φ_{2p}$ where $p$ is a prime. We also show that if $Φ_{2}$ is a factor of $Q_{2n}(t)$ then it is a double factor. Finally, we give conditions for an odd prime power $q = p^{r}$ for which $Φ_{2p}$ is a double factor of $Q_{2q}(t)$ and of $Q_{q+1}(t)$.
Adsorption of self-avoiding walks at a defect
We consider the model of self-avoiding walks on the $d$-dimensional hypercubic lattice interacting with a $d^*$-dimensional defect, where $1\leq d^*<d$. Such an interaction can be attractive or repulsive, and is controlled by a Boltzmann weight $a$ associated with visits to the defect. When $d=3$ and $d^*=1$ or $2$, this can be seen as a model of long linear polymers in a good solvent, interacting with a linear filament or the interface of two liquids of different density. For all combinations of dimensions, there is a critical value $a_{\rm c}$ which separates the desorbed and adsorbed phases of the model. We prove that in all cases $a_{\rm c}=1$, confirming conjectures by a number of authors.
Nearly perfect sequences with arbitrary out-of-phase autocorrelation
Published
• View Publication
• BIB
In this paper we study nearly perfect sequences (NPS) via their connection to direct product difference sets (DPDS). We prove the connection between a $p$-ary NPS of period $n$ and type $γ$ and a cyclic $(n,p,n,\frac{n-γ}{p}+γ,0,\frac{n-γ}{p})$-DPDS for an arbitrary integer $γ$. Next, we present the necessary conditions for the existence of a $p$-ary NPS of type $γ$. We apply this result for excluding the existence of some $p$-ary NPS of period $n$ and type $γ$ for $n \leq 100$ and $\vert γ\vert \leq 2$. We also prove the similar results for an almost $p$-ary NPS of type $γ$. Finally, we show the non-existence of some almost $p$-ary perfect sequences by showing the non-existence of equivalent cyclic relative difference sets by using the notion of multipliers.
The four-way intersection problem for latin squares
For $μ$ given latin squares of order $n$, they have {\sf $k$ intersection} when they have $k$ identical cells and $n^2-k$ cells with mutually different entries. For each $n\geq 1$ the set of integers $k$ such that there exist $μ$ latin squares of order $n$ with $k$ intersection is denoted by $I^μ[n]$. In a paper by P. Adams et al. (2002), $I^3[n]$ is determined completely. In this paper we completely determine $I^4[n]$ for $n\geq 16$. For $n \le 16$, we find out most of the elements of $I^4[n]$.
Crossing Minimization for 1-page and 2-page Drawings of Graphs with Bounded Treewidth
Published in J. Graph Algorithms & Applications 22 (4): 577-606, 2018
• View Publication
• BIB
We investigate crossing minimization for 1-page and 2-page book drawings. We show that computing the 1-page crossing number is fixed-parameter tractable with respect to the number of crossings, that testing 2-page planarity is fixed-parameter tractable with respect to treewidth, and that computing the 2-page crossing number is fixed-parameter tractable with respect to the sum of the number of crossings and the treewidth of the input graph. We prove these results via Courcelle's theorem on the fixed-parameter tractability of properties expressible in monadic second order logic for graphs of bounded treewidth.
Intersections of hypergraphs
Given two weighted k-uniform hypergraphs G, H of order n, how much (or little) can we make them overlap by placing them on the same vertex set? If we place them at random, how concentrated is the distribution of the intersection? The aim of this paper is to investigate these questions.
Ramanujan Complexes and bounded degree topological expanders
Published
• View Publication
• BIB
Expander graphs have been a focus of attention in computer science in the last four decades. In recent years a high dimensional theory of expanders is emerging. There are several possible generalizations of the theory of expansion to simplicial complexes, among them stand out coboundary expansion and topological expanders. It is known that for every d there are unbounded degree simplicial complexes of dimension d with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders, according to these definitions, exist for d >= 2. We present an explicit construction of bounded degree complexes of dimension d = 2 which are high dimensional expanders. More precisely, our main result says that the 2-skeletons of the 3-dimensional Ramanujan complexes are topological expanders. Assuming a conjecture of Serre on the congruence subgroup property, infinitely many of them are also coboundary expanders.
Packing random graphs and hypergraphs
We determine to within a constant factor the threshold for the property that two random k-uniform hypergraphs with edge probability p have an edge-disjoint packing into the same vertex set. More generally, we allow the hypergraphs to have different densities. In the graph case, we prove a stronger result, on packing a random graph with a fixed graph.
Push is Fast on Sparse Random Graphs
We consider the classical push broadcast process on a large class of sparse random multigraphs that includes random power law graphs and multigraphs. Our analysis shows that for every $\varepsilon>0$, whp $O(\log n)$ rounds are sufficient to inform all but an $\varepsilon$-fraction of the vertices.
It is not hard to see that, e.g. for random power law graphs, the push process needs whp $n^{Ω(1)}$ rounds to inform all vertices. Fountoulakis, Panagiotou and Sauerwald proved that for random graphs that have power law degree sequences with $β>3$, the push-pull protocol needs $Ω(\log n)$ to inform all but $\varepsilon n$ vertices whp. Our result demonstrates that, for such random graphs, the pull mechanism does not (asymptotically) improve the running time. This is surprising as it is known that, on random power law graphs with $2<β<3$, push-pull is exponentially faster than pull.
A sign-reversing involution for an extension of Torelli's Pfaffian identity
Published in Discrete Math. 332 (2014), 69--74
• View Publication
• BIB
We evaluate the hyperpfaffian of a skew-symmetric $k$-ary polynomial $f$ of degree $k/2 \cdot (n-1)$. The result is a product of the Vandermonde product and a certain expression involving the coefficients of the polynomial $f$. The proof utilizes a sign reversing involution on a set of weighted, oriented partitions. When restricting to the classical case when $k=2$ and the polynomial is $(x_{j} - x_{i})^{n-1}$, we obtain an identity due to Torelli.
Relating multiway discrepancy and singular values of graphs and contingency tables
Published
• View Publication
• BIB
The $k$-way discrepancy $\disc_k (\C)$ of a rectangular array $\C$ of nonnegative entries is the minimum of the maxima of the within- and between-cluster discrepancies that can be obtained by simultaneous $k$-clusterings (proper partitions) of its rows and columns. In the main theorem, irrespective of the size of $\C$, we give the following estimate for the $k$th largest non-trivial singular value of the normalized table: $s_k \le 9\disc_{k } (\C ) (k+2 -9k\ln \disc_{k } (\C ))$, provided $\disc_{k } (\C ) <1$ and $k\le \rk (\C )$. This statement is the converse of Theorem 7 of Bolla \cite{Bolla14}, and the proof uses some lemmas and ideas of Butler \cite{Butler}, where only the $k=1$ case is treated, in which case our upper bound is the tighter. The result naturally extends to the singular values of the normalized adjacency matrix of a weighted undirected or directed graph.
Cyclic Sieving and Plethysm Coefficients
Published in Trans. Amer. Math. Soc. 371 (2019), 923-947
• View Publication
• BIB
A combinatorial expression for the coefficient of the Schur function $s_λ$ in the expansion of the plethysm $p_{n/d}^d \circ s_μ$ is given for all $d$ dividing $n$ for the cases in which $n=2$ or $λ$ is rectangular. In these cases, the coefficient $\langle p_{n/d}^d \circ s_μ, s_λ \rangle$ is shown to count, up to sign, the number of fixed points of an $\langle s_μ^n, s_λ \rangle$-element set under the $d^{\text{th}}$ power of an order-$n$ cyclic action. If $n=2$, the action is the Schützenberger involution on semistandard Young tableaux (also known as evacuation), and, if $λ$ is rectangular, the action is a certain power of Schützenberger and Shimozono's jeu-de-taquin promotion.
This work extends results of Stembridge and Rhoades linking fixed points of the Schützenberger actions to ribbon tableaux enumeration. The conclusion for the case $n=2$ is equivalent to the domino tableaux rule of Carré and Leclerc for discriminating between the symmetric and antisymmetric parts of the square of a Schur function.
Vertex-Colored Graphs, Bicycle Spaces and Mahler Measure
Published
• View Publication
• BIB
The space C of conservative vertex colorings (over a field F) of a countable, locally finite graph G is introduced. The subspace of based colorings is shown to be isomorphic to the bicycle space of the graph. For graphs G with a free Z^d-action by automorphisms, C is a finitely generated module over the polynomial ring F[Z^d], and for this a polynomial invariant, the Laplacian polynomial, is defined. Properties of this polynomial are discussed. The logarithmic Mahler measure of the Laplacian polynomial is characterized in terms of the growth of spanning trees of G.