title: Computing the volume of compact semi-algebraic sets

abstract: Let $S\subset R^n$ be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm which takes as input a polynomial system defining $S$ and an integer $p\geq 0$ and returns the $n$-dimensional volume of $S$ at absolute precision $2^{-p}$.Our algorithm relies on the relationship between volumes of semi-algebraic sets and periods of rational integrals. It makes use of algorithms computing the Picard-Fuchs differential equation of appropriate periods, properties of critical points, and high-precision numerical integration of differential equations.The algorithm runs in essentially linear time with respect to~$p$. This improves upon the previous exponential bounds obtained by Monte-Carlo or moment-based methods. Assuming a conjecture of Dimca, the arithmetic cost of the algebraic subroutines for computing Picard-Fuchs equations and critical points is singly exponential in $n$ and polynomial in the maximum degree of the input.


title: Possibility to study pentaquark states $P_{c}(4312), P_{c}(4440)$, and $P_{c}(4457)$ in $\gamma p\rightarrow J/\psi p$ reaction

abstract: Inspired by the observation of the pentaquark states $P_{c}(4312),P_{c}(4440)$ and $P_{c}(4457)$ at LHCb, photoproduction of these three $P_{c}$ states via the interaction $\gamma p\rightarrow J/\psi p$ is investigated in an effective Lagrangian approach. The $t$-channel Pomeron exchange diffractive process is considered as the main background for the $J/\psi $ photoproduction. The numerical results show that the theoretical cross section, which is calculated by assuming a branching ratio $Br[P_{c}\rightarrow J/\psi p]\simeq 3\%$, is consistent with the existing experimental data of the $ \gamma p\rightarrow J/\psi p$ process. With such a branching ratio, if experimental precision reaches 0.1 nb within a bin of 100 MeV for photon energy, two peaks are expected to be obviously observed in the $J/\psi $ photoproduction. To observe the two-peak structure from $P_{c}(4440)$ and $ P_{c}(4457)$, higher precision, about 0.1nb/10 MeV, is required to distinguish two close pentaquarks. If the physical branching ratio is larger, the requirement of experimental precision will be reduced. The differential cross sections for reaction $\gamma p\rightarrow J/\psi p$ are also present. It is found that the $t$-channel Pomeron exchange provides a sharp increase at extreme forward angles and gives a sizable contribution at most energy points, while the contributions from the $s$-channel $P_{c}$ exchanges play important roles at threshold energies. The experimental measurement of the $\gamma p\rightarrow J/\psi p$ process in the near-threshold energy region around $E_{\gamma }\simeq 9.4-10.5$ GeV is suggested, and is accessible at CEBAF@JLab and COMPASS.


title: General risk measures for robust machine learning

abstract: A wide array of machine learning problems are formulated as the minimization of the expectation of a convex loss function on some parameter space. Since the probability distribution of the data of interest is usually unknown, it is is often estimated from training sets, which may lead to poor out-of-sample performance. In this work, we bring new insights in this problem by using the framework which has been developed in quantitative finance for risk measures. We show that the original min-max problem can be recast as a convex minimization problem under suitable assumptions. We discuss several important examples of robust formulations, in particular by defining ambiguity sets based on $\varphi$-divergences and the Wasserstein metric.We also propose an efficient algorithm for solving the corresponding convex optimization problems involving complex convex constraints. Through simulation examples, we demonstrate that this algorithm scales well on real data sets.


title: Efficient generation of ideals in core subalgebras of the polynomial ring k[t] over a field k

abstract: This note aims at finding explicit and efficient generation of ideals in subalgebras $R$ of the polynomial ring $S=k[t]$ ($k$ a field) such that $t^{c_0}S \subseteq R$ for some integer $c_0 > 0$. The class of these subalgebras which we call cores of $S$ includes the semigroup rings $k[H]$ of numerical semigroups $H$, but much larger than the class of numerical semigroup rings. For $R=k[H]$ and $M \in \operatorname{Max}R$, our result eventually shows that $\mu_{R}(M) \in \{1,2,\mu(H)\}$ where $\mu_{R}(M)$ (resp. $\mu(H)$) stands for the minimal number of generators of $M$ (resp. $H$), which covers in the specific case the classical result of O. Forster-R. G. Swan.


title: Recombination process for hydrogen atom in presence of blackbody radiation

abstract: The process of recombination for the hydrogen atom in the heat bath creating the blackbody radiation is descibed within the frameworks of quantum electrodynamics. For this purpose the self-energy for unbound electron in the field of the nucleus is considered. The imaginary part of this self-energy is directly connected with the recombination cross-section. The same procedure is applied to the hydrogen atom in the field of blackbody radiation. This leads to the new thermal correction to the process of recombination for the hydrogen atom in the heat bath. This correction takes into account the finite lifetimes of atomic levels and appears to be important for special astrophysical studies.


title: Controlled Quantum Teleportation of Superposed Coherent State using GHZ Entangled Coherent State

abstract: Controlled quantum teleportation of superposed coherent states using GHZ entangled 3-mode coherent states is studied. Proposed scheme can be implemented experimentally using linear optical components such as a symmetric lossless beam splitter, two phase-shifters and two photon counters. Fidelity is found close to unity for appreciable mean number of photons in coherent states and is 0.99 for mean photon number equal to two.


title: Robust Metric Learning based on the Rescaled Hinge Loss

abstract: Distance/Similarity learning is a fundamental problem in machine learning. For example, kNN classifier or clustering methods are based on a distance/similarity measure. Metric learning algorithms enhance the efficiency of these methods by learning an optimal distance function from data. Most metric learning methods need training information in the form of pair or triplet sets. Nowadays, this training information often is obtained from the Internet via crowdsourcing methods. Therefore, this information may contain label noise or outliers leading to the poor performance of the learned metric. It is even possible that the learned metric functions perform worse than the general metrics such as Euclidean distance. To address this challenge, this paper presents a new robust metric learning method based on the Rescaled Hinge loss. This loss function is a general case of the popular Hinge loss and initially introduced in (Xu et al. 2017) to develop a new robust SVM algorithm. In this paper, we formulate the metric learning problem using the Rescaled Hinge loss function and then develop an efficient algorithm based on HQ (Half-Quadratic) to solve the problem. Experimental results on a variety of both real and synthetic datasets confirm that our new robust algorithm considerably outperforms state-of-the-art metric learning methods in the presence of label noise and outliers.


title: Crowd-sensing Simultaneous Localization and Radio Fingerprint Mapping based on Probabilistic Similarity Models

abstract: Simultaneous localization and mapping (SLAM) has been richly researched in past years particularly with regard to range-based or visual-based sensors. Instead of deploying dedicated devices that use visual features, it is more pragmatic to exploit the radio features to achieve this task, due to their ubiquitous nature and the wide deployment of Wifi wireless network. In this paper, we present a novel approach for crowd-sensing simultaneous localization and radio fingerprint mapping (C-SLAM-RF) in large unknown indoor environments. The proposed system makes use of the received signal strength (RSS) from surrounding Wifi access points (AP) and the motion tracking data from a smart phone (Tango as an example). These measurements are captured duration the walking of multiple users in unknown environments without map information and location of the AP. The experiments were done in a university building with dynamic environment and the results show that the proposed system is capable of estimating the tracks of a group of users with an accuracy of 1.74 meters when compared to the ground truth acquired from a point cloud-based SLAM.


title: Passive nonlinear dendritic interactions as a general computational resource in functional spiking neural networks

abstract: Nonlinear interactions in the dendritic tree play a key role in neural computation. Nevertheless, modeling frameworks aimed at the construction of large-scale, functional spiking neural networks, such as the Neural Engineering Framework, tend to assume a linear superposition of post-synaptic currents. In this paper, we present a series of extensions to the Neural Engineering Framework that facilitate the construction of networks incorporating Dale's principle and nonlinear conductance-based synapses. We apply these extensions to a two-compartment LIF neuron that can be seen as a simple model of passive dendritic computation. We show that it is possible to incorporate neuron models with input-dependent nonlinearities into the Neural Engineering Framework without compromising high-level function and that nonlinear post-synaptic currents can be systematically exploited to compute a wide variety of multivariate, bandlimited functions, including the Euclidean norm, controlled shunting, and non-negative multiplication. By avoiding an additional source of spike noise, the function-approximation accuracy of a single layer of two-compartment LIF neurons is on a par with or even surpasses that of two-layer spiking neural networks up to a certain target function bandwidth.


title: Non perturbative and thermal dynamics of confined fields in dual QCD

abstract: In order to study the detailed dynamics and associated non-perturbative features of QCD, a dual version of the color gauge theory based on the topologically viable homogeneous fiber bundle approach has been analysed taking into account its magnetic symmetry structure. In the dynamically broken phase of magnetic symmetry, the associated flux tube structure on a S 2 -sphere in the magnetically condensed state of the dual QCD vacuum has been analyzed for the profiles of the color electric field using flux quantization and stability conditions. The color electric field has its intimate association with the vector mode of the magnetically condensed QCD vacuum and such field configurations have been analyzed to show that the color electric flux gets localized towards the poles for a large sphere case while it gets uniformly distributed for the small sphere case in the infrared sector of QCD. The critical flux tube densities have been computed for various couplings and are shown to be in agreement with that for lead-ion central collisions in the near infrared sector of QCD. The possible annihilation/unification of flux tubes under some typical flux tube density and temperature conditions in the magnetic symmetry broken phase of QCD has also been analyzed and shown to play an important role in the process of QGP formation. The thermal variation of the profiles of the color electic field is further investigated which indicates the survival of flux tubes even in the thermal domain that leads the possibility of the formation of some exotic states like QGP in the intermedate regime during the quark-hadron phase transition.


