title: Tracking translation invariance in CNNs

abstract: Although Convolutional Neural Networks (CNNs) are widely used, their translation invariance (ability to deal with translated inputs) is still subject to some controversy. We explore this question using translation-sensitivity maps to quantify how sensitive a standard CNN is to a translated input. We propose the use of Cosine Similarity as sensitivity metric over Euclidean Distance, and discuss the importance of restricting the dimensionality of either of these metrics when comparing architectures. Our main focus is to investigate the effect of different architectural components of a standard CNN on that network's sensitivity to translation. By varying convolutional kernel sizes and amounts of zero padding, we control the size of the feature maps produced, allowing us to quantify the extent to which these elements influence translation invariance. We also measure translation invariance at different locations within the CNN to determine the extent to which convolutional and fully connected layers, respectively, contribute to the translation invariance of a CNN as a whole. Our analysis indicates that both convolutional kernel size and feature map size have a systematic influence on translation invariance. We also see that convolutional layers contribute less than expected to translation invariance, when not specifically forced to do so.


title: Investigating high energy proton proton collisions with a multi-phase transport model approach based on PYTHIA8 initial conditions

abstract: The striking resemblance of high multiplicity proton-proton (pp) collisions at the LHC to heavy ion collisions challenges our conventional wisdom on the formation of the Quark-Gluon Plasma (QGP). A consistent explanation of the collectivity phenomena in pp will help us to understand the mechanism that leads to the QGP-like signals in small systems. In this study, we introduce a transport model approach connecting the initial conditions provided by PYTHIA8 with subsequent AMPT rescatterings to study the collective behavior in high energy pp collisions. The multiplicity dependence of light hadron productions from this model is in reasonable agreement with the pp $\sqrt{s}=13$ TeV experimental data. It is found in the comparisons that both the partonic and hadronic final state interactions are important for the generation of the radial flow feature of the pp transverse momentum spectra. The study also shows that the long range two particle azimuthal correlation in high multiplicity pp events is sensitive to the proton sub-nucleon spatial fluctuations.


title: Parallelized Discrete Exterior Calculus for Three-Dimensional Elliptic Problems

abstract: A formulation of elliptic boundary value problems is used to develop the first discrete exterior calculus (DEC) library for massively parallel computations with 3D domains. This can be used for steady-state analysis of any physical process driven by the gradient of a scalar quantity, e.g. temperature, concentration, pressure or electric potential, and is easily extendable to transient analysis. In addition to offering this library to the community, we demonstrate one important benefit from the DEC formulation: effortless introduction of strong heterogeneities and discontinuities. These are typical for real materials, but challenging for widely used domain discretization schemes, such as finite elements. Specifically, we demonstrate the efficiency of the method for calculating the evolution of thermal conductivity of a solid with a growing crack population. Future development of the library will deal with transient problems, and more importantly with processes driven by gradients of vector quantities.


title: A Geometric Formulation of Linear Elasticity Based on Discrete Exterior Calculus

abstract: A direct formulation of linear elasticity of cell complexes based on discrete exterior calculus is presented. The primary unknown are displacements, represented by primal vector-valued 0-cochain. Displacement differences and internal forces are represented by primal vector-valued 1-cochain and dual vector-valued 2-cochain, respectively. The macroscopic constitutive relation is enforced at primal 0-cells with the help of musical isomorphisms mapping cochains to smooth fields and vice versa. The balance of linear momentum is established at primal 0-cells. The governing equations are solved as a Laplace equation with a non-local and non-diagonal material Hodge star. Numerical simulations of several classical problems with analytic solutions are presented to validate the formulation. Good agreement with known solutions is obtained. The formulation provides a method to calculate the relations between displacement differences and internal forces for any lattice structure, when the structure is required to follow a prescribed macroscopic elastic behaviour. This is also the first and critical step in developing formulations for dissipative processes in cell complexes.


title: Gender Bias in Machine Translation

abstract: Machine translation (MT) technology has facilitated our daily tasks by providing accessible shortcuts for gathering, elaborating and communicating information. However, it can suffer from biases that harm users and society at large. As a relatively new field of inquiry, gender bias in MT still lacks internal cohesion, which advocates for a unified framework to ease future research. To this end, we: i) critically review current conceptualizations of bias in light of theoretical insights from related disciplines, ii) summarize previous analyses aimed at assessing gender bias in MT, iii) discuss the mitigating strategies proposed so far, and iv) point toward potential directions for future work.


title: Remarks on \'etale motivic stable homotopy theory

abstract: We strengthen some results in \'etale (and real \'etale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.


title: Joint Secure Design of Downlink and D2D Cooperation Strategies for Multi-User Systems

abstract: This work studies the role of inter-user device-to-device (D2D) cooperation for improving physical-layer secret communication in multi-user downlink systems. It is assumed that there are out-of-band D2D channels, on each of which a selected legitimate user transmits an amplified version of the received downlink signal to other legitimate users. A key technical challenge for designing such systems is that eavesdroppers can overhear downlink as well as D2D cooperation signals. We tackle the problem of jointly optimizing the downlink precoding, artificial noise covariance, and amplification coefficients that maximize the minimum rate. An iterative alternating optimization algorithm is proposed based on the matrix fractional programming. Numerical results confirm the performance gains of the proposed D2D cooperation scheme compared to benchmark secret communication schemes.


title: Detecting Escalation Level from Speech with Transfer Learning and Acoustic-Lexical Information Fusion

abstract: Textual escalation detection has been widely applied to e-commerce companies' customer service systems to pre-alert and prevent potential conflicts. Similarly, in public areas such as airports and train stations, where many impersonal conversations frequently take place, acoustic-based escalation detection systems are also useful to enhance passengers' safety and maintain public order. To this end, we introduce a system based on acoustic-lexical features to detect escalation from speech, Voice Activity Detection (VAD) and label smoothing are adopted to further enhance the performance in our experiments. Considering a small set of training and development data, we also employ transfer learning on several wellknown emotional detection datasets, i.e. RAVDESS, CREMA-D, to learn advanced emotional representations that is then applied to the conversational escalation detection task. On the development set, our proposed system achieves 81.5% unweighted average recall (UAR) which significantly outperforms the baseline with 72.2% UAR.


title: The renormalized charged scalar current in the Reissner-Nordstr\"om-de Sitter spacetime

abstract: We perform a Hadamard point-split renormalization of the current density $j_\nu$ of a charged scalar field in a Reissner-Nordstr\"om-de Sitter spacetime. We compute numerically the expectation values of the components $j_r$ and $j_t$ in the Unruh state in the exterior region and study their dependence on the field parameters and the position.


title: Intermittency and multiscaling in limit theorems

abstract: It has been recently discovered that some random processes may satisfy limit theorems even though they exhibit intermittency, namely an unusual growth of moments. In this paper we provide a deeper understanding of these intricate limiting phenomena. We show that intermittent processes may exhibit a multiscale behavior involving growth at different rates. To these rates correspond different scales. In addition to a dominant scale, intermittent processes may exhibit secondary scales. The probability of these scales decreases to zero as a power function of time. For the analysis, we consider large deviations of the rate of growth of the processes. Our approach is quite general and covers different possible scenarios with special focus on the so-called supOU processes.


title: No-Pain No-Gain: DRL Assisted Optimization in Energy-Constrained CR-NOMA Networks

abstract: This paper applies machine learning to optimize the transmission policy of cognitive radio inspired non-orthogonal multiple access (CR-NOMA) networks, where time-division multiple access (TDMA) is used to serve multiple primary users and an energy-constrained secondary user is admitted to the primary users' time slots via NOMA. During each time slot, the secondary user performs the two tasks: data transmission and energy harvesting based on the signals received from the primary users. The goal of the paper is to maximize the secondary user's long-term throughput, by optimizing its transmit power and the time-sharing coefficient for its two tasks. The long-term throughput maximization problem is challenging due to the need for making decisions that yield long-term gains but might result in short-term losses. For example, when in a given time slot, a primary user with large channel gains transmits, intuition suggests that the secondary user should not carry out data transmission due to the strong interference from the primary user but perform energy harvesting only, which results in zero data rate for this time slot but yields potential long-term benefits. In this paper, a deep reinforcement learning (DRL) approach is applied to emulate this intuition, where the deep deterministic policy gradient (DDPG) algorithm is employed together with convex optimization. Our simulation results demonstrate that the proposed DRL assisted NOMA transmission scheme can yield significant performance gains over two benchmark schemes.


title: Disentangled Motif-aware Graph Learning for Phrase Grounding

abstract: In this paper, we propose a novel graph learning framework for phrase grounding in the image. Developing from the sequential to the dense graph model, existing works capture coarse-grained context but fail to distinguish the diversity of context among phrases and image regions. In contrast, we pay special attention to different motifs implied in the context of the scene graph and devise the disentangled graph network to integrate the motif-aware contextual information into representations. Besides, we adopt interventional strategies at the feature and the structure levels to consolidate and generalize representations. Finally, the cross-modal attention network is utilized to fuse intra-modal features, where each phrase can be computed similarity with regions to select the best-grounded one. We validate the efficiency of disentangled and interventional graph network (DIGN) through a series of ablation studies, and our model achieves state-of-the-art performance on Flickr30K Entities and ReferIt Game benchmarks.


