title: Worst Smells and Their Worst Reasons

abstract: The aims of this paper are: 1) to identify "worst smells", i.e., bad smells that never have a good reason to exist, 2) to determine the frequency, change-proneness, and severity associated with worst smells, and 3) to identify the "worst reasons", i.e., the reasons for introducing these worst smells in the first place. To achieve these aims we ran a survey with 71 developers. We learned that 80 out of 314 catalogued code smells are "worst"; that is, developers agreed that these 80 smells should never exist in any code base. We then checked the frequency and change-proneness of these worst smells on 27 large Apache open-source projects. Our results show insignificant differences, in both frequency and change proneness, between worst and non-worst smells. That is to say, these smells are just as damaging as other smells, but there is never any justifiable reason to introduce them. Finally, in follow-up phone interviews with five developers we confirmed that these smells are indeed worst, and the interviewees proposed seven reasons for why they may be introduced in the first place. By explicitly identifying these seven reasons, project stakeholders can, through quality gates or reviews, ensure that such smells are never accepted in a code base, thus improving quality without compromising other goals such as agility or time to market.


title: Large Orbital Magnetic Moment and Strong Perpendicular Magnetic Anisotropy in Heavily Intercalated Fe$_{x}$TiS$_2$

abstract: Titanium disulfide TiS$_2$, which is a member of the layered transition-metal dichalcogenides with the 1T-CdI$_2$-type crystal structure, is known to exhibit a wide variety of magnetism through intercalating various kinds of transition-metal atoms of different concentrations. Among them, Fe-intercalated titanium disulfide Fe$_x$TiS$_2$ is known to be ferromagnetic with strong perpendicular magnetic anisotropy (PMA) and large coercive fields ($H_\text{c}$). In order to study the microscopic origin of the magnetism of this compound, we have performed X-ray absorption spectroscopy (XAS) and X-ray magnetic circular dichroism (XMCD) measurements on single crystals of heavily intercalated Fe$_x$TiS$_2$ ($x\sim0.5$). The grown single crystals showed a strong PMA with a large $H_\text{c}$ of $\mu_0H_\text{c} \simeq 1.0\ \text{T}$. XAS and XMCD spectra showed that Fe is fully in the valence states of 2+ and that Ti is in an itinerant electronic state, indicating electron transfer from the intercalated Fe atoms to the host TiS$_2$ bands. The Fe$^{2+}$ ions were shown to have a large orbital magnetic moment of $\simeq 0.59\ \mu_\text{B}\text{/Fe}$, to which, combined with the spin-orbit interaction and the trigonal crystal field, we attribute the strong magnetic anisotropy of Fe$_x$TiS$_2$.


title: Ab initio Derivation of Low-Energy Hamiltonians for Systems with Strong Spin-Orbit Interaction and Its Application to Ca5Ir3O12

abstract: We present an ab initio derivation method for effective low-energy Hamiltonians of material with strong spin-orbit interactions. The effective Hamiltonian is described in terms of the Wannier function in the spinor form, and effective interactions are derived with the constrained random phase approximation (cRPA) method. Based on this formalism and the developed code, we derive an effective Hamiltonian of a strong spin-orbit interaction material Ca5Ir3O12. This system consists of three edge-shared IrO6 octahedral chains arranged along the c axis, and the three Ir atoms in the ab plane compose a triangular lattice. For such a complicated structure, we need to set up the Wannier spinor function under the local coordinate system. We found that a density-functional band structure near the Fermi level is formed by local dxy and dyz orbitals. Then, we constructed the ab initio dxy/dyz model. The estimated nearest neighbor transfer t is close to 0.2 eV, and the cRPA onsite U and neighboring V electronic interactions are found to be 2.4-2.5 eV and 1 eV, respectively. The resulting characteristic correlation strength defined by (U-V)/t is above 7, and thus this material is classified as a strongly correlated electron system. The onsite transfer integral involved in the spin-orbit interaction is 0.2 eV, which is comparable to the onsite exchange integrals near 0.2 eV, indicating that the spin-orbit-interaction physics would compete with the Hund physics. Based on these calculated results, we discuss possible rich ground-state low-energy electronic structures of spin, charge and orbitals with competing Hund, spin-orbit and strong correlation physics.


title: Electronic state unfolding for plane waves: energy bands, Fermi surfaces and spectral functions

abstract: Modern computing facilities grant access to first-principles density-functional theory study of complex physical and chemical phenomena in materials, that require large supercell to properly model the system. However, supercells are associated to small Brillouin zones in the reciprocal space, leading to folded electronic eigenstates that make the analysis and interpretation extremely challenging. Various techniques have been proposed and developed in order to reconstruct the electronic band structures of super cells, unfolded into the reciprocal space of an ideal primitive cell. Here, we propose an efficient unfolding scheme embedded directly in the Vienna Ab-initio Simulation Package (VASP), that requires modest computational resources and allows for an automatized mapping from the reciprocal space of the supercell to primitive cell Brillouin zone. This algorithm can computes band structures, Fermi surfaces and spectral functions, by using an integrated post-processing tool (bands4vasp). The method is here applied to a selected variety of complex physical situations: the effect of doping on the band dispersion in the BaFe$_{\rm 2(1-x)}$Ru$_{\rm 2x}$As$_2$ superconductor, the interaction between adsorbates and polaronic states on the TiO$_2$(110) surface, and the band splitting induced by non-collinear spin fluctuations in EuCd$_2$As$_2$.


title: THINC scaling method that bridges VOF and level set schemes

abstract: We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two different approaches widely used in various applications. The key to success is to maintain a high-quality THINC reconstruction function using the level set field to accurately retrieve geometrical information and the VOF field to fulfill numerical conservativeness. The interface is well defined as a surface in form of a high-order polynomial, so-called the polynomial surface of interface (PSI). The THINC reconstruction function is then used to update the VOF field via a finite volume method, and the level set field via a semi-Lagrangian method. Seeing the VOF field and the level set field as two different aspects of the THINC reconstruction function, the THINC-scaling scheme preserves at the same time the advantages of both VOF and level set methods, i.e. the mass/volume conservation of the VOF method and the geometrical faithfulness of the level set method, through a straightforward solution procedure. The THINC-scaling scheme allows to represent an interface with high-order polynomials and has algorithmic simplicity which largely eases its implementation in unstructured grids. Two and three dimensional algorithms in both structured and unstructured grids have been developed and verified. The numerical results reveal that the THINC-scaling scheme, as an interface capturing method, is able to provide high-fidelity solution comparable to other most advanced methods, and more profoundly it can resolve sub-grid filament structures if the interface is represented by a polynomial higher than second order.


title: Remarkably high mass and high velocity dispersion of molecular gas associated with a regular, absorption-selected type-I quasar

abstract: We present 3-mm observations of the quasar J0015+1842 at z=2.63 with the NOrthern Extended Millimeter Array (NOEMA). Our data reveals molecular gas, traced via a Gaussian CO(3-2) line, with a remarkably large velocity dispersion (FWHM=1010+/-120 km/s) and corresponding to a total molecular mass MH2~(3.4-17)x10^10 Msun, depending on the adopted CO-to-H2 conversion factor alphaCO=(0.8-4.0) Msun (km/s pc^2)^-1. Assuming the 3-mm continuum emission is thermal, we derive a dust mass of the order of Mdust ~5x10^8 Msun. J0015+1842 is located in the molecular gas-rich region in the IR vs CO line luminosity diagram, in-between the main locus of main-sequence and sub-millimetre galaxies and that of most other AGNs targeted so far for CO measurements. While the large velocity dispersion of the CO line suggests a merging system, J0015+1842 is observed to be a regular, only very moderately dust-reddened (Av~0.3-0.4) type-I quasar from its UV-optical spectrum, from which we infer a mass of the super-massive black hole be around MBH~6x10^8 Msun. We suggest that J0015+1842 is observed at a galaxy evolutionary stage where a massive merger has brought significant amounts of gas towards an actively accreting super-massive black hole (quasar). While the host still contains a large amount of dust and molecular gas with high velocity dispersion, the quasar has already cleared the way towards the observer, likely through powerful outflows as recently revealed by optical observations of the same object. High angular resolution observations of this and similar systems} should help determining better the respective importance of evolution and orientation in the appearance of quasars and their host galaxies and have the potential to investigate early feedback and star-formation processes in galaxies in their quasar phases.


title: A novel hybrid isogeometric element based on two-field Hellinger-Reissner principle to alleviate different types of locking

abstract: In the present work, a novel class of hybrid elements is proposed to alleviate the locking anomaly in non-uniform rational B-spline (NURBS)-based isogeometric analysis (IGA) using a two-field Hellinger-Reissner variational principle. The proposed hybrid elements are derived by adopting the independent interpolation schemes for displacement and stress field. The key highlight of the present study is the choice and evaluation of higher-order terms for the stress interpolation function to provide a locking-free solution. Furthermore, the present study demonstrates the efficacy of the proposed elements with the treatment of several two-dimensional linear-elastic benchmark problems alongside the conventional single-field IGA, Lagrangian-based finite element analysis (FEA), and hybrid FEA formulation. It is shown that the proposed class of hybrid elements performs effectively for analyzing the nearly incompressible problem domains that are severely affected by volumetric locking along with the thin plate and shell problems where the shear and membrane locking is dominant. A better coarse mesh accuracy of the proposed method in comparison with the conventional formulation is demonstrated through various numerical examples. Moreover, the formulation is not restricted to the locking-dominated problem domains but can also be implemented to solve the problems of general form without any special treatment. Thus, the proposed method is robust, most efficient, and highly effective against different types of locking.


title: Periodic solutions for the Lorentz force equation with singular potentials

abstract: We provide sufficient conditions for the existence of periodic solutions of the of the Lorentz force equation, which models the motion of a charged particle under the action of an electromagnetic fields. The basic assumptions cover relevant models with singularities like Coulomb-like electric potentials or the magnetic dipole.


title: Novel design and analysis of generalized FE methods based on locally optimal spectral approximations

