title: Parthenos: A Source Code Injection Approach for Software Transformation

abstract: Maintaining legacy enterprise information systems is a known necessity in companies. To date, it remains an expensive and time-consuming process, requiring high effort and cost to get small changes implemented. MITRAS seeks to reduce the maintenance cost by providing an automatic maintenance system model based on graph transformations. This article presents Parthenos, a different approach to MITRAS, whose goal is to guarantee the correctness of introduced modifications at a syntax and type semantics level of the source code. Along with that, it proposes an extensible architecture, which allows the most varied types of systems to carry out software maintenance. Parthenos was evaluated through functional tests to evaluate its effectiveness, using measures of precision, recall, and f-measure.


title: A survey of size counting in population protocols

abstract: The population protocol model describes a network of $n$ anonymous agents who cannot control with whom they interact. The agents collectively solve some computational problem through random pairwise interactions, each agent updating its own state in response to seeing the state of the other agent. They are equivalent to the model of chemical reaction networks, describing abstract chemical reactions such as $A+B \rightarrow C+D$, when the latter is subject to the restriction that all reactions have two reactants and two products, and all rate constants are 1. The counting problem is that of designing a protocol so that $n$ agents, all starting in the same state, eventually converge to states where each agent encodes in its state an exact or approximate description of population size $n$. In this survey paper, we describe recent algorithmic advances on the counting problem.


title: A Large-Scale Benchmark for Food Image Segmentation

