title: Continuous phase transition and microstructure of charged AdS black hole with quintessence

abstract: Previously, the Maxwell equal-area law has been used to discuss the conditions satisfied by the phase transition of charged AdS black holes with cloud of string and quintessence, and it was concluded that black holes have phase transition similar to that of vdW system. The phase transition depends on the electric potential of the black hole and is not the one between a large black hole and a small black hole. On the basis of this result, we study the relation between the latent heat of the phase transition and the parameter of dark energy, and use the Landau continuous phase transition theory to discuss the critical phenomenon of the black hole with quintessence and give the critical exponent. By introducing the number density of the black hole molecules, some properties of the microstructure of black holes are studied in terms of a phase transition. It is found that the electric charge of the black hole and the normalization parameter related to the density of quintessence field play a key role in phase transition. By constructing the binary fluid model of the black hole molecules, we also discuss the microstructure of charged AdS black holes with a cloud of strings and quintessence.


title: Blockchain-Based Electronic Voting System for Elections in Turkey

abstract: Traditional elections satisfy neither citizens nor political authorities in recent years. They are not fully secure since it is easy to attack votes. It threatens also privacy and transparency of voters. Additionally, it takes too much time to count the votes. This paper proposes a solution using Blockchain to eliminate all the disadvantages of conventional elections. Security and data integrity of votes are absolutely provided theoretically. Voter privacy is another requirement that is ensured in the system. Lastly, the waiting time for results decreased significantly in the proposed Blockchain voting system.


title: Tetraquark mixing framework to explain two light-meson nonets

abstract: In this talk, we summarize our recent works on the tetraquark mixing framework for the two light-meson nonets in the $J^{PC} = 0^{++}$ channel, the light nonet [$a_0(980)$, $K_0^*(700)$, $f_0(500)$, $f_0(980)$] and the heavy nonet [$a_0(1450)$, $K_0^*(1430)$, $f_0(1370)$, $f_0(1500)$]. We briefly explain this mixing framework and present various phenomenological signatures to support this picture.


title: Regions of existence for a class of nonlinear diffusion type problems

abstract: The regions of existence are established for a class of two point nonlinear diffusion type boundary value problems (NDBVP) \begin{eqnarray*} &&\label{abst-intr-1} -s''(x)-ns'(x)-\frac{m}{x}s'(x)=f(x,s), \qquad m>0,~n\in \mathbb{R},\qquad x\in(0,1),\\ &&\label{abst-intr-2} s'(0)=0, \qquad a_{1}s(1)+a_{2}s'(1)=C, \end{eqnarray*} where $a_{1}>0,$ $a_{2}\geq0,~ C\in\mathbb{R}$. These problems arise very frequently in many branches of engineering, applied mathematics, astronomy, biological system and modern science (see \cite{Gatica1989, GRAY1980, Baxley1991, Chandershekhar1939, Duggan1986, Chambre1952}). By using the concept of upper and lower solutions with monotone constructive technique, we derive some sufficient conditions for existence in the regions where $\frac{\partial f}{\partial s}\geq0$ and $\frac{\partial f}{\partial s}\leq0$. Theoretical methods are applied for a set of problems which arise in real life.


title: Supervised and Semi-supervised Deep Probabilistic Models for Indoor Positioning Problems

abstract: Predicting smartphone users location with WiFi fingerprints has been a popular research topic recently. In this work, we propose two novel deep learning-based models, the convolutional mixture density recurrent neural network and the VAE-based semi-supervised learning model. The convolutional mixture density recurrent neural network is designed for path prediction, in which the advantages of convolutional neural networks, recurrent neural networks and mixture density networks are combined. Further, since most of real-world datasets are not labeled, we devise the VAE-based model for the semi-supervised learning tasks. In order to test the proposed models, we conduct the validation experiments on the real-world datasets. The final results verify the effectiveness of our approaches and show the superiority over other existing methods.


title: Boundary conformal spectrum and surface critical behaviors of the classical spin systems: a tensor network renormalization study

abstract: We numerically obtain the conformal spectrum of several classical spin models on a two-dimensional lattice with open boundaries, for every boundary fixed point obtained by the Cardy's derivation [J. L. Cardy, Nucl. Phys. B 324, 581 (1989)]. In order to extract accurate conformal data, we implement the tensor network renormalization algorithm [G. Evenbly and G. Vidal, Phys. Rev. Lett. 115, 180405 (2015)] extended so as to be applicable to a square lattice with open boundaries. We successfully compute the boundary conformal spectrum consistent with the underlying boundary conformal field theories (BCFTs) for the Ising, tri-critical Ising, and 3-state Potts models on the lattice, which allows us to confirm the validity of the BCFT analyses for the surface critical behaviors of those lattice models.

categories: cond-mat.stat-mech cond-mat.str-el hep-lat hep-th


title: Dissipativity in economic model predictive control: beyond steady-state optimality

abstract: This chapter provides a concise survey on different dissipativity conditions that have appeared in the literature on economic model predictive control and discusses their decisive role in this context.


title: Pushable chromatic number of graphs with degree constraints

abstract: Pushable homomorphisms and the pushable chromatic number $\chi_p$ of oriented graphs were introduced by Klostermeyer and MacGillivray in 2004. They notably observed that, for any oriented graph $\overrightarrow{G}$, we have $\chi_p(\overrightarrow{G}) \leq \chi_o(\overrightarrow{G}) \leq 2 \chi_p(\overrightarrow{G})$, where $\chi_o(\overrightarrow{G})$ denotes the oriented chromatic number of $\overrightarrow{G}$. This stands as first general bounds on $\chi_p$. This parameter was further studied in later works.This work is dedicated to the pushable chromatic number of oriented graphs fulfilling particular degree conditions. For all $\Delta \geq 29$, we first prove that the maximum value of the pushable chromatic number of an oriented graph with maximum degree $\Delta$ lies between $2^{\frac{\Delta}{2}-1}$ and $(\Delta-3) \cdot (\Delta-1) \cdot 2^{\Delta-1} + 2$ which implies an improved bound on the oriented chromatic number of the same family of graphs. For subcubic oriented graphs, that is, when $\Delta \leq 3$, we then prove that the maximum value of the pushable chromatic number is~$6$ or~$7$. We also prove that the maximum value of the pushable chromatic number of oriented graphs with maximum average degree less than~$3$ lies between~$5$ and~$6$. The former upper bound of~$7$ also holds as an upper bound on the pushable chromatic number of planar oriented graphs with girth at least~$6$.


title: Learning Robustness with Bounded Failure: An Iterative MPC Approach

abstract: We propose an approach to design a Model Predictive Controller (MPC) for constrained Linear Time Invariant systems performing an iterative task. The system is subject to an additive disturbance, and the goal is to learn to satisfy state and input constraints robustly. Using disturbance measurements after each iteration, we construct Confidence Support sets, which contain the true support of the disturbance distribution with a given probability. As more data is collected, the Confidence Supports converge to the true support of the disturbance. This enables design of an MPC controller that avoids conservative estimate of the disturbance support, while simultaneously bounding the probability of constraint violation. The efficacy of the proposed approach is then demonstrated with a detailed numerical example.


title: A functorial approach to regular homomorphisms

abstract: Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families of algebraically trivial cycles to abelian varieties and thereby define regular homomorphisms in the relative setting, e.g., families of schemes parameterized by a smooth variety over a given field. In that general setting, we establish the existence of an initial regular homomorphism, going by the name of algebraic representative, for codimension-2 cycles on a smooth proper scheme over the base. This extends a result of Murre for codimension-2 cycles on a smooth projective scheme over an algebraically closed field. In addition, we prove base change results for algebraic representatives as well as descent properties for algebraic representatives along separable field extensions. In the case where the base is a smooth variety over a subfield of the complex numbers we identify the algebraic representative for relative codimension-2 cycles with a subtorus of the intermediate Jacobian fibration which was constructed in previous work.


title: Go From the General to the Particular: Multi-Domain Translation with Domain Transformation Networks

abstract: The key challenge of multi-domain translation lies in simultaneously encoding both the general knowledge shared across domains and the particular knowledge distinctive to each domain in a unified model. Previous work shows that the standard neural machine translation (NMT) model, trained on mixed-domain data, generally captures the general knowledge, but misses the domain-specific knowledge. In response to this problem, we augment NMT model with additional domain transformation networks to transform the general representations to domain-specific representations, which are subsequently fed to the NMT decoder. To guarantee the knowledge transformation, we also propose two complementary supervision signals by leveraging the power of knowledge distillation and adversarial learning. Experimental results on several language pairs, covering both balanced and unbalanced multi-domain translation, demonstrate the effectiveness and universality of the proposed approach. Encouragingly, the proposed unified model achieves comparable results with the fine-tuning approach that requires multiple models to preserve the particular knowledge. Further analyses reveal that the domain transformation networks successfully capture the domain-specific knowledge as expected.


title: Chaotic dynamics of string around charged black brane with hyperscaling violation

abstract: By fast Lyapunov indicator (FLI), we study the chaotic dynamics of closed string around charged black brane with hyperscaling violation (HV). The Hawking temperature, Lifshitz dynamical exponent and HV exponent together affect the chaotic dynamics of this system. The temperature plays the role of driving the closed string to escape to infinity. There is a threshold value $z_{\ast}=2$, below which the string is captured by the black brane no matter where the string is placed at the beginning. However, when $z>2$, the string escapes to infinity if it is placed near the black brane at the beginning, but if the initial position of string is far away from the black brane, it oscillates around the black brane till eternity, which is a quasi-periodic motion. HV exponent plays the role of driving the string falling into the black brane. With the increase of HV exponent $\theta$, the falling velocity becomes faster. We find that when we heat the system with large HV exponent, the chaotic system does not essentially changes. It indicates that the HV exponent plays a very important role in determining the state of the chaotic system. Also we study the the effect from the winding number of the string. The study indicates that the chaotic dynamics of the string is insensitive to the winding number.


