title: Post-Starburst Galaxies in SDSS-IV MaNGA

abstract: Post-starburst galaxies, identified by their unusually strong Balmer absorption lines and weaker than average emission lines, have traditionally been selected based on their central stellar populations. Here we identify 360 galaxies with post-starburst regions from the MaNGA integral field survey and classify these galaxies into three types: 31 galaxies with central post-starburst regions (CPSB), 37 galaxies with off-center ring-like post-starburst regions (RPSB) and 292 galaxies with irregular post-starburst regions (IPSB). Focussing on the CPSB and RPSB samples, and comparing their radial gradients in D$_n$4000, H$\delta_{\rm A}$ and W(H$\alpha$) to control samples, we find that while the CPSBs have suppressed star formation throughout their bulge and disk, and clear evidence of rapid decline of star formation in the central regions, the RPSBs only show clear evidence of recently rapidly suppressed star formation in their outer regions and an ongoing central starburst. The radial profiles in mass-weighted age and stellar $v/\sigma$ indicate that CPSBs and RPSBs are not simply different evolutionary stages of the same event, rather that CPSB galaxies are caused by a significant disruptive event, while RPSB galaxies are caused by disruption of gas fuelling to the outer regions. Compared to the control samples, both CPSB and RPSB galaxies show a higher fraction of interactions/mergers, misaligned gas or bars that might be the cause of the gas inflows and subsequent quenching.


title: Zeta functions of graphs, their symmetries and extended Catalan numbers

abstract: In this paper we study spectral zeta functions associated to finite and infinite graphs. First we establish a meromorphic continuation of these functions under some general conditions. Then we study special values in the case of standard lattice graphs associated to free abelian groups. In particular we connect it to Catalan numbers in several ways, and obtain some non-trivial special values and functional symmetries. Furthermore we relate the values at the negative integers with the more studied Ihara zeta functions, and prove a few minor results that seem not to have been recorded before. Finally we consider the characteristic polynomial of the graph Laplacians, and in particular completely determine its coefficients for cyclic graphs using new analytical methods.


title: Minimising the Levelised Cost of Electricity for Bifacial Solar Panel Arrays using Bayesian Optimisation

abstract: Bifacial solar module technology is a quickly growing market in the photovoltaics (PV) sector. By utilising light impinging on both, front and back sides of the module, actual limitations of conventional monofacial solar modules can be overcome at almost no additional costs. Optimising large-scale bifacial solar power plants with regard to minimum levelised cost of electricity (LCOE), however, is challenging due to the vast amount of free parameters such as module inclination angle and distance, module and land costs, character of the surroundings, weather conditions and geographic position. We present a detailed illumination model for bifacial PV modules in a large PV field and calculate the annual energy yield exemplary for two locations with different climates. By applying the Bayesian optimisation algorithm we determine the global minimum of the LCOE for bifacial and monofacial PV fields at these two exemplary locations considering land costs in the model. We find that currently established design guidelines for mono- and bifacial solar farms often do not yield the minimum LCOE. Our algorithm finds solar panel configurations yielding up to 23 % lower LCOE compared to the established configuration with the module tilt angle equal to the latitude and the module distance chosen such that no mutual shading of neighboring solar panels occurs at winter solstice. Our algorithm enables the user to extract clear design guidelines for mono- and bifacial large-scale solar power plants for most regions on Earth and further accelerates the development of competitively viable photovoltaic systems.


title: Predicting the observational signature of migrating Neptune-sized planets in low-viscosity disks

abstract: The migration of planetary cores embedded in a protoplanetary disk is an important mechanism within planet-formation theory, relevant for the architecture of planetary systems. Consequently, planet migration is actively discussed, yet often results of independent theoretical or numerical studies are unconstrained due to the lack of observational diagnostics designed in light of planet migration. In this work we follow the idea of inferring the migration behavior of embedded planets by means of the characteristic radial structures that they imprint in the disk's dust density distribution. We run hydrodynamical multifluid simulations of gas and several dust species in a locally isothermal $\alpha$-disk in the low-viscosity regime ($\alpha=10^{-5}$) and investigate the obtained dust structures. In this framework, a planet of roughly Neptune mass can create three (or more) rings in which dust accumulates. We find that the relative spacing of these rings depends on the planet's migration speed and direction. By performing subsequent radiative transfer calculations and image synthesis we show that - always under the condition of a near-inviscid disk - different migration scenarios are, in principle, distinguishable by long-baseline, state-of-the-art ALMA observations.


title: Theory of nonlinear interactions between x rays and optical radiation in crystals

abstract: We show that the nonlinear interactions between x rays and longer wavelengths in crystals depend strongly on the band structure and related properties. Consequently, these types of interactions can be used as a powerful probe for fundamental properties of crystalline bulk materials. In contrast to previous work that highlighted that these types of nonlinear interactions can provide microscopic information on the valence electrons at the atomic scale resolution, we show that these interactions also contain information that is related to the periodic potential of the crystal. We explain how it is possible to distinguish between the two contributions. Our work indicates on the possibility for the development of novel multi-dimensional pump-probe metrology techniques that will provide spectroscopic information combined with structural information including ultrafast dynamics at the atomic scale.


title: New composite superconformal string model with two scales and unification of fundamental interactions

abstract: A new approach to composite superconformal strings is considered . This composite string model has two scales: first one (~1 Gev) is for edging surfaces and second one (Planck scale) is for ridge surfaces . Nonlinear realization of two-dimensional superconformal symmetry on edging surfaces leads to superconvergence of one-loop planar diagrams. Some features of hadron amplitudes and of hadron spectrum are discussed. Spectrum of closed strings and a possibility of unified theory of fundamental interactions on the basis of this model are considered.


title: Stochastic perturbations and fisheries management

abstract: As most natural resources, fisheries are affected by random disturbances. The evolution of such resources may be modelled by a succession of deterministic process and random perturbations on biomass and/or growth rate at random times. We analyze the impact of the characteristics of the perturbations on the management of natural resources. We highlight the importance of using a dynamic programming approach in order to completely characterize the optimal solution, we also present the properties of the controlled model and give the behavior of the optimal harvest for specific jump kernels.


title: High-pressure synthesis and superconducting properties of NaCl-type In1-xPbxTe (x = 0-0.8)

abstract: We have investigated the Pb-substitution effect on the superconductivity of NaCl-type In1-xPbxTe samples obtained using high-pressure synthesis. Polycrystalline samples with x = 0-0.8 were obtained, and the lattice parameter systematically increased by Pb substitution. The superconducting transition temperature (Tc ~3 K for x = 0) increased to 5.3 K (for x = 0.4) by Pb substitutions. According to the comparison of the electronic states between NaCl-type InTe and PbTe, we consider that the Pb substitution increases electron carriers. Possible mechanisms of the enhancement of Tc in this system have been discussed on the basis of conventional pairing mechanism and the possibility of the relation to the valence-skipping state of In.


title: Circular flows for the Euler equations in two-dimensional annular domains

abstract: In this paper, we consider steady Euler flows in two-dimensional bounded annuli, as well as in exterior circular domains, in punctured disks and in the punctured plane. We always assume rigid wall boundary conditions. We prove that, if the flow does not have any stagnation point, and if it satisfies further conditions at infinity in the case of an exterior domain or at the center in the case of a punctured disk or the punctured plane, then the flow is circular, namely the streamlines are concentric circles. In other words, the flow then inherits the radial symmetry of the domain. The proofs are based on the study of the trajectories of the flow and the orthogonal trajectories of the gradient of the stream function, which is shown to satisfy a semilinear elliptic equation in the whole domain. In exterior or punctured domains, the method of moving planes is applied to some almost circular domains located between some streamlines of the flow, and the radial symmetry of the stream function is shown by a limiting argument. The paper also contains two Serrin-type results in simply or doubly connected bounded domains with free boundaries. Here, the flows are further assumed to have constant norm on each connected component of the boundary and the domains are then proved to be disks or annuli.


title: Complexity of controlled bad sequences over finite sets of $\mathbb{N}^d$

abstract: We provide upper and lower bounds for the length of controlled bad sequences over the majoring and the minoring orderings of finite sets of $\mathbb{N}^d$. The results are obtained by bounding the length of such sequences by functions from the Cichon hierarchy. This allows us to translate these results to bounds over the fast-growing complexity classes. The obtained bounds are proven to be tight for the majoring ordering, which solves a problem left open by Abriola, Figueira and Senno (Theor. Comp. Sci, Vol. 603). Finally, we use the results on controlled bad sequences to prove upper bounds for the emptiness problem of some classes of automata.


title: Hierarchical Model Reduction Techniques for Flow Modeling in a Parametrized Setting

abstract: In this work we focus on two different methods to deal with parametrized partial differential equations in an efficient and accurate way. Starting from high fidelity approximations built via the hierarchical model reduction discretization, we consider two approaches, both based on a projection model reduction technique. The two methods differ for the algorithm employed during the construction of the reduced basis. In particular, the former employs the proper orthogonal decomposition, while the latter relies on a greedy algorithm according to the certified reduced basis technique. The two approaches are preliminarily compared on two-dimensional scalar and vector test cases.


