Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Isonemal Prefabrics with No Axes of Symmetry
Published in Discrete Mathematics 310 (2010), 1307--1324
• View Publication
• BIB
This paper refines Richard Roth's taxonomy of isonemal weaving designs through the final types 33--39 in order to complete the solution of three problems for those designs: which designs exist in various sizes, which prefabrics can be doubled and remain isonemal, and which can be halved and remain isonemal. These types have no symmetry axes but have quarter-turn symmetries. Jean Pedersen's problem of woven cubes is also discussed.
Higher order Fourier analysis as an algebraic theory II
Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of approximative statements. The present paper is the second part of a paper in which higher order characters and decompositions were introduced. We generalize the concept of the Pontrjagin dual group and introduce higher order versions of it. We study the algebraic structure of the higher order dual groups. We prove a simple formula for the Gowers uniformity norms in terms of higher order decompositions. We present a simple spectral algorithm to produce higher order decompositions. We briefly study a multi linear version of Fourier analysis. Along these lines we obtain new inverse theorems for Gowers's norms.
A generalization of Hungarian method and Hall's theorem with applications in wireless sensor networks
Published
• View Publication
• BIB
In this paper, we consider various problems concerning quasi-matchings and semi-matchings in bipartite graphs, which generalize the classical problem of determining a perfect matching in bipartite graphs. We prove a vast generalization of Hall's marriage theorem, and present an algorithm that solves the problem of determining a lexicographically minimum $g$-quasi-matching (that is a set $F$ of edges in a bipartite graph such that in one set of the bipartition every vertex $v$ has at least $g(v)$ incident edges from $F$, where $g$ is a so-called need mapping, while on the other side of the bipartition the distribution of degrees with respect to $F$ is lexicographically minimum). We also present an application in designing an optimal CDMA-based wireless sensor networks.
The Algorithm Z and Ramanujan's $_1ψ_1$ Summation
Published
• View Publication
• BIB
We use the Algortihm Z on partitions due to Zeilberger, in a variant form, to give a combinatorial proof of Ramanujan's $_1ψ_1$ summation formula.
On Commensurizer Growth
We study new asymptotic invariant of a pair consisting of a group and a subgroup, which we call Commensurizer Growth. We compute the commensurizer growth for several examples, concentrating mainly on the case of a locally compact topological group and a lattice inside it.
Asymptotics of characters of symmetric groups: structure of Kerov character polynomials
Published in Journal of Combinatorial Theory, Series A, 119 (6), 2012, pp 1174-1193
• View Publication
• BIB
We study asymptotics of characters of the symmetric groups on a fixed conjugacy class. It was proved by Kerov that such a character can be expressed as a polynomial in free cumulants of the Young diagram (certain functionals describing the shape of the Young diagram). We show that for each genus there exists a universal symmetric polynomial which gives the coefficients of the part of Kerov character polynomials with the prescribed homogeneous degree. The existence of such symmetric polynomials was conjectured by Lassalle.
Four-class Skew-symmetric Association Schemes
Published in journal of Combnatorial theory Ser. A 118 (2011) 1381-1391
• View Publication
• BIB
An association scheme is called skew-symmetric if it has no symmetric adjacency relations other than the diagonal one. In this paper, we study 4-class skew-symmetric association schemes. In J. Ma [On the nonexistence of skew-symmetric amorphous association schemes, submitted for publication], we discovered that their character tables fall into three types. We now determine their intersection matrices. We then determine the character tables and intersection numbers for 4-class skew-symmetric pseudocyclic association schemes, the only known examples of which are cyclotomic schemes. As a result, we answer a question raised by S. Y. Song [Commutative association schemes whose symmetrizations have two classes, J. Algebraic Combin. 5(1) 47-55, 1996]. We characterize and classify 4-class imprimitive skew-symmetric association schemes. We also prove that no 2-class Johnson scheme can admit a 4-class skew-symmetric fission scheme. Based on three types of character tables above, a short list of feasible parameters is generated.
Flocks of Cones: Star Flocks
The concept of a flock of a quadratic cone is generalized to arbitrary cones. Flocks whose planes contain a common point are called star flocks. Star flocks can be described in terms of their coordinate functions. If the cone is "big enough", the star flocks it admits can be classified by means of a connection with minimal blocking sets of Redei type. This connection can also be used to obtain examples of bilinear flocks of non-quadratic cones.
Curtis-Tits groups generalizing Kac-Moody groups of type $\widetilde{A}_n$
Published in Journal of Algebra 399 (2014) 978-1012
• View Publication
• BIB
In a previous paper we define a Curtis-Tits group as a certain generalization of a Kac-Moody group. We distinguish between orientable and non-orientable Curtis-Tits groups and identify all orientable Curtis-Tits groups as
Kac-Moody groups associated to twin-buildings.
In the present paper we construct all orientable and non-orientable Curtis-Tits groups with diagram $\widetilde{A}_n$ over a field ${\mathbb F}$. The resulting groups are quite interesting in their own right. The orientable ones are related to Drinfel'd' s construction of vector bundles over a non-commutative projective line and to the classical groups over cyclic algebras. The non-orientable ones are related to q-CCR algebras in physics and have symplectic, orthogonal and unitary groups as quotients.
Graph-theoretic conditions for injectivity of functions on rectangular domains
Published
• View Publication
• BIB
This paper presents sufficient graph-theoretic conditions for injectivity of collections of differentiable functions on rectangular subsets of R^n. The results have implications for the possibility of multiple fixed points of maps and flows. Well-known results on systems with signed Jacobians are shown to be easy corollaries of more general results presented here.
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.
Invariant functionals on completely distributive lattices
Published
• View Publication
• BIB
In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices.
Finite groups acting linearly: Hochschild cohomology and the cup product
Published
• View Publication
• BIB
When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.
Character-free approach to progression-free sets
Published
• View Publication
• BIB
We present an elementary combinatorial argument showing that the density of a progression-free set in a finite r-dimensional vector space is O(1/r).
The Geometry of Manipulation - a Quantitative Proof of the Gibbard Satterthwaite Theorem
Published
• View Publication
• BIB
We prove a quantitative version of the Gibbard-Satterthwaite theorem. We show that a uniformly chosen voter profile for a neutral social choice function f of $q \ge 4$ alternatives and n voters will be manipulable with probability at least $10^{-4} \eps^2 n^{-3} q^{-30}$, where $\eps$ is the minimal statistical distance between f and the family of dictator functions. Our results extend those of FrKaNi:08, which were obtained for the case of 3 alternatives, and imply that the approach of masking manipulations behind computational hardness (as considered in BarthOrline:91, ConitzerS03b, ElkindL05, ProcacciaR06 and ConitzerS06) cannot hide manipulations completely. Our proof is geometric. More specifically it extends the method of canonical paths to show that the measure of the profiles that lie on the interface of 3 or more outcomes is large. To the best of our knowledge our result is the first isoperimetric result to establish interface of more than two bodies.
Judicious partitions of 3-uniform hypergraphs
Published in Combinatorica 32 (2012)
• View Publication
• BIB
The vertices of any graph with $m$ edges can be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform graph may be likewise partitioned into $r$ classes such that each part meets at least $cm$ edges, with $c=\frac{r}{2r-1}$. In this paper, we prove this conjecture for the case $r=3$. In the course of the proof we shall also prove an extension of the graph case which was conjectured by Bollobás and Scott.
The three-colour model with domain wall boundary conditions
Published in Adv. Appl. Math 46 (2011), 481-535
• View Publication
• BIB
We study the partition function for the three-colour model with domain wall boundary conditions. We express it in terms of certain special polynomials, which can be constructed recursively. Our method generalizes Kuperberg's proof of the alternating sign matrix theorem, replacing the six-vertex model used by Kuperberg with the eight-vertex-solid-on-solid model. As applications, we obtain some combinatorial results on three-colourings. We also conjecture an explicit formula for the free energy of the model.
Concentration of the adjacency matrix and of the Laplacian in random graphs with independent edges
Consider any random graph model where potential edges appear independently, with possibly different probabilities, and assume that the minimum expected degree is omega(ln n). We prove that the adjacency matrix and the Laplacian of that random graph are concentrated around the corresponding matrices of the weighted graph whose edge weights are the probabilities in the random model. While this may seem surprising, we will see that this matrix concentration phenomenon is a generalization of known results about the Erös-Rényi model. In particular, we will argue that matrix concentration is implicit the theory of quasi-random graph properties.
We present two main applications of the main result. In bond percolation over a graph G, we show that the Laplacian of the random subgraph is typically very close to the Laplacian of G. As a corollary, we improve upon a bound for the spectral gap due to Chung and Horn that was derived via much more complicated methods.
In inhomogeneous random graphs, there are points X_1,...,X_n uniformly distributed on the interval [0,1] and each pair is connected with probability p kappa(X_i,X_j). We show that if \ln n/n<< p<< 1 and kappa is bounded, then the adjacency matrix of the random graph is close to an integral operator defined in terms of kappa.
Our main proof tool is a new concentration inequality for matrix martingales that generalizes Freedman's inequality for the standard scalar setting.
Order algebras: a quantitative model of interaction
Published
• View Publication
• BIB
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This algebraic structure is shown to provide faithful interpretations of finitary process algebras, for an extension of the standard notion of testing semantics, leading to a model that is both denotational (in the sense that the internal workings of processes are ignored) and non-interleaving. Constructions on algebras and their subspaces enjoy a good structure that make them (nearly) a model of differential linear logic, showing that the underlying approach to the representation of non-determinism as linear combinations is the same.
The measurement of quantum entanglement and enumeration of graph coverings
Published
• View Publication
• BIB
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.