title: NNIL-formulas revisited: universal models and finite model property

abstract: NNIL-formulas, introduced by Visser in 1983-1984 in a study of $\Sigma_1$-subsitutions in Heyting Arithmetic, are intuitionistic propositional formulas that does not allow nesting of implication to the left. The first results about these formulas were obtained in a paper of 1995 by Visser et al. In particular, it was shown that NNIL-formulas are exactly the formulas preserved under taking submodels of Kripke models. Recently Bezhanishvili and de Jongh observed that NNIL-formulas are also reflected by color-preserving monotonic maps of Kripke models. In the present paper, we first show how this observation leads to the conclusion that NNIL-formulas are preserved by arbitrary substructures not necessarily satisfying the topo-subframe condition. Then we apply it to construct universal models for NNIL. It follows from the properties of these universal models that NNIL-formulas are also exactly the formulas that are reflected by color-preserving monotonic maps. By using the method developed in constructing the universal models, we give a new direct proof that the logics axiomatized by NNIL-axioms have the finite model property.


title: Expected performances of the Characterising Exoplanet Satellite (CHEOPS). I. Photometric performances from ground-based calibration

abstract: The Characterising Exoplanet Satellite (CHEOPS) is a space mission designed to perform photometric observations of bright stars to obtain precise radii measurements of transiting planets. The high-precision photometry of CHEOPS relies on careful on-ground calibration of its payload. For that purpose, intensive pre-launch campaigns of measurements were carried out to calibrate the instrument and characterise its photometric performances. We report on main results of these campaigns, provide a complete analysis of data sets and estimate in-flight photometric performance by mean of end-to-end simulation. The on-ground photometric stability of the instrument is found to be of the order of 15 parts per million over 5 hours. Our end-to-end simulation shows that measurements of planet-to-star radii ratio with CHEOPS can be determined with a precision of 2% for a Neptune-size planet transiting a K-dwarf star and 5% for an Earth-size planet orbiting a Sun-like star. It corresponds to signal-to-noise ratios on the transit depths of 25 and 10 respectively, allowing the characterisation and detection of these planets. The pre-launch CHEOPS performances are shown to be compliant with the mission requirements.


title: Tailoring Properties of Magneto-Optical Photonic Crystals

abstract: Magneto-Optic Photonic Crystals (MOPC) used in low dimension lasers whereby acting as Faraday rotators capable of 45o rotation where insertion loos is compensated by photoluminescence effect are of significant interest. In low dimension sensors MOPCs act as optical filters to selectively detect only lights at certain wavelengths. Combined with the photoluminescence effect, sensors may be designed capable of detecting signals with extremely low intensity, thus high quantum efficiency. In this work, MOPC with various Erbium dopant concentrations, acting as photoluminescence center, were modelled under high pumping power regime associated to 0.985 inversion population to identify the minimum Erbium concentration and number of layers for the target 45 degrees FR, 0.9 transmittance and minimal ellipticity at the resonance wavelength 1531nm. Further optimization of Magneto-optical (MO) properties versus the microcavity position within the MOPC was investigated. An optimum multilayered configuration and composition was identified with a reduction in both erbium concentration and total thickness compared to what was reported previously without compromising the target MO properties.


title: A new additive decomposition of velocity gradient

abstract: To avoid the infinitesimal rotation nature of the Cauchy-Stokes decomposition of velocity gradient, the letter proposes an new additive decomposition in which one part is a SO(3) rotation tensor $Q=\exp W$.


title: Review of Yau's conjecture on zero sets of Laplace eigenfunctions

abstract: This is a review of old and new results and methods related to the Yau conjecture on the zero set of Laplace eigenfunctions. The review accompanies two lectures given at the conference CDM 2018. We discuss the works of Donnelly and Fefferman including their solution of the conjecture in the case of real-analytic Riemannian manifolds. The review exposes the new results for Yau's conjecture in the smooth setting. We try to avoid technical details and emphasize the main ideas of the proof of Nadirashvili's conjecture. We also discuss two-dimensional methods to study zero sets.


title: Identification of second-gradient elastic materials from planar hexagonal lattices. Part II: Mechanical characteristics and model validation

abstract: Positive definiteness and symmetry of the constitutive tensors describing a second-gradient elastic (SGE) material, which is energetically equivalent to a hexagonal planar lattice made up of axially deformable bars, are analyzed by exploiting the closed form-expressions obtained in part I of the present study in the \lq condensed' form. It is shown that, while the first-order approximation leads to an isotropic Cauchy material, a second-order identification procedure provides an equivalent model exhibiting non-locality, non-centrosymmetry, and anisotropy. The derivation of the constitutive properties for the SGE from those of the \lq condensed' one (obtained by considering a quadratic remote displacement which generates stress states satisfying equilibrium) is presented. Comparisons between the mechanical responses of the periodic lattice and of the equivalent SGE material under simple shear and uniaxial strain show the efficacy of the proposed identification procedure and therefore validate the proposed constitutive model. This model reveals that, at higher-order, a lattice material can be made equivalent to a second-gradient elastic material exhibiting an internal length, a finding which is now open for applications in micromechanics.


title: Average preserving variation processes in view of optimization

abstract: In this paper, we investigate specific least action principles for laws of stochastic processes within a framework which stands on filtrations preserving variations. The associated Euler-Lagrange conditions, which we obtain, exhibit a deterministic process in the dynamics aside the canonical martingale term. In particular, taking specific action functionals, extremal processes with respect to those variations encompass specific laws of continuous semi-martingales whose drift characteristic is integrable with independent increments. Then, we relate extremal processes of classical cost functions, in particular of specific entropy functions, to a class of forward-backward systems of Mckean-Vlasov stochastic differential equations.


title: Review of Algorithms for Compressive Sensing of Images

abstract: We provide a comprehensive review of classical algorithms for compressive sensing of images, focused on Total variation methods, with a view to application in LiDAR systems. Our primary focus is providing a full review for beginners in the field, as well as simulating the kind of noise found in real LiDAR systems. To this end, we provide an overview of the theoretical background, a brief discussion of various considerations that come in to play in compressive sensing, and a standardized comparison of off-the-shelf methods, intended as a quick-start guide to choosing algorithms for compressive sensing applications.


title: An adaptive architecture for portability of greenhouse models

abstract: This work deals with the portability of greenhouse models, as we believe that this is a challenge to their practical usage in control strategies under production conditions. We address this task by means of adaptive neural networks, which re-adjust their weights when transferred to new conditions. Such an adaptive account for computational models is typical of the field of developmental robotics, which investigates learning of motor control in artificial systems inspired on infants development. Similarly to robots, greenhouses are complex systems comprising technical and biological elements, whose state can be measured and modified through control actions. We present an adaptive model architecture to perform online learning on greenhouse models. This learning process makes use of an episodic memory and of online re-training. This allows for adaptation without the need for a complete new training, which might be prohibitive if the data under the new conditions is scarce. Current experiments focus on how a model of tomato photosynthesis, developed in a research facility, can adapt itself to a new environment in a production greenhouse. Further research will focus on model plasticity by means of adaptive learning rates and management of the episodic memory described in this paper. The models presented as a proof-of-concept estimate the transpiration and photosynthesis of a hydroponic tomato crop by using measurements of the climate as inputs. The models are trained and tested using data from a greenhouse in Berlin, Germany. Thereafter, the adaptive architecture is fed with data from a production greenhouse in southern Germany, where other tomato varieties were grown under different irrigation and climate strategies. The proposed adaptive architecture represents a promising tool for spreading the use of models produced by high-tech research centers to the greenhouse production sector.


title: Atomistic and mean-field estimates of effective stiffness tensor of nanocrystalline materials of cubic symmetry

abstract: Anisotropic core-shell model of a nano-grained polycrystal, proposed recently for nanocrystalline copper, is applied to estimate elastic effective properties for a set of crystals of cubic symmetry. Materials selected for analysis differ in the lattice geometry (face-centered cubic vs. body-centered cubic) as well as the value of a Zener factor: a ratio of two shear moduli defining elastic anisotropy of a cubic crystal. The predictions are verified by means of the atomistic simulations. The dependence of the overall bulk and shear moduli on the average grain diameter is analysed. In the mean-field approach the thickness of the shell is specified by the \emph{cutoff radius} of a corresponding atomistic potential, while the grain shell is isotropic and its properties are identified by molecular simulations performed for very small grains with approximately all atoms belonging to the grain boundary zone. It is shown that the core-shell model provides predictions of satisfactory qualitative and quantitative agreement with atomistic simulations. Performed study indicates that the variation of the bulk and shear moduli with the grain size changes qualitatively when the Zener anisotropy factor is smaller or greater than one.


title: Topological nodal line in superfluid $^3$He and the Anderson theorem

abstract: Superconductivity and superfluidity with anisotropic pairing -- such as $d$-wave in cuprates and $p$-wave in superfluid $^3$He -- are strongly suppressed by impurities. Meanwhile, for applications, the robustness of Cooper pairs to disorder is highly desired. Recently, it has been suggested that unconventional systems become robust if the impurity scattering mixes quasiparticle states only within individual subsystems obeying the Anderson theorem that protects conventional superconductivity. Here, we experimentally verify this conjecture by measuring the temperature dependence of the energy gap in the polar phase of superfluid $^3$He. We show that oriented columnar non-magnetic defects do not essentially modify the energy spectrum, which has a Dirac nodal line. Although the scattering is strong, it preserves the momentum along the length of the columns and forms robust subsystems according to the conjecture. This finding may stimulate future experiments on the protection of topological superconductivity against disorder and on the nature of topological fermionic flat bands.


title: Understanding the transition from paroxysmal to persistent atrial fibrillation from micro-anatomical re-entry in a simple model

