title: Software Effort Estimation Accuracy Prediction of Machine Learning Techniques: A Systematic Performance Evaluation

abstract: Software effort estimation accuracy is a key factor in effective planning, controlling and to deliver a successful software project within budget and schedule. The overestimation and underestimation both are the key challenges for future software development, henceforth there is a continuous need for accuracy in software effort estimation (SEE). The researchers and practitioners are striving to identify which machine learning estimation technique gives more accurate results based on evaluation measures, datasets and the other relevant attributes. The authors of related research are generally not aware of previously published results of machine learning effort estimation techniques. The main aim of this study is to assist the researchers to know which machine learning technique yields the promising effort estimation accuracy prediction in the software development. In this paper, the performance of the machine learning ensemble technique is investigated with the solo technique based on two most commonly used accuracy evaluation metrics. We used the systematic literature review methodology proposed by Kitchenham and Charters. This includes searching for the most relevant papers, applying quality assessment criteria, extracting data and drawing results. We have evaluated a state-of-the-art accuracy performance of 28 selected studies (14 ensemble, 14 solo) using Mean Magnitude of Relative Error (MMRE) and PRED (25) as a set of reliable accuracy metrics for performance evaluation of accuracy among two techniques to report the research questions stated in this study. We found that machine learning techniques are the most frequently implemented in the construction of ensemble effort estimation (EEE) techniques. The results of this study revealed that the EEE techniques usually yield a promising estimation accuracy than the solo techniques.


title: Dwarf galaxies in the MATLAS survey: Hubble Space Telescope observations of the globular cluster system in the ultra-diffuse galaxy MATLAS-2019

abstract: Ultra-diffuse galaxies (UDGs) are very low-surface brightness galaxies with large effective radii. Spectroscopic measurements of a few UDGs have revealed a low dark matter content, based on the internal motion of stars or globular clusters (GCs). This is in contrast to the large number of GCs found for these systems, from which it would be expected to correspond to a large dark matter halo mass. Here we present HST+ACS observations for the UDG MATLAS-2019 in the NGC5846 group. Using the F606W and F814W filters, we trace the GC population two magnitudes below the peak of the GC luminosity function (GCLF). Employing Bayesian considerations, we identify 26+-6 GCs associated with the dwarf, yielding a large specific frequency of S_N=58+-14. We use the turnover of the GCLF to derive a distance of 21+-2 Mpc, which is consistent with the NGC5846 group of galaxies. Due to the superior image quality of the HST, we are able to resolve the GCs and measure their sizes, which are consistent with the sizes of GCs around Local Group galaxies. Using the linear relation between the total mass of galaxies and of GCs, we derive a halo mass of 0.9(+-0.2) *10^11 M_solar (M_solar/L_solar>1000). The high abundance of GCs, together with the small uncertainties, make MATLAS-2019 one of the most extreme UDGs, which likely sets an upper limit of the number of GCs for UDGs.


title: On the transfer of optical orbital angular momentum to matter

abstract: The prevailing notion is that the orbital angular momentum (OAM) of an optical vortex can only be transferred to the internal degrees of freedom (i.e. electronic motion) of materials through electric quadrupole and higher-order multipole interactions. Here it is highlighted how this is an artefact of the paraxial approximation and that optical OAM can be transferred to electronic motion via dipole transitions under the correct experimental conditions where non-paraxial, longitudinal fields must be accounted for.


title: Kirby diagrams and 5-colored graphs representing compact 4-manifolds

abstract: It is well-known that in dimension 4 any framed link $(L,c)$ uniquely represents the PL 4-manifold $M^4(L,c)$ obtained from $\mathbb D^4$ by adding 2-handles along $(L,c)$. Moreover, if trivial dotted components are also allowed (i.e. in case of a Kirby diagram $(L^{(*)},d)$), the associated PL 4-manifold $M^4(L^{(*)},d)$ is obtained from $\mathbb D^4$ by adding 1-handles along the dotted components and 2-handles along the framed components. In this paper we study the relationships between framed links and/or Kirby diagrams and the representation theory of compact PL manifolds by edge-colored graphs: in particular, we describe how to construct algorithmically a (regular) 5-colored graph representing $M^4(L^{(*)},d)$, directly "drawn over" a planar diagram of $(L^{(*)},d)$, or equivalently how to algorithmically obtain a triangulation of $M^4(L^{(*)},d)$. As a consequence, the procedure yields triangulations for any closed (simply-connected) PL 4-manifold admitting handle decompositions without 3-handles. Furthermore, upper bounds for both the invariants gem-complexity and regular genus of $M^4(L^{(*)},d)$ are obtained, in terms of the combinatorial properties of the Kirby diagram.


title: How far are p-adic Lie groups from algebraic groups?

abstract: We show that, in a weakly regular $p$-adic Lie group $G$, the subgroup $G_u$ spanned by the one-parameter subgroups of $G$ admits a Levi decomposition. As a consequence, there exists a regular open subgroup of $G$ which contains $G_u$.


title: An extreme case of density scaling: The Weeks-Chandler-Andersen system at low temperatures

abstract: This paper studies numerically the Weeks-Chandler-Andersen (WCA) system, which is shown to obey hidden scale invariance with a density-scaling exponent that varies from below 5 to above 500. This unprecedented variation makes it advantageous to use the fourth-order Runge-Kutta algorithm for tracing out isomorphs. Good isomorph invariance of structure and dynamics is observed over more than three orders of magnitude temperature variation. For all state points studied, the virial potential-energy correlation coefficient and the density-scaling exponent are controlled mainly by the temperature. Based on the assumption of statistically independent pair interactions, a mean-field theory is developed that rationalizes this finding and provides an excellent fit to data at low temperatures and densities.


title: Discontinuous Galerkin methods for semilinear elliptic boundary value problem

abstract: A discontinuous Galerkin (DG) scheme for solving semilinear elliptic problem is developed and analyzed in this paper. The DG finite element discretizations are established, and the corresponding existence and uniqueness theorem is proved by using Brouwer's fixed point method. Some optimal priori error estimates under both DG norm and $L^2$ norm are presented. Numerical results are also shown to confirm the efficiency of the proposed approach.


title: Local homeostatic regulation of the spectral radius of echo-state networks

abstract: Recurrent cortical networks provide reservoirs of states that are thought to play a crucial role for sequential information processing in the brain. However, classical reservoir computing requires manual adjustments of global network parameters, particularly of the spectral radius of the recurrent synaptic weight matrix. It is hence not clear if the spectral radius is accessible to biological neural networks. Using random matrix theory, we show that the spectral radius is related to local properties of the neuronal dynamics whenever the overall dynamical state is only weakly correlated. This result allows us to introduce two local homeostatic synaptic scaling mechanisms, termed flow control and variance control, that implicitly drive the spectral radius towards the desired value under working conditions. We demonstrate the effectiveness of the two adaptation mechanisms under different external input protocols and the network performance after adaptation by training the network to perform a time-delayed XOR operation on binary sequences. As our main result, we found that flow control reliably regulates the spectral radius for different types of input statistics. Precise tuning is however negatively affected when interneural correlations are substantial. Furthermore, we found a consistent task performance over a wide range of input strengths/variances. Variance control did however not yield the desired spectral radii with the same precision, being less consistent across different input strengths. Given the effectiveness and remarkably simple mathematical form of flow control, we conclude that self-consistent local control of the spectral radius via an implicit adaptation scheme is an interesting and biological plausible alternative to conventional methods using setpoint homeostatic feedback controls of neural firing.


title: Global existence and uniform boundedness in a chemotaxis model with signal-dependent motility

abstract: Global existence is established for classical solutions to a chemotaxis model with signal-dependent motility for a general class of motility functions $\gamma$ which may in particular decay in an arbitrary way at infinity. Assuming further that $\gamma$ is non-increasing and decays sufficiently slowly at infinity, in the sense that $\gamma(s)\sim s^{-k}$ as $s\to\infty$ for some $k\in (0,N/(N-2)_+)$, it is also shown that global solutions are uniformly bounded with respect to time. The admissible decay of $\gamma$ at infinity here is higher than in previous works.


title: Evolutionary Multi-objective Architecture Search Framework: Application to COVID-19 3D CT Classification

abstract: The COVID-19 pandemic has threatened global health. Many studies have applied deep convolutional neural networks (CNN) to recognize COVID-19 based on chest 3D computed tomography (CT). Recent works show that no model generalizes well across CT datasets from different countries, and manually designing models for specific datasets requires expertise; thus, neural architecture search (NAS) that aims to search models automatically has become an attractive solution. To reduce the search cost on large 3D CT datasets, most NAS-based works use the weight-sharing (WS) strategy to make all models share weights within a supernet; however, WS inevitably incurs search instability, leading to inaccurate model estimation. In this work, we propose an efficient Evolutionary Multi-objective ARchitecture Search (EMARS) framework. We propose a new objective, namely potential, which can help exploit promising models to indirectly reduce the number of models involved in weights training, thus alleviating search instability. We demonstrate that under objectives of accuracy and potential, EMARS can balance exploitation and exploration, i.e., reducing search time and finding better models. Our searched models are small and perform better than prior works on three public COVID-19 3D CT datasets.


title: Necessary Optimality Conditions for Optimal Control Problems in Wasserstein Spaces

abstract: In this article, we derive first-order necessary optimality conditions for a constrained optimal control problem formulated in the Wasserstein space of probability measures. To this end, we introduce a new notion of localised metric subdifferential for compactly supported probability measures, and investigate the intrinsic linearised Cauchy problems associated to non-local continuity equations. In particular, we show that when the velocity perturbations belong to the tangent cone to the convexification of the set of admissible velocities, the solutions of these linearised problems are tangent to the solution set of the corresponding continuity inclusion. We then make use of these novel concepts to provide a synthetic and geometric proof of the celebrated Pontryagin Maximum Principle for an optimal control problem with inequality final-point constraints. In addition, we propose sufficient conditions ensuring the normality of the maximum principle.


title: PbMnTeO6: a chiral quasi 2D magnet with all cations in octahedral coordination and the space group problem of trigonal layered A2+Mn4+TeO6

