title: Space Efficient Representations of Finite Groups

abstract: The Cayley table representation of a group uses $\mathcal{O}(n^2)$ words for a group of order $n$ and answers multiplication queries in time $\mathcal{O}(1)$. It is interesting to ask if there is a $o(n^2)$ space representation of groups that still has $\mathcal{O}(1)$ query-time. We show that for any $\delta$, $\frac{1}{\log n} \le \delta \le 1$, there is an $\mathcal{O}(\frac{n^{1 +\delta}}{\delta})$ space representation for groups of order $n$ with $\mathcal{O}(\frac{1}{\delta})$ query-time. We also show that for Z-groups, simple groups and several group classes defined in terms of semidirect product, there are linear space representations with at most logarithmic query-time. Farzan and Munro (ISSAC'06) defined a model for group representation and gave a succinct data structure for abelian groups with constant query-time. They asked if their result can be extended to categorically larger group classes. We construct data structures in their model for Hamiltonian groups and some other classes of groups with constant query-time.


title: Time integration of tree tensor networks

abstract: Dynamical low-rank approximation by tree tensor networks is studied for the data-sparse approximation to large time-dependent data tensors and unknown solutions of tensor differential equations. A time integration method for tree tensor networks of prescribed tree rank is presented and analyzed. It extends the known projector-splitting integrators for dynamical low-rank approximation by matrices and Tucker tensors and is shown to inherit their favorable properties. The integrator is based on recursively applying the Tucker tensor integrator. In every time step, the integrator climbs up and down the tree: it uses a recursion that passes from the root to the leaves of the tree for the construction of initial value problems on subtree tensor networks using appropriate restrictions and prolongations, and another recursion that passes from the leaves to the root for the update of the factors in the tree tensor network. The integrator reproduces given time-dependent tree tensor networks of the specified tree rank exactly and is robust to the typical presence of small singular values in matricizations of the connection tensors, in contrast to standard integrators applied to the differential equations for the factors in the dynamical low-rank approximation by tree tensor networks.


title: Existence of positive solutions for a singular elliptic problem with critical exponent and measure data

abstract: We prove the existence of a positive {\it SOLA (Solutions Obtained as Limits of Approximations)} to the following PDE involving fractional power of Laplacian \begin{equation} \begin{split} (-\Delta)^su&= \frac{1}{u^\gamma}+\lambda u^{2_s^*-1}+\mu ~\text{in}~\Omega, u&>0~\text{in}~\Omega, u&= 0~\text{in}~\mathbb{R}^N\setminus\Omega. \end{split} \end{equation} Here, $\Omega$ is a bounded domain of $\mathbb{R}^N$, $s\in (0,1)$, $2s<N$, $\lambda,\gamma\in (0,1)$, $2_s^*=\frac{2N}{N-2s}$ is the fractional critical Sobolev exponent and $\mu$ is a nonnegative bounded Radon measure in $\Omega$.


title: Bayesian Nonparametric Space Partitions: A Survey

abstract: Bayesian nonparametric space partition (BNSP) models provide a variety of strategies for partitioning a $D$-dimensional space into a set of blocks. In this way, the data points lie in the same block would share certain kinds of homogeneity. BNSP models can be applied to various areas, such as regression/classification trees, random feature construction, relational modeling, etc. In this survey, we investigate the current progress of BNSP research through the following three perspectives: models, which review various strategies for generating the partitions in the space and discuss their theoretical foundation `self-consistency'; applications, which cover the current mainstream usages of BNSP models and their potential future practises; and challenges, which identify the current unsolved problems and valuable future research topics. As there are no comprehensive reviews of BNSP literature before, we hope that this survey can induce further exploration and exploitation on this topic.


title: Asymptotic Behavior of the Subordinated Traveling Waves

abstract: In this paper we investigate the long-time behavior of the subordination of the constant speed traveling waves by a general class of kernels. We use the Feller--Karamata Tauberian theorem in order to study the long-time behavior of the upper and lower wave. As a result we obtain the long-time behavior for the propagation of the front of the wave.


title: On the classification of cubic plane Cremona maps

abstract: We give a fine classification of cubic plane Cremona maps. A previous partial classification was obtained by Cerveau and D\'eserti a few years ago.


title: Unpaired Image Super-Resolution using Pseudo-Supervision

abstract: In most studies on learning-based image super-resolution (SR), the paired training dataset is created by downscaling high-resolution (HR) images with a predetermined operation (e.g., bicubic). However, these methods fail to super-resolve real-world low-resolution (LR) images, for which the degradation process is much more complicated and unknown. In this paper, we propose an unpaired SR method using a generative adversarial network that does not require a paired/aligned training dataset. Our network consists of an unpaired kernel/noise correction network and a pseudo-paired SR network. The correction network removes noise and adjusts the kernel of the inputted LR image; then, the corrected clean LR image is upscaled by the SR network. In the training phase, the correction network also produces a pseudo-clean LR image from the inputted HR image, and then a mapping from the pseudo-clean LR image to the inputted HR image is learned by the SR network in a paired manner. Because our SR network is independent of the correction network, well-studied existing network architectures and pixel-wise loss functions can be integrated with the proposed framework. Experiments on diverse datasets show that the proposed method is superior to existing solutions to the unpaired SR problem.


title: Higher-order cumulants of net-charge distributions from local charge conservation

abstract: In studies of heavy-ion collisions, fluctuations of conserved quantities are considered as an important signal of the transition between the hadronic and partonic phases of nuclear matter. In this paper, it is investigated how the local charge conservation affects higher-order cumulants of net-charge distributions at LHC energies. Simple expressions for the cumulants are derived under the assumption that particle-antiparticle pairs are produced in local processes from sources that are nearly uncorrelated in rapidity. For calculations with these expressions, one needs to know only the second cumulant of net-charge distribution and low-order cumulants of particle number distribution, which are directly measurable experimentally. It is argued that if one wishes to relate susceptibilities with cumulants of net-proton distributions, the developed model provides a better baseline than the conventional Skellam limit or models based on monte-carlo simulations.


title: Broadband low loss and ultra-low crosstalk waveguide crossings based on multimode interferometer for 840 nm operation

abstract: Broadband low loss and ultra-low crosstalk waveguide crossings are a crucial component for photonic integrated circuits to allow a higher integration density of functional components and an increased flexibility in the layout. We report the design of optimized silicon nitride waveguide crossings based on multimode interferometer structures for intersecting light paths of TE/TE-like, TM/TM-like and TE/TM-like polarized light in the near infrared wavelength region of 790 nm to 890 nm. The crossing design for diverse polarization modes facilitates dual polarization operation on a single chip. For all configurations the loss of a single crossing was measured to be 0.05 dB at 840 nm. Within the 100 nm bandwidth losses stayed below 0.16 dB. The crosstalk was estimated to be on the order of -60 dB by means of 3D finite difference time domain simulations.


title: Far-field subwavelength acoustic imaging by deep learning

abstract: Seeing and recognizing an object whose size is much smaller than the illumination wavelength is a challenging task for an observer placed in the far field, due to the diffraction limit. Recent advances in near and far field microscopy have offered several ways to overcome this limitation; however, they often use invasive markers and require intricate equipment with complicated image post-processing. On the other hand, a simple marker-free solution for high-resolution imaging may be found by exploiting resonant metamaterial lenses that can convert the subwavelength image information contained in the near-field of the object to propagating field components that can reach the far field. Unfortunately, resonant metalenses are inevitably sensitive to absorption losses, which has so far largely hindered their practical applications. Here, we solve this vexing problem and show that this limitation can be turned into an advantage when metalenses are combined with deep learning techniques. We demonstrate that combining deep learning with lossy metalenses allows recognizing and imaging largely subwavelength features directly from the far field. Our acoustic learning experiment shows that, despite being thirty times smaller than the wavelength of sound, the fine details of images can be successfully reconstructed and recognized in the far field, which is crucially enabled by the presence of absorption. We envision applications in acoustic image analysis, feature detection, object classification, or as a novel noninvasive acoustic sensing tool in biomedical applications.


title: flatspin: A Large-Scale Artificial Spin Ice Simulator

abstract: We present flatspin, a novel simulator for systems of interacting mesoscopic spins on a lattice, also known as artificial spin ice (ASI). Our magnetic switching criteria enables ASI dynamics to be captured in a dipole model. Through GPU acceleration, flatspin can simulate realistic dynamics of millions of magnets within practical time frames. We demonstrate flatspin's versatility through the reproduction of a diverse set of established experimental results from the literature. In particular, magnetization details of "pinwheel" ASI during field-driven reversal have been reproduced, for the first time, by a dipole model. The simulation framework enables quick exploration and investigation of new ASI geometries and properties at unprecedented speeds.


title: Detecting Potential Topics In News Using BERT, CRF and Wikipedia

abstract: For a news content distribution platform like Dailyhunt, Named Entity Recognition is a pivotal task for building better user recommendation and notification algorithms. Apart from identifying names, locations, organisations from the news for 13+ Indian languages and use them in algorithms, we also need to identify n-grams which do not necessarily fit in the definition of Named-Entity, yet they are important. For example, "me too movement", "beef ban", "alwar mob lynching". In this exercise, given an English language text, we are trying to detect case-less n-grams which convey important information and can be used as topics and/or hashtags for a news. Model is built using Wikipedia titles data, private English news corpus and BERT-Multilingual pre-trained model, Bi-GRU and CRF architecture. It shows promising results when compared with industry best Flair, Spacy and Stanford-caseless-NER in terms of F1 and especially Recall.


title: Corners and simpliciality in oriented matroids and partial cubes

abstract: Building on a recent characterization of tope graphs of Complexes of Oriented Matroids (COMs), we tackle and generalize several classical problems in Oriented Matroids (OMs), Lopsided Sets (aka ample set systems), and partial cubes via Metric Graph Theory. Our first main result is that every element of an OM from a class introduced by Mandel is incident to a simplicial tope, i.e, such OMs contain no mutation-free elements. This allows us to refute a conjecture of Mandel from 1983, that would have implied the famous Las Vergnas' simplex conjecture. Further, we show that the mutation graph of uniform OMs of order at most 9 are connected, thus confirming a stronger conjecture of Cordovil-Las Vergnas in this setting. The second main contribution is the introduction of corners of COMs as a natural generalization of corners in Lopsided Sets. Generalizing results of Bandelt and Chepoi, Tracy Hall, and Chalopin et al. we prove that realizable COMs, rank 2 COMs, as well as hypercellular graphs admit corner peelings. Using this, we confirm Las Vergnas' conjecture for antipodal partial cubes (a class much lager than OMs) of small rank or isometric dimension.


title: Force-Ultrasound Fusion: Bringing Spine Robotic-US to the Next "Level"

abstract: Spine injections are commonly performed in several clinical procedures. The localization of the target vertebral level (i.e. the position of a vertebra in a spine) is typically done by back palpation or under X-ray guidance, yielding either higher chances of procedure failure or exposure to ionizing radiation. Preliminary studies have been conducted in the literature, suggesting that ultrasound imaging may be a precise and safe alternative to X-ray for spine level detection. However, ultrasound data are noisy and complicated to interpret. In this study, a robotic-ultrasound approach for automatic vertebral level detection is introduced. The method relies on the fusion of ultrasound and force data, thus providing both "tactile" and visual feedback during the procedure, which results in higher performances in presence of data corruption. A robotic arm automatically scans the volunteer's back along the spine by using force-ultrasound data to locate vertebral levels. The occurrences of vertebral levels are visible on the force trace as peaks, which are enhanced by properly controlling the force applied by the robot on the patient back. Ultrasound data are processed with a Deep Learning method to extract a 1D signal modelling the probabilities of having a vertebra at each location along the spine. Processed force and ultrasound data are fused using a 1D Convolutional Network to compute the location of the vertebral levels. The method is compared to pure image and pure force-based methods for vertebral level counting, showing improved performance. In particular, the fusion method is able to correctly classify 100% of the vertebral levels in the test set, while pure image and pure force-based method could only classify 80% and 90% vertebrae, respectively. The potential of the proposed method is evaluated in an exemplary simulated clinical application.


title: Critical properties of a comb lattice

abstract: In this paper we study the critical properties of the Heisenberg spin-1/2 model on a comb lattice -- a 1D backbone decorated with finite 1D chains -- the teeth. We address the problem numerically by a comb tensor network that duplicates the geometry of a lattice. We observe a fundamental difference between the states on a comb with even and odd number of sites per tooth, which resembles an even-odd effect in spin-1/2 ladders. The comb with odd teeth is always critical, not only along the teeth, but also along the backbone, which leads to a competition between two critical regimes in orthogonal directions. In addition, we show that in a weak-backbone limit the excitation energy scales as $1/(NL)$, and not as $1/N$ or $1/L$ typical for 1D systems. For even teeth in the weak backbone limit the system corresponds to a collection of decoupled critical chains of length $L$, while in the strong backbone limit, one spin from each tooth forms the backbone, so the effective length of a critical tooth is one site shorter, $L-1$. Surprisingly, these two regimes are connected via a state where a critical chain spans over two nearest neighbor teeth, with an effective length $2L$.


title: Combined analysis of AMS-02 (Li,Be,B)/C, N/O, 3He, and 4He data

abstract: The AMS-02 experiment measured several secondary-to-primary ratios enabling a detailed study of Galactic cosmic-ray transport. We constrain previously derived benchmark scenarios (based on AMS-02 B/C data only) using other secondary-to-primary ratios, to test the universality of transport and the presence of a low-rigidity diffusion break. We use the 1D thin disc/thick halo propagation model of USINE and a $\chi^2$ minimisation accounting for a covariance matrix of errors (AMS-02 systematics) and nuisance parameters (cross-sections and solar modulation uncertainties). The combined analysis of AMS-02 Li/C, Be/C, and B/C strengthens the case for a diffusion slope of $\delta=0.50\pm 0.03$ with a low-rigidity break or upturn of the diffusion coefficient at GV rigidities. Our simple model can successfully reproduce all considered data (Li/C, Be/C, B/C, N/O, and 3He/4He), although several issues remain: (i) the quantitative agreement depends on the assumptions made on the not well constrained correlation lengths of AMS-02 data systematics; (ii) combined analyses are very sensitive to production cross sections, and we find post-fit values differing by $\sim5-15\%$ from their most likely values (roughly within currently estimated nuclear uncertainties); (iii) two very distinct regions of the parameter space remain viable, either with reacceleration and convection, or with purely diffusive transport. To take full benefit of combined analyses of AMS-02 data, better nuclear data and a better handle on energy correlations in the data systematic are required. AMS-02 data on heavier species are eagerly awaited to further explore cosmic-ray propagation scenarios.


title: Performance Analysis of Indoor mmWave Networks with Ceiling-Mounted Access Points

abstract: The objective of the Enhanced Mobile Broadband use case in 5G networks is to deliver high capacity access to densely populated areas, like city centres, transportation hubs or convention centres. Millimetre-wave communications are the go-to technology to realise that objective, yet due to weak outdoor-to-indoor penetration, outdoor deployments will not suffice and dedicated indoor deployments will be necessary. In this article, we study dense deployments of millimetre-wave access points mounted on the ceiling, with directional antennas pointing downwards to illuminate selected spots on the ground. In this setup, the signal propagation is primarily limited by human body blockages. Therefore, we develop a body blockage model and derive an expression for the probability of blockage. Using the developed expressions and our simulation framework, we assess the impact of densification and body blockage on the achievable performance. We find that both coverage and area spectral efficiency curves exhibit non-trivial behaviour with respect to the access point density and that there is an optimal beamwidth-density configuration that only maximises either coverage or area spectral efficiency. Such optimal configuration changes depending on the body blockage probability, leading to a necessity for network designers to carefully consider their intended application and scenario.


title: Gate-tuned Anomalous Hall Effect Driven by Rashba Splitting in Intermixed LaAlO3/GdTiO3/SrTiO3

abstract: The Anomalous Hall Effect (AHE) is an important quantity in determining the properties and understanding the behavior of the two-dimensional electron system forming at the interface of SrTiO3-based oxide heterostructures. The occurrence of AHE is often interpreted as a signature of ferromagnetism, but it is becoming more and more clear that also paramagnets may contribute to AHE. We studied the influence of magnetic ions by measuring intermixed LaAlO3/GdTiO3/SrTiO3 at temperatures below 10 K. We find that, as function of gate voltage, the system undergoes a Lifshitz transition, while at the same time an onset of AHE is observed. However, we do not observe clear signs of ferromagnetism. We argue the AHE to be due to the change in Rashba spin-orbit coupling at the Lifshitz transition and conclude that also paramagnetic moments which are easily polarizable at low temperatures and high magnetic filds lead to the presence of AHE, which needs to be taken into account when extracting carrier densities and mobilities.


title: Disentangling Image Distortions in Deep Feature Space

abstract: Previous literature suggests that perceptual similarity is an emergent property shared across deep visual representations. Experiments conducted on a dataset of human-judged image distortions have proven that deep features outperform classic perceptual metrics. In this work we take a further step in the direction of a broader understanding of such property by analyzing the capability of deep visual representations to intrinsically characterize different types of image distortions. To this end, we firstly generate a number of synthetically distorted images and then we analyze the features extracted by different layers of different Deep Neural Networks. We observe that a dimension-reduced representation of the features extracted from a given layer permits to efficiently separate types of distortions in the feature space. Moreover, each network layer exhibits a different ability to separate between different types of distortions, and this ability varies according to the network architecture. Finally, we evaluate the exploitation of features taken from the layer that better separates image distortions for: i) reduced-reference image quality assessment, and ii) distortion types and severity levels characterization on both single and multiple distortion databases. Results achieved on both tasks suggest that deep visual representations can be unsupervisedly employed to efficiently characterize various image distortions.


title: Efficient algorithms for multivariate shape-constrained convex regression problems

abstract: Shape-constrained convex regression problem deals with fitting a convex function to the observed data, where additional constraints are imposed, such as component-wise monotonicity and uniform Lipschitz continuity. This paper provides a comprehensive mechanism for computing the least squares estimator of a multivariate shape-constrained convex regression function in $\mathbb{R}^d$. We prove that the least squares estimator is computable via solving a constrained convex quadratic programming (QP) problem with $(n+1)d$ variables and at least $n(n-1)$ linear inequality constraints, where $n$ is the number of data points. For solving the generally very large-scale convex QP, we design two efficient algorithms, one is the symmetric Gauss-Seidel based alternating direction method of multipliers ({\tt sGS-ADMM}), and the other is the proximal augmented Lagrangian method ({\tt pALM}) with the subproblems solved by the semismooth Newton method ({\tt SSN}). Comprehensive numerical experiments, including those in the pricing of basket options and estimation of production functions in economics, demonstrate that both of our proposed algorithms outperform the state-of-the-art algorithm. The {\tt pALM} is more efficient than the {\tt sGS-ADMM} but the latter has the advantage of being simpler to implement.


title: Symmetry analysis and multipole classification of eigenmodes in electromagnetic resonators for engineering their optical properties

abstract: The resonator is one of the main building blocks of a plethora of photonic and microwave devices from nanolasers to compact biosensors and magnetic resonance scanners. The symmetry of the resonators is tightly related to their mode structure and multipole content which determines the linear and non-linear response of the resonator. Here, we develop the algorithm for the classification of eigenmodes in resonators of the simplest shapes depending on their symmetry group. For each type of mode, we find its multipole content. As an illustrative example, we apply the developed formalism to the analysis of dielectric triangular prism and demonstrate the formation of high-Q resonances originated due to suppression of the scattering through the main multipole channel. The developed approach one to engineer, predict, and explain scattering phenomena and optical properties of resonators and meta-atmos basing only on their symmetry without the need for numerical simulations and it can be used for the design of new photonic and microwave devices.


title: Enhanced Ferroelectricity and Spin Current Waves in M-Type Barium Hexaferrite

abstract: The intrinsic ferroelectricity and related dielectric properties of M-type Barium Hexaferrite (BaFe12O19) with excellent magnetic performance are reported in this paper. A classic electric polarization (P-E) hysteresis loop with full saturation, together with two nonlinear reversal current peaks in the I-V curve and huge change of dielectric constant in the vicinity of Curie temperature, have all demonstrated themselves as sufficient experimental evidences to verify the ferroelectricity of BaFe12O19 ceramics. It holds a large remnant polarization at 108 uC/cm2 and a suitable coercive field at 117 kV/cm. Two peaks at 194C and 451C in the temperature-dependent dielectric spectrum of BaFe12O19 ceramics are considered to be the phase transition from ferro- to antiferro- and antiferro- to para-electric structures. A conventional strong magnetic hysteresis loop was also observed. The magnetically induced polarization upon the BaFe12O19 ceramics was achieved in the form of alternating spin current waves. A ME-coupling voltage with an amplitude of 23mV on an applied magnetic field at 500mT was achieved. These combined multiple functional responses of large ferroelectrics and strong ferromagnetism reveal the excellent multiferroic features of BaFe12O19, which would bring forth the great opportunity to create novel electric devices with active coupling effect between magnetic and electric orders.


title: Enhanced $\Gamma(p\to K^0\mu^+)/\Gamma(p\to K^+\bar{\nu}_\mu)$ as a Signature of Minimal Renormalizable SUSY $SO(10)$ GUT

abstract: The ratio of the partial widths of some dimension-5 proton decay modes can be predicted without detailed knowledge of SUSY particle masses, and thus allows us to experimentally test various SUSY GUT models without discovering SUSY particles. In this paper, we study the ratio of the partial widths of the $p\to K^0\mu^+$ and $p\to K^+\bar{\nu}_\mu$ decays in the minimal renormalizable SUSY $SO(10)$ GUT, under only a plausible assumption that the 1st and 2nd generation left-handed squarks are mass-degenerate. In the model, we expect that the Wilson coefficients of dimension-5 operators responsible for these modes are on the same order and that the ratio of $p\to K^0\mu^+$ and $p\to K^+\bar{\nu}_\mu$ partial widths is $O(0.1)$. Hence, we may be able to detect both $p\to K^0\mu^+$ and $p\to K^+\bar{\nu}_\mu$ decays at Hyper-Kamiokande, thereby gaining a hint for the minimal renormalizable SUSY $SO(10)$ GUT. Moreover, since this partial width ratio is quite suppressed in the minimal $SU(5)$ GUT, it allows us to distinguish the minimal renormalizable SUSY $SO(10)$ GUT from the minimal $SU(5)$ GUT. In the main body of the paper, we perform a fitting of the quark and lepton masses and flavor mixings with the Yukawa couplings of the minimal renormalizable $SO(10)$ GUT, and derive a concrete prediction for the partial width ratio based on the fitting results. We find that the partial width ratio generally varies in the range 0.05-0.6, confirming the above expectation.


title: Refined Strong Converse for the Constant Composition Codes

abstract: A strong converse bound for constant composition codes of the form $P_{e}^{(n)} \geq 1- A n^{-0.5(1-E_{sc}'(R,W,p))} e^{-n E_{sc}(R,W,p)}$ is established using the Berry-Esseen theorem through the concepts of Augustin information and Augustin mean, where $A$ is a constant determined by the channel $W$, the composition $p$, and the rate $R$, i.e., $A$ does not depend on the block length $n$.


title: Extensions, deformation and categorification of $\text{AssDer}$ pairs

abstract: In this paper, we consider associative algebras equipped with derivations. Such a pair of an associative algebra with a derivation is called an AssDer pair. Using the Hochschild cohomology for associative algebras, we define cohomology for an AssDer pair with coefficients in a representation. We study central extensions and abelian extensions of AssDer pairs. Moreover, we consider extensions of a pair of derivations in central extensions of associative algebras. Next, we study formal one-parameter deformations of AssDer pair by deforming both the associative product and the derivation. They are governed by the cohomology of the AssDer pair with representation in itself. In the next part, we study $2$-term $A_\infty$-algebras with homotopy derivations considered by Loday and Doubek-Lada. Finally, we introduce $2$-derivations on associative $2$-algebras and show that the category of associative $2$-algebras with $2$-derivations are equivalent to the category of $2$-term $A_\infty$-algebras with homotopy derivations.


title: Analytical Equations based Prediction Approach for PM2.5 using Artificial Neural Network

abstract: Particulate matter pollution is one of the deadliest types of air pollution worldwide due to its significant impacts on the global environment and human health. Particulate Matter (PM2.5) is one of the important particulate pollutants to measure the Air Quality Index (AQI). The conventional instruments used by the air quality monitoring stations to monitor PM2.5 are costly, bulkier, time-consuming, and power-hungry. Furthermore, due to limited data availability and non-scalability, these stations cannot provide high spatial and temporal resolution in real-time. To overcome the disadvantages of existing methodology this article presents analytical equations based prediction approach for PM2.5 using an Artificial Neural Network (ANN). Since the derived analytical equations for the prediction can be computed using a Wireless Sensor Node (WSN) or low-cost processing tool, it demonstrates the usefulness of the proposed approach. Moreover, the study related to correlation among the PM2.5 and other pollutants is performed to select the appropriate predictors. The large authenticate data set of Central Pollution Control Board (CPCB) online station, India is used for the proposed approach. The RMSE and coefficient of determination (R2) obtained for the proposed prediction approach using eight predictors are 1.7973 ug/m3 and 0.9986 respectively. While the proposed approach results show RMSE of 7.5372 ug/m3 and R2 of 0.9708 using three predictors. Therefore, the results demonstrate that the proposed approach is one of the promising approaches for monitoring PM2.5 without power-hungry gas sensors and bulkier analyzers.


title: Two arithmetic applications of perturbations of composition operators

abstract: We estimate the spectral radius of perturbations of a particular family of composition operators, in a setting where the usual choices of norms do not account for the typical size of the perturbation. We apply this to estimate the growth rate of large moments of a Thue-Morse generating function and of the Stern sequence. This answers in particular a question of Mauduit, Montgomery and Rivat (2018).


title: The electron affinity of astatine

abstract: One of the most important properties influencing the chemical behavior of an element is the energy released with the addition of an extra electron to the neutral atom, referred to as the electron affinity (EA). Among the remaining elements with unknown EA is astatine, the purely radioactive element 85. Astatine is the heaviest naturally occurring halogen and its isotope $^{211}$At is remarkably well suited for targeted radionuclide therapy of cancer. With the At$^-$ anion being involved in many aspects of current astatine labelling protocols, the knowledge of the electron affinity of this element is of prime importance. In addition, the EA can be used to deduce other concepts such as the electronegativity, thereby further improving the understanding of astatine's chemistry. Here, we report the first measurement of the EA for astatine to be 2.41578(7)eV. This result is compared to state-of-the-art relativistic quantum mechanical calculations, which require incorporation of the electron-electron correlation effects on the highest possible level. The developed technique of laser-photodetachment spectroscopy of radioisotopes opens the path for future EA measurements of other radioelements such as polonium, and eventually super-heavy elements, which are produced at a one-atom-at-a-time rate.


title: Theorems of Alternatives for Substructural Logics

abstract: A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the R-mingle logic RM to the validity of a linear combination of these formulas, and Gordan's theorem for solutions of linear systems over the real numbers, that yields an analogous reduction for validity in Abelian logic A. In this paper, general conditions are provided for axiomatic extensions of involutive uninorm logic without additive constants to admit a theorem of alternatives. It is also shown that a theorem of alternatives for a logic can be used to establish (uniform) deductive interpolation and completeness with respect to a class of dense totally ordered residuated lattices.


title: Universal bounds for imaging in scattering media

abstract: In this work we establish universal ensemble independent bounds on the mean and variance of the mutual information and channel capacity for imaging through a complex medium. Both upper and lower bounds are derived and are solely dependent on the mean transmittance of the medium and the number of degrees of freedom $N$. In the asymptotic limit of large $N$, upper bounds on the channel capacity are shown to be well approximated by that of a bimodal channel with independent identically Bernoulli distributed transmission eigenvalues. Reflection based imaging modalities are also considered and permitted regions in the transmission-reflection information plane defined. Numerical examples drawn from the circular and DMPK random matrix ensembles are used to illustrate the validity of the derived bounds. Finally, although the mutual information and channel capacity are shown to be non-linear statistics of the transmission eigenvalues, the existence of central limit theorems is demonstrated and discussed.


title: Thermodynamic Formalism for Random Weighted Covering Systems

abstract: We develop a quenched thermodynamic formalism for random dynamical systems generated by countably branched, piecewise-monotone mappings of the interval that satisfy a random covering condition. Given a random contracting potential $\varphi$ (in the sense of Liverani-Saussol-Vaienti), we prove there exists a unique random conformal measure $\nu_\varphi$ and unique random equilibrium state $\mu_\varphi$. Further, we prove quasi-compactness of the associated transfer operator cocycle and exponential decay of correlations for $\mu_\varphi$. Our random driving is generated by an invertible, ergodic, measure-preserving transformation $\sigma$ on a probability space $(\Omega,\mathscr{F},m)$; for each $\omega\in\Omega$ we associate a piecewise-monotone, surjective map $T_\omega:I\to I$. We consider general potentials $\varphi_\omega:I\to\mathbb R\cup\{-\infty\}$ such that the weight function $g_\omega=e^{\varphi_\omega}$ is of bounded variation. We provide several examples of our general theory. In particular, our results apply to linear and non-linear systems including random $\beta$-transformations, randomly translated random $\beta$-transformations, random Gauss-Renyi maps, random non-uniformly expanding maps such as intermittent maps and maps with contracting branches, and a large class of random Lasota-Yorke maps.


title: Can planetary rings explain the extremely low density of HIP 41378f?

abstract: The presence of rings around a transiting planet can cause its radius to be overestimated and lead to an underestimation of its density if the mass is known. We employ a Bayesian framework to show that the anomalously low density ($\sim$0.09 g cm${^{-3}}$) of the transiting long-period planet HIP$\,$41378$\,f$ might be due to the presence of opaque circum-planetary rings. Given our adopted model priors and data from the K2 mission, we find the statistical evidence for the ringed planet scenario to be comparable to that of the planet-only scenario. The ringed planet solution suggests a larger planetary density of $\sim$1.23$\,$g$\,$cm$^{-3}$ similar to Uranus. The associated ring extends from 1.05 to 2.59 times the planetary radius and is inclined away from the sky-plane by $\sim$25$^\mathrm{o}$. Future high-precision transit observations of HIP$\,$41378$\,f$ would be necessary to confirm/dismiss the presence of planetary rings.


title: NeuralSens: Sensitivity Analysis of Neural Networks

abstract: Neural networks are important tools for data-intensive analysis and are commonly applied to model non-linear relationships between dependent and independent variables. However, neural networks are usually seen as "black boxes" that offer minimal information about how the input variables are used to predict the response in a fitted model. This article describes the \pkg{NeuralSens} package that can be used to perform sensitivity analysis of neural networks using the partial derivatives method. Functions in the package can be used to obtain the sensitivities of the output with respect to the input variables, evaluate variable importance based on sensitivity measures and characterize relationships between input and output variables. Methods to calculate sensitivities are provided for objects from common neural network packages in \proglang{R}, including \pkg{neuralnet}, \pkg{nnet}, \pkg{RSNNS}, \pkg{h2o}, \pkg{neural}, \pkg{forecast} and \pkg{caret}. The article presents an overview of the techniques for obtaining information from neural network models, a theoretical foundation of how are calculated the partial derivatives of the output with respect to the inputs of a multi-layer perceptron model, a description of the package structure and functions, and applied examples to compare \pkg{NeuralSens} functions with analogous functions from other available \proglang{R} packages.


title: Performance Evaluation of Deep Generative Models for Generating Hand-Written Character Images

abstract: There have been many work in the literature on generation of various kinds of images such as Hand-Written characters (MNIST dataset), scene images (CIFAR-10 dataset), various objects images (ImageNet dataset), road signboard images (SVHN dataset) etc. Unfortunately, there have been very limited amount of work done in the domain of document image processing. Automatic image generation can lead to the enormous increase of labeled datasets with the help of only limited amount of labeled data. Various kinds of Deep generative models can be primarily divided into two categories. First category is auto-encoder (AE) and the second one is Generative Adversarial Networks (GANs). In this paper, we have evaluated various kinds of AE as well as GANs and have compared their performances on hand-written digits dataset (MNIST) and also on historical hand-written character dataset of Indonesian BALI language. Moreover, these generated characters are recognized by using character recognition tool for calculating the statistical performance of these generated characters with respect to original character images.


title: Initial-State Dependence of Thermodynamic Dissipation for any Quantum Process

abstract: New exact results about the nonequilibrium thermodynamics of open quantum systems at arbitrary timescales are obtained by considering all possible variations of initial conditions of a system, its environment, and correlations between them. First we obtain a new quantum-information theoretic equality for entropy production, valid for an arbitrary initial joint state of system and environment. For any finite-time process with a fixed initial environment, we then show that the contraction of the system's distinction -- relative to the minimally dissipative state -- exactly quantifies its thermodynamic dissipation. The quantum component of this dissipation is the change in coherence relative to the minimally dissipative state. Implications for quantum state preparation and local control are explored. For nonunitary processes -- like the preparation of any particular quantum state -- we find that mismatched expectations lead to divergent dissipation as the actual initial state becomes orthogonal to the anticipated one.


title: Strain Engineering of Spin and Rashba properties in Group-III Monochalcogenide MX (M=Ga, In and X=S, Se, Te) Monolayer

abstract: In this paper, spin properties of monolayer MX (M=Ga, In and X=S, Se, Te) in the presence of strain are studied. Density functional theory is used to investigate spin properties. The strain changes modification of bandgap due to spin-orbit coupling, the results indicate the spin-orbit coupling has a higher effect in the compressive regime. Also, spin splitting in the conduction and valence bands respect to strain are compared for six materials. The location of conduction band minimum (CBM) imposed a type of spin properties. These materials with mirror symmetry can display the Rashba effect while M valley is located at CBM. Strain tunes the conduction band minimum in three valleys (K, M and $\Gamma$ valleys) and determines which spin effect (spin splitting, Rashba splitting or no spin splitting) has occurred in each strain for every material. Lastly, the relation between the Rashba parameter and the atomic mass is explored and it is observed that there is a linear correlation between atomic mass and Rashba coefficient.


title: Magnetospheric return-current-heated atmospheres of rotation-powered millisecond pulsars

abstract: We computed accurate atmosphere models of rotation-powered millisecond pulsars in which the polar caps of a neutron star (NS) are externally heated by magnetospheric return currents. The external ram pressure, energy losses, and stopping depth of the penetrating charged particles were computed self-consistently with the atmosphere model, instead of assuming a simplified deep-heated atmosphere in radiative equilibrium. We used exact Compton scattering formalism to model the properties of the emergent X-ray radiation. The deep-heating approximation was found to be valid only if most of the heat originates from ultra-relativistic bombarding particles with Lorentz factors of $\gamma \gtrsim 100$. In the opposite regime, the atmosphere attains a distinct two-layer structure with an overheated optically thin skin on top of an optically thick cool plasma. The overheated skin strongly modifies the emergent radiation: it produces a Compton-upscattered high-energy tail in the spectrum and alters the radiation beaming pattern from limb darkening to limb brightening for emitted hard X-rays. This kind of drastic change in the emission properties can have a significant impact on the inferred NS pulse profile parameters as performed, for example, by Neutron star Interior Composition ExploreR. Finally, the connection between the energy distribution of the return current particles and the atmosphere emission properties offers a new tool to probe the exact physics of pulsar magnetospheres.


title: Computation of Dynamic Equilibria in Series-Parallel Networks

abstract: We consider dynamic equilibria for flows over time under the fluid queuing model. In this model, queues on the links of a network take care of flow propagation. Flow enters the network at a single source and leaves at a single sink. In a dynamic equilibrium, every infinitesimally small flow particle reaches the sink as early as possible given the pattern of the rest of the flow. While this model has been examined for many decades, progress has been relatively recent. In particular, the derivatives of dynamic equilibria have been characterized as thin flows with resetting, which allowed for more structural results. Our two main results are based on the formulation of thin flows with resetting as linear complementarity problem and its analysis. We present a constructive proof of existence for dynamic equilibria if the inflow rate is right-monotone. The complexity of computing thin flows with resetting, which occurs as a subproblem in this method, is still open. We settle it for the class of two-terminal series-parallel networks by giving a recursive algorithm that solves the problem for all flow values simultaneously in polynomial time.


title: PHS: A Toolbox for Parallel Hyperparameter Search

abstract: We introduce an open source python framework named PHS - Parallel Hyperparameter Search to enable hyperparameter optimization on numerous compute instances of any arbitrary python function. This is achieved with minimal modifications inside the target function. Possible applications appear in expensive to evaluate numerical computations which strongly depend on hyperparameters such as machine learning. Bayesian optimization is chosen as a sample efficient method to propose the next query set of parameters.


title: Deform-GAN:An Unsupervised Learning Model for Deformable Registration

abstract: Deformable registration is one of the most challenging task in the field of medical image analysis, especially for the alignment between different sequences and modalities. In this paper, a non-rigid registration method is proposed for 3D medical images leveraging unsupervised learning. To the best of our knowledge, this is the first attempt to introduce gradient loss into deep-learning-based registration. The proposed gradient loss is robust across sequences and modals for large deformation. Besides, adversarial learning approach is used to transfer multi-modal similarity to mono-modal similarity and improve the precision. Neither ground-truth nor manual labeling is required during training. We evaluated our network on a 3D brain registration task comprehensively. The experiments demonstrate that the proposed method can cope with the data which has non-functional intensity relations, noise and blur. Our approach outperforms other methods especially in accuracy and speed.


title: Simpler handling of clinical concepts in R with clinconcept

abstract: Routinely collected data in electronic healthcare records are often underpinned by clinical concept dictionaries. Increasingly data sets from these sources are being made available and used for research purposes, but without additional tooling it can be difficult to work effectively with these dictionaries due to their design, size and complex nature. In an effort to improve this situation the clinconcept package was created to provide a straightforward way for researchers to build, manage and interrogate databases containing commmonly used clinical concept dictionaries. This article describes the rationale behind the package, how to install it and use it and how it can be extended to support other data sources.


title: G\"odel spacetime, planar geodesics and the M\"obius map

abstract: Timelike geodesics on a hyperplane orthogonal to the symmetry axis of the G\"odel spacetime appear to be elliptic-like if standard coordinates naturally adapted to the cylindrical symmetry are used. The orbit can then be suitably described through an eccentricity-semi-latus rectum parametrization, familiar from the Newtonian dynamics of a two-body system. However, changing coordinates such planar geodesics all become explicitly circular, as exhibited by Kundt's form of the G\"odel metric. We derive here a one-to-one correspondence between the constants of the motion along these geodesics as well as between the parameter spaces of elliptic-like versus circular geodesics. We also show how to connect the two equivalent descriptions of particle motion by introducing a pair of complex coordinates in the 2-planes orthogonal to the symmetry axis, which brings the metric into a form which is invariant under M\"obius transformations preserving the symmetries of the orbit, i.e., taking circles to circles.


title: Efficient Semantic Video Segmentation with Per-frame Inference

abstract: For semantic segmentation, most existing real-time deep models trained with each frame independently may produce inconsistent results for a video sequence. Advanced methods take into considerations the correlations in the video sequence, e.g., by propagating the results to the neighboring frames using optical flow, or extracting the frame representations with other frames, which may lead to inaccurate results or unbalanced latency. In this work, we process efficient semantic video segmentation in a per-frame fashion during the inference process. Different from previous per-frame models, we explicitly consider the temporal consistency among frames as extra constraints during the training process and embed the temporal consistency into the segmentation network. Therefore, in the inference process, we can process each frame independently with no latency, and improve the temporal consistency with no extra computational cost and post-processing. We employ compact models for real-time execution. To narrow the performance gap between compact models and large models, new knowledge distillation methods are designed. Our results outperform previous keyframe based methods with a better trade-off between the accuracy and the inference speed on popular benchmarks, including the Cityscapes and Camvid. The temporal consistency is also improved compared with corresponding baselines which are trained with each frame independently. Code is available at: https://tinyurl.com/segment-video


title: Towards Interpretable Semantic Segmentation via Gradient-weighted Class Activation Mapping

abstract: Convolutional neural networks have become state-of-the-art in a wide range of image recognition tasks. The interpretation of their predictions, however, is an active area of research. Whereas various interpretation methods have been suggested for image classification, the interpretation of image segmentation still remains largely unexplored. To that end, we propose SEG-GRAD-CAM, a gradient-based method for interpreting semantic segmentation. Our method is an extension of the widely-used Grad-CAM method, applied locally to produce heatmaps showing the relevance of individual pixels for semantic segmentation.


title: Identifying the $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ as $D$-wave bottom baryons

abstract: We study the $\Lambda_b(6146)^0$ and $\Lambda_b(6152)^0$ recently observed by LHCb using the method of QCD sum rules within the framework of heavy quark effective theory. Our results suggest that they can be interpreted as $D$-wave bottom baryons of $J^P = 3/2^+$ and $5/2^+$ respectively, both of which contain two $\lambda$-mode excitations. We also investigate other possible assignments containing $\rho$-mode excitations. We predict masses of their strangeness partners to be $m_{\Xi_b(3/2^+)} = 6.26^{+0.11}_{-0.14}$ GeV and $m_{\Xi_b(5/2^+)} = 6.26^{+0.11}_{-0.14}$ GeV with the mass splitting $\Delta M = 4.5^{+1.9}_{-1.5}$ MeV, and propose to search for them in future LHCb and CMS experiments.


title: Nonlinear classifiers for ranking problems based on kernelized SVM

abstract: Many classification problems focus on maximizing the performance only on the samples with the highest relevance instead of all samples. As an example, we can mention ranking problems, accuracy at the top or search engines where only the top few queries matter. In our previous work, we derived a general framework including several classes of these linear classification problems. In this paper, we extend the framework to nonlinear classifiers. Utilizing a similarity to SVM, we dualize the problems, add kernels and propose a componentwise dual ascent method.


title: Consensus-Halving: Does It Ever Get Easier?

abstract: In the $\varepsilon$-Consensus-Halving problem, a fundamental problem in fair division, there are $n$ agents with valuations over the interval $[0,1]$, and the goal is to divide the interval into pieces and assign a label "$+$" or "$-$" to each piece, such that every agent values the total amount of "$+$" and the total amount of "$-$" almost equally. The problem was recently proven by Filos-Ratsikas and Goldberg [2019] to be the first "natural" complete problem for the computational class PPA, answering a decade-old open question. In this paper, we examine the extent to which the problem becomes easy to solve, if one restricts the class of valuation functions. To this end, we provide the following contributions. First, we obtain a strengthening of the PPA-hardness result of [Filos-Ratsikas and Goldberg, 2019], to the case when agents have piecewise uniform valuations with only two blocks. We obtain this result via a new reduction, which is in fact conceptually much simpler than the corresponding one in [Filos-Ratsikas and Goldberg, 2019]. Then, we consider the case of single-block (uniform) valuations and provide a parameterized polynomial time algorithm for solving $\varepsilon$-Consensus-Halving for any $\varepsilon$, as well as a polynomial-time algorithm for $\varepsilon=1/2$. Finally, an important application of our new techniques is the first hardness result for a generalization of Consensus-Halving, the Consensus-$1/k$-Division problem [Simmons and Su, 2003]. In particular, we prove that $\varepsilon$-Consensus-$1/3$-Division is PPAD-hard.


title: Mathematical Construction of Interpolation and Extrapolation Function by Taylor Polynomials

abstract: In this present paper, I propose a derivation of unified interpolation and extrapolation function that predicts new values inside and outside the given range by expanding direct Taylor series on the middle point of given data set. Mathematical construction of experimental model derived in general form. Trigonometric and Power functions adopted as test functions in the development of the vital aspects in numerical experiments. Experimental model was interpolated and extrapolated on data set that generated by test functions. The results of the numerical experiments which predicted by derived model compared with analytical values.


title: The Hilbert scheme of infinite affine space and algebraic K-theory

abstract: We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of $\mathrm{Hilb}_d(\mathbb{A}^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\mathrm{Hilb}_d(\mathbb{A}^n)(\mathbb{C})$ in a range. We also deduce that the forgetful map $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\mathrm{kgl}$-homology of smooth proper schemes over a perfect field.


title: Non-asymptotic bounds for stochastic optimization with biased noisy gradient oracles

abstract: We introduce biased gradient oracles to capture a setting where the function measurements have an estimation error that can be controlled through a batch size parameter. Our proposed oracles are appealing in several practical contexts, for instance, risk measure estimation from a batch of independent and identically distributed (i.i.d.) samples, or simulation optimization, where the function measurements are `biased' due to computational constraints. In either case, increasing the batch size reduces the estimation error. We highlight the applicability of our biased gradient oracles in a risk-sensitive reinforcement learning setting. In the stochastic non-convex optimization context, we analyze a variant of the randomized stochastic gradient (RSG) algorithm with a biased gradient oracle. We quantify the convergence rate of this algorithm by deriving non-asymptotic bounds on its performance. Next, in the stochastic convex optimization setting, we derive non-asymptotic bounds for the last iterate of a stochastic gradient descent (SGD) algorithm with a biased gradient oracle.


title: Inelastic electron tunneling in 2H-Ta$_x$Nb$_{1-x}$Se$_2$ evidenced by scanning tunneling spectroscopy

abstract: We report a detailed study of tunneling spectra measured on 2H-Ta$_x$Nb$_{1-x}$Se$_2$ ($x=0\sim 0.1$) single crystals using a low-temperature scanning tunneling microscope. The prominent gap-like feature unintelligible for a long time was found to be accompanied by some "in-gap" fine structures. By investigating the second-derivative spectra and their temperature and magnetic field dependencies, we were able to prove that inelastic electron tunneling is the origin of these features and obtain the Eliashberg function of 2H-Ta$_x$Nb$_{1-x}$Se$_2$ at atomic scale, providing a potential way to study the local Eliashberg function and phonon spectra of the related transition-metal dichalcogenides.


title: DeBayes: a Bayesian Method for Debiasing Network Embeddings

abstract: As machine learning algorithms are increasingly deployed for high-impact automated decision making, ethical and increasingly also legal standards demand that they treat all individuals fairly, without discrimination based on their age, gender, race or other sensitive traits. In recent years much progress has been made on ensuring fairness and reducing bias in standard machine learning settings. Yet, for network embedding, with applications in vulnerable domains ranging from social network analysis to recommender systems, current options remain limited both in number and performance. We thus propose DeBayes: a conceptually elegant Bayesian method that is capable of learning debiased embeddings by using a biased prior. Our experiments show that these representations can then be used to perform link prediction that is significantly more fair in terms of popular metrics such as demographic parity and equalized opportunity.


title: SPAD-based asynchronous-readout array detectors for image-scanning microscopy

abstract: Fluorescence microscopy and derived techniques are continuously looking for photodetectors able to guarantee increased sensitivity, high spatial and temporal resolution and ease of integration into modern microscopy architectures. Recent advances in single photon avalanche diodes (SPADs) fabricated with industry-standard microelectronic processes allow the development of new detection systems tailored to address the requirements of advanced imaging techniques (such as image-scanning microscopy). To this aim, we present the complete design and characterization of two bidimensional SPAD arrays composed of 25 fully independent and asynchronously-operated pixels, both having fill-factor of about 50% and specifically designed for being integrated into existing laser scanning microscopes. We used two different microelectronics technologies to fabricate our detectors: the first technology exhibiting very low noise (roughly 200 dark counts per second at room temperature), and the second one showing enhanced detection efficiency (more than 60% at a wavelength of 500 nm). Starting from the silicon-level device structures and moving towards the in pixel and readout electronics description, we present performance assessments and comparisons between the two detectors. Images of a biological sample acquired after their integration into our custom image-scanning microscope finally demonstrate their exquisite on-field performance in terms of spatial resolution and contrast enhancement. We envisage that this work can trigger the development of a new class of SPAD-based detector arrays able to substitute the typical single-element sensor used in fluorescence laser scanning microscopy.


title: Further Geometric and Lyapunov Characterizations of Incrementally Stable Systems on Finsler Manifolds

abstract: In this paper, we report several new geometric and Lyapunov characterizations of incrementally stable systems on Finsler and Riemannian manifolds. A new and intrinsic proof of an important theorem in contraction analysis is given via the complete lift of the system. Based on this, two Lyapunov characterizations of incrementally stable systems are derived, namely, converse contraction theorems, and revelation of the connection between incremental stability and stability of an equilibrium point, in which the second result recovers and extends the classical Krasovskii's method.


title: On faces of quasi-arithmetic Coxeter polytopes

abstract: We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.


title: Measurement of the charge separation along the magnetic field with Signed Balance Function in 200 GeV Au + Au collisions at STAR

abstract: Experimental searches for Chiral Magnetic Effect (CME) in heavy-ion collisions have been going on for a decade, and so far there is no conclusive evidence for its existence. Recently, the Signed Balance Function (SBF), based on the idea of examining the momentum ordering of charged pairs along the in- and out-of-plane directions, has been proposed as a probe of CME. In this approach, a pair of observables is invoked: one is $r_{\mathrm{rest}}$, the out-of-plane to in-plane ratio of $\Delta B$ measured in pair's rest frame, where $\Delta B$ is the difference between signed balance functions; The other is a double ratio, $R_{\mathrm{B}} = r_{\mathrm{rest}}/r_{\mathrm{lab}}$, where $r_{\mathrm{lab}}$ is a measurement similar to $r_{\mathrm{rest}}$ but measured in the laboratory frame. These two observables give opposite responses to the CME-driven charge separation compared to the background correlations arising from resonance flow and global spin alignment. Both $r_{\mathrm{rest}}$ and $R_{\mathrm{B}}$ being larger than unity can be regarded as a case in favor of the existence of CME. It is found experimentally that $r_{\mathrm{rest}}$, $r_{\mathrm{lab}}$ and $R_{\mathrm{B}}$ are larger than unity in Au+Au collisions at 200 GeV, and larger than realistic model calculations with no CME implemented. These findings are difficult to be explained by a background-only scenario.


title: Control of the Vertical Gradient Freeze crystal growth process via backstepping

abstract: This contribution presents a backstepping-based state feedback design for the tracking control of a two-phase Stefan problem which is encountered in the Vertical Gradient Freeze crystal growth process. A two-phase Stefan problem consists of two coupled free boundary problems and is a vital part of many crystal growth processes due to the time-varying extent of crystal and melt during growth. In addition, a different approach for the numerical approximation of the backstepping transformations kernel is presented.


title: Predicting Neural Network Accuracy from Weights

abstract: We show experimentally that the accuracy of a trained neural network can be predicted surprisingly well by looking only at its weights, without evaluating it on input data. We motivate this task and introduce a formal setting for it. Even when using simple statistics of the weights, the predictors are able to rank neural networks by their performance with very high accuracy (R2 score more than 0.98). Furthermore, the predictors are able to rank networks trained on different, unobserved datasets and with different architectures. We release a collection of 120k convolutional neural networks trained on four different datasets to encourage further research in this area, with the goal of understanding network training and performance better.


title: The Silicon Sensors for the High Granularity Calorimeter of CMS

abstract: The installation of the High-Luminosity Large Hadron Collider (HL-LHC) presents unprecedented challenges to experiments like the Compact Muon Solenoid (CMS) in terms of event rate, integrated luminosity and therefore radiation exposures. To cope with this new environment, new detectors will be installed during the CMS Phase 2 Upgrade, including the replacement of the calorimeter endcaps with the "High Granularity Calorimeter" (HGCAL), which contains silicon sensors and scintillators as active elements. The silicon sensors will be produced in an 8" wafer process, which is new for high-energy physics, so it demands extensive quality verification. A first batch of prototype sensors underwent electrical tests at the institutes of the CMS Collaboration. Testing revealed major problems with the mechanical stability of the thin backside protective layer, that were not seen in earlier 6" prototypes produced by a different backside processing method. Following these results, the HGCAL group introduced the concept of "frontside biasing", allowing testing of the sensors without exposing its backside, verified the applicability, and adapted the prototype design to apply this method in series production.


title: Link Level Performance Comparison of C-V2X and ITS-G5 for Vehicular Channel Models

abstract: V2X communications plays a significant role in increasing traffic safety and efficiency by enabling vehicles to exchange their status information with other vehicles and traffic entities in their proximity. In this regard, two technologies emerged as the main contenders for enabling V2X communications which have stringent requirements in terms of latency and reliability due to their apparent safety criticality. The first one is the DSRC standard (referred to as ITS-G5 in Europe) that is well researched since 20 years and has attained enough technical maturity for current deployment. The second one is the relatively new CV2X standard that is nevertheless, based on the 3GPP standard family that have successful deployments in almost every corner of the globe. In this work, we compare the link level performance of the PHY protocols for both the technologies for different vehicular fading channel models. To this end, we construct and simulate the PHY pipelines and show the performance results by means of BLER} versus SNR graphs. Our investigations show that CV2X performs better than ITS-G5 for almost all the considered channel models due to better channel coding and estimation schemes.


