title: Asynchronous Distributed Voltage Control in Active Distribution Networks

abstract: With the explosion of distributed energy resources (DERs), voltage regulation in distribution networks has been facing a great challenge. This paper derives an asynchronous distributed voltage control strategy based on the partial primal-dual gradient algorithm, where both active and reactive controllable power of DERs are considered. Different types of asynchrony due to imperfect communication or practical limits, such as random time delays and non-identical sampling/control rates, are fitted into a unified analytic framework. The asynchronous algorithm is then converted into a fixed-point problem by employing the operator splitting method, which leads to a convergence proof with mild conditions. Moreover, an online implementation method is provided to make the controller adjustable to time-varying environments. Finally, numerical experiments are carried out on a rudimentary 8-bus system and the IEEE-123 distribution network to verify the effectiveness of the proposed method.


title: The spherical coordinate form of three-dimensional generalized dynamics of soft-matter quasicrystals with 12-fold symmetry

abstract: This article reports the spherical coordinate form of three-dimensional generalized dynamics of soft-matter quasicrystals with 12-fold symmetry which provides a basis for solving initial-boundary value problems of the equations under some important cases. Some relevant solving methods are discussed as well.


title: Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

abstract: In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must ensure that the formulas in the modal characterisation of this semantics are always decomposed into formulas that are again in this modal characterisation. The stability and divergence requirements that are imposed on many of the known weak semantics have so far been outside the realm of this method. Stability refers to the absence of a $\tau$-transition. We show, using the decomposition method, how congruence formats can be relaxed for weak semantics that are stability-respecting. This relaxation for instance brings the priority operator within the range of the stability-respecting branching bisimulation format. Divergence, which refers to the presence of an infinite sequence of $\tau$-transitions, escapes the inductive decomposition method. We circumvent this problem by proving that a congruence format for a stability-respecting weak semantics is also a congruence format for its divergence-preserving counterpart.


title: Derived invariants of the fixed ring of enveloping algebras of semisimple Lie algebras

abstract: Let $\mathfrak{g}$ be a semisimple complex Lie algebra, and let $W$ be a finite subgroup of $\mathbb{C}$-algebra automorphisms of the enveloping algebra $U(\mathfrak{g})$. We show that the derived category of $U(\mathfrak{g})^W$-modules determines isomorphism classes of both $\mathfrak{g}$ and $W.$ Our proofs are based on the geometry of the Zassenhaus variety of the reduction modulo $p\gg 0$ of $\mathfrak{g}.$ Specifically, we use non-existence of certain \'etale coverings of its smooth locus


title: Weakly-supervised Action Localization with Background Modeling

abstract: We describe a latent approach that learns to detect actions in long sequences given training videos with only whole-video class labels. Our approach makes use of two innovations to attention-modeling in weakly-supervised learning. First, and most notably, our framework uses an attention model to extract both foreground and background frames whose appearance is explicitly modeled. Most prior works ignore the background, but we show that modeling it allows our system to learn a richer notion of actions and their temporal extents. Second, we combine bottom-up, class-agnostic attention modules with top-down, class-specific activation maps, using the latter as form of self-supervision for the former. Doing so allows our model to learn a more accurate model of attention without explicit temporal supervision. These modifications lead to 10% AP@IoU=0.5 improvement over existing systems on THUMOS14. Our proposed weaklysupervised system outperforms recent state-of-the-arts by at least 4.3% AP@IoU=0.5. Finally, we demonstrate that weakly-supervised learning can be used to aggressively scale-up learning to in-the-wild, uncurated Instagram videos. The addition of these videos significantly improves localization performance of our weakly-supervised model


title: LabelECG: A Web-based Tool for Distributed Electrocardiogram Annotation

abstract: Electrocardiography plays an essential role in diagnosing and screening cardiovascular diseases in daily healthcare. Deep neural networks have shown the potentials to improve the accuracies of arrhythmia detection based on electrocardiograms (ECGs). However, more ECG records with ground truth are needed to promote the development and progression of deep learning techniques in automatic ECG analysis. Here we propose a web-based tool for ECG viewing and annotating, LabelECG. With the facilitation of unified data management, LabelECG is able to distribute large cohorts of ECGs to dozens of technicians and physicians, who can simultaneously make annotations through web-browsers on PCs, tablets and cell phones. Along with the doctors from four hospitals in China, we applied LabelECG to support the annotations of about 15,000 12-lead resting ECG records in three months. These annotated ECGs have successfully supported the First China ECG intelligent Competition. La-belECG will be freely accessible on the Internet to support similar researches, and will also be upgraded through future works.


title: Isotropic charge screening of the anisotropic black phosphorus revealed by potassium adatoms

abstract: Black phosphorus has attracted great research interest due to its numerous applications in electronic devices, optoelectronic devices, energy storages and so on. Compared with the majority of two-dimensional materials, black phosphorus possesses a unique property, i.e. the strong in-plane anisotropy. All the properties reported so far, including its effective mass, electron mobility, light absorption, thermal conductivity and so on, have shown great anisotropy in the basal plane. This property renders black phosphorus unique applications not achievable with other two-dimensional materials. In this work, however, we discover a remarkable isotropic behavior in the strongly anisotropic black phosphorus, i.e. its electrostatic screening of point charges. We use the tip-induced band bending of a scanning tunneling microscope to map out the Coulomb field of ionized potassium adatoms on black phosphorus, and reveal its isotropic charge screening. This discovery is important for understanding electron scattering and transport in black phosphorus.


title: Weak-disorder limit at criticality for directed polymers on hierarchical graphs

abstract: We prove a distributional limit theorem conjectured in [Journal of Statistical Physics 174, No. 6, 1372-1403 (2019)] for partition functions defining models of directed polymers on diamond hierarchical graphs with disorder variables placed at the graphical edges. The limiting regime involves a joint scaling in which the number of hierarchical layers, $n\in \mathbb{N}$, of the graphs grows as the inverse temperature, $\beta\equiv \beta(n)$, vanishes with a fine-tuned dependence on $n$. The conjecture pertains to the marginally relevant disorder case of the model wherein the branching parameter $b \in \{2,3,\ldots\}$ and the segmenting parameter $s \in \{2,3,\ldots\}$ determining the hierarchical graphs are equal, which coincides with the diamond fractal embedding the graphs having Hausdorff dimension two. Unlike the analogous weak-disorder scaling limit for random polymer models on hierarchical graphs in the disorder relevant $b<s$ case (or for the (1+1)-dimensional polymer on the rectangular lattice), the distributional convergence of the partition function when $b=s$ cannot be approached through a term-by-term convergence to a Wiener chaos expansion, which does not exist for the continuum model emerging in the limit. The analysis proceeds by controlling the distributional convergence of the partition functions in terms of the Wasserstein distance through a perturbative generalization of Stein's method at a critical step. In addition, we prove that a similar limit theorem holds for the analogous model with disorder variables placed at the vertices of the graphs.


title: Transfer in Deep Reinforcement Learning using Knowledge Graphs

abstract: Text adventure games, in which players must make sense of the world through text descriptions and declare actions through text descriptions, provide a stepping stone toward grounding action in language. Prior work has demonstrated that using a knowledge graph as a state representation and question-answering to pre-train a deep Q-network facilitates faster control policy transfer. In this paper, we explore the use of knowledge graphs as a representation for domain knowledge transfer for training text-adventure playing reinforcement learning agents. Our methods are tested across multiple computer generated and human authored games, varying in domain and complexity, and demonstrate that our transfer learning methods let us learn a higher-quality control policy faster.


title: A hue-preserving tone mapping scheme based on constant-hue plane without gamut problem

abstract: We propose a novel hue-preserving tone mapping scheme. Various tone mapping operations have been studied so far, but there are very few works on color distortion caused in image tone mapping. First, LDR images produced from HDR ones by using conventional tone mapping operators (TMOs) are pointed out to have some distortion in hue values due to clipping and rounding quantization processing. Next,we propose a novel method which allows LDR images to have the same maximally saturated color values as those of HDR ones. Generated LDR images by the proposed method have smaller hue degradation than LDR ones generated by conventional TMOs. Moreover, the proposed method is applicable to any TMOs. In an experiment, the proposed method is demonstrated not only to produce images with small hue degradation but also to maintain well-mapped luminance, in terms of three objective metrics: TMQI, hue value in CIEDE2000, and the maximally saturated color on the constant-hue plane in the RGB color space.


title: Non-strange quark stars from NJL model with proper-time regularisation

abstract: The structure of light quark star is studied within a new two-flavor NJL model. By retaining the contribution from the vector term in the Fierz-transformed Lagrangian, a two-solar-mass pure quark star is achieved. To overcome the disadvantage of three-momentum truncation in the regularisation procedure, we introduce the proper-time regularisation. We also employ the newly proposed definition of vacuum pressure, in which the quasi-Wigner vacuum (corresponding to the quasi-Winger solution of the gap equation) is used as the reference ground state. Free parameter includes only a mixing constant $\alpha$ which weighs contribution from Fierz-transformed Lagrangian. We constrain $\alpha$ to be around $0.9$ by the observed mass of pulsars $PSR J0348+0432$ and $PSR J1614-2230$. We find the calculated surface energy density meets the requirement ($> 2.80\times10^{14}$g/cm$^3 $). Besides, for a 1.4 solar mass star, the tidal Love number $k_2$ and deformability $\Lambda$ are calculated which satisfies the constrain $200 < \Lambda < 800$.


title: Recurrent Graph Syntax Encoder for Neural Machine Translation

abstract: Syntax-incorporated machine translation models have been proven successful in improving the model's reasoning and meaning preservation ability. In this paper, we propose a simple yet effective graph-structured encoder, the Recurrent Graph Syntax Encoder, dubbed \textbf{RGSE}, which enhances the ability to capture useful syntactic information. The RGSE is done over a standard encoder (recurrent or self-attention encoder), regarding recurrent network units as graph nodes and injects syntactic dependencies as edges, such that RGSE models syntactic dependencies and sequential information (\textit{i.e.}, word order) simultaneously. Our approach achieves considerable improvements over several syntax-aware NMT models in English$\Rightarrow$German and English$\Rightarrow$Czech translation tasks. And RGSE-equipped big model obtains competitive result compared with the state-of-the-art model in WMT14 En-De task. Extensive analysis further verifies that RGSE could benefit long sentence modeling, and produces better translations.