abstract: Antiferromagnetic PbMnTeO6, also known as mineral kuranakhite, has been reported recently to have all three cations in trigonal prismatic coordination, which is extremely unusual for both Mn(4+) and Te(6+). In this work, the phase was reproduced with the same lattice parameters and N\'eel temperature TN = 20 K. However, powder neutron diffraction unambiguously determined octahedral (trigonal antiprismatic) coordination for all cations within the chiral space group P312. The same symmetry was proposed for SrMnTeO6 and PbGeTeO6, instead of the reported space groups P-62m and P31m, respectively. PbMnTeO6 was found to be a robust antiferromagnet with an assumingly substantial scale of exchange interactions since the Neel temperature did not show any changes in external magnetic fields up to 7 T. The determined effective magnetic moment meff = 3.78 mB was in excellent agreement with the numerical estimation using the effective g-factor g = 1.95 directly measured here by electron spin resonance (ESR). Both specific heat and ESR data indicated the two-dimensional character of magnetism in the compound under study. The combination of chirality with magnetic order makes PbMnTeO6 a promising material with possible multiferroic properties.


title: Ordinal Monte Carlo Tree Search

abstract: In many problem settings, most notably in game playing, an agent receives a possibly delayed reward for its actions. Often, those rewards are handcrafted and not naturally given. Even simple terminal-only rewards, like winning equals one and losing equals minus one, can not be seen as an unbiased statement, since these values are chosen arbitrarily, and the behavior of the learner may change with different encodings. It is hard to argue about good rewards and the performance of an agent often depends on the design of the reward signal. In particular, in domains where states by nature only have an ordinal ranking and where meaningful distance information between game state values is not available, a numerical reward signal is necessarily biased. In this paper we take a look at MCTS, a popular algorithm to solve MDPs, highlight a reoccurring problem concerning its use of rewards, and show that an ordinal treatment of the rewards overcomes this problem. Using the General Video Game Playing framework we show dominance of our newly proposed ordinal MCTS algorithm over other MCTS variants, based on a novel bandit algorithm that we also introduce and test versus UCB.


title: Joint Estimation of Location and Scatter in Complex Elliptical Distributions: A robust semiparametric and computationally efficient $R$-estimator of the shape matrix

abstract: The joint estimation of the location vector and the shape matrix of a set of independent and identically Complex Elliptically Symmetric (CES) distributed observations is investigated from both the theoretical and computational viewpoints. This joint estimation problem is framed in the original context of semiparametric models allowing us to handle the (generally unknown) density generator as an \textit{infinite-dimensional} nuisance parameter. In the first part of the paper, a computationally efficient and memory saving implementation of the robust and semiparmaetric efficient $R$-estimator for shape matrices is derived. Building upon this result, in the second part, a joint estimator, relying on the Tyler's $M$-estimator of location and on the $R$-estimator of shape matrix, is proposed and its Mean Squared Error (MSE) performance compared with the Semiparametric Cram\'{e}r-Rao Bound (CSCRB).


title: Field-induced electronic phase separation in the high-temperature superconductor La$_{1.94}$Sr$_{0.06}$CuO$_{4+y}$

abstract: We present a combined neutron diffraction and high field muon spin rotation ($\mu$SR) study of the magnetically ordered and superconducting phases of the high-temperature superconductor La$_{1.94}$Sr$_{0.06}$CuO$_{4+y}$ ($T_{\rm c} = 37.5(2)$~K) in a magnetic field applied perpendicular to the CuO$_2$ planes. We observe a linear field-dependence of the intensity of the neutron diffraction peak that reflects the modulated antiferromagnetic stripe order. The magnetic volume fraction extracted from $\mu$SR data likewise increases linearly with applied magnetic field. The combination of these two observations allows us to unambiguously conclude that stripe-ordered regions grow in an applied field, whereas the stripe-ordered magnetic moment itself is field-independent. This contrasts with earlier suggestions that the field-induced neutron diffraction intensity in La-based cuprates is due to an increase in the ordered moment. We discuss a microscopic picture that is capable of reconciling these conflicting viewpoints.


title: The Linkage between the Core Mass and the Magnetic Field of an Extrasolar Giant Planet from Future Radio Observations

abstract: Close-in gas giants are expected to have a strong magnetic field of $\sim 10-100$G. Magnetic fields in extrasolar giant planets are detectable by future radio observations in $\gtrsim 10$MHz and the spectropolarimetry of atomic lines. In contrast, the elusive interiors of exoplanets remain largely unknown. Here we consider the possibility of inferring the existence of the innermost cores of extrasolar giant planets through the detection of planetary magnetic fields. We simulated the long-term thermal evolution of close-in giant planets with masses of $0.2-10M_\mathrm{Jup}$ to estimate their magnetic field strengths. A young, massive gas giant tends to have a strong magnetic field. The magnetic field strength of a hot Jupiter is insensitive to its core mass, whereas the core strongly affects the emergence of a planetary dynamo in a hot Saturn. No dynamo-driven magnetic field is generated in a hot Saturn with no core or a small one until $\sim 10-100$Myr if metallization of hydrogen occurs at $\gtrsim 1-1.5$Mbar. The magnetic field strength of an evolved gas giant after $\sim 100\mathrm{Myr}$ is almost independent of the stellar incident flux. Detecting the magnetic field of a young, hot Saturn as a good indicator of its core may be challenging because of the weakness of radio signals and the shielding effect of plasma in the Earth's ionosphere. Hot Jupiters with $\gtrsim 0.4M_\mathrm{Jup}$ can be promising candidates for future ground-based radio observations.


title: Leveraging 3D Information in Unsupervised Brain MRI Segmentation

abstract: Automatic segmentation of brain abnormalities is challenging, as they vary considerably from one pathology to another. Current methods are supervised and require numerous annotated images for each pathology, a strenuous task. To tackle anatomical variability, Unsupervised Anomaly Detection (UAD) methods are proposed, detecting anomalies as outliers of a healthy model learned using a Variational Autoencoder (VAE). Previous work on UAD adopted a 2D approach, meaning that MRIs are processed as a collection of independent slices. Yet, it does not fully exploit the spatial information contained in MRI. Here, we propose to perform UAD in a 3D fashion and compare 2D and 3D VAEs. As a side contribution, we present a new loss function guarantying a robust training. Learning is performed using a multicentric dataset of healthy brain MRIs, and segmentation performances are estimated on White-Matter Hyperintensities and tumors lesions. Experiments demonstrate the interest of 3D methods which outperform their 2D counterparts.


title: Discrete Adaptive Control Allocation

abstract: The main purpose of a control allocator is to distribute a total control effort among redundant actuators. This paper proposes a discrete adaptive control allocator for over-actuated sampled-data systems in the presence of actuator uncertainty. The proposed method does not require uncertainty estimation or persistency of excitation. Furthermore, the presented algorithm employs a closed loop reference model, which provides fast convergence without introducing excessive oscillations. To generate the total control signal, an LQR controller with reference tracking is used to guarantee the outer loop asymptotic stability. The discretized version of the Aerodata Model in Research Environment (ADMIRE) is used as an over-actuated system, to demonstrate the efficacy of the proposed method.


title: Simplified Design of Optical Elements for Filled-Aperture Coherent Beam Combination

abstract: A simplification strategy for Segmented Mirror Splitters (SMS) used as beam combiners is presented. These devices are useful for compact beam division and combination of linear and 2-D arrays. However, the standard design requires unique thin-film coating sections for each input beam and thus potential for scaling to high beam-counts is limited due to manufacturing complexity. Taking advantage of the relative insensitivity of the beam combination process to amplitude variations, numerical techniques are used to optimize highly-simplified designs with only one, two or three unique coatings. It is demonstrated that with correctly chosen coating reflectivities, the simplified optics are capable of high combination efficiency for several tens of beams. The performance of these optics as beamsplitters in multicore fiber amplifier systems is analyzed, and inhomogeneous power distribution of the simplified designs is noted as a potential source of combining loss in such systems. These simplified designs may facilitate further scaling of filled-aperture coherently combined systems.


title: Channel Matching: An Adaptive Technique to Increase the Accuracy of Soft Decisions

abstract: Nonlinear interference is modeled by a time-varying conditionally Gaussian channel. It is shown that approximating this channel with a time-invariant channel imposes considerable loss in the performance of channel decoding. An adaptive method to maintain decoding performance is described.


title: A Concise Introduction to Control Theory for Stochastic Partial Differential Equations

abstract: The aim of this notes is to give a concise introduction to control theory for systems governed by stochastic partial differential equations. We shall mainly focus on controllability and optimal control problems for these systems. For the first one, we present results for the exact controllability of stochastic transport equations, null and approximate controllability of stochastic parabolic equations and lack of exact controllability of stochastic hyperbolic equations. For the second one, we first introduce the stochastic linear quadratic optimal control problems and then the Pontryagin type maximum principle for general optimal control problems. It deserves mentioning that, in order to solve some difficult problems in this field, one has to develop new tools, say, the stochastic transposition method introduced in our previous works.


title: Robustness of the international oil trade network under targeted attacks to economies

abstract: In the international oil trade network (iOTN), trade shocks triggered by extreme events may spread over the entire network along the trade links of the central economies and even lead to the collapse of the whole system. In this study, we focus on the concept of "too central to fail" and use traditional centrality indicators as strategic indicators for simulating attacks on economic nodes, and simulates various situations in which the structure and function of the global oil trade network are lost when the economies suffer extreme trade shocks. The simulation results show that the global oil trade system has become more vulnerable in recent years. The regional aggregation of oil trade is an essential source of iOTN's vulnerability. Maintaining global oil trade stability and security requires a focus on economies with greater influence within the network module of the iOTN. International organizations such as OPEC and OECD established more trade links around the world, but their influence on the iOTN is declining. We improve the framework of oil security and trade risk assessment based on the topological index of iOTN, and provide a reference for finding methods to maintain network robustness and trade stability.


title: Physical parameters of close binary systems: VIII