title: New insight on the far-UV SED and HeII emission from low metallicity galaxies

abstract: Understanding the ionizing spectrum of low-metallicity galaxies is of great importance for modeling and interpreting emission line observations of early/distant galaxies. Although a wide suite of stellar evolution, atmosphere, population synthesis, and photoionization models, taking many physical processes into account now exist, all models face a common problem: the inability to explain the presence of nebular HeII emission, which is observed in many low metallicity galaxies, both in UV and optical spectra. Several possible explanations have been proposed in the literature, including Wolf-Rayet (WR) stars, binaries, very massive stars, X-ray sources, or shocks. However, none has so far been able to explain the major observations. We briefly discuss the HeII problem, available empirical data, and observed trends combining X-ray, optical and other studies. We present a simple and consistent physical model showing that X-ray binaries could explain the long-standing nebular HeII problem. Our model, described in Schaerer et al. (2019), successfully explains the observed trends and strength of nebular HeII emission in large samples of low metallicity galaxies and in individual galaxies, which have been studied in detail and with multi-wavelength observations. Our results have in particular important implications for the interpretation of galaxy spectra in the early Universe, which will be obtained with upcoming and future facilities.


title: Retinal Vessel Segmentation based on Fully Convolutional Networks

abstract: The morphological attributes of retinal vessels, such as length, width, tortuosity and branching pattern and angles, play an important role in diagnosis, screening, treatment, and evaluation of various cardiovascular and ophthalmologic diseases such as diabetes, hypertension and arteriosclerosis. The crucial step before extracting these morphological characteristics of retinal vessels from retinal fundus images is vessel segmentation. In this work, we propose a method for retinal vessel segmentation based on fully convolutional networks. Thousands of patches are extracted from each retinal image and then fed into the network, and data argumentation is applied by rotating extracted patches. Two architectures of fully convolutional networks, U-Net and LadderNet, are used for vessel segmentation. The performance of our method is evaluated on three public datasets: DRIVE, STARE, and CHASE\_DB1. Experimental results of our method show superior performance compared to recent state-of-the-art methods.


title: Volcanic activity and the exosphere of HD3167b

abstract: HD3167b is a transiting super-Earth that has a density which is consistent with a rocky composition. The planet is exposed to strong radiation, intense stellar wind, and likely strong tidal forces and induction heating. According to theory, planets that are so close to the star should have an atmosphere like Mercury but much more extended and denser. Other theories predict that such planets have a lava lake on their surfaces and exhibit an enormous volcanic activity. We have calculated the heating by electromagnetic induction to estimate if it can drive significant volcanic activity at HD3167b and shown that for some magnetic fields the heating can be substantial. HD3167 is an ideal target to search for the exosphere of a planet, and signs of volcanic activity. We observed the planet in-and out-of transit with UVES in order to search for presence of lines originating from the exosphere of the planet such as the NaD1,2 and CaIIH&K lines as well as numerous [S II],[S III], and [O III] lines that are tracers of volcanic activity. We derived upper limits for the ratios of the line fluxes to the stellar flux. The upper limits that we derived are Ip,lambda/I*,lambda=1.5 10-3 for the CaII,H&K lines, and I_p,lambda/I*,lambda=7.2 10-4 and I_p,lambda/I_*,lambda=3.3 10-4 for the NaD_1,2 lines, respectively. The fact that our upper limits correspond to previous detections in 55 Cnc e shows that not all super-Earth show these lines all the time and that they might be variable.


title: Decay of spin-spin correlations in disordered quantum and classical spin chains

abstract: The real-time dynamics of equal-site correlation functions is studied for one-dimensional spin models with quenched disorder. Focusing on infinite temperature, we present a comparison between the dynamics of models with different quantum numbers $S = 1/2, 1, 3/2$, as well as of chains consisting of classical spins. Based on this comparison as well as by analyzing the statistics of energy-level spacings, we show that the putative many-body localization transition is shifted to considerably stronger values of disorder for increasing $S$. In this context, we introduce an effective disorder strength $W_\text{eff}$, which provides a mapping between the dynamics for different spin quantum numbers. For small $W_\text{eff}$, we show that the real-time correlations become essentially independent of $S$, and are moreover very well captured by the dynamics of classical spins. Especially for $S = 3/2$, the agreement between quantum and classical dynamics is remarkably observed even for very strong values of disorder. This behavior also reflects itself in the corresponding spectral functions, which are obtained via a Fourier transform from the time to the frequency domain. As an aside, we also comment on the self-averaging properties of the correlation function at weak and strong disorder. Our work sheds light on the correspondence between quantum and classical dynamics at high temperatures and extends our understanding of the dynamics in disordered spin chains beyond the well-studied case of $S=1/2$.


title: Simplified_edition_Multi-robot SLAM Multi-view Target Tracking based on Panoramic Vision in Irregular Environment

abstract: In order to improve the precision of multi-robot SLAM multi-view target tracking process, a improved multi-robot SLAM multi-view target tracking algorithm based on panoramic vision in irregular environment was put forward, adding an correction factor to renew the existing Extended Kalman Filter (EKF) model, obtaining new coordinates X and Y after twice iterations. The paper has been accepted by Computing and Visualization in Science and this is a simplified version.


title: Resource production of written forms of Sign Languages by a user-centered editor, SWift (SignWriting improved fast transcriber)

abstract: The SignWriting improved fast transcriber (SWift), presented in this paper, is an advanced editor for computer-aided writing and transcribing of any Sign Language (SL) using SignWriting (SW). The application is an editor which allows composing and saving desired signs using the SW elementary components, called "glyphs". These make up a sort of alphabet, which does not depend on the national Sign Language and which codes the basic components of any sign. The user is guided through a fully-automated procedure, making the composition process fast and intuitive. SWift pursues the goal of helping to break down the "electronic barriers" that keep deaf people away from the web, and at the same time to support linguistic research about Sign Languages features. For this reason it has been designed with a special attention to deaf user needs, and to general usability issues. The editor has been developed in a modular way, so it can be integrated everywhere the use of SW as an alternative to written "verbal" language may be advisable.


title: 6-O-glucose palmitate synthesis with lipase: Investigation of some key parameters

abstract: Fatty acid sugar esters represent an important class of non-ionic bio-based surfactants. They can be synthesized from vinyl fatty acids and sugars with enzyme as a catalyst. Herein, the influence of the solvent, the lipase and the temperature on a model reaction between vinyl palmitate and glucose via enzymatic catalysis has been investigated and the reaction conditions optimized. Full conversion into 6-O-glucose palmitate was reached in 40 hours in acetonitrile starting from a reactant ratio 1:1, at only 5%-wt loading of lipase from Candida antarctica B (CALB) without the presence of molecular sieves.


title: Strong localization of invariant metrics

abstract: A quantitative version of strong localization of the Kobayashi, Azukawa and Sibony metrics, as well as of the squeezing function, near a plurisubharmonic peak boundary point of a domain in $\Bbb C^n$ is given. As an application, the behavior of these metrics near a strictly pseudoconvex boundary point is studied. A weak localization of the three metrics and the squeezing function is also given near a plurisubharmonic antipeak boundary point.


title: Flares of M-stars in Upper Scorpius region and flares and CMEs of the active M-star AD Leo

abstract: Using the Kepler K2 data, we studied the flare-activity of young K-and M-stars in the Upper Sco region and found that they have 10000 to 80000 times as many super-flares with E> 5E34 erg than solar like stars. The power-law index for flares is $N/dE~E^-1.2 for K stars, N/dE~E^-1.4 for early M-star and dN/dE~E^-1.3 for late M stars, which is about the same as that of the Sun. We also observed the active M-star AD Leo spectroscopy for 222 hours, detected 22 flares but no coronal mass ejections.


title: SWift -- A SignWriting editor to bridge between deaf world and e-learning

abstract: SWift (SignWriting improved fast transcriber) is an advanced editor for SignWriting (SW). At present, SW is a promising alternative to provide documents in an easy-to-grasp written form of (any) Sign Language, the gestural way of communication which is widely adopted by the deaf community. SWift was developed SW users, either deaf or not, to support collaboration and exchange of ideas. The application allows composing and saving desired signs using elementary components, called glyphs. The procedure that was devised guides and simplifies the editing process. SWift aims at breaking the "electronic" barriers that keep the deaf community away from ICT in general, and from e-learning in particular. The editor can be contained in a pluggable module; therefore, it can be integrated everywhere the use of SW is an advisable alternative to written "verbal" language, which often hinders information grasping by deaf users.


title: A Blessing and a Curse: How a Supercapacitor's Large Capacitance Causes its Slow Charging

abstract: The development of novel electrolytes and electrodes for supercapacitors is hindered by a gap of several orders of magnitude between experimentally measured and theoretically predicted charging timescales. Here, we propose an electrode model, containing many parallel stacked electrodes, that explains the slow charging dynamics of supercapacitors. At low applied potentials, the charging behavior of this model is described well by an equivalent circuit model. Conversely, at high potentials, charging dynamics slow down and evolve on two relaxation time scales: a generalized $RC$ time and a diffusion time, which, interestingly, become similar for porous electrodes. The charging behavior of the stack-electrode model presented here helps to understand the charging dynamics of porous electrodes and qualitatively agrees with experimental time scales measured with porous electrodes.

categories: physics.chem-ph cond-mat.soft physics.app-ph physics.comp-ph


title: Gemmini: Enabling Systematic Deep-Learning Architecture Evaluation via Full-Stack Integration

abstract: DNN accelerators are often developed and evaluated in isolation without considering the cross-stack, system-level effects in real-world environments. This makes it difficult to appreciate the impact of System-on-Chip (SoC) resource contention, OS overheads, and programming-stack inefficiencies on overall performance/energy-efficiency. To address this challenge, we present Gemmini, an open-source*, full-stack DNN accelerator generator. Gemmini generates a wide design-space of efficient ASIC accelerators from a flexible architectural template, together with flexible programming stacks and full SoCs with shared resources that capture system-level effects. Gemmini-generated accelerators have also been fabricated, delivering up to three orders-of-magnitude speedups over high-performance CPUs on various DNN benchmarks. * https://github.com/ucb-bar/gemmini