title: Revisiting Heterogeneous Defect Prediction: How Far Are We?

abstract: Until now, researchers have proposed several novel heterogeneous defect prediction HDP methods with promising performance. To the best of our knowledge, whether HDP methods can perform significantly better than unsupervised methods has not yet been thoroughly investigated. In this article, we perform a replication study to have a holistic look in this issue. In particular, we compare state-of-the-art five HDP methods with five unsupervised methods. Final results surprisingly show that these HDP methods do not perform significantly better than some of unsupervised methods (especially the simple unsupervised methods proposed by Zhou et al.) in terms of two non-effort-aware performance measures and four effort-aware performance measures. Then, we perform diversity analysis on defective modules via McNemar's test and find the prediction diversity is more obvious when the comparison is performed between the HDP methods and the unsupervised methods than the comparisons only between the HDP methods or between the unsupervised methods. This shows the HDP methods and the unsupervised methods are complementary to each other in identifying defective models to some extent. Finally, we investigate the feasibility of five HDP methods by considering two satisfactory criteria recommended by previous CPDP studies and find the satisfactory ratio of these HDP methods is still pessimistic. The above empirical results implicate there is still a long way for heterogeneous defect prediction to go. More effective HDP methods need to be designed and the unsupervised methods should be considered as baselines.


title: Characterization of diffuse X-ray emission from IGR~J17448-3232: an implication of a line of sight merging activity

abstract: Results of the spectral analysis for the galaxy cluster IGR J17448-3232 are presented. The intracluster medium (ICM) in the central region (r<300", 320 kpc) has a high electron temperature plasma of kTe~13-15 keV and an ionization temperature estimated from an intensity ratio of Fe XXVI Ly alpha/Fe XXV He alpha lines is lower than the electron temperature, which suggests that the ICM is in the non-ionization equilibrium (NEI) state. The spectrum in the central region can be also fitted with a two-component model: a two-temperature plasma model in a collisional ionization equilibrium (CIE) with temperatures of 7.9 keV and >34 keV or a CIE+power law model with a temperature of 9.4 keV and a photon index of 1.1. The two component models can represent the intensity ratio of Fe XXVI Ly alpha/Fe XXV He alpha lines. On the other hand, the spectrum in the outer region (r>300'') can be explained by a single CIE plasma model with a temperature of 5-8 keV. Based on the spectral feature and its circular structure, we propose that the NEI plasma was produced by merging along the line-of-sight direction.


title: Positive solutions of inhomogeneous Kirchhoff type equations with indefinite data

abstract: Inhomogeneous Kirchhoff type equations with indefinite data are considered. Some necessary and sufficient conditions for the existence of positive solutions of the problem under consideration are presented.


title: Energized simplicial complexes

abstract: For a simplicial complex with n sets, let W^-(x) be the set of sets in G contained in x and W^+(x) the set of sets in G containing x. An integer-valued function h on G defines for every A subset G an energy E[A]=sum_x in A h(x). The function energizes the geometry similarly as divisors do in the continuum, where the Riemann-Roch quantity chi(G)+deg(D) plays the role of the energy. Define the n times n matrices L=L^--(x,y)=E[W^-(x) cap W^-(y)] and L^++(x,y) = E[W^+(x) cap W^+(y)]. With the notation S(x,y)=1_n omega(x) =delta(x,y) (-1)dim(x) and str(A)=tr(SA) define g=S L^++ S. The results are: det(L)=det(g) = prod_x in G h(x) and E[G] = sum_x,y g(x,y) and E[G]=str(g). The number of positive eigenvalues of g is equal to the number of positive energy values of h. In special cases, more is true: A) If h(x) in -1, 1}, the matrices L=L^--,L^++ are unimodular and L^-1 = g, even if G is a set of sets. B) In the constant energy h(x)=1 case, L and g are isospectral, positive definite matrices in SL(n,Z). For any set of sets G we get so isospectral multi-graphs defined by adjacency matrices L^++ or L^-- which have identical spectral or Ihara zeta function. The positive definiteness holds for positive divisors in general. C) In the topological case h(x)=omega(x), the energy E[G]=str(L) = str(g) = sum_x,y g(x,y)=chi(G) is the Euler characteristic of G and phi(G)=prod_x omega(x), a product identity which holds for arbitrary set of sets. D) For h(x)=t^|x| with some parameter t we have E[H]=1-f_H(t) with f_H(t)=1+f_0 t + cdots + f_d t^d+1 for the f-vector of H and L(x,y) = (1-f_W^-(x) cap W^-(y)(t)) and g(x,y)=omega(x) omega(y) (1-f_W^+(x) cap W^+(y)(t)). Now, the inverse of g is g^-1(x,y) = 1-f_W^-(x) cap W^-(y)(t)/t^dim(x cap y) and E[G] = 1-f_G(t)=sum_x,y g(x,y).


title: Experimental Study of a Planar-integrated Dual-Polarization Balanced SIS Mixer

abstract: A dual-polarization balanced superconductor-insulator-superconductor mixer operating at 2 mm wavelength is realized in form of a monolithic planar integrated circuit. Planar orthomode transducers and LO couplers are enabled by using silicon membranes that are locally formed on the silicon-on-insulator substrate. The performance of the balanced mixer is experimentally investigated. Over the entire RF band (125-163 GHz), the balanced mixer shows an LO noise rejection ratio about 15 dB, an overall receiver noise about 40 K, and a cross-polarization <-20 dB. The demonstrated compactness and the performance of the integrated circuit indicate that this approach is feasible in developing heterodyne focal plane arrays.


title: Holographic complexity of charged Taub-NUT-AdS black holes

abstract: In this paper, we investigate the holographic complexity in the charged Taub-NUT-AdS black holes with Misner strings present in the Einstein-Maxwell gravity. We show that differing from the normal black holes, where the late-time complexity growth rate is only determined by the quantities at outer and inner ``Reissner-Nordstrom''-type (RN-type) horizons, here the quantities (the Misner potential and Misner charge) related to the Misner strings also play an important role in CA complexity. Similar to the case of the normal electromagnetic black hole, the late-time rate for the original CA conjecture is independent on the magnetic charges. However, disparate with common results of the dyonic solutions, the electric charge appeared here is the total charge of this black hole. Besides, we found that the result in this original CA conjecture also violates the electromagnetic duality. And this duality can be restored by adding the Maxwell boundary term with the proportional constant $\g=1/2$. In this case, the late-time rate is sensitive to the magnetic charge. Moreover, we also found that the additional term only changes the proportion between the electric and magnetic charges, and it does not affect the Misner term appeared in the late-time rate. Finally, we studied the time-dependence of the complexity growth rate and found that they share similar behaviors with that in RN-AdS black holes.


title: Adversarial Defense by Suppressing High-frequency Components

abstract: Recent works show that deep neural networks trained on image classification dataset bias towards textures. Those models are easily fooled by applying small high-frequency perturbations to clean images. In this paper, we learn robust image classification models by removing high-frequency components. Specifically, we develop a differentiable high-frequency suppression module based on discrete Fourier transform (DFT). Combining with adversarial training, we won the 5th place in the IJCAI-2019 Alibaba Adversarial AI Challenge. Our code is available online.


title: Recommendation of Exception Handling Code in Mobile App Development

abstract: In modern programming languages, exception handling is an effective mechanism to avoid unexpected runtime errors. Thus, failing to catch and handle exceptions could lead to serious issues like system crashing, resource leaking, or negative end-user experiences. However, writing correct exception handling code is often challenging in mobile app development due to the fast-changing nature of API libraries for mobile apps and the insufficiency of their documentation and source code examples. Our prior study shows that in practice mobile app developers cause many exception-related bugs and still use bad exception handling practices (e.g. catch an exception and do nothing). To address such problems, in this paper, we introduce two novel techniques for recommending correct exception handling code. One technique, XRank, recommends code to catch an exception likely occurring in a code snippet. The other, XHand, recommends correction code for such an occurring exception. We have developed ExAssist, a code recommendation tool for exception handling using XRank and XHand. The empirical evaluation shows that our techniques are highly effective. For example, XRank has top-1 accuracy of 70% and top-3 accuracy of 87%. XHand's results are 89% and 96%, respectively.


title: Integrability of moduli and regularity of Denjoy counterexamples

abstract: We study the regularity of exceptional actions of groups by $C^{1,\alpha}$ diffeomorphisms on the circle, i.e. ones which admit exceptional minimal sets, and whose elements have first derivatives that are continuous with concave modulus of continuity $\alpha$. Let $G$ be a finitely generated group admitting a $C^{1,\alpha}$ action $\rho$ with a free orbit on the circle, and such that the logarithms of derivatives of group elements are uniformly bounded at some point of the circle. We prove that if $G$ has spherical growth bounded by $c n^{d-1}$ and if the function $1/\alpha^d$ is integrable near zero, then under some mild technical assumptions on $\alpha$, there is a sequence of exceptional $C^{1,\alpha}$ actions of $G$ which converge to $\rho$ in the $C^1$ topology. As a consequence for a single diffeomorphism, we obtain that if the function $1/\alpha$ is integrable near zero, then there exists a $C^{1,\alpha}$ exceptional diffeomorphism of the circle. This corollary accounts for all previously known moduli of continuity for derivatives of exceptional diffeomorphisms. We also obtain a partial converse to our main result. For finitely generated free abelian groups, the existence of an exceptional action, together with some natural hypotheses on the derivatives of group elements, puts integrability restrictions on the modulus $\alpha$. These results are related to a long-standing question of D. McDuff concerning the length spectrum of exceptional $C^1$ diffeomorphisms of the circle.


title: Reverse chemistry of iron in the deep Earth

abstract: In this work, we demonstrate a remarkable change of chemical trend of Iron under high pressure that is of great importance for understanding the distribution of elements in the Earth's mantle and core. Using first principles crystal structure search method, we conduct a systematic study of the propensity of p block elements to chemically bind with iron under high pressures ranging from ambient conditions to that of Earth's core. We show that under increasing pressure, iron tends to reverse its chemical nature, changing from an electron donor (reductant) to an electron acceptor, and oxidizes p-block elements in many compounds. Such reverse chemistry has a significant impact on the stoichiometries, bond types and strengths, structures and properties of iron compounds under deep planetary conditions.