abstract: Atrial fibrillation (AF) is the most common cardiac arrhytmia, characterised by the chaotic motion of electrical wavefronts in the atria. In clinical practice, AF is classified under two primary categories: paroxysmal AF, short intermittent episodes separated by periods of normal electrical activity, and persistent AF, longer uninterrupted episodes of chaotic electrical activity. However, the precise reasons why AF in a given patient is paroxysmal or persistent is poorly understood. Recently, we have introduced the percolation based Christensen-Manani-Peters (CMP) model of AF which naturally exhibits both paroxysmal and persistent AF, but precisely how these differences emerge in the model is unclear. In this paper, we dissect the CMP model to identify the cause of these different AF classifications. Starting from a mean-field model where we describe AF as a simple birth-death process, we add layers of complexity to the model and show that persistent AF arises from re-entrant circuits which exhibit an asymmetry in their probability of activation relative to deactivation. As a result, different simulations generated at identical model parameters can exhibit fibrillatory episodes spanning several orders of magnitude from a few seconds to months. These findings demonstrate that diverse, complex fibrillatory dynamics can emerge from very simple dynamics in models of AF.


title: Gravitational deflection of relativistic massive particles by wormholes

abstract: In this paper, the gravitational deflection of relativistic massive particles up to the second post-Minkowskian order by static and spherically symmetric wormholes is investigated in the weak-field limit. These wormholes include the Janis-Newman-Winicour wormhole, a class of zero Ricci scalar scalar-tensor wormholes, and a class of charged Einstein-Maxwell-dilaton wormholes. With the Jacobi metric approach, the Gauss-Bonnet theorem is employed to study the gravitational deflection. In this scheme, the deflection angle as a topological effect is considered. Moreover, we analyze the influence of the spacetime parameters on the results.


title: Conformal transformations of the pseudo-Riemannian metric of a homogeneous pair

abstract: We introduce a new notion of a homogeneous pair for a pseudo-Riemannian metric $g$ and a positive function $f$ on a manifold $M$ admitting a free $\mathbb{R}_{>0}$-action. There are many examples admitting this structure. For example, (a) a class of pseudo-Hessian manifolds admitting a free $\mathbb{R}_{>0}$-action and a homogeneous potential function such as the moduli space of torsion-free $G_2$-structures, (b) the space of Riemannian metrics on a compact manifold, and (c) many moduli spaces of geometric structures such as torsion-free ${\rm Spin}(7)$-structures admit this structure. Hence we provide the unified method for the study of these geometric structures. We consider conformal transformations of the pseudo-Riemannian metric $g$ of a homogeneous pair $(g, f)$. Showing that the pseudo-Riemannian manifold $(M, (v \circ f) g)$, where $v: \mathbb{R}_{>0} \rightarrow \mathbb{R}_{>0}$ is a smooth function, has the structure of a warped product, we study the geometric structures such as the sectional curvature, geodesics and the metric completion (if $g$ is positive definite) w.r.t. $(v \circ f) g$ in terms of those on the level set of $f$. In particular, (1) we can generalize the result of Clarke and Rubinstein about the metric completion of the space of Riemannian metrics w.r.t. the conformal transformations of the Ebin metric, and (2) two canonical Riemannian metrics on the $G_2$ moduli space have different metric completions.


title: Finite groups with planar generating graph

abstract: Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the non-identity elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. Let $G$ be a 2-generated finite group. We prove that $\Gamma(G)$ is planar if and only if $G$ is isomorphic to one of the following groups: $C_2, C_3, C_4, C_5, C_6, C_2 \times C_2, D_3, D_4, Q_8, C_4\times C_2, D_6.$


title: Minimal linear codes from characteristic functions

abstract: Minimal linear codes have interesting applications in secret sharing schemes and secure two-party computation. This paper uses characteristic functions of some subsets of $\mathbb{F}_q$ to construct minimal linear codes. By properties of characteristic functions, we can obtain more minimal binary linear codes from known minimal binary linear codes, which generalizes results of Ding et al. [IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6536-6545, 2018]. By characteristic functions corresponding to some subspaces of $\mathbb{F}_q$, we obtain many minimal linear codes, which generalizes results of [IEEE Trans. Inf. Theory, vol. 64, no. 10, pp. 6536-6545, 2018] and [IEEE Trans. Inf. Theory, vol. 65, no. 11, pp. 7067-7078, 2019]. Finally, we use characteristic functions to present a characterization of minimal linear codes from the defining set method and present a class of minimal linear codes.


title: Flow topology during multiplexed particle manipulation using a Stokes Trap

abstract: Trapping and manipulation of small particles underlies many scientific and technological applications. Recently, the precise manipulation of multiple small particles was demonstrated using a Stokes trap that relies only on fluid flow without the need for optical or electric fields. Active flow control generates complex flow topologies around suspended particles during the trapping process, yet the relationship between the control algorithm and flow structure is not well understood. In this work, we characterize the flow topology during active control of particle trajectories using a Stokes trap. Our results show that optimal control of two particles unexpectedly relies on flow patterns with zero or one stagnation points, as opposed to positioning two particles using two distinct stagnation points. We characterize the sensitivity of the system with respect to the parameters in the control objective function, thereby providing a systematic understanding of the trapping process. Overall, these results will be useful in guiding applications involving the controlled manipulation of multiple colloidal particles and the precise deformation of soft particles in defined flow fields.


title: Performance tests of boron-coated straw detectors with thermal and cold neutron beams

abstract: Prototypes of newly developed boron-coated straw (BCS) detectors have been tested in the thermal and cold neutron energy ranges. Their neutron detection performance has been benchmarked against the industry standard (detector tubes filled with 3He gas). The tests show that the BCS straws perform near their theoretical limit regarding the detection efficiency, which is adequate for scientific instruments in the cold neutron energy range. The BCS detectors perform on par with 3He tubes in terms of signal to noise and timing resolution, and superior regarding longitudinal spatial resolution.


title: Optimal Lower Bound on the Least Singular Value of the Shifted Ginibre Ensemble

abstract: We consider the least singular value of a large random matrix with real or complex i.i.d. Gaussian entries shifted by a constant $z\in\mathbb{C}$. We prove an optimal lower tail estimate on this singular value in the critical regime where $z$ is around the spectral edge thus improving the classical bound of [Sankar, Spielman, Teng, 2006] in the edge regime. Lacking Br\'ezin-Hikami formulas in the real case, we rely on the superbosonization formula [Littelmann, Sommers, Zirnbauer, 2008].


title: Analysis of Two-Dimensional Feedback Systems over Networks Using Dissipativity

abstract: This paper investigates the closed-loop $\mathcal{L}_2$ stability of two-dimensional (2-D) feedback systems across a digital communication network by introducing the tool of dissipativity. First, sampling of a continuous 2-D system is considered and an analytical characterization of the $QSR$-dissipativity of the sampled system is presented. Next, the input-feedforward output-feedback passivity (IF-OFP), a simplified form of $QSR$-dissipativity, is utilized to study the framework of feedback interconnection of two 2-D systems over networks. Then, the effects of signal quantization in communication links on dissipativity degradation of the 2-D feedback quantized system is analyzed. Additionally, an event-triggered mechanism is developed for 2-D networked control systems while maintaining $\mathcal{L}_2$ stability of the closed-loop system. In the end, an illustrative example is provided.


title: Algebraic realization of noncommutative near-group fusion categories

abstract: Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group theoretical though the corresponding pointed categories were not identified. In this note we give a purely algebraic construction of the noncommutative near-group fusion categories starting from pointed categories categorically Morita equivalent to them.


title: Distributed Deep Convolutional Neural Networks for the Internet-of-Things

abstract: Severe constraints on memory and computation characterizing the Internet-of-Things (IoT) units may prevent the execution of Deep Learning (DL)-based solutions, which typically demand large memory and high processing load. In order to support a real-time execution of the considered DL model at the IoT unit level, DL solutions must be designed having in mind constraints on memory and processing capability exposed by the chosen IoT technology. In this paper, we introduce a design methodology aiming at allocating the execution of Convolutional Neural Networks (CNNs) on a distributed IoT application. Such a methodology is formalized as an optimization problem where the latency between the data-gathering phase and the subsequent decision-making one is minimized, within the given constraints on memory and processing load at the units level. The methodology supports multiple sources of data as well as multiple CNNs in execution on the same IoT system allowing the design of CNN-based applications demanding autonomy, low decision-latency, and high Quality-of-Service.


title: On List Equitable Total Colorings of the Generalized Theta Graph

abstract: In 2003 Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. A $k$-assignment, $L$, for a graph $G$ assigns a list, $L(v)$, of $k$ available colors to each $v \in V(G)$, and an equitable $L$-coloring of $G$ is a proper coloring, $f$, of $G$ such that $f(v) \in L(v)$ for each $v \in V(G)$ and each color class of $f$ has size at most $\lceil |V(G)|/k \rceil$. In 2018, Kaul, Mudrock, and Pelsmajer subsequently introduced the List Equitable Total Coloring Conjecture which states that if $T$ is a total graph of some simple graph, then $T$ is equitably $k$-choosable for each $k \geq \max \{\chi_\ell(T), \Delta(T)/2 + 2 \}$ where $\Delta(T)$ is the maximum degree of a vertex in $T$ and $\chi_\ell(T)$ is the list chromatic number of $T$. In this paper we verify the List Equitable Total Coloring Conjecture for subdivisions of stars and the generalized theta graph.


title: Integrals along bimonoid homomorphisms

abstract: We introduce a notion of an integral along a bimonoid homomorphism as a simultaneous generalization of the integral and cointegral of bimonoids. The purpose of this paper is to characterize an existence of a specific integral, called a normalized generator integral, along a bimonoid homomorphism in terms of the kernel and cokernel of the homomorphism. We introduce a notion of a volume on an abelian category as a generalization of the dimension of vector spaces and the order of abelian groups. In applications, we show that there exists a nontrivial volume partially defined on a category of bicommutative Hopf monoids. The volume yields a notion of Fredholm homomorphisms between bicommutative Hopf monoids, which gives an analogue of the Fredholm index theory. This paper gives a technical preliminary of our subsequent paper about a construction of TQFTs.


title: Varieties of positive modal algebras and structural completeness

