title: Application of a modified chirp-taper scheme for generation of attosecond pulses in XUV and soft X-ray FELs

abstract: Typically, in Self-Amplified Spontaneous Emission Free Electron Laser (SASE FEL) based short-pulse schemes, pulse duration is limited by FEL coherence time. For hard X-ray FELs, coherence time is in a few hundred attosecond range while for XUV and soft X-ray FELs it is in the femtosecond regime. In this paper the modification of so-called chirp-taper scheme is developed that allows to overcome the coherence time barrier. Numerical simulations for XUV and soft X-ray FEL user facility FLASH demonstrate that one can generate a few hundred attosecond long pulses in the wavelength range 2 - 10 nm with peak power reaching hundreds of megawatts. With several thousand pulses per second this can be a unique source for attosecond science.


title: Constructing Whitney sets via IFS with condensation

abstract: In 1935, Whitney constructed a smooth function for which the Morse-Sard Theorem does not hold. Whitney's construction is closely related to certain compact connected set, which is called Whitney set now. From then on, there are a lot of works on Whitney sets. In this paper, we use IFS with condensation, a notion introduced by Barnsley and Demko in 1985, to construct Whitney arcs and Whitney sets. Our construction includes most early results as special cases.


title: Kruskal-Wallis Power Studies Utilizing Bernstein Distributions; preliminary empirical studies using simulations/medical studies

abstract: Bernstein fits implemented into R allow another route for Kruskal-Wallis power-study tool development. Monte-Carlo Kruskal-Wallis power studies were compared with measured power, with Monte-Carlo ANOVA equivalent and with an analytical method, with or without normalization, using four simulated runs each with 60-100 populations (each population with N=30000 from a set of Pearson-type ranges): random selection gave 6300 samples analysed for predictive power. Three medical-study datasets (Dialysis/systolic blood pressure; Diabetes/sleep-hours; Marital-status/high-density-lipoprotein cholesterol) were also analysed. In three from four simulated runs (run_one, run_one_relaxed, and run_three) with Pearson types pooled, Monte-Carlo Kruskal-Wallis gave predicted sample sizes significantly slightly lower than measured but more accurate than with ANOVA methods; the latter gave high sample-size predictions. Populations (run_one_relaxed) with ANOVA assumptions invalid gave Kruskal-Wallis predictions similar to those measured. In two from three medical studies, Kruskal-Wallis predictions (Dialysis: similar predictions; Marital: higher than measured) were more accurate than ANOVA (both higher than measured) but in one (Diabetes) the reverse was found (Kruskal-Wallis: lower; Monte-Carlo ANOVA: similar to measured). These preliminary studies appear to show that Monte-Carlo Kruskal-Wallis power studies based on Bernstein fits might perform better than ANOVA equivalents in many settings (and provide reasonable results when ANOVA cannot be used); and both Monte-Carlo methods appeared considerably more accurate than the analysed analytical version.


title: The symbiotic binary St 2-22: Orbital and stellar parameters and jet evolution following its 2019 outburst

abstract: St 2-22 is a relatively poorly studied S-type symbiotic system that belongs to a small group of jet-producing systems as a result of disc accretion onto a white dwarf fed by its red giant companion. The goal of this paper is to analyse the nature and derive the basic parameters of St 2-22, and to follow the jet evolution. Photometric monitoring for over 16 yrs and high-quality spectroscopic data enabled us to shed new light on its nature. The high-resolution SALT spectra and $V I_C$ photometry obtained during and between the last two outbursts have been used to search for periodic changes, to derive spectroscopic orbits of both system components, and to study the outburst and jet evolution. We present the orbital and stellar parameters of the system components. The orbital period is $P_{orb} = 918 \pm6^d$. The double-line spectroscopic orbits indicate the mass ratio $q = M_{g} M_{h}^{-1} = 3.50 \pm0.53$, and the components masses $M_{g} \sin^3{i} \sim 2.35$ M$_{sun}$ and $M_{h} \sin^3{i} \sim 0.67$ M$_{sun}$. The orbit shows significant eccentricity, $e = 0.16 \pm0.07$. The orbital inclination is close to 70 degrees. During outbursts, accelerating and decelerating jets are observed with changes in their radial velocity component in a range from $\sim 1500$ up to nearly $1800$ km s$^{-1}$. St 2-22 turned out to be a classical symbiotic system very similar to the precursor of the group - Z And.


title: DQC: a Python program package for Differentiable Quantum Chemistry

abstract: Automatic differentiation represents a paradigm shift in scientific programming, where evaluating both functions and their derivatives is required for most applications. By removing the need to explicitly derive expressions for gradients, development times can be be shortened, and calculations simplified. For these reasons, automatic differentiation has fueled the rapid growth of a variety of sophisticated machine learning techniques over the past decade, but is now also increasingly showing its value to support {\it ab initio} simulations of quantum systems, and enhance computational quantum chemistry. Here we present an open-source differentiable quantum chemistry simulation code, DQC, and explore applications facilitated by automatic differentiation: (1) calculating molecular perturbation properties; (2) reoptimizing a basis set for hydrocarbons; (3) checking the stability of self-consistent field wave functions; and (4) predicting molecular properties via alchemical perturbations.


title: Depth-only Object Tracking

abstract: Depth (D) indicates occlusion and is less sensitive to illumination changes, which make depth attractive modality for Visual Object Tracking (VOT). Depth is used in RGBD object tracking where the best trackers are deep RGB trackers with additional heuristic using depth maps. There are two potential reasons for the heuristics: 1) the lack of large RGBD tracking datasets to train deep RGBD trackers and 2) the long-term evaluation protocol of VOT RGBD that benefits from heuristics such as depth-based occlusion detection. In this work, we study how far D-only tracking can go if trained with large amounts of depth data. To compensate the lack of depth data, we generate depth maps for tracking. We train a "Depth-DiMP" from the scratch with the generated data and fine-tune it with the available small RGBD tracking datasets. The depth-only DiMP achieves good accuracy in depth-only tracking and combined with the original RGB DiMP the end-to-end trained RGBD-DiMP outperforms the recent VOT 2020 RGBD winners.


abstract: Several video-based 3D pose and shape estimation algorithms have been proposed to resolve the temporal inconsistency of single-image-based methods. However it still remains challenging to have stable and accurate reconstruction. In this paper, we propose a new framework Deep Two-Stream Video Inference for Human Body Pose and Shape Estimation (DTS-VIBE), to generate 3D human pose and mesh from RGB videos. We reformulate the task as a multi-modality problem that fuses RGB and optical flow for more reliable estimation. In order to fully utilize both sensory modalities (RGB or optical flow), we train a two-stream temporal network based on transformer to predict SMPL parameters. The supplementary modality, optical flow, helps to maintain temporal consistency by leveraging motion knowledge between two consecutive frames. The proposed algorithm is extensively evaluated on the Human3.6 and 3DPW datasets. The experimental results show that it outperforms other state-of-the-art methods by a significant margin.


title: Conditional Variational Autoencoder for Learned Image Reconstruction

abstract: Learned image reconstruction techniques using deep neural networks have recently gained popularity, and have delivered promising empirical results. However, most approaches focus on one single recovery for each observation, and thus neglect the uncertainty information. In this work, we develop a novel computational framework that approximates the posterior distribution of the unknown image at each query observation. The proposed framework is very flexible: It handles implicit noise models and priors, it incorporates the data formation process (i.e., the forward operator), and the learned reconstructive properties are transferable between different datasets. Once the network is trained using the conditional variational autoencoder loss, it provides a computationally efficient sampler for the approximate posterior distribution via feed-forward propagation, and the summarizing statistics of the generated samples are used for both point-estimation and uncertainty quantification. We illustrate the proposed framework with extensive numerical experiments on positron emission tomography (with both moderate and low count levels) showing that the framework generates high-quality samples when compared with state-of-the-art methods.


title: How to Choose a Gauge? The case of Hamiltonian Electromagnetism

abstract: We develop some ideas about gauge symmetry in the context of Maxwell's theory of electromagnetism in the Hamiltonian formalism. One great benefit of this formalism is that it pairs momentum and configurational degrees of freedom, so that a decomposition of one side into subsets can be translated into a decomposition of the other. In the case of electromagnetism, this enables us to pair degrees of freedom of the electric field with degrees of freedom of the vector potential. Another benefit is that the formalism algorithmically identifies subsets of the equations of motion that represent time-dependent symmetries. For electromagnetism, these two benefits allow us to define gauge-fixing in parallel to special decompositions of the electric field. More specifically, we apply the Helmholtz decomposition theorem to split the electric field into its Coulombic and radiative parts, and show how this gives a special role to the Coulomb gauge (i.e. div$({\bf A}) = 0$). We relate this argument to Maudlin's (2018) discussion, which advocated the Coulomb gauge.


title: Active tuning of highly anisotropic phonon polaritons in van der Waals crystal slabs by gated graphene

abstract: Phonon polaritons (PhPs) -- lattice vibrations coupled to electromagnetic fields -- in highly anisotropic media display a plethora of intriguing optical phenomena (including ray-like propagation, anomalous refraction, and topological transitions, among others), which have potential for unprecedented manipulation of the flow of light at the nanoscale. However, the propagation properties of these PhPs are intrinsically linked to the anisotropic crystal structure of the host material. Although in-plane anisotropic PhPs can be steered (and even canalized) by twisting individual crystal slabs in a van der Waals (vdW) stack, active control of their propagation via external stimuli presents a significant challenge. Here, we report on a technology in which anisotropic PhPs supported by biaxial vdW slabs are actively tunable by simply gating an integrated graphene layer. Excitingly, we predict active tuning of optical topological transitions, which enable controlling the canalization of PhPs along different in-plane directions in twisted heterostructures. Apart from their fundamental interest, our findings hold promises for the development of optoelectronic devices (sensors, photodetectors, etc.) based on PhPs with dynamically controllable properties.


title: Multimodal-Boost: Multimodal Medical Image Super-Resolution using Multi-Attention Network with Wavelet Transform

