partition
6235 papers tagged with this keyword
Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher
One of the major open problems in symmetric cryptanalysis is to discover new specif i c types of invariant properties which can hold for a larger number of rounds of a block cipher. We have Generalised Linear Cryptanalysis (GLC) and Partitioning Cryptanalysis (PC). Due to double-exponential combinatorial explosion of the number of possible invariant properties systematic exploration is not possible and extremely few positive working examples of GLC are known. Our answer is to work with polynomial algebraic invariants which makes partitions more intelligible. We have developed a constructive algebraic approach which is about making sure that a certain combination of polynomial equations is zero. We work with an old block cipher from 1980s which has particularly large hardware complexity compared to modern ciphers e.g. AES. However all this complexity is not that useful if we are able to construct powerful non-linear invariants which work for any number of rounds. A key feature of our invariant attacks is that we are able to completely eliminate numerous state and key bits. We also construct invariants for the (presumably stronger) KT1 keys. Some of these lead to powerful ciphertext-only correlation attacks.
The exact phase diagram for a semipermeable TASEP with nonlocal boundary jumps
Published in J. Phys. A: Math. Theor. 52 (2019) 355001 (19pp)
• View Publication
• BIB
We consider a finite one-dimensional totally asymmetric simple exclusion process (TASEP) with four types of particles, $\{1,0,\bar{1},*\}$, in contact with reservoirs. Particles of species $0$ can neither enter nor exit the lattice, and those of species $*$ are constrained to lie at the first and last site. Particles of species $1$ enter from the left reservoir into either the first or second site, move rightwards, and leave from either the last or penultimate site. Conversely, particles of species $\bar{1}$ enter from the right reservoir into either the last or penultimate site, move leftwards, and leave from either the first or last site. This dynamics is motivated by a natural random walk on the Weyl group of type D. We compute the exact nonequilibrium steady state distribution using a matrix ansatz building on earlier work of Arita. We then give explicit formulas for the nonequilibrium partition function as well as densities and currents of all species in the steady state, and derive the phase diagram.
Chromatic Polynomial and Heaps of Pieces
Stanley in his paper [Stanley, Richard P.: Acyclic orientations of graphs In: Discrete Mathematics 5 (1973), Nr. 2, S. 171-178.] provided interpretations of the chromatic polynomial when it is substituted with negative integers. Greene and Zaslavsky interpreted the coefficients of the chromatic polynomial in [Greene, Curtis ; Zaslavsky, Thomas: On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs. In: Transactions of the American Mathematical Society 280 (1983), jan, Nr. 1, S. 97-97.]. We shall develop an involution on factorisations of heaps of pieces and using this involution, we shall provide bijective proofs to results from both the papers.
Colored five-vertex models and Demazure atoms
Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.
Partition regularity and multiplicatively syndetic sets
We show how multiplicatively syndetic sets can be used in the study of partition regularity of dilation invariant systems of polynomial equations. In particular, we prove that a dilation invariant system of polynomial equations is partition regular if and only if it has a solution inside every multiplicatively syndetic set. We also adapt the methods of Green-Tao and Chow-Lindqvist-Prendiville to develop a syndetic version of Roth's density increment strategy. This argument is then used to obtain bounds on the Rado numbers of configurations of the form $\{x, d, x + d, x + 2d\}$.
Universality for random surfaces in unconstrained genus
Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the configuration of polygons we started with, the degree sequence of the graph obtained this way is remarkably constant in total variation distance and converges towards a Poisson--Dirichlet partition as $n \to \infty$. We actually show that several other geometric properties of the graph are universal. En route we provide an alternative proof of a weak version of the result of Chmutov and Pittel using probabilistic techniques and related to the circle of ideas around the peeling process of random planar maps. At this occasion we also fill a gap in the existing literature by surveying the properties of a uniform random map with $n$ edges. In particular we show that the diameter of a random map with $n$ edges converges in law towards a random variable taking only values in $\{2,3\}$.
A variant of ${\texttt{IdentityFinder}}$ and some new identities of Rogers-Ramanujan-MacMahon type
We report on findings of a variant of ${\texttt{IdentityFinder}}$ - a Maple program that was used by two of the authors to conjecture several new identities of Rogers-Ramanujan kind. In the present search, we modify the parametrization of the search space by taking into consideration several aspects of Lepowsky and Wilson's $Z$-algebraic mechanism and its variant by Meurman and Primc. We search for identities based on forbidding the appearance of "flat" partitions as sub-partitions. Several new identities of Rogers-Ramanujan-MacMahon type are found and proved.
A lecture hall theorem for $m$-falling partitions
For an integer $m\ge 2$, a partition $λ=(λ_1,λ_2,\ldots)$ is called $m$-falling, a notion introduced by Keith, if the least nonnegative residues mod $m$ of $λ_i$'s form a nonincreasing sequence. We extend a bijection originally due to the third author to deduce a lecture hall theorem for such $m$-falling partitions. A special case of this result gives rise to a finite version of Pak-Postnikov's $(m,c)$-generalization of Euler's theorem. Our work is partially motivated by a recent extension of Euler's theorem for all moduli, due to Keith and Xiong. We note that their result actually can be refined with one more parameter.
Moments of ranks and cranks, and Quotients of Eisenstein Series and the Dedekind Eta Function
Atkin and Garvan introduced the functions $N_k(n)$ and $M_k(n)$, which denote the $k$-th moments of ranks and cranks in the theory of partitions. Let $e_{2r}(n)$ be the $n$-th Fourier coefficient of $E_{2r}(τ)/η(τ)$, where $E_{2r}(τ)$ is the classical Eisenstein series of weight $2r$ and $η(τ)$ is the Dedekind eta function. Via the theory of quasi-modular forms, we find that for $k \leq 5$, $N_k(n)$ and $M_k(n)$ can be expressed using $e_{2r}(n)$ ($2\leq r \leq k$), $p(n)$ and $N_2(n)$. For $k>5$, additional functions are required for such expressions. For $r\in \{2, 3, 4, 5, 7\}$, by studying the action of Hecke operators on $E_{2r}(τ)/η(τ)$, we provide explicit congruences modulo arbitrary powers of primes for $e_{2r}(n)$. Moreover, for $\ell \in \{5, 7, 11, 13\}$ and any $k\geq 1$, we present uniform methods for finding nice representations for $\sum_{n=0}^\infty e_{2r}\left(\frac{\ell^{k}n+1}{24}\right)q^n$, which work for every $r\geq 2$. These representations allow us to prove congruences modulo powers of $\ell$, and we have done so for $e_4(n)$ and $e_6(n)$ as examples. Based on the congruences satisfied by $e_{2r}(n)$, we establish congruences modulo arbitrary powers of $\ell$ for the moments and symmetrized moments of ranks and cranks as well as higher order $\mathrm{spt}$-functions.
On $(2n/3-1)$-resilient $(n,2)$-functions
A $\{00,01,10,11\}$-valued function on the vertices of the $n$-cube is called a $t$-resilient $(n,2)$-function if it has the same number of $00$s, $01$s, $10$s and $11$s among the vertices of every subcube of dimension $t$. The Friedman and Fon-Der-Flaass bounds on the correlation immunity order say that such a function must satisfy $t\le 2n/3-1$; moreover, the $(2n/3-1)$-resilient $(n,2)$-functions correspond to the equitable partitions of the $n$-cube with the quotient matrix $[[0,r,r,r],[r,0,r,r],[r,r,0,r],[r,r,r,0]]$, $r=n/3$. We suggest constructions of such functions and corresponding partitions, show connections with Latin hypercubes and binary $1$-perfect codes, characterize the non-full-rank and the reducible functions from the considered class, and discuss the possibility to make a complete characterization of the class.
The Herzog-Schönheim conjecture for solvable groups
Herzog and Schönheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.
Characteristic polynomials and zeta functions of equitably partitioned graphs
Published in Linear Algebra and its Applications, Volume 588, 1 March 2020, Pages 471-488
• View Publication
• BIB
Let $π=\{V_1,\dots,V_r\}$ be an equitable partition of the vertex set of a directed graph (digraph) $X$. It is well known that the characteristic polynomial $φ(X/π,x)$ of a quotient graph $X/π$ divides that of $X$, but the remainder part is not well investigated. In this paper, we define a deletion graph $X\backslashπ$ over an equitable partition $π$, which is a signed directed graph defined for a fixed set of deleting vertices $\{\bar{v}_i\in V_i, i=1,\cdots,r\}$, and give a similarity transformation exchanging the adjacency matrix $A(X)$ which is compatible with the equitable partition for a block triangular matrix whose diagonal blocks are the adjacency matrix of the quotient graph and the deletion graph. In fact, we show the result for more general matrices including adjacency matrix of graphs, and as corollaries, we show the followings: (i) a decomposition formula of the reciprocal of the Ihara-Bartholdi zeta function over an equitably partitioned undirected graph into the quotient graph part and the deletion graph part, and (ii) Chen and Chen's result ([CC17, Theorem 3.1]) on the Ihara-Bartholdi zeta functions on generalized join graphs, and (iii) Teranishi's result [Ter03, Theorem 3.3].
Envy-free Matchings in Bipartite Graphs and their Applications to Fair Division
Published in Information Sciences, 2022, 587:164--187. Note: during the production, the main theorem text was deleted. The arXiv version is the correct one
• View Publication
• BIB
A matching in a bipartite graph with parts X and Y is called envy-free if no unmatched vertex in X is a adjacent to a matched vertex in Y. Every perfect matching is envy-free, but envy-free matchings exist even when perfect matchings do not. We prove that every bipartite graph has a unique partition such that all envy-free matchings are contained in one of the partition sets. Using this structural theorem, we provide a polynomial-time algorithm for finding an envy-free matching of maximum cardinality. For edge-weighted bipartite graphs, we provide a polynomial-time algorithm for finding a maximum-cardinality envy-free matching of minimum total weight. We show how envy-free matchings can be used in various fair division problems with either continuous resources ("cakes") or discrete ones. In particular, we propose a symmetric algorithm for proportional cake-cutting, an algorithm for 1-out-of-(2n-2) maximin-share allocation of discrete goods, and an algorithm for 1-out-of-floor(2n/3) maximin-share allocation of discrete bads among n agents.
About an extension of the Davenport-Rado result to the Herzog-Schonheim conjecture for free groups
Published in Advances in Group theory and applications 2021
• Search Publication
Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Schönheim conjectured that if $\{H_iα_i\}_{i=1}^{i=s}$, $α_i\in G$, is a coset partition of $G$, then $d_1$,..,$d_s$ cannot be distinct. We consider the Herzog-Schönheim conjecture for free groups of finite rank and propose a new approach, based on an extension of the Davenport-Rado result for $G=\mathbb{Z}$.
State matrix recursion method and monomer--dimer problem
The exact enumeration of pure dimer coverings on the square lattice was obtained by Kasteleyn, Temperley and Fisher in 1961. In this paper, we consider the monomer-dimer covering problem (allowing multiple monomers) which is an outstanding unsolved problem in lattice statistics. We have developed the state matrix recursion method that allows us to compute the number of monomer--dimer coverings and to know the partition function with monomer and dimer activities. This method proceeds with a recurrence relation of so-called state matrices of large size. The enumeration problem of pure dimer coverings and dimer coverings with single boundary monomer is revisited in partition function forms. We also provide the number of dimer coverings with multiple vacant sites. The related Hosoya index and the asymptotic behavior of its growth rate are considered. Lastly, we apply this method to the enumeration study of domino tilings of Aztec diamonds and more generalized regions, so-called Aztec octagons and multi-deficient Aztec octagons.
A general method to obtain the spectrum and local spectra of a graph from its regular partitions
It is well known that, in general, part of the spectrum of a graph can be obtained from the adjacency matrix of its quotient graph given by a regular partition. In this paper, we propose a method to obtain all the spectrum, and also the local spectra, of a graph $Γ$ from the quotient matrices of some of its regular partitions. As examples, it is shown how to find the eigenvalues and (local) multiplicities of walk-regular, distance-regular, and distance-biregular graphs.
A symplectic refinement of shifted Hecke insertion
Published in J. Combin. Theory Ser. A 173 (2020), 105216
• View Publication
• BIB
Buch, Kresch, Shimozono, Tamvakis, and Yong defined Hecke insertion to formulate a combinatorial rule for the expansion of the stable Grothendieck polynomials $G_π$ indexed by permutations in the basis of stable Grothendieck polynomials $G_λ$ indexed by partitions. Patrias and Pylyavskyy introduced a shifted analogue of Hecke insertion whose natural domain is the set of maximal chains in a weak order on orbit closures of the orthogonal group acting on the complete flag variety. We construct a generalization of shifted Hecke insertion for maximal chains in an analogous weak order on orbit closures of the symplectic group. As an application, we identify a combinatorial rule for the expansion of "orthogonal" and "symplectic" shifted analogues of $G_π$ in Ikeda and Naruse's basis of $K$-theoretic Schur $P$-functions.
Fast algorithms at low temperatures via Markov chains
We define a discrete-time Markov chain for abstract polymer models and show that under sufficient decay of the polymer weights, this chain mixes rapidly. We apply this Markov chain to polymer models derived from the hard-core and ferromagnetic Potts models on bounded-degree (bipartite) expander graphs. In this setting, Jenssen, Keevash and Perkins (2019) recently gave an FPTAS and an efficient sampling algorithm at sufficiently high fugacity and low temperature respectively. Their method is based on using the cluster expansion to obtain a complex zero-free region for the partition function of a polymer model, and then approximating this partition function using the polynomial interpolation method of Barvinok.
Our approach via the polymer model Markov chain circumvents the zero-free analysis and the generalization to complex parameters, and leads to a sampling algorithm with a fast running time of $O(n \log n)$ for the Potts model and $O(n^2 \log n)$ for the hard-core model, in contrast to typical running times of $n^{O(\log Δ)}$ for algorithms based on Barvinok's polynomial interpolation method on graphs of maximum degree $Δ$. We finally combine our results for the hard-core and ferromagnetic Potts models with standard Markov chain comparison tools to obtain polynomial mixing time for the usual spin Glauber dynamics restricted to even and odd or `red' dominant portions of the respective state spaces.
Regularity inheritance in hypergraphs
We give a new approach to handling hypergraph regularity. This approach allows for vertex-by-vertex embedding into regular partitions of hypergraphs, and generalises to regular partitions of sparse hypergraphs. We also prove a corresponding sparse hypergraph regularity lemma.
Ramsey's coheirs
Published in The Journal of Symbolic Logic. 87 (2022), no. 1, 377-391
• View Publication
• BIB
We use the model theoretic notion of coheir to give short proofs of old and new theorems in Ramsey Theory. As an illustration we start from Ramsey's theorem itself. Then we prove Hindman's theorem and the Hales-Jewett theorem. Finally, we prove two Ramsey theoretic principles that have among their consequences partition theorems of Carlson and of Gowers.