abstract: Positive modal algebras are the positive-subreducts of modal algebras. We prove that the variety of positive S4-algebras is not locally finite. On the other hand, the free one-generated positive S4-algebra is shown to be finite. Moreover, we describe the bottom part of the lattice of varieties of positive S4-algebras. Building on this, we characterize (passively, hereditarily) structurally complete varieties of positive K4-algebras.


title: Pseudo-finite sets, pseudo-o-minimality

abstract: We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and N admits a definable, closed, bounded, and discrete subset and a definable injective self-mapping of that subset which is not surjective. This answers negatively two questions by Schoutens; the first being whether there is an axiomatization of the common theory of o-minimal structures in a given language by conditions on one-variable definable sets alone. The second being whether definable completeness and type completeness imply the pigeonhole principle. It also partially answers a question by Fornasiero asking whether definable completeness of an expansion of a real closed field implies the pigeonhole principle.


title: A study of truth predicates in matrix semantics

abstract: Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated with a matrix semantics Mod*(L). This paper is a contribution to the systematic study of the so-called "truth sets" of the matrices in Mod*(L). In particular, we show that the fact that the truth sets of Mod*(L) can be defined by means of equations with universally quantified parameters is captured by an order-theoretic property of the Leibniz operator restricted to deductive filters of L. This result was previously known for equational definability without parameters. Similarly, it was known that the truth sets of Mod*(L) are implicitly definable if and only if the Leibniz operator is injective on deductive filters of L over every algebra. However, it was an open problem whether the injectivity of the Leibniz operator transfers from the theories of L to its deductive filters over arbitrary algebras. We show that this is the case for logics expressed in a countable language, and that it need not be true in general. Finally we consider an intermediate condition on the truth sets in Mod*(L) that corresponds to the order-reflection of the Leibniz operator.


title: Proof of Correctness and Time Complexity Analysis of a Maximum Distance Transform Algorithm

abstract: The distance transform algorithm is popular in computer vision and machine learning domains. It is used to minimize quadratic functions over a grid of points. Felzenszwalb and Huttenlocher (2004) describe an O(N) algorithm for computing the minimum distance transform for quadratic functions. Their algorithm works by computing the lower envelope of a set of parabolas defined on the domain of the function. In this work, we describe an average time O(N) algorithm for maximizing this function by computing the upper envelope of a set of parabolas. We study the duality of the minimum and maximum distance transforms, give a correctness proof of the algorithm and its runtime, and discuss potential applications.


title: Time-dependent approach to the uniqueness of the Sommerfeld solution of the diffraction problem by a half-plane

abstract: We consider the Sommerfeld problem of diffraction by an opaque half-plane with a real wavenumber interpreting it as the limiting case, as time tends to infinity, of the corresponding time-dependent diffraction problem. We prove that the Sommerfeld formula for the solution is the limiting amplitude of the solution of this time-dependent problem which belongs to a certain functional class and is unique in it. For the proof of uniqueness of solution to the time-dependent problem we reduce it, after the Fourier-Laplace transform in $t$, to a stationary diffraction problem with a complex wavenumber. This permits us to use the proof of uniqueness in the Sobolev space $H^1$. Thus we avoid imposing the radiation and regularity conditions on the edge from the beginning and instead obtain it in a natural way.


title: On the cyclic regularities of strings

abstract: Regularities in strings are often related to periods and covers, which have extensively been studied, and algorithms for their efficient computation have broad application. In this paper we concentrate on computing cyclic regularities of strings, in particular, we propose several efficient algorithms for computing: (i) cyclic periodicity; (ii) all cyclic periodicity; (iii) maximal local cyclic periodicity; (iv) cyclic covers.


title: Predicting Actions to Help Predict Translations

abstract: We address the task of text translation on the How2 dataset using a state of the art transformer-based multimodal approach. The question we ask ourselves is whether visual features can support the translation process, in particular, given that this is a dataset extracted from videos, we focus on the translation of actions, which we believe are poorly captured in current static image-text datasets currently used for multimodal translation. For that purpose, we extract different types of action features from the videos and carefully investigate how helpful this visual information is by testing whether it can increase translation quality when used in conjunction with (i) the original text and (ii) the original text where action-related words (or all verbs) are masked out. The latter is a simulation that helps us assess the utility of the image in cases where the text does not provide enough context about the action, or in the presence of noise in the input text.


title: A young galaxy cluster in the old Universe

abstract: Galaxies evolve from a blue star-forming phase into a red quiescent one by quenching their star formation activity. In high density environments, this galaxy evolution proceeds earlier and more efficiently. Therefore, local galaxy clusters are dominated by well-evolved red, elliptical galaxies. The fraction of blue galaxies in clusters monotonically declines with decreasing redshift, i.e., the Butcher-Oemler effect. In the local Universe, observed blue fractions of massive clusters are as small as $\lesssim$ 0.2. Here we report a discovery of a \lq \lq blue cluster\rq \rq, that is a local galaxy cluster with an unprecedentedly high fraction of blue star-forming galaxies yet hosted by a massive dark matter halo. The blue fraction is 0.57, which is 4.0 $\sigma$ higher than those of the other comparison clusters under the same selection and identification criteria. The velocity dispersion of the member galaxies is 510 km s$^{-1}$, which corresponds to a dark matter halo mass of 2.0$^{+1.9}_{-1.0}\times 10^{14}$ M$_{\odot}$. The blue fraction of the cluster is more than 4.7 $\sigma$ beyond the standard theoretical predictions including semi-analytic models of galaxy formation. The probability to find such a high blue fraction in an individual cluster is only 0.003\%, which challenges the current standard frameworks of the galaxy formation and evolution in the $\Lambda$CDM Universe. The spatial distribution of galaxies around the blue cluster suggests that filamentary cold gas streams can exist in massive halos even in the local Universe. However these cold streams have already disappeared in the theoretically simulated local universes.


title: A principled approach for generating adversarial images under non-smooth dissimilarity metrics

abstract: Deep neural networks perform well on real world data but are prone to adversarial perturbations: small changes in the input easily lead to misclassification. In this work, we propose an attack methodology not only for cases where the perturbations are measured by $\ell_p$ norms, but in fact any adversarial dissimilarity metric with a closed proximal form. This includes, but is not limited to, $\ell_1, \ell_2$, and $\ell_\infty$ perturbations; the $\ell_0$ counting "norm" (i.e. true sparseness); and the total variation seminorm, which is a (non-$\ell_p$) convolutional dissimilarity measuring local pixel changes. Our approach is a natural extension of a recent adversarial attack method, and eliminates the differentiability requirement of the metric. We demonstrate our algorithm, ProxLogBarrier, on the MNIST, CIFAR10, and ImageNet-1k datasets. We consider undefended and defended models, and show that our algorithm easily transfers to various datasets. We observe that ProxLogBarrier outperforms a host of modern adversarial attacks specialized for the $\ell_0$ case. Moreover, by altering images in the total variation seminorm, we shed light on a new class of perturbations that exploit neighboring pixel information.


title: Discussing 125 GeV and 95 GeV excess in Light Radion Model

abstract: Even if the LHC observations are consistent with the Standard model (SM), current LHC results are not precise enough to rule out the presence of new physics. Taking a contrarian view of the SM Higgs fandom, we look out for a more suitable candidate for the 125 GeV boson observed at the LHC. At the same time, a recent result from CMS hints towards an excess near 95 GeV in the diphoton ($\gamma \gamma$) channel. Given these aspects, we revisit the Higgs-radion mixing model to explore the viability of the radion mixed Higgs to be the 125 GeV boson along with the presence of a light radion (to be precise Higgs mixed radion) that can show up in future experiments in the $\gamma \gamma$ channel. We find that the mixed radion-Higgs scenario gives a better fit than the SM, with the radion mixed Higgs as a more suitable 125 GeV scalar candidate. It also gives rise to a diphoton excess from the light radion, consistent with the LHC observations.


title: Efficient Fair Division with Minimal Sharing

abstract: A collection of objects, some of which are good and some are bad, is to be divided fairly among agents with different tastes, modeled by additive utility functions. If the objects cannot be shared, so that each of them must be entirely allocated to a single agent, then a fair division may not exist. What is the smallest number of objects that must be shared between two or more agents in order to attain a fair and efficient division? In this paper, fairness is understood as proportionality or envy-freeness, and efficiency, as fractional Pareto-optimality. We show that, for a generic instance of the problem (all instances except a zero-measure set of degenerate problems), a fair fractionally Pareto-optimal division with the smallest possible number of shared objects can be found in polynomial time, assuming that the number of agents is fixed. The problem becomes computationally hard for degenerate instances, where agents' valuations are aligned for many objects.


title: Full two-loop QCD corrections to the Higgs mass in the MSSM with heavy superpartners

abstract: We improve the determination of the Higgs-boson mass in the MSSM with heavy superpartners, by computing the two-loop threshold corrections to the quartic Higgs coupling that involve both the strong and the electroweak gauge couplings. Combined with earlier results, this completes the calculation of the two-loop QCD corrections to the quartic coupling at the SUSY scale. We also compare different computations of the relation between the quartic coupling and the pole mass of the Higgs boson at the EW scale. We find that the numerical impact of the new corrections on the prediction for the Higgs mass is modest, but comparable to the accuracy of the Higgs-mass measurement at the LHC.


title: Acoustic Sounds for Wellbeing: A Novel Dataset and Baseline Results

abstract: The field of sound healing includes ancient practices coming from a broad range of cultures. Across such practices there is a variety of acoustic instrumentation utilised. Practitioners suggest that sound has the ability to target both mental and even physical health issues, e.g., chronic-stress, or joint-pain. Instruments including the Tibetan singing bowl and vocal chanting, are still widely used today. With the noise-floor of modern urban soundscapes continually increasing and known to impact wellbeing, methods to improve this are needed. With that in mind, this study presents the Acoustic Sounds for Wellbeing (ASW) dataset. The ASW dataset is a dataset gathered from YouTube including 88\,+ hrs of audio from 5-classes of acoustic instrumentation (Gongs, Drumming, Singing Bowls, and Chanting). We additionally present initial baseline classification results on the dataset, finding that conventional Mel-Frequency Cepstra coefficient features achieve at best an unweighted average recalled of 57.4 % for a 5-class support vector machine classification paradigm.