title: Orthogonal to principal ideles

abstract: We describe the orthogonal to the group of principal ideles with respect to the global tame symbol pairing on the group of ideles of a smooth projective algebraic curve over a field.


title: Analysis of a 3D Nonlinear, Moving Boundary Problem describing Fluid-Mesh-Shell Interaction

abstract: We consider a nonlinear, moving boundary, fluid-structure interaction problem between a time dependent incompressible, viscous fluid flow, and an elastic structure composed of a cylindrical shell supported by a mesh of elastic rods. The fluid flow is modeled by the time-dependent Navier-Stokes equations in a three-dimensional cylindrical domain, while the lateral wall of the cylinder is modeled by the two-dimensional linearly elastic Koiter shell equations coupled to a one-dimensional system of conservation laws defined on a graph domain, describing a mesh of curved rods. The mesh supported shell allows displacements in all three spatial directions. Two-way coupling based on kinematic and dynamic coupling conditions is assumed between the fluid and composite structure, and between the mesh of curved rods and Koiter shell. Problems of this type arise in many applications, including blood flow through arteries treated with vascular prostheses called stents. We prove the existence of a weak solution to this nonlinear, moving-boundary problem by using the time discretization via Lie operator splitting method combined with an Arbitrary Lagrangian-Eulerian approach, and a non-trivial extension of the Aubin-Lions-Simon compactness result to problems on moving domains.


title: Study of Di-muon Production Process in $pp$ Collision in CMS Data from Symmetry Scaling Perspective

abstract: A deailed knowledge of pp collision is required both as input to comprehensive theoretical models of strong interactions and as baseline to decipher the AA collisions at relativistic and ultrarelativistic energies, which has been of great interest in the area of theoretical and experimental physics. The multiplicity distribution of particles produced in pp collisions and the multiplicity dependence of various global event features serve as rudimentary observables which reflect the features of the inherent dynamics of the process of particle production. Recent availability of dimuon data has triggered spur of interests in revisiting strong interaction process, the study of which in detail is extremely important for enhancement of our understanding on not only the theory of strong interaction but also possible physics scenarios beyond the standard model. Numerous papers have come up where background of production process of dimuon in pp collision has been discussed and analyzed particularly for production of dimuon from {\gamma}{\gamma} interaction. Apart from conventional approaches the present authors proposed a new approach with successful application in context of symmetry scaling in AA collision data from ALICE, pp collisions at 8TeV from CMS and so on. The different approach essentially analyses fluctuation pattern from the perspective of symmetry scaling or degree of self-similarity involved in the process. The proposed methods of analysis using pseudorapidity values of di-muon data taken from the primary dataset of RunA(2011)-7TeV and RunB(2012)-8TeV of the pp collision from CMS, reveal that pseudorapidity spaces corresponding to different ranges of rapidity are highly scale-free and the scaling pattern changes from one rapidity range to another at both energy. Also, the degree of cross-correlation between rapidity and azimuthal space has been found to follow the similar behavior.


title: SM-NAS: Structural-to-Modular Neural Architecture Search for Object Detection

abstract: The state-of-the-art object detection method is complicated with various modules such as backbone, feature fusion neck, RPN and RCNN head, where each module may have different designs and structures. How to leverage the computational cost and accuracy trade-off for the structural combination as well as the modular selection of multiple modules? Neural architecture search (NAS) has shown great potential in finding an optimal solution. Existing NAS works for object detection only focus on searching better design of a single module such as backbone or feature fusion neck, while neglecting the balance of the whole system. In this paper, we present a two-stage coarse-to-fine searching strategy named Structural-to-Modular NAS (SM-NAS) for searching a GPU-friendly design of both an efficient combination of modules and better modular-level architecture for object detection. Specifically, Structural-level searching stage first aims to find an efficient combination of different modules; Modular-level searching stage then evolves each specific module and pushes the Pareto front forward to a faster task-specific network. We consider a multi-objective search where the search space covers many popular designs of detection methods. We directly search a detection backbone without pre-trained models or any proxy task by exploring a fast training from scratch strategy. The resulting architectures dominate state-of-the-art object detection systems in both inference time and accuracy and demonstrate the effectiveness on multiple detection datasets, e.g. halving the inference time with additional 1% mAP improvement compared to FPN and reaching 46% mAP with the similar inference time of MaskRCNN.


title: Unsupervised Learning for Intrinsic Image Decomposition from a Single Image

abstract: Intrinsic image decomposition, which is an essential task in computer vision, aims to infer the reflectance and shading of the scene. It is challenging since it needs to separate one image into two components. To tackle this, conventional methods introduce various priors to constrain the solution, yet with limited performance. Meanwhile, the problem is typically solved by supervised learning methods, which is actually not an ideal solution since obtaining ground truth reflectance and shading for massive general natural scenes is challenging and even impossible. In this paper, we propose a novel unsupervised intrinsic image decomposition framework, which relies on neither labeled training data nor hand-crafted priors. Instead, it directly learns the latent feature of reflectance and shading from unsupervised and uncorrelated data. To enable this, we explore the independence between reflectance and shading, the domain invariant content constraint and the physical constraint. Extensive experiments on both synthetic and real image datasets demonstrate consistently superior performance of the proposed method.


title: Dynamical torsion for contact Anosov flows

abstract: We introduce a new object, the dynamical torsion, which extends the potentially ill-defined value at $0$ of the Ruelle zeta function of a contact Anosov flow twisted by an acyclic representation of the fundamental group. We show important properties of the dynamical torsion: it is invariant under deformations among contact Anosov flows, it is holomorphic in the representation and it has the same logarithmic derivative as some refined combinatorial torsion of Turaev. This shows that the ratio between this torsion and the Turaev torsion is locally constant on the space of acyclic representations. In particular, for contact Anosov flows path connected to the geodesic flow of some hyperbolic manifold among contact Anosov flows, we relate the leading term of the Laurent expansion of $\zeta$ at the origin, the Reidemeister torsion and the torsions of the finite dimensional complexes of the generalized resonant states of both flows for the resonance $0$. This extends previous work of~\cite{dang2018fried} on the Fried conjecture near geodesic flows of hyperbolic $3$--manifolds, to hyperbolic manifolds of any odd dimension.


title: "Thermal Spike" model applied to thin targets irradiated with swift heavy ion beams at few MeV/u

abstract: High electronic excitations in radiation of metallic targets with swift heavy ion beams at the coulomb barrier play a dominant role in the damaging processes of some metals. The inelastic thermal spike model was developed to describe tracks in materials and is applied in this paper to some systems beams/targets employed recently in some nuclear physics experiments. Taking into account the experimental conditions and the approved electron-phonon coupling factors, the results of the calculation enable to interpret the observation of the fast deformation of some targets.


title: Contravariant forms and extremal projectors

abstract: Tensor product of irreducible modules of highest weight over a semi-simple quantum group is semi-simple if and only if a natural contravariant form is non-degenerate when restricted to the span of singular vectors. We express this restriction through the extremal projector of the quantum group providing a computationally feasible criterion for complete reducibility of tensor products.


title: Modular Forms as Classification Invariants of 4D N=2 Heterotic--IIA Dual Vacua

abstract: We focus on 4D $\mathcal{N}=2$ string vacua described both by perturbative Heterotic theory and by Type IIA theory; a Calabi--Yau three-fold $X_{\rm IIA}$ in the Type IIA language is further assumed to have a regular K3-fibration. It is well-known that one can assign a modular form $\Phi$ to such a vacuum by counting perturbative BPS states in Heterotic theory or collecting Noether--Lefschetz numbers associated with the K3-fibration of $X_{\mathrm{IIA}}$. In this article, we expand the observations and ideas (using gauge threshold correction) in the literature and formulate a modular form $\Psi$ with full generality for the class of vacua above, which can be used along with $\Phi$ for the purpose of classification of those vacua. Topological invariants of $X_{\mathrm{IIA}}$ can be extracted from $\Phi$ and $\Psi$, and even a pair of diffeomorphic Calabi--Yau's with different K\"{a}hler cones may be distinguished by introducing the notion of "the set of $\Psi$'s for Higgs cascades/for curve classes". We illustrated these ideas by simple examples.


title: Matrix Completion from Quantized Samples via Generalized Sparse Bayesian Learning

abstract: The recovery of a low rank matrix from a subset of noisy low-precision quantized samples arises in several applications such as collaborative filtering, intelligent recommendation and millimeter wave channel estimation with few bit ADCs. In this paper, a generalized sparse Bayesian learning (Gr-SBL) combining expectation propagation (EP) is proposed to solve the matrix completion (MC), which is termed as MC-Gr-SBL. The MC-Gr-SBL automatically estimates the rank, the factors and their covariance matrices, and the noise variance. In addition, MC-Gr-SBL is proposed to solve the two dimensional line spectral estimation problem by incorporating the MUSIC algorithm. Finally, substantial numerical experiments are conducted to verify the effectiveness of the proposed algorithm.


title: Micro Fresnel Mirror Array with Individual Mirror Control

abstract: We present the design and fabrication of a miniaturized array of piezoelectrically actuated high speed Fresnel mirrors with individual mirror control. These Fresnel mirrors can be used to generate propagation invariant and self-healing interference patterns. The mirrors are actuated using piezobimorph actuators, and the consequent change of the tilting angle of the mirrors changes the fringe spacing of the interference pattern generated. The array consists of four Fresnel mirrors each having an area of 2x2 mm2 arranged in a 2x2 configuration. The device, optimized using FEM simulations, is able to achieve maximum mirror deflections of 15 mrad, and has a resonance frequency of 28 kHz.


title: Two-step growth mixture model to examine heterogeneity in nonlinear trajectories

