title: Light simulation in plastic scintillator strip with embedded wavelength shifting fiber

abstract: The simulation study of the light yield and attenuation in the plastic scintillator was performed. The wavelength shifting fiber readout was embedded in the grooves machined along the entire strip surface. The scintillator strips was irradiated with a radiation source {}^{90}Sr or cosmic muons along and across the strip.


title: Reversible data hiding in encrypted images based on pixel prediction and multi-MSB planes rearrangement

abstract: Great concern has arisen in the field of reversible data hiding in encrypted images (RDHEI) due to the development of cloud storage and privacy protection. RDHEI is an effective technology that can embed additional data after image encryption, extract additional data error-free and reconstruct original images losslessly. In this paper, a high-capacity and fully reversible RDHEI method is proposed, which is based on pixel prediction and multi-MSB (most significant bit) planes rearrangement. First, the median edge detector (MED) predictor is used to calculate the predicted value. Next, unlike previous methods, in our proposed method, signs of prediction errors (PEs) are represented by one bit plane and absolute values of PEs are represented by other bit planes. Then, we divide bit planes into uniform blocks and non-uniform blocks, and rearrange these blocks. Finally, according to different pixel prediction schemes, different numbers of additional data are embedded adaptively. The experimental results prove that our method has higher embedding capacity compared with state-of-the-art RDHEI methods.


title: Searches for low-mass dimuon resonances

abstract: Searches are performed for a low-mass dimuon resonance, $X$, produced in proton-proton collisions at a center-of-mass energy of 13 TeV, using a data sample corresponding to an integrated luminosity of 5.1 fb$^{-1}$ and collected with the LHCb detector. The $X$ bosons can either decay promptly or displaced from the proton-proton collision, where in both cases the requirements placed on the event and the assumptions made about the production mechanisms are kept as minimal as possible. The searches for promptly decaying $X$ bosons explore the mass range from near the dimuon threshold up to 60 GeV, with nonnegligible $X$ widths considered above 20 GeV. The searches for displaced $X \to \mu^+\mu^-$ decays consider masses up to 3 GeV. None of the searches finds evidence for a signal and 90% confidence-level exclusion limits are placed on the $X \to \mu^+\mu^-$ cross sections, each with minimal model dependence. In addition, these results are used to place world-leading constraints on GeV-scale bosons in the two-Higgs-doublet and hidden-valley scenarios.


title: Winning with Simple Learning Models: Detecting Earthquakes in Groningen, the Netherlands

abstract: Deep learning is fast emerging as a potential disruptive tool to tackle longstanding research problems across the sciences. Notwithstanding its success across disciplines, the recent trend of the overuse of deep learning is concerning to many machine learning practitioners. Recently, seismologists have also demonstrated the efficacy of deep learning algorithms in detecting low magnitude earthquakes. Here, we revisit the problem of seismic event detection but using a logistic regression model with feature extraction. We select well-discriminating features from a huge database of time-series operations collected from interdisciplinary time-series analysis methods. Using a simple learning model with only five trainable parameters, we detect several low-magnitude induced earthquakes from the Groningen gas field that are not present in the catalog. We note that the added advantage of simpler models is that the selected features add to our understanding of the noise and event classes present in the dataset. Since simpler models are easy to maintain, debug, understand, and train, through this study we underscore that it might be a dangerous pursuit to use deep learning without carefully weighing simpler alternatives.


title: Hidden symmetry algebra and construction of quadratic algebras of superintegrable systems

abstract: The notion of hidden symmetry algebra used in the context of exactly solvable systems is re-examined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finite-dimensional quadratic algebras. By construction, these algebras do not depend on the choice of realizations by vector fields of the underlying Lie algebra, allowing to propose a procedure to analyze polynomial algebras as those subspaces in an enveloping algebra that commute with a given algebraic Hamiltonian.


title: Non-parametric Models for Non-negative Functions

abstract: Linear models have shown great effectiveness and flexibility in many fields such as machine learning, signal processing and statistics. They can represent rich spaces of functions while preserving the convexity of the optimization problems where they are used, and are simple to evaluate, differentiate and integrate. However, for modeling non-negative functions, which are crucial for unsupervised learning, density estimation, or non-parametric Bayesian methods, linear models are not applicable directly. Moreover, current state-of-the-art models like generalized linear models either lead to non-convex optimization problems, or cannot be easily integrated. In this paper we provide the first model for non-negative functions which benefits from the same good properties of linear models. In particular, we prove that it admits a representer theorem and provide an efficient dual formulation for convex problems. We study its representation power, showing that the resulting space of functions is strictly richer than that of generalized linear models. Finally we extend the model and the theoretical results to functions with outputs in convex cones. The paper is complemented by an experimental evaluation of the model showing its effectiveness in terms of formulation, algorithmic derivation and practical results on the problems of density estimation, regression with heteroscedastic errors, and multiple quantile regression.


title: Near Input Sparsity Time Kernel Embeddings via Adaptive Sampling

abstract: To accelerate kernel methods, we propose a near input sparsity time algorithm for sampling the high-dimensional feature space implicitly defined by a kernel transformation. Our main contribution is an importance sampling method for subsampling the feature space of a degree $q$ tensoring of data points in almost input sparsity time, improving the recent oblivious sketching method of (Ahle et al., 2020) by a factor of $q^{5/2}/\epsilon^2$. This leads to a subspace embedding for the polynomial kernel, as well as the Gaussian kernel, with a target dimension that is only linearly dependent on the statistical dimension of the kernel and in time which is only linearly dependent on the sparsity of the input dataset. We show how our subspace embedding bounds imply new statistical guarantees for kernel ridge regression. Furthermore, we empirically show that in large-scale regression tasks, our algorithm outperforms state-of-the-art kernel approximation methods.


title: Non-parametric mean curvature flow with prescribed contact angle in Riemannian products

abstract: Assuming that there exists a translating soliton $u_\infty$ with speed $C$ in a domain $\Omega$ and with prescribed contact angle on $\partial\Omega$, we prove that a graphical solution to the mean curvature flow with the same prescribed contact angle converges to $u_\infty +Ct$ as $t\to\infty$. We also generalize the recent existence result of Gao, Ma, Wang and Weng to non-Euclidean settings under suitable bounds on convexity of $\Omega$ and Ricci curvature in $\Omega$.


title: Selective imaging of terahertz electric field of phonon-polariton in LiNbO$_3$

abstract: Coherent phonon-polaritons have attracted a considerable amount of interest owing to their relevance to nonlinear optics and terahertz (THz)-wave emissions. Therefore, it is important to analyze the THz electric-fields of phonon-polaritons. However, in the majority of previous measurements, only a single component of the THz electric field was detected. In this paper, we demonstrate that pump-probe electro-optical imaging measurements using the Stokes parameters of probe polarization enable the phase-resolved selective detection of THz electric-field components that are associated with the phonon-polariton. We experimentally distinguish the mode profiles of ordinary and extraordinary phonon-polaritons, and clarify the excitation mechanism as optical rectification. These results are explained by numerical calculations of Maxwell equations for the THz electric field. The technique of selectively observing the THz electric field components may be useful for designing efficient THz-wave emitters.


title: Acceleration of Electrons in Plasma

abstract: This is brief review of acceleration of electrons in plasma wakefields driven by either intense laser pulses or particle beams following lectures at the 2019 CERN Accelerator School on plasma accelerators, held at Sesimbra, Portugal. The commonalities between drivers and their strength parameters and operating parameter regimes for current experiments in laser wakefield acceleration (LWFA) and beam driven plasma wakefield acceleration (PWFA) are summarized. Energy limitations are introduced, including the dephasing and depletion lengths for lasers, and the transformer ratio for beam driven plasmas. The concept of the wake Hamiltonian is introduced and the resulting particle orbits are identified in phase space, which illustrates how the peak energy and energy spread of accelerated electrons are determined.


title: Training Sound Event Detection On A Heterogeneous Dataset

abstract: Training a sound event detection algorithm on a heterogeneous dataset including both recorded and synthetic soundscapes that can have various labeling granularity is a non-trivial task that can lead to systems requiring several technical choices. These technical choices are often passed from one system to another without being questioned. We propose to perform a detailed analysis of DCASE 2020 task 4 sound event detection baseline with regards to several aspects such as the type of data used for training, the parameters of the mean-teacher or the transformations applied while generating the synthetic soundscapes. Some of the parameters that are usually used as default are shown to be sub-optimal.


title: Improving Sound Event Detection In Domestic Environments Using Sound Separation

abstract: Performing sound event detection on real-world recordings often implies dealing with overlapping target sound events and non-target sounds, also referred to as interference or noise. Until now these problems were mainly tackled at the classifier level. We propose to use sound separation as a pre-processing for sound event detection. In this paper we start from a sound separation model trained on the Free Universal Sound Separation dataset and the DCASE 2020 task 4 sound event detection baseline. We explore different methods to combine separated sound sources and the original mixture within the sound event detection. Furthermore, we investigate the impact of adapting the sound separation model to the sound event detection data on both the sound separation and the sound event detection.


title: Linear-Time Algorithms for Computing Twinless Strong Articulation Points and Related Problems