abstract: Deep learning based single image super resolution (SISR) algorithms has revolutionized the overall diagnosis framework by continually improving the architectural components and training strategies associated with convolutional neural networks (CNN) on low-resolution images. However, existing work lacks in two ways: i) the SR output produced exhibits poor texture details, and often produce blurred edges, ii) most of the models have been developed for a single modality, hence, require modification to adapt to a new one. This work addresses (i) by proposing generative adversarial network (GAN) with deep multi-attention modules to learn high-frequency information from low-frequency data. Existing approaches based on the GAN have yielded good SR results; however, the texture details of their SR output have been experimentally confirmed to be deficient for medical images particularly. The integration of wavelet transform (WT) and GANs in our proposed SR model addresses the aforementioned limitation concerning textons. While the WT divides the LR image into multiple frequency bands, the transferred GAN uses multi-attention and upsample blocks to predict high-frequency components. Additionally, we present a learning method for training domain-specific classifiers as perceptual loss functions. Using a combination of multi-attention GAN loss and a perceptual loss function results in an efficient and reliable performance. Applying the same model for medical images from diverse modalities is challenging, our work addresses (ii) by training and performing on several modalities via transfer learning. Using two medical datasets, we validate our proposed SR network against existing state-of-the-art approaches and achieve promising results in terms of SSIM and PSNR.


title: Adaptive Fusion Affinity Graph with Noise-free Online Low-rank Representation for Natural Image Segmentation

abstract: Affinity graph-based segmentation methods have become a major trend in computer vision. The performance of these methods relies on the constructed affinity graph, with particular emphasis on the neighborhood topology and pairwise affinities among superpixels. Due to the advantages of assimilating different graphs, a multi-scale fusion graph has a better performance than a single graph with single-scale. However, these methods ignore the noise from images which influences the accuracy of pairwise similarities. Multi-scale combinatorial grouping and graph fusion also generate a higher computational complexity. In this paper, we propose an adaptive fusion affinity graph (AFA-graph) with noise-free low-rank representation in an online manner for natural image segmentation. An input image is first over-segmented into superpixels at different scales and then filtered by the proposed improved kernel density estimation method. Moreover, we select global nodes of these superpixels on the basis of their subspace-preserving presentation, which reveals the feature distribution of superpixels exactly. To reduce time complexity while improving performance, a sparse representation of global nodes based on noise-free online low-rank representation is used to obtain a global graph at each scale. The global graph is finally used to update a local graph which is built upon all superpixels at each scale. Experimental results on the BSD300, BSD500, MSRC, SBD, and PASCAL VOC show the effectiveness of AFA-graph in comparison with state-of-the-art approaches.


title: Angle dependent field-driven reorientation transitions in uniaxial antiferromagnet MnBi$_2$Te$_4$ single crystal

abstract: MnBi$_2$Te$_4$, a two-dimensional magnetic topological insulator with a uniaxial antiferromagnetic structure, is an ideal platform to realize quantum anomalous Hall effect. However, the strength of magnetic interactions is not clear yet. We performed systematic studies on the magnetization and angle dependent magnetotransport of MnBi$_2$Te$_4$ single crystal. The results show that the direction of the magnetic field has significant effects on the critical field values and magnetic structure of this compound, which leads to different magnetotransport behaviors. The field-driven reorientation transitions can be utilized to estimate the AFM interlayer exchange interaction coupling and uniaxial magnetic anisotropy D. The obtained Hamiltonian can well explain the experimental data by Monte Carlo simulations. Our comprehensive studies on the field-driven magnetic transitions phenomenon in MnBi$_2$Te$_4$ provide a general approach for other topological systems with antiferromagnetism.


title: Prime numbers of the form $\mathbf{[n^c tan^\theta(log n)]}$

abstract: Let $[\, \cdot\,]$ be the floor function. In the present paper we prove that when $1<c<\frac{12}{11}$ and $\theta>1$ is a fixed, then there exist infinitely many prime numbers of the form $[n^c \tan^\theta(\log n)]$.


title: Differentially Private Coordinate Descent for Composite Empirical Risk Minimization

abstract: Machine learning models can leak information about the data used to train them. To mitigate this issue, Differentially Private (DP) variants of optimization algorithms like Stochastic Gradient Descent (DP-SGD) have been designed to trade-off utility for privacy in Empirical Risk Minimization (ERM) problems. In this paper, we propose Differentially Private proximal Coordinate Descent (DP-CD), a new method to solve composite DP-ERM problems. We derive utility guarantees through a novel theoretical analysis of inexact coordinate descent. Our results show that, thanks to larger step sizes, DP-CD can exploit imbalance in gradient coordinates to outperform DP-SGD. We also prove new lower bounds for composite DP-ERM under coordinate-wise regularity assumptions, that are nearly matched by DP-CD. For practical implementations, we propose to clip gradients using coordinate-wise thresholds that emerge from our theory, avoiding costly hyperparameter tuning. Experiments on real and synthetic data support our results, and show that DP-CD compares favorably with DP-SGD.


title: Counterfactuals in Branching Time: The Weakest Solution

abstract: In this paper, we present a formal analysis of temporally sensitive counterfactual conditionals. We observe a set of key metaphysical and conceptual problems in regards to counterfactual statements and time. Bearing that in mind, we present the weakest combination of Ockhamist branching time temporal logic and minimal counterfactual logic P and argue in favor of that simple solution.


title: Wide elastic wave bandgap metamaterial with single phase constituent

abstract: Accomplishing a wide elastic wave bandgap with single phase constituent is of primary interest in developing phononic metamaterials. In the present article, exploiting spatial periodicity, a single phase lattice is configured towards achieving a large frequency bandgap in sonic range. Numerical simulations reveal the presence of a comprehensive bandgap of 18 kHz in the 2 to 22 kHz range with systematically localizing the same constituent material in the lattice. Bloch wave modes unravel the involvement of dipole, monopole, and quadrupole resonances for wide and connected bandgaps. The existence of salient bandgaps is experimentally validated by analyzing the mechanical wave transmission.


title: Return of the plane evolute

abstract: Below we consider the evolutes of plane real-algebraic curves and discuss some of their complex and real-algebraic properties. In particular, for a given degree $d\ge 2$, we provide lower bounds for the following four numerical invariants: 1) the maximal number of times a real line can intersect the evolute of a real-algebraic curve of degree $d$; 2) the maximal number of real cusps which can occur on the evolute of a real-algebraic curve of degree $d$; 3) the maximal number of (cru)nodes which can occur on the dual curve to the evolute of a real-algebraic curve of degree $d$; 4) the maximal number of (cru)nodes which can occur on the evolute of a real-algebraic curve of degree $d$.


title: ListReader: Extracting List-form Answers for Opinion Questions

abstract: Question answering (QA) is a high-level ability of natural language processing. Most extractive ma-chine reading comprehension models focus on factoid questions (e.g., who, when, where) and restrict the output answer as a short and continuous span in the original passage. However, in real-world scenarios, many questions are non-factoid (e.g., how, why) and their answers are organized in the list format that contains multiple non-contiguous spans. Naturally, existing extractive models are by design unable to answer such questions. To address this issue, this paper proposes ListReader, a neural ex-tractive QA model for list-form answer. In addition to learning the alignment between the question and content, we introduce a heterogeneous graph neural network to explicitly capture the associations among candidate segments. Moreover, our model adopts a co-extraction setting that can extract either span- or sentence-level answers, allowing better applicability. Two large-scale datasets of different languages are constructed to support this study. Experimental results show that our model considerably outperforms various strong baselines. Further discussions provide an intuitive understanding of how our model works and where the performance gain comes from.


title: M-stationarity for a class of MPCCs in Lebesgue spaces

abstract: We show that an optimality condition of M-stationarity type holds for minimizers of a class of mathematical programs with complementarity constraints (MPCCs) in Lebesgue spaces. We apply these results also to local minimizers of an inverse optimal control problem (which is an instance of an infinite-dimensional bilevel optimization problem). The multipliers for the M-stationarity system can be constructed via convex combinations of various multipliers to auxiliary, linear problems. However, proving the existence of the multipliers to these auxiliary problems is difficult and only possible in some situations.


title: Airport-Airline Coordination with Economic, Environmental and Social Considerations

abstract: In this paper, we examine the effect of various contracts between a socially concerned airport and an environmentally conscious airline regarding their profitability and channel coordination under two distinct settings. First, we consider no government interventions, while in the second, we explore government-imposed taxations to curb emissions. Furthermore, we investigate the impact of passenger greening sensitivity, greening cost, and consumer surplus coefficient on conveyance fees, ticket fare, greening level and the channel welfare. Our analysis shows that the revenue sharing and linear two part tariff contracts coordinate the decentralised airport-airline channel. Our findings also reveal that players greening and social efforts can improve both the welfare and efficiency of the channel simultaneously. Importantly, under government interventions, taxation does help improve the greening level of the channel in both coordinating and non coordinating contracts. However, the greening level in the non-coordinating contracts with taxation is still less than the coordinating contracts even without tax. Finally, we also extended the model to include a duopoly airline market with pricing and greening competition. We analyze the effect of competetiton between airlines on airport utility, airline profit, ticket fare and greening level.


title: Node package manager's dependency network robustness

abstract: The robustness of npm dependency network is a crucial property, since many projects and web applications heavily rely on the functionalities of packages, especially popular ones that have many dependant packages. In the past, there have been instances where the removal or update of certain npm packages has caused widespread chaos and web-page downtime on the internet. Our goal is to track the network's resilience to such occurrences through time and figure out whether the state of the network is trending towards a more robust structure. We show that the network is not robust to targeted attacks, since a security risk in a few crucial nodes affects a large part of the network. Because such packages are often backed up by serious communities with high standards, the issue is not alarming and is a consequence of power law distribution of the network. The current trend in average number of dependencies and effect of important nodes on the rest of the network is decreasing, which further improves the resilience and sets a positive path in development. Furthermore, we show that communities form around the most important packages, although they do not conform well to the common community definition using modularity. We also provide guidelines for package development that increases the robustness of the network and reduces the possibility of introducing security risks.


title: Systems of Dyadic Cubes of Complete, Doubling, Uniformly Perfect Metric Spaces without Detours

