Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Content systems and deformations of cyclotomic KLR algebras of type $A$ and $C$
Published in Annals of Representation Theory, 2 (2024), 193-297
• View Publication
• BIB
This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.
New Lower Bounds For Essential Covers Of The Cube
Published
• View Publication
• BIB
An essential cover of the vertices of the $n$-cube $\{0,1\}^n$ by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with $\lceil \frac{n}{2} \rceil + 1$ hyperplanes and showed that $Ω(\sqrt{n})$ hyperplanes are required. Recently, Yehuda and Yehudayoff improved the lower bound by showing that any essential cover of the $n$-cube contains at least $Ω(n^{0.52})$ hyperplanes. In this paper, building on the method of Yehuda and Yehudayoff, we prove that $Ω\left( \frac{n^{5/9}}{(\log n)^{4/9}} \right)$ hyperplanes are needed.
The Existence of Graph whose Vertex Set Can be Partitioned into a Fixed Number of Domination Strong Critical Vertex-sets
Published
• View Publication
• BIB
Let $γ(G)$ denote the domination number of a graph $G$. A vertex $v\in V(G)$ is called a \emph{critical vertex} of $G$ if $γ(G-v)=γ(G)-1$. A graph is called \emph{vertex-critical} if every vertex of it is critical. In this paper, we correspondingly introduce two such definitions: (i) a set $S\subseteq V(G)$ is called a \emph{strong critical vertex-set} of $G$ if $γ(G-S)=γ(G)-|S|$; (ii) a graph $G$ is called \emph{strong $l$-vertex-sets-critical} if $V(G)$ can be partitioned into $l$ strong critical vertex-sets of $G$. Whereafter, we give some properties of strong $l$-vertex-sets-critical graphs by extending the previous results of vertex-critical graphs. As the core work, we study on the existence of this class of graphs and obtain that there exists a strong $l$-vertex-sets-critical connected graph if and only if $l\notin\{2,3,5\}$.
Flat extensions of groups and limit varieties of ai-semirings
Published
• View Publication
• BIB
The present paper is a continuation of \cite{jrz} and is devoted to the study of limit varieties of additively idempotent semirings. A limit variety is a nonfinitely based variety whose proper subvarieties are all finitely based. We present concrete constructions for one infinite family of limit additively idempotent semiring varieties, and one further ad hoc example. Each of these examples can be generated by a finite flat semiring, with the infinite family arising by a way of a complete characterisation of limit varieties that can be generated by the flat extension of a finite group. We also demonstrate the existence of other examples of limit varieties of additively idempotent semirings, including one further continuum-sized family, each with no finite generator, and two further ad hoc examples. While an explicit description of these latter examples is not given, one of the examples is proved to contain only trivial flat semirings.
A stability theorem for multi-partite graphs
Published in Combinator. Probab. Comp. 34 (2025) 821-847
• View Publication
• BIB
The Erdős-Simonovits stability theorem is one of the most widely used theorems in extremal graph theory. We obtain an Erdős-Simonovits type stability theorem in multi-partite graphs. Different from the Erdős-Simonovits stability theorem, our stability theorem in multi-partite graphs says that if the number of edges of an $H$-free graph $G$ is close to the extremal graphs for $H$, then $G$ has a well-defined structure but may be far away to the extremal graphs for $H$. As an application, we solve a conjecture posed by Han and Zhao concerning the maximum number of edges in multi-partite graphs which does not contain vertex-disjoint copies of a clique
Minimal Path and Acyclic Models in the Path Complex
Published
• View Publication
• BIB
In this paper, firstly, we will study the structure of the path complex $(Ω_*(G;\Z),\partial)$ of a digraph $G$ via the $\Z$-generators of $Ω_*(G,\Z)$ under strongly regular condition, which is called the minimal path in \cite{HY}. In particular, we will study various examples of the minimal $3$-paths. Secondly, we will show that the supporting sub-digraph of minimal path has acyclic path homologies. Thirdly, we will consider the applications of such an acyclic model.
Quasiperfect graph
A perfect graph is a graph which every induced subgraph has clique number equal to chromatic number. In this paper, I will introduce a new family of graphs, the quasiperfect graphs which generalizes the perfect graphs.
Achievable Rates and Algorithms for Group Testing with Runlength Constraints
Published
• View Publication
• BIB
In this paper, we study bounds on the minimum length of $(k,n,d)$-superimposed codes introduced by Agarwal et al. [1], in the context of Non-Adaptive Group Testing algorithms with runlength constraints. A $(k,n,d)$-superimposed code of length $t$ is a $t \times n$ binary matrix such that any two 1's in each column are separated by a run of at least $d$ 0's, and such that for any column $\mathbf{c}$ and any other $k-1$ columns, there exists a row where $\mathbf{c}$ has $1$ and all the remaining $k-1$ columns have $0$. Agarwal et al. proved the existence of such codes with $t=Θ(dk\log(n/k)+k^2\log(n/k))$. Here we investigate more in detail the coefficients in front of these two main terms as well as the role of lower order terms. We show that improvements can be obtained over the construction in [1] by using different constructions and by an appropriate exploitation of the Lovász Local Lemma in this context. Our findings also suggest $O(n^k)$ randomized Las Vegas algorithms for the construction of such codes. We also extend our results to Two-Stage Group Testing algorithms with runlength constraints.
Bounds for invariants of numerical semigroups and Wilf's Conjecture
Given coprime positive integers $g_1 < \ldots < g_e$, the Frobenius number $F=F(g_1,\ldots,g_e)$ is the largest integer not representable as a linear combination of $g_1,\ldots,g_e$ with non-negative integer coefficients. Let $n$ denote the number of all representable non-negative integers less than $F$; Wilf conjectured that $F+1 \le e n$. We provide bounds for $g_1$ and for the type of the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ in function of $e$ and $n$, and use these bounds to prove that $F+1 \le q e n$, where $q= \left \lceil \frac{F+1}{g_1} \right \rceil$, and $F+1 \le e n^2$. Finally, we give an alternative, simpler proof for the Wilf conjecture if the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ is almost-symmetric.
On the boundedness of the type of an almost Gorenstein monomial curve in $\mathbb{A}^5$
Published
• View Publication
• BIB
We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal{C} \subseteq \mathbb{A}^5$ is bounded.
Feynman checkers: lattice quantum field theory with real time
Published in Anal.Math.Phys. 14, 38 (2024)
• View Publication
• BIB
We present a new completely elementary model that describes the creation, annihilation, and motion of non-interacting electrons and positrons along a line. It is a modification of the model known under the names Feynman checkers or one-dimensional quantum walk. It can be viewed as a six-vertex model with certain complex weights of the vertices. The discrete model is consistent with the continuum quantum field theory, namely, reproduces the known expected charge density as the lattice step tends to zero. It is exactly solvable in terms of hypergeometric functions. We introduce interaction resembling Fermi's theory and establish perturbation expansion.
Sets Avoiding Full-Rank Three-Point Patterns in $(\mathbb{F}_q^n)^k$ Are Exponentially Small
We prove that if a subset of $(\mathbb{F}_q^n)^k$ (with $q$ an odd prime power) avoids a full-rank three-point pattern $\vec{x},\vec{x}+M_1\vec{d},\vec{x}+M_2\vec{d}$ then it is exponentially small, having size at most $3 \cdot c_q^{nk}$ where $0.8414 q \leq c_q \leq 0.9184 q$. This generalizes a theorem of Kovauc and complements results of Berger, Sah, Sawhney and Tidor. As a consequence, we prove that if $3$ is a square in $\mathbb{F}_q$ then subsets of $(\mathbb{F}_q^n)^2$ avoiding equilateral triangles are exponentially small.
Simpler and efficient characterizations of tree t-spanners for graphs with few P4's and (k, l)-graphs
Published
• View Publication
• BIB
A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The $t$-admissibility problem aims to decide whether the tree stretch index is at most $t$. Regarding its optimization version, the smallest $t$ for which $G$ is $t$-admissible is the stretch index of $G$, denoted by $σ_T(G)$. Given a graph with $n$ vertices and $m$ edges, the recognition of $2$-admissible graphs can be done $O(n+m)$ time, whereas $t$-admissibility is NP-complete for $σ_T(G) \leq t$, $t \geq 4$ and deciding if $t = 3$ is an open problem, for more than 20 years. Since the structural knowledge of classes can be determinant to classify $3$-admissibility's complexity, in this paper we present simpler and faster algorithms to check $2$ and $3$-admissibility for families of graphs with few $P_4$'s and $(k,\ell)$-graphs. Regarding $(0,\ell)$-graphs, we present lower and upper bounds for the stretch index of these graphs and characterize graphs whose stretch indexes are equal to the proposed upper bound. Moreover, we prove that $t$-admissibility is NP-complete even for line graphs of subdivided graphs.
On first-order transductions of classes of graphs
Published in Logical Methods in Computer Science, Volume 21, Issue 2 (June 23, 2025) lmcs:9981
• View Publication
• BIB
We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex, and many standard properties from structural graph theory and model theory naturally appear in it. We prove a local normal form for transductions among other general results and constructions, which we illustrate via several examples and via the characterizations of the transductions of some simple classes. We then turn to various aspects of the quasi-order, including the (non-)existence of minimum and maximum classes for certain properties, the strictness of the pathwidth hierarchy, the fact that the quasi-order is not a lattice, and the role of weakly sparse classes in the quasi-order.
Extensions of Hitomezashi Patterns
Published
• View Publication
• BIB
Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the context of percolation theory, and the first two authors recently investigated additional structural properties of them. In this paper, we establish several optimization-style results on hitomezashi patterns and provide a complete classification of "long-stitch" hitomezashi patterns in which stitches have length greater than 1. We also study variants in which stitches can have directions not parallel to the coordinate axes.
Limiting behavior in growth of Bulgarian Solitaire orbits
The Bulgarian Solitaire rule induces a finite dynamical system on the set of integer partitions of $n$. Brandt characterized and counted all cycles in its recurrent set for any given $n$, with orbits parametrized by necklaces of black and white beads. However, the transient behavior within each orbit has been almost completely unknown. The only known case is when $n=\binom{k}{2}$ is a triangular number, in which case there is only one orbit. Eriksson and Jonsson gave an analysis for convergence of the structure as $k$ grows, and to what extent the limit applied to the finite case. In this article, we generalize the convergent structure for orbits of Bulgarian Solitaire system for any $n$. For necklaces of the form $(BW)^k = BWBW\cdots$, we give the precise limit of the generating functions as $k$ grows. For other necklaces, we prove that the generating functions are rational and provide a bound for their denominator and numerator degrees.
Superunitary regions of cluster algebras
This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes.
Constrainahedra
We define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedra will form the combinatorial backbone of the second author's construction of strong homotopy duoids. We indicate how constrainahedra could be realized as Gromov-compactified configuration spaces of horizontal and vertical lines; viewed from this perspective, the constrainahedra include naturally into the first author's notion of 2-associahedra.
Optimal possibly nonlinear 3-PIR codes of small size
Published
• View Publication
• BIB
First, we state a generalization of the minimum-distance bound for PIR codes. Then we describe a construction for linear PIR codes using packing designs and use it to construct some new 5-PIR codes. Finally, we show that no encoder (linear or nonlinear) for the binary $r$-th order Hamming code produces a 3-PIR code except when $r=2$. We use these results to determine the smallest length of a binary (possibly nonlinear) 3-PIR code of combinatorial dimension up to~6. A binary 3-PIR code of length 11 and size $2^7$ is necessarily nonlinear, and we pose the existence of such a code as an open problem.
A remark on the Ramsey number of the hypercube
Published
• View Publication
• BIB
A well known conjecture of Burr and Erdos asserts that the Ramsey number $r(Q_n)$ of the hypercube $Q_n$ on $2^n$ vertices is of the order $O(2^n)$. In this paper, we show that $r(Q_n)=O(2^{2n-c n})$ for a universal constant $c>0$, improving upon the previous best known bound $r(Q_n)=O(2^{2n})$, due to Conlon, Fox and Sudakov.