abstract: A directed graph $G=(V,E)$ is twinless strongly connected if it contains a strongly connected spanning subgraph without any pair of antiparallel (or twin) edges. The twinless strongly connected components (TSCCs) of a directed graph $G$ are its maximal twinless strongly connected subgraphs. These concepts have several diverse applications, such as the design of telecommunication networks and the structural stability of buildings. A vertex $v \in V$ is a twinless strong articulation point of $G$ if the deletion of $v$ increases the number of TSCCs of $G$. Here, we present the first linear-time algorithm that finds all the twinless strong articulation points of a directed graph. We show that the computation of twinless strong articulation points reduces to the following problem in undirected graphs, which may be of independent interest: Given a $2$-vertex-connected (biconnected) undirected graph $H$, find all vertices $v$ that belong to a vertex-edge cut-pair, i.e., for which there exists an edge $e$ such that $H \setminus \{v,e\}$ is not connected. We develop a linear-time algorithm that not only finds all such vertices $v$, but also computes the number of edges $e$ such that $H \setminus \{v,e\}$ is not connected. This also implies that for each twinless strong articulation point $v$ which is not a strong articulation point in a strongly connected digraph $G$, we can compute the number of TSCCs in $G \setminus v$. We note that the problem of computing all vertices that belong to a vertex-edge cut-pair can be solved in linear-time by exploiting the structure of $3$-vertex-connected (triconnected) components of $H$, represented by an SPQR tree of $H$. Our approach, however, is conceptually simple, and thus likely to be more amenable to practical implementations.


title: The initial stage of cloud lightning imaged in high-resolution

abstract: With LOFAR we have been able to image the development of lightning flashes with meter-scale accuracy and unprecedented detail. We discuss the primary steps behind our most recent lightning mapping method. To demonstrate the capabilities of our technique we show and interpret images of the first few milliseconds of two intra-cloud flashes. In all our flashes the negative leaders propagate in the charge layer below the main negative charge. Among several interesting features we show that in about 2~ms after initiation the Primary Initial Leader triggers the formation of a multitude (more than ten) negative leaders in a rather confined area of the atmosphere. From these only one or two continue to propagate after about 30~ms to extend over kilometers horizontally while another may propagate back to the initiation point. We also show that normal negative leaders can transition into an initial-leader like state, potentially in the presence of strong electric fields. In addition, we show some initial breakdown pulses that occurred during the primary initial leader, and even during two "secondary" initial leaders that developed out of stepped leaders.


title: Higher-order topological semimetal in acoustic crystals

abstract: The notion of higher-order topological insulators has endowed materials with topological states beyond the first order. Particularly, a three-dimensional (3D) higher-order topological insulator can host topologically protected 1D hinge states, referred to as the second-order topological insulator, or 0D corner states, referred to as the third-order topological insulator. Similarly, a 3D higher-order topological semimetal can be envisaged if it hosts states on the 1D hinges. Here we report the realization of a second-order topological Weyl semimetal in a 3D-printed acoustic crystal, which possesses Weyl points in 3D momentum space, 2D Fermi arc states on surfaces and 1D gapless states on hinges. Like the arc surface states, the hinge states also connect the projections of the Weyl points. Our experimental results evidence the existence of the higher-order topological semimetal, which may pave the way towards innovative acoustic devices.


title: BISM: Bytecode-Level Instrumentation for Software Monitoring

abstract: BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented programming paradigm by adopting the joinpoint model, advice inlining, and separate instrumentation mechanisms. BISM provides joinpoints ranging from bytecode instruction to method execution, access to comprehensive static and dynamic context information, and instrumentation methods. BISM runs in two instrumentation modes: build-time and load-time. We demonstrate BISM effectiveness using two experiments: a security scenario and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads.


title: A Nearest Neighbor Characterization of Lebesgue Points in Metric Measure Spaces

abstract: The property of almost every point being a Lebesgue point has proven to be crucial for the consistency of several classification algorithms based on nearest neighbors. We characterize Lebesgue points in terms of a 1-Nearest Neighbor regression algorithm for pointwise estimation, fleshing out the role played by tie-breaking rules in the corresponding convergence problem. We then give an application of our results, proving the convergence of the risk of a large class of 1-Nearest Neighbor classification algorithms in general metric spaces where almost every point is a Lebesgue point.


title: Operation-Aware Soft Channel Pruning using Differentiable Masks

abstract: We propose a simple but effective data-driven channel pruning algorithm, which compresses deep neural networks in a differentiable way by exploiting the characteristics of operations. The proposed approach makes a joint consideration of batch normalization (BN) and rectified linear unit (ReLU) for channel pruning; it estimates how likely the two successive operations deactivate each feature map and prunes the channels with high probabilities. To this end, we learn differentiable masks for individual channels and make soft decisions throughout the optimization procedure, which facilitates to explore larger search space and train more stable networks. The proposed framework enables us to identify compressed models via a joint learning of model parameters and channel pruning without an extra procedure of fine-tuning. We perform extensive experiments and achieve outstanding performance in terms of the accuracy of output networks given the same amount of resources when compared with the state-of-the-art methods.


title: Fireball tomography from bottomonia elliptic flow in relativistic heavy-ion collisions

abstract: We calculate the elliptic flow of bottomonia produced in Pb$\,+\,$Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV. We consider temperature-dependent decay widths for the anisotropic escape of various bottomonium states and observe that the transverse momentum dependence of bottomonia elliptic flow provides a tomographic information about the QGP fireball at different stages of its evolution. For the space-time evolution of the fireball, we employ simulation results from the 3+1D quasiparticle anisotropic hydrodynamic model. We find that our results for transverse momentum dependence of bottomonia elliptic flow are in reasonable agreement with experimental results from the ALICE and CMS collaborations.


title: Reconciling Causality and Statistics

abstract: Statisticians have warned us since the early days of their discipline that experimental correlation between two observations by no means implies the existence of a causal relation. The question about what clues exist in observational data that could informs us about the existence of such causal relations is nevertheless more that legitimate. It lies actually at the root of any scientific endeavor. For decades however the only accepted method among statisticians to elucidate causal relationships was the so called Randomized Controlled Trial. Besides this notorious exception causality questions remained largely taboo for many. One reason for this state of affairs was the lack of an appropriate mathematical framework to formulate such questions in an unambiguous way. Fortunately thinks have changed these last years with the advent of the so called Causality Revolution initiated by Judea Pearl and coworkers. The aim of this pedagogical paper is to present their ideas and methods in a compact and self-contained fashion with concrete business examples as illustrations.


title: Liaison, safeguard, and well-being: analyzing the role of social robots during the COVID-19 pandemic

abstract: We examine the implementation of social robots in real-world settings during the COVID-19 pandemic. In particular, we analyze the areas in which social robots are being adopted, the roles and tasks being fulfilled, and the robot models being implemented. For this, we traced back and analyzed 240 deployment cases with 86 different social robots worldwide that have been adopted since the coronavirus outbreak. We found that social robot adoption during this period was strongly related to the use of this technology for crisis management. The social robots' capacity to perform the roles of liaison to minimize direct contact among humans, safeguard to ensure contagion risk-free environments, and well-being coach to protect mental and physical health, is key to explaining adoption within this context. The results of the study offer a complete overview of social robots' utilization in real life settings during the pandemic.


title: A two-level Kriging-based approach with active learning for solving time-variant risk optimization problems

abstract: Several methods have been proposed in the literature to solve reliability-based optimization problems, where failure probabilities are design constraints. However, few methods address the problem of life-cycle cost or risk optimization, where failure probabilities are part of the objective function. Moreover, few papers in the literature address time-variant reliability problems in life-cycle cost or risk optimization formulations; in particular, because most often computationally expensive Monte Carlo simulation is required. This paper proposes a numerical framework for solving general risk optimization problems involving time-variant reliability analysis. To alleviate the computational burden of Monte Carlo simulation, two adaptive coupled surrogate models are used: the first one to approximate the objective function, and the second one to approximate the quasi-static limit state function. An iterative procedure is implemented for choosing additional support points to increase the accuracy of the surrogate models. Three application problems are used to illustrate the proposed approach. Two examples involve random load and random resistance degradation processes. The third problem is related to load-path dependent failures. This subject had not yet been addressed in the context of risk-based optimization. It is shown herein that accurate solutions are obtained, with extremely limited numbers of objective function and limit state functions calls.


title: Remix: Rebalanced Mixup

abstract: Deep image classifiers often perform poorly when training data are heavily class-imbalanced. In this work, we propose a new regularization technique, Remix, that relaxes Mixup's formulation and enables the mixing factors of features and labels to be disentangled. Specifically, when mixing two samples, while features are mixed in the same fashion as Mixup, Remix assigns the label in favor of the minority class by providing a disproportionately higher weight to the minority class. By doing so, the classifier learns to push the decision boundaries towards the majority classes and balance the generalization error between majority and minority classes. We have studied the state-of-the art regularization techniques such as Mixup, Manifold Mixup and CutMix under class-imbalanced regime, and shown that the proposed Remix significantly outperforms these state-of-the-arts and several re-weighting and re-sampling techniques, on the imbalanced datasets constructed by CIFAR-10, CIFAR-100, and CINIC-10. We have also evaluated Remix on a real-world large-scale imbalanced dataset, iNaturalist 2018. The experimental results confirmed that Remix provides consistent and significant improvements over the previous methods.


title: The role of intraband dynamics in the generation of circularly polarized high harmonics from solids

abstract: Recent studies have demonstrated that the polarization states of high harmonics from solids can differ from those of the driving pulses. To gain insights on the microscopic origin of this behavior, we perform one-particle intraband-only calculations and reproduce some of the most striking observations. For instance, our calculations yield circularly polarized harmonics from elliptically polarized pulses that sensitively depend on the driving conditions. Furthermore, we perform experiments on ZnS and find partly similar characteristics as reported from silicon. Comparison to our intraband-only calculations shows reasonable qualitative agreement for a below-band-gap harmonic. We show that intraband dynamics predict depolarization effects for higher field strengths. For harmonics above the band gap, interband dynamics become important and the high-harmonic response to elliptical excitation looks systematically different. Our work proposes a method to distinguish between different high-harmonic generation mechanisms and it could pave the way to compact solid-state high-harmonic sources with controllable polarization states.


title: The $\kappa$-cookbook: a novel generalizing approach to unify $\kappa$-like distributions for plasma particle modeling