abstract: Systems of dyadic cubes are the basic tools of harmonic analysis and geometry, and this notion had been extended to general metric spaces. In this paper, we construct systems of dyadic cubes of complete, doubling, uniformly perfect metric spaces, such that for any two points in the metric space, there exists a chain of three cubes whose diameters are comparable to the distance of the points. We also give an application of our construction to previous research of potential analysis and geometry of metric spaces.


title: An Efficient Branch-and-Bound Solver for Hitting Set

abstract: The hitting set problem asks for a collection of sets over a universe $U$ to find a minimum subset of $U$ that intersects each of the given sets. It is NP-hard and equivalent to the problem set cover. We give a branch-and-bound algorithm to solve hitting set. Though it requires exponential time in the worst case, it can solve many practical instances from different domains in reasonable time. Our algorithm outperforms a modern ILP solver, the state-of-the-art for hitting set, by at least an order of magnitude on most instances.


title: Label free optical transmission tomography for biosystems: Intracellular structures and dynamics

abstract: There is an increasing need for label free methods that could reveal intracellular structures and dynamics. In this context, we develop a new optical tomography method working in transmission - Full-field optical transmission tomography (FF-OTT). The method can measure the forward scattering signals and reveal the metabolic time-dependent signals in living cells. FF-OTT is a common path interferometer taking advantage of the Gouy phase shift - a {\pi} phase shift that the light wave experiences around the focus. By modulating position of the focus one can alter the phase of the scattered light. Demodulation of images with different phases rejects the background and enhances the light from the depth-of-focus, thus producing an optical section. We test FF-OTT by imaging single-cell diatoms and ex vivo biological samples. In fresh samples, we show that the intracellular motions create visible intensity fluctuations in FF-OTT so that the method is able to reveal a metabolic dynamic contrast. FF-OTT was found to be an efficient label free technique that can be readily implemented thanks to a robust common-path speckle-free interferometer design using an incoherent light source.


title: Discorrelation of multiplicative functions with nilsequences and its application on coefficients of automorphic $L$-functions

abstract: We introduce a class of multiplicative functions in which each function satisfies some statistic conditions, and then prove that above functions are not correlated with finite degree polynomial nilsequences. Besides, we give two applications of this result. One is that the twisting of coefficients of automorphic $L$-function on $GL_m (m \geq 2)$ and polynomial nilsequences has logarithmic decay; the other is that the mean value of the M\"obius function, coefficients of automorphic $L$-function and polynomial nilsequences also has logarithmic decay.


title: Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification

abstract: Symbolic execution uses various algorithms (matching, (anti)unification), whose executions are parameters for proof object generation. This paper proposes a generic method for generating proof objects for such parameters. We present in detail how our method works for the case of antiunification. The approach is accompanied by an implementation prototype, including a proof object generator and a proof object checker. In order to investigate the size of the proof objects, we generate and check proof objects for inputs inspired from the K definitions of C and Java.


title: Multi-Particle Tunneling Transport at Strongly-Correlated Interfaces

abstract: We elucidate the multi-particle transport of pair- and spin-tunnelings in strongly correlated interfaces. Not only usual single-particle tunneling but also interaction-induced multi-particle tunneling processes naturally arise from a conventional microscopic model without any empirical parameters, through the overlap of the many-body wave functions around the interface. We demonstrate how anomalous tunneling currents occur in a strongly interacting system due to the pair-tunneling process which we derived microscopically. Our formulation is useful for junction systems in various disciplines, including atomtronics, spintronics, and nuclear reactions.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con nucl-th


title: EOS: Atmospheric Radiative Transfer in Habitable Worlds with HELIOS

abstract: We present EOS, a procedure for determining the Outgoing Longwave Radiation (OLR) and top-of-atmosphere (TOA) albedo for a wide range of conditions expected to be present in the atmospheres of rocky planets with temperate conditions. EOS is based on HELIOS and HELIOS-K, which are novel and publicly available atmospheric radiative transfer (RT) codes optimized for fast calculations with GPU processors. These codes were originally developed for the study of giant planets. In this paper we present an adaptation for applications to terrestrial-type, habitable planets, adding specific physical recipes for the gas opacity and vertical structure of the atmosphere. To test the reliability of the procedure we assessed the impact of changing line opacity profile, continuum opacity model, atmospheric lapse rate and tropopause position prescriptions on the OLR and the TOA albedo. The results obtained with EOS are in line with those of other RT codes running on traditional CPU processors, while being at least one order of magnitude faster. The adoption of OLR and TOA albedo data generated with EOS in a zonal and seasonal climate model correctly reproduce the fluxes of the present-day Earth measured by the CERES spacecraft. The results of this study disclose the possibility to incorporate fast RT calculations in climate models aimed at characterizing the atmospheres of habitable exoplanets.


title: Spatial variation in temperature and density in the IC 63 PDR from $\rm H_{2}$ Spectroscopy

abstract: We have measured the gas temperature in the IC 63 photodissociation region (PDR) using the S(1) and S(5) pure rotation lines of molecular hydrogen with SOFIA/EXES. We divide the PDR into three regions for analysis based on the illumination from $\gamma$ Cas: "sunny," "ridge" and "shady." Constructing rotation diagrams for the different regions, we obtain temperatures of T$_{ex}$=$562^{+52}_{-43}$ K towards the "ridge" and T$_{ex}$=$495^{+28}_{-25}$ K in the "shady" side. The H$_2$ emission was not detected on the "sunny" side of the ridge, likely due to the photo-dissociation of H$_2$ in this gas. Our temperature values are lower than the value of T$_{ex}$=685$\pm$68 K using the S(1), S(3), and S(5) pure rotation lines, derived by Thi et al. (2009) using lower spatial-resolution ISO-SWS data at a different location of the IC 63 PDR. This difference indicates that the PDR is inhomogeneous and illustrates the need for high-resolution mapping of such regions to fully understand their physics. The detection of a temperature gradient correlated with the extinction into the cloud, points to the ability of using H$_2$ pure rotational line spectroscopy to map the gas temperature on small scales. We used a PDR model to estimate the FUV radiation and corresponding gas densities in IC 63. Our results shows the capability of SOFIA/EXES to resolve and provide detailed information on the temperature in such regions.


title: Study of circular geodesics and shadow of rotating charged black hole surrounded by perfect fluid dark matter immersed in plasma

abstract: In this work, we consider a rotating charged black hole surrounded by perfect fluid dark matter. We consider the system to be immersed in non-magnetised, pressureless plasma. First, we evaluate the null geodesics in order to study the co-rotating and counter rotating photon orbits. Further, we analyse the null geodesics to calculate the celestial coordinates ($\alpha, \beta$). The celestial coordinates are used to determine the black hole shadow radius ($R_s$). Thereafter, we observe and analyse the effects of black hole spacetime, perfect fluid dark matter and plasma parameters ($a$, $Q$, $\chi$, $k$) on the black hole shadow in detail. Finally, we study the effect of plasma distribution on the effective potential ($V_{eff}$) of the black hole spacetime as encountered by the photons. We also present bounds on the plasma parameter from the observational data from $M87^{*}$ central supermassive black hole.


title: Measurement disturbance and conservation laws in quantum mechanics

abstract: Measurement error and disturbance, in the presence of conservation laws, are analysed in general operational terms. We provide novel quantitative bounds demonstrating necessary conditions under which accurate or non-disturbing measurements can be achieved, highlighting an interesting interplay between incompatibility, unsharpness, and coherence. From here we obtain a substantial generalisation of the Wigner-Araki-Yanase (WAY) theorem. Our findings are further refined through the analysis of the fixed-point set of the measurement channel, some extra structure of which is characterised here for the first time.


title: The convergence analysis of an accelerated iteration for solving algebraic Riccati equations

abstract: The discrete-time algebraic Riccati equation (DARE) have extensive applications in optimal control problems. We provide new theoretical supports to the stability properties of solutions to the DARE and reduce the convergence conditions under which the accelerated fixed-point iteration (AFPI) can be applied to compute the numerical solutions of DARE. In particular, we verify that the convergence of AFPI is R-superlinear when the spectral radius of the closed-loop matrix is greater than 1, which is shown by mild assumption and only using primary matrix theories. Numerical examples are shown to illustrate the consistency and effectiveness of our theoretical results.


title: Variational Wasserstein Barycenters with c-Cyclical Monotonicity

abstract: Wasserstein barycenter, built on the theory of optimal transport, provides a powerful framework to aggregate probability distributions, and it has increasingly attracted great attention within the machine learning community. However, it suffers from severe computational burden, especially for high dimensional and continuous settings. To this end, we develop a novel continuous approximation method for the Wasserstein barycenters problem given sample access to the input distributions. The basic idea is to introduce a variational distribution as the approximation of the true continuous barycenter, so as to frame the barycenters computation problem as an optimization problem, where parameters of the variational distribution adjust the proxy distribution to be similar to the barycenter. Leveraging the variational distribution, we construct a tractable dual formulation for the regularized Wasserstein barycenter problem with c-cyclical monotonicity, which can be efficiently solved by stochastic optimization. We provide theoretical analysis on convergence and demonstrate the practical effectiveness of our method on real applications of subset posterior aggregation and synthetic data.


title: Colloidal manganese doped ZnS nanoplatelets and their optical properties

abstract: Manganese (Mn)-doped ZnS nanocrystals (NCs) have been extensively explored for optical applications with the advantages of low toxicity, large Stokes shifts, and enhanced thermal and environmental stability. Although numerous studies on Mn-doped ZnS dots, rods, and wires have been reported, the literature related to Mn-doped ZnS nanoplatelets (ZnS:Mn NPLs) is scarce. Here, we present the first example of direct doping of Mn2+ ions into ZnS NPLs via the nucleation-doping strategy. The resulting ZnS:Mn NPLs exhibit Mn luminescence, indicative for successful doping of the host ZnS NPLs with Mn2+ ions. The energy transfer from the ZnS NPLs to the Mn2+ ions was observed by employing spectroscopic methods. Furthermore, the impact of the Mn concentration on the optical properties of ZnS:Mn NPLs was systematically investigated. As a result of Mn-Mn interaction, tunable Mn emission and shortened photoluminescence (PL) lifetime decay were observed and rationalized by means of electron paramagnetic resonance (EPR) and X-ray photoelectron spectroscopy (XPS). Finally, we show that the initially low dopant PL quantum yield (QY) of ZnS:Mn NPLs can be dramatically enhanced by passivating the surface trap states of the samples. The presented synthetic strategy of ZnS:Mn NPLs opens a new way to synthesize further doped systems of two-dimensional (2D) NPLs.