abstract: Empirical researchers are usually interested in investigating the impacts of baseline covariates have when uncovering sample heterogeneity and separating samples into more homogeneous groups. However, a considerable number of studies in the structural equation modeling (SEM) framework usually start with vague hypotheses in terms of heterogeneity and possible reasons. It suggests that (1) the determination and specification of a proper model with covariates is not straightforward, and (2) the exploration process may be computational intensive given that a model in the SEM framework is usually complicated and the pool of candidate covariates is usually huge in the psychological and educational domain where the SEM framework is widely employed. Following Bakk and Kuha (2017), this article presents a two-step growth mixture model (GMM) that examines the relationship between latent classes of nonlinear trajectories and baseline characteristics. Our simulation studies demonstrate that the proposed model is capable of clustering the nonlinear change patterns, and estimating the parameters of interest unbiasedly, precisely, as well as exhibiting appropriate confidence interval coverage. Considering the pool of candidate covariates is usually huge and highly correlated, this study also proposes implementing exploratory factor analysis (EFA) to reduce the dimension of covariate space. We illustrate how to use the hybrid method, the two-step GMM and EFA, to efficiently explore the heterogeneity of nonlinear trajectories of longitudinal mathematics achievement data.


title: Experimentally demonstration of the repulsive Casimir force in the gold-cyclohexane-PTFE system

abstract: The experimentally demonstration of Casimir force transition from attraction to repulsion is still challenging. Herein, the Casimir forces for a sphere above a plate immersed in different liquids were precisely measured using Atomic force microscope, and the long-range repulsive Casimir force in the gold-cyclohexane-PTFE system is observed for the first time. The experimental data are consistent with the calculation by Lifshitz theory, which offers the direct evidence for the system of {\epsilon}1<{\epsilon}3<{\epsilon}2. It further verifies the reasonability of van Zwol et al. dielectric model to describe the intervening fluids. This study is promising for potential applications on quantum levitation and frictionless devices in MEMS and NEMS by Casimir repulsion.


title: Obtaining interpretable parameters from reparameterizing longitudinal models: transformation matrices between growth factors in two parameter spaces

abstract: The linear spline growth model (LSGM), which approximates complex patterns using at least two linear segments, is a popular tool for examining nonlinear change patterns. Among such models, the linear-linear piecewise change pattern is the most straightforward one. An earlier study has proved that other than the intercept and slopes, the knot (or change-point), at which two linear segments join together, can be estimated as a growth factor in a reparameterized longitudinal model in the latent growth curve modeling framework. However, the reparameterized coefficients were no longer directly related to the underlying developmental process and therefore lacked meaningful, substantive interpretation, although they were simple functions of the original parameters. This study proposes transformation matrices between parameters in the original and reparameterized models so that the interpretable coefficients directly related to the underlying change pattern can be derived from reparameterized ones. Additionally, the study extends the existing linear-linear piecewise model to allow for individual measurement occasions, and investigates predictors for the individual-differences in change patterns. We present the proposed methods with simulation studies and a real-world data analysis. Our simulation studies demonstrate that the proposed method can generally provide an unbiased and consistent estimation of model parameters of interest and confidence intervals with satisfactory coverage probabilities. An empirical example using longitudinal mathematics achievement scores shows that the model can estimate the growth factor coefficients and path coefficients directly related to the underlying developmental process, thereby providing meaningful interpretation. For easier implementation, we also provide the corresponding code for the proposed models.


title: Effect of higher-order interactions in a hybrid Electro-Optomechanical System

abstract: A detailed analysis highlighting the effect of optomechanical non-linearity on the dynamical evolution of a hybrid electro-optomechanical system (EOMS) is presented. The study, conducted over a wide range of parameter regime reveals that the quadratic coupling term significantly alters the dynamics of the system and thus cannot be ignored for any potential applications.


title: Josephson linewidth in a resistively-shunted model with non-sinusoidal current-phase relation

abstract: This is a detailed derivation of the equation for the voltage noise of a resistively shunted Josephson junction with non-sinusoidal current-phase relation, which was presented in Sov. Phys. JETP {\bf 67}, 579 (1988).


title: Classification of multiplicative simple BiHom-Lie algebras

abstract: In this paper, we classify flnite dimensional multiplicative simple BiHom-Lie algebras by investigating the corresponding semisimple Lie algebras and we give a complete classification of the complex 3-dimensional multiplicative BiHom-Lie algebras.


title: DLGAN: Disentangling Label-Specific Fine-Grained Features for Image Manipulation

abstract: Recent studies have shown how disentangling images into content and feature spaces can provide controllable image translation/ manipulation. In this paper, we propose a framework to enable utilizing discrete multi-labels to control which features to be disentangled, i.e., disentangling label-specific fine-grained features for image manipulation (dubbed DLGAN). By mapping the discrete label-specific attribute features into a continuous prior distribution, we leverage the advantages of both discrete labels and reference images to achieve image manipulation in a hybrid fashion. For example, given a face image dataset (e.g., CelebA) with multiple discrete fine-grained labels, we can learn to smoothly interpolate a face image between black hair and blond hair through reference images while immediately controlling the gender and age through discrete input labels. To the best of our knowledge, this is the first work that realizes such a hybrid manipulation within a single model. More importantly, it is the first work to achieve image interpolation between two different domains without requiring continuous labels as the supervision. Qualitative and quantitative experiments demonstrate the effectiveness of the proposed method.


title: Covering Codes using Insertions or Deletions

abstract: A covering code is a set of codewords with the property that the union of balls, suitably defined, around these codewords covers an entire space. Generally, the goal is to find the covering code with the minimum size codebook. While most prior work on covering codes has focused on the Hamming metric, we consider the problem of designing covering codes defined in terms of either insertions or deletions. First, we provide new sphere-covering lower bounds on the minimum possible size of such codes. Then, we provide new existential upper bounds on the size of optimal covering codes for a single insertion or a single deletion that are tight up to a constant factor. Finally, we derive improved upper bounds for covering codes using $R\geq 2$ insertions or deletions. We prove that codes exist with density that is only a factor $O(R \log R)$ larger than the lower bounds for all fixed~$R$. In particular, our upper bounds have an optimal dependence on the word length, and we achieve asymptotic density matching the best known bounds for Hamming distance covering codes.


title: Insider threat modeling: An adversarial risk analysis approach

abstract: Insider threats entail major security issues in geopolitics, cyber risk management and business organization. The game theoretic models proposed so far do not take into account some important factors such as the organisational culture and whether the attacker was detected or not. They also fail to model the defensive mechanisms already put in place by an organisation to mitigate an insider attack. We propose two new models which incorporate these settings and hence are more realistic. %Most earlier work in the field has focused on %standard game theoretic approaches to find the solutions. We use the adversarial risk analysis (ARA) approach to find the solution to our models. ARA does not assume common knowledge and solves the problem from the point of view of one of the players, taking into account their knowledge and uncertainties regarding the choices available to them, to their adversaries, the possible outcomes, their utilities and their opponents' utilities. Our models and the ARA solutions are general and can be applied to most insider threat scenarios. A data security example illustrates the discussion.


title: Actively Learning Gaussian Process Dynamics

abstract: Despite the availability of ever more data enabled through modern sensor and computer technology, it still remains an open problem to learn dynamical systems in a sample-efficient way. We propose active learning strategies that leverage information-theoretical properties arising naturally during Gaussian process regression, while respecting constraints on the sampling process imposed by the system dynamics. Sample points are selected in regions with high uncertainty, leading to exploratory behavior and data-efficient training of the model. All results are finally verified in an extensive numerical benchmark.


title: Concentration and confinement of eigenfunctions in a bounded open set (version 2)

abstract: Consider the Dirichlet-Laplacian in $\Omega:= (0,L)\times (0,H)$ and choose another open set $\omega\subset \Omega$. The estimate $0<C_{\omega}\leq R_{\omega}(u):=\frac{\Vert u\Vert^{2}_{L^{2}(\omega)}}{\Vert u\Vert^{2}_{L^{2}(\Omega)}}\leq \frac{vol(\omega)}{vol(\omega)}$, for all the eigenfunctions, is well known. This is no longer true for an inhomogeneous elliptic selfadjoint operator $A$. In this work we create a partition among the set of eigenfunctions: $\forall \omega$, the eigenfunctions satisfy $R_{omega}>C_{\omega}>0,\exists \omega, \omega\not=\emptyset$, such that $\inf R_{\omega}(u)=0$,and we wish to characterize these two sets. For two patterns we give a sufficient condition, sometimes necessary. As our operator corresponds to a layered media we can give another representation of its spectrum: i.e. a subset of points of $R\times R$ that leads to the suggested partition and others connected results: micro local interpretation, default measures,... Section 4.1 of the previous version was not correct, now it is corrected, many proofs are simplified and a new general result is added.


title: Decision Making guided by Emotion A computational architecture

abstract: A computational architecture is presented, in which "swift and fuzzy" emotional channels guide a "slow and precise" decision-making channel. Reported neurobiological studies first provide hints on the representation of both emotional and cognitive dimensions across brain structures, mediated by the neuromodulation system. The related model is based on Guided Propagation Networks, the inner flows of which can be guided through modulation. A key-channel of this model grows from a few emotional cues, and is aimed at anticipating the consequences of ongoing possible actions. Current experimental results of a computer simulation show the integrated contribution of several emotional influences, as well as issues of accidental all-out emotions.


title: Tertiles and the time constant

abstract: We consider planar first-passage percolation and show that the time constant can be bounded by multiples of the first and second tertiles of the weight distribution. As a consequence we obtain a counter-example to a problem proposed by Alm and Deijfen.


title: Subjective Logic-based Identification of Markov Chains and Its Application to CAV's Safety

abstract: A reliable estimation of the communication chan-nel which connects automated vehicles is an important steptowards the safety of connected and automated vehicles. The communication channel is usually modeled as Markov chain with slowly time-varying transition rates and is identifiedthrough statistics on the observed state transitions. However, the classical identification approach lacks a measure on how reliable the identification results, and thus the channel, are. In this work, we propose an identification method, based onthe subjective logic theory, which features such a reliability measure in terms of statistical uncertainty. We demonstrate through simulations that the proposed method is capable of quickly responding to parameter changes. Furthermore, it is shown that the transition rates of the Markov chain are tracked with high accuracy. Finally, we validate our results by a real-world experiment.