title: Automated Augmented Conjugate Inference for Non-conjugate Gaussian Process Models

abstract: We propose automated augmented conjugate inference, a new inference method for non-conjugate Gaussian processes (GP) models. Our method automatically constructs an auxiliary variable augmentation that renders the GP model conditionally conjugate. Building on the conjugate structure of the augmented model, we develop two inference methods. First, a fast and scalable stochastic variational inference method that uses efficient block coordinate ascent updates, which are computed in closed form. Second, an asymptotically correct Gibbs sampler that is useful for small datasets. Our experiments show that our method are up two orders of magnitude faster and more robust than existing state-of-the-art black-box methods.


title: A class of quasi-eternal non-Markovian Pauli channels and their measure

abstract: We study a class of qubit non-Markovian general Pauli dynamical maps with multiple singularities in the generator. We discuss a few easy examples involving trigonometric or other non-monotonic time dependence of the map, and discuss in detail the structure of channels which don't have any trigonometric functional dependence. We demystify the concept of a singularity here, showing that it corresponds to a point where the dynamics can be regular but the map is momentarily non-invertible, and this gives a basic guideline to construct such non-invertible non-Markovian channels. Most members of the channels in the considered family are quasi-eternally non-Markovian (QENM), which is a broader class of non-Markovian channels than the eternal non-Markovian channels. In specific, the measure of quasi-eternal non-Markovian (QENM) channels in the considered class is shown to be $\frac{2}{3}$ in the isotropic case, and about 0.96 in the anisotropic case.


