title: The NIR Spectrograph for the new SOXS instrument at the NTT

abstract: We present the NIR spectrograph of the Son Of XShooter (SOXS) instrument for the ESO-NTT telescope at La Silla (Chile). SOXS is a R~4,500 mean resolution spectrograph, with a simultaneously coverage from about 0.35 to 2.00 {\mu}m. It will be mounted at the Nasmyth focus of the NTT. The two UV-VIS-NIR wavelength ranges will be covered by two separated arms. The NIR spectrograph is a fully cryogenic echelle-dispersed spectrograph, working in the range 0.80-2.00 {\mu}m, equipped with an Hawaii H2RG IR array from Teledyne, working at 40 K. The spectrograph will be cooled down to about 150 K, to lower the thermal background, and equipped with a thermal filter to block any thermal radiation above 2.0 {\mu}m. In this poster we will show the main characteristics of the instrument along with the expected performances at the telescope.


title: Invariant Hilbert scheme resolution of Popov's $SL(2)$-varieties I: the toric case

abstract: We show that every 3-dimensional affine normal quasihomogeneous $SL(2)$-variety has an equivariant resolution of singularities given by an invariant Hilbert scheme. This article treats the case where such $SL(2)$-variety is toric. The non-toric case is considered in the forthcoming article [Kub18].


title: A two-point function approach to connectedness of drops in convex potentials

abstract: We establish connectedness of volume constrained minimisers of energies involving surface tensions and convex potentials. By a previous result of McCann, this implies that minimisers are convex in dimension two. This positively answers an old question of Almgren. We also prove convexity of minimisers when the volume constraint is dropped. Our proof is based on the introduction of a new "two-point function" which measures the lack of convexity and which gives rise to a negative second variation of the energy.


title: The Heisenberg product seen as a branching problem for connected reductive groups, stability properties

abstract: In this article we study, in the context of complex representations of symmetric groups, some aspects of the Heisenberg product, introduced by Marcelo Aguiar, Walter Ferrer Santos, and Walter Moreira in 2017. When applied to irreducible representations, this product gives rise to the Aguiar coefficients. We prove that these coefficients are in fact also branching coefficients for representations of connected complex reductive groups. This allows to use geometric methods already developped in a previous article, notably based on notions from Geometric Invariant Theory, and to obtain some stability results on Aguiar coefficients, generalising some of the results concerning them given by Li Ying.


title: Bounds on the Error Probability of Raptor Codes under Maximum Likelihood Decoding

abstract: In this paper upper and lower bounds on the probability of decoding failure under maximum likelihood decoding are derived for different (nonbinary) Raptor code constructions. In particular four different constructions are considered; (i) the standard Raptor code construction, (ii) a multi-edge type construction, (iii) a construction where the Raptor code is nonbinary but the generator matrix of the LT code has only binary entries, (iv) a combination of (ii) and (iii). The latter construction resembles the one employed by RaptorQ codes, which at the time of writing this article represents the state of the art in fountain codes. The bounds are shown to be tight, and provide an important aid for the design of Raptor codes.


title: Parallel numerical method for nonlocal-in-time Schr\"odinger equation

abstract: We present a new parallel numerical method for solving the non-stationary Schr\"odinger equation with linear nonlocal condition and time-dependent potential which does not commute with the stationary part of the Hamiltonian. The given problem is discretized in-time using a polynomial-based collocation scheme. We establish the conditions on the existence of solution to the discretized problem, estimate the accuracy of the discretized solution and propose the method how this solution can be approximately found in an efficient parallel manner.


title: Classical and Nonclassical Time Dilation for Quantum Clocks

abstract: Proper time, ideal clocks, and boosts are well understood classically, but subtleties arise in quantum physics. We show that quantum clocks set in motion via momentum boosts do not witness classical time dilation. However, using velocity boosts we find the ideal behaviour in both cases where the quantum clock and classical observer are set in motion. Without internal state dependent forces additional effects arise. As such, we derive observed frequency shifts in ion trap atomic clocks, indicating a small additional shift, and also show the emergence of non-ideal behaviour in a theoretical clock model.


title: Resource Allocation for a Wireless Powered Integrated Radar and Communication System

abstract: The integrated radar and communication system is promising in the next generation wireless communication networks. However, its performance is confined by the limited energy. In order to overcome it, a wireless powered integrated radar and communication system is proposed. An energy minimization problem is formulated subject to constraints on the radar and communication performances. The energy beamforming and radar-communication waveform are jointly optimized to minimize the consumption energy. The challenging non-convex problem is solved by using semidefinite relaxation and auxiliary variable methods. It is proved that the optimal solution can be obtained. Simulation results demonstrate that our proposed optimal design outperforms the benchmark scheme.


title: The assembly integration and test activities for the new SOXS instrument at NTT

abstract: Son Of X-Shooter (SOXS) is the new instrument for the ESO 3.5 m New Technology Telescope (NTT) in La Silla site (Chile) devised for the spectroscopic follow-up of transient sources. SOXS is composed by two medium resolution spectrographs able to cover the 350-2000 nm interval. An Acquisition Camera will provide a light imaging capability in the visible band. We present the procedure foreseen for the Assembly, Integration and Test activities (AIT) of SOXS that will be carried out at sub-systems level at various consortium partner premises and at system level both in Europe and Chile.


title: On Landis' conjecture in the plane for some equations with sign-changing potentials

abstract: In this article, we investigate the quantitative unique continuation properties of real-valued solutions to elliptic equations in the plane. Under a general set of assumptions on the operator, we establish quantitative forms of Landis' conjecture. Of note, we prove a version of Landis' conjecture for solutions to $-\Delta u + V u = 0$, where $V$ is a bounded function whose negative part exhibits polynomial decay at infinity. The main mechanism behind the proofs is an order of vanishing estimate in combination with an iteration scheme. To prove the order of vanishing result, we present a new idea for constructing positive multipliers and use it reduce the equation to a Beltrami system. The resulting first-order equation is analyzed using the similarity principle and the Hadamard three-quasi-circle theorem.


title: Optical design of the SOXS spectrograph for ESO NTT

abstract: An overview of the optical design for the SOXS spectrograph is presented. SOXS (Son Of X-Shooter) is the new wideband, medium resolution (R>4500) spectrograph for the ESO 3.58m NTT telescope expected to start observations in 2021 at La Silla. The spectroscopic capabilities of SOXS are assured by two different arms. The UV-VIS (350-850 nm) arm is based on a novel concept that adopts the use of 4 ion-etched high efficiency transmission gratings. The NIR (800- 2000 nm) arm adopts the '4C' design (Collimator Correction of Camera Chromatism) successfully applied in X-Shooter. Other optical sub-systems are the imaging Acquisition Camera, the Calibration Unit and a pre-slit Common Path. We describe the optical design of the five sub-systems and report their performance in terms of spectral format, throughput and optical quality. This work is part of a series of contributions describing the SOXS design and properties as it is about to face the Final Design Review.


title: MITS: the Multi-Imaging Transient Spectrograph for SOXS

abstract: The Son Of X-Shooter (SOXS) is a medium resolution spectrograph R~4500 proposed for the ESO 3.6 m NTT. We present the optical design of the UV-VIS arm of SOXS which employs high efficiency ion-etched gratings used in first order (m=1) as the main dispersers. The spectral band is split into four channels which are directed to individual gratings, and imaged simultaneously by a single three-element catadioptric camera. The expected throughput of our design is >60% including contingency. The SOXS collaboration expects first light in early 2021. This paper is one of several papers presented in these proceedings describing the full SOXS instrument.


title: Hydrogen-bond relaxation dynamics: Resolving mysteries of water ice

abstract: We examined O:H-O bond relaxation under compression,heating,molecular undercoordination and claimed a universal resolution to the best-known mysteries of water ice such as ice foating, ice slipperiness, relegation and warm water cools faster. progress shows that O:H-O bond segmental disparity and O-O repulsivity form the soul dictating the extraordinary adaptivity, cooperativity, recoverability, and sensitivity of water and ice.


title: Modeling human intuitions about liquid flow with particle-based simulation

abstract: Humans can easily describe, imagine, and, crucially, predict a wide variety of behaviors of liquids--splashing, squirting, gushing, sloshing, soaking, dripping, draining, trickling, pooling, and pouring--despite tremendous variability in their material and dynamical properties. Here we propose and test a computational model of how people perceive and predict these liquid dynamics, based on coarse approximate simulations of fluids as collections of interacting particles. Our model is analogous to a "game engine in the head", drawing on techniques for interactive simulations (as in video games) that optimize for efficiency and natural appearance rather than physical accuracy. In two behavioral experiments, we found that the model accurately captured people's predictions about how liquids flow among complex solid obstacles, and was significantly better than two alternatives based on simple heuristics and deep neural networks. Our model was also able to explain how people's predictions varied as a function of the liquids' properties (e.g., viscosity and stickiness). Together, the model and empirical results extend the recent proposal that human physical scene understanding for the dynamics of rigid, solid objects can be supported by approximate probabilistic simulation, to the more complex and unexplored domain of fluid dynamics.


title: Complexity of 2D bootstrap percolation difficulty: Algorithm and NP-hardness

abstract: Bootstrap percolation is a class of cellular automata with random initial state. Two-dimensional bootstrap percolation models have three rough universality classes, the most studied being the `critical' one. For this class the scaling of the quantity of greatest interest -- the critical probability -- was determined by Bollob\'as, Duminil-Copin, Morris and Smith in terms of a simply defined combinatorial quantity called `difficulty', so the subject seemed closed up to finding sharper results. However, the computation of the difficulty, was never considered. In this paper we provide the first algorithm to determine this quantity, which is, surprisingly, not as easy as the definition leads to thinking. The proof also provides some explicit upper bounds, which are of use for bootstrap percolation. On the other hand, we also prove the negative result that computing the difficulty of a critical model is NP-hard. This two-dimensional picture contrasts with an upcoming result of Balister, Bollob\'as, Morris and Smith on uncomputability in higher dimensions. The proof of NP-hardness is achieved by a technical reduction to the Set Cover problem.