title: Creating Knowledge Graphs Subsets using Shape Expressions

abstract: The initial adoption of knowledge graphs by Google and later by big companies has increased their adoption and popularity. In this paper we present a formal model for three different types of knowledge graphs which we call RDF-based graphs, property graphs and wikibase graphs. In order to increase the quality of Knowledge Graphs, several approaches have appeared to describe and validate their contents. Shape Expressions (ShEx) has been proposed as concise language for RDF validation. We give a brief introduction to ShEx and present two extensions that can also be used to describe and validate property graphs (PShEx) and wikibase graphs (WShEx). One problem of knowledge graphs is the large amount of data they contain, which jeopardizes their practical application. In order to palliate this problem, one approach is to create subsets of those knowledge graphs for some domains. We propose the following approaches to generate those subsets: Entity-matching, simple matching, ShEx matching, ShEx plus Slurp and ShEx plus Pregel which are based on declaratively defining the subsets by either matching some content or by Shape Expressions. The last approach is based on a novel validation algorithm for ShEx based on the Pregel algorithm that can handle big data graphs and has been implemented on Apache Spark GraphX.


title: Two-Dimensional halide perovskites: Synthesis, optoelectronic properties, stability, and applications

abstract: Halide perovskites are promising materials for light-emitting and light-harvesting applications. In this context, two-dimensional perovskites such as nanoplatelets or Ruddlesden-Popper and Dion-Jacobson layered structures are important because of their structural flexibility, electronic confinement, and better stability. This review article brings forth an extensive overview of the recent developments of two-dimensional halide perovskites both in the colloidal and non-colloidal forms. We outline the strategy to synthesize and control the shape and discuss different crystalline phases and optoelectronic properties. We review the applications of two-dimensional perovskites in solar cells, light-emitting diodes, lasers, photodetectors, and photocatalysis. Besides, we also emphasize the moisture, thermal, and photostability of these materials in comparison to their three-dimensional analogs.


title: K\"ahler geometry for $su(1,N|M)$-superconformal mechanics

abstract: We suggest the $su(1,N|M)$-superconformal mechanics formulated in terms of phase superspace given by the non-compact analogue of complex projective superspace $\mathbb{CP}^{N|M}$. We parameterized this phase space by the specific coordinates allowing to interpret it as a higher-dimensional super-analogue of the Lobachevsky plane parameterized by lower half-plane (Klein model). Then we introduced the canonical coordinates corresponding to the known separation of the "radial" and "angular" parts of (super)conformal mechanics. Relating the "angular" coordinates with action-angle variables we demonstrated that proposed scheme allows to construct the $su(1,N|M)$ supeconformal extensions of wide class of superintegrable systems. We also proposed the superintegrable oscillator- and Coulomb- like systems with a $su(1,N|M)$ dynamical superalgebra, and found that oscillator-like systems admit deformed $\mathcal{N}=2M$ Poincar\'e supersymmetry, in contrast with Coulomb-like ones.


title: Incremental SSSP for Sparse Digraphs Beyond the Hopset Barrier

