Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Hall-Littlewood polynomials and characters of affine Lie algebras
Published in Advances in Mathematics 285 (2015), 1066-1105
• View Publication
• BIB
The Weyl-Kac character formula gives a beautiful closed-form expression for the characters of integrable highest-weight modules of Kac-Moody algebras. It is not, however, a formula that is combinatorial in nature, obscuring positivity. In this paper we show that the theory of Hall-Littlewood polynomials may be employed to prove Littlewood-type combinatorial formulas for the characters of certain highest weight modules of the affine Lie algebras C_n^{(1)}, A_{2n}^{(2)} and D_{n+1}^{(2)}. Through specialisation this yields generalisations for B_n^{(1)}, C_n^{(1)}, A_{2n-1}^{(2)}, A_{2n}^{(2)} and D_{n+1}^{(2)} of Macdonald's identities for powers of the Dedekind eta-function. These generalised eta-function identities include the Rogers-Ramanujan, Andrews-Gordon and Göllnitz-Gordon q-series as special, low-rank cases.
Geometrical characterization of semilinear isomorphisms of vector spaces and semilinear homeomorphisms of normed spaces
Published
• View Publication
• BIB
Let $V$ and $V'$ be vector spaces over division rings (possible infinite-dimensional) and let ${\mathcal P}(V)$ and ${\mathcal P}(V')$ be the associated projective spaces. We say that $f:{\mathcal P}(V)\to {\mathcal P}(V')$ is a PGL-{\it mapping} if for every $h\in {\rm PGL}(V)$ there exists $h'\in {\rm PGL}(V')$ such that $fh=h'f$. We show that for every PGL-bijection the inverse mapping is a semicollineation. Also, we obtain an analogue of this result for the projective spaces associated to normed spaces.
The freeness problem over matrix semigroups and bounded languages
Published
• View Publication
• BIB
We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular $2\times 2$ matrices with rational entries when the products are restricted to certain bounded languages.
Rigid polyboxes and Keller's conjecture
Published
• View Publication
• BIB
A cube tiling of R^d is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t:t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=R^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if their closures have a complete facet in common, that is if $|t_j-s_j|=1$ for some $j\in [d]=\{1,..., d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$. In 1930, Keller conjectured that in every cube tiling of R^d there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$. For $d=7$ the conjecture is still open. Let $x\in R^d$, $i\in [d]$, and let L(T,x,i) be the set of all $i$th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$. Let $r^-(T)=\min_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ and $r^+(T)=\max_{x\in R^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$. It is known that Keller's conjecture is true in dimension seven for cube tilings $[0,1)^7+T$ for which $r^-(T)\leq 2$. In the present paper we show that it is also true for $d=7$ if $r^+(T)\geq 6$. Thus, if $[0,1)^d+T$ is a counterexample to Keller's conjecture in dimension seven, then $r^-(T),r^+(T)\in \{3,4,5\}$.
Degree powers in $C_5$-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph with degree sequence $d_1,d_2,\ldots,d_n$. Given a positive integer $p$, denote by $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: given an integer $p$, how large can $e_p(G)$ be if $G$ has no subgraph of a particular type. They got some results for the subgraph of particular type to be a clique of order $r+1$ and a cycle of even length, respectively. Denote by $ex_p(n,H)$ the maximum value of $e_p(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number. In this paper, we consider $ex_p(n, C_5)$ and prove that for any positive integer $p$ and sufficiently large $n$, there exists a constant $c=c(p)$ such that the following holds: if $ex_p(n, C_5)=e_p(G)$ for some $C_5$-free graph $G$ of order $n$, then $G$ is a complete bipartite graph having one vertex class of size $cn+o(n)$ and the other $(1-c)n+o(n)$.
Free Convolution Operators and Free Hall Transform
Published in J.Funct.Anal. 265 (2013) 2645-2708
• View Publication
• BIB
We define an extension of the polynomial calculus on a W*-probability space by introducing an abstract algebra which contains polynomials. This extension allows us to define transition operators for additive and multiplicative free convolution. It also permits us to characterize the free Segal-Bargmann transform and the free Hall transform introduced by Biane, in a manner which is closer to classical definitions. Finally, we use this extension of polynomial calculus to prove two asymptotic results on random matrices: the convergence for each fixed time, as N tends to infinity, of the *-distribution of the Brownian motion on the linear group GL_N(C) to the *-distribution of a free multiplicative circular Brownian motion, and the convergence of the classical Hall transform on U(N) to the free Hall transform.
Excluding cycles with a fixed number of chords
Published
• View Publication
• BIB
Trotignon and Vuskovic completely characterized graphs that do not contain cycles with exactly one chord. In particular, they show that such a graph G has chromatic number at most max(3,w(G)). We generalize this result to the class of graphs that do not contain cycles with exactly two chords and the class of graphs that do not contain cycles with exactly three chords. More precisely we prove that graphs with no cycle with exactly two chords have chromatic number at most 6. And a graph G with no cycle with exactly three chords have chromatic number at most max(96,w(G)+1).
Harmonic analysis and a bentness-like notion in certain finite Abelian groups over some finite fields
It is well-known that degree two finite field extensions can be equipped with a Hermitian-like structure similar to the extension of the complex field over the reals. In this contribution, using this structure, we develop a modular character theory and the appropriate Fourier transform for some particular kind of finite Abelian groups. Moreover we introduce the notion of bent functions for finite field valued functions rather than usual complex-valued functions, and we study several of their properties. In particular we prove that this bentness notion is a consequence of that of Logachev, Salnikov and Yashchenko, introduced in "Bent functions on a finite Abelian group" (1997). In addition this new bentness notion is also generalized to a vectorial setting.
Hitting time theorems for random matrices
Published
• View Publication
• BIB
Starting from an n-by-n matrix of zeros, choose uniformly random zero entries and change them to ones, one-at-a-time, until the matrix becomes invertible. We show that with probability tending to one as n tends to infinity, this occurs at the very moment the last zero row or zero column disappears. We prove a related result for random symmetric Bernoulli matrices, and give quantitative bounds for some related problems. These results extend earlier work by Costello and Vu [arXiv:math/0606414].
Concentration inequalities for non-Lipschitz functions with bounded derivatives of higher order
Published
• View Publication
• BIB
Building on the inequalities for homogeneous tetrahedral polynomials in independent Gaussian variables due to R. Latała we provide a concentration inequality for non-necessarily Lipschitz functions $f\colon \R^n \to \R$ with bounded derivatives of higher orders, which hold when the underlying measure satisfies a family of Sobolev type inequalities $\|g- \E g\|_p \le C(p)\|\nabla g\|_p.$
Such Sobolev type inequalities hold, e.g., if the underlying measure satisfies the log-Sobolev inequality (in which case $C(p) \le C\sqrt{p}$) or the Poincaré inequality (then $C(p) \le Cp$). Our concentration estimates are expressed in terms of tensor-product norms of the derivatives of $f$.
When the underlying measure is Gaussian and $f$ is a polynomial (non-necessarily tetrahedral or homogeneous), our estimates can be reversed (up to a constant depending only on the degree of the polynomial). We also show that for polynomial functions, analogous estimates hold for arbitrary random vectors with independent sub-Gaussian coordinates.
We apply our inequalities to general additive functionals of random vectors (in particular linear eigenvalue statistics of random matrices) and the problem of counting cycles of fixed length in Erdős-R{é}nyi random graphs, obtaining new estimates, optimal in a certain range of parameters.
On Double 3-Term Arithmetic Progressions
In this note we are interested in the problem of whether or not every increasing sequence of positive integers $x_1x_2x_3...$ with bounded gaps must contain a double 3-term arithmetic progression, i.e., three terms $x_i$, $x_j$, and $x_k$ such that $i + k = 2j$ and $x_i + x_k = 2x_j$. We consider a few variations of the problem, discuss some related properties of double arithmetic progressions, and present several results obtained by using RamseyScript, a high-level scripting language.
Limits of local algorithms over sparse random graphs
Published
• View Publication
• BIB
Local algorithms on graphs are algorithms that run in parallel on the nodes of a graph to compute some global structural feature of the graph. Such algorithms use only local information available at nodes to determine local aspects of the global structure, while also potentially using some randomness. Recent research has shown that such algorithms show significant promise in computing structures like large independent sets in graphs locally. Indeed the promise led to a conjecture by Hatami, \Lovasz and Szegedy \cite{HatamiLovaszSzegedy} that local algorithms may be able to compute maximum independent sets in (sparse) random $d$-regular graphs. In this paper we refute this conjecture and show that every independent set produced by local algorithms is multiplicative factor $1/2+1/(2\sqrt{2})$ smaller than the largest, asymptotically as $d\rightarrow\infty$.
Our result is based on an important clustering phenomena predicted first in the literature on spin glasses, and recently proved rigorously for a variety of constraint satisfaction problems on random graphs. Such properties suggest that the geometry of the solution space can be quite intricate. The specific clustering property, that we prove and apply in this paper shows that typically every two large independent sets in a random graph either have a significant intersection, or have a nearly empty intersection. As a result, large independent sets are clustered according to the proximity to each other. While the clustering property was postulated earlier as an obstruction for the success of local algorithms, such as for example, the Belief Propagation algorithm, our result is the first one where the clustering property is used to formally prove limits on local algorithms.
Unicyclic Graphs with equal Laplacian Energy
Published in Linear and Multilinear Algebra 2013
• View Publication
• BIB
We introduce a new operation on a class of graphs with the property that the Laplacian eigenvalues of the input and output graphs are related. Based on this operation, we obtain a family of order (square root of n) noncospectral unicyclic graphs on n vertices with the same Laplacian energy.
Indecomposable modules for the dual immaculate basis of quasi-symmetric functions
Published in Proc. Amer. Math. Soc. 143 (2015), 991-1000
• View Publication
• BIB
We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions.
On Euler's "Misleading Induction", Andrews' "Fix", and How to Fully Automate them
One of the greatest experimental mathematicians of all time was also one of the greatest mathematicians of all time, the great Leonhard Euler. Usually he had an uncanny intuition on how many "special cases" one needs before one can formulate a plausible conjecture, but one time he was "almost fooled", only to find out that his conjecture was premature.
In 1990, George Andrews found a way to "correct" Euler. Here we show how to generate, AUTOMATICALLY, rigorously-proved Euler-Andrews Style formulas, that enables one to generate Euler-style "cautionary tales" about the "danger" of using naive empirical induction. Ironically, the way we prove the Andrews-style corrections is empirical! But in order to turn the empirical proof into a full-fledged rigorous proof, we must make sure that we check sufficiently many (but still not that many!) special cases.
One conjecture about size of Sidon sets
We prove that maximal cardinality of the Sidon set from $[n]$ exceeds $\sqrt{n}
Some algebraic identities for the alpha-permanent
Published
• View Publication
• BIB
We show that the permanent of a matrix is a linear combination of determinants of block diagonal matrices which are simple functions of the original matrix. To prove this, we first show a more general identity involving α-permanents: for arbitrary complex numbers αand β, we show that the α-permanent of any matrix can be expressed as a linear combination of β-permanents of related matrices. Some other identities for the α-permanent of sums and products of matrices are shown, as well as a relationship between the α-permanent and general immanants. We conclude with a discussion of the computational complexity of the α-permanent and provide some numerical illustrations.
A combinatorial analysis of Severi degrees
Published
• View Publication
• BIB
Based on results by Brugallé and Mikhalkin, Fomin and Mikhalkin give formulas for computing classical Severi degrees $N^{d, δ}$ using long-edge graphs. In 2012, Block, Colley and Kennedy considered the logarithmic version of a special function associated to long-edge graphs appeared in Fomin-Mikhalkin's formula, and conjectured it to be linear. They have since proved their conjecture. At the same time, motivated by their conjecture, we consider a special multivariate function associated to long-edge graphs that generalizes their function. The main result of this paper is that the multivariate function we define is always linear. A special case of our result gives an independent proof of Block-Colley-Kennedy's conjecture.
The first application of our linearity result is that by applying it to classical Severi degrees, we recover quadraticity of $Q^{d, δ}$ and a bound $δ$ for the threshold of polynomiality of $N^{d, δ}.$ Next, in joint work with Osserman, we apply the linearity result to a special family of toric surfaces and obtain universal polynomial results having connections to the Göttsche-Yau-Zaslow formula. As a result, we provide combinatorial formulas for the two unidentified power series $B_1(q)$ and $B_2(q)$ appearing in the Göttsche-Yau-Zaslow formula.
The proof of our linearity result is completely combinatorial. We define $τ$-graphs which generalize long-edge graphs, and a closely related family of combinatorial objects we call $(τ, n)$-words. By introducing height functions and a concept of irreducibility, we describe ways to decompose certain families of $(τ, n)$-words into irreducible words, which leads to the desired results.
On the inner structure of a permutation: Bicolored Partitions and Eulerians, Trees and Primitives
We present a bijective algorithm with which an arbitrary permutation decomposes canonically into elementary blocks which we call families, which are sets with a specified number of ascents and descents. We show that families, arranged in an arbitrary order in a sequence, are in bijection with permutations. The permutation decomposes canonically, by inserting parentheses, into a tree having as nodes a class of permutations which we call primitive. Primitive permutations can be assembled from very simple data. The data for the trees into which a permutation decomposes can be written in a form similar to the decimal classification of a library. We axiomatize that data. It has a structure very different from the permutation which it encodes, with shuffles and pairings instead of reorderings. These structures are similar to the fundamental processes in quantum field theory. Our main bijective structure algorithm gives explicit, additive multinomial formulae for the number of permutations with given sets of elements under and over the diagonal, or with given ascent and descent values. The multinomial expressions obtained this way give a new class of bicolored set statistics, between set partitions and set compositions, called shifted multinomials. These provide for the first time additive multinomial expressions for Eulerian numbers and derangements, as part of a sequence of new combinatorial objects. These multinomial expressions satisfy inductive relations involving only immediate neighbors, similar to the relations satisfied by the Eulerian numbers.
Lifting of divisible designs
Published in Des. Codes Cryptogr., 42 (2007), 1-14
• View Publication
• BIB
The aim of this paper is to present a construction of $t$-divisible designs for $t>3$, because such divisible designs seem to be missing in the literature. To this end, tools such as finite projective spaces and their algebraic varieties are employed. More precisely, in a first step an abstract construction, called $t$-lifting, is developed. It starts from a set $X$ containing a $t$-divisible design and a group $G$ acting on $X$. Then several explicit examples are given, where $X$ is a subset of $PG(n,q)$ and $G$ is a subgroup of $GL_{n+1}(q)$. In some cases $X$ is obtained from a cone with a Veronesean or an $h$-sphere as its basis. In other examples $X$ arises from a projective embedding of a Witt design. As a result, for any integer $t\geq 2$ infinitely many non-isomorphic $t$-divisible designs are found.