title: The Acquisition Camera System for SOXS at NTT

abstract: SOXS (Son of X-Shooter) will be the new medium resolution (R$\sim$4500 for a 1 arcsec slit), high-efficiency, wide band spectrograph for the ESO-NTT telescope on La Silla. It will be able to cover simultaneously optical and NIR bands (350-2000nm) using two different arms and a pre-slit Common Path feeding system. SOXS will provide an unique facility to follow up any kind of transient event with the best possible response time in addition to high efficiency and availability. Furthermore, a Calibration Unit and an Acquisition Camera System with all the necessary relay optics will be connected to the Common Path sub-system. The Acquisition Camera, working in optical regime, will be primarily focused on target acquisition and secondary guiding, but will also provide an imaging mode for scientific photometry. In this work we give an overview of the Acquisition Camera System for SOXS with all the different functionalities. The optical and mechanical design of the system are also presented together with the preliminary performances in terms of optical quality, throughput, magnitude limits and photometric properties.


title: On scattering for the defocusing quintic nonlinear Schr\"odinger equation on the two-dimensional cylinder

abstract: In this article, we prove the scattering for the quintic defocusing nonlinear Schr\"odinger equation on cylinder $\mathbb{R} \times \mathbb{T}$ in $H^1$. We establish an abstract linear profile decomposition in $L^2_x h^\alpha$, $0 < \alpha \le 1$, motivated by the linear profile decomposition of the mass-critical Schr\"odinger equation in $L^2(\mathbb{R}^d )$, $d\ge 1$. Then by using the solution of the one-discrete-component quintic resonant nonlinear Schr\"odinger system, whose scattering can be proved by using the techniques in $1d$ mass critical NLS problem by B. Dodson, to approximate the nonlinear profile, we can prove scattering in $H^1$ by using the concentration-compactness/rigidity method. As a byproduct of our proof of the scattering of the one-discrete-component quintic resonant nonlinear Schr\"odinger system, we also prove the conjecture of the global well-posedness and scattering of the two-discrete-component quintic resonant nonlinear Schr\"odinger system made by Z. Hani and B. Pausader [Comm. Pure Appl. Math. 67 (2014)].


title: SOXS Control Electronics Design

abstract: SOXS (Son Of X-Shooter) is a unique spectroscopic facility that will operate at the ESO New Technology Telescope (NTT) in La Silla from 2020 onward. The spectrograph will be able to cover simultaneously the UV-VIS and NIR bands exploiting two different arms and a Common Path feeding system. We present the design of the SOXS instrument control electronics. The electronics controls all the movements, alarms, cabinet temperatures, and electric interlocks of the instrument. We describe the main design concept. We decided to follow the ESO electronic design guidelines to minimize project time and risks and to simplify system maintenance. The design envisages Commercial Off-The-Shelf (COTS) industrial components (e.g. Beckhoff PLC and EtherCAT fieldbus modules) to obtain a modular design and to increase the overall reliability and maintainability. Preassembled industrial motorized stages are adopted allowing for high precision assembly standards and a high reliability. The electronics is kept off-board whenever possible to reduce thermal issues and instrument weight and to increase the accessibility for maintenance purpose. The instrument project went through the Preliminary Design Review in 2017 and is currently in Final Design Phase (with FDR in July 2018). This paper outlines the status of the work and is part of a series of contributions describing the SOXS design and properties after the instrument Preliminary Design Review.


title: Poisson-Lie analogues of spin Sutherland models

abstract: We present generalizations of the well-known trigonometric spin Sutherland models, which were derived by Hamiltonian reduction of `free motion' on cotangent bundles of compact simple Lie groups based on the conjugation action. Our models result by reducing the corresponding Heisenberg doubles with the aid of a Poisson-Lie analogue of the conjugation action. We describe the reduced symplectic structure and show that the `reduced main Hamiltonians' reproduce the spin Sutherland model by keeping only their leading terms. The solutions of the equations of motion emerge from geodesics on the compact Lie group via the standard projection method and possess many first integrals. Similar hyperbolic spin Ruijsenaars--Schneider type models were obtained previously by L.-C. Li using a different method, based on coboundary dynamical Poisson groupoids, but their relation with spin Sutherland models was not discussed.


title: A note on an invariant for one-dimensional heat conduction

abstract: The main goal of this note is to show that a proposed invariant for one-dimensional heat conduction in dielectrics and metals is nothing than an approximate solution to the Fourier solution .


title: Dynamics of a simple model microswimmer in an anisotropic fluid: implications for alignment behavior and active transport in a nematic liquid crystal

abstract: Several recent experiments investigate the orientational and transport behavior of self-driven bacteria and colloidal particles in nematic liquid crystals. Correspondingly, we study theoretically the dynamics of a minimal model microswimmer in a uniaxially anisotropic fluid. As a first step, the hydrodynamic Green's function providing the resulting fluid flow in response to a localized force acting on the anisotropic fluid is derived analytically. On this basis, the behavior of both puller- and pusher-type microswimmers in the anisotropic fluid is analyzed. Depending on the propulsion mechanism and the relative magnitude of different involved viscosities, we find alignment of the swimmers parallel or perpendicular to the anisotropy axis. Particularly, also an oblique alignment is identified under certain circumstances. The observed swimmer reorientation results from the hydrodynamic coupling between the self-induced fluid flow and the anisotropy of the surrounding fluid, which distorts the self-generated flow field. We support parts of our results by a simplified linear stability analysis. Our theoretical predictions are in qualitative agreement with recent experimental observations on swimming bacteria in nematic liquid crystals. They support the objective of utilizing the, possibly switchable, anisotropy of a host fluid to guide individual microswimmers and active particles along a requested path, enabling controlled active transport.


title: On practical numbers of some special forms

abstract: In this paper we study practical numbers of some special forms. For any integers $b\ge0$ and $c>0$, we show that if $n^2+bn+c$ is practical for some integer $n>1$, then there are infinitely many nonnegative integers $n$ with $n^2+bn+c$ practical. We also prove that there are infinitely many practical numbers of the form $q^4+2$ with $q$ practical, and that there are infinitely many practical Pythagorean triples $(a,b,c)$ with $\gcd(a,b,c)=6$ (or $\gcd(a,b,c)=4$).


title: Invariant Hilbert scheme resolution of Popov's $SL(2)$-varieties II: the non-toric case

abstract: This article is a continuation of [Kub18], which proves that if a $3$-dimensional affine normal quasihomogeneous $SL(2)$-variety $E$ is toric, then it has an equivariant resolution of singularities given by an invariant Hilbert scheme $\mathcal H$. In this article, we consider the case where $E$ is non-toric and show that the Hilbert-Chow morphism $\gamma : \mathcal H \to E$ is a resolution of singularities and that $\mathcal H$ is isomorphic to the minimal resolution of a weighted blow-up of $E$.


title: Utilizing Character and Word Embeddings for Text Normalization with Sequence-to-Sequence Models

abstract: Text normalization is an important enabling technology for several NLP tasks. Recently, neural-network-based approaches have outperformed well-established models in this task. However, in languages other than English, there has been little exploration in this direction. Both the scarcity of annotated data and the complexity of the language increase the difficulty of the problem. To address these challenges, we use a sequence-to-sequence model with character-based attention, which in addition to its self-learned character embeddings, uses word embeddings pre-trained with an approach that also models subword information. This provides the neural model with access to more linguistic information especially suitable for text normalization, without large parallel corpora. We show that providing the model with word-level features bridges the gap for the neural network approach to achieve a state-of-the-art F1 score on a standard Arabic language correction shared task dataset.


title: Suppression of the slow component of BaF$_{2}$ crystal luminescence with a thin multilayer filter

abstract: The fast component of the barium fluoride (BaF$_{2}$) crystal luminescence with the emission peak at 220 nm allows those crystals to be employed in fast calorimeters operating in harsh radiation environment. However, the slow component with the emission peak at 330 nm and about 85\% of the total emission light could create big problems when working at a high radiation rate. In this work we report results of tests of multilayer filters that can suppress luminescence in the range from 250 nm to 400 nm, which covers most of the BaF$_{2}$ slow component luminescence. The filters are made by spraying layers of rare earth oxides on a quartz glass substrate. Filters typically comprise 200-220 layers. A few filters were prepared by spraying thin layers on quartz glass. The filters have a peak transmittance of about 70-80\% in the range of 200-250 nm. Measurements of the light output of the BaF$_{2}$ crystal with and without a filter between the crystal readout end and the PMT demonstrate substancial suppression of the slow component. To our knowledge, this kind of filters are produced and tested for the first time.


title: A CNN Accelerator on FPGA Using Depthwise Separable Convolution

abstract: Convolutional neural networks (CNNs) have been widely deployed in the fields of computer vision and pattern recognition because of their high accuracy. However, large convolution operations are computing-intensive that often requires a powerful computing platform such as Graphics Processing Unit (GPU). This makes it difficult to apply CNNs to portable devices. The state-of-the-art CNNs, such as MobileNetV2 and Xception, adopt depthwise separable convolution to replace the standard convolution for embedded platforms. That significantly reduces operations and parameters with only limited loss in accuracy. This highly structured model is very suitable for Field-Programmable Gate Array (FPGA) implementation. In this paper, a scalable high performance depthwise separable convolution optimized CNN accelerator is proposed. The accelerator can be fit into an FPGA of different sizes, provided the balancing between hardware resources and processing speed. As an example, MobileNetV2 is implemented on Arria 10 SoC FPGA, and the results show this accelerator can classify each picture from ImageNet in 3.75ms, which is about 266.6 frames per second. This achieves 20x speedup if compared to CPU.


