Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Perfect 2-colorings of the generalized Petersen graph GP(n,3)
Published
• View Publication
• BIB
In this paper we enumerate the parameter matrices of all perfect 2-colorings of the generalized Petersen graphs GP(n;3), where n>=7. We also give some basic results for GP(n; k).
How Much Regularity Forces a Sequence to be Graphic?
For an integer sequence (with even sum), the closer that the sequence is to being regular, the more likely that the sequence is graphic. But how regular must a sequence be before it must always be graphic? We show that for many sequences if all values are within $\frac{n-2}{4}$ of the mean degree value, then the sequence is graphic. We also see how this result extends to show when a maximum difference between sequence values implies that a sequence is graphic.
Distributive lattices and Auslander regular algebras
Published
• View Publication
• BIB
Let $L$ denote a finite lattice with at least two points and let $A$ denote the incidence algebra of $L$. We prove that $L$ is distributive if and only if $A$ is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, $A$ has an explicit minimal injective coresolution, whose $i$-th term is given by the elements of $L$ covered by precisely $i$ elements. We give a combinatorial formula of the Bass numbers of $A$. We apply our results to show that the order dimension of a distributive lattice $L$ coincides with the global dimension of the incidence algebra of $L$. Also we categorify the rowmotion bijection for distributive lattices using higher Auslander-Reiten translates of the simple modules.
New Instances of Quadratic APN Functions
Published in IEEE Trans. Inf. Theory 68(1): 670-678 (2022)
• View Publication
• BIB
In a recent work, Beierle, Brinkmann and Leander presented a recursive tree search for finding APN permutations with linear self-equivalences in small dimensions. In this paper, we describe how this search can be adapted to find many new instances of quadratic APN functions. In particular, we found 12,921 new quadratic APN functions in dimension eight, 35 new quadratic APN functions in dimension nine and five new quadratic APN functions in dimension ten up to CCZ-equivalence. Remarkably, two of the 35 new APN functions in dimension nine are APN permutations.
Among the 8-bit APN functions, there are three extended Walsh spectra that do not correspond to any of the previously-known quadratic 8-bit APN functions and, surprisingly, there exist at least four CCZ-inequivalent 8-bit APN functions with linearity $2^7$, i.e., the highest possible non-trivial linearity for quadratic functions in dimension eight.
Intersection of a partitional and a general infinite matroid
Let $ E $ be a possibly infinite set and let $ M $ and $ N $ be matroids defined on $ E $. We say that the pair $ \{ M,N \} $ has the Intersection property if $ M $ and $ N $ share an independent set $ I $ admitting a bipartition $ I_M\sqcup I_N $ such that $ \mathsf{span}_M(I_M)\cup \mathsf{span}_N(I_N)=E $. The Matroid Intersection Conjecture of Nash-Williams says that every matroid pair has the Intersection property.
The conjecture is known and easy to prove in the case when one of the matroids is uniform and it was shown by Bowler and Carmesin that the conjecture is implied by its special case where one of the matroids is a direct sum of uniform matroids, i.e., is a partitional matroid. We show that if $ M $ is an arbitrary matroid and $ N $ is the direct sum of finitely many uniform matroids, then $ \{ M, N \} $ has the Intersection property.
Generalizations and strengthenings of Ryser's conjecture
Published
• View Publication
• BIB
Ryser's conjecture says that for every $r$-partite hypergraph $H$ with matching number $ν(H)$, the vertex cover number is at most $(r-1)ν(H)$. This far reaching generalization of König's theorem is only known to be true for $r\leq 3$, or $ν(G)=1$ and $r\leq 5$. An equivalent formulation of Ryser's conjecture is that in every $r$-edge coloring of a graph $G$ with independence number $α(G)$, there exists at most $(r-1)α(G)$ monochromatic connected subgraphs which cover the vertex set of $G$.
We make the case that this latter formulation of Ryser's conjecture naturally leads to a variety of stronger conjectures and generalizations to hypergraphs and multipartite graphs. Regarding these generalizations and strengthenings, we survey the known results, improving upon some, and we introduce a collection of new problems and results.
Minkowski summands of cubes
Published
• View Publication
• BIB
In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point configurations and the work of McMullen.
The general position number of the Cartesian product of two trees
Published in Bull. Aust. Math. Soc. 104 (2021) 1-10
• View Publication
• BIB
The general position number of a connected graph is the cardinality of a largest set of vertices such that no three pairwise-distinct vertices from the set lie on a common shortest path. In this paper it is proved that the general position number is additive on the Cartesian product of two trees.
Cuspidal ribbon tableaux in affine type A
Published
• View Publication
• BIB
For any convex preorder on the set of positive roots of affine type A, we classify and construct all associated cuspidal and semicuspidal skew shapes. These combinatorial objects correspond to cuspidal and semicuspidal skew Specht modules for the Khovanov-Lauda-Rouquier algebra of affine type A. Cuspidal skew shapes are ribbons, and we show that every skew shape has a unique ordered tiling by cuspidal ribbons. This tiling data provides an upper bound, in the bilexicographic order on Kostant partitions, for labels of simple factors of Specht modules.
Searching for quicksand ideals in partially ordered sets
We consider a combinatorial question about searching for an unknown ideal $μ$ within a known poset $λ$. Elements of $λ$ may be queried for membership in $μ$, but at most $k$ positive query results are permitted. The goal is to find a search strategy which guarantees a solution in a minimal total number $m_k(λ)$ of queries. We provide tight bounds for $m_k(λ)$, and construct optimal search strategies for the case where $k=2$ and $λ$ is the product poset of totally ordered finite sets, one of which has cardinality not more than six.
Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering
Published in Automatica 143 (2022) 110457
• View Publication
• BIB
Verification and synthesis of Cyber-Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets. Polynotopes extend sparse polynomial zonotopes with typed symbols. Polynotopes can both propagate a mixed encoding of intervals and describe the behavior of logic gates. A functional completeness result is given, as well as an inclusion method for elementary nonlinear and switching functions. A Polynotopic Kalman Filter (PKF) is then proposed as a hybrid nonlinear extension of Zonotopic Kalman Filters (ZKF). Bridges with a stochastic uncertainty paradigm are briefly outlined. Finally, several discrete, continuous and hybrid numerical examples including comparisons illustrate the effectiveness of the theoretical results.
Ramsey-Turán numbers for intersecting odd cliques
Given a graph $H$ and a function $f:\mathbb{Z}^+ \longrightarrow \mathbb{Z}^+ $, the Ramsey-Turán number of $H$ and $f$, denoted by $RT(n, H, f(n))$, is the maximum number of edges a graph $G$ on $n$ vertices can have, which does not contain $H$ as a subgraph and also does not contain a set of $f(n)$ independent vertices. Let $r$ be a positive integer. In 1969, Erdős and Sós proved that $RT(n,K_{2r+1},o(n))=\frac{n^2}{2}(1-\frac{1}{r})+o(n^2)$. Let $F_k(2r+1)$ denote the graph consisting of $k$ copies of complete graphs $K_{2r+1}$ sharing exactly one vertex. In this paper, we show that $RT(n,F_k(2r+1),o(n))=\frac{n^2}{2}(1-\frac{1}{r})+o(n^2)$, which is of the same magnitude with $RT(n, K_{2r+1}, o(n))$.
Combinatorialization of Sury and McLaughlin identities, general linear recurrences in a unified approach
Published
• View Publication
• BIB
In this article we provide with combinatorial proofs of some recent identities due to Sury and McLaughlin. We show that, the solution of a general linear recurrence with constant coefficients can be interpreted as a determinant of a matrix. Also, we derive a determinantal expression of Fibonacci and Lucas numbers. We prove Binets formula for Fibonacci and Lucas numbers in a purely combinatorial way and in course of doing so, we find a determinantal identity, which we think to be new.
Proper connection and proper-walk connection of digraphs
Published
• View Publication
• BIB
An arc-colored digraph D is properly (properly-walk) connected if, for any ordered pair of vertices $(u, v)$, the digraph $D$ contains a directed path (a directed walk) from $u$ to $v$ such that arcs adjacent on that path (on that walk) have distinct colors. The proper connection number $\overrightarrow{pc}(D)$ (the proper-walk connection number $\overrightarrow{wc}(D)$) of a digraph $D$ is the minimum number of colours to make $D$ properly connected (properly-walk connected). We prove that $\overrightarrow{pc}(C_n(S)) \leq 2$ for every circulant digraph $C_n(S)$ with $S\subseteq\{1,\ldots ,n-1\}, |S|\ge 2$ and $1\in S$. Furthermore, we give some sufficient conditions for a Hamiltonian digraph $D$ to satisfy $\overrightarrow{pc}(D)= \overrightarrow{wc}(D) = 2$.
Classifying Intrinsically Linked Tournaments by Score Sequence
Published
• View Publication
• BIB
A tournament on 8 or more vertices may be intrinsically linked as a directed graph. We begin the classification of intrinsically linked tournaments by examining their score sequences. While many distinct tournaments may have the same score sequence, there exist score sequences $S$ such that any tournament with score sequence $S$ has an embedding with no nonsplit consistently oriented link. We call such score sequences $\textit{linkless}$, and we show that the vast majority of score sequences for 8 vertex tournaments are linkless.
We also extend these results to $n$ vertex tournaments and are able to classify many longer score sequences as well. We show that for any $n$, there exist at least $O(n)$ linkless score sequences, but we conjecture that the fraction of score sequences of length $n$ that are linkless goes to 0 as $n$ becomes large.
Geometric properties of the Kazhdan-Lusztig Schubert basis
Published in Alg. Number Th. 17 (2023) 169-198
• View Publication
• BIB
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.
McKay quivers and Lusztig algebras of some finite groups
Published
• View Publication
• BIB
We are interested in the McKay quiver $Γ(G)$ and skew group rings $A*G$, where $G$ is a finite subgroup of $\mathrm{GL}(V)$, where $V$ is a finite dimensional vector space over a field $K$, and $A$ is a $K-G$-algebra. These skew group rings appear in Auslander's version of the McKay correspondence.
In the first part of this paper we consider complex reflection groups $G \subseteq \mathrm{GL}(V)$ and find a combinatorial method, making use of Young diagrams, to construct the McKay quivers for the groups $G(r,p,n)$. We first look at the case $G(1,1,n)$, which is isomorphic to the symmetric group $S_n$, followed by $G(r,1,n)$ for $r >1$. Then, using Clifford theory, we can determine the McKay quiver for any $G(r,p,n)$ and thus for all finite irreducible complex reflection groups up to finitely many exceptions.
In the second part of the paper we consider a more conceptual approach to McKay quivers of arbitrary finite groups: we define the Lusztig algebra $\widetilde A(G)$ of a finite group $G \subseteq \mathrm{GL}(V)$, which is Morita equivalent to the skew group ring $A*G$. This description gives us an embedding of the basic algebra Morita equivalent to $A*G$ into a matrix algebra over $A$.
Abacus-histories and the combinatorics of creation operators
Published in Journal of Combinatorial Theory, Series A, Volume 177, January 2021
• View Publication
• BIB
Creation operators act on symmetric functions to build Schur functions, Hall--Littlewood polynomials, and related symmetric functions one row at a time. Haglund, Morse, Zabrocki, and others have studied more general symmetric functions $H_α$, $C_α$, and $B_α$ obtained by applying any sequence of creation operators to $1$. We develop new combinatorial models for the Schur expansions of these and related symmetric functions using objects called abacus-histories. These formulas arise by chaining together smaller abacus-histories that encode the effect of an individual creation operator on a given Schur function. We give a similar treatment for operators such as multiplication by $h_m$, $h_m^{\perp}$, $ω$, etc., which serve as building blocks to construct the creation operators. We use involutions on abacus-histories to give bijective proofs of properties of the Bernstein creation operator and Hall-Littlewood polynomials indexed by three-row partitions.
On the number of spanning trees in bipartite graphs
In this paper, we address the Ehrenborg's conjecture which proposes that for any bipartite graph the number of spanning trees does not exceed the product of the degrees of the vertices divided by the product of the sizes of the graph components. We show that the conjecture is true for a one-side regular graph (that is a graph for which all degrees of the vertices of at least one of the components are equal). We also present a new proof of the fact that the equality holds for Ferrers graphs.
Equivariant incidence algebras and equivariant Kazhdan-Lusztig-Stanley theory
Published
• View Publication
• BIB
We establish a formalism for working with incidence algebras of posets with symmetries, and we develop equivariant Kazhdan-Lusztig-Stanley theory within this formalism. This gives a new way of thinking about the equivariant Kazhdan-Lusztig polynomial and equivariant Z-polynomial of a matroid.