title: Scaling limits of linear random fields on ${\mathbb{Z}}^2$ with general dependence axis

abstract: We discuss anisotropic scaling of long-range dependent linear random fields $X$ on ${\mathbb{Z}}^2$ with arbitrary dependence axis (direction in the plane along which the moving-average coefficients decay at a smallest rate). The scaling limits are taken over rectangles whose sides are parallel to the coordinate axes and increase as $\lambda$ and $\lambda^\gamma$ when $\lambda \to \infty$, for any $\gamma >0$. The scaling transition occurs at $\gamma^X_0 >0$ if the scaling limits of $X$ are different and do not depend on $\gamma$ for $\gamma > \gamma^X_0 $ and $\gamma < \gamma^X_0$. We prove that the fact of `oblique' dependence axis (or incongruous scaling) dramatically changes the scaling transition in the above model so that $\gamma_0^X = 1$ independently of other parameters, contrasting the results in Pilipauskait\.e and Surgailis (2017) on the scaling transition under congruous scaling.


title: Quasi-optimal and pressure robust discretizations of the Stokes equations by moment- and divergence-preserving operators

abstract: We approximate the solution of the Stokes equations by a new quasi-optimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasi-optimality of the velocity error independent of the pressure. Moreover, the discretization is well-defined for any load which is admissible for the continuous problem and it also provides classical quasi-optimal estimates for the sum of velocity and pressure errors. The key design principle is a careful discretization of the load involving a linear operator, which maps discontinuous Galerkin test functions onto conforming ones thereby preserving the discrete divergence and certain moment conditions on faces and elements.


title: A bijection from a finite group to the cyclic group with a divisibility property on the element orders

abstract: We show that any finite group $G$ there exists a bijction $f$ from $G$ onto $C_{n}$ such that $o(x)$ divides $o(f(x))$ for all $x\in G$. This confirm Problem 18.1 in [7].


title: Properties of the minimizers for a constrained minimization problem arising in Kirchhoff equation

abstract: Let $a>0,b>0$ and $V(x)\geq0$ be a coercive function in $\mathbb R^2$. We study the following constrained minimization problem on a suitable weighted Sobolev space $\mathcal{H}$: \begin{equation*} e_{a}(b):=\inf\left\{E_{a}^{b}(u):u\in\mathcal{H}\ \mbox{and}\ \int_{\mathbb R^{2}}|u|^{2}dx=1\right\}, \end{equation*} where $E_{a}^{b}(u)$ is a Kirchhoff type energy functional defined on $\mathcal{H}$ by \begin{equation*} E_{a}^{b}(u)=\frac{1}{2}\int_{\mathbb R^{2}}[|\nabla u|^{2}+V(x)u^{2}]dx+\frac{b}{4}\left(\int_{\mathbb R^{2}}|\nabla u|^{2}dx\right)^{2}-\frac{a}{4}\int_{\mathbb R^{2}}|u|^{4}dx. \end{equation*} It is known that, for some $a^{\ast}>0$, $e_{a}(b)$ has no minimizer if $b=0$ and $a\geq a^{\ast}$, but $e_{a}(b)$ has always a minimizer for any $a\geq0$ if $b>0$. The aim of this paper is to investigate the limit behaviors of the minimizers of $e_{a}(b)$ as $b\rightarrow0^{+}$. Moreover, the uniqueness of the minimizers of $e_{a}(b)$ is also discussed for $b$ close to 0.


title: A short note on learning discrete distributions

abstract: The goal of this short note is to provide simple proofs for the "folklore facts" on the sample complexity of learning a discrete probability distribution over a known domain of size $k$ to various distances $\varepsilon$, with error probability $\delta$.


title: It's Food Fight! Introducing the Chef's Hat Card Game for Affective-Aware HRI

abstract: Emotional expressions and their changes during an interaction affect heavily how we perceive and behave towards other persons. To design an HRI scenario that makes possible to observe, understand, and model affective interactions and generate the appropriate responses or initiations of a robot is a very challenging task. In this paper, we report our efforts in designing such a scenario, and to propose a modeling strategy of affective interaction by artificial intelligence deployed in autonomous robots. Overall, we present a novel HRI game scenario that was designed to comply with the specific requirements that will allow us to develop the next wave of affective-aware social robots that provide adequate emotional responses.


title: Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

abstract: Behavioural equivalences can be characterized via bisimulation, modal logics, and spoiler-duplicator games. In this paper we work in the general setting of coalgebra and focus on generic algorithms for computing the winning strategies of both players in a bisimulation game. The winning strategy of the spoiler (if it exists) is then transformed into a modal formula that distinguishes the given non-bisimilar states. The modalities required for the formula are also synthesized on-the-fly, and we present a recipe for re-coding the formula with different modalities, given by a separating set of predicate liftings. Both the game and the generation of the distinguishing formulas have been implemented in a tool called T-BEG.


title: The Fourth Fermi-GBM Gamma-Ray Burst Catalog: A Decade of Data

abstract: We present the fourth in a series of catalogs of gamma-ray bursts (GRBs) observed with Fermi's Gamma-Ray Burst Monitor (Fermi-GBM). It extends the six year catalog by four more years, now covering the ten year time period from trigger enabling on 2008 July 12 to 2018 July 11. During this time period GBM triggered almost twice a day on transient events of which we identifyied 2356 as cosmic GRBs. Additional trigger events were due to solar are events, magnetar burst activities, and terrestrial gamma-ray flashes. The intention of the GBM GRB catalog series is to provide updated information to the community on the most important observables of the GBM-detected GRBs. For each GRB the location and main characteristics of the prompt emission, the duration, peak flux, and fluence are derived. The latter two quantities are calculated for the 50-300 keV energy band, where the maximum energy release of GRBs in the instrument reference system is observed and also for a broader energy band from 10-1000 keV, exploiting the full energy range of GBM's low-energy detectors. Furthermore, information is given on the settings of the triggering criteria and exceptional operational conditions during years 7 to 10 in the mission. This fourth catalog is an official product of the Fermi-GBM science team, and the data files containing the complete results are available from the High-Energy Astrophysics Science Archive Research Center (HEASARC).


title: The Efficiency of Best-Response Dynamics

abstract: Best response (BR) dynamics is a natural method by which players proceed toward a pure Nash equilibrium via a local search method. The quality of the equilibrium reached may depend heavily on the order by which players are chosen to perform their best response moves. A {\em deviator rule} $S$ is a method for selecting the next deviating player. We provide a measure for quantifying the performance of different deviator rules. The {\em inefficiency} of a deviator rule $S$ is the maximum ratio, over all initial profiles $p$, between the social cost of the worst equilibrium reachable by $S$ from $p$ and the social cost of the best equilibrium reachable from $p$. This inefficiency always lies between $1$ and the {\em price of anarchy}. We study the inefficiency of various deviator rules in network formation games and job scheduling games (both are congestion games, where BR dynamics always converges to a pure NE). For some classes of games, we compute optimal deviator rules. Furthermore, we define and study a new class of deviator rules, called {\em local} deviator rules. Such rules choose the next deviator as a function of a restricted set of parameters, and satisfy a natural condition called {\em independence of irrelevant players}. We present upper bounds on the inefficiency of some local deviator rules, and also show that for some classes of games, no local deviator rule can guarantee inefficiency lower than the price of anarchy.


title: A General Exact Closed-Form Solution for Nonlinear Differential Equation of Pendulum

abstract: In the present paper, the nonlinear differential equation of pendulum is investigated to find an exact closed form solution, satisfying governing equation as well as initial conditions. The new concepts used in the suggested method are introduced. Regarding the fact that the governing equation for any arbitrary system represents its inherent properties, it is shown that the nonlinear term causes that the system to have a variable identity. Hence, the original function is included as a variable in the solution to can take into account the variation of governing equation. To find the exact closed form solution, the variation of the nonlinear differential equation tends to zero, where in this case the system with a local linear differential equation has a definite identity with a definite local answer. It is shown that the general answer is an arbitrary curve on a surface, a newly developed concept known as super function, and different initial conditions give different curves as particular solutions. The comparison of the results with those of finite difference shows an exact agreement for any arbitrary amplitude and initial conditions.


title: Zitterbewegung and a formulation for quantum mechanics

abstract: In this short note, we try to show that inside a vortex like region, like a black hole one cane observe superluminosity which yields some interesting results. Also, we consider the zitterbewegung fluctuations to obtain an interpretation of quantum mechanics.


title: Flat Space, Dark Energy, and the Cosmic Microwave Background

abstract: This paper reviews some of the results of the Planck collaboration and shows how to compute the distance from the surface of last scattering, the distance from the farthest object that will ever be observed, and the maximum radius of a density fluctuation in the plasma of the CMB. It then explains how these distances together with well-known astronomical facts imply that space is flat or nearly flat and that dark energy is 69% of the energy of the universe.


title: The q-Diode

abstract: The present work introduces the new function Rq,Q(z), solution of the equation Rq,Q(z) XQ expq(Rq,Q(z)) = z. It is shown this new function can be used to construct new disentropy as well it is used to model the q-diode, a hypothetical electronic device whose electrical current depends q-exponentially on the voltage between its terminals.


title: Massive 4D Abelian 2-Form Theory: Nilpotent Symmetries from the (Anti-)Chiral Superfield Approach

abstract: We derive the off-shell nilpotent (anti-)BRST symmetry transformations by exploiting the (anti-)chiral superfield approach (ACSA) to Becchi-Rouet-Stora-Tyutin (BRST) formalism for the four (3+1)-dimensional (4D) St$\ddot{u}$ckelberg-modified massive Abelian 2-form gauge theory. We perform exactly similar kind of exercise for the derivation of the off-shell nilpotent (anti-)co-BRST symmetry transformations, too. In the above derivations, the symmetry invariant restrictions on the superfields play very important and decisive roles. To prove the sanctity of the above nilpotent symmetries, we generalize our 4D ordinary theory (defined on the 4D flat Minkowskian spacetime manifold) to its counterparts (4,1)-dimensional (anti-)chiral super sub-manifolds of the (4,2)-dimensional supermanifold which is parameterized by the superspace coordinates $Z^{M} = (x^{\mu},\theta, \bar{\theta} ) $ where $x^\mu ( \mu = 0,1,2,3 )$ are the bosonic coordinates and a pair of Grassmannian variables $(\theta, \bar{\theta})$ are fermionic: ($\theta^{2} = \bar{\theta^{2}} = 0, \,\,\theta\,\bar{\theta} +\bar{\theta}\,\theta = 0$) in nature. One of the novel observations of our present endeavor is the derivation of the Curci-Ferrari (CF) type restrictions from the requirement of the symmetry invariance of the coupled (but equivalent) Lagrangian densities for our theory within the framework of ACSA to BRST formalism. We also exploit the standard techniques of ACSA to capture the off-shell nilpotency and absolute anticommutativity of the conserved (anti-)BRST as well as the (anti-)co-BRST charges. In a subtle manner, the proof of the absolute anticommutativity of the above conserved charges also implies the existence of the appropriate CF-type restrictions on our theory.


title: Segmentation of carotid vessel wall using U-Net and segmentation average network

abstract: Segmentation of carotid vessel wall is required in vessel wall volume (VWV) and local vessel-wall-plus-plaque thickness (VWT) quantification of the carotid artery. Manual segmentation of the vessel wall is time-consuming and prone to interobserver variability. In this paper, we proposed a convolution neural network to segment the common carotid artery (CCA) from 3D carotid ultrasound images. The proposed CNN involves three U-Nets that segmented the 3D ultrasound (3DUS) images in the axial, lateral and frontal orientations. The segmentation maps generated by three U-Nets were consolidated by a novel segmentation average network (SAN) we proposed in this paper. The experimental results show that the proposed CNN improved the Dice similarity coefficient (DSC) for vessel wall segmentation from 64.8% to 67.5%, the sensitivity from 63.8% to 70.5%, and the area under receiver operator characteristic curve (AUC) from 0.89 to 0.94.


title: Leaving bads provides better outcome than approaching goods in a social dilemma

abstract: Individual migration has been regarded as an important factor for the evolution of cooperation in mobile populations. Motivations of migration, however, can be largely divergent: one is highly frustrated by the vicinity of an exploiter or defector, while other enthusiastically searches cooperator mates. Albeit both extreme attitudes are observed in human behavior, but their specific impacts on wellbeing remained unexplored. In this work, we propose an orientation-driven migration approach for mobile individuals in combination with the mentioned migration preferences and study their roles in the cooperation level in a two-dimensional public goods game. We find that cooperation can be greatly promoted when individuals are more inclined to escape away from their defective neighbors. On the contrary, cooperation cannot be effectively maintained when individuals are more motivated to approach their cooperative neighbors. In addition, compared with random migration, movement by leaving defectors can promote cooperation more effectively. By means of theoretical analysis and numerical calculations, we further find that when individuals only choose to escape away from their defective neighbors, the average distance between cooperators and defectors can be enlarged, hence the natural invasion of defection can be efficiently blocked. Our work, thus, provides further insight on how different migration preferences influence the evolution of cooperation in the unified framework of spatially social games.


title: Parabolic Scaling in Overdoped Cuprate: a Statistical Field Theory Approach

abstract: Recently, Bozovic et al. reported that [Nature 536, 309-311 (2016)], in the overdoped side of the single-crystal $La_{2-x}Sr_xCuO_4$ (LSCO) films, the transition temperature $T_c$ and zero-temperature superfluid phase stiffness $\rho_s(0)$ will obey a two-class scaling law: $T_c=\gamma \cdot \sqrt{\rho_s(0)}$ for $T_c \leq T_Q$ and $T_c \propto \rho_s(0)$ for $T_c \geq T_M$, where $\gamma=(4.2 \pm 0.5) K^{1/2} $, $T_Q \approx 15 K$, and $T_M \approx 12 K$. They further pointed out that the parabolic scaling observed in the highly overdoped side indicates a quantum phase transition from a superconductor to a normal metal. In this paper, we propose a quantum partition function (QPF) for zero-temperature Cooper pairs, by which one can effectively distinguish between mean-field and quantum critical behaviors. We theoretically show that the two-class scaling law can be exactly derived by using the QPF, and the theoretical values of $\gamma$, $T_Q$, and $T_M$ are well in accordance with experimental measure values. Our analyses indicate that the linear scaling $T_c \propto \rho_s(0)$ is a mean-field behavior, while the parabolic scaling $T_c=\gamma \cdot \sqrt{\rho_s(0)}$ is a quantum critical behavior.


title: Functional surface ion traps on a 12-inch glass wafer for quantum applications

abstract: We report large-scale fabrication of perfectly functional radio frequency (RF) surface ion traps on a 12-inch glass substrate with a standard CMOS-compatible backend process. Established 12-inch foundry backend process of electroplated Cu with Au finish are employed to fabricate the surface electrodes directly on the glass wafer substrate. We tested a trap by loading it with laser-cooled 88 Sr + ions. The trap shows a stable operation with RF amplitude in the range 100-230 V at 33 MHz frequency. The ion lifetime is on the order of 30 minutes for a pressure in the vacuum chamber of 5 x 10-11 mbar, which demonstrates an exciting potential for future implementation of quantum computing system with a standard foundry process on CMOS compatible and cost-effective platform.


title: Neutral compact spherically symmetric stars in teleparallel gravity

abstract: We present novel neutral and uncharged solutions that describe the cluster of Einstein in the teleparallel equivalent of general relativity (TEGR). To this end, we use a tetrad field with non-diagonal spherical symmetry which gives the vanishing of the off-diagonal components for the gravitational field equations in the TEGR theory. The clusters are calculated by using an anisotropic energy-momentum tensor. We solve the field equations of TEGR theory, using two assumptions: the first one is by using an equation of state that relates density with tangential pressure while the second postulate is to assume a specific form of one of the two unknown functions that appear in the non-diagonal tetrad field. Among many things presented in this study, we investigate the static stability specification. We also study the Tolman-Oppenheimer-Volkoff equation of these solutions in addition to the conditions of energy. The causality constraints with the adiabatic index in terms of the limit of stability are discussed.


title: Two-body quantum absorption refrigerators with optomechanical-like interactions

abstract: Quantum absorption refrigerator (QAR) autonomously extracts heat from a cold bath and dumps into a hot bath by exploiting the input heat from a higher temperature reservoir. QARs typically require three-body interactions. We propose and examine a two-body QAR model based upon optomechanical-like coupling in the working medium composed of either two two-level systems or two harmonic oscillators or one two-level atom and a harmonic oscillator. In the ideal case without internal dissipation, within the experimentally realizable parameters, our model can attain the coefficient of performance that is arbitrarily close to the Carnot bound. We study the efficiency at maximum power, a bound for practical purposes, and show that by using suitable reservoir engineering and exploiting the nonlinear optomechanial-like coupling, one can achieve efficiency at maximum power close to the Carnot bound, though the power gradually approaches to zero as the efficiency approaches the Carnot bound. Moreover, we discuss the impact of non-classical correlations and the size of Hilbert space on the cooling power. Finally, we consider a more realistic version of our model in which we consider heat leaks that makes QAR non-ideal and prevent it to achieve the Carnot efficiency.


title: Unveiling the Interstitial Pressure Between Growing Ice Crystals During Ice-Templating Using a Lipid Lamellar Probe

abstract: What is pressure generated by ice crystals during ice-templating? This work addresses this crucial question by estimating the pressure exerted by oriented ice columns on a supramolecular probe composed of a lipid lamellar hydrogel during directional freezing. This process, also known as freeze-casting, has emerged as a unique processing technique for a broad class of organic, inorganic, soft and biological materials. Nonetheless, the pressure exerted during and after crystallization between two ice columns is not known, despite its importance with respect to the fragility of the frozen material, especially for biological samples. By using the lamellar period of a glycolipid lamellar hydrogel as a common probe, we couple data obtained from ice-templated-resolved in situ synchrotron Small Angle X-ray Scattering (SAXS) with data obtained from controlled adiabatic dessication experiments. We estimate the pressure to vary between 1 $\pm$ 10% kbar at-15{\textdegree}C and 3.5 $\pm$ 20% kbar at-60{\textdegree}C.


title: RTMobile: Beyond Real-Time Mobile Acceleration of RNNs for Speech Recognition

abstract: Recurrent neural networks (RNNs) based automatic speech recognition has nowadays become prevalent on mobile devices such as smart phones. However, previous RNN compression techniques either suffer from hardware performance overhead due to irregularity or significant accuracy loss due to the preserved regularity for hardware friendliness. In this work, we propose RTMobile that leverages both a novel block-based pruning approach and compiler optimizations to accelerate RNN inference on mobile devices. Our proposed RTMobile is the first work that can achieve real-time RNN inference on mobile platforms. Experimental results demonstrate that RTMobile can significantly outperform existing RNN hardware acceleration methods in terms of inference accuracy and time. Compared with prior work on FPGA, RTMobile using Adreno 640 embedded GPU on GRU can improve the energy-efficiency by about 40$\times$ while maintaining the same inference time.


title: A Visual Sensitivity Analysis for Parameter-Augmented Ensembles of Curves

abstract: Engineers and computational scientists often study the behavior of their simulations by repeated solutions with variations in their parameters, which can be for instance boundary values or initial conditions. Through such simulation ensembles, uncertainty in a solution is studied as a function of the various input parameters. Solutions of numerical simulations are often temporal functions, spatial maps or spatio-temporal outputs. The usual way to deal with such complex outputs is to limit the analysis to several probes in the temporal/spatial domain. This leads to smaller and more tractable ensembles of functional outputs (curves) with their associated input parameters: augmented ensembles of curves. This article describes a system for the interactive exploration and analysis of such augmented ensembles. Descriptive statistics on the functional outputs are performed by Principal Component Analysis projection, kernel density estimation and the computation of High Density Regions. This makes possible the calculation of functional quantiles and outliers. Brushing and linking the elements of the system allows in-depth analysis of the ensemble. The system allows for functional descriptive statistics, cluster detection and finally for the realization of a visual sensitivity analysis via cobweb plots. We present two synthetic examples and then validate our approach in an industrial use-case concerning a marine current study using a hydraulic solver.


title: One-relator groups and algebras related to polyhedral products

abstract: We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal{R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_*(\Omega \mathcal{Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterisation of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal{R}_K)$, whereas for $H_*(\Omega \mathcal{Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal{Z}_K$.


title: Learning a Directional Soft Lane Affordance Model for Road Scenes Using Self-Supervision

abstract: Humans navigate complex environments in an organized yet flexible manner, adapting to the context and implicit social rules. Understanding these naturally learned patterns of behavior is essential for applications such as autonomous vehicles. However, algorithmically defining these implicit rules of human behavior remains difficult. This work proposes a novel self-supervised method for training a probabilistic network model to estimate the regions humans are most likely to drive in as well as a multimodal representation of the inferred direction of travel at each point. The model is trained on individual human trajectories conditioned on a representation of the driving environment. The model is shown to successfully generalize to new road scenes, demonstrating potential for real-world application as a prior for socially acceptable driving behavior in challenging or ambiguous scenarios which are poorly handled by explicit traffic rules.


title: Braided Commutative Geometry and Drinfel'd Twist Deformations

abstract: In this thesis we give obstructions for Drinfel'd twist deformation quantization on several classes of symplectic manifolds. Motivated from this quantization procedure, we further construct a noncommutative Cartan calculus on any braided commutative algebra, as well as an equivariant Levi-Civita covariant derivative for any non-degenerate equivariant metric. This generalizes and unifies the Cartan calculus on a smooth manifold and the Cartan calculus on twist star product algebras. We prove that the Drinfel'd functor leads to equivalence classes in braided commutative geometry and commutes with submanifold algebra projection.


title: Wave propagation modeling in periodic elasto-thermo-diffusive materials via multifield asymptotic homogenization

abstract: A multifield asymptotic homogenization technique for periodic thermo-diffusive elastic materials is provided in the present study. Field equations for the first-order equivalent medium are derived and overall constitutive tensors are obtained in closed form. These lasts depend upon the micro constitutive properties of the different phases composing the composite material and upon periodic perturbation functions, which allow taking into account the effects of microstructural heterogeneities. Perturbation functions are determined as solutions of recursive non homogeneous cell problems emanated from the substitution of asymptotic expansions of the micro fields in powers of the microstructural characteristic size into local balance equations. Average field equations of infinite order are also provided, whose formal solution can be obtained through asymptotic expansions of the macrofields. With the aim of investigating dispersion properties of waves propagating inside the medium, proper integral transforms are applied to governing field equations of the homogenized medium. A quadratic generalized eigenvalue problem is thus obtained, whose solution characterizes the complex valued frequency band structure of the first-order equivalent material. The validity of the proposed technique has been confirmed by the very good matching obtained between dispersion curves of the homogenized medium and the lowest frequency ones relative to the heterogeneous material. These lasts are computed from the resolution of a quadratic generalized eigenvalue problem over the periodic cell subjected to Floquet-Bloch boundary conditions. An illustrative benchmark is conducted referring to a Solid Oxide Fuel Cell (SOFC)-like material, whose microstructure can be modeled through the spatial tessellation of the domain with a periodic cell subjected to thermo-diffusive phenomena.


title: String Diagrams for Optics

abstract: Optics are a data representation for compositional data access, with lenses as a popular special case. Hedges has presented a diagrammatic calculus for lenses, but in a way that does not generalize to other classes of optic. We present a calculus that works for all optics, not just lenses; this is done by embedding optics into their presheaf category, which naturally features string diagrams. We apply our calculus to the common case of lenses, extend it to effectful lenses, and explore how the laws of optics manifest in this setting.


title: The VOAs generated by two Ising vectors e and f with <e,f>=1/2^8 or 3/2^9

abstract: In this paper we study the VOAs generated by two Ising vectors whose inner product is 1/2^8 or 3/2^9 and determine they both have unique VOA structures.


title: Uniqueness of VOA structure of 3C-algebra and 5A-algebra

abstract: The structure of 3C-algebra and 5A-algebra constructed by Lam-Yamada-Yamauchi is studied and the uniqueness of the vertex operator algebra structure of these two algebras is established. We also give the fusion rules for these two algebras.