title: Some new Constructions of Coded Caching Schemes with Reduced Subpacketization

abstract: We study the problem of constructing centralized coded caching schemes with low subpacketization level based on the placement delivery array (PDA) design framework. PDA design is an efficient way to construct centralized coded caching schemes and most existing schemes, including the famous Maddah-Ali-Niesen scheme, can be described using PDA. In this paper, we first prove that constructing a PDA is equivalent to constructing three binary matrices that satisfy certain conditions. From this perspective, we then propose some new constructions of coded caching schemes using PDA design based on projective geometries over finite fields, combinatorial configurations, and t-designs, respectively. Our constructions achieve low subpacketization level (e.g., linear subpacketization) with reasonable rate loss and include several known results as special cases. Finally, we give an approach to construct new coded caching scheme from existing schemes based on direct product of PDAs. Our results enrich the coded caching schemes of low subpacketization level.


title: PolyGAN: High-Order Polynomial Generators

abstract: Generative Adversarial Networks (GANs) have become the gold standard when it comes to learning generative models for high-dimensional distributions. Since their advent, numerous variations of GANs have been introduced in the literature, primarily focusing on utilization of novel loss functions, optimization/regularization strategies and network architectures. In this paper, we turn our attention to the generator and investigate the use of high-order polynomials as an alternative class of universal function approximators. Concretely, we propose PolyGAN, where we model the data generator by means of a high-order polynomial whose unknown parameters are naturally represented by high-order tensors. We introduce two tensor decompositions that significantly reduce the number of parameters and show how they can be efficiently implemented by hierarchical neural networks that only employ linear/convolutional blocks. We exhibit for the first time that by using our approach a GAN generator can approximate the data distribution without using any activation functions. Thorough experimental evaluation on both synthetic and real data (images and 3D point clouds) demonstrates the merits of PolyGAN against the state of the art.


title: Experimental Investigation of the Inelastic Response of Pig and Rat Skin under Uniaxial Cyclic Mechanical Loading

abstract: Skin is a highly non-linear, anisotropic, rate dependent inelastic, and nearly incompressible material which exhibits substantial hysteresis even under very slow (quasistatic) loading conditions. In this paper, a series of uniaxial cyclic loading tests of porcine and rat skin at different strain rates and with samples oriented in different directions (with respect to the spine) were conducted to study the effect of strain rate and samples orientations with respect to spine on mullins effect and skin inelastic response. A noteworthy feature of skin is that, similar to certain filled rubbers, its mechanical response shifts after the first extension and exhibits softening and hysteresis when loaded under cyclic tension and mullins effect is observed. The results of these strain-controlled cyclic loading tests also indicated that the extent of softening is different for different strain rates and orientations. Also a substantial hysteresis persists even at very low strain rates indicating inelastic behavior beyond the rate sensitive viscoelastic response. Through this series of experiments, by investigating the effect of strain rate on pig skin and rat skin, we conclude that the skin response is rate dependent but inelastic and shows irreversible changes in fiber orientation which are observed in histology results. Also, skin shows persistent deformation that is only partially recovered even after a long period of unloading.


title: The index of Lie poset algebras

abstract: We provide general closed-form formulas for the index of type-A Lie poset algebras corresponding to posets of restricted height. Furthermore, we provide a combinatorial recipe for constructing all posets corresponding to type-A Frobenius Lie poset algebras of heights zero, one, and two. A finite Morse theory argument establishes that the simplicial realization of such posets is contractible. It then follows, from a recent theorem of Coll and Gerstenhaber, that the second Lie cohomology group of the corresponding Lie poset algebra with coefficients in itself is zero. Consequently, the Lie poset algebra is absolutely rigid and cannot be deformed. We also provide matrix representations for Lie poset algebras in the other classical types. By so doing, we are able to give examples of deformable Lie algebras which are both solvable and Frobenius. This resolves a question of Gerstenhaber and Giaquinto about the existence of such algebras.


title: Nonlinear matter terms in general scalar-tensor braneworld cosmology

abstract: A five dimensional braneworld cosmological model in general scalar-tensor action comprises of various Horndeski Lagrangian is considered. The Friedmann equations in the case of the strongly and weakly coupled $\mathcal{L}_5$ Horndeski Lagrangian have been obtained. The strongly coupled $\mathcal{L}_5$ model produces the Cardassian term $\rho^n$ with $n=\pm 1/2$, which can served as alternative explanation for the accelerated expansion phase of the universe. Furthermore, the latest combined observational facts from BAO, CMB, SNIa, $f_{\sigma_8}$, and $H_0$ value observation suggest that the $n=-1/2$ term lies quite close to the constrained value. On the other hand, the weakly coupled $\mathcal{L}_5$ case has several new correction terms which are omitted in the braneworld Einstein-Hilbert model, e.g. the cubic $\rho^3$ and the dark radiation-matter interaction term $ \chi a^{-4}\rho$. Furthermore, this model provides a cosmological constant constructed from the bulk scalar field, requires no brane tension, and supports the big bang nucleosynthesis (BBN) constraint naturally.


title: Tuning the Topological Features of Quantum-Dot Hydrogen and Helium by a Magnetic Field

abstract: The topological charge of the spin texture in a quantum dot with spin-orbit couplings is shown analytically here to be stable against the ellipticity of the dot. It is directly tunable by a single magnetic field and is related to the \textit{sign} of the Land\'e $g$ factor. In a quantum-dot helium, the overall winding number could have different property from that of the single-electron case (quantum-dot hydrogen), since tuning the number of electron affects the winding number by the Coulomb interaction and the $z$ component angular momentum $\langle L^{}_z \rangle$. The density profile and the spin texture influence each other when the Coulomb interaction is present. When $\langle L^{}_z \rangle$ is biased away from an integer by the spin-orbit couplings, the rotational symmetry is broken which induces strong density deformation. The sign of the topological charge may also be reversed with increasing magnetic field. These findings are of major significance since the applied magnetic field alone now provides a direct route to control the topological properties of quantum dots.


title: A Co-analysis Framework for Exploring Multivariate Scientific Data

abstract: In complex multivariate data sets, different features usually include diverse associations with different variables, and different variables are associated within different regions. Therefore, exploring the associations between variables and voxels locally becomes necessary to better understand the underlying phenomena. In this paper, we propose a co-analysis framework based on biclusters, which are two subsets of variables and voxels with close scalar-value relationships, to guide the process of visually exploring multivariate data. We first automatically extract all meaningful biclusters, each of which only contains voxels with a similar scalar-value pattern over a subset of variables. These biclusters are organized according to their variable sets, and biclusters in each variable set are further grouped by a similarity metric to reduce redundancy and support diversity during visual exploration. Biclusters are visually represented in coordinated views to facilitate interactive exploration of multivariate data based on the similarity between biclusters and the correlation of scalar values with different variables. Experiments on several representative multivariate scientific data sets demonstrate the effectiveness of our framework in exploring local relationships among variables, biclusters and scalar values in the data.


title: Large-eddy simulation and modeling of Taylor-Couette flow with an outer stationary cylinder

abstract: We present wall-resolved large-eddy simulations (LES) of the incompressible Navier-Stokes equations together with empirical modeling for {turbulent} Taylor-Couette {(TC)} flow where the inner cylinder is rotating with angular velocity $\Omega_i$ and the outer cylinder is stationary. A simple empirical model of the turbulent, TC flow is developed consisting of near-wall, log-like turbulent wall layers separated by an annulus of constant angular momentum. The model is closed by a proposed scaling relation concerning the thickness of the wall layer on the inner cylinder. Model results include the Nusselt number $Nu$ (torque required to maintain the flow) and various measures of the wall-layer thickness as a function of both the Taylor {number} $Ta$ and $\eta$. These agree reasonably with experimental measurements, direct numerical simulation (DNS) and the present LES over a range of both $Ta$ and $\eta$. In particular, the model shows that, at fixed $\eta<1$, $Nu$ grows like $Ta^{1/2}$ divided by the square of the Lambert, (or Product-Log) function of a variable proportional to $Ta^{1/4}$. This cannot be represented by a power law dependence on $Ta$. At the same time the wall-layer thicknesses reduce slowly in relation to the cylinder gap. This suggests an asymptotic, very large $Ta$ state consisting of constant angular momentum in the cylinder gap with $u_\theta = 0.5\,\Omega_i\,R_i^2/r$, where $r$ is the radius, with vanishingly thin turbulent wall layers at the cylinder surfaces. An extension of the model to rough-wall turbulent wall flow at the inner cylinder surface is described. This shows an asymptotic, fully rough-wall state where the torque is independent of $Re_i/Ta$, and where $Nu\sim Ta^{1/2}$.


title: Robust Ultraviolet to Near-infrared Quantum Emitters in Hexagonal Boron Nitride up to 1100 K

abstract: A stable single-photon source working at high temperatures with high brightness and covering full band emission from one host material is critically important for quantum technologies. Here, we find that the certain hBN single-photon emissions (SPEs) can be significantly enhanced by lasers with special wavelengths, which largely broaden the wavelength range of the hBN emitters, down to ultraviolet (357 nm) and up to near-infrared (912 nm). Importantly, these hBN SPEs are still stable even at the temperature up to 1100 Kelvin. The decoupling between single-photon and acoustic phonon is observed at high temperatures. Our work suggests that hBN can be a good host material for generating single-photon sources with ultrabroad wavelength range.


title: Bifurcation analysis of a prey-predator model with predator intra-specific interactions and ratio-dependent functional response

abstract: We study the Bazykin predator-prey model with predator intraspecific interactions and ratio-dependent functional response and show the existence and stability of two interior equilibrium points. We prove that the model displays a wide range of different bifurcations, such as saddle-node bifurcations, Hopf bifurcations, homoclinic bifurcations and Bogdanov-Takens bifurcations. We use numerical simulations to further illustrate the impact changing the predator per capita consumption rate has on the basin of attraction of the stable equilibrium points, as well as the impact of changing the efficiency with which predators convert consumed prey into new predators.


