title: Infrared Study of Charge Carrier Confinement in Doped (6,5) Carbon Nanotubes

abstract: Electronic degrees of freedom and their coupling to lattice vibrations in semiconductors can be strongly modified by doping. Accordingly, the addition of surplus charge carriers to chirality-mixed carbon nanotube samples has previously been found to give rise to a Drude-type plasmon feature as well as Fanotype antiresonances in the far- to mid-infrared spectral range (FIR/MIR). Here we investigate the FIR/MIR response of redox-chemically doped semiconducting (6,5) carbon nanotubes (s-SWNTs). We find that, contrary to expectations, the Drude-type plasmon shifts to lower wavenumbers with increasing doping level. By means of Monte-Carlo simulations of the optical response, we attribute this behavior to the confinement of excess charge carriers at low doping levels and their progressive delocalization when approaching degenerate doping. The coupling of vibrational modes to intraband excitations in the doped s-SWNTs can be probed via a double resonance process similar to that responsible for the Raman D-band. The resulting Fano antiresonances shed new light onto the character and coupling of electronic and vibrational degrees of freedom in these one-dimensional semiconductors.


title: Dynamics of nonlinear hyperbolic equations of Kirchhoff type

abstract: In this paper, we study the initial boundary value problem of the important hyperbolic Kirchhoff equation $$u_{tt}-\left(a \int_\Omega |\nabla u|^2 \dif x +b\right)\Delta u = \lambda u+ |u|^{p-1}u ,$$ where $a$, $b>0$, $p>1$, $\lambda \in \mathbb{R}$ and the initial energy is arbitrarily large. We prove several new theorems on the dynamics such as the boundedness or finite time blow-up of solution under the different range of $a$, $b$, $\lambda$ and the initial data for the following cases: (i) $1<p<3$, (ii) $p=3$ and $a>1/\Lambda$, (iii) $p=3$, $a \leq 1/\Lambda$ and $\lam <b\lam_1$, (iv) $p=3$, $a < 1/\Lambda$ and $\lam >b\lam_1$, (v) $p>3$ and $\lam\leq b\lam_1$, (vi) $p>3$ and $\lam> b\lam_1$, where $\lam_1 = \inf\left\{\|\nabla u\|^2_2 :~ u\in H^1_0(\Omega)\ {\rm and}\ \|u\|_2 =1\right\}$, and $\Lambda = \inf\left\{\|\nabla u\|^4_2 :~ u\in H^1_0(\Omega)\ {\rm and}\ \|u\|_4 =1\right\}$. Moreover, we prove the invariance of some stable and unstable sets of the solution for suitable $a$, $b$ and $\lam$, and give the sufficient conditions of initial data to generate a vacuum region of the solution. Due to the nonlocal effect caused by the nonlocal integro-differential term, we show many interesting differences between the blow-up phenomenon of the problem for $a>0$ and $a=0$.


title: Reasoning over Vision and Language: Exploring the Benefits of Supplemental Knowledge

abstract: The limits of applicability of vision-and-language models are defined by the coverage of their training data. Tasks like vision question answering (VQA) often require commonsense and factual information beyond what can be learned from task-specific datasets. This paper investigates the injection of knowledge from general-purpose knowledge bases (KBs) into vision-and-language transformers. We use an auxiliary training objective that encourages the learned representations to align with graph embeddings of matching entities in a KB. We empirically study the relevance of various KBs to multiple tasks and benchmarks. The technique brings clear benefits to knowledge-demanding question answering tasks (OK-VQA, FVQA) by capturing semantic and relational knowledge absent from existing models. More surprisingly, the technique also benefits visual reasoning tasks (NLVR2, SNLI-VE). We perform probing experiments and show that the injection of additional knowledge regularizes the space of embeddings, which improves the representation of lexical and semantic similarities. The technique is model-agnostic and can expand the applicability of any vision-and-language transformer with minimal computational overhead.


title: Turbulence and Particle Acceleration in Shearing Flows

abstract: We explore constraints imposed by shear-driven instabilities on the acceleration of energetic particles in relativistic shearing flows. We show that shearing layers in large-scale AGN jets are likely to encompass a sizeable fraction ($\geq 0.1$) of the jet radius, requiring seed injection of GeV electrons for efficient acceleration. While the diffusion process may depend on pre-developed turbulence if injection occurs at higher energies, electron acceleration to PeV and proton acceleration to EeV energies appears possible within the constraints imposed by jet stability.


title: Deadlock in packet switching networks

abstract: A deadlock in a packet switching network is a state in which one or more messages have not yet reached their target, yet cannot progress any further. We formalize three different notions of deadlock in the context of packet switching networks, to which we refer as global, local and weak deadlock. We establish the precise relations between these notions, and prove they characterize different sets of deadlocks. Moreover, we implement checking of deadlock freedom of packet switching networks using the symbolic model checker nuXmv. We show experimentally that the implementation is effective at finding subtle deadlock situations in packet switching networks.


title: Impact of Phase Noise and Oscillator Stability on Ultra-Narrow-Band-IoT Waveforms for Satellite

abstract: It has been shown that ultra-narrow-band (uNB) massive machine type communication using very compact devices with direct access to satellites is possible at ultra low rate. This enables global ubiquitous coverage for terminals without terrestrial service in the Internet of Remote Things and provides access to any satellite up to the the geostationary earth orbit. The lower data rate for waveforms providing uNB communication is set by the stability and the phase noise of the applied oscillators. In this paper we analyze the physical layer of two candidate waveforms, which are LoRa and Unipolar Coded Chirp-Spread Spectrum (UCSS) with respect to phase noise and oscillator frequency drifts. It is figured out that UCSS is more robust against linear frequency drifts, which is the main source of error for uNB transmissions.


title: Resonant inelastic x-ray scattering spectra in the hyperhoneycomb iridate $\beta$-Li$_2$IrO$_3$: First principles calculations

abstract: We studied the electronic structure of $\beta$-Li$_2$IrO$_3$ insulator within the density-functional theory using the generalized gradient approximation with taking into account strong Coulomb correlations in the framework of the fully relativistic spin-polarized Dirac linear muffin-tin orbital band-structure method. The $\beta$-Li$_2$IrO$_3$ undergoes a pressure-induced structural and magnetic phase transitions at $P_c$ $\sim$4 GPa with symmetry lowering to the monoclinic $C2/c$. The structural phase transition is accompanied by the formation of Ir$_2$ dimers on the zigzag chains, with an Ir-Ir distance of $\sim$2.66~\AA, even shorter than that of metallic Ir. The strong dimerization stabilizes the bonding molecular-orbital state, leads to the collapse of the magnetism and opens the energy gap with a concomitant electronic phase transition from a Mott insulator to band insulator. The resonant inelastic x-ray scattering spectra (RIXS) at the Ir $L_3$ edge were investigated theoretically from first principles. The calculated results are in good agreement with the experimental data. We show that the the drastic reconstruction of the RIXS spectral peak at 0.7 eV associated with the structural $Fddd \rightarrow C2/c$ phase transition at $P_c$ can be related to disappearing of the Coulomb correlations in the high-pressure $C2/c$ phase


title: Standardisation of Data Formats in Gamma-ray Astronomy

abstract: The operation of the future Cherenkov Telescope Array (CTA), the next generation of Imaging Atmospheric Cherenkov Telescopes (IACTs), as an Open Observatory requires data products and analysis tools to be accessible and usable by the scientific community. This requirement has impelled gamma-ray astronomers to develop open-source science tools and standardised data formats. The objective of this presentation is to provide a perspective on the current effort to define a prototypical format for high-level gamma-ray astronomical data. The initiative, started by the IACT community in 2016, has gained in the years 2018 and 2019 full recognition thanks to the first public data releases in such format by current-generation IACTs, followed by a series of papers employing it either to test the capabilities of open-source gamma-ray analysis tools or to showcase examples of reproducible, multi-instrument analysis.


title: Pixelated 3D sensors for tracking in radiation harsh environments

abstract: The High Luminosity upgrade of the CERN Large Hadron Collider will be able to reach a peak instantaneous luminosity of 5E34/cm2 s. The innermost detectors of the CMS and ATLAS experiments will have to cope with unprecedented requirements on radiation hardness. At the end of the operation period, radiation levels are expected to reach values above 2.6E16 neq/cm2. Sensors based on 3D pixel technology, with intrinsic radiation tolerance, are the baseline option for the innermost layers of the vertex detectors of several HL-LHC experiments. This article gives an overview of the ongoing characterization of the pixelated 3D sensor technology, their performance and their current development status for tracking on radiation harsh environments.


title: Renormalization group theory of generalized multi-vertex sine-Gordon model

abstract: We investigate the renormalization group theory of generalized multi-vertex sine-Gordon model by employing the dimensional regularization method and also the Wilson renormalization group method. The vertex interaction is given by $\cos(k_j\cdot \phi)$ where $k_j$ ($j=1,2,\cdots,M$) are momentum vectors and $\phi$ is an $N$-component scalar field. The beta functions are calculated for the sine-Gordon model with multi cosine interactions. The second-order correction in the renormalization procedure is given by the two-point scattering amplitude for tachyon scattering. We show that new vertex interaction with momentum vector $k_{\ell}$ is generated from two vertex interactions with vectors $k_i$ and $k_j$ when $k_i$ and $k_j$ meet the condition $k_{\ell}=k_i\pm k_j$ called the triangle condition. Further condition $k_i\cdot k_j=\pm 1/2$ is required within the dimensional regularization method. The renormalization group equations form a set of closed equations when $\{k_j\}$ form an equilateral triangle for $N=2$ or a regular tetrahedron for $N=3$. The Wilsonian renormalization group method gives qualitatively the same result for beta functions.


title: Non-uniform Motion Deblurring with Blurry Component Divided Guidance