abstract: In the literature different so-called $\kappa$-distribution functions are discussed to fit and model the velocity (or energy) distributions of solar wind species, pickup ions or magnetospheric particles. Here we introduce a generalized (isotropic) $\kappa$-distribution as a "cookbook", which admits as special cases, or "recipes", all the other known versions of $\kappa$-models. A detailed analysis of the generalized distribution function is performed, providing general analytical expressions for the velocity moments, Debye length, and entropy, and pointing out a series of general requirements that plasma distribution functions should satisfy. From a contrasting analysis of the recipes found in the literature, we show that all of them lead to almost the same macroscopic parameters with a small standard deviation between them. However, one of these recipes called the regularized $\kappa$-distribution provides a functional alternative for macroscopic parameterization without any constraint for the power-law exponent $\kappa$.


title: A Technique for Obtaining True Approximations for $k$-Center with Covering Constraints

abstract: There has been a recent surge of interest in incorporating fairness aspects into classical clustering problems. Two recently introduced variants of the $k$-Center problem in this spirit are Colorful $k$-Center, introduced by Bandyapadhyay, Inamdar, Pai, and Varadarajan, and lottery models, such as the Fair Robust $k$-Center problem introduced by Harris, Pensyl, Srinivasan, and Trinh. To address fairness aspects, these models, compared to traditional $k$-Center, include additional covering constraints. Prior approximation results for these models require to relax some of the normally hard constraints, like the number of centers to be opened or the involved covering constraints, and therefore, only obtain constant-factor pseudo-approximations. In this paper, we introduce a new approach to deal with such covering constraints that leads to (true) approximations, including a $4$-approximation for Colorful $k$-Center with constantly many colors---settling an open question raised by Bandyapadhyay, Inamdar, Pai, and Varadarajan---and a $4$-approximation for Fair Robust $k$-Center, for which the existence of a (true) constant-factor approximation was also open. We complement our results by showing that if one allows an unbounded number of colors, then Colorful $k$-Center admits no approximation algorithm with finite approximation guarantee, assuming that $\mathrm{P} \neq \mathrm{NP}$. Moreover, under the Exponential Time Hypothesis, the problem is inapproximable if the number of colors grows faster than logarithmic in the size of the ground set.


title: Signatures of Einstein-Maxwell dilaton-axion gravity from the observed jet power and the radiative efficiency

abstract: The Einstein-Maxwell dilaton-axion (EMDA) gravity arises in the low energy effective action of the heterotic string theory and provides a simple framework to explore the signatures of the same. The dilaton and the axion fields inherited in the action from string compactifications have interesting consequences in inflationary cosmology and in explaining the present accelerated expansion of the universe. It is therefore worthwhile to search for the footprints of these fields in the available astrophysical observations. Since Einstein gravity is expected to receive quantum corrections in the high curvature domain, the near horizon regime of black holes seems to be the ideal astrophysical laboratory to test these deviations from general relativity. Exact, stationary and axisymmetric black hole solution in EMDA gravity corresponds to the Kerr-Sen spacetime which carries dilaton charge, while the angular momentum is sourced by the axion field. The ballistic jets and the peak emission of the continuum spectrum from the accretion disk are believed to be launched very close to the event horizon and hence should bear the imprints of the background spacetime. We compute the jet power and the radiative efficiency derived from the continuum spectrum in the Kerr-Sen background and compare them with the corresponding observations of microquasars. Our analysis reveals that Kerr black holes are more favored compared to Kerr-Sen black holes with dilaton charges.


title: A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP

abstract: In line with the growing trend of using machine learning to help solve combinatorial optimisation problems, one promising idea is to improve node selection within a mixed integer programming (MIP) branch-and-bound tree by using a learned policy. Previous work using imitation learning indicates the feasibility of acquiring a node selection policy, by learning an adaptive node searching order. In contrast, our imitation learning policy is focused solely on learning which of a node's children to select. We present an offline method to learn such a policy in two settings: one that comprises a heuristic by committing to pruning of nodes; one that is exact and backtracks from a leaf to guarantee finding the optimal integer solution. The former setting corresponds to a child selector during plunging, while the latter is akin to a diving heuristic. We apply the policy within the popular open-source solver SCIP, in both heuristic and exact settings. Empirical results on five MIP datasets indicate that our node selection policy leads to solutions significantly more quickly than the state-of-the-art precedent in the literature. While we do not beat the highly-optimised SCIP state-of-practice baseline node selector in terms of solving time on exact solutions, our heuristic policies have a consistently better optimality gap than all baselines, if the accuracy of the predictive model is sufficient. Further, the results also indicate that, when a time limit is applied, our heuristic method finds better solutions than all baselines in the majority of problems tested. We explain the results by showing that the learned policies have imitated the SCIP baseline, but without the latter's early plunge abort. Our recommendation is that, despite the clear improvements over the literature, this kind of MIP child selector is better seen in a broader approach using learning in MIP branch-and-bound tree decisions.


title: Atomic weights and the combinatorial game of Bipass

abstract: We define an all-small ruleset, Bipass, within the framework of normal-play combinatorial games. A game is played on finite strips of black and white stones. Stones of different colors are swapped provided they do not bypass one of their own kind. We find a surjective function from the strips to integer atomic weights (Berlekamp, Conway and Guy 1982) that measures the number of units in all-small games. This result provides explicit winning strategies for many games, and in cases where it does not, it gives narrow bounds for the canonical form game values. We prove that the game value *2 does not appear as a disjunctive sum of Bipass. Moreover, we find game values for some parametrized families of games, including an infinite number of strips of value *.


title: Mining Dense Subgraphs with Similar Edges

abstract: When searching for interesting structures in graphs, it is often important to take into account not only the graph connectivity, but also the metadata available, such as node and edge labels, or temporal information. In this paper we are interested in settings where such metadata is used to define a similarity between edges. We consider the problem of finding subgraphs that are dense and whose edges are similar to each other with respect to a given similarity function. Depending on the application, this function can be, for example, the Jaccard similarity between the edge label sets, or the temporal correlation of the edge occurrences in a temporal graph. We formulate a Lagrangian relaxation-based optimization problem to search for dense subgraphs with high pairwise edge similarity. We design a novel algorithm to solve the problem through parametric MinCut, and provide an efficient search scheme to iterate through the values of the Lagrangian multipliers. Our study is complemented by an evaluation on real-world datasets, which demonstrates the usefulness and efficiency of the proposed approach.


title: Designing and Training of A Dual CNN for Image Denoising

abstract: Deep convolutional neural networks (CNNs) for image denoising have recently attracted increasing research interest. However, plain networks cannot recover fine details for a complex task, such as real noisy images. In this paper, we propsoed a Dual denoising Network (DudeNet) to recover a clean image. Specifically, DudeNet consists of four modules: a feature extraction block, an enhancement block, a compression block, and a reconstruction block. The feature extraction block with a sparse machanism extracts global and local features via two sub-networks. The enhancement block gathers and fuses the global and local features to provide complementary information for the latter network. The compression block refines the extracted information and compresses the network. Finally, the reconstruction block is utilized to reconstruct a denoised image. The DudeNet has the following advantages: (1) The dual networks with a parse mechanism can extract complementary features to enhance the generalized ability of denoiser. (2) Fusing global and local features can extract salient features to recover fine details for complex noisy images. (3) A Small-size filter is used to reduce the complexity of denoiser. Extensive experiments demonstrate the superiority of DudeNet over existing current state-of-the-art denoising methods.


title: On continuous selections of polynomial functions

abstract: A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that there are only finitely many continuous selections of it and each one is semi-algebraic. Then, we establish some generic properties regarding the critical points, defined by the Clarke subdifferential, of these continuous selections. In particular, given a set of finitely many polynomials with generic coefficients, we show that the critical points of all continuous selections of it are finite and the critical values are all different, and we also derive the coercivity of those continuous selections which are bounded from below. We point out that some existing results about {\L}ojasiewicz's inequality and error bounds for the maximum function of some finitely many polynomials are also valid for all the continuous selections of them.


title: IOHanalyzer: Detailed Performance Analyses for Iterative Optimization Heuristics

abstract: Benchmarking and performance analysis play an important role in understanding the behaviour of iterative optimization heuristics (IOHs) such as local search algorithms, genetic and evolutionary algorithms, Bayesian optimization algorithms, etc. This task, however, involves manual setup, execution, and analysis of the experiment on an individual basis, which is laborious and can be mitigated by a generic and well-designed platform. For this purpose, we propose IOHanalyzer, a new user-friendly tool for the analysis, comparison, and visualization of performance data of IOHs. Implemented in R and C++, IOHanalyzer is fully open source. It is available on CRAN and GitHub. IOHanalyzer provides detailed statistics about fixed-target running times and about fixed-budget performance of the benchmarked algorithms with a real-valued codomain, single-objective optimization tasks. Performance aggregation over several benchmark problems is possible, for example in the form of empirical cumulative distribution functions. Key advantages of IOHanalyzer over other performance analysis packages are its highly interactive design, which allows users to specify the performance measures, ranges, and granularity that are most useful for their experiments, and the possibility to analyze not only performance traces, but also the evolution of dynamic state parameters. IOHanalyzer can directly process performance data from the main benchmarking platforms, including the COCO platform, Nevergrad, the SOS platform, and IOHexperimenter. An R programming interface is provided for users preferring to have a finer control over the implemented functionalities.


title: A competition on blow-up for semilinear wave equations with scale-invariant damping and nonlinear memory term

abstract: In this paper, we investigate blow-up of solutions to semilinear wave equations with scale-invariant damping and nonlinear memory term in $\mathbb{R}^n$, which can be represented by the Riemann-Liouville fractional integral of order $1-\gamma$ with $\gamma\in(0,1)$. Our main interest is to study mixed influence from damping term and the memory kernel on blow-up conditions for the power of nonlinearity, by using test function method or generalized Kato's type lemma. We find a new competition, particularly for the small value of $\gamma$, on the blow-up range between the effective case and the non-effective case.