title: Relativistic Artificial Molecules Realized by Two Coupled Graphene Quantum Dots

abstract: Coupled quantum dots (QDs), usually referred to as artificial molecules, are important not only in exploring fundamental physics of coupled quantum objects, but also in realizing advanced QD devices. However, previous studies have been limited to artificial molecules with nonrelativistic fermions. Here, we show that relativistic artificial molecules can be realized when two circular graphene QDs are coupled to each other. Using scanning tunneling microscopy (STM) and spectroscopy (STS), we observe the formation of bonding and antibonding states of the relativistic artificial molecule and directly visualize these states of the two coupled graphene QDs. The formation of the relativistic molecular states strongly alters distributions of massless Dirac fermions confined in the graphene QDs. Because of the relativistic nature of the molecular states, our experiment demonstrates that the degeneracy of different angular-momentum states in the relativistic artificial molecule can be further lifted by external magnetic fields. Then, both the bonding and antibonding states are split into two peaks.


title: Pure electromagnetic-gravitational interaction in Ho\v{r}ava-Lifshitz theory at the kinetic conformal point

abstract: We introduce the electromagnetic-gravitational coupling in the Ho\v{r}ava-Lifshitz framework, in $3+1$ dimensions, by considering the Ho\v{r}ava-Lifshitz gravity theory in $4+1$ dimensions at the kinetic conformal point and then performing a Kaluza-Klein reduction to $3+1$ dimensions. The action of the theory is second order in time derivatives and the potential contains only higher order spacelike derivatives up to $z=4$, $z$ being the critical exponent. These terms include also higher order derivative terms of the electromagnetic field. The propagating degrees of freedom of the theory are exactly the same as in the Einstein-Maxwell theory. We obtain the Hamiltonian, the field equations and show consistency of the constraint system. The kinetic conformal point is protected from quantum corrections by a second class constraint. At low energies the theory depends on two coupling constants, $\beta$ and $\alpha$. We show that the anisotropic field equations for the gauge vector is a deviation of the covariant Maxwell equations by a term depending on $\beta-1$. Consequently, for $\beta=1$, Maxwell equations arise from the anisotropic theory at low energies. We also prove that the anisotropic electromagnetic-gravitational theory at the IR point $\beta=1$, $\alpha=0$, is exactly the Einstein-Maxwell theory in a gravitational gauge used in the ADM formulation of General Relativity.


title: Scanning tunneling microscope characterizations of a circular graphene resonator realized with p-p junctions

abstract: Using low-temperature high-magnetic-field scanning tunneling microscopy and spectroscopy (STM/STS), we systematically study a graphene quantum dot (GQD) defined by a circular graphene p-p junction. Inside the GQD, we observe a series of quasi-bound states arising from whispering-gallery-mode (WGM) confinement of the circular junction and directly visualize these quasi-bound states down to atomic dimensions. By applying a strong magnetic field, a large jump in energy of the quasi-bound states, which is about one-half the energy spacing between the quasi-bound states, is observed. Such a behavior results from turning on a {\pi} Berry phase of massless Dirac fermions in graphene by a magnetic field. Moreover, our experiment demonstrates that a quasi-bound state splits into two peaks with an energy separation of about 26 meV when the Fermi level crosses the quasi-bound state, indicating that there are strong electron-electron interactions in the GQD.


title: Latent User Linking for Collaborative Cross Domain Recommendation

abstract: With the widespread adoption of information systems, recommender systems are widely used for better user experience. Collaborative filtering is a popular approach in implementing recommender systems. Yet, collaborative filtering methods are highly dependent on user feedback, which is often highly sparse and hard to obtain. However, such issues could be alleviated if knowledge from a much denser and a related secondary domain could be used to enhance the recommendation accuracy in the sparse target domain. In this publication, we propose a deep learning method for cross-domain recommender systems through the linking of cross-domain user latent representations as a form of knowledge transfer across domains. We assume that cross-domain similarities of user tastes and behaviors are clearly observable in the low dimensional user latent representations. These user similarities are used to link the domains. As a result, we propose a Variational Autoencoder based network model for cross-domain linking with added contextualization to handle sparse data and for better transfer of cross-domain knowledge. We further extend the model to be more suitable in cold start scenarios and to utilize auxiliary user information for additional gains in recommendation accuracy. The effectiveness of the proposed model was empirically evaluated using multiple datasets. The experiments proved that the proposed model outperforms the state of the art techniques.


title: The Dirichlet problem for a prescribed mean curvature equation

abstract: We study a prescribed mean curvature problem where we seek a surface whose mean curvature vector coincides with the normal component of a given vector field. We prove that the problem has a solution near a graphical minimal surface if the prescribed vector field is sufficiently small in a dimensionally sharp Sobolev norm.


title: Unfitted Nitsche's method for computing wave modes in topological materials

abstract: In this paper, we propose an unfitted Nitsche's method for computing wave modes in topological materials. The proposed method is based on Nitsche's technique to study the performance-enhanced topological materials which have strongly heterogeneous structures (e.g., the refractive index is piecewise constant with high contrasts). For periodic bulk materials, we use Floquet-Bloch theory and solve an eigenvalue problem on a torus with unfitted meshes. For the materials with a line defect, a sufficiently large domain with zero boundary conditions is used to compute the localized eigenfunctions corresponding to the edge modes. The interfaces are handled by Nitsche's method on an unfitted uniform mesh. We prove the proposed methods converge optimally, and present numerical examples to validate the theoretical results and demonstrate the capability of simulating topological materials.


title: Measurement of the Diffuse Muon Neutrino Flux using Starting Track Events in IceCube

abstract: IceCube measures the diffuse neutrino flux across several neutrino flavors and energy ranges. ESTES focuses on the measurement of the diffuse neutrino flux using high purity astrophysical muon neutrinos with energies above 1 TeV. We use the Enhanced Starting Track Event Selection dataset which selects for tracks starting within the IceCube fiducial volume. We employ a machine learning algorithm to help differentiate between tracks from atmospheric and astrophysical neutrinos. This produces a high purity diffuse neutrino sample that can provide valuable insight into the properties of the atmospheric and astrophysical diffuse neutrino spectrum. Using simulated neutrinos, we show the sensitivity for this measurement of the diffuse neutrino flux with ESTES.


title: Some identities of type 2 Degenerate Bernoulli polynomials of the second kind

abstract: I recent years, many mathematicians studied various degenerate version of some spcial polynomials of which quite a few interesting results were discovered. In this paper, we introduce the type 2 degenerate Bernoulli polynomials of the second kind and their higher-order analogues, and study some identities and expressions for these polynomials. Specially, we obtain a relation between the type 2 degenerate Bernoulli polynomials of the second kind and degenerate Bernoulli polynomials of the second kind, and identity involving hihger-order analogues of those polynomials and the degenerate stirling number of the second kin, and and expression of higher-order analogues of those polynomials in terms of the higher-order type 2 degenerate Bernoulli polynomials and the degenerate stirling number of the first kind.


title: How far should self-driving cars see? Effect of observation range on vehicle self-localization

abstract: Accuracy and time efficiency are two essential requirements for the self-localization of autonomous vehicles. While the observation range considered for simultaneous localization and mapping (SLAM) has a significant effect on both accuracy and computation time, its effect is not well investigated in the literature. In this paper, we will answer the question: How far should a driverless car observe during self-localization? We introduce a framework to dynamically define the observation range for localization to meet the accuracy requirement for autonomous driving, while keeping the computation time low. To model the effect of scanning range on the localization accuracy for every point on the map, several map factors were employed. The capability of the proposed framework was verified using field data, demonstrating that it is able to improve the average matching time from 142.2 ms to 39.3 ms while keeping the localization accuracy around 8.1 cm.


title: Universal relationship between low-energy antiferromagnetic fluctuations and superconductivity in BaFe$_{2}$(As$_{1-x}$P$_{x}$)$_{2}$

abstract: To identify the key parameter for optimal superconductivity in iron pnictides, we measured the $^{31}$P-NMR relaxation rate on BaFe$_{2}$(As$_{1-x}$P$_{x}$)$_{2}$ ($x = 0.22$ and 0.28) under pressure and compared the effects of chemical substitution and physical pressure. For $x = 0.22$, structural and antiferromagnetic (AFM) transition temperatures both show minimal changes with pressure up to 2.4~GPa, whereas the superconducting transition temperature $T_{\rm c}$ increases to twice its former value. In contrast, for $x=0.28$ near the AFM quantum critical point (QCP), the structural phase transition is quickly suppressed by pressure and $T_{\rm c}$ reaches a maximum. The analysis of the temperature-dependent nuclear relaxation rate indicates that these contrasting behaviors can be quantitatively explained by a single curve of the $T_{\rm c}$ dome as a function of Weiss temperature $\theta$, which measures the distance to the QCP. Moreover, the $T_{\rm c}$-$\theta$ curve under pressure precisely coincides with that with chemical substitution, which is indicative of the existence of a universal relationship between low-energy AFM fluctuations and superconductivity on BaFe$_{2}$(As$_{1-x}$P$_{x}$)$_{2}$.


title: Suppression of superfluidity by dissipation -- An application to failed superconductor

abstract: The ground states of bosons have been classified into superfluid, Mott insulator, and bose glass. Recent experiments in two-dimensional superconductors strongly suggest the existence of the fourth quantum state of Cooper pairs, i.e., bose metal or quantum metal, where the resistivity remains constant at lowest temperature. However, its theoretical understanding remains unsettled. In this paper, we show theoretically that the bosons in the dilute limit subject to dissipation can lose the superfluidity and remain metallic, utilizing the Feynman's picture of superfluidity in the first quantized formulation. This result is relevant to the quantum vortices under an external magnetic field in two-dimensional superconductors with the finite resistivity of the normal core as the source of dissipation.


title: Stationary Directed Polymers and Energy Solutions of the Burgers Equation

abstract: We consider the stationary O'Connell-Yor model of semi-discrete directed polymers in a Brownian environment in the intermediate disorder regime and show convergence of the increments of the log-partition function to the energy solutions of the stochastic Burgers equation. The proof does not rely on the Cole-Hopf transform and avoids the use of spectral gap estimates for the discrete model. The key technical argument is a second-order Boltzmann-Gibbs principle.