abstract: This paper presents the results of a combined spectroscopic and photometric study of 20 contact binary systems: HV Aqr, OO Aql, FI Boo, TX Cnc, OT Cnc, EE Cet, RWCom, KR Com, V401 Cyg, V345 Gem, AK Her, V502 Oph, V566 Oph, V2612 Oph, V1363 Ori, V351 Peg, V357 Peg, Y Sex, V1123 Tau and W UMa, which was conducted in the frame of the W UMa Project. Together with 51 already covered by the project and an additional 67 in the existing literature, these systems bring the total number of contact binaries with known combined spectroscopic and photometric solutions to 138. It was found that mass, radius and luminosity of the components follow certain relations along the MS and new empirical power relations are extracted.We found that 30 per cent of the systems in the current sample show extreme values in their parameters, expressed in their mass ratio or fill-out factor. This study shows that, among the contact binary systems studied, some have an extremely low mass ratio (q < 0.1) or an ultra-short orbital period (Porb < 0.25 d), which are expected to show evidence of mass transfer progress. The evolutionary status of these components is discussed with the aid of correlation diagrams and their physical and orbital parameters compared to those in the entire sample of known contact binaries. The existence of very short orbital periods confirms the very slow nature of the merging process, which seems to explain why their components still exist as MS stars in contact confgurations even after several Gyr of evolution.


title: What's in Score for Website Users: A Data-driven Long-term Study on Risk-based Authentication Characteristics

abstract: Risk-based authentication (RBA) aims to strengthen password-based authentication rather than replacing it. RBA does this by monitoring and recording additional features during the login process. If feature values at login time differ significantly from those observed before, RBA requests an additional proof of identification. Although RBA is recommended in the NIST digital identity guidelines, it has so far been used almost exclusively by major online services. This is partly due to a lack of open knowledge and implementations that would allow any service provider to roll out RBA protection to its users. To close this gap, we provide a first in-depth analysis of RBA characteristics in a practical deployment. We observed N=780 users with 247 unique features on a real-world online service for over 1.8 years. Based on our collected data set, we provide (i) a behavior analysis of two RBA implementations that were apparently used by major online services in the wild, (ii) a benchmark of the features to extract a subset that is most suitable for RBA use, (iii) a new feature that has not been used in RBA before, and (iv) factors which have a significant effect on RBA performance. Our results show that RBA needs to be carefully tailored to each online service, as even small configuration adjustments can greatly impact RBA's security and usability properties. We provide insights on the selection of features, their weightings, and the risk classification in order to benefit from RBA after a minimum number of login attempts.


title: Revisiting non-Gaussianity in non-attractor inflation models in the light of the cosmological soft theorem

abstract: We revisit the squeezed-limit non-Gaussianity in the single-field non-attractor inflation models from the viewpoint of the cosmological soft theorem. In the single-field attractor models, inflaton's trajectories with different initial conditions effectively converge into a single trajectory in the phase space, and hence there is only one \emph{clock} degree of freedom (DoF) in the scalar part. Its long-wavelength perturbations can be absorbed into the local coordinate renormalization and lead to the so-called \emph{consistency relation} between $n$- and $(n+1)$-point functions. On the other hand, if the inflaton dynamics deviates from the attractor behavior, its long-wavelength perturbations cannot necessarily be absorbed and the consistency relation is expected not to hold any longer. In this work, we derive a formula for the squeezed bispectrum including the explicit correction to the consistency relation, as a proof of its violation in the non-attractor cases. First one must recall that non-attractor inflation needs to be followed by attractor inflation in a realistic case. Then, even if a specific non-attractor phase is effectively governed by a single DoF of phase space (represented by the exact ultra-slow-roll limit) and followed by a single-DoF attractor phase, its transition phase necessarily involves two DoF in dynamics and hence its long-wavelength perturbations cannot be absorbed into the local coordinate renormalization. Thus, it can affect local physics, even taking account of the so-called \emph{local observer effect}, as shown by the fact that the bispectrum in the squeezed limit can go beyond the consistency relation. More concretely, the observed squeezed bispectrum does not vanish in general for long-wavelength perturbations exiting the horizon during a non-attractor phase.


title: Probing non-standard $b\bar{b}h$ interaction at the LHC at $\sqrt{s}=13$ TeV

abstract: In the detailed probe of Higgs boson properties at the Large Hadron Collider, and in looking for new physics signatures in the electroweak symmetry breaking sector, the bottom quark Yukawa coupling has a crucial role. We investigate possible departure from the standard model value of $b\bar{b}h$ coupling, phenomenologically expressed in terms of a modification factor $\alpha_b$, in $b\bar{b}$-associated production of the $125$-GeV scalar at the high-luminosity LHC. In a next-to-leading order estimate, we make use of a gradient boosting algorithm to improve in statistical significance upon a cut-based analysis. It is found possible to probe down to $\alpha_b = 3$ with more than $5~\sigma$ significance, with ${\cal L} = 3000$ fb$^{-1}$ and $\sqrt{s}$ = 13 TeV, while the achievable limit at $95\%$ C.L. is $\pm 1.95$.


title: Weak$^*$ derived sets of convex sets in duals of non-reflexive spaces

abstract: We investigate weak$^*$ derived sets, that is the sets of weak$^*$ limits of bounded nets, of convex subsets of duals of non-reflexive Banach spaces and their possible iterations. We prove that a dual space of any non-reflexive Banach space contains convex subsets of any finite order and a convex subset of order $\omega + 1$.


title: Subgame-perfect Equilibria in Mean-payoff Games

abstract: In this paper, we provide an effective characterization of all the subgame-perfect equilibria in infinite duration games played on finite graphs with mean-payoff objectives. To this end, we introduce the notion of requirement, and the notion of negotiation function. We establish that the plays that are supported by SPEs are exactly those that are consistent with the least fixed point of the negotiation function. Finally, we show that the negotiation function is piecewise linear, and can be analyzed using the linear algebraic tool box. As a corollary, we prove the decidability of the SPE constrained existence problem, whose status was left open in the literature.


title: Maclaurin's series expansions for positive integer powers of inverse (hyperbolic) sine and related functions, specific values of partial Bell polynomials, and two applications

abstract: In the paper, the authors establish Maclaurin's series expansions and series identities for positive integer powers of the inverse sine function, for positive integer powers of the inverse hyperbolic sine function, for the composite of incomplete gamma functions with the inverse hyperbolic sine function, for positive integer powers of the inverse tangent function, and for positive integer powers of the inverse hyperbolic tangent function, in terms of the first kind Stirling numbers and binomial coefficients, apply the newly established Maclaurin's series expansion for positive integer powers of the inverse sine function to derive a closed-form formula for specific values of partial Bell polynomials and to derive a series representation of the generalized logsine function, and deduce several combinatorial identities involving the first kind Stirling numbers. Some of these results simplify and unify some known ones. All of these newly established Maclaurin's series expansions of positive integer powers of the inverse (hyperbolic) sine and tangent functions can be used to derive infinite series representations of the circular constant Pi and of positive integer powers of Pi.


title: Nuclear matter distributions in the neutron-rich carbon isotopes $^{14-17}$C from intermediate-energy proton elastic scattering in inverse kinematics

abstract: The absolute differential cross sections for small-angle proton elastic scattering off the nuclei $^{12,14-17}$C have been measured in inverse kinematics at energies near 700 MeV/u at GSI Darmstadt. The hydrogen-filled ionization chamber IKAR served simultaneously as a gas target and a detector for the recoil protons. The projectile scattering angles were measured with multi-wire tracking detectors. The radial nuclear matter density distributions and the root-mean-square nuclear matter radii were deduced from the measured cross sections using the Glauber multiple-scattering theory. A possible neutron halo structure in $^{15}$C, $^{16}$C and $^{17}$C is discussed. The obtained data show evidence for a halo structure in the $^{15}$C nucleus.


title: Signatures of the spatial extent of plastic events in the yielding transition in amorphous solids

abstract: Amorphous solids are yield stress materials that flow when a sufficient load is applied. Their flow consists of periods of elastic loading interrupted by rapid stress drops, or avalanches, coming from microscopic rearrangements known as shear transformations (STs). Here we show that the spatial extent of avalanches in a steadily sheared amorphous solid has a profound effect on the distribution of local residual stresses $x$. We find that in this distribution, the most unstable sites are located in a system size dependent plateau. While the entrance into the plateau is set by the lower cutoff of the mechanical noise produced by individual STs, the departure from the usually assumed power-law (pseudogap) form $P(x) \sim x^{\theta}$ comes from far field effects related to spatially extended rearrangements. Interestingly, we observe that the average value of weakest sites $\langle x_{min} \rangle$ is located in an intermediate power law regime between the pseudogap and the plateau regimes, whose exponent decreases with system size. Our findings imply a new scaling relation linking the exponents characterizing the avalanche size and residual stress distributions.


title: A Distributed Implementation of Steady-State Kalman Filter

abstract: This paper studies the distributed state estimation in sensor network, where $m$ sensors are deployed to infer the $n$-dimensional state of a linear time-invariant (LTI) Gaussian system. By a lossless decomposition of optimal steady-state Kalman filter, we show that the problem of distributed estimation can be reformulated as synchronization of homogeneous linear systems. Based on such decomposition, a distributed estimator is proposed, where each sensor node runs a local filter using only its own measurement and fuses the local estimate of each node with a consensus algorithm. We show that the average of the estimate from all sensors coincides with the optimal Kalman estimate. Numerical examples are provided in the end to illustrate the performance of the proposed scheme.


title: Conditional Action and imperfect Erasure of Qubits

abstract: We consider state changes in quantum theory due to "conditional action" and relate these to the discussion of entropy decrease due to interventions of "intelligent beings" and the principles of Szilard and Landauer/Bennett. The mathematical theory of conditional actions is a special case of the theory of "instruments" which describes changes of state due to general measurements and will therefore be briefly outlined in the present paper. As a detailed example we consider the imperfect erasure of a qubit that can also be viewed as a conditional action and will be realized by the coupling of a spin to another small spin system in its ground state.


title: Aalto-1, multi-payload CubeSat: design, integration and launch