abstract: Given a directed, weighted graph $G=(V,E)$ undergoing edge insertions, the incremental single-source shortest paths (SSSP) problem asks for the maintenance of approximate distances from a dedicated source $s$ while optimizing the total time required to process the insertion sequence of $m$ edges. Recently, Gutenberg, Williams and Wein [STOC'20] introduced a deterministic $\tilde{O}(n^2)$ algorithm for this problem, achieving near linear time for very dense graphs. For sparse graphs, Chechik and Zhang [SODA'21] recently presented a deterministic $\tilde{O}(m^{5/3})$ algorithm, and an adaptive randomized algorithm with run-time $\tilde{O}(m\sqrt{n} + m^{7/5})$. This algorithm is remarkable for two reasons: 1) in very spare graphs it reaches the directed hopset barrier of $\tilde{\Omega}(n^{3/2})$ that applied to all previous approaches for partially-dynamic SSSP [STOC'14, SODA'20, FOCS'20] \emph{and} 2) it does not resort to a directed hopset technique itself. In this article we introduce \emph{propagation synchronization}, a new technique for controlling the error build-up on paths throughout batches of insertions. This leads us to a significant improvement of the approach in [SODA'21] yielding a \emph{deterministic} $\tilde{O}(m^{3/2})$ algorithm for the problem. By a very careful combination of our new technique with the sampling approach from [SODA'21], we further obtain an adaptive randomized algorithm with total update time $\tilde{O}(m^{4/3})$. This is the first partially-dynamic SSSP algorithm in sparse graphs to bypass the notorious directed hopset barrier which is often seen as the fundamental challenge towards achieving truly near-linear time algorithms.


title: Mechanistic Interpretation of Machine Learning Inference: A Fuzzy Feature Importance Fusion Approach

abstract: With the widespread use of machine learning to support decision-making, it is increasingly important to verify and understand the reasons why a particular output is produced. Although post-training feature importance approaches assist this interpretation, there is an overall lack of consensus regarding how feature importance should be quantified, making explanations of model predictions unreliable. In addition, many of these explanations depend on the specific machine learning approach employed and on the subset of data used when calculating feature importance. A possible solution to improve the reliability of explanations is to combine results from multiple feature importance quantifiers from different machine learning approaches coupled with re-sampling. Current state-of-the-art ensemble feature importance fusion uses crisp techniques to fuse results from different approaches. There is, however, significant loss of information as these approaches are not context-aware and reduce several quantifiers to a single crisp output. More importantly, their representation of 'importance' as coefficients is misleading and incomprehensible to end-users and decision makers. Here we show how the use of fuzzy data fusion methods can overcome some of the important limitations of crisp fusion methods.


title: Evolution of Plasma Composition in an Eruptive Flux Rope

abstract: Magnetic flux ropes are bundles of twisted magnetic field enveloping a central axis. They harbor free magnetic energy and can be progenitors of coronal mass ejections (CMEs), but identifying flux ropes on the Sun can be challenging. One of the key coronal observables that has been shown to indicate the presence of a flux rope is a peculiar bright coronal structure called a sigmoid. In this work, we show Hinode EUV Imaging Spectrometer (EIS) observations of sigmoidal active region 10977. We analyze the coronal plasma composition in the active region and its evolution as the sigmoid (flux rope) forms and erupts as a CME. Plasma with photospheric composition was observed in coronal loops close to the main polarity inversion line during episodes of significant flux cancellation, suggestive of the injection of photospheric plasma into these loops driven by photospheric flux cancellation. Concurrently, the increasingly sheared core field contained plasma with coronal composition. As flux cancellation decreased and the sigmoid/flux rope formed, the plasma evolved to an intermediate composition in between photospheric and typical active region coronal compositions. Finally, the flux rope contained predominantly photospheric plasma during and after a failed eruption preceding the CME. The Hence, plasma composition observations of active region 10977 strongly support models of flux rope formation by photospheric flux cancellation forcing magnetic reconnection first at the photospheric level then at the coronal level.


title: Charge Transfer in Ternary Solar Cells Employing Two Fullerene Derivatives: Where do Electrons Go?

abstract: Earlier reports demonstrated that ternary organic solar cells (OSC) made of donor polymers (D) blended with different mixtures of fullerene acceptors (A:A) performed very similarly. This finding is surprising, as the corresponding fullerene LUMO levels are slightly different, which might result in decisive differences in the charge transfer step. We investigate ternary OSC (D:A:A) made of the donor polymer P3HT with stoichiometric mixtures of different fullerene derivatives, PC60BM:PC70BM and PC70BM:IC60BA, respectively. Using quantitative electron paramagnetic resonance (EPR) we can distinguish between positive and negative polarons, localized on the specific molecules. We found that after the initial charge transfer step, the electrons are re-distributed over two nearby acceptors in agreement with their stoichiometry and their relative LUMO energy difference. Remarkably, the measured delta LUMO differences in fullerene mixtures are reduced by an order of magnitude compared to that of the pristine materials, i.e., below 1 meV for PC60BM:PC70BM and (20 +/- 5) meV for PC70BM:IC60BA. Furthermore, we found that this reduced delta LUMO explains the shift in open circuit voltage for D:A:A organic solar cells. We attribute these findings to hybridization, leading to an effective fullerene LUMO. Consequently, multi-acceptor blends are indeed a viable option for photodetectors and solar cells, as they combine the best electron acceptor and light absorbing properties.


title: Analytic derivation of the non-linear gluon distribution function

abstract: In the present article, two analytical solutions based on the Laplace transforms method for the linear and non-linear gluon distribution functions have been presented at low values of $x$. These linear and non-linear methods are presented based on the solutions of the Dokshitzer-Gribov- Lipatov-Altarelli-Parisi (DGLAP) evolution equation and the Gribov-Levin-Ryskin Mueller-Qiu (GLR-MQ) equation at the leading-order accuracy in perturbative QCD respectively. The gluon distributions are obtained directly in terms of the parametrization of structure function $F_{2}(x,Q^{2})$ and its derivative and compared with the results from the parametrization models. The $n_{f}$ changes at the threshold are considered in the numerical results. The effects of the non-linear corrections are visible as $Q^{2}$ decreases and vanish as $Q^{2}$ increases. The nonlinear corrections tame the behavior of the gluon distribution function at low $x$ and $Q^{2}$ in comparison with the parametrization models.


title: Degree one maps on four manifolds with cyclic fundamental groups

abstract: We study degree one maps between closed orientable 4-manifolds with cyclic $\pi_1$, and obtain some results on the existence and finiteness, as well as some relation of $1$-domination and Euler Characteristics.


title: Liquidity-free implied volatilities: an approach using conic finance

abstract: We consider the problem of calculating risk-neutral implied volatilities of European options without relying on option mid prices but solely on bid and ask prices. We provide an approach, based on the conic finance paradigm, that allows to uniquely strip risk-neutral implied volatilities from bid and ask quotes, and that does not require restrictive assumptions. Our methodology also allows to jointly calculate the implied liquidity of the market. The idea outlined in this paper can be applied to calculate other implied parameters from bid and ask security prices as soon as their theoretical risk-neutral counterparts are strictly increasing with respect to the former.


title: Experience with PCIe streaming on FPGA for high throughput ML inferencing

abstract: Achieving maximum possible rate of inferencing with minimum hardware resources plays a major role in reducing enterprise operational costs. In this paper we explore use of PCIe streaming on FPGA based platforms to achieve high throughput. PCIe streaming is a unique capability available on FPGA that eliminates the need for memory copy overheads. We have presented our results for inferences on a gradient boosted trees model, for online retail recommendations. We compare the results achieved with the popular library implementations on GPU and the CPU platforms and observe that the PCIe streaming enabled FPGA implementation achieves the best overall measured performance. We also measure power consumption across all platforms and find that the PCIe streaming on FPGA platform achieves the 25x and 12x better energy efficiency than an implementation on CPU and GPU platforms, respectively. We discuss the conditions that need to be met, in order to achieve this kind of acceleration on the FPGA. Further, we analyze the run time statistics on GPU and FPGA and identify opportunities to enhance performance on both the platforms.


title: Hamiltonian formalism for cosmological perturbations: the separate-universe approach

abstract: The separate-universe approach provides an effective description of cosmological perturbations at large scales, where the universe can be described by an ensemble of independent, locally homogeneous and isotropic patches. By reducing the phase space to homogeneous and isotropic degrees of freedom, it greatly simplifies the analysis of large-scale fluctuations. It is also a prerequisite for the stochastic-inflation formalism. In this work, we formulate the separate-universe approach in the Hamiltonian formalism, which allows us to analyse the full phase-space structure of the perturbations. Such a phase-space description is indeed required in dynamical regimes which do not benefit from a background attractor, as well as to investigate quantum properties of cosmological perturbations. We find that the separate-universe approach always succeeds in reproducing the same phase-space dynamics for homogeneous and isotropic degrees of freedom as the full cosmological perturbation theory, provided that the wavelength of the modes under consideration are larger than some lower bound that we derive. We also compare the separate-universe approach and cosmological perturbation theory at the level of the gauge-matching procedure, where the agreement is not always guaranteed and requires specific matching prescriptions that we present.


title: Projection-Free Algorithm for Stochastic Bi-level Optimization

abstract: This work presents the first projection-free algorithm to solve stochastic bi-level optimization problems, where the objective function depends on the solution of another stochastic optimization problem. The proposed $\textbf{S}$tochastic $\textbf{Bi}$-level $\textbf{F}$rank-$\textbf{W}$olfe ($\textbf{SBFW}$) algorithm can be applied to streaming settings and does not make use of large batches or checkpoints. The sample complexity of SBFW is shown to be $\mathcal{O}(\epsilon^{-3})$ for convex objectives and $\mathcal{O}(\epsilon^{-4})$ for non-convex objectives. Improved rates are derived for the stochastic compositional problem, which is a special case of the bi-level problem, and entails minimizing the composition of two expected-value functions. The proposed $\textbf{S}$tochastic $\textbf{C}$ompositional $\textbf{F}$rank-$\textbf{W}$olfe ($\textbf{SCFW}$) is shown to achieve a sample complexity of $\mathcal{O}(\epsilon^{-2})$ for convex objectives and $\mathcal{O}(\epsilon^{-3})$ for non-convex objectives, at par with the state-of-the-art sample complexities for projection-free algorithms solving single-level problems. We demonstrate the advantage of the proposed methods by solving the problem of matrix completion with denoising and the problem of policy value evaluation in reinforcement learning.


title: A spectral duality in graphs and microwave networks

abstract: Quantum graphs and their experimental counterparts, microwave networks, are ideally suited to study the spectral statistics of chaotic systems. The graph spectrum is obtained from the zeros of a secular determinant derived from energy and charge conservation. Depending on the boundary conditions at the vertices, there are Neumann and Dirichlet graphs. The first ones are realized in experiments, since the standard junctions connecting the bonds obey Neumann boundary conditions due to current conservation. On average, the corresponding Neumann and Dirichlet eigenvalues alternate as a function of the wave number, with the consequence that the Neumann spectrum is described by random matrix theory only locally, but adopts features of the interlacing Dirichlet spectrum for long-range correlations. Another spectral interlacing is found for the Green's function, which in contrast to the secular determinant is experimentally accessible. This is illustrated by microwave studies and numerics.


title: A Simple Boosting Framework for Transshipment

abstract: Transshipment, also known under the names of earth mover's distance, uncapacitated min-cost flow, or Wasserstein's metric, is an important and well-studied problem that asks to find a flow of minimum cost that routes a general demand vector. Adding to its importance, recent advancements in our understanding of algorithms for transshipment have led to breakthroughs for the fundamental problem of computing shortest paths. Specifically, the recent near-optimal $(1+\varepsilon)$-approximate single-source shortest path algorithms in the parallel and distributed settings crucially solve transshipment as a central step of their approach. The key property that differentiates transshipment from other similar problems like shortest path is the so-called \emph{boosting}: one can boost a (bad) approximate solution to a near-optimal $(1 + \varepsilon)$-approximate solution. This conceptually reduces the problem to finding an approximate solution. However, not all approximations can be boosted -- there have been several proposed approaches that were shown to be susceptible to boosting, and a few others where boosting was left as an open question. The main takeaway of our paper is that any black-box $\alpha$-approximate transshipment solver that computes a \emph{dual} solution can be boosted to an $(1 + \varepsilon)$-approximate solver. Moreover, we significantly simplify and decouple previous approaches to transshipment (in sequential, parallel, and distributed settings) by showing all of them (implicitly) obtain approximate dual solutions. Our analysis is very simple and relies only on the well-known multiplicative weights framework. Furthermore, to keep the paper completely self-contained, we provide a new (and arguably much simpler) analysis of multiplicative weights that leverages well-known optimization tools to bypass the ad-hoc calculations used in the standard analyses.


title: On the Connection Between Quantum Pseudorandomness and Quantum Hardware Assumptions

abstract: This paper, for the first time, addresses the questions related to the connections between the quantum pseudorandomness and quantum hardware assumptions, specifically quantum physical unclonable functions (qPUFs). Our results show that the efficient pseudorandom quantum states (PRS) are sufficient to construct the challenge set for the universally unforgeable qPUF, improving the previous existing constructions that are based on the Haar-random states. We also show that both the qPUFs and the quantum pseudorandom unitaries (PRUs) can be constructed from each other, providing new ways to obtain PRS from the hardware assumptions. Moreover, we provide a sufficient condition (in terms of the diamond norm) that a set of unitaries should have to be a PRU in order to construct a universally unforgeable qPUF, giving yet another novel insight into the properties of the PRUs. Later, as an application of our results, we show that the efficiency of an existing qPUF-based client-server identification protocol can be improved without losing the security requirements of the protocol.


title: Voltage Stabilization of A DC-Microgrid Using ANFIS Controller Considering EVs, DER, and Transient Storage

abstract: In this paper, a DC microgrid will be considered to optimize the operation of this microgrid under a combination of Fuzzy and metaheuristic algorithms. Keywords: DC Microgrid, Fuzzy Inference System, Stochastic Power Resource, Particle Swarm Optimization, Battery, Electrical Vehicles, DERs


title: Presymplectic geometry and Liouville sectors with corners and its intrinsic characterization

abstract: We provide a presymplectic characterization of Liouville sectors introduced by Ganatra-Pardon-Shende in terms of the characteristic foliation of the boundary, which we call Liouville $\sigma$-sectors. We extend this definition to the case with corners using the presymplectic geometry of null foliations of the coisotropic intersections of transversal coisotropic collection of hypersurfaces which appear in the definition of Liouville sectors with corners. We identify its automorphism group which enables one to give a natural definition of bundles of Liouville sectors. As a byproduct, we affirmatively answer to a question raised by Ganatra-Pardon-Shende, which asks about the optimality of their definition of Liouville sectors.


title: Abundance of observable Lyapunov irregular sets

abstract: Lyapunov exponent is widely used in natural science to find chaotic signal, but its existence is seldom discussed. In the present paper, we consider the problem of whether the set of points at which Lyapunov exponent fails to exist, called the Lyapunov irregular set, has positive Lebesgue measure. The only known example with the Lyapunov irregular set of positive Lebesgue measure is a figure-8 attractor by the work of Ott and Yorke [OY2008], whose key mechanism (homoclinic loop) is easy to be broken by small perturbations. In this paper, we show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas [CV2001], as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. We can construct such positive Lebesgue measure sets both as the time averages exist and do not exist on it.


title: BlendGAN: Implicitly GAN Blending for Arbitrary Stylized Face Generation

abstract: Generative Adversarial Networks (GANs) have made a dramatic leap in high-fidelity image synthesis and stylized face generation. Recently, a layer-swapping mechanism has been developed to improve the stylization performance. However, this method is incapable of fitting arbitrary styles in a single model and requires hundreds of style-consistent training images for each style. To address the above issues, we propose BlendGAN for arbitrary stylized face generation by leveraging a flexible blending strategy and a generic artistic dataset. Specifically, we first train a self-supervised style encoder on the generic artistic dataset to extract the representations of arbitrary styles. In addition, a weighted blending module (WBM) is proposed to blend face and style representations implicitly and control the arbitrary stylization effect. By doing so, BlendGAN can gracefully fit arbitrary styles in a unified model while avoiding case-by-case preparation of style-consistent training images. To this end, we also present a novel large-scale artistic face dataset AAHQ. Extensive experiments demonstrate that BlendGAN outperforms state-of-the-art methods in terms of visual quality and style diversity for both latent-guided and reference-guided stylized face synthesis.


title: FakeNewsLab: Experimental Study on Biases and Pitfalls Preventing us from Distinguishing True from False News

abstract: Misinformation posting and spreading in Social Media is ignited by personal decisions on the truthfulness of news that may cause wide and deep cascades at a large scale in a fraction of minutes. When individuals are exposed to information, they usually take a few seconds to decide if the content (or the source) is reliable, and eventually to share it. Although the opportunity to verify the rumour is often just one click away, many users fail to make a correct evaluation. We studied this phenomenon with a web-based questionnaire that was compiled by 7,298 different volunteers, where the participants were asked to mark 20 news as true or false. Interestingly, false news is correctly identified more frequently than true news, but showing the full article instead of just the title, surprisingly, does not increase general accuracy. Also, displaying the original source of the news may contribute to mislead the user in some cases, while a genuine wisdom of the crowd can positively assist individuals' ability to classify correctly. Finally, participants whose browsing activity suggests a parallel fact-checking activity, show better performance and declare themselves as young adults. This work highlights a series of pitfalls that can influence human annotators when building false news datasets, which in turn fuel the research on the automated fake news detection; furthermore, these findings challenge the common rationale of AI that suggest users to read the full article before re-sharing.


title: Equally Spaced Quantum States in van der Waals Epitaxy-Grown Nanoislands

abstract: Pursuing the confinement of linearly dispersive relativistic fermions is of interest in both fundamental physics and potential applications. Here, we report strong STM evidence for the equally spaced, strikingly sharp, and densely distributed quantum well states (QWSs) near Fermi energy in Pb(111) nanoislands, van-der-Waals epitaxially grown on graphitized 6H-SiC(0001). The observations can be explained as the quantized energies of confined linearly dispersive [111] electrons, which essentially 'simulate' the out-of-plane relativistic quasiparticles. The equally spaced QWSs with an origin of confined relativistic electrons are supported by phenomenological simulations and Fabry-Perot fittings based on the relativistic fermions. First-principles calculations further reveal that the spin-orbit coupling strengthens the relativistic nature of electrons near Fermi energy. Our finding uncovers the unique equally spaced quantum states in electronic systems beyond Landau levels, and may inspire future studies on confined relativistic quasiparticles in flourishing topological materials and applications in structurally simpler quantum cascade laser.


title: Does non-stationary noise in LIGO and Virgo affect the estimation of $H_0$?

abstract: Gravitational-wave observations of binary neutron star mergers and their electromagnetic counterparts provide an independent measurement of the Hubble constant, $H_0$, through the standard-sirens approach. Current methods of determining $H_0$, such as measurements from the early universe and the local distance ladder, are in tension with one another. If gravitational waves are to break this tension a thorough understanding of systematic uncertainty for gravitational-wave observations is required. To accurately estimate the properties of gravitational-wave signals measured by LIGO and Virgo, we need to understand the characteristics of the detectors noise. Non-gaussian transients in the detector data and rapid changes in the instrument, known as non-stationary noise, can both add a systematic uncertainty to inferred results. We investigate how non-stationary noise affects the estimation of the luminosity distance of the source, and therefore of $H_0$. Using a population of 200 simulated binary neutron star signals, we show that non-stationary noise can bias the estimation of the luminosity distance by up to 2.4\%. However, only $\sim$15\% of binary neutron star signals would be affected around their merger time with non-stationary noise at a similar level to that seen in the first half of LIGO-Virgo's third observing run. Comparing the expected bias to other systematic uncertainties, we argue that non-stationary noise in the current generation of detectors will not be a limiting factor in resolving the tension on $H_0$ using standard sirens. Although, evaluating non-stationarity in gravitational-wave data will be crucial to obtain accurate estimates of $H_0$.


title: Framed Matrices and $A_{\infty}$-Bialgebras

abstract: We complete the construction of the biassociahedra $KK$, construct the free matrad $\mathcal{H}_{\infty}$, realize $\mathcal{H}_{\infty}$ as the cellular chains of $KK,$ and define an $A_{\infty}$-bialgebra as an algebra over $\mathcal{H}_{\infty}.$ We construct the bimultiplihedra $JJ,$ construct the relative free matrad $r\mathcal{H}_{\infty}$ as a $\mathcal{H}_{\infty}$-bimodule, realize $r\mathcal{H}_{\infty}$ as the cellular chains of $JJ$, and define a morphism of $A_{\infty}$-bialgebras as a bimodule over $\mathcal{H}_{\infty}$. We prove that the homology of every $A_{\infty}$-bialgebra over a commutative ring with unity admits an induced $A_{\infty}$-bialgebra structure. We extend the Bott-Samelson isomorphism to an isomorphism of $A_{\infty}$-bialgebras and determine the $A_{\infty} $-bialgebra structure of $H_{\ast}\left( \Omega\Sigma X;\mathbb{Q}\right) $. For each $n\geq2$, we construct a space $X_{n}$ and identify an induced nontrivial $A_{\infty}$-bialgebra operation $\omega_{2}^{n}: H^{\ast}\left(\Omega X_{n};\mathbb{Z}_{2}\right) ^{\otimes2}\rightarrow H^{\ast}\left(\Omega X_{n};\mathbb{Z}_{2}\right) ^{\otimes n}$.


title: Monte Carlo simulation of a model cuprate

abstract: We develop a classical Monte Carlo algorithm based on a quasi-classical approximation for a pseudospin S=1 Hamiltonian in real space to construct a phase diagram of a model cuprate with a high Tc. A model description takes into account both local and nonlocal correlations, Heisenberg spin-exchange interaction, correlated single-particle, and two-particle transport. We formulate a state selection algorithm for a given parameterization of the wave function in order to ensure a uniform distribution of states in the phase space. The simulation results show a qualitative agreement with the experimental phase diagrams.


title: Accessing Phase Slip Events in Nb Meander Wires

abstract: We report transport studies through Nb-based superconducting meander wires fabricated by focused ion beam (FIB) milling technique. The effect of meandering on quantum transport has been probed experimentally by a direct comparison with the pristine thin-film device before meandering. The normal metal (NM) to superconductor (SC) phase transition becomes a wide and multi-step transition by meandering. Below the transition temperature (Tc), the resistance-versus-temperature measurements reveal resistive tailing which is explained by the thermally activated phase slip (TAPS) mechanism. The TAPS fit indicates a selective region of the meander to be responsible for the resistive tailing. Besides, the phase slip (PS) mechanism in the meander is evident in its current-voltage characteristics that feature the stair-case type intermediate resistive steps during the SC-NM transition. The modulation of the intermediate resistive steps is investigated with respect to temperature and external magnetic field. It is observed that the PS events are facilitated by magnetic fields up to about 250 mT. Further, the critical current varies strongly on the temperature and magnetic field for T less than 0.5Tc and H less tahn 100 mT where it fluctuates in an oscillatory manner. Finally, Nb based meander structures can be promising candidates for future PS based studies and applications.


title: Kernel-based models for system analysis

abstract: This paper introduces a computational framework to identify nonlinear input-output operators that fit a set of system trajectories while satisfying incremental integral quadratic constraints. The data fitting algorithm is thus regularized by suitable input-output properties required for system analysis and control design. This biased identification problem is shown to admit the tractable solution of a regularized least squares problem when formulated in a suitable reproducing kernel Hilbert space. The kernel-based framework is a departure from the prevailing state-space framework. It is motivated by fundamental limitations of nonlinear state-space models at combining the fitting requirements of data-based modeling with the input-output requirements of system analysis and physical modeling.


title: MANDERA: Malicious Node Detection in Federated Learning via Ranking

abstract: Byzantine attacks hinder the deployment of federated learning algorithms. Although we know that the benign gradients and Byzantine attacked gradients are distributed differently, to detect the malicious gradients is challenging due to (1) the gradient is high-dimensional and each dimension has its unique distribution and (2) the benign gradients and the attacked gradients are always mixed (two-sample test methods cannot apply directly). To address the above, for the first time, we propose MANDERA which is theoretically guaranteed to efficiently detect all malicious gradients under Byzantine attacks with no prior knowledge or history about the number of attacked nodes. More specifically, we transfer the original updating gradient space into a ranking matrix. By such an operation, the scales of different dimensions of the gradients in the ranking space become identical. The high-dimensional benign gradients and the malicious gradients can be easily separated. The effectiveness of MANDERA is further confirmed by experimentation on four Byzantine attack implementations (Gaussian, Zero Gradient, Sign Flipping, Shifted Mean), comparing with state-of-the-art defenses. The experiments cover both IID and Non-IID datasets.


title: Measuring the Non-Transitivity in Chess

abstract: It has long been believed that Chess is the \emph{Drosophila} of Artificial Intelligence (AI). Studying Chess can productively provide valid knowledge about complex systems. Although remarkable progress has been made on solving Chess, the geometrical landscape of Chess in the strategy space is still mysterious. Judging on AI-generated strategies, researchers hypothesised that the strategy space of Chess possesses a spinning top geometry, with the upright axis representing the \emph{transitive} dimension (e.g., A beats B, B beats C, A beats C), and the radial axis representing the \emph{non-transitive} dimension (e.g., A beats B, B beats C, C beats A). However, it is unclear whether such a hypothesis holds for real-world strategies. In this paper, we quantify the non-transitivity in Chess through real-world data from human players. Specifically, we performed two ways of non-transitivity quantifications -- Nash Clustering and counting the number of Rock-Paper-Scissor cycles -- on over one billion match data from Lichess and FICS. Our findings positively indicate that the strategy space occupied by real-world Chess strategies demonstrates a spinning top geometry, and more importantly, there exists a strong connection between the degree of non-transitivity and the progression of a Chess player's rating. In particular, high degrees of non-transitivity tend to prevent human players from making progress on their Elo rating, whereas progressions are easier to make at the level of ratings where the degree of non-transitivity is lower. Additionally, we also investigate the implication of the degree of non-transitivity for population-based training methods. By considering \emph{fixed-memory Fictitious Play} as a proxy, we reach the conclusion that maintaining large-size and diverse populations of strategies is imperative to training effective AI agents in solving Chess types of games.


title: A Fast and Accurate Splitting Method for Optimal Transport: Analysis and Implementation

abstract: We develop a fast and reliable method for solving large-scale optimal transport (OT) problems at an unprecedented combination of speed and accuracy. Built on the celebrated Douglas-Rachford splitting technique, our method tackles the original OT problem directly instead of solving an approximate regularized problem, as many state-of-the-art techniques do. This allows us to provide sparse transport plans and avoid numerical issues of methods that use entropic regularization. The algorithm has the same cost per iteration as the popular Sinkhorn method, and each iteration can be executed efficiently, in parallel. The proposed method enjoys an iteration complexity $O(1/\epsilon)$ compared to the best-known $O(1/\epsilon^2)$ of the Sinkhorn method. In addition, we establish a linear convergence rate for our formulation of the OT problem. We detail an efficient GPU implementation of the proposed method that maintains a primal-dual stopping criterion at no extra cost. Substantial experiments demonstrate the effectiveness of our method, both in terms of computation times and robustness.


title: UBR$^2$S: Uncertainty-Based Resampling and Reweighting Strategy for Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) deals with the adaptation process of a model to an unlabeled target domain while annotated data is only available for a given source domain. This poses a challenging task, as the domain shift between source and target instances deteriorates a model's performance when not addressed. In this paper, we propose UBR$^2$S - the Uncertainty-Based Resampling and Reweighting Strategy - to tackle this problem. UBR$^2$S employs a Monte Carlo dropout-based uncertainty estimate to obtain per-class probability distributions, which are then used for dynamic resampling of pseudo-labels and reweighting based on their sample likelihood and the accompanying decision error. Our proposed method achieves state-of-the-art results on multiple UDA datasets with single and multi-source adaptation tasks and can be applied to any off-the-shelf network architecture. Code for our method is available at https://gitlab.com/tringwald/UBR2S.