abstract: In this paper, the generalized finite element method (GFEM) for solving second order elliptic equations with rough coefficients is studied. New optimal local approximation spaces for GFEMs based on local eigenvalue problems involving a partition of unity are presented. These new spaces have advantages over those proposed in [I. Babuska and R. Lipton, Multiscale Model.\;\,Simul., 9 (2011), pp.~373--406]. First, in addition to a nearly exponential decay rate of the local approximation errors with respect to the dimensions of the local spaces, the rate of convergence with respect to the size of the oversampling region is also established. Second, the theoretical results hold for problems with mixed boundary conditions defined on general Lipschitz domains. Finally, an efficient and easy-to-implement technique for generating the discrete $A$-harmonic spaces is proposed which relies on solving an eigenvalue problem associated with the Dirichlet-to-Neumann operator, leading to a substantial reduction in computational cost. Numerical experiments are presented to support the theoretical analysis and to confirm the effectiveness of the new method.


title: The anti-Jaynes-Cummings model is solvable : quantum Rabi model in rotating and counter-rotating frames ; following the experiments

abstract: This article is a response to the continued assumption, cited even in reports and reviews of recent experimental breakthroughs and advances in theoretical methods, that the antiJaynes-Cummings (AJC) interaction is an intractable energy non-conserving component of the quantum Rabi model (QRM). We present three key features of QRM dynamics : (a) the AJC interaction component has a conserved excitation number operator and is exactly solvable (b) QRM dynamical space consists of a rotating frame (RF) dominated by an exactly solved Jaynes-Cummings (JC) interaction specified by a conserved JC excitation number operator which generates the U(1) symmetry of RF and a correlated counterrotating frame (CRF) dominated by an exactly solved antiJaynes-Cummings (AJC) interaction specified by a conserved AJC excitation number operator which generates the U(1) symmetry of CRF.


title: Decision rules for identifying combination therapies in open-entry, randomized controlled platform trials

abstract: Platform trials have become increasingly popular for drug development programs, attracting interest from statisticians, clinicians and regulatory agencies. Many statistical questions related to designing platform trials - such as the impact of decision rules, sharing of information across cohorts, and allocation ratios on operating characteristics and error rates - remain unanswered. In many platform trials, the definition of error rates is not straightforward as classical error rate concepts are not applicable. For an open-entry, exploratory platform trial design comparing combination therapies to the respective monotherapies and standard-of-care, we define a set of error rates and operating characteristics and then use these to compare a set of design parameters under a range of simulation assumptions. When setting up the simulations, we aimed for realistic trial trajectories, such that e.g. a priori we do not know the exact number of treatments that will be included over time in a specific simulation run as this follows a stochastic mechanism. Our results indicate that the method of data sharing, exact specification of decision rules and a priori assumptions regarding the treatment efficacy all strongly contribute to the operating characteristics of the platform trial. Furthermore, different operating characteristics might be of importance to different stakeholders. Together with the potential flexibility and complexity of a platform trial, which also impact the achieved operating characteristics via e.g. the degree of efficiency of data sharing, this implies that utmost care needs to be given to evaluation of different assumptions and design parameters at the design stage.


title: ENCONTER: Entity Constrained Progressive Sequence Generation via Insertion-based Transformer

abstract: Pretrained using large amount of data, autoregressive language models are able to generate high quality sequences. However, these models do not perform well under hard lexical constraints as they lack fine control of content generation process. Progressive insertion-based transformers can overcome the above limitation and efficiently generate a sequence in parallel given some input tokens as constraint. These transformers however may fail to support hard lexical constraints as their generation process is more likely to terminate prematurely. The paper analyses such early termination problems and proposes the Entity-constrained insertion transformer (ENCONTER), a new insertion transformer that addresses the above pitfall without compromising much generation efficiency. We introduce a new training strategy that considers predefined hard lexical constraints (e.g., entities to be included in the generated sequence). Our experiments show that ENCONTER outperforms other baseline models in several performance metrics rendering it more suitable in practical applications. Our code is available at https://github.com/LARC-CMU-SMU/Enconter


title: Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

abstract: As a general framework for the studies of $t$-structures on triangulated categories and torsion pairs in abelian categories, we introduce the notions of extriangulated categories with negative first extensions and $s$-torsion pairs. We define a heart of an interval in the poset of $s$-torsion pairs, which naturally becomes an extriangulated category with a negative first extension. This notion generalizes hearts of $t$-structures on triangulated categories and hearts of twin torsion pairs in abelian categories. In this paper, we show that an interval in the poset of $s$-torsion pairs is bijectively associated with $s$-torsion pairs in the corresponding heart. This bijection unifies two well-known bijections: One is the bijection induced by HRS-tilt of $t$-structures on triangulated categories. The other is Asai--Pfeifer's and Tattar's bijections for torsion pairs in an abelian category, which is related to $\tau$-tilting reduction and brick labeling.


title: Uncertainty quantification of microstructure variability and mechanical behaviour of additively manufactured lattice structures

abstract: Process-induced defects are the leading cause of discrepancies between as-designed and as-manufactured additive manufacturing (AM) product behavior. Especially for metal lattices, the variations in the printed geometry cannot be neglected. Therefore, the evaluation of the influence of microstructural variability on their mechanical behavior is crucial for the quality assessment of the produced structures. Commonly, the as-manufactured geometry can be obtained by computed tomography (CT). However, to incorporate all process-induced defects into the numerical analysis is often computationally demanding. Thus, commonly this task is limited to a predefined set of considered variations, such as strut size or strut diameter. In this work, a CT-based binary random field is proposed to generate statistically equivalent geometries of periodic metal lattices. The proposed random field model in combination with the Finite Cell Method (FCM), an immersed boundary method, allows to efficiently evaluate the influence of the underlying microstructure on the variability of the mechanical behavior of AM products. Numerical analysis of two lattices manufactured at different scales shows an excellent agreement with experimental data. Furthermore, it provides a unique insight into the effects of the process on the occurring geometrical variations and final mechanical behavior.


title: Bijecting hidden symmetries for skew staircase shapes

abstract: We present a bijection between the set of standard Young tableaux of staircase minus rectangle shape, and the set of marked shifted standard Young tableaux of a certain shifted shape. Numerically, this result is due to DeWitt (2012). Combined with other known bijections this gives a bijective proof of the product formula for the number of standard Young tableaux of staircase minus rectangle shape. This resolves an open problem by Morales, Pak and Panova (2019), and allows for efficient random sampling. Other applications include a bijection for semistandard Young tableaux, and a bijective proof of Stembridge's symmetry of LR-coefficients of the staircase shape. We also extend these results to set-valued standard Young tableaux in the combinatorics of K-theory, leading to new proofs of results by Lewis and Marberg (2019) and Abney-McPeek, An and Ng (2020).


title: Weighted Analytic Torsion for Weighted Digraphs

abstract: In 2020, Alexander Grigor'yan, Yong Lin and Shing-Tung Yau [4] introduced the Reidemeister torsion and the analytic torsion for digraphs by means of the path complex and the path homology theory. Based on the analytic torsion for digraphs introduced in [4], we consider the notion of weighted analytic torsion for vertex-weighted digraphs. For any non-vanishing real functions $f$ and $g$ on the vertex set, we consider the vertex-weighted digraphs with the weights $(f,g)$. We calculate the $(f,g)$-weighted analytic torsion by examples and prove that the $(f,g)$-weighted analytic torsion only depend on the ratio $f/g$. In particular, if the weight is of the diagonal form $(f,f)$, then the weighted analytic torsion equals to the usual (un-weighted) torsion.


title: Multi-channel Deep Supervision for Crowd Counting

abstract: Crowd counting is a task worth exploring in modern society because of its wide applications such as public safety and video monitoring. Many CNN-based approaches have been proposed to improve the accuracy of estimation, but there are some inherent issues affect the performance, such as overfitting and details lost caused by pooling layers. To tackle these problems, in this paper, we propose an effective network called MDSNet, which introduces a novel supervision framework called Multi-channel Deep Supervision (MDS). The MDS conducts channel-wise supervision on the decoder of the estimation model to help generate the density maps. To obtain the accurate supervision information of different channels, the MDSNet employs an auxiliary network called SupervisionNet (SN) to generate abundant supervision maps based on existing groundtruth. Besides the traditional density map supervision, we also use the SN to convert the dot annotations into continuous supervision information and conduct dot supervision in the MDSNet. Extensive experiments on several mainstream benchmarks show that the proposed MDSNet achieves competitive results and the MDS significantly improves the performance without changing the network structure.


title: Ultrasound-mediated Cavitation-enhanced extravasation of mesoporous silica nanoparticles for controlled-release drug delivery

abstract: Mesoporous silica nanoparticles have been reported as suitable drug carriers, but their successful delivery to target tissues following systemic administration remains a challenge. In the present work, ultrasound-induced inertial cavitation was evaluated as a mechanism to promote their extravasation in a flow-through tissue-mimicking agarose phantom. Two different ultrasound frequencies, 0.5 or 1.6 MHz, with pressures in the range 0.5-4 MPa were used to drive cavitation activity which was detected in real time. The optimal ultrasound conditions identified were employed to deliver dye-loaded nanoparticles as a model for drug-loaded nanocarriers, with the level of extravasation evaluated by fluorescence microscopy. The same nanoparticles were then co-injected with submicrometric polymeric cavitation nuclei as a means to promote cavitation activity and decrease the required in-situ acoustic pressure required to attain extravasation. The overall cavitation energy and penetration of the combination was compared to mesoporous silica nanoparticles alone. The results of the present work suggest that combining mesoporous silica nanocarriers and submcrometric cavitation nuclei may help enhance the extravasation of the nanocarrier, thus enabling subsequent sustained drug release to happen from those particles already embedded in the tumour tissue.


title: Textile Taxonomy and Classification Using Pulling and Twisting