abstract: Food image segmentation is a critical and indispensible task for developing health-related applications such as estimating food calories and nutrients. Existing food image segmentation models are underperforming due to two reasons: (1) there is a lack of high quality food image datasets with fine-grained ingredient labels and pixel-wise location masks -- the existing datasets either carry coarse ingredient labels or are small in size; and (2) the complex appearance of food makes it difficult to localize and recognize ingredients in food images, e.g., the ingredients may overlap one another in the same image, and the identical ingredient may appear distinctly in different food images. In this work, we build a new food image dataset FoodSeg103 (and its extension FoodSeg154) containing 9,490 images. We annotate these images with 154 ingredient classes and each image has an average of 6 ingredient labels and pixel-wise masks. In addition, we propose a multi-modality pre-training approach called ReLeM that explicitly equips a segmentation model with rich and semantic food knowledge. In experiments, we use three popular semantic segmentation methods (i.e., Dilated Convolution based, Feature Pyramid based, and Vision Transformer based) as baselines, and evaluate them as well as ReLeM on our new datasets. We believe that the FoodSeg103 (and its extension FoodSeg154) and the pre-trained models using ReLeM can serve as a benchmark to facilitate future works on fine-grained food image understanding. We make all these datasets and methods public at \url{https://xiongweiwu.github.io/foodseg103.html}.


title: On the Intersection of Dynamical Covering Sets with Fractals

abstract: Let $(X,\mathscr{B}, \mu,T,d)$ be a measure-preserving dynamical system with exponentially mixing property, and let $\mu$ be an Ahlfors $s$-regular probability measure. The dynamical covering problem concerns the set $E(x)$ of points which are covered by the orbits of $x\in X$ infinitely many times. We prove that the Hausdorff dimension of the intersection of $E(x)$ and any regular fractal $G$ equals $\dim_{\rm H}G+\alpha-s$, where $\alpha=\dim_{\rm H}E(x)$ $\mu$--a.e. Moreover, we obtain the packing dimension of $E(x)\cap G$ and an estimate for $\dim_{\rm H}(E(x)\cap G)$ for any analytic set $G$.


title: Phase coherence of pairs of Cooper pairs as quasi-long-range order of half-vortex pairs in a two-dimensional bilayer system

abstract: It is known that the loss of phase coherence of Cooper pairs in two-dimensional (2D) superconductivity corresponds to the unbinding of vortex-antivortex pairs with the quasi-long-range order (quasi-LRO) in the order-parameter phase field, described by the Berezinskii-Kosterlizt-Thouless (BKT) transition of a 2D XY model. Here we show that the second-order Josephson coupling can induce an exotic superconducting phase in a bilayer system. By using tensor-network methods, the partition function of the 2D classical model is expressed as a product of 1D quantum transfer operator, whose eigen-equation can be solved by an algorithm of matrix product states rigorously. From the singularity shown by the entanglement entropy of the 1D quantum analogue, various phase transitions can be accurately determined. Below the BKT phase transition, an inter-layer Ising long-range order is established at $T_{Ising}$, and the phase coherence of both intra-layers and inter-layers is locked together. For two identical layers, the Ising transition coincides with the BKT transition at a multi-critical point. For two inequivalent layers, however, there emerges an intermediate quasi-LRO phase ($T_{Ising}<T<T_{BKT}$), where the vortex-antivortex bindings occur in the layer with the larger intra-layer coupling, but only half-vortex pairs with topological strings exist in the other layer, corresponding to the phase coherence of pairs of Cooper pairs. So our study provides a promising way to realize the charge-4e superconductivity in a bilayer system.

categories: cond-mat.stat-mech cond-mat.other cond-mat.quant-gas cond-mat.supr-con


title: Building and Maintaining a Solar Tachocline through Convective Dynamo Action

abstract: For more than thirty years, the dynamical maintenance of the thin solar tachocline has remained one of the central outstanding problems of stellar astrophysics. Three main theories have been developed to explain the tachocline's thinness, but so far none of them has been shown to work convincingly in the extreme parameter regime of the solar interior. Here, we present a rotating, 3D, spherical-shell simulation of a combined solar-like convection zone and radiative zone that achieves a tachocline built and maintained by convective dynamo action. Because of numerical constraints, the dynamo prevents the viscous spread of the tachocline instead of the Eddington-Sweet-time-scale radiative spread believed to occur in the Sun. Nonetheless, our simulation supports the scenario of tachocline confinement via the cyclic solar dynamo, and is the first time one of the main confinement scenarios has been realized in a global, 3D, spherical-shell geometry including nonlinear fluid motions and a self-consistently generated dynamo.


title: A local-global generalized multiscale finite element method for highly heterogeneous stochastic groundwater flow problems

abstract: In this paper, we propose a local-global multiscale method for highly heterogeneous stochastic groundwater flow problems under the framework of reduced basis method and the generalized multiscale finite element method (GMsFEM). Due to incomplete characterization of the medium properties of the groundwater flow problems, random variables are used to parameterize the uncertainty. As a result, solving the problem repeatedly is required to obtain statistical quantities. Besides, the medium properties are usually highly heterogeneous, which will result in a large linear system that needs to be solved. Therefore, it is intrinsically inevitable to seek a computational-efficient model reduction method to overcome the difficulty. We will explore the combination of the reduced basis method and the GMsFEM. In particular, we will use residual-driven basis functions, which are key ingredients in GMsFEM. This local-global multiscale method is more efficient than applying the GMsFEM or reduced basis method individually. We first construct parameter-independent multiscale basis functions that include both local and global information of the permeability fields, and then use these basis functions to construct several global snapshots and global basis functions for fast online computation with different parameter inputs. We provide rigorous analysis of the proposed method and extensive numerical examples to demonstrate the accuracy and efficiency of the local-global multiscale method.


title: Modeling Photocurrent Spectra of In$_{0.91}$Ga$_{0.09}$N/In$_{0.4}$Ga$_{0.6}$N Disk-in-Wire Photodiode on Silicon for $1.3$ $\mu$m $-$ $1.55$ $\mu$m Operation

abstract: This work reports comprehensive theoretical modeling of photocurrent spectra generated by an In$_{0.91}$Ga$_{0.09}$N/In$_{0.4}$Ga$_{0.6}$N disk-in-wire photodiode. The strain distribution is calculated by valence-force-field (VFF) model, while a realistic band structure of the InN/InGaN heterostructure is incorporated using an eight-band effective bond-orbital model (EBOM) with spin-orbit coupling neglected. The electrostatic potential is obtained from self-consistent calculation employing the non-equilibrium Green's function (NEGF) method. With the strain distribution and band profile determined, a multi-band transfer-matrix method (TMM) is used to calculate the tunneling coefficients of optically-pumped carriers in the absorbing region. The photocurrent spectra contributed by both single-photon absorption (SPA) and two-photon absorption (TPA) are calculated. The absorption coefficient is weighted by the carrier tunneling rate and the photon density-of-state (DOS) in the optical cavity formed in the nanowire region to produce the photocurrent. The calculated photocurrent spectra is in good agreement with experimental data, while physical mechanisms for the observed prominent peaks are identified and investigated.


title: Ab initio calculation of the contact operator contribution in the standard mechanism for neutrinoless double beta decay

abstract: Starting from chiral nuclear interactions, we evaluate the contribution of the leading-order contact transition operator to the nuclear matrix element (NME) of neutrinoless double-beta decay, assuming a light Majorana neutrino-exchange mechanism. The corresponding low-energy constant (LEC) is determined by fitting the transition amplitude of the $nn\to ppe^-e^-$ process to a recently proposed synthetic datum. We examine the dependence of the amplitude on similarity renormalization group (SRG) scale and chiral expansion order of the nuclear interaction, finding that both dependences can be compensated to a large extent by readjusting the LEC. We evaluate the contribution of both the leading-order contact operator and standard long-range operator to the neutrinoless double-beta decays in the light nuclei $^{6,8}$He and the candidate nucleus $^{48}$Ca. Our results provide the first clear demonstration that the contact term enhances the NME by 43(7)% in $^{48}$Ca, where the uncertainty is propagated from the synthetic datum.


title: Comment on: "Stokes' first problem for heated flat plate with Atangana--Baleanu fractional derivative" [Chaos Solitons Fractals 117 (2018) 68]

abstract: In the sense of distributions, the derivative of the Heaviside unit step function $H(t)$ is a generalized Dirac-$\delta$ distribution. If the velocity $V(t)$ of a flat plate is impulsive, as $V(t)=H(t)$ (i.e., it is suddenly set into motion with unit velocity at $t=0^+$), then its acceleration is $V'(t)=\delta(t)$. The Dirac-$\delta$ distribution has no point values. However, when the Dirac-$\delta$ is the forcing term of an ODE (in $t$), it contributes to the solution. The recently published paper [Chaos Solitons Fractals 117 (2018) 68] incorrectly treats the Dirac-$\delta$ function as being identically 0. This Comment analyzes the source of this error, and provides guidance on how to correct it (based on the established literature). The mathematical error identified is in addition to some issues about rheological models with fractional derivatives, which are also noted. That is to say, whether or not an "Atangana--Baleanu fractional derivative" is used in [Chaos Solitons Fractals 117 (2018) 68], the solution to Stokes' first problem provided therein is not correct.


title: On geometric constants for discrete Morrey spaces

abstract: In this note we prove that the $n$-th Von Neumann-Jordan constant and the $n$-th James constant for discrete Morrey spaces $\ell^p_q$ where $1\le p<q<\infty$ are both equal to $n$. This result tells us that the discrete Morrey spaces are not uniformly non-$\ell^1$, and hence they are not uniformly $n$-convex.


title: Could you give me a hint? Generating inference graphs for defeasible reasoning

abstract: Defeasible reasoning is the mode of reasoning where conclusions can be overturned by taking into account new evidence. A commonly used method in cognitive science and logic literature is to handcraft argumentation supporting inference graphs. While humans find inference graphs very useful for reasoning, constructing them at scale is difficult. In this paper, we automatically generate such inference graphs through transfer learning from another NLP task that shares the kind of reasoning that inference graphs support. Through automated metrics and human evaluation, we find that our method generates meaningful graphs for the defeasible inference task. Human accuracy on this task improves by 20% by consulting the generated graphs. Our findings open up exciting new research avenues for cases where machine reasoning can help human reasoning. (A dataset of 230,000 influence graphs for each defeasible query is located at: https://tinyurl.com/defeasiblegraphs.)


title: On Parameter Optimization and Reach Enhancement for the Improved Soft-Aided Staircase Decoder

abstract: The so-called improved soft-aided bit-marking algorithm was recently proposed for staircase codes (SCCs) in the context of fiber optical communications. This algorithm is known as iSABM-SCC. With the help of channel soft information, the iSABM-SCC decoder marks bits via thresholds to deal with both miscorrections and failures of hard-decision (HD) decoding. In this paper, we study iSABM-SCC focusing on the parameter optimization of the algorithm and its performance analysis, in terms of the gap to the achievable information rates (AIRs) of HD codes and the fiber reach enhancement. We show in this paper that the marking thresholds and the number of modified component decodings heavily affect the performance of iSABM-SCC, and thus, they need to be carefully optimized. By replacing standard decoding with the optimized iSABM-SCC decoding, the gap to the AIRs of HD codes can be reduced to 0.26-1.02 dB for code rates of 0.74-0.87 in the additive white Gaussian noise channel with 8-ary pulse amplitude modulation. The obtained reach increase is up to 22% for data rates between 401 Gbps and 468 Gbps in an optical fiber channel.


title: Amenable fusion algebraic actions of discrete quantum groups on compact quantum spaces

abstract: In this paper, we introduce actions of fusion algebras on unital $C^*$-algebras, and define amenability for fusion algebraic actions. Motivated by S.\ Neshveyev et al.'s work, considering the co-representation ring of a compact quantum group as a fusion algebra, we define the canonical fusion algebraic (for short, CFA) form of a discrete quantum group action on a compact quantum space. Furthermore, through the CFA form, we define FA-amenability of discrete quantum group actions, and present some basic connections between FA-amenable actions and amenable discrete quantum groups. As an application, thinking of a state on a unital $C^*$-algebra as a "probability measure" on a compact quantum space, we show that amenability for a discrete quantum group is equivalent to both of FA-amenability for an action of this discrete quantum group on a compact quantum space and the existence of this kind of "probability measure" that is FA-invariant under this action.


title: Three-dimensional dust geometry of the LMC HI ridge region as revealed by the IRSF/SIRIUS survey

abstract: We present a new method to evaluate the dust extinction (AV) along the line of sight using the InfraRed Survey Facility (IRSF) near-infrared (NIR) data of the Large Magellanic Cloud (LMC) HI ridge region. In our method, we estimate an AV value for each star from the NIR color excess and sort them from bluer to redder in each line of sight. Using the percentile values of the sorted AV, we newly construct the three-dimensional AV map. We compare the resultant AV map with the total hydrogen column density N(H) traced by velocity-resolved HI and CO observations. In the LMC HI ridge region, Fukui et al. (2017, PASJ, 69, L5) find two velocity components and an intermediate velocity one bridging them. Comparing our three-dimensional AV maps with N(H) maps at the different velocities, we find that the dust geometry is consistent with the scenario of the on-going gas collision between the two velocities as suggested in the previous study. In addition, we find difference by a factor of 2 in AV/N(H) between the two velocity components, which suggests that inflow gas from the Small Magellanic Clouds (SMC) is mixed in this region. As a whole, our results support the triggered star formation in 30 Doradus due to the large-scale gas collision caused by tidal interaction between the LMC and the SMC.


title: Limits and Colimits in a Category of Lenses

abstract: Lenses are an important tool in applied category theory. While individual lenses have been widely used in applications, many of the mathematical properties of the corresponding categories of lenses have remained unknown. In this paper, we study the category of small categories and asymmetric delta lenses, and prove that it has several good exactness properties. These properties include the existence of certain limits and colimits, as well as so-called imported limits, such as imported products and imported pullbacks, which have arisen previously in applications. The category is also shown to be extensive, and it has an image factorisation system.


title: Nonlinear ultrasound imaging modeled by a Westervelt equation

abstract: We consider the ultrasound imaging problem governed by a nonlinear wave equation of Westervelt type with variable wave speed. We show that the coefficient of nonlinearity can be recovered uniquely from knowledge of the Dirichlet-to-Neumann map. Our proof is based on a second order linearization and the use of Gaussian beam solutions to reduce the problem to the inversion of a weighted geodesic ray transform. We propose an inversion algorithm and report the results of a numerical implementation to solve the nonlinear ultrasound imaging problem in a transmission setting in the frequency domain.


title: Transitioning to human interaction with AI systems: New challenges and opportunities for HCI professionals to enable human-centered AI

abstract: While AI has benefited humans, it may also harm humans if not appropriately developed. The focus of HCI work is transiting from conventional human interaction with non-AI computing systems to interaction with AI systems. We conducted a high-level literature review and a holistic analysis of current work in developing AI systems from an HCI perspective. Our review and analysis highlight the new changes introduced by AI technology and the new challenges that HCI professionals face when applying the human-centered AI (HCAI) approach in the development of AI systems. We also identified seven main issues in human interaction with AI systems, which HCI professionals did not encounter when developing non-AI computing systems. To further enable the implementation of the HCAI approach, we identified new HCI opportunities tied to specific HCAI-driven design goals to guide HCI professionals in addressing these new issues. Finally, our assessment of current HCI methods shows the limitations of these methods in support of developing AI systems. We propose alternative methods that can help overcome these limitations and effectively help HCI professionals apply the HCAI approach to the development of AI systems. We also offer strategic recommendations for HCI professionals to effectively influence the development of AI systems with the HCAI approach, eventually developing HCAI systems.


title: Pressure-induced phase switching of the Shubnikov de Haas oscillations in molecular Dirac fermion system $\alpha-$(BETS)$_{2}$I$_{3}$

abstract: We report on the Shubnikov de Haas (SdH) oscillations in the quasi two-dimensional molecular conductor $\alpha-$(BETS)$_{2}$I$_{3}$ [BETS: bis(ethylenedithio)tetraselenafulvalene] laminated on polyimide films at 1.7 K. From the SdH phase factor, we verified experimentally that the material is in the Dirac fermion phase under pressure. $\alpha-$(BETS)$_{2}$I$_{3}$ is in the vicinity of the phase transition between strongly correlated insulating and Dirac fermion phases, and is a possible candidate for an ambient-pressure molecular Dirac fermion system. However, the SdH oscillations indicate that the Berry phase is zero at ambient pressure. Under pressure, a $\pi$ Berry phase emerges when the metal-insulator crossover is almost suppressed at $\sim$0.5 GPa. The results contrast those for the pioneering molecular Dirac fermion system $\alpha-$(BEDT-TTF)$_{2}$I$_{3}$ [BEDT-TTF: bis(ethylenedithio)tetrathiafulvalene] in which Dirac fermions and semiconducting behavior are simultaneously observed.


title: On the $\alpha$-attractor T-models

abstract: We carry out a fully analytical study of the phenomenology of $\alpha$-attractor T-models defined by the potential $V = V_0\tanh^ p\left(\lambda \phi/M_{pl}\right)$. We obtain expressions for the number of e-folds during inflation $N_{ke}$ in terms of the scalar spectral index $n_s$ and independently in terms of the tensor-to-scalar ratio $r$. From these expressions we obtain exact solutions for both $n_s$ and $r$ in terms of $N_{ke}$ along with their expansions for large $N_{ke}$, in full agreement with known expressions. Eliminating the parameter $\lambda$ from the model in terms of $n_s$ and $r$ we can obtain exact solutions for $r$ in terms of $n_s$ and $N_{ke}$ which allows us to reproduce, in particular, numerical solutions presented by the Planck Collaboration for the monomial potentials. We explicitly show how these solutions are contained in the solutions for the $\alpha$-attractors and are also the end points of these. Finally, by also eliminating the global scale $V_0$ in terms of the observables $n_s$ and $r$ we show how in the appropriate limit the $\alpha$-attractor potential exactly reduces to the monomials potential. We also briefly show that for $\alpha$-attractor E-models, which generalize the Starobinsky potential in the Einstein frame, a similar transition occurs.


title: Random Double Auction: A Robust Bilateral Trading Mechanism

abstract: I construct a novel random double auction as a robust bilateral trading mechanism for a profit-maximizing intermediary who facilitates trade between a buyer and a seller. It works as follows. The intermediary publicly commits to charging a fixed commission fee and randomly drawing a spread from a uniform distribution. Then the buyer submits a bid price and the seller submits an ask price simultaneously. If the difference between the bid price and the ask price is greater than the realized spread, then the asset is transacted at the midpoint price, and each pays the intermediary half of the fixed commission fee. Otherwise, no trade takes place, and no one pays or receives anything. I show that the random double auction maximizes the worst-case expected profit across all dominant-strategy incentive compatible and ex-post individually rational mechanisms for the symmetric case. I also construct a robust trading mechanism with similar properties for the asymmetric case.


title: Diophantine equation for the Rice-Mele model: Topological aspect of filling numbers and associated spatial pump

abstract: We introduce a long-period generic spatial modulation into a typical model of the Thouless pump, namely, the Rice--Mele (RM) model, to examine the lattice analog of the fermion charge in quantum field theory. We derive a Diophantine equation relating the fermion charge and the pumped charge, which leads to the one-dimensional (1D) analog of the Streda formula in the quantum Hall effect (QHE). This formula implies that an adiabatic change of the periodicity of the spatial modulation yields a spatial charge pump such that the rightmost charge is pumped to the right by the Chern number compared with the leftmost charge. This causes a change in the length of the fermion chain by an integer, thus providing the opportunity for direct measurement of the Streda formula in 1D systems.


title: Gradient estimates for Stokes and Navier-Stokes systems with piecewise DMO coefficients

abstract: We study stationary Stokes systems in divergence form with piecewise Dini mean oscillation coefficients and data in a bounded domain containing a finite number of subdomains with $C^{1,\rm{Dini}}$ boundaries. We prove that if $(u, p)$ is a weak solution of the system, then $(Du, p)$ is bounded and piecewise continuous. The corresponding results for stationary Navier-Stokes systems are also established, from which the Lipschitz regularity of the stationary $H^1$-weak solution in dimensions $d=2,3,4$ is obtained.


title: Leafwise Quasigeodesic Foliation in Dimension Three and the Funnel Property

abstract: We construct one dimensional foliations which are subfoliations of two dimensional foliations in 3-manifolds. The subfoliation is by quasigeodesics in each two dimensional leaf, but it is not funnel: not all quasigeodesics share a common ideal point in most leaves. This article answers the question whether the funnel property is a consequence of the leafwise quasigeodesic property or not.


title: Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete

abstract: Organisations are required to show that their procedures and processes satisfy the relevant regulatory requirements. The computational complexity of proving regulatory compliance is known to be generally hard. However, for some of its simpler variants the computational complexity is still unknown. We focus on the eight variants of the problem that can be identified by the following binary properties: whether the requirements consists of one or multiple obligations, whether the obligations are conditional or always in force, and whether only propositional literals or formulae can be used to describe the obligations. This paper in particular shows that proving full compliance of a model against a single unconditional obligation whose elements can be described using formulae is coNP-complete. Finally we show how this result allows to fully map the computational complexity of these variants for proving full and non compliance, while for partial compliance the complexity result of one of the variants is still missing.


title: Discrete-time Contraction-based Control of Nonlinear Systems with Parametric Uncertainties using Neural Networks

abstract: In response to the continuously changing feedstock supply and market demand for products with different specifications, the processes need to be operated at time-varying operating conditions and targets (e.g., setpoints) to improve the process economy, in contrast to traditional process operations around predetermined equilibriums. In this paper, a contraction theory-based control approach using neural networks is developed for nonlinear chemical processes to achieve time-varying reference tracking. This approach leverages the universal approximation characteristics of neural networks with discrete-time contraction analysis and control. It involves training a neural network to learn a contraction metric and differential feedback gain, that is embedded in a contraction-based controller. A second, separate neural network is also incorporated into the control-loop to perform online learning of uncertain system model parameters. The resulting control scheme is capable of achieving efficient offset-free tracking of time-varying references, with a full range of model uncertainty, without the need for controller structure redesign as the reference changes. This is a robust approach that can deal with bounded parametric uncertainties in the process model, which are commonly encountered in industrial (chemical) processes. This approach also ensures the process stability during online simultaneous learning and control. Simulation examples are provided to illustrate the above approach.


title: Stability of Syzygy bundles corresponding to stable vector bundles on algebraic surfaces

abstract: Let $(X, H)$ be a polarized smooth projective algebraic surface and $E$ is globally generated, stable vector bundle on $X$. Then the Syzygy bundle $M_E$ associated to it is defined as the kernel bundle corresponding to the evaluation map. In this article we will study the stability property of $M_E$ with respect to $H$.


title: A novel feed rate scheduling method based on Sigmoid function with chord error and kinematics constraints

abstract: In high speed CNC (Compute Numerical Control) machining, the feed rate scheduling has played an important role to ensure machining quality and machining efficiency. In this paper, a novel feed rate scheduling method is proposed for generating smooth feed rate profile conveniently with the consideration of both geometric error and kinematic error. First, a relationship between feed rate value and chord error is applied to determine the feed rate curve. Then, breaking points, which can split whole curve into several blocks, can be found out using proposed two step screening method. For every block, a feed rate profile based on the Sigmoid function is generated. With the consideration of kinematic limitation and machining efficiency, a time-optimal feed rate adjustment algorithm is proposed to further adjust feed rate value at breaking points. After planning feed rate profile for each block, all blocks feed rate profile will be connected smoothly. The resulting feed rate profile is more concise compared with the polynomial profile and more efficient compared with the trigonometric profile. Finally, simulations with two free-form NURBS curves are conducted and comparison with the sine-curve method are carried out to verify the feasibility and applicability of the proposed method.


title: UIUC_BioNLP at SemEval-2021 Task 11: A Cascade of Neural Models for Structuring Scholarly NLP Contributions

abstract: We propose a cascade of neural models that performs sentence classification, phrase recognition, and triple extraction to automatically structure the scholarly contributions of NLP publications. To identify the most important contribution sentences in a paper, we used a BERT-based classifier with positional features (Subtask 1). A BERT-CRF model was used to recognize and characterize relevant phrases in contribution sentences (Subtask 2). We categorized the triples into several types based on whether and how their elements were expressed in text, and addressed each type using separate BERT-based classifiers as well as rules (Subtask 3). Our system was officially ranked second in Phase 1 evaluation and first in both parts of Phase 2 evaluation. After fixing a submission error in Pharse 1, our approach yields the best results overall. In this paper, in addition to a system description, we also provide further analysis of our results, highlighting its strengths and limitations. We make our code publicly available at https://github.com/Liu-Hy/nlp-contrib-graph.


title: Controllable double optical bistability via photon and phonon interaction in a hybrid optomechanical system

abstract: The optical bistability have been studied theoretically in a multi-mode optomechanical system with two mechanical oscillators independently coupled to two cavities in addition to direct tunnel coupling between cavities. It is proved that the bistable behavior of mean intracavity photon number in the right cavity can be tuned by adjusting the strength of the pump laser beam driving the left cavity. And the mean intracavity photon number is relatively larger in the red sideband regime than that in the blue sideband regime. Moreover, we have shown that the double optical bistability of intracavity photon in the right cavity and the two steady-state positions of mechanical resonators can be observed when the control field power is increased to a critical value. Besides, the critical values for observing bistability and double bistability can be tuned by adjusting the coupling coefficient between two cavities and the coupling rates between cavities mode and mechanical mode.


title: Residue of some Eisenstein series

abstract: The real analytic Eisenstein series is a special function that has been studied classically. Its generalization to the case of many variables has been studied extensively. Moreover, the analytic properties of certain Eisenstein series on the Siegel modular groups have also been investigated. The purpose of this study is to provide concrete forms of the residue of E_0^{(m)}(z,s) at s=m/2.


title: Indoor positioning systems: Smart fusion of a variety of sensor readings

abstract: Robust and versatile localization techniques are key to the success of the next industrial revolution. Yet, it is uncertain which combination of sensors will be the most robust and valuable. Thus, we present a versatile and reproducible measurement system incorporating a manifold number of state-of-the art sensors to compare and fuse the raw input data. It is shown that some techniques show very good results on the same scenario and data-set, but fall apart on translating to a slightly different scenario. In general we show that the vanilla approach to fuse the raw data achieves reasonable results in the generalization domain, demonstrating that radiofrequency (RF) localization techniques in combination with an inertial measurement unit (IMU) could result in a very robust and promising candidate for solving this challenging task.


title: Autoregressive Optimal Transport Models

abstract: Series of univariate distributions indexed by equally spaced time points are ubiquitous in applications and their analysis constitutes one of the challenges of the emerging field of distributional data analysis. To quantify such distributional time series, we propose a class of intrinsic autoregressive models that operate in the space of optimal transport maps. The autoregressive transport models that we introduce here are based on regressing optimal transport maps on each other, where predictors can be transport maps from an overall barycenter to a current distribution or transport maps between past consecutive distributions of the distributional time series. Autoregressive transport models and their associated distributional regression models specify the link between predictor and response transport maps by moving along geodesics in Wasserstein space. These models emerge as natural extensions of the classical autoregressive models in Euclidean space. Unique stationary solutions of autoregressive transport models are shown to exist under a geometric moment contraction condition of Wu and Shao (2004), using properties of iterated random functions. We also discuss an extension to a varying coefficient model for first order autoregressive transport models. In addition to simulations, the proposed models are illustrated with distributional time series of house prices across U.S. counties and annual summer temperature distributions.


title: Commutativity of Quantization and Reduction for Quiver Representations

abstract: Given a finite quiver, its double may be viewed as its non-commutative "cotangent" space, and hence is a non-commutative symplectic space. Crawley-Boevey, Etingof and Ginzburg constructed the non-commutative reduction of this space while Schedler constructed its quantization. We show that the non-commutative quantization and reduction commute with each other. Via the quantum and classical trace maps, such a commutativity induces the commutativity of the quantization and reduction on the space of quiver representations.


title: Perovskite-type YRh$_{3}$B with multiple types of nodal point and nodal line states

abstract: Experimentally synthesized perovskite-type YRh$_{3}$B with a $Pm\bar{3}m$ type structure was proposed as a novel topological material (TM) via first-principles calculations and the low-energy $k\cdot p$ effective Hamiltonian, which has a quadratic contact triple point (QCTP) at point $\Gamma$ and six pairs of open nodal lines (NLs) of the hybrid type. Clear surface states observed in the surface spectrum confirmed the topological states. When spin-orbit coupling was considered, the QCTP at $\Gamma$ transferred to the quadratic-type Dirac nodal point (NP). Under 1$\%$ tetragonal strained lattice constants, YRh$_{3}$B hosted richer topological states, including a quadratic-type two-fold degenerate NP, six pairs of open NLs of the hybrid type, and two closed NLs of type I and hybrid type. Moreover, it was proved that the NLs of YRh$_{3}$B at its strained lattice constants contain all types of band-crossing points (BCPs) (i.e., type I, type II, and critical type). Such rich types of NP and NL states in one compound make it potentially applicable for multifunctional electronic devices as well as an appropriate platform to study entanglement among topological states.


title: Changeover phenomenon in randomly colored Potts models

abstract: A hybrid Potts model where a random concentration $p$ of the spins assume $q_0$ states and a random concentration $1-p$ of the spins assume $q>q_0$ states is introduced. It is known that when the system is homogeneous, with an integer spin number $q_0$ or $q$, it undergoes a second or a first order transition, respectively. It is argued that there is a concentration $p^\ast$ such that the transition nature of the model is changed at $p^\ast$. This idea is demonstrated analytically and by simulations for two different types of interaction: the usual square lattice nearest neighboring and mean field all-to-all. Exact expressions for the second order critical line in concentration-temperature parameter space of the mean field model together with some other related critical properties, are derived.


title: A Nearly Instance-optimal Differentially Private Mechanism for Conjunctive Queries

abstract: Releasing the result size of conjunctive queries and graph pattern queries under differential privacy (DP) has received considerable attention in the literature, but existing solutions do not offer any optimality guarantees. We provide the first DP mechanism for this problem with a fairly strong notion of optimality, which can be considered as a natural relaxation of instance-optimality to a constant.


title: Anti-Hong-Ou-Mandel effect with entangled photons

abstract: In the classical Hong-Ou-Mandel (HOM) effect pairs of photons with bosonic (fermionic) spatial wavefunction coalesce (anti-coalesce) when mixed on a lossless beamsplitter. Here we report that the presence of dissipation in the beamsplitter allows the observation of the anti-HOM effect, where bosons anti-coalesce and fermions show coalescent-like behavior. We provide an experimental demonstration of the anti-HOM effect for both bosonic and fermionic two-photon entangled states. Beyond its fundamental significance, the anti-HOM effect offers applications in quantum information and metrology where states of entangled photons are dynamically converted.


title: Snipuzz: Black-box Fuzzing of IoT Firmware via Message Snippet Inference

abstract: The proliferation of Internet of Things (IoT) devices has made people's lives more convenient, but it has also raised many security concerns. Due to the difficulty of obtaining and emulating IoT firmware, the black-box fuzzing of IoT devices has become a viable option. However, existing black-box fuzzers cannot form effective mutation optimization mechanisms to guide their testing processes, mainly due to the lack of feedback. It is difficult or even impossible to apply existing grammar-based fuzzing strategies. Therefore, an efficient fuzzing approach with syntax inference is required in the IoT fuzzing domain. To address these critical problems, we propose a novel automatic black-box fuzzing for IoT firmware, termed Snipuzz. Snipuzz runs as a client communicating with the devices and infers message snippets for mutation based on the responses. Each snippet refers to a block of consecutive bytes that reflect the approximate code coverage in fuzzing. This mutation strategy based on message snippets considerably narrows down the search space to change the probing messages. We compared Snipuzz with four state-of-the-art IoT fuzzing approaches, i.e., IoTFuzzer, BooFuzz, Doona, and Nemesys. Snipuzz not only inherits the advantages of app-based fuzzing (e.g., IoTFuzzer, but also utilizes communication responses to perform efficient mutation. Furthermore, Snipuzz is lightweight as its execution does not rely on any prerequisite operations, such as reverse engineering of apps. We also evaluated Snipuzz on 20 popular real-world IoT devices. Our results show that Snipuzz could identify 5 zero-day vulnerabilities, and 3 of them could be exposed only by Snipuzz. All the newly discovered vulnerabilities have been confirmed by their vendors.


title: Construction and comparative study of Euler method with adaptive IQ and IMQ-RBFs

abstract: The fundamental purpose of the present work is to constitute an enhanced Euler method with adaptive inverse-quadratic and inverse-multi-quadratic radial basis function (RBF) interpolation technique to solve initial value problems. These enhanced methods improve the local convergence of numerical solutions by utilizing a free parameter of radial basis functions. Consistency, convergence, and stability analysis are provided to support our claims for each method. Numerical results show that the accuracy and rate of convergence of each proposed method are the same as the original Euler method or improved by making the local truncation error vanish; thus, the adaptive methods are optimal.


title: Transcritical transition of the fluid around the interface

abstract: In this letter, we provide fundamental insights into the dynamic transcritical transition process using molecular dynamics simulations. A transcritical region, which covers three different fluid states, was discovered as a substitute for the traditional interface. The physical properties, such as temperature and density, exhibited a highly non-linear distribution in the transcritical region. Meanwhile, the surface tension was found to exist throughout the transcritical region, and the magnitude was directly proportional to $ - \rho \cdot {\nabla ^2}\rho $


title: Prime number factorization using a spinor Bose-Einstein condensate inspired topological quantum computer

abstract: Inspired by non-abelian vortex anyons in spinor Bose-Einstein condensates, we consider the quantum double $\mathcal{D}(Q_8)$ anyon model as a platform to carry out a particular instance of Shor's factorization algorithm. We provide the excitation spectrum, the fusion rules, and the braid group representation for this model, and design a circuit architecture that facilitates the computation. All necessary quantum gates, less one, can be compiled exactly for this hybrid topological quantum computer, and to achieve universality the last operation can be implemented in a non-topological fashion. To analyse the effect of decoherence on the computation, a noise model based on stochastic unitary rotations is considered. The computational potential of this quantum double anyon model is similar to that of the Majorana fermion based Ising anyon model, offering a complementary future platform for topological quantum computation.


title: An efficient projection neural network for $\ell_1$-regularized logistic regression

abstract: $\ell_1$ regularization has been used for logistic regression to circumvent the overfitting and use the estimated sparse coefficient for feature selection. However, the challenge of such a regularization is that the $\ell_1$ norm is not differentiable, making the standard algorithms for convex optimization not applicable to this problem. This paper presents a simple projection neural network for $\ell_1$-regularized logistics regression. In contrast to many available solvers in the literature, the proposed neural network does not require any extra auxiliary variable nor any smooth approximation, and its complexity is almost identical to that of the gradient descent for logistic regression without $\ell_1$ regularization, thanks to the projection operator. We also investigate the convergence of the proposed neural network by using the Lyapunov theory and show that it converges to a solution of the problem with any arbitrary initial value. The proposed neural solution significantly outperforms state-of-the-art methods with respect to the execution time and is competitive in terms of accuracy and AUROC.


title: Razumikhin-type Control Lyapunov and Barrier Functions for Time-Delay Systems

abstract: This paper studies the stabilization and safety problems of nonlinear time-delay systems, where time delays exist in system state and affect the controller design. Following the Razumikhin approach, we propose a novel control Lyapunov-Razumikhin function to facilitate the controller design and to achieve the stabilization objective. To ensure the safety objective, we propose a Razumikhin-type control barrier function for time-delay systems for the first time. Furthermore, the proposed Razumikhin-type control Lyapunov and barrier functions are merged such that the stabilization and safety control design can be combined to address the stabilization and safety simultaneously, which further extends the control design from the delay-free case into the time-delay case. Finally, the proposed approach is illustrated via a numerical example.


title: Path Analysis Of Covid-19 with the Influence of Air Pressure, Air Temperature, and Relative Humidity

abstract: Coronavirus disease 2019 (COVID-19) is one of the most infectious diseases and one of the greatest challenge due to global health crisis. The virus has been transmitted globally and spreading so fast with high incidence. While, the virus still pandemic, the government scramble to seek antiviral treatment and vaccines to combat the diseases. This study was conducted to investigate the influence of air pressure, air temperature, and relative humidity on the number of confirmed cases in COVID-19. Based on the result, the calculation of reproduced correlation through path decompositions and subsequent comparison to the empirical correlation indicated that the path model fits the empirical data. The identified factor significantly influenced the number of confirmed cases of COVID-19. Therefore, the number of daily confirmed cases of COVID-19 may reduce as the amount of relative humidity increases; relative humidity will increase as the amount of air temperature decreases; and the amount of air temperature will decrease as the amount of air pressure decreases. Thus, it is recommended that policy-making bodies consider the result of this study when implementing programs for COVID-19 and increase public awareness on the effects of weather condition, as it is one of the factors to control the number of COVID-19 cases.


title: Complex flows, escape to infinity and a question of Rubel

abstract: Let $f$ be a transcendental entire function. It was shown in a previous paper that the holomorphic flow $\dot z = f(z)$ always has infinitely many trajectories tending to infinity in finite time. It will be proved here that such trajectories are in a certain sense rare, although an example will be given to show that there can be uncountably many. In contrast, for the classical antiholomorphic flow $\dot z = \bar f(z)$, such trajectories need not exist at all, although they must if $f$ belongs to the Eremenko-Lyubich class $\mathcal{B}$. It is also shown that for transcendental entire $f$ in $\mathcal{B}$ there exists a path tending to infinity on which $f$ and all its derivatives tend to infinity, thus affirming a conjecture of Rubel for this class.


title: Toric orbifolds associated with partitioned weight polytopes in classical types

abstract: Given a root system $\Phi$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $\Phi$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_\Phi)$ of the toric variety $X_\Phi$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_\Phi)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_\Phi(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_\Phi(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.


title: From Collaboration to Solitude and Back: Remote Pair Programming during COVID-19

abstract: Along with the increasing popularity of agile software development, software work has become much more social than ever. Contemporary software teams rely on a variety of collaborative practices, such as pair programming, the topic of our study. Many agilists advocated the importance of collocation, face-to-face interaction, and physical artefacts incorporated in the shared workspace, which the COVID-19 pandemic made unavailable; most software companies around the world were forced to send their engineers to work from home. As software projects and teams overnight turned into dis-tributed collaborations, we question what happened to the pair programming practice in the work-from-home mode. This paper reports on a longitudinal study of remote pair programming in two companies. We conducted 38 interviews with 30 engineers from Norway, Sweden, and the USA, and used the results of a survey in one of the case companies. Our study is unique as we collected the data longitudinally in April/May 2020, Sep/Oct 2020, and Jan/Feb 2021. We found that pair programming has decreased and some interviewees report not pairing at all for almost a full year. The experiences of those who paired vary from actively co-editing the code by using special tools to more passively co-reading and discussing the code and solutions by sharing the screen. Finally, we found that the interest in and the use of PP over time, since the first months of forced work from home to early 2021, has admittedly increased, also as a social practice.


title: MT: Multi-Perspective Feature Learning Network for Scene Text Detection

abstract: Text detection, the key technology for understanding scene text, has become an attractive research topic. For detecting various scene texts, researchers propose plenty of detectors with different advantages: detection-based models enjoy fast detection speed, and segmentation-based algorithms are not limited by text shapes. However, for most intelligent systems, the detector needs to detect arbitrary-shaped texts with high speed and accuracy simultaneously. Thus, in this study, we design an efficient pipeline named as MT, which can detect adhesive arbitrary-shaped texts with only a single binary mask in the inference stage. This paper presents the contributions on three aspects: (1) a light-weight detection framework is designed to speed up the inference process while keeping high detection accuracy; (2) a multi-perspective feature module is proposed to learn more discriminative representations to segment the mask accurately; (3) a multi-factor constraints IoU minimization loss is introduced for training the proposed model. The effectiveness of MT is evaluated on four real-world scene text datasets, and it surpasses all the state-of-the-art competitors to a large extent.


title: Superconducting diode effect via conformal-mapped nanoholes

abstract: A superconducting diode is an electronic device that conducts supercurrent and exhibits zero resistance primarily for one direction of applied current. Such a dissipationless diode is a desirable unit for constructing electronic circuits with ultralow power consumption. However, realizing a superconducting diode is fundamentally and technologically challenging, as it usually requires a material structure without a centre of inversion, which is scarce among superconducting materials. Here, we demonstrate a superconducting diode achieved in a conventional superconducting film patterned with a conformal array of nanoscale holes, which breaks the spatial inversion symmetry. We showcase the superconducting diode effect through switchable and reversible rectification signals, which can be three orders of magnitude larger than that from a flux-quantum diode. The introduction of conformal potential landscapes for creating a superconducting diode is thereby proven as a convenient, tunable, yet vastly advantageous tool for superconducting electronics. This could be readily applicable to any superconducting materials, including cuprates and iron-based superconductors that have higher transition temperatures and are desirable in device applications.


title: Incorporating Commonsense Knowledge Graph in Pretrained Models for Social Commonsense Tasks

abstract: Pretrained language models have excelled at many NLP tasks recently; however, their social intelligence is still unsatisfactory. To enable this, machines need to have a more general understanding of our complicated world and develop the ability to perform commonsense reasoning besides fitting the specific downstream tasks. External commonsense knowledge graphs (KGs), such as ConceptNet, provide rich information about words and their relationships. Thus, towards general commonsense learning, we propose two approaches to \emph{implicitly} and \emph{explicitly} infuse such KGs into pretrained language models. We demonstrate our proposed methods perform well on SocialIQA, a social commonsense reasoning task, in both limited and full training data regimes.


title: Distributionally Robust Graph Learning from Smooth Signals under Moment Uncertainty

abstract: We consider the problem of learning a graph from a finite set of noisy graph signal observations, the goal of which is to find a smooth representation of the graph signal. Such a problem is motivated by the desire to infer relational structure in large datasets and has been extensively studied in recent years. Most existing approaches focus on learning a graph on which the observed signals are smooth. However, the learned graph is prone to overfitting, as it does not take the unobserved signals into account. To address this issue, we propose a novel graph learning model based on the distributionally robust optimization methodology, which aims to identify a graph that not only provides a smooth representation of but is also robust against uncertainties in the observed signals. On the statistics side, we establish out-of-sample performance guarantees for our proposed model. On the optimization side, we show that under a mild assumption on the graph signal distribution, our proposed model admits a smooth non-convex optimization formulation. We then develop a projected gradient method to tackle this formulation and establish its convergence guarantees. Our formulation provides a new perspective on regularization in the graph learning setting. Moreover, extensive numerical experiments on both synthetic and real-world data show that our model has comparable yet more robust performance across different populations of observed signals than existing non-robust models according to various metrics.


title: Observation-dependent suppression and enhancement of two-photon coincidences by tailored losses

abstract: The uncanny ability of multiple particles to interfere with one another is one of the core principles of quantum mechanics, and serves as foundation for quantum information processing. In particular, the interplay of constructive and destructive interference with the characteristic exchange statistics of indistinguishable particles give rise to the Hong-Ou-Mandel (HOM) effect, where the bunching of bosons can lead to a perfect suppression of two-particle coincidences between the output ports of a balanced beam splitter. Conversely, in the case of two fermions, anti-bunching can systematically enhance these coincidences up to twice the baseline value of distinguishable particles. As such, the respective emergence of dips or peaks in the HOM experiment may at first glance appear to be indicative of the bosonic/fermionic nature of the incident particles. In this work, we demonstrate experimentally that the two-particle coincidence statistics of two bosons can instead be seamlessly tuned from the expected case of suppression to substantial enhancement by an appropriate choice of the observation basis. To this end, our photonic setting leverages birefringent polarization couplers to selectively introduce dissipation in the photons polarization degree of freedom. Notably, the mechanism underpinning this this highly unusual behaviour does not act on the individual phases accumulated by pairs of particles along specific paths, but instead allows them to jointly evade losses, while indistinguishable photons are prevented from being simultaneously detected in orthogonal modes. Our findings reveal a new approach to harnessing non-Hermitian settings for the manipulation of multi-particle quantum states and as functional elements in quantum simulation and information processing.


title: A Systematic Literature Review on Blockchain Governance

abstract: Blockchain has been increasingly used as a software component to enable decentralisation in software architecture for a variety of applications. Blockchain governance has received considerable attention to ensure the safe and appropriate use and evolution of blockchain, especially after the Ethereum DAO attack in 2016. However, there are no systematic efforts to analyse existing governance solutions. To understand the state-of-the-art of blockchain governance, we conducted a systematic literature review with 37 primary studies. The extracted data from primary studies are synthesised to answer identified research questions. The study results reveal several major findings: 1) governance can improve the adaptability and upgradability of blockchain, whilst the current studies neglect broader ethical responsibilities as the objectives of blockchain governance; 2) governance is along with the development process of a blockchain platform, while ecosystem-level governance process is missing, and; 3) the responsibilities and capabilities of blockchain stakeholders are briefly discussed, whilst the decision rights, accountability, and incentives of blockchain stakeholders are still under studied. We provide actionable guidelines for academia and practitioners to use throughout the lifecycle of blockchain, and identify future trends to support researchers in this area.