title: A Local Lemma for Focused Stochastic Algorithms

abstract: We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a random nearby state that addresses the violation, while hopefully not introducing many new ones. An important class of focused local search algorithms with provable performance guarantees has recently arisen from algorithmizations of the Lov\'{a}sz Local Lemma (LLL), a non-constructive tool for proving the existence of satisfying states by introducing a background measure on the state space. While powerful, the state transitions of algorithms in this class must be, in a precise sense, perfectly compatible with the background measure. In many applications this is a very restrictive requirement and one needs to step outside the class. Here we introduce the notion of \emph{measure distortion} and develop a framework for analyzing arbitrary focused stochastic local search algorithms, recovering LLL algorithmizations as the special case of no distortion. Our framework takes as input an arbitrary such algorithm and an arbitrary probability measure and shows how to use the measure as a yardstick of algorithmic progress, even for algorithms designed independently of the measure.


title: Mathematical analysis of a Wolbachia invasive model with imperfect maternal transmission and loss of Wolbachia infection

abstract: Arboviral infections, especially dengue, continue to cause significant health burden in their endemic regions. One of the strategies to tackle these infections is to replace the main vector agent, Ae. aegypti, with the ones incapable of transmitting the virus. Wolbachia, an intracellular bacterium, has shown promise in achieving this goal. However, key factors such as imperfect maternal transmission, loss of Wolbachia infection, reduced reproductive capacity and shortened life-span affect the dynamics of Wolbachia in different forms in the Ae. aegypti population. In this study, we developed a Wolbachia transmission dynamic model adjusting for imperfect maternal transmission and loss of Wolbachia infection. The invasive reproductive number that determines the likelihood of replacement of the Wolbachia-uninfected (WU) population is derived and with it, we established the local and global stability of the equilibrium points. This analysis clearly shows that cytoplasmic incompatibility (CI) does not guarantee establishment of the Wolbachia-infected (WI) mosquitoes as imperfect maternal transmission and loss of Wolbachia infection could outweigh the gains from CI. Optimal release programs depending on the level of imperfect maternal transmission and loss of Wolbachia infection are shown. Hence, it is left to decision makers to either aim for replacement or co-existence of both populations.


title: Comparative Study on Several Criteria for Non-equilibrium Phase Separation

abstract: Several different kinds of criteria for non-equilibrium phase separation to discriminate the two stages, the spinnodal decompostion (SD) and domain growth (DG), are compared and further investigated. The characteristic domain size and morphological function present two geometric criteria. Both of them can only provide rough estimations for the crossover from SD to DG. The reason for domain size is that the crossover in this description covers a process, instead of a specific time. The reason for the morphological function is that the result may rely on chosen threshold value. However, both the non-equilibrium strength and the entropy production rate are physical criteria and are more convenient to provide critical times. In fact, not only the non-equilibrium strength defined in the moment space opened by all the independent components of the used non-equilibrium quantities but also those defined in its subspaces can be used as criteria. Each of those criteria characterizes the phase separation process from its own perspective. Consequently, the obtained critical times may show slight differences. It should be pointed out that these slight differences are not contradictive, but consistent with each other and complementary in describing the complex phenomena.


title: Fail-Stop Group Signature Scheme

abstract: In this paper, we propose a Fail-Stop Group Signature Scheme (FSGSS). FSGSS combines the features of the Group Signature and the Fail-Stop Signature to enhance the security level of the original Group Signature. Assuming that the FSGSS encounters an attack by a hacker armed with a supercomputer, this scheme can prove that the digital signature is indeed forged. Based on the above objectives, this paper proposes three lemmas and proves that they are indeed feasible. First, how does a recipient of a digitally signed document verify the authenticity of the signature? Second, when a digitally signed document is under dispute, how can the group's manager find out the identity of the original group member who signed the document, if necessary for an investigation? Third, how can we prove that the signature is indeed forged following an external attack from a supercomputer? Soon, in a future paper, we will extend this work to make the scheme even more effective. Following an attack, the signature could be proved to be forged without the need to expose the key.


title: Copenhagen at CoNLL--SIGMORPHON 2018: Multilingual Inflection in Context with Explicit Morphosyntactic Decoding

abstract: This paper documents the Team Copenhagen system which placed first in the CoNLL--SIGMORPHON 2018 shared task on universal morphological reinflection, Task 2 with an overall accuracy of 49.87. Task 2 focuses on morphological inflection in context: generating an inflected word form, given the lemma of the word and the context it occurs in. Previous SIGMORPHON shared tasks have focused on context-agnostic inflection---the "inflection in context" task was introduced this year. We approach this with an encoder-decoder architecture over character sequences with three core innovations, all contributing to an improvement in performance: (1) a wide context window; (2) a multi-task learning approach with the auxiliary task of MSD prediction; (3) training models in a multilingual fashion.


title: Interference in edge-scattering from monocrystalline gold flakes

abstract: We observe strongly dissimilar scattering from two types of edges in hexagonal quasi-monocrystalline gold flakes with thicknesses around 1 micron. We identify as the origin the interference between a direct, quasi-specular scattering and an indirect scattering process involving an intermediate surface-plasmon state. The dissimilarity between the two types of edges is a direct consequence of the three-fold symmetry around the [111]-axis and the intrinsic chirality of a face-centered cubic lattice. We propose that this effect can be used to estimate flake thickness, crystal morphology, and surface contamination.


title: CNNs-based Acoustic Scene Classification using Multi-Spectrogram Fusion and Label Expansions

abstract: Spectrograms have been widely used in Convolutional Neural Networks based schemes for acoustic scene classification, such as the STFT spectrogram and the MFCC spectrogram, etc. They have different time-frequency characteristics, contributing to their own advantages and disadvantages in recognizing acoustic scenes. In this letter, a novel multi-spectrogram fusion framework is proposed, making the spectrograms complement each other. In the framework, a single CNN architecture is applied onto multiple spectrograms for feature extraction. The deep features extracted from multiple spectrograms are then fused to discriminate the acoustic scenes. Moreover, motivated by the inter-class similarities in acoustic scene datasets, a label expansion method is further proposed in which super-class labels are constructed upon the original classes. On the help of the expanded labels, the CNN models are transformed into the multitask learning form to improve the acoustic scene classification by appending the auxiliary task of super-class classification. To verify the effectiveness of the proposed methods, intensive experiments have been performed on the DCASE2017 and the LITIS Rouen datasets. Experimental results show that the proposed method can achieve promising accuracies on both datasets. Specifically, accuracies of 0.9744, 0.8865 and 0.7778 are obtained for the LITIS Rouen dataset, the DCASE Development set and Evaluation set respectively.


title: Hierarchies of new invariants and conserved integrals in inviscid fluid flow

abstract: A vector calculus approach for the determination of advected invariants is presented for inviscid fluid flow. This approach describes invariants by means of Lie dragging of scalars, vectors, and skew-tensors with respect to the fluid velocity, which has the physical meaning of characterizing tensorial quantities that are frozen into the flow. Several new main results are obtained. First, simple algebraic and differential operators that can be applied recursively to derive a complete set of invariants starting from the basic known local and nonlocal invariants are constructed. Second, these operators are used to derive infinite hierarchies of local and nonlocal invariants for both adiabatic fluids and isentropic fluids that are either incompressible, or compressible with barotropic and non-barotropic equations of state. Each hierarchy is complete in the sense that no further invariants can be generated from the basic local and nonlocal invariants. All of the resulting new invariants are related to Ertel's invariant, the Ertel-Rossby invariant, and Hollmann's invariant. In particular, for incompressible fluid flow in which the density is non-constant across different fluid streamlines, a new variant of Ertel's invariant and several new variants of Hollmann's invariant are derived, where the entropy gradient is replaced by the density gradient. Third, the physical meaning of these new invariants and the resulting conserved integrals are discussed, and their relationship to conserved helicities and cross-helicities is described.


title: Constraints On Duty Cycles Of Quasars At Z $\sim$ 6

abstract: We study the mass of quasar-hosting dark matter halos at z $\sim$ 6 and further constrain the fraction of dark matter halos hosting an active quasar $f_{on}$ and the quasar beaming angle $i_{\rm max}$ using observations of CII lines in the literature. We make assumptions that (1) more massive halos host brighter quasars, (2) a fraction of the halos host active quasars with a certain beaming angle, (3) cold gas in galaxies has rotational velocity $V_{\rm circ}=\alpha V_{\rm max}$, and that (4) quasars point randomly on the sky. We find that for a choice of specific $\alpha \gtrsim 1$, the most likely solution has $f_{\rm on} < 0.01$, corresponding to a small duty cycle of quasar activity. However, if we marginalize over $\alpha$, for some choices of a prior a second solution with $f_{\rm on}=1$ appears. Overall, our the constraints are highly sensitive to $\alpha$ and hence inconclusive. Stronger constraints on $f_{\rm on}$ can be made if we better understand the dynamics of cold gas in these galaxies.


title: Local formulas for multiplicative forms

abstract: We provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. In particular, we obtain local integrations and non-degenerate realizations of Poisson, Nijenhuis-Poisson, Dirac, and Jacobi structures by local symplectic, symplectic-Nijenhuis, presymplectic, and contact groupoids, respectively.


title: Chiral anomaly in Weyl systems: no violation of classical conservation laws

abstract: The anomalous term $\sim\mathbf{EB}$ in the balance of the chiral density can be rewritten as quantum current in the classical balance of density. Therefore it does not violate classical conservation laws as it is claimed to be caused by quantum fluctuations.


title: Measuring precise radial velocities on individual spectral lines. I. Validation of the method and application to mitigate stellar activity

