representation ↗ reference
4143 papers tagged with this keyword
On the Construction of High Dimensional Simple Games
Published
• View Publication
• BIB
Voting is a commonly applied method for the aggregation of the preferences of multiple agents into a joint decision. If preferences are binary, i.e., "yes" and "no", every voting system can be described by a (monotone) Boolean function $χ\colon\{0,1\}^n\rightarrow \{0,1\}$. However, its naive encoding needs $2^n$ bits. The subclass of threshold functions, which is sufficient for homogeneous agents, allows a more succinct representation using $n$ weights and one threshold. For heterogeneous agents, one can represent $χ$ as an intersection of $k$ threshold functions. Taylor and Zwicker have constructed a sequence of examples requiring $k\ge 2^{\frac{n}{2}-1}$ and provided a construction guaranteeing $k\le {n\choose {\lfloor n/2\rfloor}}\in 2^{n-o(n)}$. The magnitude of the worst-case situation was thought to be determined by Elkind et al.~in 2008, but the analysis unfortunately turned out to be wrong. Here we uncover a relation to coding theory that allows the determination of the minimum number $k$ for a subclass of voting systems. As an application, we give a construction for $k\ge 2^{n-o(n)}$, i.e., there is no gain from a representation complexity point of view.
Maximal $m$-distance sets containing the representation of the Hamming graph $H(n,m)$
Published
• View Publication
• BIB
A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the maximal $m$-distance sets which contain the Euclidean representation of the Johnson graph $J(n,m)$. In this paper, we consider the same problem for the Hamming graph $H(n,m)$. The Euclidean representation of $H(n,m)$ is an $m$-distance set in $\mathbb{R}^{m(n-1)}$. We prove that the maximum $n$ is $m^2 + m - 1$ such that the representation of $H(n,m)$ is not maximal as an $m$-distance set. Moreover we classify the largest $m$-distance sets which contain the representation of $H(n,m)$ for $m\leq 4$ and any $n$. We also classify the maximal $2$-distance sets in $\mathbb{R}^{2n-1}$ which contain the representation of $H(n,2)$ for any $n$.
A Combinatorial Approach to the Symmetry of $q,t$-Catalan Numbers
Published in SIAM J. Discrete Math (SIDMA). 32 (2018) no.1, 191--232
• View Publication
• BIB
The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.
Statistical properties of eigenvalues of Laplace-Beltrami operators
Published
• View Publication
• BIB
We study the eigenvalues of a Laplace-Beltrami operator defined on the set of the symmetric polynomials, where the eigenvalues are expressed in terms of partitions of integers. By assigning partitions with the restricted uniform measure, the restricted Jack measure, the uniform measure or the Plancherel measure, we prove that the global distribution of the eigenvalues is asymptotically a new distribution $μ$, the Gamma distribution, the Gumbel distribution and the Tracy-Widom distribution, respectively. An explicit representation of $μ$ is obtained by a function of independent random variables. We also derive an independent result on random partitions itself: a law of large numbers for the restricted uniform measure. Two open problems are also asked.
Generalized bent functions - sufficient conditions and related constructions
The necessary and sufficient conditions for a class of functions $f:\mathbb{Z}_2^n \rightarrow \mathbb{Z}_q$, where $q \geq 2$ is an even positive integer, have been recently identified for $q=4$ and $q=8$. In this article we give an alternative characterization of the generalized Walsh-Hadamard transform in terms of the Walsh spectra of the component Boolean functions of $f$, which then allows us to derive sufficient conditions that $f$ is generalized bent for any even $q$. The case when $q$ is not a power of two, which has not been addressed previously, is treated separately and a suitable representation in terms of the component functions is employed. Consequently, the derived results lead to generic construction methods of this class of functions. The main remaining task, which is not answered in this article, is whether the sufficient conditions are also necessary. There are some indications that this might be true which is also formally confirmed for generalized bent functions that belong to the class of generalized Maiorana-McFarland functions (GMMF), but still we were unable to completely specify (in terms of necessity) gbent conditions.
Expansion of polynomial Lie group integrals in terms of certain maps on surfaces, and factorizations of permutations
Published in J. Phys. A: Math. Theor. 50 075201 (2017)
• View Publication
• BIB
Using the diagrammatic approach to integrals over Gaussian random matrices, we find a representation for polynomial Lie group integrals as infinite sums over certain maps on surfaces. The maps involved satisfy a specific condition: they have some marked vertices, and no closed walks that avoid these vertices. We also formulate our results in terms of permutations, arriving at new kinds of factorization problems.
Trapezoidal numbers, divisor functions, and a partition theorem of Sylvester
Published in in: Analytic Number Theory, Modular Forms and q-Hypergeometric Series, Springer Proceedings in Mathematics and Statistics, Volume: 221, Springer, 2018, pp. 555--586
• View Publication
• BIB
A partition of a positive integer $n$ is a representation of $n$ as a sum of a finite number of positive integers (called parts). A trapezoidal number is a positive integer that has a partition whose parts are a decreasing sequence of consecutive integers, or, more generally, whose parts form a finite arithmetic progression. This paper reviews the relation between trapezoidal numbers, partitions, and the set of divisors of a positive integer. There is also a complete proof of a theorem of Sylvester that produces a stratification of the partitions of an integer into odd parts and partitions into disjoint trapezoids.
Latent Network Features and Overlapping Community Discovery via Boolean Intersection Representations
Published
• View Publication
• BIB
We propose a new latent Boolean feature model for complex networks that captures different types of node interactions and network communities. The model is based on a new concept in graph theory, termed the Boolean intersection representation of a graph, which generalizes the notion of an intersection representation. We mostly focus on one form of Boolean intersection, termed cointersection, and describe how to use this representation to deduce node feature sets and their communities. We derive several general bounds on the minimum number of features used in cointersection representations and discuss graph families for which exact cointersection characterizations are possible. Our results also include algorithms for finding optimal and approximate cointersection representations of a graph.
A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra
This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.
Proof of bijection for combinatorial number system
Combinatorial number system represents a non-negative natural numbers as sum of binomial coefficients. This paper presents an induction proof that there exists unique representation of every non-negative natural number $m$ as sum of $r$ binomial coefficients.
Higher spin six vertex model and symmetric rational functions
Published
• View Publication
• BIB
We consider a fully inhomogeneous stochastic higher spin six vertex model in a quadrant. For this model we derive concise integral representations for multi-point q-moments of the height function and for the q-correlation functions. At least in the case of the step initial condition, our formulas degenerate in appropriate limits to many known formulas of such type for integrable probabilistic systems in the (1+1)d KPZ universality class, including the stochastic six vertex model, ASEP, various q-TASEPs, and associated zero range processes.
Our arguments are largely based on properties of a family of symmetric rational functions which can be defined as partition functions of the inhomogeneous higher spin six vertex model for suitable domains. In the homogeneous case, such functions were previously studied in http://arxiv.org/abs/1410.0976; they also generalize classical Hall-Littlewood and Schur polynomials. A key role is played by Cauchy-like summation identities for these functions, which are obtained as a direct corollary of the Yang-Baxter equation for the higher spin six vertex model.
Incidence Geometry in a Weyl Chamber II: $SL_n$
Published
• View Publication
• BIB
We study the polyhedral geometry of the hyperplanes orthogonal to the weights of the first and the second fundamental representations of $sl_n$ inside the dual fundamental Weyl chamber. We obtain generating functions that enumerate the flats and the faces of a fixed dimension. In addition, we describe the extreme rays of the incidence geometry and classify simplicial faces.
From the perspective of supersymmetric gauge theories with 8 supercharges in five dimensional spacetime, the poset of flats is isomorphic to the network of mixed Coulomb-Higgs branches. On the other hand, the poset of faces is conjectured to be isomorphic to the network of crepant partial resolutions of an elliptic fibration with gauge algebra $sl_n$ and "matter representation" given by the sum of the first two fundamental representations.
The fiber dimension of a graph
Published
• View Publication
• BIB
Graphs on integer points of polytopes whose edges come from a set of allowed differences are studied. It is shown that any simple graph can be embedded in that way. The minimal dimension of such a representation is the fiber dimension of the given graph. The fiber dimension is determined for various classes of graphs and an upper bound in terms of the chromatic number is stated.
The small Kakeya sets in $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a conic
Published
• View Publication
• BIB
A Kakeya set in the linear representation $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a non-singular conic, is the point set covered by a set of $q+1$ lines, one through each point of $\mathcal{C}$. In this article we classify the small Kakeya sets in $T^{*}_{2}(\mathcal{C})$. The smallest Kakeya sets have size $\left\lfloor\frac{3q^{2}+2q}{4}\right\rfloor$, and all Kakeya sets with weight less than $\left\lfloor\frac{3(q^{2}-1)}{4}\right\rfloor+q$ are classified: there are approximately $\sqrt{\frac{q}{2}}$ types.
Nullspace embeddings for outerplanar graphs
Published in in: Journey Through Discrete Mathematics. A Tribute to Jiri Matousek, Springer (2017), 571-591
• Search Publication
We study relations between geometric embeddings of graphs and the spectrum of associated matrices, focusing on outerplanar embeddings of graphs. For a simple connected graph $G=(V,E)$, we define a "good" $G$-matrix as a $V\times V$ matrix with negative entries corresponding to adjacent nodes, zero entries corresponding to distinct nonadjacent nodes, and exactly one negative eigenvalue. We give an algorithmic proof of the fact that it $G$ is a 2-connected graph, then either the nullspace representation defined by any "good" $G$-matrix with corank 2 is an outerplanar embedding of $G$, or else there exists a "good" $G$-matrix with corank 3.
Spectra of general hypergraphs
Published
• View Publication
• BIB
Here, we show a method to reconstruct connectivity hypermatrices of a general hypergraph (without any self loop or multiple edge) using tensor. We also study the different spectral properties of these hypermatrices and find that these properties are similar for graphs and uniform hypergraphs. The representation of a connectivity hypermatrix that is proposed here can be very useful for the further development in spectral hypergraph theory.
Cohomology of Complements of Toric Arrangements Associated to Root Systems
Published
• View Publication
• BIB
We compute the cohomology of the complement of toric arrangements associated to root systems as representations of the corresponding Weyl groups. Specifically, we develop an algorithm for computing the cohomology of the complement of toric arrangements associated to general root systems and we carry out this computation for the exceptional root systems $G_2$, $F_4$, $E_6$ and $E_7$. We also compute the total cohomology of the complement of the toric arrangement associated to $A_n$ as a representation of the Weyl group and give a formula for its Poincaré polynomial.
Representation of large matchings in bipartite graphs
Published
• View Publication
• BIB
Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to a constant, namely $f(n) \le \lceil \frac{3}{2}n \rceil+1$.
A correction to the paper `A new approach to the representation theory of the symmetric groups, III'
The aim of this paper is to give a corrected bijective proof of Vershik's relations for the Kostka numbers. Our proof uses insertion and reverse insertion algorithms, as in the combinatorial proof of the Pieri rule.
Triple crystal action in Fock spaces
Published
• View Publication
• BIB
We make explicit a triple crystal structure on higher level Fock spaces, by investigating at the combinatorial level the actions of two affine quantum groups and of a Heisenberg algebra. To this end, we first determine a new indexation of the basis elements that makes the two quantum group crystals commute. Then, we define a so-called Heisenberg crystal, commuting with the other two. This gives new information about the representation theory of cyclotomic rational Cherednik algebras, relying on some recent results of Shan and Vasserot and of Losev. In particular, we give an explicit labelling of their finite-dimensional simple modules.