group
10226 papers tagged with this keyword
Coded Caching for Two-Dimensional Multi-Access Networks
Published
• View Publication
• BIB
This paper studies a novel multi-access coded caching (MACC) model in the two-dimensional (2D) topology, which is a generalization of the one-dimensional (1D) MACC model proposed by Hachem et al. The 2D MACC model is formed by a server containing $N$ files, $K_1\times K_2$ cache-nodes with $M$ files located at a grid with $K_1$ rows and $K_2$ columns, and $K_1\times K_2$ cache-less users where each user is connected to $L^2$ nearby cache-nodes. The server is connected to the users through an error-free shared link, while the users can retrieve the cached content of the connected cache-nodes without cost. Our objective is to minimize the worst-case transmission load over all possible users' demands. In this paper, we first propose a grouping scheme for the case where $K_1$ and $K_2$ are divisible by $L$. By partitioning the cache-nodes and users into $L^2$ groups such that no two users in the same group share any cache-node, we use the shared-link coded caching scheme proposed by Maddah-Ali and Niesen for each group. Then for any model parameters satisfying $\min\{K_1,K_2\}>L$, we propose a transformation approach which constructs a 2D MACC scheme from two classes of 1D MACC schemes in vertical and horizontal projections, respectively. As a result, we can construct 2D MACC schemes that achieve maximum local caching gain and improved coded caching gain, compared to the baseline scheme by a direct extension from 1D MACC schemes.
Symmetry groups of pfaffians of symmetric matrices
We prove that symmetry group of the pfaffian polynomial of a symmetric matrix is a dihedral group. We calculate pfaffians of symmetric matrices with components $(x_i-x_j)^2$ and $\cos(x_i-x_j)$ for $i<j.$
Intersection density of transitive groups with cyclic point stabilizers
For a permutation group $G$ acting on a set $V$, a subset $\mathcal{F}$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in \mathcal{F}$ there exists $v \in V$ such that $g(v) = h(v)$. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|\mathcal{F}|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $\mathcal{F}$ runs over all intersecting sets in $G$.
If $G_v$ is a largest intersecting set in $G$ then $G$ is said to have the Erdős-Ko-Rado (EKR)-property. This paper is devoted to the study of transitive permutation groups, with point stabilizers of prime order with a special emphasis given to orders 2 and 3, which do not have the EKR-property. Among other, constructions of infinite family of transitive permutation groups having point stabilizer of order $3$ with intersection density $4/3$ and of infinite families of transitive permutation groups having point stabilizer of order $3$ with arbitrarily large intersection density are given.
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
The Pop-stack-sorting Operator on Tamari Lattices
Published in Adv. Applied Math., Volume 139, August 2022, 102362
• View Publication
• BIB
Motivated by the pop-stack-sorting map on the symmetric groups, Defant defined an operator $\mathsf{Pop}_M : M \to M$ for each complete meet-semilattice $M$ by $$\mathsf{Pop}_M(x)=\bigwedge(\{y\in M: y\lessdot x\}\cup \{x\}).$$ This paper concerns the dynamics of $\mathsf{Pop}_{\mathrm{Tam}_n}$, where $\mathrm{Tam}_n$ is the $n$-th Tamari lattice.
We say an element $x\in \mathrm{Tam}_n$ is $t$-$\mathsf{Pop}$-sortable if $\mathsf{Pop}_M^t (x)$ is the minimal element and we let $h_t(n)$ denote the number of $t$-$\mathsf{Pop}$-sortable elements in $\mathrm{Tam}_n$. We find an explicit formula for the generating function $\sum_{n\ge 1}h_t(n)z^n$ and verify Defant's conjecture that it is rational. We furthermore prove that the size of the image of $\mathsf{Pop}_{\mathrm{Tam}_n}$ is the Motzkin number $M_n$, settling a conjecture of Defant and Williams.
A description of the minimal elements of Shi regions in classical Weyl Groups
In this extended abstract, we show how a bijection between parking functions and regions of the Shi arrangement from [Athanasiadis, Linusson '99] (in type $A_n$) and [Armstrong, Reiner, Rhoades '15] (in type $B_n, C_n, D_n$) allows for the computation of the minimal elements of the Shi regions. This gives a combinatorial interpretation of these minimal elements: they can be seen as counting non-crossing arcs in non-nesting arc diagrams.
On the intersection density of the symmetric group acting on uniform subsets of small size
Published
• View Publication
• BIB
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, a subset $\mathcal{F}$ of $G$ is \emph{intersecting} if any two elements of $\mathcal{F}$ agree on some element of $Ω$. The \emph{intersection density} of $G$, denoted by $ρ(G)$, is the maximum of the rational number $|\mathcal{F}|\left(\frac{|G|}{|Ω|}\right)^{-1}$ when $\mathcal{F}$ runs through all intersecting sets in $G$. In this paper, we prove that if $G$ is the group $\operatorname{Sym}(n)$ or $\operatorname{Alt}(n)$ acting on the $k$-subsets of $\{1,2,3\ldots,n\}$, for $k\in \{3,4,5\}$, then $ρ(G)=1$. Our proof relies on the representation theory of the symmetric group and the ratio bound.
Balanced and Swap-Robust Trades for Dynamical Distributed Storage
Published
• View Publication
• BIB
Trades, introduced by Hedayat, are two sets of blocks of elements which may be exchanged (traded) without altering the counts of certain subcollections of elements within their constituent blocks. They are of importance in applications where certain combinations of elements dynamically become prohibited from being placed in the same group of elements, since in this case one can trade the offending blocks with allowed ones. This is particularly the case in distributed storage systems, where due to privacy and other constraints, data of some groups of users cannot be stored together on the same server. We introduce a new class of balanced trades, important for access balancing of servers, and perturbation resilient balanced trades, important for studying the stability of server access frequencies with respect to changes in data popularity. The constructions and bounds on our new trade schemes rely on specialized selections of defining sets in minimal trades and number-theoretic analyses.
Fixed-point cycles and EFX allocations
We study edge-labelings of the complete bidirected graph $\overset{\tiny\leftrightarrow}{K}_n$ with functions from the set $[d] = \{1, \dots, d\}$ to itself. We call a cycle in $\overset{\tiny\leftrightarrow}{K}_n$ a fixed-point cycle if composing the labels of its edges results in a map that has a fixed point, and we say that a labeling is fixed-point-free if no fixed-point cycle exists. For a given $d$, we ask for the largest value of $n$, denoted $R_f(d)$, for which there exists a fixed-point-free labeling of $\overset{\tiny\leftrightarrow}{K}_n$. Determining $R_f(d)$ for all $d >0$ is a natural Ramsey-type question, generalizing some well-studied zero-sum problems in extremal combinatorics. The problem was recently introduced by Chaudhury, Garg, Mehlhorn, Mehta, and Misra, who proved that $d \leq R_f(d) \leq d^4+d$ and showed that the problem has close connections to EFX allocations, a central problem of fair allocation in social choice theory.
In this paper we show the improved bound $R_f(d) \leq d^{2 + o(1)}$, yielding an efficient ${(1-\varepsilon)}$-EFX allocation with $n$ agents and $O(n^{0.67})$ unallocated goods for any constant $\varepsilon \in (0,1/2]$; this improves the bound of $O(n^{0.8})$ of Chaudhury, Garg, Mehlhorn, Mehta, and Misra.
Additionally, we prove the stronger upper bound $2d-2$, in the case where all edge-labels are permulations. A very special case of this problem, that of finding zero-sum cycles in digraphs whose edges are labeled with elements of $\mathbb{Z}_d$, was recently considered by Alon and Krivelevich and by Mészáros and Steiner. Our result improves the bounds obtained by these authors and extends them to labelings from an arbitrary (not necessarily commutative) group, while also simplifying the proof.
The 334-Triangle Graph of $SL_3({\mathbb Z})$
Published
• View Publication
• BIB
Long, Reid, and Thistlewaite have shown that some groups generated by representations of the $Δ334$ triangle group in $SL_3({\mathbb Z})$ are thin, while the status of others is unknown. In this paper we take a new approach: for each group we introduce a new graph that captures information about representations of $Δ334$ in the group. We provide examples of our graph for a variety of groups, and we use information about the graph for $SL_3({\mathbb Z}/2{\mathbb Z})$ to show that the chromatic number of the graph for $SL_3({\mathbb Z})$ is at most eight. By generating a portion of the graph for $SL_3({\mathbb Z})$ we show its chromatic number is at least four; we conjecture it is equal to four.
HS-integral and Eisenstein integral normal mixed Cayley graphs
Published
• View Publication
• BIB
A mixed graph is said to be HS-\emph{integral} if the eigenvalues of its Hermitian-adjacency matrix of the second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. We characterize the set $S$ for which the normal mixed Cayley graph $\text{Cay}(Γ, S)$ is HS-integral for any finite group $Γ$. We further show that a normal mixed Cayley graph is HS-integral if and only if it is Eisenstein integral. This paper generalizes the results of [M. Kadyan, B. Bhattacharjya. HS-integral and Eisenstein integral mixed Cayley graphs over abelian groups. Linear Algebra Appl. 645:68-90, 2022].
A class of maps on the torus and their vertex orbits
A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. In this article, we discuss that if a map is the quotient of a plane's $k$-vertex-homogeneous lattice ($k \ge 4$) then what would be the sharp bounds of the number of vertex orbits.
A characterization of Kazhdan-Lusztig right cells containing smooth elements
Published
• View Publication
• BIB
Let $\mathfrak{g}$ be the Lie algebra $\mathfrak{sl}(n,\mathbb{C})$. Its Weyl group is the symmetric group $S_n$. In this paper, we want to describe some Kazhdan-Lusztig right cells containing smooth elements which parameterize the smooth Schubert varieties. These elements are closely related to the study of associated varieties of highest weight modules of $\mathfrak{sl}(n,\mathbb{C})$. Firstly, we give a complete classification of the KL right cells containing only smooth elements. Then we give a sufficient condition for a KL right cell to contain only non-smooth elements by using invariant subsequences and a sufficient condition for a KL right cell to contain some smooth elements. Finally, we give an efficient algorithm to find out all the smooth elements in a given KL right cell.
3-critical subgraphs of snarks
Published
• View Publication
• BIB
In this paper we further our understanding of the structure of class two cubic graphs, or snarks, as they are commonly known. We do this by investigating their 3-critical subgraphs, or as we will call them, minimal conflicting subgraphs. We consider how the minimal conflicting subgraphs of a snark relate to its possible minimal 4-edge-colourings. We fully characterise the relationship between the resistance of a snark and the set of minimal conflicting subgraphs. That is, we show that the resistance of a snark is equal to the minimum number of edges which can be selected from the snark, such that the selection contains at least one edge from each minimal conflicting subgraph. We similarly characterise the relationship between what we call \textit{the critical subgraph} of a snark and the set of minimal conflicting subgraphs. The critical subgraph being the set of all edges which are conflicting in some minimal colouring of the snark. Further to this, we define groups, or \textit{clusters}, of minimal conflicting subgraphs. We then highlight some interesting properties and problems relating to clusters of minimal conflicting subgraphs.
On distance-regular Cayley graphs of generalized dicyclic groups
Published
• View Publication
• BIB
Let $G$ be a generalized dicyclic group with identity $1$. An inverse closed subset $S$ of $G\setminus\{1\}$ is called minimal if $\langle S\rangle=G$ and there exists some $s\in S$ such that $\langle S\setminus\{s,s^{-1}\} \rangle\neq G$. In this paper, we characterize distance-regular Cayley graphs $\mathrm{Cay}(G,S)$ of $G$ under the condition that $S$ is minimal.
Detecting danger in gridworlds using Gromov's Link Condition
Gridworlds have been long-utilised in AI research, particularly in reinforcement learning, as they provide simple yet scalable models for many real-world applications such as robot navigation, emergent behaviour, and operations research. We initiate a study of gridworlds using the mathematical framework of reconfigurable systems and state complexes due to Abrams, Ghrist & Peterson. State complexes represent all possible configurations of a system as a single geometric space, thus making them conducive to study using geometric, topological, or combinatorial methods. The main contribution of this work is a modification to the original Abrams, Ghrist & Peterson setup which we introduce to capture agent braiding and thereby more naturally represent the topology of gridworlds. With this modification, the state complexes may exhibit geometric defects (failure of Gromov's Link Condition). Serendipitously, we discover these failures occur exactly where undesirable or dangerous states appear in the gridworld. Our results therefore provide a novel method for seeking guaranteed safety limitations in discrete task environments with single or multiple agents, and offer useful safety information (in geometric and topological forms) for incorporation in or analysis of machine learning systems. More broadly, our work introduces tools from geometric group theory and combinatorics to the AI community and demonstrates a proof-of-concept for this geometric viewpoint of the task domain through the example of simple gridworld environments.
Shi arrangements and low elements in affine Coxeter groups
Published in Canadian Journal Mathematics p.1-31 (2024)
• View Publication
• BIB
Given an affine Coxeter group $W$, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan-Lusztig cells for $W$. In particular, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$. Low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in $W$.
In this article, we show in the case of an affine Coxeter group that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a byproduct of our proof, we show that the descent-walls -- the walls that separate a region from the fundamental alcove -- of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.
The girths of the cubic Pancake graphs
Published in Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2022
• View Publication
• BIB
The Pancake graphs $P_n, n\geqslant 2$, are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by prefix-reversals. There are six generating sets of prefix-reversals of cardinality three which give connected Cayley graphs over the symmetric group known as cubic Pancake graphs. In this paper we study the girth of the cubic Pancake graphs. It is proved that considered cubic Pancake graphs have the girths at most twelve.
Generic 1-connectivity of flag domains in Hermitian symmetric spaces
Published in Journal of Lie Theory 32 (2022), No. 2, 553--561
• Search Publication
A flag domain is an open real group orbit in a complex flag manifold. It has been shown that a flag domain is either pseudoconvex or pseudoconcave. Moreover, generically 1-connected flag domains are pseudoconcave. In this study, for flag domains contained in irreducible Hermitian symmetric spaces of type AIII or CI, we determine which pseudoconcave flag domain is generically 1-connected.
On the direct and inverse zero-sum problems over $C_n \rtimes_s C_2$
Published
• View Publication
• BIB
Let $C_n$ be the cyclic group of order $n$. In this paper, we provide the exact values of some zero-sum constants over $C_n \rtimes_s C_2$ where $s \not\equiv \pm1 \pmod n$, namely $η$-constant, Gao constant, and Erdős-Ginzburg-Ziv constant (the latter for all but a "small" family of cases). As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for groups of this form. We also solve the associated inverse problems by characterizing the structure of product-one free sequences over $C_n \rtimes_s C_2$ of maximum length.