title: Comment on ''Inverse Doppler shift and control field as coherence generators for the stability in superluminal light''

abstract: In their study of inverse Doppler shift and superluminal light [Phys. Rev. A 91, 053807 (2015)], Ghafoor et al. consider a three-level atomic arrangement with transitions in the optical domain. In fact, the values they give to the parameters lead to a probe wavelength lying in the decimeter band. We point out that the Doppler shifts are then negligible and remark that the simulations performed by Ghafoor et al. do not evidence any superluminal effect.


title: The Role of N2 as a Geo-Biosignature for the Detection and Characterization of Earth-like Habitats

abstract: Since the Archean, N2 has been a major atmospheric constituent in Earth's atmosphere. Nitrogen is an essential element in the building blocks of life, therefore the geobiological nitrogen cycle is a fundamental factor in the long term evolution of both Earth and Earth-like exoplanets. We discuss the development of the Earth's N2 atmosphere since the planet's formation and its relation with the geobiological cycle. Then we suggest atmospheric evolution scenarios and their possible interaction with life forms: firstly, for a stagnant-lid anoxic world, secondly for a tectonically active anoxic world, and thirdly for an oxidized tectonically active world. Furthermore, we discuss a possible demise of present Earth's biosphere and its effects on the atmosphere. Since life forms are the most efficient means for recycling deposited nitrogen back into the atmosphere nowadays, they sustain its surface partial pressure at high levels. Also, the simultaneous presence of significant N2 and O2 is chemically incompatible in an atmosphere over geological timescales. Thus, we argue that an N2-dominated atmosphere in combination with O2 on Earth-like planets within circumstellar habitable zones can be considered as a geo-biosignature. Terrestrial planets with such atmospheres will have an operating tectonic regime connected with an aerobe biosphere, whereas other scenarios in most cases end up with a CO2-dominated atmosphere. We conclude with implications for the search for life on Earth-like exoplanets inside the habitable zones of M to K-stars.


title: Classification from Pairwise Similarities/Dissimilarities and Unlabeled Data via Empirical Risk Minimization

abstract: Pairwise similarities and dissimilarities between data points might be easier to obtain than fully labeled data in real-world classification problems, e.g., in privacy-aware situations. To handle such pairwise information, an empirical risk minimization approach has been proposed, giving an unbiased estimator of the classification risk that can be computed only from pairwise similarities and unlabeled data. However, this direction cannot handle pairwise dissimilarities so far. On the other hand, semi-supervised clustering is one of the methods which can use both similarities and dissimilarities. Nevertheless, they typically require strong geometrical assumptions on the data distribution such as the manifold assumption, which may deteriorate the performance. In this paper, we derive an unbiased risk estimator which can handle all of similarities/dissimilarities and unlabeled data. We theoretically establish estimation error bounds and experimentally demonstrate the practical usefulness of our empirical risk minimization method.


title: Reporting Results in High Energy Physics Publications: a Manifesto

abstract: The complexity of collider data analyses has dramatically increased from early colliders to the CERN LHC. Reconstruction of the collision products in the particle detectors has reached a point that requires dedicated publications documenting the techniques, and periodic retuning of the algorithms themselves. Analysis methods evolved to account for the increased complexity of the combination of particles required in each collision event (final states) and for the need of squeezing every last bit of sensitivity from the data; physicists often seek to fully reconstruct the final state, a process that is mostly relatively easy at lepton colliders but sometimes exceedingly difficult at hadron colliders to the point of requiring sometimes using advanced statistical techniques such as machine learning. The need for keeping the publications documenting results to a reasonable size implies a greater level of compression or even omission of information with respect to publications from twenty years ago. The need for compression should however not prevent sharing a reasonable amount of information that is essential to understanding a given analysis. Infrastructures like Rivet or HepData have been developed to host additional material, but physicists in the experimental Collaborations often still send an insufficient amount of material to these databases. In this manuscript I advocate for an increase in the information shared by the Collaborations, and try to define a minimum standard for acceptable level of information when reporting the results of statistical procedures in High Energy Physics publications.


title: Towards Understanding Political Interactions on Instagram

abstract: Online Social Networks (OSNs) allow personalities and companies to communicate directly with the public, bypassing filters of traditional medias. As people rely on OSNs to stay up-to-date, the political debate has moved online too. We witness the sudden explosion of harsh political debates and the dissemination of rumours in OSNs. Identifying such behaviour requires a deep understanding on how people interact via OSNs during political debates. We present a preliminary study of interactions in a popular OSN, namely Instagram. We take Italy as a case study in the period before the 2019 European Elections. We observe the activity of top Italian Instagram profiles in different categories: politics, music, sport and show. We record their posts for more than two months, tracking "likes" and comments from users. Results suggest that profiles of politicians attract markedly different interactions than other categories. People tend to comment more, with longer comments, debating for longer time, with a large number of replies, most of which are not explicitly solicited. Moreover, comments tend to come from a small group of very active users. Finally, we witness substantial differences when comparing profiles of different parties.


title: Shall numerical astrophysics step into the era of Exascale computing?

abstract: High performance computing numerical simulations are today one of the more effective instruments to implement and study new theoretical models, and they are mandatory during the preparatory phase and operational phase of any scientific experiment. New challenges in Cosmology and Astrophysics will require a large number of new extremely computationally intensive simulations to investigate physical processes at different scales. Moreover, the size and complexity of the new generation of observational facilities also implies a new generation of high performance data reduction and analysis tools pushing toward the use of Exascale computing capabilities. Exascale supercomputers cannot be produced today. We discuss the major technological challenges in the design, development and use of such computing capabilities and we will report on the progresses that has been made in the last years in Europe, in particular in the framework of the ExaNeSt European funded project. We also discuss the impact of this new computing resources on the numerical codes in Astronomy and Astrophysics.


title: Countably Infinite Multilevel Source Polarization for Non-Stationary Erasure Distributions

abstract: Polar transforms are central operations in the study of polar codes. This paper examines polar transforms for non-stationary memoryless sources on possibly infinite source alphabets. This is the first attempt of source polarization analysis over infinite alphabets. The source alphabet is defined to be a Polish group, and we handle the Ar{\i}kan-style two-by-two polar transform based on the group. Defining erasure distributions based on the normal subgroup structure, we give recursive formulas of the polar transform for our proposed erasure distributions. As a result, the recursive formulas lead to concrete examples of multilevel source polarization with countably infinite levels when the group is locally cyclic. We derive this result via elementary techniques in lattice theory.


title: Revealing the Buried Metal-Organic Interface: Restructuring of the First Layer by van der Waals Forces

abstract: Using molecular manipulation in a cryogenic scanning tunneling microscope, the structure and rearrangement of sexiphenyl molecules at the buried interface of the organic film with the Cu(110) substrate surface have been revealed. It is shown that a reconstruction of the first monolayer of flat lying molecules occurs due to the van der Waals pressure from subsequent layers. In this rearrangement, additional sexiphenyl molecules are forced into the established complete monolayer and adopt an edge-on configuration. Incorporation of second layer molecules into the first layer is also demonstrated by purposely pushing sexiphenyl molecules with the STM tip. The results indicate that even chemisorbed organic layers at interfaces can be significantly influenced by external stress from van der Waals forces of subsequent layers.


title: Characterizing web pornography consumption from passive measurements

abstract: Web pornography represents a large fraction of the Internet traffic, with thousands of websites and millions of users. Studying web pornography consumption allows understanding human behaviors and it is crucial for medical and psychological research. However, given the lack of public data, these works typically build on surveys, limited by different factors, e.g. unreliable answers that volunteers may (involuntarily) provide. In this work, we collect anonymized accesses to pornography websites using HTTP-level passive traces. Our dataset includes about 15 000 broadband subscribers over a period of 3 years. We use it to provide quantitative information about the interactions of users with pornographic websites, focusing on time and frequency of use, habits, and trends. We distribute our anonymized dataset to the community to ease reproducibility and allow further studies.


title: Study of new class of q-fractional integral operator

abstract: We study the new class of q-fractional integral operator. In the aid of iterated Cauchy integral approach to fractional integral operator, we applied t^pf(t) instead of f(t) in these integrals and with parameter p a new class of q-fractional integral operator is introduced. Recently the q-analogue of fractional differential integral operator is studied.[8][4][9][10][13][14]All of these operators are q-analogue of Riemann fractional differential operator. The new class of introduced operator generalize all these defined operator and can be cover the q-analogue of Hadamard fractional differential operator. Some properties of this operator is investigated.


title: Nitrogen Fractionation in External Galaxies

abstract: In star forming regions in our own Galaxy, the 14N/15N ratio is found to vary from $\sim$ 100 in meteorites, comets and protoplanetary disks up to $\sim$ 1000 in pre-stellar and star forming cores, while in external galaxies the very few single-dish large scale measurements of this ratio lead to values of 100-450. The extent of the contribution of isotopic fractionation to these variations is, to date, unknown. In this paper we present a theoretical chemical study of nitrogen fractionation in external galaxies in order to determine the physical conditions that may lead to a spread of the 14N/15N ratio from the solar value of $\sim$440 and hence evaluate the contribution of chemical reactions in the ISM to nitrogen fractionation. We find that the main cause of ISM enrichment of nitrogen fractionation is high gas densities, aided by high fluxes of cosmic rays.


title: Statistics of roughness for fluctuating interfaces: A survey of different scaling analyses

