Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Asymptotic Formulas for Macdonald Polynomials and the Boundary of the $(q,t)$-Gelfand-Tsetlin Graph
Published in SIGMA 14 (2018), 001, 66 pages
• View Publication
• BIB
We introduce Macdonald characters and use algebraic properties of Macdonald polynomials to study them. As a result, we produce several formulas for Macdonald characters, which are generalizations of those obtained by Gorin and Panova in [Ann. Probab. 43 (2015), 3052-3132, arXiv:1301.0634], and are expected to provide tools for the study of statistical mechanical models, representation theory and random matrices. As first application of our formulas, we characterize the boundary of the $(q,t)$-deformation of the Gelfand-Tsetlin graph when $t=q^θ$ and $θ$ is a positive integer.
Pieri Integral Formula and Asymptotics of Jack Unitary Characters
Published
• View Publication
• BIB
We introduce Jack (unitary) characters and prove two kinds of formulas that are suitable for their asymptotics, as the lengths of the signatures that parametrize them go to infinity. The first kind includes several integral representations for Jack characters of one variable. The second identity we prove is the Pieri integral formula for Jack characters which, in a sense, is dual to the well known Pieri rule for Jack polynomials. The Pieri integral formula can also be seen as a functional equation for irreducible spherical functions of virtual Gelfand pairs.
As an application of our formulas, we study the asymptotics of Jack characters as the corresponding signatures grow to infinity in the sense of Vershik-Kerov. We prove the existence of a small $δ> 0$ such that the Jack characters of $m$ variables have a uniform limit on the $δ$-neighborhood of the $m$-dimensional torus. Our result specializes to a theorem of Okounkov and Olshanski.
Difference bases in finite Abelian groups
Published in Acta Sci. Math. (Szeged) 85 (2019), 119-137
• View Publication
• BIB
A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=\frac{Δ[G]}{\sqrt{|G|}}$ is called the difference characteristic of $G$. Using properies of the Galois rings, we prove recursive upper bounds for the difference sizes and characteristics of finite Abelian groups. In particular, we prove that for a prime number $p\ge 11$, any finite Abelian $p$-group $G$ has difference characteristic $ð[G]<\frac{\sqrt{p}-1}{\sqrt{p}-3}\cdot\sup_{k\in\mathbb N}ð[C_{p^k}]<\sqrt{2}\cdot\frac{\sqrt{p}-1}{\sqrt{p}-3}$. Also we calculate the difference sizes of all Abelian groups of cardinality $<96$.
Difference bases in dihedral groups
Published in Intern. J. of Group Theory, 8:1 (2019) 43--50
• View Publication
• BIB
A subset $B$ of a group $G$ is called a difference basis of $G$ if each element $g\in G$ can be written as the difference $g=ab^{-1}$ of some elements $a,b\in B$. The smallest cardinality $|B|$ of a difference basis $B\subset G$ is called the difference size of $G$ and is denoted by $Δ[G]$. The fraction $ð[G]:=Δ[G]/{\sqrt{|G|}}$ is called the difference characteristic of $G$. We prove that for every $n\in\mathbb N$ the dihedral group $D_{2n}$ of order $2n$ has the difference characteristic $\sqrt{2}\leð[D_{2n}]\leq\frac{48}{\sqrt{586}}\approx1.983$. Moreover, if $n\ge 2\cdot 10^{15}$, then $ð[D_{2n}]<\frac{4}{\sqrt{6}}\approx1.633$. Also we calculate the difference sizes and characteristics of all dihedral groups of cardinality $\le80$.
Tree-based unrooted phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees that are used to represent non-tree-like evolutionary histories that arise in organisms such as plants and bacteria, or uncertainty in evolutionary histories. An \emph{unrooted} phylogenetic network on a nonempty, finite set $X$ of taxa, or \emph{network}, is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is $X$. It is called a \emph{phylogenetic tree} if the underlying graph is a tree. In this paper we consider properties of \emph{tree-based networks}, that is, networks that can be constructed by adding edges into a phylogenetic tree. We show that although they have some properties in common with their rooted analogues which have recently drawn much attention in the literature, they have some striking differences in terms of both their structural and computational properties. We expect that our results could eventually have applications to, for example, detecting horizontal gene transfer or hyrbridization which are important factors in the evolution of many organisms.
Computational Approaches for Zero Forcing and Related Problems
Published
• View Publication
• BIB
In this paper, we propose computational approaches for the zero forcing problem, the connected zero forcing problem, and the problem of forcing a graph within a specified number of timesteps. Our approaches are based on a combination of integer programming models and combinatorial algorithms, and include formulations for zero forcing as a dynamic process, and as a set-covering problem. We explore several solution strategies for these models, test them on various types of graphs, and show that they are competitive with the state-of-the-art algorithm for zero forcing. Our proposed algorithms for connected zero forcing and for controlling the number of zero forcing timesteps are the first general-purpose computational methods for these problems, and are superior to brute force computation.
Ordering of bicyclic graphs by matching energy
Let $G$ be a simple graph of order $n$ and $μ_{1},μ_{2},\ldots,μ_{n}$ be the roots of its matching polynomial. The matching energy is defined as the sum $\sum^{n}_{i=1}|μ_{i}|$, which was introduced by Gutman and Wagner in 2012. In this paper, the graphs with the first five smallest matching energies among all bicyclic graphs for order $n>5$ are determined.
Axiomatisability and hardness for universal Horn classes of hypergraphs
Published in Algebra Univers. (2018) 79:30
• View Publication
• BIB
We characterise finite axiomatisability and intractability of deciding membership for universal Horn classes generated by finite loop-free hypergraphs.
Non-linear maximum rank distance codes in the cyclic model for the field reduction of finite geometries
Published
• View Publication
• BIB
In this paper we construct infinite families of non-linear maximum rank distance codes by using the setting of bilinear forms of a finite vector space. We also give a geometric description of such codes by using the cyclic model for the field reduction of finite geometries and we show that these families contain the non-linear maximum rank distance codes recently provided by Cossidente, Marino and Pavese.
The $\mathfrak{sl}_\infty$-crystal combinatorics of higher level Fock spaces
Published
• View Publication
• BIB
For integers $e,\ell\geq 2$, the level $\ell$ Fock space has an $\mathfrak{sl}_\infty$-crystal structure arising from the action of a Heisenberg algebra, intertwining the $\widehat{\mathfrak{sl}_e}$-crystal. The vertices of these crystals are charged $\ell$-partitions. We give the combinatorial rule for computing the arrows anywhere in the $\mathfrak{sl}_\infty$-crystal. This allows us to pinpoint the location of any charged $\ell$-partition. As an application, we compute the support of the spherical representation of a cyclotomic rational Cherednik algebra, and in particular, the set of parameters such that it is finite-dimensional. We also give an easy abacus characterization of all finite-dimensional representations of type $B$ Cherednik algebras.
On the size of $k$-cross-free families
Published
• View Publication
• BIB
Two subsets $A,B$ of an $n$-element ground set $X$ are said to be \emph{crossing}, if none of the four sets $A\cap B$, $A\setminus B$, $B\setminus A$ and $X\setminus(A\cup B)$ are empty. It was conjectured by Karzanov and Lomonosov forty years ago that if a family $\mathcal{F}$ of subsets of $X$ does not contain $k$ pairwise crossing elements, then $|\mathcal{F}|=O_{k}(n)$. For $k=2$ and $3$, the conjecture is true, but for larger values of $k$ the best known upper bound, due to Lomonosov, is $|\mathcal{F}|=O_{k}(n\log n)$. In this paper, we improve this bound by showing that $|\mathcal{F}|=O_{k}(n\log^{*} n)$ holds, where $\log^{*}$ denotes the iterated logarithm function.
On the number of perfect lattices
Published
• View Publication
• BIB
We show that the number $p\_d$ of non-similar perfect $d$-dimensional lattices satisfies eventually the inequalities$e^{d^{1-ε}}<p\_d<e^{d^{3+ε}}$ for arbitrary smallstrictly positive $ε$.
Much Faster Algorithms for Matrix Scaling
Published
• View Publication
• BIB
We develop several efficient algorithms for the classical \emph{Matrix Scaling} problem, which is used in many diverse areas, from preconditioning linear systems to approximation of the permanent. On an input $n\times n$ matrix $A$, this problem asks to find diagonal (scaling) matrices $X$ and $Y$ (if they exist), so that $X A Y$ $\varepsilon$-approximates a doubly stochastic, or more generally a matrix with prescribed row and column sums.
We address the general scaling problem as well as some important special cases. In particular, if $A$ has $m$ nonzero entries, and if there exist $X$ and $Y$ with polynomially large entries such that $X A Y$ is doubly stochastic, then we can solve the problem in total complexity $\tilde{O}(m + n^{4/3})$. This greatly improves on the best known previous results, which were either $\tilde{O}(n^4)$ or $O(m n^{1/2}/\varepsilon)$.
Our algorithms are based on tailor-made first and second order techniques, combined with other recent advances in continuous optimization, which may be of independent interest for solving similar problems.
Gaussian fluctuations of Jack-deformed random Young diagrams
Published in Probab. Theory Relat. Fields 174, 133-176 (2019)
• View Publication
• BIB
We introduce a large class of random Young diagrams which can be regarded as a natural one-parameter deformation of some classical Young diagram ensembles; a deformation which is related to Jack polynomials and Jack characters. We show that each such a random Young diagram converges asymptotically to some limit shape and that the fluctuations around the limit are asymptotically Gaussian.
Testing hereditary properties of ordered graphs and matrices
Published
• View Publication
• BIB
We consider properties of edge-colored vertex-ordered graphs, i.e., graphs with a totally ordered vertex set and a finite set of possible edge colors. We show that any hereditary property of such graphs is strongly testable, i.e., testable with a constant number of queries. We also explain how the proof can be adapted to show that any hereditary property of $2$-dimensional matrices over a finite alphabet (where row and column order is not ignored) is strongly testable. The first result generalizes the result of Alon and Shapira [FOCS'05, SICOMP'08], who showed that any hereditary graph property (without vertex order) is strongly testable. The second result answers and generalizes a conjecture of Alon, Fischer and Newman [SICOMP'07] concerning testing of matrix properties.
The testability is proved by establishing a removal lemma for vertex-ordered graphs. It states that for any finite or infinite family $\mathcal{F}$ of forbidden vertex-ordered graphs, and any $ε> 0$, there exist $δ> 0$ and $k$ so that any vertex-ordered graph which is $ε$-far from being $\mathcal{F}$-free contains at least $δn^{|F|}$ copies of some $F\in\mathcal{F}$ (with the correct vertex order) where $|F|\leq k$. The proof bridges the gap between techniques related to the regularity lemma, used in the long chain of papers investigating graph testing, and string testing techniques. Along the way we develop a Ramsey-type lemma for $k$-partite graphs with "undesirable" edges, stating that one can find a Ramsey-type structure in such a graph, in which the density of the undesirable edges is not much higher than the density of those edges in the graph.
Large Deviations for the Empirical Distribution in the General Branching Random Walk
We consider the general branching random walk under minimal assumptions, which in particular guarantee that the empirical particle distribution admits an almost sure central limit theorem. For such a process, we study the large time decay of the probability that the fraction of particles in a typical set deviates from its typical value. We show that such probabilities decay doubly exponentially with speed which is either linear in or the square root of the number of generations, depending on the set and the magnitude of the deviation. We also find the rate of decay in each case.
Exploring an Infinite Space with Finite Memory Scouts
Published
• View Publication
• BIB
Consider a small number of scouts exploring the infinite $d$-dimensional grid with the aim of hitting a hidden target point. Each scout is controlled by a probabilistic finite automaton that determines its movement (to a neighboring grid point) based on its current state. The scouts, that operate under a fully synchronous schedule, communicate with each other (in a way that affects their respective states) when they share the same grid point and operate independently otherwise. Our main research question is: How many scouts are required to guarantee that the target admits a finite mean hitting time? Recently, it was shown that $d + 1$ is an upper bound on the answer to this question for any dimension $d \geq 1$ and the main contribution of this paper comes in the form of proving that this bound is tight for $d \in \{ 1, 2 \}$.
Food-bridging: a new network construction to unveil the principles of cooking
Published
• View Publication
• BIB
In this manuscript we propose, analyse, and discuss a possible new principle behind traditional cuisine: the Food-bridging hypothesis and its comparison with the food-pairing hypothesis using the same dataset and graphical models employed in the food-pairing study by Ahn et al. [Scientific Reports, 1:196 (2011)].
The Food-bridging hypothesis assumes that if two ingredients do not share a strong molecular or empirical affinity, they may become affine through a chain of pairwise affinities. That is, in a graphical model as employed by Ahn et al., a chain represents a path that joints the two ingredients, the shortest path represents the strongest pairwise chain of affinities between the two ingredients.
Food-pairing and Food-bridging are different hypotheses that may describe possible mechanisms behind the recipes of traditional cuisines. Food-pairing intensifies flavour by mixing ingredients in a recipe with similar chemical compounds, and food-bridging smoothes contrast between ingredients. Both food-pairing and food-bridging are observed in traditional cuisines, as shown in this work.
We observed four classes of cuisines according to food-pairing and food-bridging: (1) East Asian cuisines, at one extreme, tend to avoid food-pairing as well as food-bridging; and (4) Latin American cuisines, at the other extreme, follow both principles. For the two middle classes: (2) Southeastern Asian cuisines, avoid food-pairing and follow food-bridging; and (3) Western cuisines, follow food-pairing and avoid food-bridging.
Noether resolutions in dimension $2$
Published
• View Publication
• BIB
Let $R:= K[x_1,\ldots,x_{n}]$ be a polynomial ring over an infinite field $K$, and let $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_n) \in (\mathbb{Z}^+)^n$ such that $\dim(R/I) = d$. In this paper we study the minimal graded free resolution of $R/I$ as $A$-module, that we call the Noether resolution of $R/I$, whenever $A :=K[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. When $d=2$ and $I$ is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gröbner basis of $I$ with respect to the weighted degree reverse lexicographic order. In the particular case when $R/I$ is a $2$-dimensional semigroup ring, we also describe the multigraded version of this resolution in terms of the underlying semigroup. Whenever we have the Noether resolution of $R/I$ or its multigraded version, we obtain formulas for the corresponding Hilbert series of $R/I$, and when $I$ is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of $R/I$. Moreover, in the more general setting that $R/I$ is a simplicial semigroup ring of any dimension, we provide its Macaulayfication.
As an application of the results for $2$-dimensional semigroup rings, we provide a new upper bound for the Castelnuovo-Mumford regularity of the coordinate ring of a projective monomial curve. Finally, we describe the multigraded Noether resolution and the Macaulayfication of either the coordinate ring of a projective monomial curve $\mathcal{C} \subseteq \mathbb{P}_K^{n}$ associated to an arithmetic sequence or the coordinate ring of any canonical projection $π_{r}(\mathcal{C})$ of $\mathcal{C}$ to $\mathbb{P}_K^{n-1}$.
Infinite rank surface cluster algebras
We generalise surface cluster algebras to the case of infinite surfaces where the surface contains finitely many accumulation points of boundary marked points. To connect different triangulations of an infinite surface, we consider infinite mutation sequences.
We show transitivity of infinite mutation sequences on triangulations of an infinite surface and examine different types of mutation sequences. Moreover, we use a hyperbolic structure on an infinite surface to extend the notion of surface cluster algebras to infinite rank by giving cluster variables as lambda lengths of arcs. Furthermore, we study the structural properties of infinite rank surface cluster algebras in combinatorial terms, namely we extend "snake graph combinatorics" to give an expansion formula for cluster variables. We also show skein relations for infinite rank surface cluster algebras.