Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Production optimization by agents of differing work rates
Published
• View Publication
• BIB
We devise a scheme for producing, in the least possible time, $n$ identical objects with $p$ agents that work at differing speeds. This involves halting the process in order to transfer production across agent types. For the case of two types of agent, we construct a scheme based on the Euclidean algorithm that seeks to minimise the number of pauses in production.
Integer diagonal forms for subset intersection relations
Published
• View Publication
• BIB
For integers $0 \leq \ell \leq k_{r} \leq k_{c} \leq n$, we give a description for the Smith group of the incidence matrix with rows (columns) indexed by the size $k_r$ ($k_c$, respectively) subsets of an $n$-element set, where incidence means intersection in a set of size $\ell$. This generalizes work of Wilson and Bier from the 1990s which dealt only with the case where incidence meant inclusion. Our approach also describes the Smith group of any matrix in the $\mathbb{Z}$-linear span of these matrices so includes all integer matrices in the Bose-Mesner algebra of the Johnson association scheme: for example, the association matrices themselves as well as the Laplacian, signless Laplacian, Seidel adjacency matrix, etc. of the associated graphs. In particular, we describe the critical (also known as sandpile) groups of these graphs. The complexity of our formula grows with the parameters $k_{r}$ and $k_{c}$, but is independent of $n$ and $\ell$, which often leads to an efficient algorithm for computing these groups. We illustrate our techniques to give diagonal forms of matrices attached to the Kneser and Johnson graphs for subsets of size $3$, whose invariants have never before been described, and recover results from a variety of papers in the literature in a unified way.
Geometry of unimodular systems
A collection of vectors in a real vector space is called a unimodular system if any of its maximal linearly independent subsets generates the same free abelian group. This notion is closely connected with totally unimodular matrices: rows or columns of a totally unimodular matrix form a unimodular system and the matrix of coefficients of expansions of all vectors of a unimodular system with respect to its maximal linearly independent subset is totally unimodular.
In this paper we show that a unimodular system defines the following geometric data: a Euclidean space, an integral lattice in it, and a reflexive lattice zonotope. The discriminant of the lattice is equal to the number of maximal linearly independent subsystems, and we call this number the complexity of the unimodular system. For a unimodular system $Ω$ we also define the Gale dual unimodular system $Ω^{\bot}$ which has the same complexity. These notions may be illustrated by the well-known graphic and cographic unimodular systems of a graph. Both graphic and cographic unimodular systems have the same complexity which is equal to the complexity of the graph. For graphs without loops and bridges the graphic and the cographic unimodular systems are Gale dual to each other.
We describe this geometric data for certain examples: for the graphic and the cographic unimodular systems of a generalized theta-graph, consisting of two vertices connected by $N$ edges, for the cographic system of the complete graph $K_N$, and for the famous Bixby-Seymour unimodular system, which is neither graphic nor cographic.
Numerical semigroups with monotone Apéry set and fixed multiplicity and ratio
Published in Bull. Braz. Math. Soc. (N.S.) 55(2) (2024), Article No. 13
• View Publication
• BIB
We characterise the numerical semigroups with a monotone Apéry set (MANS-semigroups for abbreviate). Moreover, we describe the families of MANS-semigroups when we set the multiplicity and the ratio.
Addressing the cold start problem in privacy preserving content-based recommender systems using hypercube graphs
Published
• View Publication
• BIB
The initial interaction of a user with a recommender system is problematic because, in such a so-called cold start situation, the recommender system has very little information about the user, if any. Moreover, in collaborative filtering, users need to share their preferences with the service provider by rating items while in content-based filtering there is no need for such information sharing. We have recently shown that a content-based model that uses hypercube graphs can determine user preferences with a very limited number of ratings while better preserving user privacy. In this paper, we confirm these findings on the basis of experiments with more than 1,000 users in the restaurant and movie domains. We show that the proposed method outperforms standard machine learning algorithms when the number of available ratings is at most 10, which often happens, and is competitive with larger training sets. In addition, training is simple and does not require large computational efforts.
Shuffle Bases and Quasisymmetric Power Sums
Published
• View Publication
• BIB
The algebra of quasisymmetric functions QSym and the shuffle algebra of compositions Sh are isomorphic as graded Hopf algebras (in characteristic zero), and isomorphisms between them can be specified via shuffle bases of QSym. We use the notion of infinitesimal characters to characterize shuffle bases, and we establish a universal property for Sh in the category of connected graded Hopf algebras equipped with an infinitesimal character, analogous to the universal property of QSym as a combinatorial Hopf algebra described by Aguiar, Bergeron, and Sottile. We then use these results to give general constructions for quasisymmetric power sums, recovering four previous constructions from the literature, and study their properties.
Off-diagonal online size Ramsey numbers for paths
Published
• View Publication
• BIB
Consider the following Ramsey game played on the edge set of $K_{\mathbb N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of a path $P_k$ on $k$ vertices or a blue copy of $P_n$ as soon as possible. The online (size) Ramsey number $\tilde{r}(P_k,P_n)$ is the number of rounds in the game provided Builder and Painter play optimally. We prove that $\tilde{r}(P_k,P_n)\le (5/3+o(1))n$ provided $k=o(n)$ and $n\to \infty$. We also show that $\tilde{r}(P_4,P_n)\le \lceil 7n/5\rceil -1$ for $n\ge 10$, which improves the upper bound obtained by J.~Cyman, T.~Dzido, J.~Lapinskas, and A.~Lo and implies their conjecture that $\tilde{r}(P_4,P_n)=\lceil 7n/5\rceil -1$.
Some exact and asymptotic results for hypergraph Turán problems in $\ell_2$-norm
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $\mathcal{H}$, the \emph{codegree squared sum} $\text{co}_2(\mathcal{H})$ is the square of the $\ell_2$-norm of the codegree vector of $\mathcal{H}$, and for a family $\mathscr{F}$ of $k$-uniform hypergraphs, the codegree squared extremal number $\text{exco}_2(n, \mathscr{F})$ is the maximum codegree squared sum of a hypergraph on $n$ vertices which does not contain any hypergraph in $\mathscr{F}$. Balogh, Clemen and Lidický recently introduced the codegree squared extremal number and determined it for a number of $3$-uniform hypergraphs, including the complete graphs $K_4^3$ and $K_5^3$.
In this paper, we give a number of exact or asymptotic results for hypergraph Turán problems in the $\ell_2$-norm, including the first exact results for arbitrary $k$. Namely, we prove a version of the classical Erdős-Ko-Rado theorem for the codegree squared extremal number: if $\mathcal{F} \subset \binom{[n]}{k}$ is intersecting and $n\ge 2k$, then \[\text{co}_2(\mathcal{F}) \le \binom{n-1}{k-1}(1+(n-k+1)(k-1)),\] with equality only for the star for $n > 2k$. Our main tool is an inequality of Bey, which also gives a general upper bound on $\text{exco}_2(n, \mathscr{F})$.
We also prove versions of the Erdős Matching Conjecture and the $t$-intersecting Erdős-Ko-Rado theorem for the codegree squared extremal number for large $n$, determine the exact codegree squared extremal number of minimal and linear $3$-paths and $3$-cycles, and determine asymptotically the codegree squared extremal number of minimal and linear $s$-paths and $s$-cycles for $s\ge 4$.
Lastly, we derive a number of exact or asymptotic results for graph Turán-type problems in the $\ell_2$-norm from spectral extremal results for certain fobridden subgraph problems and the well-known Hofmeister's inequality.
On Finding the Eigenvalues of the Matrix of Rotation Symmetric Boolean Functions
Published
• View Publication
• BIB
We consider the action on $\mathbb{F}_2^n$ by cyclic permutations ($\mathbb{Z}/n\mathbb{Z}$). Two elements $x, y\in \mathbb{F}_2^n$ are in the same orbit if they are cyclic shifts of each other. Cryptographic properties of rotation symmetric Boolean functions can be efficiently computed using the square matrix $_n\mathcal{A}$, the construction of which uses orbit representatives of the cyclic shifting action. In 2018, Ciungu and Iovanov proved that $_n\mathcal{A}^2=2^n\cdot I$, the identity matrix of dimension $g_n\times g_n$ where $g_n$ is the number of orbits. In this paper, we answer the open question of the precise number of positive and negative eigenvalues of $_n\mathcal{A}$.
The maximum size of an induced forest in the binomial random graph
Published
• View Publication
• BIB
The celebrated Frieze's result about the independence number of $G(n,p)$ states that it is concentrated in an interval of size $o(1/p)$ for all $C_{\varepsilon}/n<p=o(1)$. We show concentration in an interval of size $o(1/p)$ for the maximum size (number of vertices) of an induced forest in $G(n,p)$ for all $C_{\varepsilon}/n<p<1-\varepsilon$. Presumably, it is the first generalization of Frieze's result to another class of induced subgraphs for such a range of $p$.
Exploration on Incidence Geometry and Sum-Product Phenomena
In additive combinatorics, Erdös-Szemerédi Conjecture is an important conjecture. It can be applied to many fields, such as number theory, harmonic analysis, incidence geometry, and so on. Additionally, its statement is quite easy to understand, while it is still an open problem. In this dissertation, we investigate the Erdös-Szemerédi Conjecture and its relationship with several well-known results in incidence geometry, such as the Szemerédi-Trotter Incidence Theorem. We first study these problems in the setting of real numbers and focus on the proofs by Elekes and Solymosi on sum-product estimates. After introducing these theorems, our main focus is the Erdös-Szemerédi Conjecture in the setting of $\mathbb{F}_p$. We aim to adapt several ingenious techniques developed for real numbers to the case of finite fields. Finally, we obtain a result in estimating the number of bisectors over the ring $\mathbb{Z}/p^3\mathbb{Z}$ with $p$ a $4n+3$ prime.
Structural balance and spectral properties of generalized corona product of signed graphs
Published
• View Publication
• BIB
In this paper, we extend our earlier proposal of corona product of signed graphs into generalized corona product of signed graphs inspired by the generalized corona product of unsigned graphs. Then we study structural balance and spectral properties of these graphs. Utilizing the notion of coronal of a graph, we determine computable formulae of characteristic, Laplacian, and signless Laplacian polynomials of generalized corona product of signed graphs. Finally, we provide sufficient conditions for the generalized corona product of some distinct collections of signed graphs to be co-spectral.
Supersaturation beyond color-critical graphs
Published
• View Publication
• BIB
The supersaturation problem for a given graph $F$ asks for the minimum number $h_F(n,q)$ of copies of $F$ in an $n$-vertex graph with $ex(n,F)+q$ edges. Subsequent works by Rademacher, Erdős, and Lovász and Simonovits determine the optimal range of $q$ (which is linear in $n$) for cliques $F$ such that $h_F(n,q)$ equals the minimum number $t_F(n,q)$ of copies of $F$ obtained from a maximum $F$-free $n$-vertex graph by adding $q$ new edges. A breakthrough result of Mubayi extends this line of research from cliques to color-critical graphs $F$, and this was further strengthened by Pikhurko and Yilma who established the equality $h_F(n,q)=t_F(n,q)$ for $1\leq q\leq ε_F n$ and sufficiently large $n$. In this paper, we present several results on the supersaturation problem that extend beyond the existing framework. Firstly, we explicitly construct infinitely many graphs $F$ with restricted properties for which $h_F(n,q)<q\cdot t_F(n,1)$ holds when $n\gg q\geq 4$, thus refuting a conjecture of Mubayi. Secondly, we extend the result of Pikhurko-Yilma by showing the equality $h_F(n,q)=t_F(n,q)$ in the range $1\leq q\leq ε_F n$ for any member $F$ in a diverse and abundant graph family (which includes color-critical graphs, disjoint unions of cliques $K_r$, and the Petersen graph). Lastly, we prove the existence of a graph $F$ for any positive integer $s$ such that $h_F(n,q)=t_F(n,q)$ holds when $1\leq q\leq ε_F n^{1-1/s}$, and $h_F(n,q)<t_F(n,q)$ when $n^{1-1/s}/ε_F\leq q\leq ε_F n$, indicating that $q=Θ(n^{1-1/s})$ serves as the threshold for the equality $h_F(n,q)=t_F(n,q)$. We also discuss some additional remarks and related open problems.
Infinite Hex is arithmetic
Hex is a well known connection game in which two players attempt to connect opposite sides of the board by colored stones. In 2022, Hamkins and Leonessi introduced an infinite version, in which the goal is to construct a certain kind of two-way infinite path of adjacent stones. It was explicitly left open whether the winning condition is Borel. We prove that it is arithmetic, with complexity between $Σ^0_4$ and $Δ^0_5$.
The existence of ground state solutions for nonlinear p-Laplacian equations on lattice graphs
Published
• View Publication
• BIB
In this paper, we study the nonlinear $p$-Laplacian equation
$$-Δ_{p} u+V(x)|u|^{p-2}u=f(x,u) $$ with positive and periodic potential $V$ on the lattice graph $\mathbb{Z}^{N}$, where $Δ_{p}$ is the discrete $p$-Laplacian, $p \in (1,\infty)$. The nonlinearity $f$ is also periodic in $x$ and satisfies the growth condition $|f(x,u)| \leq a(1+|u|^{q-1})$ for some $ q>p$. We first prove the equivalence of three function spaces on $\mathbb{Z}^{N}$, which is quite different from the continuous case and allows us to remove the restriction $q>p^{*}$ in [SW10], where $p^{*}$ is the critical exponent for $ W^{1,p}(Ω) \hookrightarrow L^{q}(Ω)$ with $Ω\subset \mathbb{R}^{N}$ bounded. Then, using the method of Nehari [Neh60, Neh61], we prove the existence of ground state solutions to the above equation.
Full runner removal theorem for Ariki-Koike algebras
We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr S_n$. We define the addition of a runner full of beads for the abacus display of a multipartition and investigate some combinatorial properties of this operation. We focus our attention on the $q$-decomposition numbers, i.e. the polynomials arising from the Fock space representation of the quantum group $U_q(\widehat{\mathfrak{sl}}_e)$. Using Fayers' LLT-type algorithm for Ariki-Koike algebras, we relate $q$-decomposition numbers for different values of $e$ for the class of $e$-multiregular multipartitions, by adding a full runner of beads to each component of the abacus displays for the labelling multipartitions.
New graph invariants based on $p$-Laplacian eigenvalues
We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetković bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.
Algebraic properties of binomial edge ideals of Levi graphs associated with curve arrangements
Published in J. Pure Appl. Algebra, 228(9), 107665, 2024
• View Publication
• BIB
In this article, we study algebraic properties of binomial edge ideals of Levi graphs associated with certain plane curve arrangements. Using combinatorial properties of Levi graphs, we discuss the Cohen-Macaulayness of binomial edge ideals of Levi graphs associated to some curve arrangements in the complex projective plane, like the $d$-arrangement of curves and the conic-line arrangements. We also discuss the existence of certain induced cycles in the Levi graphs of these arrangements and obtain lower bounds for the regularity of powers of the corresponding binomial edge ideals.
Heights of one- and two-sided congruence lattices of semigroups
Published in Pacific J. Math. 333 (2024) 17-57
• View Publication
• BIB
The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.
Alternative combinatorial sum for the probability mass function of the Poisson distribution of order $k$
Kostadinova and Minkova published an expression for the probability mass function (pmf) of the Poisson distribution of order $k$, as a combinatorial sum ($\mathit{Pliska~Stud.~Math.~Bulgar.}\ {\bf 22},\ 117-128\ (2013)$). Inspired by their elegant solution, this note presents an alternative combinatorial sum for the pmf of the Poisson distribution of order $k$. The terms are partitioned into blocks of length $k$ (as opposed to $k+1$ by Kostadinova and Minkova). The new sum offers an advantage in the following sense. For $n\in[rk+1,(r+1)k]$, the lowest power of $λ$ in the pmf is $λ^{r+1}$. Hence the lower limit of summation can be increased, to avoid needlessly calculating terms which cancel to identically zero.