abstract: Stellar activity is the main limitation to the detection of Earth-twins using the RV technique. Despite many efforts in trying to mitigate the effect of stellar activity using empirical and statistical techniques, it seems that we are facing an obstacle that will be extremely difficult to overcome using current techniques. In this paper, we investigate a novel approach to derive precise RVs considering the wealth of information present in high-resolution spectra. This new method consists in building a master spectrum from all observations and measure the RVs of each spectral line in a spectrum relative to it. When analysing several spectra, the final product is the RVs of each line as a function of time. We demonstrate on three stars intensively observed with HARPS that our new method gives RVs that are extremely similar to the ones derived from the HARPS data reduction software. Our new approach to derive RVs demonstrates that the non-stability of daily HARPS wavelength solution induces night-to-night RV offsets with an standard deviation of 0.4 m/s, and we propose a solution to correct for this systematic. Finally, and this is probably the most astrophysically relevant result of this paper, we demonstrate that some spectral lines are strongly affected by stellar activity while others are not. By measuring the RVs on two carefully selected subsample of spectral lines, we demonstrate that we can boost by a factor of 2 or mitigate by a factor of 1.6 the red noise induced by stellar activity in the 2010 RVs of Alpha Cen B. By measuring the RVs of each spectral line, we are able to reach the same RV precision as other approved techniques. In addition, this new approach allows to demonstrate that each line is differently affected by stellar activity. Preliminary results show that studying in details the behaviour of each spectral line is probably the key to overcome stellar activity.


title: Pion Valence Quark Distributions from Maximum Entropy Method

abstract: Valence quark distributions of pion at very low resolution scale $Q^{2}_0 \sim 0.1~GeV^2$ are deduced from a maximum entropy method, under the assumption that pion consists of only a valence quark and a valence anti-quark at such a low scale. Taking the obtained initial quark distributions as the nonperturbative input in the modified Dokshitzer-Gribov-Lipatov-Altarelli-Parisi (with the GLR-MQ-ZRS corrections) evolution, the generated valence quark distribution functions at high $Q^2$ are consistent with the measured ones from a Drell-Yan experiment. The maximum entropy method is also applied to estimate the valence quark distributions at relatively higher $Q^2$ = 0.26 GeV$^{2}$. At this higher scale, other components (sea quarks and gluons) should be considered in order to match the experimental data. The first three moments of pion quark distributions at high $Q^2$ are calculated and compared with the other theoretical predictions.


title: Predicted annual energy yield of III-V/c-Si tandem solar cells: modelling the effect of changing spectrum on current-matching

abstract: High efficiencies of >30% are predicted for series-connected tandem solar cells when current-matching is achieved between the wide-bandgap top cell and silicon bottom cell. Sub-cells are typically optimised for current-matching based on the standard AM1.5G spectrum, but in practice, the incident radiation on a solar cell can be very different from this standard due to the effects of the sun's location in the sky, atmospheric conditions, total diffuse element etc. The resulting deviations in spectral content from optimum conditions lead to current mismatch between tandem cell layers that adversely affects the device's performance. To investigate the impact of this issue the energy yield (%) of tandem solar cells comprising a III-V wide-bandgap solar cell connected electrically and optically in series with a silicon bottom cell was simulated over a full year using measured spectral data from Denver, CO. Top cells with bandgaps from 1.5-1.9 eV were modelled using an external radiative efficiency method. The predicted annual energy yields were as high as 31% with an optimum 1.8 eV top cell, only 2.8% lower (absolute) than the AM1.5G predicted efficiency. The annual energy yield of tandem cells with no current-matching constraint, i.e. parallel-connected devices, was also simulated. Here the difference between series and parallel connections were only significant for non-optimum bandgap combinations. Our results indicate that AM1.5G based optimization of sub-cells can be effectively employed to achieve high energy yields of >25% for III-V/Si tandem solar cells in mid-latitude US locations, despite the continuous variation in spectra throughout a calendar year.


title: Effects of refractory period on stochastic resetting

abstract: We consider a stochastic process undergoing resetting after which a random refractory period is imposed. In this period the process is quiescent and remains at the resetting position. Using a first-renewal approach, we compute exactly the stationary position distribution and analyse the emergence of a delta peak at the resetting position. In the case of a power-law distribution for the refractory period we find slow relaxation. We generalise our results to the case when the resetting period and the refractory period are correlated, by computing the Laplace transform of the survival probability of the process and the mean first passage time, i.e., the mean time to completion of a task. We also compute exactly the joint distribution of the active and absorption time to a fixed target.


title: Beyond performance metrics: Examining a decrease in students' physics self-efficacy through a social network lens

abstract: The Modeling Instruction (MI) approach to introductory physics manifests significant increases in student conceptual understanding and attitudes toward physics. In light of these findings, we investigated changes in student self-efficacy while considering the construct's contribution to the career-decision making process. Students in the Fall 2014 and 2015 MI courses at Florida International University exhibited a decrease on each of the sources of self-efficacy and overall self-efficacy (N = 147) as measured by the Sources of Self-Efficacy in Science Courses-Physics (SOSESC-P) survey. This held true regardless of student gender or ethnic group. Given the highly interactive nature of the MI course and the drops observed on the SOSESC-P, we chose to further explore students' changes in self-efficacy as a function of three centrality measures (i.e., relational positions in the classroom social network): inDegree, outDegree, and PageRank. We collected social network data by periodically asking students to list the names of peers with whom they had meaningful interactions. While controlling for PRE scores on the SOSESC-P, bootstrapped linear regressions revealed post-self-efficacy scores to be predicted by PageRank centrality. When disaggregated by the sources of self-efficacy, PageRank centrality was shown to be directly related to students' sense of mastery experiences. InDegree was associated with verbal persuasion experiences, and outDegree with both verbal persuasion and vicarious learning experiences. We posit that analysis of social networks in active learning classrooms helps to reveal nuances in self-efficacy development.


title: Viscoelastic aspects of glass relaxation models

abstract: We take advantage of the approximation of the stretched exponential function with a general Prony series in glass relaxation to give some results about the spectral analysis for the equation of viscoelasticity. Moreover, in the case of the Burgers model we carry out a complete investigation that leads to the representation of the solution.


title: Self-Organised Criticality and Emergent Hyperbolic Networks -- Blueprint for Complexity in Social Dynamics

abstract: Online social dynamics based on human endeavours exhibit prominent complexity in the emergence of new features embodied in the appearance of collective social values. The vast amount of empirical data collected at various websites provides a unique opportunity to quantitative study od the underlying social dynamics in full analogy with complex systems in the physics laboratory. Here, we briefly describe the extent of these analogies and indicate the methods from other science disciplines that the physics theory can incorporate to provide the adequate description of human entities and principles of their self-organisation. We demonstrate the approach on two examples using the empirical data regarding the knowledge creation processes in online chats and questions-and-answers. Precisely, we describe the self-organised criticality as the acting mechanisms in the social knowledge-sharing dynamics and demonstrate the emergence of the hyperbolic geometry of the co-evolving networks that underlie these stochastic processes.


title: Unified formalism for Thermal Quantum Field Theories: a geometric viewpoint

abstract: In this paper we study a unified formalism for Thermal Quantum Field Theories, i.e., for the Matsubara approach, Thermo Field Dynamics and the Path Ordered Method. To do so, we employ a mechanism akin to the Hawking effect which explores a relationship between the concept of temperature and spacetimes endowed with event-horizons. In particular, we consider an eight dimensional static spacetime, the so-called eta-xi spacetime, which we show to form an appropriate geometric background for generic Thermal Quantum Field Theories. Within this framework, the different formalisms of Thermal Field Theory are unified in a very natural way via various analytical continuations and the set of time-paths used in the Path Ordered Method is interpreted in geometric terms. We also explain reported inconsistencies inherent in the Thermo Field Dynamics through the appearance of horizons (and ensuing loss of information) in the eta-xi spacetime.


title: On Yau's Theorem for Asymptotically Conical Orbifolds

abstract: A notion of asymptotically conical K\"ahler orbifold is introduced, and, following previous existence results in the setting of asymptotically conical manifolds, it is shown that a certain complex Monge-Amp\'ere equation admits a rapidly decaying solution (which is unique for certain intervals of decay rates), allowing one to construct K\"ahler metrics with prescribed Ricci forms. In particular, if the orbifold has trivial canonical bundle, then Ricci-flat metrics can be constructed, provided certain additional hypotheses are met. This implies for example that orbifold crepant partial resolutions of varieties associated to Calabi-Yau cones admit a one-parameter family of Calabi-Yau metrics in each K\"ahler class that contains positive (1,1)-forms.


title: Dynamically Context-Sensitive Time-Decay Attention for Dialogue Modeling

abstract: Spoken language understanding (SLU) is an essential component in conversational systems. Considering that contexts provide informative cues for better understanding, history can be leveraged for contextual SLU. However, most prior work only paid attention to the related content in history utterances and ignored the temporal information. In dialogues, it is intuitive that the most recent utterances are more important than the least recent ones, and time-aware attention should be in a decaying manner. Therefore, this paper allows the model to automatically learn a time-decay attention function where the attentional weights can be dynamically decided based on the content of each role's contexts, which effectively integrates both content-aware and time-aware perspectives and demonstrates remarkable flexibility to complex dialogue contexts. The experiments on the benchmark Dialogue State Tracking Challenge (DSTC4) dataset show that the proposed dynamically context-sensitive time-decay attention mechanisms significantly improve the state-of-the-art model for contextual understanding performance.


title: What is in a radio loud NLS1?