title: Sparse modeling of large-scale quantum impurity models with low symmetries

abstract: Quantum embedding theories provide a feasible route for obtaining quantitative descriptions of correlated materials. However, a critical challenge is solving an effective impurity model of correlated orbitals embedded in an electron bath. Many advanced impurity solvers require the approximation of a bath continuum using a finite number of bath levels, producing a highly nonconvex, ill-conditioned inverse problem. To address this drawback, this study proposes an efficient fitting algorithm for matrix-valued hybridization functions based on a data-science approach, sparse modeling, and a compact representation of Matsubara Green's functions. The efficiency of the proposed method is demonstrated by fitting random hybridization functions with large off-diagonal elements as well as those of a 20-orbital impurity model for a high-Tc compound, LaAsFeO, at low temperatures (T). The results set quantitative goals for the future development of impurity solvers toward quantum embedding simulations of complex correlated materials.


title: Guidestar-free image-guided wavefront-shaping

abstract: Optical imaging through scattering media is a fundamental challenge in many applications. Recently, substantial breakthroughs such as imaging through biological tissues and looking around corners have been obtained by the use of wavefront-shaping approaches. However, these require an implanted guide-star for determining the wavefront correction, controlled coherent illumination, and most often raster scanning of the shaped focus. Alternative novel computational approaches that exploit speckle correlations, avoid guide-stars and wavefront control but are limited to small two-dimensional objects contained within the memory-effect correlations range. Here, we present a new concept, image-guided wavefront-shaping, allowing non-invasive, guidestar-free, widefield, incoherent imaging through highly scattering layers, without illumination control. Most importantly, the wavefront-correction is found even for objects that are larger than the memory-effect range, by blindly optimizing image-quality metrics. We demonstrate imaging of extended objects through highly-scattering layers and multi-core fibers, paving the way for non-invasive imaging in various applications, from microscopy to endoscopy.


title: Evaluation of one-dimensional polylogarithmic integral, with applications to infinite series

abstract: We give systematic method to evaluate a large class of one-dimensional integral relating to multiple zeta values (MZV) and colored MZV. We also apply the technique of iterated integrals and regularization to elucidate the nature of some infinite series involving binomial coefficients. This technique can be applied to many Ap\'ery-type infinite sums.


title: Dispersed fibers change the classical energy budget of turbulence via nonlocal transfer

abstract: The back-reaction of dispersed rigid fibers to turbulence is analyzed by means of a state-of-the-art fully-coupled immersed boundary method. The following universal scenario is identified: turbulence at large scales looses a consistent part of its kinetic energy (via a Darcy friction term), which partially re-appears at small scales where a new range of energy-containing scales does emerge. Large-scale mixing is thus depleted in favor of a new mixing mechanism arising at the smallest scales. Anchored fibers cause the same back-reaction to turbulence as moving fibers of large inertia. Our results thus provide a link between two apparently separated realms: the one of porous media and the one of suspension dynamics.


title: Non-monotone target sets for threshold values restricted to $0$, $1$, and the vertex degree

abstract: We consider a non-monotone activation process $(X_t)_{t\in\{ 0,1,2,\ldots\}}$ on a graph $G$, where $X_0\subseteq V(G)$, $X_t=\{ u\in V(G):|N_G(u)\cap X_{t-1}|\geq \tau(u)\}$ for every positive integer $t$, and $\tau:V(G)\to \mathbb{Z}$ is a threshold function. The set $X_0$ is a so-called non-monotone target set for $(G,\tau)$ if there is some $t_0$ such that $X_t=V(G)$ for every $t\geq t_0$. Ben-Zwi, Hermelin, Lokshtanov, and Newman [Discrete Optimization 8 (2011) 87-96] asked whether a target set of minimum order can be determined efficiently if $G$ is a tree. We answer their question in the affirmative for threshold functions $\tau$ satisfying $\tau(u)\in \{ 0,1,d_G(u)\}$ for every vertex~$u$. For such restricted threshold functions, we give a characterization of target sets that allows to show that the minimum target set problem remains NP-hard for planar graphs of maximum degree $3$ but is efficiently solvable for graphs of bounded treewidth.


title: On Entropy Regularized Path Integral Control for Trajectory Optimization

abstract: In this article we present a generalised view on Path Integral Control (PIC) methods. PIC refers to a particular class of policy search methods that are closely tied to the setting of Linearly Solvable Optimal Control (LSOC), a restricted subclass of nonlinear Stochastic Optimal Control (SOC) problems. This class is unique in the sense that it can be solved explicitly to yield a formal optimal state trajectory distribution. In this contribution we first review the PIC theory and discuss related algorithms tailored to policy search in general. We are able to identify a generic design strategy that relies on the existence of an optimal state trajectory distribution and finds a parametric policy by minimizing the cross entropy between the optimal and a state trajectory distribution parametrized through its policy. Inspired by this observation we then aim to formulate a SOC problem that shares traits with the LSOC setting yet that covers a less restrictive class of problem formulations. We refer to this SOC problem as Entropy Regularized Trajectory Optimization. The problem is closely related to the Entropy Regularized Stochastic Optimal Control setting which is lately often addressed by the Reinforcement Learning (RL) community. We analyse the theoretical convergence behaviour of the theoretical state trajectory distribution sequence and draw connections with stochastic search methods tailored to classic optimization problems. Finally we derive explicit updates and compare the implied Entropy Regularized PIC with earlier work in the context of both PIC and RL for derivative-free trajectory optimization.


title: Double Prioritized State Recycled Experience Replay

abstract: Experience replay enables online reinforcement learning agents to store and reuse the previous experiences of interacting with the environment. In the original method, the experiences are sampled and replayed uniformly at random. A prior work called prioritized experience replay was developed where experiences are prioritized, so as to replay experiences seeming to be more important more frequently. In this paper, we develop a method called double-prioritized state-recycled (DPSR) experience replay, prioritizing the experiences in both training stage and storing stage, as well as replacing the experiences in the memory with state recycling to make the best of experiences that seem to have low priorities temporarily. We used this method in Deep Q-Networks (DQN), and achieved a state-of-the-art result, outperforming the original method and prioritized experience replay on many Atari games.


title: On homogeneous quasipositive links

abstract: We discuss when homogeneous quasipositive links are positive. In particular, we show that a homogeneous diagram of a quasipositive link whose number of Seifert circles is equal to the braid index is a positive diagram.


title: The algebraic structure of conjucyclic codes over F_{q^2}

abstract: Conjucyclic codes are an important and special family of classical error-correcting codes, which have been used to construct binary quantum error-correcting codes (QECCs). However, at present, the research on the conjucyclic codes is extremely insufficient. This paper will explore the algebraic structure of additive conjucyclic codes over $\mathbb{F}_{q^{2}}$ for the first time. Mainly via the trace function from $\mathbb{F}_{q^{2}}$ down $\mathbb{F}_{q}$, we will firstly build an isomorphic mapping between $q^2$-ary additive conjucyclic codes and $q$-ary linear cyclic codes. Since the mapping preserves the weight and orthogonality, then the dual structure of these codes with respect to the alternating inner product will be described. Then a new construction of QECCs from conjucyclic codes can be obtained. Finally, the enumeration of $q^2$-ary additive conjucyclic codes of length $n$ and the explicit forms of their generator and parity-check matrices will be determined.


title: Responsive Safety in Reinforcement Learning by PID Lagrangian Methods

abstract: Lagrangian methods are widely used algorithms for constrained optimization problems, but their learning dynamics exhibit oscillations and overshoot which, when applied to safe reinforcement learning, leads to constraint-violating behavior during agent training. We address this shortcoming by proposing a novel Lagrange multiplier update method that utilizes derivatives of the constraint function. We take a controls perspective, wherein the traditional Lagrange multiplier update behaves as \emph{integral} control; our terms introduce \emph{proportional} and \emph{derivative} control, achieving favorable learning dynamics through damping and predictive measures. We apply our PID Lagrangian methods in deep RL, setting a new state of the art in Safety Gym, a safe RL benchmark. Lastly, we introduce a new method to ease controller tuning by providing invariance to the relative numerical scales of reward and cost. Our extensive experiments demonstrate improved performance and hyperparameter robustness, while our algorithms remain nearly as simple to derive and implement as the traditional Lagrangian approach.


title: Charged-particle branching ratios above the neutron threshold in $^{19}$F: constraining $^{15}$N production in core-collapse supernovae

abstract: Spatially-correlated overabundances of $^{15}$N and $^{18}$O observed in some low-density graphite meteoritic grains have been connected to nucleosynthesis taking place in the helium-burning shell during core-collapse supernovae. Two of the reactions which have been identified as important to the final abundances of $^{15}$N and $^{18}$O are $^{18}$F($n,\alpha$)$^{15}$N and $^{18}$F($n,p$)$^{18}$O. The relative strengths of the $^{18}$F($n,\alpha$)$^{15}$N and $^{18}$F($n,p$)$^{18}$O reactions depend on the relative $\alpha_0$ and $p_0$ decays from states above the neutron threshold in $^{19}$F in addition to other properties. Experimental data on the charged-particle decays from these highly excited states are lacking or inconsistent. Two experiments were performed using proton inelastic scattering from LiF targets and magnetic spectrographs. The first experiment used the high-resolution Q3D spectrograph at Munich to constrain properties of levels in $^{19}$F. A second experiment using the Orsay Split-Pole spectrograph and an array of silicon detectors was performed in order to measure the charged-particle decays of neutron-unbound levels in $^{19}$F. A number of levels in $^{19}$F have been identified along with their corresponding charged-particle decays. The first state above the neutron threshold which has an observed proton-decay branch to the ground state of $^{18}$O lies 68 keV above the neutron threshold while the $\alpha$-particle decays from the neutron-unbound levels are generally observed to be much stronger than the proton decays. Neutron-unbound levels in $^{19}$F are observed to decay predominantly by $\alpha$-particle emission, supporting the role of $^{18}$F($n,\alpha$)$^{15}$N in the production of $^{15}$N in the helium-burning shell of supernovae. Improved resonant-scattering reaction data are required in order to be able to determine the reaction rates accurately.