abstract: Blind image deblurring is a fundamental and challenging computer vision problem, which aims to recover both the blur kernel and the latent sharp image from only a blurry observation. Despite the superiority of deep learning methods in image deblurring have displayed, there still exists major challenge with various non-uniform motion blur. Previous methods simply take all the image features as the input to the decoder, which handles different degrees (e.g. large blur, small blur) simultaneously, leading to challenges for sharp image generation. To tackle the above problems, we present a deep two-branch network to deal with blurry images via a component divided module, which divides an image into two components based on the representation of blurry degree. Specifically, two component attentive blocks are employed to learn attention maps to exploit useful deblurring feature representations on both large and small blurry regions. Then, the blur-aware features are fed into two-branch reconstruction decoders respectively. In addition, a new feature fusion mechanism, orientation-based feature fusion, is proposed to merge sharp features of the two branches. Both qualitative and quantitative experimental results show that our method performs favorably against the state-of-the-art approaches.


title: Motion-Based Handwriting Recognition

abstract: We attempt to overcome the restriction of requiring a writing surface for handwriting recognition. In this study, we design a prototype of a stylus equipped with motion sensor, and utilizes gyroscopic and acceleration sensor reading to perform written letter classification using various deep learning techniques such as CNN and RNNs. We also explore various data augmentation techniques and their effects, reaching up to 86% accuracy.


title: New $\alpha$-Emitting Isotope $^{214}$U and Abnormal Enhancement of $\alpha$-Particle Clustering in Lightest Uranium Isotopes

abstract: A new $\alpha$-emitting isotope $^{214}$U, produced by fusion-evaporation reaction $^{182}$W($^{36}$Ar, 4n)$^{214}$U, was identified by employing the gas-filled recoil separator SHANS and recoil-$\alpha$ correlation technique. More precise $\alpha$-decay properties of even-even nuclei $^{216,218}$U were also measured in reactions of $^{40}$Ar, $^{40}$Ca with $^{180, 182, 184}$W targets. By combining the experimental data, improved $\alpha$-decay reduced widths $\delta^2$ for the even-even Po--Pu nuclei in the vicinity of magic neutron number $N=126$ were deduced. Their systematic trends are discussed in terms of $N_{p}N_{n}$ scheme in order to study the influence of proton-neutron interaction on $\alpha$ decay in this region of nuclei. It is strikingly found that the reduced widths of $^{214,216}$U are significantly enhanced by a factor of two as compared with the $N_{p}N_{n}$ systematics for the $84 \leq Z \leq 90$ and $N<126$ even-even nuclei. The abnormal enhancement is interpreted by the strong monopole interaction between the valence protons and neutrons occupying the $\pi 1f_{7/2}$ and $\nu 1f_{5/2}$ spin-orbit partner orbits, which is supported by a large-scale shell model calculation.


title: A probabilistic representation for heat flow of harmonic map on manifolds with time-dependent Riemannian metric

abstract: In this paper we will give a probabilistic representation for the heat flow of harmonic map with time-dependent Riemannian metric via a forward-backward stochastic differential equation on manifolds. Moreover, we can provide an alternative stochastic method for the proof of existence of a unique local solution for heat flow of harmonic map with time-dependent Riemannian metric.


title: Motion-Based Handwriting Recognition and Word Reconstruction

abstract: In this project, we leverage a trained single-letter classifier to predict the written word from a continuously written word sequence, by designing a word reconstruction pipeline consisting of a dynamic-programming algorithm and an auto-correction model. We conduct experiments to optimize models in this pipeline, then employ domain adaptation to explore using this pipeline on unseen data distributions.


title: Statistics on permutations with bounded drop size

abstract: Permutations with bounded drop size, which we also call bounded permutations, was introduced by Chung, Claesson, Dukes and Graham. Petersen introduced a new Mahonian statistic the sorting index, which is denoted by $\sor$. Meanwhile, Wilson introduced the statistic $\DIS$, which turns out to satisfy that $\sor(\sigma)=\DIS(\sigma^{-1})$ for any permutation $\sigma$. In this paper, we maintain Petersen's method to deduce the generating functions of $(\inv, \lmax)$ and $(\DIS, \cyc)$ over bounded permutations to show their equidistribution. Moreover, the generating function of $\des$ over $213$-avoiding bounded permutations and some related equidistributions are given as well.


title: Behavior of Totally Positive Differential Systems Near a Periodic Solution

abstract: A time-varying nonlinear dynamical system is called a totally positive differential system (TPDS) if its Jacobian admits a special sign pattern: it is tri-diagonal with positive entries on the super- and sub-diagonals. If the vector field of a TPDS is T-periodic then every bounded trajectory converges to a T-periodic solution. In particular, when the vector field is time-invariant every bounded trajectory of a TPDS converges to an equlbrium. Here, we use the spectral theory of oscillatory matrices to analyze the behavior near a periodic solution of a TPDS. This yields information on the perturbation directions that lead to the fastest and slowest convergence to or divergence from the periodic solution. We demonstrate the theoretical results using a model from systems biology called the ribosome flow model.


title: QoS-Driven Video Uplinking in NOMA-Based IoT

abstract: In recent years, with the explosive growth of visual sensors and a large number of related video applications in Internet of Things (IoT), massive video data is generated by IoT devices. Since the volume of video data is far greater than traditional data in IoT, it is challenging to ensure high Quality of Service (QoS) for video uplinking in IoT. To address this challenge, we integrate non-orthogonal multiple access (NOMA) and scalable video coding (SVC) in IoT. To improve the video quality, we formulate a power allocation problem to maximize the average QoS in the proposed integrated system. Due to that the problem is non-convex, we transform it into a monotonic problem based on its hidden monotonicity. Then a power allocation algorithm based on polyblock outer approximation is proposed to solve the problem effectively. Finally, simulation results demonstrate that the proposed algorithm outperforms existing OMA and NOMA based schemes for video uplinking in IoT in terms of QoS and energy efficiency.


title: Isospin diffusion measurement from the direct detection of a Quasi-Projectile remnant

abstract: The neutron-proton equilibration process in 48 Ca+ 40 Ca at 35 MeV/nucleon bombarding energy has been experimentally estimated by means of the isospin transport ratio. Experimental data have been collected with a subset of the FAZIA telescope array, which permitted to determine Z and N of detected fragments. For the first time, the QP evaporative channel has been compared with the QP break-up one in a homogeneous and consistent way, pointing out to a comparable n-p equilibration which suggests close interaction time between projectile and target independently of the exit channel. Moreover, in the QP evaporative channel n-p equilibration has been compared with the prediction of the Antisymmetrized Molecular Dynamics (AMD) model coupled to the GEMINI statistical model as an afterburner, showing a larger probability of proton and neutron transfers in the simulation with respect to the experimental data.


title: Directed Diversity: Leveraging Language Embedding Distances for Collective Creativity in Crowd Ideation

abstract: Crowdsourcing can collect many diverse ideas by prompting ideators individually, but this can generate redundant ideas. Prior methods reduce redundancy by presenting peers' ideas or peer-proposed prompts, but these require much human coordination. We introduce Directed Diversity, an automatic prompt selection approach that leverages language model embedding distances to maximize diversity. Ideators can be directed towards diverse prompts and away from prior ideas, thus improving their collective creativity. Since there are diverse metrics of diversity, we present a Diversity Prompting Evaluation Framework consolidating metrics from several research disciplines to analyze along the ideation chain - prompt selection, prompt creativity, prompt-ideation mediation, and ideation creativity. Using this framework, we evaluated Directed Diversity in a series of a simulation study and four user studies for the use case of crowdsourcing motivational messages to encourage physical activity. We show that automated diverse prompting can variously improve collective creativity across many nuanced metrics of diversity.


title: MFG model with a long-lived penalty at random jump times: application to demand side management for electricity contracts

abstract: We consider an energy system with $n$ consumers who are linked by a Demand Side Management (DSM) contract, i.e. they agreed to diminish, at random times, their aggregated power consumption by a predefined volume during a predefined duration. Their failure to deliver the service is penalised via the difference between the sum of the $n$ power consumptions and the contracted target. We are led to analyse a non-zero sum stochastic game with $n$ players, where the interaction takes place through a cost which involves a delay induced by the duration included in the DSM contract. When $n \to \infty$, we obtain a Mean-Field Game (MFG) with random jump time penalty and interaction on the control. We prove a stochastic maximum principle in this context, which allows to compare the MFG solution to the optimal strategy of a central planner. In a linear quadratic setting we obtain an semi-explicit solution through a system of decoupled forward-backward stochastic differential equations with jumps, involving a Riccati Backward SDE with jumps. We show that it provides an approximate Nash equilibrium for the original $n$-player game for $n$ large. Finally, we propose a numerical algorithm to compute the MFG equilibrium and present several numerical experiments.


title: The phases of the disordered Bose-Hubbard model with attractive interactions

abstract: We study the quantum ground state phases of the one-dimensional disordered Bose--Hubbard model with attractive interactions, realized by a chain of superconducting transmon qubits or cold atoms. We map the phase diagram using perturbation theory and exact diagonalization. Compared to the repulsive Bose--Hubbard model, the quantum ground state behavior is dramatically different. At strong disorder of the on-site energies, all the bosons localize into the vicinity of a single site, contrary to the Bose glass behavior of the repulsive model. At weak disorder, depending on hopping, the ground state is either superfluid or a W state, which is a multi-site and multi-particle entangled superposition of states where all the bosons occupy a single site. We show that the robustness of the W phase against disorder diminishes as the total number of bosons increases.


title: Improved Rank-Modulation Codes for DNA Storage with Shotgun Sequencing

abstract: We study permutations over the set of $\ell$-grams, that are feasible in the sense that there is a sequence whose $\ell$-gram frequency has the same ranking as the permutation. Codes, which are sets of feasible permutations, protect information stored in DNA molecules using the rank-modulation scheme, and read using the shotgun sequencing technique. We construct systematic codes with an efficient encoding algorithm, and show that they are optimal in size. The length of the DNA sequences that correspond to the codewords is shown to be polynomial in the code parameters. Non-systematic with larger size are also constructed.


title: Matrix-free Penalized Spline Smoothing with Multiple Covariates