abstract: The design, integration, testing, and launch of the first Finnish satellite Aalto-1 is briefly presented in this paper. Aalto-1, a three-unit CubeSat, launched into Sun-synchronous polar orbit at an altitude of approximately 500 km, is operational since June 2017. It carries three experimental payloads: Aalto Spectral Imager (AaSI), Radiation Monitor (RADMON), and Electrostatic Plasma Brake (EPB). AaSI is a hyperspectral imager in visible and near-infrared (NIR) wavelength bands, RADMON is an energetic particle detector and EPB is a de-orbiting technology demonstration payload. The platform was designed to accommodate multiple payloads while ensuring sufficient data, power, radio, mechanical and electrical interfaces. The design strategy of platform and payload subsystems consists of in-house development and commercial subsystems. The CubeSat Assembly, Integration & Test (AIT) followed Flatsat -- Engineering-Qualification Model (EQM) -- Flight Model (FM) model philosophy for qualification and acceptance. The paper briefly describes the design approach of platform and payload subsystems, their integration and test campaigns, and spacecraft launch. The paper also describes the ground segment & services that were developed by the Aalto-1 team.


title: Tensor denoising with trend filtering

abstract: We extend the notion of trend filtering to tensors by considering the $k^{\rm th}$-order Vitali variation, a discretized version of the integral of the absolute value of the $k^{\rm th}$-order total derivative. We prove adaptive $\ell^0$-rates and not-so-slow $\ell^1$-rates for tensor denoising with trend filtering. For $k=\{1,2,3,4\}$ we prove that the $d$-dimensional margin of a $d$-dimensional tensor can be estimated at the $\ell^0$-rate $n^{-1}$, up to logarithmic terms, if the underlying tensor is a product of $(k-1)^{\rm th}$-order polynomials on a constant number of hyperrectangles. For general $k$ we prove the $\ell^1$-rate of estimation $n^{- \frac{H(d)+2k-1}{2H(d)+2k-1}}$, up to logarithmic terms, where $H(d)$ is the $d^{\rm th}$ harmonic number. Thanks to an ANOVA-type of decomposition we can apply these results to the lower dimensional margins of the tensor to prove bounds for denoising the whole tensor. Our tools are interpolating tensors to bound the effective sparsity for $\ell^0$-rates, mesh grids for $\ell^1$-rates and, in the background, the projection arguments by Dalalyan et al.


title: Screening the Higgs portal

abstract: Light scalar fields that couple to matter through the Higgs portal mediate long range fifth forces. We show how the mixing of a light scalar with the Higgs field can lead to this fifth force being screened around macroscopic objects. This behaviour can only be seen by considering both scalar fields as dynamical, and is missed if the mixing between the Higgs field and the scalar field is not taken into account. We explain under which conditions the naive "integrating out" procedure fails, i.e. when the mass matrix of the Higgs-scalars system has a nearly vanishing mass eigenvalue. The resulting flat direction in field space can be lifted at the quadratic order in the presence of matter and the resulting fifth force mediated by the Higgs portal can be screened either when the gravitating objects are large enough or their surface Newton potential exceeds a threshold. Finally we discuss the implications of these results for nearly massless relaxion models.


title: Analytical Bounds for Dynamic Multi-Channel Discrimination

abstract: The ability to precisely discriminate multiple quantum channels is fundamental to achieving quantum enhancements in data-readout, target detection, pattern recognition, and more. Optimal discrimination protocols often rely on entanglement shared between an incident probe and a protected idler-mode. While these protocols can be highly advantageous over classical ones, the storage of idler-modes is extremely challenging in practice. In this work, we investigate idler-free block protocols based on the use of multipartite entangled probe states. In particular, we focus on a class of idler-free protocol which uses non-disjoint distributions of multipartite probe states irradiated over multi-channels, known as dynamic discrimination protocols. We derive new, analytical bounds for the average error probability of such protocols in a bosonic Gaussian channel setting, revealing idler-free strategies that display performance close to idler-assistance for powerful, near-term quantum sensing applications.


title: The Langevin Monte Carlo algorithm in the non-smooth log-concave case

abstract: We prove non asymptotic polynomial bounds on the convergence of the Langevin Monte Carlo algorithm in the case where the potential is a convex function which is globally Lipschitz on its domain, typically the maximum of a finite number of affine functions on an arbitrary convex set. In particular the potential is not assumed to be gradient Lipschitz, in contrast with most existing works on the topic.


title: AINet: Association Implantation for Superpixel Segmentation

abstract: Recently, some approaches are proposed to harness deep convolutional networks to facilitate superpixel segmentation. The common practice is to first evenly divide the image into a pre-defined number of grids and then learn to associate each pixel with its surrounding grids. However, simply applying a series of convolution operations with limited receptive fields can only implicitly perceive the relations between the pixel and its surrounding grids. Consequently, existing methods often fail to provide an effective context when inferring the association map. To remedy this issue, we propose a novel \textbf{A}ssociation \textbf{I}mplantation (AI) module to enable the network to explicitly capture the relations between the pixel and its surrounding grids. The proposed AI module directly implants the features of grid cells to the surrounding of its corresponding central pixel, and conducts convolution on the padded window to adaptively transfer knowledge between them. With such an implantation operation, the network could explicitly harvest the pixel-grid level context, which is more in line with the target of superpixel segmentation comparing to the pixel-wise relation. Furthermore, to pursue better boundary precision, we design a boundary-perceiving loss to help the network discriminate the pixels around boundaries in hidden feature level, which could benefit the subsequent inferring modules to accurately identify more boundary pixels. Extensive experiments on BSDS500 and NYUv2 datasets show that our method could not only achieve state-of-the-art performance but maintain satisfactory inference efficiency.


title: Towards a Staging Environment for the Internet of Things

abstract: Internet of Things (IoT) applications promise to make many aspects of our lives more efficient and adaptive through the use of distributed sensing and computing nodes. A central aspect of such applications is their complex communication behavior that is heavily influenced by the physical environment of the system. To continuously improve IoT applications, a staging environment is needed that can provide operating conditions representative of deployments in the actual production environments -- similar to what is common practice in cloud application development today. Towards such a staging environment, we present Marvis, a framework that orchestrates hybrid testbeds, co-simulated domain environments, and a central network simulation for testing distributed IoT applications. Our preliminary results include an open source prototype and a demonstration of a Vehicle-to-everything (V2X) communication scenario.


title: A fast algorithm for complex discord searches in time series: HOT SAX Time

abstract: Time series analysis is quickly proceeding towards long and complex tasks. In recent years, fast approximate algorithms for discord search have been proposed in order to compensate for the increasing size of the time series. It is more interesting, however, to find quick exact solutions. In this research, we improved HOT SAX by exploiting two main ideas: the warm-up process, and the similarity between sequences close in time. The resulting algorithm, called HOT SAX Time (HST), has been validated with real and synthetic time series, and successfully compared with HOT SAX, RRA, SCAMP, and DADD. The complexity of a discord search has been evaluated with a new indicator, the cost per sequence (cps), which allows one to compare searches on time series of different lengths. Numerical evidence suggests that two conditions are involved in determining the complexity of a discord search in a non-trivial way: the length of the discords, and the noise/signal ratio. In the case of complex searches, HST can be more than 100 times faster than HOT SAX, thus being at the forefront of the exact discord search.


title: Measuring Decentralization in Bitcoin and Ethereum using Multiple Metrics and Granularities

abstract: Decentralization has been widely acknowledged as a core virtue of blockchains. However, in the past, there have been few measurement studies on measuring and comparing the actual level of decentralization between existing blockchains using multiple metrics and granularities. This paper presents a new comparison study of the degree of decentralization in Bitcoin and Ethereum, the two most prominent blockchains, with various decentralization metrics and different granularities within the time dimension. Specifically, we measure the degree of decentralization in the two blockchains during 2019 by computing the distribution of mining power with three metrics (Gini coefficient, Shannon entropy, and Nakamoto coefficient) as well as three granularities (days, weeks, and months). Our measurement results with different metrics and granularities reveal the same trend that, compared with each other, the degree of decentralization in Bitcoin is higher, while the degree of decentralization in Ethereum is more stable. To obtain the cross-interval information missed in the fixed window based measurements, we propose the sliding window based measurement approach. The corresponding results demonstrate that the use of sliding windows could reveal additional cross-interval information overlooked by the fixed window based measurements, thus enhancing the effectiveness of measuring decentralization in terms of continuous trends and abnormal situations. We believe that the methodologies and findings in this paper can facilitate future studies of decentralization in blockchains.


title: Semiclassical Lindblad master equation for spin dynamics

abstract: We derive the semi-classical Lindblad master equation in phase space for both canonical and non-canonical Poisson brackets using the Wigner-Moyal formalism and the Moyal star-product. The semi-classical limit for canonical dynamical variables, i.e., canonical Poisson brackets, is the Fokker-Planck equation, as derived before. We generalize this limit and show that it holds also for non-canonical Poisson brackets. Examples are gyro-Poisson brackets, which occur in spin ensembles, systems of recent interest in atomic physics and quantum optics. We show that the equations of motion for the collective spin variables are given by the Bloch equations of nuclear magnetization with relaxation. The Bloch and relaxation vectors are expressed in terms of the microscopic operators: The Hamiltonian and the Lindblad functions in the Wigner-Moyal formalism.


title: Trace operators on bounded subanalytic manifolds

abstract: We prove that if $M\subset \mathbb{R}^n$ is a bounded subanalytic submanifold of $\mathbb{R}^n$ such that $B(x_0,\epsilon)\cap M$ is connected for every $x_0\in\overline{M}$ and $\epsilon>0$ small, then, for $p\in [1,\infty)$ sufficiently large, the space $C^\infty(\overline{M})$ is dense in the Sobolev space $W^{1,p}(M)$. We also show that for $p$ large, if $A\subset \overline{M}\setminus M$ is subanalytic then the restriction mapping $ C^\infty(\overline{M})\ni u\mapsto u_{|A}\in L^p(A)$ is continuous (if $A$ is endowed with the Hausdorff measure), which makes it possible to define a trace operator, and then prove that compactly supported functions are dense in the kernel of this operator. We finally generalize these results to the case where our assumption of connectedness at singular points of $\overline{M}$ is dropped.


title: Search for Double-Beta Decay of $\mathrm{^{130}Te}$ to the $0^+$ States of $\mathrm{^{130}Xe}$ with CUORE