abstract: Identification of textile properties is an important milestone toward advanced robotic manipulation tasks that consider interaction with clothing items such as assisted dressing, laundry folding, automated sewing, textile recycling and reusing. Despite the abundance of work considering this class of deformable objects, many open problems remain. These relate to the choice and modelling of the sensory feedback as well as the control and planning of the interaction and manipulation strategies. Most importantly, there is no structured approach for studying and assessing different approaches that may bridge the gap between the robotics community and textile production industry. To this end, we outline a textile taxonomy considering fiber types and production methods, commonly used in textile industry. We devise datasets according to the taxonomy, and study how robotic actions, such as pulling and twisting of the textile samples, can be used for the classification. We also provide important insights from the perspective of visualization and interpretability of the gathered data.


title: Online Informative Path Planning for Active Information Gathering of a 3D Surface

abstract: This paper presents an online informative path planning approach for active information gathering on three-dimensional surfaces using aerial robots. Most existing works on surface inspection focus on planning a path offline that can provide full coverage of the surface, which inherently assumes the surface information is uniformly distributed hence ignoring potential spatial correlations of the information field. In this paper, we utilize manifold Gaussian processes (mGPs) with geodesic kernel functions for mapping surface information fields and plan informative paths online in a receding horizon manner. Our approach actively plans information-gathering paths based on recent observations that respect dynamic constraints of the vehicle and a total flight time budget. We provide planning results for simulated temperature modeling for simple and complex 3D surface geometries (a cylinder and an aircraft model). We demonstrate that our informative planning method outperforms traditional approaches such as 3D coverage planning and random exploration, both in reconstruction error and information-theoretic metrics. We also show that by taking spatial correlations of the information field into planning using mGPs, the information gathering efficiency is significantly improved.


title: Spin injection efficiency at metallic interfaces probed by THz emission spectroscopy

abstract: Terahertz (THz) spin-to-charge conversion has become an increasingly important process for THz pulse generation and as a tool to probe ultrafast spin interactions at magnetic interfaces. However, its relation to traditional, steady state, ferromagnetic resonance techniques is poorly understood. Here we investigate nanometric trilayers of Co/X/Pt (X=Ti, Au or Au0:85W0:15) as a function of the 'X' layer thickness, where THz emission generated by the inverse spin Hall effect is compared to the Gilbert damping of the ferromagnetic resonance. Through the insertion of the 'X' layer we show that the ultrafast spin current injected in the non-magnetic layer defines a direct spin conductance, whereas the Gilbert damping leads to an effective spin mixing-conductance of the trilayer. Importantly, we show that these two parameters are connected to each other and that spin-memory losses can be modeled via an effective Hamiltonian with Rashba fields. This work highlights that magneto-circuits concepts can be successfully extended to ultrafast spintronic devices, as well as enhancing the understanding of spin-to-charge conversion processes through the complementarity between ultrafast THz spectroscopy and steady state techniques.


title: On-chip erbium-doped lithium niobate microring lasers

abstract: Lithium niobate on insulator (LNOI), regarded as an important candidate platform for optical integration due to its excellent nonlinear, electro-optic and other physical properties, has become a research hotspot. Light source, as an essential component for integrated optical system, is urgently needed. In this paper, we reported the realization of 1550-nm band on-chip LNOI microlasers based on erbium-doped LNOI ring cavities with loaded quality factors higher than one million, which were fabricated by using electron beam lithography and inductively coupled plasma reactive ion etching processes. These microlasers demonstrated a low pump threshold of ~20 {\mu}W and stable performance under the pump of a 980-nm band continuous laser. Comb-like laser spectra spanning from 1510 nm to 1580 nm were observed in high pump power regime, which lays the foundation of the realization of pulsed laser and frequency combs on rare-earth ion doped LNOI platform. This work has effectively promoted the development of on-chip integrated active LNOI devices.


title: Fabrication of a nanoparticle-containing 3D porous bone scaffold with proangiogenic and antibacterial properties

abstract: 3D porous scaffolds based on agarose and nanocrystalline apatite, two structural components that act as a temporary mineralized extracellular matrix, were prepared by the GELPOR3D method. This shaping technology allows the introduction of thermally-labile molecules within the scaffolds during the fabrication procedure. An angiogenic protein, Vascular Endothelial Growth Factor, and an antibiotic, cephalexin, loaded in mesoporous silica nanoparticles, were included to design multifunctional scaffolds for bone reconstruction. The dual release of both molecules showed a pro-angiogenic behaviour in chicken embryos grown ex ovo, while, at the same time providing an antibiotic local concentration capable of inhibiting Staphylococcus aureus bacterial growth. In this sense, different release patterns, monitored by UV-spectroscopy, could be tailored as a function of the cephalexin loading strategy. The scaffold surface was characterized by a high hydrophilicity, as determined by contact angle measurements, that facilitated the adhesion and proliferation of preosteoblastic cells.


title: Big Plastic Masses Detection using Sentinel 2 Images

abstract: This communication describes a preliminary research on detection of big masses of plastic (marine litter) on the oceans and seas using EO (Earth Observation) satellite systems. Free images from the Sentinel 2 (Copernicus Project) platform are used. To develop a plastic recognizer, we start with an image where we can find a big accumulation of "nonfloating" plastic: Almer\'ia greenhouses. We made a test using remote sensing differential indexes, but we got much better results using all available wavelengths (thirteen frequency bands) and applying Neural Networks to that feature vector.


title: Thermodynamic evolution of a sigmoidal active region with associated flares

abstract: Active regions often show S-shaped structures in the corona called sigmoids. These are highly sheared and twisted loops formed along the polarity inversion line. They are considered to be one of the best pre-eruption signatures for CMEs. Here, we investigate the thermodynamic evolution of an on-disk sigmoid observed during December 24-28, 2015. For this purpose, we have employed Emission Measure (EM) and filter-ratio techniques on the observations recorded by the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) and X-ray Telescope (XRT) onboard Hinode. The EM analysis showed multi-thermal plasma along the sigmoid and provided a peak temperature of 10-12.5 MK for all observed flares. The sigmoidal structure showed emission from Fe XVIII (93.93 {\AA}) and Fe XXI 128.75 {\AA}) lines in the AIA 94 and 131 {\AA} channels, respectively. Our results show that the hot plasma is often confined to very hot strands. The temperature obtained from the EM analysis was found to be in good agreement with that obtained using the XRT, AIA, and GOES filter-ratio methods. These results provide important constraints for the thermodynamic modeling of sigmoidal structures in the core of active regions. Moreover, this study also benchmarks different techniques available for temperature estimation in solar coronal structures.


title: A numerical algorithm based on probing to find optimized transmission conditions

abstract: Optimized Schwarz Methods (OSMs) are based on optimized transmission conditions along the interfaces between the subdomains. Optimized transmission conditions are derived at the theoretical level, using techniques developed in the last decades. The hypothesis behind these analyses are quite strong, so that the applicability of OSMs is still limited. In this manuscript, we present a numerical algorithm to obtain optimized transmission conditions for any given problem at hand. This algorithm requires few subdomain solves to be performed in an offline phase. This additional cost is usually negligible due to the resulting faster convergence, even in a single-query context.


title: Impact of the error structure on the design and analysis of enzyme kinetic models

abstract: The statistical analysis of enzyme kinetic reactions usually involves models of the response functions which are well defined on the basis of Michaelis-Menten type equations. The error structure however is often without good reason assumed as additive Gaussian noise. This simple assumption may lead to undesired properties of the analysis, particularly when simulations are involved and consequently negative simulated reaction rates may occur. In this study we investigate the effect of assuming multiplicative lognormal errors instead. While there is typically little impact on the estimates, the experimental designs and their efficiencies are decisively affected, particularly when it comes to model discrimination problems.


title: Hierarchical Random Walker Segmentation for Large Volumetric Biomedical Images