title: Selfish & Opaque Transaction Ordering in the Bitcoin Blockchain: The Case for Chain Neutrality

abstract: Most public blockchain protocols, including the popular Bitcoin and Ethereum blockchains, do not formally specify the order in which miners should select transactions from the pool of pending (or uncommitted) transactions for inclusion in the blockchain. Over the years, informal conventions or "norms" for transaction ordering have, however, emerged via the use of shared software by miners, e.g., the GetBlockTemplate (GBT) mining protocol in Bitcoin Core. Today, a widely held view is that Bitcoin miners prioritize transactions based on their offered "transaction fee-per-byte." Bitcoin users are, consequently, encouraged to increase the fees to accelerate the commitment of their transactions, particularly during periods of congestion. In this paper, we audit the Bitcoin blockchain and present statistically significant evidence of mining pools deviating from the norms to accelerate the commitment of transactions for which they have (i) a selfish or vested interest, or (ii) received dark-fee payments via opaque (non-public) side-channels. As blockchains are increasingly being used as a record-keeping substrate for a variety of decentralized (financial technology) systems, our findings call for an urgent discussion on defining neutrality norms that miners must adhere to when ordering transactions in the chains. Finally, we make our data sets and scripts publicly available.


title: Tight bounds on the maximal area of small polygons: Improved Mossinghoff polygons