title: An overview of generalised Kac-Moody algebras on compact real manifolds

abstract: A generalised notion of Kac-Moody algebra is defined using smooth maps from a compact real manifold $\mathcal{M}$ to a finite-dimensional Lie group, by means of complete orthonormal bases for a Hermitian inner product on the manifold and a Fourier expansion. The Peter--Weyl theorem for the case of manifolds related to compact Lie groups and coset spaces is discussed, and appropriate Hilbert bases for the space $L^{2}(\mathcal{M})$ of square-integrable functions are constructed. It is shown that such bases are characterised by the representation theory of the compact Lie group, from which a complete set of labelling operator is obtained. The existence of central extensions of generalised Kac-Moody algebras is analysed using a duality property of Hermitian operators on the manifold, and the corresponding root systems are constructed. Several applications of physically relevant compact groups and coset spaces are discussed.


title: PV Modules and Their Backsheets -- A Case Study of a Multi-MW PV Power Station

abstract: Degradation of backsheets (BS) and encapsulant polymer components of silicon PV modules is recognized as one of the main reasons for losses in PV plant performance and lifetime expectations. Here, we report first insights into the correlation between BS composition of PV-modules and PV power station performance by using a combination of lab- and field-imaging, as well as spectroscopic and electrical characterizations. Using field-suitable near-infrared absorption (NIRA) spectroscopy, the BS structure of 518 PV-modules, 2.5 percent of the PV-modules in a 5 MWp PV power station, was identified on-site. The variance of the BS composition was found to be heterogeneous across PV-modules of the same power class from the same manufacturer. Polymaide-based BS cause in 10 out of 100 inverters ground impedance values below 400 kOhm, which is a typical threshold for inverters connecting to the grid. For primer-based BS this low value is reached 20 times. We conclude these numbers best as possible from the available monitoring data of inverters associated with BS-types from NIRA. Challenging is the identification of degraded primer-based BSs, since visually they look healthy and undistinguishable to well performing BSs. The present results demonstrate that a deeper understanding of the relationship between bill-of-materials and performance of PV-modules is necessary to avoid/minimize inverter shut-downs, and that it can be achieved by using combinations of selected field and lab characterization methods with monitoring data.