abstract: A fraction of Narrow Line Seyfert 1 galaxies (NLS1) are hosted by galaxies that present a disturbed morphology, in some cases hinting for merger processes, that are putative sources of gas replenishment. We have been investigating the poorly studied population of radio loud NLS1 (RL-NLS1) showing a flat radio spectrum, assumed to be the manifestation of the presence of a radio jet. In some of the objects the infrared emission is well fitted by a combination of an AGN component and an "active" host galaxy component like M82, the estimate SFR being in the LIRG/ULIRG range (10-500 Msun/year). In order to better characterize that component, we have been investigating the sub-millimeter/millimeter emission of the sources using APEX. Here we present the results concerning a pilot sample of 2 representative objects.


title: Conformal scattering of the Maxwell-scalar field system on de Sitter space

abstract: We prove small data energy estimates of all orders of differentiability between past null infinity and future null infinity of de Sitter space for the conformally invariant Maxwell-scalar field system. This allows us to construct bounded and invertible, but nonlinear, scattering operators taking past asymptotic data to future asymptotic data. We also deduce exponential decay rates for solutions with data having at least two derivatives, and for more regular solutions discover an asymptotic decoupling of the scalar field from the charge. The construction involves a carefully chosen complete gauge fixing condition which allows us to control all components of the Maxwell potential, and a nonlinear Gr\"onwall inequality for higher order estimates.


title: Reinforcement Learning under Threats

abstract: In several reinforcement learning (RL) scenarios, mainly in security settings, there may be adversaries trying to interfere with the reward generating process. In this paper, we introduce Threatened Markov Decision Processes (TMDPs), which provide a framework to support a decision maker against a potential adversary in RL. Furthermore, we propose a level-$k$ thinking scheme resulting in a new learning framework to deal with TMDPs. After introducing our framework and deriving theoretical results, relevant empirical evidence is given via extensive experiments, showing the benefits of accounting for adversaries while the agent learns.


title: Imitation learning-based framework for learning 6-D linear compliant motions

abstract: We present a novel method for learning from demonstration 6-D tasks that can be modeled as a sequence of linear motions and compliances. The focus of this paper is the learning of a single linear primitive, many of which can be sequenced to perform more complex tasks. The presented method learns from demonstrations only, without any prior information, how to take advantage of mechanical gradients in in-contact tasks, such as assembly, both for translations and rotations. The method assumes there exists a desired linear direction in 6-D which, if followed by the manipulator, leads the robot's end-effector to the goal area shown in the demonstration, either in free space or by leveraging contact through compliance. First, demonstrations are gathered where the teacher explicitly shows the robot how the mechanical gradients can be used as guidance towards the goal. From the demonstrations, a set of directions is computed which would result in the observed motion at each timestep during a demonstration of a single primitive. By observing which direction is included in all these sets, we find a single desired direction which can reproduce the demonstrated motion. Finding the number of compliant axes and their directions in both rotation and translation is based on the assumption that in the presence of a desired direction of motion, all other observed motion is caused by the contact force of the environment, signalling the need for compliance. We evaluate the method on a KUKA LWR4+ robot with test setups imitating typical tasks where a human would use compliance to cope with positional uncertainty. Results show that the method can successfully learn and reproduce compliant motions by taking advantage of the geometry of the task, therefore reducing the need for localization accuracy.


title: Probabilistic Modeling and Inference for Obfuscated Cyber Attack Sequences

abstract: A key element in defending computer networks is to recognize the types of cyber attacks based on the observed malicious activities. Obfuscation onto what could have been observed of an attack sequence may lead to mis-interpretation of its effect and intent, leading to ineffective defense or recovery deployments. This work develops probabilistic graphical models to generalize a few obfuscation techniques and to enable analyses of the Expected Classification Accuracy (ECA) as a result of these different obfuscation on various attack models. Determining the ECA is a NP-Hard problem due to the combinatorial number of possibilities. This paper presents several polynomial-time algorithms to find the theoretically bounded approximation of ECA under different attack obfuscation models. Comprehensive simulation shows the impact on ECA due to alteration, insertion and removal of attack action sequence, with increasing observation length, level of obfuscation and model complexity.


title: Debiasing Desire: Addressing Bias & Discrimination on Intimate Platforms

abstract: Designing technical systems to be resistant to bias and discrimination represents vital new terrain for researchers, policymakers, and the anti-discrimination project more broadly. We consider bias and discrimination in the context of popular online dating and hookup platforms in the United States, which we call intimate platforms. Drawing on work in social-justice-oriented and Queer HCI, we review design features of popular intimate platforms and their potential role in exacerbating or mitigating interpersonal bias. We argue that focusing on platform design can reveal opportunities to reshape troubling patterns of intimate contact without overriding users' decisional autonomy. We identify and address the difficult ethical questions that nevertheless come along with such intervention, while urging the social computing community to engage more deeply with issues of bias, discrimination, and exclusion in the study and design of intimate platforms.


title: Traffic Density Estimation using a Convolutional Neural Network

abstract: The goal of this project is to introduce and present a machine learning application that aims to improve the quality of life of people in Singapore. In particular, we investigate the use of machine learning solutions to tackle the problem of traffic congestion in Singapore. In layman's terms, we seek to make Singapore (or any other city) a smoother place. To accomplish this aim, we present an end-to-end system comprising of 1. A traffic density estimation algorithm at traffic lights/junctions and 2. a suitable traffic signal control algorithms that make use of the density information for better traffic control. Traffic density estimation can be obtained from traffic junction images using various machine learning techniques (combined with CV tools). After research into various advanced machine learning methods, we decided on convolutional neural networks (CNNs). We conducted experiments on our algorithms, using the publicly available traffic camera dataset published by the Land Transport Authority (LTA) to demonstrate the feasibility of this approach. With these traffic density estimates, different traffic algorithms can be applied to minimize congestion at traffic junctions in general.


title: Architecture of the SOXS instrument control software

abstract: SOXS (Son Of X-Shooter) is a new spectrograph for the ESO NTT telescope, currently in the final design phase. The main instrument goal is to allow the characterization of transient sources based on alerts. It will cover from near-infrared to visible bands with a spectral resolution of $R \sim 4500$ using two separate, wavelength-optimized spectrographs. A visible camera, primarily intended for target acquisition and secondary guiding, will also provide a scientific "light" imaging mode. In this paper we present the current status of the design of the SOXS instrument control software, which is in charge of controlling all instrument functions and detectors, coordinating the execution of exposures, and implementing all observation, calibration and maintenance procedures. Given the extensive experience of the SOXS consortium in the development of instruments for the VLT, we decided to base the design of the Control System on the same standards, both for hardware and software control. We illustrate the control network, the instrument functions and detectors to be controlled, the overall design of SOXS Instrument Software (INS) and its main components. Then, we provide details about the control software for the most SOXS-specific features: control of the COTS-based imaging camera, the flexures compensation system and secondary guiding.


title: Divisor package for Macaulay2

abstract: This note describes a Macaulay2 package for handling divisors. Group operations for divisors are included. There are methods for converting divisors to reflexive or invertible sheaves. Additionally, there are methods for checking whether divisors are Cartier, $Q$-Cartier, simple normal crossings, generate base point free linear systems, or satisfy numerous other conditions.


title: Deep Depth from Defocus: how can defocus blur improve 3D estimation using dense neural networks?

abstract: Depth estimation is of critical interest for scene understanding and accurate 3D reconstruction. Most recent approaches in depth estimation with deep learning exploit geometrical structures of standard sharp images to predict corresponding depth maps. However, cameras can also produce images with defocus blur depending on the depth of the objects and camera settings. Hence, these features may represent an important hint for learning to predict depth. In this paper, we propose a full system for single-image depth prediction in the wild using depth-from-defocus and neural networks. We carry out thorough experiments to test deep convolutional networks on real and simulated defocused images using a realistic model of blur variation with respect to depth. We also investigate the influence of blur on depth prediction observing model uncertainty with a Bayesian neural network approach. From these studies, we show that out-of-focus blur greatly improves the depth-prediction network performances. Furthermore, we transfer the ability learned on a synthetic, indoor dataset to real, indoor and outdoor images. For this purpose, we present a new dataset containing real all-focus and defocused images from a Digital Single-Lens Reflex (DSLR) camera, paired with ground truth depth maps obtained with an active 3D sensor for indoor scenes. The proposed approach is successfully validated on both this new dataset and standard ones as NYUv2 or Depth-in-the-Wild. Code and new datasets are available at https://github.com/marcelampc/d3net_depth_estimation


title: Instantons and Annular Khovanov Homology

abstract: In this paper, we introduce the annular instanton Floer homology which is defined for links in a thickened annulus. It is an analogue of the annular Khovanov homology. A spectral sequence whose second page is the annular Khovanov homology and which converges to the annular instanton Floer homology is constructed. As an application of this spectral sequence, we prove that the annular Khovanov homology detects the unlink in the thickened annulus (assuming all the components are null-homologous). Another application is a new proof of Grigsby and Ni's result that tangle Khovanov homology distinguishes braids from other tangles.


title: Evaluating Feasibility within Power Flow

abstract: Recent development of techniques that improve the convergence properties of power flow simulation have been demonstrated to facilitate scaling to large system sizes (80k+ buses). However, the problem remains to reliably identify cases that are infeasible, system configurations that have no solution. In this paper, we use the circuit theoretic approach based on adjoint networks to evaluate the feasibility of a power flow test case and further locate and quantify the source of infeasibility in the cases operating beyond the tip of the nose curve. By creating infeasibility current source models that are added to each node of the system model and further coupling each source to its corresponding node of the adjoint network, any locations of insufficient real or reactive power are captured by a non-zero response of the adjoint network. Furthermore, it is shown that the proposed joint simulation of power flow and its adjoint network models provide the optimally minimized currents that can be later utilized to inform corrective actions to restore the feasibility of power flow problems.


title: The VIS detector system of SOXS