title: The anisotropic Calder{\'o}n problem on 3-dimensional conformally St{\"a}ckel manifolds

abstract: Conformally St{\"a}ckel manifolds can be characterized as the class of n-dimensional pseudo-Riemannian manifolds (M, G) on which the Hamilton-Jacobi equation G($\nabla$u, $\nabla$u) = 0 for null geodesics and the Laplace equation --$\Delta$ G $\psi$ = 0 are solvable by R-separation of variables. In the particular case in which the metric has Riemannian signature, they provide explicit examples of metrics admitting a set of n--1 commuting conformal symmetry operators for the Laplace-Beltrami operator $\Delta$ G. In this paper, we solve the anisotropic Calder{\'o}n problem on compact 3-dimensional Riemannian manifolds with boundary which are conformally St{\"a}ckel, that is we show that the metric of such manifolds is uniquely determined by the Dirichlet-to-Neumann map measured on the boundary of the manifold, up to dieomorphims that preserve the boundary.


title: Concentration estimates for band-limited spherical harmonics expansions via the large sieve principle

abstract: We study a concentration problem on the unit sphere $\mathbb{S}^2$ for band-limited spherical harmonics expansions using large sieve methods. We derive upper bounds for concentration in terms of the maximum Nyquist density. Our proof uses estimates of the spherical harmonics coefficients of certain zonal filters. We also demonstrate an analogue of the classical large sieve inequality for spherical harmonics expansions.


title: Distance transform regression for spatially-aware deep semantic segmentation

abstract: Understanding visual scenes relies more and more on dense pixel-wise classification obtained via deep fully convolutional neural networks. However, due to the nature of the networks, predictions often suffer from blurry boundaries and ill-segmented shapes, fueling the need for post-processing. This work introduces a new semantic segmentation regularization based on the regression of a distance transform. After computing the distance transform on the label masks, we train a FCN in a multi-task setting in both discrete and continuous spaces by learning jointly classification and distance regression. This requires almost no modification of the network structure and adds a very low overhead to the training process. Learning to approximate the distance transform back-propagates spatial cues that implicitly regularizes the segmentation. We validate this technique with several architectures on various datasets, and we show significant improvements compared to competitive baselines.


title: Compressed Sensing MRI With Variable Density Averaging (CS-VDA) Outperforms Full Sampling At Low SNR

abstract: We investigated whether a combination of k-space undersampling and variable density averaging enhances image quality for low-SNR MRI acquisitions. We implemented 3D Cartesian k-space prospective undersampling with a variable number of averages for each k-line. The performance of this compressed sensing with variable-density averaging (CS-VDA) method was evaluated in retrospective analysis of fully sampled phantom MRI measurements, as well as for prospectively accelerated in vivo 3D brain and knee MRI scans. Both phantom and in vivo results showed that acquisitions using the CS-VDA approach resulted in better image quality as compared to full sampling of k-space in the same scan time. Specifically, CS-VDA with a higher number of averages in the center of k-space resulted in the best image quality, apparent from increased anatomical detail with preserved soft-tissue contrast. This novel approach will facilitate improved image quality of inherently low SNR data, such as those with high-resolution or specific contrast-weightings with low SNR efficiency.


title: Polysaccharide conformations measured by solution state x-ray scattering

abstract: Polysaccharides are semi-flexible polymers composed of sugar residues with a myriad of important functions including structural support, energy storage and immunogenicity. The local conformation of such chains is a crucial factor governing their interactions, where the relative orientation of adjacent sugar rings determines the propensity for hydrogen bonding and specific ion-mediated interactions with neighbouring chains. Traditionally this conformation has only been directly accessible in the solid-state, using crystallographic techniques such as fibre diffraction. Herein it is demonstrated that improvements in the quality of synchrotron-based x-ray scattering data means that conformation-dependent features, the positions of which are related to the linear repeating distance between single saccharide monomers, can now be measured in solution. This technique is expected to be universally applicable for polysaccharides that consist of comparatively stiff glycosidic linkages, and to have extensive relevance for a number of biological macromolecules, including glycosylated proteins.


title: A Particle Emitting Source From an Accelerating, Perturbative Solution of Relativistic Hydrodynamics

abstract: The quark gluon plasma is formed in heavy-ion collisions, and it can be described by solutions of relativistic hydrodynamics. In this paper we utilize perturbative hydrodynamics, where we study first order perturbations on top of a known solution. We investigate the perturbations on top of the Hubble flow. From this perturbative solution we can give the form of the particle emitting source and calculate observables of heavy-ion collisions. We describe the source function and the single-particle momentum spectra for a spherically symmetric solution.


title: Testing nonparametric shape restrictions

abstract: We describe and examine a test for a general class of shape constraints, such as constraints on the signs of derivatives, U-(S-)shape, symmetry, quasi-convexity, log-convexity, $r$-convexity, among others, in a nonparametric framework using partial sums empirical processes. We show that, after a suitable transformation, its asymptotic distribution is a functional of the standard Brownian motion, so that critical values are available. However, due to the possible poor approximation of the asymptotic critical values to the finite sample ones, we also describe a valid bootstrap algorithm.


title: Genericity of chaos for colored graphs

abstract: To each colored graph, one can associate its closure in the universal space of isomorphism classes of pointed colored graphs, and this subspace can be regarded as a generalized subshift. Based on this correspondence, we extend the notion of chaotic dynamical systems to colored graphs. We introduce definitions for chaotic and almost chaotic (colored) graphs, and prove their topological genericity in various subsets of the universal space.


title: Modelling the Behavior Classification of Social News Aggregations Users

abstract: This paper deals with actual fuzzy logic approach for modelling the behavior classification of social news aggregations users. The peculiarities of the structure of informational content of communities on the basis of social news aggregations are explored. A formal model of social news aggregation model has been developed, which includes user of the social news aggregation on the basis of fuzzy measures of its characteristics. The method of behavioral classification of users and methods for structuring sections and discussions of social news aggregations are developed. The methods for determining the main characteristics of the users of the social news aggregation: activeness, creativeness, attractiveness, reactiveness, loyalty, is developed. Method for defining characteristics and classification of social news aggregations users is presented.


title: Social Networks as a Tool for a Higher Education Institution Image Creation

abstract: The article presents the dynamics of social networks users increase, depending on the total world population from 2010 to 2018. It also identifies the most popular social networks in Ukraine. The systematic risk indicator of using social networks relative to the total number of Internet resources users is determined. Types of social intercourse in the process of the higher education institution image creation are presented. The peculiarities of using social networks in the formation of a positive image of an educational institution are highlighted. The statistical indicators of user actions in the official group of the Faculty of Mathematics and Information Technologies of Vasyl Stus Donetsk National University in January, February and March 2019 are presented, as well as the average attraction coefficient of users depending on the subject of publications. The main technologies of astroturfing in the creation process of the higher education institution negative image are considered.


title: Learning Test Traces

abstract: Modern software projects include automated tests written to check the programs' functionality. The set of functions invoked by a test is called the trace of the test, and the action of obtaining a trace is called tracing. There are many tracing tools since traces are useful for a variety of software engineering tasks such as test generation, fault localization, and test execution planning. A major drawback in using test traces is that obtaining them, i.e., tracing, can be costly in terms of computational resources and runtime. Prior work attempted to address this in various ways, e.g., by selectively tracing only some of the software components or compressing the trace on-the-fly. However, all these approaches still require building the project and executing the test in order to get its (partial, possibly compressed) trace. This is still very costly in many cases. In this work, we propose a method to predict the trace of each test without executing it, based only on static properties of the test and the tested program, as well as past experience on different tests. This prediction is done by applying supervised learning to learn the relation between various static features of test and function and the likelihood that one will include the other in its trace. Then, we show how to use the predicted traces in a recent automated troubleshooting paradigm called Learn Diagnose and plan (LDP), instead of the actual, costly-to-obtain, test traces. In a preliminary evaluation on real-world open-source projects, we observe that our prediction quality is reasonable. In addition, using our trace predictions in LDP yields almost the same results comparing to when using real traces, while requiring less overhead.


title: The Data Processor of the EUSO-SPB2 Telescopes

abstract: In this paper we present the Data Processor (DP) of EUSO-SPB2 (Extreme Universe Space Observatory on a Super Pressure Balloon, mission two) telescopes . The EUSO-SPB2 is the continuation of the JEM-EUSO science program on ultra-long duration balloons, started with the EUSO-SPB1 mission. The EUSO-SPB2 will host on-board two telescopes. One is a fluorescence telescope designed to detect high energy cosmic rays via the UV fluorescence emission of the showers in the atmosphere; the other one measures direct Cherenkov light emission from lower energy cosmic rays and other optical backgrounds for cosmogenic tau neutrino detection. The DP is the component of the electronics system which performs data management and instrument control for each of the two telescopes. The DP controls front-end electronics, tags events with arrival time and payload position through a GPS system, provides signals for time synchronization of the event and measures live and dead time of the telescope. Furthermore it manages mass memory for data storage and performs housekeeping monitor and controls the power on and power off sequences. Since a super pressure balloon may remain airborne up to 100 days, the requirements on the electronics and data handling are quite severe. The DP operates at high altitude in unpressurised environment which represents a technological challenge for heat dissipation. In this paper we describe the main components of the system and the design developed for the new mission.


title: Under the Conditions of Non-Agenda Ownership: Social Media Users in the 2019 Ukrainian Presidential Elections Campaign

abstract: Owing to its history and challenging circumstances, social networks community in Ukraine is a very interesting polygon for the study of communications in the constantly changing environment, especially in the political discourse. This unique environment requires three dimensions to ascertain the political position of its participant. But 2019 presidential elections made this object even more spectacular. The winner of elections comedian Volodymyr Zelenskyi reached 73% of votes without any issue ownership, with empty agenda, and this influenced the electoral content of social networks and their authors behavior. We saw, that the issue ownership by other candidates succeeds in making their issues more salient in social networks. But the new phenomena, the non-agenda ownership, overcome any ideological influence, especially under the conditions of punishment mechanism applied to old politicians. Analyzing social media content and users behavior in the period between two rounds of elections, we found considerable overlaps between this campaign and the 2016 Trump campaign. We approved the widespread of filter bubbles, negative campaign messages, fake news and conspiracy theories. Active and powerful core of Ukrainian Facebook that was responsible for the Revolution of dignity now became less significant and even turns into the huge filter bubble of active people. We also proved that manipulations and fake news in the environment of private groups may be as much powerful as in a case of classical communication based around the opinion leaders.


title: Front-end electronics for the GAPS tracker

abstract: The General Antiparticle Spectrometer (GAPS) is an Antarctic balloon-borne mission to indirectly search for dark matter through sensitive observation of cosmic antiparticles. The first flight is planned for late 2021. GAPS is the first experiment optimized specifically for detection of low-energy (< 0.25 GeV/n) antideuterons, which are recognized as distinctive signals from dark matter annihilation or decay in the Galactic halo. To achieve high sensitivity to cosmic antinuclei in this low-energy range, GAPS uses a novel particle identification method based on exotic atom capture and decay. The GAPS instrument consists of ten planes of 1440 10 cm-diameter, 2.5 mm-thick, 8-strip lithium drifted silicon (Si(Li)) detectors, which constitutes the tracker, surrounded by a plastic scintillator time-of-flight system. A new fabrication technique has been developed to satisfy the stringent requirements of the mission. In this contribution, we describe the front-end electronics of the tracker of GAPS. The system is composed of front-end ASICs and power supplies. The ASICs provide readout and digitization of the signal (with an 11-bit ADC) in a wide dynamic range (10 keV - 100 MeV). Every ASIC has 32 channels and performs the readout for 4 detectors, for a total amount of 11520 channels. The ASIC analog front-end is based on a dynamic compression technique to handle a large range of signal amplitudes and features a low noise performance, achieving the required 4 keV resolution at low energies. The power system supplies both bias voltages for the Si(Li) detectors and low voltages for the electronics. 36th


title: Deep Learning-Aided Tabu Search Detection for Large MIMO Systems

abstract: In this study, we consider the application of deep learning (DL) to tabu search (TS) detection in large multiple-input multiple-output (MIMO) systems. First, we propose a deep neural network architecture for symbol detection, termed the fast-convergence sparsely connected detection network (FS-Net), which is obtained by optimizing the prior detection networks called DetNet and ScNet. Then, we propose the DL-aided TS algorithm, in which the initial solution is approximated by the proposed FS-Net. Furthermore, in this algorithm, an adaptive early termination algorithm and a modified searching process are performed based on the predicted approximation error, which is determined from the FS-Net-based initial solution, so that the optimal solution can be reached earlier. The simulation results show that the proposed algorithm achieves approximately 90% complexity reduction for a $32 \times 32$ MIMO system with QPSK with respect to the existing TS algorithms, while maintaining almost the same performance.


title: Laboratory evidence of the halting of magnetic reconnection by a weak guide field

abstract: Magnetic reconnection occurs when two plasmas having co-planar but anti-parallel magnetic fields meet. At the contact point, the field is locally annihilated and the magnetic energy can be released into the surrounding plasma. Theory and numerical modelling still face many challenges in handling this complex process, the predictability of which remains elusive. Here we test, through a laboratory experiment conducted in a controlled geometry, the effect of changing the field topology from two-dimensional to three-dimensional. This is done by imposing an out-of-plane (guide) magnetic field of adjustable strength. A strong slowing down or even halting of symmetric reconnection is observed, even for a weak guide-field. Concomitantly, we observe a delayed heating of the plasma in the reconnection region and modified particle acceleration, with super-Alfvenic outflows ejected along the reconnection layer. These observations highlight the importance of taking into account three-dimensional effects in the many reconnection events taking place in natural and laboratory environments.


title: Near-perfect measuring of full-field transverse-spatial modes of light

abstract: Along with the growing interest in using the transverse-spatial modes of light in quantum and classical optics applications, developing an accurate and efficient measurement method has gained importance. Here, we present a technique relying on a unitary mode conversion for measuring any full-field transverse-spatial mode. Our method only requires three consecutive phase modulations followed by a single mode fiber and is, in principle, error-free and lossless. We experimentally test the technique using a single spatial light modulator and achieve an average error of 4.2% for a set of 9 different full-field Laguerre-Gauss and Hermite-Gauss modes with an efficiency of up to 70%. Moreover, as the method can also be used to measure any complex superposition state, we demonstrate its potential in a quantum cryptography protocol and in high-dimensional quantum state tomography.


title: Observation and characterization of the zero energy conductance peak in the vortex core state of FeTe$_{0.55}$Se$_{0.45}$

abstract: The search for the Majorana fermions in condensed matter physics has attracted much attention, partially because they may be used for the fault-tolerant quantum computation. It has been predicted that the Majorana zero mode may exist in the vortex core of topological superconductors. Recently, many iron-based superconductors are claimed to exhibit a topologically nontrivial surface state, including Fe(Te,Se). Some previous experiments through scanning tunneling microscopy (STM) have found zero-bias conductance peaks (ZBCP) within the vortex cores of Fe(Te,Se). However, our early experimental results have revealed the Caroli-de Gennes-Matricon (CdGM) discrete quantum levels in about 20% vortices. In many other vortices, we observed a dominant peak locating near zero bias. Here we show further study on the vortex core state of many more vortices in FeTe$_{0.55}$Se$_{0.45}$. In some vortices, if we take a certain criterion of bias voltage window near zero energy, we indeed see a zero energy mode. Some vortices exhibit zero energy bound state peaks with relatively symmetric background, which cannot be interpreted as the CdGM discrete states. The probability for vortices showing the ZBCP lowers down with the increase of magnetic field. Meanwhile it seems that the presence and absence of the ZBCP has no clear relationship with the Te/Se ratio on the surface. Temperature dependence of the spectra reveals that the ZBCP becomes weakened with increasing temperature and disappears at about 4 K. Our results provide a confirmed supplementary to the early claimed zero energy modes within the vortex cores of Fe(Te,Se). Detailed characterization of these zero energy modes versus magnetic field, temperature and spatial distribution of Te/Se will help to clarify its origin.


title: Driven-Dissipative Dynamics of Atomic Ensembles in a Resonant Cavity II: Quasiperiodic Route to Chaos and Chaotic Synchronization

abstract: We analyze the origin and properties of the chaotic dynamics of two atomic ensembles in a driven-dissipative experimental setup, where they are collectively damped by a bad cavity mode and incoherently pumped by a Raman laser. Starting from the mean-field equations, we explain the emergence of chaos by way of quasiperiodicity -- presence of two or more incommensurate frequencies. This is known as the Ruelle-Takens-Newhouse route to chaos. The equations of motion have a $\mathbb{Z}_{2}$-symmetry with respect to the interchange of the two ensembles. However, some of the attractors of these equations spontaneously break this symmetry. To understand the emergence and subsequent properties of various attractors, we concurrently study the mean-field trajectories, Poincar\'{e} sections, maximum and conditional Lyapunov exponents, and power spectra. Using Floquet analysis, we show that quasiperiodicity is born out of non $\mathbb{Z}_{2}$-symmetric oscillations via a supercritical Neimark-Sacker bifurcation. Changing the detuning between the level spacings in the two ensembles and the repump rate results in the synchronization of the two chaotic ensembles. In this regime, the chaotic intensity fluctuations of the light radiated by the two ensembles are identical. Identifying the synchronization manifold, we understand the origin of synchronized chaos as a tangent bifurcation intermittency of the $\mathbb{Z}_{2}$-symmetric oscillations. At its birth, synchronized chaos is unstable. The interaction of this attractor with other attractors causes on-off intermittency until the synchronization manifold becomes sufficiently attractive. We also show coexistence of different phases in small pockets near the boundaries.

categories: nlin.CD cond-mat.mes-hall cond-mat.quant-gas quant-ph


title: Knowledge distillation for optimization of quantized deep neural networks

abstract: Knowledge distillation (KD) is a very popular method for model size reduction. Recently, the technique is exploited for quantized deep neural networks (QDNNs) training as a way to restore the performance sacrificed by word-length reduction. KD, however, employs additional hyper-parameters, such as temperature, coefficient, and the size of teacher network for QDNN training. We analyze the effect of these hyper-parameters for QDNN optimization with KD. We find that these hyper-parameters are inter-related, and also introduce a simple and effective technique that reduces \textit{coefficient} during training. With KD employing the proposed hyper-parameters, we achieve the test accuracy of 92.7% and 67.0% on Resnet20 with 2-bit ternary weights for CIFAR-10 and CIFAR-100 data sets, respectively.


title: Symmetry and the salience of textures

abstract: In this paper we investigate the role of symmetry in visual stimuli designed to probe human sensitivity to image statistics. Our starting point is a recently published parameter space, a point in which defines a family of binary texture images displaying a prescribed content of \nth{1}- to \nth{4}-order correlations among pixels in 2x2 patches. We show that this parameter space can be represented by fewer variables, namely the \emph{orbit invariants} obtained by exploiting texture symmetry. Next we show how a class of locally countable texture statistics, the Minkowski functionals -- recently shown to be a proxy for human performance in texture discrimination tasks - can be written as a linear combination of the dihedral orbit invariants. Furthermore, by recasting these functionals as a combination of dihedral invariants, a generalization of these functionals can be obtained for textures of any number of grey-levels, patch sizes, or lattice types -- greatly reducing the number of dimensions/parameters needed to characterize the generated images. Orbit invariants may therefore provide a clue on the discrimination of these richer textures, as the ordinary Minkowski functionals do for binary textures.


title: Characterization of $k-$smooth operators between Banach spaces

abstract: We study $k-$smoothness of bounded linear operators defined between arbitrary Banach spaces. As an application, we characterize $k-$smooth operators defined from $\ell_1^n$ to an arbitrary Banach space. We also completely characterize $k-$smooth operators defined between arbitrary two-dimensional Banach spaces.


title: Subset Multivariate Collective And Point Anomaly Detection

abstract: In recent years, there has been a growing interest in identifying anomalous structure within multivariate data streams. We consider the problem of detecting collective anomalies, corresponding to intervals where one or more of the data streams behaves anomalously. We first develop a test for a single collective anomaly that has power to simultaneously detect anomalies that are either rare, that is affecting few data streams, or common. We then show how to detect multiple anomalies in a way that is computationally efficient but avoids the approximations inherent in binary segmentation-like approaches. This approach, which we call MVCAPA, is shown to consistently estimate the number and location of the collective anomalies, a property that has not previously been shown for competing methods. MVCAPA can be made robust to point anomalies and can allow for the anomalies to be imperfectly aligned. We show the practical usefulness of allowing for imperfect alignments through a resulting increase in power to detect regions of copy number variation.


title: Spectral variations of Lyman-alpha emission within strongly lensed sources observed with MUSE

abstract: We present an analysis of HI Lyman-alpha emission in deep VLT/MUSE observations of two highly magnified and extended galaxies at z=3.5 and 4.03, including a newly discovered, almost complete Einstein ring. While these Lyman-alpha haloes are intrinsically similar to the ones typically seen in other MUSE deep fields, the benefits of gravitational lensing allows us to construct exceptionally detailed maps of Lyman-alpha line properties at sub-kpc scales. By combining all multiple images, we are able to observe complex structures in the Lyman-alpha emission and uncover small (~ 120 km/s in Lyman-alpha peak shift), but significant at > 4 sigma, systematic variations in the shape of the Lyman-alpha line profile within each halo. Indeed, we observe a global trend for the line peak shift to become redder at large radii, together with a strong correlation between the peak wavelength and line width. This systematic intrahalo variation is markedly similar to the object-to-object variations obtained from the integrated properties of recent large samples. Regions of high surface brightness correspond to relatively small line shifts, which could indicate that Lyman-alpha emission escapes preferentially from regions where the line profile has been less severely affected by scattering of Lyman-alpha photons.


title: On Frobenius-Perron Dimension

abstract: We propose a notion of Frobenius-Perron dimension for certain free $\mathbb{Z}$-modules of infinite rank and compute it for the $\mathbb{Z}$-modules of finite dimensional complex representations of unitary groups with nonnegative dominant weights. We also provide a lower bound for the Frobenius-Perron dimension of Schubert classes in the quantum cohomology of complex Grassmannians.


title: Suppression of Penning ionization by orbital angular momentum conservation

abstract: The efficient suppression of Penning-ionizing collisions is a stringent requirement to achieve quantum degeneracy in metastable rare gases. Thus far, such loss processes have been avoided by electron-spin polarizing the collision partners. Here, we report on the efficient suppression of Penning ionization in collisions between metastable He and laser-excited Li atoms. The results illustrate that not only the electron spin, but also $\Lambda$ - the projection of the total molecular orbital angular momentum along the internuclear axis - is conserved during the ionization process. Our findings suggest that $\Lambda$ conservation can be used as a more general means of reaction control, for example, to improve schemes for the simultaneous laser cooling and trapping of metastable He and alkali atoms.


title: On the regularity of the total variation minimizers

abstract: We prove regularity results for the unique minimizer of the total variation functional, currently used in image processing analysis since the work by L. Rudin, S. Osher and E. Fatemi. In particular we show that if the source term $f$ is locally, respectively globally, Lipschitz, then the solution has the same regularity with local, respectively global, Lipschitz norm estimated accordingly. The result is proved in any dimension and for any (regular) domain. So far we extend a similar result proved earlier by V. Caselles, A. Chambolle and M. Novaga for dimension $N\leq 7$ and (in case of the global regularity) for convex domains.


title: Dynamics of coupled modes for sliding particles on a fluctuating landscape

abstract: The recently developed formalism of nonlinear fluctuating hydrodynamics (NLFH) has been instrumental in unraveling many new dynamical universality classes in coupled driven systems with multiple conserved quantities. In principle, this formalism requires knowledge of the exact expression of locally conserved current in terms of local density of the conserved components. However, for most nonequilibrium systems an exact expression is not available and it is important to know what happens to the predictions of NLFH in these cases. We address this question for the first time here in a system with coupled time evolution of sliding particles on a fluctuating energy landscape. In the disordered phase this system shows short-ranged correlations, this system shows short-ranged correlations, the exact form of which is not known, and so the exact expression for current cannot be obtained. We use approximate expressions based on mean-field theory and corrections to it, to test the prediction of NLFH using numerical simulations. In this process we also discover important finite size effects and show how they affect the predictions of NLFH. We find that our system is rich enough to show a large variety of universality classes. From our analytics and simulations we have been able to find parameter values which lead to diffusive, Kardar-Parisi-Zhang (KPZ), $5/3 $ L\'evy and modified KPZ universality classes. Interestingly, the scaling function in the modified KPZ case turns out to be close to the Pr\"ahofer-Spohn function which is known to describe usual KPZ scaling. Our analytics also predict the golden mean and the $3/2$ L\'evy universality classes within our model but our simulations could not verify this, perhaps due to strong finite size effects.


title: Efficient elimination of Skolem functions in $\text{LK}^{\text{h}}$

abstract: Elimination of a single Skolem function in pure logic increases the length of proofs only linearly. The result is shown for derivations with cuts that are free for the Skolem function in a sequent calculus with strong locality property.


title: Dynamical correlations of conserved quantities in the one-dimensional equal mass hard particle gas

abstract: We study a gas of point particles with hard-core repulsion in one dimension where the particles move freely in-between elastic collisions. We prepare the system with a uniform density on the infinite line. The velocities $\{v_i; i \in \mathbb{Z} \}$ of the particles are chosen independently from a thermal distribution. Using a mapping to the non-interacting gas, we analytically compute the equilibrium spatio-temporal correlations $\langle v_i^m(t) v_j^n(0)\rangle$ for arbitrary integers $m,n$. The analytical results are verified with microscopic simulations of the Hamiltonian dynamics. The correlation functions have ballistic scaling, as expected in an integrable model.


title: Application of a two dipole model to PSR J1640-4631, a pulsar with an anomalous braking index

abstract: Recent timing observation provides an intriguing result for the braking index of the X-ray pulsar PSR J1640-4631, which has a measured braking index $n=3.15\pm0.03$. The decrease of the inclination angle between between the spin axis and the magnetic axis can be responsible for such a high braking index. However, the physical mechanisms causing the change of the magnetic inclination angle have not been fully understood. In this Letter, we apply a two-dipole model given by Hamil et al (2016) to explain the decrease of the magnetic inclination angle of PSR J1640-4631. The rotation effect of a charged sphere and the magnetization of ferromagnetically ordered material produce magnetic moments $M_{1}$ and $M_{2}$, respectively. There exist a minimum of the potential energy for the magnetic moment $M_{2}$ in the magnetic field of $M_{1}$, hence the $M_{2}$ will freely rotate around the minimum energy position (i. e equilibrium position), similar to a simple pendulum. Our calculation indicate the magnetic moment $M_{2}$ would evolve towards alignment with the spin axis for PSR J1640-4631, and cause the magnetic inclination angle to decrease. The single peak in the pulse profile favors a relatively low change rate of the magnetic inclination angle.


title: DurIAN: Duration Informed Attention Network For Multimodal Synthesis

abstract: In this paper, we present a generic and robust multimodal synthesis system that produces highly natural speech and facial expression simultaneously. The key component of this system is the Duration Informed Attention Network (DurIAN), an autoregressive model in which the alignments between the input text and the output acoustic features are inferred from a duration model. This is different from the end-to-end attention mechanism used, and accounts for various unavoidable artifacts, in existing end-to-end speech synthesis systems such as Tacotron. Furthermore, DurIAN can be used to generate high quality facial expression which can be synchronized with generated speech with/without parallel speech and face data. To improve the efficiency of speech generation, we also propose a multi-band parallel generation strategy on top of the WaveRNN model. The proposed Multi-band WaveRNN effectively reduces the total computational complexity from 9.8 to 5.5 GFLOPS, and is able to generate audio that is 6 times faster than real time on a single CPU core. We show that DurIAN could generate highly natural speech that is on par with current state of the art end-to-end systems, while at the same time avoid word skipping/repeating errors in those systems. Finally, a simple yet effective approach for fine-grained control of expressiveness of speech and facial expression is introduced.


title: SAO WMT19 Test Suite: Machine Translation of Audit Reports

abstract: This paper describes a machine translation test set of documents from the auditing domain and its use as one of the "test suites" in the WMT19 News Translation Task for translation directions involving Czech, English and German. Our evaluation suggests that current MT systems optimized for the general news domain can perform quite well even in the particular domain of audit reports. The detailed manual evaluation however indicates that deep factual knowledge of the domain is necessary. For the naked eye of a non-expert, translations by many systems seem almost perfect and automatic MT evaluation with one reference is practically useless for considering these details. Furthermore, we show on a sample document from the domain of agreements that even the best systems completely fail in preserving the semantics of the agreement, namely the identity of the parties.


title: Longitudinal correlations from fluctuating strings in Pb-Pb, p-Pb, and p-p collisions

abstract: In a framework of a semi-analytic model with longitudinally extended strings of fluctuating end-points, we demonstrate that the rapidity spectra and two-particle correlations in collisions of Pb-Pb, p-Pb, and p-p at the energies of the Large Hadron Collider can be universally reproduced. In our approach, the strings are pulled by wounded constituents appearing in the Glauber modeling at the partonic level. The obtained rapidity profile for the emission of hadrons from a string yields bounds for the distributions of the end-point fluctuations. Then, limits for the two-particle-correlations in pseudorapidity can be obtained. Our results are favorably compared to recent experimental data from the ATLAS Collaboration.


title: A note on the optimal rubbling in ladders and prisms

abstract: A pebbling move on a graph G consists of the removal of two pebbles from one vertex and the placement of one pebble on an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed, which is also called the strict rubbling move. In this new move, one pebble each is removed from u and v adjacent to a vertex w, and one pebble is added on w. The optimal rubbling number of a graph G is the smallest number m, such that one pebble can be moved to every given vertex from some pebble distribution of m pebbles by a sequence of rubbling moves. In this paper, we give short proofs to determine the rubbling number of cycles and the optimal rubbling number of paths, cycles, ladders, prisms and Mobius-ladders.


title: The long-lived inner bar of NGC1291

abstract: The question whether stellar bars are either transitory features or long-lived structures is still matter of debate. This problem is more acute for double-barred systems where even the formation of the inner bar remains a challenge for numerical studies. We present a thorough study of the central structures of the double-barred galaxy NGC1291. We used a two-dimensional multi-component photometric decomposition performed on the 3.6$\mu$m images from S$^4$G, combined with both stellar kinematics and stellar population analysis carried out using integral field data from the MUSE TIMER project. We report on the discovery of the first Box-Peanut (B/P) structure in an inner bar detected in the face-on galaxy NGC1291. The B/P structure is detected as bi-symmetric minima of the $h_4$ moment of the line-of-sight velocity distribution along the major axis of the inner bar, as expected from numerical simulations. Our observations demonstrate that inner bars (similarly as outer bars) can suffer buckling instabilities, thus suggesting they can survive a long time after bar formation. The analysis of the star formation history for the structural components shaping the central regions of NGC 1291 also constrains the epoch of dynamical assembly of the inner bar, which took place $>$6.5 Gyr ago for NGC1291. Our results imply that the inner bar of NGC1291 is a long-lived structure.


title: A refinement of Reznick's Positivstellensatz with applications to quantum information theory

abstract: In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as partial traces, optimal cloning maps, and an identity due to Chiribella) we give simpler proofs and minor improvements of both real and complex versions of this result. Moreover, we discuss constructions of Hilbert identities using Gaussian integrals and we review an elementary method to construct complex spherical designs. Finally, we apply our results to give improved bounds for exponential quantum de Finetti theorems in the real and in the complex setting.


title: Branched Josephson junctions: Current carrying solitons in external magnetic fields

abstract: We consider branched Josephson junction created by planar superconductors connected to each other through the Y-junction insulator. Assuming that the structure interacts with the external constant magnetic field, we study static sine-Gordon solitons in such system by modeling them in terms of the stationary sine-Gordon equation on metric graph. Exact analytical solutions of the problem are obtained and their stability is analyzed.


title: Experimental test of strong pinning and creep in current-voltage characteristics of type II superconductors

abstract: Pinning and creep determine the current--voltage characteristic of a type II superconductor and thereby its potential for technological applications. The recent development of strong pinning theory provides us with a tool to assess a superconductor's electric properties in a quantitative way. Motivated by the observation of typical excess-current characteristics and field-scaling of critical currents, here, we analyze current--voltage characteristics measured on 2H-NbSe$_2$ and $a$-MoGe type II superconductors within the setting provided by strong pinning theory. The experimentally observed shift and rounding of the voltage-onset is consistent with the predictions of strong pinning in the presence of thermal fluctuations. We find the underlying parameters determining pinning and creep and discuss their consistency.


title: Non-Clausius heat transfer: the example of harmonic chain with an impurity

abstract: Motivated by recent discussion about the possibility of non-Clausius (from cold to hot) heat flow, we revisit the familiar model of an impurity atom of mass $M$ embedded in an otherwise uniform one-dimensional harmonic lattice of host atoms of mass $m$. Assuming that the initial distributions for the impurity and the rest of the lattice have canonical forms with given temperatures, we show that the average kinetic energy of the impurity may increase with time even if its initial temperature is higher than or equal to that of the lattice. Such an increase is only temporary in uniform lattices and in lattices with a heavy impurity ($M\ge m$), but may be permanent in lattices with a localized vibrational mode generated by a light impurity ($M<m$). Thus the model shows a non-Clausius spontaneous heat flow directed from a colder lattice to a hotter impurity.


title: Adaptive Anomaly Detection in Chaotic Time Series with a Spatially Aware Echo State Network

abstract: This work builds an automated anomaly detection method for chaotic time series, and more concretely for turbulent, high-dimensional, ocean simulations. We solve this task by extending the Echo State Network by spatially aware input maps, such as convolutions, gradients, cosine transforms, et cetera, as well as a spatially aware loss function. The spatial ESN is used to create predictions which reduce the detection problem to thresholding of the prediction error. We benchmark our detection framework on different tasks of increasing difficulty to show the generality of the framework before applying it to raw climate model output in the region of the Japanese ocean current Kuroshio, which exhibits a bimodality that is not easily detected by the naked eye. The code is available as an open source Python package, Torsk, available at https://github.com/nmheim/torsk, where we also provide supplementary material and programs that reproduce the results shown in this paper.


title: Superconductivity of Electron-Doped NdOBiS2 by Substitution of Mixed-Valence Ce ions

abstract: Superconductivity is achieved in Nd1-xCexOBiS2 via electron doping using mixed-valence Ce ions. Single crystals with x = 0.2, 0.3, 0.4, and 0.5 are generated using a CsCl flux method. Plate-like single crystals with dimensions of 0.8 0.8 0.2 mm3 were obtained. The magnetic susceptibility chi(T) indicates large diamagnetism, and the electrical resistivity rho(T) indicates zero resistivity. The maximum value of Tc is observed at 4.7 K in Nd0.8Ce0.2OBiS2 from chi(T). From the rho(T) measurements taken in several magnetic fields, the upper critical field mu0Hc2(0) is estimated to be about 12 and 0.34 T for the ab- and c-planes, respectively. We redetermined mu0Hc2(0) of NdO0.7F0.3BiS2, as about 35 and 0.78 T for the ab- and c-planes, respectively. The anisotropic parameter is estimated to be about 35 for Nd0.7Ce0.3OBiS2 and 45 for NdO0.7F0.3BiS2. The mu0Hc2(0) of Nd0.7Ce0.3OBiS2 is approximately two times smaller than that of NdO0.7F0.3BiS2, although the difference of Gamma is approximately 10.


title: Simulation and computational analysis of multiscale graph agent-based tumor model

abstract: This paper deals with the cellular biological network analysis of the tumor-growth model, consisting of multiple spaces and time scales. In this paper, we present a model in graph simulation using ABM for tumor growth. In particular, we propose a graph agent-based modeling and simulation system in the format of tumor growth scenario for evolving analysis. To manage cellular biological network analysis, we developed a workflow that allows us to estimate the tumor model and the complexity of the evolving behavior in a principled manner. By developing the model using Python, which has enabled us to run the model multiple times (more than what is possible by conventional means) to generate a large amount of data, we have succeeded in getting deep in to the micro-environment of the tumor, employing network analysis. Combining agent-based modeling with graph-based modeling to simulate the structure, dynamics, and functions of complex networks is exclusively important for biological systems with a large number of open parameters, e.g., epidemic models of disease spreading or cancer. Extracting data from evolutionary directed graphs and a set of centrality algorithms helps us to tackle the problems of pathway analysis and to develop the ability to predict, control, and design the function of metabolisms. Reproducing and performing complex parametric simulations a known phenomenon at a sufficient level of detail for computational biology could be an impressive achievement for fast analysis purposes in clinics, both on the predictive diagnostic and therapeutic side.


title: On some integral operators appearing in scattering theory, and their resolutions

abstract: We discuss a few integral operators and provide expressions for them in terms of smooth functions of some natural self-adjoint operators. These operators appear in the context of scattering theory, but are independent of any perturbation theory. The Hilbert transform, the Hankel transform, and the finite interval Hilbert transform are among the operators considered.


title: Proximity-induced ferromagnetism and chemical reactivity in few layers VSe2 heterostructures

abstract: Among Transition-Metal Dichalcogenides, mono and few-layers thick VSe2 has gained much recent attention following claims of intrinsic room-temperature ferromagnetism in this system, which have nonetheless proved controversial. Here, we address the magnetic and chemical properties of Fe/VSe2 heterostructure by combining element sensitive absorption spectroscopy and photoemission spectroscopy. Our x-ray magnetic circular dichroism results confirm recent findings that both native mono/few-layer and bulk VSe2 do not show any signature of an intrinsic ferromagnetic ordering. Nonetheless, we find that ferromagnetism can be induced, even at room temperature, after coupling with a Fe thin film layer, with antiparallel alignment of the moment on the V with respect to Fe. We further consider the chemical reactivity at the Fe/VSe2 interface and its relation with interfacial magnetic coupling.


title: Generalized asymptotic Sidon basis

abstract: Let $h,k \ge 2$ be integers. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called $B_{h}[g]$ set if all positive integers can be represented as the sum of $h$ terms from $A$ at most $g$ times. In this paper we prove the existence of $B_{h}[1]$ sets which are asymptotic bases of order $2h+1$ by using probabilistic methods.


title: $\pi\pi$ scattering from a similarity renormalization group perspective

abstract: A Wilsonian approach based on the Similarity Renormalization Group to $\pi\pi$ scattering is analyzed in the $JI=$00, 11 and 02 channels in momentum space up to a maximal CM energy of $\sqrt{s}=1.4$ GeV. We identify the Hamiltonian by means of the 3D reduction of the Bethe-Salpeter equation in the Kadyschevsky scheme. We propose a new method to integrate the SRG equations based in the Crank-Nicolson algorithm with a single step finite difference so that isospectrality is preserved at any step of the calculations. We discuss issues on the high momentum tails present in the fitted interactions hampering calculations.


title: ScisummNet: A Large Annotated Corpus and Content-Impact Models for Scientific Paper Summarization with Citation Networks

abstract: Scientific article summarization is challenging: large, annotated corpora are not available, and the summary should ideally include the article's impacts on research community. This paper provides novel solutions to these two challenges. We 1) develop and release the first large-scale manually-annotated corpus for scientific papers (on computational linguistics) by enabling faster annotation, and 2) propose summarization methods that integrate the authors' original highlights (abstract) and the article's actual impacts on the community (citations), to create comprehensive, hybrid summaries. We conduct experiments to demonstrate the efficacy of our corpus in training data-driven models for scientific paper summarization and the advantage of our hybrid summaries over abstracts and traditional citation-based summaries. Our large annotated corpus and hybrid methods provide a new framework for scientific paper summarization research.


title: On the role of the Vacuum Energy in the Thermodynamics of Neutron Matter

abstract: The only way neutron matter can couple to the electromagnetic field is through an anomalous coupling, which plays an important role in the thermodynamics of pure neutron matter. Such theories are, however, perturbatively non-renormalisable, which presents a difficulty in terms of the unambiguous treatment of the divergencies. Here we show that despite this, an unambiguous expression can be obtained for the vacuum energy contribution to the grand canonical potential in the case of a constant magnetic field. We find that this contribution is quite small, which justifies the no-sea approximation usually made. We also discuss the density and temperature dependence of the full grand canonical potential.


title: Characteristic radii of the Milky Way Globular Clusters

abstract: We report on the extent of the effects of the Milky Way's gravitational field in shaping the structural parameters and internal dynamics of its globular cluster population. We make use of a homogeneous, up-to-date data set with kinematics, structural properties, current and initial masses of 156 globular clusters. In general, cluster radii increase as the Milky Way potential weakens; with the core and Jacobi radii being those which increase at the slowest and fastest rate respectively. We interpret this result as the innermost regions of globular clusters being less sensitive to changes in the tidal forces with the Galactocentric distance. The Milky Way's gravitational field also seems to have differentially accelerated the internal dynamical evolution of individual clusters, with those toward the bulge appearing dynamically older. Finally we find a sub-population consisting of both compact and extended globular clusters (as defined by their rh/rJ ratio) beyond 8 kpc that appear to have lost a large fraction of their initial mass lost via disruption. Moreover, we identify a third group with rh/rJ > 0.4, which have lost an even larger fraction of their initial mass by disruption. In both cases the high fraction of mass lost is likely due to their large orbital eccentricities and inclination angles, which lead to them experiencing more tidal shocks at perigalacticon and during disc crossings. Comparing the structural and orbital parameters of individual clusters allows for constraints to be placed on whether or not their evolution was relaxation or tidally dominated.


title: The Rate of Planet-star Coalescences Due to Tides and Stellar Evolution

abstract: Orbits of close-in planets can shrink significantly due to dissipation of tidal energy in a host star. This process can result in star-planet coalescence within the Galactic lifetime. In some cases, such events can be accompanied by an optical or/and UV/X-ray transient. Potentially, these outbursts can be observed in near future with new facilities such as LSST from distances about few Mpc. We use a population synthesis model to study this process and derive the rate of star-planet mergers of different types. Mostly, planets are absorbed by red giants. However, these events, happening with the rate about 3 per year, mostly do not produce detectable transients. The rate of mergers with main sequence stars depends on the effectiveness of tidal dissipation; for reasonable values of stellar tidal quality factor, such events happen in a Milky Way-like galaxy approximately once in 70 yrs or more rarely. This rate is dominated by planets with low masses. Such events do not produce bright transients having maximum luminosities $\lesssim 10^{36.5}$erg s$^{-1}$. Brighter events, related to massive planets, with maximum luminosity $\sim 10^{37.5}$--$10^{38}$erg s$^{-1}$, have the rate nearly five times smaller.


title: Different Absorption from the Same Sharing: Sifted Multi-task Learning for Fake News Detection

abstract: Recently, neural networks based on multi-task learning have achieved promising performance on fake news detection, which focus on learning shared features among tasks as complementary features to serve different tasks. However, in most of the existing approaches, the shared features are completely assigned to different tasks without selection, which may lead to some useless and even adverse features integrated into specific tasks. In this paper, we design a sifted multi-task learning method with a selected sharing layer for fake news detection. The selected sharing layer adopts gate mechanism and attention mechanism to filter and select shared feature flows between tasks. Experiments on two public and widely used competition datasets, i.e. RumourEval and PHEME, demonstrate that our proposed method achieves the state-of-the-art performance and boosts the F1-score by more than 0.87%, 1.31%, respectively.


title: On a Conjecture of Lov\'asz on Circle-Representations of Simple 4-Regular Planar Graphs

abstract: Lov\'asz conjectured that every connected 4-regular planar graph G admits a realization as a system of circles, i.e., it can be drawn on the plane utilizing a set of circles, such that the vertices of G correspond to the intersection and touching points of the circles and the edges of G are the arc segments among pairs of intersection and touching points of the circles. In this paper, we settle this conjecture. In particular, (a) we first provide tight upper and lower bounds on the number of circles needed in a realization of any simple 4-regular planar graph, (b) we affirmatively answer Lov\'asz's conjecture, if G is 3-connected, and (c) we demonstrate an infinite class of simple connected 4-regular planar graphs which are not 3-connected (i.e., either simply connected or biconnected) and do not admit realizations as a system of circles.


title: Chase-escape with death on trees

abstract: Chase-escape is a competitive growth process in which red particles spread to adjacent uncolored sites, while blue particles overtake adjacent red particles. We introduce the variant in which red particles die and describe the phase diagram for the resulting process on infinite d-ary trees. A novel connection to weighted Catalan numbers makes it possible to characterize the critical behavior.


title: Random Graph Models and Matchings

abstract: In this paper we will provide an introductory understanding of random graph models, and matchings in the case of Erdos-Renyi random graphs. We will provide a synthesis of background theory to this end. We will further examine pertinent recent results and provide a basis of further exploration.


title: Leray turbulence: what can we learn from acceleration compared to velocity

abstract: In a recent paper we presented evidence for the occurence of Leray-like singularities with positive Sedov-Taylor exponent $\alpha$ in turbulent flows recorded in Modane's wind tunnel, by looking at simultaneous acceleration and velocity records. Here we use another tool which allows to get other informations on the dynamics of turbulent bursts. We compare the structure functions for velocity and acceleration in the same turbulent flows. This shows the possible contribution of other types of self-similar solutions because this new study shows that statistics is seemingly dominated by singularities with small positive or even negative values of the exponent $\alpha$, that corresponds to "weakly singular" solutions with singular acceleration, and regular velocity. We present several reasons explaining that the exponent $\alpha$ derived from the structure functions curves, may look to be negative.


title: Transforming Gaussian correlations. Applications to generating long-range power-law correlated time series with arbitrary distribution

abstract: The observable outputs of many complex dynamical systems consist in time series exhibiting autocorrelation functions of great diversity of behaviors, including long-range power-law autocorrelation functions, as a signature of interactions operating at many temporal or spatial scales. Often, algorithms able to generate correlated noises reproducing the properties of real time series produce \textsl{Gaussian} outputs, while real, experimentally observed time series are often non-Gaussian, and may follow distributions with a diversity of behaviors concerning the support, the symmetry or the tail properties. Here, we study how the correlation of two Gaussian variables changes when they are transformed to follow a different destination distribution. Specifically, we consider bounded and unbounded distributions, symmetric and non-symmetric distributions, and distributions with different tail properties, from decays faster than exponential to heavy tail cases including power-laws, and we find how these properties affect the correlation of the final variables. We extend these results to Gaussian time series which are transformed to have a different marginal distribution, and show how the autocorrelation function of the final non-Gaussian time series depends on the Gaussian correlations and on the final marginal distribution. As an application of our results, we propose how to generalize standard algorithms producing Gaussian power-law correlated time series in order to create synthetic time series with arbitrary distribution and controlled power-law correlations. Finally, we show a practical example of this algorithm by generating time series mimicking the marginal distribution and the power-law tail of the autocorrelation function of a real time series: the absolute returns of stock prices.


title: Nanotube Double Quantum Dot Spin Transducer for Scalable Quantum Information Processing

abstract: One of the key challenges for the implementation of scalable quantum information processing is the design of scalable architectures that support coherent interaction and entanglement generation between distant quantum systems. We propose a nanotube double quantum dot spin transducer that allows to achieve steady-state entanglement between nitrogen-vacancy center spins in diamond with spatial separations over micrometers. The distant spin entanglement further enables us to design a scalable architecture for solid-state quantum information processing based on a hybrid platform consisting of nitrogen-vacancy centers and carbon-nanotube double quantum dots.


title: Heterogeneous Collaborative Filtering

abstract: Recommendation system is important to a content sharing/creating social network. Collaborative filtering is a widely-adopted technology in conventional recommenders, which is based on similarity between positively engaged content items involving the same users. Conventional collaborative filtering (CCF) suffers from cold start problem and narrow content diversity. We propose a new recommendation approach, heterogeneous collaborative filtering (HCF) to tackle these challenges at the root, while keeping the strength of collaborative filtering. We present two implementation algorithms of HCF for content recommendation and content dissemination. Experiment results demonstrate that our approach improve the recommendation quality in a real world social network for content creating and sharing.


title: Electrocrystallization of Supercooled Water Confined by Graphene Walls

abstract: Any structural transformation of water is sensitive to an external electric field, since water molecules have dipole moments. We study influence of external uniform electric field on crystallization of supercooled water enclosed between two graphene planes. Crystallization of such the system is caused by ordinary relaxation of the metastable phase into an ordered (crystalline) phase and by dipole alignment induced by an applied electric field. We found that this system at the temperature $T=268$ K, where water has the density $0.94$ g/cm$^3$ and the applied electric field is of the magnitude $E=0.5~\textrm{V}$/Angstrom, crystallizes into the cubic ice with few the defects, and the crystallization proceeds over the time scale $\sim 5.0$ ns. The obtained results can be directly used to develop the methods to drive by water crystallization.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Joint Radar-Communications Strategies for Autonomous Vehicles

abstract: Self-driving cars constantly asses their environment in order to choose routes, comply with traffic regulations, and avoid hazards. To that aim, such vehicles are equipped with wireless communications transceivers as well as multiple sensors, including automotive radars. The fact that autonomous vehicles implement both radar and communications motivates designing these functionalities in a joint manner. Such dual function radar-communications (DFRC) designs are the focus of a large body of recent works. These approaches can lead to substantial gains in size, cost, power consumption, robustness, and performance, especially when both radar and communications operate in the same range, which is the case in vehicular applications. This article surveys the broad range of DFRC strategies and their relevance to autonomous vehicles. We identify the unique characteristics of automotive radar technologies and their combination with wireless communications requirements of self-driving cars. Then, we map the existing DFRC methods along with their pros and cons in the context of autonomous vehicles, and discuss the main challenges and possible research directions for realizing their full potential.


title: Deep Convolutional Networks in System Identification

abstract: Recent developments within deep learning are relevant for nonlinear system identification problems. In this paper, we establish connections between the deep learning and the system identification communities. It has recently been shown that convolutional architectures are at least as capable as recurrent architectures when it comes to sequence modeling tasks. Inspired by these results we explore the explicit relationships between the recently proposed temporal convolutional network (TCN) and two classic system identification model structures; Volterra series and block-oriented models. We end the paper with an experimental study where we provide results on two real-world problems, the well-known Silverbox dataset and a newer dataset originating from ground vibration experiments on an F-16 fighter aircraft.


title: Origin of the Cosmological Constant

abstract: The observed value of the cosmological constant corresponds to a time scale that is very close to the current conformal age of the universe. Here we show that this is not a coincidence but is caused by a periodic boundary condition, which only manifests itself when the metric is represented in Euclidian spacetime. The circular property of the metric in Euclidian spacetime becomes an exponential evolution (de Sitter or $\Lambda$ term) in ordinary spacetime. The value of $\Lambda$ then gets uniquely linked to the period in Euclidian conformal time, which corresponds to the conformal age of the universe. Without the use of any free model parameters we predict the value of the dimensionless parameter $\Omega_\Lambda$ to be 67.2 %, which is within $2\sigma$ of the value derived from CMB observations.


title: Gravitational wave emission from quadrupole Josephson junction device

abstract: We suggest a hybrid quantum mechanical/classical set up capable of gravitational wave emission. The proposed device consists of two superconducting tunneling junctions which act as quantum voltage-to-frequency converters and produce oscillation of the charges (masses) in the superconducting condensate. The classical interpretation of the set up is associated with the particular arrangement which leads to suppression of the dipole radiation and formation of time dependent quadrupole mass moment - the gravitational wave source. The proposed device converts electrical energy/momentum into gravitational ones thus suggesting a form of propulsion. Provided the reverse effect: curvature-to-voltage conversion is possible, the device represents an emitter-receiver pair for gravitational wave based communication (favorable $1/r$ fall off with distance).


title: Non-Trivial Effects of Sourceless Forces for Spinors: Toward an Aharonov-Bohm gravitational effect?

abstract: Spinor fields are written in polar form so as to compute their tensorial connection, an object that contains the same information of the connection but which is also proven to be a real tensor. From this, one can still compute the Riemann curvature, encoding the information about gravity. But even in absence of gravity, when the Riemann curvature vanishes, it may still be possible that the tensorial connection remains different from zero, and this can have effects on matter. This is shown with examples in the two known integrable cases: the hydrogen atom and the harmonic oscillator. The fact that a spinor can feel effects due to sourceless actions is already known in electrodynamics as the Aharonov-Bohm phenomenon. A parallel between the electrodynamics case and the situation encountered here will be drawn. Some ideas about relativistic effects and their role for general treatments of quantum field theories are also underlined.


title: Comment on "Emergent Gravity and the Dark Universe" by Erik Verlinde

abstract: In "Emergent Gravity and the Dark Universe," Verlinde mistakenly used a wrong relation $\Phi_B(r)=GM_B(r)/r$ to derive one of his equations. Of course, a correct relation is $\Phi_B(r)=\int GM_B(r')/r'^2 dr'$. This makes the equation that he derived not valid. If this equation is nevertheless correct, his earlier equation from which he derived it is wrong.


title: Using Contextual Information to Improve Blood Glucose Prediction

abstract: Blood glucose value prediction is an important task in diabetes management. While it is reported that glucose concentration is sensitive to social context such as mood, physical activity, stress, diet, alongside the influence of diabetes pathologies, we need more research on data and methodologies to incorporate and evaluate signals about such temporal context into prediction models. Person-generated data sources, such as actively contributed surveys as well as passively mined data from social media offer opportunity to capture such context, however the self-reported nature and sparsity of such data mean that such data are noisier and less specific than physiological measures such as blood glucose values themselves. Therefore, here we propose a Gaussian Process model to both address these data challenges and combine blood glucose and latent feature representations of contextual data for a novel multi-signal blood glucose prediction task. We find this approach outperforms common methods for multi-variate data, as well as using the blood glucose values in isolation. Given a robust evaluation across two blood glucose datasets with different forms of contextual information, we conclude that multi-signal Gaussian Processes can improve blood glucose prediction by using contextual information and may provide a significant shift in blood glucose prediction research and practice.


title: Beyond Human-Level Accuracy: Computational Challenges in Deep Learning

abstract: Deep learning (DL) research yields accuracy and product improvements from both model architecture changes and scale: larger data sets and models, and more computation. For hardware design, it is difficult to predict DL model changes. However, recent prior work shows that as dataset sizes grow, DL model accuracy and model size grow predictably. This paper leverages the prior work to project the dataset and model size growth required to advance DL accuracy beyond human-level, to frontier targets defined by machine learning experts. Datasets will need to grow $33$--$971 \times$, while models will need to grow $6.6$--$456\times$ to achieve target accuracies. We further characterize and project the computational requirements to train these applications at scale. Our characterization reveals an important segmentation of DL training challenges for recurrent neural networks (RNNs) that contrasts with prior studies of deep convolutional networks. RNNs will have comparatively moderate operational intensities and very large memory footprint requirements. In contrast to emerging accelerator designs, large-scale RNN training characteristics suggest designs with significantly larger memory capacity and on-chip caches.


title: Tensor decompositions on simplicial complexes with invariance

abstract: We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.


title: Binocular Rivalry Oriented Predictive Auto-Encoding Network for Blind Stereoscopic Image Quality Measurement

abstract: Stereoscopic image quality measurement (SIQM) has become increasingly important for guiding stereo image processing and commutation systems due to the widespread usage of 3D contents. Compared with conventional methods which are relied on hand-crafted features, deep learning oriented measurements have achieved remarkable performance in recent years. However, most existing deep SIQM evaluators are not specifically built for stereoscopic contents and consider little prior domain knowledge of the 3D human visual system (HVS) in network design. In this paper, we develop a Predictive Auto-encoDing Network (PAD-Net) for blind/No-Reference stereoscopic image quality measurement. In the first stage, inspired by the predictive coding theory that the cognition system tries to match bottom-up visual signal with top-down predictions, we adopt the encoder-decoder architecture to reconstruct the distorted inputs. Besides, motivated by the binocular rivalry phenomenon, we leverage the likelihood and prior maps generated from the predictive coding process in the Siamese framework for assisting SIQM. In the second stage, quality regression network is applied to the fusion image for acquiring the perceptual quality prediction. The performance of PAD-Net has been extensively evaluated on three benchmark databases and the superiority has been well validated on both symmetrically and asymmetrically distorted stereoscopic images under various distortion types.


title: Nash Equilibria in Optimal Reinsurance Bargaining

abstract: We introduce a strategic behavior in reinsurance bilateral transactions, where agents choose the risk preferences they will appear to have in the transaction. Within a wide class of risk measures, we identify agents' strategic choices to a range of risk aversion coefficients. It is shown that at the strictly beneficial Nash equilibria, agents appear homogeneous with respect to their risk preferences. While the game does not cause any loss of total welfare gain, its allocation between agents is heavily affected by the agents' strategic behavior. This allocation is reflected in the reinsurance premium, while the insurance indemnity remains the same in all strictly beneficial Nash equilibria. Furthermore, the effect of agents' bargaining power vanishes through the game procedure and the agent who gets more welfare gain is the one who has an advantage in choosing the common risk aversion at the equilibrium.


title: Minimax Isometry Method: A compressive sensing approach for Matsubara summation in many-body perturbation theory

abstract: We present a compressive sensing approach for the long standing problem of Matsubara summation in many-body perturbation theory. By constructing low-dimensional, almost isometric subspaces of the Hilbert space we obtain optimum imaginary time and frequency grids that allow for extreme data compression of fermionic and bosonic functions in a broad temperature regime. The method is applied to the random phase and self-consistent $GW$ approximation of the grand potential. Integration and transformation errors are investigated for Si and SrVO$_3$.

categories: cond-mat.mtrl-sci cond-mat.str-el cs.NA math.FA math.NA


title: B\"uchi automata for distributed temporal logic

abstract: The distributed temporal logic DTL is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system's agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose a novel notion of distributed B\"uchi automaton envisaged to encompass DTL with a model-checking mechanism.


title: Galactic Habitability Re-Examined: Indications of Bimodality

abstract: The problem of the extent of habitable zones in different kinds of galaxies is one of the outstanding challenges for contemporary astrobiology. In the present study, we investigate habitability in a large sample of simulated galaxies from the Illustris Project in order to at least roughly quantify the hospitality to life of different galactic types. The pioneering study of Dayal et al. (2015) is critically examined and some of its results are amended. In particular, we find a tentative evidence for a second mode of galactic habitability comprising metal-rich dwarfs similar to IC 225, LMC or M32. The role of the galactic environment and the observation selection effects is briefly discussed and prospects for further research on the topic outlined.


title: Verifying the DPLL Algorithm in Dafny

abstract: Modern high-performance SAT solvers quickly solve large satisfiability instances that occur in practice. If the instance is satisfiable, then the SAT solver can provide a witness which can be checked independently in the form of a satisfying truth assignment. However, if the instance is unsatisfiable, the certificates could be exponentially large or the SAT solver might not be able to output certificates. The implementation of the SAT solver should then be trusted not to contain bugs. However, the data structures and algorithms implemented by a typical high-performance SAT solver are complex enough to allow for subtle programming errors. To counter this issue, we build a verified SAT solver using the Dafny system. We discuss its implementation in the present article.


title: (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic

abstract: Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems for this formalism, all of which are sound and complete and inherit the coinductive nature of the logic. The proof systems differ, however, in several aspects. First, they use induction and coinduction in different proportions. The second aspect regards compositionality, broadly meaning their ability to prove simpler formulas on smaller systems, and to reuse those formulas as lemmas for more complex formulas on larger systems. The third aspect is the difficulty of their soundness proofs. We show that the more induction a proof system uses, and the more specialised is its use of coinduction (with respect to our problem domain), the more compositional the proof system is, but the more difficult its soundness proof becomes. We also briefly present mechanisations of these results in the Isabelle/HOL and Coq proof assistants.


title: Explaining SDN Failures via Axiomatisations

abstract: This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language that is based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy which does not enable forwarding packets from ingress to an undesirable egress. Explanations for safety violations are derived in an equational fashion, based on a modification of the existing NetKAT axiomatisation.


title: Gr\"obner Bases with Reduction Machines

abstract: In this paper, we make a contribution to the computation of Gr\"obner bases. For polynomial reduction, instead of choosing the leading monomial of a polynomial as the monomial with respect to which the reduction process is carried out, we investigate what happens if we make that choice arbitrarily. It turns out not only this is possible (the fact that this produces a normal form being already known in the literature), but, for a fixed choice of reductors, the obtained normal form is the same no matter the order in which we reduce the monomials. To prove this, we introduce reduction machines, which work by reducing each monomial independently and then collecting the result. We show that such a machine can simulate any such reduction. We then discuss different implementations of these machines. Some of these implementations address inherent inefficiencies in reduction machines (repeating the same computations). We describe a first implementation and look at some experimental results.


title: Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema

abstract: Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list-sorting algorithms, and we demonstrate them in the Theorema system. We use the classical principle of extracting the algorithm as a set of rewrite rules based on the witnesses found in the proof of the synthesis conjecture produced from the specification of the desired function (input and output conditions). The proofs are in natural style, using standard rules, but most importantly domain specific inference rules and strategies. In particular the use of multisets allows us to develop powerful strategies for the synthesis of arbitrarily structured recursive algorithms by general Noetherian induction, as well as for the automatic generation of the specifications of all necessary auxiliary functions (insert, merge, split), whose synthesis is performed using the same method.


title: Probabilities in Session Types

abstract: This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic external choices. For this calculus we define and study a typing system which extends the multiparty session types in order to deal also with probabilistic behaviours. The calculus and its typing system are motivated and illustrated by a running example.


title: The Fundamental Relation between Supermassive Black Holes and Their Host Galaxies

abstract: We study the correlations between Supermassive Black Holes (BH) and their host galaxies, using a sample of 83 BH masses collected from the most recent and reliable spatially resolved estimates available from the literature. We confirm the mono- and bivariate correlations between SMBHs and the bulges of their host galaxies, confirming that the correlation with the effective velocity dispersion is not significantly improved by higher dimensionality. Instead, pseudobulges do not seem to correlate with their SMBHs, probably because their secular evolution is often unable to trigger accretion onto the central BH. We then present a novel approach aimed at finding the fundamental relation between SMBHs and their host galaxies. For the first time, we analytically combine BH masses with the Fundamental Plane (FP), showing that Mbh-sigma_e appears to be the fundamental relation rather than a putative "BH Fundamental Plane" of the kind Mbh-sigma_e-R_e. These results can be explained by a picture which sees the Mbh-sigma_e relation as a natural outcome of the change in AGN feedback from momentum- to energy-driven. The other scaling relations are then established through the FP.


title: An Operational Semantics of Graph Transformation Systems Using Symmetric Nets

abstract: Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by a number of analysis techniques/tools. Some PN classes have been shown to be instances of GTS. In this paper, we change perspective presenting an operational semantics of GTS in terms of Symmetric Nets, a well-known class of Coloured Petri nets featuring a structured syntax that outlines model symmetries. Some practical exploitations of the proposed operational semantics are discussed. In particular, a recently developed structural calculus for SN is used to validate graph rewriting rules in a symbolic way.


title: Finitely Supported Sets Containing Infinite Uniformly Supported Subsets

abstract: The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the action of a group of permutations of some basic elements named atoms. In this paper we study the properties of finitely supported sets that contain infinite uniformly supported subsets, as well as the properties of finitely supported sets that do not contain infinite uniformly supported subsets. For classical atomic sets, we study whether they contain or not infinite uniformly supported subsets.


title: SATURN -- Software Deobfuscation Framework Based on LLVM

abstract: The strength of obfuscated software has increased over the recent years. Compiler based obfuscation has become the de facto standard in the industry and recent papers also show that injection of obfuscation techniques is done at the compiler level. In this paper we discuss a generic approach for deobfuscation and recompilation of obfuscated code based on the compiler framework LLVM. We show how binary code can be lifted back into the compiler intermediate language LLVM-IR and explain how we recover the control flow graph of an obfuscated binary function with an iterative control flow graph construction algorithm based on compiler optimizations and SMT solving. Our approach does not make any assumptions about the obfuscated code, but instead uses strong compiler optimizations available in LLVM and Souper Optimizer to simplify away the obfuscation. Our experimental results show that this approach can be effective to weaken or even remove the applied obfuscation techniques like constant unfolding, certain arithmetic-based opaque expressions, dead code insertions, bogus control flow or integer encoding found in public and commercial obfuscators. The recovered LLVM-IR can be further processed by custom deobfuscation passes that are now applied at the same level as the injected obfuscation techniques or recompiled with one of the available LLVM backends. The presented work is implemented in a deobfuscation tool called SATURN.


title: $P_c$ Photo-production And Decay

abstract: The 2015 LHCb discovery of a structure (denoted by $P_c^+$) decaying in $J/\psi \,p$ and conjectured to be a penta-quark state, has triggered a renewed interest in the question of possible existence of multi-quark states not predicted by the naive quark model. In this talk we present some considerations on $P_c$ photo-production experiments, aimed at testing its multi-quark interpretation in the framework of a 40-years-old string-junction picture that allows a unified description of baryons, tetra-, and penta-quark states.