title: Imbalance-XGBoost: Leveraging Weighted and Focal Losses for Binary Label-Imbalanced Classification with XGBoost

abstract: The paper presents Imbalance-XGBoost, a Python package that combines the powerful XGBoost software with weighted and focal losses to tackle binary label-imbalanced classification tasks. Though a small-scale program in terms of size, the package is, to the best of the authors' knowledge, the first of its kind which provides an integrated implementation for the two losses on XGBoost and brings a general-purpose extension on XGBoost for label-imbalanced scenarios. In this paper, the design and usage of the package are described with exemplar code listings, and its convenience to be integrated into Python-driven Machine Learning projects is illustrated. Furthermore, as the first- and second-order derivatives of the loss functions are essential for the implementations, the algebraic derivation is discussed and it can be deemed as a separate algorithmic contribution. The performances of the algorithms implemented in the package are empirically evaluated on Parkinson's disease classification data set, and multiple state-of-the-art performances have been observed. Given the scalable nature of XGBoost, the package has great potentials to be applied to real-life binary classification tasks, which are usually of large-scale and label-imbalanced.


title: Flexible Cloud/User-Centric Entanglement and Photon Pair Distribution with Synthesizable Optical Router

abstract: The practical roll-out of quantum communication technologies in optical networks and the adoption of novel quantum applications demand the distribution of single or entangled photons. Flexibility and dynamicity are paramount for the provision of quantum resources, in order to scale with the number of users and to meet the demand of complex network architectures. We present a quantum network architecture that features this degree of reconfigurability, without being restricted to a rigid physical-layer network based on purely passive multiplexing componentry. We leverage spectral assets of photon-pair sources, from the short-wavelength band to the L-band, and agile spatial switching at a remote optical network node, in order to realize a flexible distribution map that features different flavors, reaching from cloud-centric to user-centric quantum connectivity. Photon pair distribution is experimentally demonstrated between five users in a 17-km reach, tree-shaped optical network, with high visibility entanglement shared between three users of the network. Simultaneous distribution of photons to more than one user is enabled and the delivered photon rate can be dynamically adjusted. Penalty-free operation is confirmed for integrating a co-existing classical control channel within the quantum.


title: Processamento de linguagem natural em Portugu\^es e aprendizagem profunda para o dom\'inio de \'Oleo e G\'as

abstract: Over the last few decades, institutions around the world have been challenged to deal with the sheer volume of information captured in unstructured formats, especially in textual documents. The so called Digital Transformation age, characterized by important technological advances and the advent of disruptive methods in Artificial Intelligence, offers opportunities to make better use of this information. Recent techniques in Natural Language Processing (NLP) with Deep Learning approaches allow to efficiently process a large volume of data in order to obtain relevant information, to identify patterns, classify text, among other applications. In this context, the highly technical vocabulary of Oil and Gas (O&G) domain represents a challenge for these NLP algorithms, in which terms can assume a very different meaning in relation to common sense understanding. The search for suitable mathematical representations and specific models requires a large amount of representative corpora in the O&G domain. However, public access to this material is scarce in the scientific literature, especially considering the Portuguese language. This paper presents a literature review about the main techniques for deep learning NLP and their major applications for O&G domain in Portuguese.


title: Adaptively stacking ensembles for influenza forecasting with incomplete data

abstract: Seasonal influenza infects between 10 and 50 million people in the United States every year, overburdening hospitals during weeks of peak incidence. Named by the CDC as an important tool to fight the damaging effects of these epidemics, accurate forecasts of influenza and influenza-like illness (ILI) forewarn public health officials about when, and where, seasonal influenza outbreaks will hit hardest. Multi-model ensemble forecasts---weighted combinations of component models---have shown positive results in forecasting. Ensemble forecasts of influenza outbreaks have been static, training on all past ILI data at the beginning of a season, generating a set of optimal weights for each model in the ensemble, and keeping the weights constant. We propose an adaptive ensemble forecast that (i) changes model weights week-by-week throughout the influenza season, (ii) only needs the current influenza season's data to make predictions, and (iii) by introducing a prior distribution, shrinks weights toward the reference equal weighting approach and adjusts for observed ILI percentages that are subject to future revisions. We investigate the prior's ability to impact adaptive ensemble performance and, after finding an optimal prior via a cross-validation approach, compare our adaptive ensemble's performance to equal-weighted and static ensembles. Applied to forecasts of short-term ILI incidence at the regional and national level in the US, our adaptive model outperforms a naive equal-weighted ensemble, and has similar or better performance to the static ensemble, which requires multiple years of training data. Adaptive ensembles are able to quickly train and forecast during epidemics, and provide a practical tool to public health officials looking for forecasts that can conform to unique features of a specific season.


title: Topological susceptibilty in lattice QCD with exact chiral symmetry -- the index of overlap-Dirac operator versus the clover topological charge in Wilson flow

abstract: Using an ensemble of 535 gauge configurations (on the $24^4 \times 48 $ lattice with $ a \simeq 0.06 $~fm and $ M_{\pi} \simeq 260 $~MeV) which are generated by hybrid Monte Carlo (HMC) simulation of $N_f=2$ lattice QCD with the optimal domain-wall quark, we compute the index of the overlap-Dirac operator, and also measure the clover topological charge in the Wilson flow, $Q_{\text{clover}}(t) $, by integrating the flow equation from $ t = 0 $ to $ t = 128 $ with $\delta t = 0.01 $. We observe that $Q_{\text{clover}}(t) $ of each configuration converges to a value close to an integer, and its nearest integer $Q_c(t) = \text{round} [Q_{\text{clover}}(t)] $ becomes invariant for $ t \ge t_c $, with the $ \max\{t_c \} \sim 77 $ for all 535 configurations. For each configuration, we compare the asymptotically-invariant $ Q_c $ with the index of overlap-Dirac operator at $t=0$. It turns out that there are 167 configurations with $Q_c \ne \text{index}(D_{o}) $, amounting to $31.2\%$ of the total 535 configurations. However, the histograms of $ Q_c $ and $ \text{index}(D_o) $ are almost identical. Consequently, the topological susceptibility using the asymptotically-invariant $ Q_c $ agrees with that using the index of overlap-Dirac operator at $ t=0 $. This implies that the topological susceptibility in lattice QCD with exact chiral symmetry can be obtained from the asymptotically-invariant $ Q_c $ in the Wilson flow.


title: Bounding Radon number via Betti numbers

abstract: We prove general topological Radon-type theorems for sets in $\mathbb R^d$ or on a surface. Combined with a recent result of Holmsen and Lee, we also obtain fractional Helly theorem, and consequently the existence of weak $\varepsilon$-nets as well as a $(p,q)$-theorem for those sets. More precisely, given a family $\mathcal F$ of subsets of $\mathbb R^d$, we will measure the homological complexity of $\mathcal F$ by the supremum of the first $\lceil d/2\rceil$ reduced Betti numbers of $\bigcap \mathcal G$ over all $\mathcal G \subsetneq \mathcal F$. We show that if $\mathcal F$ has homological complexity at most $b$, the Radon number of $\mathcal F$ is bounded in terms of $b$ and $d$. In case that $\mathcal F$ lives on a surface and the number of connected components of $\bigcap \mathcal G$ over all $\mathcal G\subsetneq \mathcal F$ is at most $b$, then the Radon number of $\mathcal F$ is bounded by a function depending only on $b$ and the surface itself. Concerning fractional Helly theorem, we get the following improvement using the recent result of the author and Kalai: Let $\mathcal F$ be a family of open sets in a surface $S$ such that for every $\mathcal G\subsetneq \mathcal F$, $\bigcap \mathcal G$ has at most $b$ path-connected components. Then the fractional Helly number of $\mathcal F$ is linear in $b$. Specifically, for $b=1$ we show that the fractional Helly number is at most three, which is optimal. This case further leads to solving a conjecture of Holmsen, Kim, and Lee about an existence of a $(p,q)$-theorem for open subsets of a surface.


title: Chatter Detection in Turning Using Machine Learning and Similarity Measures of Time Series via Dynamic Time Warping

abstract: Chatter detection from sensor signals has been an active field of research. While some success has been reported using several featurization tools and machine learning algorithms, existing methods have several drawbacks such as manual preprocessing and requiring a large data set. In this paper, we present an alternative approach for chatter detection based on K-Nearest Neighbor (kNN) algorithm for classification and the Dynamic Time Warping (DTW) as a time series similarity measure. The used time series are the acceleration signals acquired from the tool holder in a series of turning experiments. Our results, show that this approach achieves detection accuracies that in most cases outperform existing methods. We compare our results to the traditional methods based on Wavelet Packet Transform (WPT) and the Ensemble Empirical Mode Decomposition (EEMD), as well as to the more recent Topological Data Analysis (TDA) based approach. We show that in three out of four cutting configurations our DTW-based approach attains the highest average classification rate reaching in one case as high as 99% accuracy. Our approach does not require feature extraction, is capable of reusing a classifier across different cutting configurations, and it uses reasonably sized training sets. Although the resulting high accuracy in our approach is associated with high computational cost, this is specific to the DTW implementation that we used. Specifically, we highlight available, very fast DTW implementations that can even be implemented on small consumer electronics. Therefore, further code optimization and the significantly reduced computational effort during the implementation phase make our approach a viable option for in-process chatter detection.


title: Unexpected gap creating two peaks in the periods of planets of metal-rich sunlike single stars

abstract: The pileup of planets at periods of roughly one year and beyond is actually a bimodal peak with a wide, sharp gap splitting the peak of the pileup in a major population of large planets. Consisting of nearly 40\% of planets with periods past 200 days, the periods of the planets of metal-rich stars like the sun in surface gravity which do not have a stellar companion show two strong peaks separated by a sparsely populated region. Monte Carlo tests show that this structure is unlikely to occur in random distributions, and a comparison with objects from all the other populations show that this feature is unlikely to be due to observational effects. The peaks have their highest density next to the gap. These two peaks are most strongly seen in single-planet systems, though the gap persists in multiple planet systems. These features are likely characteristic of planets with masses not too much lower than Jupiter, and perhaps not too much higher. The presence of well-defined features in the period distribution show that planet formation may be much more uniform than previously expected.