title: Identification of time-varying source term in time-fractional diffusion equations

abstract: This paper is concerned with the inverse problem of determining the time and space dependent source term of diffusion equations with constant-order time-fractional derivative in $(0,2)$. We examine two different cases. In the first one, the source is the product of two spatial and temporal terms, and we prove that both of them can be retrieved by knowledge of one arbitrary internal measurement of the solution for all times. In the second case, we assume that the first term of the product varies with one fixed space variable, while the second one is a function of all the remaining space variables and the time variable, and we show that both terms are uniquely determined by two arbitrary lateral measurements of the solution over the entire time span. These two source identification results boil down to a weak unique continuation principle in the first case and a unique continuation principle for Cauchy data in the second one, that are preliminarily established. Finally, numerical reconstruction of spatial term of source terms in the form of the product of two spatial and temporal terms, is carried out through an iterative algorithm based on the Tikhonov regularization method.


title: $^{105}$Pd NMR and NQR study of the cubic heavy fermion system Ce$_3$Pd$_{20}$Si$_6$

abstract: We report $^{105}$Pd NMR and NQR measurements on a single crystal of Ce$_3$Pd$_{20}$Si$_6$, where antiferroquadrupolar and antiferromagnetic orders develop at low temperature. From the analysis of NQR and NMR spectra, we have determined the electric field gradient (EFG) tensors and the anisotropic Knight shift ($K$) components for both inequivalent Pd sites - Pd($32f$) and Pd($48h$). The observed EFG values are in excellent agreement with our state-of-the-art DFT calculations. The principal values of the quadrupolar coupling are $(20.37 \pm 0.02)$ MHz and $(5.45 \pm 0.02)$ MHz, for the Pd($32f$) and Pd($48h$) site, respectively, which is large compared to the Larmor frequency defined by the gyromagnetic constant $\gamma = 1.94838$ MHz/T for $^{105}$Pd. Therefore, the complete knowledge of $K$ and the EFG tensors is crucial to establish the correspondence between NMR spectra and crystallographic sites, which is needed for a complete analysis of the magnetic structure, static spin susceptibility, and the spin-lattice relaxation rate data and a better understanding of the groundstate of Ce$_3$Pd$_{20}$Si$_6$.


title: Class-specific residual constraint non-negative representation for pattern classification

abstract: Representation based classification method (RBCM) remains one of the hottest topics in the community of pattern recognition, and the recently proposed non-negative representation based classification (NRC) achieved impressive recognition results in various classification tasks. However, NRC ignores the relationship between the coding and classification stages. Moreover, there is no regularization term other than the reconstruction error term in the formulation of NRC, which may result in unstable solution leading to misclassification. To overcome these drawbacks of NRC, in this paper, we propose a class-specific residual constraint non-negative representation (CRNR) for pattern classification. CRNR introduces a class-specific residual constraint into the formulation of NRC, which encourages training samples from different classes to competitively represent the test sample. Based on the proposed CRNR, we develop a CRNR based classifier (CRNRC) for pattern classification. Experimental results on several benchmark datasets demonstrate the superiority of CRNRC over conventional RBCM as well as the recently proposed NRC. Moreover, CRNRC works better or comparable to some state-of-the-art deep approaches on diverse challenging pattern classification tasks. The source code of our proposed CRNRC is accessible at https://github.com/yinhefeng/CRNRC.


title: On good-$\lambda$ inequalities for couples of measurable functions

abstract: We give a domination condition implying good-$\lambda$ and exponential inequalities for couples of measurable functions. Those inequalities recover several classical and new estimations involving some operators in Harminic Analysis. Among other corollaries we prove a new exponential estimate for Carleson operators. The main results of the paper are considered in a general setting, namely, on abstract measure spaces equipped with a ball-basis.


title: Screening from $e_g$ states and antiferromagnetic correlations in $d^{(1,2,3)}$ perovskites: A $GW$+EDMFT investigation

abstract: We perform a systematic {\it ab initio} study of the electronic structure of Sr(V,Mo,Mn)O$_3$ perovskites, using the parameter-free $GW$+EDMFT method. This approach self-consistently calculates effective interaction parameters, taking into account screening effects due to nonlocal charge fluctuations. Comparing the results of a 3-band ($t_{2g}$) description to those of a 5-band ($t_{2g}$+$e_g$) model, it is shown that the $e_g$ states have little effect on the low-energy properties and the plasmonic features for the first two compounds but play a more active role in SrMnO$_3$. In the case of SrMnO$_3$ paramagnetic $GW$+EDMFT yields a metallic low-temperature solution on the verge of a Mott transition, while antiferromagnetic $GW$+EDMFT produces an insulating solution with the correct gap size. We discuss the possible implications of this result for the nature of the insulating state above the N\'eel temperature, and the reliability of the $GW$+EDMFT scheme.


title: Topologically simple, totally disconnected, locally compact infinite matrix groups

abstract: Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group topology and are topologically simple.


title: Probability Analysis of Age of Information in Multi-hop Networks

abstract: Age-of-information (AoI) is a metric quantifying information freshness at the receiver. It captures the delay together with packet loss and packet generation rate. However, the existing literature focuses on average or peak AoI and neglects the complete distribution. In this work, we consider a N-hop network with time-invariant packet loss probabilities on each link. We derive closed form equations for the probability mass function of AoI. We verify our findings with simulations. Our results show that the performance indicators considered in the literature such as average or peak AoI may give misleading insights into the real AoI performance.


title: PhotoTwinVR: An Immersive System for Manipulation, Inspection and Dimension Measurements of the 3D Photogrammetric Models of Real-Life Structures in Virtual Reality

abstract: Photogrammetry is a science dealing with obtaining reliable information about physical objects using their imagery description. Recent advancements in the development of Virtual Reality (VR) can help to unlock the full potential offered by the digital 3D-reality models generated using the state-of-art photogrammetric technologies. These models are becoming a viable alternative for providing high-quality content for such immersive environment. Simultaneously, their analyses in VR could bring added-value to professionals working in various engineering and non-engineering settings and help in extracting useful information about physical objects. However, there is little research published to date on feasible interaction methods in the VR-based systems augmented with the 3D photogrammetric models, especially concerning gestural input interfaces. Consequently, this paper presents the PhotoTwinVR -- an immersive, gesture-controlled system for manipulation and inspection of 3D photogrammetric models of physical objects in VR. Our system allows the user to perform basic engineering operations on the model subjected to the off-line inspection process. An observational study with a group of three domain-expert participants was completed to verify its feasibility. The system was populated with a 3D photogrammetric model of an existing pipe-rack generated using a commercial software package. The participants were asked to carry out a survey measurement of the object using the measurement toolbox offered by PhotoTwinVR. The study revealed a potential of such immersive tool to be applied in practical real-words cases of off-line inspections of pipelines.


title: Alignment of Protein-Protein Interaction Networks

abstract: PPI network alignment aims to find topological and functional similarities between networks of different species. Several alignment approaches have been proposed. Each of these approaches relies on a different alignment method and uses different biological information during the alignment process such as the topological structure of the networks and the sequence similarities between the proteins, but less of them integrate the functional similarities between proteins. In this context, we present our algorithm PPINA (Protein-Protein Interaction Network Aligner), which is an extension of the NETAL algorithm. The latter aligns two networks based on the sequence, functional and network topology similarity of the proteins. PPINA has been tested on real PPI networks. The results show that PPINA has outperformed other alignment algorithms where it provides biologically meaningful results.


title: Computational Ceramicology

abstract: Field archeologists are called upon to identify potsherds, for which purpose they rely on their experience and on reference works. We have developed two complementary machine-learning tools to propose identifications based on images captured on site. One method relies on the shape of the fracture outline of a sherd; the other is based on decorative features. For the outline-identification tool, a novel deep-learning architecture was employed, one that integrates shape information from points along the inner and outer surfaces. The decoration classifier is based on relatively standard architectures used in image recognition. In both cases, training the classifiers required tackling challenges that arise when working with real-world archeological data: paucity of labeled data; extreme imbalance between instances of the different categories; and the need to avoid neglecting rare classes and to take note of minute distinguishing features of some classes. The scarcity of training data was overcome by using synthetically-produced virtual potsherds and by employing multiple data-augmentation techniques. A novel form of training loss allowed us to overcome the problems caused by under-populated classes and non-homogeneous distribution of discriminative features.


title: The viscous Holmboe instability for smooth shear and density profiles

