Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Erdős-Ko-Rado theorems for ovoidal circle geometries and polynomials over finite fields
Published in Linear Algebra and its Applications, 643:1-38, 2022
• View Publication
• BIB
In this paper we investigate Erdős-Ko-Rado theorems in ovoidal circle geometries. We prove that in Möbius planes of even order greater than 2, and ovoidal Laguerre planes of odd order, the largest families of circles which pairwise intersect in at least one point, consist of all circles through a fixed point. In ovoidal Laguerre planes of even order, a similar result holds, but there is one other type of largest family of pairwise intersecting circles. As a corollary, we prove that the largest families of polynomials over $\mathbb F_q$ of degree at most $k$, with $2 \leq k < q$, which pairwise take the same value on at least one point, consist of all polynomials $f$ of degree at most $k$ such that $f(x) = y$ for some fixed $x$ and $y$ in $\mathbb F_q$. We also discuss this problem for ovoidal Minkowski planes, and we investigate the largest families of circles pairwise intersecting in two points in circle geometries.
Neighbour-Transitive Codes and Partial Spreads in Generalised Quadrangles
A code $C$ in a generalised quadrangle ${\mathcal Q}$ is defined to be a subset of the vertex set of the point-line incidence graph $\varGamma$ of ${\mathcal Q}$. The minimum distance $δ$ of $C$ is the smallest distance between a pair of distinct elements of $C$. The graph metric gives rise to the distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the maximum distance between any vertex of $\varGamma$ and its nearest element of $C$. Since the diameter of $\varGamma$ is $4$, both $ρ$ and $δ$ are at most $4$. If $δ=4$ then $C$ is a partial ovoid or partial spread of ${\mathcal Q}$, and if, additionally, $ρ=2$ then $C$ is an ovoid or a spread. A code $C$ in ${\mathcal Q}$ is neighbour-transitive if its automorphism group acts transitively on each of the sets $C$ and $C_1$. Our main results i) classify all neighbour-transitive codes admitting an insoluble group of automorphisms in thick classical generalised quadrangles that correspond to ovoids or spreads, and ii) give two infinite families and six sporadic examples of neighbour-transitive codes with minimum distance $δ=4$ in the classical generalised quadrangle ${\mathsf W}_3(q)$ that are not ovoids or spreads.
A new characterization of discrete decomposable models
Published
• View Publication
• BIB
Decomposable graphical models, also known as perfect DAG models, play a fundamental role in standard approaches to probabilistic inference via graph representations in modern machine learning and statistics. However, such models are limited by the assumption that the data-generating distribution does not entail strictly context-specific conditional independence relations. The family of staged tree models generalizes DAG models so as to accommodate context-specific knowledge. We provide a new characterization of perfect discrete DAG models in terms of their staged tree representations. This characterization identifies the family of balanced staged trees as the natural generalization of discrete decomposable models to the context-specific setting.
On the matroidal path ideals
Published
• View Publication
• BIB
We prove that the set of all paths of a fixed length in a complete multipartite graph is the bases of a matroid. Moreover, we discuss the Cohen-Macaulayness and depth of powers of $t$-path ideals of a complete multipartite graph.
Open-end bin packing: new and old analysis approaches
Published
• View Publication
• BIB
We analyze a recently introduced concept, called the price of clustering, for variants of bin packing called open-end bin packing problems (OEBP). Input items have sizes, and they also belong to a certain number of types. The new concept deals with the comparison of optimal solutions for the cases where items of distinct types can and cannot be packed together, respectively. The problem is related to greedy bin packing algorithms and to batched bin packing, and we discuss some of those concepts as well. We analyze max-OEBP, where a packed bin is valid if by excluding its largest item, the total size of items is below 1. For this variant, we study the case of general item sizes, and the parametric case with bounded item sizes, which shows the effect of small items. Finally, we briefly discuss min-OEBP, where a bin is valid if the total size of its items excluding the smallest item is below 1, which is known to be an entirely different problem.
Algebraic Interplay between Renormalization and Monodromy
Published in Adv. in Theor. and Math. Physics, Vol. 27, No. 1 (2023), pp. 87-191
• View Publication
• BIB
We investigate combinatorial and algebraic aspects of the interplay between renormalization and monodromies for Feynman amplitudes. We clarify how extraction of subgraphs from a Feynman graph interacts with putting edges onshell or with contracting them to obtain reduced graphs. Graph by graph this leads to a study of cointeracting bialgebras. One bialgebra comes from extraction of subgraphs and hence is needed for renormalization. The other bialgebra is an incidence bialgebra for edges put either on- or offshell. It is hence related to the monodromies of the multivalued function to which a renormalized graph evaluates. Summing over infinite series of graphs, consequences for Green functions are derived using combinatorial Dyson--Schwinger equations.
Recursive sequences attached to modular representations of finite groups
Published
• View Publication
• BIB
The core of a finite-dimensional modular representation $M$ of a finite group $G$ is its largest non-projective summand. We prove that the dimensions of the cores of $M^{\otimes n}$ have algebraic Hilbert series when $M$ is Omega-algebraic, in the sense that the non-projective summands of $M^{\otimes n}$ fall into finitely many orbits under the action of the syzygy operator $Ω$. Similarly, we prove that these dimension sequences are eventually linearly recursive when $M$ is what we term $Ω^{+}$-algebraic. This partially answers a conjecture by Benson and Symonds. Along the way, we also prove a number of auxiliary permanence results for linear recurrence under operations on multi-variable sequences.
Poly-Cauchy numbers -- the combinatorics behind
We introduce poly-Cauchy permutations that are enumerated by the poly-Cauchy numbers. We provide combinatorial proofs for several identities involving poly-Cauchy numbers and some of their generalizations. The aim of this work is to demonstrate the power and beauty of the elementary combinatorial approach.
Component Edge Connectivity of Hypercube-like Networks
Published
• View Publication
• BIB
As a generalization of the traditional connectivity, the g-component edge connectivity cλg(G) of a non-complete graph G is the minimum number of edges to be deleted from the graph G such that the resulting graph has at least g components. Hypercube-like networks (HL-networks for short) are obtained by manipulating some pairs of edges in hypercubes, which contain several famous interconnection networks such as twisted cubes, Mobius cubes, crossed cubes, locally twisted cubes. In this paper, we determine the (g + 1)-component edge connectivity of the n-dimensional HL-networks.
Continuous Turán numbers
In this paper, we define a notion of containment and avoidance for subsets of $\mathbb{R}^2$. Then we introduce a new, continuous and super-additive extremal function for subsets $P \subseteq \mathbb{R}^2$ called $px(n, P)$, which is the supremum of $μ_2(S)$ over all open $P$-free subsets $S \subseteq [0, n]^2$, where $μ_2(S)$ denotes the Lebesgue measure of $S$ in $\mathbb{R}^2$. We show that $px(n, P)$ fully encompasses the Zarankiewicz problem and more generally the 0-1 matrix extremal function $ex(n, M)$ up to a constant factor. More specifically, we define a natural correspondence between finite subsets $P \subseteq \mathbb{R}^2$ and 0-1 matrices $M_P$, and we prove that $px(n, P) = Θ(ex(n, M_P))$ for all finite subsets $P \subseteq \mathbb{R}^2$, where the constants in the bounds depend only on the distances between the points in $P$.
We also discuss bounded infinite subsets $P$ for which $px(n, P)$ grows faster than $ex(n, M)$ for all fixed 0-1 matrices $M$. In particular, we show that $px(n, P) = Θ(n^{2})$ for any open subset $P \subseteq \mathbb{R}^2$. We prove an even stronger result, that if $Q_P$ is the set of points with rational coordinates in any open subset $P \subseteq \mathbb{R}^2$, then $px(n, Q_P) = Θ(n^2)$. Finally, we obtain a strengthening of the Kővari-Sós-Turán theorem that applies to infinite subsets of $\mathbb{R}^2$. Specifically, for subsets $P_{s, t, c} \subseteq \mathbb{R}^2$ consisting of $t$ horizontal line segments of length $s$ with left endpoints on the same vertical line with consecutive segments a distance of $c$ apart, we prove that $px(n, P_{s, t,c}) = O(s^{\frac{1}{t}}n^{2-\frac{1}{t}})$, where the constant in the bound depends on $t$ and $c$. When $t = 2$, we show that this bound is sharp up to a constant factor that depends on $c$.
Extremal independence in discrete random systems
Published
• View Publication
• BIB
Let $\mathbf{X}(n) \in \mathbb{R}^d$ be a sequence of random vectors, where $n\in\mathbb{N}$ and $d = d(n)$. Under certain weakly dependence conditions, we prove that the distribution of the maximal component of $\mathbf{X}$ and the distribution of the maximum of their independent copies are asymptotically equivalent. Our result on extremal independence relies on new lower and upper bounds for the probability that none of a given finite set of events occurs. As applications, we obtain the distribution of various extremal characteristics of random discrete structures such as maximum codegree in binomial random hypergraphs and the maximum number of cliques sharing a given vertex in binomial random graphs. We also generalise Berman-type conditions for a sequence of Gaussian random vectors to possess the extremal independence property.
Sumsets and fixed points of substitutions
Published
• View Publication
• BIB
In this paper we introduce a technique to determine the sumset $A+A$, where $A$ is the indicator function of the 0's occurring in a fixed point $x$ of a substitution on the alphabet $\{0,1\}$.
Hidden diagonal integrability of $q$-Hahn vertex model and Beta polymer model
Published
• View Publication
• BIB
We study a new integrable probabilistic system, defined in terms of a stochastic colored vertex model on a square lattice. The main distinctive feature of our model is a new family of parameters attached to diagonals rather than to rows or columns, like in other similar models. Because of these new parameters the previously known results about vertex models cannot be directly applied, but nevertheless the integrability remains, and we prove explicit integral expressions for $q$-deformed moments of the (colored) height functions of the model. Following known techniques our model can be interpreted as a $q$-discretization of the Beta polymer model from arXiv:1503.04117 with a new family of parameters, also attached to diagonals. To demonstrate how integrability with respect to the new diagonal parameters works, we extend the known results about Tracy-Widom large-scale fluctuations of the Beta polymer model.
Cospanning characterizations of violator and co-violator spaces
Published
• View Publication
• BIB
Given a finite set E and an operator sigma:2^{E}-->2^{E}, two subsets X,Y of the ground set E are cospanning if sigma(X)=sigma(Y) (Korte, Lovasz, Schrader; 1991). We investigate cospanning relations on violator spaces. A notion of a violator space was introduced in (Gartner, Matousek, Rust, Skovrovn; 2008) as a combinatorial framework that encompasses linear programming and other geometric optimization problems. Violator spaces are defined by violator operators. We introduce co-violator spaces based on contracting operators known also as choice functions. Let alpha,beta:2^{E}-->2^{E} be a violator operator and a co-violator operator, respectively. Cospanning characterizations of violator spaces allow us to obtain some new properties of violator operators, co-violator operators, and their interconnections. In particular, we show that uniquely generated violator spaces enjoy so-called Krein-Milman properties, i.e., alpha(beta(X))=alpha(X) and beta(alpha}(X))=beta(X) for every subset X of the ground set E.
The OEIS: A Fingerprint File for Mathematics
Published
• View Publication
• BIB
An introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS, https://oeis.org) for graduate students in mathematics
From (secure) w-domination in graphs to protection of lexicographic product graphs
Let $w=(w_0,w_1, \dots,w_l)$ be a vector of nonnegative integers such that $ w_0\ge 1$. Let $G$ be a graph and $N(v)$ the open neighbourhood of $v\in V(G)$. We say that a function $f: V(G)\longrightarrow \{0,1,\dots ,l\}$ is a $w$-dominating function if $f(N(v))=\sum_{u\in N(v)}f(u)\ge w_i$ for every vertex $v$ with $f(v)=i$. The weight of $f$ is defined to be $ω(f)=\sum_{v\in V(G)} f(v)$. Given a $w$-dominating function $f$ and any pair of adjacent vertices $v, u\in V(G)$ with $f(v)=0$ and $f(u)>0$, the function $f_{u\rightarrow v}$ is defined by $f_{u\rightarrow v}(v)=1$, $f_{u\rightarrow v}(u)=f(u)-1$ and $f_{u\rightarrow v}(x)=f(x)$ for every $x\in V(G)\setminus\{u,v\}$. We say that a $w$-dominating function $f$ is a secure $w$-dominating function if for every $v$ with $f(v)=0$, there exists $u\in N(v)$ such that $f(u)>0$ and $f_{u\rightarrow v}$ is a $w$-dominating function as well. The (secure) $w$-domination number of $G$, denoted by ($γ_{w}^s(G)$) $γ_{w}(G)$, is defined as the minimum weight among all (secure) $w$-dominating functions.
In this paper, we show how the secure (total) domination number and the (total) weak Roman domination number of lexicographic product graphs $G\circ H$ are related to $γ_w^s(G)$ or $γ_w(G)$. For the case of the secure domination number and the weak Roman domination number, the decision on whether $w$ takes specific components will depend on the value of $γ_{(1,0)}^s(H)$, while in the case of the total version of these parameters, the decision will depend on the value of $γ_{(1,1)}^s(H)$.
Edge coloring graphs with large minimum degree
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>Δ(G)\lfloor |V(H)|/2 \rfloor$. Chetwynd and Hilton in 1985 conjectured that a graph $G$ with $Δ(G)>|V(G)|/3$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. The 1-factorization conjecture is a special case of this overfull conjecture, which states that for even $n$, every regular $n$-vertex graph with degree at least about $n/2$ has a 1-factorization and was confirmed for large graphs in 2014. Supporting the overfull conjecture as well as generalizing the 1-factorization conjecture in an asymptotic way, in this paper, we show that for any given $0<\varepsilon <1$, there exists a positive integer $n_0$ such that the following statement holds: if $G$ is a graph on $2n\ge n_0$ vertices with minimum degree at least $(1+\varepsilon)n$, then $G$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph.
A Combinatorial Approach to the Groebner Bases for Ideals Generated by Elementary Symmetric Functions
Published
• View Publication
• BIB
Previous work by Mora and Sala provides the reduced Groebner basis of the ideal formed by the elementary symmetric polynomials in $n$ variables of degrees $k=1,\dots,n$, $\langle e_{1,n}(x), \dots, e_{n,n}(x) \rangle$. Haglund, Rhoades, and Shimonozo expand upon this, finding the reduced Groebner basis of the ideal of elementary symmetric polynomials in $n$ variables of degree $d$ for $d=n-k+1,\dots,n$ for $k\leq n$. In this paper, we further generalize their findings by using symbolic computation and experimentation to construct the reduced Groebner basis for the ideal generated by the elementary symmetric polynomials in $n$ variables of arbitrary degrees.
The overfullness of graphs with small minimum degree and large maximum degree
Published
• View Publication
• BIB
Given a simple graph $G$, denote by $Δ(G)$, $δ(G)$, and $χ'(G)$ the maximum degree, the minimum degree, and the chromatic index of $G$, respectively. We say $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ(G)+1$ and $χ'(H)\le Δ(G)$ for every proper subgraph $H$ of $G$; and $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2 \rfloor$. Since a maximum matching in $G$ can have size at most $\lfloor |V(G)|/2 \rfloor$, it follows that $χ'(G) = Δ(G) +1$ if $G$ is overfull. Conversely, let $G$ be a $Δ$-critical graph. The well known overfull conjecture of Chetwynd and Hilton asserts that $G$ is overfull provided $Δ(G) > |V(G)|/3$. In this paper, we show that any $Δ$-critical graph $G$ is overfull if $Δ(G) - 7δ(G)/4\ge(3|V(G)|-17)/4$.
Normalized Laplacian spectra of central vertex join and central edge join of graphs
In this paper, we compute normalized Laplacian spectra of central graph of a regular graph, central vertex join and central edge join of two regular graphs. Also, we determine their Kemeny's constant and degree Kirchhoff index.