title: Control of spatially rotating structures in diffractive Kerr cavities

abstract: Turing patterns in self-focussing nonlinear optical cavities pumped by beams carrying orbital angular momentum (OAM) $m$ are shown to rotate with an angular velocity $\omega = 2m/R^2$ on rings of radii $R$. We verify this prediction in 1D models on a ring and for 2D Laguerre-Gaussian and top-hat pumps with OAM. Full control over the angular velocity of the pattern in the range $- 2m/R^2 \le \omega \le 2m/R^2$ is obtained by using cylindrical vector beam pumps that consist of orthogonally polarized eigenmodes with equal and opposite OAM. Using Poincar\'e beams that consist of orthogonally polarized eigenmodes with different magnitudes of OAM, the resultant angular velocity is $\omega = (m_L + m_R)/R^2$, where $m_L, m_R$ are the OAMs of the eigenmodes, assuming good overlap between the eigenmodes. If there is no, or very little, overlap between the modes then concentric Turing pattern rings, each with angular velocity $\omega = 2m_{L,R}/R^2$ will result. This can lead to, for example, concentric, counter-rotating Turing patterns creating an 'optical peppermill'-type structure. Full control over the speeds of multiple rings has potential applications in particle manipulation and stretching, atom trapping, and circular transport of cold atoms and BEC wavepackets.


title: Superconducting nanowire single-photon spectrometer exploiting cascaded photonic crystal cavities

abstract: Superconducting nanowire single-photon detectors promise efficient (~100%) and fast (~Gcps) detection of light at the single-photon level. They constitute one of the building blocks to realize integrated quantum optical circuits in a waveguide architecture. The optical response of single-photon detectors, however, is limited to measure only the presence of photons. It misses the capability to resolve the spectrum of a possible broadband illumination. In this work, we propose the optical design for a superconducting nanowire single-photon spectrometer in an integrated optical platform. We exploit a cascade of cavities with different resonance wavelengths side-coupled to a photonic crystal bus waveguide. This allows to demultiplex different wavelengths into different spatial regions, where individual superconducting nanowires that measure the presence of single photons are placed next to these cavities. We employ temporal coupled-mode theory to derive the optimal conditions to achieve a high absorption efficiency in the nanowire with fine spectral resolution. It is shown that the use of a mirror at the end of the cascaded system that terminates the photonic crystal bus waveguide increases the absorption efficiency up to unity, in principle, in the absence of loss. The expected response is demonstrated by full-wave simulations for both two-dimensional and three-dimensional structures. Absorption efficiencies of about 80% are achieved both in two-dimensional structures for four cascaded cavities and in three-dimensional structures for two cascaded cavities. The achieved spectral resolution is about 1 nm. We expect that the proposed setup, both analytically studied and numerically demonstrated in this work, offers a great impetus for future quantum nanophotonic on-chip technologies.


title: Monodisperse gas-solid mixtures with intense interphase interaction in two-fluid Smoothed Particle Hydrodynamics

abstract: Simulations of gas-solid mixtures are used in many scientific and industrial applications. Two-Fluid Smoothed Particle Hydrodynamics (TFSPH) is an approach when gas and solids are simulated with different sets of particles interacting via drag force. Several methods are developed for computing drag force between gas and solid grains for TFSPH. Computationally challenging are simulations of gas-dust mixtures with intense intephase interaction, when velocity relaxation time $t_{\rm stop}$ is much smaller than dynamical time of the problem. In explicit schemes the time step $\tau$ must be less than $t_{\rm stop}$, that leads to high computational costs. Moreover, it is known that for stiff problems both grid-based and particle methods may require unaffordably detailed resolution to capture the asymptotical bahaiviour of the solution. To address this problem we developed fast and robust method for computing stiff and mild drag force in gas solid-mixtures based on the ideas of Particle-in-Cell approach. In the paper we compare the results of new and previously developed methods on test problems


title: Spatially and Temporally Efficient Non-local Attention Network for Video-based Person Re-Identification

abstract: Video-based person re-identification (Re-ID) aims at matching video sequences of pedestrians across non-overlapping cameras. It is a practical yet challenging task of how to embed spatial and temporal information of a video into its feature representation. While most existing methods learn the video characteristics by aggregating image-wise features and designing attention mechanisms in Neural Networks, they only explore the correlation between frames at high-level features. In this work, we target at refining the intermediate features as well as high-level features with non-local attention operations and make two contributions. (i) We propose a Non-local Video Attention Network (NVAN) to incorporate video characteristics into the representation at multiple feature levels. (ii) We further introduce a Spatially and Temporally Efficient Non-local Video Attention Network (STE-NVAN) to reduce the computation complexity by exploring spatial and temporal redundancy presented in pedestrian videos. Extensive experiments show that our NVAN outperforms state-of-the-arts by 3.8% in rank-1 accuracy on MARS dataset and confirms our STE-NVAN displays a much superior computation footprint compared to existing methods.


title: Nonlinear transmission of laser light through coronal plasma due to self-induced incoherence

abstract: The success of direct laser-driven inertial confinement fusion (ICF) relies critically on the efficient coupling of laser light to plasma. At ignition scale, the absolute stimulated Raman scattering (SRS) instability can severely inhibit this coupling by redirecting and strongly depleting laser light. This Letter describes a new dynamic saturation regime of the absolute SRS instability. The saturation occurs when spatiotemporal fluctuations in the ion-acoustic density detune the instability resonance. The dynamic saturation mitigates the strong depletion of laser light and enhances its transmission through the instability region, explaining the coupling of laser light to ICF targets at higher plasma densities.


title: Conceitos Fundamentais e M\'etodos Pluripotenciais para Aplica\c{c}\~oes Cohomologicamente Expans\'iveis

abstract: In this text, we recall some basics and results about complex geometry and currents in the complex scenario. Most of the results are classic and their evidence is not given here. On the other hand, we describe in detail some notions to help the reader who is unfamiliar with complex geometry or currents. The main references for abstract current theory are [Che03] [dR84] [Fed69] [Sch66] [War71]. The reader will find in [JP] [Gun90] [Hor83] [Lel68] [Nar66] the basics of chains in complex varieties. We also refer to [JP] [PA78] [Huy05] [Voi02] for K\"ahler's compact variety theory


title: Likelihood Contribution based Multi-scale Architecture for Generative Flows

abstract: Deep generative modeling using flows has gained popularity owing to the tractable exact log-likelihood estimation with efficient training and synthesis process. However, flow models suffer from the challenge of having high dimensional latent space, the same in dimension as the input space. An effective solution to the above challenge as proposed by Dinh et al. (2016) is a multi-scale architecture, which is based on iterative early factorization of a part of the total dimensions at regular intervals. Prior works on generative flow models involving a multi-scale architecture perform the dimension factorization based on static masking. We propose a novel multi-scale architecture that performs data-dependent factorization to decide which dimensions should pass through more flow layers. To facilitate the same, we introduce a heuristic based on the contribution of each dimension to the total log-likelihood which encodes the importance of the dimensions. Our proposed heuristic is readily obtained as part of the flow training process, enabling the versatile implementation of our likelihood contribution based multi-scale architecture for generic flow models. We present such implementations for several state-of-the-art flow models and demonstrate improvements in log-likelihood score and sampling quality on standard image benchmarks. We also conduct ablation studies to compare the proposed method with other options for dimension factorization.


title: Elliptic functions from $F(\frac{1}{4}, \frac{3}{4} ; \frac{1}{2} ; \bullet)$

abstract: We reconsider the elliptic functions that are generated from the hypergeometric function $F(\tfrac{1}{4}, \tfrac{3}{4}; \tfrac{1}{2} ; \bullet)$ by Li-Chien Shen, presenting fresh proofs that do not require the use of theta functions.


title: Characterising complex healthcare systems using network science: The small world of emergency surgery

abstract: Hospitals are complex systems and optimising their function is critical to the provision of high quality, cost effective healthcare. Nevertheless, metrics of performance have to date focused on the performance of individual elements rather than the system as a whole. Manipulation of individual elements of a complex system without an integrative understanding of its function is undesirable and may lead to counter-intuitive outcomes and a holistic metric of hospital function might help design more efficient services. We aimed to characterise the system of peri-operative care for emergency surgical admissions in our tertiary care hospital using network analysis. We used retrospective electronic health record data to construct a weighted directional network of the system. For this we selected all unplanned admissions during a 3.5 year period involving a surgical intervention during the inpatient stay and obtained a set of 16,500 individual inpatient episodes. We then constructed and analysed the structure of this network using established methods from network science such as degree distribution, betweenness centrality and small-world characteristics. The analysis showed the service to be a complex system with scale-free, small-world network properties. This finding has implications for the structure and resilience of the service as such networks, whilst being robust in general, may be vulnerable to outages at specific key nodes. We also identified such potential hubs and bottlenecks in the system based on a variety of network measures. It is hoped that such a holistic, system-wide description of a hospital service may provide better metrics for hospital strain and serve to help planners engineer systems that are as robust as possible to external shocks.


title: Anomalous energy diffusion in two-dimensional nonlinear lattices