abstract: The random walker method for image segmentation is a popular tool for semi-automatic image segmentation, especially in the biomedical field. However, its linear asymptotic run time and memory requirements make application to 3D datasets of increasing sizes impractical. We propose a hierarchical framework that, to the best of our knowledge, is the first attempt to overcome these restrictions for the random walker algorithm and achieves sublinear run time and constant memory complexity. The goal of this framework is -- rather than improving the segmentation quality compared to the baseline method -- to make interactive segmentation on out-of-core datasets possible. The method is evaluated quantitavely on synthetic data and the CT-ORG dataset where the expected improvements in algorithm run time while maintaining high segmentation quality are confirmed. The incremental (i.e., interaction update) run time is demonstrated to be in seconds on a standard PC even for volumes of hundreds of gigabytes in size. In a small case study the applicability to large real world from current biomedical research is demonstrated. An implementation of the presented method is publicly available in version 5.2 of the widely used volume rendering and processing software Voreen (https://www.uni-muenster.de/Voreen/).


title: Color image segmentation based on a convex K-means approach

abstract: Image segmentation is a fundamental and challenging task in image processing and computer vision. The color image segmentation is attracting more attention due to the color image provides more information than the gray image. In this paper, we propose a variational model based on a convex K-means approach to segment color images. The proposed variational method uses a combination of $l_1$ and $l_2$ regularizers to maintain edge information of objects in images while overcoming the staircase effect. Meanwhile, our one-stage strategy is an improved version based on the smoothing and thresholding strategy, which contributes to improving the accuracy of segmentation. The proposed method performs the following steps. First, we specify the color set which can be determined by human or the K-means method. Second, we use a variational model to obtain the most appropriate color for each pixel from the color set via convex relaxation and lifting. The Chambolle-Pock algorithm and simplex projection are applied to solve the variational model effectively. Experimental results and comparison analysis demonstrate the effectiveness and robustness of our method.


title: Free-lattice functors weakly preserve epi-pullbacks

abstract: Suppose $p(x,y,z)$ and $q(x,y,z)$ are terms. If there is a common "ancestor" term $s(z_{1},z_{2},z_{3},z_{4})$ specializing to $p$ and $q$ through identifying some variables \begin{align*} p(x,y,z) & \approx s(x,y,z,z)\\ q(x,y,z) & \approx s(x,x,y,z), \end{align*} then the equation \[ p(x,x,z)\approx q(x,z,z) \] is trivially obtained by syntactic unification of $s(x,y,z,z)$ with $s(x,x,y,z).$ In this note we show that for lattice terms, and more generally for terms of lattice-ordered algebras, the converse is true, too. Given terms $p,q,$ and an equation \begin{equation} p(u_{1},\ldots,u_{m})\approx q(v_{1},\ldots,v_{n})\label{eq:p_eq_q} \end{equation} where $\{u_{1},\ldots,u_{m}\}=\{v_{1},\ldots,v_{n}\},$ there is always an "ancestor term" $s(z_{1},\ldots,z_{r})$ such that $p(x_{1},\ldots,x_{m})$ and $q(y_{1},\ldots,y_{n})$ arise as substitution instances of $s,$ whose unification results in the original equation. In category theoretic terms the above proposition, when restricted to lattices, has a much more concise formulation: Free-lattice functors weakly preserves pullbacks of epis.


title: Endangered Languages are not Low-Resourced!

abstract: The term low-resourced has been tossed around in the field of natural language processing to a degree that almost any language that is not English can be called "low-resourced"; sometimes even just for the sake of making a mundane or mediocre paper appear more interesting and insightful. In a field where English is a synonym for language and low-resourced is a synonym for anything not English, calling endangered languages low-resourced is a bit of an overstatement. In this paper, I inspect the relation of the endangered with the low-resourced from my own experiences.


title: A Practical Guide to Multi-Objective Reinforcement Learning and Planning

abstract: Real-world decision-making tasks are generally complex, requiring trade-offs between multiple, often conflicting, objectives. Despite this, the majority of research in reinforcement learning and decision-theoretic planning either assumes only a single objective, or that multiple objectives can be adequately handled via a simple linear combination. Such approaches may oversimplify the underlying problem and hence produce suboptimal results. This paper serves as a guide to the application of multi-objective methods to difficult problems, and is aimed at researchers who are already familiar with single-objective reinforcement learning and planning methods who wish to adopt a multi-objective perspective on their research, as well as practitioners who encounter multi-objective decision problems in practice. It identifies the factors that may influence the nature of the desired solution, and illustrates by example how these influence the design of multi-objective decision-making systems for complex problems.


title: Estimating Quantum and Private capacities of Gaussian channels via degradable extensions

abstract: We present upper bounds on the quantum and private capacity of single-mode, phase-insentitive Bosonic Gaussian Channels based on degradable extensions. Our findings are state-of-the-art in the following parameter regions: low temperature and high transmissivity for the thermal attenuator, low temperature for additive Gaussian noise, high temperature and intermediate amplification for the thermal amplifier.


title: Failed attempt to escape from the quantum pigeon conundrum

abstract: A recent criticism by Kunstatter et al. [Phys. Lett. A 384, 126686 (2020)] of a quantum setup violating the pigeon counting principle [Aharonov et al. PNAS 113, 532 (2016)] is refuted. The quantum nature of the violation of the pigeonhole principle with pre- and postselection is clarified.


title: Complex nilmanifolds with constant holomorphic sectional curvature

abstract: A well known conjecture in complex geometry states that a compact Hermitian manifold with constant holomorphic sectional curvature must be K\"ahler if the constant is non-zero and must be Chern flat if the constant is zero. The conjecture is confirmed in complex dimension $2$, by the work of Balas-Gauduchon in 1985 (when the constant is zero or negative) and by Apostolov-Davidov-Muskarov in 1996 (when the constant is positive). For higher dimensions, the conjecture is still largely unknown. In this article, we restrict ourselves to the class of complex nilmanifolds and confirm the conjecture in that case.


title: Adaptive use of replicated Latin Hypercube Designs for computing Sobol' sensitivity indices

abstract: As recently pointed out in the field of Global Sensitivity Analysis (GSA) of computer simulations, the use of replicated Latin Hypercube Designs (rLHDs) is a cost-saving alternative to regular Monte Carlo sampling to estimate first-order Sobol' indices. Indeed, two rLHDs are sufficient to compute the whole set of those indices regardless of the number of input variables. This relies on a permutation trick which, however, only works within the class of estimators called Oracle 2. In the present paper, we show that rLHDs are still beneficial to another class of estimators, called Oracle 1, which often outperforms Oracle 2 for estimating small and moderate indices. Even though unlike Oracle 2 the computation cost of Oracle 1 depends on the input dimension, the permutation trick can be applied to construct an averaged (triple) Oracle 1 estimator whose great accuracy is presented on a numerical example. Thus, we promote an adaptive rLHDs-based Sobol' sensitivity analysis where the first stage is to compute the whole set of first-order indices by Oracle 2. If needed, the accuracy of small and moderate indices can then be reevaluated by the averaged Oracle 1 estimators. This strategy, cost-saving and guaranteeing the accuracy of estimates, is applied to a computer model from the nuclear field.


title: A Computational Study of Perspective Cuts

abstract: The benefits of cutting planes based on the perspective function are well known for many specific classes of mixed-integer nonlinear programs with on/off structures. However, we are not aware of any empirical studies that evaluate their applicability and computational impact over large, heterogeneous test sets in general-purpose solvers. This paper provides a detailed computational study of perspective cuts within a linear programming based branch-and-cut solver for general mixed-integer nonlinear programs. Within this study, we extend the applicability of perspective cuts from convex to nonconvex nonlinearities. This generalization is achieved by applying a perspective strengthening to valid linear inequalities which separate solutions of linear relaxations. The resulting method can be applied to any constraint where all variables appearing in nonlinear terms are semi-continuous and depend on at least one common indicator variable. Our computational experiments show that adding perspective cuts for convex constraints yields a consistent improvement of performance, and adding perspective cuts for nonconvex constraints reduces branch-and-bound tree sizes and strengthens the root node relaxation, but has no significant impact on the overall mean time.


title: Modeling differential rates of aging using routine laboratory data; Implications for morbidity and health care expenditure

abstract: Aging is a multidimensional process where phenotypes change at varying rates. Longitudinal studies of aging typically involve following a cohort of individuals over the course of several years. This design is hindered by cost, attrition, and subsequently small sample size. Alternative methodologies are therefore warranted. In this study, we used a variational autoencoder to estimate rates of aging from cross-sectional data from routine laboratory tests of 1.4 million individuals collected from 2016 to 2019. By incorporating metrics that would ensure model's stability and distinctness of the dimensions, we uncovered four aging dimensions that represent the following bodily functions: 1) kidney, 2) thyroid, 3) white blood cells, and 4) liver and heart. We then examined the relationship between rates of aging on morbidity and health care expenditure. In general, faster agers along these dimensions are more likely to develop chronic diseases that are related to these bodily functions. They also had higher health care expenditures compared to the slower agers. K-means clustering of individuals based on rate of aging revealed that clusters with higher odds of developing morbidity had the highest cost across all types of health care services. Results suggest that cross-sectional laboratory data can be leveraged as an alternative methodology to understand age along the different dimensions. Moreover, rates of aging are differentially related to future costs, which can aid in the development of interventions to delay disease progression.


title: Regularized Behavior Value Estimation

abstract: Offline reinforcement learning restricts the learning process to rely only on logged-data without access to an environment. While this enables real-world applications, it also poses unique challenges. One important challenge is dealing with errors caused by the overestimation of values for state-action pairs not well-covered by the training data. Due to bootstrapping, these errors get amplified during training and can lead to divergence, thereby crippling learning. To overcome this challenge, we introduce Regularized Behavior Value Estimation (R-BVE). Unlike most approaches, which use policy improvement during training, R-BVE estimates the value of the behavior policy during training and only performs policy improvement at deployment time. Further, R-BVE uses a ranking regularisation term that favours actions in the dataset that lead to successful outcomes. We provide ample empirical evidence of R-BVE's effectiveness, including state-of-the-art performance on the RL Unplugged ATARI dataset. We also test R-BVE on new datasets, from bsuite and a challenging DeepMind Lab task, and show that R-BVE outperforms other state-of-the-art discrete control offline RL methods.


title: The U-Net based GLOW for Optical-Flow-free Video Interframe Generation

abstract: Video frame interpolation is the task of creating an interframe between two adjacent frames along the time axis. So, instead of simply averaging two adjacent frames to create an intermediate image, this operation should maintain semantic continuity with the adjacent frames. Most conventional methods use optical flow, and various tools such as occlusion handling and object smoothing are indispensable. Since the use of these various tools leads to complex problems, we tried to tackle the video interframe generation problem without using problematic optical flow . To enable this , we have tried to use a deep neural network with an invertible structure, and developed an U-Net based Generative Flow which is a modified normalizing flow. In addition, we propose a learning method with a new consistency loss in the latent space to maintain semantic temporal consistency between frames. The resolution of the generated image is guaranteed to be identical to that of the original images by using an invertible network. Furthermore, as it is not a random image like the ones by generative models, our network guarantees stable outputs without flicker. Through experiments, we \sam {confirmed the feasibility of the proposed algorithm and would like to suggest the U-Net based Generative Flow as a new possibility for baseline in video frame interpolation. This paper is meaningful in that it is the world's first attempt to use invertible networks instead of optical flows for video interpolation.


title: Theoretical bounds on data requirements for the ray-based classification

abstract: The problem of classifying high-dimensional shapes in real-world data grows in complexity as the dimension of the space increases. For the case of identifying convex shapes of different geometries, a new classification framework has recently been proposed in which the intersections of a set of one-dimensional representations, called rays, with the boundaries of the shape are used to identify the specific geometry. This ray-based classification (RBC) has been empirically verified using a synthetic dataset of two- and three-dimensional shapes (Zwolak et al. in Proceedings of Third Workshop on Machine Learning and the Physical Sciences (NeurIPS 2020), Vancouver, Canada [December 11, 2020], arXiv:2010.00500, 2020) and, more recently, has also been validated experimentally (Zwolak et al., PRX Quantum 2:020335, 2021). Here, we establish a bound on the number of rays necessary for shape classification, defined by key angular metrics, for arbitrary convex shapes. For two dimensions, we derive a lower bound on the number of rays in terms of the shape's length, diameter, and exterior angles. For convex polytopes in $\mathbb{R}^N$, we generalize this result to a similar bound given as a function of the dihedral angle and the geometrical parameters of polygonal faces. This result enables a different approach for estimating high-dimensional shapes using substantially fewer data elements than volumetric or surface-based approaches.


title: Exactly solvable double-well potential in Schr\"odinger equation for inversion mode of phosphine molecule

abstract: The reduced mass of the effective quantum particle for the inversion mode $\nu_2$ of phosphine molecule ${\rm{PH_3}}$ is known to be a position dependent one. In the present article the inversion spectrum of ${\rm{PH_3}}$ is considered with the help of the Schr\"odinger equation (SE) with position dependent mass and corresponding modified double-well potential. The SE is shown to be exactly solvable. The results are used for the analysis of the pertinent experimental data available in literature. We are based on the reliable value $\nu_2=E_2-E_0=992.1\ {\rm cm^{-1}}$ ($2\nu_2=E_4-E_0=1972.5\ {\rm cm^{-1}}$; $3\nu_2=E_6-E_0=2940.8\ {\rm cm^{-1}}$; $4\nu_2=E_8-E_0=3895.9\ {\rm cm^{-1}}$) obtained by \v Spirko et al. Also we use the value for the barrier height $E_b=12300 \ {\rm cm^{-1}}$ that seems to be commonly accepted at present and the hypothetical value for the energy splitting of the 11-th doublet of the $10\nu_2$ band $s_{10}=E_{21}-E_{20}\approx 7.2\ {\rm cm^{-1}}$ suggested in the literature. Definite predictions are derived for the energy splitting of the 4-th doublet of the $3\nu_2$ band $s_3=E_{7}-E_{6}$ that is a test one for the observation in the experiment of Okuda et al. SE with position dependent mass provides self-consistently the required values of $\{\nu_2; E_b;s_{10}\}$ yielding $s_3= 6.21\cdot 10^{-12}\ {\rm cm^{-1}}$.


title: A generalisation of Pisier homogeneous Banach algebra

abstract: In 1979 Pisier proved remarkably that a sequence of independent and identically distributed standard Gaussian random variables determines, via random Fourier series, a homogeneous Banach algebra $\mathscr{P}$ strictly contained in $C(\mathbb{T})$, the class of continuous functions on the unit circle $\mathbb{T}$ and strictly containing the classical Wiener algebra $\mathbb{A}(\mathbb{T})$, that is, $\mathbb{A}(\mathbb{T}) \subsetneqq \mathscr{P} \subsetneqq C(\mathbb{T}).$ This improved some previous results obtained by Zafran in solving a long-standing problem raised by Katznelson. In this paper we extend Pisier's result by showing that any probability measure on the unit circle defines a homogeneous Banach algebra contained in $C(\mathbb{T})$. Thus Pisier algebra is not an isolated object but rather an element in a large class of Pisier-type algebras. We consider the case of spectral measures of stationary sequences of Gaussian random variables and obtain a sufficient condition for the boundedness of the random Fourier series $\sum_{n\in \mathbb{Z}}\hat f(n) \,\xi_n \exp(2\pi i n t)$ in the general setting of dependent random variables $(\xi_n)$.


title: Entropy Multiparticle Correlation Expansion for a Crystal

abstract: As first shown by H. S. Green in 1952, the entropy of a classical fluid of identical particles can be written as a sum of many-particle contributions, each of them being a distinctive functional of all spatial distribution functions up to a given order. By revisiting the combinatorial derivation of the entropy formula, we argue that a similar correlation expansion holds for the entropy of a crystalline system. We discuss how one- and two-body entropies scale with the size of the crystal, and provide fresh numerical data to check the expectation, grounded on theoretical arguments, that both entropies are extensive quantities.


title: Influence of thermal fluctuations on active diffusion at large P\'{e}clet numbers

abstract: Wavelet Monte Carlo dynamics simulations are used to study the dynamics of passive particles in the presence of microswimmers, taking account of the often-omitted thermal motion alongside the hydrodynamic flows generated by the swimmers. Although the P\'{e}clet numbers considered are large, we find the thermal motion to have a significant effect on the dynamics of our passive particles, and can be included as a decorrelation factor in the velocity autocorrelation with a decay time proportional to the P\'{e}clet number. Similar decorrelation factors come from swimmer rotations, e.g.~run and tumble motion, and apply to both entrainment and far field loop contributions. These decorrelation factors lead to active diffusivity having a weak apparent power law close to $Pe^{0.2}$ for small tracer-like particles at P\'{e}clet numbers appropriate for E. coli swimmers at room temperature. Meanwhile, the reduced hydrodynamic response of large particles to nearby forces has a corresponding reduction in active diffusivity in that regime. Together, they lead to a non-monotonic dependence of active diffusivity on particle size that can shed light on similar behaviour observed in experiments by Patteson et al.


title: Spin Resonance Amplitude and Frequency of a Single Atom on a Surface in a Vector Magnetic Field

abstract: We used electron spin resonance (ESR) combined with scanning tunneling microscopy (STM) to measure hydrogenated Ti (spin-1/2) atoms at low-symmetry binding sites on MgO in vector magnetic fields. We found strongly anisotropic g-values in all three spatial directions. Interestingly, the amplitude and lineshape of the ESR signals are also strongly dependent on the angle of the field. We conclude that the Ti spin is aligned along the magnetic field, while the tip spin follows its strong magnetic anisotropy. Our results show the interplay between the tip and surface spins in determining the ESR signals and highlight the precision of ESR-STM to identify the single atom's spin states.


title: 2D Points Curve Reconstruction Survey and Benchmark

abstract: Curve reconstruction from unstructured points in a plane is a fundamental problem with many applications that has generated research interest for decades. Involved aspects like handling open, sharp, multiple and non-manifold outlines, run-time and provability as well as potential extension to 3D for surface reconstruction have led to many different algorithms. We survey the literature on 2D curve reconstruction and then present an open-sourced benchmark for the experimental study. Our unprecedented evaluation on a selected set of planar curve reconstruction algorithms aims to give an overview of both quantitative analysis and qualitative aspects for helping users to select the right algorithm for specific problems in the field. Our benchmark framework is available online to permit reproducing the results, and easy integration of new algorithms.


title: The Parallel Full Approximation Scheme in Space and Time for a Parabolic Finite Element Problem

abstract: The parallel full approximation scheme in space and time (PFASST) is a parallel-in-time integrator that allows to integrate multiple time-steps simultaneously. It has been shown to extend scaling limits of spatial parallelization strategies when coupled with finite differences, spectral discretizations, or particle methods. In this paper we show how to use PFASST together with a finite element discretization in space. While seemingly straightforward, the appearance of the mass matrix and the need to restrict iterates as well as residuals in space makes this task slightly more intricate. We derive the PFASST algorithm with mass matrices and appropriate prolongation and restriction operators and show numerically that PFASST can, after some initial iterations, gain two orders of accuracy per iteration.


title: Courant bracket twisted both by a 2-form $B$ and by a bi-vector $\theta$

abstract: We obtain the Courant bracket twisted simultaneously by a 2-form $B$ and a bi-vector $\theta$ by calculating the Poisson bracket algebra of the symmetry generator in the basis obtained acting with the relevant twisting matrix. It is the extension of the Courant bracket that contains well known Schouten-Nijenhuis and Koszul bracket, as well as some new star brackets. We give interpretation to the star brackets as projections on isotropic subspaces.


title: An Inextensible Model for Robotic Simulations of Textiles

abstract: We introduce a new isometric strain model for the study of the dynamics of cloth garments in a moderate stress environment, such as robotic manipulation in the neighborhood of humans. This model treats textiles as surfaces which are inextensible, admitting only isometric motions. Inextensibility is imposed in a continuous setting, prior to any discretization, which gives consistency with respect to re-meshing and prevents the problem of locking even with coarse meshes. The simulations of robotic manipulation using the model are compared to the actual manipulation in the real world, finding that the error between the simulated and real position of each point in the garment is lower than 1cm in average, even when a coarse mesh is used. Aerodynamic contributions to motion are incorporated to the model through the virtual uncoupling of the inertial and gravitational mass of the garment. This approach results in an accurate, as compared to reality, description of cloth motion incorporating aerodynamic effects by using only two parameters.


title: Regularity Conditions for Iterated Shuffle on Commutative Regular Languages

abstract: We identify a subclass of the regular commutative languages that is closed under the iterated shuffle, or shuffle closure. In particular, it is regularity-preserving on this subclass. This subclass contains the commutative group languages and, for every alphabet $\Sigma$, the class $\textbf{Com}^+(\Sigma^*)$ given by the ordered variety $\textbf{Com}^+$. Then, we state a simple characterization when the iterated shuffle on finite commutative languages gives a regular language again and state partial results for aperiodic commutative languages. We also show that the aperiodic, or star-free, commutative languages and the commutative group languages are closed under projection.


title: An Efficient Method for the Classification of Croplands in Scarce-Label Regions

abstract: Two of the main challenges for cropland classification by satellite time-series images are insufficient ground-truth data and inaccessibility of high-quality hyperspectral images for under-developed areas. Unlabeled medium-resolution satellite images are abundant, but how to benefit from them is an open question. We will show how to leverage their potential for cropland classification using self-supervised tasks. Self-supervision is an approach where we provide simple training signals for the samples, which are apparent from the data's structure. Hence, they are cheap to acquire and explain a simple concept about the data. We introduce three self-supervised tasks for cropland classification. They reduce epistemic uncertainty, and the resulting model shows superior accuracy in a wide range of settings compared to SVM and Random Forest. Subsequently, we use the self-supervised tasks to perform unsupervised domain adaptation and benefit from the labeled samples in other regions. It is crucial to know what information to transfer to avoid degrading the performance. We show how to automate the information selection and transfer process in cropland classification even when the source and target areas have a very different feature distribution. We improved the model by about 24% compared to a baseline architecture without any labeled sample in the target domain. Our method is amenable to gradual improvement, works with medium-resolution satellite images, and does not require complicated models. Code and data are available.


title: Ultracold Bosons on a Regular Spherical Mesh

abstract: I study the zero-temperature phase behavior of bosonic particles living on the nodes of a regular spherical mesh ("Platonic mesh") and interacting through an extended Bose-Hubbard Hamiltonian. Only the hard-core version of the model is considered here, for two instances of Platonic mesh. Using the mean-field decoupling approximation, I show that the system may exist in various ground states, which can be regarded as analogs of gas, solid, supersolid, and superfluid. For one mesh, by comparing the theoretical results with the outcome of numerical diagonalization, I manage to uncover the signatures of diagonal and off-diagonal spatial orders in a finite quantum system.


title: Formation of tungsten carbide by focused ion beam process: A route to high magnetic field resilient patterned superconducting nanostructures

abstract: A scale for magnetic field resilience of a superconductor is set by the paramagnetic limit. Comparing the condensation energy of the Bardeen-Cooper-Schrieffer (BCS) singlet ground state with the paramagnetically polarised state suggests that for an applied field ${\mu_0}H > 1.8~T_c$ (in SI), singlet pairing is not energetically favourable. Materials exceeding or approaching this limit are interesting from fundamental and technological perspectives. This may be a potential indicator of triplet superconductivity, Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) pairing and other mechanisms involving topological aspects of surface states, and also allow Cooper pair injection at high magnetic fields. We have analysed the microscopic composition of such a material arising from an unexpected source. A microjet of an organo-metallic gas, $\rm {W[(CO)_6]}$ can be decomposed by gallium ion-beam, leaving behind a track of complex residue of gallium, tungsten and carbon with remarkable superconducting properties, like an upper critical field, $H_{c2} > 10~{\rm T} $, above its paramagnetic limit. We carried out Atomic probe tomography to establish the formation of nano-crystalline tungsten carbide (WC) in the tracks and the absence of free tungsten. Supporting calculations show for Ga distributed on the surface of WC, its s,p-orbitals enhance the density of states near the Fermi energy. The observed variation of $H_{c2}(T)$ does not show features typical of enhancement of critical field due to granularity. Our observations may be significant in the context of some recent theoretical calculation of the band structure of WC and experimental observation of superconductivity in WC-metal interface.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Automatic Generation of Contrast Sets from Scene Graphs: Probing the Compositional Consistency of GQA

abstract: Recent works have shown that supervised models often exploit data artifacts to achieve good test scores while their performance severely degrades on samples outside their training distribution. Contrast sets (Gardneret al., 2020) quantify this phenomenon by perturbing test samples in a minimal way such that the output label is modified. While most contrast sets were created manually, requiring intensive annotation effort, we present a novel method which leverages rich semantic input representation to automatically generate contrast sets for the visual question answering task. Our method computes the answer of perturbed questions, thus vastly reducing annotation cost and enabling thorough evaluation of models' performance on various semantic aspects (e.g., spatial or relational reasoning). We demonstrate the effectiveness of our approach on the GQA dataset and its semantic scene graph image representation. We find that, despite GQA's compositionality and carefully balanced label distribution, two high-performing models drop 13-17% in accuracy compared to the original test set. Finally, we show that our automatic perturbation can be applied to the training set to mitigate the degradation in performance, opening the door to more robust models.


title: Improved Constructions for Secure Multi-Party Batch Matrix Multiplication

abstract: This paper investigates the problem of Secure Multi-party Batch Matrix Multiplication (SMBMM), where a user aims to compute the pairwise products $\mathbf{A}\divideontimes\mathbf{B}\triangleq(\mathbf{A}^{(1)}\mathbf{B}^{(1)},\ldots,\mathbf{A}^{(M)}\mathbf{B}^{(M)})$ of two batch of massive matrices $\mathbf{A}$ and $\mathbf{B}$ that are generated from two sources, through $N$ honest but curious servers which share some common randomness. The matrices $\mathbf{A}$ (resp. $\mathbf{B}$) must be kept secure from any subset of up to $X_{\mathbf{A}}$ (resp. $X_\mathbf{B}$) servers even if they collude, and the user must not obtain any information about $(\mathbf{A},\mathbf{B})$ beyond the products $\mathbf{A}\divideontimes\mathbf{B}$. A novel computation strategy for single secure matrix multiplication problem (i.e., the case $M=1$) is first proposed, and then is generalized to the strategy for SMBMM by means of cross subspace alignment. The SMBMM strategy focuses on the tradeoff between recovery threshold (the number of successful computing servers that the user needs to wait for), system cost (upload cost, the amount of common randomness, and download cost) and system complexity (encoding, computing, and decoding complexities). Notably, compared with the known result by Chen et al., the strategy for the degraded case $X= X_{\mathbf{A}}=X_{\mathbf{B}}$ achieves better recovery threshold, amount of common randomness, download cost and decoding complexity when $X$ is less than some parameter threshold, while the performance with respect to other measures remain identical.


title: Code-Mixing on Sesame Street: Dawn of the Adversarial Polyglots

abstract: Multilingual models have demonstrated impressive cross-lingual transfer performance. However, test sets like XNLI are monolingual at the example level. In multilingual communities, it is common for polyglots to code-mix when conversing with each other. Inspired by this phenomenon, we present two strong black-box adversarial attacks (one word-level, one phrase-level) for multilingual models that push their ability to handle code-mixed sentences to the limit. The former uses bilingual dictionaries to propose perturbations and translations of the clean example for sense disambiguation. The latter directly aligns the clean example with its translations before extracting phrases as perturbations. Our phrase-level attack has a success rate of 89.75% against XLM-R-large, bringing its average accuracy of 79.85 down to 8.18 on XNLI. Finally, we propose an efficient adversarial training scheme that trains in the same number of steps as the original model and show that it improves model accuracy.


title: Some applications of the Menshov-Rademacher theorem

abstract: Given a sequence $(X_n)$ of real or complex random variables and a sequence of numbers $(a_n)$, an interesting problem is to determine the conditions under which the series $\sum_{n=1}^\infty a_n X_n$ is almost surely convergent. This paper extends the classical Menshov--Rademacher theorem on the convergence of orthogonal series to general series of dependent random variables and derives interesting sufficient conditions for the almost everywhere convergence of trigonometric series with respect to singular measures whose Fourier transform decays to 0 at infinity with positive rate.


title: Assessing Smart Contracts Security Technical Debts

abstract: Smart contracts are self-enforcing agreements that are employed to exchange assets without the approval of trusted third parties. This feature has encouraged various sectors to make use of smart contracts when transacting. Experience shows that many deployed contracts are vulnerable to exploitation due to their poor design, which allows attackers to steal valuable assets from the involved parties. Therefore, an assessment approach that allows developers to recognise the consequences of deploying vulnerable contracts is needed. In this paper, we propose a debt-aware approach for assessing security design vulnerabilities in smart contracts. Our assessment approach involves two main steps: (i) identification of design vulnerabilities using security analysis techniques and (ii) an estimation of the ramifications of the identified vulnerabilities leveraging the technical debt metaphor, its principal and interest. We use examples of vulnerable contracts to demonstrate the applicability of our approach. The results show that our assessment approach increases the visibility of security design issues. It also allows developers to concentrate on resolving smart contract vulnerabilities through technical debt impact analysis and prioritisation. Developers can use our approach to inform the design of more secure contracts and for reducing unintentional debts caused by a lack of awareness of security issues.


title: Dynamic Appointment Scheduling

abstract: This paper considers appointment scheduling in a setting in which at every client arrival the schedule of all future clients can be adapted. Starting our analysis with an explicit treatment of the case of exponentially distributed service times, we then develop a phase-type-based approach to also cover cases in which the service times' squared coefficient of variation differs from 1. The approach relies on dynamic programming, with the state information being the number of clients waiting, the elapsed service time of the client in service, and the number of clients still to be scheduled. The use of dynamic schedules is illustrated through a set of numerical experiments, showing (i) the effect of wrongly assuming exponentially distributed service times, and (ii) the gains (over static schedules, that is) achieved by rescheduling.


title: Cosmological perturbations in f(G) gravity

abstract: We explore cosmological perturbations in a modified Gauss-Bonnet f(G) gravity, using a 1+3 covariant formalism. In such a formalism, we define gradient variables to get perturbed linear evolution equations. We transform these linear evolution equations into ordinary differential equations using a spherical harmonic decomposition method. The obtained ordinary differential equations are time-dependent and then transformed into redshift dependent. After these transformations, we analyze energy-density perturbations for two-fluid systems, namely for a Gauss-Bonnet field-dust system and for a Gaus-Bonnet field-radiation system for three different pedagogical f(G) models: trigonometric, exponential, and logarithmic. For the Gauss-Bonnet field-dust system, energy-density perturbations decay with an increase in redshift for all three models. For the Gauss-Bonnet field-radiation system, the energy-density perturbations decay with an increase in redshift for all of the three f(G) models for long-wavelength modes whereas for short-wavelength modes, the energy-density perturbations decay with increasing redshift for the logarithmic and exponential f(G) models and oscillate with decreasing amplitude for the trigonometric f(G) model.


title: On the asymptotic optimality of spectral coarse spaces

abstract: This paper is concerned with the asymptotic optimality of spectral coarse spaces for two-level iterative methods. Spectral coarse spaces, namely coarse spaces obtained as the span of the slowest modes of the used one-level smoother, are known to be very efficient and, in some cases, optimal. However, the results of this paper show that spectral coarse spaces do not necessarily minimize the asymptotic contraction factor of a two-level iterative method. Moreover, numerical experiments show that there exist coarse spaces that are asymptotically more efficient and lead to preconditioned systems with improved conditioning properties.


title: Bose-Hubbard model on polyhedral graphs

abstract: Ever since the first observation of Bose-Einstein condensation in the nineties, ultracold quantum gases have been the subject of intense research, providing a unique tool to understand the behavior of matter governed by the laws of quantum mechanics. Ultracold bosonic atoms loaded in an optical lattice are usually described by the Bose-Hubbard model or a variant of it. In addition to the common insulating and superfluid phases, other phases (like density waves and supersolids) may show up in the presence of a short-range interparticle repulsion and also depending on the geometry of the lattice. We herein explore this possibility, using the graph of a convex polyhedron as "lattice" and playing with the coordination of nodes to promote the wanted finite-size ordering. To accomplish the job we employ the method of decoupling approximation, whose efficacy is tested in one case against exact diagonalization. We report zero-temperature results for two Catalan solids, the tetrakis hexahedron and the pentakis dodecahedron, for which a thorough ground-state analysis reveals the existence of insulating "phases" with polyhedral order and a widely extended supersolid region. The key to this outcome is the unbalance in coordination between inequivalent nodes of the graph. The predicted phases can be probed in systems of ultracold atoms using programmable holographic optical tweezers.


title: $C^\ast$-extreme maps and nests

abstract: The generalized state space $ S_{\mathcal{H}}(\mathcal{\mathcal{A}})$ of all unital completely positive (UCP) maps on a unital $C^*$-algebra $\mathcal{A}$ taking values in the algebra $\mathcal{B}(\mathcal{H})$ of all bounded operators on a Hilbert space $\mathcal{H}$, is a $C^\ast$-convex set. In this paper, we establish a connection between $C^\ast$-extreme points of $S_{\mathcal{H}}(\mathcal{A})$ and a factorization property of certain algebras associated to the UCP map. In particular, this factorization property of some nest algebras is used to give a complete characterization of those $C^\ast$-extreme maps which are direct sums of pure UCP maps. This significantly extends a result of Farenick and Zhou [Proc. Amer. Math. Soc. 126 (1998)] from finite to infinite dimensional Hilbert spaces. Also it is shown that normal $C^\ast$-extreme maps on type $I$ factors are direct sums of normal pure UCP maps if and only if an associated algebra is reflexive. Further, a Krein-Milman type theorem is established for $C^\ast$-convexity of the set $ S_{\mathcal{H}}(\mathcal{A})$ equipped with bounded weak topology, whenever $\mathcal{A}$ is a separable $C^\ast$-algebra or it is a type $I$ factor. As an application, we provide a new proof of a classical factorization result on operator valued Hardy algebras.


title: Ancillary science with Ariel: Feasibility and scientific potential of young stellar object observations

abstract: To investigate the feasibility of ancillary target observations with ESA's Ariel mission, we compiled a list of potentially interesting young stars: FUors, systems harbouring extreme debris discs and a larger sample of young stellar objects showing strong near/mid-infrared excess. These objects can be observed as additional targets in the waiting times between the scheduled exoplanet transit and occultation observations. After analyzing the schedule for Ariel an algorithm was constructed to find the optimal target to be observed in each gap. The selection was mainly based on the slew and stabilization time needed to observe the selected YSO, but it also incorporated the scientific importance of the targets and whether they have already been sufficiently measured. After acquiring an adequately large sample of simulation data, it was concluded that approximately 99.2% of the available -- at least one hour long -- gaps could be used effectively. With an average slewing and stabilization time of about 16.7 minutes between scheduled exoplanet transits and ancillary targets, this corresponds to an additional $2881 \pm 56$ hours of active data gathering. When this additional time is used to observe our selected 200 ancillary targets, a typical signal-to-noise ratio of $\sim$10$^4$ can be achieved along the whole spectral window covered by Ariel.


title: On the Role of Images for Analyzing Claims in Social Media

abstract: Fake news is a severe problem in social media. In this paper, we present an empirical study on visual, textual, and multimodal models for the tasks of claim, claim check-worthiness, and conspiracy detection, all of which are related to fake news detection. Recent work suggests that images are more influential than text and often appear alongside fake text. To this end, several multimodal models have been proposed in recent years that use images along with text to detect fake news on social media sites like Twitter. However, the role of images is not well understood for claim detection, specifically using transformer-based textual and multimodal models. We investigate state-of-the-art models for images, text (Transformer-based), and multimodal information for four different datasets across two languages to understand the role of images in the task of claim and conspiracy detection.


title: DoubleML -- An Object-Oriented Implementation of Double Machine Learning in R

abstract: The R package DoubleML implements the double/debiased machine learning framework of Chernozhukov et al. (2018). It provides functionalities to estimate parameters in causal models based on machine learning methods. The double machine learning framework consist of three key ingredients: Neyman orthogonality, high-quality machine learning estimation and sample splitting. Estimation of nuisance components can be performed by various state-of-the-art machine learning methods that are available in the mlr3 ecosystem. DoubleML makes it possible to perform inference in a variety of causal models, including partially linear and interactive regression models and their extensions to instrumental variable estimation. The object-oriented implementation of DoubleML enables a high flexibility for the model specification and makes it easily extendable. This paper serves as an introduction to the double machine learning framework and the R package DoubleML. In reproducible code examples with simulated and real data sets, we demonstrate how DoubleML users can perform valid inference based on machine learning methods.


title: On the Rise and Fall of Simple Stupid Bugs: a Life-Cycle Analysis of SStuBs

abstract: Bug detection and prevention is one of the most important goals of software quality assurance. Nowadays, many of the major problems faced by developers can be detected or even fixed fully or partially with automatic tools. However, recent works explored that there exists a substantial amount of simple yet very annoying errors in code-bases, which are easy to fix, but hard to detect as they do not hinder the functionality of the given product in a major way. Programmers introduce such errors accidentally, mostly due to inattention. Using the ManySStuBs4J dataset, which contains many simple, stupid bugs, found in GitHub repositories written in the Java programming language, we investigated the history of such bugs. We were interested in properties such as: How long do such bugs stay unnoticed in code-bases? Whether they are typically fixed by the same developer who introduced them? Are they introduced with the addition of new code or caused more by careless modification of existing code? We found that most of such stupid bugs lurk in the code for a long time before they get removed. We noticed that the developer who made the mistake seems to find a solution faster, however less then half of SStuBs are fixed by the same person. We also examined PMD's performance when to came to flagging lines containing SStuBs, and found that similarly to SpotBugs, it is insufficient when it comes to finding these types of errors. Examining the life-cycle of such bugs allows us to better understand their nature and adjust our development processes and quality assurance methods to better support avoiding them.


title: Visual Place Recognition using LiDAR Intensity Information

abstract: Robots and autonomous systems need to know where they are within a map to navigate effectively. Thus, simultaneous localization and mapping or SLAM is a common building block of robot navigation systems. When building a map via a SLAM system, robots need to re-recognize places to find loop closure and reduce the odometry drift. Image-based place recognition received a lot of attention in computer vision, and in this work, we investigate how such approaches can be used for 3D LiDAR data. Recent LiDAR sensors produce high-resolution 3D scans in combination with comparably stable intensity measurements. Through a cylindrical projection, we can turn this information into a panoramic image. As a result, we can apply techniques from visual place recognition to LiDAR intensity data. The question of how well this approach works in practice has not been answered so far. This paper provides an analysis of how such visual techniques can be with LiDAR data, and we provide an evaluation on different datasets. Our results suggest that this form of place recognition is possible and an effective means for determining loop closures.


title: Code Word Detection in Fraud Investigations using a Deep-Learning Approach

abstract: In modern litigation, fraud investigators often face an overwhelming number of documents that must be reviewed throughout a matter. In the majority of legal cases, fraud investigators do not know beforehand, exactly what they are looking for, nor where to find it. In addition, fraudsters may use deception to hide their behaviour and intentions by using code words. Effectively, this means fraud investigators are looking for a needle in the haystack without knowing what the needle looks like. As part of a larger research program, we use a framework to expedite the investigation process applying text-mining and machine learning techniques. We structure this framework using three well-known methods in fraud investigations: (i) the fraud triangle (ii) the golden ("W") investigation questions, and (iii) the analysis of competing hypotheses. With this framework, it is possible to automatically organize investigative data, so it is easier for investigators to find answers to typical investigative questions. In this research, we focus on one of the components of this framework: the identification of the usage of code words by fraudsters. Here for, a novel (annotated) synthetic data set is created containing such code words, hidden in normal email communication. Subsequently, a range of machine learning techniques are employed to detect such code words. We show that the state-of-the-art BERT model significantly outperforms other methods on this task. With this result, we demonstrate that deep neural language models can reliably (F1 score of 0.9) be applied in fraud investigations for the detection of code words.


title: Spontaneous dust pulse formation in the afterglow of complex plasmas under microgravity conditions

abstract: A new type of nonlinear dust pulse structures has been observed in afterglow complex plasma under microgravity condition on board the International Space Station (ISS). The dust pulses are triggered spontaneously as the plasma is switched off and the particles start to flow through each other (uni-directional or counter-streaming) in the presence of a low-frequency external electric excitation. The pulses are oblique with respect to the microparticle cloud and appear to be symmetric with respect to the central axis. A possible explanation of this observation with the spontaneous development of a double layer in the afterglow of complex plasma is described.


title: Aromatics and Cyclic Molecules in Molecular Clouds: A New Dimension of Interstellar Organic Chemistry

abstract: Astrochemistry lies at the nexus of astronomy, chemistry, and molecular physics. On the basis of precise laboratory data, a rich collection of more than 200 familiar and exotic molecules have been identified in the interstellar medium, the vast majority by their unique rotational fingerprint. Despite this large body of work, there is scant evidence in the radio band for the basic building blocks of chemistry on earth -- five and six-membered rings -- despite long standing and sustained efforts during the past 50 years. In contrast, a peculiar structural motif, highly unsaturated carbon in a chain-like arrangement, is instead quite common in space. The recent astronomical detection of cyanobenzene, the simplest aromatic nitrile, in the dark molecular cloud TMC-1, and soon afterwards in additional pre-stellar, and possibly protostellar sources, establishes that aromatic chemistry is likely widespread in the earliest stages of star formation. The subsequent discovery of cyanocyclopentadienes and even cyanonapthlenes in TMC-1 provides further evidence that organic molecules of considerable complexity are readily synthesized in regions with high visual extinction but where the low temperature and pressure are remarkably low. This review focuses on laboratory efforts now underway to understand the rich transition region between linear and planar carbon structures using microwave spectroscopy. We present key features, advantages, and disadvantages of current detection methods, a discussion of the types of molecules found in space and in the laboratory, and approaches under development to identify entirely new species in complex mixtures. Studies focusing on the cyanation of hydrocarbons and the formation of benzene from acyclic precursors are highlighted, as is the role that isotopic studies might play in elucidating the chemical pathways to ring formation.


title: Characterizing Tseitin-formulas with short regular resolution refutations

abstract: Tseitin-formulas are systems of parity constraints whose structure is described by a graph. These formulas have been studied extensively in proof complexity as hard instances in many proof systems. In this paper, we prove that a class of unsatisfiable Tseitin-formulas of bounded degree has regular resolution refutations of polynomial length if and only if the treewidth of all underlying graphs $G$ for that class is in $O(\log|V(G)|)$. To do so, we show that any regular resolution refutation of an unsatisfiable Tseitin-formula with graph $G$ of bounded degree has length $2^{\Omega(tw(G))}/|V(G)|$, thus essentially matching the known $2^{O(tw(G))}poly(|V(G)|)$ upper bound up. Our proof first connects the length of regular resolution refutations of unsatisfiable Tseitin-formulas to the size of representations of \textit{satisfiable} Tseitin-formulas in decomposable negation normal form (DNNF). Then we prove that for every graph $G$ of bounded degree, every DNNF-representation of every satisfiable Tseitin-formula with graph $G$ must have size $2^{\Omega(tw(G))}$ which yields our lower bound for regular resolution.


title: Central Algebraic Geometry and Seminormality

abstract: We develop the theory of central ideals on commutative rings. We introduce and study the central seminormalization of a ring in another one. This seminormalization is related to the theory of regulous functions on real algebraic varieties. We provide a construction of the central seminormalization by a decomposition theorem in elementary central gluings. The existence of a central seminormalization is established in the affine case and for real schemes.


title: Algebraic degeneracy of holomorphic curves

abstract: We consider the algebraic degeneracy of holomorphic curves from a point of view of meromorphic vector fields. Employing the notion of Jocabian sections introduced by W. Stoll, we establish a Second Main Theorem type inequality. As consequences, several algebraic degeneracy theorems are obtained for holomorphic curves into a complex projective variety.


title: On the "Einstein-Gauss-Bonnet Gravity in Four Dimension"

abstract: To ensure the existence of a well defined linearized gravitational wave equation, we show that the spacetimes in the so-called "Einstein-Gauss-Bonnet gravity in four dimension" have to be locally conformally flat.


title: Singularly Perturbed Boundary-Equilibrium Bifurcations

abstract: Boundary equilibria bifurcation (BEB) arises in piecewise-smooth systems when an equilibrium collides with a discontinuity set under parameter variation. Singularly perturbed BEB refers to a bifurcation arising in singular perturbation problems which limit as some $\epsilon \to 0$ to piecewise-smooth (PWS) systems which undergo a BEB. This work completes a classification for codimension-1 singularly perturbed BEB in the plane initiated by the present authors in [19], using a combination of tools from PWS theory, geometric singular perturbation theory (GSPT) and a method of geometric desingularization known as blow-up. After deriving a local normal form capable of generating all 12 singularly perturbed BEBs, we describe the unfolding in each case. Detailed quantitative results on saddle-node, Andronov-Hopf, homoclinic and codimension-2 Bogdanov-Takens bifurcations involved in the unfoldings and classification are presented. Each bifurcation is singular in the sense that it occurs within a domain which shrinks to zero as $\epsilon \to 0$ at a rate determined by the rate at which the system loses smoothness. Detailed asymptotics for a distinguished homoclinic connection which forms the boundary between two singularly perturbed BEBs in parameter space are also given. Finally, we describe the explosive onset of oscillations arising in the unfolding of a particular singularly perturbed boundary-node (BN) bifurcation. We prove the existence of the oscillations as perturbations of PWS cycles, and derive a growth rate which is polynomial in $\epsilon$ and dependent on the rate at which the system loses smoothness. For all the results presented herein, corresponding results for regularized PWS systems are obtained via the limit $\epsilon \to 0$.


title: Should the Endless Frontier of Federal Science be Expanded?

abstract: Scientific research in the United States could receive a large increase in federal funding--up to 100 billion dollars over five years -- if proposed legislation entitled the Endless Frontiers Act becomes law. This bipartisan and bicameral bill, introduced in May 2020 by Senators Chuck Schumer (D-NY) and Todd Young (R-IN) and Congressmen Ro Khanna (D-CA) and Mike Gallagher (R-WI), is intended to expand the funding of the physical sciences, engineering, and technology at the National Science Foundation (NSF) and create a new Technology Directorate focused on use-inspired research. In addition to provisions to protect the NSF's current missions, a minimum of 15\% of the newly appropriated funds would be used to enhance NSF's basic science portfolio. The Endless Frontier Act offers a rare opportunity to enhance the breadth and financial support of the American research enterprise. In this essay, we consider the benefits and the liabilities of the proposed legislation and recommend changes that would further strengthen it.

categories: physics.soc-ph astro-ph.IM econ.GN physics.hist-ph q-bio.OT q-fin.EC


title: Asymptotic stability of scalar multi-D inviscid shock waves

abstract: In several space dimensions, scalar shock waves between two constant states u $\pm$ are not necessarily planar. We describe them in detail. Then we prove their asymptotic stability, assuming that they are uniformly non-characteristic. Our result is conditional for a general flux, while unconditional for the multi-D Burgers equation.


title: A JPEG-based image coding solution for data storage on DNA

abstract: The efficient storage of digital data is becoming very challenging over the years due to the exponential increase in the generation of data which can't compete with the existing storage resources. Furthermore, the infrequently accessed data can be safely stored for no longer than 10-20 years due to the short life-span of conventional storage devices. To this end, recent studies have proven DNA to be a very promising candidate for the long-term storage of digital data. Several pioneering works have proposed different encoding methods for the specific encoding of images into a quaternary DNA representation while first compressing the image using the classical JPEG standard to reduce the high cost of DNA synthesis. However this type of compression is not optimized with respect to the quaternary DNA code and results in an open-loop workflow. In our previous works we have introduced the first closed-loop solution for generating a constrained fixed-length quaternary code which allows controlling the synthesis cost thanks to a source allocation algorithm. In this paper, we extend our studies to proposing a variable-length encoding solution which is based on the JPEG standard.


title: Monoceros OB4: a new association in Gaia DR2

abstract: We use Gaia DR2 data to survey the classic Monoceros OB1 region and look for the existence of a dispersed young population, co-moving with the cloud complex. An analysis of the distribution of proper motions reveals a 20-30 Myr association of young stars, about 300-400 pc away from the far side of the Mon OB1 complex, along the same general line-of-sight. We characterize the new association, Monoceros OB4, and estimate it contains between 1400 and 2500 stars, assuming a standard IMF, putting it on par in size with NGC\,2264. We find from the internal proper motions that Mon OB4 is unbound and expanding. Our results seem to unveil a larger and more complex Monoceros star formation region, suggesting an elongated arrangement that seems to be at least 300 x 60 pc.


title: Chemical sensing with graphene: A quantum field theory perspective

abstract: We studied theoretically the effect of a low concentration of adsorbed polar molecules on the optical conductivity of graphene, within the Kubo linear response approximation. Our analysis is based on a continuum model approximation that includes up to next to nearest neighbors in the pristine graphene effective Hamiltonian, thus extending the field-theoretical analysis developed in Refs.[1,2]. Our results show that the conductivity can be expressed in terms of renormalized quasiparticle parameters $\tilde{v}_F$, $\tilde{M}$ and $\tilde{\mu}$ that include the effect of the molecular surface concentration $n_{dip}$ and dipolar moment $\boldsymbol{\mathcal{P}}$, thus providing an analytical model for a graphene-based chemical sensor.


title: Sparse multivariate regression with missing values and its application to the prediction of material properties

abstract: In the field of materials science and engineering, statistical analysis and machine learning techniques have recently been used to predict multiple material properties from an experimental design. These material properties correspond to response variables in the multivariate regression model. This study conducts a penalized maximum likelihood procedure to estimate model parameters, including the regression coefficients and covariance matrix of response variables. In particular, we employ $l_1$-regularization to achieve a sparse estimation of regression coefficients and the inverse covariance matrix of response variables. In some cases, there may be a relatively large number of missing values in response variables, owing to the difficulty in collecting data on material properties. A method to improve prediction accuracy under the situation with missing values incorporates a correlation structure among the response variables into the statistical model. The expectation and maximization algorithm is constructed, which enables application to a data set with missing values in the responses. We apply our proposed procedure to real data consisting of 22 material properties.


title: AndroidCompass: A Dataset of Android Compatibility Checks in Code Repositories

abstract: Many developers and organizations implement apps for Android, the most widely used operating system for mobile devices. Common problems developers face are the various hardware devices, customized Android variants, and frequent updates, forcing them to implement workarounds for the different versions and variants of Android APIs used in practice. In this paper, we contribute the Android Compatibility checkS dataSet (AndroidCompass) that comprises changes to compatibility checks developers use to enforce workarounds for specific Android versions in their apps. We extracted 80,324 changes to compatibility checks from 1,394 apps by analyzing the version histories of 2,399 projects from the F-Droid catalog. With AndroidCompass, we aim to provide data on when and how developers introduced or evolved workarounds to handle Android incompatibilities. We hope that AndroidCompass fosters research to deal with version incompatibilities, address potential design flaws, identify security concerns, and help derive solutions for other developers, among others-helping researchers to develop and evaluate novel techniques, and Android app as well as operating-system developers in engineering their software.