abstract: The CUORE experiment is a large bolometric array searching for the lepton number violating neutrino-less double beta decay ($0\nu\beta\beta$) in the isotope $\mathrm{^{130}Te}$. In this work we present the latest results on two searches for the double beta decay (DBD) of $\mathrm{^{130}Te}$ to the first $0^{+}_2$ excited state of $\mathrm{^{130}Xe}$: the $0\nu\beta\beta$ decay and the Standard Model-allowed two-neutrinos double beta decay ($2\nu\beta\beta$). Both searches are based on a 372.5 kg$\times$yr TeO$_2$ exposure. The de-excitation gamma rays emitted by the excited Xe nucleus in the final state yield a unique signature, which can be searched for with low background by studying coincident events in two or more bolometers. The closely packed arrangement of the CUORE crystals constitutes a significant advantage in this regard. The median limit setting sensitivities at 90\% Credible Interval (C.I.) of the given searches were estimated as $\mathrm{S^{0\nu}_{1/2} = 5.6 \times 10^{24} \: \mathrm{yr}}$ for the ${0\nu\beta\beta}$ decay and $\mathrm{S^{2\nu}_{1/2} = 2.1 \times 10^{24} \: \mathrm{yr}}$ for the ${2\nu\beta\beta}$ decay. No significant evidence for either of the decay modes was observed and a Bayesian lower bound at $90\%$ C.I. on the decay half lives is obtained as: $\mathrm{(T_{1/2})^{0\nu}_{0^+_2} > 5.9 \times 10^{24} \: \mathrm{yr}}$ for the $0\nu\beta\beta$ mode and $\mathrm{(T_{1/2})^{2\nu}_{0^+_2} > 1.3 \times 10^{24} \: \mathrm{yr}}$ for the $2\nu\beta\beta$ mode. These represent the most stringent limits on the DBD of $^{130}$Te to excited states and improve by a factor $\sim5$ the previous results on this process.


title: Privacy-preserving Channel Estimation in Cell-free Hybrid Massive MIMO Systems

abstract: We consider a cell-free hybrid massive multiple-input multiple-output (MIMO) system with $K$ users and $M$ access points (APs), each with $N_a$ antennas and $N_r< N_a$ radio frequency (RF) chains. When $K\ll M{N_a}$, efficient uplink channel estimation and data detection with reduced number of pilots can be performed based on low-rank matrix completion. However, such a scheme requires the central processing unit (CPU) to collect received signals from all APs, which may enable the CPU to infer the private information of user locations. We therefore develop and analyze privacy-preserving channel estimation schemes under the framework of differential privacy (DP). As the key ingredient of the channel estimator, two joint differentially private noisy matrix completion algorithms based respectively on Frank-Wolfe iteration and singular value decomposition are presented. We provide an analysis on the tradeoff between the privacy and the channel estimation error. In particular, we show that the estimation error can be mitigated while maintaining the same privacy level by increasing the payload size with fixed pilot size; and the scaling laws of both the privacy-induced and privacy-independent error components in terms of payload size are characterized. Simulation results are provided to further demonstrate the tradeoff between privacy and channel estimation performance.


title: The evolution of network controllability in growing networks

abstract: The study of network structural controllability focuses on the minimum number of driver nodes needed to control a whole network. Despite intensive studies on this topic, most of them consider static networks only. It is well-known, however, that real networks are growing, with new nodes and links added to the system. Here, we analyze controllability of evolving networks and propose a general rule for the change of driver nodes. We further apply the rule to solve the problem of network augmentation subject to the controllability constraint. The findings fill a gap in our understanding of network controllability and shed light on controllability of real systems.


title: Asphericity and B\"okstedt-Neeman Theorem

abstract: We prove that a topological space is aspherical if and only if it satisfies B\"{o}kstedt-Neeman Theorem, i.e., the derived category of complexes of locally constant sheaves is equivalent to the derived category of complexes of sheaves with locally constant cohomology.


title: The Pixels and Sounds of Emotion: General-Purpose Representations of Arousal in Games

abstract: What if emotion could be captured in a general and subject-agnostic fashion? Is it possible, for instance, to design general-purpose representations that detect affect solely from the pixels and audio of a human-computer interaction video? In this paper we address the above questions by evaluating the capacity of deep learned representations to predict affect by relying only on audiovisual information of videos. We assume that the pixels and audio of an interactive session embed the necessary information required to detect affect. We test our hypothesis in the domain of digital games and evaluate the degree to which deep classifiers and deep preference learning algorithms can learn to predict the arousal of players based only on the video footage of their gameplay. Our results from four dissimilar games suggest that general-purpose representations can be built across games as the arousal models obtain average accuracies as high as 85% using the challenging leave-one-video-out cross-validation scheme. The dissimilar audiovisual characteristics of the tested games showcase the strengths and limitations of the proposed method.


title: Enhancing Application Performance by Memory Partitioning in Android Platforms

abstract: This paper suggests a new memory partitioning scheme that can enhance process lifecycle, while avoiding Low Memory Killer and Out-of-Memory Killer operations on mobile devices. Our proposed scheme offers the complete concept of virtual memory nodes in operating systems of Android devices.


title: Few-Shot Semantic Parsing for New Predicates

abstract: In this work, we investigate the problems of semantic parsing in a few-shot learning setting. In this setting, we are provided with utterance-logical form pairs per new predicate. The state-of-the-art neural semantic parsers achieve less than 25% accuracy on benchmark datasets when k= 1. To tackle this problem, we proposed to i) apply a designated meta-learning method to train the model; ii) regularize attention scores with alignment statistics; iii) apply a smoothing technique in pre-training. As a result, our method consistently outperforms all the baselines in both one and two-shot settings.


title: Symmetries, Spinning Particles and the TCFH of D=4,5 Minimal Supergravities

abstract: We find that spinning particles with suitable couplings propagating in certain supersymmetric backgrounds of $D=4$, $N=2$ and $D=5$, $N=1$ minimal supergravities are invariant under symmetries generated by the twisted covariant form hierarchies of these theories. We also compare our results with the symmetries of spinning particles generated by Killing-Yano forms which are responsible for the separability properties of some gravitational backgrounds.


title: Visual explanation of black-box model: Similarity Difference and Uniqueness (SIDU) method

abstract: Explainable Artificial Intelligence (XAI) has in recent years become a well-suited framework to generate human understandable explanations of "black-box" models. In this paper, a novel XAI visual explanation algorithm known as the Similarity Difference and Uniqueness (SIDU) method that can effectively localize entire object regions responsible for prediction is presented in full detail. The SIDU algorithm robustness and effectiveness is analyzed through various computational and human subject experiments. In particular, the SIDU algorithm is assessed using three different types of evaluations (Application, Human and Functionally-Grounded) to demonstrate its superior performance. The robustness of SIDU is further studied in the presence of adversarial attack on "black-box" models to better understand its performance. Our code is available at: https://github.com/satyamahesh84/SIDU_XAI_CODE.


title: ALMA reveals a cloud-cloud collision that triggers star formation in N66N of the Small Magellanic Cloud

abstract: We present the results of Atacama Large Millimeter/submillimeter Array (ALMA) observation in $^{12}$CO(1-0) emission at 0.58 $\times$ 0.52 pc$^2$ resolution toward the brightest HII region N66 of the Small Magellanic Cloud (SMC). The $^{12}$CO(1-0) emission toward the north of N66 reveals the clumpy filaments with multiple velocity components. Our analysis shows that a blueshifted filament at a velocity range 154.4-158.6 km s$^{-1}$ interacts with a redshifted filament at a velocity 158.0-161.8 km s$^{-1}$. A third velocity component in a velocity range 161-165.0 km s$^{-1}$ constitutes hub-filaments. An intermediate-mass young stellar object (YSO) and a young pre-main sequence star cluster have hitherto been reported in the intersection of these filaments. We find a V-shape distribution in the position-velocity diagram at the intersection of two filaments. This indicates the physical association of those filaments due to a cloud-cloud collision. We determine the collision timescale $\sim$ 0.2 Myr using the relative velocity ($\sim$ 5.1 km s$^{-1}$) and displacement ($\sim$ 1.1 pc) of those interacting filaments. These results suggest that the event occurred at about 0.2 Myr ago and triggered the star formation, possibly an intermediate-mass YSO. We report the first observational evidence for a cloud-cloud collision that triggers star formation in N66N of the low metallicity $\sim$0.2 Z$_{\odot}$ galaxy, the SMC, with similar kinematics as in N159W-South and N159E of the Large Magellanic Cloud.


title: Coloured Scalars Mediated Rare Charm Meson Decays to Invisible Fermions

abstract: We consider effects of coloured scalar mediators in decays $c\to u \, {\it invisibles}$. In particular, in these processes, as invisibles, we consider massive right-handed fermions. The coloured scalar $\bar S_1\equiv (\bar 3, 1, -2/3)$, due to its coupling to weak singlets up-quarks and invisible right-handed fermions ($\chi$), is particularly interesting. Then, we consider $\tilde R_2 \equiv (\bar 3, 2, 1/6)$, which as a weak doublet is a subject of severe low-energy constraints. The $\chi$ mass is considered in the range $(m_K - m_\pi)/2\leq m_\chi \leq (m_D - m_\pi)/2$. We determine branching ratios for $D\to \chi \bar \chi$, $D\to \chi \bar \chi \gamma$ and $D\to \pi \chi \chi$ for several $\chi$ masses, using most constraining bounds. For $\bar S_1$, the most constraining is $D^0 -\bar D^0$ mixing, while in the case of $\tilde R_2$ the strongest constraint comes from $B\to K {\it missing\, energy}$ . We find in decays mediated by $\bar S_1$ that branching ratios can be $\mathcal B(D\to \chi \bar \chi)< 10^{-8}$ for $m_\chi=0.8$ GeV, $\mathcal B(D\to \chi \bar \chi \gamma) \sim 10^{-8}$ for $m_\chi=0.18$ GeV, while $\mathcal B(D^+ \to \pi^+ \chi \bar \chi )$ can reach $ \sim 10^{-8}$ for $m_\chi=0.18$ GeV. In the case of $\tilde R_2$ these decay rates are very suppressed. We find that future tau-charm factories and Belle II experiments offer good opportunities to search for such processes. Both $\bar S_1$ and $\tilde R_2$ might have masses within LHC reach.


