Showing 20 papers (Total: 81378 papers, 47165 authors in database)
New Bounds for Induced Turán Problems
In a recent paper, Hunter, Milojević, Sudakov and Tomon consider the maximum number of edges in an $n$-vertex graph containing no copy of the complete bipartite graph $K_{s,s}$ and no induced copy of a "pattern" graph $H$. They conjecture that, for $s \geq |V(H)|$, this "induced extremal number" differs by at most a constant factor from the standard extremal number of $H$. Towards this, we give bounds on the induced extremal number in terms of degeneracy, which establish some non-trivial relationship between the induced and standard extremal numbers in general. We also show that (as in the case of standard extremal numbers) the induced extremal number is dominated by that of the 2-core of a single connected component. Finally, we present some graphs arising from incidence geometry which may serve as counterexamples to the conjecture.
A classification of two-distance-transitive Cayley graphs over the generalized quaternion groups
A non-complete graph is \emph{$2$-distance-transitive} if, for $i=1,2$ and for any two vertex pairs $(u_1,v_1)$ and $(u_2,v_2)$ with the same distance $i$ in the graph, there exists an element of the graph automorphism group that maps $(u_1,v_1)$ to $(u_2,v_2)$. This is a generalization concept of the classical well-known distance-transitive graphs. In this paper, we completely determine the family of $2$-distance-transitive Cayley graphs over the generalized quaternion groups.
Characterization of Split Comparability Graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A split comparability graph is a split graph which is transitively orientable. In this work, we characterize split comparability graphs in terms of vertex labelling. Further, using this characterization, we prove that the permutation-representation number of a split comparability graph is at most three. This gives us an alternative proof of the result in order theory that the dimension of a split order is at most three.
On a Generalisation of a Function of Ron Graham's
Ron Graham introduced a function, $g(n)$, on the non-negative integers, in the 1986 Issue $3$ Problems column of \textit{Mathematical Magazine}: For each non-negative integer $n$, $g(n)$ is the least integer $s$ so that the integers $n + 1, n + 2, \ldots , s-1, s$ contain a subset of integers, the product of whose members with $n$ is a square. Recently, many results about $g(n)$ were proved in [Kagey and Rajesh, ArXiv:2410.04728, 2024] and they conjectured a characterization of which $n$ satisfied $g(n)=2n$. For $m\geq 2$, they also introduced generalizations of $g(n)$ to $m$-th powers to explore. In this paper, we prove their conjecture and provide some results about these generalisations.
Expanding vertices to triangles in cubic graphs
Contraction of triangles is a standard operation in the study of cubic graphs, as it reduces the order of the graph while typically preserving many of its properties. In this paper, we investigate the converse problem, wherein certain vertices of cubic graphs are expanded into triangles to achieve a desired property. We first focus on bridgeless cubic graphs and define the parameter $T(G)$ as the minimum number of vertices that need to be expanded into triangles so that the resulting cubic graph can be covered with four perfect matchings. We relate this parameter to the concept of shortest cycle cover. Furthermore, we show that if $5$-Cycle Double Cover Conejcture holds true, then $T(G)\leq \frac{2}{5} |V(G)|$. We conjecture a tighter bound, $T(G)\leq \frac{1}{10}|V(G)|$, which is optimal for the Petersen graph, and show that this bound follows from major conjectures like the Petersen Coloring Conjecture. In the second part of the paper, we introduce the parameter $t(G)$ as the minimum number of vertex expansions needed for the graph to admit a perfect matching. We prove a Gallai type identity: $t(G)+\ell(G)=|V(G)|$, where $\ell(G)$ is the number of edges in a largest even subgraph of $G$. Then we prove the general upper bound $t(G)< \frac{1}{4}|V(G)|$ for cubic graphs, and $t(G)< \frac{1}{6}|V(G)|$ for cubic graphs without parallel edges. We provide examples showing that these bounds are asymptotically tight. The paper concludes with a discussion of the computational complexity of determining these parameters.
Deza graphs and regular polyhedra
We classify all regular polyhedra according to their type i.e., the collection of numbers of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs). As an application, we recover the classification of planar Deza graphs.
Next, we focus on the class of quartic polyhedral Deza graphs, and completely characterise it in terms of medial graphs of certain specific cubic polyhedra. Furthermore, within the aforementioned class of quartic polyhedral Deza graphs, we study the extremal graphs with respect to the ratio of number of triangular faces to the total. In the maximal extreme, these notably coincide with the class of line graphs of cubic polyhedra of girth $5$.
We also fully characterise the quartic polyhedra of type $\{0,1,2,3\}$, and in particular we prove that none of them are medial graphs.
On one hand our findings fit within the novel research area of common neighbours in graphs. On the other hand, our findings imply general properties of regular planar graphs and regular polyhedra.
Structure constants for spin Hall--Littlewood functions
We provide a combinatorial formula for the structure constants of spin Hall--Littlewood functions. This is achieved by representing these functions and the structure constants as the partition function of a lattice model and applying the underlying Yang--Baxter equation. Our combinatorial expression is in terms of generalised honeycombs; the latter were introduced by Knutson and Tao for ordinary Littlewood--Richardson coefficients and applied to the computation of Hall polynomials by Zinn--Justin.
Enumeration of Corona for Lozenge Tilings
Knecht considers the enumeration of coronas. This is a counting problem for two specific types of lozenge tilings. Their exact closed formulas are conjectured in [A380346] and [A380416] on the OEIS. We prove this conjecture by using the weighted adjacency matrix. Furthermore, we extend this result to a more general setting.
Kneser's theorem for codes and $\ell$-divisible set families
A $k$-wise $\ell$-divisible set family is a collection $\mathcal{F}$ of subsets of ${ \{1,\ldots,n \} }$ such that any intersection of $k$ sets in $\mathcal{F}$ has cardinality divisible by $\ell$. If $k=\ell=2$, it is well-known that $|\mathcal{F}|\leq 2^{\lfloor n/2 \rfloor}$. We generalise this by proving that $|\mathcal{F}|\leq 2^{\lfloor n/p\rfloor}$ if $k=\ell=p$, for any prime number $p$.
For arbitrary values of $\ell$, we prove that $4\ell^2$-wise $\ell$-divisible set families $\mathcal{F}$ satisfy $|\mathcal{F}|\leq 2^{\lfloor n/\ell\rfloor}$ and that the only families achieving the upper bound are atomic, meaning that they consist of all the unions of disjoint subsets of size $\ell$. This improves upon a recent result by Gishboliner, Sudakov and Timon, that arrived at the same conclusion for $k$-wise $\ell$-divisible families, with values of $k$ that behave exponentially in $\ell$.
Our techniques rely heavily upon a coding-theory analogue of Kneser's Theorem from additive combinatorics.
Projective systems and bounds on the length of codes of non-zero defect
In their 2007 book, Tsfasman and Vlǎduţ invite the reader to reinterpret existing coding theory results through the lens of projective systems. Redefining linear codes as projective systems provides a geometric vantage point. In this paper, we embrace this perspective, deriving bounds on the lengths of A$^s$MDS codes (codes with Singleton defect $s$). To help frame our discussions, we introduce the parameters $m^{s}(k,q)$, denoting the maximum length of an (non-degenerate) $[n,k,d]_q$ A$^s$MDS code, $m^{s}_t(k,q)$ denoting the maximum length of an (non-degenerate) $[n,k,d]_q$ A$^s$MDS code such that the dual code is an A$^t$MDS code, and $κ(s,q)$, representing the maximum dimension $k$ for which there exists a linear code of (maximal) length $n=(s+1)(q+1)+k-2$. In particular, we address a gap in the literature by providing sufficient conditions on $n$ and $k$ under which the dual of an $[n,k,d]_q$ A$^s$MDS code is also an A$^s$MDS code. Our results subsume or improve several results in the literature. Some conjectures arise from our findings.
Sequence Reconstruction for Sticky Insertion/Deletion Channels
The sequence reconstruction problem for insertion/deletion channels has attracted significant attention owing to their applications recently in some emerging data storage systems, such as racetrack memories, DNA-based data storage. Our goal is to investigate the reconstruction problem for sticky-insdel channels where both sticky-insertions and sticky-deletions occur. If there are only sticky-insertion errors, the reconstruction problem for sticky-insertion channel is a special case of the reconstruction problem for tandem-duplication channel which has been well-studied. In this work, we consider the $(t, s)$-sticky-insdel channel where there are at most $t$ sticky-insertion errors and $s$ sticky-deletion errors when we transmit a message through the channel. For the reconstruction problem, we are interested in the minimum number of distinct outputs from these channels that are needed to uniquely recover the transmitted vector. We first provide a recursive formula to determine the minimum number of distinct outputs required. Next, we provide an efficient algorithm to reconstruct the transmitted vector from erroneous sequences.
Reduced Random Walks in the Hyperbolic Plane$\hspace{1pt}!\hspace{-3.8pt}?$
We study Lam's reduced random walk in a hyperbolic triangle group, which we view as a random walk in the upper half-plane. We prove that this walk converges almost surely to a point on the extended real line. We devote special attention to the reduced random walk in $PGL_2(\mathbb{Z})$ (i.e., the $(2,3,\infty)$ triangle group). In this case, we provide an explicit formula for the cumulative distribution function of the limit. This formula is written in terms of the interrobang function, a new function $!\hspace{-3.8pt}?\colon[0,1]\to\mathbb{R}$ that shares several of the remarkable analytic and arithmetic properties of Minkowski's question-mark function.
Geometric calculations on probability manifolds from reciprocal relations in Master equations
Onsager reciprocal relations model physical irreversible processes from complex systems. Recently, it has been shown that Onsager principles for master equations on finite states introduce a class of Riemannian metrics on the probability simplex, leading to probability manifolds or finite-state Wasserstein--2 spaces. In this paper, we study geometric calculations on probability manifolds, deriving the Levi-Civita connection, gradient, Hessian operators of energies, parallel transport, and calculating both the Riemannian and sectional curvatures. We present two examples of geometric quantities in probability manifolds. One example is the Levi-Civita connection from the chemical monomolecular triangle reaction. The other example is the sectional, Ricci, and scalar curvatures in Wasserstein space on a three-point lattice graph.
Hardness of Finding Kings and Strong Kings
A king in a directed graph is a vertex $v$ such that every other vertex is reachable from $v$ via a path of length at most $2$. It is well known that every tournament (a complete graph where each edge has a direction) has at least one king. Our contributions in this work are:
- We show that the query complexity of determining existence of a king in arbitrary $n$-vertex digraphs is $Θ(n^2)$. This is in stark contrast to the case where the input is a tournament, where Shen, Sheng, and Wu [SICOMP'03] showed that a king can be found in $O(n^{3/2})$ queries.
- In an attempt to increase the "fairness" in the definition of tournament winners, Ho and Chang [IPL'03] defined a strong king to be a king $k$ such that, for every $v$ that dominates $k$, the number of length-$2$ paths from $k$ to $v$ is strictly larger than the number of length-$2$ paths from $v$ to $k$. We show that the query complexity of finding a strong king in a tournament is $Θ(n^2)$. This answers a question of Biswas, Jayapaul, Raman, and Satti [DAM'22] in the negative.
A key component in our proofs is the design of specific tournaments where every vertex is a king, and analyzing certain properties of these tournaments. We feel these constructions and properties are independently interesting and may lead to more interesting results about tournament solutions.
A solution to a Paul Erdos problem
Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct? In this short note, we prove that there are no such prime numbers.
Minimum Cost Nowhere-zero Flows and Cut-balanced Orientations
Flows and colorings are disparate concepts in graph algorithms -- the former is tractable while the latter is intractable. Tutte introduced the concept of nowhere-zero flows to unify these two concepts. Jaeger showed that nowhere-zero flows are equivalent to cut-balanced orientations. Motivated by connections between nowhere-zero flows, cut-balanced orientations, Nash-Williams' well-balanced orientations, and postman problems, we study optimization versions of nowhere-zero flows and cut-balanced orientations. Given a bidirected graph with asymmetric costs on two orientations of each edge, we study the min cost nowhere-zero $k$-flow problem and min cost $k$-cut-balanced orientation problem. We show that both problems are NP-hard to approximate within any finite factor. Given the strong inapproximability result, we design bicriteria approximations for both problems: we obtain a $(6,6)$-approximation to the min cost nowhere-zero $k$-flow and a $(k,6)$-approximation to the min cost $k$-cut-balanced orientation. For the case of symmetric costs (where the costs of both orientations are the same for every edge), we show that the nowhere-zero $k$-flow problem remains NP-hard and admits a $3$-approximation.
Murnaghan-Nakayama rule for the cyclotomic Hecke algebra and applications
We derive a Murnaghan-Nakayama rule for irreducible characters of the cyclotomic Hecke algebra on certain standard elements, which fully determine their values. This work builds upon our recent multi-parameter Murnaghan-Nakayama rule for Macdonald polynomials. Our Murnaghan-Nakayama rule can be readily specialized to retrieve various existing rules, including those for the complex reflection group of type $G(m, 1, n)$ and the Iwahori-Hecke algebra in types $A$ and $B$. In a dual picture, we establish an iterative formula for the irreducible characters on upper multipartitions, utilizing the vertex operator realization of Schur functions.
As applications we derive an Regev-type formula and an Lübeck-Prasad-Adin-Roichman-type formula for the cyclotomic Hecke algebra, thereby extending the corresponding formulas for the Iwahori-Hecke algebra in type $A$ and the complex reflection group of type $G(m,1,n)$ to the setting of the cyclotomic Hecke algebra, respectively. Finally, we introduce the notion of the multiple bitrace of the cyclotomic Hecke algebra to formulate the second orthogonal relation of the irreducible characters. We also provide a general combinatorial rule to compute the multiple bitrace.
Choquet extension of non-monotone submodular setfunctions
In a seminal paper, Choquet introduced an integral formula to extend a monotone increasing setfunction on a sigma-algebra to a (nonlinear) functional on bounded measurable functions. The most important special case is when the setfunction is submodular; then this functional is convex (and vice versa). In the finite case, an analogous extension was introduced by this author; this is a rather special case, but no monotonicity was assumed. In this note we show that Choquet's integral formula can be applied to all submodular setfunctions, and the resulting functional is still convex. We extend the construction to submodular setfunctions defined on a set-algebra (rather than a sigma-algebra). The main property of submodular setfunctions used in the proof is that they have bounded variation. As a generalization of the convexity of the extension, we show that (under smoothness conditions) a ``lopsided'' version of Fubini's Theorem holds.
Lower bounds on the number of envy-free divisions
We analyze lower bounds for the number of envy-free divisions, in the classical Woodall-Stormquist setting and in a non-classical case, when envy-freeness is combined with the equipartition of a measure.
1. In the first scenario, there are $r$ hungry players, and the cake (that is, the segment $[0,1]$) is cut into $r$ pieces. Then there exist at least two different envy-free divisions. This bound is sharp: for each $r$, we present an example of preferences such that there are exactly two envy-free divisions.
2. In the second (hybrid) scenario, there are $p$ not necessarily hungry players ($p$ is a prime) and a continuous measure $μ$ on $[0,1]$. The cake is cut into $2p-1$ pieces, the pieces are allocated to $p$ boxes (with some restrictions) and the players choose the boxes. Then there exists at least $\binom{2p-1}{p-1} \cdot 2^{2-p}$ envy-free divisions such that the measure $μ$ is equidistributed among the players.
Bernoulli and Euler Partitions
Exact rational partitions are presented for Bernoulli and Euler numbers as novel sums involving Faulhaber and Salié coefficients.