title: Seq-SG2SL: Inferring Semantic Layout from Scene Graph Through Sequence to Sequence Learning

abstract: Generating semantic layout from scene graph is a crucial intermediate task connecting text to image. We present a conceptually simple, flexible and general framework using sequence to sequence (seq-to-seq) learning for this task. The framework, called Seq-SG2SL, derives sequence proxies for the two modality and a Transformer-based seq-to-seq model learns to transduce one into the other. A scene graph is decomposed into a sequence of semantic fragments (SF), one for each relationship. A semantic layout is represented as the consequence from a series of brick-action code segments (BACS), dictating the position and scale of each object bounding box in the layout. Viewing the two building blocks, SF and BACS, as corresponding terms in two different vocabularies, a seq-to-seq model is fittingly used to translate. A new metric, semantic layout evaluation understudy (SLEU), is devised to evaluate the task of semantic layout prediction inspired by BLEU. SLEU defines relationships within a layout as unigrams and looks at the spatial distribution for n-grams. Unlike the binary precision of BLEU, SLEU allows for some tolerances spatially through thresholding the Jaccard Index and is consequently more adapted to the task. Experimental results on the challenging Visual Genome dataset show improvement over a non-sequential approach based on graph convolution.


title: Audio query-based music source separation

abstract: In recent years, music source separation has been one of the most intensively studied research areas in music information retrieval. Improvements in deep learning lead to a big progress in music source separation performance. However, most of the previous studies are restricted to separating a few limited number of sources, such as vocals, drums, bass, and other. In this study, we propose a network for audio query-based music source separation that can explicitly encode the source information from a query signal regardless of the number and/or kind of target signals. The proposed method consists of a Query-net and a Separator: given a query and a mixture, the Query-net encodes the query into the latent space, and the Separator estimates masks conditioned by the latent vector, which is then applied to the mixture for separation. The Separator can also generate masks using the latent vector from the training samples, allowing separation in the absence of a query. We evaluate our method on the MUSDB18 dataset, and experimental results show that the proposed method can separate multiple sources with a single network. In addition, through further investigation of the latent space we demonstrate that our method can generate continuous outputs via latent vector interpolation.


title: Deterministic generation of maximally discordant mixed states by dissipation

abstract: Entanglement can be considered as a special quantum correlation, but not the only kind. Even for a separable quantum system, it is allowed to exist non-classical correlations. Here we propose two dissipative schemes for generating a maximally correlated state of two qubits in the absence of quantum entanglement, which was raised by [F. Galve, G. L. Giorgi, and R. Zambrini, {\color{blue}Phys. Rev. A {\bf 83}, 012102 (2011)}]. These protocols take full advantages of the interaction between four-level atoms and strongly lossy optical cavities. In the first scenario, we alternatively change the phases of two classical driving fields, while the second proposal introduces a strongly lossy coupled-cavity system. Both schemes can realize all Lindblad terms required by the dissipative dynamics, guaranteeing the maximally quantum dissonant state to be the unique steady state for a certain subspace of system. Moreover, since the target state is a mixed state, the performance of our method is evaluated by the definition of super-fidelity $G(\rho_{1},\rho_{2})$, and the strictly numerical simulations indicate that fidelity outstripping $99\%$ of the quantum dissonant state is achievable with the current cavity quantum electrodynamics parameters.


title: Modeling, Analysis, and Optimization of Caching in Multi-Antenna Small-Cell Networks

abstract: In traditional cache-enabled small-cell networks (SCNs), a user can suffer strong interference due to contentcentric base station association. This may degenerate the advantage of collaborative content caching among multiple small base stations (SBSs), including probabilistic caching and coded caching. In this work, we tackle this issue by deploying multiple antennas at each SBS for interference management. Two types of beamforming are considered. One is matched-filter (MF) to strengthen the effective channel gain of the desired signal, and the other is zero-forcing (ZF) to cancel interference within a selected SBS cooperation group. We apply these two beamforming techniques in both probabilistic caching and coded caching, and conduct performance analysis using stochastic geometry. We obtain exact and approximate compact integral expressions of system performances measured by average fractional offloaded traffic (AFOT) and average ergodic spectral efficiency (AESE). Based on these expressions, we then optimize the caching parameters for AFOT or AESE maximization. For probabilistic caching, optimal caching solutions are obtained. For coded caching, an efficient greedy-based algorithm is proposed. Numerical results show that multiple antennas can boost the advantage of probabilistic caching and coded caching over the traditional most popular caching with the proper use of beamforming.


title: Exploring the role of electronic structure on photo-catalytic behavior of carbon-nitride polymorphs