abstract: The paper motivates high dimensional smoothing with penalized splines and its numerical calculation in an efficient way. If smoothing is carried out over three or more covariates the classical tensor product spline bases explode in their dimension bringing the estimation to its numerical limits. A recent approach by Siebenborn and Wagner(2019) circumvents storage expensive implementations by proposing matrix-free calculations which allows to smooth over several covariates. We extend their approach here by linking penalized smoothing and its Bayesian formulation as mixed model which provides a matrix-free calculation of the smoothing parameter to avoid the use of high-computational cross validation. Further, we show how to extend the ideas towards generalized regression models. The extended approach is applied to remote sensing satellite data in combination with spatial smoothing.


title: Hyper-order baryon number fluctuations at finite temperature and density

abstract: Fluctuations of conserved charges are sensitive to the QCD phase transition and a possible critical endpoint in the phase diagram at finite density. In this work, we compute the baryon number fluctuations up to tenth order at finite temperature and density. This is done in a QCD-assisted effective theory that accurately captures the quantum- and in-medium effects of QCD at low energies. A direct computation at finite density allows us to assess the applicability of expansions around vanishing density. By using different freeze-out scenarios in heavy-ion collisions, we translate these results into baryon number fluctuations as a function of collision energy. We show that a non-monotonic energy dependence of baryon number fluctuations can arise in the non-critical crossover region of the phase diagram. Our results compare well with recent experimental measurements of the kurtosis and the sixth-order cumulant of the net-proton distribution from the STAR collaboration. They indicate that the experimentally observed non-monotonic energy dependence of fourth-order net-proton fluctuations is highly non-trivial. It could be an experimental signature of an increasingly sharp chiral crossover and may indicate a QCD critical point. The physics implications and necessary upgrades of our analysis are discussed in detail.


title: Statistical and dynamical bimodality in multifragmentation reactions

abstract: The bimodal behavior of the order parameter is studied in the framework of Boltzmann-Uehling-Uhlenbeck (BUU) transport model. In order to do that, simplified yet accurate method of BUU model is used which allow calculation of fluctuations in systems much larger than what was considered feasible in a well-known and already existing model. It is observed that depending on the projectile energy and centrality of the reaction, both entrance channel and exit channel effects can be at the origin of the experimentally observed bimodal behavior. Both dynamical and statistical bimodality mechanisms are associated in the theoretical model to different time scales of the reaction, and to different energy regimes.


title: Production of super-heavy nuclei in cold fusion reactions

abstract: The model for the cold-fusion reactions related to the synthesis of super-heavy nuclei in collisions of heavy projectile-nuclei with $^{208}$Pb target nucleus is discussed. In the framework of this model the production of the compound nucleus by two paths through, the di-nuclear system and the fusion way, are taken into account simultaneously. The formation of the compound nucleus in the framework of the di-nuclear system is related to the transfer of nucleons from the light nucleus to the heavy one. The fusion way is linked to the sequential evolution of the nuclear shape from the system of contacting nuclei to the compound nucleus. It is shown that the compound nucleus is mainly formed by the fusion way in the cold-fusion reactions. The landscape of the potential energy related to the fusion path is discussed in detail. This landscape for very heavy nucleus-nucleus systems has the intermediate state, which is linked to the formation of both the compound nucleus and the quasi-fission fragments. The decay of the intermediate state is taken into account in the calculation of the compound nucleus production cross sections and the quasi-fission cross sections. The values of the cold-fusion cross sections obtained in the model are well agreed with the experimental data.


title: Spectral representations of characteristic functions of discrete probability laws

abstract: We consider discrete probability laws on the real line, whose characteristic functions are separated from zero. In particular, this class includes arbitrary discrete infinitely divisible laws and lattice probability laws, whose characteristic functions have no zeroes on the real line. We show that characteristic functions of such laws admit spectral L\'evy--Khinchine type representations. We also apply the representations of such laws to obtain limit and compactness theorems with convergence in variation to probability laws from this class. Thus we generalize the corresponding results from the recent papers by Lindner, Pan, Sato, and by Khartov.


title: Secure Optimization Through Opaque Observations

abstract: Secure applications implement software protections against side-channel and physical attacks. Such protections are meaningful at machine code or micro-architectural level, but they typically do not carry observable semantics at source level. To prevent optimizing compilers from altering the protection, security engineers embed input/output side-effects into the protection. These side-effects are error-prone and compiler-dependent, and the current practice involves analyzing the generated machine code to make sure security or privacy properties are still enforced. Vu et al. recently demonstrated how to automate the insertion of volatile side-effects in a compiler [52], but these may be too expensive in fined-grained protections such as control-flow integrity. We introduce observations of the program state that are intrinsic to the correct execution of security protections, along with means to specify and preserve observations across the compilation flow. Such observations complement the traditional input/output-preservation contract of compilers. We show how to guarantee their preservation without modifying compilation passes and with as little performance impact as possible. We validate our approach on a range of benchmarks, expressing the secure compilation of these applications in terms of observations to be made at specific program points.


title: Towards a Computed-Aided Diagnosis System in Colonoscopy: Automatic Polyp Segmentation Using Convolution Neural Networks

abstract: Early diagnosis is essential for the successful treatment of bowel cancers including colorectal cancer (CRC) and capsule endoscopic imaging with robotic actuation can be a valuable diagnostic tool when combined with automated image analysis. We present a deep learning rooted detection and segmentation framework for recognizing lesions in colonoscopy and capsule endoscopy images. We restructure established convolution architectures, such as VGG and ResNets, by converting them into fully-connected convolution networks (FCNs), fine-tune them and study their capabilities for polyp segmentation and detection. We additionally use Shape from-Shading (SfS) to recover depth and provide a richer representation of the tissue's structure in colonoscopy images. Depth is incorporated into our network models as an additional input channel to the RGB information and we demonstrate that the resulting network yields improved performance. Our networks are tested on publicly available datasets and the most accurate segmentation model achieved a mean segmentation IU of 47.78% and 56.95% on the ETIS-Larib and CVC-Colon datasets, respectively. For polyp detection, the top performing models we propose surpass the current state of the art with detection recalls superior to 90% for all datasets tested. To our knowledge, we present the first work to use FCNs for polyp segmentation in addition to proposing a novel combination of SfS and RGB that boosts performance


title: Briot-Bouquet differential subordination and Bernardi's integral operator

abstract: The conditions on $A$, $B$, $\beta$ and $\gamma$ are obtained for an analytic function $p$ defined on the open unit disc $\mathbb{D}$ and normalized by $p(0)=1$ to be subordinate to $(1+Az)/(1+Bz)$, $-1\leq B<A \leq 1$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $e^{z}$. The conditions on these parameters are derived for the function $p$ to be subordinate to $\sqrt{1+z}$ or $e^{z}$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $(1+Az)/(1+Bz)$. The conditions on $\beta$ and $\gamma$ are determined for the function $p$ to be subordinate to $e^{z}$ when $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ is subordinate to $\sqrt{1+z}$. Related result for the function $p(z)+ zp'(z)/(\beta p(z)+\gamma)$ to be in the parabolic region bounded by the $\operatorname{Re} w=|w-1|$ is investigated. Sufficient conditions for the Bernardi's integral operator to belong to the various subclasses of starlike functions are obtained as applications


title: On the stability and convergence of Mann iteration process in convex A- metric spaces

abstract: In this paper, firstly, we introduce the concept of convexity in A-metric spaces and show that Mann iteration process converges to the unique fixed point of Zamfirescu type contractions in this newly defined convex A-metric space. Secondly, we define the concept of stability in convex A-metric spaces and establish stability result for the Mann iteration process considered in such spaces. Our results carry some well-known results from the literature to convex A-metric spaces.


title: Bulwark: Holistic and Verified Security Monitoring of Web Protocols

abstract: Modern web applications often rely on third-party services to provide their functionality to users. The secure integration of these services is a non-trivial task, as shown by the large number of attacks against Single Sign On and Cashier-as-a-Service protocols. In this paper we present Bulwark, a new automatic tool which generates formally verified security monitors from applied pi-calculus specifications of web protocols. The security monitors generated by Bulwark offer holistic protection, since they can be readily deployed both at the client side and at the server side, thus ensuring full visibility of the attack surface against web protocols. We evaluate the effectiveness of Bulwark by testing it against a pool of vulnerable web applications that use the OAuth 2.0 protocol or integrate the PayPal payment system.


title: A Particle Filtering Framework for Integrity Risk of GNSS-Camera Sensor Fusion

abstract: Adopting a joint approach towards state estimation and integrity monitoring results in unbiased integrity monitoring unlike traditional approaches. So far, a joint approach was used in Particle RAIM [l] for GNSS measurements only. In our work, we extend Particle RAIM to a GNSS-camera fused system for joint state estimation and integrity monitoring. To account for vision faults, we derive a probability distribution over position from camera images using map-matching. We formulate a Kullback-Leibler Divergence metric to assess the consistency of GNSS and camera measurements and mitigate faults during sensor fusion. The derived integrity risk upper bounds the probability of Hazardously Misleading Information (HMI). Experimental validation on a real-world dataset shows that our algorithm produces less than 11 m position error and the integrity risk over bounds the probability of HMI with 0.11 failure rate for an 8 m Alert Limit in an urban scenario.


title: Geometric Properties of Generalized Bessel Function associated with the Exponential Function

abstract: Sufficient conditions are determined on the parameters such that the generalized and normalized Bessel function of the first kind and other related functions belong to subclasses of starlike and convex functions defined in the unit disk associated with the exponential mapping. Several differential subordination implications are derived for analytic functions involving Bessel function and the operator introduced by Baricz \emph{et al.} [Differential subordinations involving generalized Bessel functions, Bull. Malays. Math. Sci. Soc. {\bf 38} (2015), no.~3, 1255--1280]. These results are obtained by constructing suitable class of admissible functions. Examples involving trigonometric and hyperbolic functions are provided to illustrate the obtained results.


title: Counterfactual Generative Networks

