Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Minimum Generating Sets for Complete Graphs
Let $G$ be a graph whose edges are labeled by ideals of a commutative ring $R$ with identity. Such a graph is called an edge-labeled graph over $R$. A generalized spline is a vertex labeling so that the difference between the labels of any two adjacent vertices lies in the ideal corresponding to the edge. These generalized splines form a module over $R$. In this paper, we consider complete graphs whose edges are labeled with proper ideals of $\mathbb{Z} / m\mathbb{Z}$. We compute minimum generating sets of constant flow-up classes for spline modules on edge-labeled complete graphs over $\mathbb{Z} / m\mathbb{Z}$ and their rank under some restrictions.
Veldkamp quadrangles and polar spaces
Published
• View Publication
• BIB
Veldkamp polygons are certain graphs $Γ=(V,E)$ such that for each $v\in V$, $Γ_v$ is endowed with a symmetric anti-reflexive relation $\equiv_v$. These relations are all trivial if and only if $Γ$ is a thick generalized polygon. A Veldkamp polygon is called flat if no two vertices have the same set of vertices that are opposite in a natural sense. We explore the connection between Veldkamp quadrangles and polar spaces. Using this connection, we give the complete classification of flat Veldkamp quadrangles in which some but not all of the relations $\equiv_v$ are trivial.
A Theory of Spherical Diagrams
We introduce an axiomatic theory of spherical diagrams as a tool to study certain combinatorial properties of polyhedra in $\mathbb R^3$, which are of central interest in the context of Art Gallery problems for polyhedra and other visibility-related problems in discrete and computational geometry.
On the Hat Guessing Number of Graphs
Published
• View Publication
• BIB
The hat guessing number $HG(G)$ of a graph $G$ on $n$ vertices is defined in terms of the following game: $n$ players are placed on the $n$ vertices of $G$, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors.
In this note we construct a planar graph $G$ satisfying $HG(G)=12$, settling a problem raised in \cite{BDFGM}. We also improve the known lower bound of $(2-o(1))\log_2 n$ for the typical hat guessing number of the random graph $G=G(n,1/2)$, showing that it is at least $n^{1-o(1)}$ with probability tending to $1$ as $n$ tends to infinity. Finally, we consider the linear hat guessing number of complete multipartite graphs.
The sparse parity matrix
Published
• View Publication
• BIB
Let $\mathbf{A}$ be an $n\times n$-matrix over $\mathbb{F}_2$ whose every entry equals $1$ with probability $d/n$ independently for a fixed $d>0$. Draw a vector $\mathbf{y}$ randomly from the column space of $\mathbf{A}$. It is a simple observation that the entries of a random solution $\mathbf{x}$ to $\mathbf{A} x=\mathbf{y}$ are asymptotically pairwise independent, i.e., $\sum_{i<j}\mathbb{E}|\mathbb{P}[\mathbf{x}_i=s,\,\mathbf{x}_j=t\mid\mathbf{A}]-\mathbb{P}[\mathbf{x}_i=s\mid\mathbf{A}]\mathbb{P}[\mathbf{x}_j=t\mid\mathbf{A}]|=o(n^2)$ for $s,t\in\mathbb{F}_2$. But what can we say about the {\em overlap} of two random solutions $\mathbf{x},\mathbf{x}'$, defined as $n^{-1}\sum_{i=1}^n\mathbf{1}\{\mathbf{x}_i=\mathbf{x}_i'\}$? We prove that for $d<\mathrm{e}$ the overlap concentrates on a single deterministic value $α_*(d)$. By contrast, for $d>\mathrm{e}$ the overlap concentrates on a single value once we condition on the matrix $\mathbf{A}$, while over the probability space of $\mathbf{A}$ its conditional expectation vacillates between two different values $α_*(d)<α^*(d)$, either of which occurs with probability $1/2+o(1)$. This bifurcated non-concentration result provides an instructive contribution to both the theory of random constraint satisfaction problems and of inference problems on random structures.
The degree of asymmetry of sequences
Published
• View Publication
• BIB
We explore the notion of degree of asymmetry for integer sequences and related combinatorial objects. The degree of asymmetry is a new combinatorial statistic that measures how far an object is from being symmetric. We define this notion for compositions, words, matchings, binary trees and permutations, we find generating functions enumerating these objects with respect to their degree of asymmetry, and we describe the limiting distribution of this statistic in each case.
On the invariant E(G) for groups of odd order
Published
• View Publication
• BIB
Let $G$ be a multiplicatively written finite group. We denote by $\mathsf E(G)$ the smallest integer $t$ such that every sequence of $t$ elements in $G$ contains a product-one subsequence of length $|G|$. In 1961, Erdős, Ginzburg and Ziv proved that $\mathsf E(G)\leq 2|G|-1$ for every finite solvable group $G$ and this result is well known as the Erdős-Ginzburg-Ziv Theorem. In 2010, Gao and Li improved this result to $\mathsf E(G)\leq\frac{7|G|}{4}-1$ and they conjectured that $\mathsf E(G)\leq \frac{3|G|}{2}$ holds for any finite non-cyclic group. In this paper, we confirm the conjecture for all finite non-cyclic groups of odd order.
Lattice associated to a Shi variety
Published
• View Publication
• BIB
Let $W$ be a irreducible Weyl group and $W_a$ its affine Weyl group. In a previous article the author defined an affine variety $\widehat{X}_{W_a}$, called the Shi variety of $W_a$, whose integral points are in bijection with $W_a$. The set of irreducible components of $\widehat{X}_{W_a}$, denoted $H^0(\widehat{X}_{W_a})$, is of some interest and we show in this article that $H^0(\widehat{X}_{W_a})$ has a structure of semidistributive lattice.
Dominating ideals and closed neighborhood ideals of graphs
Published
• View Publication
• BIB
We study the closed neighborhood ideals and the dominating ideals of graphs, in particular, of trees and cycles. We prove that the closed neighborhood ideals and the dominating ideals of trees are normally torsion-free. The closed neighborhood ideals and the dominating ideals of cycles fail to be normally torsion-free. However, we prove that the closed neighborhood ideals of cycles admit the (strong) persistence property and the dominating ideals of cycles are nearly normally torsion-free.
Generalizations of the Yao-Yao partition theorem and the central transversal theorem
Published
• View Publication
• BIB
We generalize the Yao-Yao partition theorem by showing that for any smooth measure in $R^d$ there exist equipartitions using $(t+1)2^{d-1}$ convex regions such that every hyperplane misses the interior of at least $t$ regions. In addition, we present tight bounds on the smallest number of hyperplanes whose union contains the boundary of an equipartition of a measure into $n$ regions. We also present a simple proof of a Borsuk-Ulam type theorem for Stiefel manifolds that allows us to generalize the central transversal theorem and prove results bridging the Yao--Yao partition theorem and the central transversal theorem.
Abelian sections of the symmetric groups with respect to their index
Published in Arch. Math. (2022)
• View Publication
• BIB
We show the existence of an absolute constant $α>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{α/ \log \log |G:H|}$. This inequality is the best possible for the symmetric groups, and we conjecture that it is the best possible for every family of arbitrarily large finite groups.
Maximal cocliques of a strongly regular graph with parameters (2048,276,44,36)
This article considers a strongly regular graph with parameters (2048,276,44,36) that is related to the extended binary Golay code. That graph is known since about 1975 but there seems to be not much information on the contained maximal cocliques.
The source package of this article contains a data file that encodes a sequence of maximal independence sets of that graph, covering all sizes from 20 to 67 and the size 72, and a Pascal program to check this assertion and to optionally generate a text file (to be read by the computer algebra system GAP) that contains the adjacency lists of that graph and the list of the independence sets.
Structural Identifiability of Series-Parallel LCR Systems
Published in Journal of Symbolic Computation, Volume 112, September-October 2022, Pages 79-104
• View Publication
• BIB
We consider the identifiability problem for the parameters of series-parallel LCR circuit networks. We prove that for networks with only two classes of components (inductor-capacitor (LC), inductor-resistor (LR), and capacitor-resistor (RC)), the parameters are identifiable if and only if the number of non-monic coefficients of the constitutive equations equals the number of parameters. The notion of the "type" of the constitutive equations plays a key role in the identifiability of LC, LR, and RC networks. We also investigate the general series-parallel LCR circuits (with all three classes of components), and classify the types of constitutive equations that can arise, showing that there are 22 different types. However, we produce an example that shows that the basic notion of type that works to classify identifiability of two class networks is not sufficient to classify the identifiability of general series-parallel LCR circuits.
On the exponential growth rates of lattice animals and interfaces II: new asymptotic bounds
We introduce a method for translating any upper bound on the percolation threshold of a lattice $G$ into a lower bound on the exponential growth rate $a(G)$ of lattice animals and vice-versa. We exploit this in both directions. We improve on the best known asymptotic lower and upper bounds on $a(\mathbb{Z}^d)$ as $d\to \infty$. We use percolation as a tool to obtain the latter, and conversely we use the former to obtain lower bounds on $p_c(\mathbb{Z}^d)$. We obtain the rigorous lower bound $\dot{p}_c(\mathbb{Z}^3)>0.2522$ for 3-dimensional site percolation.
Faces of polyhedra associated with relation modules
Published
• View Publication
• BIB
Relation Gelfand-Tsetlin $\mathfrak{gl}_n$-modules were introduced in [FRZ19], and are determined by some special directed graphs and Gelfand-Tsetlin characters. In this work we constructed polyhedra associated with the class of relation modules, which includes as a particular case, any classical Gelfand-Tsetlin polytope. Following the ideas presented in [LM04] we give a characterization of $d$-faces of the associated polyhedra in terms of a matrix related to the corresponding graph.
Shift-Invariance of the Colored TASEP and Finishing Times of the Oriented Swap Process
Published
• View Publication
• BIB
We prove a new shift-invariance property of the colored TASEP. From the shift-invariance of the colored stochastic six-vertex model (proved in Borodin-Gorin-Wheeler or Galashin), one can get a shift-invariance property of the colored TASEP at one time, and our result generalizes this to multiple times. Our proof takes the single-time shift-invariance as an input, and uses analyticity of the probability functions and induction arguments. We apply our shift-invariance to prove a distributional identity between the finishing times of the oriented swap process and the point-to-line passage times in exponential last-passage percolation, which is conjectured by Bisi-Cunden-Gibbons-Romik and Bufetov-Gorin-Romik, and is also equivalent to a purely combinatorial identity related to the Edelman-Greene correspondence. With known results from last-passage percolation, we also get new asymptotic results on the colored TASEP and the finishing times of the oriented swap process.
Intersection Problems in Extremal Combinatorics: Theorems, Techniques and Questions Old and New
The study of intersection problems in Extremal Combinatorics dates back perhaps to 1938, when Paul Erdős, Chao Ko and Richard Rado proved the (first) `Erdős-Ko-Rado theorem' on the maximum possible size of an intersecting family of $k$-element subsets of a finite set. Since then, a plethora of results of a similar flavour have been proved, for a range of different mathematical structures, using a wide variety of different methods. Structures studied in this context have included families of vector subspaces, families of graphs, subsets of finite groups with given group actions, and of course uniform hypergraphs with stronger or weaker intersection conditions imposed. The methods used have included purely combinatorial ones such as shifting/compressions, algebraic methods (including linear-algebraic, Fourier analytic and representation-theoretic), and more recently, analytic, probabilistic and regularity-type methods. As well as being natural problems in their own right, intersection problems have connections with many other parts of Combinatorics and with Theoretical Computer Science (and indeed with many other parts of Mathematics), both through the results themselves, and the methods used. In this survey paper, we discuss both old and new results (and both old and new methods), in the field of intersection problems. Many interesting open problems remain; we will discuss several. For expositional and pedagogical purposes, we also take this opportunity to give slightly streamlined versions of proofs (due to others) of several classical results in the area. This survey is intended to be useful to PhD students, as well as to more established researchers. It is a personal perspective on the field, and is not intended to be exhaustive; we apologise for any omissions. It is an expanded version of a paper that will appear in the Proceedings of the 29th British Combinatorial Conference.
Prime power variations of higher $Lie_n$ modules
Published in Journal of Combinatorial Theory, Series A 184C (2021) 105512
• View Publication
• BIB
We define, for each subset $S$ of the set $\mathcal{P}$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. $Lie_n^\emptyset$ is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra, while $Lie_n^\mathcal{P}$ is the module $C\!onj_n$ of the conjugacy action of $S_n$ on $n$-cycles. For arbitrary $S$ the module $Lie_n^{S}$ interpolates between the representations $Lie_n$ and $C\!onj_n.$ We consider the symmetric and exterior powers of $Lie_n^S.$ These are the analogues of the higher Lie modules of Thrall. We show that the Frobenius characteristic of these higher $Lie_n^S$ modules can be elegantly expressed as a multiplicity-free sum of power sums. In particular this establishes the Schur positivity of new classes of sums of power sums.
More generally, for each nonempty subset $T$ of positive integers we define a sequence of symmetric functions $f_n^T$ of homogeneous degree $n.$ We show that the series $\sum_{λ, λ_i\in T} p_λ$ can be expressed as symmetrised powers of the functions $f_n^T$, analogous to the higher Lie modules first defined by Thrall. This in turn allows us to unify previous results on the Schur positivity of multiplicity-free sums of power sums, as well as investigate new ones. We also uncover some curious plethystic relationships between $f_n^T$, the conjugacy action and the Lie representation.
Bounds for Multiple Packing and List-Decoding Error Exponents
We revisit the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study the multiple packing problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive various bounds on the largest possible density of a multiple packing in both bounded and unbounded settings. A related notion called average-radius multiple packing is also studied. Some of our lower bounds exactly pin down the asymptotics of certain ensembles of average-radius list-decodable codes, e.g., (expurgated) Gaussian codes and (expurgated) Poisson Point Processes. To this end, we apply tools from high-dimensional geometry and large deviation theory. Some of our lower bounds on the optimal multiple packing density are the best known lower bounds. These bounds are obtained via a proxy known as error exponent. The latter quantity is the best exponent of the probability of list-decoding error when the code is corrupted by a Gaussian noise. We establish a curious inequality which relates the error exponent, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We derive various bounds on the error exponent in both bounded and unbounded settings which are of independent interest beyond multiple packing.
Implications of vanishing Krein parameters on Delsarte designs, with applications in finite geometry
Published
• View Publication
• BIB
In this paper we show that if $θ$ is a $T$-design of an association scheme $(Ω, \mathcal{R})$, and the Krein parameters $q_{i,j}^h$ vanish for some $h \not \in T$ and all $i, j \not \in T$ ($i, j, h \neq 0$), then $θ$ consists of precisely half of the vertices of $(Ω, \mathcal{R})$ or it is a $T'$-design, where $|T'|>|T|$. We then apply this result to various problems in finite geometry. In particular, we show for the first time that nontrivial $m$-ovoids of generalised octagons of order $(s, s^2)$ do not exist. We give short proofs of similar results for (i) partial geometries with certain order conditions; (ii) thick generalised quadrangles of order $(s,s^2)$; (iii) the dual polar spaces $\mathsf{DQ}(2d, q)$, $\mathsf{DW}(2d-1,q)$ and $\mathsf{DH}(2d-1,q^2)$, for $d \ge 3$; (iv) the Penttila-Williford scheme. In the process of (iv), we also consider a natural generalisation of the Penttila-Williford scheme in $\mathsf{Q}^-(2n-1, q)$, $n\geqslant 3$.