abstract: SOXS will be a unique spectroscopic facility for the ESO NTT telescope able to cover the optical and NIR bands thanks to two different arms: the UV-VIS (350-850 nm), and the NIR (800-1800 nm). In this article, we describe the design of the visible camera cryostat and the architecture of the acquisition system. The UV-VIS detector system is based on a e2v CCD 44-82, a custom detector head coupled with the ESO continuous ow cryostats (CFC) cooling system and the NGC CCD controller developed by ESO. This paper outlines the status of the system and describes the design of the different parts that made up the UV-VIS arm and is accompanied by a series of contributions describing the SOXS design solutions.


title: Knowledge Integrated Classifier Design Based on Utility Optimization

abstract: This paper proposes a systematic framework to design a classification model that yields a classifier which optimizes a utility function based on prior knowledge. Specifically, as the data size grows, we prove that the produced classifier asymptotically converges to the optimal classifier, an extended version of the Bayes rule, which maximizes the utility function. Therefore, we provide a meaningful theoretical interpretation for modeling with the knowledge incorporated. Our knowledge incorporation method allows domain experts to guide the classifier towards correctly classifying data that they think to be more significant.


title: A Safe Computational Framework for Integer Programming applied to Chv\'atal's Conjecture

abstract: We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathematical theorems. At its core, the framework relies on a rational branch-and-bound certificate produced by an exact integer programming solver, SCIP, in order to circumvent floating-point roundoff errors present in most state-of-the-art solvers for mixed-integer programs. The resulting certificates are self-contained and checker software exists that can verify their correctness independently of the integer programming solver used to produce the certificate. This acts as a safeguard against programming errors that may be present in complex solver software. The viability of this approach is tested by applying it to finite cases of Chv\'atal's conjecture, a long-standing open question in extremal combinatorics. We take particular care to verify also the correctness of the input for this specific problem, using the Coq formal proof assistant. As a result, we are able to provide a first machine-assisted proof that Chv\'atal's conjecture holds for all downsets whose union of sets contains seven elements or less.


title: Testing a reported correlation between arrival directions of ultrahigh-energy cosmic rays and a flux pattern from nearby starburst galaxies using Telescope Array data

abstract: The Pierre Auger Collaboration (Auger) recently reported a correlation between the arrival directions of cosmic rays with energies above 39 EeV and the flux pattern of 23 nearby starburst galaxies (SBGs). In this Letter, we tested the same hypothesis using cosmic rays detected by the Telescope Array experiment (TA) in the 9-year period from May 2008 to May 2017. Unlike the Auger analysis, we did not optimize the parameter values but kept them fixed to the best-fit values found by Auger, namely 9.7% for the anisotropic fraction of cosmic rays assumed to originate from the SBGs in the list and 12.9{\deg} for the angular scale of the correlations. The energy threshold we adopted is 43 EeV, corresponding to 39 EeV in Auger when taking into account the energy-scale difference between two experiments. We find that the TA data is compatible with isotropy to within 1.1{\sigma} and with the Auger result to within 1.4{\sigma}, meaning that it is not capable to discriminate between these two hypotheses.


title: Stance Prediction for Russian: Data and Analysis

abstract: Stance detection is a critical component of rumour and fake news identification. It involves the extraction of the stance a particular author takes related to a given claim, both expressed in text. This paper investigates stance classification for Russian. It introduces a new dataset, RuStance, of Russian tweets and news comments from multiple sources, covering multiple stories, as well as text classification approaches to stance detection as benchmarks over this data in this language. As well as presenting this openly-available dataset, the first of its kind for Russian, the paper presents a baseline for stance prediction in the language.


title: Bounded Rational Decision-Making with Adaptive Neural Network Priors

abstract: Bounded rationality investigates utility-optimizing decision-makers with limited information-processing power. In particular, information theoretic bounded rationality models formalize resource constraints abstractly in terms of relative Shannon information, namely the Kullback-Leibler Divergence between the agents' prior and posterior policy. Between prior and posterior lies an anytime deliberation process that can be instantiated by sample-based evaluations of the utility function through Markov Chain Monte Carlo (MCMC) optimization. The most simple model assumes a fixed prior and can relate abstract information-theoretic processing costs to the number of sample evaluations. However, more advanced models would also address the question of learning, that is how the prior is adapted over time such that generated prior proposals become more efficient. In this work we investigate generative neural networks as priors that are optimized concurrently with anytime sample-based decision-making processes such as MCMC. We evaluate this approach on toy examples.


title: Document-Level Neural Machine Translation with Hierarchical Attention Networks

abstract: Neural Machine Translation (NMT) can be improved by including document-level contextual information. For this purpose, we propose a hierarchical attention model to capture the context in a structured and dynamic manner. The model is integrated in the original NMT architecture as another level of abstraction, conditioning on the NMT model's own previous hidden states. Experiments show that hierarchical attention significantly improves the BLEU score over a strong NMT baseline with the state-of-the-art in context-aware methods, and that both the encoder and decoder benefit from context in complementary ways.


title: Semantic Information G Theory and Logical Bayesian Inference for Machine Learning

abstract: An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. A semantic channel in the G theory consists of a group of truth functions or membership functions. In comparison with likelihood functions, Bayesian posteriors, and Logistic functions used by popular methods, membership functions can be more conveniently used as learning functions without the above problem. In Logical Bayesian Inference (LBI), every label's learning is independent. For Multilabel learning, we can directly obtain a group of optimized membership functions from a big enough sample with labels, without preparing different samples for different labels. A group of Channel Matching (CM) algorithms is developed for machine learning. For the Maximum Mutual Information (MMI) classification of three classes with Gaussian distributions on a two-dimensional feature space, 2-3 iterations can make mutual information between three classes and three labels surpass 99% of the MMI for most initial partitions. For mixture models, the Expectation-Maximization (EM) algorithm is improved and becomes the CM-EM algorithm, which can outperform the EM algorithm when mixture ratios are imbalanced, or local convergence exists. The CM iteration algorithm needs to combine neural networks for MMI classifications on high-dimensional feature spaces. LBI needs further studies for the unification of statistics and logic.


title: Telexistence and Teleoperation for Walking Humanoid Robots

abstract: This paper proposes an architecture for achieving telexistence and teleoperation of humanoid robots. The architecture combines several technological set-ups, methodologies, locomotion and manipulation algorithms in a novel manner, thus building upon and extending works available in literature. The approach allows a human operator to command and telexist with the robot. Therefore, in this work we treat aspects pertaining not only to the proposed architecture structure and implementation, but also the human operator experience in terms of ability to adapt to the robot and to the architecture. Also the proprioception aspects and embodiment of the robot are studied through specific experimental results, which are also treated in a somewhat formal, albeit high-level manner. Application of the proposed architecture and experiments incorporating user training and experience are addressed using an illustrative bipedal humanoid robot, namely the iCub robot.


title: Modelling Point Spread Function in Fluorescence Microscopy with a Sparse Combination of Gaussian Mixture: Trade-off between Accuracy and Efficiency

abstract: Deblurring is a fundamental inverse problem in bioimaging. It requires modelling the point spread function (PSF), which captures the optical distortions entailed by the image formation process. The PSF limits the spatial resolution attainable for a given microscope. However, recent applications require a higher resolution, and have prompted the development of super-resolution techniques to achieve sub-pixel accuracy. This requirement restricts the class of suitable PSF models to analog ones. In addition, deblurring is computationally intensive, hence further requiring computationally efficient models. A custom candidate fitting both requirements is the Gaussian model. However, this model cannot capture the rich tail structures found in both theoretical and empirical PSFs. In this paper, we aim at improving the reconstruction accuracy beyond the Gaussian model, while preserving its computational efficiency. We introduce a new class of analog PSF models based on Gaussian mixtures. The number of Gaussian kernels controls both the modelling accuracy and the computational efficiency of the model: the lower the number of kernels, the lower accuracy and the higher efficiency. To explore the accuracy--efficiency trade-off, we propose a variational formulation of the PSF calibration problem, where a convex sparsity-inducing penalty on the number of Gaussian kernels allows trading accuracy for efficiency. We derive an efficient algorithm based on a fully-split formulation of alternating split Bregman. We assess our framework on synthetic and real data and demonstrate a better reconstruction accuracy in both geometry and photometry in point source localisation---a fundamental inverse problem in fluorescence microscopy.


title: Recommender Systems with Characterized Social Regularization

abstract: Social recommendation, which utilizes social relations to enhance recommender systems, has been gaining increasing attention recently with the rapid development of online social network. Existing social recommendation methods are based on the fact that users preference or decision is influenced by their social friends' behaviors. However, they assume that the influences of social relation are always the same, which violates the fact that users are likely to share preference on diverse products with different friends. In this paper, we present a novel CSR (short for Characterized Social Regularization) model by designing a universal regularization term for modeling variable social influence. Our proposed model can be applied to both explicit and implicit iteration. Extensive experiments on a real-world dataset demonstrate that CSR significantly outperforms state-of-the-art social recommendation methods.


title: Multimodal Dialogue Management for Multiparty Interaction with Infants

abstract: We present dialogue management routines for a system to engage in multiparty agent-infant interaction. The ultimate purpose of this research is to help infants learn a visual sign language by engaging them in naturalistic and socially contingent conversations during an early-life critical period for language development (ages 6 to 12 months) as initiated by an artificial agent. As a first step, we focus on creating and maintaining agent-infant engagement that elicits appropriate and socially contingent responses from the baby. Our system includes two agents, a physical robot and an animated virtual human. The system's multimodal perception includes an eye-tracker (measures attention) and a thermal infrared imaging camera (measures patterns of emotional arousal). A dialogue policy is presented that selects individual actions and planned multiparty sequences based on perceptual inputs about the baby's internal changing states of emotional engagement. The present version of the system was evaluated in interaction with 8 babies. All babies demonstrated spontaneous and sustained engagement with the agents for several minutes, with patterns of conversationally relevant and socially contingent behaviors. We further performed a detailed case-study analysis with annotation of all agent and baby behaviors. Results show that the baby's behaviors were generally relevant to agent conversations and contained direct evidence for socially contingent responses by the baby to specific linguistic samples produced by the avatar. This work demonstrates the potential for language learning from agents in very young babies and has especially broad implications regarding the use of artificial agents with babies who have minimal language exposure in early life.