abstract: Heat transport in one-dimensional (1D) momentum-conserving lattices is generally assumed to be anomalous, thus yielding a power-law divergence of thermal conductivity with system length. However, whether heat transport in two-dimensional (2D) system is anomalous or not is still on debate because of the difficulties involved in experimental measurements or due to the insufficiently large simulation size. Here, we simulate energy and momentum diffusion in the 2D nonlinear lattices using the method of fluctuation correlation functions. Our simulations confirm that energy diffusion in the 2D momentum-conserving lattices is anomalous and can be well described by the L\'{e}vy-stable distribution. We also find that the disappear of side peaks of heat mode may suggest a weak coupling between heat mode and sound mode in the 2D nonlinear system. It is also observed that the harmonic interactions in the 2D nonlinear lattices can accelerate the energy diffusion. Contrary to the hypothesis of 1D system, we clarify that anomalous heat transport in the 2D momentum-conserving system cannot be corroborated by the momentum superdiffusion any more. Moreover, as is expected, lattices with a nonlinear on-site potential exhibit normal energy diffusion, independent of the dimension. Our findings offer some valuable insights into the mechanism of thermal transport in 2D system.


title: Explicit Formulas for the p-adic Valuations of Fibonomial Coefficients II

abstract: In this article, we give explicit formulas for the $p$-adic valuations of the Fibonomial coefficients ${p^a n \choose n}_F$ for all primes $p$ and positive integers $a$ and $n$. This is a continuation from our previous article extending some results in the literature, which deal only with $p = 2,3,5,7$ and $a = 1$. Then we use these formulas to characterize the positive integers $n$ such that ${pn \choose n}_F$ is divisible by $p$, where $p$ is any prime which is congruent to $\pm 2 \pmod{5}$.


title: Noncovariance at low accelerations as a route to MOND

abstract: MOND has limelighted the fact that Newtonian dynamics (ND) and general relativity (GR) have not been verified at accelerations below MOND's $a_0$. In particular, we do not know that all the principles underlying ND or GR apply below $a_0$. I discuss possible breakdown of general covariance (GC) in this limit. This resonates well with MOND, which hinges on accelerations. Relaxing GC affords more freedom in constructing MOND theories. I exemplify this with a simplified theory whose gravitational Lagrangian is $\mathcal{L}_M\propto \ell_M^{-2}\mathcal{F}(\ell_M^{2}\mathcal{R})$, where $\mathcal{R}= g^{\mu\nu} (\Gamma^\gamma_{\mu\nu}\Gamma^\lambda_{\lambda\gamma}-\Gamma^\gamma_{\mu\lambda} \Gamma^\lambda_{\nu\gamma})/2$. $\Gamma^\gamma_{\mu\nu}$ is the Levi-Civita connection of a metric, $g_{\mu\nu}$, and $\ell_M=c^2/a_0$ is the MOND length. Requiring $\mathcal{F}(z)\rightarrow z+\zeta$, for $z\gg 1$ gives GR with a cosmological constant $\zeta c^{-4}a_0^2$ for high accelerations. In the MOND limit $\mathcal{F}'(z\ll 1)\propto z^{1/2}$. In the nonrelativistic limit the metric is of the form $g_{\mu\nu}\approx \eta_{\mu\nu}-2\phi\delta_{\mu\nu}$, as in GR, but the potential $\phi$ solves a MOND, nonlinear Poisson analog. This form of $g_{\mu\nu}$ also produces gravitational lensing as in GR only with the MOND potential. I show that this theory is a fixed-gauge expression of BIMOND, with the auxiliary metric constrained to be flat. The latter theory is thus a covariantized version of the former a-la St\"{u}ckelberg. This theory is also a special case of so-called $f(\mathcal{Q})$ theories -- aquadratic generalizations of `symmetric, teleparallel GR', which are, in turn, also equivalent to constrained BIMOND-type theories. (Abridged.)


title: Testing known and unknown systematics in HST/WFC3 spatial scans with the Wayne simulator

abstract: The Wide Field Camera 3 is one of the instruments currently onboard the Hubble Space Telescope and, since 2012, with the use of the spatial scanning technique, has provided the largest number of observed exoplanetary atmosphere, ranging from super-Earths to hot Jupiters. This technique enables the observation of bright targets without saturating the sensitive detectors, but at the same time requires more complicated data reduction and calibration techniques to extract the planetary signal from the observations. In absence of absolute calibration sources, the validation of current data analysis techniques is not possible as the planetary signal is not known. Here, we demonstrate how simulated observations can help us understand the effect of different analysis processes, and potential unknown systematics on the final transmission spectra of exoplanets. We test and validate the robustness of two of the most precise WFC3 exoplanetary spectra - HD 209458 b and 55 Cancri e - against three different known and potential sources of systematics. In addition, we identify the horizontal shifts seen in WFC3 observations as the most important source of systematic errors in the planetary spectra, concluding that a precision better that 1% of a pixel is necessary.


title: The tunnel number of all 11 and 12 crossing alternating knots

abstract: Using exhaustive techniques and results from Lackenby and many others, we compute the tunnel number of all 1655 alternating 11 and 12 crossing knots and of 881 non-alternating 11 and 12 crossing knots. We also find all 5525 Montesinos knots with 14 crossings or fewer.


title: Structural stability of the transonic shock problem in a divergent three dimensional axisymmetric perturbed nozzle

abstract: In this paper, we prove the structural stability of the transonic shocks for three dimensional axisymmetric Euler system with swirl velocity under the perturbations for the incoming supersonic flow, the nozzle boundary, and the exit pressure. Compared with the known results on the stability of transonic shocks, one of the major difficulties for the axisymmetric flows with swirls is that corner singularities near the intersection point of the shock surface and nozzle boundary and the artificial singularity near the axis appear simultaneously. One of the key points in the analysis for this paper is the introduction of an invertible Lagrangian transformation which can straighten the streamlines in the whole nozzle and help to represent the solutions of transport equations explicitly.


title: Corrigibility with Utility Preservation

abstract: Corrigibility is a safety property for artificially intelligent agents. A corrigible agent will not resist attempts by authorized parties to alter the goals and constraints that were encoded in the agent when it was first started. This paper shows how to construct a safety layer that adds corrigibility to arbitrarily advanced utility maximizing agents, including possible future agents with Artificial General Intelligence (AGI). The layer counter-acts the emergent incentive of advanced agents to resist such alteration. A detailed model for agents which can reason about preserving their utility function is developed, and used to prove that the corrigibility layer works as intended in a large set of non-hostile universes. The corrigible agents have an emergent incentive to protect key elements of their corrigibility layer. However, hostile universes may contain forces strong enough to break safety features. Some open problems related to graceful degradation when an agent is successfully attacked are identified. The results in this paper were obtained by concurrently developing an AGI agent simulator, an agent model, and proofs. The simulator is available under an open source license. The paper contains simulation results which illustrate the safety related properties of corrigible AGI agents in detail.


title: A two-parameter entropy and its fundamental properties

abstract: This article proposes a new two-parameter generalized entropy, which can be reduced to the Tsallis and the Shannon entropy for specific values of its parameters. We develop a number of information-theoretic properties of this generalized entropy and divergence, for instance, the sub-additive property, strong sub-additive property, joint convexity, and information monotonicity. This article presents an exposit investigation on the information-theoretic and information-geometric characteristics of the new generalized entropy and compare them with the properties of the Tsallis and the Shannon entropy.


title: Why Authors Don't Visualize Uncertainty

abstract: Clear presentation of uncertainty is an exception rather than rule in media articles, data-driven reports, and consumer applications, despite proposed techniques for communicating sources of uncertainty in data. This work considers, Why do so many visualization authors choose not to visualize uncertainty? I contribute a detailed characterization of practices, associations, and attitudes related to uncertainty communication among visualization authors, derived from the results of surveying 90 authors who regularly create visualizations for others as part of their work, and interviewing thirteen influential visualization designers. My results highlight challenges that authors face and expose assumptions and inconsistencies in beliefs about the role of uncertainty in visualization. In particular, a clear contradiction arises between authors' acknowledgment of the value of depicting uncertainty and the norm of omitting direct depiction of uncertainty. To help explain this contradiction, I present a rhetorical model of uncertainty omission in visualization-based communication. I also adapt a formal statistical model of how viewers judge the strength of a signal in a visualization to visualization-based communication, to argue that uncertainty communication necessarily reduces degrees of freedom in viewers' statistical inferences. I conclude with recommendations for how visualization research on uncertainty communication could better serve practitioners' current needs and values while deepening understanding of assumptions that reinforce uncertainty omission.


title: Beam-beam effects on the luminosity measurement at FCC-ee

abstract: The first part of the physics programme of the integrated FCC (Future Circular Colliders) proposal includes measurements of Standard Model processes in $e^+e^-$ collisions (FCC-ee) with an unprecedented precision. In particular, the potential precision of the Z lineshape determination calls for a very precise measurement of the absolute luminosity, at the level of 1E-4, and the precision on the relative luminosity between energy scan points around the Z pole should be an order of magnitude better. The luminosity is principally determined from the rate of low-angle Bhabha interactions, $e^+e^- \to e^+e^-$, where the final state electrons and positrons are detected in dedicated calorimeters covering small angles from the outgoing beam directions. Electromagnetic effects caused by the very large charge density of the beam bunches affect the effective acceptance of these luminometers in a nontrivial way. If not corrected for, these effects would lead, at the Z pole, to a systematic bias of the measured luminosity that is more than one order of magnitude larger than the desired precision. In this note, these effects are studied in detail, and methods to measure and correct for them are proposed.


title: Thoth: Improved Rapid Serial Visual Presentation using Natural Language Processing

abstract: Thoth is a tool designed to combine many different types of speed reading technology. The largest insight is using natural language parsing for more optimal rapid serial visual presentation and more effective reading information.


title: Internal Shocks from Variable Outflows in Classical Novae

