Showing 20 papers (Total: 81564 papers, 47262 authors in database)
About posets of height one as retracts
We investigate connected posets $C$ of height one as retracts of finite posets $P$. We define two multigraphs: a multigraph $\mathfrak{F}(P)$ reflecting the network of so-called improper 4-crown bundles contained in the extremal points of $P$, and a multigraph $\mathfrak{C}(C)$ depending on $C$ but not on $P$. There exists a close interdependence between $C$ being a retract of $P$ and the existence of a graph homomorphism of a certain type from $\mathfrak{F}(P)$ to $\mathfrak{C}(C)$. In particular, if $C$ is an ordinal sum of two antichains, then $C$ is a retract of $P$ iff such a graph homomorphism exists. Returning to general connected posets $C$ of height one, we show that the image of such a graph homomorphism can be a clique in $\mathfrak{C}(C)$ iff the improper 4-crowns in $P$ contain only a sparse subset of the edges of $C$.
On the number of relevant variables for discrete functions
Published in Cryptography and Communications v.17, (2025)
• View Publication
• BIB
We consider various definitions of degrees of discrete functions and establish relations between the number of relevant (essential) variables and degrees of two- and three-valued functions.
Keywords: relevant variable, sensitivity, degree of Boolean function.
New bounds of two hypergraph Ramsey problems
We focus on two hypergraph Ramsey problems. First, we consider the Erdős-Hajnal function $r_k(k+1,t;n)$. In 1972, Erdős and Hajnal conjectured that the tower growth rate of $r_k(k+1,t;n)$ is $t-1$ for each $2\le t\le k$. To finish this conjecture, it remains to show that the tower growth rate of $r_4(5,4;n)$ is three. We prove a superexponential lower bound for $r_4(5,4;n)$, which improves the previous best lower bound $r_4(5,4;n)\geq 2^{Ω(n^2)}$ from Mubayi and Suk (\emph{J. Eur. Math. Soc., 2020}). Second, we prove an upper bound for the hypergraph Erdős-Rogers function $f^{(k)}_{k+1,k+2}(N)$ that is an iterated $(k-3)$-fold logarithm in $N$ for each $k\geq 5$. This improves the previous upper bound that is an iterated $(k-13)$-fold logarithm in $N$ for $k\ge14$ due to Mubayi and Suk (\emph{J. London Math. Soc., 2018}), in which they conjectured that $f^{(k)}_{k+1,k+2}(N)$ is an iterated $(k-2)$-fold logarithm in $N$ for each $k\ge3$.
Two classes of connectivity-related non-Hamiltonian 1-planar perfect graphs
The existence of Hamiltonian cycles in 1-planar graphs with higher connectivity has attracted considerable attention. Recently, the authors and Dong proved that 4-connected 1-planar chordal graphs are Hamiltonian-connected. In this paper, we investigate the non-Hamiltonicity of a broader class of graphs, specifically perfect graphs, under the constraint of 1-planarity, with a focus on connectivity of at most 5. We also propose some unsolved problems.
An Unsure Note on an Un-Schur Problem
Published
• View Publication
• BIB
Graham, Rödl, and Ruciński originally posed the problem of determining the minimum number of monochromatic Schur triples that must appear in any 2-coloring of the first $n$ integers. This question was subsequently resolved independently by Datskovsky, Schoen, and Robertson and Zeilberger. Here we suggest studying a natural anti-Ramsey variant of this question and establish the first non-trivial bounds by proving that the maximum fraction of Schur triples that can be rainbow in a given $3$-coloring of the first $n$ integers is at least $0.4$ and at most $0.66656$. We conjecture the lower bound to be tight. This question is also motivated by a famous analogous problem in graph theory due to Erdős and Sós regarding the maximum number of rainbow triangles in any $3$-coloring of $K_n$, which was settled by Balogh et al.
Algorithmic methods of finite discrete structures. Graph clique problem
The monography presents a new algorithm for finding the clique of maximal length in a nonseparable graph. The algorithm is based on the properties of the representation of a clique as a subset of the set of cycles with a length of three, the ring sum of which is an empty set. As a result of selecting the cycles of the length of three, two vectors are formed: the vector of cycles passing through the edges and the vector of cycles passing through the vertices. The numerical values of the components of these vectors determine the weights of the vertices and edges. The iterative process of constructing the set of vectors of cycles passing through the edges allows identifying the main vector of cycles passing through the edges. In turn, the construction of the main vector allows finding the clicks of the graph. The computational complexity of the presented algorithm is analyzed.
Small Shadow Partitions
We study the problem of partitioning the unit cube $[0,1]^n$ into $c$ parts so that each $d$-dimensional axis-parallel projection has small volume.
This natural combinatorial/geometric question was first studied by Kopparty and Nagargoje [KN23] as a reformulation of the problem of determining the achievable parameters for seedless multimergers -- which extract randomness from `$d$-where' random sources (generalizing somewhere random sources). This question is closely related to influences of variables and is about a partition analogue of Shearer's lemma.
Our main result answers a question of [KN23]: for $d = n-1$, we show that for $c$ even as large as $2^{o(n)}$, it is possible to partition $[0,1]^n$ into $c$ parts so that every $n-1$-dimensional axis-parallel projection has volume at most $(1/c) ( 1 + o(1) )$. Previously, this was shown by [KN23] for $c$ up to $O(\sqrt{n})$. The construction of our partition is related to influences of functions, and we present a clean geometric/combinatorial conjecture about this partitioning problem that would imply the KKL theorem on influences of Boolean functions.
Interplay of Cubic Graphs and Simplicial Surfaces
Simplicial surfaces describe the incidence relations between vertices, edges and faces of triangulated 2-dimensional manifolds in a purely combinatorial way. By considering only the incidences of edges and faces, simplicial surfaces are closely related to cubic graphs. In this paper we investigate how properties of simplicial surfaces and cubic graphs can be transferred to each other. Furthermore, we study embeddings of cubic graphs on simplicial surfaces and how they are connected to strong graph embeddings. For instance, 3-connected cubic planar graphs are uniquely embeddable on simplicial spheres, which is a direct consequence of Whitney's embedding theorem. Moreover, 3-connected cubic planar graphs can also be embedded on simplicial surfaces of higher genus. We characterise the properties that a simplicial sphere must possess such that the cubic graph describing its edge-face incidence relation can be embedded on a simplicial surface of non-negative Euler characteristic.
Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements
We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces, establishing that they are smooth, irreducible, and isomorphic to a Zariski open subset of a complex space with a known dimension. Furthermore, we present an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.
Balanced Bidirectional Breadth-First Search on Scale-Free Networks
To find a shortest path between two nodes $s_0$ and $s_1$ in a given graph, a classical approach is to start a Breadth-First Search (BFS) from $s_0$ and run it until the search discovers $s_1$. Alternatively, one can start two Breadth-First Searches, one from $s_0$ and one from $s_1$, and alternate their layer expansions until they meet. This bidirectional BFS can be balanced by always expanding a layer on the side that has discovered fewer vertices so far. This usually results in significant speedups in real-world networks, and it has been shown that this indeed yields sublinear running time on scale-free graph models such as Chung-Lu graphs and hyperbolic random graphs.
We improve this layer-balanced bidirectional BFS approach by using a finer balancing technique. Instead of comparing the size of the two BFS trees after each layer expansion, we perform this comparison after each vertex expansion. This gives rise to two algorithms that run faster than the layer-balanced bidirectional BFS on scale-free networks with power-law exponent $τ\in (2,3)$. The first one is an approximate shortest-path algorithm that outputs a path of length at most 1 longer than the shortest path in time $n^{(τ-2)/(τ-1)+o(1)}$. The second one is an exact shortest-path algorithm running in time $n^{1/2+o(1)}$. These runtime bounds hold with high probability when $s_0$ and $s_1$ are chosen uniformly at random among the $n$ vertices of the graph. We also develop an edge-balanced bidirectional BFS algorithm that works under adversarial conditions. This approximate shortest-path algorithm runs in time $n^{1/2+o(1)}$ with high probability when the adversary is allowed to choose $s_0$ and $s_1$ based on their (expected) degree. We complement our theoretical results with experiments on Chung-Lu graphs, Geometric Inhomogeneous Random Graphs, and real-world networks.
Primeness of generalized parking functions
Published
• View Publication
• BIB
Classical parking functions are a generalization of permutations that appear in many combinatorial structures. Prime parking functions are indecomposable components such that any classical parking function can be uniquely described as a direct sum of prime ones. In this article, we extend the notion of primeness to three generalizations of classical parking functions: vector parking functions, $(p,q)$-parking functions, and two-dimensional vector parking functions. We study their enumeration by obtaining explicit formulas for the number of prime vector parking functions when the vector is an arithmetic progression, prime $(p,q)$-parking functions, and prime two-dimensional vector parking functions when the weight matrix is an affine transformation of the coordinates.
Disjoint zero-sum subsets in Abelian groups and its application -- survey
Published
• View Publication
• BIB
We provide a summary of research on disjoint zero-sum subsets in finite Abelian groups, which is a branch of additive group theory and combinatorial number theory. An orthomorphism of a group $Γ$ is defined as a bijection $\varphi$ $Γ$ such that the mapping $g \mapsto g^{-1}\varphi(g)$ is also bijective. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $Γ$ is Abelian, for any $k \geq 2$ dividing $|Γ| -1$, there exists an orthomorphism of $Γ$ fixing the identity and permuting the remaining elements as products of disjoint $k$-cycles. Using the idea of disjoint-zero sum subset we provide a solution of this conjecture for $k=3$ and $|Γ|\cong 4\pmod{24}$. We also present some applications of zero-sum sets in graph labeling.
Simplicial complexes defined on groups
Published
• View Publication
• BIB
This paper makes some preliminary observations towards an extension of current work on graphs defined on groups to simplicial complexes. I define a variety of simplicial complexes on a group which are preserved by automorphisms of the group, and in many cases have a relation to familiar graphs on the group. The ones which seem to reach deepest into the graph structure are two forms of independence complex, and some results on the class of groups for which these two complexes coincide are given. Other examples are treated more briefly.
The Chow and augmented Chow polynomials of uniform matroids
Published
• View Publication
• BIB
We provide explicit combinatorial formulas for the Chow polynomial and for the augmented Chow polynomial of uniform matroids, thereby proving a conjecture by Ferroni. These formulas refine existing formulas by Hampe and by Eur, Huh, and Larson, offering a combinatorial interpretation of the coefficients based on Schubert matroids. As a byproduct, we count Schubert matroids by rank, number of loops, and cogirth.
Bijections for generalized Wilf equivalences
Published
• View Publication
• BIB
Starting with an inclusion-exclusion proof of a combinatorial identity, a direct bijection can be produced using recursive subtraction (sometimes with a direct combinatorial description). We apply this method to identities for generalized Wilf equivalences among consecutive patterns in inversion sequences, giving direct bijective proofs of some generalized Wilf equivalences shown by Auli and Elizalde. We also give new bijective proofs of a stronger relation among some consecutive patterns.
Multifold Convolutions, Generating Functions and 1d Random Walks
We consider multifold convolutions of a combinatorial sequence $(a_n)_{n=0}^{\infty}$: namely, for each $k \in \N$ the $k$-fold convolution is $\mathcal{M}^{(k)}_n(\boldsymbol{a}) = \sum_{j_1+\dots+j_k=n} a_{j_1} \cdots a_{j_k}$. Let $C_n$ be the Catalan numbers, and let $B_n$ be the central binomial coefficients. Then for random Dyck paths or simple random walk bridges, the multifold convolutions give moments of returns to the origin, using the stars-and-bars problem. There are well-known explicit formulas for the multifold convolutions of $C_n$ and $B_n$. But even for combinatorial sequences $B_n^2$ and $B_n^3$, one may determine asymptotics of multifold convolutions for large $n$. We also discuss large deviations: In a second part of the paper we consider an elementary version of the circle method for calculating asymptotics using complex analysis.
Fixed Point Homing Shuffles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (August 18, 2025) dmtcs:14653
• View Publication
• BIB
We study a family of maps from $S_n \to S_n$ we call fixed point homing shuffles. These maps generalize a few known problems such as Conway's Topswops, and a card shuffling process studied by Gweneth McKinley. We show that the iterates of these homing shuffles always converge, and characterize the set $U_n$ of permutations that no homing shuffle sorts. We also study a homing shuffle that sorts anything not in $U_n$, and find how many iterations it takes to converge in the worst case.
Canonical Join Representations and Join-irreducible elements of Garside shadows in Coxeter groups
In this article, we establish some new combinatorial properties of elements in Coxeter groups. Firstly, we generalise Reading's theorem on the canonical join representations of elements in finite Coxeter groups to all finitely generated Coxeter groups.
Secondly, we show that for any element $x$ in a Coxeter group $W$ and root $β$ in its inversion set $Φ(x)$, the set of elements $y \in W$ satisfying $Φ(x) \cap Φ(y) = \{ β\} $ is convex in the weak order and admits a unique minimal representative. This is strongly connected to determining the cone type of elements of $W$ and leads to efficient computational methods to determine whether arbitrary elements of $W$ have the same cone type.
Planar wheel-like bricks
An edge e in a matching covered graph G is removable if G-e is matching covered; a pair {e; f} of edges of G is a removable doubleton if G-e-f is matching covered, but neither G-e nor G-f is. Removable edges and removable doubletons are called removable classes, which was introduced by Lovasz and Plummer in connection with ear decompositions of matching covered graphs. A brick is a nonbipartite matching covered graph without nontrivial tight cuts. A brick G is wheel-like if G has a vertex h, such that every removable class of G has an edge incident with h. Lucchesi and Murty conjectured that every planar wheel-like brick is an odd wheel. We present a proof of this conjecture in this paper.
Equiangular lines and eigenvalue multiplicities
Published in Notices Amer. Math. Soc. 71 (2024), no. 9 (October), 1151--1159
• View Publication
• BIB
Expository article on the problem of determining the maximum number of equiangular lines with a fixed angle, and the associated problem of second eigenvalue multiplicity in graphs.