abstract: Ferroic domain walls are known to display the characteristic scaling properties of self-affine rough interfaces. Different methods have been used to extract roughness information in ferroelectric and ferromagnetic materials. Here, we review these different approaches, comparing roughness scaling analysis based on displacement autocorrelation functions in real space, both locally and globally, to reciprocal space methods. This allows us to address important practical issues such as the necessity of a sufficient statistical averaging. As an ideal, artifact-free reference case and particularly targeting finite-size systems, we consider two cases of numerically simulated interfaces, one in equilibrium with a disordered energy landscape and one corresponding to the critical depinning state when the external applied driving force equals the depinning force. We find that the use of the reciprocal space methods based on the structure factor allows the most robust extraction of the roughness exponent when enough statistics is available, while real space analysis based on the roughness function allows the most efficient exploitation of a dataset containing only a limited number of interfaces of variable length. This information is thus important for properly quantifying roughness exponents in ferroic materials.


title: Neural Ideal Point Estimation Network

abstract: Understanding politics is challenging because the politics take the influence from everything. Even we limit ourselves to the political context in the legislative processes; we need a better understanding of latent factors, such as legislators, bills, their ideal points, and their relations. From the modeling perspective, this is difficult 1) because these observations lie in a high dimension that requires learning on low dimensional representations, and 2) because these observations require complex probabilistic modeling with latent variables to reflect the causalities. This paper presents a new model to reflect and understand this political setting, NIPEN, including factors mentioned above in the legislation. We propose two versions of NIPEN: one is a hybrid model of deep learning and probabilistic graphical model, and the other model is a neural tensor model. Our result indicates that NIPEN successfully learns the manifold of the legislative bill texts, and NIPEN utilizes the learned low-dimensional latent variables to increase the prediction performance of legislators' votings. Additionally, by virtue of being a domain-rich probabilistic model, NIPEN shows the hidden strength of the legislators' trust network and their various characteristics on casting votes.


title: Linear Chern-Simons-matter Theories in the Planar Limit

abstract: We study ${\cal N}=3$ linear Chern-Simons-matter theories in the planar limit. The matter content of the theory is depicted by a linear-shape diagram with $n$ nodes and $n-1$ links for any $n$. The free energy and the vevs of BPS Wilson loops are given in terms of a single 1-form on $\mathbb{CP}^1$ which can be determined explicitly for all linear theories. The analytic structure of the vevs of the Wilson loops is investigated in detail for $n=1$ and $n=2$. The addition of fundamental matters is also discussed.


title: Multiplication Semimodules

abstract: Let $S$ be a semiring. An $S$-semimodule $M$ is called a multiplication semimodule if for each subsemimodule $N$ of $M$ there exists an ideal $I$ of $S$ such that $N=IM$. In this paper we investigate some properties of multiplication semimodules and generalize some results on multiplication modules to semimodules. We show that every multiplicatively cancellative multiplication semimodule is finitely generated and projective. Moreover, we characterize finitely generated cancellative multiplication $S$-semimodules when $S$ is a yoked semiring such that every maximal ideal of $S$ is subtractive.


title: On the Burau Representation of $B_4$ modulo $p$

abstract: The problem of faithfulness of the (reduced) Burau representation for $n =4$ is known to be equivalent to the problem of whether certain two matrices $A$ and $B$ generate a free group of rank two. It is known that $A^3$ and $B^3$ generate a free group of rank two \cite{9}, \cite{10}, \cite{4}. We prove that they also generate a free group when considered as matrices over the $\mathbb{Z}_p[t,t^{-1}]$ for any integer $p > 1$.


title: Effect of Ion Migration Induced Electrode Degradation on the Operational Stability of Perovskite Solar Cells

abstract: Perovskite-based solar cells are promising due to their rapidly improving efficiencies, but suffer from instability issues. Recently it has been claimed that one of the key contributors to the instability of perovskite solar cells is ion migration induced electrode degradation, which can be avoided by incorporating inorganic hole blocking layers (HBL) in the device architecture. In this work, we investigate the operational environmental stability of methylammonium lead iodide (MAPbI3) perovskite solar cells that contain either an inorganic or organic HBL, with only the former effectively blocking ions from migrating to the metal electrode. This is confirmed by X-ray photoemission spectroscopy measured on electrodes of degraded devices, where only electrodes of devices with an organic HBL show a significant iodine signal. Despite this, we show that when these devices are degraded under realistic operational conditions (i.e. constant illumination in a variety of atmospheric conditions), both types of devices exhibit nearly identical degradation behavior. These results demonstrate that contrary to prior suggestions, ion-induced electrode degradation is not the dominant factor in perovskite environmental instability under operational conditions.


title: Quantifying the Damage Induced by XPS Depth Profiling of Organic Conjugated Polymers

abstract: X-ray photoemission spectroscopy (XPS) depth profiling using monoatomic Ar+ ion etching sources is a common technique that allows for the probing of the vertical compositional profiles of a wide range of materials. In polymer-based organic photovoltaic devices, it is commonly used to study compositional variations across the interfaces of the organic active layer with charge extraction layers or electrodes, as well as the vertical phase separation within the bulk-heterojunction active layer. It is generally considered that the damage induced by the etching of organic layers is limited to the very top surface, such that the XPS signal (acquired from the top ~10 nm of the layer) remains largely unaffected, allowing for a reliable measurement of the sample composition throughout the depth profile. Herein, we investigate a range of conjugated polymers and quantify the depth of the damage induced by monoatomic etching for Ar+ ion energies ranging from 0.5 keV to 4 keV using argon gas cluster ion beam depth profiling. The results demonstrate that even when etching with the lowest available monoatomic ion energy for as little as 3 s, the damaged polymer material extends deeper into the bulk than the XPS probing depth. We show that the damaged material distorts the compositional information obtained by XPS, resulting in erroneous depth profiles. Furthermore, we propose that only gas cluster ion beam etching sources should be used for depth profiling of organic conjugated polymers, as those induce significantly less damage and maintain the compositional information throughout the entire profile.


title: Surrogate-based toll optimization in a large-scale heterogeneously congested network

abstract: Toll optimization in a large-scale dynamic traffic network is typically characterized by an expensive-to-evaluate objective function. In this paper, we propose two toll level problems (TLPs) integrated with a large-scale simulation-based dynamic traffic assignment (DTA) model of Melbourne, Australia. The first TLP aims to control the pricing zone (PZ) through a time-varying joint distance and delay toll (JDDT) such that the network fundamental diagram (NFD) of the PZ does not enter the congested regime. The second TLP is built upon the first TLP by further considering the minimization of the heterogeneity of congestion distribution in the PZ. To solve the two TLPs, a computationally efficient surrogate-based optimization method, i.e., regressing kriging (RK) with expected improvement (EI) sampling, is applied to approximate the simulation input-output mapping, which can balance well between local exploitation and global exploration. Results show that the two optimal TLP solutions reduce the average travel time in the PZ (entire network) by 29.5% (1.4%) and 21.6% (2.5%), respectively. Reducing the heterogeneity of congestion distribution achieves higher network flows in the PZ and a lower average travel time or a larger total travel time saving in the entire network.


title: AGB dust and gas ejecta in extremely metal-poor environments

abstract: We present asymptotic giant branch (AGB) models of metallicity $Z=10^{-4}$ and $Z=3\times 10^{-4}$, with the aim of understanding how the gas enrichment and the dust production change in very metal-poor environments and to assess the general contribution of AGB stars to the cosmic dust yield. The stellar yields and the dust produced are determined by the change in the surface chemical composition, with a transition occurring at $\sim 2.5~M_{\odot}$. Stars of mass $M < 2.5~M_{\odot}$ reach the carbon stage and produce carbon dust, whereas their higher mass counterparts produce mainly silicates and alumina dust; in both cases the amount of dust manufactured decreases towards lower metallicities. The $Z=10^{-4}$ models show a complex and interesting behaviour on this side, because the efficient destruction of the surface oxygen favours the achievement of the C-star stage, independently of the initial mass. The present results might indicate that the contribution from this class of stars to the overall dust enrichment in metal-poor environments is negligible at redshifts $z>5$.


title: Spin-Orientation Dependent Topological States in Two-Dimensional Antiferromagnetic NiTl$_2$S$_4$ Monolayers

abstract: The topological states of matters arising from the nontrivial magnetic configuration provide a better understanding of physical properties and functionalities of solid materials. Such studies benefit from the active control of spin orientation in any solid, which is yet known to rarely take place in the two-dimensional (2D) limit. Here we demonstrate by the first-principles calculations that spin-orientation dependent topological states can appear in the geometrically frustrated monolayer antiferromagnet. Different topological states including quantum anomalous Hall (QAH) effect and time-reversal-symmetry (TRS) broken quantum spin Hall (QSH) effect can be obtained by changing spin orientation in the NiTl2S4 monolayer. Remarkably, the dilated nc-AFM NiTl2S4 monolayer gives birth to the QAH effect with hitherto reported largest number of quantized conducting channels (Chern number C = -4) in 2D materials. Interestingly, under tunable chemical potential, the nc-AFM NiTl2S4 monolayer hosts a novel state supporting the coexistence of QAH and TRS broken QSH effects with a Chern number C = 3 and spin Chern number C_s = 1. This work manifests a promising concept and material realization toward topological spintronics in 2D antiferromagnets by manipulating its spin degree of freedom.


title: Ambiguous representations of semilattices and imperfect information

abstract: Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their ambiguous representations, for which taking pseudo-inverse is involutive, form categories. Self-dualities and contravariant equivalences for these categories are obtained. Possible interpretations and applications to processing of imperfect information are discussed.


title: Using Sub-Optimal Plan Detection to Identify Commitment Abandonment in Discrete Environments

