-
$whittlehurst$: A Python package implementing Whittle's likelihood estimation of the Hurst exponent
Authors:
Bálint Csanády,
Lóránt Nagy,
András Lukács
Abstract:
This paper presents $whittlehurst$, a Python package implementing Whittle's likelihood method for estimating the Hurst exponent in fractional Brownian motion (fBm). While the theoretical foundations of Whittle's estimator are well-established, practical and computational considerations are critical for effective use. We focus explicitly on assessing our implementation's performance across several…
▽ More
This paper presents $whittlehurst$, a Python package implementing Whittle's likelihood method for estimating the Hurst exponent in fractional Brownian motion (fBm). While the theoretical foundations of Whittle's estimator are well-established, practical and computational considerations are critical for effective use. We focus explicitly on assessing our implementation's performance across several numerical approximations of the fractional Gaussian noise (fGn) spectral density, comparing their computational efficiency, accuracy, and consistency across varying input sequence lengths. Extensive empirical evaluations show that our implementation achieves state-of-the-art estimation accuracy and computational speed. Additionally, we benchmark our method against other popular Hurst exponent estimation techniques on synthetic and real-world data, emphasizing practical considerations that arise when applying these estimators to financial and biomedical data.
△ Less
Submitted 16 May, 2025;
originally announced June 2025.
-
Cardinalities of the total number of independent sets
Authors:
Benedek Kovács,
Zoltán Lóránt Nagy
Abstract:
We study the set of numbers the total number of independent sets can admit in $n$-vertex graphs. In this paper, we prove that the cardinality of this set $\mathcal{N}i(n)$ is very close to $2^n$ in the following sense: $\mathcal{N}i(n)/2^n = O(n^{-1/5})$ while for infinitely many $n$, we have $\log_2(\mathcal{N}i(n)/2^n)\ge -2^{(1+o(1)\sqrt{\log_2 n}}$. This set is also precisely the set of possib…
▽ More
We study the set of numbers the total number of independent sets can admit in $n$-vertex graphs. In this paper, we prove that the cardinality of this set $\mathcal{N}i(n)$ is very close to $2^n$ in the following sense: $\mathcal{N}i(n)/2^n = O(n^{-1/5})$ while for infinitely many $n$, we have $\log_2(\mathcal{N}i(n)/2^n)\ge -2^{(1+o(1)\sqrt{\log_2 n}}$. This set is also precisely the set of possible values of the independence polynomial $I_G(x)$ at $x=1$ for $n$-vertex graphs $G$. As an application, we address an additive combinatorial problem on subsets of a given vector space that avoid certain intersection patterns with respect to subspaces.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
The generalized trifference problem
Authors:
Anurag Bishnoi,
Bartłomiej Kielak,
Benedek Kovács,
Zoltán Lóránt Nagy,
Gábor Somlai,
Máté Vizer,
Zeyu Zheng
Abstract:
We study the problem of finding the largest number $T(n, m)$ of ternary vectors of length $n$ such that for any three distinct vectors there are at least $m$ coordinates where they pairwise differ.
For $m = 1$, this is the classical trifference problem which is wide open.
We prove upper and lower bounds on $T(n, m)$ for various ranges of the parameter $m$ and determine the phase transition thr…
▽ More
We study the problem of finding the largest number $T(n, m)$ of ternary vectors of length $n$ such that for any three distinct vectors there are at least $m$ coordinates where they pairwise differ.
For $m = 1$, this is the classical trifference problem which is wide open.
We prove upper and lower bounds on $T(n, m)$ for various ranges of the parameter $m$ and determine the phase transition threshold on $m=m(n)$ where $T(n, m)$ jumps from constant to exponential in $n$.
By relating the linear version of this problem to a problem on blocking sets in finite geometry, we give explicit constructions and probabilistic lower bounds.
We also compute the exact values of this function and its linear variation for small parameters.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Settling the no-$(k+1)$-in-line problem when $k$ is not small
Authors:
Benedek Kovács,
Zoltán Lóránt Nagy,
Dávid R. Szabó
Abstract:
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform…
▽ More
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities.
△ Less
Submitted 31 January, 2025;
originally announced February 2025.
-
Characterization of graphs with orientable total domination number equal to $|V|-1$
Authors:
Zoltán L. Blázsik,
Leila Vivien Nagy
Abstract:
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an un…
▽ More
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Maximizing the number of rational-value sums or zero-sums
Authors:
Benjamin Móricz,
Zoltán Lóránt Nagy
Abstract:
What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, whic…
▽ More
What is the maximum number of $r$-term sums admitting rational values in $n$-element sets of irrational numbers? We determine the maximum when $r<4$ or $r\geq n/2$ and also in case when we drop the condition on the number of summands. It turns out that the $r$-term sum problem is equivalent to determine the maximum number of $r$-term zero-sum subsequences in $n$-element sequences of integers, which can be seen as a variant of the famous Erdős-Ginzburg-Ziv theorem.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Blocking Planes by Lines in $\operatorname{PG}(n,q)$
Authors:
Benedek Kovács,
Zoltán Lóránt Nagy,
Dávid R. Szabó
Abstract:
In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refe…
▽ More
In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refers to a set of $t$-spaces such that each $s$-space is incident with at least one chosen $t$-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain $q$-Turán designs and $q$-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well.
△ Less
Submitted 5 April, 2025; v1 submitted 10 October, 2024;
originally announced October 2024.
-
Parameter Estimation of Long Memory Stochastic Processes with Deep Neural Networks
Authors:
Bálint Csanády,
Lóránt Nagy,
Dániel Boros,
Iván Ivkovic,
Dávid Kovács,
Dalma Tóth-Lakits,
László Márkus,
András Lukács
Abstract:
We present a purely deep neural network-based approach for estimating long memory parameters of time series models that incorporate the phenomenon of long-range dependence. Parameters, such as the Hurst exponent, are critical in characterizing the long-range dependence, roughness, and self-similarity of stochastic processes. The accurate and fast estimation of these parameters holds significant im…
▽ More
We present a purely deep neural network-based approach for estimating long memory parameters of time series models that incorporate the phenomenon of long-range dependence. Parameters, such as the Hurst exponent, are critical in characterizing the long-range dependence, roughness, and self-similarity of stochastic processes. The accurate and fast estimation of these parameters holds significant importance across various scientific disciplines, including finance, physics, and engineering. We harnessed efficient process generators to provide high-quality synthetic training data, enabling the training of scale-invariant 1D Convolutional Neural Networks (CNNs) and Long Short-Term Memory (LSTM) models. Our neural models outperform conventional statistical methods, even those augmented with neural networks. The precision, speed, consistency, and robustness of our estimators are demonstrated through experiments involving fractional Brownian motion (fBm), the Autoregressive Fractionally Integrated Moving Average (ARFIMA) process, and the fractional Ornstein-Uhlenbeck (fOU) process. We believe that our work will inspire further research in the field of stochastic process modeling and parameter estimation using deep learning techniques.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Avoiding secants of given size in finite projective planes
Authors:
Tamás Héger,
Zoltán Lóránt Nagy
Abstract:
Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point…
▽ More
Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.
△ Less
Submitted 21 September, 2024;
originally announced September 2024.
-
Partitioning the projective plane to two incidence-rich parts
Authors:
Zoltán Lóránt Nagy
Abstract:
An internal or friendly partition of a vertex set $V(G)$ of a graph $G$ is a partition to two nonempty sets $A\cup B$ such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's existence proof on internal partitions of graphs with high girth, we give constructive proofs for the existence of internal partitions in the incidence graph of project…
▽ More
An internal or friendly partition of a vertex set $V(G)$ of a graph $G$ is a partition to two nonempty sets $A\cup B$ such that every vertex has at least as many neighbours in its own class as in the other one. Motivated by Diwan's existence proof on internal partitions of graphs with high girth, we give constructive proofs for the existence of internal partitions in the incidence graph of projective planes and discuss its geometric properties. In addition, we determine exactly the maximum possible difference between the sizes of the neighbor set in its own class and the neighbor set of the other class, that can be attained for all vertices at the same time for the incidence graphs of desarguesian planes of square order.
△ Less
Submitted 24 April, 2024; v1 submitted 20 March, 2024;
originally announced March 2024.
-
Complete $3$-term arithmetic progression free sets of small size in vector spaces and other abelian groups
Authors:
Bence Csajbók,
Zoltán Lóránt Nagy
Abstract:
A subset $S$ of an abelian group $G$ is called $3$-$\mathrm{AP}$ free if it does not contain a three term arithmetic progression. Moreover, $S$ is called complete $3$-$\mathrm{AP}$ free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a $3$-$\mathrm{AP}$ free set, which is necessarily complete. In this paper we a…
▽ More
A subset $S$ of an abelian group $G$ is called $3$-$\mathrm{AP}$ free if it does not contain a three term arithmetic progression. Moreover, $S$ is called complete $3$-$\mathrm{AP}$ free, if it is maximal w.r.t. set inclusion. One of the most central problems in additive combinatorics is to determine the maximal size of a $3$-$\mathrm{AP}$ free set, which is necessarily complete. In this paper we are interested in the minimum size of complete $3$-$\mathrm{AP}$ free sets. We define and study saturation w.r.t. $3$-$\mathrm{AP}$s and present constructions of small complete $3$-$\mathrm{AP}$ free sets and $3$-$\mathrm{AP}$ saturating sets for several families of vector spaces and cyclic groups.
△ Less
Submitted 5 October, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Deep learning the Hurst parameter of linear fractional processes and assessing its reliability
Authors:
Dániel Boros,
Bálint Csanády,
Iván Ivkovic,
Lóránt Nagy,
András Lukács,
László Márkus
Abstract:
This research explores the reliability of deep learning, specifically Long Short-Term Memory (LSTM) networks, for estimating the Hurst parameter in fractional stochastic processes. The study focuses on three types of processes: fractional Brownian motion (fBm), fractional Ornstein-Uhlenbeck (fOU) process, and linear fractional stable motions (lfsm). The work involves a fast generation of extensive…
▽ More
This research explores the reliability of deep learning, specifically Long Short-Term Memory (LSTM) networks, for estimating the Hurst parameter in fractional stochastic processes. The study focuses on three types of processes: fractional Brownian motion (fBm), fractional Ornstein-Uhlenbeck (fOU) process, and linear fractional stable motions (lfsm). The work involves a fast generation of extensive datasets for fBm and fOU to train the LSTM network on a large volume of data in a feasible time. The study analyses the accuracy of the LSTM network's Hurst parameter estimation regarding various performance measures like RMSE, MAE, MRE, and quantiles of the absolute and relative errors. It finds that LSTM outperforms the traditional statistical methods in the case of fBm and fOU processes; however, it has limited accuracy on lfsm processes. The research also delves into the implications of training length and valuation sequence length on the LSTM's performance. The methodology is applied by estimating the Hurst parameter in Li-ion battery degradation data and obtaining confidence bounds for the estimation. The study concludes that while deep learning methods show promise in parameter estimation of fractional processes, their effectiveness is contingent on the process type and the quality of training data.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
On polynomials of small range sum
Authors:
Gergely Kiss,
Ádám Markó,
Zoltán Lóránt Nagy,
Gábor Somlai
Abstract:
In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characte…
▽ More
In order to reprove an old result of Rédei's on the number of directions determined by a set of cardinality $p$ in $\mathbb{F}_p^2$, Somlai proved that the non-constant polynomials over the field $\mathbb{F}_p$ whose range sums are equal to $p$ are of degree at least $\frac{p-1}{2}$. Here the summand in the range sum are considered as integers from the interval $[0,p-1]$. In this paper we characterise all of these polynomials having degree exactly $\frac{p-1}{2}$, if $p$ is large enough. As a consequence, for the same set of primes we re-establish the characterisation of sets with few determined directions due to Lovász and Schrijver using discrete Fourier analysis.
△ Less
Submitted 10 November, 2024; v1 submitted 10 November, 2023;
originally announced November 2023.
-
The double Hall property and cycle covers in bipartite graphs
Authors:
János Barát,
Andrzej Grzesik,
Attila Jung,
Zoltán Lóránt Nagy,
Dömötör Pálvölgyi
Abstract:
In a graph $G$, the $2$-neighborhood of a vertex set $X$ consists of all vertices of $G$ having at least $2$ neighbors in $X$. We say that a bipartite graph $G(A,B)$ satisfies the double Hall property if $|A|\geq2$, and every subset $X \subseteq A$ of size at least $2$ has a $2$-neighborhood of size at least $|X|$. Salia conjectured that any bipartite graph $G(A,B)$ satisfying the double Hall prop…
▽ More
In a graph $G$, the $2$-neighborhood of a vertex set $X$ consists of all vertices of $G$ having at least $2$ neighbors in $X$. We say that a bipartite graph $G(A,B)$ satisfies the double Hall property if $|A|\geq2$, and every subset $X \subseteq A$ of size at least $2$ has a $2$-neighborhood of size at least $|X|$. Salia conjectured that any bipartite graph $G(A,B)$ satisfying the double Hall property contains a cycle covering $A$. Here, we prove the existence of a $2$-factor covering $A$ in any bipartite graph $G(A,B)$ satisfying the double Hall property. We also show Salia's conjecture for graphs with restricted degrees of vertices in $B$. Additionally, we prove a lower bound on the number of edges in a graph satisfying the double Hall property, and the bound is sharp up to a constant factor.
△ Less
Submitted 22 May, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Avoiding intersections of given size in finite affine spaces AG(n,2)
Authors:
Benedek Kovács,
Zoltán Lóránt Nagy
Abstract:
We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show con…
▽ More
We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show constructions of point sets for which the intersection sizes with $k$-dimensional affine subspaces takes values from a set of a small size compared to 2^k. These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers.
△ Less
Submitted 30 May, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
MAC, a novel stochastic optimization method
Authors:
Attila László Nagy,
Goitom Simret Kidane,
Tamás Turányi,
János Tóth
Abstract:
A novel stochastic optimization method called MAC was suggested. The method is based on the calculation of the objective function at several random points and then an empirical expected value and an empirical covariance matrix are calculated. The empirical expected value is proven to converge to the optimum value of the problem. The MAC algorithm was encoded in Matlab and the code was tested on 20…
▽ More
A novel stochastic optimization method called MAC was suggested. The method is based on the calculation of the objective function at several random points and then an empirical expected value and an empirical covariance matrix are calculated. The empirical expected value is proven to converge to the optimum value of the problem. The MAC algorithm was encoded in Matlab and the code was tested on 20 test problems. Its performance was compared with those of the interior point method (Matlab name: fmincon), simplex, pattern search (PS), simulated annealing (SA), particle swarm optimization (PSO), and genetic algorithm (GA) methods. The MAC method failed two test functions and provided inaccurate results on four other test functions. However, it provided accurate results and required much less CPU time than the widely used optimization methods on the other 14 test functions.
△ Less
Submitted 14 April, 2023;
originally announced April 2023.
-
Weak lensing in the blue: a counter-intuitive strategy for stratospheric observations
Authors:
Mohamed M. Shaaban,
Ajay S. Gill,
Jacqueline McCleary,
Richard J. Massey,
Steven J. Benton,
Anthony M. Brown,
Christopher J. Damaren,
Tim Eifler,
Aurelien A. Fraisse,
Spencer Everett,
Mathew N. Galloway,
Michael Henderson,
Bradley Holder,
Eric M. Huff,
Mathilde Jauzac,
William C. Jones,
David Lagattuta,
Jason Leung,
Lun Li,
Thuy Vy T. Luu Johanna M. Nagy,
C. Barth Netterfield,
Susan F. Redmond,
Jason D. Rhodes,
Andrew Robertson,
Jurgen Schmoll
, et al. (2 additional authors not shown)
Abstract:
The statistical power of weak lensing measurements is principally driven by the number of high redshift galaxies whose shapes are resolved. Conventional wisdom and physical intuition suggest this is optimised by deep imaging at long (red or near IR) wavelengths, to avoid losing redshifted Balmer break and Lyman break galaxies. We use the synthetic Emission Line EL-COSMOS catalogue to simulate lens…
▽ More
The statistical power of weak lensing measurements is principally driven by the number of high redshift galaxies whose shapes are resolved. Conventional wisdom and physical intuition suggest this is optimised by deep imaging at long (red or near IR) wavelengths, to avoid losing redshifted Balmer break and Lyman break galaxies. We use the synthetic Emission Line EL-COSMOS catalogue to simulate lensing observations using different filters, from various altitudes. Here were predict the number of exposures to achieve a target z > 0.3 source density, using off-the-shelf and custom filters. Ground-based observations are easily better at red wavelengths, as (more narrowly) are space-based observations. However, we find that SuperBIT, a diffraction-limited observatory operating in the stratosphere, should instead perform its lensing-quality observations at blue wavelengths.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
The extensible No-Three-In-Line problem
Authors:
Dániel T. Nagy,
Zoltán Lóránt Nagy,
Russ Woodroofe
Abstract:
The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains…
▽ More
The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains $Θ(n/\log^{1+\varepsilon}n)$ points in $[1,n]^{2}$ for all $n$, where $\varepsilon>0$ is an arbitrarily small real number. We also give computational evidence suggesting that a set of lattice points may exist that has at least $n/2$ points on every large enough $n\times n$ grid.
△ Less
Submitted 7 November, 2022; v1 submitted 3 September, 2022;
originally announced September 2022.
-
Modal expansions of ririgs
Authors:
Agustín L. Nagy,
William J. Zuluaga Botero
Abstract:
In this paper we introduce the variety of I-modal ririgs. We characterize the congruence lattice of its members by means of I-filters and we provide a description on I-filter generation. We also provide an axiomatic presentation for the variety generated by chains of the subvariety of contractive I-modal ririgs. Finally, we introduce a Hilbert-style calculus of a logic with I-modal ririgs as an eq…
▽ More
In this paper we introduce the variety of I-modal ririgs. We characterize the congruence lattice of its members by means of I-filters and we provide a description on I-filter generation. We also provide an axiomatic presentation for the variety generated by chains of the subvariety of contractive I-modal ririgs. Finally, we introduce a Hilbert-style calculus of a logic with I-modal ririgs as an equivalent algebraic semantics and we prove that such a logic has the parametrized local deduction-detachment theorem.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Multicolor Turán numbers II -- a generalization of the Ruzsa-Szemerédi theorem and new results on cliques and odd cycles
Authors:
Benedek Kovács,
Zoltán Lóránt Nagy
Abstract:
In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essen…
▽ More
In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essentially gives back the theorem of Ruzsa and Szemerédi. We extend their results to the case when $F$ and $G$ are arbitrary cliques by applying a number theoretic result due to Erdős, Frankl and Rödl. This extension in turn decides the order of magnitude for a large family of graph pairs, which will be subquadratic, but almost quadratic. Since the linear $r$-uniform hypergraph Turán problems to determine $ex_r^{lin}(n,G)$ form a class of the multicolor Turán problem, following the identity $ex_r^{lin}(n,G)=ex_{K_r}(n,G)$, our results determine the linear hypergraph Turán numbers of every graph of girth $3$ and for every $r$ up to a subpolynomial factor. Furthermore, when $G$ is a triangle, we settle the case $F=C_5$ and give bounds for the cases $F=C_{2k+1}$, $k\ge 3$ as well.
△ Less
Submitted 29 March, 2024; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Maximum Power Point Tracking Circuit for an Energy Harvester in 130 nm CMOS Technology
Authors:
Adam Hudec,
Lukas Nagy,
Martin Kovac,
Viera Stopjakova
Abstract:
This paper presents design of a Maximum Power Point Tracking (MPPT) circuit and its functionality for tuning the maximum power transfer from an energy harvester (EH) unit. Simple and practical Perturb and Observe algorithm is investigated and implemented. We describe the circuit functionality and the improvements that have been introduced to the original algorithm. The proposed MPPT design is divi…
▽ More
This paper presents design of a Maximum Power Point Tracking (MPPT) circuit and its functionality for tuning the maximum power transfer from an energy harvester (EH) unit. Simple and practical Perturb and Observe algorithm is investigated and implemented. We describe the circuit functionality and the improvements that have been introduced to the original algorithm. The proposed MPPT design is divided into three main blocks. The output signal is being generated by the PWM or PFM block. The tracking speed has been enhanced by implementing a variable step size in the Tracking Block. Finally, the overall power consumption of the MPPT circuit itself is controlled by the Power Management Block, which manages delivering the clock signal to the rest of the circuit. The RTL code of the proposed MPPT has been described in Verilog, then has been synthesized and placed-and-routed in a general purpose 130nm CMOS technology.
△ Less
Submitted 23 September, 2021;
originally announced October 2021.
-
Depth Profile of the Phase Transition of the FeRh Alloy in FeRh/BaTiO3
Authors:
Attila Lengyel,
Gábor Bazsó,
Aleksandr I. Chumakov,
Dénes L. Nagy,
Gergő Hegedűs,
Dimitrios Bessas,
Zsolt E. Horváth,
Norbert M. Nemes,
Maria A. Gracheva,
Edit Szilágyi,
Szilárd Sajti,
Dániel G. Merkel
Abstract:
We report on the depth dependence and technological limits of the phase transition of the iron rhodium alloy as function of temperature, external magnetic and electric fields in the FeRh/BaTiO3 multiferroic, determined by grazing-incidence nuclear resonant scattering measurements. The change of temperature induces a continuous and homogenous antiferromagnetic / ferromagnetic phase transition throu…
▽ More
We report on the depth dependence and technological limits of the phase transition of the iron rhodium alloy as function of temperature, external magnetic and electric fields in the FeRh/BaTiO3 multiferroic, determined by grazing-incidence nuclear resonant scattering measurements. The change of temperature induces a continuous and homogenous antiferromagnetic / ferromagnetic phase transition through the entire FeRh layer, except in the near substrate region. External magnetic field does not affect this mechanism, but the application of electric field changes it fundamentally (via piezoelectric strain): the phase transition of the alloy suddenly propagates from the substrate up to a height, defined by the combination of temperature and external magnetic field, as soon as the applied electric field reaches ~ 20 kV/m.
△ Less
Submitted 18 November, 2021; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Multicolor Turán numbers
Authors:
András Imolay,
János Karl,
Zoltán Lóránt Nagy,
Benedek Váli
Abstract:
We consider a natural generalisation of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem by studying the maximum number $ex_F(n,G)$ of edge-disjoint copies of a fixed graph $F$ can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. We determine the pairs $\{F, G\}$ for which the order of magnitude of $ex_F(n,G)$ is quad…
▽ More
We consider a natural generalisation of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem by studying the maximum number $ex_F(n,G)$ of edge-disjoint copies of a fixed graph $F$ can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. We determine the pairs $\{F, G\}$ for which the order of magnitude of $ex_F(n,G)$ is quadratic and prove several asymptotic results using various tools from the regularity lemma and supersaturation to graph packing results.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
RED-based Scheduler on Chip for Mixed-Criticality Real-Time Systems
Authors:
Lukáš Kohútka,
Lukáš Nagy,
Viera Stopjaková
Abstract:
Real-time embedded systems that combine processes of various criticalities (i.e. mixed-criticality real-time systems) represent an emerging research that faces many issues. This paper describes a new ASIC design of a coprocessor that realizes process scheduling for mixed-criticality real-time systems. The solution proposed in this paper uses Robust Earliest Deadline (RED) algorithm. Due to the on-…
▽ More
Real-time embedded systems that combine processes of various criticalities (i.e. mixed-criticality real-time systems) represent an emerging research that faces many issues. This paper describes a new ASIC design of a coprocessor that realizes process scheduling for mixed-criticality real-time systems. The solution proposed in this paper uses Robust Earliest Deadline (RED) algorithm. Due to the on-chip implementation of the scheduler, all scheduler operations always take two clock cycles to execute. The proposed solution was verified by simulations that applied millions of random inputs. Chip area costs are evaluated by synthesis into ASIC using 28 nm TSMC technology. The proposed RED-based scheduler is compared with an existing EDF-based scheduler that supports hard real-time processes only. Even though the RED-based scheduler costs more chip area, it can handle any combinations of process criticalities, variations of process execution times and deadlines, achieves higher CPU utilization and can be used for scheduling of non-real-time, soft real-time and hard real-time processes combined within one system.
△ Less
Submitted 23 September, 2021;
originally announced October 2021.
-
A note on internal partitions: the $5$-regular case and beyond
Authors:
Pál Bärnkopf,
Zoltán Lóránt Nagy,
Zoltán Paulovics
Abstract:
An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the $5$-regular case and show that among the subgraphs of min…
▽ More
An internal or friendly partition of a graph is a partition of the vertex set into two nonempty sets so that every vertex has at least as many neighbours in its own class as in the other one. It has been shown that apart from finitely many counterexamples, every 3, 4 or 6-regular graph has an internal partition. In this note we focus on the $5$-regular case and show that among the subgraphs of minimum degree at least $3$, there are some which have small intersection. We also discuss the existence of internal partitions in some families of Cayley graphs, notably we determine all $5$-regular Abelian Cayley graphs which do not have an internal partition.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Spatial and temporal distribution of a 1-MeV proton microbeam guided through a poly(tetrafluoroethylene) macrocapillary
Authors:
G. U. L. Nagy,
Z. T. Gaál,
I. Rajta,
K. Tőkési
Abstract:
We present computer simulations about the spatial and temporal evolution of a 1-MeV proton microbeam transmitted through an insulating macrocapillary with the length of 45 mm and with the inner diameter of 800 μm. The axis of the capillary was tilted to 1° relative to the axis of the incident beam, which ensured geometrical nontransparency. The simulation is based on the combination of stochastic…
▽ More
We present computer simulations about the spatial and temporal evolution of a 1-MeV proton microbeam transmitted through an insulating macrocapillary with the length of 45 mm and with the inner diameter of 800 μm. The axis of the capillary was tilted to 1° relative to the axis of the incident beam, which ensured geometrical nontransparency. The simulation is based on the combination of stochastic (Monte Carlo) and deterministic methods. It involves (1) random sampling of the initial conditions, according to distributions generated by the widely used and freely available computer software packages, SRIM and WINTRAX, (2) the numerical solution of the governing equations for following the classical trajectory of the projectiles, and (3) the description of the field-driven charge migration on the surface and in the bulk of the insulator material. We found that our simulation describes reasonably all of our previous experimental observations, indicating the functionality and reliability of the applied model. In addition, we found that at different phases of the beam transmission, different atomic processes result in the evolution of the beam distribution. First, in a scattering phase, the multiple small angle atomic scattering dominates in the beam transmission, resulting in an outgoing beam into a wide angular range and in a wide energy window. Later, in a mixed phase, scattering and guiding happens simultaneously, with a continuously increasing contribution of guiding. Finally, in the phase of the stabilized, guided transmission, a quadrupolelike focusing effect is observed, i.e., the transmitted beam is concentrated into a small spot, and the transmitted protons keep their initial kinetic energy.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Short minimal codes and covering codes via strong blocking sets in projective spaces
Authors:
Tamás Héger,
Zoltán Lóránt Nagy
Abstract:
Minimal linear codes are in one-to-one correspondence with special types of blocking sets of projective spaces over a finite field, which are called strong or cutting blocking sets. In this paper we prove an upper bound on the minimal length of minimal codes of dimension $k$ over the $q$-element Galois field which is linear in both $q$ and $k$, hence improve the previous superlinear bounds. This r…
▽ More
Minimal linear codes are in one-to-one correspondence with special types of blocking sets of projective spaces over a finite field, which are called strong or cutting blocking sets. In this paper we prove an upper bound on the minimal length of minimal codes of dimension $k$ over the $q$-element Galois field which is linear in both $q$ and $k$, hence improve the previous superlinear bounds. This result determines the minimal length up to a small constant factor. We also improve the lower and upper bounds on the size of so called higgledy-piggledy line sets in projective spaces and apply these results to present improved bounds on the size of covering codes and saturating sets in projective spaces as well. The contributions rely on geometric and probabilistic arguments.
△ Less
Submitted 17 May, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Steiner triple systems and spreading sets in projective spaces
Authors:
Zoltán Lóránt Nagy,
Levente Szemerédi
Abstract:
We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading se…
▽ More
We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading sets are large then the examined triple system must be a projective space. We also show that the size of a minimal spreading set is not an invariant of a Steiner triple system.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Generalized Outerplanar Turán numbers and maximum number of k-vertex subtrees
Authors:
Dávid Matolcsi,
Zoltán Lóránt Nagy
Abstract:
We prove an asymptotic result on the maximum number of k-vertex subtrees in binary trees of given order. This problem turns out to be equivalent to determine the maximum number of k+2-cycles in n-vertex outerplanar graphs, thus we settle the generalized outerplanar Turán number for all cycles. We also determine the exponential growth of the generalized outerplanar Turán number of paths Pk as a fun…
▽ More
We prove an asymptotic result on the maximum number of k-vertex subtrees in binary trees of given order. This problem turns out to be equivalent to determine the maximum number of k+2-cycles in n-vertex outerplanar graphs, thus we settle the generalized outerplanar Turán number for all cycles. We also determine the exponential growth of the generalized outerplanar Turán number of paths Pk as a function of k which implies the order of magnitude of the generalized outerplanar Turán number of arbitrary trees. The bounds are strongly related to the sequence of Catalan numbers.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Unified approach to the generalized Turán problem and supersaturation
Authors:
Dániel Gerbner,
Zoltán Lóránt Nagy,
Máté Vizer
Abstract:
In this paper we introduce a unifying approach to the generalized Turán problem and supersaturation results in graph theory. The supersaturation-extremal function $satex(n, F : m, G)$ is the least number of copies of a subgraph $G$ an $n$-vertex graph can have, which contains at least $m$ copies of $F$ as a subgraph. We present a survey, discuss previously known results and obtain several new ones…
▽ More
In this paper we introduce a unifying approach to the generalized Turán problem and supersaturation results in graph theory. The supersaturation-extremal function $satex(n, F : m, G)$ is the least number of copies of a subgraph $G$ an $n$-vertex graph can have, which contains at least $m$ copies of $F$ as a subgraph. We present a survey, discuss previously known results and obtain several new ones focusing mainly on proof methods, extremal structure and phase transition phenomena. Finally we point out some relation with extremal questions concerning hypergraphs, particularly Berge-type results.
△ Less
Submitted 30 September, 2021; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Coloring linear hypergraphs: the Erdős-Faber-Lovász conjecture and the Combinatorial Nullstellensatz
Authors:
Oliver Janzer,
Zoltán Lóránt Nagy
Abstract:
The long-standing Erdős-Faber-Lovász conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate a corresponding stronger conjecture. Using the Combinatorial Nullstellensatz, we reduce the Erdős-Faber-Lovász conjecture to the existence of non-zero coefficients in…
▽ More
The long-standing Erdős-Faber-Lovász conjecture states that every $n$-uniform linear hypergaph with $n$ edges has a proper vertex-coloring using $n$ colors. In this paper we propose an algebraic framework to the problem and formulate a corresponding stronger conjecture. Using the Combinatorial Nullstellensatz, we reduce the Erdős-Faber-Lovász conjecture to the existence of non-zero coefficients in certain polynomials. These coefficients are in turn related to the number of orientations with prescribed in-degree sequences of some auxiliary graphs. We prove the existence of certain orientations, which verifies a necessary condition for our algebraic approach to work.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
On the Turán number of the blow-up of the hexagon
Authors:
Oliver Janzer,
Abhishek Methuku,
Zoltán Lóránt Nagy
Abstract:
The $r$-blowup of a graph $F$, denoted by $F[r]$, is the graph obtained by replacing the vertices and edges of $F$ with independent sets of size $r$ and copies of $K_{r,r}$, respectively. For bipartite graphs $F$, very little is known about the order of magnitude of the Turán number of $F[r]$. In this paper we prove that $\mathrm{ex}(n,C_6[2])=O(n^{5/3})$ and, more generally, for any positive inte…
▽ More
The $r$-blowup of a graph $F$, denoted by $F[r]$, is the graph obtained by replacing the vertices and edges of $F$ with independent sets of size $r$ and copies of $K_{r,r}$, respectively. For bipartite graphs $F$, very little is known about the order of magnitude of the Turán number of $F[r]$. In this paper we prove that $\mathrm{ex}(n,C_6[2])=O(n^{5/3})$ and, more generally, for any positive integer $t$, $\mathrm{ex}(n,θ_{3,t}[2])=O(n^{5/3})$. This is tight when $t$ is sufficiently large.
△ Less
Submitted 21 June, 2021; v1 submitted 10 June, 2020;
originally announced June 2020.
-
On the balanced upper chromatic number of finite projective planes
Authors:
Zoltán L. Blázsik,
Aart Blokhuis,
Štefko Miklavič,
Zoltán Lóránt Nagy,
Tamás Szőnyi
Abstract:
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. W…
▽ More
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. We confirm the conjecture of Araujo-Pardo, Kiss and Montejano by determining the balanced upper chromatic number of the desarguesian projective plane $\mathrm{PG}(2,q)$ for all $q$. In addition, we determine asymptotically the balanced upper chromatic number of several families of non-desarguesian projective planes and also provide a general lower bound for arbitrary projective planes using probabilistic methods which determines the parameter up to a multiplicative constant.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
Optimal long-term investment in illiquid markets when prices have negative memory
Authors:
Miklós Rásonyi,
Lóránt Nagy
Abstract:
In a discrete-time financial market model with instantaneous price impact, we find an asymptotically optimal strategy for an investor maximizing her expected wealth. The asset price is assumed to follow a process with negative memory. We determine how the optimal growth rate depends on the impact parameter and on the covariance decay rate of the price.
In a discrete-time financial market model with instantaneous price impact, we find an asymptotically optimal strategy for an investor maximizing her expected wealth. The asset price is assumed to follow a process with negative memory. We determine how the optimal growth rate depends on the impact parameter and on the covariance decay rate of the price.
△ Less
Submitted 25 April, 2021; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Three-Dimensional Automated Assessment of the Distal Radioulnar Joint Morphology according to Sigmoid Notch Surface Orientation
Authors:
Simon Roner,
Philipp Fürnstahl,
Anne-Gita Scheibler,
Ladislav Nagy,
Fabio Carrillo
Abstract:
The aim of this study was to develop a new method for generating reproducible 3D measurements for the quantification of the distal radioulnar joint morphology. We hypothesized that automated 3D measurement of the ulnar variance and the sigmoid notch angle are comparable to those of the gold standard, while overcoming some of the drawbacks of conventional 2D measurements. Radiological data of healt…
▽ More
The aim of this study was to develop a new method for generating reproducible 3D measurements for the quantification of the distal radioulnar joint morphology. We hypothesized that automated 3D measurement of the ulnar variance and the sigmoid notch angle are comparable to those of the gold standard, while overcoming some of the drawbacks of conventional 2D measurements. Radiological data of healthy forearm bones of 53 adult subjects were included in the study. Automated measurements for the assessment of the sigmoid-notch morphology based on 3D landmarks were developed incorporating the subject-specific estimation of the cartilage surface orientation. A common anatomical reference was defined among the different imaging modalities and a comparison between the sigmoid notch angle and UV measurements was performed in radiographs, CT scans and 3D models. Finally, the developed UV measurements in 3D were compared to the method by radiographs in an experimental setup with 3D printed bone models. The proposed automated 3D analysis of notch subtype showed a significantly larger notch radius for negative notch angle compared to positive sigmoid notch angle subjects. Similar UV measurements were obtained in healthy joint morphologies with a high correlation between the radiographs and 3D measurements, for sigmoid notch angle and UV . In the experimental setup with a modified radial inclination, the UV was on average 1.13 mm larger in the radiographs compared to the 3D measurements, and 1.30 mm larger in the cases with a modified palmar tilt. The developed 3D measurements allowed to reliably quantify differences in the sigmoid notch subtypes.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Digitalization of the IOM: A comprehensive cadaveric study for obtaining three-dimensional models and morphological properties of the forearm's interosseous membrane
Authors:
Fabio Carrillo,
Simon Suter,
Fabio A. Casari,
Reto Sutter,
Ladislav Nagy,
Jess G. Snedeker,
Philipp Fürnstahl
Abstract:
State-of-the-art of preoperative planning for forearm orthopaedic surgeries is currently limited to simple bone procedures. The increasing interest of clinicians for more comprehensive analysis of complex pathologies often requires dynamic models, able to include the soft tissue influence into the preoperative process. Previous studies have shown that the interosseous membrane (IOM) influences for…
▽ More
State-of-the-art of preoperative planning for forearm orthopaedic surgeries is currently limited to simple bone procedures. The increasing interest of clinicians for more comprehensive analysis of complex pathologies often requires dynamic models, able to include the soft tissue influence into the preoperative process. Previous studies have shown that the interosseous membrane (IOM) influences forearm motion and stability, but due to the lack of morphological and biomechanical data, existing simulation models of the IOM are either too simple or clinically unreliable. This work aims to address this problematic by generating 3D morphological and tensile properties of the individual IOM structures. First, micro- and standard-CT acquisitions were performed on five fresh-frozen annotated cadaveric forearms for the generation of 3D models of the radius, ulna and each of the individual ligaments of the IOM. Afterwards, novel 3D methods were developed for the measurement of common morphological features, which were validated against established optical ex-vivo measurements. Finally, we investigated the individual tensile properties of each IOM ligament. The generated 3D morphological features can provide the basis for the future development of functional planning simulation of the forearm.
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
A general theory of André's solution algebras
Authors:
Levente Nagy,
Tamás Szamuely
Abstract:
We extend Yves André's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic contex…
▽ More
We extend Yves André's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic context also allows a new approach to recent results of Philippon and Adamczewski--Faverjon in transcendence theory.
△ Less
Submitted 25 January, 2020;
originally announced January 2020.
-
An Automatic Genetic Algorithm Framework for the Optimization of Three-dimensional Surgical Plans of Forearm Corrective Osteotomies
Authors:
Fabio Carrillo,
Simon Roner,
Marco von Atzigen,
Andreas Schweizer,
Ladislav Nagy,
Lazaros Vlachopoulos,
Jess G. Snedeker,
Philipp Fürnstahl
Abstract:
3D computer-assisted corrective osteotomy has become the state-of-the-art for surgical treatment of complex bone deformities. Despite available technologies, the automatic generation of clinically acceptable, ready-to-use preoperative planning solutions is currently not possible for such pathologies. Multiple contradicting and mutually dependent objectives have to be considered, as well as clinica…
▽ More
3D computer-assisted corrective osteotomy has become the state-of-the-art for surgical treatment of complex bone deformities. Despite available technologies, the automatic generation of clinically acceptable, ready-to-use preoperative planning solutions is currently not possible for such pathologies. Multiple contradicting and mutually dependent objectives have to be considered, as well as clinical and technical constraints, generally requiring iterative manual adjustments. This leads to unnecessary efforts and unbearable clinical costs, hindering also the quality of patient treatment. In this paper, we propose an optimization framework for the generation of ready-to-use preoperative planning solutions in a fully automatic fashion. An automatic diagnostic assessment using patient-specific 3D models is performed for 3D malunion quantification and definition of the optimization parameters. Afterward, clinical objectives are translated into the optimization module, and controlled through tailored fitness functions based on a weighted and multi-staged optimization approach. The optimization is based on a genetic algorithm capable of solving multi-objective optimization problems with non-linear constraints. The framework outputs a complete preoperative planning solution including position and orientation of the osteotomy plane, transformation to achieve the bone reduction, and position and orientation of the fixation plate and screws. A qualitative validation was performed on 36 consecutive cases of radius osteotomy where solutions generated by the optimization algorithm (OA) were compared against the gold standard (GS) solutions generated by experienced surgeons. Solutions were blinded and presented to 6 readers, who voted OA solutions to be better in 55% of the time. The quantitative evaluation was based on different error measurements, showing average improvements with respect to the GS.
△ Less
Submitted 16 September, 2019;
originally announced September 2019.
-
Spreading linear triple systems and expander triple systems
Authors:
Zoltán L. Blázsik,
Zoltán Lóránt Nagy
Abstract:
The existence of Steiner triple systems STS(n) of order n containing no nontrivial subsystem is well known for every admissible n. We generalize this result in two ways. First we define the expander property of 3-uniform hypergraphs and show the existence of Steiner triple systems which are almost perfect expanders. Next we define the strong and weak spreading property of linear hypergraphs, and d…
▽ More
The existence of Steiner triple systems STS(n) of order n containing no nontrivial subsystem is well known for every admissible n. We generalize this result in two ways. First we define the expander property of 3-uniform hypergraphs and show the existence of Steiner triple systems which are almost perfect expanders. Next we define the strong and weak spreading property of linear hypergraphs, and determine the minimum size of a linear triple system with these properties, up to a small constant factor. This property is strongly connected to the connectivity of the structure and of the so-called influence maximization. We also discuss how the results are related to Erdős' conjecture on locally sparse STSs, influence maximization, subsquare-free Latin squares and possible applications in finite geometry.
△ Less
Submitted 9 March, 2020; v1 submitted 7 June, 2019;
originally announced June 2019.
-
The Turán number of blow-ups of trees
Authors:
Andrzej Grzesik,
Oliver Janzer,
Zoltán Lóránt Nagy
Abstract:
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases…
▽ More
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Triangle areas in line arrangements
Authors:
Gábor Damásdi,
Leonardo Martínez-Sandoval,
Dániel T. Nagy,
Zoltán Lóránt Nagy
Abstract:
A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles o…
▽ More
A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles.
We prove that the order of magnitude for the maximum occurrence of unit areas lies between $Ω(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemerédi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.
△ Less
Submitted 8 April, 2020; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Electron correlations in the antiproton energy loss distribution in He
Authors:
S. Borbély,
X. -M. Tong,
S. Nagele,
J. Feist,
I. Březinová,
F. Lackner,
L. Nagy,
K. Tőkési,
J. Burgdörfer
Abstract:
We present ab-initio calculations of the electronic differential energy transfer (DET) cross-sections for antiprotons with energies between $3$keV and $1$MeV interacting with helium. By comparison with simulations employing the mean-field description based on the single-active electron approximation we are able to identify electron correlation effects in the stopping and straggling cross sections.…
▽ More
We present ab-initio calculations of the electronic differential energy transfer (DET) cross-sections for antiprotons with energies between $3$keV and $1$MeV interacting with helium. By comparison with simulations employing the mean-field description based on the single-active electron approximation we are able to identify electron correlation effects in the stopping and straggling cross sections. Most remarkably, we find that straggling exceeds the celebrated Bohr straggling limit when correlated shake-up processes are included.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Supersaturation of $C_4$: from Zarankiewicz towards Erdős-Simonovits-Sidorenko
Authors:
Zoltán Lóránt Nagy
Abstract:
For a positive integer $n$, a graph $F$ and a bipartite graph $G\subseteq K_{n,n}$ let ${F(n+n, G)}$ denote the number of copies of $F$ in $G$, and let $F(n+n, m)$ denote the minimum number of copies of $F$ in all graphs $G\subseteq K_{n,n}$ with $m$ edges. The study of such a function is the subject of theorems of supersaturated graphs and closely related to the Sidorenko-Erdős-Simonovits conject…
▽ More
For a positive integer $n$, a graph $F$ and a bipartite graph $G\subseteq K_{n,n}$ let ${F(n+n, G)}$ denote the number of copies of $F$ in $G$, and let $F(n+n, m)$ denote the minimum number of copies of $F$ in all graphs $G\subseteq K_{n,n}$ with $m$ edges. The study of such a function is the subject of theorems of supersaturated graphs and closely related to the Sidorenko-Erdős-Simonovits conjecture as well. In the present paper we investigate the case when $F= K_{2,t}$ and in particular the quadrilateral graph case. For $F=C_4$, we obtain exact results if $m$ and the corresponding Zarankiewicz number differ by at most $n$, by a finite geometric construction of almost difference sets. $F= K_{2,t}$ if $m$ and the corresponding Zarankiewicz number differs by $Cn\sqrt{n}$ we prove asymptotically sharp results. We also study stability questions and point out the connections to covering and packing block designs.
△ Less
Submitted 25 November, 2017;
originally announced November 2017.
-
Coupon-Coloring and total domination in Hamiltonian planar triangulations
Authors:
Zoltán Lóránt Nagy
Abstract:
We consider the so-called coupon-coloring of the vertices of a graph where every color appears in every open neighborhood, and our aim is to determine the maximal number of colors in such colorings. In other words, every color class must be a total dominating set in the graph and we study the total domatic number of the graph. We determine this parameter in every maximal outerplanar graph, and sho…
▽ More
We consider the so-called coupon-coloring of the vertices of a graph where every color appears in every open neighborhood, and our aim is to determine the maximal number of colors in such colorings. In other words, every color class must be a total dominating set in the graph and we study the total domatic number of the graph. We determine this parameter in every maximal outerplanar graph, and show that every Hamiltonian maximal planar graph has domatic number at least two, partially answering a conjecture of Goddard and Henning.
△ Less
Submitted 5 August, 2017;
originally announced August 2017.
-
Transversals in generalized Latin squares
Authors:
János Barát,
Zoltán Lóránt Nagy
Abstract:
We are seeking a sufficient condition that forces a transversal in a generalized Latin square. A generalized Latin square of order $n$ is equivalent to a proper edge-coloring of $K_{n,n}$. A transversal corresponds to a multicolored perfect matching. Akbari and Alipour defined $l(n)$ as the least integer such that every properly edge-colored $K_{n,n}$, which contains at least $l(n)$ different colo…
▽ More
We are seeking a sufficient condition that forces a transversal in a generalized Latin square. A generalized Latin square of order $n$ is equivalent to a proper edge-coloring of $K_{n,n}$. A transversal corresponds to a multicolored perfect matching. Akbari and Alipour defined $l(n)$ as the least integer such that every properly edge-colored $K_{n,n}$, which contains at least $l(n)$ different colors, admits a multicolored perfect matching. They conjectured that $l(n)\leq n^2/2$ if $n$ is large enough. In this note we prove that $l(n)$ is bounded from above by $0.75n^2$ if $n>1$. We point out a connection to anti-Ramsey problems. We propose a conjecture related to a well-known result by Woolbright and Fu, that every proper edge-coloring of $K_{2n}$ admits a multicolored $1$-factor.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Saturating sets in projective planes and hypergraph covers
Authors:
Zoltán Lóránt Nagy
Abstract:
Let $Π_q$ be an arbitrary finite projective plane of order $q$. A subset $S$ of its points is called saturating if any point outside $S$ is collinear with a pair of points from $S$. Applying probabilistic tools we improve the upper bound on the smallest possible size of the saturating set to $\lceil\sqrt{3q\ln{q}}\rceil+ \lceil(\sqrt{q}+1)/2\rceil$. The same result is presented using an algorithmi…
▽ More
Let $Π_q$ be an arbitrary finite projective plane of order $q$. A subset $S$ of its points is called saturating if any point outside $S$ is collinear with a pair of points from $S$. Applying probabilistic tools we improve the upper bound on the smallest possible size of the saturating set to $\lceil\sqrt{3q\ln{q}}\rceil+ \lceil(\sqrt{q}+1)/2\rceil$. The same result is presented using an algorithmic approach as well, which points out the connection with the transversal number of uniform multiple intersecting hypergraphs.
△ Less
Submitted 25 November, 2017; v1 submitted 5 January, 2017;
originally announced January 2017.
-
Partition dimension of projective planes
Authors:
Zoltán Blázsik,
Zoltán Lóránt Nagy
Abstract:
We determine the partition dimension of the incidence graph $G(Π_q)$ of the projective plane $Π_q$ up to a constant factor $2$ as $(2+o(1))\log_2{q}\leq \mathrm{pd}(G(Π_q))\leq (4+o(1))\log_2{q}.$
We determine the partition dimension of the incidence graph $G(Π_q)$ of the projective plane $Π_q$ up to a constant factor $2$ as $(2+o(1))\log_2{q}\leq \mathrm{pd}(G(Π_q))\leq (4+o(1))\log_2{q}.$
△ Less
Submitted 29 November, 2016;
originally announced November 2016.
-
Phase transition in a double branching annihilating random walk
Authors:
Attila László Nagy
Abstract:
This paper investigates the long-time behavior of double branching annihilating random walkers with nearest-neighbor dependent rates. The system consists of even number of particles which can execute nearest-neighbor random walk and they can as well give birth in a parity conserving manner to two other particles with rates $1$ and $b$, respectively, until they meet. Upon meeting, each of the adjac…
▽ More
This paper investigates the long-time behavior of double branching annihilating random walkers with nearest-neighbor dependent rates. The system consists of even number of particles which can execute nearest-neighbor random walk and they can as well give birth in a parity conserving manner to two other particles with rates $1$ and $b$, respectively, until they meet. Upon meeting, each of the adjacent particles can branch with rate $p\cdot b$ while it can annihilate, i.e. hop on, the other particle with rate $p$ for some $0< p\leq 1$. This process first appeared in the article by D. ben Avraham, F. Leyvraz and S. Redner (Propagation and extinction in branching annihilating random walks, Phys. Rev. E 50(3), 1994) and can be considered as the extension of Sudbury's model (The branching annihilating process: an interacting particle system, Ann. Probab., 18(2), 1990). We prove that in some region of the parameters $(p,b)$, the process survives with positive probability. Combining with Sudbury's extinction result it shows a phase transition phenomenon for this model. In some sense our result also shows the sharpness of the assumptions of the article by M. Balázs and A. L. Nagy (Dependent double branching annihilating random walk, Electron. J. Probab., 20(84), 2015). We use similar arguments that was developed by M. Bramson and L. Gray in their article titled "The survival of branching annihilating random walk" (Z. Wahrsch. Verw. Gebiete, 68(4), 1985).
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Dominating sets in projective planes
Authors:
Tamás Héger,
Zoltán Lóránt Nagy
Abstract:
We describe small dominating sets of the incidence graphs of finite projective planes by establishing a stability result which shows that dominating sets are strongly related to blocking and covering sets. Our main result states that if a dominating set in a projective plane of order $q>81$ is smaller than $2q+2[\sqrt{q}]+2$ (i.e., twice the size of a Baer subplane), then it contains either all bu…
▽ More
We describe small dominating sets of the incidence graphs of finite projective planes by establishing a stability result which shows that dominating sets are strongly related to blocking and covering sets. Our main result states that if a dominating set in a projective plane of order $q>81$ is smaller than $2q+2[\sqrt{q}]+2$ (i.e., twice the size of a Baer subplane), then it contains either all but possibly one points of a line or all but possibly one lines through a point. Furthermore, we completely characterize dominating sets of size at most $2q+\sqrt{q}+1$. In Desarguesian planes, we could rely on strong stability results on blocking sets to show that if a dominating set is sufficiently smaller than 3q, then it consists of the union of a blocking set and a covering set apart from a few points and lines.
△ Less
Submitted 9 March, 2016;
originally announced March 2016.
-
Coexistence of shocks and rarefaction fans: complex phase diagram of a simple hyperbolic particle system
Authors:
Márton Balázs,
Attila László Nagy,
Bálint Tóth,
István Tóth
Abstract:
This paper investigates the non-equilibrium hydrodynamic behavior of a simple totally asymmetric interacting particle system of particles, antiparticles and holes on $\mathbb{Z}$. Rigorous hydrodynamic results apply to our model with a hydrodynamic flux that is exactly calculated and shown to change convexity in some region of the model parameters. We then characterize the entropy solutions of the…
▽ More
This paper investigates the non-equilibrium hydrodynamic behavior of a simple totally asymmetric interacting particle system of particles, antiparticles and holes on $\mathbb{Z}$. Rigorous hydrodynamic results apply to our model with a hydrodynamic flux that is exactly calculated and shown to change convexity in some region of the model parameters. We then characterize the entropy solutions of the hydrodynamic equation with step initial condition in this scenario which include various mixtures of rarefaction fans and shock waves. We highlight how the phase diagram of the model changes by varying the model parameters.
△ Less
Submitted 12 September, 2016; v1 submitted 9 January, 2016;
originally announced January 2016.