abstract: The Holmboe wave instability is one of the classic examples of a stratified shear instability, usually explained as the result of a resonance between a gravity wave and a vorticity wave. Historically, it has been studied by linear stability analyses at infinite Reynolds number, $Re$, and by direct numerical simulations at relatively low $Re$ in the regions known to be unstable from the inviscid linear stability results. In this paper, we perform linear stability analyses of the classical `Hazel model' of a stratified shear layer (where the background velocity and density distributions are assumed to take the functional form of hyperbolic tangents with different characteristic vertical scales) over a range of different parameters at finite $Re$, finding new unstable regions of parameter space. In particular, we find instability when the Richardson number is everywhere greater than $1/4$, where the flow would be stable at infinite $Re$ by the Miles-Howard theorem. We find unstable modes with no critical layer, and show that despite the necessity of viscosity for the new instability, the growth rate relative to diffusion of the background profile is maximised at large $Re$. We use these results to shed new light on the wave-resonance and over-reflection interpretations of stratified shear instability. We argue for a definition of Holmboe instability as being characterised by propagating vortices above or below the shear layer, as opposed to any reference to sharp density interfaces.


title: Soft Theorems and the KLT-Relation

abstract: We find new relations for the non-universal part of the Yang-Mills amplitudes by combining the KLT-relation and the soft behavior of gauge and gravity amplitudes. We also extend the relations to include contributions from effective operators.


title: Background Suppression Network for Weakly-supervised Temporal Action Localization

abstract: Weakly-supervised temporal action localization is a very challenging problem because frame-wise labels are not given in the training stage while the only hint is video-level labels: whether each video contains action frames of interest. Previous methods aggregate frame-level class scores to produce video-level prediction and learn from video-level action labels. This formulation does not fully model the problem in that background frames are forced to be misclassified as action classes to predict video-level labels accurately. In this paper, we design Background Suppression Network (BaS-Net) which introduces an auxiliary class for background and has a two-branch weight-sharing architecture with an asymmetrical training strategy. This enables BaS-Net to suppress activations from background frames to improve localization performance. Extensive experiments demonstrate the effectiveness of BaS-Net and its superiority over the state-of-the-art methods on the most popular benchmarks - THUMOS'14 and ActivityNet. Our code and the trained model are available at https://github.com/Pilhyeon/BaSNet-pytorch.


title: Do Cookie Banners Respect my Choice? Measuring Legal Compliance of Banners from IAB Europe's Transparency and Consent Framework

abstract: As a result of the GDPR and the ePrivacy Directive, European users encounter cookie banners on almost every website. Many of such banners are implemented by Consent Management Providers (CMPs), who respect the IAB Europe's Transparency and Consent Framework (TCF). Via cookie banners, CMPs collect and disseminate user consent to third parties. In this work, we systematically study IAB Europe's TCF and analyze consent stored behind the user interface of TCF cookie banners. We analyze the GDPR and the ePrivacy Directive to identify legal violations in implementations of cookie banners based on the storage of consent and detect such violations by crawling 22 949 European websites. With two automatic and semi-automatic crawl campaigns, we detect violations, and we find that: 141 websites register positive consent even if the user has not made their choice; 236 websites nudge the users towards accepting consent by pre-selecting options; and 27 websites store a positive consent even if the user has explicitly opted out. Performing extensive tests on 560 websites, we find at least one violation in 54% of them. Finally, we provide a browser extension to facilitate manual detection of violations for regular users and Data Protection Authorities.


title: Capacity scaling in a Non-coherent Wideband Massive SIMO Block Fading Channel

abstract: The scaling of coherent and non-coherent channel capacity is studied in a single-input multiple-output (SIMO) block Rayleigh fading channel as both the bandwidth and the number of receiver antennas go to infinity jointly with the transmit power fixed. The transmitter has no channel state information (CSI), while the receiver may have genie-provided CSI (coherent receiver), or the channel statistics only (non-coherent receiver). Our results show that if the available bandwidth is smaller than a threshold bandwidth which is proportional (up to leading order terms) to the square root of the number of antennas, there is no gap between the coherent capacity and the non-coherent capacity in terms of capacity scaling behavior. On the other hand, when the bandwidth is larger than this threshold, there is a capacity scaling gap. Since achievable rates using pilot symbols for channel estimation are subject to the non-coherent capacity bound, this work reveals that pilot-assisted coherent receivers in systems with a large number of receive antennas are unable to exploit excess spectrum above a given threshold for capacity gain.


title: Getting coherent state superpositions to stay put in phase space: $Q$ functions and one dimensional integral representations of generator eigenstates

abstract: We study quantum mechanics in the phase space associated with the coherent state (CS) manifold of Lie groups. Eigenstates of generators of the group are constructed as one dimensional integral superpositions of CS along their orbits. We distinguish certain privileged orbits where the superposition is in phase. Interestingly, for closed in phase orbits, the geometric phase must be quantized to $2\pi\mathbb{Z}$, else the superposition vanishes. This corresponds to exact Bohr-Sommerfeld quantization. The maximum of the Husimi-Kano $Q$ quasiprobability distribution is used to diagnose where in phase space the eigenstates of the generators lie. The $Q$ function of a generator eigenstate is constant along each orbit. We conjecture that the maximum of the $Q$ function corresponds to these privileged in phase orbits. We provide some intuition for this proposition using interference in phase space, and then demonstrate it for canonical CS ($H_4$ oscillator group), spin CS ($SU(2)$) and $SU(1,1)$ CS, relevant to squeezing.


title: Detection of a high-redshift molecular outflow in a primeval hyperstarburst galaxy

abstract: We report the discovery of a high-redshift, massive molecular outflow in the starburst galaxy SPT0346-52 ($z=5.656$) via the detected absorption of high-excitation water transitions (H$_2$O $4_{2,3}-4_{1,4}$ and H$_2$O $3_{3,0}-3_{2,1}$) with the Atacama Large Millimeter/submillimeter Array (ALMA). The host galaxy is one of the most powerful starburst galaxies at high redshift (star formation rate; SFR $\sim3,600$M$_\odot$year$^{-1}$), with an extremely compact ($\sim320$pc) star formation region and a star formation rate surface density ($\Sigma_{SFR}\sim5,500$M$_{\odot}~$year$^{-1}~$kpc$^{-2}$) five times higher than `maximum' (i.e. Eddington-limited) starbursts, implying a highly transient phase. The estimated outflow rate is $\sim500$M$_{\odot}$year$^{-1}$, which is much lower than the SFR, implying that in this extreme starburst the outflow capabilities saturate and the outflow is no longer capable of regulating star formation, resulting in a runaway process in which star formation will use up all available gas in less than 30Myr. Finally, while previous kinematic investigations of this source revealed possible evidence for an ongoing major merger, the coincidence of the hyper-compact starburst and high-excitation water absorption indicates that this is a single starburst galaxy surrounded by a disc.


title: SelfVIO: Self-Supervised Deep Monocular Visual-Inertial Odometry and Depth Estimation

abstract: In the last decade, numerous supervised deep learning approaches requiring large amounts of labeled data have been proposed for visual-inertial odometry (VIO) and depth map estimation. To overcome the data limitation, self-supervised learning has emerged as a promising alternative, exploiting constraints such as geometric and photometric consistency in the scene. In this study, we introduce a novel self-supervised deep learning-based VIO and depth map recovery approach (SelfVIO) using adversarial training and self-adaptive visual-inertial sensor fusion. SelfVIO learns to jointly estimate 6 degrees-of-freedom (6-DoF) ego-motion and a depth map of the scene from unlabeled monocular RGB image sequences and inertial measurement unit (IMU) readings. The proposed approach is able to perform VIO without the need for IMU intrinsic parameters and/or the extrinsic calibration between the IMU and the camera. estimation and single-view depth recovery network. We provide comprehensive quantitative and qualitative evaluations of the proposed framework comparing its performance with state-of-the-art VIO, VO, and visual simultaneous localization and mapping (VSLAM) approaches on the KITTI, EuRoC and Cityscapes datasets. Detailed comparisons prove that SelfVIO outperforms state-of-the-art VIO approaches in terms of pose estimation and depth recovery, making it a promising approach among existing methods in the literature.


title: The JDDC Corpus: A Large-Scale Multi-Turn Chinese Dialogue Dataset for E-commerce Customer Service

abstract: Human conversations are complicated and building a human-like dialogue agent is an extremely challenging task. With the rapid development of deep learning techniques, data-driven models become more and more prevalent which need a huge amount of real conversation data. In this paper, we construct a large-scale real scenario Chinese E-commerce conversation corpus, JDDC, with more than 1 million multi-turn dialogues, 20 million utterances, and 150 million words. The dataset reflects several characteristics of human-human conversations, e.g., goal-driven, and long-term dependency among the context. It also covers various dialogue types including task-oriented, chitchat and question-answering. Extra intent information and three well-annotated challenge sets are also provided. Then, we evaluate several retrieval-based and generative models to provide basic benchmark performance on the JDDC corpus. And we hope JDDC can serve as an effective testbed and benefit the development of fundamental research in dialogue task


title: Compressed Sensing Channel Estimation for OFDM with non-Gaussian Multipath Gains

abstract: This paper analyzes the impact of non-Gaussian multipath component (MPC) amplitude distributions on the performance of Compressed Sensing (CS) channel estimators for OFDM systems. The number of dominant MPCs that any CS algorithm needs to estimate in order to accurately represent the channel is characterized. This number relates to a Compressibility Index (CI) of the channel that depends on the fourth moment of the MPC amplitude distribution. A connection between the Mean Squared Error (MSE) of any CS estimation algorithm and the MPC amplitude distribution fourth moment is revealed that shows a smaller number of MPCs is needed to well-estimate channels when these components have large fourth moment amplitude gains. The analytical results are validated via simulations for channels with lognormal MPCs such as the NYU mmWave channel model. These simulations show that when the MPC amplitude distribution has a high fourth moment, the well known CS algorithm of Orthogonal Matching Pursuit performs almost identically to the Basis Pursuit De-Noising algorithm with a much lower computational cost.


title: Four presumed gaps in the software engineering research community's knowledge

abstract: Background: The state of the art in software engineering consists of a myriad of contributions and the gaps between them; it is difficult to characterize. Questions: In order to help understanding the state of the art, can we identify gaps in our knowledge that are at a very general, widely relevant level? Which research directions do these gaps suggest? Method: 54 expert interviews with senior members of the ICSE community, evaluated qualitatively using elements of Grounded Theory Methodology. Results: Our understanding of complexity, of good-enoughness, and of developers' strengths is underdeveloped. Some other relevant factors' relevance is apparently not clear. Software engineering is not yet an evidence-based discipline. Conclusion: More software engineering research should concern itself with emergence phenomena, with how engineering tradeoffs are made, with the assumptions underlying research works, and with creating certain taxonomies. Such work would also allow software engineering to become more evidence-based.


title: Physical and Dynamical Parameters of the Triple Stellar System: HIP 109951

