contain ↗ reference
7720 papers tagged with this keyword
Equivalences of biprojective almost perfect nonlinear functions
Published
• View Publication
• BIB
Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence problem for all known biprojective APN functions. Furthermore, we give a new family of biprojective APN functions. Using our method, we count the number of inequivalent APN functions in all known biprojective APN families and show that the new family found in this paper gives exponentially many new inequivalent APN functions. Quite recently, the Taniguchi family of APN functions was shown to contain an exponential number of inequivalent APN functions by Kaspers and Zhou (J. Cryptol. 34 (1), 2021) which improved their previous count (J. Comb. Th. A 186, 2022) for the Zhou-Pott family. Our group theoretic method substantially simplifies the work required for proving those results and provides a generic natural method for every family in the large super-class of biprojective APN functions that contains these two family along with many others.
New bound for Roth's theorem with generalized coefficients
Published in Discrete Analysis, 2022:16, 21 pp
• View Publication
• BIB
We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do this, we adapt the proof of the recent breakthrough by Bloom and Sisask on sets without three-term arithmetic progressions, to handle more general equations of the form $T_1a_1+T_2a_2+T_3a_3 = 0$ in a finite abelian group $G$, where the $T_i$'s are automorphisms of $G$.
Self-converse mixed graphs are extremely rare
Published
• View Publication
• BIB
A mixed graph is cospectral to its converse, with respect to the usual adjacency matrices. Hence, it is easy to see that a mixed graph whose eigenvalues occur uniquely, up to isomorphism, must be isomorphic to its converse. It is therefore natural to ask whether or not this is a common phenomenon. This note contains the theoretical evidence to confirm that the fraction of self-converse mixed graphs tends to zero.
Freeness for restriction arrangements of the extended Shi and Catalan arrangements
Published
• View Publication
• BIB
The extended Shi and Catalan arrangements are well investigated arrangements. In this paper, we prove that the cone of the extended Catalan arrangement of type A is always hereditarily free, while we determine the dimension in which the cone of the extended Shi arrangement of type A is hereditarily free. For this purpose, using digraphs, we define a class of arrangements which is closed under restriction, and which contains the extended Shi and Catalan arrangements. We also characterize the freeness for the cone of this arrangement by graphical conditions.
A ribbon graph derivation of the algebra of functional renormalization for random multi-matrices with multi-trace interactions
Published in Lett. Math. Phys. 112, 58 (2022)
• View Publication
• BIB
We focus on functional renormalization for ensembles of several (say $n\geq 1$) random matrices, whose potentials include multi-traces, to wit, the probability measure contains factors of the form $ \exp[-\mathrm{Tr}(V_1)\times\ldots\times \mathrm{Tr}(V_k)]$ for certain noncommutative polynomials $V_1,\ldots,V_k\in \mathbb{C}_{\langle n \rangle}$ in the $n$ matrices. This article shows how the "algebra of functional renormalization" -- that is, the structure that makes the renormalization flow equation computable -- is derived from ribbon graphs, only by requiring the one-loop structure that such equation (due to Wetterich) is expected to have. Whenever it is possible to compute the renormalization flow in terms of $\mathrm U(N)$-invariants, the structure gained is the matrix algebra $M_n( \mathcal{A}_{n,N}, \star ) $ with entries in $\mathcal{A}_{n,N}=(\mathbb{C}_{\langle n \rangle} \otimes \mathbb{C}_{\langle n \rangle} )\oplus( \mathbb{C}_{\langle n \rangle} \boxtimes \mathbb{C}_{\langle n \rangle})$, being $\mathbb{C}_{\langle n \rangle} $ the free algebra generated by the $n$ Hermitian matrices of size $N$ (the flowing random variables) with multiplication of homogeneous elements in $\mathcal{A}_{n,N}$ given, for each $P,Q,U,W\in\mathbb{C}_{\langle n \rangle}$, by \begin{align*}(U \otimes W) \star ( P\otimes Q) &= PU \otimes WQ \,, & (U\boxtimes W) \star ( P\otimes Q) &=U \boxtimes PWQ \,, \\(U \otimes W) \star ( P\boxtimes Q) &= WPU \boxtimes Q \,,\ & (U\boxtimes W) \star ( P\boxtimes Q) &= \mathrm{Tr} (WP) U\boxtimes Q \,,\end{align*} which, together with the condition $(λU) \boxtimes W = U\boxtimes (λW) $ for each complex $λ$, fully define the symbol $\boxtimes$.
A Modification of the Random Cutting Model
Published
• View Publication
• BIB
We propose a modification to the random destruction of graphs: Given a finite network with a distinguished set of sources and targets, remove (cut) vertices at random, discarding components that do not contain a source node. We investigate the number of cuts required until all targets are removed, and the size of the remaining graph. This model interpolates between the random cutting model going back to Meir and Moon and site percolation. We prove several general results, including that the size of the remaining graph is a tight family of random variables for compatible sequences of expander-type graphs, and determine limiting distributions for binary caterpillar trees and complete binary trees.
Weak ascent sequences and related combinatorial structures
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.
Ramsey numbers of graphs with most degrees bounded in random graphs
For graphs $F$ and $G$, let $F\to G$ signify that any red/blue edge coloring of $F$ contains a monochromatic $G$. Denote by ${\cal G}(N,p)$ the random graph space of order $N$ and edge probability $p$. Using the regularity method, one can show that for any fixed $p\in (0,1]$, almost all graphs $F\in{\cal G}(cn,p)$ have $F\to G$ for any graph $G$ of order $n$ and all but at most $m$ degrees bounded, where $c$ is an integer depending on $p$ and $m$. Note that $r(K_{m,n})\sim 2^m n$ and $r(K_m+\overline{K}_n)\sim 2^m n$ as $n\to\infty$, for which we investigate the relation between $c$ and $p$. Let $N=\lfloor c\,2^m n\rfloor$ with $c>1$ and $p_u,p_\ell=\frac{1}{c^{1/m}}(1\pm \sqrt{\frac{M\log n}{n}}\,)$, where $M=M(c,m)>0$. It is shown that $p_u$ and $p_\ell$ are Ramsey thresholds of $K_{m,n}$ in ${\cal G}(N,p)$. Namely, almost all $F\in{\cal G}(N,p_u)$ and almost no $F\in{\cal G}(N,p_\ell)$ have $F\to K_{m,n}$, respectively. Moreover, it is shown that $p_u$ and $p_\ell$ are (ordinary) upper threshold and lower threshold of $K_m+\overline{K}_n$ to appear in ${\cal G}(N,p/2)$, respectively. We show that ${\cal G}(N,p/2)$ can be identified as the set of red (or blue) graphs obtained from $F\in{\cal G}(N,p)$ by red/blue edge coloring of $F$ with probability $1/2$ for each color, which leads to the definition of the weak Ramsey thresholds.
Arithmetic subtrees in large subsets of products of trees
Published
• View Publication
• BIB
Furstenberg-Weiss have extended Szemerédi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemerédi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.
Finite and infinite closed-rich words
Published
• View Publication
• BIB
A word is called closed if it has a prefix which is also its suffix and there is no internal occurrences of this prefix in the word. In this paper we study words that are rich in closed factors, i.e., which contain the maximal possible number of distinct closed factors. As the main result, we show that for finite words the asymptotics of the maximal number of distinct closed factors in a word of length $n$ is $\frac{n^2}{6}$. For infinite words, we show there exist words such that each their factor of length $n$ contains a quadratic number of distinct closed factors, with uniformly bounded constant; we call such words infinite closed-rich. We provide several necessary and some sufficient conditions for a word to be infinite closed rich. For example, we show that all linearly recurrent words are closed-rich. We provide a characterization of rich words among Sturmian words. Certain examples we provide involve non-constructive methods.
Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR
Published
• View Publication
• BIB
An average-case variant of the $k$-SUM conjecture asserts that finding $k$ numbers that sum to 0 in a list of $r$ random numbers, each of the order $r^k$, cannot be done in much less than $r^{\lceil k/2 \rceil}$ time. On the other hand, in the dense regime of parameters, where the list contains more numbers and many solutions exist, the complexity of finding one of them can be significantly improved by Wagner's $k$-tree algorithm. Such algorithms for $k$-SUM in the dense regime have many applications, notably in cryptanalysis.
In this paper, assuming the average-case $k$-SUM conjecture, we prove that known algorithms are essentially optimal for $k= 3,4,5$. For $k>5$, we prove the optimality of the $k$-tree algorithm for a limited range of parameters. We also prove similar results for $k$-XOR, where the sum is replaced with exclusive or.
Our results are obtained by a self-reduction that, given an instance of $k$-SUM which has a few solutions, produces from it many instances in the dense regime. We solve each of these instances using the dense $k$-SUM oracle, and hope that a solution to a dense instance also solves the original problem. We deal with potentially malicious oracles (that repeatedly output correlated useless solutions) by an obfuscation process that adds noise to the dense instances. Using discrete Fourier analysis, we show that the obfuscation eliminates correlations among the oracle's solutions, even though its inputs are highly correlated.
A simpler proof of Sternfeld's Theorem
Published
• View Publication
• BIB
In Sternfeld's work on Kolmogorov's Superposition Theorem appeared the combinatorial-geometric notion of a basic set and a certain kind of arrays.
A subset $X \subset \mathbb R^n$ is basic if any continuous function $X\to \mathbb R$ could be represented as the sum of compositions of continuous functions $\mathbb R\to \mathbb R$ and projections to the coordinate axes.
The definition of a Sternfeld array will be presented in the paper.
Sternfeld's Arrays Theorem. If a closed bounded subset $X \subset \mathbb R^{2n}$ contains Sternfeld arrays of arbitrary large size then $X$ is not basic.
The paper provides a simpler proof of this theorem.
On a continuous Sárközy type problem
Published
• View Publication
• BIB
We prove that there exists a constant $\varepsilon > 0$ with the following property: if $K \subset \mathbb{R}^{2}$ is a compact set which contains no pair of the form $\{x, x + (z, z^{2})\}$ for $z \neq 0$, then $\mathrm{dim}_\mathrm{H} K \leq 2 - \varepsilon$.
On sufficient conditions for spanning structures in dense graphs
Published
• View Publication
• BIB
We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and, excluding the bipartite case, contains an odd cycle. A simple consequence of the Robust Expander Theorem of Kühn, Osthus and Treglown tells us that any large enough graph that robustly satisfies these properties must already be Hamiltonian. Our main result generalises this phenomenon to powers of cycles and graphs of sublinear bandwidth subject to natural generalisations of connectivity, matchings and odd cycles.
This answers a question of Ebsen, Maesaka, Reiher, Schacht and Schülke and solves the embedding problem that underlies multiple lines of research on sufficient conditions for spanning structures in dense graphs. As applications, we recover and establish Bandwidth Theorems in a variety of settings including Ore-type degree conditions, Pósa-type degree conditions, deficiency-type conditions, locally dense and inseparable graphs, multipartite graphs as well as robust expanders.
Globally balancing spanning trees
We show that for every graph $G$ that contains two edge-disjoint spanning trees, we can choose two edge-disjoint spanning trees $T_1,T_2$ of $G$ such that $|d_{T_1}(v)-d_{T_2}(v)|\leq 5$ for all $v \in V(G)$. We also prove the more general statement that for every positive integer $k$, there is a constant $c_k \in O(\log k)$ such that for every graph $G$ that contains $k$ edge-disjoint spanning trees, we can choose $k$ edge-disjoint spanning trees $T_1,\ldots,T_k$ of $G$ satisfying $|d_{T_i}(v)-d_{T_j}(v)|\leq c_k$ for all $v \in V(G)$ and $i,j \in \{1,\ldots,k\}$. This resolves a conjecture of Kriesell.
Saturated $2$-planar drawings with few edges
Published in Ars Math. Contemp. 24 (2024), #1.05
• View Publication
• BIB
A drawing of a graph is $k$-plane if every edge contains at most $k$ crossings. A $k$-plane drawing is saturated if we cannot add any edge so that the drawing remains $k$-plane. It is well-known that saturated $0$-plane drawings, that is, maximal plane graphs, of $n$ vertices have exactly $3n-6$ edges. For $k>0$, the number of edges of saturated $n$-vertex $k$-plane graphs can take many different values. In this note, we establish some bounds on the minimum number of edges of saturated $2$-plane graphs under different conditions. If two edges can cross at most once, then such a graph has at least $n-1$ edges. If two edges can cross many times, then we show the tight bound of $\lfloor2n/3\rfloor$ for the number of edges.
Palindromic factorization of rich words
Published
• View Publication
• BIB
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. For every finite rich word $w$ there are distinct nonempty palindromes $w_1, w_2,\dots,w_p$ such that $w=w_pw_{p-1}\cdots w_1$ and $w_i$ is the longest palindromic suffix of $w_pw_{p-1}\cdots w_i$, where $1\leq i\leq p$. This palindromic factorization is called \emph{UPS-factorization}. Let $luf(w)=p$ be \emph{the length of UPS-factorization} of $w$.
In 2017, it was proved that there is a constant $c$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then $luf(w)\leq c\frac{n}{\ln{n}}$. We improve this result as follows: There are constants $μ, π$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then \[luf(w)\leq μ\frac{n}{e^{π\sqrt{\ln{n}}}}\mbox{.}\] The constants $c,μ,π$ depend on the size of the alphabet.
Small cocircuits in minimally vertically $4$-connected matroids
Published
• View Publication
• BIB
Halin proved that every minimally $k$-connected graph has a vertex of degree $k$. More generally, does every minimally vertically $k$-connected matroid have a $k$-element cocircuit? Results of Murty and Wong give an affirmative answer when $k \le 3$. We show that every minimally vertically $4$-connected matroid with at least six elements has a $4$-element cocircuit, or a $5$-element cocircuit that contains a triangle, with the exception of a specific non-binary $9$-element matroid. Consequently, every minimally vertically $4$-connected binary matroid with at least six elements has a $4$-element cocircuit.
A Note on Minimum Degree Condition for Hamiltonian $(a,b)$-Cycles in Hypergraphs
Published
• View Publication
• BIB
Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $α\in (0,1)$ such that $δ_a(\mathcal{H})\geq (α+o(1))\binom{n-a}{b}$ and $δ_b(\mathcal{H})\geq (1-α+o(1))\binom{n-b}{a}$, then $\mathcal{H}$ contains a Hamilton $(a,b)$-cycle. As a corollary, we prove that if $δ_{\ell}(\mathcal{H})\geq (1/2 +o(1))\binom{n-\ell}{k-\ell}$ for some $\ell \geq k/2$, then $\mathcal{H}$ contains a Hamilton $(k-\ell,\ell)$-cycle and this is asymptotically best possible.
On the typical structure of graphs not containing a fixed vertex-critical subgraph
Published in Random Structures and Algorithms 65 (2024), 644-702
• View Publication
• BIB
This work studies the typical structure of sparse $H$-free graphs, that is, graphs that do not contain a subgraph isomorphic to a given graph $H$. Extending the seminal result of Osthus, Prömel, and Taraz that addressed the case where $H$ is an odd cycle, Balogh, Morris, Samotij, and Warnke proved that, for every $r \ge 3$, the structure of a random $K_{r+1}$-free graph with $n$ vertices and $m$ edges undergoes a phase transition when $m$ crosses an explicit (sharp) threshold function $m_r(n)$. They conjectured that a similar threshold phenomenon occurs when $K_{r+1}$ is replaced by any strictly $2$-balanced, edge-critical graph $H$. In this paper, we resolve this conjecture. In fact, we prove that the structure of a typical $H$-free graph undergoes an analogous phase transition for every $H$ in a family of vertex-critical graphs that includes all edge-critical graphs.