title: Semi-Supervised Learning with Meta-Gradient

abstract: In this work, we propose a simple yet effective meta-learning algorithm in semi-supervised learning. We notice that most existing consistency-based approaches suffer from overfitting and limited model generalization ability, especially when training with only a small number of labeled data. To alleviate this issue, we propose a learn-to-generalize regularization term by utilizing the label information and optimize the problem in a meta-learning fashion. Specifically, we seek the pseudo labels of the unlabeled data so that the model can generalize well on the labeled data, which is formulated as a nested optimization problem. We address this problem using the meta-gradient that bridges between the pseudo label and the regularization term. In addition, we introduce a simple first-order approximation to avoid computing higher-order derivatives and provide theoretic convergence analysis. Extensive evaluations on the SVHN, CIFAR, and ImageNet datasets demonstrate that the proposed algorithm performs favorably against state-of-the-art methods.


title: Correlations in multithermostat Brownian systems with Lorentz force

abstract: We study the motion of a Brownian particle subjected to Lorentz force due to an external magnetic field. Each spatial degree of freedom of the particle is coupled to a different thermostat. We show that the magnetic field results in correlation between different velocity components in the stationary state. Integrating the velocity autocorrelation matrix, we obtain the diffusion matrix that enters the Fokker-Planck equation for the probability density. The eigenvectors of the diffusion matrix do not align with the temperature axes. As a consequence the Brownian particle performs spatially correlated diffusion. We further show that in the presence of an isotropic confining potential, an unusual, flux-free steady state emerges which is characterized by a non-Boltzmann density distribution, which can be rotated by reversing the magnetic field. The nontrivial steady state properties of our system result from the Lorentz force induced coupling of the spatial degrees of freedom which cease to exist in equilibrium corresponding to a single-temperature system.


title: Growth of differential identities

abstract: In this paper we study the growth of the differential identities of some algebras with derivations, i.e., associative algebras where a Lie algebra $L$ (and its universal enveloping algebra $U(L)$) acts on them by derivations. In particular, we study in detail the differential identities and the cocharacter sequences of some algebras whose sequence of differential codimensions has polynomial growth. Moreover, we shall give a complete description of the differential identities of the algebra $UT_2$ of $2\times 2$ upper triangular matrices endowed with all possible action of a Lie algebra by derivations. Finally, we present the structure of the differential identities of the infinite dimensional Grassmann $G$ with respect to the action of a finite dimensional Lie algebra $L$ of inner derivations.


title: Experimental evidence for orthorhombic Fddd crystal structure in elemental yttrium above 100 GPa

abstract: We present electrical resistance measurements of elemental yttrium on bulk and film samples, and both exhibit superconductivity at very high pressures. We show that the pressure dependence of the superconducting transition temperature above 100 GPa is in good agreement with the predicted Fddd phase by Chen et al. [Phys. Rev. lett. 109, 157004 (2012)]. This result together with a new Rietveld refinement made on X-ray data at 123 GPa from Samudrala et al. [J. Phys. Condens. Matter 24, 362201 (2012)] offer strong evidence that the atomic structure of yttrium above 100 GPa is orthorhombic Fddd. Furthermore, our process of evaporating yttrium film directly on a diamond anvil is expected to be a valuable asset for future synthesis of new superhydride superconductors.


title: Distributed Training of Deep Learning Models: A Taxonomic Perspective

abstract: Distributed deep learning systems (DDLS) train deep neural network models by utilizing the distributed resources of a cluster. Developers of DDLS are required to make many decisions to process their particular workloads in their chosen environment efficiently. The advent of GPU-based deep learning, the ever-increasing size of datasets and deep neural network models, in combination with the bandwidth constraints that exist in cluster environments require developers of DDLS to be innovative in order to train high quality models quickly. Comparing DDLS side-by-side is difficult due to their extensive feature lists and architectural deviations. We aim to shine some light on the fundamental principles that are at work when training deep neural networks in a cluster of independent machines by analyzing the general properties associated with training deep learning models and how such workloads can be distributed in a cluster to achieve collaborative model training. Thereby we provide an overview of the different techniques that are used by contemporary DDLS and discuss their influence and implications on the training process. To conceptualize and compare DDLS, we group different techniques into categories, thus establishing a taxonomy of distributed deep learning systems.


title: Fundamental invariants of 2--nondegenerate CR geometries with simple models

abstract: This article studies the fundamental invariants of 2--nondegenerate CR geometries with simple models. We show that there are two sources of these invariants. The first source is the harmonic curvature of the parabolic geometry that appears (locally) on the leaf space of the Levi kernel. The second source is the difference between the complex structure on the complex tangent space of the CR geometry and the complex structure on the correspondence space to the underlying parabolic geometry. We show that the later fundamental invariants appear only when the model is generic and if they vanish, then the solution of the local equivalence problem of 2--nondegenerate CR geometries with simple models is provided by the Cartan connection of the underlying parabolic geometry. We show that nontrivial examples of CR geometries with the later fundamental invariants can be obtained as deformations of the models.


title: Secure Distributed Matrix Computation with Discrete Fourier Transform

abstract: We consider the problem of secure distributed matrix computation (SDMC), where a \textit{user} queries a function of data matrices generated at distributed \textit{source} nodes. We assume the availability of $N$ honest but curious computation servers, which are connected to the sources, the user, and each other through orthogonal and reliable communication links. Our goal is to minimize the amount of data that must be transmitted from the sources to the servers, called the \textit{upload cost}, while guaranteeing that no $T$ colluding servers can learn any information about the source matrices, and the user cannot learn any information beyond the computation result. We first focus on secure distributed matrix multiplication (SDMM), considering two matrices, and propose a novel polynomial coding scheme using the properties of finite field discrete Fourier transform, which achieves an upload cost significantly lower than the existing results in the literature. We then generalize the proposed scheme to include straggler mitigation, and to the multiplication of multiple matrices while keeping the input matrices, the intermediate computation results, as well as the final result secure against any $T$ colluding servers. We also consider a special case, called computation with own data, where the data matrices used for computation belong to the user. In this case, we drop the security requirement against the user, and show that the proposed scheme achieves the minimal upload cost. We then propose methods for performing other common matrix computations securely on distributed servers, including changing the parameters of secret sharing, matrix transpose, matrix exponentiation, solving a linear system, and matrix inversion, which are then used to show how arbitrary matrix polynomials can be computed securely on distributed servers using the proposed procedure.


title: Within-Person Variability Score-Based Causal Inference: A Two-Step Estimation for Joint Effects of Time-Varying Treatments

abstract: Behavioral science researchers have shown strong interest in disaggregating within-person relations from between-person differences (stable traits) using longitudinal data. In this paper, we propose a method of within-person variability score-based causal inference for estimating joint effects of time-varying continuous treatments by effectively controlling for stable traits. After explaining the assumed data-generating process and providing formal definitions of stable trait factors, within-person variability scores, and joint effects of time-varying treatments at the within-person level, we introduce the proposed method, which consists of a two-step analysis. Within-person variability scores for each person, which are disaggregated from stable traits of that person, are first calculated using weights based on a best linear correlation preserving predictor through structural equation modeling (SEM). Causal parameters are then estimated via a potential outcome approach, either marginal structural models (MSMs) or structural nested mean models (SNMMs), using calculated within-person variability scores. Unlike the approach that relies entirely on SEM, the present method does not assume linearity for observed time-varying confounders at the within-person level. We emphasize the use of SNMMs with G-estimation because of its property of being doubly robust to model misspecifications in how observed time-varying confounders are functionally related with treatments/predictors and outcomes at the within-person level. Through simulation, we show that the proposed method can recover causal parameters well and that causal estimates might be severely biased if one does not properly account for stable traits. An empirical application using data regarding sleep habits and mental health status from the Tokyo Teen Cohort study is also provided.


title: Constraints on ultra-low-frequency gravitational waves with statistics of pulsar spin-down rates II: Mann-Whitney U test

abstract: We investigate gravitational waves with sub-nanoHz frequencies ($10^{-11}$ Hz $\lesssim f_{\rm GW} \lesssim 10^{-9}$ Hz) from the spatial distribution of the spin-down rates of milli-second pulsars. As we suggested in Yonemaru et al. 2018, gravitational waves from a single source induces the bias in the observed spin-down rates of pulsars depending on the relative direction between the source and pulsar. To improve the constraints on the time derivative of gravitational-wave amplitude obtained in our previous work (Kumamoto et al. 2019), we adopt a more sophisticated statistical method called the Mann-Whitney U test. Applying our method to the ATNF pulsar catalogue, we first found that the current data set is consistent with no GW signal from any direction in the sky. Then, we estimate the effective angular resolution of our method to be $(66~{\rm deg})^2$ by studying the probability distribution of the test statistic. Finally, we investigate gravitational-wave signal from the Galactic Centre and M87 and, comparing simulated mock data sets with the real pulsar data, we obtain the upper bounds on the time derivative as $\dot{h}_{\rm GC} < 8.9 \times 10^{-19} {\rm s}^{-1}$ for the Galactic Centre and $\dot{h}_{\rm M87} < 3.3 \times 10^{-19} {\rm s}^{-1}$ for M87, which are stronger than the ones obtained in Kumamoto et al. 2019 by factors of 7 and 25, respectively.


title: MPC Protocol for G-module and its Application in Secure Compare and ReLU