abstract: We present one-dimensional hydrodynamical simulations including radiative losses, of internal shocks in the outflows from classical novae, to explore the role of shocks in powering multi-wavelength emission from radio to gamma-ray wavelengths. Observations support a picture in which the initial phases of some novae generate a slow, equatorially-focused outflow (directly from the outer Lagrange point, or from a circumbinary disk), which then transitions to, or is overtaken by, a faster more isotropic outflow from the white dwarf which collides and shocks the slower flow, powering gamma-ray and optical emission through reprocessing by the ejecta. However, the common occurence of multiple peaks in nova light curves suggests that the outflow's acceleration need not be monotonic, but instead can involve successive transitions between "fast" and "slow" modes. Such a time-fluctuating outflow velocity naturally can reproduce several observed properties of nova, such as correlated gamma-ray and optical flares, expansion of the photosphere coincident with (though lagging slightly) the peak flare luminosity, and complex time-evolution of spectral lines (including accelerating, decelerating, and merging velocity components). While the shocks are still deeply embedded during the gamma-ray emission, the onset of $\sim$ keV X-ray and $\sim 10$ GHz radio synchrotron emission is typically delayed until the forward shock of the outermost monolithic shell (created by merger of multiple internal shock-generated shells) reaches a sufficiently low column through the dense external medium generated by the earliest phase of the outburst.


title: Kudla--Rapoport cycles and derivatives of local densities

abstract: We prove the local Kudla--Rapoport conjecture, which is a precise identity between the arithmetic intersection numbers of special cycles on unitary Rapoport--Zink spaces and the derivatives of local representation densities of hermitian forms. As a first application, we prove the global Kudla--Rapoport conjecture, which relates the arithmetic intersection numbers of special cycles on unitary Shimura varieties and the central derivatives of the Fourier coefficients of incoherent Eisenstein series. Combining previous results of Liu and Garcia--Sankaran, we also prove cases of the arithmetic Siegel--Weil formula in any dimension.


title: The dynamic critical exponent $z$ of the three-dimensional Ising universality class: Monte Carlo simulations of the improved Blume-Capel model

abstract: We study purely dissipative relaxational dynamics in the three-dimensional Ising universality class. To this end, we simulate the improved Blume-Capel model on the simple cubic lattice by using local algorithms. We perform a finite size scaling analysis of the integrated autocorrelation time of the magnetic susceptibility in equilibrium at the critical point. We obtain $z=2.0245(15)$ for the dynamic critical exponent. As a complement, fully magnetized configurations are suddenly quenched to the critical temperature, giving consistent results for the dynamic critical exponent. Furthermore, our estimate of $z$ is fully consistent with recent field theoretic results.


title: SESF-Fuse: An Unsupervised Deep Model for Multi-Focus Image Fusion

abstract: In this work, we propose a novel unsupervised deep learning model to address multi-focus image fusion problem. First, we train an encoder-decoder network in unsupervised manner to acquire deep feature of input images. And then we utilize these features and spatial frequency to measure activity level and decision map. Finally, we apply some consistency verification methods to adjust the decision map and draw out fused result. The key point behind of proposed method is that only the objects within the depth-of-field (DOF) have sharp appearance in the photograph while other objects are likely to be blurred. In contrast to previous works, our method analyzes sharp appearance in deep feature instead of original image. Experimental results demonstrate that the proposed method achieves the state-of-art fusion performance compared to existing 16 fusion methods in objective and subjective assessment.


title: Beam-beam effects on the luminosity measurement at LEP and the number of light neutrino species

abstract: In $e^+ e^-$ collisions, electromagnetic effects caused by large charge density bunches modify the effective acceptance of the luminometer system of the experiments. These effects consequently bias the luminosity measurement from the rate of low-angle Bhabha interactions $e^+ e^- \to e^+ e^- $. Surprisingly enough, the magnitude of this bias is found to yield an underestimation of the integrated luminosity measured by the LEP experiments by about 0.1%, significantly larger than the reported experimental uncertainties. When accounted for, this effect modifies the number of light neutrino species determined at LEP from the measurement of the hadronic cross section at the Z peak.


title: The smallest art gallery not guarded by every third vertex

abstract: A polygonal art gallery can be observed by guards placed at one third of its corners. However, the strategy of placing guards at every third corner does not work for all art galleries. In this note, we provide an example of a nine-sided art gallery for which this strategy fails, and prove that this example is minimal.


title: Systems of difference equations on a vector valued function that admit 3D space of scalar potentials

abstract: For some involutive maps $\Phi:{\mathbb C}P^1 \times {\mathbb C}P^1 \to {\mathbb C}P^1 \times {\mathbb C}P^1$ we find all invariants with separated variables. We investigate a link of the maps and their invariants with separated variables to discrete integrable systems. Maps correspond to integrable systems on edges (bond systems), while their invariants with separated variables yields potentials of the bond systems, that allows us to rewrite the integrable sytems as models on vertices. Among the latter ones one can find well known integrable difference equations as well as difference relations, which in contrast to the equations give non-single-valued evolution of the dependent variable. However, the non-single-valuedness can be resolved by the link with the bond system.


title: Learning a Unified Embedding for Visual Search at Pinterest

abstract: At Pinterest, we utilize image embeddings throughout our search and recommendation systems to help our users navigate through visual content by powering experiences like browsing of related content and searching for exact products for shopping. In this work we describe a multi-task deep metric learning system to learn a single unified image embedding which can be used to power our multiple visual search products. The solution we present not only allows us to train for multiple application objectives in a single deep neural network architecture, but takes advantage of correlated information in the combination of all training data from each application to generate a unified embedding that outperforms all specialized embeddings previously deployed for each product. We discuss the challenges of handling images from different domains such as camera photos, high quality web images, and clean product catalog images. We also detail how to jointly train for multiple product objectives and how to leverage both engagement data and human labeled data. In addition, our trained embeddings can also be binarized for efficient storage and retrieval without compromising precision and recall. Through comprehensive evaluations on offline metrics, user studies, and online A/B experiments, we demonstrate that our proposed unified embedding improves both relevance and engagement of our visual search products for both browsing and searching purposes when compared to existing specialized embeddings. Finally, the deployment of the unified embedding at Pinterest has drastically reduced the operation and engineering cost of maintaining multiple embeddings while improving quality.


title: Thermodynamic conditions governing the optical temperature and chemical potential in nonlinear highly multimoded photonic systems

abstract: We show that, in general, any complex weakly nonlinear highly multimode system can reach thermodynamic equilibrium that is characterized by a unique temperature and chemical potential. The conditions leading to either positive or negative temperatures are explicitly obtained in terms of the linear spectrum of the system, the input power, and the corresponding Hamiltonian invariant. Pertinent examples illustrating these results are provided in various scenarios.


title: Behavioral Biases and Nonadditive Dynamics in Risk Taking: An Experimental Investigation

abstract: This paper investigates the dynamics of gambling and how they can affect risk-taking behavior in regions not explored by Kahneman and Tversky's Prospect Theory. Specifically, it questions why extreme outcomes do not fit the theory and proposes alternative ways to measure prospects. The paper introduces a measure of contrast between gambles and conducts an experiment to test the hypothesis that individuals prospect gambles with nonadditive dynamics differently. The results suggest a strong bias towards certain options, which challenges the predictions of Kahneman and Tversky's theory.


title: Topics in Lorentz Geometry

abstract: Lecture notes from the mini-course "Topics in Lorentz Geometry" taught at the University of S\~{a}o Paulo, in March/2019. The text has three parts: (i) an overall view of linear algebra in the pseudo-Euclidean space $\mathbb{R}^n_\nu$, with focus on Lorentz-Minkowski space and its role in Physics; (ii) a version of the Fundamental Theorem of Curves in 3-dimensional Lorentz-Minkowski space, with adaptations to curves with degenerate osculating plane; (iii) the problem of the diagonalization of the Weingarten map for timelike surfaces, local classification of surfaces with constant Gaussian curvature $K$ and Weierstrass' representation formula in Lorentz-Minkowski space (using split-complex algebra). V2: added references.


title: fgivenx: A Python package for functional posterior plotting

abstract: fgivenx is a Python package for functional posterior plotting, currently used in astronomy, but will be of use to scientists performing any Bayesian analysis which has predictive posteriors that are functions. The source code for fgivenx is available on GitHub at https://github.com/williamjameshandley/fgivenx


title: Hayward black hole heat engine efficiency in anti-de Sitter space

abstract: In this paper, we attempt to further study the heat engine efficiency for the regular black hole (BH) with an anti-de Sitter (AdS) background where the working material is the Hayward-AdS (HAdS) BH. In the extended phase space, we investigate the heat engine efficiency of the HAdS BH by defining the cosmological constant as the thermodynamic pressure $P$ and deriving the mechanical work from the $PdV$ terms. Then, we obtain the relation between the efficiency and the entropy/pressure and plot these function figures. Meanwhile, we compare the relation between the HAdS BH with that of the Bardeen-AdS (BAdS) BH, which is found that the efficiency of the HAdS BH increase with increase the magnetic charge $q$ in contrast to that of the BAdS BH decrease with increase the magnetic charge $q$. We found that the HAdS BH is more efficient than the BAdS BH, and guess that is related to the BH structure.


title: Search for dark matter particles produced in association with a Higgs boson in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for dark matter (DM) particles is performed using events with a Higgs boson candidate and large missing transverse momentum. The analysis is based on proton-proton collision data at a center-of-mass energy of 13 TeV collected by the CMS experiment at the LHC in 2016, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The search is performed in five Higgs boson decay channels: h $\to \mathrm{b\bar{b}}$, $\gamma\gamma$, $\tau^{+}\tau^{-}$, W$^{+}$W$^{-}$, and ZZ. The results from the individual channels are combined to maximize the sensitivity of the analysis. No significant excess over the expected standard model background is observed in any of the five channels or in their combination. Limits are set on DM production in the context of two simplified models. The results are also interpreted in terms of a spin-independent DM-nucleon scattering cross section and compared to those from direct-detection DM experiments. This is the first search for DM particles produced in association with a Higgs boson decaying to a pair of W or Z bosons, and the first statistical combination based on five Higgs boson decay channels.


title: Flow Allocation Games

abstract: We study a game-theoretic variant of the maximum circulation problem. In a flow allocation game, we are given a directed flow network. Each node is a rational agent and can strategically allocate any incoming flow to the outgoing edges. Given the strategy choices of all agents, a maximal circulation that adheres to the chosen allocation strategies evolves in the network. Each agent wants to maximize the amount of flow through her node. Flow allocation games can be used to express strategic incentives of clearing in financial networks. We provide a cumulative set of results on the existence and computational complexity of pure Nash and strong equilibria, as well as tight bounds on the (strong) prices of anarchy and stability. Our results show an interesting dichotomy: Ranking strategies over individual flow units allow to obtain optimal strong equilibria for many objective functions. In contrast, more intuitive ranking strategies over edges can give rise to unfavorable incentive properties.