title: Exploring Transitivity in Neural NLI Models through Veridicality

abstract: Despite the recent success of deep neural networks in natural language processing, the extent to which they can demonstrate human-like generalization capacities for natural language understanding remains unclear. We explore this issue in the domain of natural language inference (NLI), focusing on the transitivity of inference relations, a fundamental property for systematically drawing inferences. A model capturing transitivity can compose basic inference patterns and draw new inferences. We introduce an analysis method using synthetic and naturalistic NLI datasets involving clause-embedding verbs to evaluate whether models can perform transitivity inferences composed of veridical inferences and arbitrary inference types. We find that current NLI models do not perform consistently well on transitivity inference tasks, suggesting that they lack the generalization capacity for drawing composite inferences from provided training examples. The data and code for our analysis are publicly available at https://github.com/verypluming/transitivity.


title: Relieving the $H_0$ tension with a new interacting dark energy model

abstract: We investigate an extended cosmological model motivated by the asymptotic safety of gravitational field theory, in which the matter and radiation densities and the cosmological constant receive a correction parametrized by the parameters $\delta_G$ and $\delta_\Lambda$, leading to that both the evolutions of the matter and radiation densities and the cosmological constant slightly deviate from the standard forms. Here we explain this model as a scenario of vacuum energy interacting with matter and radiation. We consider two cases of the model: {(i) ${\tilde\Lambda}$CDM with one additional free parameter $\delta_G$, with $\delta_{\rm G}$ and $\delta_\Lambda$ related by a low-redshift limit relation and (ii) e${\tilde\Lambda}$CDM with two additional free parameters $\delta_G$ and $\delta_\Lambda$ that are independent of each other.} We use two data combinations, CMB+BAO+SN (CBS) and CMB+BAO+SN+$H_0$ (CBSH), to constrain the models. We find that, in the case of using the CBS data, neither ${\tilde\Lambda}$CDM nor e${\tilde\Lambda}$CDM can effectively alleviate the $H_0$ tension. However, it is found that using the CBSH data the $H_0$ tension can be greatly relieved by the models. In particular, in the case of e${\tilde\Lambda}$CDM, the $H_0$ tension can be resolved to 0.71$\sigma$. We conclude that as an interacting dark energy model, ${\tilde\Lambda}$CDM is much better than $\Lambda(t)$CDM in the sense of both relieving the $H_0$ tension and fitting to the current observational data.


title: Adjoint-based Shape Optimization for the Minimization of Flow-induced Hemolysis in Biomedical Applications

abstract: This paper reports on the derivation and implementation of a shape optimization procedure for the minimization of hemolysis induction in biomedical devices. Hemolysis is a blood damaging phenomenon that may occur in mechanical blood-processing applications where large velocity gradients are found. An increased level of damaged blood can lead to deterioration of the immune system and quality of life. It is, thus, important to minimize flow-induced hemolysis by improving the design of next-generation biomedical machinery. Emphasis is given to the formulation of a continuous adjoint complement to a power-law hemolysis prediction model dedicated to efficiently identifying the shape sensitivity to hemolysis. The computational approach is verified against the analytical solutions of a benchmark problem and computed sensitivity derivatives are validated by a finite differences study on a generic 2D stenosed geometry. The application included addresses a 3D ducted geometry which features typical characteristics of biomedical devices. An optimized shape, leading to a potential improvement in hemolysis induction up to 22%, is identified. It is shown, that the improvement persists for different, literature-reported hemolysis-evaluation parameters.


title: Tuning the dynamics of magnetic droplet solitons using dipolar interactions

abstract: Magnetic droplets are dissipative magnetodynamical solitons that can form under current driven nanocontacts in magnetic layers with large perpendicular magnetic anisotropy. Here, we extend the original droplet theory by studying the impact of the dipolar interactions on the dynamics of droplet solitons. By varying the thickness of the free layer of a spin torque nano-oscillator, we systematically tune the internal field of the free layer to investigate the dynamics of droplet solitons. Our numerical results show that increasing the free layer thickness increases the droplet threshold current, decreases the droplet frequency and diameter, enlarges the current hysteresis and also modifies the structure of the droplet. The Oersted field of the current breaks the phase coherency and deteriorates the stability of the droplet in free layers with larger thicknesses. Moreover, our findings show a simple relation to determine the impact of the free layer thickness on the droplet nucleation boundaries. Our study presents the missing brick on the physics behind magnetic droplet solitons, and further illustrates that magnetic droplets in thinner layers possess more promising characteristics for spintronic applications and enable devices with higher speed of operation.


title: Combining Deep Generative Models and Multi-lingual Pretraining for Semi-supervised Document Classification

abstract: Semi-supervised learning through deep generative models and multi-lingual pretraining techniques have orchestrated tremendous success across different areas of NLP. Nonetheless, their development has happened in isolation, while the combination of both could potentially be effective for tackling task-specific labelled data shortage. To bridge this gap, we combine semi-supervised deep generative models and multi-lingual pretraining to form a pipeline for document classification task. Compared to strong supervised learning baselines, our semi-supervised classification framework is highly competitive and outperforms the state-of-the-art counterparts in low-resource settings across several languages.


title: The VLT-MUSE and ALMA view of the MACS 1931.8-2635 brightest cluster galaxy

abstract: We reveal the importance of ongoing in-situ star formation in the Brightest Cluster Galaxy in the massive cool-core CLASH cluster MACS 1931.8-2635 at z=0.35. Using a multi-wavelength approach, we assess the stellar and warm ionized medium components, spatially resolved by the VLT-MUSE spectroscopy, and link them to the molecular gas by incorporating sub-mm ALMA observations. We measure the fluxes of strong emission lines, allowing us to determine the physical conditions of the warm ionized gas. The ionized gas flux brightness peak corresponds to the location of the supermassive black hole and the system shows a diffuse warm ionized gas tail extending 30 kpc in N-E direction. The ionized and molecular gas are co-spatial and co-moving, with the gaseous component in the tail falling inward, providing fuel for star formation and accretion-powered nuclear activity. The gas is ionized by a mix of star formation and other energetic processes which give rise to LINER-like emission, with active galactic nuclei emission dominant only in the BCG core. We measure a star formation rate of 97 Msun/yr, with its peak at the BCG core. However, star formation accounts for only 50-60% of the energetics needed to ionize the warm gas. In situ star formation generated by thermally unstable intracluster medium cooling and/or dry mergers dominate the stellar mass growth at z<0.5 and these mechanisms account for the build-up of 20% of the mass of the system. Our measurements reveal that the most central regions of the BCG contain the lowest gas phase oxygen abundance, whereas the tail exhibits slightly more elevated values. The galaxy is a dispersion dominated system, typical for massive, elliptical galaxies. The gas and stellar kinematics are decoupled, with the gaseous velocity fields being more closely related to the bulk motions of the intracluster medium.


title: Short-term prediction of Time Series based on bounding techniques

abstract: In this paper it is reconsidered the prediction problem in time series framework by using a new non-parametric approach. Through this reconsideration, the prediction is obtained by a weighted sum of past observed data. These weights are obtained by solving a constrained linear optimization problem that minimizes an outer bound of the prediction error. The innovation is to consider both deterministic and stochastic assumptions in order to obtain the upper bound of the prediction error, a tuning parameter is used to balance these deterministic-stochastic assumptions in order to improve the predictor performance. A benchmark is included to illustrate that the proposed predictor can obtain suitable results in a prediction scheme, and can be an interesting alternative method to the classical non-parametric methods. Besides, it is shown how this model can outperform the preexisting ones in a short term forecast.


title: A program logic for fresh name generation

abstract: We present a program logic for Pitts and Stark's {\nu}-calculus, an extension of the call-by-value simply-typed {\lambda}-calculus with a mechanism for the generation of fresh names. Names can be compared for (in)-equality, producing programs with subtle observable properties. Hidden names produced by interactions between generation and abstraction are captured logically with a second-order quantifier over type contexts. We illustrate usage of the logic through reasoning about well-known difficult cases from the literature.


title: Data sharing games

abstract: Data sharing issues pervade online social and economic environments. To foster social progress, it is important to develop models of the interaction between data producers and consumers that can promote the rise of cooperation between the involved parties. We formalize this interaction as a game, the data sharing game, based on the Iterated Prisoner's Dilemma and deal with it through multi-agent reinforcement learning techniques. We consider several strategies for how the citizens may behave, depending on the degree of centralization sought. Simulations suggest mechanisms for cooperation to take place and, thus, achieve maximum social utility: data consumers should perform some kind of opponent modeling, or a regulator should transfer utility between both players and incentivise them.


title: Two-lane totally asymmetric simple exclusion process with extended Langmuir kinetics

abstract: Multi-lane totally asymmetric simple exclusion processes with interactions between the lanes have recently been investigated actively. This paper proposes a two-lane model with extended Langmuir kinetics on a periodic lattice. Both bidirectional and unidirectional flows are investigated. In our model, the hopping, attachment, and detachment rates vary depending on the state of the corresponding site in the other lane. We obtain a theoretical expression for the global density of the system in the steady state from three kinds of mean-field analyses (1-, 2-, and 4-cluster cases). We verify that the 4-cluster mean-field analysis approximates well the results of computer simulations for the two directional flows and reproduces the differences between them. We expect these findings to contribute to a deeper understanding of the dynamic features of actual traffic systems.


title: No-harm principle, rationality, and Pareto optimality in games