abstract: The precise determination of the physical and dynamical parameters of the HIP 109951 triple star system (WDS J22161-0705AB) which is formed by the A, Ba, and Bb components are presented. The binary nature of component B was recently confirmed by studying the radial velocities. The analysis of the system follows Al-Wardat's complex method for analyzing CVBS which employs Kurucz (Atlas9) line blanketed plane-parallel atmospheres simultaneously with an analytic method for dynamical analysis (we used Docobo's method) to calculate the parameters of this triple system. The result of our study yielded the following parameters: $T^{A}_{\rm eff}=5836\pm 80$ K, $R^{A}=1.090\pm0.039R_\odot$, $\log$g$^{A}=4.45\pm0.06$, $\mathcal{M}^{A}=1.05\pm0.16\mathcal{M}_\odot$; $T^{Ba}_{\rm eff}=5115\pm 80$ K, $R^{Ba}=0.596\pm0.05R_\odot$, $\log$ g$^{Ba}=4.60\pm0.07$, $\mathcal{M}^{Ba}=0.83\pm0.16\mathcal{M}_\odot$, $T^{Bb}_{\rm eff}=4500\pm 80$ K, $R^{Bb}=0.490\pm0.06R_\odot$, $\log$ g$^{Bb}=4.65\pm0.07$, and $\mathcal{M}^{Bb}=0.67\pm0.16\mathcal{M}_\odot$ based on the revised \textit{Hipparcos} parallax. The orbital solution gave a total mass as $\mathcal{M}=2.59\mathcal{M}_\odot$ based on Gaia parallax and $\mathcal{M}=2.15\mathcal{M}_\odot$ based on the revised \textit{Hipparcos} parallax. The synthetic spectral energy distributions (SED) and synthetic stellar photometry of the entire system and individual components are given and compared with the available observational ones. Finally, the positions of the system components on the HR diagram and the evolutionary tracks are given and their formation and the evolution of the system are discussed.


title: Disposability in Square-Free Words

abstract: We consider words $w$ over the alphabet $\Sigma=\{0,1,2\}$. It is shown that there are irreducibly square-free words of all lengths $n$ except 4,5,7 and 12. Such a word is square-free (i.e., it has no repetitions $uu$ as factors), but by removing any one internal letter creates a square in the word.


title: Rare events in stochastic processes with sub-exponential distributions and the Big Jump principle

abstract: Rare events in stochastic processes with heavy-tailed distributions are controlled by the big jump principle, which states that a rare large fluctuation is produced by a single event and not by an accumulation of coherent small deviations. The principle has been rigorously proved for sums of independent and identically distributed random variables and it has recently been extended to more complex stochastic processes involving L\'evy distributions, such as L\'evy walks and the L\'evy-Lorentz gas, using an effective rate approach. We review the general rate formalism and we extend its applicability to continuous time random walks and to the Lorentz gas, both with stretched exponential distributions, further enlarging its applicability. We derive an analytic form for the probability density functions for rare events in the two models, which clarify specific properties of stretched exponentials.


title: A GNC Architecture for Planetary Rovers with Autonomous Navigation Capabilities

abstract: This paper proposes a Guidance, Navigation, and Control (GNC) architecture for planetary rovers targeting the conditions of upcoming Mars exploration missions such as Mars 2020 and the Sample Fetching Rover (SFR). The navigation requirements of these missions demand a control architecture featuring autonomous capabilities to achieve a fast and long traverse. The proposed solution presents a two-level architecture where the efficient navigation (low) level is always active and the full navigation (upper) level is enabled according to the difficulty of the terrain. The first level is an efficient implementation of the basic functionalities for autonomous navigation based on hazard detection, local path replanning, and trajectory control with visual odometry. The second level implements an adaptive SLAM algorithm that improves the relative localization, evaluates the traversability of the terrain ahead for a more optimal path planning, and performs global (absolute) localization that corrects the pose drift during longer traverses. The architecture provides a solution for long range, low supervision and fast planetary exploration. Both navigation levels have been validated on planetary analogue field test campaigns.


title: Instance Cross Entropy for Deep Metric Learning

abstract: Loss functions play a crucial role in deep metric learning thus a variety of them have been proposed. Some supervise the learning process by pairwise or tripletwise similarity constraints while others take advantage of structured similarity information among multiple data points. In this work, we approach deep metric learning from a novel perspective. We propose instance cross entropy (ICE) which measures the difference between an estimated instance-level matching distribution and its ground-truth one. ICE has three main appealing properties. Firstly, similar to categorical cross entropy (CCE), ICE has clear probabilistic interpretation and exploits structured semantic similarity information for learning supervision. Secondly, ICE is scalable to infinite training data as it learns on mini-batches iteratively and is independent of the training set size. Thirdly, motivated by our relative weight analysis, seamless sample reweighting is incorporated. It rescales samples' gradients to control the differentiation degree over training examples instead of truncating them by sample mining. In addition to its simplicity and intuitiveness, extensive experiments on three real-world benchmarks demonstrate the superiority of ICE.


title: Artificial neural networks in action for an automated cell-type classification of biological neural networks

abstract: Identification of different neuronal cell types is critical for understanding their contribution to brain functions. Yet, automated and reliable classification of neurons remains a challenge, primarily because of their biological complexity. Typical approaches include laborious and expensive immunohistochemical analysis while feature extraction algorithms based on cellular characteristics have recently been proposed. The former rely on molecular markers, which are often expressed in many cell types, while the latter suffer from similar issues: finding features that are distinctive for each class has proven to be equally challenging. Moreover, both approaches are time consuming and demand a lot of human intervention. In this work we establish the first, automated cell-type classification method that relies on neuronal activity rather than molecular or cellular features. We test our method on a real-world dataset comprising of raw calcium activity signals for four neuronal types. We compare the performance of three different deep learning models and demonstrate that our method can achieve automated classification of neuronal cell types with unprecedented accuracy.


title: Dapor-Liegener formalism of loop quantum cosmology for Bianchi I spacetimes

abstract: We discuss the quantization of vacuum Bianchi I spacetimes in the modified formalism of loop quantum cosmology recently proposed by Dapor and Liegener. This modification is based on a regularization procedure where both the Euclidean and Lorentzian terms of the Hamiltonian are treated independently. Whereas the Euclidean part has already been dealt with in the literature for Bianchi I spacetimes, the Lorentzian one has not yet been represented quantum mechanically. After a brief review of the quantum kinematics and the quantization of the Euclidean sector, we represent the Lorentzian part of the Hamiltonian constraint by an operator according to the factor ordering rules of the Martin-Benito--Mena Marugan--Olmedo prescription. We study the general properties of this quantum operator and the superselection rules derived therefrom, resulting in an action similar to that of the Euclidean operator except that the orientation of the densitized triad is not preserved, a fact which leads to a generic enlargement of the superselection sectors. We conclude with an explanation of the mechanism that prevents this enlargement in the isotropic case and a comment on the effect of alternative prescriptions for the implementation of the improved dynamics.


title: Wall-crossing from Lagrangian Cobordisms

abstract: Biran and Cornea showed that monotone Lagrangian cobordisms give an equivalence of objects in the Fukaya category. However, there are currently no known non-trivial examples of monotone Lagrangian cobordisms with two ends. We look at an extension of their theory to the pearly model of Lagrangian Floer cohomology and unobstructed Lagrangian cobordisms. In particular, we examine the suspension cobordism of a Hamiltonian isotopy and the Haug mutation cobordism between mutant Lagrangian surfaces. In both cases, we show that these Lagrangian cobordisms can be unobstructed by bounding cochain and additionally induce an $A_\infty$ homomorphism between the Floer cohomology of the ends. This gives a first example of a two-ended Lagrangian cobordism giving a non-trivial equivalence of Lagrangian Floer cohomology. A brief computation is also included which shows that the incorporation of bounding cochain from this equivalence accounts for the "instanton-corrections" considered by Auroux, Ekholm, Pascaleff, Rizell, and Tonkonog for the wall-crossing formula between Chekanov and product tori in $(\mathbb C^2)\setminus \{z_1z_2=1\}$. We additionally prove some auxiliary results that may be of independent interest. These include a weakly filtered version of the Whitehead theorem for $A_\infty$ algebras and an extension of Charest-Woodward's stabilizing divisor model of Lagrangian Floer cohomology to Lagrangian cobordisms.


title: Bootstrap Inference for Multiple Imputation under Uncongeniality and Misspecification

abstract: Multiple imputation has become one of the most popular approaches for handling missing data in statistical analyses. Part of this success is due to Rubin's simple combination rules. These give frequentist valid inferences when the imputation and analysis procedures are so called congenial and the complete data analysis is valid, but otherwise may not. Roughly speaking, congeniality corresponds to whether the imputation and analysis models make different assumptions about the data. In practice imputation and analysis procedures are often not congenial, such that tests may not have the correct size and confidence interval coverage deviates from the advertised level. We examine a number of recent proposals which combine bootstrapping with multiple imputation, and determine which are valid under uncongeniality and model misspecification. Imputation followed by bootstrapping generally does not result in valid variance estimates under uncongeniality or misspecification, whereas bootstrapping followed by imputation does. We recommend a particular computationally efficient variant of bootstrapping followed by imputation.


title: Kloosterman sums with primes to composite moduli

abstract: We obtain a new estimate for Kloosterman sum with primes $p\leqslant X$ to composite modulo $q$, that is, for the exponential sum of the type \[ \sum\limits_{p\leqslant X,\;p\,\nmid q}\exp{\biggl(\frac{2\pi i}{q}\bigl(a\overline{p}+bp\bigr)\,\biggr)},\quad (ab,q)=1,\quad p\overline{p}\equiv 1\pmod{q}, \] which is non-trivial in the case when $q^{\,3/4+\varepsilon}\leqslant X\ll q^{\,3/2}$. We also apply this estimate to the proof of solvability of some congruences with inverse prime residues $\pmod{q}$.


title: HybridNetSeg: A Compact Hybrid Network for Retinal Vessel Segmentation