title: Observation of twist-induced geometric phases and inhibition of optical tunneling via Aharonov-Bohm effects

abstract: Geometric phases appear ubiquitously in many and diverse areas of physical sciences, ranging from classical and molecular dynamics to quantum mechanics and solid-state physics. In the realm of optics, similar phenomena are known to emerge in the form of a Pancharatnam-Berry phase whenever the polarization state traces a closed contour on the Poincare sphere. While this class of geometric phases has been extensively investigated in both free-space and guided wave systems, the observation of similar effects in photon-tunneling arrangements has so far remained largely unexplored. Here, for the first time, we experimentally demonstrate that the tunneling or coupling process in a twisted multi-core fiber system can display a chiral geometric phase accumulation-analogous to that of the Aharonov-Bohm effect resulting from the presence of a nonzero magnetic flux. In our experiments, the tunneling geometric phase is manifested through the interference of the corresponding supermodes. In this system, and for specific values of the twist rate, the tunneling between opposite cores ceases, thus signifying an Aharonov-Bohm suppression of tunneling. Our work provides the first observation of this intriguing effect in an optical setting.


title: (Anti-)evaporation of Schwarzschild-de Sitter black holes revisited

abstract: It is widely believed that in the presence of a positive cosmological constant, heavy black holes can exhibit non-standard behaviour, namely there is a possibility that such objects would grow instead of evaporating. We point out that all those results (obtained in different frameworks) rely heavily upon the identification of the Nariai spacetime with the Schwarzschild--de Sitter (Kottler) black hole. In this note we argue that it is an incorrect assumption. As a result, previous treatments need revisiting. In particular, we show that within effective action approach, there is no solution corresponding to the Schwarzschild--de Sitter black hole.


title: Mimetic Horava Gravity

abstract: We show that the scalar field of mimetic gravity could be used to construct diffeomorphism invariant models that reduce to Horava gravity in the synchronous gauge. The gradient of the mimetic field provides a timelike unit vector field that allows to define a projection operator of four-dimensional tensors to three-dimensional spatial tensors. Conversely, it also enables us to write quantities invariant under space diffeomorphisms in fully covariant form without the need to introduce new propagating degrees of freedom.


title: Discovery of Bias and Strategic Behavior in Crowdsourced Performance Assessment

abstract: With the industry trend of shifting from a traditional hierarchical approach to flatter management structure, crowdsourced performance assessment gained mainstream popularity. One fundamental challenge of crowdsourced performance assessment is the risks that personal interest can introduce distortions of facts, especially when the system is used to determine merit pay or promotion. In this paper, we developed a method to identify bias and strategic behavior in crowdsourced performance assessment, using a rich dataset collected from a professional service firm in China. We find a pattern of "discriminatory generosity" on the part of peer evaluation, where raters downgrade their peer coworkers who have passed objective promotion requirements while overrating their peer coworkers who have not yet passed. This introduces two types of biases: the first aimed against more competent competitors, and the other favoring less eligible peers which can serve as a mask of the first bias. This paper also aims to bring angles of fairness-aware data mining to talent and management computing. Historical decision records, such as performance ratings, often contain subjective judgment which is prone to bias and strategic behavior. For practitioners of predictive talent analytics, it is important to investigate potential bias and strategic behavior underlying historical decision records.


title: Portable simulation framework for diffusion MRI

abstract: The numerical simulation of the diffusion MRI signal arising from complex tissue micro-structures is helpful for understanding and interpreting imaging data as well as for designing and optimizing MRI sequences. The discretization of the Bloch-Torrey equation by finite elements is a more recently developed approach for this purpose, in contrast to random walk simulations, which has a longer history. While finite elements discretization is more difficult to implement than random walk simulations, the approach benefits from a long history of theoretical and numerical developments by the mathematical and engineering communities. In particular, software packages for the automated solutions of partial differential equations using finite elements discretization, such as FEniCS, are undergoing active support and development. However, because diffusion MRI simulation is a relatively new application area, there is still a gap between the simulation needs of the MRI community and the available tools provided by finite elements software packages. In this paper, we address two potential difficulties in using FEniCS for diffusion MRI simulation. First, we simplified software installation by the use of FEniCS containers that are completely portable across multiple platforms. Second, we provide a portable simulation framework based on Python and whose code is open source. This simulation framework can be seamlessly integrated with cloud computing resources such as Google Colaboratory notebooks working on a web browser or with Google Cloud Platform with MPI parallelization. We show examples illustrating the accuracy, the computational times, and parallel computing capabilities. The framework contributes to reproducible science and open-source software in computational diffusion MRI with the hope that it will help to speed up method developments and stimulate research collaborations.


title: Sample size calculations for the experimental comparison of multiple algorithms on multiple problem instances

abstract: This work presents a statistically principled method for estimating the required number of instances in the experimental comparison of multiple algorithms on a given problem class of interest. This approach generalises earlier results by allowing researchers to design experiments based on the desired best, worst, mean or median-case statistical power to detect differences between algorithms larger than a certain threshold. Holm's step-down procedure is used to maintain the overall significance level controlled at desired levels, without resulting in overly conservative experiments. This paper also presents an approach for sampling each algorithm on each instance, based on optimal sample size ratios that minimise the total required number of runs subject to a desired accuracy in the estimation of paired differences. A case study investigating the effect of 21 variants of a custom-tailored Simulated Annealing for a class of scheduling problems is used to illustrate the application of the proposed methods for sample size calculations in the experimental comparison of algorithms.


title: Frustration phenomenon in the spin-1/2 Ising-Heisenberg planar model of inter-connected trigonal bipyramid structures

abstract: Ground-state and finite-temperature properties of the exactly solvable mixed spin-1/2 Ising-Heisenberg planar model composed of identical trigonal bipyramids that are arranged into a regular archimedean lattice are examined with the aim to clarify the frustration phenomenon at zero and finite temperatures. It is shown that the ground-state spin frustration persists even far above the second-order phase transition. If the interaction ratio between the Heisenberg and Ising exchange interactions is close enough to the ground-state boundaries between the neighboring phases, a remarkable re-entrance of the (non-)frustrated spin arrangement of the Heisenberg spins can be observed around the critical temperature of the model. It is also evidenced that entropy and specific heat show pronounced temperature variations not only around the critical temperature, but also in low-temperature regime if values of the interaction parameters are taken from neighborhood of the ground-state phase transitions, where energies of the neighboring phases are very close.


title: Symmetry in stationary and uniformly-rotating solutions of active scalar equations

abstract: In this paper, we study the radial symmetry properties of stationary and uniformly-rotating solutions of the 2D Euler and gSQG equations, both in the smooth setting and the patch setting. For the 2D Euler equation, we show that any smooth stationary solution with compactly supported and nonnegative vorticity must be radial, without any assumptions on the connectedness of the support or the level sets. In the patch setting, for the 2D Euler equation we show that every uniformly-rotating patch $D$ with angular velocity $\Omega \leq 0$ or $\Omega\geq \frac{1}{2}$ must be radial, where both bounds are sharp. For the gSQG equation we obtain a similar symmetry result for $\Omega\leq 0$ or $\Omega\geq \Omega_\alpha$ (with the bounds being sharp), under the additional assumption that the patch is simply-connected. These results settle several open questions in [T. Hmidi, J. Evol. Equ., 15(4): 801-816, 2015] and [F. de la Hoz, Z. Hassainia, T. Hmidi, and J. Mateu, Anal. PDE, 9(7):1609-1670, 2016] on uniformly-rotating patches. Along the way, we close a question on overdetermined problems for the fractional Laplacian [R. Choksi, R. Neumayer, and I. Topaloglu, Arxiv preprint arXiv:1810.08304, 2018, Remark 1.4], which may be of independent interest. The main new ideas come from a calculus of variations point of view.


title: Constraining $\nu$-Process Production of Fluorine through Cosmic Ray Nucleosynthesis

abstract: Fluorine is massive enough that it is not considered to be a light ($Z\le5$) element, yet compared to its near neighbors, C, N, O, and Ne, it is far underproduced in the course of stellar evolution, making its origin more complex. In fact, the abundance of fluorine is the lowest among all elements between Z = 5 and 21 and is roughly 3-4 orders of magnitude below that of C, N, O, and Ne. There are several plausible sources for F beyond standard stellar evolution. These include the production in the asymptotic giant branch phase (AGB) in intermediate mass stars, production in Wolf-Rayet stars, and the production through neutrino spallation in supernovae. The latter, known as the $\nu$-process, is an important source for B11, and may contribute to the abundance of Li7 as well. We combine a simple model of Galactic chemical evolution with a standard Galactic cosmic ray nucleosynthesis model to treat self-consistently the evolution of the Li, Be, and B isotopes. We include massive star production of F, as well as contributions from AGB stars, and the $\nu$-process. Given the uncertainties in neutrino energies in supernovae, we normalize the $\nu$-process using the observed B11/B10 ratio as a constraint. As a consequence, we are able to determine the relative importance of each contribution to the F abundance. We find that although the $\nu$-process dominates at early times (low metallicity), the present-day F abundance is found to originate primarily from AGB stars.


title: Large-size expansion for triangular Wilson loops in confining gauge theories

abstract: The asymptotic behavior of Wilson loops in the large-size limit ($L\rightarrow\infty$) in confining gauge theories with area law is controlled by effective string theory (EST). The $L^{-2}$ term of the large-size expansion for the logarithm of Wilson loop appears within EST as a two-loop correction. Ultraviolet divergences of this two-loop correction for polygonal contours can be renormalized using an analytical regularization constructed in terms of Schwarz-Christoffel mapping. In the case of triangular Wilson loops this method leads to a simple final expression for the $L^{-2}$ term.