abstract: Secure comparison and secure selection are two fundamental MPC (secure Multi-Party Computation) protocols. One important application of these protocols is the secure ReLU and DReLU computation in privacy preserving deep learning. In this paper, we introduce G-module, a mathematics tool, to re-design such protocols. In mathematics, given a group G, a G-module is an abelian group M on which G acts compatibly with the abelian group structure on M. We design three secure protocols for three G-module operations. i.e. "G-module action", "Cross G-module action" and "G-module recover". As far as we know, this is the first work on secure G-module operations. Based on them, we design secure comparison, selection, ReLU and DReLU protocols, which improve communication efficiency by 2X to 10X compared with state of arts. Our protocols are very computation efficient too. They do not require public key operations or any other expensive operations.


title: A Quantum Finite Automata Approach to Modeling the Chemical Reactions

abstract: In recent years, the modeling interest has increased significantly from the molecular level to the atomic and quantum scale. The field of computational chemistry plays a significant role in designing computational models for the operation and simulation of systems ranging from atoms and molecules to industrial-scale processes. It is influenced by a tremendous increase in computing power and the efficiency of algorithms. The representation of chemical reactions using classical automata theory in thermodynamic terms had a great influence on computer science. The study of chemical information processing with quantum computational models is a natural goal. In this paper, we have modeled chemical reactions using two-way quantum finite automata, which are halted in linear time. Additionally, classical pushdown automata can be designed for such chemical reactions with multiple stacks. It has been proven that computational versatility can be increased by combining chemical accept/reject signatures and quantum automata models.


title: Bifurcation diagram of a Robin boundary value problem arising in MEMS

abstract: We consider a parabolic problem with Robin boundary condition which arises when the edge of a micro-electro-mechanical-system (MEMS) device is connected with a flexible nonideal support. Then via a rigorous analysis we investigate the structure of the solution set of the corresponding steady-state problem. We show that a critical value (the pull-in voltage) exists so that the system has exactly two stationary solutions when the applied voltage is lower than this critical value, one stationary solution for applying this critical voltage, and no stationary solution above the critical voltage.


title: Quantum Enhanced Interferometer for Kilohertz Gravitational Wave Detection

abstract: The gravitational wave detector of higher sensitivity and greater bandwidth in kilohertz window is required for future gravitational wave astronomy and cosmology. Here we present a new type broadband high frequency laser interferometer gravitational wave detector utilizing polarization of light as signal carrier. Except for Fabry-Perot cavity arms we introduce dual power recycling to further amplify the gravitational wave signals. A novel method of weak measurement amplification is used to amplify signals for detection and to guarantee the long-term run of detector. Equipped with squeezed light, the proposed detector is shown sensitive enough within the window from 300Hz to several kHz, making it suitable for the study of high frequency gravitational wave sources. With the proposed detector added in the current detection network, we show that the ability of exploring binary neutron stars merger physics be significantly improved. The detector presented here is expected to provide an alternative way of exploring the possible ground-based gravitational wave detector for the need of future research.


title: Adaptive 3D Face Reconstruction from a Single Image

abstract: 3D face reconstruction from a single image is a challenging problem, especially under partial occlusions and extreme poses. This is because the uncertainty of the estimated 2D landmarks will affect the quality of face reconstruction. In this paper, we propose a novel joint 2D and 3D optimization method to adaptively reconstruct 3D face shapes from a single image, which combines the depths of 3D landmarks to solve the uncertain detections of invisible landmarks. The strategy of our method involves two aspects: a coarse-to-fine pose estimation using both 2D and 3D landmarks, and an adaptive 2D and 3D re-weighting based on the refined pose parameter to recover accurate 3D faces. Experimental results on multiple datasets demonstrate that our method can generate high-quality reconstruction from a single color image and is robust for self-occlusion and large poses.


title: Interdependencies of female board member appointments

abstract: We investigate the networks of Japanese corporate boards and its influence on the appointments of female board members. We find that corporate boards with women show homophily with respect to gender. The corresponding firms often have above average profitability. We also find that new appointments of women are more likely at boards which observe female board members at other firms to which they are tied by either ownership relations or corporate board interlocks.


title: Fourier uniqueness in $\mathbb{R}^4$

abstract: We show an interrelation between the uniqueness aspect of the recent Fourier interpolation formula of Radchenko and Viazovska and the Heisenberg uniqueness study for the Klein-Gordon equation and the lattice-cross of critical density, studied by Hedenmalm and Montes-Rodriguez. This has been known since 2017.


title: On semi-discrete sub-partitions of vector-valued measures

abstract: We introduce a concept of optimal transport for vector-valued measures and its dual formulation. In this note we concentrate on the semi-discrete case and show some fundamental differences between the scalar and vector cases. A manifestation of this difference is the possibility of non-existence of optimal solution for the dual problem for feasible primer problems.


title: Dynamic social learning under graph constraints