title: Carbonaceous sulfur hydride system: the strong-coupled room-temperature superconductor with a low value of Ginzburg-Landau parameter

abstract: The superconducting state in Carbonaceous Sulfur Hydride (C-S-H) system is characterized by the record-high critical temperature of $288$~K experimentally observed at $\sim$267 GPa. Herein, we determined the properties of the \mbox{C-S-H} superconducting phase within the scope of both classical Eliashberg equations (CEE) and the Eliashberg equations with vertex corrections (VCEE). We took into account the scenarios pertinent to either the intermediate or the high value of electron-phonon coupling constant ($\lambda\sim 0.75$ or $\lambda\sim 3.3$, respectively). The scenario for the intermediate value, however, cannot be actually realized due to the anomally high value of logarithmic phonon frequency ($\omega_{\rm ln}/k_{B}=7150$~K) it would require. On the other hand, we found it possible to reproduce correctly the value of $T_{C}$ and other thermodynamic quantities in the case of strong coupling. However, the vertex corrections lower the order parameter values within the range from $\sim 50$~K to $\sim275$~K. For the upper critical field $H_{C2}\sim 27$~T, the Ginzburg-Landau parameter $\kappa$ is of the order of $1.7$. This correlates well with the sharp drop of resistance observed by Hirsch and Marsiglio at the critical temperature. The strong-coupling scenario for C-S-H system is also suggested by the high values of $\lambda$ estimated for ${\rm H_{3}S}$ ($\lambda\sim 2.1$, $\kappa\sim 1.5$), ${\rm LaH_{10}}$ ($\lambda\sim 2.8$-$3.9$, $\kappa\sim 1.6$), and ${\rm YH_{6}}$ ($\lambda\sim 1.7$, $\kappa\sim 1.3$) compounds.