title: Regularity of the Schr{\"o}dinger cost

abstract: The Schr{\"o}dinger problem is an entropy minimisation problem on the space of probability measures. Its optimal value is a cost between two probability measures. In this article we investigate some regularity properties of this cost: continuity with respect to the marginals and time derivative of the cost along probability measures valued curves.


title: Finite Volume Neural Network: Modeling Subsurface Contaminant Transport

abstract: Data-driven modeling of spatiotemporal physical processes with general deep learning methods is a highly challenging task. It is further exacerbated by the limited availability of data, leading to poor generalizations in standard neural network models. To tackle this issue, we introduce a new approach called the Finite Volume Neural Network (FINN). The FINN method adopts the numerical structure of the well-known Finite Volume Method for handling partial differential equations, so that each quantity of interest follows its own adaptable conservation law, while it concurrently accommodates learnable parameters. As a result, FINN enables better handling of fluxes between control volumes and therefore proper treatment of different types of numerical boundary conditions. We demonstrate the effectiveness of our approach with a subsurface contaminant transport problem, which is governed by a non-linear diffusion-sorption process. FINN does not only generalize better to differing boundary conditions compared to other methods, it is also capable to explicitly extract and learn the constitutive relationships (expressed by the retardation factor). More importantly, FINN shows excellent generalization ability when applied to both synthetic datasets and real, sparse experimental data, thus underlining its relevance as a data-driven modeling tool.


title: Sample-based and Feature-based Federated Learning for Unconstrained and Constrained Nonconvex Optimization via Mini-batch SSCA

abstract: Federated learning (FL) has become a hot research area in enabling the collaborative training of machine learning models among multiple clients that hold sensitive local data. Nevertheless, unconstrained federated optimization has been studied mainly using stochastic gradient descent (SGD), which may converge slowly, and constrained federated optimization, which is more challenging, has not been investigated so far. This paper investigates sample-based and feature-based federated optimization, respectively, and considers both unconstrained and constrained nonconvex problems for each of them. First, we propose FL algorithms using stochastic successive convex approximation (SSCA) and mini-batch techniques. These algorithms can adequately exploit the structures of the objective and constraint functions and incrementally utilize samples. We show that the proposed FL algorithms converge to stationary points and Karush-Kuhn-Tucker (KKT) points of the respective unconstrained and constrained nonconvex problems, respectively. Next, we provide algorithm examples with appealing computational complexity and communication load per communication round. We show that the proposed algorithm examples for unconstrained federated optimization are identical to FL algorithms via momentum SGD and provide an analytical connection between SSCA and momentum SGD. Finally, numerical experiments demonstrate the inherent advantages of the proposed algorithms in convergence speeds, communication and computation costs, and model specifications.


title: The cosmic muon and detector simulation framework of the Extreme Energy Events (EEE) experiment

abstract: This paper describes the simulation framework of the Extreme Energy Events (EEE) experiment. EEE is a network of cosmic muon trackers, each made of three Multi-gap Resistive Plate Chambers (MRPC), able to precisely measure the absolute muon crossing time and the muon integrated angular flux at the ground level. The response of a single MRPC and the combination of three chambers have been implemented in a GEANT4-based framework (GEMC) to study the telescope response. The detector geometry, as well as details about the surrounding materials and the location of the telescopes have been included in the simulations in order to realistically reproduce the experimental set-up of each telescope. A model based on the latest parametrization of the cosmic muon flux has been used to generate single muon events. After validating the framework by comparing simulations to selected EEE telescope data, it has been used to determine detector parameters not accessible by analysing experimental data only, such as detection efficiency, angular and spatial resolution.


title: Classical Love for Quantum Blackholes

abstract: We present a method for comparing the classical and quantum calculations of the electric quadrupolar Love number $k_2$ and show that our previous derivation of the quantum Love number of a quantum blackhole matches exactly the classical calculation of $k_2$ when quantum expectation values are replaced by the corresponding classical quantities, as dictated by the Bohr correspondence principle. The standard derivation of $k_2$ for classical relativistic stars relies on fixing boundary conditions on the surface of the star for the Einstein equations in the presence of an external perturbing field. An alternative method for calculating $k_2$ uses properties of the spectrum of the non-relativistic fluid modes of the star. We adopt this alternative method and use it to derive an effective description of the interior modes in terms of a collection of driven harmonic oscillators characterized by different frequencies and amplitudes. We compare these two classical methods and find that most of the interior information can be integrated out, reducing the problem of calculating $k_2$ to fixing a single boundary condition for the perturbed Einstein equations on the surface of the deformed star. We then determine this single boundary condition in terms of the spectrum of the object and proceed to identify the relationship between classical quantities and quantum expectation values and to verify the agreement between the results of the effective classical calculation and the quantum calculation.


title: Deep Deterministic Path Following

abstract: This paper deploys the Deep Deterministic Policy Gradient (DDPG) algorithm for longitudinal and lateral control of a simulated car to solve a path following task. The DDPG agent was implemented using PyTorch and trained and evaluated on a custom kinematic bicycle environment created in Python. The performance was evaluated by measuring cross-track error and velocity error, relative to a reference path. Results show how the agent can learn a policy allowing for small cross-track error, as well as adapting the acceleration to minimize the velocity error.


title: Detecting Operational Adversarial Examples for Reliable Deep Learning

abstract: The utilisation of Deep Learning (DL) raises new challenges regarding its dependability in critical applications. Sound verification and validation methods are needed to assure the safe and reliable use of DL. However, state-of-the-art debug testing methods on DL that aim at detecting adversarial examples (AEs) ignore the operational profile, which statistically depicts the software's future operational use. This may lead to very modest effectiveness on improving the software's delivered reliability, as the testing budget is likely to be wasted on detecting AEs that are unrealistic or encountered very rarely in real-life operation. In this paper, we first present the novel notion of "operational AEs" which are AEs that have relatively high chance to be seen in future operation. Then an initial design of a new DL testing method to efficiently detect "operational AEs" is provided, as well as some insights on our prospective research plan.


title: Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case

abstract: We describe a mathematical structure that can give extensional denotational semantics to higher-order probabilistic programs. It is not limited to discrete probabilities, and it is compatible with integration in a way the models that have been proposed before are not. It is organised as a model of propositional linear logic in which all the connectives have intuitive probabilistic interpretations. In addition, it has least fixed points for all maps, so it can interpret recursion.


title: Perturbative linearization of super-Yang-Mills theories in general gauges

abstract: Supersymmetric Yang-Mills theories can be characterized by a non-local and non-linear transformation of the bosonic fields (Nicolai map) mapping the interacting functional measure to that of a free theory, such that the Jacobi determinant of the transformation equals the product of the fermionic determinants obtained by integrating out the gauginos and ghosts at least on the gauge hypersurface. While this transformation has been known so far only for the Landau gauge and to third order in the Yang-Mills coupling, we here extend the construction to a large class of (possibly non-linear and non-local) gauges, and exhibit the conditions for all statements to remain valid off the gauge hypersurface. Finally, we present explicit results to second order in the axial gauge and to fourth order in the Landau gauge.


title: 3-d Calabi--Yau categories for Teichm\"uller theory

abstract: For $g,n\geq 0$ a 3-dimensional Calabi-Yau $A_\infty$-category $\mathcal C_{g,n}$ is constructed such that a component of the space of Bridgeland stability conditions, $\mathrm{Stab}(\mathcal C_{g,n})$, is a moduli space of quadratic differentials on a genus $g$ surface with simple zeros and $n$ simple poles. For a generic point in the moduli space the corresponding quantum/refined Donaldson--Thomas invariants are computed in terms of counts of finite-length geodesics on the flat surface determined by the quadratic differential. As a consequence, these counts satisfy wall-crossing formulas.


title: A simple, powerful diode laser system for atomic physics

abstract: External-cavity diode lasers are ubiquitous in atomic physics and a wide variety of other scientific disciplines, due to their excellent affordability, coherence length and versatility. However, for higher power applications, the combination of seed lasers, injection-locking and amplifiers can rapidly become expensive and complex. Here we present a useful, high-power, single-diode laser design with specifications: $>210\,$mW, $100\,$ms-linewidth ($427 \pm 7$) kHz, $>99\%$ mode purity, $10\,$GHz mode-hop-free tuning range and $12\,$nm coarse tuning. Simple methods are outlined to determine the spectral purity and linewidth with minimal additional infrastructure. The laser has sufficient power to collect $10^{10}$ $^{87}$Rb atoms in a single-chamber vapour-loaded magneto-optical trap. With appropriate diodes and feedback, the system could be easily adapted to other atomic species and laser formats.


title: Reproducible Builds: Increasing the Integrity of Software Supply Chains

abstract: Although it is possible to increase confidence in Free and Open Source Software (FOSS) by reviewing its source code, trusting code is not the same as trusting its executable counterparts. These are typically built and distributed by third-party vendors, with severe security consequences if their supply chains are compromised. In this paper, we present reproducible builds, an approach that can determine whether generated binaries correspond with their original source code. We first define the problem, and then provide insight into the challenges of making real-world software build in a "reproducible" manner-this is, when every build generates bit-for-bit identical results. Through the experience of the Reproducible Builds project making the Debian Linux distribution reproducible, we also describe the affinity between reproducibility and quality assurance (QA).


title: Anosov representations as holonomies of globally hyperbolic spatially compact conformally flat spacetimes

abstract: Anosov representations were introduced by F. Labourie [18] for fundamental groups of closed negatively curved surfaces, and generalized by O. Guichard and A. Wienhard [19] to representations of arbitrary Gromov hyperbolic groups into real semisimple Lie groups. In this paper, we focus on Anosov representations into the identity component O0(2, n) of O(2, n) for n $\ge$ 2. Our main result is that any Anosov representation with negative limit set as defined in [8] is the holonomy group of a spatially compact, globally hyperbolic maximal (abbrev. CGHM) conformally flat spacetime. The proof of the spatial compactness needs a particular care. The key idea is to notice that for any spacetime M , the space of lightlike geodesics of M is homeomorphic to the unit tangent bundle of a Cauchy hypersurface of M. For this purpose, we introduce the space of causal geodesics containing timelike and lightlike geodesics of anti-de Sitter space and lightlike geodesics of its conformal boundary: the Einstein spacetime. The spatial compactness is a consequence of the following theorem : Any Anosov representation acts properly discontinuously by isometries on the set of causal geodesics avoiding the limit set; besides, this action is cocompact. It is stated in a general setting by O. Guichard, F. Kassel and A. Wienhard in [11]. We can see this last result as a Lorentzian analogue of the action of convex cocompact Kleinian group on the complementary of the limit set in H n. Lastly, we show that the conformally flat spacetime in our main result is the union of two conformal copies of a strongly causal AdS-spacetime with boundary which contains-when the limit set is not a topological (n -- 1)-sphere-a globally hyperbolic region having the properties of a black hole as defined in [2], [3], [4].


title: Lessons on Parameter Sharing across Layers in Transformers

abstract: We propose a parameter sharing method for Transformers (Vaswani et al., 2017). The proposed approach relaxes a widely used technique, which shares parameters for one layer with all layers such as Universal Transformers (Dehghani et al., 2019), to increase the efficiency in the computational time. We propose three strategies: Sequence, Cycle, and Cycle (rev) to assign parameters to each layer. Experimental results show that the proposed strategies are efficient in the parameter size and computational time. Moreover, we indicate that the proposed strategies are also effective in the configuration where we use many training data such as the recent WMT competition.


title: Communication Efficient Federated Learning with Adaptive Quantization

abstract: Federated learning (FL) has attracted tremendous attentions in recent years due to its privacy preserving measures and great potentials in some distributed but privacy-sensitive applications like finance and health. However, high communication overloads for transmitting high-dimensional networks and extra security masks remains a bottleneck of FL. This paper proposes a communication-efficient FL framework with Adaptive Quantized Gradient (AQG) which adaptively adjusts the quantization level based on local gradient's update to fully utilize the heterogeneousness of local data distribution for reducing unnecessary transmissions. Besides, the client dropout issues are taken into account and the Augmented AQG is developed, which could limit the dropout noise with an appropriate amplification mechanism for transmitted gradients. Theoretical analysis and experiment results show that the proposed AQG leads to 25%-50% of additional transmission reduction as compared to existing popular methods including Quantized Gradient Descent (QGD) and Lazily Aggregated Quantized (LAQ) gradient-based method without deteriorating convergence properties. Particularly, experiments with heterogenous data distributions corroborate a more significant transmission reduction compared with independent identical data distributions. Meanwhile, the proposed AQG is robust to a client dropping rate up to 90% empirically, and the Augmented AQG manages to further improve the FL system's communication efficiency with the presence of moderate-scale client dropouts commonly seen in practical FL scenarios.


title: Dynamical Persistency in River Flows

abstract: The universal fractality of river networks is very well known, however understanding of the underlying mechanisms for them is still lacking in terms of stochastic processes. By introducing probability changing dynamically, we have described the fractal natures of river networks stochastically. The dynamical probability depends on the drainage area at a site that is a key dynamical quantity of the system, meanwhile the river network is developed by the probability, which induces dynamical persistency in river flows resulting in the self-affine property shown in real river basins, although the process is a Markovian process with short-term memory.


title: Homology of the completion of a Lie algebra

abstract: We prove that the second homology group of the completion of an infinite dimensional free Lie algebra is uncountable.


title: Faraday law, oxidation numbers, and ionic conductivity: The role of topology

abstract: Faraday's experiment measures -- within a modern view -- the charge adiabatically transported over a macroscopic distance by a given nuclear species in insulating liquids: the reason why it is integer is deeply rooted in topology. Whole numbers enter chemistry in a different form: atomic oxidation states. They are not directly measurable, and are determined instead from an agreed set of rules. Insulating liquids are a remarkable exception: Faraday's experiment indeed measures the oxidation numbers of each dissociated component in the liquid phase, whose topological values are unambiguous. Ionic conductivity in insulating liquids is expressed in terms of the autocorrelation function of the fluctuating charge current at a given temperature in zero electric field; topology plays a major role in this important observable as well. The existing literature deals with the above issues by adopting the independent-electron framework; here I provide the many-body generalization of all the above findings, which furthermore allows for compact and very transparent notations and formulas.


title: Stable limit theorems for additive functionals of one-dimensional diffusion processes

abstract: We consider a positive recurrent one-dimensional diffusion process with continuous coefficients and we establish stable central limit theorems for a certain type of additive functionals of this diffusion. In other words we find some explicit conditions on the additive functional so that its fluctuations behave like some $\alpha$-stable process in large time for $\alpha\in(0,2]$.


title: Competing electronic instabilities in the quadruple perovskite manganite PbMn$_{7}$O$_{12}$

abstract: Structural behaviour of PbMn$_{7}$O$_{12}$ has been studied by high resolution synchrotron X-ray powder diffraction. This material belongs to a family of quadruple perovskite manganites that exhibit an incommensurate structural modulation associated with an orbital density wave. It has been found that the structural modulation in PbMn$_{7}$O$_{12}$ onsets at 294 K with the incommensurate propagation vector $\mathbf{k}_s=(0,0,\sim2.08)$. At 110 K another structural transition takes place where the propagation vector suddenly drops down to a \emph{quasi}-commensurate value $\mathbf{k}_s=(0,0,2.0060(6))$. The \emph{quasi}-commensurate phase is stable in the temperature range of 40K - 110 K, and below 40 K the propagation vector jumps back to the incommensurate value $\mathbf{k}_s=(0,0,\sim2.06)$. Both low temperature structural transitions are strongly first order with large thermal hysteresis. The orbital density wave in the \emph{quasi}-commensurate phase has been found to be substantially suppressed in comparison with the incommensurate phases, which naturally explains unusual magnetic behaviour recently reported for this perovskite. Analysis of the refined structural parameters revealed that that the presence of the \emph{quasi}-commensurate phase is likely to be associated with a competition between the Pb$^{2+}$ lone electron pair and Mn$^{3+}$ Jahn-Teller instabilities.


title: The Hausdorff Moment Problem in the light of ill-posedness of type I

abstract: The Hausdorf moment problem (HMP) over the unit interval in an $L^2$-setting is a classical example of an ill-posed inverse problem. Since various applications can be rewritten in terms of the HMP, it has gathered significant attention in the literature. From the point of view of regularization it is of special interest because of the occurrence of a non-compact forward operator with non-closed range. Consequently, HMP constitutes one of few examples of a linear ill-posed problem of type~I in the sense of Nashed. In this paper we highlight this property and its consequences, for example, the existence of a infinite-dimensional subspace of stability. On the other hand, we show conditional stability estimates for the HMP in Sobolev spaces that indicate severe ill-posedness for the full recovery of a function from its moments, because H\"{o}lder-type stability can be excluded. However, the associated recovery %of the linear functional that characterizes of the function value at the rightmost point of the unit interval is stable of H\"{o}lder-type in an $H^1$-setting. We moreover discuss stability estimates for the truncated HMP, where the forward operator becomes compact. Some numerical case studies illustrate the theoretical results and complete the paper.


title: ALMA view of the $\rho$ Ophiuchi A PDR with a 360-au beam: the [CI] emission originates from the plane-parallel PDR and extended gas

abstract: We present the results of data analysis of the [CI] ($^{3}P_{1}$-$^{3}P_{0}$) emission from the $\rho$ Ophiuchi A photon-dominated region (PDR) obtained in the ALMA ACA stand-alone mode with a spatial resolution of 2.''6 (360 au). The [CI] emission shows filamentary structures with a width of $\sim$1000 au, which are adjacent to the shell structure seen in the 4.5 $\mu$m map. We found that the 4.5 $\mu$m emission, C$^0$, and CO are distributed in this order from the excitation star (S1) in a complementary pattern. These results indicate that [CI] is emitted from a thin layer in the PDR generated by the excitation star, as predicted in the plane-parallel PDR model. In addition, extended [CI] emission was also detected, which shows nearly uniform integrated intensity over the entire field-of-view (1.'6$\times$1.'6). The line profile of the extended component is different from that of the above shell component. The column density ratio of C$^0$ to CO in the extended component was $\sim$2, which is significantly higher than those of Galactic massive star-forming regions (0.1-0.2). These results suggest that [CI] is emitted also from the extended gas with a density of $n_\mathrm{H_2} \sim 10^3$ cm$^{-3}$, which is not greatly affected by the excitation star.


title: Global Transport for Fluid Reconstruction with Learned Self-Supervision

abstract: We propose a novel method to reconstruct volumetric flows from sparse views via a global transport formulation. Instead of obtaining the space-time function of the observations, we reconstruct its motion based on a single initial state. In addition we introduce a learned self-supervision that constrains observations from unseen angles. These visual constraints are coupled via the transport constraints and a differentiable rendering step to arrive at a robust end-to-end reconstruction algorithm. This makes the reconstruction of highly realistic flow motions possible, even from only a single input view. We show with a variety of synthetic and real flows that the proposed global reconstruction of the transport process yields an improved reconstruction of the fluid motion.


title: Interferometric-Spectroscopy With Quantum-Light; Revealing Out-of-Time-Ordering Correlators

abstract: We survey the inclusion of interferometric elements in nonlinear spectroscopy performed with quantum light. Controlled interference of electromagnetic fields coupled to matter can induce constructive or destructive contributions of microscopic coupling sequences (histories) of matter. Since quantum fields do not commute, quantum light signals are sensitive to the order of light-matter coupling sequence. Matter correlation functions are thus imprinted by different field factors, which depend on that order. We identify the associated quantum information obtained by controlling the weights of different contributing pathways, and offer several experimental schemes for recovering it. Nonlinear quantum response functions include out-of-time-ordering matter correlators (OTOC) which reveal how perturbations spread throughout a quantum system (information scrambling). Their effect becomes most notable when using ultrafast pulse sequences with respect to the path difference induced by the interferometer. OTOC appear in quantum-informatics studies in other fields, including black holes, high energy, and condensed matter physics.


title: Not All Requirements Prioritization Criteria Are Equal at All Times: A Quantitative Analysis

abstract: Requirement prioritization is recognized as an important decision-making activity in requirements engineering and software development. Requirement prioritization is applied to determine which requirements should be implemented and released. In order to prioritize requirements, there are several approaches/techniques/tools that use different requirements prioritization criteria, which are often identified by gut feeling instead of an in-depth analysis of which criteria are most important to use. Therefore, in this study we investigate which requirements prioritization criteria are most important to use in industry when determining which requirements are implemented and released, and if the importance of the criteria change depending on how far a requirement has reached in the development process. We conducted a quantitative study of one completed project from one software developing company by extracting 32,139 requirements prioritization decisions based on eight requirements prioritization criteria for 11,110 requirements. The results show that not all requirements prioritization criteria are equally important, and this change depending on how far a requirement has reached in the development process.


title: Towards Control by Interconnection of Port-Thermodynamic Systems

abstract: The power conserving interconnection of port-thermodynamic systems via their power ports results in another port-thermodynamic system, while the same holds for the rate of entropy increasing interconnection via their entropy flow ports. Control by interconnection of port-thermodynamic systems seeks to control a plant port-thermodynamic system by the interconnection with a controller port-thermodynamic system. The stability of the interconnected port-thermodynamic system is investigated by Lyapunov functions based on generating functions for the submanifold characterizing the state properties as well as additional conserved quantities. Crucial tool is the use of canonical point transformations on the symplectized thermodynamic phase space.


title: Cascade of the delocalization transition in a non-Hermitian interpolating Aubry-Andr{\'e}-Fibonacci chain

abstract: In this paper, the interplay of the non-Herimiticity and the cascade of delocalization transition in the quasi-periodic chain is studied. The study is applied in a non-Hermitian interpolating Aubry-Andr{\'e}-Fibonacci (IAAF) model, which combines the non-Hermitian Aubry-Andr{\'e} (AA) model and the non-Hermitian Fibonacci model through a varying parameter, and the non-Hermiticity in this model is introduced by the non-reciprocal hopping. In the non-Hermitian AA limit, the system undergoes a delocalization transition by tuning the potential strength. At the critical point, the spatial distribution of the critical state shows a self-similar structure with the relative distance between the peaks being the Fibonacci sequence, and the finite-size scaling of the inverse participation ratios $({\rm IPRs})$ of the critical ground state with lattice size $L$ shows that ${\rm IPR}_g\propto L^{-0.1189}$. In the non-Hermitian Fibonacci limit, we find that the system is always in the extended phase. Along the continuous deformation from the non-Hermitian AA model into the non-Hermitian Fibonacci model in the IAAF model, the cascade of the delocalization transition is found, but only a few plateaux appear. Moreover, the self-similar structure of spatial distribution for the critical modes along the cascade transition is also found. In addition, we find that the delocalization transition and the real-complex transition for the excited states happen at almost the same parameter. Our results show that the non-Hermiticity provides an additional knob to control the cascade of the delocalization transition besides the on-site potential.


title: Ambiguities in the hadro-chemical freeze-out of Au+Au collisions at SIS18 energies and how to resolve them

abstract: The thermal fit to preliminary HADES data of Au+Au collisions at $\sqrt{s_{_{NN}}}=2.4$ GeV shows two degenerate solutions at $T\approx50$ MeV and $T\approx70$ MeV. The analysis of the same particle yields in a transport simulation of the UrQMD model yields the same features, i.e. two distinct temperatures for the chemical freeze-out. While both solutions yield the same number of hadrons after resonance decays, the feeddown contribution is very different for both cases. This highlights that two systems with different chemical composition can yield the same multiplicities after resonance decays. The nature of these two minima is further investigated by studying the time-dependent particle yields and extracted thermodynamic properties of the UrQMD model. It is confirmed, that the evolution of the high temperature solution resembles cooling and expansion of a hot and dense fireball. The low temperature solution displays an unphysical evolution: heating and compression of matter with a decrease of entropy. These results imply that the thermal model analysis of systems produced in low energy nuclear collisions is ambiguous but can be interpreted by taking also the time evolution and resonance contributions into account.


title: Unmanned Aerial Vehicle and Optimal Relay for Extending Coverage in Post-Disaster Scenarios

abstract: The malfunction or interruption of wireless coverage services has been shown to increase the mortality rate during natural disasters. Wireless coverage by an unmanned aerial vehicle (UAV) provides network coverage to ground user devices during and post-disaster events. The relay hops receive wireless coverage and can be forwarded to user devices that are out of coverage allowing reliable connectivity for large-scale user devices. This work evaluates the optimal relay hops performance to improve wireless coverage services and establish connectivity in post-disaster scenarios. The results demonstrate the UAV line of sights understanding to select an optimal relay for improving wireless coverage services. The path loss probability and system capacity were all affected by the user device distance and relay densities. The optimal relay hop distance and the UAV positions static are also investigated to improve coverage likelihood which could be especially useful for UAV deployment design. It is found that the dense relays node in UAV systems enhances the capacity coverage area and energy efficiency by decentralized connectivity through a multihop device to device wireless network.


title: Topological volumes of fibrations: A note on open covers

abstract: We establish a straightforward estimate for the number of open sets with fundamental group constraints needed to cover the total space of fibrations. This leads to vanishing results for simplicial volume and minimal volume entropy, e.g., for certain mapping tori.


title: MultiModalQA: Complex Question Answering over Text, Tables and Images

abstract: When answering complex questions, people can seamlessly combine information from visual, textual and tabular sources. While interest in models that reason over multiple pieces of evidence has surged in recent years, there has been relatively little work on question answering models that reason across multiple modalities. In this paper, we present MultiModalQA(MMQA): a challenging question answering dataset that requires joint reasoning over text, tables and images. We create MMQA using a new framework for generating complex multi-modal questions at scale, harvesting tables from Wikipedia, and attaching images and text paragraphs using entities that appear in each table. We then define a formal language that allows us to take questions that can be answered from a single modality, and combine them to generate cross-modal questions. Last, crowdsourcing workers take these automatically-generated questions and rephrase them into more fluent language. We create 29,918 questions through this procedure, and empirically demonstrate the necessity of a multi-modal multi-hop approach to solve our task: our multi-hop model, ImplicitDecomp, achieves an average F1of 51.7 over cross-modal questions, substantially outperforming a strong baseline that achieves 38.2 F1, but still lags significantly behind human performance, which is at 90.1 F1


title: Conclusive Local Interpretation Rules for Random Forests

abstract: In critical situations involving discrimination, gender inequality, economic damage, and even the possibility of casualties, machine learning models must be able to provide clear interpretations for their decisions. Otherwise, their obscure decision-making processes can lead to socioethical issues as they interfere with people's lives. In the aforementioned sectors, random forest algorithms strive, thus their ability to explain themselves is an obvious requirement. In this paper, we present LionForests, which relies on a preliminary work of ours. LionForests is a random forest-specific interpretation technique, which provides rules as explanations. It is applicable from binary classification tasks to multi-class classification and regression tasks, and it is supported by a stable theoretical background. Experimentation, including sensitivity analysis and comparison with state-of-the-art techniques, is also performed to demonstrate the efficacy of our contribution. Finally, we highlight a unique property of LionForests, called conclusiveness, that provides interpretation validity and distinguishes it from previous techniques.


title: OCM3D: Object-Centric Monocular 3D Object Detection

abstract: Image-only and pseudo-LiDAR representations are commonly used for monocular 3D object detection. However, methods based on them have shortcomings of either not well capturing the spatial relationships in neighbored image pixels or being hard to handle the noisy nature of the monocular pseudo-LiDAR point cloud. To overcome these issues, in this paper we propose a novel object-centric voxel representation tailored for monocular 3D object detection. Specifically, voxels are built on each object proposal, and their sizes are adaptively determined by the 3D spatial distribution of the points, allowing the noisy point cloud to be organized effectively within a voxel grid. This representation is proved to be able to locate the object in 3D space accurately. Furthermore, prior works would like to estimate the orientation via deep features extracted from an entire image or a noisy point cloud. By contrast, we argue that the local RoI information from the object image patch alone with a proper resizing scheme is a better input as it provides complete semantic clues meanwhile excludes irrelevant interferences. Besides, we decompose the confidence mechanism in monocular 3D object detection by considering the relationship between 3D objects and the associated 2D boxes. Evaluated on KITTI, our method outperforms state-of-the-art methods by a large margin. The code will be made publicly available soon.


title: Homological Dimensions of Extriangulated Categories and Recollements

abstract: In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We introduce the global dimension and extension dimension of extriangulated categories, and give some upper bounds of global dimensions (resp. extension dimensions) of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$, which give a simultaneous generalization of some results in the recollement of abelian categories and triangulated categories.


title: Where the Li\'enard--Levinson--Smith (LLS) theorem cannot be applied for a generalised Li\'enard system

abstract: We have examined a class of Li\'enard--Levinson--Smith (LLS) system having a stable limit cycle which demonstrates the case where the LLS theorem cannot be applied. The problem has been partly raised in a recent communication by Saha et al., CNSNS 85, 105234 (2020) (last para of sec 4.2.2). Here we have provided a physical approach to address this problem using the concept of energy consumption per cycle. We have elaborated the idea through proper demonstration by considering a generalized model system. Such issues have potential utility in nonlinear vibration control.


title: A Bayesian analysis of gain-loss asymmetry

abstract: We perform a quantitative analysis of the gain/loss asymmetry for financial time series by using a Bayesian approach. In particular, we focus on some selected indices and analyze the statistical significance of the asymmetry amount through a Bayesian generalization of the t-Test, which relaxes the normality assumption on the underlying distribution. We propose two different models for data distribution, we study the convergence of our method and we provide several graphical representations of our numerical results. Finally, we perform a sensitivity analysis with respect to model parameters in order to study the reliability and robustness of our results.


title: Structural analysis of an all-purpose question answering model

abstract: Attention is a key component of the now ubiquitous pre-trained language models. By learning to focus on relevant pieces of information, these Transformer-based architectures have proven capable of tackling several tasks at once and sometimes even surpass their single-task counterparts. To better understand this phenomenon, we conduct a structural analysis of a new all-purpose question answering model that we introduce. Surprisingly, this model retains single-task performance even in the absence of a strong transfer effect between tasks. Through attention head importance scoring, we observe that attention heads specialize in a particular task and that some heads are more conducive to learning than others in both the multi-task and single-task settings.


title: Which Hyperparameters to Optimise? An Investigation of Evolutionary Hyperparameter Optimisation in Graph Neural Network For Molecular Property Prediction

abstract: Recently, the study of graph neural network (GNN) has attracted much attention and achieved promising performance in molecular property prediction. Most GNNs for molecular property prediction are proposed based on the idea of learning the representations for the nodes by aggregating the information of their neighbor nodes (e.g. atoms). Then, the representations can be passed to subsequent layers to deal with individual downstream tasks. Therefore, the architectures of GNNs can be considered as being composed of two core parts: graph-related layers and task-specific layers. Facing real-world molecular problems, the hyperparameter optimization for those layers are vital. Hyperparameter optimization (HPO) becomes expensive in this situation because evaluating candidate solutions requires massive computational resources to train and validate models. Furthermore, a larger search space often makes the HPO problems more challenging. In this research, we focus on the impact of selecting two types of GNN hyperparameters, those belonging to graph-related layers and those of task-specific layers, on the performance of GNN for molecular property prediction. In our experiments. we employed a state-of-the-art evolutionary algorithm (i.e., CMA-ES) for HPO. The results reveal that optimizing the two types of hyperparameters separately can gain the improvements on GNNs' performance, but optimising both types of hyperparameters simultaneously will lead to predominant improvements. Meanwhile, our study also further confirms the importance of HPO for GNNs in molecular property prediction problems.


title: Science with the TianQin Observatory: Preliminary Results on Testing the No-hair Theorem with EMRI

abstract: Constituted with a massive black hole and a stellar mass compact object, Extreme Mass Ratio Inspiral (EMRI) events hold unique opportunity for the study of massive black holes, such as by measuring and checking the relations among the mass, spin and quadrupole moment of a massive black hole, putting the no-hair theorem to test. TianQin is a planned space-based gravitational wave observatory and EMRI is one of its main types of sources. It is important to estimate the capacity of TianQin on testing the no-hair theorem with EMRIs. In this work, we use the analytic kludge waveform with quadrupole moment corrections and study how the quadrupole moment can be constrained with TianQin. We find that TianQin can measure the dimensionless quadrupole moment parameter with accuracy to the level of $10^{-5}$ under suitable scenarios. The choice of the waveform cutoff is found to have significant effect on the result: if the Schwarzschild cutoff is used, the accuracy depends strongly on the mass of the massive black hole, while the spin has negligible impact; if the Kerr cutoff is used, however, the dependence on the spin is more significant. We have also analyzed the cases when TianQin is observing simultaneously with other detectors such as LISA.


title: Transformer-based Methods for Recognizing Ultra Fine-grained Entities (RUFES)

abstract: This paper summarizes the participation of the Laboratoire Informatique, Image et Interaction (L3i laboratory) of the University of La Rochelle in the Recognizing Ultra Fine-grained Entities (RUFES) track within the Text Analysis Conference (TAC) series of evaluation workshops. Our participation relies on two neural-based models, one based on a pre-trained and fine-tuned language model with a stack of Transformer layers for fine-grained entity extraction and one out-of-the-box model for within-document entity coreference. We observe that our approach has great potential in increasing the performance of fine-grained entity recognition. Thus, the future work envisioned is to enhance the ability of the models following additional experiments and a deeper analysis of the results.


title: Spin-triplet proton-neutron pair in spin-dipole excitations

abstract: Background: Spin-triplet ($S=1$) proton-neutron (pn) pairing in nuclei has been under debate. It is well known that the dynamical pairing affects the nuclear matrix element of the Gamow-Teller (GT) transition and the double beta decay. Purpose: We investigate the effect of the pn-pair interaction in the $T=0, S=1$ channel on the low-lying spin-dipole (SD) transition. We then aim at clarifying the distinction of the role in between the SD and GT transitions. Method: We perform a three-body model calculation for the transition ${}^{80}\mathrm{Ni}\to{}^{80}\mathrm{Cu}$, where ${}^{78}\mathrm{Ni}$ is taken as a core. The strength of the pair interaction is varied to see the effect on the SD transition-strength distribution. To fortify the finding obtained by the three-body model, we employ the nuclear energy-density functional method for the SD transitions in several nuclei, where one can expect a strong effect. Results: The effect of the $S=1$ pn-pair interaction depends on the spatial overlap of the pn pair and the angular momentum of the valence nucleons; the higher the angular momentum of the orbitals, the more significant the effect. Conclusions: The dynamical $S=1$ pairing is effective even for SD states although the spatial overlap of the pn pair can be smaller than GT states. The SD transition involving high-$\ell$ orbitals with the same principal quantum number is strongly affected by the dynamical $S=1$ pairing.


title: Sequential Ski Rental Problem

abstract: The classical 'buy or rent' ski-rental problem was recently considered in the setting where multiple experts (such as Machine Learning algorithms) advice on the length of the ski season. Here, robust algorithms were developed with improved theoretical performance over adversarial scenarios where such expert predictions were unavailable. We consider a variant of this problem which we call the 'sequential ski-rental' problem. Here, a sequence of ski-rental problems has to be solved in an online fashion where both the buy cost and the length of the ski season are unknown to the learner. The learner has access to two sets of experts, one set who advise on the true cost of buying the ski and another set who advise on the length of the ski season. Under certain stochastic assumptions on the experts who predict the buy costs, we develop online algorithms and prove regret bounds for the same. Our experimental evaluations confirm our theoretical results.


title: Security Analysis of Vendor Implementations of the OPC UA Protocol for Industrial Control Systems

abstract: The OPC UA protocol is an upcoming de-facto standard for building Industry 4.0 processes in Europe, and one of the few industrial protocols that promises security features to prevent attackers from manipulating and damaging critical infrastructures. Despite the importance of the protocol, challenges in the adoption of OPC UA's security features by product vendors, libraries implementing the standard, and end-users were not investigated so far. In this work, we systematically investigate 48 publicly available artifacts consisting of products and libraries for OPC UA and show that 38 out of the 48 artifacts have one (or more) security issues. In particular, we show that 7 OPC UA artifacts do not support the security features of the protocol at all. In addition, 31 artifacts that partially feature OPC UA security rely on incomplete libraries and come with misleading instructions. Consequently, relying on those products and libraries will result in vulnerable implementations of OPC UA security features. To verify our analysis, we design, implement, and demonstrate attacks in which the attacker can steal credentials exchanged between victims, eavesdrop on process information, manipulate the physical process through sensor values and actuator commands, and prevent the detection of anomalies.


title: Measured expanders

abstract: By measured graphs we mean graphs endowed with a measure on the set of vertices. In this context, we explore the relations between the appropriate Cheeger constant and Poincar\'{e} inequalities. We prove that the so-called Cheeger inequality holds in two cases: when the measure comes from a random walk, or when the measure has a bounded measure ratio. Moreover, we also prove that our measured (asymptotic) expanders are generalised expanders introduced by Tessera. Finally, we present some examples to demonstrate relations and differences between classical expander graphs and the measured ones. The current paper is motivated primarily by our previous work on the rigidity problem for Roe algebras.


title: Normalized solutions to the fractional Kirchhoff equations with combined nonlinearities

abstract: In this paper, we study the existence and asymptotic properties of solutions to the following fractional Kirchhoff equation \begin{equation*} \left(a+b\int_{\mathbb{R}^{3}}|(-\Delta)^{\frac{s}{2}}u|^{2}dx\right)(-\Delta)^{s}u=\lambda u+\mu|u|^{q-2}u+|u|^{p-2}u \quad \hbox{in $\mathbb{R}^3$,} \end{equation*} with a prescribed mass \begin{equation*} \int_{\mathbb{R}^{3}}|u|^{2}dx=c^{2}, \end{equation*} where $s\in(0, 1)$, $a, b, c>0$, $2<q<p<2_{s}^{\ast}=\frac{6}{3-2s}$, $\mu>0$ and $\lambda\in\mathbb{R}$ as a Lagrange multiplier. Under different assumptions on $q<p$, $c>0$ and $\mu>0$, we prove some existence results about the normalized solutions. Our results extend the results of Luo and Zhang (Calc. Var. Partial Differential Equations 59, 1-35, 2020) to the fractional Kirchhoff equations. Moreover, we give some results about the behavior of the normalized solutions obtained above as $\mu\rightarrow0^{+}$.


title: Group Recommendation Techniques for Feature Modeling and Configuration

abstract: In large-scale feature models, feature modeling and configuration processes are highly expected to be done by a group of stakeholders. In this context, recommendation techniques can increase the efficiency of feature-model design and find optimal configurations for groups of stakeholders. Existing studies show plenty of issues concerning feature model navigation support, group members' satisfaction, and conflict resolution. This study proposes group recommendation techniques for feature modeling and configuration on the basis of addressing the mentioned issues.


abstract: Minimal algebraic surfaces of general type $X$ such that $K^2_X=2\chi(\mathcal{O}_X)-6$ are called Horikawa surfaces. In this note $\mathbb{Z}_3$-actions on Horikawa surfaces are studied. The main result states that given an admissible pair $(K^2, \chi)$ such that $K^2=2\chi-6$, all the connected components of Gieseker's moduli space $\mathfrak{M}_{K^2,\chi}$ contain surfaces admitting a $\mathbb{Z}_3$-action. On the other hand, the examples considered allow to produce normal stable surfaces that do not admit a $\mathbb{Q}$-Gorenstein smoothing. This is illustrated by constructing non-smoothable normal surfaces in the KSBA-compactification $\overline{\mathfrak{M}}_{K^2,\chi}$ of Gieseker's moduli space $\mathfrak{M}_{K^2,\chi}$ for every admissible pair $(K^2, \chi)$ such that $K^2=2\chi-5$. Furthermore, the surfaces constructed belong to connected components of $\overline{\mathfrak{M}}_{K^2,\chi}$ without canonical models.


title: Elementary covering numbers in odd-dimensional unitary groups

abstract: Let $(K,\Delta)$ be a Hermitian form field and $n\geq 3$. We prove that if $\sigma\in U_{2n+1}(K,\Delta)$ is a unitary matrix of level $(K,\Delta)$, then any short root transvection $T_{ij}(x)$ is a product of $4$ elementary unitary conjugates of $\sigma$ and $\sigma^{-1}$. Moreover, the bound $4$ is sharp. We also show that any extra short root transvection $T_i(x,y)$ is a product of $12$ elementary unitary conjugates of $\sigma$ and $\sigma^{-1}$. If the level of $\sigma$ is $(0,K\times 0)$, then any $(0,K\times 0)$-elementary extra short root transvection $T_i(x,0)$ is a product of $2$ elementary unitary conjugates of $\sigma$ and $\sigma^{-1}$.


title: LioNets: A Neural-Specific Local Interpretation Technique Exploiting Penultimate Layer Information

abstract: Artificial Intelligence (AI) has a tremendous impact on the unexpected growth of technology in almost every aspect. AI-powered systems are monitoring and deciding about sensitive economic and societal issues. The future is towards automation, and it must not be prevented. However, this is a conflicting viewpoint for a lot of people, due to the fear of uncontrollable AI systems. This concern could be reasonable if it was originating from considerations associated with social issues, like gender-biased, or obscure decision-making systems. Explainable AI (XAI) is recently treated as a huge step towards reliable systems, enhancing the trust of people to AI. Interpretable machine learning (IML), a subfield of XAI, is also an urgent topic of research. This paper presents a small but significant contribution to the IML community, focusing on a local-based, neural-specific interpretation process applied to textual and time-series data. The proposed methodology introduces new approaches to the presentation of feature importance based interpretations, as well as the production of counterfactual words on textual datasets. Eventually, an improved evaluation metric is introduced for the assessment of interpretation techniques, which supports an extensive set of qualitative and quantitative experiments.


title: Dispersion Calibration for the National Ignition Facility Electron Positron Proton Spectrometers for Intense Laser Matter Interactions

abstract: Electron-positron pairs, produced in intense laser-solid interactions, are diagnosed using magnetic spectrometers with image plates, such as the National Ignition Facility (NIF) Electron Positron Proton Spectrometers (EPPS). Although modeling can help infer the quantitative value, the accuracy of the models needs to be verified to ensure measurement quality. The dispersion of low-energy electrons and positrons may be affected by fringe magnetic fields near the entrance of the EPPS. We have calibrated the EPPS with six electron beams from a Siemens Oncor linear accelerator (linac) ranging in energy from $2.7$--$15.2$ $\mathrm{MeV}$ as they enter the spectrometer. A Geant4 TOPAS Monte-Carlo simulation was set up to match depth dose curves and lateral profiles measured in water at $100$ $\mathrm{cm}$ source-surface distance. An accurate relationship was established between the bending magnet current setting and the energy of the electron beam at the exit window. The simulations and measurements were used to determine the energy distributions of the six electron beams at the EPPS slit. Analysis of the scanned image plates together with the determined energy distribution arriving in the spectrometer provide improved dispersion curves for the EPPS.


title: First and Second Order Dynamics in a Hierarchical SOM system for Action Recognition

abstract: Human recognition of the actions of other humans is very efficient and is based on patterns of movements. Our theoretical starting point is that the dynamics of the joint movements is important to action categorization. On the basis of this theory, we present a novel action recognition system that employs a hierarchy of Self-Organizing Maps together with a custom supervised neural network that learns to categorize actions. The system preprocesses the input from a Kinect like 3D camera to exploit the information not only about joint positions, but also their first and second order dynamics. We evaluate our system in two experiments with publicly available data sets, and compare its performance to the performance with less sophisticated preprocessing of the input. The results show that including the dynamics of the actions improves the performance. We also apply an attention mechanism that focuses on the parts of the body that are the most involved in performing the actions.


title: Model Learning with Personalized Interpretability Estimation (ML-PIE)

abstract: High-stakes applications require AI-generated models to be interpretable. Current algorithms for the synthesis of potentially interpretable models rely on objectives or regularization terms that represent interpretability only coarsely (e.g., model size) and are not designed for a specific user. Yet, interpretability is intrinsically subjective. In this paper, we propose an approach for the synthesis of models that are tailored to the user by enabling the user to steer the model synthesis process according to her or his preferences. We use a bi-objective evolutionary algorithm to synthesize models with trade-offs between accuracy and a user-specific notion of interpretability. The latter is estimated by a neural network that is trained concurrently to the evolution using the feedback of the user, which is collected using uncertainty-based active learning. To maximize usability, the user is only asked to tell, given two models at the time, which one is less complex. With experiments on two real-world datasets involving 61 participants, we find that our approach is capable of learning estimations of interpretability that can be very different for different users. Moreover, the users tend to prefer models found using the proposed approach over models found using non-personalized interpretability indices.


title: Revisiting Kepler-444. II. Rotational, orbital and high-energy fluxes evolution of the system

abstract: Context. Kepler-444 is one of the oldest planetary systems known thus far. Its peculiar configuration consisting of five sub-Earth-sized planets orbiting the companion to a binary stellar system makes its early history puzzling. Moreover, observations of HI-Ly-$\rm \alpha$ variations raise many questions about the potential presence of escaping atmospheres today. Aims. We aim to study the orbital evolution of Kepler-444-d and Kepler-444-e and the impact of atmospheric evaporation on Kepler-444-e. Methods. Rotating stellar models of Kepler-444-A were computed with the Geneva stellar evolution code and coupled to an orbital evolution code, accounting for the effects of dynamical, equilibrium tides and atmospheric evaporation. The impacts of multiple stellar rotational histories and extreme ultraviolet (XUV) luminosity evolutionary tracks are explored. Results. Using detailed rotating stellar models able to reproduce the rotation rate of Kepler-444-A, we find that its observed rotation rate is perfectly in line with what is expected for this old K0-type star, indicating that there is no reason for it to be exceptionally active as would be required to explain the observed HI-Ly-$\rm \alpha$ variations from a stellar origin. We show that given the low planetary mass ($\sim$ 0.03 M$_{\rm \oplus}$) and relatively large orbital distance ($\sim$ 0.06 AU) of Kepler-444-d and e, dynamical tides negligibly affect their orbits, regardless of the stellar rotational history considered. We point out instead how remarkable the impact is of the stellar rotational history on the estimation of the lifetime mass loss for Kepler-444-e. We show that, even in the case of an extremely slow rotating star, it seems unlikely that such a planet could retain a fraction of the initial water-ice content if we assume that it formed with a Ganymede-like composition.


title: Quasi-inversion of quantum and classical channels in finite dimensions

abstract: We introduce the concept of quasi-inverse of quantum and classical channels, prove general properties of these inverses and determine them for a large class of channels acting in an arbitrary finite dimension. Therefore we extend the previous results of [1] to arbitrary dimensional channels and to the classical domain. We demonstrate how application of the proposed scheme can increase on the average the fidelity between a given random pure state and its image transformed by the quantum channel followed by its quasi-inversion.


title: UPB at SemEval-2021 Task 7: Adversarial Multi-Task Learning for Detecting and Rating Humor and Offense

abstract: Detecting humor is a challenging task since words might share multiple valences and, depending on the context, the same words can be even used in offensive expressions. Neural network architectures based on Transformer obtain state-of-the-art results on several Natural Language Processing tasks, especially text classification. Adversarial learning, combined with other techniques such as multi-task learning, aids neural models learn the intrinsic properties of data. In this work, we describe our adversarial multi-task network, AMTL-Humor, used to detect and rate humor and offensive texts from Task 7 at SemEval-2021. Each branch from the model is focused on solving a related task, and consists of a BiLSTM layer followed by Capsule layers, on top of BERTweet used for generating contextualized embeddings. Our best model consists of an ensemble of all tested configurations, and achieves a 95.66% F1-score and 94.70% accuracy for Task 1a, while obtaining RMSE scores of 0.6200 and 0.5318 for Tasks 1b and 2, respectively.


title: Mixed supervision for surface-defect detection: from weakly to fully supervised learning

abstract: Deep-learning methods have recently started being employed for addressing surface-defect detection problems in industrial quality control. However, with a large amount of data needed for learning, often requiring high-precision labels, many industrial problems cannot be easily solved, or the cost of the solutions would significantly increase due to the annotation requirements. In this work, we relax heavy requirements of fully supervised learning methods and reduce the need for highly detailed annotations. By proposing a deep-learning architecture, we explore the use of annotations of different details ranging from weak (image-level) labels through mixed supervision to full (pixel-level) annotations on the task of surface-defect detection. The proposed end-to-end architecture is composed of two sub-networks yielding defect segmentation and classification results. The proposed method is evaluated on several datasets for industrial quality inspection: KolektorSDD, DAGM and Severstal Steel Defect. We also present a new dataset termed KolektorSDD2 with over 3000 images containing several types of defects, obtained while addressing a real-world industrial problem. We demonstrate state-of-the-art results on all four datasets. The proposed method outperforms all related approaches in fully supervised settings and also outperforms weakly-supervised methods when only image-level labels are available. We also show that mixed supervision with only a handful of fully annotated samples added to weakly labelled training images can result in performance comparable to the fully supervised model's performance but at a significantly lower annotation cost.


title: Abundance of independent sequences in compact spaces and Boolean algebras

abstract: It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal $\mathcal{C}^\perp$ as the class of all compact spaces for which every continuous image in $\mathcal{C}$ is metrizable. We study how this operation relates classes where centeredness is scarce with classes where it is abundant (like Eberlein and $ccc$ compacta), and also classes where independence is scarce (most notably weakly Radon-Nikod\'ym compacta) with classes where it is abundant. We study these problems for zero-dimensional compact spaces with the aid of Boolean algebras and show the main difficulties arising when passing to the general setting. Our main results are the constructions of several relevant examples.


title: Assessment of the cosmic distance duality relation using Gaussian Process

abstract: Two types of distance measurement are important in cosmological observations, the angular diameter distance $d_A$ and the luminosity distance $d_L$. In the present work, we carried out an assessment of the theoretical relation between these two distance measurements, namely the cosmic distance duality relation, from type Ia supernovae (SN-Ia) data, the Cosmic Chronometer (CC) Hubble parameter data, and baryon acoustic oscillation (BAO) data using Gaussian Process. The luminosity distance curve and the angular diameter distance curve are extracted from the SN-Ia data and the combination of BAO and CC data respectively using the Gaussian Process. The distance duality relation is checked by a non-parametric reconstruction using the reconstructed $H$, $d_L$, and the volume-averaged distance $D_v$. We compare the results obtained for different choices of the covariance function employed in the Gaussian Process. It is observed that the theoretical distance duality relation is in well agreement with the present analysis in 2$\sigma$ for the overlapping redshift domain $0 \leq z \leq 2$ of the reconstruction.


title: On irreducible characters of the Iwahori-Hecke algebra in type $A$

abstract: We use vertex operators to compute irreducible characters of the Iwahori-Hecke algebra of type $A$. Two general formulas are given for the irreducible characters in terms of those of the symmetric groups or the Iwahori-Hecke algebras in lower degrees. Explicit formulas are derived for the irreducible characters labeled by hooks and two-row partitions. Using duality, we also formulate a determinant type Murnaghan-Nakayama formula and give another proof of Ram's combinatorial Murnaghan-Nakayama formula. As applications, we study super-characters of the Iwahori-Hecke algebra as well as the bitrace of the regular representation and provide a simple proof of the Halverson-Luduc-Ram formula.


title: Reconciling Experimental and Theoretical Vibrational Deactivation in Low-Energy O+N$_2$ Collisions

abstract: Molecular dynamics calculations of inelastic collisions of atomic oxygen with molecular nitrogen are known to show orders of magnitude discrepancies with experimental results in the range from room temperature to many thousands of degrees Kelvin. In this work, we have achieved an unprecedented quantitative agreement with experiments even at low temperature, by including a non-adiabatic treatment involving vibronic states on newly developed potential energy surfaces. This result paves the way to the calculation of accurate and detailed databases of vibrational energy exchange rates for this collisional system. This is bound to have an impact on air plasma simulations in a wide range of conditions and on the development of Very Low Earth Orbit (VLEO) satellites, operating in the low thermosphere, objects of great technological interest due to their potential at a competitive cost.


title: 1-bit LAMB: Communication Efficient Large-Scale Large-Batch Training with LAMB's Convergence Speed

abstract: To train large models (like BERT and GPT-3) on hundreds of GPUs, communication has become a major bottleneck, especially on commodity systems with limited-bandwidth TCP network. On one side large batch-size optimization such as LAMB algorithm was proposed to reduce the frequency of communication. On the other side, communication compression algorithms such as 1-bit Adam help to reduce the volume of each communication. However, we find that simply using one of the techniques is not sufficient to solve the communication challenge, especially under low network bandwidth. Motivated by this we aim to combine the power of large-batch optimization and communication compression, but we find that existing compression strategies cannot be directly applied to LAMB due to its unique adaptive layerwise learning rates. To this end, we design a new communication-efficient algorithm, 1-bit LAMB, which introduces a novel way to support adaptive layerwise learning rates under compression. In addition, we introduce a new system implementation for compressed communication using the NCCL backend of PyTorch distributed, which improves both usability and performance. For BERT-Large pre-training task with batch sizes from 8K to 64K, our evaluations on up to 256 GPUs demonstrate that 1-bit LAMB with NCCL-based backend is able to achieve up to 4.6x communication volume reduction, up to 2.8x end-to-end time-wise speedup, and the same sample-wise convergence speed (and same fine-tuning task accuracy) compared to uncompressed LAMB.


title: Online Recognition of Actions Involving Objects

abstract: We present an online system for real time recognition of actions involving objects working in online mode. The system merges two streams of information processing running in parallel. One is carried out by a hierarchical self-organizing map (SOM) system that recognizes the performed actions by analysing the spatial trajectories of the agent's movements. It consists of two layers of SOMs and a custom made supervised neural network. The activation sequences in the first layer SOM represent the sequences of significant postures of the agent during the performance of actions. These activation sequences are subsequently recoded and clustered in the second layer SOM, and then labeled by the activity in the third layer custom made supervised neural network. The second information processing stream is carried out by a second system that determines which object among several in the agent's vicinity the action is applied to. This is achieved by applying a proximity measure. The presented method combines the two information processing streams to determine what action the agent performed and on what object. The action recognition system has been tested with excellent performance.


title: Hidden depths in the local Universe: The Stellar Stream Legacy Survey

abstract: Mergers and tidal interactions between massive galaxies and their dwarf satellites are a fundamental prediction of the Lambda-Cold Dark Matter cosmology. These events are thought to provide important observational diagnostics of nonlinear structure formation. Stellar streams in the Milky Way and Andromeda are spectacular evidence for ongoing satellite disruption. However, constructing a statistically meaningful sample of tidal streams beyond the Local Group has proven a daunting observational challenge, and the full potential for deepening our understanding of galaxy assembly using stellar streams has yet to be realised. Here we introduce the Stellar Stream Legacy Survey, a systematic imaging survey of tidal features associated with dwarf galaxy accretion around a sample of ~3100 nearby galaxies within z~0.02, including about 940 Milky Way analogues. Our survey exploits public deep imaging data from the DESI Legacy Imaging Surveys, which reach surface brightness as faint as ~29 mag/arcsec^2 in the r band. As a proof of concept of our survey, we report the detection and broad-band photometry of 24 new stellar streams in the local Universe. We discuss how these observations can yield new constraints on galaxy formation theory through comparison to mock observations from cosmological galaxy simulations. These tests will probe the present-day mass assembly rate of galaxies, the stellar populations and orbits of satellites, the growth of stellar halos and the resilience of stellar disks to satellite bombardment.


title: Stellar variability in radial velocity

abstract: Stellar activity due to different processes (magnetic activity, photospheric flows) affects the measurement of radial velocities (RV). Radial velocities have been widely used to detect exoplanets, although the stellar signal significantly impacts the detection and characterisation performance, especially for low mass planets. On the other hand, RV time series are also very rich in information on stellar processes. In this lecture, I review the context of RV observations, describe how radial velocities are measured, and the properties of typical observations. I present the challenges represented by stellar activity for exoplanet studies, and describe the processes at play. Finally, I review the approaches which have been developed, including observations and simulations, as well as solar and stellar comparisons.


title: INTEGRAL serendipitous observations of solar and terrestrial X-rays and gamma rays

abstract: ESA's INTEGRAL space mission has achieved unique results for solar and terrestrial physics, although spacecraft operations nominally excluded the possibility to point at the Sun or the Earth. The Earth avoidance was, however, exceptionally relaxed for special occultation observations of the Cosmic X-ray Background (CXB), which on some occasions allowed the detection of strong X-ray auroral emission. In addition, the most intense solar flares can be bright enough to be detectable from outside the field of view of the main instruments. This article presents for the first time the auroral observations by INTEGRAL and reviews earlier studies of the most intense solar flares. We end by briefly summarising the studies of the Earth's radiation belts, which can be considered as another topic of serendipitous science with INTEGRAL.

categories: astro-ph.HE astro-ph.EP astro-ph.SR physics.space-ph


title: NoiseVC: Towards High Quality Zero-Shot Voice Conversion

abstract: Voice conversion (VC) is a task that transforms voice from target audio to source without losing linguistic contents, it is challenging especially when source and target speakers are unseen during training (zero-shot VC). Previous approaches require a pre-trained model or linguistic data to do the zero-shot conversion. Meanwhile, VC models with Vector Quantization (VQ) or Instance Normalization (IN) are able to disentangle contents from audios and achieve successful conversions. However, disentanglement in these models highly relies on heavily constrained bottleneck layers, thus, the sound quality is drastically sacrificed. In this paper, we propose NoiseVC, an approach that can disentangle contents based on VQ and Contrastive Predictive Coding (CPC). Additionally, Noise Augmentation is performed to further enhance disentanglement capability. We conduct several experiments and demonstrate that NoiseVC has a strong disentanglement ability with a small sacrifice of quality.


title: Compact LWFA-Based Extreme Ultraviolet Free Electron Laser: design constraints

abstract: Combination of advanced high power laser technology, new acceleration methods and achievements in undulator development opens a way to build compact, high brilliance Free Electron Laser (FEL) driven by a laser wakefield accelerator (LWFA). Here we present a study outlining main requirements on the LWFA based Extreme Ultra Violet (EUV) FEL setup with the aim to reach saturation of photon pulse energy in a single unit commercially available undulator with the deflection parameter $K_0$ in a range of (1{\div}1.5). A dedicated electron beam transport which allows to control the electron beam slice parameters, including collective effects, required by the self-amplified spontaneous emission (SASE) FEL regime is proposed. Finally, a set of coherent photon radiation parameters achievable in the undulator section utilizing best experimentally demonstrated electron beam parameters are analyzed. As a result we demonstrate that the ultra-short (few fs level) pulse of the photon radiation with the wavelength in the EUV range can be obtained with the peak brilliance of $\sim$2$\times$10$^{30}$ photons/s/mm$^2$/mrad$^2$/0.1%bw if the driver laser operates at the repetition rate of 25 Hz.


title: Fundamental physics at the strangeness frontier at DA{\Phi}NE. Outline of a proposal for future measurements

abstract: The DA{\Phi}NE collider at INFN-LNF is a unique source of low-energy kaons, which was used by the DEAR, SIDDHARTA and AMADEUS collaborations for unique measurements of kaonic atoms and kaon-nuclei interactions. Presently, the SIDDHARTA-2 collaboration is underway to measure the kaonic deuterium exotic atom. With this document we outline a proposal for fundamental physics at the strangeness frontier for future measurements of kaonic atoms and kaon-nuclei interactions at DA{\Phi}NE, which is intended to stimulate discussions within the broad scientific community performing research directly or indirectly related to this field.


title: An Adversarial Imitation Click Model for Information Retrieval

abstract: Modern information retrieval systems, including web search, ads placement, and recommender systems, typically rely on learning from user feedback. Click models, which study how users interact with a ranked list of items, provide a useful understanding of user feedback for learning ranking models. Constructing "right" dependencies is the key of any successful click model. However, probabilistic graphical models (PGMs) have to rely on manually assigned dependencies, and oversimplify user behaviors. Existing neural network based methods promote PGMs by enhancing the expressive ability and allowing flexible dependencies, but still suffer from exposure bias and inferior estimation. In this paper, we propose a novel framework, Adversarial Imitation Click Model (AICM), based on imitation learning. Firstly, we explicitly learn the reward function that recovers users' intrinsic utility and underlying intentions. Secondly, we model user interactions with a ranked list as a dynamic system instead of one-step click prediction, alleviating the exposure bias problem. Finally, we minimize the JS divergence through adversarial training and learn a stable distribution of click sequences, which makes AICM generalize well across different distributions of ranked lists. A theoretical analysis has indicated that AICM reduces the exposure bias from $O(T^2)$ to $O(T)$. Our studies on a public web search dataset show that AICM not only outperforms state-of-the-art models in traditional click metrics but also achieves superior performance in addressing the exposure bias and recovering the underlying patterns of click sequences.


title: Reciprocal Transformations in Relativistic Gasdynamics. Lie Group Connections

abstract: Reciprocal transformations associated with admitted conservation laws were originally used to derive invariance properties in non-relativistic gasdynamics and applied to obtain reduction to tractable canonical forms. They have subsequently been shown to have diverse physical applications to nonlinear systems, notably in the analytic treatment of Stefan-type moving boundary problem and in linking inverse scattering systems and integrable hierarchies in soliton theory. Here,invariance under classes of reciprocal transformations in relativistic gasdynamics is shown to be linked to a Lie group procedure.


title: Repulsive and attractive depletion forces mediated by nonadsorbing polyelectrolytes in the Donnan limit

abstract: In mixtures of colloids and nonadsorbing polyelectrolytes, a Donnan potential arises across the region between surfaces that are depleted of polyelectrolyte and the rest of the system. This Donnan potential tends to shift the polyelectrolyte density profile towards the colloidal surface and leads to local accumulation of polyelectrolytes. We derive a zero-field theory for the disjoining pressure between two parallel flat plates. Polyelectrolyte is allowed to enter the confined interplate region at the cost of a conformational free energy penalty. The resulting disjoining pressure shows a crossover to a repulsive regime when the interplate separation gets smaller than the size of the polyelectrolyte chain, followed by an attractive part. We find a quantitative match between the model and self-consistent field computations that take into account the full Poisson-Boltzmann electrostatics.


title: Trimanipulation: Evaluation of human performance in a 3-handed coordination task

abstract: Many teleoperation tasks require three or more tools working together, which need the cooperation of multiple operators. The effectiveness of such schemes may be limited by communication. Trimanipulation by a single operator using an artificial third arm controlled together with their natural arms is a promising solution to this issue. Foot-controlled interfaces have previously shown the capability to be used for the continuous control of robot arms. However, the use of such interfaces for controlling a supernumerary robotic limb (SRLs) in coordination with the natural limbs, is not well understood. In this paper, a teleoperation task imitating physically coupled hands in a virtual reality scene was conducted with 14 subjects to evaluate human performance during tri-manipulation. The participants were required to move three limbs together in a coordinated way mimicking three arms holding a shared physical object. It was found that after a short practice session, the three-hand tri-manipulation using a single subject's hands and foot was still slower than dyad operation, however, they displayed similar performance in success rate and higher motion efficiency than two person's cooperation.


title: Training Quantum Neural Networks on NISQ Devices

abstract: The advent of noisy intermediate-scale quantum (NISQ) devices offers crucial opportunities for the development of quantum algorithms. Here we evaluate the noise tolerance of two quantum neural network (QNN) architectures on IBM's NISQ devices, namely, dissipative QNN (DQNN) whose building-block perceptron is a completely positive map, and the quantum approximate optimization algorithm (QAOA). We compare these two approaches to learning an unknown unitary. While both networks succeed in this learning task, we find that a DQNN learns an unknown unitary more reliably than QAOA and is less susceptible to gate noise.


title: The minimal number of homogeneous geodesics depending on the signature of the Killing form

abstract: The existence of at least two homogeneous geodesics in any homogeneous Finsler manifold was proved in a previous paper by the author. The examples of solvable Lie groups with invariant Finsler metric which admit just two homogeneous geodesics were presented in another paper. In the present work, it is shown that a homogeneous Finsler manifold with indefinite Killing form admits at least four homogeneous geodesics. Examples of invariant Randers metrics on Lie groups with definite Killing form admitting just two homogeneous geodesics and examples with indefinite Killing form admitting just four homogeneous geodesics are presented.


title: Spatiotemporal Entropy Model is All You Need for Learned Video Compression

abstract: The framework of dominant learned video compression methods is usually composed of motion prediction modules as well as motion vector and residual image compression modules, suffering from its complex structure and error propagation problem. Approaches have been proposed to reduce the complexity by replacing motion prediction modules with implicit flow networks. Error propagation aware training strategy is also proposed to alleviate incremental reconstruction errors from previously decoded frames. Although these methods have brought some improvement, little attention has been paid to the framework itself. Inspired by the success of learned image compression through simplifying the framework with a single deep neural network, it is natural to expect a better performance in video compression via a simple yet appropriate framework. Therefore, we propose a framework to directly compress raw-pixel frames (rather than residual images), where no extra motion prediction module is required. Instead, an entropy model is used to estimate the spatiotemporal redundancy in a latent space rather than pixel level, which significantly reduces the complexity of the framework. Specifically, the whole framework is a compression module, consisting of a unified auto-encoder which produces identically distributed latents for all frames, and a spatiotemporal entropy estimation model to minimize the entropy of these latents. Experiments showed that the proposed method outperforms state-of-the-art (SOTA) performance under the metric of multiscale structural similarity (MS-SSIM) and achieves competitive results under the metric of PSNR.


title: On the efficiency of polar-like decoding for symmetric codes

abstract: The recently introduced polar codes constitute a breakthrough in coding theory due to their capacityachieving property. This goes hand in hand with a quasilinear construction, encoding, and successive cancellation list decoding procedures based on the Plotkin construction. The decoding algorithm can be applied with slight modifications to Reed-Muller or eBCH codes, that both achieve the capacity of erasure channels, although the list size needed for good performance grows too fast to make the decoding practical even for moderate block lengths. The key ingredient for proving the capacity-achieving property of Reed-Muller and eBCH codes is their group of symmetries. It can be plugged into the concept of Plotkin decomposition to design various permutation decoding algorithms. Although such techniques allow to outperform the straightforward polar-like decoding, the complexity stays impractical. In this paper, we show that although invariance under a large automorphism group is valuable in a theoretical sense, it also ensures that the list size needed for good performance grows exponentially. We further establish the bounds that arise if we sacrifice some of the symmetries. Although the theoretical analysis of the list decoding algorithm remains an open problem, our result provides an insight into the factors that impact the decoding complexity.


title: Good-for-Game QPTL: An Alternating Hodges Semantics

abstract: An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the future values of the other variables. This restriction is tightly connected to the notion of behavioral strategies in game-theory and allows the resulting logic to naturally express game-theoretic concepts. The fragment where only restricted quantifications are considered, called behavioral quantifications, can be decided, for both model checking and satisfiability, in 2ExpTime and is expressively equivalent to QPTL, though significantly less succinct.


title: Quantitative Derivation and Scattering of the 3D Cubic NLS in the Energy Space

abstract: We consider the derivation of the defocusing cubic nonlinear Schr\"{o}dinger equation (NLS) on $\mathbb{R}^{3}$ from quantum $N$-body dynamics. We reformat the hierarchy approach with Klainerman-Machedon theory and prove a bi-scattering theorem for the NLS to obtain convergence rate estimates under $H^{1}$ regularity. The $H^{1}$ convergence rate estimate we obtain is almost optimal for $H^{1}$ datum, and immediately improves if we have any extra regularity on the limiting initial one-particle state.