abstract: We introduce a model of graph-constrained dynamic choice with reinforcement modeled by positively $\alpha$-homogeneous rewards. We show that its empirical process, which can be written as a stochastic approximation recursion with Markov noise, has the same probability law as a certain vertex reinforced random walk. We use this equivalence to show that for $\alpha > 0$, the asymptotic outcome concentrates around the optimum in a certain limiting sense when `annealed' by letting $\alpha\uparrow\infty$ slowly.


title: Asymptotics of the number of 2-threshold functions

abstract: A $k$-threshold function on a rectangular grid of size $m \times n$ is the conjunction of $k$ threshold functions on the same domain. In this paper, we focus on the case $k=2$ and show that the number of two-dimensional 2-threshold functions is~$\dfrac{25}{12\pi^4} m^4 n^4 + o(m^4n^4)$.


title: Conversion pathways of primary defects by annealing in proton-irradiated n-type 4H-SiC

abstract: The development of defect populations after proton irradiation of n-type 4H-SiC and subsequent annealing experiments is studied by means of deep level transient (DLTS) and photoluminescence (PL) spectroscopy. A comprehensive model is suggested describing the evolution and interconversion of irradiation-induced point defects during annealing below 1000{\deg}C. The model proposes the EH4 and EH5 traps frequently found by DLTS to originate from the (+/0) charge transition level belonging to different configurations of the carbon antisite-carbon vacancy (CAV) complex. Furthermore, we show that the transformation channel between the silicon vacancy (VSi) and CAV is effectively blocked under n-type conditions, but becomes available in samples where the Fermi level has moved towards the center of the band gap due to irradiation-induced donor compensation. The annealing of VSi and the carbon vacancy (VC) is shown to be dominated by recombination with residual self-interstitials at temperatures of up to 400{\deg}C. Going to higher temperatures, a decay of the CAV pair density is reported which is closely correlated to a renewed increase of VC concentration. A conceivable explanation for this process is the dissociation of the CAV pair into separate carbon anitisites and VC defects. Lastly, the presented data supports the claim that the removal of free carriers in irradiated SiC is due to introduced compensating defects and not passivation of shallow nitrogen donors.


title: A characterization of 2-threshold functions via pairs of prime segments

abstract: A $\{0,1\}$-valued function on a two-dimensional rectangular grid is called threshold if its sets of zeros and ones are separable by a straight line. In this paper we study 2-threshold functions, i.e. functions representable as the conjunction of two threshold functions. We provide a characterization of 2-threshold functions by pairs of oriented prime segments, where each such segment is defined by an ordered pair of adjacent integer points.


title: Power Side-Channel Attacks in Negative Capacitance Transistor (NCFET)

abstract: Side-channel attacks have empowered bypassing of cryptographic components in circuits. Power side-channel (PSC) attacks have received particular traction, owing to their non-invasiveness and proven effectiveness. Aside from prior art focused on conventional technologies, this is the first work to investigate the emerging Negative Capacitance Transistor (NCFET) technology in the context of PSC attacks. We implement a CAD flow for PSC evaluation at design-time. It leverages industry-standard design tools, while also employing the widely-accepted correlation power analysis (CPA) attack. Using standard-cell libraries based on the 7nm FinFET technology for NCFET and its counterpart CMOS setup, our evaluation reveals that NCFET-based circuits are more resilient to the classical CPA attack, due to the considerable effect of negative capacitance on the switching power. We also demonstrate that the thicker the ferroelectric layer, the higher the resiliency of the NCFET-based circuit, which opens new doors for optimization and trade-offs.


title: Generalizing Tensor Decomposition for N-ary Relational Knowledge Bases

abstract: With the rapid development of knowledge bases (KBs), link prediction task, which completes KBs with missing facts, has been broadly studied in especially binary relational KBs (a.k.a knowledge graph) with powerful tensor decomposition related methods. However, the ubiquitous n-ary relational KBs with higher-arity relational facts are paid less attention, in which existing translation based and neural network based approaches have weak expressiveness and high complexity in modeling various relations. Tensor decomposition has not been considered for n-ary relational KBs, while directly extending tensor decomposition related methods of binary relational KBs to the n-ary case does not yield satisfactory results due to exponential model complexity and their strong assumptions on binary relations. To generalize tensor decomposition for n-ary relational KBs, in this work, we propose GETD, a generalized model based on Tucker decomposition and Tensor Ring decomposition. The existing negative sampling technique is also generalized to the n-ary case for GETD. In addition, we theoretically prove that GETD is fully expressive to completely represent any KBs. Extensive evaluations on two representative n-ary relational KB datasets demonstrate the superior performance of GETD, significantly improving the state-of-the-art methods by over 15\%. Moreover, GETD further obtains the state-of-the-art results on the benchmark binary relational KB datasets.


title: Attacking Split Manufacturing from a Deep Learning Perspective

abstract: The notion of integrated circuit split manufacturing which delegates the front-end-of-line (FEOL) and back-end-of-line (BEOL) parts to different foundries, is to prevent overproduction, piracy of the intellectual property (IP), or targeted insertion of hardware Trojans by adversaries in the FEOL facility. In this work, we challenge the security promise of split manufacturing by formulating various layout-level placement and routing hints as vector- and image-based features. We construct a sophisticated deep neural network which can infer the missing BEOL connections with high accuracy. Compared with the publicly available network-flow attack [1], for the same set of ISCAS-85 benchmarks, we achieve 1.21X accuracy when splitting on M1 and 1.12X accuracy when splitting on M3 with less than 1% running time.


title: Simple transitive 2-representations of 2-categories associated to self-injective cores

abstract: Given a finite dimensional algebra $A$, we consider certain sets of idempotents of $A$, called self-injective cores, to which we associate 2-subcategories of the 2-category of projective bimodules over $A$. We classify the simple transitive 2-representations of such 2-subcategories, vastly generalizing the main result of arXiv:1805.05724.


title: Optimal Control of the 2D Evolutionary Navier-Stokes Equations with Measure Valued Controls

abstract: In this paper, we consider an optimal control problem for the two-dimensional evolutionary Navier-Stokes system. Looking for sparsity, we take controls as functions of time taking values in a space of Borel measures. The cost functional does not involve directly the control but we assume some constraints on them. We prove the well-posedness of the control problem and derive necessary and sufficient conditions for local optimality of the controls.


title: Quartic differentials and harmonic maps in conformal surface geometry

abstract: We consider codimension 2 sphere congruences in pseudo-conformal geometry that are harmonic with respect to the conformal structure of an orthogonal surface. We characterise the orthogonal surfaces of such congruences as either $S$-Willmore surfaces, quasi-umbilical surfaces, constant mean curvature surfaces in 3-dimensional space forms or surfaces of constant lightlike mean curvature in 3-dimensional lightcones. We then investigate Bryant's quartic differential in this context and show that generically this is divergence free if and only if the surface under consideration is either superconformal or orthogonal to a harmonic congruence of codimension 2 spheres. We may then apply the previous result to characterise surfaces with such a property.


title: A variational theory of convolution-type functionals

abstract: We provide a general treatment of perturbations of a class of functionals modeled on convolution energies with integrable kernel which approximate the $p$-th norm of the gradient as the kernel is scaled by letting a small parameter $\varepsilon$ tend to $0$. We first provide the necessary functional-analytic tools to show coerciveness in $L^p$. The main result is a compactness and integral-representation theorem which shows that limits of convolution-type energies is a standard local integral functional with $p$-growth defined on a Sobolev space. This result is applied to obtain periodic homogenization results, to study applications to functionals defined on point-clouds, to stochastic homogenization and to the study of limits of the related gradient flows.


title: Detailed abundances in a sample of very metal poor stars

abstract: Unevolved metal poor stars are the witness of the early evolution of the Galaxy. The determination of their detailed chemical composition is an important tool to understand the chemical history of our Galaxy. The study of their chemical composition can also be used to constrain the nucleosynthesis of the first generation of supernovae that enriched the interstellar medium. The aim is to observe a sample of extremely metal poor stars (EMP stars) candidates selected from SDSS DR12 release and determine their chemical composition. We obtained high resolution spectra of a sample of five stars using HDS on Subaru telescope and used standard 1D models to compute the abundances. The stars we analysed have a metallicity [Fe/H] between -3.50 dex and -4.25 dex . We confirm that the five metal poor candidates selected from low resolution spectra are very metal poor. We present, the discovery of a new ultra metal-poor star (UMP star) with a metallicity of [Fe/H]= -4.25 dex (SDSS~J1050032.34$-$241009.7). We measured in this star an upper limit of lithium ( log(Li/H) <= 2.0. We found that the 4 most metal poor stars of our sample have a lower lithium abundance than the Spite plateau lithium value. We obtain upper limits for carbon in the sample of stars. None of them belong to the high carbon band. We measured abundances of Mg and Ca in most of the stars and found three new alpha-poor stars.


title: MCU-Net: A framework towards uncertainty representations for decision support system patient referrals in healthcare contexts

abstract: Incorporating a human-in-the-loop system when deploying automated decision support is critical in healthcare contexts to create trust, as well as provide reliable performance on a patient-to-patient basis. Deep learning methods while having high performance, do not allow for this patient-centered approach due to the lack of uncertainty representation. Thus, we present a framework of uncertainty representation evaluated for medical image segmentation, using MCU-Net which combines a U-Net with Monte Carlo Dropout, evaluated with four different uncertainty metrics. The framework augments this by adding a human-in-the-loop aspect based on an uncertainty threshold for automated referral of uncertain cases to a medical professional. We demonstrate that MCU-Net combined with epistemic uncertainty and an uncertainty threshold tuned for this application maximizes automated performance on an individual patient level, yet refers truly uncertain cases. This is a step towards uncertainty representations when deploying machine learning based decision support in healthcare settings.


title: A complete characterization of the APN property of a class of quadrinomials

abstract: In this paper, by the Hasse-Weil bound, we determine the necessary and sufficient condition on coefficients $a_1,a_2,a_3\in\mathbb{F}_{2^n}$ with $n=2m$ such that $f(x) = {x}^{3\cdot2^m} + a_1x^{2^{m+1}+1} + a_2 x^{2^m+2} + a_3x^3$ is an APN function over $\mathbb{F}_{2^n}$. Our result resolves the first half of an open problem by Carlet in International Workshop on the Arithmetic of Finite Fields, 83-107, 2014.


title: Placing Grid-Forming Converters to Enhance Small Signal Stability of PLL-Integrated Power Systems

abstract: The modern power grid features the high penetration of power converters, which widely employ a phase-locked loop (PLL) for grid synchronization. However, it has been pointed out that PLL can give rise to small-signal instabilities under weak grid conditions. This problem can be potentially resolved by operating the converters in grid-forming mode, namely, without using a PLL. Nonetheless, it has not been theoretically revealed how the placement of grid-forming converters enhances the small-signal stability of power systems integrated with large-scale PLL-based converters. This paper aims at filling this gap. Based on matrix perturbation theory, we explicitly demonstrate that the placement of grid-forming converters is equivalent to increasing the power grid strength and thus improving the small-signal stability of PLL-based converters. Furthermore, we investigate the optimal locations to place grid-forming converters by increasing the smallest eigenvalue of the weighted and Kron-reduced Laplacian matrix of the power network. The analysis in this paper is validated through high-fidelity simulation studies on a modified two-area test system and a modified 39-bus test system. This paper potentially lays the foundation for understanding the interaction between PLL-based (i.e., grid-following) converters and grid-forming converters, and coordinating their placements in future converter-dominated power systems.


title: The automorphism group of the modular curve $X_0^*(N)$ with square-free level

abstract: We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its Atkin-Lehner involutions, for all square-free values of $N$.


title: Stacked adaptive dynamic programming with unknown system model

abstract: Adaptive dynamic programming is a collective term for a variety of approaches to infinite-horizon optimal control. Common to all approaches is approximation of the infinite-horizon cost function based on dynamic programming philosophy. Typically, they also require knowledge of a dynamical model of the system. In the current work, application of adaptive dynamic programming to a system whose dynamical model is unknown to the controller is addressed. In order to realize the control algorithm, a model of the system dynamics is estimated with a Kalman filter. A stacked control scheme to boost the controller performance is suggested. The functioning of the new approach was verified in simulation and compared to the baseline represented by gradient descent on the running cost.


title: The ALMA-PILS survey: First detection of the unsaturated 3-carbon molecules Propenal (C$_2$H$_3$CHO) and Propylene (C$_3$H$_6$) towards IRAS 16293$-$2422 B

abstract: Complex organic molecules with three carbon atoms are found in the earliest stages of star formation. In particular, propenal (C$_2$H$_3$CHO) is a species of interest due to its implication in the formation of more complex species and even biotic molecules. This study aims to search for the presence of C$_2$H$_3$CHO and other three-carbon species such as propylene (C$_3$H$_6$) in the hot corino region of the low-mass protostellar binary IRAS 16293--2422 to understand their formation pathways. We use ALMA observations in Band 6 and 7 from various surveys to search for the presence of C$_3$H$_6$ and C$_2$H$_3$CHO towards the protostar IRAS 16293--2422 B (IRAS 16293B). We report the detection of both C$_3$H$_6$ and C$_2$H$_3$CHO towards IRAS 16293B, however, no unblended lines were found towards the other component of the binary system, IRAS 16293A. We derive column density upper limits for C$_3$H$_8$, HCCCHO, n-C$_3$H$_7$OH, i-C$_3$H$_7$OH, C$_3$O, and cis-HC(O)CHO towards IRAS 16293B. We then use a three-phase chemical model to simulate the formation of these species in a typical prestellar environment followed by its hydrodynamical collapse until the birth of the central protostar. Different formation paths, such as successive hydrogenation and radical-radical additions on grain surfaces, are tested and compared to the observational results. The simulations reproduce the abundances within one order of magnitude from those observed towards IRAS 16293B, with the best agreement found for a rate of $10^{-12}$ cm$^3$ s$^{-1}$ for the gas-phase reaction C$_3$ + O $\rightarrow$ C$_2$ + CO. Successive hydrogenations of C$_3$, HC(O)CHO, and CH$_3$OCHO on grain surfaces are a major and crucial formation route of complex organics molecules, whereas both successive hydrogenation pathways and radical-radical addition reactions contribute to the formation of C$_2$H$_5$CHO.


title: Supervised machine learning techniques for data matching based on similarity metrics

abstract: Businesses, governmental bodies and NGO's have an ever-increasing amount of data at their disposal from which they try to extract valuable information. Often, this needs to be done not only accurately but also within a short time frame. Clean and consistent data is therefore crucial. Data matching is the field that tries to identify instances in data that refer to the same real-world entity. In this study, machine learning techniques are combined with string similarity functions to the field of data matching. A dataset of invoices from a variety of businesses and organizations was preprocessed with a grouping scheme to reduce pair dimensionality and a set of similarity functions was used to quantify similarity between invoice pairs. The resulting invoice pair dataset was then used to train and validate a neural network and a boosted decision tree. The performance was compared with a solution from FISCAL Technologies as a benchmark against currently available deduplication solutions. Both the neural network and boosted decision tree showed equal to better performance.


title: Unbiased Lift-based Bidding System

abstract: Conventional bidding strategies for online display ad auction heavily relies on observed performance indicators such as clicks or conversions. A bidding strategy naively pursuing these easily observable metrics, however, fails to optimize the profitability of the advertisers. Rather, the bidding strategy that leads to the maximum revenue is a strategy pursuing the performance lift of showing ads to a specific user. Therefore, it is essential to predict the lift-effect of showing ads to each user on their target variables from observed log data. However, there is a difficulty in predicting the lift-effect, as the training data gathered by a past bidding strategy may have a strong bias towards the winning impressions. In this study, we develop Unbiased Lift-based Bidding System, which maximizes the advertisers' profit by accurately predicting the lift-effect from biased log data. Our system is the first to enable high-performing lift-based bidding strategy by theoretically alleviating the inherent bias in the log. Real-world, large-scale A/B testing successfully demonstrates the superiority and practicability of the proposed system.


title: Power-saving Asynchronous Quorum-based Protocols for Maximal Neighbour Discovery

abstract: The discovery of neighbouring active nodes is one of the most challenging problems in asynchronous ad hoc networks. Since time synchronization is extremely costly in these networks, application of asynchronous methods like quorum-based protocols have attracted increased interest for their suitability. This is because Quorum-based protocols can guarantee that two nodes with differing clock times have an intersection within at least one timeslot. A higher neighbour discovery rate of active nodes is desired, but it also results in a higher active ratio and consequently and adversely more overall power consumption of the nodes and a shorter network lifetime. There must be a trade-off between extensive neighbour discovery and active ratio in order to design high-performance and efficient protocols. In this paper, two novel asynchronous quorum-based protocols to maximize the neighbour discovery and minimize the active ratio have been designed and presented. A new metric (Quorum Efficiency Ratio: QER) has also been designed to evaluate and compare the performance of quorum-based protocols in terms of their neighbour discovery (the Expected Quorum Overlap Size: EQOS) and the active ratio. The EQOS has been theoretically derived, along with the Active Ratio and the QER values for the proposed novel protocols and the other contemporary protocols. Finally, the proposed methods have been evaluated and compared against the other methods based on the current metrics and the new metric.


title: Stabilizing entanglement in two-mode Gaussian states

abstract: We analyze the stabilizability of entangled two-mode Gaussian states in three benchmark dissipative models: local damping, dissipators engineered to preserve two-mode squeezed states, and cascaded oscillators. In the first two models, we determine principal upper bounds on the stabilizable entanglement, while in the last model, arbitrary amounts of entanglement can be stabilized. All three models exhibit a tradeoff between state entanglement and purity in the entanglement maximizing limit. Our results are derived from the Hamiltonian-independent stabilizability conditions for Gaussian systems. Here, we sharpen these conditions with respect to their applicability.


title: Statistical post-processing of wind speed forecasts using convolutional neural networks

abstract: Current statistical post-processing methods for probabilistic weather forecasting are not capable of using full spatial patterns from the numerical weather prediction (NWP) model. In this paper we incorporate spatial wind speed information by using convolutional neural networks (CNNs) and obtain probabilistic wind speed forecasts in the Netherlands for 48 hours ahead, based on KNMI's deterministic Harmonie-Arome NWP model. The probabilistic forecasts from the CNNs are shown to have higher Brier skill scores for medium to higher wind speeds, as well as a better continuous ranked probability score (CRPS) and logarithmic score, than the forecasts from fully connected neural networks and quantile regression forests. As a secondary result, we have compared the CNNs using 3 different density estimation methods (quantized softmax (QS), kernel mixture networks, and fitting a truncated normal distribution), and found the probabilistic forecasts based on the QS method to be best.


title: Accelerated Sparse Bayesian Learning via Screening Test and Its Applications

abstract: In high-dimensional settings, sparse structures are critical for efficiency in term of memory and computation complexity. For a linear system, to find the sparsest solution provided with an over-complete dictionary of features directly is typically NP-hard, and thus alternative approximate methods should be considered. In this paper, our choice for alternative method is sparse Bayesian learning, which, as empirical Bayesian approaches, uses a parameterized prior to encourage sparsity in solution, rather than the other methods with fixed priors such as LASSO. Screening test, however, aims at quickly identifying a subset of features whose coefficients are guaranteed to be zero in the optimal solution, and then can be safely removed from the complete dictionary to obtain a smaller, more easily solved problem. Next, we solve the smaller problem, after which the solution of the original problem can be recovered by padding the smaller solution with zeros. The performance of the proposed method will be examined on various data sets and applications.


title: Determining the Hubble Constant without the Sound Horizon Scale: Measurements from CMB Lensing

abstract: Measurements of the Hubble constant, $H_0$, from the cosmic distance ladder are currently in tension with the value inferred from Planck observations of the CMB and other high redshift datasets if a flat $\Lambda$CDM cosmological model is assumed. One of the few promising theoretical resolutions of this tension is to invoke new physics that changes the sound horizon scale in the early universe; this can bring CMB and BAO constraints on $H_0$ into better agreement with local measurements. In this paper, we discuss how a measurement of the Hubble constant can be made from the CMB without using information from the sound horizon scale, $r_s$. In particular, we show how measurements of the CMB lensing power spectrum can be used to place interesting constraints on $H_0$ when combined with measurements of either supernovae or galaxy weak lensing, which constrain the matter density parameter. The constraints arise from the sensitivity of the CMB lensing power spectrum to the horizon scale at matter-radiation equality (in projection); this scale could have a different dependence on new physics than the sound horizon. From an analysis of current CMB lensing data from Planck and Pantheon supernovae with conservative external priors, we derive an $r_s$-independent constraint of $H_0 = 73.5\pm 5.3$ km/s/Mpc. Forecasts for future CMB surveys indicate that improving constraints beyond an error of $\sigma(H_0) = 3$ km/s/Mpc will be difficult with CMB lensing, although applying similar methods to the galaxy power spectrum may allow for further improvements.


title: Waypoint Routing on Bounded Treewidth Graphs

abstract: In the \textsc{Waypoint Routing Problem} one is given an undirected capacitated and weighted graph $G$, a source-destination pair $s,t\in V(G)$ and a set $W\subseteq V(G)$, of \emph{waypoints}. The task is to find a walk which starts at the source vertex $s$, visits, in any order, all waypoints, ends at the destination vertex $t$, respects edge capacities, that is, traverses each edge at most as many times as is its capacity, and minimizes the cost computed as the sum of costs of traversed edges with multiplicities. We study the problem for graphs of bounded treewidth and present a new algorithm for the problem working in $2^{O(\mathrm{tw})}\cdot n$ time, significantly improving upon the previously known algorithms. We also show that this running time is optimal for the problem under Exponential Time Hypothesis.


title: A Tukey type trend test for repeated carcinogenicity bioassays, motivated by multiple glyphosate studies

abstract: In the last two decades, significant methodological progress to the simultaneous inference of simple and complex randomized designs, particularly proportions as endpoints, occurred. This includes: i) the new Tukey trend test approach, ii) multiple contrast tests for binomial proportions, iii) multiple contrast tests for poly-k estimates, and Add-1 approximation for one-sided inference. This report focus on a new Tukey type trend test to evaluate repeated long-term carcinogenicity bioassays which was motivated by multiple glyphosate studies. Notice, it is not the aim here to contribute to the evaluation of Glyphosate and its controversies. By means of the CRAN-packages tukeytrend, MCPAN, multcomp the real data analysis is straightforward possible.


title: Exclusive Decays of the Doubly Heavy Baryon $\Xi_{bc}$

abstract: Exclusive decays of the $\Xi_{bc}^+$ with light mesons production, $\Xi_{bc}^+\to\Xi_{cc}^{++}\mathcal{R}$ are analyzed. In the framework of the factorization model the matrix elements of the considered reactions are written as a product of $\Xi_{bc}\to\Xi_{cc}W$ and $W\to\mathcal{R}$ transition amplitudes. As a result theoretical and experimental investigation of these decays allow us to test the physics of heavy and light quarks' sectors. Presented are the branching fractions of these reactions, as well as the distributions over the invariant mass of the light system and some other kinematical variables. Our calculations show that the probabilities of the considered reactions are high enough, so presented results could help with observation of yet unseen $\Xi_{bc}$ baryon.


title: Single femtosecond laser pulse excitation of individual cobalt nanoparticles

abstract: Laser-induced manipulation of magnetism at the nanoscale is a rapidly growing research topic with potential for applications in spintronics. In this work, we address the role of the scattering cross section, thermal effects, and laser fluence on the magnetic, structural, and chemical stability of individual magnetic nanoparticles excited by single femtosecond laser pulses. We find that the energy transfer from the fs laser pulse to the nanoparticles is limited by the Rayleigh scattering cross section, which in combination with the light absorption of the supporting substrate and protective layers determines the increase in the nanoparticle temperature. We investigate individual Co nanoparticles (8 to 20 nm in size) as a prototypical model system, using x-ray photoemission electron microscopy and scanning electron microscopy upon excitation with single femtosecond laser pulses of varying intensity and polarization. In agreement with calculations, we find no deterministic or stochastic reversal of the magnetization in the nanoparticles up to intensities where ultrafast demagnetization or all-optical switching is typically reported in thin films. Instead, at higher fluences, the laser pulse excitation leads to photo-chemical reactions of the nanoparticles with the protective layer, which results in an irreversible change in the magnetic properties. Based on our findings, we discuss the conditions required for achieving laser-induced switching in isolated nanomagnets.