title: Target-Following Double Deep Q-Networks for UAVs

abstract: Target tracking in unknown real-world environments in the presence of obstacles and target motion uncertainty demand agents to develop an intrinsic understanding of the environment in order to predict the suitable actions to be taken at each time step. This task requires the agents to maximize the visibility of the mobile target maneuvering randomly in a network of roads by learning a policy that takes into consideration the various aspects of a real-world environment. In this paper, we propose a DDQN-based extension to the state-of-the-art in target tracking using a UAV TF-DQN, that we call TF-DDQN, that isolates the value estimation and evaluation steps. Additionally, in order to carefully benchmark the performance of any given target tracking algorithm, we introduce a novel target tracking evaluation scheme that quantifies its efficacy in terms of a wide set of diverse parameters. To replicate the real-world setting, we test our approach against standard baselines for the task of target tracking in complex environments with varying drift conditions and changes in environmental configuration.


title: Networked Aggregative Games with Linear Convergence

abstract: This paper considers a networked aggregative game (NAG) where the players are distributed over a communication network. By only communicating with a subset of players, the goal of each player in the NAG is to minimize an individual cost function that depends on its own action and the aggregate of all the players' actions. To this end, we design a novel distributed algorithm that jointly exploits the ideas of the consensus algorithm and the conditional projection descent. Under strongly monotone assumption on the pseudo-gradient mapping, the proposed algorithm with fixed step-sizes is proved to converge linearly to the unique Nash equilibrium of the NAG. Then the theoretical results are validated by numerical experiments.