abstract: Neural networks are prone to learning shortcuts -- they often model simple correlations, ignoring more complex ones that potentially generalize better. Prior works on image classification show that instead of learning a connection to object shape, deep classifiers tend to exploit spurious correlations with low-level texture or the background for solving the classification task. In this work, we take a step towards more robust and interpretable classifiers that explicitly expose the task's causal structure. Building on current advances in deep generative modeling, we propose to decompose the image generation process into independent causal mechanisms that we train without direct supervision. By exploiting appropriate inductive biases, these mechanisms disentangle object shape, object texture, and background; hence, they allow for generating counterfactual images. We demonstrate the ability of our model to generate such images on MNIST and ImageNet. Further, we show that the counterfactual images can improve out-of-distribution robustness with a marginal drop in performance on the original classification task, despite being synthetic. Lastly, our generative model can be trained efficiently on a single GPU, exploiting common pre-trained models as inductive biases.


title: Efficient Spin-Orbit Torque Generation in Semiconducting WTe2 with Hopping Transport

abstract: Spin-orbit torques (SOTs) from transition metal dichalcogenides systems (TMDs) in conjunction with ferromagnetic materials are recently attractive in spintronics for their versatile features. However, most of the previously studied crystalline TMDs are prepared by mechanical exfoliation, which limits their potentials for industrial applications. Here we show that amorphous WTe2 heterostructures deposited by magnetron sputtering possess a sizable damping-like SOT efficiency {\xi}_DL^WTe2 ~ 0.20 and low damping constant {\alpha} = 0.009/pm0.001. Only an extremely low critical switching current density J_c ~ 7.05\times10^9 A/m^2 is required to achieve SOT-driven magnetization switching. The SOT efficiency is further proved to depend on the W and Te relative compositions in the co-sputtered W_100-xTe_x samples, from which a sign change of {\xi}_DL^WTe2 is observed. Besides, the electronic transport in amorphous WTe2 is found to be semiconducting and is governed by a hopping mechanism. With the above advantages and rich tunability, amorphous and semiconducting WTe2 serves as a unique SOT source for future spintronics applications.


title: ASKAP observations of multiple rapid scintillators reveal a degrees-long plasma filament

abstract: We present the results from an Australian Square Kilometre Array Pathfinder search for radio variables on timescales of hours. We conducted an untargeted search over a 30 deg$^2$ field, with multiple 10-hour observations separated by days to months, at a central frequency of 945 MHz. We discovered six rapid scintillators from 15-minute model-subtracted images with sensitivity of $\sim 200\,\mu$Jy/beam; two of them are extreme intra-hour variables with modulation indices up to $\sim 40\%$ and timescales as short as tens of minutes. Five of the variables are in a linear arrangement on the sky with angular width $\sim 1$ arcmin and length $\sim 2$ degrees, revealing the existence of a huge plasma filament in front of them. We derived kinematic models of this plasma from the annual modulation of the scintillation rate of our sources, and we estimated its likely physical properties: a distance of $\sim 4$ pc and length of $\sim 0.1$ pc. The characteristics we observe for the scattering screen are incompatible with published suggestions for the origin of intra-hour variability leading us to propose a new picture in which the underlying phenomenon is a cold tidal stream. This is the first time that multiple scintillators have been detected behind the same plasma screen, giving direct insight into the geometry of the scattering medium responsible for enhanced scintillation.


title: A Search for Charged Excitation of Dark Matter with the KamLAND-Zen Detector

abstract: There are many theories where a dark matter particle is part of a multiplet with an electrically charged state. If WIMP dark matter ($\chi^{0}$) is accompanied by a charged excited state ($\chi^{-}$) separated by a small mass difference, it can form a stable bound state with a nucleus. In supersymmetric models, the $\chi^{0}$ and the $\chi^{-}$ could be the neutralino and a charged slepton, such as the neutralino-stau degenerate model. The formation binding process is expected to result in an energy deposition of {\it O}(1--10 MeV), making it suitable for detection in large liquid scintillator detectors. We describe new constraints on the bound state formation with a xenon nucleus using the KamLAND-Zen 400 Phase-II dataset. In order to enlarge the searchable parameter space, all xenon isotopes in the detector were used. For a benchmark parameter set of $m_{\chi^{0}} = 100$ GeV and $\Delta m = 10$ MeV, this study sets the most stringent upper limits on the recombination cross section $\langle\sigma v\rangle$ and the decay-width of $\chi^{-}$ of $2.0 \times 10^{-31}$ ${\rm cm^3/s}$ and $1.1 \times 10^{-18}$ GeV, respectively (90\% confidence level).


title: Ab initio investigations of point and complex defect structures in B2-FeAl

abstract: In this work we have studied the defect structure and corresponding defect concentration investigations through the theoretical, experimental and computational works on B2-type Fe-Al alloys. We have used ab initio framework in order to investigate the defect structure. To have a proper explanation for high defect concentration in B2-FeAl, we did not confine with point defect, but extend the work on defect complexes. The possible defect formation energies were calculated with the dependence of chemical potential and carefully investigated against supercell size and the effect of magnetism. The calculations revealed that the double Fe antisite at Fe rich condition, the single Fe vacancy at intermediate region (i.e in the stoichiometry) and the double Al antisite is the dominant defect close to Al rich condition, where mainly Al rich region was unstable. From the obtained defect formation energies, defect concentrations were calculated at different temperatures with respect to Al concentration for B2-FeAl. It has been found that increasing Al content and temperature gradually leads to increase in the vacancy content. It has also seen that the dominant defect for all temperature ranges was the single Fe vacancy at the exact stoichiometry and the highest single Fe vacancy content detected with 1.6 % at 1450 K.


title: New constraints on the magnetic field in filaments of the cosmic web

abstract: Strong accretion shocks are expected to illuminate the warm-hot inter-galactic medium encompassed by the filaments of the cosmic web, through synchrotron radio emission. Given their high sensitivity, low-frequency large radio facilities may already be able to detect signatures of this extended radio emission from the region in between two close and massive galaxy clusters. In this work we exploit the non-detection of such diffuse emission by deep observations of two pairs of relatively close ($\simeq 10$ Mpc) and massive ($M_{500}\geq 10^{14}M_\odot$) galaxy clusters using the LOw-Frequency ARray (LOFAR). By combining the results from the two putative inter-cluster filaments, we derive new independent constraints on the median strength of inter-galactic magnetic fields: $B_{\rm 10 Mpc}< 2.5\times 10^2\,\rm nG\,(95\%\, \rm CL)$. Based on cosmological simulations and assuming a primordial origin of the B-fields, these estimates can be used to limit the amplitude of primordial seed magnetic fields: $B_0\leq10\,\rm nG$. We advise the observation of similar cluster pairs as a powerful tool to set tight constraints on the amplitude of extragalactic magnetic fields.


title: Chance constrained sets approximation: A probabilistic scaling approach -- EXTENDED VERSION

abstract: In this paper, a sample-based procedure for obtaining simple and computable approximations of chance-constrained sets is proposed. The procedure allows to control the complexity of the approximating set, by defining families of simple-approximating sets of given complexity. A probabilistic scaling procedure then allows to rescale these sets to obtain the desired probabilistic guarantees. The proposed approach is shown to be applicable in several problem in systems and control, such as the design of Stochastic Model Predictive Control schemes or the solution of probabilistic set membership estimation problems.


title: The Multimodal Sentiment Analysis in Car Reviews (MuSe-CaR) Dataset: Collection, Insights and Improvements

