Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Lattice paths and Rogers--Ramanujan--Gordon type overpartitions
In this paper, we establish a connection between Rogers-Ramanujan-Gordon type overpartitions to lattice paths with four kinds of unitary steps. By establishing the bijective relationship between overpartitions and lattice paths, we demonstrate that the theorems provided by Chen, Sang and Shi can be formulated in the form of lattice paths. Subsequently, inspired by Andrews' work on parity in partition identities and its related implications, we impose parity constraints on lattice paths and present some novel discoveries. By leveraging the parity outcomes within lattice paths, we also revisit overpartitions to derive results pertaining to overpartitions with parity considerations.
$k$-Domination invariants on Kneser graphs
In this follow-up to [M.G.~Cornet, P.~Torres, arXiv:2308.15603], where the $k$-tuple domination number and the 2-packing number in Kneser graphs $K(n,r)$ were studied, we are concerned with two variations, the $k$-domination number, ${γ_{k}}(K(n,r))$, and the $k$-tuple total domination number, ${γ_{t\times k}}(K(n,r))$, of $K(n,r)$. For both invariants we prove monotonicity results by showing that ${γ_{k}}(K(n,r))\ge {γ_{k}}(K(n+1,r))$ holds for any $n\ge 2(k+r)$, and ${γ_{t\times k}}(K(n,r))\ge {γ_{t\times k}}(K(n+1,r))$ holds for any $n\ge 2r+1$. We prove that ${γ_{k}}(K(n,r))={γ_{t\times k}}(K(n,r))=k+r$ when $n\geq r(k+r)$, and that in this case every ${γ_{k}}$-set and ${γ_{t\times k}}$-set is a clique, while ${γ_{k}}(r(k+r)-1,r)={γ_{t\times k}}(r(k+r)-1,r)=k+r+1$, for any $k\ge 2$. Concerning the 2-packing number, $ρ_2(K(n,r))$, of $K(n,r)$, we prove the exact values of $ρ_2(K(3r-3,r))$ when $r\ge 10$, and give sufficient conditions for $ρ_2(K(n,r))$ to be equal to some small values by imposing bounds on $r$ with respect to $n$. We also prove a version of monotonicity for the $2$-packing number of Kneser graphs.
Quasi-kernels in split graphs
Published
• View Publication
• BIB
In a digraph, a quasi-kernel is a subset of vertices that is independent and such that the shortest path from every vertex to this subset is of length at most two. The ``small quasi-kernel conjecture,'' proposed by Erdős and Székely in 1976, postulates that every sink-free digraph has a quasi-kernel whose size is within a fraction of the total number of vertices. The conjecture is even more precise with a $1/2$ ratio, but even with larger ratio, this property is known to hold only for few classes of graphs. The focus here is on small quasi-kernels in split graphs. This family of graphs has played a special role in the study of the conjecture since it was used to disprove a strengthening that postulated the existence of two disjoint quasi-kernels. The paper proves that every sink-free split digraph $D$ has a quasi-kernel of size at most $\frac{2}{3}|V(D)|$, and even of size at most two when the graph is an orientation of a complete split graph. It is also shown that computing a quasi-kernel of minimal size in a split digraph is W[2]-hard.
A short proof of an identity related to Type IV superorthogonality
We provide a much shorter but even more powerful proof of an algebraic identity, which can be used to establish the direct and the converse inequality under Type IV superorthogonality. As an application, we obtain the optimal order of the formal constant in the direct inequality. This order turns out to be also sharp for Type III superorthogonality. When $p\geq 2$, our result recovers the optimal order of the constant in the Burkholder-Gundy inequality in martingale theory, and also recovers the currently best order of the constant in the reverse Littlewood-Paley inequality. We also introduce variants of Type IV superorthogonality, under which we prove the converse inequality.
Reconstruction of the Ranks of the Nonextremal Cards and of Ordered Sets with a Minmax Pair of Pseudo-Similar Points
Published
• View Publication
• BIB
For every ordered set, we reconstruct the deck obtained by removal of the elements of rank r that are neither minimal nor maximal. Consequently, we also reconstruct the deck obtained by removal of the extremal, that is, minimal or maximal, elements. Finally, we reconstruct the ordered sets with a minmax pair of pseudo-similar points.
Majority-based Preference Diffusion on Social Networks
Published
• View Publication
• BIB
We study a majority based preference diffusion model in which the members of a social network update their preferences based on those of their connections. Consider an undirected graph where each node has a strict linear order over a set of $α$ alternatives. At each round, a node randomly selects two adjacent alternatives and updates their relative order with the majority view of its neighbors. We bound the convergence time of the process in terms of the number of nodes/edges and $α$. Furthermore, we study the minimum cost to ensure that a desired alternative will ``win'' the process, where occupying each position in a preference order of a node has a cost. We prove tight bounds on the minimum cost for general graphs and graphs with strong expansion properties. Furthermore, we investigate a more light-weight process where each node chooses one of its neighbors uniformly at random and copies its order fully with some fixed probability and remains unchanged otherwise. We characterize the convergence properties of this process, namely convergence time and stable states, using Martingale and reversible Markov chain analysis. Finally, we present the outcomes of our experiments conducted on different synthetic random graph models and graph data from online social platforms. These experiments not only support our theoretical findings, but also shed some light on some other fundamental problems, such as designing powerful countermeasures.
Type-II Apollonian Model
Published
• View Publication
• BIB
The family of planar graphs is a particularly important family and models many real-world networks. In this paper, we propose a principled framework based on the widely-known Apollonian packing process to generate new planar network, i.e., Type-II Apollonian network $\mathcal{A}_{t}$. The manipulation is different from that of the typical Apollonian network, and is proceeded in terms of the iterative addition of triangle instead of vertex. As a consequence, network $\mathcal{A}_{t}$ turns out to be hamiltonian and eulerian, however, the typical Apollonian network is not. Then, we in-depth study some fundamental structural properties on network $\mathcal{A}_{t}$, and verify that network $\mathcal{A}_{t}$ is sparse like most real-world networks, has scale-free feature and small-world property, and exhibits disassortative mixing structure. Next, we design an effective algorithm for solving the problem of how to enumerate spanning trees on network $\mathcal{A}_{t}$, and derive the asymptotic solution of the spanning tree entropy, which suggests that Type-II Apollonian network is more reliable to a random removal of edges than the typical Apollonian network. Additionally, we study trapping problem on network $\mathcal{A}_{t}$, and use average trapping time as metric to show that Type-II Apollonian network $\mathcal{A}_{t}$ has better structure for fast information diffusion than the typical Apollonian network.
Robust Hamiltonicity
We study conditions under which a given hypergraph is randomly robust Hamiltonian, which means that a random sparsification of the host graph contains a Hamilton cycle with high probability. Our main contribution provides nearly optimal results whenever the host graph is Hamilton connected in a locally robust sense, which translates to a typical induced subgraph of constant order containing Hamilton paths between any pair of suitable ends.
The proofs are based on the recent breakthrough on Talagrand's conjecture, which reduces the problem to specifying a distribution on the desired guest structure in the (deterministic) host structure. We find such a distribution via a new argument that reduces the problem to the case of perfect matchings in a higher uniformity.
As applications, we obtain asymptotically optimal results for perfect tilings in graphs and hypergraphs both in the minimum degree and uniformly dense setting. We also prove random robustness for powers of cycles under asymptotically optimal minimum degrees and degree sequences. We solve the problem for loose and tight Hamilton cycles in hypergraphs under a range of asymptotic minimum degree conditions. This includes in particular $k$-uniform tight Hamilton cycles under minimum $d$-degree conditions for $1\leq k-d \leq 3$. In all cases, our bounds on the sparseness are essentially best-possible.
Swap cosystolic expansion
Published
• View Publication
• BIB
We introduce and study swap cosystolic expansion, a new expansion property of simplicial complexes. We prove lower bounds for swap coboundary expansion of spherical buildings and use them to lower bound swap cosystolic expansion of the LSV Ramanujan complexes. Our motivation is the recent work (in a companion paper) showing that swap cosystolic expansion implies agreement theorems. Together the two works show that these complexes support agreement tests in the low acceptance regime.
Swap cosystolic expansion is defined by considering, for a given complex $X$, its faces complex $F^r X$, whose vertices are $r$-faces of $X$ and where two vertices are connected if their disjoint union is also a face in $X$. The faces complex $F^r X$ is a derandomizetion of the product of $X$ with itself $r$ times. The graph underlying $F^rX$ is the swap walk of $X$, known to have excellent spectral expansion. The swap cosystolic expansion of $X$ is defined to be the cosystolic expansion of $F^r X$.
Our main result is a $\exp(-O(\sqrt r))$ lower bound on the swap coboundary expansion of the spherical building and the swap cosystolic expansion of the LSV complexes. For more general coboundary expanders we show a weaker lower bound of $exp(-O(r))$.
On Connected Strongly-Proportional Cake-Cutting
We investigate the problem of fairly dividing a divisible heterogeneous resource, also known as a cake, among a set of agents who may have different entitlements. We characterize the existence of a connected strongly-proportional allocation -- one in which every agent receives a contiguous piece worth strictly more than their proportional share. The characterization is supplemented with an algorithm that determines its existence using O(n * 2^n) queries. We devise a simpler characterization for agents with strictly positive valuations and with equal entitlements, and present an algorithm to determine the existence of such an allocation using O(n^2) queries. We provide matching lower bounds in the number of queries for both algorithms. When a connected strongly-proportional allocation exists, we show that it can also be computed using a similar number of queries. We also consider the problem of deciding the existence of a connected allocation of a cake in which each agent receives a piece worth a small fixed value more than their proportional share, and the problem of deciding the existence of a connected strongly-proportional allocation of a pie.
Polytope realization of cluster structures
Based on the construction of polytope functions and several results about them in [LP], we take a deep look on their mutation behaviors to find a link between a face of a polytope and a sub-cluster algebra of the corresponding cluster algebra. This find provides a way to induce a mutation sequence in a sub-cluster algebra from that in the cluster algebra in totally sign-skew-symmetric case analogous to that achieved via cluster scattering diagram in skew-symmetrizable case by [GHKK] and [M].
With this, we are able to generalize compatibility degree in [CL] and then obtain an equivalent condition of compatibility which does not rely on clusters and thus can be generalized for all polytope functions. Therefore, we could regard compatibility as an intrinsic property of variables, which explains the unistructurality of cluster algebras. According to such cluster structure of polytope functions, we construct a fan $\mathcal{C}$ containing all cones in the $g$-fan.
On the other hand, we also find a realization of $G$-matrices and $C$-matrices in polytopes by the mutation behaviors of polytopes, which helps to generalize the dualities between $G$-matrices and $C$-matrices introduced in [NZ] and leads to another polytope explanation of cluster structures. This allows us to construct another fan $\mathcal{N}$ which also contains all cones in the $g$-fan.
Induced subgraph density. VII. The five-vertex path
Published
• View Publication
• BIB
We prove the Erdős-Hajnal conjecture for the five-vertex path $P_5$; that is, there exists $c>0$ such that every $n$-vertex graph with no induced $P_5$ has a clique or stable set of size at least $n^c$. This completes the verification of the Erdős-Hajnal property of all five-vertex graphs. Our methods combine probabilistic and structural ideas with the iterative sparsification framework introduced in the third and fourth papers in the series.
The Gray graph is a unit-distance graph
Published
• View Publication
• BIB
In this note we give a construction proving that the Gray graph, which is the smallest cubic semi-symmetric graph, is a unit-distance graph.
Seat number configuration of the box-ball system, and its relation to the 10-elimination and invariant measures
The box-ball system (BBS) is a soliton cellular automaton introduced in [TS], and it is known that the dynamics of the BBS can be linearized by several methods. Recently, a new linearization method, called the seat number configuration, is introduced in [MSSS]. The aim of this paper is fourfold. First, we introduce the $k$-skip map $Ψ_{k} : Ω\to Ω$, where $Ω$ is the state space of the BBS, and show that the $k$-skip map induces a shift operator of the seat number configuration. Second, we show that the $k$-skip map is a natural generalization of the $10$-elimination, which was originally introduced in [MIT] to solve the initial value problem of the periodic BBS. Third, we generalize the notions and results of the seat number configuration and the $k$-skip map for the BBS on the whole-line. Finally, we investigate the distribution of $Ψ_{k}(η), η\in Ω$ when the distribution of $η$ belongs to a certain class of invariant measures of the BBS introduced in [FG]. As an application of the above results, we compute the expectation of the carrier with seat numbers.
On the maximum number of common neighbours in dense random regular graphs
Published
• View Publication
• BIB
We derive the distribution of the maximum number of common neighbours of a pair of vertices in a dense random regular graph.The proof involves two important steps. One step is to establish the extremal independence property: the asymptotic equivalence with the maximum component of a vector with independent marginal distributions. The other step is to prove that the distribution of the number of common neighbours for each pair of vertices can be approximated by the binomial distribution.
Symmetric functions from the six-vertex model in half-space
Published
• View Publication
• BIB
We study the stochastic six-vertex model in half-space with generic integrable boundary weights, and define two families of multivariate rational symmetric functions. Using commutation relations between double-row operators, we prove a skew Cauchy identity of these functions. In a certain degeneration of the right-hand side of the Cauchy identity we obtain the partition function of the six-vertex model in a half-quadrant, and give a Pfaffian formula for this quantity. The Pfaffian is a direct generalization of a formula obtained by Kuperberg in his work on symmetry classes of alternating-sign matrices. One of our families of symmetric functions admits an integral (sum over residues) formula, and we use this to conjecture an orthogonality property of the dual family. We conclude by studying the reduction of our integral formula to transition probabilities of the (initially empty) asymmetric simple exclusion process on the half-line.
Powers of permutations that avoid chains of patterns
Published
• View Publication
• BIB
In a recent paper, Bona and Smith define the notion of \textit{strong avoidance}, in which a permutation and its square both avoid a given pattern. In this paper, we generalize this idea to what we call \textit{chain avoidance}. We say that a permutation avoids a chain of patterns $(τ_1 : τ_2: \cdots : τ_k)$ if the $i$-th power of the permutation avoids the pattern $τ_i$. We enumerate the set of permutations $π$ which avoid the chain $(213, 312 : τ)$, i.e.,~unimodal permutations whose square avoids $τ$, for $τ\in §_3$ and use this to find a lower bound on the number of permutations that avoid the chain $(312: τ)$ for $τ\in §_3$. We finish the paper by discussing permutations that avoid longer chains.
A Generalized Shuffle Framework for Privacy Amplification: Strengthening Privacy Guarantees and Enhancing Utility
Published
• View Publication
• BIB
The shuffle model of local differential privacy is an advanced method of privacy amplification designed to enhance privacy protection with high utility. It achieves this by randomly shuffling sensitive data, making linking individual data points to specific individuals more challenging. However, most existing studies have focused on the shuffle model based on $(ε_0,0)$-Locally Differentially Private (LDP) randomizers, with limited consideration for complex scenarios such as $(ε_0,δ_0)$-LDP or personalized LDP (PLDP). This hinders a comprehensive understanding of the shuffle model's potential and limits its application in various settings. To bridge this research gap, we propose a generalized shuffle framework that can be applied to any $(ε_i,δ_i)$-PLDP setting with personalized privacy parameters. This generalization allows for a broader exploration of the privacy-utility trade-off and facilitates the design of privacy-preserving analyses in diverse contexts. We prove that shuffled $(ε_i,δ_i)$-PLDP process approximately preserves $μ$-Gaussian Differential Privacy with μ= \sqrt{\frac{2}{\sum_{i=1}^{n} \frac{1-δ_i}{1+e^{ε_i}}-\max_{i}{\frac{1-δ_{i}}{1+e^{ε_{i}}}}}}. $
This approach allows us to avoid the limitations and potential inaccuracies associated with inequality estimations. To strengthen the privacy guarantee, we improve the lower bound by utilizing hypothesis testing} instead of relying on rough estimations like the Chernoff bound or Hoeffding's inequality. Furthermore, extensive comparative evaluations clearly show that our approach outperforms existing methods in achieving strong central privacy guarantees while preserving the utility of the global model. We have also carefully designed corresponding algorithms for average function, frequency estimation, and stochastic gradient descent.
Deciding Foot-sortability and Minimal 2-bounded Non-foot-sortable Sock Orderings
A sock ordering is a sequence of socks with different colors. A sock ordering is foot-sortable if the sequence of socks can be sorted by a stack so that socks with the same color form a contiguous block. The problem of deciding whether a given sock ordering is foot-sortable was first considered by Defant and Kravitz, who resolved the case for alignment-free 2-uniform sock orderings. In this paper, we resolve the problem in a more general setting, where each color appears in the sock ordering at most twice. A key component of the argument is a fast algorithm that determines the foot-sortability of a sock ordering of length $N$ in time $O(N\log N)$, which is also an interesting result on its own.
Line-Plane Incidence Bound in $\mathbb{R}^4$
We consider an incidence problem in $\mathbb{R}^4$ which asks, for a set of $L$ lines and a set of $S$ planes in general position, what the maximum number of line-plane incidences is. A line-plane incidence is defined as a point where a line and a plane intersect. We prove that, when the lines and planes are in a truly 4-dimensional configuration such that no more than $L^{\frac{1}{2}+ε}$ lines are contained in any 2-dimensional surface of degree at most $D$ and no more than $S^{\frac{1}{2}+ε}$ 2-planes are contained in any 3-dimensional hypersurface of degree at most $D$, and if $L^{1/2} \ll S \ll L$, then for a constant $D>1$ and an $ε>0$ there exists a non-trivial upper bound for incidences between lines and planes: $L^{\frac{3}{4}+\frac{1}{2}ε}S + LS^{\frac{1}{2}+ε}$. We also prove several supporting lemmas.