title: Modeling multiple scattering transient of an ultrashort laser pulse by spherical particles

abstract: The multiple scattering of an ultrashort laser pulse by a turbid dispersive medium (namely a cloud of bubbles in water) is investigated by means of Monte Carlo simulations. The theory of Gouesbet and Gr\'ehan [Part. Part. Syst. Charact. 17 213-224 (2000)] is used to derive an energetic model of the scattering transient. The spreading and extinction of the pulse is decoupled from the transient of scattering to describe each phenomenon individually. The transient of scattering is modeled with the Lorenz-Mie Theory, thus also valid for a relative refractive index lower than one, contrary to the Debye series expansion which does not converge close to the critical angle. To this aim, the Scattering Impulse Response Function (SIRF) allows to detect the different modes of scattering transient in time and direction. The present approach is more generic and can simulate clouds of air bubbles in water. Two Monte-Carlo approaches are proposed. The first is a pure Monte Carlo approach where the delay due to the scattering is randomly drawn at each event, while the second is based on the transport of the whole scattering signal. They are both embedded in the Monte Carlo code Scatter3D [JOSA A 24, 2206-2219 (2007)]. Both models produce equivalent trends and are validated against published numerical results. They are applied to the multiple scattering of ultra short pulse by a cloud of bubble in water in the forward direction. The pulse spread due to the propagation in water is computed for a wide range of traveled distances and pulse durations, and the optimal pulse duration is given to minimize the pulse spread at a given distance. The main result is that the scattered photons exit the turbid medium earlier than the ballistic photons and produce a double peak related to the refraction in the bubble. This demonstrates the possibility to develop new diagnostics to characterize dynamic bubbly flows.


title: Strong $BV$-extension and $W^{1,1}$-extension domains

abstract: We show that a bounded domain in a Euclidean space is a $W^{1,1}$-extension domain if and only if it is a strong $BV$-extension domain. In the planar case, bounded and strong $BV$-extension domains are shown to be exactly those $BV$-extension domains for which the set $\partial\Omega \setminus \bigcup_{i} \overline{\Omega}_i$ is purely $1$-unrectifiable, where $\Omega_i$ are the open connected components of $\mathbb{R}^2\setminus\overline{\Omega}$.


title: Effective multiple equidistribution of translated measures

abstract: We study the joint distributions of translated measures supported on leaves which are expanded by subgroups of diagonal matrices and generalize previous results of Kleinbock--Margulis, Dabbs--Kelly--Li, and Shi. More specifically, we establish quantitative estimates on higher-order correlations for measures with low regularities and derive error terms which only depend on the distances between translations.


title: Enantioselective Topological Frequency Conversion

abstract: Two molecules are enantiomers if they are non-superimposable mirror images of each other. Electric dipole-allowed cyclic transitions $|1\rangle\to|2\rangle\to|3\rangle\to|1\rangle$ obey the symmetry relation $\mathcal{O}^{R}=-\mathcal{O}^{S}$, where $\mathcal{O}^{R,S}=(\mu_{21}^{R,S}E_{21})(\mu_{13}^{R,S}E_{13})(\mu_{32}^{R,S}E_{32})$, and $R,S$ label the two enantiomers. Here we generalize the concept of topological frequency conversion to an ensemble of enantiomers. We show that, within a rotating-frame, the pumping power between fields of frequency $\omega_{1}$ and $\omega_{2}$ is sensitive to enantiomeric excess, $\mathcal{P}_{2\to1}=\hbar\frac{\omega_{1}\omega_{2}C_{L}^{R}}{2\pi}(N_{R}-N_{S})$, where $N_{i}$ is the number of enantiomers $i$ and $C_{L}^{R}$ is an enantiomer-dependent Chern number. Connections with chiroptical microwave spectroscopy are made. Our work provides an underexplored and fertile connection between topological physics and molecular chirality.


title: New Thermonuclear Rate of 7Li(d,n)24He relevant to the Cosmological Lithium Problem

abstract: Accurate 7Li(d,n)24He thermonuclear reaction rates are crucial for precise prediction of the primordial abundances of Lithium and Beryllium and to probe the mysteries beyond fundamental physics and the standard cosmological model. However, uncertainties still exist in current reaction rates of 7Li(d,n)24He widely used in Big Bang Nucleosynthesis (BBN) simulations. In this work, we reevaluate the 7Li(d,n)24He reaction rate using the latest data on the three near-threshold 9Be excited states from experimental measurements. We present for the first time uncertainties that are directly constrained by experiments. Additionally, we take into account for the first time the contribution from the subthreshold resonance at 16.671 MeV of 9Be. We obtain a 7Li(d,n)24He rate that is overall smaller than the previous estimation by about a factor of 60 at the typical temperature of the onset of primordial nucleosynthesis. We implemented our new rate in BBN nucleosynthesis calculations, and we show that the new rates have a very limited impact on the final light element abundances in uniform density models. Typical abundance variations are in the order of 0.002%. For nonuniform density BBN models, the predicted 7Li production can be increased by 10% and the primordial production of light nuclides with mass number A>7 can be increased by about 40%. Our results confirm that the cosmological lithium problem remains a long-standing unresolved puzzle from the standpoint of nuclear physics.


title: EpiCovDA: a mechanistic COVID-19 forecasting model with data assimilation

abstract: We introduce a minimalist outbreak forecasting model that combines data-driven parameter estimation with variational data assimilation. By focusing on the fundamental components of nonlinear disease transmission and representing data in a domain where model stochasticity simplifies into a process with independent increments, we design an approach that only requires four core parameters to be estimated. We illustrate this novel methodology on COVID-19 forecasts. Results include case count and deaths predictions for the US and all of its 50 states, the District of Columbia, and Puerto Rico. The method is computationally efficient and is not disease- or location-specific. It may therefore be applied to other outbreaks or other countries, provided case counts and/or deaths data are available.


title: Designing circle Swimmers: Principles and strategies

abstract: Various microswimmers move along circles rather than straight lines due to their swimming mechanisms, body shapes or hydrodynamic effects. Here, we adopt the concepts of stochastic thermodynamics to analyze circle swimmers confined in a two-dimensional plane, and study the trade-off relations between various physical quantities such as precision, energy cost and rotational speed. Based on these findings, we predict principles and strategies for designing microswimmers of special optimized functions under limited energy resource conditions, which will bring new experimental inspiration for designing smart motors.


title: Interpretable performance analysis towards offline reinforcement learning: A dataset perspective

abstract: Offline reinforcement learning (RL) has increasingly become the focus of the artificial intelligent research due to its wide real-world applications where the collection of data may be difficult, time-consuming, or costly. In this paper, we first propose a two-fold taxonomy for existing offline RL algorithms from the perspective of exploration and exploitation tendency. Secondly, we derive the explicit expression of the upper bound of extrapolation error and explore the correlation between the performance of different types of algorithms and the distribution of actions under states. Specifically, we relax the strict assumption on the sufficiently large amount of state-action tuples. Accordingly, we provably explain why batch constrained Q-learning (BCQ) performs better than other existing techniques. Thirdly, after identifying the weakness of BCQ on dataset of low mean episode returns, we propose a modified variant based on top return selection mechanism, which is proved to be able to gain state-of-the-art performance on various datasets. Lastly, we create a benchmark platform on the Atari domain, entitled RL easy go (RLEG), at an estimated cost of more than 0.3 million dollars. We make it open-source for fair and comprehensive competitions between offline RL algorithms with complete datasets and checkpoints being provided.