title: Ellipticity conditions for the extended MHD Grad-Shafranov-Bernoulli equilibrium equations

abstract: In this study, we find the points of transition between elliptic and hyperbolic regimes for the axisymmetric extended magnetohydrodynamic (MHD) equilibrium equations. The ellipticity condition is expressed via a single inequality but is more involved than the corresponding two-fluid ones due to the imposition of the quasineutrality condition and is also more complicated than the Hall MHD ellipticity condition, due to electron inertia. In fact, the inclusion of electron inertia is responsible for peculiar results; namely, even the static equilibrium equations can become hyperbolic.


title: Classification Algorithms for Semi-Blind Uplink/Downlink Decoupling in sub-6 GHz/mmWave 5G Networks

abstract: Reliability and latency challenges in future mixed sub-6 GHz/millimeter wave (mmWave) fifth generation (5G) cell-free massive multiple-input multiple-output (MIMO) networks is to guarantee a fast radio resource management in both uplink (UL) and downlink (DL), while tackling the corresponding propagation imbalance that may arise in blockage situations. In this context, we introduce a semi-blind UL/DL decoupling concept where, after its initial activation, the central processing unit (CPU) gathers measurements of the Rician $K$-factor---reflecting the line-of-sight (LOS) condition of the user equipment (UE)---as well as the DL reference signal receive power (RSRP) for both 2.6 GHz and 28 GHz frequency bands, and then train a non-linear support vector machine (SVM) algorithm. The CPU finally stops the measurements of mmWave definitely, and apply the trained SVM algorithm on the 2.6 GHz data to blindly predict the target frequencies and access points (APs) that can be independently used for the UL and DL. The accuracy score of the proposed classifier reaches $95\%$ for few training samples.


title: Calibration of the oscillation amplitude of electrically excited scanning probe microscopy sensors

abstract: Atomic force microscopy (AFM) is an analytical surface characterization tool which can reveal a sample's topography with high spatial resolution while simultaneously probing tip-sample interactions. Local measurement of chemical properties with high-resolution has gained much popularity in recent years with advances in dynamic AFM methodologies. A calibration factor is required to convert the electrical readout to a mechanical oscillation amplitude in order to extract quantitative information about the surface. We propose a new calibration technique for the oscillation amplitude of electrically driven probes, which is based on measuring the electrical energy input to maintain the oscillation amplitude constant. We demonstrate the application of the new technique with quartz tuning fork including the qPlus configuration, while the same principle can be applied to other piezoelectric resonators such as length extension resonators, or piezoelectric cantilevers. The calibration factor obtained by this technique is found to be in agreement with using thermal noise spectrum method for capsulated, decapsulated tuning forks and tuning forks in the qPlus configuration.


title: Isomorphisms of Algebras of Convolution Operators

abstract: For $p,q\in [1,\infty)$, we study the isomorphism problem for the $p$- and $q$-convolution algebras associated to locally compact groups. While it is well known that not every group can be recovered from its group von Neumann algebra, we show that this is the case for the algebras $\mathrm{CV}_p(G)$ of $p$-convolvers and $\mathrm{PM}_p(G)$ of $p$-pseudomeasures, for $p\neq 2$. More generally, we show that if $\mathrm{CV}_p(G)$ is isometrically isomorphic to $\mathrm{CV}_q(H)$, with $p,q\neq 2$, then $G$ must be isomorphic to $H$ and $p$ and $q$ are either equal or conjugate. This implies that there is no $L^p$-version of Connes' uniqueness of the hyperfinite II$_1$-factor. Similar results apply to the algebra $\mathrm{PF}_p(G)$ of $p$-pseudofunctions, generalizing a classical result of Wendel. We also show that other $L^p$-rigidity results for groups can be easily recovered and extended using our main theorem. Our results answer questions originally formulated in the work of Herz in the 70's. Moreover, our methods reveal new information about the Banach algebras in question. As a non-trivial application, we verify the reflexivity conjecture for all Banach algebras lying between $\mathrm{PF}_p(G)$ and $\mathrm{CV}_p(G)$: if any such algebra is reflexive and amenable, then $G$ is finite.


title: A minimal-length approach unifies rigidity in under-constrained materials

abstract: We present a novel approach to understand geometric-incompatibility-induced rigidity in under-constrained materials, including sub-isostatic 2D spring networks and 2D and 3D vertex models for dense biological tissues. We show that in all these models a geometric criterion, represented by a minimal length $\bar\ell_\mathrm{min}$, determines the onset of prestresses and rigidity. This allows us to predict not only the correct scalings for the elastic material properties, but also the precise {\em magnitudes} for bulk modulus and shear modulus discontinuities at the rigidity transition as well as the magnitude of the Poynting effect. We also predict from first principles that the ratio of the excess shear modulus to the shear stress should be inversely proportional to the critical strain with a prefactor of three, and propose that this factor of three is a general hallmark of geometrically induced rigidity in under-constrained materials and could be used to distinguish this effect from nonlinear mechanics of single components in experiments. Lastly, our results may lay important foundations for ways to estimate $\bar\ell_\mathrm{min}$ from measurements of local geometric structure, and thus help develop methods to characterize large-scale mechanical properties from imaging data.


title: GAN Lab: Understanding Complex Deep Generative Models using Interactive Visual Experimentation

abstract: Recent success in deep learning has generated immense interest among practitioners and students, inspiring many to learn about this new technology. While visual and interactive approaches have been successfully developed to help people more easily learn deep learning, most existing tools focus on simpler models. In this work, we present GAN Lab, the first interactive visualization tool designed for non-experts to learn and experiment with Generative Adversarial Networks (GANs), a popular class of complex deep learning models. With GAN Lab, users can interactively train generative models and visualize the dynamic training process's intermediate results. GAN Lab tightly integrates an model overview graph that summarizes GAN's structure, and a layered distributions view that helps users interpret the interplay between submodels. GAN Lab introduces new interactive experimentation features for learning complex deep learning models, such as step-by-step training at multiple levels of abstraction for understanding intricate training dynamics. Implemented using TensorFlow.js, GAN Lab is accessible to anyone via modern web browsers, without the need for installation or specialized hardware, overcoming a major practical challenge in deploying interactive tools for deep learning.


title: Learning Paths from Signature Tensors

abstract: Matrix congruence extends naturally to the setting of tensors. We apply methods from tensor decomposition, algebraic geometry and numerical optimization to this group action. Given a tensor in the orbit of another tensor, we compute a matrix which transforms one to the other. Our primary application is an inverse problem from stochastic analysis: the recovery of paths from their third order signature tensors. We establish identifiability results, both exact and numerical, for piecewise linear paths, polynomial paths, and generic dictionaries. Numerical optimization is applied for recovery from inexact data. We also compute the shortest path with a given signature tensor.


title: The mechanical design of SOXS for the NTT

abstract: SOXS (Son of X-shooter) is a wide band, medium resolution spectrograph for the ESO NTT with a first light expected in 2021. The instrument will be composed by five semi-independent subsystems: a pre-slit Common Path, an Acquisition Camera, a Calibration Box, the NIR spectrograph, and the UV-VIS spectrograph. In this paper, we present the mechanical design of the subsystems, the kinematic mounts developed to simplify the final integration procedure and the maintenance. The concept of the CP and NIR optomechanical mounts developed for a simple pre-alignment procedure and for the thermal compensation of reflective and refractive elements will be shown.


title: A Bayesian framework for the analog reconstruction of kymographs from fluorescence microscopy data

abstract: Kymographs are widely used to represent and anal- yse spatio-temporal dynamics of fluorescence markers along curvilinear biological compartments. These objects have a sin- gular geometry, thus kymograph reconstruction is inherently an analog image processing task. However, the existing approaches are essentially digital: the kymograph photometry is sampled directly from the time-lapse images. As a result, such kymographs rely on raw image data that suffer from the degradations entailed by the image formation process and the spatio-temporal resolution of the imaging setup. In this work, we address these limitations and introduce a well-grounded Bayesian framework for the analog reconstruction of kymographs. To handle the movement of the object, we introduce an intrinsic description of kymographs using differential geometry: a kymograph is a photometry defined on a parameter space that is embedded in physical space by a time-varying map that follows the object geometry. We model the kymograph photometry as a L\'evy innovation process, a flexible class of non-parametric signal priors. We account for the image formation process using the virtual microscope framework. We formulate a computationally tractable representation of the associated maximum a posteriori problem and solve it using a class of efficient and modular algorithms based on the alternating split Bregman. We assess the performance of our Bayesian framework on synthetic data and apply it to reconstruct the fluorescence dynamics along microtubules in vivo in the budding yeast S. cerevisiae. We demonstrate that our framework allows revealing patterns from single time-lapse data that are invisible on standard digital kymographs.


title: Vortex charge and impurity effects based on quasiclassical theory

abstract: We investigate charge densities around the vortex cores of an s-wave and a chiral p-wave superconductor (SC) in two dimension within quasiclassical theory. We consider contributions of particle-hole asymmetry through gradient expansions in first order of a quasiclassical parameter using augmented quasiclassical theory. The chiral p-wave SC has two inequivalent vortices: one is charged and the other is uncharged on the basis of Bogoliubov--de Gennes (BdG) equation. We explain this qualitatively distinct charges also by the augmented quasiclassical theory. In addition, we find that much larger charge is induced for the charged vortex of the chiral p-wave SC compared with the vortex of the s-wave SC in the clean system. We also confirm this enhancement through quantitative comparison with results based on the BdG theory. We also study effects of Born-type impurities using self-energy formalism and find that the larger charge density is rather suppressed in contrast to the s-wave's one. Furthermore we study the local density of states as another equilibrium property of particle-hole asymmetry.