abstract: A small polygon is a polygon of unit diameter. The maximal area of a small polygon with $n=2m$ vertices is not known when $m \ge 7$. In this paper, we construct, for each $n=2m$ and $m\ge 3$, a small $n$-gon whose area is the maximal value of a one-variable function. We show that, for all even $n\ge 6$, the area obtained improves by $O(1/n^5)$ that of the best prior small $n$-gon constructed by Mossinghoff. In particular, for $n=6$, the small $6$-gon constructed has maximal area.


title: Few-shot Semantic Segmentation with Self-supervision from Pseudo-classes

abstract: Despite the success of deep learning methods for semantic segmentation, few-shot semantic segmentation remains a challenging task due to the limited training data and the generalisation requirement for unseen classes. While recent progress has been particularly encouraging, we discover that existing methods tend to have poor performance in terms of meanIoU when query images contain other semantic classes besides the target class. To address this issue, we propose a novel self-supervised task that generates random pseudo-classes in the background of the query images, providing extra training data that would otherwise be unavailable when predicting individual target classes. To that end, we adopted superpixel segmentation for generating the pseudo-classes. With this extra supervision, we improved the meanIoU performance of the state-of-the-art method by 2.5% and 5.1% on the one-shot tasks, as well as 6.7% and 4.4% on the five-shot tasks, on the PASCAL-5i and COCO benchmarks, respectively.


title: Automorphisms of Zappa-Sz\'{e}p Product

abstract: In this paper, we have found the automorphism group of the Zappa-Sz\'{e}p product of two groups. Also, we have computed the automorphism group of the Zappa-Sz\'{e}p product of a cyclic group of order $m$ and a cyclic group of order $p^{2}$, where $p$ is a prime.


title: Critiquing-based Modeling of Subjective Preferences