title: Hitting probabilities of constrained random walks representing tandem networks

abstract: Let $X$ be the constrained random walk on $\mathbb{Z}_+^d$ $d >2$, having increments $e_1$, $-e_i+e_{i+1}$ $i=1,2,3,...,d-1$ and $-e_d$ with probabilities $\lambda$, $\mu_1$, $\mu_2$,...,$\mu_d$, where $\{e_1,e_2,..,e_d\}$ are the standard basis vectors. The process $X$ is assumed stable, i.e., $\lambda < \mu_i$ for all $i=1,2,3,...,d.$ Let $\tau_n$ be the first time the sum of the components of $X$ equals $n$. We derive approximation formulas for the probability ${\mathbb P}_x(\tau_n < \tau_0)$. For $x \in \bigcup_{i=1}^d \Big\{x \in {\mathbb R}^d_+: \sum_{j=1}^{i} x(j)$ $> \left(1 - \frac{\log \lambda/\min \mu_i}{\log \lambda/\mu_i}\right) \Big\}$ and a sequence of initial points $x_n/n \rightarrow x$ we show that the relative error of the approximation decays exponentially in $n$. The approximation formula is of the form ${\mathbb P}_y(\tau < \infty)$ where $\tau$ is the first time the sum of the components of a limit process $Y$ is $0$; $Y$ is the process $X$ as observed from a point on the exit boundary except that it is unconstrained in its first component (in particular $Y$ is an unstable process); $Y$ and ${\mathbb P}_y(\tau< \infty)$ arise naturally as the limit of an affine transformation of $X$ and the probability ${\mathbb P}_x(\tau_n < \tau_0).$ The analysis of the relative error is based on a new construction of supermartingales. We derive an explicit formula for ${\mathbb P}_y(\tau < \infty)$ in terms of the ratios $\lambda/\mu_i$ which is based on the concepts of harmonic systems and their solutions and conjugate points on a characteristic surface associated with the process $Y$; the derivation of the formula assumes $\mu_i \neq \mu_j$ for $i\neq j.$


title: MomentClosure.jl: automated moment closure approximations in Julia

abstract: MomentClosure.jl is a Julia package providing automated derivation of the time-evolution equations of the moments of molecule numbers for virtually any chemical reaction network using a wide range of moment closure approximations. It extends the capabilities of modelling stochastic biochemical systems in Julia and can be particularly useful when exact analytic solutions of the chemical master equation are unavailable and when Monte Carlo simulations are computationally expensive. MomentClosure.jl is freely accessible under the MIT license. Source code and documentation are available at https://github.com/augustinas1/MomentClosure.jl


title: A discrete boundedness-by-entropy method for finite-volume approximations of cross-diffusion systems

abstract: An implicit Euler finite-volume scheme for general cross-diffusion systems with volume-filling constraints is proposed and analyzed. The diffusion matrix may be nonsymmetric and not positive semidefinite, but the diffusion system is assumed to possess a formal gradient-flow structure that yields $L^\infty$ bounds on the continuous level. Examples include the Maxwell-Stefan systems for gas mixtures, tumor-growth models, and systems for the fabrication of thin-film solar cells. The proposed numerical scheme preserves the structure of the continuous equations, namely the entropy dissipation inequality as well as the nonnegativity of the concentrations and the volume-filling constraints. The discrete entropy structure is a consequence of a new vector-valued discrete chain rule. The existence of discrete solutions, their positivity, and the convergence of the scheme is proved. The numerical scheme is implemented for a one-dimensional Maxwell-Stefan model and a two-dimensional thin-film solar cell system. It is illustrated that the convergence rate in space is of order two and the discrete relative entropy decays exponentially.


title: Possible benefit of longer $L^*$ for detectors at ILC

abstract: In the present design of ILC, $L^*$, the distance between the interaction point (IP) and the front surface of the final focusing magnet (QD0), is 4.1 m. The QD0 is supported from the detector platform by a cantilever type support or from the detector itself. This design could cause several difficulties in smooth operation of ILC or in maintenance of detectors. These difficulties could be mitigated by adopting longer $L^*$ optics. In this article, we discuss possible benefit of longer $L^*$ for detectors.


title: Photometric and Kinematic study of the open clusters SAI 44 and SAI 45

abstract: We carry out detailed photometric and kinematic study of the poorly studied sparse open clusters SAI 44 and SAI 45 using ground based BVR$_{c}$I$_{c}$ data supplemented by archival data from \textit{Gaia} eDR3 and Pan-STARRS. The stellar membership are determined using a statistical method based on \textit{Gaia} eDR3 kinematic data and we found 204 members in SAI 44 while only 74 members are identified in SAI 45. The average distances to SAI 44 and SAI 45 are calculated as 3670$\pm$184 and 1668$\pm$47 pc. The logarithmic age of the clusters are determined as 8.82$\pm$0.10 and 9.07$\pm$0.10 years for SAI 44 and SAI 45, respectively. The color-magnitude diagram of SAI 45 hosts an extended main-sequence turn-off (eMSTO) which may be originated through differential rotation rates of member stars. The mass function slopes are obtained as -1.75$\pm$0.72 and -2.58$\pm$3.20 in the mass rages 2.426-0.990 M$_{\odot}$ and 2.167-1.202 M$_{\odot}$ for SAI 44 and SAI 45, respectively. SAI 44 exhibit the signature of mass segregation while we found a weak evidence of the mass segregation in SAI 45 possibly due to tidal striping. The dynamical relaxation times of these clusters indicate that both the clusters are in dynamically relaxed state. Using AD-diagram method, the apex coordinates are found to be (69$\fdg79\pm0\fdg11$, -30$\fdg82\pm0\fdg15$) for SAI 44 and (-56$\fdg22\pm0\fdg13$, -56$\fdg62\pm0\fdg13$) for SAI 45. The average space velocity components of the clusters SAI 44 and SAI 45 are calculated in units of km s$^{-1}$ as (-15.14$\pm$3.90, -19.43$\pm$4.41, -20.85$\pm$4.57) and (28.13$\pm$5.30, -9.78$\pm$3.13, -19.59$\pm$4.43), respectively.


title: Nanoscale positioning approaches for integrating single epitaxial quantum emitters with photonic nanostructures

abstract: Deterministically integrating single solid-state quantum emitters with photonic nanostructures serves as a key enabling resource in the context of photonic quantum technology. Due to the random spatial location of many widely-used solid-state quantum emitters, a number of positoning approaches for locating the quantum emitters before nanofabrication have been explored in the last decade. Here, we review the working principles of several nanoscale positioning methods and the most recent progress in this field, covering techniques including atomic force microscopy, scanning electron microscopy, confocal microscopy with \textit{in situ} lithography, and wide-field fluorescence imaging. A selection of representative device demonstrations with high-performance is presented, including high-quality single-photon sources, bright entangled-photon pairs, strongly-coupled cavity QED systems, and other emerging applications. The challenges in applying positioning techniques to different material systems and opportunities for using these approaches for realizing large-scale quantum photonic devices are discussed.


title: Dual-Resonance Enhanced Quantum Light-Matter Interactions In Deterministically Coupled Quantum-Dot-Micopillars

abstract: Optical microcavities have widely been employed to enhance either the optical excitation or the photon emission processes for boosting light matter interactions at nanoscale. When both the excitation and emission processes are simultaneously facilitated by the optical resonances provided by the microcavities, as referred to the dual-resonance condition in this article, the performances of many nanophotonic devices approach to the optima. In this work, we present versatile accessing of dual-resonance conditions in deterministically coupled quantum-dot(QD)-micopillars, which enables emission from exciton (X) - charged exciton (CX) transition with improved single-photon purity. In addition, the rarely observed up-converted single-photon emission process is achieved under dual-resonance condition. We further exploit the vectorial nature of the high-order cavity modes to significantly improve the excitation efficiency under the dual-resonance condition. The dual-resonance enhanced light-matter interactions in the quantum regime provides a viable path for developing integrated quantum photonic devices based on cavity quantum electrodynamics (QED) effect e.g., highly-efficient quantum light sources and quantum logical gates.


title: Fast high-fidelity geometric quantum control with quantum brachistochrones

abstract: We experimentally demonstrate fast and high-fidelity geometric control of a quantum system with the most brachistochrone method on hybrid spin registers in diamond. Based on the time-optimal universal geometric control, single geometric gates with the fidelities over 99.2% on the spin state of nitrogen-vacancy center are realized with average durations shortened by 74.9%, comparing with conventional geometric method. The fidelity of the fast geometric two-qubit gate exceeds 96.5% on the hybrid spin registers. With these fast high-fidelity gates available, we implement quantum entanglement-enhanced phase estimation algorithm and demonstrate the Heisenberg quantum limit at room-temperature. By comparing with the conventional geometric circuit, the measurement bandwidth and sensitivity is enhanced by 3.5 and 2.9 times. Hence, our results show that high-fidelity quantum control based on a fast geometric route will be a versatile tool for broad applications of quantum information processing in practice.


title: On the reproducibility of fully convolutional neural networks for modeling time-space evolving physical systems

abstract: Reproducibility of a deep-learning fully convolutional neural network is evaluated by training several times the same network on identical conditions (database, hyperparameters, hardware) with non-deterministic Graphics Processings Unit (GPU) operations. The propagation of two-dimensional acoustic waves, typical of time-space evolving physical systems, is studied on both recursive and non-recursive tasks. Significant changes in models properties (weights, featured fields) are observed. When tested on various propagation benchmarks, these models systematically returned estimations with a high level of deviation, especially for the recurrent analysis which strongly amplifies variability due to the non-determinism. Trainings performed with double floating-point precision provide slightly better estimations and a significant reduction of the variability of both the network parameters and its testing error range.


title: Sample size planning for pilot studies