abstract: Assessing whether an agent has abandoned a goal or is actively pursuing it is important when multiple agents are trying to achieve joint goals, or when agents commit to achieving goals for each other. Making such a determination for a single goal by observing only plan traces is not trivial as agents often deviate from optimal plans for various reasons, including the pursuit of multiple goals or the inability to act optimally. In this article, we develop an approach based on domain independent heuristics from automated planning, landmarks, and fact partitions to identify sub-optimal action steps - with respect to a plan - within a plan execution trace. Such capability is very important in domains where multiple agents cooperate and delegate tasks among themselves, e.g. through social commitments, and need to ensure that a delegating agent can infer whether or not another agent is actually progressing towards a delegated task. We demonstrate how an agent can use our technique to determine - by observing a trace - whether an agent is honouring a commitment. We empirically show, for a number of representative domains, that our approach infers sub-optimal action steps with very high accuracy and detects commitment abandonment in nearly all cases.


title: Deep-IRT: Make Deep Learning Based Knowledge Tracing Explainable Using Item Response Theory

abstract: Deep learning based knowledge tracing model has been shown to outperform traditional knowledge tracing model without the need for human-engineered features, yet its parameters and representations have long been criticized for not being explainable. In this paper, we propose Deep-IRT which is a synthesis of the item response theory (IRT) model and a knowledge tracing model that is based on the deep neural network architecture called dynamic key-value memory network (DKVMN) to make deep learning based knowledge tracing explainable. Specifically, we use the DKVMN model to process the student's learning trajectory and estimate the student ability level and the item difficulty level over time. Then, we use the IRT model to estimate the probability that a student will answer an item correctly using the estimated student ability and the item difficulty. Experiments show that the Deep-IRT model retains the performance of the DKVMN model, while it provides a direct psychological interpretation of both students and items.


title: Landmark-Based Approaches for Goal Recognition as Planning

abstract: The task of recognizing goals and plans from missing and full observations can be done efficiently by using automated planning techniques. In many applications, it is important to recognize goals and plans not only accurately, but also quickly. To address this challenge, we develop novel goal recognition approaches based on planning techniques that rely on planning landmarks. In automated planning, landmarks are properties (or actions) that cannot be avoided to achieve a goal. We show the applicability of a number of planning techniques with an emphasis on landmarks for goal and plan recognition tasks in two settings: (1) we use the concept of landmarks to develop goal recognition heuristics; and (2) we develop a landmark-based filtering method to refine existing planning-based goal and plan recognition approaches. These recognition approaches are empirically evaluated in experiments over several classical planning domains. We show that our goal recognition approaches yield not only accuracy comparable to (and often higher than) other state-of-the-art techniques, but also substantially faster recognition time over such techniques.


title: Representation Similarity Analysis for Efficient Task taxonomy & Transfer Learning

abstract: Transfer learning is widely used in deep neural network models when there are few labeled examples available. The common approach is to take a pre-trained network in a similar task and finetune the model parameters. This is usually done blindly without a pre-selection from a set of pre-trained models, or by finetuning a set of models trained on different tasks and selecting the best performing one by cross-validation. We address this problem by proposing an approach to assess the relationship between visual tasks and their task-specific models. Our method uses Representation Similarity Analysis (RSA), which is commonly used to find a correlation between neuronal responses from brain data and models. With RSA we obtain a similarity score among tasks by computing correlations between models trained on different tasks. Our method is efficient as it requires only pre-trained models, and a few images with no further training. We demonstrate the effectiveness and efficiency of our method for generating task taxonomy on Taskonomy dataset. We next evaluate the relationship of RSA with the transfer learning performance on Taskonomy tasks and a new task: Pascal VOC semantic segmentation. Our results reveal that models trained on tasks with higher similarity score show higher transfer learning performance. Surprisingly, the best transfer learning result for Pascal VOC semantic segmentation is not obtained from the pre-trained model on semantic segmentation, probably due to the domain differences, and our method successfully selects the high performing models.


title: Towards a Strategy for Supporting the Engineering of Contemporary Software Systems

abstract: Contemporary software systems, such as the Internet of Things, Industry 4.0 and Intelligent Cities, present challenges for their engineering, since they question our traditional form of software development. They represent a promising paradigm for the integration of communication devices and technologies. It is leading to a shift from the classical monolithic view of development where stakeholders receive a software product at the end, to materialized software systems through physical objects interconnected by networks and with embedded smartness to support activities. Therefore, it is necessary to revisit our way of developing software systems and begin to consider the particularities required by these new types of applications. This thesis aims to investigate the particularities of these new types of applications to support the definition of a framework to support decision-making in the engineering of this kind of applications and systems. To this end, we use IoT systems as surrogate for CSS, since they present the contemporaneity and multidisciplinarity that we aim to investigate.


title: Capacity per Unit-Energy of Gaussian Many-Access Channels

abstract: We consider a Gaussian multiple-access channel where the number of transmitters grows with the blocklength $n$. For this setup, the maximum number of bits that can be transmitted reliably per unit-energy is analyzed. We show that if the number of users is of an order strictly above $n/\log n$, then the users cannot achieve any positive rate per unit-energy. In contrast, if the number of users is of order strictly below $n/\log n$, then each user can achieve the single-user capacity per unit-energy $(\log e)/N_0$ (where $N_0/ 2$ is the noise power) by using an orthogonal access scheme such as time division multiple access. We further demonstrate that orthogonal codebooks, which achieve the capacity per unit-energy when the number of users is bounded, can be strictly suboptimal.


title: Products of stabilizing representations

abstract: We study representation stability in the sense of Church and Farb. We show that products of stabilizing Sn -representations fulfill certain recursive relations which can be described by a new class of difference operators.


title: Arnold maps with noise: Differentiability and non-monotonicity of the rotation number

abstract: Arnold's standard circle maps are widely used to study the quasi-periodic route to chaos and other phenomena associated with nonlinear dynamics in the presence of two rationally unrelated periodicities. In particular, the El Nino-Southern Oscillation (ENSO) phenomenon is a crucial component of climate variability on interannual time scales and it is dominated by the seasonal cycle, on the one hand, and an intrinsic oscillatory instability with a period of a few years, on the other. The role of meteorological phenomena on much shorter time scales, such as westerly wind bursts, has also been recognized and modeled as additive noise. We consider herein Arnold maps with additive, uniformly distributed noise. When the map's nonlinear term, scaled by the parameter $\epsilon$, is sufficiently small, i.e. $\epsilon < 1$, the map is known to be a diffeomorphism and the rotation number $\rho_{\omega}$ is a differentiable function of the driving frequency $\omega$. We concentrate on the rotation number's behavior as the nonlinearity becomes large, and show rigorously that $\rho _{\omega }$ is a differentiable function of $\omega $, even for $\epsilon \geq 1$, at every point at which the noise-perturbed map is mixing. We also provide a formula for the derivative of the rotation number. The reasoning relies on linear-response theory and a computer-aided proof. In the diffeomorphism case of $\epsilon <1$, the rotation number $\rho_{\omega }$ behaves monotonically with respect to $\omega $. We show, using again a computer-aided proof, that this is not the case when $\epsilon \geq 1$ and the map is not a diffeomorphism.


title: Poisson PCA: Poisson Measurement Error corrected PCA, with Application to Microbiome Data

abstract: In this paper, we study the problem of computing a Principal Component Analysis of data affected by Poisson noise. We assume samples are drawn from independent Poisson distributions. We want to estimate principle components of a fixed transformation of the latent Poisson means. Our motivating example is microbiome data, though the methods apply to many other situations. We develop a semiparametric approach to correct the bias of variance estimators, both for untransformed and transformed (with particular attention to log-transformation) Poisson means. Furthermore, we incorporate methods for correcting different exposure or sequencing depth in the data. In addition to identifying the principal components, we also address the non-trivial problem of computing the principal scores in this semiparametric framework. Most previous approaches tend to take a more parametric line. For example the Poisson-log-normal (PLN) model, approach. We compare our method with the PLN approach and find that our method is better at identifying the main principal components of the latent log-transformed Poisson means, and as a further major advantage, takes far less time to compute. Comparing methods on real data, we see that our method also appears to be more robust to outliers than the parametric method.


title: Optimal distance- and time-dependent area-based pricing with the Network Fundamental Diagram

abstract: Given the efficiency and equity concerns of a cordon toll, this paper proposes a few alternative distance-dependent area-based pricing models for a large-scale dynamic traffic network. We use the Network Fundamental Diagram (NFD) to monitor the network traffic state over time and consider different trip lengths in the toll calculation. The first model is a distance toll that is linearly related to the distance traveled within the cordon. The second model is an improved joint distance and time toll (JDTT) whereby users are charged jointly in proportion to the distance traveled and time spent within the cordon. The third model is a further improved joint distance and delay toll (JDDT) which replaces the time toll in the JDTT with a delay toll component. To solve the optimal toll level problem, we develop a simulation-based optimization (SBO) framework. Specifically, we propose a simultaneous approach and a sequential approach, respectively, based on the proportional-integral (PI) feedback controller to iteratively adjust the JDTT and JDDT, and use a calibrated large-scale simulation-based dynamic traffic assignment (DTA) model of Melbourne, Australia to evaluate the network performance under different pricing scenarios. While the framework is developed for static pricing, we show that it can be easily extended to solve time-dependent pricing by using multiple PI controllers. Results show that although the distance toll keeps the network from entering the congested regime of the NFD, it naturally drives users into the shortest paths within the cordon resulting in an uneven distribution of congestion. This is reflected by a large clockwise hysteresis loop in the NFD. In contrast, both the JDTT and JDDT reduce the size of the hysteresis loop while achieving the same control objective.


title: CASA on the fringe: VLBI data processing in the CASA software package

abstract: In recent years new functionality for VLBI data processing has been added to the CASA package. This paper presents the new CASA tasks 'fringefit' and 'accor', which are closely matched to their AIPS counterparts FRING and ACCOR. Several CASA tasks received upgrades to handle VLBI specific metadata. With the current CASA release VLBI data processing is possible, and functionality will be expanded in the upcoming release. Longer term developments include fringe fitting of broad, non-continuous frequency bands and dispersive delays, which will ensure that the number of use cases for VLBI calibration will increase in future CASA releases.