abstract: Applications designed for entertainment and other non-instrumental purposes are challenging to optimize because the relationships between system parameters and user experience can be unclear. Ideally, we would crowdsource these design questions, but existing approaches are geared towards evaluation or ranking discrete choices and not for optimizing over continuous parameter spaces. In addition, users are accustomed to informally expressing opinions about experiences as critiques (e.g. it's too cold, too spicy, too big), rather than giving precise feedback as an optimization algorithm would require. Unfortunately, it can be difficult to analyze qualitative feedback, especially in the context of quantitative modeling. In this article, we present collective criticism, a critiquing-based approach for modeling relationships between system parameters and subjective preferences. We transform critiques, such as "it was too easy/too challenging", into censored intervals and analyze them using interval regression. Collective criticism has several advantages over other approaches: "too much/too little"-style feedback is intuitive for users and allows us to build predictive models for the optimal parameterization of the variables being critiqued. We present two studies where we model: (i) aesthetic preferences for images generated with neural style transfer, and (ii) users' experiences of challenge in the video game Tetris. These studies demonstrate the flexibility of our approach, and show that it produces robust results that are straightforward to interpret and inline with users' stated preferences.


title: A survey on Hungaria asteroids involved in mean motion resonances with Mars

abstract: Context. A region at the inner edge of the main asteroid belt is populated by the Hungaria asteroids. Among these objects, the Hungaria family is formed as the result of a catastrophic disruption of (434) Hungaria asteroid hundred million years ago. Due to the Yarkovsky effect, the fragments depending on their direction of rotation are slowly drifting inward or outward from the actual place of collision. Due to this slow drift these bodies could approach the locations of the various mean-motion resonances (MMRs) of outer type with Mars. Aims. We aim to study the actual dynamical structure of Hungaria asteroids that is primarily shaped by various MMRs of outer type with Mars. Moreover, we also seek connections between the orbital characteristics of Hungaria asteroids and their absolute magnitude. Methods. To map the resonant structure and dynamics of asteroids belonging to the Hungaria group, we use the method FAIR (as FAst Identification of mean motion Resonances), which can detect MMRs without the a priori knowledge of the critical argument. We also compile stability maps of the regions around the MMRs by using the maximal variations in the asteroids' eccentricities, semi-major axes, and inclinations. We numerically integrate the orbits of all asteroids belonging to the Hungaria group available in the JPL Horizon database together with the Solar System planets for one and ten million years. Results. Having studied the resonant structure of the Hungaria group, we find that several asteroids are involved in various MMRs with Mars. We identify both short and long-term MMRs. Besides, we also find a relationship between the absolute magnitude of asteroids and the MMR in which they are involved.


title: Creating and Reenacting Controllable 3D Humans with Differentiable Rendering

abstract: This paper proposes a new end-to-end neural rendering architecture to transfer appearance and reenact human actors. Our method leverages a carefully designed graph convolutional network (GCN) to model the human body manifold structure, jointly with differentiable rendering, to synthesize new videos of people in different contexts from where they were initially recorded. Unlike recent appearance transferring methods, our approach can reconstruct a fully controllable 3D texture-mapped model of a person, while taking into account the manifold structure from body shape and texture appearance in the view synthesis. Specifically, our approach models mesh deformations with a three-stage GCN trained in a self-supervised manner on rendered silhouettes of the human body. It also infers texture appearance with a convolutional network in the texture domain, which is trained in an adversarial regime to reconstruct human texture from rendered images of actors in different poses. Experiments on different videos show that our method successfully infers specific body deformations and avoid creating texture artifacts while achieving the best values for appearance in terms of Structural Similarity (SSIM), Learned Perceptual Image Patch Similarity (LPIPS), Mean Squared Error (MSE), and Fr\'echet Video Distance (FVD). By taking advantages of both differentiable rendering and the 3D parametric model, our method is fully controllable, which allows controlling the human synthesis from both pose and rendering parameters. The source code is available at https://www.verlab.dcc.ufmg.br/retargeting-motion/wacv2022.


title: Adaptive random neighbourhood informed Markov chain Monte Carlo for high-dimensional Bayesian variable Selection

abstract: We introduce a framework for efficient Markov Chain Monte Carlo (MCMC) algorithms targeting discrete-valued high-dimensional distributions, such as posterior distributions in Bayesian variable selection (BVS) problems. We show that many recently introduced algorithms, such as the locally informed sampler and the Adaptively Scaled Individual adaptation sampler (ASI), can be viewed as particular cases within the framework. We then describe a novel algorithm, the Adaptive Random Neighbourhood Informed sampler (ARNI), by combining ideas from both of these existing approaches. We show using several examples of both real and simulated datasets that a computationally efficient point-wise implementation (PARNI) leads to relatively more reliable inferences on a range of variable selection problems, particularly in the very large $p$ setting.


title: The fractional Makai-Hayman inequality

abstract: We prove that the first eigenvalue of the fractional Dirichlet-Laplacian of order $s$ on a simply connected set of the plane can be bounded from below in terms of its inradius only. This is valid for $1/2<s<1$ and we show that this condition is sharp, i.\,e. for $0<s\le 1/2$ such a lower bound is not possible. The constant appearing in the estimate has the correct asymptotic behaviour with respect to $s$, as it permits to recover a classical result by Makai and Hayman in the limit $s\nearrow 1$. The paper is as self-contained as possible.


title: Feature Learning and Signal Propagation in Deep Neural Networks

abstract: Recent work by Baratin et al. (2021) sheds light on an intriguing pattern that occurs during the training of deep neural networks: some layers align much more with data compared to other layers (where the alignment is defined as the euclidean product of the tangent features matrix and the data labels matrix). The curve of the alignment as a function of layer index (generally) exhibits an ascent-descent pattern where the maximum is reached for some hidden layer. In this work, we provide the first explanation for this phenomenon. We introduce the Equilibrium Hypothesis which connects this alignment pattern to signal propagation in deep neural networks. Our experiments demonstrate an excellent match with the theoretical predictions.


title: Povzner-Wienholtz-type theorems for Sturm-Liouville operators with singular coefficients

abstract: We introduce and investigate symmetric operators $L_0$ associated in the complex Hilbert space $L^2(\mathbb{R})$ with a formal differential expression \[l[u] :=-(pu')'+qu + i((ru)'+ru') \] under minimal conditions on the regularity of the coefficients. They are assumed to satisfy conditions \[q=Q'+s;\quad \frac{1}{\sqrt{|p|}}, \frac{Q}{\sqrt{|p|}}, \frac{r}{\sqrt{|p|}} \in L^2_{loc}\left(\mathbb{R}\right), \quad s \in L^1_{loc}\left(\mathbb{R}\right), \quad\frac{1}{p}\neq 0\,\,\text{a.e.,} \] where the derivative of the function $Q$ is understood in the sense of distributions, and all functions $p$, $Q$, $r$, $s$ are real-valued. In particular, the coefficients $q$ and $r'$ may be Radon measures on $\mathbb{R}$, while function $p$ may be discontinuous. The main result of the paper are constructive sufficient conditions on the coefficient $p$ which provide that the operator $L_0$ being semi-bounded implies it being self-adjoint.


title: Forecasting Financial Market Structure from Network Features using Machine Learning

abstract: We propose a model that forecasts market correlation structure from link- and node-based financial network features using machine learning. For such, market structure is modeled as a dynamic asset network by quantifying time-dependent co-movement of asset price returns across company constituents of major global market indices. We provide empirical evidence using three different network filtering methods to estimate market structure, namely Dynamic Asset Graph (DAG), Dynamic Minimal Spanning Tree (DMST) and Dynamic Threshold Networks (DTN). Experimental results show that the proposed model can forecast market structure with high predictive performance with up to $40\%$ improvement over a time-invariant correlation-based benchmark. Non-pair-wise correlation features showed to be important compared to traditionally used pair-wise correlation measures for all markets studied, particularly in the long-term forecasting of stock market structure. Evidence is provided for stock constituents of the DAX30, EUROSTOXX50, FTSE100, HANGSENG50, NASDAQ100 and NIFTY50 market indices. Findings can be useful to improve portfolio selection and risk management methods, which commonly rely on a backward-looking covariance matrix to estimate portfolio risk.


title: QCD-based estimate of direct $CP$ asymmetry in charm decays

abstract: I discuss the calculation of the direct CP-asymmetry in $D\to \pi^+\pi^-$ and $D\to K^+K^- $ decays with the method of QCD light-cone sum rules. The main result is the upper limit for the difference of the two asymmetries $\left|\Delta a_{CP}^{dir}\right| < 0.020\pm 0.003\%$ which is significantly smaller than the recent measurement of this quantity by the LHCb collaboration


title: Pairing-induced motion of source and inert particles driven by surface tension

abstract: We experimentally and theoretically investigate systems with a pair of source and inert particles that interacts through the concentration field. The experimental system comprises a camphor disk as the source particle and a metal washer as the inert particle. Both are floated on a red aqueous solution at various concentrations, where the glycerol modifies the viscosity of the aqueous phase. The particles form a pair owing to the attractive lateral capillary force. As the camphor disk spreads surface-active molecules at the aqueous surface, the camphor disk and metal washer move together, driven by the surface tension gradient. The washer is situated in the front of the camphor disk, keeping the distance constant during their motion, which we call a pairing-induced motion. The pairing-induced motion exhibited a transition between circular and straight motions as the glycerol concentration in the aqueous phase changed. Numerical calculations using a model that considers forces caused by the surface tension gradient and lateral capillary interaction reproduced the observed transition in the pairing-induced motion. Moreover, this transition agrees with the result of the linear stability analysis on the reduced dynamical system obtained by the expansion with respect to the particle velocity. Our results reveal that the effect of the particle velocity cannot be overlooked to describe the interaction through the concentration field.


title: The infinity-category of stabilized Liouville sectors

abstract: We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful mapping spaces through the categorically formal process of localizing. From the symplectic viewpoint, these results allow us to reduce highly non-trivial coherence results to much simpler verifications. For example, we prove that the wrapped Fukaya category is coherently functorial on stabilized Liouville sectors: Not only does a wrapped category receive a coherent action from stabilized automorphism spaces of a Liouville sector, spaces of sectorial embeddings map to spaces of functors between wrapped categories in a way respecting composition actions. As a consequence, we observe that wrapped Floer theory for sectors works in families. As we will explain, our methods immediately establish such coherence results for most known sectorial invariants, including Lagrangian cobordisms. As another application, we show that this infinity-category admits a symmetric monoidal structure, given by direct product of underlying sectors. The existence of this structure relies on a computation--familiar from the foundations of factorization homology--that localizations detect certain isotopies of smooth manifolds. Moreover, we characterize the symmetric monoidal structure using a universal property, again producing a simple-as-possible criterion for verifying whether invariants are both continuously and multiplicatively coherent in a compatible way.


title: Monitoring with Verified Guarantees

abstract: Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For example, if the monitor is responsible for initiating emergency protocols, as proposed in a recent aviation standard, then the safety of the entire system critically depends on guarantees of the correctness of the monitor. In this paper, we present a verification extension to the Lola monitoring language that integrates the efficient specification of the monitor with Hoare-style annotations that guarantee the correctness of the monitor specification. We add two new operators, assume and assert, which specify assumptions of the monitor and expectations on its output, respectively. The validity of the annotations is established by an integrated SMT solver. We report on experience in applying the approach to specifications from the avionics domain, where the annotation with assumptions and assertions has lead to the discovery of safety-critical errors in the specifications. The errors range from incorrect default values in offset computations to complex algorithmic errors that result in unexpected temporal patterns.


title: An efficient FV-based Virtual Boundary Method for the simulation of fluid-solid interaction

abstract: In this work, the Immersed Boundary Method (IBM) with feedback forcing introduced by Goldstein et al. (1993) and often referred in the literature as the Virtual Boundary Method (VBM), is addressed. The VBM has been extensively applied both within a Spectral and a Finite Difference (FD) framework. Here, we propose to combine the VBM with a computationally efficient Finite Volume (FV) method. We will show that for similar computational configurations, FV and FD methods provide significantly different results. Furthermore, we propose to modify the standard feedback forcing scheme, based on a Proportional-Integral (PI) controller, with the introduction of a derivative action, in order to obtain a Proportial-Integral-Derivative (PID) controller. The stability analysis for the Backward Differentiation Formula of order 1 (BDF1) time scheme is modified accordingly, and extended to the Backward Differentiation Formula of order 2 (BDF2) time scheme. We will show that, for the BDF2 time scheme, the derivative action allows to improve the stability characteristics of the system. Our approach is validated against numerical data available in the literature for a stationary/rigidly moving 2D circular cylinder in several configurations. Finally, a Fluid-Structure Interaction (FSI) benchmark, related to the frequency response of a cantilever beam coupled with a fluid, is presented: we numerically demonstrate that the introduction of the derivative action plays an important role in order to properly detect the fluid-structure interaction coupling.


title: Colloidal two-dimensional metal chalcogenides: Realization and application of the structural anisotropy

abstract: Due to the spatial confinement, two-dimensional metal chalcogenides display an extraordinary optical re-sponse and carrier transport ability. Solution-based synthesis techniques such as colloidal hot injection and ion exchange provide a cost-effective way to fabricate such low-dimensional semiconducting nanocrystals. Over the years, developments in colloidal chemistry made it possible to synthesize various kinds of ultrathin colloidal nanoplatelets, including wurtzite- and zinc blende-type CdSe, rocksalt PbS, black phosphorus-like SnX (X=S or Se), hexagonal copper sulfides, selenides and even transition metal dichalcogenides (TMD) like MoS2. By altering experimental conditions and applying capping ligands with specific functional groups, it is possible to accurately tune the dimensionality, geometry and consequently the optical prop-erties of these colloidal metal chalcogenide crystals. Here, we review recent progresses in the syntheses of two-dimensional colloidal metal chalcogenides (CMCs) and property characterizations based on optical spectroscopy or device-related meas-urements. The discoveries shine a light on their huge prospect for applications in areas such as photovoltaics, optoelectronics and spintronics. In specific, the formation mechanisms of two-dimensional CMCs are discussed. The growth of colloidal nano-crystals into a two-dimensional shape is found to require either an intrinsic structural asymmetry or the assist of coexisted ligand molecules, which act as lamellar double-layer templates or "facet" the crystals via selective adsorption. By performing optical characterizations and especially ultrafast spectroscopic measurements on these two-dimensional CMCs, their unique electronic and excitonic features are revealed.


title: The Crew: The Quest for Planet Nine is NP-Complete

abstract: In this paper, we study the cooperative card game, The Crew: The Quest for Planet Nine from the viewpoint of algorithmic combinatorial game theory. The Crew: The Quest for Planet Nine, is a game based on traditional trick-taking card games, like bridge or hearts. In The Crew, players are dealt a hand of cards, with cards being from one of $c$ colors and having a value between 1 to $n$. Players also draft objectives, which correspond to a card in the current game that they must collect in order to win. Players then take turns each playing one card in a trick, with the player who played the highest value card taking the trick and all cards played in it. If all players complete all of their objectives, the players win. The game also forces players to not talk about the cards in their hand and has a number of "Task Tokens" which can modify the rules slightly. In this work, we introduce and formally define a perfect-information model of this problem, and show that the general unbounded version is computationally intractable. However, we also show that three bounded versions of this decision problem - deciding whether or not all players can complete their objectives - can be solved in polynomial time.