-
Moments of nucleon generalized parton distributions from lattice QCD simulations at physical pion mass
Authors:
C. Alexandrou,
S. Bacchio,
M. Constantinou,
P. Dimopoulos,
J. Finkenrath,
R. Frezzotti,
K. Hadjiyiannakou,
K. Jansen,
B. Kostrzewa,
G. Koutsou,
C. Lauer,
C. Urbach
Abstract:
We present results for the moments of nucleon isovector vector and axial generalised parton distribution functions computed within lattice QCD. Three ensembles of maximally twisted mass clover-improved fermions simulated with a physical value of the pion mass are analyzed. Two of these ensembles are generated using two degenerate light quarks. A third ensemble is used having, in addition to the li…
▽ More
We present results for the moments of nucleon isovector vector and axial generalised parton distribution functions computed within lattice QCD. Three ensembles of maximally twisted mass clover-improved fermions simulated with a physical value of the pion mass are analyzed. Two of these ensembles are generated using two degenerate light quarks. A third ensemble is used having, in addition to the light quarks, strange and charm quarks in the sea. A careful analysis of the convergence to the ground state is carried out that is shown to be essential for extracting the correct nucleon matrix elements. This allows a controlled determination of the unpolarised, helicity and tensor second Mellin moments. The vector and axial-vector generalised form factors are also computed as a function of the momentum transfer square up to about 1 GeV$^2$. The three ensembles allow us to check for unquenching effects and to assess lattice finite volume effects.
△ Less
Submitted 2 March, 2020; v1 submitted 28 August, 2019;
originally announced August 2019.
-
Topological vacuum structure of the Schwinger model with matrix product states
Authors:
Lena Funcke,
Karl Jansen,
Stefan Kühn
Abstract:
We numerically study the single-flavor Schwinger model with a topological $θ$-term, which is practically inaccessible by standard lattice Monte Carlo simulations due to the sign problem. By using numerical methods based on tensor networks, especially the one-dimensional matrix product states, we explore the non-trivial $θ$-dependence of several lattice and continuum quantities in the Hamiltonian f…
▽ More
We numerically study the single-flavor Schwinger model with a topological $θ$-term, which is practically inaccessible by standard lattice Monte Carlo simulations due to the sign problem. By using numerical methods based on tensor networks, especially the one-dimensional matrix product states, we explore the non-trivial $θ$-dependence of several lattice and continuum quantities in the Hamiltonian formulation. In particular, we compute the ground-state energy, the electric field, the chiral fermion condensate, and the topological vacuum susceptibility for positive, zero, and even negative fermion mass. In the chiral limit, we demonstrate that the continuum model becomes independent of the vacuum angle $θ$, thus respecting CP invariance, while lattice artifacts still depend on $θ$. We also confirm that negative masses can be mapped to positive masses by shifting $θ\rightarrow θ+π$ due to the axial anomaly in the continuum, while lattice artifacts non-trivially distort this map**. This mass regime is particularly interesting for the (3+1)-dimensional QCD analog of the Schwinger model, the sign problem of which requires the development and testing of new numerical techniques beyond the conventional Monte Carlo approach.
△ Less
Submitted 12 March, 2020; v1 submitted 1 August, 2019;
originally announced August 2019.
-
Parton distribution functions of $Δ^+$ on the lattice
Authors:
Yahui Chai,
Yuan Li,
Shicheng Xia,
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Xu Feng,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Giannis Koutsou,
Chuan Liu,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We present results for renormalized matrix elements related to the unpolarized quasi-distribution function of the $Δ^+$ baryon making use of the large momentum effective theory. Two ensembles of $N_f=2+1+1$ twisted mass fermions with a clover term and pion masses of 250 MeV and 330 MeV are analyzed. We employ momentum smearing to improve the overlap with the boosted $Δ$ state significantly reducin…
▽ More
We present results for renormalized matrix elements related to the unpolarized quasi-distribution function of the $Δ^+$ baryon making use of the large momentum effective theory. Two ensembles of $N_f=2+1+1$ twisted mass fermions with a clover term and pion masses of 250 MeV and 330 MeV are analyzed. We employ momentum smearing to improve the overlap with the boosted $Δ$ state significantly reducing in this way the statistical error of both two- and three-point functions.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Inapproximability Results for Scheduling with Interval and Resource Restrictions
Authors:
Marten Maack,
Klaus Jansen
Abstract:
In the restricted assignment problem, the input consists of a set of machines and a set of jobs each with a processing time and a subset of eligible machines. The goal is to find an assignment of the jobs to the machines minimizing the makespan, that is, the maximum summed up processing time any machine receives. Herein, jobs should only be assigned to those machines on which they are eligible. It…
▽ More
In the restricted assignment problem, the input consists of a set of machines and a set of jobs each with a processing time and a subset of eligible machines. The goal is to find an assignment of the jobs to the machines minimizing the makespan, that is, the maximum summed up processing time any machine receives. Herein, jobs should only be assigned to those machines on which they are eligible. It is well-known that there is no polynomial time approximation algorithm with an approximation guarantee of less than 1.5 for the restricted assignment problem unless P=NP. In this work, we show hardness results for variants of the restricted assignment problem with particular types of restrictions.
In the case of interval restrictions the machines can be totally ordered such that jobs are eligible on consecutive machines. We resolve the open question of whether the problem admits a polynomial time approximation scheme (PTAS) in the negative (unless P=NP). There are several special cases of this problem known to admit a PTAS.
Furthermore, we consider a variant with resource restriction where each machine has capacities and each job demands for a fixed number of resources. A job is eligible on a machine if its demand is at most the capacity of the machine for each resource. For one resource, this problem is known to admit a PTAS, for two, the case of interval restrictions is contained, and in general, the problem is closely related to unrelated scheduling with a low rank processing time matrix. We show that there is no polynomial time approximation algorithm with a rate smaller than 48/47 or 1.5 for scheduling with resource restrictions with 2 or 4 resources, respectively, unless P=NP. All our results can be extended to the so called Santa Claus variants of the problems where the goal is to maximize the minimal processing time any machine receives.
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
NeoGuard: a public, online learning platform for neonatal seizures
Authors:
Amir Hossein Ansari,
Perumpillichira Joseph Cherian,
Alexander Caicedo,
Anneleen Dereymaeker,
Katrien Jansen,
Leen De Wispelaere,
Charlotte Dielman,
Jan Vervisch,
Paul Govaert,
Maarten De Vos,
Gunnar Naulaers,
Sabine Van Huffel
Abstract:
Seizures occur in the neonatal period more frequently than other periods of life and usually denote the presence of serious brain dysfunction. The gold standard for detecting seizures is based on visual inspection of continuous electroencephalogram (cEEG) complemented by video analysis, performed by an expert clinical neurophysiologist. Previous studies have reported varying degree of agreement be…
▽ More
Seizures occur in the neonatal period more frequently than other periods of life and usually denote the presence of serious brain dysfunction. The gold standard for detecting seizures is based on visual inspection of continuous electroencephalogram (cEEG) complemented by video analysis, performed by an expert clinical neurophysiologist. Previous studies have reported varying degree of agreement between expert EEG readers, with kappa coefficients ranging from 0.4 to 0.85, calling into question the validity of visual scoring. This variability in visual scoring of neonatal seizures may be due to factors such as reader expertise and the nature of expressed patterns. One of the possible reasons for low inter-rater agreement is the absence of any benchmark for the EEG readers to be able to compare their opinions. One way to develop this is to use a shared multi-center neonatal seizure database and use the inputs from multiple experts. This will also improve the teaching of trainees, and help to avoid potential bias from a single expert's opinion. In this paper, we introduce and explain the NeoGuard public learning platform that can be used by trainees, tutors, and expert EEG readers who are interested to test their knowledge and learn from neonatal EEG-polygraphic segments scored by several expert EEG readers. For this platform, 1919 clinically relevant segments, totaling 280h, recorded from 71 term neonates in two centers, including a wide variety of seizures and artifacts were used. These segments were scored by 4 EEG readers from three different centers. Users of this platform can score an arbitrary number of segments and then test their scoring with the experts' opinions. The kappa and joint probability of agreement, is then shown as inter-rater agreement metrics between the user and each of the experts. The platform is publicly available at the NeoGuard website (www.neoguard.net).
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Approximation results for makespan minimization with budgeted uncertainty
Authors:
Marin Bougeret,
Klaus Jansen,
Michael Poss,
Lars Rohwedder
Abstract:
We study approximation algorithms for the problem of minimizing the makespan on a set of machines with uncertainty on the processing times of jobs. In the model we consider, which goes back to~\cite{BertsimasS03}, once the schedule is defined an adversary can pick a scenario where deviation is added to some of the jobs' processing times. Given only the maximal cardinality of these jobs, and the ma…
▽ More
We study approximation algorithms for the problem of minimizing the makespan on a set of machines with uncertainty on the processing times of jobs. In the model we consider, which goes back to~\cite{BertsimasS03}, once the schedule is defined an adversary can pick a scenario where deviation is added to some of the jobs' processing times. Given only the maximal cardinality of these jobs, and the magnitude of potential deviation for each job, the goal is to optimize the worst-case scenario. We consider both the cases of identical and unrelated machines. Our main result is an EPTAS for the case of identical machines. We also provide a $3$-approximation algorithm and an inapproximability ratio of $2-ε$ for the case of unrelated machines
△ Less
Submitted 21 May, 2019;
originally announced May 2019.
-
Robust Online Algorithms for Dynamic Problems
Authors:
Sebastian Berndt,
Valentin Dreismann,
Kilian Grage,
Klaus Jansen,
Ingmar Knof
Abstract:
Online algorithms that allow a small amount of migration or recourse have been intensively studied in the last years. They are essential in the design of competitive algorithms for dynamic problems, where objects can also depart from the instance. In this work, we give a general framework to obtain so called robust online algorithms for these dynamic problems: these online algorithm achieve an asy…
▽ More
Online algorithms that allow a small amount of migration or recourse have been intensively studied in the last years. They are essential in the design of competitive algorithms for dynamic problems, where objects can also depart from the instance. In this work, we give a general framework to obtain so called robust online algorithms for these dynamic problems: these online algorithm achieve an asymptotic competitive ratio of $γ+ε$ with migration $O(1/ε)$, where $γ$ is the best known offline asymptotic approximation ratio. In order to use our framework, one only needs to construct a suitable online algorithm for the static online case, where items never depart. To show the usefulness of our approach, we improve upon the best known robust algorithms for the dynamic versions of generalizations of Strip Packing and Bin Packing, including the first robust algorithm for general $d$-dimensional Bin Packing and Vector Packing.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Investigating volume effects for N$_f$=2 twisted clover fermions at the physical point
Authors:
Constantia Alexandrou,
Simone Bacchio,
Martha Constantinou,
Dean Howarth,
Colin Lauer,
Kyriakos Hadjiyiannakou,
Giannis Koutsou,
Karl Jansen
Abstract:
In this work we present preliminary results on the nucleon axial and tensor charges, the quark momentum fraction and the first moment of the helicity distribution. The simulations have been performed using two $N_f{=}2$ and $N_f{=}2{+}1{+}1$ ensembles. Both ensembles have a twisted mass action with a clover term with the quark masses fixed at their physical values (physical point) and volumes of…
▽ More
In this work we present preliminary results on the nucleon axial and tensor charges, the quark momentum fraction and the first moment of the helicity distribution. The simulations have been performed using two $N_f{=}2$ and $N_f{=}2{+}1{+}1$ ensembles. Both ensembles have a twisted mass action with a clover term with the quark masses fixed at their physical values (physical point) and volumes of $64^3{\times}128$. The extracted quantities are compared with results from an existing $N_f{=}2$ ($48^3{\times}96$) ensemble. This comparison allows one to address volume and quenching effects.
△ Less
Submitted 24 April, 2019; v1 submitted 22 April, 2019;
originally announced April 2019.
-
Online Bin Covering with Limited Migration
Authors:
Sebastian Berndt,
Leah Epstein,
Klaus Jansen,
Asaf Levin,
Marten Maack,
Lars Rohwedder
Abstract:
Semi-online models where decisions may be revoked in a limited way have been studied extensively in the last years.
This is motivated by the fact that the pure online model is often too restrictive to model real-world applications, where some changes might be allowed. A well-studied measure of the amount of decisions that can be revoked is the migration factor $β$: When an object $o$ of size…
▽ More
Semi-online models where decisions may be revoked in a limited way have been studied extensively in the last years.
This is motivated by the fact that the pure online model is often too restrictive to model real-world applications, where some changes might be allowed. A well-studied measure of the amount of decisions that can be revoked is the migration factor $β$: When an object $o$ of size $s(o)$ arrives, the decisions for objects of total size at most $β\cdot s(o)$ may be revoked. Usually $β$ should be a constant. This means that a small object only leads to small changes. This measure has been successfully investigated for different, classic problems such as bin packing or makespan minimization. The dual of makespan minimization - the Santa Claus or machine covering problem - has also been studied, whereas the dual of bin packing - the bin covering problem - has not been looked at from such a perspective.
In this work, we extensively study the bin covering problem with migration in different scenarios. We develop algorithms both for the static case - where only insertions are allowed - and for the dynamic case, where items may also depart. We also develop lower bounds for these scenarios both for amortized migration and for worst-case migration showing that our algorithms have nearly optimal migration factor and asymptotic competitive ratio (up to an arbitrary small $\eps$). We therefore resolve the competitiveness of the bin covering problem with migration.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
Integrating Gauge Fields in the $ζ$-formulation of Feynman's path integral
Authors:
Tobias Hartung,
Karl Jansen
Abstract:
In recent work by the authors, a connection between Feynman's path integral and Fourier integral operator $ζ$-functions has been established as a means of regularizing the vacuum expectation values in quantum field theories. However, most explicit examples using this regularization technique to date, do not consider gauge fields in detail. Here, we address this gap by looking at some well-known ph…
▽ More
In recent work by the authors, a connection between Feynman's path integral and Fourier integral operator $ζ$-functions has been established as a means of regularizing the vacuum expectation values in quantum field theories. However, most explicit examples using this regularization technique to date, do not consider gauge fields in detail. Here, we address this gap by looking at some well-known physical examples of quantum fields from the Fourier integral operator $ζ$-function point of view.
△ Less
Submitted 28 March, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Linear Time Algorithms for Multiple Cluster Scheduling and Multiple Strip Packing
Authors:
Klaus Jansen,
Malin Rau
Abstract:
We study the Multiple Cluster Scheduling problem and the Multiple Strip Packing problem. For both problems, there is no algorithm with approximation ratio better than $2$ unless $P = NP$. In this paper, we present an algorithm with approximation ratio $2$ and running time $O(n)$ for both problems. While a $2$ approximation was known before, the running time of the algorithm is at least…
▽ More
We study the Multiple Cluster Scheduling problem and the Multiple Strip Packing problem. For both problems, there is no algorithm with approximation ratio better than $2$ unless $P = NP$. In this paper, we present an algorithm with approximation ratio $2$ and running time $O(n)$ for both problems. While a $2$ approximation was known before, the running time of the algorithm is at least $Ω(n^{256})$ in the worst case. Therefore, an $O(n)$ algorithm is surprising and the best possible. We archive this result by calling an AEPTAS with approximation guarantee $(1+\varepsilon)OPT +p_{\max}$ and running time of the form $O(n\log(1/\varepsilon)+ f(1/\varepsilon))$ with a constant $\varepsilon$ to schedule the jobs on a single cluster. This schedule is then distributed on the $N$ clusters in $O(n)$. Moreover, this distribution technique can be applied to any variant of of Multi Cluster Scheduling for which there exists an AEPTAS with additive term $p_{\max}$.
While the above result is strong from a theoretical point of view, it might not be very practical due to a large hidden constant caused by calling an AEPTAS with a constant $\varepsilon \geq 1/8$ as subroutine. Nevertheless, we point out that the general approach of finding first a schedule on one cluster and then distributing it onto the other clusters might come in handy in practical approaches. We demonstrate this by presenting a practical algorithm with running time $O(n\log(n))$, with out hidden constants, that is a $9/4$-approximation for one third of all possible instances, i.e, all instances where the number of clusters is dividable by $3$, and has an approximation ratio of at most $2.3$ for all instances with at least $9$ clusters.
△ Less
Submitted 9 February, 2019;
originally announced February 2019.
-
Systematic uncertainties in parton distribution functions from lattice QCD simulations at the physical point
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We present a detailed study of the helicity-dependent and helicity-independent collinear parton distribution functions (PDFs) of the nucleon, using the quasi-PDF approach. The lattice QCD computation is performed employing twisted mass fermions with a physical value of the light quark mass. We give a systematic and in-depth account of the salient features entering in the evaluation of quasi-PDFs a…
▽ More
We present a detailed study of the helicity-dependent and helicity-independent collinear parton distribution functions (PDFs) of the nucleon, using the quasi-PDF approach. The lattice QCD computation is performed employing twisted mass fermions with a physical value of the light quark mass. We give a systematic and in-depth account of the salient features entering in the evaluation of quasi-PDFs and their relation to the light-cone PDFs. In particular, we give details for the computation of the matrix elements, including the study of the various sources of systematic uncertainties, such as excited states contamination. In addition, we discuss the non-perturbative renormalization scheme used here and its systematics, effects of truncating the Fourier transform and different matching prescriptions.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Proton and neutron electromagnetic form factors from lattice QCD
Authors:
C. Alexandrou,
S. Bacchio,
M. Constantinou,
J. Finkenrath,
K. Hadjiyiannakou,
K. Jansen,
G. Koutsou,
A. Vaquero Aviles Casco
Abstract:
The electromagnetic form factors of the proton and the neutron are computed within lattice QCD using simulations with quarks masses fixed to their physical values. Both connected and disconnected contributions are computed. We analyze two new ensembles of $N_f = 2$ and $N_f = 2 + 1 + 1$ twisted mass clover-improved fermions and determine the proton and neutron form factors, the electric and magnet…
▽ More
The electromagnetic form factors of the proton and the neutron are computed within lattice QCD using simulations with quarks masses fixed to their physical values. Both connected and disconnected contributions are computed. We analyze two new ensembles of $N_f = 2$ and $N_f = 2 + 1 + 1$ twisted mass clover-improved fermions and determine the proton and neutron form factors, the electric and magnetic radii, and the magnetic moments. We use several values of the sink-source time separation in the range of 1.0 fm to 1.6 fm to ensure ground state identification. Disconnected contributions are calculated to an unprecedented accuracy at the physical point. Although they constitute a small correction, they are non-negligible and contribute up to 15% for the case of the neutron electric charge radius.
△ Less
Submitted 27 August, 2019; v1 submitted 26 December, 2018;
originally announced December 2018.
-
O(3) nonlinear sigma model in 1+1 dimensions with matrix product states
Authors:
Falk Bruckmann,
Karl Jansen,
Stefan Kühn
Abstract:
We numerically study the spectral properties, the entanglement and the zero-temperature phase structure at nonvanishing chemical potential of the O(3) nonlinear sigma model. Using matrix product states, a particular kind of one-dimensional tensor network state, we show that we are able to reach the asymptotic scaling regime and to reproduce the analytical predictions for the mass gap at vanishing…
▽ More
We numerically study the spectral properties, the entanglement and the zero-temperature phase structure at nonvanishing chemical potential of the O(3) nonlinear sigma model. Using matrix product states, a particular kind of one-dimensional tensor network state, we show that we are able to reach the asymptotic scaling regime and to reproduce the analytical predictions for the mass gap at vanishing chemical potential. In addition, we study the scaling of the entanglement entropy towards the continuum limit obtaining a central charge consistent with 2. Moreover, our approach does not suffer from the sign problem and we also explore the phase structure of the model for nonzero chemical potential and map out the location of the transitions between different charge sectors with high precision.
△ Less
Submitted 4 April, 2019; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Finite-size scaling for four-dimensional Higgs-Yukawa model near the Gaussian fixed point
Authors:
David Y. -J Chu,
Karl Jansen,
Bastian Knippschild,
C. -J. David Lin
Abstract:
We analyse finite-size scaling behaviour of a four-dimensional Higgs-Yukawa model near the Gaussian infrared fixed point. Through improving the mean-field scaling laws by solving one-loop renormalisation group equations, the triviality property of this model can be manifested in the volume-dependence of moments of the scalar-field zero mode. The scaling formulae for the moments are derived in this…
▽ More
We analyse finite-size scaling behaviour of a four-dimensional Higgs-Yukawa model near the Gaussian infrared fixed point. Through improving the mean-field scaling laws by solving one-loop renormalisation group equations, the triviality property of this model can be manifested in the volume-dependence of moments of the scalar-field zero mode. The scaling formulae for the moments are derived in this work with the inclusion of the leading-logarithmic corrections. To test these formulae, we confront them with data from lattice simulations in a simpler model, namely the O(4) pure scalar theory, and find numerical evidence of good agreement. Our results of the finite-size scaling can in principle be employed to establish triviality of Higgs-Yukawa models, or to search for alternative scenarios in studying their fixed-point structure, if sufficiently large lattices can be reached.
△ Less
Submitted 16 January, 2019; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Quasi-PDFs from Twisted mass fermions at the physical point
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We present results for the flavor non-singlet u-d parton distribution functions within the nucleon using the quasi-PDF approach. The lattice calculation is performed by employing the twisted mass formulation and two gauge ensembles, having $N_f = 2$ and $N_f = 2 + 1 + 1$ dynamical fermions with masses tuned to their physical value. For the $N_f = 2$ physical point ensemble, the unpolarized, helici…
▽ More
We present results for the flavor non-singlet u-d parton distribution functions within the nucleon using the quasi-PDF approach. The lattice calculation is performed by employing the twisted mass formulation and two gauge ensembles, having $N_f = 2$ and $N_f = 2 + 1 + 1$ dynamical fermions with masses tuned to their physical value. For the $N_f = 2$ physical point ensemble, the unpolarized, helicity and transversity distributions are computed for three values of the nucleon momentum, namely [6, 8, 10]$π/L$ corresponding to [0.83,1.11,1.38] GeV. Upon renormalization, we find that, as the nucleon momentum increases, the lattice results approach the phenomenological distributions resulting from analyses of deep inelastic scattering data, opening a promising path for a direct evaluation of parton distributions from the QCD Lagrangian. For the $N_f = 2 + 1 + 1$ physical point ensemble, we present preliminary results for the unpolarized distribution extracted from a nucleon boosted by $8π/L$ or 0.97 GeV.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Light-cone PDFs from Lattice QCD
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Aurora Scapellato,
Fernanda Steffens
Abstract:
Using the approach proposed a few years ago by X. Ji, it has become feasible to extract parton distribution functions (PDFs) from lattice QCD, a task thought to be extremely difficult before Ji's proposal. In this talk, we discuss this approach, in particular different systematic effects that need to be controlled to ultimately have precise determinations of PDFs. Special attention is paid to the…
▽ More
Using the approach proposed a few years ago by X. Ji, it has become feasible to extract parton distribution functions (PDFs) from lattice QCD, a task thought to be extremely difficult before Ji's proposal. In this talk, we discuss this approach, in particular different systematic effects that need to be controlled to ultimately have precise determinations of PDFs. Special attention is paid to the analysis of excited states. We emphasize that it is crucial to control excited states contamination and we show an analysis thereof for our lattice data, used to calculate quasi-PDFs and finally light-cone PDFs in the second part of this proceeding (C. Alexandrou et al., Quasi-PDFs from Twisted mass fermions at the physical point).
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Local search breaks 1.75 for Graph Balancing
Authors:
Klaus Jansen,
Lars Rohwedder
Abstract:
Graph Balancing is the problem of orienting the edges of a weighted multigraph so as to minimize the maximum weighted in-degree. Since the introduction of the problem the best algorithm known achieves an approximation ratio of $1.75$ and it is based on rounding a linear program with this exact integrality gap. It is also known that there is no $(1.5 - ε)$-approximation algorithm, unless…
▽ More
Graph Balancing is the problem of orienting the edges of a weighted multigraph so as to minimize the maximum weighted in-degree. Since the introduction of the problem the best algorithm known achieves an approximation ratio of $1.75$ and it is based on rounding a linear program with this exact integrality gap. It is also known that there is no $(1.5 - ε)$-approximation algorithm, unless $\mathrm{P}=\mathrm{NP}$. Can we do better than $1.75$? We prove that a different LP formulation, the configuration LP, has a strictly smaller integrality gap. Graph Balancing was the last one in a group of related problems from literature, for which it was open whether the configuration LP is stronger than previous, simple LP relaxations. We base our proof on a local search approach that has been applied successfully to the more general Restricted Assignment problem, which in turn is a prominent special case of makespan minimization on unrelated machines. With a number of technical novelties we are able to obtain a bound of $1.749$ for the case of Graph Balancing. It is not clear whether the local search algorithm we present terminates in polynomial time, which means that the bound is non-constructive. However, it is a strong evidence that a better approximation algorithm is possible using the configuration LP and it allows the optimum to be estimated within a factor better than $1.75$. A particularly interesting aspect of our techniques is the way we handle small edges in the local search. We manage to exploit the configuration constraints enforced on small edges in the LP. This may be of interest to other problems such as Restricted Assignment as well.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
Near-Linear Time Algorithm for n-fold ILPs via Color Coding
Authors:
Klaus Jansen,
Alexandra Lassota,
Lars Rohwedder
Abstract:
We study an important case of ILPs $\max\{c^Tx \ \vert\ \mathcal Ax = b, l \leq x \leq u,\, x \in \mathbb{Z}^{n t} \} $ with $n\cdot t$ variables and lower and upper bounds $\ell, u\in\mathbb Z^{nt}$. In $n$-fold ILPs non-zero entries only appear in the first $r$ rows of the matrix $\mathcal A$ and in small blocks of size $s\times t$ along the diagonal underneath. Despite this restriction many opt…
▽ More
We study an important case of ILPs $\max\{c^Tx \ \vert\ \mathcal Ax = b, l \leq x \leq u,\, x \in \mathbb{Z}^{n t} \} $ with $n\cdot t$ variables and lower and upper bounds $\ell, u\in\mathbb Z^{nt}$. In $n$-fold ILPs non-zero entries only appear in the first $r$ rows of the matrix $\mathcal A$ and in small blocks of size $s\times t$ along the diagonal underneath. Despite this restriction many optimization problems can be expressed in this form. It is known that $n$-fold ILPs can be solved in FPT time regarding the parameters $s, r,$ and $Δ$, where $Δ$ is the greatest absolute value of an entry in $\mathcal A$. The state-of-the-art technique is a local search algorithm that subsequently moves in an improving direction. Both, the number of iterations and the search for such an improving direction take time $Ω(n)$, leading to a quadratic running time in $n$. We introduce a technique based on Color Coding, which allows us to compute these improving directions in logarithmic time after a single initialization step. This leads to the first algorithm for $n$-fold ILPs with a running time that is near-linear in the number $nt$ of variables, namely $(rsΔ)^{O(r^2s + s^2)} L^2 \cdot nt \log^{O(1)}(nt)$, where $L$ is the encoding length of the largest integer in the input. In contrast to the algorithms in recent literature, we do not need to solve the LP relaxation in order to handle unbounded variables. Instead, we give a structural lemma to introduce appropriate bounds. If, on the other hand, we are given such an LP solution, the running time can be decreased by a factor of $L$.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
Tensor Networks and their use for Lattice Gauge Theories
Authors:
Mari Carmen Bañuls,
Krzysztof Cichy,
J. Ignacio Cirac,
Karl Jansen,
Stefan Kühn
Abstract:
Tensor Network States are ansätze for the efficient description of quantum many-body systems. Their success for one dimensional problems, together with the fact that they do not suffer from the sign problem and can address the simulation of real time evolution, have turned them into one of the most promising techniques to study strongly correlated systems. In the realm of Lattice Gauge Theories th…
▽ More
Tensor Network States are ansätze for the efficient description of quantum many-body systems. Their success for one dimensional problems, together with the fact that they do not suffer from the sign problem and can address the simulation of real time evolution, have turned them into one of the most promising techniques to study strongly correlated systems. In the realm of Lattice Gauge Theories they can offer an alternative to standard lattice Monte Carlo calculations, which are suited for static properties and regimes where no sign problem appears. The application of Tensor Networks to this kind of problems is a young but rapidly evolving research field. This paper reviews some of the recent progress in this area, and how, using one dimensional models as testbench, some fundamental milestones have been reached that may pave the way to more ambitious goals.
△ Less
Submitted 6 November, 2018; v1 submitted 30 October, 2018;
originally announced October 2018.
-
$\langle x\rangle$ and $\langle x^2\rangle$ of the pion PDF from Lattice QCD with $N_f=2+1+1$ dynamical quark flavours
Authors:
M. Oehm,
C. Alexandrou,
M. Constantinou,
K. Jansen,
G. Koutsou,
B. Kostrzewa,
F. Steffens,
C. Urbach,
S. Zafeiropoulos
Abstract:
Using Nf=2+1+1 lattice QCD, we determine the fermionic connected contributions to the second and third moment of the pion PDF. Based on gauge configurations from the European Twisted Mass Collaboration, chiral and continuum extrapolations are performed using pion masses in the range of 230 to 500 MeV and three values of the lattice spacing. Finite volume effects are investigated using different vo…
▽ More
Using Nf=2+1+1 lattice QCD, we determine the fermionic connected contributions to the second and third moment of the pion PDF. Based on gauge configurations from the European Twisted Mass Collaboration, chiral and continuum extrapolations are performed using pion masses in the range of 230 to 500 MeV and three values of the lattice spacing. Finite volume effects are investigated using different volumes. In order to avoid mixing under renormalisation for the third moment, we use an operator with two non-zero spatial components of momentum. Momenta are injected using twisted boundary conditions. Our final values read $\langle x\rangle=0.2075(106)$ and $\langle x^2\rangle=0.163(33)$, determined at 2 GeV in the $\overline{MS}$-scheme and with systematic and statistical uncertainties summend in quadrature.
△ Less
Submitted 19 February, 2021; v1 submitted 23 October, 2018;
originally announced October 2018.
-
An EPTAS for machine scheduling with bag-constraints
Authors:
Kilian Grage,
Klaus Jansen,
Kim Manuel Klein
Abstract:
Machine scheduling is a fundamental optimization problem in computer science. The task of scheduling a set of jobs on a given number of machines and minimizing the makespan is well studied and among other results, we know that EPTAS's for machine scheduling on identical machines exist. Das and Wiese initiated the research on a generalization of makespan minimization, that includes so called bag-co…
▽ More
Machine scheduling is a fundamental optimization problem in computer science. The task of scheduling a set of jobs on a given number of machines and minimizing the makespan is well studied and among other results, we know that EPTAS's for machine scheduling on identical machines exist. Das and Wiese initiated the research on a generalization of makespan minimization, that includes so called bag-constraints. In this variation of machine scheduling the given set of jobs is partitioned into subsets, so called bags. Given this partition a schedule is only considered feasible when on any machine there is at most one job from each bag.
Das and Wiese showed that this variant of machine scheduling admits a PTAS. We will improve on this result by giving the first EPTAS for the machine scheduling problem with bag-constraints. We achieve this result by using new insights on this problem and restrictions given by the bag-constraints. We show that, to gain an approximate solution, we can relax the bag-constraints and ignore some of the restrictions. Our EPTAS uses a new instance transformation that will allow us to schedule large and small jobs independently of each other for a majority of bags. We also show that it is sufficient to respect the bag-constraint only among a constant number of bags, when scheduling large jobs. With these observations our algorithm will allow for some conflicts when computing a schedule and we show how to repair the schedule in polynomial-time by swap** certain jobs around.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Near-Linear Approximation Algorithms for Scheduling Problems with Batch Setup Times
Authors:
Max A. Deppert,
Klaus Jansen
Abstract:
We investigate the scheduling of $n$ jobs divided into $c$ classes on $m$ identical parallel machines. For every class there is a setup time which is required whenever a machine switches from the processing of one class to another class. The objective is to find a schedule that minimizes the makespan. We give near-linear approximation algorithms for the following problem variants: the non-preempti…
▽ More
We investigate the scheduling of $n$ jobs divided into $c$ classes on $m$ identical parallel machines. For every class there is a setup time which is required whenever a machine switches from the processing of one class to another class. The objective is to find a schedule that minimizes the makespan. We give near-linear approximation algorithms for the following problem variants: the non-preemptive context where jobs may not be preempted, the preemptive context where jobs may be preempted but not parallelized, as well as the splittable context where jobs may be preempted and parallelized.
We present the first algorithm improving the previously best approximation ratio of $2$ to a better ratio of $3/2$ in the preemptive case. In more detail, for all three flavors we present an approximation ratio $2$ with running time $\mathcal{O}(n)$, ratio $3/2+\varepsilon$ in time $\mathcal{O}(n\log 1/\varepsilon)$ as well as a ratio of $3/2$. The $(3/2)$-approximate algorithms have different running times. In the non-preemptive case we get time $\mathcal{O}(n\log (n+Δ))$ where $Δ$ is the largest value of the input. The splittable approximation runs in time $\mathcal{O}(n+c\log(c+m))$ whereas the preemptive algorithm has a running time $\mathcal{O}(n \log (c+m)) \leq \mathcal{O}(n \log n)$. So far, no PTAS is known for the preemptive problem without restrictions, so we make progress towards that question. Recently Jansen et al. found an EPTAS for the splittable and non-preemptive case but with impractical running times exponential in $1/\varepsilon$.
△ Less
Submitted 1 May, 2019; v1 submitted 2 October, 2018;
originally announced October 2018.
-
Scheduling on (Un-)Related Machines with Setup Times
Authors:
Klaus Jansen,
Marten Maack,
Alexander Mäcker
Abstract:
We consider a natural generalization of scheduling $n$ jobs on $m$ parallel machines so as to minimize the makespan. In our extension the set of jobs is partitioned into several classes and a machine requires a setup whenever it switches from processing jobs of one class to jobs of a different class. During such a setup, a machine cannot process jobs and the duration of a setup may depend on the m…
▽ More
We consider a natural generalization of scheduling $n$ jobs on $m$ parallel machines so as to minimize the makespan. In our extension the set of jobs is partitioned into several classes and a machine requires a setup whenever it switches from processing jobs of one class to jobs of a different class. During such a setup, a machine cannot process jobs and the duration of a setup may depend on the machine as well as the class of the job to be processed next.
For this problem, we study approximation algorithms for non-identical machines. We develop a polynomial-time approximation scheme for uniformly related machines. For unrelated machines we obtain an $O(\log n + \log m)$-approximation, which we show to be optimal (up to constant factors) unless $NP \subset RP$. We also identify two special cases that admit constant factor approximations.
△ Less
Submitted 27 September, 2018;
originally announced September 2018.
-
Zeta-regularized vacuum expectation values
Authors:
Tobias Hartung,
Karl Jansen
Abstract:
It has recently been shown that vacuum expectation values and Feynman path integrals can be regularized using Fourier integral operator $ζ$-function, yet the physical meaning of these $ζ$-regularized objects was unknown.
Here we show that $ζ$-regularized vacuum expectations appear as continuum limits using a certain discretization scheme. Furthermore, we study the rate of convergence for the dis…
▽ More
It has recently been shown that vacuum expectation values and Feynman path integrals can be regularized using Fourier integral operator $ζ$-function, yet the physical meaning of these $ζ$-regularized objects was unknown.
Here we show that $ζ$-regularized vacuum expectations appear as continuum limits using a certain discretization scheme. Furthermore, we study the rate of convergence for the discretization scheme using the example of a one-dimensional hydrogen atom in $(-π,π)$ which we evaluate classically, using the Rigetti Quantum Virtual Machine, and on the Rigetti 8Q quantum chip "Agave" device. We also provide the free radiation field as an example for the computation of $ζ$-regularized vacuum expectation values in a gauge theory.
△ Less
Submitted 15 August, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
A Hybrid Monte Carlo algorithm for sampling rare events in space-time histories of stochastic fields
Authors:
G. Margazoglou,
L. Biferale,
R. Grauer,
K. Jansen,
D. Mesterházy,
T. Rosenow,
R. Tripiccione
Abstract:
We introduce a variant of the Hybrid Monte Carlo (HMC) algorithm to address large-deviation statistics in stochastic hydrodynamics. Based on the path-integral approach to stochastic (partial) differential equations, our HMC algorithm samples space-time histories of the dynamical degrees of freedom under the influence of random noise. First, we validate and benchmark the HMC algorithm by reproducin…
▽ More
We introduce a variant of the Hybrid Monte Carlo (HMC) algorithm to address large-deviation statistics in stochastic hydrodynamics. Based on the path-integral approach to stochastic (partial) differential equations, our HMC algorithm samples space-time histories of the dynamical degrees of freedom under the influence of random noise. First, we validate and benchmark the HMC algorithm by reproducing multiscale properties of the one-dimensional Burgers equation driven by Gaussian and white-in-time noise. Second, we show how to implement an importance sampling protocol to significantly enhance, by orders of magnitudes, the probability to sample extreme and rare events, making it possible to estimate moments of field variables of extremely high order (up to 30 and more). By employing reweighting techniques, we map the biased configurations back to the original probability measure in order to probe their statistical importance. Finally, we show that by biasing the system towards very intense negative gradients, the HMC algorithm is able to explore the statistical fluctuations around instanton configurations. Our results will also be interesting and relevant in lattice gauge theory since they provide insight into reweighting techniques.
△ Less
Submitted 27 October, 2019; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Nucleon spin structure from lattice QCD
Authors:
Constantia Alexandrou,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Christos Kallidonis,
Giannis Koutsou,
Alejandro Vaquero Avilés-Casco
Abstract:
In this lattice QCD study we evaluate the nucleon spin decomposition to quarks and gluons contributions. We employ one gauge ensemble of maximally twisted mass fermions with two degenerate light quarks tuned to approximately reproduce the physical pion mass. We find that both spin sum and momentum sum are satisfied within the current statistical and systematic accuracy.
In this lattice QCD study we evaluate the nucleon spin decomposition to quarks and gluons contributions. We employ one gauge ensemble of maximally twisted mass fermions with two degenerate light quarks tuned to approximately reproduce the physical pion mass. We find that both spin sum and momentum sum are satisfied within the current statistical and systematic accuracy.
△ Less
Submitted 30 July, 2018;
originally announced July 2018.
-
Connected and disconnected contributions to nucleon axial form factors using $N_f=2$ twisted mass fermions at the physical point
Authors:
Constantia Alexandrou,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Christos Kallidonis,
Giannis Koutsou,
Alejandro Vaquero Avilés-Casco
Abstract:
We present results on the isovector and isoscalar nucleon axial form factors including disconnected contributions,using an ensemble of $N_f =2$ twisted mass clover- improved Wilson fermions simulated with approximately the physical value of the pion mass. The light disconnected quark loops are computed using exact deflation, while the strange and the charm quark loops are evaluated using the trunc…
▽ More
We present results on the isovector and isoscalar nucleon axial form factors including disconnected contributions,using an ensemble of $N_f =2$ twisted mass clover- improved Wilson fermions simulated with approximately the physical value of the pion mass. The light disconnected quark loops are computed using exact deflation, while the strange and the charm quark loops are evaluated using the truncated solver method. Techniques such as the summation and the two-state fits have been employed to access ground-state dominance.
△ Less
Submitted 30 July, 2018;
originally announced July 2018.
-
A note on the integrality gap of the configuration LP for restricted Santa Claus
Authors:
Klaus Jansen,
Lars Rohwedder
Abstract:
In the restricted Santa Claus problem we are given resources $\mathcal R$ and players $\mathcal P$. Every resource $j\in\mathcal R$ has a value $v_j$ and every player $i$ desires a set $\mathcal R(i)$ of resources. We are interested in distributing the resources to players that desire them. The quality of a solution is measured by the least happy player, i.e., the lowest sum of resource values. Th…
▽ More
In the restricted Santa Claus problem we are given resources $\mathcal R$ and players $\mathcal P$. Every resource $j\in\mathcal R$ has a value $v_j$ and every player $i$ desires a set $\mathcal R(i)$ of resources. We are interested in distributing the resources to players that desire them. The quality of a solution is measured by the least happy player, i.e., the lowest sum of resource values. This value should be maximized. The local search algorithm by Asadpour et al. and its connection to the configuration LP has proved itself to be a very influential technique for this and related problems. In the original proof, a local search was used to obtain a bound of $4$ for the ratio of the fractional to the integral optimum of the configuration LP (integrality gap). This bound is non-constructive since the local search has not been shown to terminate in polynomial time. On the negative side, the worst instance known has an integrality gap of $2$. Although much progress was made in this area, neither bound has been improved since. We present a better analysis that shows the integrality gap is not worse than $3 + 5/6 \approx 3.8333$.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Simulating twisted mass fermions at physical light, strange and charm quark masses
Authors:
Constantia Alexandrou,
Simone Bacchio,
Panagiotis Charalambous,
Petros Dimopoulos,
Jacob Finkenrath,
Roberto Frezzotti,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Giannis Koutsou,
Bartosz Kostrzewa,
Mariane Mangin-Brinet,
Giancarlo Rossi,
Silvano Simula,
Carsten Urbach
Abstract:
We present the QCD simulation of the first gauge ensemble of two degenerate light quarks, a strange and a charm quark with all quark masses tuned to their physical values within the twisted mass fermion formulation. Results for the pseudoscalar masses and decay constants confirm that the produced ensemble is indeed at the physical parameters of the theory. This conclusion is corroborated by a comp…
▽ More
We present the QCD simulation of the first gauge ensemble of two degenerate light quarks, a strange and a charm quark with all quark masses tuned to their physical values within the twisted mass fermion formulation. Results for the pseudoscalar masses and decay constants confirm that the produced ensemble is indeed at the physical parameters of the theory. This conclusion is corroborated by a complementary analysis in the baryon sector. We examine cutoff and isospin breaking effects and demonstrate that they are suppressed through the presence of a clover term in the action.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Transversity parton distribution functions from lattice QCD
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Karl Jansen,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We present the first direct calculation of the transversity parton distribution function within the nucleon from lattice QCD. The calculation is performed using simulations with the light quark mass fixed to its physical value and at one value of the lattice spacing. Novel elements of the calculations are non-perturbative renormalization and extraction of a formula for the matching to light-cone P…
▽ More
We present the first direct calculation of the transversity parton distribution function within the nucleon from lattice QCD. The calculation is performed using simulations with the light quark mass fixed to its physical value and at one value of the lattice spacing. Novel elements of the calculations are non-perturbative renormalization and extraction of a formula for the matching to light-cone PDFs. Final results are presented in the $\overline{\rm MS}$ scheme at a scale of $\sqrt{2}$ GeV.
△ Less
Submitted 30 June, 2018;
originally announced July 2018.
-
On Integer Programming, Discrepancy, and Convolution
Authors:
Klaus Jansen,
Lars Rohwedder
Abstract:
Integer programs with m constraints are solvable in pseudo-polynomial time in $Δ$, the largest coefficient in a constraint, when m is a fixed constant. We give a new algorithm with a running time of $O(\sqrt{m}Δ)^{2m} + O(nm)$, which improves on the state-of-the-art. Moreover, we show that improving on our algorithm for any $m$ is equivalent to improving over the quadratic time algorithm for…
▽ More
Integer programs with m constraints are solvable in pseudo-polynomial time in $Δ$, the largest coefficient in a constraint, when m is a fixed constant. We give a new algorithm with a running time of $O(\sqrt{m}Δ)^{2m} + O(nm)$, which improves on the state-of-the-art. Moreover, we show that improving on our algorithm for any $m$ is equivalent to improving over the quadratic time algorithm for $(\min,~+)$-convolution. This is a strong evidence that our algorithm's running time is the best possible. We also present a specialized algorithm with running time $O(\sqrt{m} Δ)^{(1 + o(1))m} + O(nm)$ for testing feasibility of an integer program and also give a tight lower bound, which is based on the SETH in this case.
△ Less
Submitted 26 July, 2022; v1 submitted 13 March, 2018;
originally announced March 2018.
-
Reconstruction of light-cone parton distribution functions from lattice QCD simulations at the physical point
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Karl Jansen,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We present the unpolarized and helicity parton distribution functions calculated within lattice QCD simulations using physical values of the light quark mass. Non-perturbative renormalization is employed and the lattice data are converted to the MSbar-scheme at a scale of 2 GeV. A matching process is applied together with target mass corrections leading to the reconstruction of light-cone parton d…
▽ More
We present the unpolarized and helicity parton distribution functions calculated within lattice QCD simulations using physical values of the light quark mass. Non-perturbative renormalization is employed and the lattice data are converted to the MSbar-scheme at a scale of 2 GeV. A matching process is applied together with target mass corrections leading to the reconstruction of light-cone parton distribution functions. For both cases we find a similar behavior between the lattice and phenomenological data, and for the polarized PDF a nice overlap for a range of Bjorken-x values. This presents a major success for the emerging field of direct calculations of quark distributions using lattice QCD.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Strange nucleon electromagnetic form factors from lattice QCD
Authors:
C. Alexandrou,
M. Constantinou,
K. Hadjiyiannakou,
K. Jansen,
C. Kallidonis,
G. Koutsou,
A. Vaquero Aviles-Casco
Abstract:
We evaluate the strange nucleon electromagnetic form factors using an ensemble of gauge configurations generated with two degenerate maximally twisted mass clover-improved fermions with mass tuned to approximately reproduce the physical pion mass. In addition, we present results for the disconnected light quark contributions to the nucleon electromagnetic form factors. Improved stochastic methods…
▽ More
We evaluate the strange nucleon electromagnetic form factors using an ensemble of gauge configurations generated with two degenerate maximally twisted mass clover-improved fermions with mass tuned to approximately reproduce the physical pion mass. In addition, we present results for the disconnected light quark contributions to the nucleon electromagnetic form factors. Improved stochastic methods are employed leading to high-precision results. The momentum dependence of the disconnected contributions is fitted using the model-independent z-expansion. We extract the magnetic moment and the electric and magnetic radii of the proton and neutron by including both connected and disconnected contributions. We find that the disconnected light quark contributions to both electric and magnetic form factors are non-zero and at the few percent level as compared to the connected. The strange form factors are also at the percent level but more noisy yielding statistical errors that are typically within one standard deviation from a zero value.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Empowering the Configuration-IP $-$ New PTAS Results for Scheduling with Setups Times
Authors:
Klaus Jansen,
Kim-Manuel Klein,
Marten Maack,
Malin Rau
Abstract:
Integer linear programs of configurations, or configuration IPs, are a classical tool in the design of algorithms for scheduling and packing problems, where a set of items has to be placed in multiple target locations. Herein a configuration describes a possible placement on one of the target locations, and the IP is used to chose suitable configurations covering the items. We give an augmented IP…
▽ More
Integer linear programs of configurations, or configuration IPs, are a classical tool in the design of algorithms for scheduling and packing problems, where a set of items has to be placed in multiple target locations. Herein a configuration describes a possible placement on one of the target locations, and the IP is used to chose suitable configurations covering the items. We give an augmented IP formulation, which we call the module configuration IP. It can be described within the framework of n-fold integer programming and therefore be solved efficiently. As an application, we consider scheduling problems with setup times, in which a set of jobs has to be scheduled on a set of identical machines, with the objective of minimizing the makespan. For instance, we investigate the case that jobs can be split and scheduled on multiple machines. However, before a part of a job can be processed an uninterrupted setup depending on the job has to be paid. For both of the variants that jobs can be executed in parallel or not, we obtain an efficient polynomial time approximation scheme (EPTAS) of running time $f(1/\varepsilon)\times \mathrm{poly}(|I|)$ with a single exponential term in $f$ for the first and a double exponential one for the second case. Previously, only constant factor approximations of $5/3$ and $4/3 + \varepsilon$ respectively were known. Furthermore, we present an EPTAS for a problem where classes of (non-splittable) jobs are given, and a setup has to be paid for each class of jobs being executed on one machine.
△ Less
Submitted 16 November, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Simulation of an ensemble of $N_f=2+1+1$ twisted mass clover-improved fermions at physical quark masses
Authors:
Jacob Finkenrath,
Constantia Alexandrou,
Simone Bacchio,
Panagiotis Charalambous,
Petros Dimopoulos,
Roberto Frezzotti,
Karl Jansen,
Bartosz Kostrzewa,
Giancarlo Rossi,
Carsten Urbach
Abstract:
We present a general strategy aimed at generating $N_f=2+1+1$ configurations with quarks at their physical mass using maximally twisted mass fermions to ensure automatic $O(a)$ improvement, in the presence of a clover term tuned to reduce the charged to neutral pion mass difference. The target system, for the moment, is a lattice of size $64^3 \times 128$ with a lattice spacing $a\sim 0.08$ fm. We…
▽ More
We present a general strategy aimed at generating $N_f=2+1+1$ configurations with quarks at their physical mass using maximally twisted mass fermions to ensure automatic $O(a)$ improvement, in the presence of a clover term tuned to reduce the charged to neutral pion mass difference. The target system, for the moment, is a lattice of size $64^3 \times 128$ with a lattice spacing $a\sim 0.08$ fm. We show preliminary results on the pion and kaon mass and decay constants.
△ Less
Submitted 27 December, 2017;
originally announced December 2017.
-
Closing the gap for pseudo-polynomial strip packing
Authors:
Klaus Jansen,
Malin Rau
Abstract:
The set of 2-dimensional packing problems builds an important class of optimization problems and Strip Packing together with 2-dimensional Bin Packing and 2-dimensional Knapsack is one of the most famous of these problems. Given a set of rectangular axis parallel items and a strip with bounded width and infinite height the objective is to find a packing of the items into the strip which minimizes…
▽ More
The set of 2-dimensional packing problems builds an important class of optimization problems and Strip Packing together with 2-dimensional Bin Packing and 2-dimensional Knapsack is one of the most famous of these problems. Given a set of rectangular axis parallel items and a strip with bounded width and infinite height the objective is to find a packing of the items into the strip which minimizes the packing height. We speak of pseudo-polynomial Strip Packing if we consider algorithms with pseudo-polynomial running time with respect to the width of the strip.
It is known that there is no pseudo-polynomial algorithm for Strip Packing with a ratio better than $5/4$ unless $\mathrm{P} = \mathrm{NP}$. The best algorithm so far has a ratio of $(4/3 + \varepsilon)$. In this paper, we close this gap between inapproximability result and best known algorithm by presenting an algorithm with approximation ratio $(5/4 + \varepsilon)$ and thus categorize the problem accurately. The algorithm uses a structural result which states that each optimal solution can be transformed such that it has one of a polynomial number of different forms. The strength of this structural result is that it applies to other problem settings as well for example to Strip Packing with rotations (90 degrees) and Contiguous Moldable Task Scheduling. This fact enabled us to present algorithms with approximation ratio $(5/4 + \varepsilon)$ for these problems as well.
△ Less
Submitted 6 February, 2019; v1 submitted 13 December, 2017;
originally announced December 2017.
-
Scheduling Monotone Moldable Jobs in Linear Time
Authors:
Klaus Jansen,
Felix Land
Abstract:
A moldable job is a job that can be executed on an arbitrary number of processors, and whose processing time depends on the number of processors allotted to it. A moldable job is monotone if its work doesn't decrease for an increasing number of allotted processors. We consider the problem of scheduling monotone moldable jobs to minimize the makespan.
We argue that for certain compact input encod…
▽ More
A moldable job is a job that can be executed on an arbitrary number of processors, and whose processing time depends on the number of processors allotted to it. A moldable job is monotone if its work doesn't decrease for an increasing number of allotted processors. We consider the problem of scheduling monotone moldable jobs to minimize the makespan.
We argue that for certain compact input encodings a polynomial algorithm has a running time polynomial in n and log(m), where n is the number of jobs and m is the number of machines. We describe how monotony of jobs can be used to counteract the increased problem complexity that arises from compact encodings, and give tight bounds on the approximability of the problem with compact encoding: it is NP-hard to solve optimally, but admits a PTAS.
The main focus of this work are efficient approximation algorithms. We describe different techniques to exploit the monotony of the jobs for better running times, and present a (3/2+ε)-approximate algorithm whose running time is polynomial in log(m) and 1/ε, and only linear in the number n of jobs.
△ Less
Submitted 7 January, 2018; v1 submitted 31 October, 2017;
originally announced November 2017.
-
The pion vector form factor from Lattice QCD at the physical point
Authors:
C. Alexandrou,
S. Bacchio,
P. Dimopoulos,
J. Finkenrath,
R. Frezzotti,
K. Jansen,
B. Kostrzewa,
M. Mangin-Brinet,
F. Sanfilippo,
S. Simula,
C. Urbach,
U. Wenger
Abstract:
We present an investigation of the electromagnetic pion form factor, $F_π(Q^2)$, at small values of the four-momentum transfer $Q^2$ ($\lesssim 0.25$ GeV$^2$), based on the gauge configurations generated by European Twisted Mass Collaboration with $N_f = 2$ twisted-mass quarks at maximal twist including a clover term. Momentum is injected using non-periodic boundary conditions and the calculations…
▽ More
We present an investigation of the electromagnetic pion form factor, $F_π(Q^2)$, at small values of the four-momentum transfer $Q^2$ ($\lesssim 0.25$ GeV$^2$), based on the gauge configurations generated by European Twisted Mass Collaboration with $N_f = 2$ twisted-mass quarks at maximal twist including a clover term. Momentum is injected using non-periodic boundary conditions and the calculations are carried out at a fixed lattice spacing ($a \simeq 0.09$ fm) and with pion masses equal to its physical value, 240 MeV and 340 MeV. Our data are successfully analyzed using Chiral Perturbation Theory at next-to-leading order in the light-quark mass. For each pion mass two different lattice volumes are used to take care of finite size effects. Our final result for the squared charge radius is $\langle r^2 \rangle_π= 0.443~(29)$ fm$^2$, where the error includes several sources of systematic errors except the uncertainty related to discretization effects. The corresponding value of the SU(2) chiral low-energy constant $\overline{\ell}_6$ is equal to $\overline{\ell}_6 = 16.2 ~ (1.0)$.
△ Less
Submitted 28 October, 2017;
originally announced October 2017.
-
Higgs-Yukawa model on the lattice
Authors:
David Y. -J. Chu,
Karl Jansen,
Bastian Knippschild,
C. -J. David Lin
Abstract:
We present results from two projects on lattice calculations for the Higgs-Yukawa model. First we report progress on the search of first-order thermal phase transitions in the presence of a dimension-six operator, with the choices of bare couplings that lead to viable phenomenological predictions. In this project the simulations are performed using overlap fermions to implement the required chiral…
▽ More
We present results from two projects on lattice calculations for the Higgs-Yukawa model. First we report progress on the search of first-order thermal phase transitions in the presence of a dimension-six operator, with the choices of bare couplings that lead to viable phenomenological predictions. In this project the simulations are performed using overlap fermions to implement the required chiral symmetry. Secondly, our study for applying finite-size scaling techniques near the Gaussian fixed point of the Higgs-Yukawa model is presented. We discuss the analytical formulae for the Higgs Yukawa model and show results for a first numerical study in the pure $O(4)$ scalar sector of the theory.
△ Less
Submitted 26 October, 2017;
originally announced October 2017.
-
Computation of parton distributions from the quasi-PDF approach at the physical point
Authors:
Constantia Alexandrou,
Simone Bacchio,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Giannis Koutsou,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We show the first results for parton distribution functions within the proton at the physical pion mass, employing the method of quasi-distributions. In particular, we present the matrix elements for the iso-vector combination of the unpolarized, helicity and transversity quasi-distributions, obtained with $N_f=2$ twisted mass clover-improved fermions and a proton boosted with momentum…
▽ More
We show the first results for parton distribution functions within the proton at the physical pion mass, employing the method of quasi-distributions. In particular, we present the matrix elements for the iso-vector combination of the unpolarized, helicity and transversity quasi-distributions, obtained with $N_f=2$ twisted mass clover-improved fermions and a proton boosted with momentum $|\vec{p}|=0.83\mbox{ GeV}$. The momentum smearing technique has been applied to improve the overlap with the proton boosted state. Moreover, we present the renormalized helicity matrix elements in the RI$'$ scheme, following the non-perturbative renormalization prescription recently developed by our group.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
-
Progress in computing parton distribution functions from the quasi-PDF approach
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Haralambos Panagopoulos,
Aurora Scapellato,
Fernanda Steffens
Abstract:
We discuss the current developments by the European Twisted Mass Collaboration in extracting parton distribution functions from the quasi-PDF approach. We concentrate on the non-perturbative renormalization prescription recently developed by us, using the RI$'$ scheme. We show results for the renormalization functions of matrix elements needed for the computation of quasi-PDFs, including the conve…
▽ More
We discuss the current developments by the European Twisted Mass Collaboration in extracting parton distribution functions from the quasi-PDF approach. We concentrate on the non-perturbative renormalization prescription recently developed by us, using the RI$'$ scheme. We show results for the renormalization functions of matrix elements needed for the computation of quasi-PDFs, including the conversion to the $\overline{\rm MS}$ scheme, and for renormalized matrix elements. We discuss the systematic effects present in the $Z$-factors and the possible ways of addressing them in the future.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
Topological susceptibility from twisted mass fermions using spectral projectors and the gradient flow
Authors:
Constantia Alexandrou,
Andreas Athenodorou,
Krzysztof Cichy,
Martha Constantinou,
Derek P. Horkel,
Karl Jansen,
Giannis Koutsou,
Conor Larkin
Abstract:
We compare lattice QCD determinations of topological susceptibility using a gluonic definition from the gradient flow and a fermionic definition from the spectral projector method. We use ensembles with dynamical light, strange and charm flavors of maximally twisted mass fermions. For both definitions of the susceptibility we employ ensembles at three values of the lattice spacing and several quar…
▽ More
We compare lattice QCD determinations of topological susceptibility using a gluonic definition from the gradient flow and a fermionic definition from the spectral projector method. We use ensembles with dynamical light, strange and charm flavors of maximally twisted mass fermions. For both definitions of the susceptibility we employ ensembles at three values of the lattice spacing and several quark masses at each spacing. The data are fitted to chiral perturbation theory predictions with a discretization term to determine the continuum chiral condensate in the massless limit and estimate the overall discretization errors. We find that both approaches lead to compatible results in the continuum limit, but the gluonic ones are much more affected by cut-off effects. This finally yields a much smaller total error in the spectral projector results. We show that there exists, in principle, a value of the spectral cutoff which would completely eliminate discretization effects in the topological susceptibility.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
Comparison of topological charge definitions in Lattice QCD
Authors:
Constantia Alexandrou,
Andreas Athenodorou,
Krzysztof Cichy,
Arthur Dromard,
Elena Garcia-Ramos,
Karl Jansen,
Urs Wenger,
Falk Zimmermann
Abstract:
In this paper, we show a comparison of different definitions of the topological charge on the lattice. We concentrate on one small-volume ensemble with 2 flavours of dynamical, maximally twisted mass fermions and use three more ensembles to analyze the approach to the continuum limit. We investigate several fermionic and gluonic definitions. The former include the index of the overlap Dirac operat…
▽ More
In this paper, we show a comparison of different definitions of the topological charge on the lattice. We concentrate on one small-volume ensemble with 2 flavours of dynamical, maximally twisted mass fermions and use three more ensembles to analyze the approach to the continuum limit. We investigate several fermionic and gluonic definitions. The former include the index of the overlap Dirac operator, the spectral flow of the Wilson--Dirac operator and the spectral projectors. For the latter, we take into account different discretizations of the topological charge operator and various smoothing schemes to filter out ultraviolet fluctuations: the gradient flow, stout smearing, APE smearing, HYP smearing and cooling. We show that it is possible to perturbatively match different smoothing schemes and provide a well-defined smoothing scale. We relate the smoothing parameters for cooling, stout and APE smearing to the gradient flow time $τ$. In the case of hypercubic smearing the matching is performed numerically. We investigate which conditions have to be met to obtain a valid definition of the topological charge and susceptibility and we argue that all valid definitions are highly correlated and allow good control over topology on the lattice.
△ Less
Submitted 28 April, 2020; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Nonperturbative renormalization of nonlocal quark bilinears for quasi-PDFs on the lattice using an auxiliary field
Authors:
Jeremy Green,
Karl Jansen,
Fernanda Steffens
Abstract:
Quasi-PDFs provide a path toward an ab initio calculation of parton distribution functions (PDFs) using lattice QCD. One of the problems faced in calculations of quasi-PDFs is the renormalization of a nonlocal operator. By introducing an auxiliary field, we can replace the nonlocal operator with a pair of local operators in an extended theory. On the lattice, this is closely related to the static…
▽ More
Quasi-PDFs provide a path toward an ab initio calculation of parton distribution functions (PDFs) using lattice QCD. One of the problems faced in calculations of quasi-PDFs is the renormalization of a nonlocal operator. By introducing an auxiliary field, we can replace the nonlocal operator with a pair of local operators in an extended theory. On the lattice, this is closely related to the static quark theory. In this approach, we show how to understand the pattern of mixing that is allowed by chiral symmetry breaking, and obtain a master formula for renormalizing the nonlocal operator that depends on three parameters. We present an approach for nonperturbatively determining these parameters and use perturbation theory to convert to the MS-bar scheme. Renormalization parameters are obtained for two lattice spacings using Wilson twisted mass fermions and for different discretizations of the Wilson line in the nonlocal operator. Using these parameters we show the effect of renormalization on nucleon matrix elements with pion mass approximately 370 MeV, and compare renormalized results for the two lattice spacings. The renormalized matrix elements are consistent among the different Wilson line discretizations and lattice spacings.
△ Less
Submitted 22 January, 2018; v1 submitted 22 July, 2017;
originally announced July 2017.
-
Efficient Basis Formulation for (1+1)-Dimensional SU(2) Lattice Gauge Theory: Spectral calculations with matrix product states
Authors:
Mari Carmen Bañuls,
Krzysztof Cichy,
J. Ignacio Cirac,
Karl Jansen,
Stefan Kühn
Abstract:
We propose an explicit formulation of the physical subspace for a (1+1)-dimensional SU(2) lattice gauge theory, where the gauge degrees of freedom are integrated out. Our formulation is completely general, and might be potentially suited for the design of future quantum simulators. Additionally, it allows for addressing the theory numerically with matrix product states. We apply this technique to…
▽ More
We propose an explicit formulation of the physical subspace for a (1+1)-dimensional SU(2) lattice gauge theory, where the gauge degrees of freedom are integrated out. Our formulation is completely general, and might be potentially suited for the design of future quantum simulators. Additionally, it allows for addressing the theory numerically with matrix product states. We apply this technique to explore the spectral properties of the model and the effect of truncating the gauge degrees of freedom to a small finite dimension. In particular, we determine the scaling exponents for the vector mass. Furthermore, we also compute the entanglement entropy in the ground state and study its scaling towards the continuum limit.
△ Less
Submitted 24 January, 2018; v1 submitted 20 July, 2017;
originally announced July 2017.
-
Online Strip Packing with Polynomial Migration
Authors:
Klaus Jansen,
Kim-Manuel Klein,
Maria Kosche,
Leon Ladewig
Abstract:
We consider the relaxed online strip packing problem: Rectangular items arrive online and have to be packed without rotations into a strip of fixed width such that the packing height is minimized. Thereby, repacking of previously packed items is allowed. The amount of repacking is measured by the migration factor, defined as the total size of repacked items divided by the size of the arriving item…
▽ More
We consider the relaxed online strip packing problem: Rectangular items arrive online and have to be packed without rotations into a strip of fixed width such that the packing height is minimized. Thereby, repacking of previously packed items is allowed. The amount of repacking is measured by the migration factor, defined as the total size of repacked items divided by the size of the arriving item. First, we show that no algorithm with constant migration factor can produce solutions with asymptotic ratio better than 4/3. Against this background, we allow amortized migration, i.e. to save migration for a later time step. As a main result, we present an AFPTAS with asymptotic ratio $1 + \mathcal{O}(ε)$ for any $ε> 0$ and amortized migration factor polynomial in $1 / ε$. To our best knowledge, this is the first algorithm for online strip packing considered in a repacking model.
△ Less
Submitted 20 February, 2018; v1 submitted 15 June, 2017;
originally announced June 2017.
-
The nucleon spin and momentum decomposition using lattice QCD simulations
Authors:
C. Alexandrou,
M. Constantinou,
K. Hadjiyiannakou,
K. Jansen,
C. Kallidonis,
G. Koutsou,
A. Vaquero Avilés-Casco,
C. Wiese
Abstract:
We determine within lattice QCD, the nucleon spin carried by valence and sea quarks, and gluons. The calculation is performed using an ensemble of gauge configurations with two degenerate light quarks with mass fixed to approximately reproduce the physical pion mass. We find that the total angular momentum carried by the quarks in the nucleon is $J_{u+d+s}{=}0.408(61)_{\rm stat.}(48)_{\rm syst.}$…
▽ More
We determine within lattice QCD, the nucleon spin carried by valence and sea quarks, and gluons. The calculation is performed using an ensemble of gauge configurations with two degenerate light quarks with mass fixed to approximately reproduce the physical pion mass. We find that the total angular momentum carried by the quarks in the nucleon is $J_{u+d+s}{=}0.408(61)_{\rm stat.}(48)_{\rm syst.}$ and the gluon contribution is $J_g {=}0.133(11)_{\rm stat.}(14)_{\rm syst.}$ giving a total of $J_N{=}0.54(6)_{\rm stat.}(5)_{\rm syst.}$ consistent with the spin sum. For the quark intrinsic spin contribution we obtain $\frac{1}{2}ΔΣ_{u+d+s}{=}0.201(17)_{\rm stat.}(5)_{\rm syst.}$. All quantities are given in the $\overline{\textrm{MS}}$ scheme at 2~GeV. The quark and gluon momentum fractions are also computed and add up to $\langle x\rangle_{u+d+s}+\langle x\rangle_g{=}0.804(121)_{\rm stat.}(95)_{\rm syst.}+0.267(12)_{\rm stat.}(10)_{\rm syst.}{=}1.07(12)_{\rm stat.}(10)_{\rm syst.}$ satisfying the momentum sum.
△ Less
Submitted 18 November, 2017; v1 submitted 9 June, 2017;
originally announced June 2017.
-
Nucleon electromagnetic form factors using lattice simulations at the physical point
Authors:
Constantia Alexandrou,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Christos Kallidonis,
Giannis Koutsou,
Alejandro Vaquero Aviles-Casco
Abstract:
We present results for the nucleon electromagnetic form factors using an ensemble of maximally twisted mass clover-improved fermions with pion mass of about 130 MeV. We use multiple sink-source separations and three analysis methods to probe ground-state dominance. We evaluate both the connected and disconnected contributions to the nucleon matrix elements. We find that the disconnected quark loop…
▽ More
We present results for the nucleon electromagnetic form factors using an ensemble of maximally twisted mass clover-improved fermions with pion mass of about 130 MeV. We use multiple sink-source separations and three analysis methods to probe ground-state dominance. We evaluate both the connected and disconnected contributions to the nucleon matrix elements. We find that the disconnected quark loop contributions to the isoscalar matrix elements are small, giving an upper bound of up to 2$\%$ of the connected contribution and smaller than its statistical error. We present results for the isovector and isoscalar electric and magnetic Sachs form factors and the corresponding proton and neutron form factors. By fitting the momentum dependence of the form factors to a dipole form or to the z-expansion we extract the nucleon electric and magnetic radii, as well as, the magnetic moment. We compare our results to experiment as well as to other recent lattice QCD calculations.
△ Less
Submitted 20 September, 2017; v1 submitted 1 June, 2017;
originally announced June 2017.
-
A complete non-perturbative renormalization prescription for quasi-PDFs
Authors:
Constantia Alexandrou,
Krzysztof Cichy,
Martha Constantinou,
Kyriakos Hadjiyiannakou,
Karl Jansen,
Haralambos Panagopoulos,
Fernanda Steffens
Abstract:
In this work we present, for the first time, the non-perturbative renormalization for the unpolarized, helicity and transversity quasi-PDFs, in an RI' scheme. The proposed prescription addresses simultaneously all aspects of renormalization: logarithmic divergences, finite renormalization as well as the linear divergence which is present in the matrix elements of fermion operators with Wilson line…
▽ More
In this work we present, for the first time, the non-perturbative renormalization for the unpolarized, helicity and transversity quasi-PDFs, in an RI' scheme. The proposed prescription addresses simultaneously all aspects of renormalization: logarithmic divergences, finite renormalization as well as the linear divergence which is present in the matrix elements of fermion operators with Wilson lines. Furthermore, for the case of the unpolarized quasi-PDFs, we describe how to eliminate the unwanted mixing with the twist-3 scalar operator. We utilize perturbation theory for the one-loop conversion factor that brings the renormalization functions to the MS-scheme at a scale of 2 GeV. We also explain how to improve the estimates on the renormalization functions by eliminating lattice artifacts. The latter can be computed in one-loop perturbation theory and to all orders in the lattice spacing. We apply the methodology for the renormalization to an ensemble of twisted mass fermions with Nf=2+1+1 dynamical light quarks, and a pion mass of around 375 MeV.
△ Less
Submitted 20 September, 2017; v1 submitted 1 June, 2017;
originally announced June 2017.