abstract: Truly real-life data presents a strong, but exciting challenge for sentiment and emotion research. The high variety of possible `in-the-wild' properties makes large datasets such as these indispensable with respect to building robust machine learning models. A sufficient quantity of data covering a deep variety in the challenges of each modality to force the exploratory analysis of the interplay of all modalities has not yet been made available in this context. In this contribution, we present MuSe-CaR, a first of its kind multimodal dataset. The data is publicly available as it recently served as the testing bed for the 1st Multimodal Sentiment Analysis Challenge, and focused on the tasks of emotion, emotion-target engagement, and trustworthiness recognition by means of comprehensively integrating the audio-visual and language modalities. Furthermore, we give a thorough overview of the dataset in terms of collection and annotation, including annotation tiers not used in this year's MuSe 2020. In addition, for one of the sub-challenges - predicting the level of trustworthiness - no participant outperformed the baseline model, and so we propose a simple, but highly efficient Multi-Head-Attention network that exceeds using multimodal fusion the baseline by around 0.2 CCC (almost 50 % improvement).


title: Artificial Intelligence for IT Operations (AIOPS) Workshop White Paper

abstract: Artificial Intelligence for IT Operations (AIOps) is an emerging interdisciplinary field arising in the intersection between the research areas of machine learning, big data, streaming analytics, and the management of IT operations. AIOps, as a field, is a candidate to produce the future standard for IT operation management. To that end, AIOps has several challenges. First, it needs to combine separate research branches from other research fields like software reliability engineering. Second, novel modelling techniques are needed to understand the dynamics of different systems. Furthermore, it requires to lay out the basis for assessing: time horizons and uncertainty for imminent SLA violations, the early detection of emerging problems, autonomous remediation, decision making, support of various optimization objectives. Moreover, a good understanding and interpretability of these aiding models are important for building trust between the employed tools and the domain experts. Finally, all this will result in faster adoption of AIOps, further increase the interest in this research field and contribute to bridging the gap towards fully-autonomous operating IT systems. The main aim of the AIOPS workshop is to bring together researchers from both academia and industry to present their experiences, results, and work in progress in this field. The workshop aims to strengthen the community and unite it towards the goal of joining the efforts for solving the main challenges the field is currently facing. A consensus and adoption of the principles of openness and reproducibility will boost the research in this emerging area significantly.


title: Structure Of Flavor Changing Goldstone Boson Interactions

abstract: General flavor changing interactions for a Goldstone boson (GB) to fermions due to a spontaneous global $U(1)_G$ symmetry breaking are discussed. This GB may be the Axion, solving the strong QCD CP problem, if there is a QCD anomaly for the $U(1)_G$ charge assignments for quarks. Or it may be the Majoron in models from lepton number violation in producing seesaw Majorana neutrino masses if the symmetry breaking scale is much higher than the electroweak scale. It may also, in principle, play the roles of Axion and Majoron simultaneously as far as providing solution for the strong CP problem and generating a small Majorana neutrino masses are concerned. Great attentions have been focused on flavor conserving GB interactions. Recently flavor changing Axion and Majoron models have been studied in the hope to find new physics from rare decays in the intensity frontier. In this work, we will provide a systematic model building aspect study for a GB having flavor changing neutral current (FCNC) interactions in both the quark and lepton sectors, or separately in the quark, charged lepton and neutrino sectors with sources of FCNC interactions identified in detail. We provide a general proof of the equivalence of using physical GB components and GB broken generators for calculating GB couplings to two gluons and two photons, and some issues related to models having spontaneous CP violation are discussed. We will also provide some details for obtaining FCNC GB interactions in several popular models, such as the Type-I, -II, -III seesaw and Left-Right symmetric models, and point out some special features in these models.


title: EC-SAGINs: Edge Computing-enhanced Space-Air-Ground Integrated Networks for Internet of Vehicles

abstract: Edge computing-enhanced Internet of Vehicles (EC-IoV) enables ubiquitous data processing and content sharing among vehicles and terrestrial edge computing (TEC) infrastructures (e.g., 5G base stations and roadside units) with little or no human intervention, plays a key role in the intelligent transportation systems. However, EC-IoV is heavily dependent on the connections and interactions between vehicles and TEC infrastructures, thus will break down in some remote areas where TEC infrastructures are unavailable (e.g., desert, isolated islands and disaster-stricken areas). Driven by the ubiquitous connections and global-area coverage, space-air-ground integrated networks (SAGINs) efficiently support seamless coverage and efficient resource management, represent the next frontier for edge computing. In light of this, we first review the state-of-the-art edge computing research for SAGINs in this article. After discussing several existing orbital and aerial edge computing architectures, we propose a framework of edge computing-enabled space-air-ground integrated networks (EC-SAGINs) to support various IoV services for the vehicles in remote areas. The main objective of the framework is to minimize the task completion time and satellite resource usage. To this end, a pre-classification scheme is presented to reduce the size of action space, and a deep imitation learning (DIL) driven offloading and caching algorithm is proposed to achieve real-time decision making. Simulation results show the effectiveness of our proposed scheme. At last, we also discuss some technology challenges and future directions.


title: Mean-field approximations of networks of spiking neurons with short-term synaptic plasticity

abstract: Low-dimensional descriptions of neural network dynamics are an effective tool for bridging different scales of organization of brain structure and function. Recent advances in deriving mean-field descriptions for networks of coupled oscillators have sparked the development of a new generation of neural mass models. Of notable interest are mean-field descriptions of all-to-all coupled quadratic integrate-and-fire (QIF) neurons, which have already seen numerous extensions and applications. These extensions include different forms of short-term adaptation (STA) considered to play an important role in generating and sustaining dynamic regimes of interest in the brain. It is an open question, however, whether the incorporation of pre-synaptic forms of synaptic plasticity driven by single neuron activity would still permit the derivation of mean-field equations using the same method. Here, we discuss this problem using an established model of short-term synaptic plasticity at the single neuron level, for which we present two different approaches for the derivation of the mean-field equations. We compare these models with a recently proposed mean-field approximation that assumes stochastic spike timings. In general, the latter fails to accurately reproduce the macroscopic activity in networks of deterministic QIF neurons with distributed parameters. We show that the mean-field models we propose provide a more accurate description of the network dynamics, although they are mathematically more involved. Using bifurcation analysis, we find that QIF networks with pre-synaptic short-term plasticity can express regimes of periodic bursting activity as well as bi-stable regimes. Together, we provide novel insight into the macroscopic effects of short-term synaptic plasticity in spiking neural networks, as well as two different mean-field descriptions for future investigations of such networks.


title: Eddy induced trapping and homogenization of freshwater in the Bay of Bengal

abstract: Freshwater from rivers influences Indian summer monsoon rainfall and regional tropical cyclones by shallowing the upper layer and warming the subsurface ocean in the Bay of Bengal. Here, we use in situ and satellite data with reanalysis products to showcase how river water can experience a significant increase in salinity on subseasonal timescales. This involves the trapping and homogenization of freshwater by a cyclonic eddy in the Bay. Specifically, in October 2015, river water is shown to enter a particularly long-lived eddy along with its attracting manifolds within a period of two weeks. The eddy itself is quite unique in that it lasted for 16 months in the Bay where average lifespans are of the order of 2-3 months. This low salinity water results in the formation of a highly stratified surface layer. In fact, when freshest, the eddy has the highest sea-level anomalies, spins fastest, and supports strong lateral gradients in salinity. Subsequently, observations reveal progressive homogenization of salinity and relaxation of sea-level anomalies and salinity gradients within a month. In particular, salty water spirals in, and freshwater is pulled out across the eddy boundary. Lagrangian experiments elucidate this process, whereby horizontal chaotic mixing provides a mechanism for the rapid increase in surface salinity on the order of timescale of a month. This pathway is distinct from vertical mixing and likely to be important in the eddy-rich Bay of Bengal.


title: Best approximations, distance formulas and orthogonality in C*-algebras

abstract: For a unital $C^*$-algebra $\mathcal A$ and a subspace $\mathcal B$ of $\mathcal A$, a characterization for a best approximation to an element of $\mathcal A$ in $\mathcal B$ is obtained. As an application, a formula for the distance of an element of $\mathcal A$ from $\mathcal B$ has been obtained, when a best approximation of that element to $\mathcal B$ exists. Further, a characterization for Birkhoff-James orthogonality of an element of a Hilbert $C^*$-module to a subspace is obtained.


title: The Challenge of Value Alignment: from Fairer Algorithms to AI Safety

abstract: This paper addresses the question of how to align AI systems with human values and situates it within a wider body of thought regarding technology and value. Far from existing in a vacuum, there has long been an interest in the ability of technology to 'lock-in' different value systems. There has also been considerable thought about how to align technologies with specific social values, including through participatory design-processes. In this paper we look more closely at the question of AI value alignment and suggest that the power and autonomy of AI systems gives rise to opportunities and challenges in the domain of value that have not been encountered before. Drawing important continuities between the work of the fairness, accountability, transparency and ethics community, and work being done by technical AI safety researchers, we suggest that more attention needs to be paid to the question of 'social value alignment' - that is, how to align AI systems with the plurality of values endorsed by groups of people, especially on the global level.


title: Heating up decision boundaries: isocapacitory saturation, adversarial scenarios and generalization bounds

abstract: In the present work we study classifiers' decision boundaries via Brownian motion processes in ambient data space and associated probabilistic techniques. Intuitively, our ideas correspond to placing a heat source at the decision boundary and observing how effectively the sample points warm up. We are largely motivated by the search for a soft measure that sheds further light on the decision boundary's geometry. En route, we bridge aspects of potential theory and geometric analysis (Mazya, 2011, Grigoryan-Saloff-Coste, 2002) with active fields of ML research such as adversarial examples and generalization bounds. First, we focus on the geometric behavior of decision boundaries in the light of adversarial attack/defense mechanisms. Experimentally, we observe a certain capacitory trend over different adversarial defense strategies: decision boundaries locally become flatter as measured by isoperimetric inequalities (Ford et al, 2019); however, our more sensitive heat-diffusion metrics extend this analysis and further reveal that some non-trivial geometry invisible to plain distance-based methods is still preserved. Intuitively, we provide evidence that the decision boundaries nevertheless retain many persistent "wiggly and fuzzy" regions on a finer scale. Second, we show how Brownian hitting probabilities translate to soft generalization bounds which are in turn connected to compression and noise stability (Arora et al, 2018), and these bounds are significantly stronger if the decision boundary has controlled geometric features.

categories: cs.LG math.MG math.PR math.ST stat.ML stat.TH


title: New signatures of phase transition from Statistical Models of Nuclear multifragmentation

abstract: The study of liquid-gas phase transition in heavy ion collisions has generated a lot of interest amongst the nuclear physicists in the recent years. In heavy ion collisions, there is no direct way of measuring the state variables like entropy, pressure, energy and hence unambiguous characterization of phase transition becomes difficult. This work proposes new signatures of phase transition that can be extracted from the observables which are easily accessible in experiments. It is observed that the temperature dependence of the first order derivative of the order parameters in nuclear liquid gas phase transition exhibit similar behavior as that of the variation of specific heat at constant volume Cv which is an established signature of first order phase transition. This motivates us to propose these derivatives as confirmatory signals of liquid-gas phase transition. The measurement of these signals in easily feasible in most experiments as compared to the other signatures like specific heat, caloric curve or bimodality. Total multiplicity, size of largest cluster are some of the order parameters which have been studied. Statistical Models based on canonical ensemble and lattice gas model has been used for the study. This temperature where the peak appears is designated to be the transition temperature and the effect of certain parameters on this has also been examined. The multiplicity derivative signature proposed in this work has been further confirmed by other theoretical models as well as in experimental study.


title: Minkowski Inequality on complete Riemannian manifolds with nonnegative Ricci curvature

abstract: In this paper we consider Riemannian manifolds of dimension at least $3$, with nonnegative Ricci curvature and Euclidean Volume Growth. For every open bounded subset with smooth boundary we establish the validity of an optimal Minkowski Inequality. We also characterise the equality case, provided the domain is strictly outward minimising and strictly mean convex. Along with the proof, we establish in full generality sharp monotonicity formulas, holding along the level sets of $p$-capacitary potentials in $p$-nonparabolic manifolds with nonnegative Ricci curvature.


title: On the $A_\infty$ condition for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

abstract: Let $\Omega \subset \mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided non-tangentially accessible domain (i.e., quantitatively open and path-connected) satisfiying the capacity density condition. Let $L_0 u=-\mathrm{div}(A_0 \nabla u)$, $Lu=-\mathrm{div}(A\nabla u)$ be two real uniformly elliptic operators in $\Omega$, with $\omega_{L_0}, \omega_L$ the associated elliptic measures. We establish the equivalence between the following properties: (i) $\omega_L \in A_{\infty}(\omega_{L_0})$, (ii) $L$ is $L^p(\omega_{L_0})$-solvable for some $p\in (1,\infty)$, (iii) bounded null solutions of $L$ satisfy Carleson measure estimates with respect to $\omega_{L_0}$, (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(\omega_{L_0})$ for some (or for all) $q\in (0,\infty)$ for any null solution of $L$, and (v) $L$ is $\mathrm{BMO}(\omega_{L_0})$-solvable. Moreover, in each of the properties (ii)-(v) it is enough to consider the class of solutions $u(X)=\omega_L^X(S)$ with arbitrary Borel sets $S\subset\partial\Omega$. Also, we characterize the absolute continuity of $\omega_{L_0}$ with respect to $\omega_L$ in terms of some qualitative local $L^2(\omega_{L_0})$ estimates for the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $\omega_{L_0}$-a.e. of the truncated conical square function for any bounded null solution of $L$. As applications, we show that $\omega_{L_0}\ll\omega_L$ if the disagreement of the coefficients satisfies some qualitative quadratic estimate in truncated cones for $\omega_{L_0}$-a.e. vertex. Finally, when $L_0$ is either the transpose of $L$ or its symmetric part, we obtain the corresponding absolute continuity when the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for $\omega_{L_0}$-a.e. vertex.


title: Surface effects and turbulent pressure. Assessing the Gas-$\Gamma_1$ and Reduced-$\Gamma_1$ empirical models

abstract: The use of the full potential of stellar seismology is made difficult by the improper modeling of the upper-most layers of solar-like stars and their influence on the modeled frequencies. Our knowledge on these \emph{surface effects} has improved thanks to the use of 3D hydrodynamical simulations but the calculation of eigenfrequencies relies on empirical models for the description of the Lagrangian perturbation of turbulent pressure: the reduced-$\Gamma_1$ model (RGM) and the gas-$\Gamma_1$ model (GGM). Starting from the fully compressible turbulence equations, we derive both the GGM and RGM models using a closure to model the flux of turbulent kinetic energy. It is found that both models originate from two terms: the source of turbulent pressure due to compression produced by the oscillations and the divergence of the flux of turbulent pressure. It is also demonstrated that they are both compatible with the adiabatic approximation but also imply a number of questionable assumptions mainly regarding mode physics. Among others hypothesis, one has to neglect the Lagrangian perturbation of the dissipation of turbulent kinetic energy into heat and the Lagrangian perturbation of buoyancy work.


title: Unstructured Knowledge Access in Task-oriented Dialog Modeling using Language Inference, Knowledge Retrieval and Knowledge-Integrative Response Generation

abstract: Dialog systems enriched with external knowledge can handle user queries that are outside the scope of the supporting databases/APIs. In this paper, we follow the baseline provided in DSTC9 Track 1 and propose three subsystems, KDEAK, KnowleDgEFactor, and Ens-GPT, which form the pipeline for a task-oriented dialog system capable of accessing unstructured knowledge. Specifically, KDEAK performs knowledge-seeking turn detection by formulating the problem as natural language inference using knowledge from dialogs, databases and FAQs. KnowleDgEFactor accomplishes the knowledge selection task by formulating a factorized knowledge/document retrieval problem with three modules performing domain, entity and knowledge level analyses. Ens-GPT generates a response by first processing multiple knowledge snippets, followed by an ensemble algorithm that decides if the response should be solely derived from a GPT2-XL model, or regenerated in combination with the top-ranking knowledge snippet. Experimental results demonstrate that the proposed pipeline system outperforms the baseline and generates high-quality responses, achieving at least 58.77% improvement on BLEU-4 score.


title: Constraint Handling in Continuous-Time DDP-Based Model Predictive Control

abstract: The Sequential Linear Quadratic (SLQ) algorithm is a continuous-time variant of the well-known Differential Dynamic Programming (DDP) technique with a Gauss-Newton Hessian approximation. This family of methods has gained popularity in the robotics community due to its efficiency in solving complex trajectory optimization problems. However, one major drawback of DDP-based formulations is their inability to properly incorporate path constraints. In this paper, we address this issue by devising a constrained SLQ algorithm that handles a mixture of constraints with a previously implemented projection technique and a new augmented-Lagrangian approach. By providing an appropriate multiplier update law, and by solving a single inner and outer loop iteration, we are able to retrieve suboptimal solutions at rates suitable for real-time model-predictive control applications. We particularly focus on the inequality-constrained case, where three augmented-Lagrangian penalty functions are introduced, along with their corresponding multiplier update rules. These are then benchmarked against a relaxed log-barrier formulation in a cart-pole swing up example, an obstacle-avoidance task, and an object-pushing task with a quadrupedal mobile manipulator.


title: Framing energetic top-quark pair production at the LHC

abstract: Top-quark pair production is central to many facets of LHC physics. At leading order, the top and anti-top are produced in a back-to-back topology, however this topology accounts only for a minority of $t \bar t$ events with TeV-scale momentum transfer. The remaining events instead involve the splitting of an initial or final-state gluon to $t \bar t$. We provide simple quantitative arguments that explain why this is the case and examine the interplay between different topologies and a range of variables that characterise the event hardness. We then develop a method to classify the topologies of individual events and use it to illustrate our findings in the context of simulated events, using both top partons and suitably defined fiducial tops. For events with large $t \bar t$ invariant mass, we comment on additional features that have important experimental and theoretical implications.


title: Mining Data Impressions from Deep Models as Substitute for the Unavailable Training Data

abstract: Pretrained deep models hold their learnt knowledge in the form of model parameters. These parameters act as "memory" for the trained models and help them generalize well on unseen data. However, in absence of training data, the utility of a trained model is merely limited to either inference or better initialization towards a target task. In this paper, we go further and extract synthetic data by leveraging the learnt model parameters. We dub them "Data Impressions", which act as proxy to the training data and can be used to realize a variety of tasks. These are useful in scenarios where only the pretrained models are available and the training data is not shared (e.g., due to privacy or sensitivity concerns). We show the applicability of data impressions in solving several computer vision tasks such as unsupervised domain adaptation, continual learning as well as knowledge distillation. We also study the adversarial robustness of lightweight models trained via knowledge distillation using these data impressions. Further, we demonstrate the efficacy of data impressions in generating data-free Universal Adversarial Perturbations (UAPs) with better fooling rates. Extensive experiments performed on benchmark datasets demonstrate competitive performance achieved using data impressions in absence of original training data.


title: Efficient Semi-Implicit Variational Inference

abstract: In this paper, we propose CI-VI an efficient and scalable solver for semi-implicit variational inference (SIVI). Our method, first, maps SIVI's evidence lower bound (ELBO) to a form involving a nonlinear functional nesting of expected values and then develops a rigorous optimiser capable of correctly handling bias inherent to nonlinear nested expectations using an extrapolation-smoothing mechanism coupled with gradient sketching. Our theoretical results demonstrate convergence to a stationary point of the ELBO in general non-convex settings typically arising when using deep network models and an order of $O(t^{-\frac{4}{5}})$ gradient-bias-vanishing rate. We believe these results generalise beyond the specific nesting arising from SIVI to other forms. Finally, in a set of experiments, we demonstrate the effectiveness of our algorithm in approximating complex posteriors on various data-sets including those from natural language processing.


title: Hierarchical Multitask Learning with Dependency Parsing for Japanese Semantic Role Labeling Improves Performance of Argument Identification

abstract: With the advent of FrameNet and PropBank, many semantic role labeling (SRL) systems have been proposed in English. Although research on Japanese predicate argument structure analysis (PASA) has been conducted, most studies focused on surface cases. There are only few previous works on Japanese SRL for deep cases, and their models' accuracies are low. Therefore, we propose a hierarchical multitask learning method with dependency parsing (DP) and show that our model achieves state-of-the-art results in Japanese SRL. Also, we conduct experiments with a joint model that performs both argument identification and argument classification simultaneously. The result suggests that multitasking with DP is mainly effective for argument identification.


title: Video Summarization Using Deep Neural Networks: A Survey

abstract: Video summarization technologies aim to create a concise and complete synopsis by selecting the most informative parts of the video content. Several approaches have been developed over the last couple of decades and the current state of the art is represented by methods that rely on modern deep neural network architectures. This work focuses on the recent advances in the area and provides a comprehensive survey of the existing deep-learning-based methods for generic video summarization. After presenting the motivation behind the development of technologies for video summarization, we formulate the video summarization task and discuss the main characteristics of a typical deep-learning-based analysis pipeline. Then, we suggest a taxonomy of the existing algorithms and provide a systematic review of the relevant literature that shows the evolution of the deep-learning-based video summarization technologies and leads to suggestions for future developments. We then report on protocols for the objective evaluation of video summarization algorithms and we compare the performance of several deep-learning-based approaches. Based on the outcomes of these comparisons, as well as some documented considerations about the amount of annotated data and the suitability of evaluation protocols, we indicate potential future research directions.


title: Dynamic Normalization

abstract: Batch Normalization has become one of the essential components in CNN. It allows the network to use a higher learning rate and speed up training. And the network doesn't need to be initialized carefully. However, in our work, we find that a simple extension of BN can increase the performance of the network. First, we extend BN to adaptively generate scale and shift parameters for each mini-batch data, called DN-C (Batch-shared and Channel-wise). We use the statistical characteristics of mini-batch data ($E[X], Std[X]\in\mathbb{R}^{c}$) as the input of SC module. Then we extend BN to adaptively generate scale and shift parameters for each channel of each sample, called DN-B (Batch and Channel-wise). Our experiments show that DN-C model can't train normally, but DN-B model has very good robustness. In classification task, DN-B can improve the accuracy of the MobileNetV2 on ImageNet-100 more than 2% with only 0.6% additional Mult-Adds. In detection task, DN-B can improve the accuracy of the SSDLite on MS-COCO nearly 4% mAP with the same settings. Compared with BN, DN-B has stable performance when using higher learning rate or smaller batch size.


title: Gluon correlation functions from lattice quantum chromodynamics

abstract: We study the gluon sector in pure Yang-Mills theories via the computation of two, three and four point Landau gauge gluon correlation functions via LQCD using the Wilson action for Monte-Carlo simulations. The first goal was to use lattice tensor representations for the propagator in four dimensions to understand/quantify deviations of the lattice propagator from its continuum form. We also identified classes of kinematic configurations where these deviations are minimal and the continuum description of lattice tensors is improved. These tensor structures also allow to verify that the continuum Slavnov-Taylor identity for the propagator is is fulfilled, with good accuracy, on the lattice. The computation of the three gluon vertex served to explore the so-called zero crossing, a property related to the ghost dominance at the infrared scales that restricts the behaviour of the three gluon vertex. We also explore the possible existence of a ghost mass preventing the IR divergence. Functional forms were used to model the lattice data and explore the two different possibilities for the IR behaviour. In the first case we estimate the mass scale associated with the crossing and search for a possible sign of the divergence. Secondly, we study the possibility of a sign change and a finite zero momentum value of the vertex. A last topic is the calculation of the four gluon vertex. A suitable choice of kinematics allows to eliminate the unwanted contributions from lower order functions while large statistical fluctuations hinder the precise computation of this object. Our investigation is a proof of concept, we show that the lattice computation of the four gluon correlation function is feasible with reasonable computational resources. An increase in statistics is necessary to provide a clearer signal on the complete correlation function and to compute the one particle irreducible function.


title: Frustration, strain and phase co-existence in the mixed valent hexagonal iridate Ba$_{3}$NaIr$_{2}$O$_{9}$

abstract: Using detailed synchrotron diffraction, magnetization, thermodynamic and transport measurements, we investigate the relationship between the mixed valence of Ir, lattice strain and the resultant structural and magnetic ground states in the geometrically frustrated triple perovskite iridate Ba$_{3}$NaIr$_{2}$O$_{9}$. We observe a complex interplay between lattice strain and structural phase co-existence, which is in sharp contrast to what is typically observed in this family of compounds. The low temperature magnetic ground state is characterized by the absence of long range order, and points towards the condensation of a cluster glass state from an extended regime of short range magnetic correlations.


title: Some remarks on the discovery of Md-244

abstract: In two recent papers by Pore et al. and Khuyagbaatar et al. discovery of the new isotope Md-244 was reported. The decay data, however, are conflicting. While Pore et al. report two isomeric states decaying by alpha emission with E(1)=8.66(2) MeV, T_1/2=0.4+0.4/-0.1s and E(2)=8.31(2) MeV, T_1/2 approx 6 s, Khuyagbaatar et al. report only a single transition with a broad energy distribution of E=(8.73-8.86) MeV and T_1/2=0.30/-0.09 s. The data published by Pore et al. very similar to those published for Md-245 (E=8.64(2), 8.68(2) MeV T_1/2=0.35+0.23/-0.16}$ s ). Therefore, we compare the data presented for Md-244 by Pore et al. with those reported for Md-245 by Ninov et al. and also by Khuyagbaatar et al.. We conclude that the data presented by Pore et al. shall be attributed to Md-245 with small contributions (one event each) from Fm-245 and probably Md-246.


title: Estimation of future discretionary benefits in traditional life insurance

abstract: In the context of life insurance with profit participation, the future discretionary benefits ($FDB$), which are a central item for Solvency~II reporting, are generally calculated by computationally expensive Monte Carlo algorithms. We derive analytic formulas to estimate lower and upper bounds for the $FDB$. This yields an estimation interval for the $FDB$, and the average of lower and upper bound is a simple estimator. These formulae are designed for real world applications, and we compare the results to publicly available reporting data.


title: Causal Gradient Boosting: Boosted Instrumental Variable Regression

abstract: Recent advances in the literature have demonstrated that standard supervised learning algorithms are ill-suited for problems with endogenous explanatory variables. To correct for the endogeneity bias, many variants of nonparameteric instrumental variable regression methods have been developed. In this paper, we propose an alternative algorithm called boostIV that builds on the traditional gradient boosting algorithm and corrects for the endogeneity bias. The algorithm is very intuitive and resembles an iterative version of the standard 2SLS estimator. Moreover, our approach is data driven, meaning that the researcher does not have to make a stance on neither the form of the target function approximation nor the choice of instruments. We demonstrate that our estimator is consistent under mild conditions. We carry out extensive Monte Carlo simulations to demonstrate the finite sample performance of our algorithm compared to other recently developed methods. We show that boostIV is at worst on par with the existing methods and on average significantly outperforms them.


title: Preprocessing Imprecise Points for the Pareto Front

abstract: In the preprocessing model for uncertain data we are given a set of regions R which model the uncertainty associated with an unknown set of points P. In this model there are two phases: a preprocessing phase, in which we have access only to R, followed by a reconstruction phase, in which we have access to points in P at a certain retrieval cost C per point. We study the following algorithmic question: how fast can we construct the pareto front of P in the preprocessing model? We show that if R is a set of pairwise-disjoint axis-aligned rectangles, then we can preprocess R to reconstruct the Pareto front of P efficiently. To refine our algorithmic analysis, we introduce a new notion of algorithmic optimality which relates to the entropy of the uncertainty regions. Our proposed uncertainty-region optimality falls on the spectrum between worst-case optimality and instance optimality. We prove that instance optimality is unobtainable in the preprocessing model, whenever the classic algorithmic problem reduces to sorting. Our results are worst-case optimal in the preprocessing phase; in the reconstruction phase, our results are uncertainty-region optimal with respect to real RAM instructions, and instance optimal with respect to point retrievals.


title: Ergodicity and totality of partitions associated with the RSK correspondence

abstract: We study asymptotic properties of sequences of partitions ($\sigma$\nobreakdash-algebras) in spaces with Bernoulli measures associated with the Robinson--Schensted--Knuth correspondence.


title: Linear and Nonlinear Optical Responses in Kitaev Spin Liquids

abstract: We theoretically study THz-light-driven high-harmonic generation (HHG) in the spin-liquid states of the Kitaev honeycomb model with a magnetostriction coupling between spin and electric polarization. To compute the HHG spectra, we numerically solve the Lindblad equation, taking account of the dissipation effect. We find that isotropic Kitaev models possess a dynamical symmetry, which is broken by a static electric field, analogous to HHG in electron systems. We show that the HHG spectra exhibit characteristic continua of Majorana fermion excitations, and their broad peaks can be controlled by applying static electric or magnetic fields. In particular, the magnetic-field dependence of the HHG spectra drastically differs from those of usual ordered magnets. These results indicate that an intense THz laser provides a powerful tool to observe dynamic features of quantum spin liquids.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.stat-mech physics.optics


title: Bernoulli hyper-edge percolation on Zd

abstract: We consider Bernoulli hyper-edge percolation on $\mathbb{Z}^d$. This model is a generalization of Bernoulli bond percolation. An edge connects exactly two vertices and a hyper-edge connects more than two vertices. As in the classical Bernoulli bond percolation, we open hyper-edges independently in a homogeneous manner with certain probabilities parameterized by a parameter $u\in[0,1]$. We discuss conditions for non-trivial phase transitions when $u$ varies. We discuss the conditions for the uniqueness of the infinite cluster. Also, we provide conditions under which the Grimmett-Marstrand type theorem holds in the supercritical regime.


title: Photolysis production and spectroscopic investigation of the highest vibrational states in H$_2$ (X$^1\Sigma_g^+$ $v=13,14$)

abstract: Rovibrational quantum states in the $X^1\Sigma_g^+$ electronic ground state of H$_2$ are prepared in the $v=13$ vibrational level up to its highest bound rotational level $J=7$, and in the highest bound vibrational level $v=14$ (for $J=1$) by two-photon photolysis of H$_2$S. These states are laser-excited in a subsequent two-photon scheme into $F^1\Sigma_g^+$ outer well states, where the assignment of the highest ($v,J$) states is derived from a comparison of experimentally known levels in \F, combined with \emph{ab initio} calculations of \X\ levels. The assignments are further verified by excitation of $F^1\Sigma_g^+$ population into autoionizing continuum resonances which are compared with multi-channel quantum defect calculations. Precision spectroscopic measurements of the $F-X$ intervals form a test for the \emph{ab initio} calculations of ground state levels at high vibrational quantum numbers and large internuclear separations, for which agreement is found.


title: Extended Falicov-Kimball model at weak onsite and intersite Coulomb interactions

abstract: We analyze in detail a behavior of the order parameter in the half-filled extended Falicov-Kimball model for small Coulomb interactions (both onsite $U$ and intersite $V$). The parameter is defined as the difference of localized electron concentrations in both sublattices of the Bethe lattice (in the limit of large coordination number). Using two methods, namely, the dynamic mean field theory and the Hartree-Fock approximation, we found the ranges of $U$ and $V$ for which the anomalous temperature dependence of the order parameter, characterized by the sharp reduction near $T \approx T_{\textrm{C}}/2$, occurs ($T_{\textrm{C}}$ is the temperature of the continuous order-disorder transition). In order to quantitatively describe this anomaly, we defined a function that measures the departure of the order parameter dependence from the standard mean-field $S=1/2$ Ising-like curve. We determined the $U$-dependent critical value $V_{\textrm{C}}$ of $V$ above which the anomaly disappears. Indicators of the anomalous behavior of the parameter dependence can be also observed in the temperature dependence of the specific heat.


title: Deep Dual-resolution Networks for Real-time and Accurate Semantic Segmentation of Road Scenes

abstract: Semantic segmentation is a key technology for autonomous vehicles to understand the surrounding scenes. The appealing performances of contemporary models usually come at the expense of heavy computations and lengthy inference time, which is intolerable for self-driving. Using light-weight architectures (encoder-decoder or two-pathway) or reasoning on low-resolution images, recent methods realize very fast scene parsing, even running at more than 100 FPS on a single 1080Ti GPU. However, there is still a significant gap in performance between these real-time methods and the models based on dilation backbones. To tackle this problem, we proposed a family of efficient backbones specially designed for real-time semantic segmentation. The proposed deep dual-resolution networks (DDRNets) are composed of two deep branches between which multiple bilateral fusions are performed. Additionally, we design a new contextual information extractor named Deep Aggregation Pyramid Pooling Module (DAPPM) to enlarge effective receptive fields and fuse multi-scale context based on low-resolution feature maps. Our method achieves a new state-of-the-art trade-off between accuracy and speed on both Cityscapes and CamVid dataset. In particular, on a single 2080Ti GPU, DDRNet-23-slim yields 77.4% mIoU at 102 FPS on Cityscapes test set and 74.7% mIoU at 230 FPS on CamVid test set. With widely used test augmentation, our method is superior to most state-of-the-art models and requires much less computation. Codes and trained models are available online.


title: Discordant synchronization patterns on directed networks of identical phase oscillators with attractive and repulsive couplings

abstract: We study the collective dynamics of identical phase oscillators on globally coupled networks whose interactions are asymmetric and mediated by positive and negative couplings. We split the set of oscillators into two interconnected subpopulations. In this setup, oscillators belonging to the same group interact via symmetric couplings while the interaction between subpopulations occurs in an asymmetric fashion. By employing the dimensional reduction scheme of the Ott-Antonsen (OA) theory, we verify the existence of traveling-wave and $\pi$-states, in addition to the classical fully synchronized and incoherent states. Bistability between all collective states is reported. Analytical results are generally in excellent agreement with simulations; for some parameters and initial conditions, however, we numerically detect chimera-like states which are not captured by the OA theory.


title: An Abstract Contract Theory for Programs with Procedures

abstract: When developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hierarchical fashion. In specific application areas, dedicated contract theories formalise the notion of contract and the operations on contracts in a manner that supports best the development of systems in that area. At the other end, contract meta-theories attempt to provide a systematic view on the various contract theories by axiomatising their desired properties. However, there exists a noticeable gap between the most well-known contract meta-theory of Benveniste et al., which focuses on the design of embedded and cyber-physical systems, and the established way of using contracts when developing general software, following Meyer's design-by-contract methodology. At the core of this gap appears to be the notion of procedure: while it is a central unit of composition in software development, the meta-theory does not suggest an obvious way of treating procedures as components. In this paper, we provide a first step towards a contract theory that takes procedures as the basic building block, and is at the same time an instantiation of the meta-theory. To this end, we propose an abstract contract theory for sequential programming languages with procedures, based on denotational semantics. We show that, on the one hand, the specification of contracts of procedures in Hoare logic, and their procedure-modular verification, can be cast naturally in the framework of our abstract contract theory. On the other hand, we also show our contract theory to fulfil the axioms of the meta-theory. In this way, we give further evidence for the utility of the meta-theory, and prepare the ground for combining our instantiation with other, already existing instantiations.


title: Exploring the sensitivity of hadron colliders to non-universality in heavy neutral currents

abstract: We present sensitivity projections for discovering a heavy resonance decaying to electron and muon pairs and for probing the charged lepton non-universality in such decays at the HL-LHC and FCC-hh. The analysis takes into account the expected differences in the reconstruction efficiencies and the dilepton mass resolutions for dielectron and dimuon final states. We demonstrate how the analyses at HL-LHC naturally paves the way for a FCC-hh machine thereby underlining its importance.


title: Phase Amplification in Spinodal Decomposition of Immiscible Fluids with Interconversion of Species

abstract: A fluid composed of two molecular species may undergo phase segregation via spinodal decomposition. However, if the two molecular species can interconvert, e.g. change their chirality, then a phenomenon of phase amplification, which has not been studied so far, emerges. As a result, eventually, one phase will completely eliminate the other one. We model this phenomenon on an Ising system which relaxes to equilibrium through a hybrid of Kawasaki-diffusion and Glauber-interconversion dynamics. By introducing a probability of Glauber-interconversion dynamics, we show that the particle conservation law is broken, thus resulting in phase amplification. We characterize the speed of phase amplification through scaling laws based on the probability of Glauber dynamics, system size, and distance to the critical temperature of demixing.


title: SC1MC-2022: A database of transition metal complexes for training ML models to predict one-site entropies and mutual information

abstract: We introduce a new version of the database SC1MC (SC1MC-2022), obtained by extension of the recent SC1MC-2020, which includes artificial mono transition metal complexes. The database involves reference data used as inputs for training of machine learning models, one- and two-site entropies, and mutual information obtained at the DMRG level for canonical and split-localised orbitals. The purpose of this database is to obtain as much as possible information about the electronic correlation structure, which could be exploited by machine learning models to estimate these important information without a significant computational cost for any similar type of systems with some degree of transferability.


title: On the Verification and Validation of AI Navigation Algorithms

abstract: This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new algorithms for autonomous navigation and collision avoidance and we have extracted what verification and validation approaches have been applied on these algorithms. We observe that most research works use simulations to validate their algorithms. However, these simulations often involve just a few scenarios designed manually. This raises the question if the algorithms have been validated properly. To remedy this, we propose the use of a systematic scenario-based testing approach to validate navigation algorithms extensively.


title: Black-box Adversarial Attacks in Autonomous Vehicle Technology

abstract: Despite the high quality performance of the deep neural network in real-world applications, they are susceptible to minor perturbations of adversarial attacks. This is mostly undetectable to human vision. The impact of such attacks has become extremely detrimental in autonomous vehicles with real-time "safety" concerns. The black-box adversarial attacks cause drastic misclassification in critical scene elements such as road signs and traffic lights leading the autonomous vehicle to crash into other vehicles or pedestrians. In this paper, we propose a novel query-based attack method called Modified Simple black-box attack (M-SimBA) to overcome the use of a white-box source in transfer based attack method. Also, the issue of late convergence in a Simple black-box attack (SimBA) is addressed by minimizing the loss of the most confused class which is the incorrect class predicted by the model with the highest probability, instead of trying to maximize the loss of the correct class. We evaluate the performance of the proposed approach to the German Traffic Sign Recognition Benchmark (GTSRB) dataset. We show that the proposed model outperforms the existing models like Transfer-based projected gradient descent (T-PGD), SimBA in terms of convergence time, flattening the distribution of confused class probability, and producing adversarial samples with least confidence on the true class.


title: Katugampola fractional integral and fractal dimension of bivariate functions

abstract: The subject of this note is the mixed Katugampola fractional integral of a bivariate function defined on a rectangular region in the Cartesian plane. This is a natural extension of the Katugampola fractional integral of a univariate function - a concept well-received in the recent literature on fractional calculus and its applications. It is shown that the mixed Katugampola fractional integral of a prescribed bivariate function preserves properties such as boundedness, continuity and bounded variation of the function. Furthermore, we estimate fractal dimension of the graph of the mixed Katugampola integral of a continuous bivariate function. Some examples for bivariate functions that are not of bounded variation but with graphs having box dimension $2$ are constructed. The findings in the current note may be viewed as a sequel to our work reported in [Appl. Math. Comp., 339, 2018, pp. 220-230].


title: Is Asymptotically Weyl-Invariant Gravity Viable?

abstract: We explore the cosmological viability of a theory of gravity defined by the Lagrangian $f(\mathcal{R})=\mathcal{R}^{n\left(\mathcal{R}\right)}$ in the Palatini formalism, where $n\left(\mathcal{R}\right)$ is a dimensionless function of the Palatini scalar curvature $\mathcal{R}$ that interpolates between general relativity when $n\left(\mathcal{R}\right)=1$ and a locally scale-invariant and superficially renormalizable theory when $n\left(\mathcal{R}\right)=2$. We refer to this model as asymptotically Weyl-invariant gravity (AWIG). We analyse perhaps the simplest possible implementation of AWIG. A phase space analysis yields three fixed points with effective equation of states corresponding to de Sitter, radiation and matter-dominated phases. An analysis of the deceleration parameter suggests our model is consistent with an early and late period of accelerated cosmic expansion, with an intermediate period of decelerated expansion. We show that the model contains no obvious curvature singularities. Therefore, AWIG appears to be cosmologically viable, at least for the simple implementation explored.


title: Regular parallelisms on PG(3,R) admitting a 2-torus action

abstract: A regular parallelism of real projective 3-space PG(3,R) is an equivalence relation on the line space such that every class is equivalent to the set of 1-dimensional complex subspaces of a 2-dimensional complex vector space. We shall assume that the set of classes is compact, and characterize those regular parallelisms that admit an action of a 2-dimensional torus group. We prove that there is a one-dimensional subtorus fixing every parallel class. From this property alone we deduce that the parallelism is a 2- or 3-dimensional regular parallelism in the sense of Betten and Riesinger. If a 2-torus acts, then the parallelism can be described using a so-called generalized line star which admits a 1-torus action. We also study examples of such parallelisms by constructing generalized line stars. In particular, we prove a claim which was presented by Betten and Riesinger with an incorrect proof. The present article continues a series of papers by the first author on parallelisms with large groups.


abstract: Due to road traffic accidents, 6941 Filipinos died in 2010, and thousands more were wounded or disabled. Head and neck injuries are the main cause of death, severe injury, and motorcycle users disabilities. Motorcycle users make up a large proportion of those on the road who were killed. The main purpose of the study is to develop an MCU Based Motorcycle System for Optimum Road Safety with Anti-theft Capability that will help motorcycle riders to be safe while travelling in national roads. The researchers will be using the prototyping methodology where in a prototype is built according to the initial requirements gathered from the motorists themselves. The expected result of the proposed methodology is the system will be utilizing the different function of each modules to ensure that the riders will be able to detect and avoid possible danger while on the road. As a result of different literature in relation to each module, the system is expected to provide a new leap to ensure the safety of all riders here in the Philippines. Future studies will ensure the development of the system, provide testing and improve the functionality of the system depending on the test result. Due to the high increase in the number of cars and motorcycle travelling on national road, the percentage of accidents also is getting higher. In line with that, the proposed system is expected to lessen the percentage of accident by avoiding the possible cause of it.