title: Preparation of bipartite bound entangled Gaussian states in quantum optics

abstract: The positivity of the partial transpose is in general only a necessary condition for separability. There exist quantum states that are not separable, but nevertheless are positive under partial transpose. States of this type are known as bound entangled states meaning that these states are entangled but they do not allow distillation of pure entanglement by means of local operations and classical communication (LOCC). We present a parametrization of a class of $2\times 2$ bound entangled Gaussian states for bipartite continuous-variable quantum systems with two modes on each side. We propose an experimental protocol for preparing a particular bound entangled state in quantum optics. We then discuss the robustness properties of this protocol with respect to the occupation number of thermal inputs and the degrees of squeezing.


title: Deformation quantization and K\"ahler geometry with moment map

abstract: In the first part of this paper we outline the constructions and properties of Fedosov star product and Berezin-Toeplitz star product. In the second part we outline the basic ideas and recent developments on Yau-Tian-Donaldson conjecture on the existence of K\"ahler metrics of constant scalar curvature. In the third part of the paper we outline recent results of both authors, and in particular show that the constant scalar curvature K\"ahler metric problem and the study of deformation quantization meet at the notion of trace (density) for star product. We formulate a cohomology formula for the invariant of K-stability condition on K\"ahler metrics with constant Cahen-Gutt momentum.


title: Spectral and temporal modulations of femtosecond SPP wave packets induced by resonant transmission/reflection interactions with metal-insulator-metal nanocavities

abstract: To study the dynamical optical interactions of nano-scaled metal-insulator-metal (MIM) structures in temporal-frequency domain, femtosecond surface plasmon polariton (SPP) wave packets propagate over a surface with a MIM structure. The resonance nature of the SPP-cavity interaction is reflected as strong modulations in the spectra of transmitted and reflected SPP wavepackets, which show peaks and valleys, respectively, corresponding to the MIM cavity's eigenmode. These features indicate that the MIM structure acts as a Fabry-Perot etalon-type spectrum filter. With appropriate tuning of the resonance frequency of the cavity, one can extract a wave packet with a narrower time duration and temporally shifted intensity peak.


title: Complementary constraints on dark energy equation of state from strongly lensed gravitational wave

abstract: It has been shown that time delay of strong gravitational lensing is not only an effective cosmological probe to constrain the Hubble constant, the matter density and the curvature of the universe but also useful for breaking the degeneracy of the dark energy equation of state and thus provide complementarity with other popular probes, such as type Ia supernovae, baryon acoustic oscillations, and cosmic microwave background radiation. Interestingly, compared to traditional strong lensing systems where quasars act as sources, strongly lensed gravitational waves (GWs) from compact binary coalescence and their electromagnetic (EM) counterparts systems have been recently proposed to be more powerful for studying cosmology since GWs and their EM counterparts are transients. Short durations of GWs and their EM counterparts are very advantageous to time delay measurement and lens profile modeling. Here, in the framework of Chevalier-Polarski-Linder (CPL) parametrization, we investigate improvement of constraining power on dark energy equation of state due to including time delay measurements of strong lensed GW systems. It is suggested that, on the basis of the third generation ground-based detector, e.g. Einstein Telescope, adding time delay of only 30 strong lensed GW systems to type Ia supernovae and cosmic microwave background radiation can improve the dark energy figure of merit by a factor 2. For the traditional standard siren method where the uncertainties of luminosity distances of GWs are $\sim10\%$, a few $\times~10^4$ events are expected to present similar constraints. In the precision cosmology era, this progress is of great significance for studying the nature of dark energy.


title: Rushing or Dragging? An Analysis of the "Universality" of Correlated Fluctuations in Hi-Hat Timing and Dynamics