abstract: A large number of retinal vessel analysis methods based on image segmentation have emerged in recent years. However, existing methods depend on cumbersome backbones, such as VGG16 and ResNet-50, benefiting from their powerful feature extraction capabilities but suffering from high computational costs. In this paper, we propose a novel neural network (HybridNetSeg) dedicated to solving this drawback while further improving overall performance. Considering deformable convolution can extract complex and variable structural information, and larger kernel in mixed depthwise convolution makes contribution to higher accuracy. We have integrated these two modules and propose a Hybrid Convolution Block (HCB) using the idea of heuristic learning. Inspired by the U-Net, we use HCB to replace a part of the common convolution of the U-Net encoder, drastically reducing the parameter count to 0.71M while accelerating the inference process. Not only that, we also propose a multi-scale mixed loss mechanism. Extensive experiments on three major benchmark datasets demonstrate the effectiveness of our proposed method


title: TreeGen: A Tree-Based Transformer Architecture for Code Generation

abstract: A code generation system generates programming language code based on an input natural language description. State-of-the-art approaches rely on neural networks for code generation. However, these code generators suffer from two problems. One is the long dependency problem, where a code element often depends on another far-away code element. A variable reference, for example, depends on its definition, which may appear quite a few lines before. The other problem is structure modeling, as programs contain rich structural information. In this paper, we propose a novel tree-based neural architecture, TreeGen, for code generation. TreeGen uses the attention mechanism of Transformers to alleviate the long-dependency problem, and introduces a novel AST reader (encoder) to incorporate grammar rules and AST structures into the network. We evaluated TreeGen on a Python benchmark, HearthStone, and two semantic parsing benchmarks, ATIS and GEO. TreeGen outperformed the previous state-of-the-art approach by 4.5 percentage points on HearthStone, and achieved the best accuracy among neural network-based approaches on ATIS (89.1%) and GEO (89.6%). We also conducted an ablation test to better understand each component of our model.


title: Superconducting spin-valve effect in heterostructures with ferromagnetic Heusler alloy layers

abstract: We report a comparative analysis and theoretical description of the superconducting properties of two spin-valve-valve structures containing the Heusler alloy Co$_2$Cr$_{1-x}$Fe$_x$Al$_{y}$ as one of two ferromagnetic (F1 or F2) layers of the F1/F2/S structure, where S stands for the superconducting Pb layer. In our experiments we used the Heusler alloy layer in two roles: as a weak ferromagnet on the place of the F2 layer and as a half-metal on the place of the F1 layer. In the first case, we obtained a large ordinary superconducting spin-valve effect $\Delta T_c$ assisted by the triplet superconducting spin-valve effect $\Delta T_c^{trip}$. In the second case, we observed a giant magnitude of $\Delta T_c^{trip}$ reaching 0.5 K. An underlying theory based on the solution of the Usadel equations using Kupriyanov-Lukichev boundary conditions with arbitrary material parameters for all layers and arbitrary boundary parameters for all interfaces is presented in Appendix. We find a good agreement between our experimental data and theoretical results.


title: Estimation of the Parameters of Symmetric Stable ARMA and ARMA-GARCH Models

abstract: In this article, we first propose the modified Hannan-Rissanen Method for estimating the parameters of the autoregressive moving average (ARMA) process with symmetric stable noise and symmetric stable generalized autoregressive conditional heteroskedastic (GARCH) noise. Next, we propose the modified empirical characteristic function method for the estimation of GARCH parameters with symmetric stable noise. Further, we show the efficiency, accuracy, and simplicity of our methods through Monte-Carlo simulation. Finally, we apply our proposed methods to model financial data.


title: The OpenFlexure Block Stage: Sub-100 nm fibre alignment with a monolithic plastic flexure stage

abstract: As 3D printers become more widely available, researchers are able to rapidly produce components that may have previously taken weeks to have machined. The resulting plastic components, having high surface roughness, are often not suitable for high-precision optomechanics. However, by playing to the strengths of 3D printing---namely the ability to print complex internal geometries---it is possible to design monolithic mechanisms that do not rely on tight integration of high-precision parts. Here we present a motorised monolithic 3D-printed plastic flexure stage with sub-100 nm resolution, that can perform automated optical fibre alignment.


title: Transmission System Resilience Enhancement with Extended Steady-state Security Region in Consideration of Uncertain Topology Changes

abstract: The increasing extreme weather events poses unprecedented challenges on power system operation because of their uncertain and sequential impacts on power systems. This paper proposes the concept of an extended steady-state security region (ESSR), and resilience enhancement for transmission systems based on ESSR in consideration of uncertain varying topology changes caused by the extreme weather events is implemented. ESSR is a ploytope describing a region, in which the operating points are within the operating constraints. In consideration of uncertain varying topology changes with ESSR, the resilience enhancement problem is built as a bilevel programming optimization model, in which the system operators deploy the optimal strategy against the most threatening scenario caused by the extreme weather events. To avoid the curse of dimensionality with regard to system topologies for a large scale system, the Monte Carlo method is used to generate uncertain system topologies, and a recursive McCormick envelope-based approach is proposed to connect generated system topologies to optimization variables. Karush Kuhn Tucker (KKT) conditions are used to transform the suboptimization model in the second level into a group of equivalent constraints in the first level. A simple test system and IEEE 118-bus system are used to validate the proposed.


title: Vandermonde with Arnoldi

abstract: Vandermonde matrices are exponentially ill-conditioned, rendering the familiar "polyval(polyfit)" algorithm for polynomial interpolation and least-squares fitting ineffective at higher degrees. We show that Arnoldi orthogonalization fixes the problem.


title: Characterizing the impact of using features extracted from pre-trained models on the quality of video captioning sequence-to-sequence models

abstract: The task of video captioning, that is, the automatic generation of sentences describing a sequence of actions in a video, has attracted an increasing attention recently. The complex and high-dimensional representation of video data makes it difficult for a typical encoder-decoder architectures to recognize relevant features and encode them in a proper format. Video data contains different modalities that can be recognized using a mix image, scene, action and audio features. In this paper, we characterize the different features affecting video descriptions and explore the interactions among these features and how they affect the final quality of a video representation. Building on existing encoder-decoder models that utilize limited range of video information, our comparisons show how the inclusion of multi-modal video features can make a significant effect on improving the quality of generated statements. The work is of special interest to scientists and practitioners who are using sequence-to-sequence models to generate video captions.


title: Smooth Functorial Field Theories from B-Fields and D-Branes

abstract: In the Lagrangian approach to 2-dimensional sigma models, B-fields and D-branes contribute topological terms to the action of worldsheets of both open and closed strings. We show that these terms naturally fit into a 2-dimensional, smooth open-closed functorial field theory (FFT) in the sense of Atiyah, Segal, and Stolz-Teichner. We give a detailed construction of this smooth FFT, based on the definition of a suitable smooth bordism category. In this bordism category, all manifolds are equipped with a smooth map to a spacetime target manifold. Further, the object manifolds are allowed to have boundaries; these are the endpoints of open strings stretched between D-branes. The values of our FFT are obtained from the B-field and its D-branes via transgression. Our construction generalises work of Bunke-Turner-Willerton to include open strings. At the same time, it generalises work of Moore-Segal about open-closed TQFTs to include target spaces. We provide a number of further features of our FFT: we show that it depends functorially on the B-field and the D-branes, we show that it is thin homotopy invariant, and we show that it comes equipped with a positive reflection structure in the sense of Freed-Hopkins. Finally, we describe how our construction is related to the classification of open-closed TQFTs obtained by Lauda-Pfeiffer.


title: Planetary nebulae seen with TESS: Discovery of new binary central star candidates from Cycle 1

abstract: It is now clear that binarity plays a crucial role in many aspects of planetary nebulae (PNe), particularly the striking morphologies they exhibit. To date, there are ~60 known bCSPNe. However, both theory and observation indicates that this represents only the tip of the iceberg, with the Galactic PN population hosting orders of magnitude more. We are involved in a search for new bCSPNe to enhance the statistical validation of the key role of binarity in the formation and shaping of PNe. New discoveries of bCSPNe and their characterization carry important implications not only for understanding PN evolution, but also for studying binary evolution and the poorly-understood common-envelope phase. We used data from the TESS satellite to search for variability in the eight CSPNe that belong to the two-minute cadence preselected targets in Cycle 1, with their available pipeline-extracted light curves. We identified strong periodicities and analysed them in the context of the binary scenario.All the CSPNe but one (Abell15) show clear signs of periodic variability in TESS. The cause of this variability can be attributed to different effects, some of them requiring the presence of a companion star. We find simple sinusoidal modulations in several of the systems, compatible with irradiation effects. In addition, two of the central stars (PG1034+001 and NGC5189) also show photometric variations due to ellipsoidal variations and other signs of variability probably caused by star spots or relativistic Doppler-beaming. The case of the well-studied Helix Nebula is of particular interest: here we constructed a series of binary models to explain the modulations we see in the light curve. We find that the variability constrains the possible companion to be very low-mass main-sequence star or sub-stellar object. We also identify, in substantial detail, the individual pulsation frequencies of NGC246.


title: Competitive Equilibrium with Generic Budgets: Beyond Additive

abstract: We study competitive equilibrium in the canonical Fisher market model, but with indivisible goods. In this model, every agent has a budget of artificial currency with which to purchase bundles of goods. Equilibrium prices match between demand and supply---at such prices, all agents simultaneously get their favorite within-budget bundle, and the market clears. Unfortunately, a competitive equilibrium may not exist when the goods are indivisible, even in extremely simple markets such as two agents with exactly the same budget and a single item. Yet in this example, once the budgets are slightly perturbed---i.e., made generic---a competitive equilibrium is guaranteed to exist. In this paper we explore the extent to which generic budgets can guarantee equilibrium existence (and thus related fairness guarantees) in markets with multiple items. We complement our results in [Babaioff et al., 2019] for additive preferences by exploring the case of general monotone preferences, establishing positive results for small numbers of items and mapping the limits of our approach. We then consider cardinal preferences, define a hierarchy of such preference classes and establish relations among them, and for some classes prove equilibrium existence under generic budgets.