abstract: Pilot studies are often the first step of experimental research. It is usually on a smaller scale and the results can inform intervention development, study feasibility and how the study implementation will play out, if such a larger main study is undertaken. This paper illustrates the relationship between pilot study sample size and the performance study design of main studies. We present two simple sample size calculation methods to ensure adequate study planning for main studies. We use numerical examples and simulations to demonstrate the use and performance of proposed methods. Practical heuristic guidelines are provided based on the results.


title: Learning a Skill-sequence-dependent Policy for Long-horizon Manipulation Tasks

abstract: In recent years, the robotics community has made substantial progress in robotic manipulation using deep reinforcement learning (RL). Effectively learning of long-horizon tasks remains a challenging topic. Typical RL-based methods approximate long-horizon tasks as Markov decision processes and only consider current observation (images or other sensor information) as input state. However, such approximation ignores the fact that skill-sequence also plays a crucial role in long-horizon tasks. In this paper, we take both the observation and skill sequences into account and propose a skill-sequence-dependent hierarchical policy for solving a typical long-horizon task. The proposed policy consists of a high-level skill policy (utilizing skill sequences) and a low-level parameter policy (responding to observation) with corresponding training methods, which makes the learning much more sample-efficient. Experiments in simulation demonstrate that our approach successfully solves a long-horizon task and is significantly faster than Proximal Policy Optimization (PPO) and the task schema methods.


title: Wireless Covert Communications Aided by Distributed Cooperative Jamming over Slow Fading Channels

abstract: In this paper, we study covert communications between {a pair of} legitimate transmitter-receiver against a watchful warden over slow fading channels. There coexist multiple friendly helper nodes who are willing to protect the covert communication from being detected by the warden. We propose an uncoordinated jammer selection scheme where those helpers whose instantaneous channel gains to the legitimate receiver fall below a pre-established selection threshold will be chosen as jammers radiating jamming signals to defeat the warden. By doing so, the detection accuracy of the warden is expected to be severely degraded while the desired covert communication is rarely affected. We then jointly design the optimal selection threshold and message transmission rate for maximizing covert throughput under the premise that the detection error of the warden exceeds a certain level. Numerical results are presented to validate our theoretical analyses. It is shown that the multi-jammer assisted covert communication outperforms the conventional single-jammer method in terms of covert throughput, and the maximal covert throughput improves significantly as the total number of helpers increases, which demonstrates the validity and superiority of our proposed scheme.


title: TextOCR: Towards large-scale end-to-end reasoning for arbitrary-shaped scene text

abstract: A crucial component for the scene text based reasoning required for TextVQA and TextCaps datasets involve detecting and recognizing text present in the images using an optical character recognition (OCR) system. The current systems are crippled by the unavailability of ground truth text annotations for these datasets as well as lack of scene text detection and recognition datasets on real images disallowing the progress in the field of OCR and evaluation of scene text based reasoning in isolation from OCR systems. In this work, we propose TextOCR, an arbitrary-shaped scene text detection and recognition with 900k annotated words collected on real images from TextVQA dataset. We show that current state-of-the-art text-recognition (OCR) models fail to perform well on TextOCR and that training on TextOCR helps achieve state-of-the-art performance on multiple other OCR datasets as well. We use a TextOCR trained OCR model to create PixelM4C model which can do scene text based reasoning on an image in an end-to-end fashion, allowing us to revisit several design choices to achieve new state-of-the-art performance on TextVQA dataset.


title: A monolithic fluid-porous structure interaction finite element method

abstract: The paper introduces a fully discrete quasi-Lagrangian finite element method for a monolithic formulation of a fluid-porous structure interaction problem. The method is second order in time and allows a standard $P_2-P_1$ (Taylor--Hood) finite element spaces for fluid problems in both fluid and porous domains. The performance of the method is illustrated on a series of numerical experiments.


title: Interaction-driven transition between the Wigner crystal and the fractional Chern insulator in topological flat bands

abstract: We investigate an interaction-driven transition between crystalline and liquid states of strongly correlated spinless fermions within topological flat bands at low density (with filling factors $\nu=1/5$, $1/7$, $1/9$). Using exact diagonalization for finite size systems with periodic boundary conditions, we distinguish different phases, whose stability depends on the interaction range, controlled by the screening parameter of the Coulomb interaction. The crystalline phases are identified by a crystallization strength, calculated from the Fourier transforms of pair correlation density, while the Fractional Chern insulator phases are characterized using momentum counting rules, entanglement spectrum, and overlaps with corresponding Fractional Quantum Hall states. The type of the phase depends on a particular single particle model and its topological properties. We show that for $\nu=1/7$ and $1/5$ it is possible to tune between the Wigner crystal and Fractional Chern insulator phase in the kagome lattice model with the band carrying the Chern number $C=1$. In contrast, in the $C=2$ models, the Wigner crystallization was absent at $\nu=1/5$, and appeared at $\nu=1/9$, suggesting that $C=2$ FCIs are more stable against the formation of crystalline order


title: Multiscale Invertible Generative Networks for High-Dimensional Bayesian Inference

abstract: We propose a Multiscale Invertible Generative Network (MsIGN) and associated training algorithm that leverages multiscale structure to solve high-dimensional Bayesian inference. To address the curse of dimensionality, MsIGN exploits the low-dimensional nature of the posterior, and generates samples from coarse to fine scale (low to high dimension) by iteratively upsampling and refining samples. MsIGN is trained in a multi-stage manner to minimize the Jeffreys divergence, which avoids mode dropping in high-dimensional cases. On two high-dimensional Bayesian inverse problems, we show superior performance of MsIGN over previous approaches in posterior approximation and multiple mode capture. On the natural image synthesis task, MsIGN achieves superior performance in bits-per-dimension over baseline models and yields great interpret-ability of its neurons in intermediate layers.


title: SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs

abstract: Adaptive random testing (ART) improves the failure-detection effectiveness of random testing by leveraging properties of the clustering of failure-causing inputs of most faulty programs: ART uses a sampling mechanism that evenly spreads test cases within a software's input domain. The widely-used Fixed-Sized-Candidate-Set ART (FSCS-ART) sampling strategy faces a quadratic time cost, which worsens as the dimensionality of the software input domain increases. In this paper, we propose an approach based on small world graphs that can enhance the computational efficiency of FSCS-ART: SWFC-ART. To efficiently perform nearest neighbor queries for candidate test cases, SWFC-ART incrementally constructs a hierarchical navigable small world graph for previously executed, non-failure-causing test cases. Moreover, SWFC-ART has shown consistency in programs with high dimensional input domains. Our simulation and empirical studies show that SWFC-ART reduces the computational overhead of FSCS-ART from quadratic to log-linear order while maintaining the failure-detection effectiveness of FSCS-ART, and remaining consistent in high dimensional input domains. We recommend using SWFC-ART in practical software testing scenarios, where real-life programs often have high dimensional input domains and low failure rates.


title: Continuity of measure-dimension mappings

abstract: We study continuity and discontinuity of the upper and lower (modified) box-counting, Hausdorff, packing, (modified) correlation measure-dimension mappings under the weak, setwise and TV topology on the space of Borel measures respectively in this work. We give various examples to show that no continuity can be guaranteed under the weak, setwise or TV topology on the space of Borel measures for any of these measure-dimension mappings. However, in some particular circumstances or by assuming some restrictions on the measures, we do have some (semi-)continuity results for some of these measure-dimension mappings under the setwise topology. In the end we point out some applications of our continuity results on deciding the dimensions of measures on ambient spaces with some dynamical structures.


title: Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic

abstract: The global pandemic has driven musicians online. We report an ethnographic account of how two traditional folk clubs with little previous interest in digital platforms transitioned to online experiences. They followed very different approaches: one adapted their existing singaround format to video conferencing while the other evolved a weekly community-produced, pre-recorded show that could be watched together. However, despite their successes, participants ultimately remained unable to sing in chorus due to network constraints. We draw on theories of liveness from performance studies to explain our findings, arguing that HCI might orientate itself to online liveness as being co-produced through rich participatory structures that dissolve traditional distinctions between live and recorded and performer and audience. We discuss how participants appropriated existing platforms to achieve this, but these in turn shaped their practices in unforeseen ways. We draw out implications for the design and deployment of future live performance platforms.


title: Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates

abstract: Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyber-physical systems--such as opacity, robustness, and noninterference--which cannot be expressed using linear-time properties. This paper presents for the first time a discretization-free approach for the formal verification of discrete-time uncertain dynamical systems against hyperproperties. The proposed approach involves decomposition of complex hyperproperties into several verification conditions by exploiting the automata-based structures corresponding to the complements of the original specifications. These verification conditions are then discharged by synthesizing so-called augmented barrier certificates, which provide certain safety guarantees for the underlying system. For systems with polynomial-type dynamics, we present a sound procedure to synthesize polynomial-type augmented barrier certificates by reducing the problem to sum-of-squares optimizations. We demonstrate the effectiveness of our proposed approaches on two physical case studies against two important hyperproperties: initial-state opacity and initial-state robustness.


title: Ultra-intense laser pulses and the High Power Laser System at Extreme Light Infrastructure -- Nuclear Physics

abstract: Lasers make possible the production and ultimate control of electromagnetic fields in terms of spectral purity, spatial confinement down to micrometer scale, duration down to a single cycle in the femtosecond domain or shorter and electromagnetic field strengths - corresponding to the highest intensities achieved by mankind in the lab. Ultra-intense laser facilities are pushing the limits of the achievable pulse intensity, hence the coined term extreme light. They make possible fundamental and applied investigations in physics and material science with emergent societal impact. Extreme Light Infrastructure is the most advanced project dedicated to the production and use of such extreme fields. The Extreme Light Infrastructure project will be outlined, with emphasis on the extreme light capabilities of the three pillars. The architecture of the first finalized 10PW high power laser system (HPLS) will be highlighted. This dual arm, 10PW each, laser system, at Extreme Light Infrastructure Nuclear Physics (ELI-NP), in Romania, delivers beams in five experimental areas that address research centered on nuclear physics, materials in extreme environments and exotic physics.