abstract: Mill's classic argument for liberty requires that people's exercise of freedom should be governed by a no-harm principle (NHP). In this paper, we develop the concept of a no-harm equilibrium in $n$-person games where players maximize utility subject to the constraint of the NHP. Our main result is in the spirit of the fundamental theorems of welfare economics. We show that for every initial `reference point' in a game the associated no-harm equilibrium is Pareto efficient and, conversely, every Pareto efficient point can be supported as a no-harm equilibrium for some initial reference point.


title: Modular Frobenius pseudo-varieties

abstract: If $m \in \mathbb{N}$ and $A$ is a finite subset of $\bigcup_{k \in \mathbb{N} \setminus \{0,1\}} \{1,\ldots,m-1\}^k$, then we denote by \begin{align*} \mathscr{C}(m,A) = \left\{S\in \mathscr{S}_m \mid s_1+\cdots+s_k-m \in S \mbox{ if } (s_1,\ldots,s_k)\in S^k \mbox{ and }\right. \\ \left.(s_1 \bmod m, \ldots, s_k \bmod m)\in A \right\}. \end{align*} In this work we prove that $\mathscr{C}(m,A)$ is a Frobenius pseudo-variety. We also show algorithms that allows us to establish whether a numerical semigroup belongs to $\mathscr{C}(m,A)$ and to compute all the elements of $\mathscr{C}(m,A)$ with a fixed genus. Moreover, we introduce and study three families of numerical semigroups, called of second-level, thin and strong, and corresponding to $\mathscr{C}(m,A)$ when $A=\{1,\ldots,m-1\}^3$, $A=\{(1,1),\ldots,(m-1,m-1)\}$, and $A=\{1,\ldots,m-1\}^2 \setminus \{(1,1),\ldots,(m-1,m-1)\}$, respectively.


title: On level set type methods for elliptic Cauchy problems

abstract: Two methods of level set type are proposed for solving the Cauchy problem for an elliptic equation. Convergence and stability results for both methods are proven, characterizing the iterative methods as regularization methods for this ill-posed problem. Some numerical experiments are presented, showing the efficiency of our approaches and verifying the convergence results.


title: Regulatory Compliance through Doc2Doc Information Retrieval: A case study in EU/UK legislation where text similarity has limitations

abstract: Major scandals in corporate history have urged the need for regulatory compliance, where organizations need to ensure that their controls (processes) comply with relevant laws, regulations, and policies. However, keeping track of the constantly changing legislation is difficult, thus organizations are increasingly adopting Regulatory Technology (RegTech) to facilitate the process. To this end, we introduce regulatory information retrieval (REG-IR), an application of document-to-document information retrieval (DOC2DOC IR), where the query is an entire document making the task more challenging than traditional IR where the queries are short. Furthermore, we compile and release two datasets based on the relationships between EU directives and UK legislation. We experiment on these datasets using a typical two-step pipeline approach comprising a pre-fetcher and a neural re-ranker. Experimenting with various pre-fetchers from BM25 to k nearest neighbors over representations from several BERT models, we show that fine-tuning a BERT model on an in-domain classification task produces the best representations for IR. We also show that neural re-rankers under-perform due to contradicting supervision, i.e., similar query-document pairs with opposite labels. Thus, they are biased towards the pre-fetcher's score. Interestingly, applying a date filter further improves the performance, showcasing the importance of the time dimension.


title: Liberalized market designs for district heating networks under the EMB3Rs platform

abstract: Current developments in heat pumps, supported by innovative business models, are driving several industry sectors to take a proactive role in future district heating and cooling networks in cities. For instance, supermarkets and data centers have been assessing the reuse of waste heat as an extra source for the district heating network, which would offset the additional investment in heat pumps. This innovative business model requires complete deregulation of the district heating market to allow industrial heat producers to provide waste heat as an additional source in the district heating network. This work proposes the application of innovative market designs for district heating networks, inspired by new practices seen in the electricity sector. More precisely, pool and market designs are addressed, comparing centralized and decentralized market proposals. An illustrative case of a Nordic district heating network is used to assess the performance of each market design, as well as the potential revenue that different heat producers can obtain by participating in the market. An important conclusion of this work is that the proposed market designs are in line with the new trends, encouraging the inclusion of new excess heat recovery players in district heating networks.


title: Signatures of quenching in dwarf galaxies in local galaxy clusters

abstract: The transformation of late-type galaxies has been suggested as the origin of early-type dwarf galaxies in galaxy clusters. Venhola et al. analysed correlations between colour and surface brightness for galaxies in the Fornax cluster binned by luminosity or stellar mass. In the bins with $M_\star<10^8 {\rm M}_\odot$, the authors identified a correlation of redness with fainter surface brightness and interpreted it as a consequence of the quenching of star formation by ram pressure stripping in the dwarf galaxies. We carry out a corresponding analysis for the Virgo cluster and find great similarities in these correlations between surface brightness and colour for the two clusters, despite expected differences in the strength of the ram pressure. Furthermore, we extend the analysis to a wider range of optical colours for both clusters and contrast the results with expectations for fading and reddening stellar populations. Overall the slopes of the surface brightness-colour relations are consistent with these models. In addition the sizes of the early- and late-type galaxies at these low masses are comparable. These two results are compatible with a transformation scenario. However, when analysing early- and late-type galaxies separately, the consistency of the slope of the surface brightness-colour relations with the model expectations for fading and reddening stellar population applies only to the late types. The lack of this imprint for the early-type dwarfs calls for some additional explanation, for which we discuss several possibilities. Finally, the Virgo cluster is an atypical cluster with a low fraction of quiescent early-type galaxies at all galaxy masses despite its large cluster mass. (abridged)


title: Ethereum ECCPoW

abstract: The error-correction code based proof-of-work (ECCPoW) algorithm is based on a low-density parity-check (LDPC) code. The ECCPoW is possible to impair ASIC with its time-varying capability of the parameters of LDPC code. Previous researches on the ECCPoW algorithm have presented its theory and implementation on Bitcoin. But they do not discuss how stable the block generation time is. A finite mean block generation time (BGT) and none heavy-tail BGT distribution are the ones of the focus in this study. In the ECCPoW algorithm, BGT may show a long-tailed distribution due to time-varying cryptographic puzzles. Thus, it is of interest to see if the BGT distribution is not heavy-tailed and if it shows a finite mean. If the distribution is heavy-tailed, then confirmation of a transaction cannot be guaranteed. We present implementation, simulation, and validation of ECCPoW Ethereum. In implementation, we explain how the ECCPoW algorithm is integrated into Ethereum 1.0 as a new consensus algorithm. In the simulation, we perform a multinode simulation to show that the ECCPoW Ethereum works well with automatic difficulty change. In the validation, we present the statistical results of the two-sample Anderson-Darling test to show that the distribution of BGT satisfies the necessary condition of the exponential distribution. Our implementation is downloadable at https://github.com/cryptoecc/ETH-ECC.


title: Model-free Data-Driven simulation of inelastic materials using structured data sets, tangent space information and transition rules

abstract: Model-free data-driven computational mechanics replaces phenomenological constitutive functions by numerical simulations based on data sets of representative samples in stress-strain space. The distance of strain and stress pairs from the data set is minimized, subject to equilibrium and compatibility constraints. Although this method operates well for non-linear elastic problems, there are challenges dealing with history-dependent materials, since one and the same point in stress-strain space might correspond to different material behaviour.In recent literature, this issue has been treated by including local histories into the data set. However, there is still the necessity to include models for the evolution of specific internal variables. Thus, a mixed formulation of classical and data-driven modeling is obtained. In the presented approach, the data set is augmented with directions in the tangent space of points in stress-strain space. Moreover, the data set is divided into subsets corresponding to different material behaviour. Based on this classification, transition rules map the modeling points to the various subsets. The approach will be applied to non-linear elasticity and elasto-plasticity with isotropic hardening.


title: Spreading dynamics of a 2SIH2R, rumor spreading model in the homogeneous network

abstract: In the era of the rapid development of the Internet, the threshold for information spreading has become lower. Most of the time, rumors, as a special kind of information, are harmful to society. And once the rumor appears, the truth will follow. Considering that the rumor and truth compete with each other like light and darkness in reality, in this paper, we study a rumor spreading model in the homogeneous network called 2SIH2R, in which there are both spreader1(people who spread the rumor) and spreader2(people who spread the truth). In this model, we introduced discernible mechanism and confrontation mechanism to quantify the level of people's cognitive abilities and the competition between the rumor and truth. By mean-field equations, steady-state analysis and numerical simulations in a generated network which is closed and homogeneous, some significant results can be given: the higher discernible rate of the rumor, the smaller influence of the rumor; the stronger confrontation degree of the rumor, the smaller influence of the rumor; the large average degree of the network, the greater influence of the rumor but the shorter duration. The model and simulation results provide a quantitative reference for revealing and controlling the spread of the rumor.


title: Thermal rectification through a nonlinear quantum resonator

abstract: We present a comprehensive and systematic study of thermal rectification in a prototypical low-dimensional quantum system -- a non-linear resonator: we identify necessary conditions to observe thermal rectification and we discuss strategies to maximize it. We focus, in particular, on the case where anharmonicity is very strong and the system reduces to a qubit. In the latter case, we derive general upper bounds on rectification which hold in the weak system-bath coupling regime, and we show how the Lamb shift can be exploited to enhance rectification. We then go beyond the weak-coupling regime by employing different methods: i) including co-tunneling processes, ii) using the non-equilibrium Green's function formalism and iii) using the Feynman-Vernon path integral approach. We find that the strong coupling regime allows us to violate the bounds derived in the weak-coupling regime, providing us with clear signatures of high order coherent processes visible in the thermal rectification. In the general case, where many levels participate to the system dynamics, we compare the heat rectification calculated with the equation of motion method and with a mean-field approximation. We find that the former method predicts, for a small or intermediate anharmonicity, a larger rectification coefficient.


title: SHAM through the lens of a hydrodynamical simulation

abstract: We use the IllustrisTNG100 hydrodynamical simulation to study the dependence of the galaxy two-point correlation function on a broad range of secondary subhalo and galactic properties. We construct galaxy mock catalogues adopting a standard sub-halo abundance matching scheme coupled with a secondary assignment between galaxy colour or specific star formation rate and the following subhalo properties: starvation redshift z$_{\rm starve}$, concentration at infall, overdensity $\delta_R^{\rm env}$, tidal anisotropy $\alpha_R$, and tidal overdensity $\delta_R$. The last two quantities allow us to fully characterise the tidal field of our subhaloes, acting as mediators between their internal and large-scale properties. The resulting mock catalogues overall return good agreement with the IllustrisTNG100 measurements. The accuracy of each model strongly depends on the correlation between the secondary galaxy and subhalo properties employed. Among all the subhalo proxies tested, we find that z$_{\rm starve}$ and $c_{\rm infall}$ are the ones that best trace the large-scale structure, producing robust clustering predictions for different samples of red/blue and quenched/star-forming galaxies.


title: Consistent Mesh Colors for Multi-View Reconstructed 3D Scenes

abstract: We address the issue of creating consistent mesh texture maps captured from scenes without color calibration. We find that the method for aggregation of the multiple views is crucial for creating spatially consistent meshes without the need to explicitly optimize for spatial consistency. We compute a color prior from the cross-correlation of observable view faces and the faces per view to identify an optimal per-face color. We then use this color in a re-weighting ratio for the best-view texture, which is identified by prior mesh texturing work, to create a spatial consistent texture map. Despite our method not explicitly handling spatial consistency, our results show qualitatively more consistent results than other state-of-the-art techniques while being computationally more efficient. We evaluate on prior datasets and additionally Matterport3D showing qualitative improvements.


title: A Compact Fermion to Qubit Mapping Part 2: Alternative Lattice Geometries

abstract: In recent work [arXiv:2003.06939v2] a novel fermion to qubit mapping -- called the compact encoding -- was introduced which outperforms all previous local mappings in both the qubit to mode ratio, and the locality of mapped operators. There the encoding was demonstrated for square and hexagonal lattices. Here we present an extension of that work by illustrating how to apply the compact encoding to other regular lattices. We give constructions for variants of the compact encoding on all regular tilings with maximum degree 4. These constructions yield edge operators with Pauli weight at most 3 and use fewer than 1.67 qubits per fermionic mode. Additionally we demonstrate how the compact encoding may be applied to a cubic lattice, yielding edge operators with Pauli weight no greater than 4 and using approximately 2.5 qubits per mode. In order to properly analyse the compact encoding on these lattices a more general group theoretic framework is required, which we elaborate upon in this work. We expect this framework to find use in the design of fermion to qubit mappings more generally.


title: Real-time Video Streaming and Control of Cellular-Connected UAV System: Prototype and Performance Evaluation

abstract: Unmanned aerial vehicles (UAVs) play an increasingly important role in military, public, and civilian applications, where providing connectivity to UAVs is crucial for its real-time control, video streaming, and data collection. Considering that cellular networks offer wide area, high speed, and secure wireless connectivity, cellular-connected UAVs have been considered as an appealing solution to provide UAV connectivity with enhanced reliability, coverage, throughput, and security. Due to the nature of UAVs mobility, the throughput, reliability and End-to-End (E2E) delay of UAVs communication under various flight heights, video resolutions, and transmission frequencies remain unknown. To evaluate these parameters, we develop a cellular-connected UAV testbed based on the Long Term Evolution (LTE) network with its uplink video transmission and downlink control\&command (CC) transmission. We also design algorithms for sending control signal and controlling UAV. The indoor experimental results provide fundamental insights for the cellular-connected UAV system design from the perspective of transmission frequency, adaptability, and link outage, respectively.


title: Mining the Stars: Learning Quality Ratings with User-facing Explanations for Vacation Rentals

abstract: Online Travel Platforms are virtual two-sided marketplaces where guests search for accommodations and accommodation providers list their properties such as hotels and vacation rentals. The large majority of hotels are rated by official institutions with a number of stars indicating the quality of service they provide. It is a simple and effective mechanism that contributes to match supply with demand by helping guests to find options meeting their criteria and accommodation suppliers to market their product to the right segment directly impacting the number of transactions on the platform. Unfortunately, no similar rating system exists for the large majority of vacation rentals, making it difficult for guests to search and compare options and hard for vacation rentals suppliers to market their product effectively. In this work we describe a machine learned quality rating system for vacation rentals. The problem is challenging, mainly due to explainability requirements and the lack of ground truth. We present techniques to address these challenges and empirical evidence of their efficacy. Our system was successfully deployed and validated through Online Controlled Experiments performed in Booking. com, a large Online Travel Platform, and running for more than one year, impacting more than a million accommodations and millions of guests.


title: Phonon Scattering in the Complex Strain Field of a Dislocation

abstract: Strain engineering is critical to the performance enhancement of electronic and thermoelectric devices because of its influence on the material thermal conductivity. However, current experiments cannot probe the detailed physics of the phonon-strain interaction due to the complex, inhomogeneous, and long-distance features of the strain field in real materials. Dislocations provide us with an excellent model to investigate these inhomogeneous strain fields. In this study, non-equilibrium molecular dynamics simulations were used to study the lattice thermal conductivity of PbTe under different strain status tuned by dislocation densities. The extended 1D McKelvey-Shockley flux method was used to analyze the frequency dependence of phonon scattering in the inhomogeneously strained regions of dislocations. A spatially resolved phonon dislocation scattering process was shown, where the unequal strain in different regions affected the magnitude and frequency-dependence of the scattering rate. Our study not only advances the knowledge of strain scattering of phonon propagation but offers fundamental guidance on optimizing thermal management by structure design.


title: Dynamic prediction of time to event with survival curves

abstract: With the ever-growing complexity of primary health care system, proactive patient failure management is an effective way to enhancing the availability of health care resource. One key enabler is the dynamic prediction of time-to-event outcomes. Conventional explanatory statistical approach lacks the capability of making precise individual level prediction, while the data adaptive binary predictors does not provide nominal survival curves for biologically plausible survival analysis. The purpose of this article is to elucidate that the knowledge of explanatory survival analysis can significantly enhance the current black-box data adaptive prediction models. We apply our recently developed counterfactual dynamic survival model (CDSM) to static and longitudinal observational data and testify that the inflection point of its estimated individual survival curves provides reliable prediction of the patient failure time.


title: Counterexamples to inverse problems for the wave equation

abstract: We construct counterexamples to inverse problems for the wave operator on domains in $\mathbb{R}^{n+1}$, $n \ge 2$, and on Lorentzian manifolds. We show that non-isometric Lorentzian metrics can lead to same partial data measurements, which are formulated in terms certain restrictions of the Dirichlet-to-Neumann map. The Lorentzian metrics giving counterexamples are time-dependent, but they are smooth and non-degenerate. On $\mathbb{R}^{n+1}$ the metrics are conformal to the Minkowski metric.


title: A Supernova-driven, Magnetically-collimated Outflow as the Origin of the Galactic Center Radio Bubbles

abstract: A pair of non-thermal radio bubbles recently discovered in the inner few hundred parsecs of the Galactic center bears a close spatial association with elongated, thermal X-ray features called the X-ray chimneys. While their morphology, position, and orientation vividly point to an outflow from the Galactic center, the physical processes responsible for the outflow remain to be understood. We use three-dimensional magnetohydrodynamic simulations to test the hypothesis that the radio bubbles/X-ray chimneys are the manifestation of an energetic outflow driven by multiple core-collapsed supernovae in the nuclear stellar disk, where numerous massive stars are known to be present. Our simulations are run with different combinations of two main parameters, the supernova birth rate and the strength of a global magnetic field being vertically oriented with respect to the disk. The simulation results show that a hot gas outflow can naturally form and acquire a vertically elongated shape due to collimation by the magnetic pressure. In particular, the simulation with an initial magnetic field strength of 80 $\mu$G and a supernova rate of 1 $kyr^{-1}$ can well reproduce the observed morphology, internal energy and X-ray luminosity of the bubbles after an evolutionary time of 330 kyr. On the other hand, a magnetic field strength of 200 $\mu$G gives rise to an overly elongated outflow that is inconsistent with the observed bubbles. The simulations also reveal that, inside the bubbles, mutual collisions between the shock waves of individual supernovae produce dense filaments of locally amplified magnetic field. Such filaments may account for a fraction of the synchrotron-emitting radio filaments known to exist in the Galactic center.


title: A Tight Lower Bound for Edge-Disjoint Paths on Planar DAGs

abstract: (see paper for full abstract) We show that the Edge-Disjoint Paths problem is W[1]-hard parameterized by the number $k$ of terminal pairs, even when the input graph is a planar directed acyclic graph (DAG). This answers a question of Slivkins (ESA '03, SIDMA '10). Moreover, under the Exponential Time Hypothesis (ETH), we show that there is no $f(k)\cdot n^{o(k)}$ algorithm for Edge-Disjoint Paths on planar DAGs, where $k$ is the number of terminal pairs, $n$ is the number of vertices and $f$ is any computable function. Our hardness holds even if both the maximum in-degree and maximum out-degree of the graph are at most $2$. Our result shows that the $n^{O(k)}$ algorithm of Fortune et al. (TCS '80) for Edge-Disjoint Paths on DAGs is asymptotically tight, even if we add an extra restriction of planarity. As a special case of our result, we obtain that Edge-Disjoint Paths on planar directed graphs is W[1]-hard parameterized by the number $k$ of terminal pairs. This answers a question of Cygan et al. (FOCS '13) and Schrijver (pp. 417-444, Building Bridges II, '19), and completes the landscape of the parameterized complexity status of edge and vertex versions of the Disjoint Paths problem on planar directed and planar undirected graphs.


title: The Rest of the Tilings of the Sphere by Regular Polygons

abstract: We determine all non-edge-to-edge tilings of the sphere by regular spherical polygons of three or more sides.


title: Quasi Static Atmospheric Model for Aircraft Trajectory Prediction and Flight Simulation

abstract: Aircraft trajectory prediction requires the determination of the atmospheric properties (pressure, temperature, and density) encountered by the aircraft during its flight. This is accomplished by employing a tabulated prediction published by a meteorological service, a static atmosphere model that does not consider the atmosphere variation with time or horizontal position, such as the International Civil Aviation Organization (ICAO) Standard Atmosphere (ISA), or a variation to the later so it better conforms with the expected flight conditions. This article proposes an easy-to-use quasi static model that introduces temperature and pressure variations while respecting all the hypotheses of the ISA model, resulting in more realistic trajectory predictions as the obtained atmospheric properties bear a higher resemblance with the local conditions encountered during the flight. The proposed model relies on two parameters, the temperature and pressure offsets, and converges to the ISA model when both are zero. Expressions to obtain the atmospheric properties are established, and their dependencies with both parameters explained. The author calls this model INSA (ICAO Non Standard Atmosphere) and releases its C++ implementation as open-source software.