abstract: A fully self-consistent density-functional theory (DFT) with improved functionals is used to provide a comprehensive account of structural, electronic, and optical properties of C$_{3}$N$_{4}$ polymorphs. Using our recently developed van Leeuwen-Baerends (vLB) corrected local-density approximation (LDA), we implemented LDA+vLB within full-potential N$^{th}$-order muffin-tin orbital (FP-NMTO) method and show that it improves structural properties and band gaps compared to semi-local functionals (LDA/GGA). We demonstrate that the LDA+vLB predicts band-structure and work-function for well-studied 2D-graphene and bulk-Si in very good agreement with experiments, and more exact hybrid functional (HSE) calculations as implemented in the Quantum-Espresso (QE) package. The structural and electronic-structure (band gap) properties of C$_{3}$N$_{4}$ polymorphs calculated using FP-NMTO-LDA+vLB is compared with more sophisticated hybrid-functional calculations. We also perform detailed investigation of photocatalytic behavior using QE-HSE method of C$_{3}$N$_{4}$ polymorphs through work-function, band (valence and conduction) position with respect to water reduction and oxidation potential. Our results show $\gamma$-C$_{3}$N$_{4}$ as the best candidate for photocatalysis among all the C$_{3}$N$_{4}$~polymorphs but it is dynamically unstable at `zero' pressure. We show that $\gamma$-C$_{3}$N$_{4}$ can be stabilized under hydrostatic-pressure, which improves its photocatalytic behavior relative to water reduction and oxidation potentials.


title: Model-free Feature Screening and FDR Control with Knockoff Features

abstract: This paper proposes a model-free and data-adaptive feature screening method for ultra-high dimensional datasets. The proposed method is based on the projection correlation which measures the dependence between two random vectors. This projection correlation based method does not require specifying a regression model and applies to the data in the presence of heavy-tailed errors and multivariate response. It enjoys both sure screening and rank consistency properties under weak assumptions. Further, a two-step approach is proposed to control the false discovery rate (FDR) in feature screening with the help of knockoff features. It can be shown that the proposed two-step approach enjoys both sure screening and FDR control if the pre-specified FDR level $\alpha$ is greater or equal to $1/s$, where $s$ is the number of active features. The superior empirical performance of the proposed methods is justified by various numerical experiments and real data applications.


title: Chromatic nonsymmetric polynomials of Dyck graphs are slide-positive

abstract: Motivated by the study of Macdonald polynomials, J. Haglund and A. Wilson introduced a nonsymmetric polynomial analogue of the chromatic quasisymmetric function called the \emph{chromatic nonsymmetric polynomial} of a Dyck graph. We give a positive expansion for this polynomial in the basis of fundamental slide polynomials using recent work of Assaf-Bergeron on flagged $(P,\rho)$-partitions. We then derive the known expansion for the chromatic quasisymmetric function of Dyck graphs in terms of Gessel's fundamental basis by taking a backstable limit of our expansion.


title: Mitigating Multi-Stage Cascading Failure by Reinforcement Learning

abstract: This paper proposes a cascading failure mitigation strategy based on Reinforcement Learning (RL) method. Firstly, the principles of RL are introduced. Then, the Multi-Stage Cascading Failure (MSCF) problem is presented and its challenges are investigated. The problem is then tackled by the RL based on DC-OPF (Optimal Power Flow). Designs of the key elements of the RL framework (rewards, states, etc.) are also discussed in detail. Experiments on the IEEE 118-bus system by both shallow and deep neural networks demonstrate promising results in terms of reduced system collapse rates.


title: High dimensional statistical inference: theoretical development to data analytics

abstract: This article is due to appear in the Handbook of Statistics, Vol. 43, Elsevier/North-Holland, Amsterdam, edited by Arni S. R. Srinivasa Rao and C. R. Rao. In modern day analytics, there is ever growing need to develop statistical models to study high dimensional data. Between dimension reduction, asymptotics-driven methods and random projection based methods, there are several approaches developed so far. For high dimensional parametric models, estimation and hypothesis testing for mean and covariance matrices have been extensively studied. However, practical implementation of these methods are fairly limited and are primarily restricted to researchers involved in high dimensional inference. With several applied fields such as genomics, metagenomics and social networking, high dimensional inference is a key component of big data analytics. In this chapter, a comprehensive overview of high dimensional inference and its applications in data analytics is provided. Key theoretical developments and computational tools are presented, giving readers an in-depth understanding of challenges in big data analysis.


title: Implicit Recursive Characteristics of STOP

abstract: The most important notations of Communicating Sequential Process(CSP) are the process and the prefix (event)$\rightarrow$(process) operator. While we can formally apply the $\rightarrow$ operator to define a live process's behavior, the STOP process, which usually resulted from deadlock, starving or livelock, is lack of formal description, defined by most literatures as "doing nothing but halt". In this paper, we argue that the STOP process should not be considered as a black box, it should follow the prefix $\rightarrow$ schema and the same inference rules so that a unified and consistent process algebra model can be established. In order to achieve this goal, we introduce a special event called "nil" that any process can take. This nil event will do nothing meaningful and leave nothing on a process's observable record. With the nil event and its well-defined rules, we can successfully use the $\rightarrow$ operator to formally describe a process's complete behavior in its whole life circle. More interestingly, we can use prefix $\rightarrow$ and nil event to fully describe the STOP process's internal behavior and conclude that the STOP's formal equation can be given as simple as STOP$_{\alpha X} = \mu$ X. nil $\rightarrow$ X.


title: Beta-Binomial stick-breaking non-parametric prior

abstract: A new class of nonparametric prior distributions, termed Beta-Binomial stick-breaking process, is proposed. By allowing the underlying length random variables to be dependent through a Beta marginals Markov chain, an appealing discrete random probability measure arises. The chain's dependence parameter controls the ordering of the stick-breaking weights, and thus tunes the model's label-switching ability. Also, by tuning this parameter, the resulting class contains the Dirichlet process and the Geometric process priors as particular cases, which is of interest for fast convergence of MCMC implementations. Some properties of the model are discussed and a density estimation algorithm is proposed and tested with simulated datasets.


title: Transfer Learning-Based Label Proportions Method with Data of Uncertainty

abstract: Learning with label proportions (LLP), which is a learning task that only provides unlabeled data in bags and each bag's label proportion, has widespread successful applications in practice. However, most of the existing LLP methods don't consider the knowledge transfer for uncertain data. This paper presents a transfer learning-based approach for the problem of learning with label proportions(TL-LLP) to transfer knowledge from source task to target task where both the source and target tasks contain uncertain data. Our approach first formulates objective model for the uncertain data and deals with transfer learning at the same time, and then proposes an iterative framework to build an accurate classifier for the target task. Extensive experiments have shown that the proposed TL-LLP method can obtain the better accuracies and is less sensitive to noise compared with the existing LLP methods.


title: Discontinuous Galerkin approximations in computational mechanics: hybridization, exact geometry and degree adaptivity

abstract: Discontinuous Galerkin (DG) discretizations with exact representation of the geometry and local polynomial degree adaptivity are revisited. Hybridization techniques are employed to reduce the computational cost of DG approximations and devise the hybridizable discontinuous Galerkin (HDG) method. Exact geometry described by non-uniform rational B-splines (NURBS) is integrated into HDG using the framework of the NURBS-enhanced finite element method (NEFEM). Moreover, optimal convergence and superconvergence properties of HDG-Voigt formulation in presence of symmetric second-order tensors are exploited to construct inexpensive error indicators and drive degree adaptive procedures. Applications involving the numerical simulation of problems in electrostatics, linear elasticity and incompressible viscous flows are presented. Moreover, this is done for both high-order HDG approximations and the lowest-order framework of face-centered finite volumes (FCFV).


title: Long and Diverse Text Generation with Planning-based Hierarchical Variational Model

abstract: Existing neural methods for data-to-text generation are still struggling to produce long and diverse texts: they are insufficient to model input data dynamically during generation, to capture inter-sentence coherence, or to generate diversified expressions. To address these issues, we propose a Planning-based Hierarchical Variational Model (PHVM). Our model first plans a sequence of groups (each group is a subset of input items to be covered by a sentence) and then realizes each sentence conditioned on the planning result and the previously generated context, thereby decomposing long text generation into dependent sentence generation sub-tasks. To capture expression diversity, we devise a hierarchical latent structure where a global planning latent variable models the diversity of reasonable planning and a sequence of local latent variables controls sentence realization. Experiments show that our model outperforms state-of-the-art baselines in long and diverse text generation.


title: Question Answering based Clinical Text Structuring Using Pre-trained Language Model

abstract: Clinical text structuring is a critical and fundamental task for clinical research. Traditional methods such as taskspecific end-to-end models and pipeline models usually suffer from the lack of dataset and error propagation. In this paper, we present a question answering based clinical text structuring (QA-CTS) task to unify different specific tasks and make dataset shareable. A novel model that aims to introduce domain-specific features (e.g., clinical named entity information) into pre-trained language model is also proposed for QA-CTS task. Experimental results on Chinese pathology reports collected from Ruijing Hospital demonstrate our presented QA-CTS task is very effective to improve the performance on specific tasks. Our proposed model also competes favorably with strong baseline models in specific tasks.


title: Video synthesis of human upper body with realistic face

abstract: This paper presents a generative adversarial learning-based human upper body video synthesis approach to generate an upper body video of target person that is consistent with the body motion, face expression, and pose of the person in source video. We use upper body keypoints, facial action units and poses as intermediate representations between source video and target video. Instead of directly transferring the source video to the target video, we firstly map the source person's facial action units and poses into the target person's facial landmarks, then combine the normalized upper body keypoints and generated facial landmarks with spatio-temporal smoothing to generate the corresponding target video's image. Experimental results demonstrated the effectiveness of our method.


title: Surprising variants of Cauchy's formula for mean chord length

abstract: We examine isotropic and anisotropic random walks which begin on the surface of linear ($N$), square ($N \times N$), or cubic ($N \times N \times N$) lattices and end upon encountering the surface again. The mean length of walks is equal to $N$ and the distribution of lengths $n$ generally scales as $n^{-1.5}$ for large $n$. Our results are interesting in the context of an old formula due to Cauchy that the mean length of a chord though a convex body of volume $V$ and surface $S$ is proportional to $V/S$. It has been realized in recent years that Cauchy's formula holds surprisingly even if chords are replaced by irregular insect paths or trajectories of colliding gas molecules. The random walk on a lattice offers a simple and transparent understanding of this result in comparison to other formulations based on Boltzmann's transport equation in continuum.


title: Cuspidal edges with the same first fundamental forms along a knot

abstract: Letting $C$ be a compact $C^\omega$-curve embedded in $\boldsymbol R^3$ ($C^\omega$ means real analyticity), we consider a $C^\omega$-cuspidal edge $f$ along $C$. When $C$ is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along $C$ whose first fundamental forms coincide with that of $f$ was shown, under a certain reasonable assumption on $f$. In this paper, if $C$ is closed, that is, $C$ is a knot, we show that there exist infinitely many cuspidal edges along $C$ having the same first fundamental form as that of $f$ such that their images are non-congruent to each other, in general.


title: Reply to Comment on "Is a Trineutron Resonance Lower in Energy than a Tetraneutron Resonance?"

abstract: We reply to a Comment on our Letter [Phys. Rev. Lett. 118, 232501 (2017), arXiv:1612.01502] by A. Deltuva and R. Lazauskas [Phys. Rev. Lett 123, 069201 (2019), arXiv:1904.00925].


title: Strong law of large numbers for a function of the local times of a transient random walk in $\mathbb Z^d$

abstract: For an arbitrary transient random walk $(S_n)_{n\ge 0}$ in $\mathbb Z^d$, $d\ge 1$, we prove a strong law of large numbers for the spatial sum $\sum_{x\in\mathbb Z^d}f(l(n,x))$ of a function $f$ of the local times $l(n,x)=\sum_{i=0}^n\mathbb I\{S_i=x\}$. Particular cases are the number of (a) visited sites (first time considered by Dvoretzky and Erd\H{o}s), which corresponds to a function $f(i)=\mathbb I\{i\ge 1\}$; (b) $\alpha$-fold self-intersections of the random walk (studied by Becker and K\"{o}nig), which corresponds to $f(i)=i^\alpha$; (c) sites visited by the random walk exactly $j$ times (considered by Erd\H{o}s and Taylor and by Pitt), where $f(i)=\mathbb I\{i=j\}$.


title: Deep neural network or dermatologist?

abstract: Deep learning techniques have proven high accuracy for identifying melanoma in digitised dermoscopic images. A strength is that these methods are not constrained by features that are pre-defined by human semantics. A down-side is that it is difficult to understand the rationale of the model predictions and to identify potential failure modes. This is a major barrier to adoption of deep learning in clinical practice. In this paper we ask if two existing local interpretability methods, Grad-CAM and Kernel SHAP, can shed light on convolutional neural networks trained in the context of melanoma detection. Our contributions are (i) we first explore the domain space via a reproducible, end-to-end learning framework that creates a suite of 30 models, all trained on a publicly available data set (HAM10000), (ii) we next explore the reliability of GradCAM and Kernel SHAP in this context via some basic sanity check experiments (iii) finally, we investigate a random selection of models from our suite using GradCAM and Kernel SHAP. We show that despite high accuracy, the models will occasionally assign importance to features that are not relevant to the diagnostic task. We also show that models of similar accuracy will produce different explanations as measured by these methods. This work represents first steps in bridging the gap between model accuracy and interpretability in the domain of skin cancer classification.


title: Breakdown of Raman Selection Rules By Fr\"{o}hlich Interaction in Few-Layer WS$_2$

abstract: The Raman selection rules arise from the crystal symmetry and then determine the Raman activity and polarization of scattered phonon modes. However, these selection rules can be broken in resonant process due to the strong electron-phonon coupling effect. Here we reported the observation of breakdown of Raman selection rules in few-layer WS$_2$ by using resonant Raman scattering with dark A exciton. In this case, not only the infrared active modes and backscattering forbidden modes are observed, but the intensities of all observed phonon modes become strongest under paralleled-polarization and independent on the Raman tensors of phonons. We attributed this phenomenon to the interaction between dark A exciton and the scatted phonon, the so-called intraband Fr\"{o}hlich interaction, where the Raman scattering possibility is totally determined by the symmetry of exciton rather than the phonons due to strong electron-phonon coupling. Our results not only can be used to easily detect the optical forbidden excitonic and phononic states but also provide a possible way to manipulate optical transitions between electronic levels.


title: Enhancement of Thermal Spin Transfer Torque via Bandpass Energy Filtering

abstract: We propose the use of energy bandpass filtering approach in the magnetic tunnel junction device as a route to enhance the thermal spin transfer torque. Using the spin-resolved non-equilibrium Green's function formalism, we harness the optical analog of anti-reflective coating in a heterostructure MTJ device, that reports a huge spin torque in the linear regime of temperature bias. In particular, we discuss the position of transmission function with respect to the Fermi energy that caters the maximum thermal effect. The boxcar transmission feature of anti-reflective configuration enhances the charge and spin transport through the structure in comparison to the normal superlattice configurations. The thermally excited spin transfer torque is enhanced by almost five times more with our device design. Although, the thermally driven spin torque is much smaller than the potential driven torque, this technique provides an energy-efficient way to switch the magnetization. This opens up a new viable area in the spintronics applications. With the existing advanced thin-film growth technology, the optimized superlattice configurations can be achieved.


title: Global continuity and higher integrability of a minimizer of an obstacle problem under generalized Orlicz growth conditions

abstract: We prove continuity up to the boundary of the minimizer of an obstacle problem and higher integrability of its gradient under generalized Orlicz growth. The result recovers similar results obtained in the special cases of polynomial growth, variable exponent growth and produces new results for Orlicz and double phase growth.


title: SPA-GAN: Spatial Attention GAN for Image-to-Image Translation

abstract: Image-to-image translation is to learn a mapping between images from a source domain and images from a target domain. In this paper, we introduce the attention mechanism directly to the generative adversarial network (GAN) architecture and propose a novel spatial attention GAN model (SPA-GAN) for image-to-image translation tasks. SPA-GAN computes the attention in its discriminator and use it to help the generator focus more on the most discriminative regions between the source and target domains, leading to more realistic output images. We also find it helpful to introduce an additional feature map loss in SPA-GAN training to preserve domain specific features during translation. Compared with existing attention-guided GAN models, SPA-GAN is a lightweight model that does not need additional attention networks or supervision. Qualitative and quantitative comparison against state-of-the-art methods on benchmark datasets demonstrates the superior performance of SPA-GAN.


title: Chaos on a High-Dimensional Torus

abstract: Transition from quasiperiodicity with many frequencies (i.e., a high-dimensional torus) to chaos is studied by using $N$-dimensional globally coupled circle maps. First, the existence of $N$-dimensional tori with $N\geq 2$ is confirmed while they become exponentially rare with $N$. Besides, chaos exists even when the map is invertible, and such chaos has more null Lyapunov exponents as $N$ increases. This unusual form of "chaos on a torus," termed toric chaos, exhibits delocalization and slow dynamics of the first Lyapunov vector. Fractalization of tori at the transition to chaos is also suggested. The relevance of toric chaos to neural dynamics and turbulence is discussed in relation to chaotic itinerancy.


title: Teichm\"uller spaces of generalized symmetric homeomorphisms

abstract: We introduce the concept of a new kind of symmetric homeomorphisms on the unit circle, which is derived from the generalization of symmetric homeomorphisms on the real line. By the investigation of the barycentric extension for this class of circle homeomorphisms and the biholomorphic automorphisms induced by trivial Beltrami coefficients, we endow a complex Banach manifold structure on the space of those generalized symmetric homeomorphisms.


title: Demonstration of 3D ISAR Security Imaging at 24GHz with a Sparse MIMO Array

abstract: A 3D ISAR security imaging experiment at 24GHz is demonstrated with a sparse MIMO array. The MIMO array is an 8Tx/16Rx linear array to achieve real-aperture imaging along the vertical dimension. It is time-switching multiplexed with a low-cost FMCW transceiver working at 22GHz-26GHz. A calibration procedure is proposed to calibrate the channel imbalance across the MIMO array. The experiment is conducted on human moving on a cart, where we take advantage of the linear motion of human to form inverse synthetic aperture along the horizontal dimension. To track the motion of human, a 3D depth camera is used as an auxiliary sensor to capture the rough position of target to aid ISAR imaging. The back projection imaging algorithm is implemented on GPU for quasi-real-time operation. Finally, experiments are conducted with real human with concealed objects and a preliminary automatic object recognition algorithm based on convolutional neural networks are developed and evaluated on real data.


title: Electron-phonon coupling and hot electron thermalization in titanium nitride

abstract: We have studied the thermalization of hot carriers in both pristine and defective titanium nitride (TiN) using a two-temperature model. All parameters of this model, including the electron-phonon coupling parameter, were obtained from first-principles density-functional theory calculations. The virtual crystal approximation was used to describe defective systems. We find that thermalization of hot carriers occurs on much faster time scales than in gold as a consequence of the significantly stronger electron-phonon coupling in TiN. Specifically, the largest thermalization times, on the order of 200 femtoseconds, are found in TiN with nitrogen vacancies for electron temperatures around 4000 K.


title: F-theory models with $U(1)\times \mathbb{Z}_2,\, \mathbb{Z}_4$ and transitions in discrete gauge groups

abstract: We examine the proposal in the previous paper to resolve the puzzle in transitions in discrete gauge groups. We focus on a four-section geometry to test the proposal. We observed that a discrete $\mathbb{Z}_2$ gauge group enlarges and $U(1)$ also forms in F-theory along any bisection geometries locus in the four-section geometry built as the complete intersections of two quadrics in $\mathbb{P}^3$ fibered over any base. Furthermore, we demonstrate that giving vacuum expectation values to hypermultiplets breaks the enlarged $U(1)\times \mathbb{Z}_2$ gauge group down to a discrete $\mathbb{Z}_4$ gauge group via Higgsing. We thus confirmed that the proposal in the previous paper is consistent when a four-section splits into a pair of bisections in the four-section geometry. This analysis may be useful for understanding the Higgsing processes occurring in the transitions in discrete gauge groups in six-dimensional F-theory models. We also discuss the construction of a family of six-dimensional F-theory models in which $U(1)\times\mathbb{Z}_4$ forms.


title: AdaptSPEC-X: Covariate Dependent Spectral Modeling of Multiple Nonstationary Time Series

abstract: We present a method for the joint analysis of a panel of possibly nonstationary time series. The approach is Bayesian and uses a covariate-dependent infinite mixture model to incorporate multiple time series, with mixture components parameterized by a time varying mean and log spectrum. The mixture components are based on AdaptSPEC, a nonparametric model which adaptively divides the time series into an unknown number of segments and estimates the local log spectra by smoothing splines. We extend AdaptSPEC to handle missing values, a common feature of time series which can cause difficulties for nonparametric spectral methods. A second extension is to allow for a time varying mean. Covariates, assumed to be time-independent, are incorporated via the mixture weights using the logistic stick breaking process. The model can estimate time varying means and spectra at observed and unobserved covariate values, allowing for predictive inference. Estimation is performed by Markov chain Monte Carlo (MCMC) methods, combining data augmentation, reversible jump, and Riemann manifold Hamiltonian Monte Carlo techniques. We evaluate the methodology using simulated data, and describe applications to Australian rainfall data and measles incidence in the US. Software implementing the method proposed in this paper is available in the R package BayesSpec.


title: IRNet: Instance Relation Network for Overlapping Cervical Cell Segmentation

abstract: Cell instance segmentation in Pap smear image remains challenging due to the wide existence of occlusion among translucent cytoplasm in cell clumps. Conventional methods heavily rely on accurate nuclei detection results and are easily disturbed by miscellaneous objects. In this paper, we propose a novel Instance Relation Network (IRNet) for robust overlapping cell segmentation by exploring instance relation interaction. Specifically, we propose the Instance Relation Module to construct the cell association matrix for transferring information among individual cell-instance features. With the collaboration of different instances, the augmented features gain benefits from contextual information and improve semantic consistency. Meanwhile, we proposed a sparsity constrained Duplicate Removal Module to eliminate the misalignment between classification and localization accuracy for candidates selection. The largest cervical Pap smear (CPS) dataset with more than 8000 cell annotations in Pap smear image was constructed for comprehensive evaluation. Our method outperforms other methods by a large margin, demonstrating the effectiveness of exploring instance relation.


title: On some conjectures by Lu and Wenzel

abstract: In order to give a unified generalization of the BW inequality and the DDVV inequality, Lu and Wenzel proposed three Conjectures 1, 2, 3 and an open Question 1 in 2016. In this paper we discuss further these conjectures and put forward several new conjectures which will be shown equivalent to Conjecture 2. In particular, we prove Conjecture 2 and hence all conjectures in some special cases. For Conjecture 3, we obtain a bigger upper bound $2+\sqrt{10}/2$, and we also give a weaker answer for the more general Question 1. In addition, we obtain some new simple proofs of the complex BW inequality and the condition for equality.


title: Bilingual Lexicon Induction with Semi-supervision in Non-Isometric Embedding Spaces

abstract: Recent work on bilingual lexicon induction (BLI) has frequently depended either on aligned bilingual lexicons or on distribution matching, often with an assumption about the isometry of the two spaces. We propose a technique to quantitatively estimate this assumption of the isometry between two embedding spaces and empirically show that this assumption weakens as the languages in question become increasingly etymologically distant. We then propose Bilingual Lexicon Induction with Semi-Supervision (BLISS) --- a semi-supervised approach that relaxes the isometric assumption while leveraging both limited aligned bilingual lexicons and a larger set of unaligned word embeddings, as well as a novel hubness filtering technique. Our proposed method obtains state of the art results on 15 of 18 language pairs on the MUSE dataset, and does particularly well when the embedding spaces don't appear to be isometric. In addition, we also show that adding supervision stabilizes the learning procedure, and is effective even with minimal supervision.


title: On the remainder term of the Weyl law for congruence subgroups of Chevalley groups

abstract: Let $X$ be a locally symmetric space defined by a simple Chevalley group $G$ and a congruence subgroup of $G(\mathbb Q)$. In this generality, the Weyl law for $X$ was proved by Lindenstrauss--Venkatesh. In the case where $G$ is simply connected, we sharpen their result by giving a power saving estimate for the remainder term.


title: T-duality constraint on R-R couplings

abstract: It has been speculated that the metric, $B$-field and dilaton couplings in the low energy effective action of string theory at any order of $\alpha'$ may be found by imposing the gauge symmetries and the T-duality on the effective action. This proposal can be extended to include the Ramond-Ramond (R-R) couplings as well. In this paper, we first find the dimensional reduction of the R-R fields and then perform explicitly the T-duality constraint on the R-R couplings at the supergravity level. Up to an overall factor, it reproduces the democratic form of the R-R couplings.


title: A stochastic comparison result for the multitype contact process with unequal death rates

abstract: A stochastic comparison result that makes progress towards understanding the classical multitype contact process with unequal death rates is given. It has long been conjectured that the particle type with the largest birth to death rate ratio survives and the other dies out. A point process coupling result of Broman is used to give a sufficient condition for when the dominant particle type survives.


title: Memory limitations are hidden in grammar

abstract: The ability to produce and understand an unlimited number of different sentences is a hallmark of human language. Linguists have sought to define the essence of this generative capacity using formal grammars that describe the syntactic dependencies between constituents, independent of the computational limitations of the human brain. Here, we evaluate this independence assumption by sampling sentences uniformly from the space of possible syntactic structures. We find that the average dependency distance between syntactically related words, a proxy for memory limitations, is less than expected by chance in a collection of state-of-the-art classes of dependency grammars. Our findings indicate that memory limitations have permeated grammatical descriptions, suggesting that it may be impossible to build a parsimonious theory of human linguistic productivity independent of non-linguistic cognitive constraints.


title: Effects of magnetic anisotropy on spin and thermal transports in classical antiferromagnets on the square lattice

abstract: Transport properties of the classical antiferromagnetic XXZ model on the square lattice have been theoretically investigated, putting emphasis on how the occurrence of a phase transition is reflected in spin and thermal transports. As is well known, the anisotropy of the exchange interaction $\Delta\equiv J_z/J_x$ plays a role to control the universality class of the transition of the model, i.e., either a second-order transition at $T_N$ into a magnetically ordered state or the Kosterlitz-Thouless (KT) transition at $T_{KT}$, which respectively occur for the Ising-type ($\Delta >1$) and $XY$-type ($\Delta <1$) anisotropies, while for the isotropic Heisenberg case of $\Delta=1$, a phase transition does not occur at any finite temperature. It is found by means of the hybrid Monte-Carlo and spin-dynamics simulations that the spin current probes the difference in the ordering properties, while the thermal current does not. For the $XY$-type anisotropy, the longitudinal spin-current conductivity $\sigma^s_{xx}$ ($=\sigma^s_{yy}$) exhibits a divergence at $T_{KT}$ of the exponential form, $\sigma^s_{xx} \propto \exp\big[ B/\sqrt{T/T_{KT}-1 }\, \big]$ with $B={\cal O}(1)$, while for the Ising-type anisotropy, the temperature dependence of $\sigma^s_{xx}$ is almost monotonic without showing a clear anomaly at $T_{N}$ and such a monotonic behavior is also the case in the Heisenberg-type spin system. The significant enhancement of $\sigma^s_{xx}$ at $T_{KT}$ is found to be due to the exponential rapid growth of the spin-current-relaxation time toward $T_{KT}$, which can be understood as a manifestation of the topological nature of a vortex whose lifetime is expected to get longer toward $T_{KT}$. Possible experimental platforms for the spin-transport phenomena associated with the KT topological transition are discussed.


title: Proving two conjectural series for $\zeta(7)$ and discovering more series for $\zeta(7)$

abstract: We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive integral representations. Using substitutions, we express these integral representations in terms of cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive the results. These methods are implemented in the computer algebra package HarmonicSums.


title: Higher-order perturbative coefficients in QCD from series acceleration by conformal mappings

abstract: The present calculations in perturbative QCD reach the order $\alpha_s^4$ for several correlators calculated to five loops, and the huge computational difficulties make unlikely the full six-loop calculation in the near future. This situation has practical consequences, in particular the treatment of the higher orders of the perturbation series for the current-current correlator of light quarks is one of the main sources of errors in the extraction of the strong coupling from hadronic $\tau$ decays. Several approximate estimates of the next coefficients of the corresponding Adler function have been proposed, using various arguments. In the present paper we exploit the analytic structure of the Adler function in the Borel plane, which allows the definition of an improved perturbative expansion in powers of a conformal variable which maps the cut Borel plane onto the unit disk. The new expansions converge in a larger domain of the Borel plane and, when reexpanded in powers of the strong coupling, yield definite values for the higher perturbative coefficients. We apply the method to the Adler function in the $\bar{\rm MS}$ scheme and to a suitable weighted integral of this function in the complex $s$ plane, chosen such as to avoid model-dependent assumptions on analyticity. Our results $c_{5,1}=287 \pm 40$, $c_{6,1}=2948 \pm 208$ and $c_{7,1}=(1.89 \pm 0.75)\times 10^4$, for the six, seven and eigth-loop coefficients, respectively, agree with a recent determination from Pad\'e approximants applied to the perturbative expansion of the hadronic $\tau$ decay rate.


title: On the expressive power of invariants in parametric timed automata

abstract: The verification of systems combining hard timing constraints with concurrency is challenging. This challenge becomes even harder when some timing constants are missing or unknown. Parametric timed formalisms, such as parametric timed automata (PTAs), tackle the synthesis of such timing constants (seen as parameters) for which a property holds. Such formalisms are highly expressive, but also undecidable, and few decidable subclasses were proposed. We propose here a syntactic restriction on PTAs consisting in removing guards (constraints on transitions) to keep only invariants (constraints on locations). While this restriction preserves the expressiveness of PTAs (and therefore their undecidability), an additional restriction on the type of constraints allows to not only prove decidability, but also to perform the exact synthesis of parameter valuations satisfying reachability. This formalism, that seems trivial at first sight as it benefits from the decidability of the reachability problem with a better complexity than Timed Automata (TAs), suffers from the undecidability of the whole TCTL logic that TAs, on the contrary enjoy. We believe our formalism allows for an interesting trade-off between decidability and practical expressiveness and is therefore promising. We show its applicability in a small case study.


title: Cluster-based Distributed Augmented Lagrangian Algorithm for a Class of Constrained Convex Optimization Problems

abstract: We propose a distributed solution for a constrained convex optimization problem over a network of clustered agents each consisted of a set of subagents. The communication range of the clustered agents is such that they can form a connected undirected graph topology. The total cost in this optimization problem is the sum of the local convex costs of the subagents of each cluster. We seek a minimizer of this cost subject to a set of affine equality constraints, and a set of affine inequality constraints specifying the bounds on the decision variables if such bounds exist. We design our distributed algorithm in a cluster-based framework which results in a significant reduction in communication and computation costs. Our proposed distributed solution is a novel continuous-time algorithm that is linked to the augmented Lagrangian approach. It converges asymptotically when the local cost functions are convex and exponentially when they are strongly convex and have Lipschitz gradients. Moreover, we use an $\epsilon$-exact penalty function to address the inequality constraints and derive an explicit lower bound on the penalty function weight to guarantee convergence to $\epsilon$-neighborhood of the global minimum value of the cost. A numerical example demonstrates our results.


title: Broadband mid-infrared perfect absorber using fractal Gosper curve

abstract: Designing broadband metamaterial perfect absorbers is challenging due to the intrinsically narrow bandwidth of surface plasmon resonances. Here, the paper reports an ultra-broadband metamaterial absorber by using space filling Gosper curve. The optimized result shows an average absorptivity of 95.78% from 2.64 to 9.79 {\mu}m across the entire mid-infrared region. Meanwhile, the absorber shows insensitivity to the polarization angle and the incident angle of the incident light. The underlying physical principles, used in our broadband absorber, involve a fractal geometry with multiple scales and a dissipative plasmonic crystal. The broadband perfect absorption can be attributed to multiple electric resonances at different wavelengths supported by a few segments in the defined Gosper curve.


title: Planar Hall Effect and Anisotropic Magnetoresistance in a polar-polar interface of LaVO$_3$-KTaO$_3$ with strong spin-orbit coupling

abstract: Among the perovskite oxide family, KTaO$_3$ (KTO) has recently attracted considerable interest as a possible system for the realization of the Rashba effect. In this work, we improvise a novel conducting interface by juxtaposing KTO with another insulator, namely LaVO$_3$ (LVO) and report planar Hall effect (PHE) and anisotropic magnetoresistance (AMR) measurements. This interface exhibits a signature of strong spin-orbit coupling. Our experimental observation of two fold AMR at low magnetic fields can be intuitively understood using a phenomenological theory for a Rashba spin-split system. At high fields ($\sim$8 T), we see a two fold to four fold transition in the AMR that could not be explained using only Rashba spin-split energy spectra. We speculate that it might be generated through an intricate process arising from the interplay between strong spin-orbit coupling, broken inversion symmetery, relativistic conduction electron and possible uncompensated localized vanadium spins.


title: "Computer Science for all": Concepts to engage teenagers and non-CS students in technology

abstract: Knowledge in Computer Science (CS) is essential, and companies have increased their demands for CS professionals. Despite this, many jobs remain unfilled. Furthermore, employees with computational thinking (CT) skills are required, even if they are not actual technicians. Moreover, the gender disparity in technology related fields is a serious problem. Even if companies want to hire women in technology, the number of women who enter these fields is remarkably low. In high schools, most teenagers acquire only low-level skills in CS. Thus, they may never understand the fundamental concepts of CS, have unrealistic expectations or preconceptions, and are influenced by stereotype-based expectations. Consequently, many teenagers exclude computing as a career path. In this research study, we present two promising concepts to overcome these challenges. First, we consider alternative paths to enter the field of CS. In 2018, a voluntary lecture "Design your own app" at the University of Graz for students of all degree programs was introduced. In total, 202 students participated. We applied a Game Development-Based Learning (GDBL) approach with the visual coding tool Pocket Code, a mobile app developed at Graz University of Technology. The students were supposed to create simple games directly on smartphones. The course received positive evaluations and led to our second concept; In January 2019, we started to design a MOOC (Massive Open Online Course) with the title "Get FIT in Computer Science". First, this course can be used to encourage young women who have little to no previous knowledge in CS. Second, it should help all teenagers to get a more realistic picture of CS to its basic concepts. Third, teachers can use the course materials to lead high school classes (Open Educational Resources). Finally, the MOOC can be accessed by everyone interested in this topic.


title: Threading-Induced Dynamical Transition in Tadpole-Shaped Polymers

abstract: The relationship between polymer topology and bulk rheology remains a key question in soft matter physics. Architecture-specific constraints (or threadings) are thought to control the dynamics of ring polymers in ring-linear blends, which thus affects the viscosity to range between that of the pure rings and a value larger, but still comparable to, that of the pure linear melt. Here we consider qualitatively different systems of linear and ring polymers, fused together in "chimeric" architectures. The simplest example of this family is a "tadpole"-shaped polymer - a single ring fused to the end of a single linear chain. We show that polymers with this architecture display a threading-induced dynamical transition that substantially slows chain relaxation. Our findings shed light on how threadings control dynamics and may inform design principles for chimeric polymers with topologically-tunable bulk rheological properties.