title: Universal off-diagonal long-range order behaviour for a trapped Tonks-Girardeau gas

abstract: The scaling of the largest eigenvalue $\lambda_0$ of the one-body density matrix of a system with respect to its particle number $N$ defines an exponent $\mathcal{C}$ and a coefficient $\mathcal{B}$ via the asymptotic relation $\lambda_0 \sim \mathcal{B}\,N^{\mathcal{C}}$. The case $\mathcal{C}=1$ corresponds to off-diagonal long-range order. For a one-dimensional homogeneous Tonks-Girardeau gas, a well known result also confirmed by bosonization gives instead $\mathcal{C}=1/2$. Here we investigate the inhomogeneous case, initially addressing the behaviour of $\mathcal{C}$ in presence of a general external trapping potential $V$. We argue that the value $\mathcal{C}= 1/2$ characterises the hard-core system independently of the nature of the potential $V$. We then define the exponents $\gamma$ and $\beta$ which describe the scaling with $N$ of the peak of the momentum distribution and the natural orbital corresponding to $\lambda_0$ respectively, and we derive the scaling relation $\gamma + 2\beta= \mathcal{C}$. Taking as a specific case the power-law potential $V(x)\propto x^{2n}$, we give analytical formulas for $\gamma$ and $\beta$ as functions of $n$. Analytical predictions for the coefficient $\mathcal{B}$ are also obtained. These formulas are derived exploiting a recent field theoretical formulation and checked against numerical results. The agreement is excellent.


title: Bicomp: A Bilayer Scalable Nakamoto Consensus Protocol

abstract: Blockchain has received great attention in recent years and motivated innovations in different scenarios. However, many vital issues which affect its performance are still open. For example, it is widely convinced that high level of security and scalability and full decentralization are still impossible to achieve simultaneously. In this paper, we propose Bicomp, a bilayer scalable Nakamoto consensus protocol, which is an approach based on high security and pure decentralized Nakamoto consensus, and with a significant improvement on scalability. In Bicomp, two kinds of blocks are generated, i.e., microblocks for concurrent transaction packaging in network, and macroblocks for leadership competition and chain formation. A leader is elected at beginning of each round by using a macroblock header from proof-of-work. An elected leader then receives and packages multiple microblocks mined by different nodes into one macroblock during its tenure, which results in a bilayer block structure. Such design limits a leader's power and encourages as many nodes as possible to participate in the process of packaging transactions, which promotes the sharding nature of the system. Furthermore, several mechanisms are carefully designed to reduce transaction overlapping and further limit a leader's power, among which a novel transaction diversity based metric is proposed as the second level criteria besides the longest-chain-first principle on selecting a legitimate chain when fork happens. Security issues and potential attacks to Bicomp are extensively discussed and experiments for evaluation are performed. From the experimental results based on 50 nodes all over the world, Bicomp achieves significant improvement on scalability than that of Bitcoin and Ethereum, while the security and decentralization merits are still preserved.


title: Strangeness neutrality and baryon-strangeness correlations

abstract: We derive a simple relation between strangeness neutrality and baryon-strangeness correlations. In heavy-ion collisions, the former is a consequence of quark number conservation of the strong interactions while the latter are sensitive probes of the character of QCD matter. This relation allows us to directly extract baryon-strangeness correlations from the strangeness chemical potential at strangeness neutrality. The explicit calculations are performed within a low energy theory of QCD with 2+1 dynamical quark flavors at finite temperature and density. Non-perturbative quark and hadron fluctuations are taken into account within the functional renormalization group. The results show the pronounced sensitivity of baryon-strangeness correlations on the QCD phase transition and the crucial role that strangeness neutrality plays for this observable.


title: Tangent nodal sets for random spherical harmonics

abstract: In this note, we consider a fixed vector field $V$ on $S^2$ and study the distribution of points which lie on the nodal set (of a random spherical harmonic) where $V$ is also tangent. We show that the expected value of the corresponding counting function is asymptotic to the eigenvalue with a leading coefficient that is independent of the vector field $V$. This demonstrates, in some form, a universality for vector fields up to lower order terms.


title: Beating the reaction limits of biosensor sensitivity with dynamic tracking of single binding events

abstract: The clinical need for ultra-sensitive molecular analysis has motivated the development of several endpoint assay technologies capable of single molecule readout. These endpoint assays are now primarily limited by the affinity and specificity of the molecular recognition agents for the analyte of interest. In contrast, a kinetic assay with single molecule readout could distinguish between low abundance, high affinity (specific analyte) and high abundance, low affinity (nonspecific background) binding by measuring the duration of individual binding events at equilibrium. Here we describe such a kinetic assay, in which individual binding events are detected and monitored during sample incubation. This method uses plasmonic gold nanorods and interferometric reflectance imaging to detect thousands of individual binding events across a multiplex solid phase sensor with a large area approaching that of leading bead-based endpoint assay technologies. A dynamic tracking procedure is used to measure the duration of each event. From this, the total rates of binding and de-binding as well as the distribution of binding event durations are determined. We observe a limit of detection of 15 femtomolar for a proof-of-concept synthetic DNA analyte in a 12-plex assay format.


title: Minor Actinides Transmutation in Candidate Accident Tolerant Fuel-Claddings U3Si2-FeCrAl and U3Si2-SiC

abstract: An advanced transmutation method is suggested that the long-lived Minor Actinides (MAs) in the spent fuel can be efficiently transmuted in the candidate Accident Tolerant Fuel (ATF). The transmutation of MAs is investigated through the Monte Carlo simulations in two potential fuel-claddings of ATF, U3Si2-FeCrAl and U3Si2-SiC. The critical loadings of MAs are determined through the Linear Reactivity Model (LRM) in order to keep the same reactivity as the current UO2-zircaloy system at the End of Cycle (EOC). In all cases, excellent transmutation efficiencies are found for the most important three MAs, 237Np, 241Am, and 243Am, of which the total transmutation rates are around 60%, 90%, and 60%, respectively. If only the longest-lived isotope 237Np is considered, one U3Si2-SiC assembly can transmute 237Np from six normal assemblies. The loading of MAs has little influences on the neutronic properties, such as the power distributions inside an assembly and inside a fuel rod. The transmutation of MAs in the ATF assembly is shown to be more efficient and safe comparing with the normal assembly, while other important properties are kept, such as the cycle length and the power distribution.


title: Computation of multi-degree B-splines

abstract: Multi-degree splines are smooth piecewise-polynomial functions where the pieces can have different degrees. We describe a simple algorithmic construction of a set of basis functions for the space of multi-degree splines, with similar properties to standard B-splines. These basis functions are called multi-degree B-splines (or MDB-splines). The construction relies on an extraction operator that represents all MDB-splines as linear combinations of local B-splines of different degrees. This enables the use of existing efficient algorithms for B-spline evaluations and refinements in the context of multi-degree splines. A Matlab implementation is provided to illustrate the computation and use of MDB-splines.


title: The study of a system of H II regions toward l = 24.8 deg, b = 0.1 deg at the Galactic bar - Norma arm interface

abstract: To probe the star formation (SF) process, we present a thorough multi-wavelength investigation of several H II regions located toward l = 24.8 deg, b = 0.1 deg. A system of at least five H II regions including the mid-infrared bubble N36 (hereafter "system N36"; extension ~35 pc) is observationally investigated, and is located at a distance of 6.0 kpc. With this distance, the system N36 is found to be situated at the interface of the Galactic bar and the Norma Galactic arm in our Galaxy, where one may expect the collisions of molecular clouds due to the bar potential. Each H II region (dynamical age ~0.4 - 1.3 Myr) in the system is powered by an O-type star. The system contains 27 ATLASGAL dust clumps at 870 micron. Several clumps are massive (> 10^3 M_sun), and have high bolometric luminosity (> 10^3 L_sun). Using the GRS 13CO line data, in the direction of the system N36, two velocity components are found around 109 and 113 km/s, and are linked in the velocity space. The morphological analysis of 13CO favours the presence of interacting molecular clouds in the system. Four H II regions and two 6.7 GHz masers are spatially observed at the common areas of the two clouds. The analysis of the Spitzer photometric data also traces the noticeable SF activity in the system. Considering the observational outcomes, the formation of O-type stars (including ongoing SF) in the system appears to be triggered by the collisions of molecular clouds at the bar-arm interface.


title: A combined approach of Lattice Boltzmann Method and Maxwell-Stefan equation for modeling multi-component diffusion in solid oxide fuel cell

abstract: Lattice Boltzmann models provide better understanding with mesoscopic eyesight on multi-component diffusion than macroscopic models. Based on the kinetic theory and starting from the He-Luo model, the state-of-the-art multi-component diffusion Lattice Boltzmann models have defects of the compressible error and the limitations for velocity and viscosity settings in lattice units. With these respects, a new Lattice Boltzmann model is presented based on the advection-diffusion equation and is coupled with the Maxwell-Stefan equation by relaxation time. Without introducing the pressure term into the advection-diffusion equation, the model avoids the compressible error. Furthermore, the velocities for components are calculated in the Maxwell-Stefan equation and not contained in the equilibrium distribution function, the limitations of the velocity and viscosity settings in lattice units for under-relaxation iterations are reduced. Then a simulation for H2-H2O-Ar ternary mass transport in the porous anode of the solid oxide fuel cell is employed to validate the accuracy of the Lattice Boltzmann model. The concentration overpotentials are calculated accordingly and compared to several published continuum-scale and Lattice Boltzmann computations, among them, our model offers a better consistency with the experimental measurments.