abstract: A previous analysis of fluctuations in a virtuoso (Jeff Porcaro) drum performance [R\"as\"anen et al., PLoS ONE 10(6): e0127902 (2015)] demonstrated that the rhythmic signal comprised both long range correlations and short range anti-correlations, with a characteristic timescale distinguishing the two regimes. We have extended R\"as\"anen et al.'s approach to a much larger number of drum samples (N=132, provided by a total of 58 participants) and to a different performance (viz., Rush's Tom Sawyer). A key focus of our study was to test whether the fluctuation dynamics discovered by R\"as\"anen et al. are "universal" in the following sense: is the crossover from short-range to long-range correlated fluctuations a general phenomenon or is it restricted to particular drum patterns and/or specific drummers? We find no compelling evidence to suggest that the short-range to long-range correlation crossover that is characteristic of Porcaro's performance is a common feature of temporal fluctuations in drum patterns. Moreover, level of experience and/or playing technique surprisingly do not play a role in influencing a short-range to long-range correlation cross-over. Our study also highlights that a great deal of caution needs to be taken when using the detrended fluctuation analysis technique, particularly with regard to anti-correlated signals.


title: Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges

abstract: As one type of machine-learning model, a "decision-tree ensemble model" (DTEM) is represented by a set of decision trees. A DTEM is mainly known to be valid for structured data; however, like other machine-learning models, it is difficult to train so that it returns the correct output value for any input value. Accordingly, when a DTEM is used in regard to a system that requires reliability, it is important to comprehensively detect input values that lead to malfunctions of a system (failures) during development and take appropriate measures. One conceivable solution is to install an input filter that controls the input to the DTEM, and to use separate software to process input values that may lead to failures. To develop the input filter, it is necessary to specify the filtering condition of the input value that leads to the malfunction of the system. Given that necessity, in this paper, we propose a method for formally verifying a DTEM and, according to the result of the verification, if an input value leading to a failure is found, extracting the range in which such an input value exists. The proposed method can comprehensively extract the range in which the input value leading to the failure exists; therefore, by creating an input filter based on that range, it is possible to prevent the failure occurring in the system. In this paper, the algorithm of the proposed method is described, and the results of a case study using a dataset of house prices are presented. On the basis of those results, the feasibility of the proposed method is demonstrated, and its scalability is evaluated.


title: Video coding technique with parametric modeling of noise

abstract: This paper presents a video encoding method in which noise is encoded using a novel parametric model representing spectral envelope and spatial distribution of energy. The proposed method has been experimentally assessed using video test sequences in a practical setup consisting of a simple, real-time noise reduction technique and High Efficiency Video Codec (HEVC). The attained results show that the use of the proposed parametric modeling of noise can improve the subjective quality of reconstructed video by approximately 1.8 Mean Opinion Scope (MOS) points (in 11-point scale) related to the classical video coding. Moreover, the present work confirms results attained in the previous works that the usage of even sole noise reduction prior to the encoding provides quality increase.


title: Are Architectural Smells Independent from Code Smells? An Empirical Study

abstract: Background. Architectural smells and code smells are symptoms of bad code or design that can cause different quality problems, such as faults, technical debt, or difficulties with maintenance and evolution. Some studies show that code smells and architectural smells often appear together in the same file. The correlation between code smells and architectural smells, however, is not clear yet; some studies on a limited set of projects have claimed that architectural smells can be derived from code smells, while other studies claim the opposite. Objective. The goal of this work is to understand whether architectural smells are independent from code smells or can be derived from a code smell or from one category of them. Method. We conducted a case study analyzing the correlations among 19 code smells, six categories of code smells, and four architectural smells. Results. The results show that architectural smells are correlated with code smells only in a very low number of occurrences and therefore cannot be derived from code smells. Conclusion. Architectural smells are independent from code smells, and therefore deserve special attention by researchers, who should investigate their actual harmfulness, and practitioners, who should consider whether and when to remove them.


title: The many-nucleon unified model and the dynamics of nuclear rotations

abstract: It is determined that a many-nucleon version of the Bohr-Mottelson unified model that contains the essential observables of that model and has irreducible representations that span the Hilbert space of fully anti-symmetric states of nuclei, is given uniquely by the symplectic model. This model is shown to provide a framework for an examination of the dynamics of nuclear rotations. A first discovery is that rotational energies are mixtures of potential and kinetic energies even in an adiabatic limit.


title: The Potential of Restarts for ProbSAT

abstract: This work analyses the potential of restarts for probSAT, a quite successful algorithm for k-SAT, by estimating its runtime distributions on random 3-SAT instances that are close to the phase transition. We estimate an optimal restart time from empirical data, reaching a potential speedup factor of 1.39. Calculating restart times from fitted probability distributions reduces this factor to a maximum of 1.30. A spin-off result is that the Weibull distribution approximates the runtime distribution for over 93% of the used instances well. A machine learning pipeline is presented to compute a restart time for a fixed-cutoff strategy to exploit this potential. The main components of the pipeline are a random forest for determining the distribution type and a neural network for the distribution's parameters. ProbSAT performs statistically significantly better than Luby's restart strategy and the policy without restarts when using the presented approach. The structure is particularly advantageous on hard problems.


title: Parameter clustering in Bayesian functional PCA of fMRI data

abstract: The extraordinary advancements in neuroscientific technology for brain recordings over the last decades have led to increasingly complex spatio-temporal datasets. To reduce oversimplifications, new models have been developed to be able to identify meaningful patterns and new insights within a highly demanding data environment. To this extent, we propose a new model called parameter clustering functional Principal Component Analysis (PCl-fPCA) that merges ideas from Functional Data Analysis and Bayesian nonparametrics to obtain a flexible and computationally feasible signal reconstruction and exploration of spatio-temporal neuroscientific data. In particular, we use a Dirichlet process Gaussian mixture model to cluster functional principal component scores within the standard Bayesian functional PCA framework. This approach captures the spatial dependence structure among smoothed time series (curves) and its interaction with the time domain without imposing a prior spatial structure on the data. Moreover, by moving the mixture from data to functional principal component scores, we obtain a more general clustering procedure, thus allowing a higher level of intricate insight and understanding of the data. We present results from a simulation study showing improvements in curve and correlation reconstruction compared with different Bayesian and frequentist fPCA models and we apply our method to functional Magnetic Resonance Imaging and Electroencephalogram data analyses providing a rich exploration of the spatio-temporal dependence in brain time series.


title: Construction of Subexponential-Size Optical Priority Queues with Switches and Fiber Delay Lines

abstract: All-optical switching has been considered as a natural choice to keep pace with growing fiber link capacity. One key research issue of all-optical switching is the design of optical buffers for packet contention resolution. One of the most general buffering schemes is optical priority queue, where every packet is associated with a unique priority upon its arrival and departs the queue in order of priority, and the packet with the lowest priority is always dropped when a new packet arrives but the buffer is full. In this paper, we focus on the feedback construction of an optical priority queue with a single $\boldsymbol{(M+2)\times (M+2)}$ optical crossbar Switch and $\boldsymbol{M}$ fiber Delay Lines (SDL) connecting $\boldsymbol{M}$ inputs and $\boldsymbol{M}$ outputs of the switch. We propose a novel construction of an optical priority queue with buffer $\boldsymbol{2^{\Theta(\sqrt{M})}}$, which improves substantially over all previous constructions that only have buffers of $\boldsymbol{O(M^c)}$ size for constant integer $\boldsymbol{c}$. The key ideas behind our construction include (i) the use of first in first out multiplexers, which admit efficient SDL constructions, for feeding back packets to the switch instead of fiber delay lines, and (ii) the use of a routing policy that is similar to self-routing, where each packet entering the switch is routed to some multiplexer mainly determined by the current ranking of its priority.


title: Induction of chaotic fluctuations in particle dynamics in a uniformly accelerated frame

abstract: The ongoing conjecture that the presence of horizon may induce chaos in an integrable system, is further investigated from the perspective of a uniformly accelerated frame. Particularly, we build up a model which consists of a particle (massless and chargeless) trapped in harmonic oscillator in a uniformly accelerated frame (namely Rindler observer). Here the Rindler frame provides a Killing horizon without any intrinsic curvature to the system. This makes the present observations different from previous studies. We observe that for some particular values of parameters of the system (like acceleration, energy of the particle), the motion of the particle trapped in harmonic potential systematically goes from periodic state to the chaotic. This indicates that the existence of horizon alone, not the intrinsic curvature (i.e. the gravitational effect) in the background, is sufficient to induce the chaotic motion in the particle. We believe the present study further enlighten and balustrade the conjecture.


title: Factored Contextual Policy Search with Bayesian Optimization

abstract: Scarce data is a major challenge to scaling robot learning to truly complex tasks, as we need to generalize locally learned policies over different task contexts. Contextual policy search offers data-efficient learning and generalization by explicitly conditioning the policy on a parametric context space. In this paper, we further structure the contextual policy representation. We propose to factor contexts into two components: target contexts that describe the task objectives, e.g. target position for throwing a ball; and environment contexts that characterize the environment, e.g. initial position or mass of the ball. Our key observation is that experience can be directly generalized over target contexts. We show that this can be easily exploited in contextual policy search algorithms. In particular, we apply factorization to a Bayesian optimization approach to contextual policy search both in sampling-based and active learning settings. Our simulation results show faster learning and better generalization in various robotic domains. See our supplementary video: https://youtu.be/MNTbBAOufDY.


title: Experimental evidence of a hydrodynamic soliton gas

abstract: We report on an experimental realization of a bi-directional soliton gas in a 34~m-long wave flume in shallow water regime. We take advantage of the fission of a sinusoidal wave to inject continuously solitons that propagate along the tank, back and forth. Despite the unavoidable damping, solitons retain adiabatically their profile, while decaying. The outcome is the formation of a stationary state characterized by a dense soliton gas whose statistical properties are well described by a pure integrable dynamics. The basic ingredient in the gas, i.e. the two-soliton interaction, is studied in details and compared favourably with the analytical solutions of the Kaup-Boussinesq integrable equation. High resolution space-time measurements of the surface elevation in the wave flume provide a unique tool for studying experimentally the whole spectrum of excitations.


title: Synchronization in two-level quantum systems

abstract: Recently, it was shown that dissipative quantum systems with three or more levels are able to synchronize to an external signal, but it was stated that it is not possible for two-level systems as they lack a stable limit cycle in the unperturbed dynamics. At the same time, several papers, demonstrate, under a different definition of what is synchronization, that the latter is possible in qubits, although in different models which also include other elements. We show how a quantum two-level system can be understood as containing a valid limit cycle as the starting point of synchronization, and that it can synchronize its dynamics to an external weak signal. This is demonstrated by analytically solving the Lindblad equation of a two-level system coupled to an environment, determining the steady state. This is a mixed state with contributions from many pure states, each of which provides a valid limit cycle. We show that this is sufficient to phase-lock the dynamics to a weak external signal, hence clarifying synchronization in two-level systems. We use the Husimi Q representation to analyze the synchronization region, defining a synchronization measure which characterizes the strength of the phase-locking. Also, we study the stability of the limit cycle and its deformation with the strength of the signal in terms of the components of the Bloch vector of the system. Finally, we generalize the model of the three-level system from in order to illustrate how the stationary fixed point of that model can be changed into a limit cycle similar to the one that we describe for the two-level system.


title: Probing localization and quantum geometry by spectroscopy

abstract: The spatial localization of quantum states plays a central role in condensed-matter phenomena, ranging from many-body localization to topological matter. Building on the dissipation-fluctuation theorem, we propose that the localization properties of a quantum-engineered system can be probed by spectroscopy, namely, by measuring its excitation rate upon a periodic drive. We apply this method to various examples that are of direct experimental relevance in ultracold atomic gases, including Anderson localization, topological edge modes, and interacting particles in a harmonic trap. Moreover, inspired by a relation between quantum fluctuations and the quantum metric, we describe how our scheme can be generalized in view of extracting the full quantum-geometric tensor of many-body systems. Our approach opens an avenue for probing localization, as well as quantum fluctuations, geometry and entanglement, in synthetic quantum matter.


title: Internal screening and dielectric engineering in magic-angle twisted bilayer graphene

abstract: Magic-angle twisted bilayer graphene (MA-tBLG) has appeared as a tunable testing ground to investigate the conspiracy of electronic interactions, band structure, and lattice degrees of freedom to yield exotic quantum many-body ground states in a two-dimensional Dirac material framework. While the impact of external parameters such as doping or magnetic field can be conveniently modified and analyzed, the all-surface nature of the quasi-2D electron gas combined with its intricate internal properties pose a challenging task to characterize the quintessential nature of the different insulating and superconducting states found in experiments. We analyze the interplay of internal screening and dielectric environment on the intrinsic electronic interaction profile of MA-tBLG. We find that interlayer coupling generically enhances the internal screening. The influence of the dielectric environment on the effective interaction strength depends decisively on the electronic state of MA-tBLG. Thus, we propose the experimental tailoring of the dielectric environment, e.g. by varying the capping layer composition and thickness, as a promising pursuit to provide further evidence for resolving the hidden nature of the quantum many-body states in MA-tBLG.


title: Dynamics of generalised exponential maps

abstract: Since 1984, many authors have studied the dynamics of maps of the form $\mathcal{E}_a(z) = e^z - a$, with $a > 1$. It is now well-known that the Julia set of such a map has an intricate topological structure known as a Cantor bouquet, and much is known about the dynamical properties of these functions. In recent papers some of these ideas have been generalised to a class of quasiregular maps in $\mathbb{R}^3$, which, in a precise sense, is analogous to the class of maps of the form $\mathcal{E}_a$. Our goal in this paper is to make similar generalisations in $\mathbb{R}^2$. In particular, we show that there is a large class of continuous maps, which, in general, are not even quasiregular, but are closely analogous to the map $\mathcal{E}_a$, and have very similar dynamical properties. In some sense this shows that many of the interesting dynamical properties of the map $\mathcal{E}_a$ arise from its elementary function theoretic structure, rather than as a result of analyticity.


title: Fractional Deviations in Precursor Stoichiometry Dictate the Properties, Performance and Stability of Perovskite Photovoltaic Devices

abstract: The last five years have witnessed a remarkable progress in the field of lead halide perovskite materials and devices. Examining the existing body of literature reveals staggering inconsistencies in the reported results among different research groups with a particularly wide spread in the photovoltaic performance and stability of devices. In this work we demonstrate that fractional, quite possibly unintentional, deviations in the precursor solution stoichiometry can cause significant changes in the properties of the perovskite layer as well as in the performance and stability of perovskite photovoltaic devices. We show that while the absorbance and morphology of the layers remains largely unaffected, the surface composition and energetics, crystallinity, emission efficiency, energetic disorder and storage stability are all very sensitive to the precise stoichiometry of the precursor solution. Our results elucidate the origin of the irreproducibility and inconsistencies of reported results among different groups as well as the wide spread in device performance even within individual studies. Finally, we propose a simple experimental method to identify the exact stoichiometry of the perovskite layer that researchers can employ to confirm their experiments are performed consistently without unintentional variations in precursor stoichiometry.


title: Terahertz spin dynamics driven by a field-derivative torque

abstract: Efficient manipulation of magnetization at ultrashort time scales is of particular interest for future technology. Here, we numerically investigate the influence of the so-called field-derivative torque, which was derived earlier based on relativistic Dirac theory [Mondal et al., Phys. Rev. B 94, 144419 (2016)], on the spin dynamics triggered by ultrashort laser pulses. We find that only considering the THz Zeeman field can underestimate the spin excitation in antiferromagnetic oxide systems as, e.g., NiO and CoO. However, accounting for both, the THz Zeeman torque and the field-derivative torque, the amplitude of the spin excitation increases significantly. Studying the damping dependence of field-derivative torque we observe larger effects for materials having larger damping constants.


title: The Role of Entanglement in Quantum Communication, and Analysis of the Detection Loophole

abstract: We begin this thesis by expanding the technique of teleportation simulation, which adds noise to the entangled resource state to mimic channel effects. By introducing classical noise in the communication step, we show it is possible to simulate more than just Pauli channels using teleportation. This new class is characterised, and studied in detail for a particular resource state, leading to a family of simulable channels named "Pauli-Damping channels" whose properties are analysed. Also introduced are a new family of quantum states, "phase Werner" states, whose entanglement properties relate to the interesting conjecture of bound entangled states with a negative partial transpose. Holevo-Werner channels, to which these states are connected, are shown to be teleportation covariant. We exploit this to present several interesting results, including the optimal estimation of the channel-defining parameter. The minimal binary-discrimination error for Holevo-Werner channels is bounded for the first time with the analytical form of the quantum Chernoff bound. We also consider the secret key capacity of these channels, showing how different entanglement measures provide a better upper bound for different regions of these channels. Finally, a method for generating new Bell inequalities is presented, exploiting nonphysical probability distributions to obtain new inequalities. Tens of thousands of new inequivalent inequalities are generated, and their usefulness in closing the detection loophole for imperfect detectors is examined, with comparison to the current optimal construction. Two candidate Bell inequalities which may equal or beat the best construction are presented.


title: Anti-Localization in Oxides: Effective Spin-3/2 Model

abstract: Weak anti-localization offers an experimental tool to address spin--orbit coupling of two-dimensional oxide surfaces and interfaces via magneto-transport. To overcome the shortcomings of the formulation for single-band spin-1/2 electrons, we consider an effective three-band model that allows a decomposition into a pseudo-spin representation 1/2+3/2. Whereas the well-established spin-1/2 transport signature results from the singlet and triplet sectors in the Cooperon equation, a new structure originates from the quintet and septet sectors generated by the spin 3/2x3/2 representation.


title: Quantitative Logics for Equivalence of Effectful Programs

abstract: In order to reason about effects, we can define quantitative formulas to describe behavioural aspects of effectful programs. These formulas can for example express probabilities that (or sets of correct starting states for which) a program satisfies a property. Fundamental to this approach is the notion of quantitative modality, which is used to lift a property on values to a property on computations. Taking all formulas together, we say that two terms are equivalent if they satisfy all formulas to the same quantitative degree. Under sufficient conditions on the quantitative modalities, this equivalence is equal to a notion of Abramsky's applicative bisimilarity, and is moreover a congruence. We investigate these results in the context of Levy's call-by-push-value with general recursion and algebraic effects. In particular, the results apply to (combinations of) nondeterministic choice, probabilistic choice, and global store.


title: Spin, orbital and topological order in models of strongly correlated electrons

abstract: Different types of order are discussed in the context of strongly correlated transition metal oxides, involving pure compounds and $3d^{3}-4d^{4}$ and $3d^{2}-4d^{4}$ hybrids. Apart from standard, long-range spin and orbital orders we observe also exotic non-colinear spin patterns. Such patters can arise in presence of atomic spin-orbit coupling, which is a typical case, or due to spin-orbital entanglement at the bonds in its absence, being much less trivial. Within a special interacting one-dimensional spin-orbital model it is also possible to find a rigorous topological magnetic order in a gapless phase that goes beyond any classification tables of topological states of matter. This is an exotic example of a strongly correlated topological state. Finally, in the less correlated limit of $4d^{4}$ oxides, when orbital selective Mott localization can occur it is possible to stabilize by a $3d^{3}$ doping one-dimensional zigzag antiferromagnetic phases. Such phases have exhibit nonsymmorphic spatial symmetries that can lead to various topological phenomena, like single and mutliple Dirac points that can turn into nodal rings or multiple topological charges protecting single Dirac points. Finally, by creating a one-dimensional $3d^{2}-4d^{4}$ hybrid system that involves orbital pairing terms, it is possible to obtain an insulating spin-orbital model where the orbital part after fermionization maps to a non-uniform Kitaev model. Such model is proved to have topological phases in a wide parameter range even in the case of completely disordered $3d^{2}$ impurities. What more, it exhibits hidden Lorentz-like symmetries of the topological phase, that live in the parameters space of the model.


title: Fully relativistic treatment of decaying cold dark matter in $N$-body simulations

abstract: We present $N$-body simulations in which either all, or a fraction of, the cold dark matter decays non-relativistically to a relativistic, non-interacting dark radiation component. All effects from radiation and general relativity are self-consistently included at the level of linear perturbation theory, and our simulation results therefore match those from linear Einstein-Boltzmann codes such as CLASS in the appropriate large-scale limit. We also find that standard, Newtonian $N$-body simulations adequately describe the non-linear evolution at smaller scales ($k \gtrsim 0.1 \, h/{\mathrm{Mpc}}$) in this type of model, provided that the mass of the decaying component is modified correctly, and that the background evolution is correctly treated. That is, for studies of small scales, effects from general relativity and radiation can be safely neglected.


title: Can Local Stress Enhancement Induce Stability in Fracture Processes? Part II: The Shielding Effect

abstract: We use the local load sharing fiber bundle model to demonstrate a shielding effect where strong fibers protect weaker ones. This effect exists due to the local stress enhancement around broken fibers in the local load sharing model, and it is therefore not present in the equal load sharing model. The shielding effect is prominent only after the initial disorder-driven part of the fracture process has finished, and if the fiber bundle has not reached catastrophic failure by this point, then the shielding increases the critical damage of the system, compared to equal load sharing. In this sense, the local stress enhancement may make the fracture process more stable, but at the cost of reduced critical force.


title: Asymptotic behavior of Vianna's exotic Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ as $a+b+c \to \infty$

abstract: In this paper, we study various asymptotic behavior of the infinite family of monotone Lagrangian tori $T_{a,b,c}$ in $\mathbb{CP}^2$ associated to Markov triples $(a,b,c)$ described in \cite{Vi14}. We first prove that the Gromov capacity of the complement $\mathbb{CP}^2 \setminus T_{a,b,c}$ is greater than or equal to $\frac13$ of the area of the complex line for all Markov triple $(a,b,c)$. We then prove that there is a representative of the family $\{T_{a,b,c}\}$ whose loci completely miss a metric ball of nonzero size and in particular the loci of the union of the family is not dense in $\mathbb{CP}^2$.


title: Between reduced powers and ultrapowers

abstract: We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet filter onto the ultrapower has a right inverse. The proof uses the Continuum Hypothesis. We characterize the ultrafilters $\mathcal U$ with this property, and show that consistently with ZFC such ultrafilters need not exist. We also prove a similar ZFC result sufficiently strong to obtain all concrete applications of the existence of a right inverse to the quotient map. Among applications, we prove a transfer theorem, answering a question of Schafhauser and Tikuisis, motivated by the Elliott classification programme. We also show that, in the category of C*-algebras, tensoring with the C*-algebra of all continuous functions on the Cantor space preserves elementarity. We also prove that tensoring with the Jiang--Su algebra or a UHF algebra does not preserve elementarity in general.


title: Tight Bounds for Online Weighted Tree Augmentation

abstract: The Weighted Tree Augmentation problem (WTAP) is a fundamental problem in network design. In this paper, we consider this problem in the online setting. We are given an $n$-vertex spanning tree $T$ and an additional set $L$ of edges (called links) with costs. Then, terminal pairs arrive one-by-one and our task is to maintain a low-cost subset of links $F$ such that every terminal pair that has arrived so far is $2$-edge-connected in $T \cup F$. This online problem was first studied by Gupta, Krishnaswamy and Ravi (SICOMP 2012) who used it as a subroutine for the online survivable network design problem. They gave a deterministic $O(\log^2 n)$-competitive algorithm and showed an $\Omega(\log n)$ lower bound on the competitive ratio of randomized algorithms. The case when $T$ is a path is also interesting: it is exactly the online interval set cover problem, which also captures as a special case the parking permit problem studied by Meyerson (FOCS 2005). The contribution of this paper is to give tight results for online weighted tree and path augmentation problems. The main result of this work is a deterministic $O(\log n)$-competitive algorithm for online WTAP, which is tight up to constant factors.


title: On embedding degree sequences

abstract: Assume that we are given two graphic sequences, $\pi_1$ and $\pi_2$. We consider conditions for $\pi_1$ and $\pi_2$ which guarantee that there exists a simple graph $G_2$ realizing $\pi_2$ such that $G_2$ is the subgraph of any simple graph $G_1$ that realizes $\pi_1$.


title: Homogenous reduced moment in a gapful scalar chiral kagome antiferromagnet

abstract: We present present a quantitative experimental investigation of the scalar chiral magnetic order with in $\rm{Nd_3Sb_3Mg_2O_{14}}$. Static magnetization reveals a net ferromagnetic ground state, and inelastic neutron scattering from the hyperfine coupled nuclear spin reveals a local ordered moment of 1.76(6) $\mu_B$, just 61(2)% of the saturated moment size. The experiments exclude static disorder as the source of the reduced moment. A 38(1) $\mu$eV gap in the magnetic excitation spectrum inferred from heat capacity rules out thermal fluctuations and suggests a multipolar explanation for the moment reduction. We compare $\rm{Nd_3Sb_3Mg_2O_{14}}$ to Nd pyrochlores and show that it is close to a moment fragmented state.


title: Tropically constructed Lagrangians in mirror quintic threefolds

abstract: We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds. We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold. Each admissible tropical curve gives a Lagrangian rational homology sphere in the corresponding mirror quintic threefold and disjoint curves give pairwise homologous but non-Hamiltonian isotopic Lagrangians. We check in an example that $>300$ mutually disjoint curves (and hence Lagrangians) arise. We show that the weight of each of these Lagrangians equals to the multiplicity of the corresponding tropical curve.


title: EM-Fusion: Dynamic Object-Level SLAM with Probabilistic Data Association

abstract: The majority of approaches for acquiring dense 3D environment maps with RGB-D cameras assumes static environments or rejects moving objects as outliers. The representation and tracking of moving objects, however, has significant potential for applications in robotics or augmented reality. In this paper, we propose a novel approach to dynamic SLAM with dense object-level representations. We represent rigid objects in local volumetric signed distance function (SDF) maps, and formulate multi-object tracking as direct alignment of RGB-D images with the SDF representations. Our main novelty is a probabilistic formulation which naturally leads to strategies for data association and occlusion handling. We analyze our approach in experiments and demonstrate that our approach compares favorably with the state-of-the-art methods in terms of robustness and accuracy.


title: A forest of Eisensteinian triplets

abstract: In 1934 B. Berggren first discovered the surprising result that every Pythagorean triplet is the pre product of the triplet (3, 4, 5) presented as a column by a product of three matrices, that every triplet is obtained in this manner exactly once and in primitive form. In this paper we show a similar result for integer triangles with an angle of 60 degrees (also known as Eisensteinian triplets). We show that any such triangle is obtained by pre-multiplication (7,8,5) or (13,15,7) by a product of five matrices. The result might have applications in enumerating points with rational distance from the origin on the hexagonal lattice.


title: Are We Consistently Biased? Multidimensional Analysis of Biases in Distributional Word Vectors

abstract: Word embeddings have recently been shown to reflect many of the pronounced societal biases (e.g., gender bias or racial bias). Existing studies are, however, limited in scope and do not investigate the consistency of biases across relevant dimensions like embedding models, types of texts, and different languages. In this work, we present a systematic study of biases encoded in distributional word vector spaces: we analyze how consistent the bias effects are across languages, corpora, and embedding models. Furthermore, we analyze the cross-lingual biases encoded in bilingual embedding spaces, indicative of the effects of bias transfer encompassed in cross-lingual transfer of NLP models. Our study yields some unexpected findings, e.g., that biases can be emphasized or downplayed by different embedding models or that user-generated content may be less biased than encyclopedic text. We hope our work catalyzes bias research in NLP and informs the development of bias reduction techniques.


title: A Large Scale Urban Surveillance Video Dataset for Multiple-Object Tracking and Behavior Analysis

abstract: Multiple-object tracking and behavior analysis have been the essential parts of surveillance video analysis for public security and urban management. With billions of surveillance video captured all over the world, multiple-object tracking and behavior analysis by manual labor are cumbersome and cost expensive. Due to the rapid development of deep learning algorithms in recent years, automatic object tracking and behavior analysis put forward an urgent demand on a large scale well-annotated surveillance video dataset that can reflect the diverse, congested, and complicated scenarios in real applications. This paper introduces an urban surveillance video dataset (USVD) which is by far the largest and most comprehensive. The dataset consists of 16 scenes captured in 7 typical outdoor scenarios: street, crossroads, hospital entrance, school gate, park, pedestrian mall, and public square. Over 200k video frames are annotated carefully, resulting in more than 3:7 million object bounding boxes and about 7:1 thousand trajectories. We further use this dataset to evaluate the performance of typical algorithms for multiple-object tracking and anomaly behavior analysis and explore the robustness of these methods in urban congested scenarios.


title: Cryptanalysis of a System Based on Twisted Reed-Solomon Codes

abstract: Twisted Reed-Solomon (TRS) codes are a family of codes that contains a large number of maximum distance separable codes that are non-equivalent to Reed--Solomon codes. TRS codes were recently proposed as an alternative to Goppa codes for the McEliece code-based cryptosystem, resulting in a potential reduction of key sizes. The use of TRS codes in the McEliece cryptosystem has been motivated by the fact that a large subfamily of TRS codes is resilient to a direct use of known algebraic key-recovery methods. In this paper, an efficient key-recovery attack on the TRS variant that was used in the McEliece cryptosystem is presented. The algorithm exploits a new approach based on recovering the structure of a well-chosen subfield subcode of the public code. It is proved that the attack always succeeds and breaks the system for all practical parameters in $O(n^4)$ field operations. A software implementation of the algorithm retrieves a valid private key from the public key within a few minutes, for parameters claiming a security level of 128 bits. The success of the attack also indicates that, contrary to common beliefs, subfield subcodes of the public code need to be precisely analyzed when proposing a McEliece-type code-based cryptosystem. Finally, the paper discusses an attempt to repair the scheme and a modification of the attack aiming at Gabidulin-Paramonov-Tretjakov cryptosystems based on twisted Gabidulin codes.


title: A Method for Expressing and Displaying the Vehicle Behavior Distribution in Maintenance Work Zones

abstract: Maintenance work zones on the road network have impacts on the normal travelling of vehicles, which increase the risk of traffic accidents. The traffic characteristic analysis in maintenance work zones is a basis for maintenance work zone related research such as layout design, traffic control and safety assessment. Due to the difficulty in vehicle microscopic behaviour data acquisition, traditional traffic characteristic analysis mainly focuses on macroscopic characteristics. With the development of data acquisition technology, it becomes much easier to obtain a large amount of microscopic behaviour data nowadays, which lays a good foundation for analysing the traffic characteristics from a new point of view. This paper puts forward a method for expressing and displaying the vehicle behaviour distribution in maintenance work zones. Using portable vehicle microscopic behaviour data acquisition devices, lots of data can be obtained. Based on this data, an endpoint detection technology is used to automatically extract the segments in behaviour data with violent fluctuations, which are segments where vehicles take behaviours such as acceleration or turning. Using the support vector machine classification method, the specific types of behaviours of the segments extracted can be identified, and together with a data combination method, a total of ten types of behaviours can be identified. Then the kernel density analysis is used to cluster different types of behaviours of all passing vehicles to show the distribution on maps. By this method, how vehicles travel through maintenance work zones, and how different vehicle behaviours distribute in maintenance work zones can be displayed intuitively on maps, which is a novel traffic characteristic and can shed light to maintenance work zone related researches such as safety assessment and design method.


title: Imitating non-equilibrium steady states using time-varying equilibrium force in many-body diffusive systems

abstract: An equivalence between non equilibrium steady states (NESS) driven by a time-independent force and stochastic pumps (SP) stirred by a time-varying conservative force is studied for general many-body diffusive systems. When the particle density and current of NESS are imitated by SP time-averaged counterparts, we prove that the entropy production rate in NESS is always greater than that of SP, provided that the conductivity of the particle current is concave as a function of the particle density. Searching for a SP protocol that saturates the entropy production bound reveals an unexpected connection with traffic waves, where a high density region propagates against the direction of the particle current.


title: A new example of robustly transitive diffeomorphism

abstract: We present an example of a $\mathcal{C}^1$-robustly transitive skew-product with non-trivial, non-hyperbolic action on homology. The example is conservative, ergodic, non-uniformly hyperbolic and its fiber directions cannot be decomposed into two dominated expanded/contracted bundles.


title: Note on Trace Class Groups

abstract: A Lie group G is called a trace class group if for every irreducible unitary representation R of G and every C-infinity function f with compact support the operator R(f) is of trace class. In this note we prove that the semidirect product of R^n and a real semisimple algebraic subgroup G of GL(n;R) is a trace class group only if G is compact. The converse has been shown elsewhere. We also make a descent start with the study of semidirect products with Heisenberg-type groups.


title: Dirac's algorithm in the presence of boundaries: a practical guide to a geometric approach

abstract: The goal of this paper is to propose and discuss a practical way to implement the Dirac algorithm for constrained field models defined on spatial regions with boundaries. Our method is inspired in the geometric viewpoint developed by Gotay, Nester, and Hinds (GNH) to deal with singular Hamiltonian systems. We pay special attention to the specific issues raised by the presence of boundaries and provide a number of significant examples -among them field theories related to general relativity- to illustrate the main features of our approach.


title: On special limits of the Mixed Painlev\'e P$_{\mathbf{III-V}}$ Model

abstract: The paper discusses P$_{III-V}$ equation for special values of its parameters for which this equation reduces to P$_{III}$, I$_{12}$, as well as, to some special cases of I$_{38}$ and I$_{49}$ equations from the Ince's list of $50$ second order differential equations possessing Painlev\'e property. These reductions also yield symmetries governing the reduced models obtained from the P$_{III-V}$ equation. We point out that the solvable equations on Ince's list emerge in this reduction scheme when the underlying reflections of the Weyl symmetry group no longer include an affine reflection through the hyperplane orthogonal to the highest root and therefore do not give rise to an affine Weyl group. We hypothesize that on the level of the underlying algebra and geometry this might be a fundamental feature that distinguishes the six Painlev\'e equations from the remaining $44$ solvable equations on the Ince's list.


title: Ligament break-up simulation through pseudo-potential Lattice Boltzmann Method

abstract: The Plateau-Rayleigh instability causes the fragmentation of a liquid ligament into smaller droplets. In this study a numerical study of this phenomenon based on a single relaxation time (SRT) pseudo-potential lattice Boltzmann method (LBM) is proposed. If systematically analysed, this test case allows to design appropriate parameters sets to deal with engineering applications involving the hydrodynamics of a jet. Grid convergence simulations are performed in the limit where the interface thickness is asymptotically smaller than the characteristic size of the ligament. These simulations show a neat asymptotic behaviour, possibly related to the convergence of LBM diffuse-interface physics to sharp interface hydrodynamics.