title: PassVizor: Toward Better Understanding of the Dynamics of Soccer Passes

abstract: In soccer, passing is the most frequent interaction between players and plays a significant role in creating scoring chances. Experts are interested in analyzing players' passing behavior to learn passing tactics, i.e., how players build up an attack with passing. Various approaches have been proposed to facilitate the analysis of passing tactics. However, the dynamic changes of a team's employed tactics over a match have not been comprehensively investigated. To address the problem, we closely collaborate with domain experts and characterize requirements to analyze the dynamic changes of a team's passing tactics. To characterize the passing tactic employed for each attack, we propose a topic-based approach that provides a high-level abstraction of complex passing behaviors. Based on the model, we propose a glyph-based design to reveal the multi-variate information of passing tactics within different phases of attacks, including player identity, spatial context, and formation. We further design and develop PassVizor, a visual analytics system, to support the comprehensive analysis of passing dynamics. With the system, users can detect the changing patterns of passing tactics and examine the detailed passing process for evaluating passing tactics. We invite experts to conduct analysis with PassVizor and demonstrate the usability of the system through an expert interview.


title: A spectral study of the black hole X-ray binary MAXI J1820+070 with AstroSat and NuSTAR

abstract: MAXI J1820+070 is a newly discovered transient black hole X-ray binary, which showed several spectral and temporal features. In this work, we analyse the broadband X-ray spectra from all three simultaneously observing X-ray instruments onboard AstroSat, as well as contemporaneous X-ray spectra from NuSTAR, observed during the hard state of MAXI J1820+070 in March 2018. Implementing a combination of multi-colour disc model, relativistic blurred reflection model relxilllpCp and a distant reflection in the form of xillverCp, we achieve reasonable and consistent fits for AstroSat and NuSTAR spectra. The best-fit model suggests a low temperature disc ($kT_{\rm in} \sim 0.3$ keV), iron overabundance ($A_{\rm Fe} \sim 4-5$ solar), a short lamp-post corona height ($h \lesssim 8 R_{\rm g}$), and a high corona temperature ($kT_{\rm e} \sim 115-150$ keV). Addition of a second Comptonisation component leads to a significantly better fit, with the $kT_{\rm e}$ of the second Comptonisation component being $\sim 14-18$ keV. Our results from independent observations with two different satellites in a similar source state indicate an inhomogeneous corona, with decreasing temperature attributed to increasing height. Besides, utilising the broader energy coverage of AstroSat, we estimate the black hole mass to be $6.7-13.9 \ M_{\odot}$, consistent with independent measurements reported in the literature.


title: Hardy Spaces for a Class of Singular Domains

abstract: We set a framework for the study of Hardy spaces inherited by complements of analytic hypersurfaces in domains with a prior Hardy space structure. The inherited structure is a filtration, various aspects of which are studied in specific settings. For punctured planar domains, we prove a generalization of a famous rigidity lemma of Kerzman and Stein. A stabilization phenomenon is observed for egg domains. Finally, using proper holomorphic maps, we derive a filtration of Hardy spaces for certain power-generalized Hartogs triangles, although these domains fall outside the scope of the original framework.


title: Binary Classification as a Phase Separation Process

abstract: We propose a new binary classification model called Phase Separation Binary Classifier (PSBC). It consists of a discretization of a nonlinear reaction-diffusion equation coupled with an Ordinary Differential Equation, and is inspired by fluids behavior, namely, on how binary fluids phase separate. Thus, parameters and hyperparameters have physical meaning, whose effects are studied in several different scenarios. PSBC's equations can be seen as a dynamical system whose coefficients are trainable weights, with a similar architecture to that of a Recurrent Neural Network. As such, forward propagation amounts to an initial value problem. Boundary conditions are also present, bearing similarity with figure padding techniques in Computer Vision. Model compression is exploited in several ways, with weight sharing taking place both across and within layers. The model is tested on pairs of digits of the classical MNIST database. An associated multiclass classifier is also constructed using a combination of Ensemble Learning and one versus one techniques. It is also shown how the PSBC can be combined with other methods - like aggregation and PCA - in order to construct better binary classifiers. The role of boundary conditions and viscosity is thoroughly studied in the case of digits ``0'' and ``1''.

categories: stat.ML cs.LG cs.NA math.DS math.NA math.OC


title: Construction of Periodic Counterexamples to the Discrete-Time Kalman Conjecture

abstract: This paper considers the Lurye system of a discrete-time, linear time-invariant plant in negative feedback with a nonlinearity. Both monotone and slope-restricted nonlinearities are considered. The main result is a procedure to construct destabilizing nonlinearities for the Lurye system. If the plant satisfies a certain phase condition then a monotone nonlinearity can be constructed so that the Lurye system has a non-trivial periodic cycle. Several examples are provided to demonstrate the construction. This represents a contribution for absolute stability analysis since the constructed nonlinearity provides a less conservative upper bound than existing bounds in the literature.


title: On nonautonomous differential-difference AKP, BKP and CKP equations

abstract: Based on the direct linearisation framework of the discrete Kadomtsev-Petviashvili-type equations presented in [Proc. R. Soc. A, 473 (2017) 20160915], six novel nonautonomous differential-difference equations are established, including three in the AKP class, two in the BKP class and one in the CKP class. In particular, one in the BKP class and the one in the CKP class are both in (2+2)-dimensional form. All the six models are integrable in the sense of having the same linear integral equation representations as those of their associated discrete Kadomtsev-Petviashvili-type equations, which guarantees the existence of soliton-type solutions and the multi-dimensional consistency of these new equations from the viewpoint of the direct linearisation.


title: Dual Manifold Adversarial Robustness: Defense against Lp and non-Lp Adversarial Attacks

abstract: Adversarial training is a popular defense strategy against attack threat models with bounded Lp norms. However, it often degrades the model performance on normal images and the defense does not generalize well to novel attacks. Given the success of deep generative models such as GANs and VAEs in characterizing the underlying manifold of images, we investigate whether or not the aforementioned problems can be remedied by exploiting the underlying manifold information. To this end, we construct an "On-Manifold ImageNet" (OM-ImageNet) dataset by projecting the ImageNet samples onto the manifold learned by StyleGSN. For this dataset, the underlying manifold information is exact. Using OM-ImageNet, we first show that adversarial training in the latent space of images improves both standard accuracy and robustness to on-manifold attacks. However, since no out-of-manifold perturbations are realized, the defense can be broken by Lp adversarial attacks. We further propose Dual Manifold Adversarial Training (DMAT) where adversarial perturbations in both latent and image spaces are used in robustifying the model. Our DMAT improves performance on normal images, and achieves comparable robustness to the standard adversarial training against Lp attacks. In addition, we observe that models defended by DMAT achieve improved robustness against novel attacks which manipulate images by global color shifts or various types of image filtering. Interestingly, similar improvements are also achieved when the defended models are tested on out-of-manifold natural images. These results demonstrate the potential benefits of using manifold information in enhancing robustness of deep learning models against various types of novel adversarial attacks.


title: Archaeology in a Vacuum: Obstacles to and Solutions for Developing a Real Space Archaeology

abstract: This paper outlines some of the difficulties faced by archaeologists studying human activity in outer space. The International Space Station Archaeological Project has identified solutions to these problems, including the use of historic photographic archives and documentation of discard practices such as processes associated with the return of space-flown items to Earth.


title: Towards Flexible Sparsity-Aware Modeling: Automatic Tensor Rank Learning Using The Generalized Hyperbolic Prior

abstract: Tensor rank learning for canonical polyadic decomposition (CPD) has long been deemed as an essential yet challenging problem. In particular, since the tensor rank controls the complexity of the CPD model, its inaccurate learning would cause overfitting to noise or underfitting to the signal sources, and even destroy the interpretability of model parameters. However, the optimal determination of a tensor rank is known to be a non-deterministic polynomial-time hard (NP-hard) task. Rather than exhaustively searching for the best tensor rank via trial-and-error experiments, Bayesian inference under the Gaussian-gamma prior was introduced in the context of probabilistic CPD modeling, and it was shown to be an effective strategy for automatic tensor rank determination. This triggered flourishing research on other structured tensor CPDs with automatic tensor rank learning. On the other side of the coin, these research works also reveal that the Gaussian-gamma model does not perform well for high-rank tensors and/or low signal-to-noise ratios (SNRs). To overcome these drawbacks, in this paper, we introduce a more advanced generalized hyperbolic (GH) prior to the probabilistic CPD model, which not only includes the Gaussian-gamma model as a special case, but also is more flexible to adapt to different levels of sparsity. Based on this novel probabilistic model, an algorithm is developed under the framework of variational inference, where each update is obtained in a closed-form. Extensive numerical results, using synthetic data and real-world datasets, demonstrate the significantly improved performance of the proposed method in learning both low as well as high tensor ranks even for low SNR cases.


title: Examining Machine Learning for 5G and Beyond through an Adversarial Lens

abstract: Spurred by the recent advances in deep learning to harness rich information hidden in large volumes of data and to tackle problems that are hard to model/solve (e.g., resource allocation problems), there is currently tremendous excitement in the mobile networks domain around the transformative potential of data-driven AI/ML based network automation, control and analytics for 5G and beyond. In this article, we present a cautionary perspective on the use of AI/ML in the 5G context by highlighting the adversarial dimension spanning multiple types of ML (supervised/unsupervised/RL) and support this through three case studies. We also discuss approaches to mitigate this adversarial ML risk, offer guidelines for evaluating the robustness of ML models, and call attention to issues surrounding ML oriented research in 5G more generally.


title: Relativistic Strong Scott Conjecture: A Short Proof

abstract: We consider heavy neutral atoms of atomic number $Z$ modeled with kinetic energy $(c^2p^2+c^4)^{1/2}-c^2$ used already by Chandrasekhar. We study the behavior of the one-particle ground state density on the length scale $Z^{-1}$ in the limit $Z,c\to\infty$ keeping $Z/c$ fixed. We give a short proof of a recent result by the authors and Barry Simon showing the convergence of the density to the relativistic hydrogenic density on this scale.


title: Automorphism groups of linearly ordered homogeneous structures

abstract: We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.


title: Using Machine Teaching to Investigate Human Assumptions when Teaching Reinforcement Learners

abstract: Successful teaching requires an assumption of how the learner learns - how the learner uses experiences from the world to update their internal states. We investigate what expectations people have about a learner when they teach them in an online manner using rewards and punishment. We focus on a common reinforcement learning method, Q-learning, and examine what assumptions people have using a behavioral experiment. To do so, we first establish a normative standard, by formulating the problem as a machine teaching optimization problem. To solve the machine teaching optimization problem, we use a deep learning approximation method which simulates learners in the environment and learns to predict how feedback affects the learner's internal states. What do people assume about a learner's learning and discount rates when they teach them an idealized exploration-exploitation task? In a behavioral experiment, we find that people can teach the task to Q-learners in a relatively efficient and effective manner when the learner uses a small value for its discounting rate and a large value for its learning rate. However, they still are suboptimal. We also find that providing people with real-time updates of how possible feedback would affect the Q-learner's internal states weakly helps them teach. Our results reveal how people teach using evaluative feedback and provide guidance for how engineers should design machine agents in a manner that is intuitive for people.


title: New characterizations of G-Drazin inverse in Banach algebra

abstract: In this paper, we present a new characterization of g-Drazin inverse in a Banach algebra. We prove that an element a is a Banach algebra has g-Drazin inverse if and only if there exists $x\in A$ such that $ax=xa, a-a^2x\in A^{qnil}$. we obtain the sufficient and necessary conditions for the existence of the g-Drain inverse for certain $2 \times 2$ anti-triangular matrices over a Banach algebra. These extend the results of Koliha (Glasgow Math. J., 38(1996), 367-381), Nicholson (Comm. Algebra,27(1999), 3583-3592 and Zou et al. (Studia Scient. Math. Hungar., 54(2017,489-508).


title: Stability analysis of a modified Leslie-Gower predation model with weak Allee effect on the prey

abstract: In this manuscript, we study a Leslie-Gower predator-prey model with a hyperbolic functional response and weak Allee effect. The results reveal that the model supports coexistence and oscillation of both predator and prey populations. We also identify regions in the parameter space in which different kinds of bifurcations, such as saddle-node bifurcations, Hopf bifurcations and Bogdanov-Takens bifurcations.


title: S-SGD: Symmetrical Stochastic Gradient Descent with Weight Noise Injection for Reaching Flat Minima

abstract: The stochastic gradient descent (SGD) method is most widely used for deep neural network (DNN) training. However, the method does not always converge to a flat minimum of the loss surface that can demonstrate high generalization capability. Weight noise injection has been extensively studied for finding flat minima using the SGD method. We devise a new weight-noise injection-based SGD method that adds symmetrical noises to the DNN weights. The training with symmetrical noise evaluates the loss surface at two adjacent points, by which convergence to sharp minima can be avoided. Fixed-magnitude symmetric noises are added to minimize training instability. The proposed method is compared with the conventional SGD method and previous weight-noise injection algorithms using convolutional neural networks for image classification. Particularly, performance improvements in large batch training are demonstrated. This method shows superior performance compared with conventional SGD and weight-noise injection methods regardless of the batch-size and learning rate scheduling algorithms.


title: Trimmed Spline Surfaces with Accurate Boundary Control

abstract: We introduce trimmed NURBS surfaces with accurate boundary control, briefly called ABC-surfaces, as a solution to the notorious problem of constructing watertight or smooth ($G^1$ and $G^2)$ multi-patch surfaces within the function range of standard CAD/CAM systems and the associated file exchange formats. Our construction is based on the appropriate blend of a base surface, which traces out the intended global shape, and a series of reparametrized ribbons, which dominate the shape near the boundary.


title: Search for the doubly heavy $\mathit{\Xi}_{bc}^{0}$ baryon via decays to $D^0pK^-$

abstract: A search for the doubly heavy $\mathit{\Xi}_{bc}^{0}$ baryon using its decay to the $D^0pK^-$ final state is performed using proton-proton collision data at a centre-of-mass energy of 13 TeV collected by the LHCb experiment between 2016 and 2018, corresponding to an integrated luminosity of 5.4 $\mathrm{fb}^{-1}$. No significant signal is found in the invariant mass range from 6.7 to 7.2 $\mathrm{GeV}/c^2$. Upper limits are set at $95\%$ credibility level on the ratio of the $\mathit{\Xi}_{bc}^{0}$ production cross-section times its branching fraction to $D^0pK^-$ relative to that of the $\mathit{\Lambda}_{b}^{0} \to D^0pK^-$ decay. The limits are set as a function of the $\mathit{\Xi}_{bc}^{0}$ mass and lifetime hypotheses, in the rapidity range from 2.0 to 4.5 and in the transverse momentum region from 5 to 25 $\mathrm{GeV}/c$. Upper limits range from $1.7\times10^{-2}$ to $3.0\times10^{-1}$ for the considered $\mathit{\Xi}_{bc}^{0}$ mass and lifetime hypotheses.


title: Modelling and analysis of a modified May-Holling-Tanner predator-prey model with Allee effect in the prey and an alternative food source for the predator

abstract: In the present study, we have modified the traditional May-Holling-Tanner predator-prey model used to represent the interaction between least weasel and field-vole population by adding an Allee effect (strong and weak) on the field-vole population and alternative food source for the weasel population. It is shown that the dynamic is different from the original May-Holling-Tanner predator-prey interaction since new equilibrium points have appeared in the first quadrant. Moreover, the modified model allows the extinction of both species when the Allee effect (strong and weak) on the prey is included, while the inclusion of the alternative food source for the predator shows that the system can support the coexistence of the populations, extinction of the prey and coexistence and oscillation of the populations at the same time. Furthermore, we use numerical simulations to illustrate the impact that changing the predation rate and the predator intrinsic growth rate have on the basin of attraction of the stable equilibrium point or stable limit cycle in the first quadrant. These simulations show the stabilisation of predator and prey populations and/or the oscillation of these two species over time.


title: Intelligent Luminaire based Real-time Indoor Positioning for Assisted Living

abstract: This paper presents an experimental evaluation on the accuracy of indoor localisation. The research was carried out as part of a European Union project targeting the creation of ICT solutions for older adult care. Current expectation is that advances in technology will supplement the human workforce required for older adult care, improve their quality of life and decrease healthcare expenditure. The proposed approach is implemented in the form of a configurable cyber-physical system that enables indoor localization and monitoring of older adults living at home or in residential buildings. Hardware consists of custom developed luminaires with sensing, communication and processing capabilities. They replace the existing lighting infrastructure, do not look out of place and are cost effective. The luminaires record the strength of a Bluetooth signal emitted by a wearable device equipped by the monitored user. The system's software server uses trilateration to calculate the person's location based on known luminaire placement and recorded signal strengths. However, multipath fading caused by the presence of walls, furniture and other objects introduces localisation errors. Our previous experiments showed that room-level accuracy can be achieved using software-based filtering for a stationary subject. Our current objective is to assess system accuracy in the context of a moving subject, and ascertain whether room-level localization is feasible in real time.


title: Multilevel Picard approximations for high-dimensional semilinear second-order PDEs with Lipschitz nonlinearities

abstract: The recently introduced full-history recursive multilevel Picard (MLP) approximation methods have turned out to be quite successful in the numerical approximation of solutions of high-dimensional nonlinear PDEs. In particular, there are mathematical convergence results in the literature which prove that MLP approximation methods do overcome the curse of dimensionality in the numerical approximation of nonlinear second-order PDEs in the sense that the number of computational operations of the proposed MLP approximation method grows at most polynomially in both the reciprocal $1/\epsilon$ of the prescribed approximation accuracy $\epsilon>0$ and the PDE dimension $d\in \mathbb{N}=\{1,2,3, \ldots\}$. However, in each of the convergence results for MLP approximation methods in the literature it is assumed that the coefficient functions in front of the second-order differential operator are affine linear. In particular, until today there is no result in the scientific literature which proves that any semilinear second-order PDE with a general time horizon and a non affine linear coefficient function in front of the second-order differential operator can be approximated without the curse of dimensionality. It is the key contribution of this article to overcome this obstacle and to propose and analyze a new type of MLP approximation method for semilinear second-order PDEs with possibly nonlinear coefficient functions in front of the second-order differential operators. In particular, the main result of this article proves that this new MLP approximation method does indeed overcome the curse of dimensionality in the numerical approximation of semilinear second-order PDEs.


title: Splitting of primes in number fields generated by points on some modular curves

abstract: We study the splitting of primes in number fields generated by points on modular curves. Momose was the first to notice that quadratic points on $X_1(n)$ generate quadratic fields over which certain primes split in a particular way and his results were later expanded upon by Krumm. We prove results about the splitting behaviour of primes in quadratic fields generated by points on the modular curves $X_0(n)$ which are hyperelliptic (except for $n=37$) and in cubic fields generated by points on $X_1(2, 14)$.


title: COVID-19: Tail Risk and Predictive Regressions

abstract: The paper focuses on econometrically justified robust analysis of the effects of the COVID-19 pandemic on financial markets in different countries across the World. It provides the results of robust estimation and inference on predictive regressions for returns on major stock indexes in 23 countries in North and South America, Europe, and Asia incorporating the time series of reported infections and deaths from COVID-19. We also present a detailed study of persistence, heavy-tailedness and tail risk properties of the time series of the COVID-19 infections and death rates that motivate the necessity in applications of robust inference methods in the analysis. Econometrically justified analysis is based on heteroskedasticity and autocorrelation consistent (HAC) inference methods, recently developed robust $t$-statistic inference approaches and robust tail index estimation.


title: Positive Equilibria of Hill-Type Kinetic Systems

abstract: This work introduces a novel approach to study properties of positive equilibria of a chemical reaction network $\mathscr{N}$ endowed with Hill-type kinetics $K$, called a Hill-type kinetic (HTK) system $\left(\mathscr{N},K\right)$, including their multiplicity and concentration robustness in a species. We associate a unique positive linear combination of power-law kinetic systems called poly-PL kinetic (PYK) system $\left( {\mathscr{N},{K_\text{PY}}} \right)$ to the given HTK system. The associated system has the key property that its equilibria sets coincide with those of the Hill-type system, i.e., ${E_ + }\left( {\mathscr{N},K} \right) = {E_ + }\left( {\mathscr{N},{K_\text{PY}}} \right)$ and ${Z_ + }\left( {\mathscr{N},K} \right) = {Z_ + }\left( {\mathscr{N},{K_\text{PY}}} \right)$. This allows us to identify two novel subsets of the Hill-type kinetics, called PL-equilibrated and PL-complex balanced kinetics, to which recent results on absolute concentration robustness (ACR) of species and complex balancing at positive equilibria of power-law (PL) kinetic systems can be applied. Our main results also include the Shinar-Feinberg ACR Theorem for PL-equilibrated HT-RDK systems (i.e., subset of complex factorizable HTK systems), which establishes a foundation for the analysis of ACR in HTK systems, and the extension of the results of M\"uller and Regensburger on generalized mass action systems to PL-complex balanced HT-RDK systems. In addition, we derive the theory of balanced concentration robustness (BCR) in an analogous manner to ACR for PL-equilibrated systems. Finally, we provide further extensions of our results to a more general class of kinetics, which includes quotients of poly-PL functions.


title: The asymptotic behaviour and a near linear time algorithm for isometry invariants of periodic sets

abstract: The fundamental model of a periodic structure is a periodic point set up to rigid motion or isometry. Our recent paper in SoCG 2021 defined isometry invariants (density functions), which are complete in general position and continuous under perturbations. This work introduces much faster isometry invariants (average minimum distances), which are also continuous and distinguish some sets that have identical density functions. We explicitly describe the asymptotic behaviour of the new invariants for a wide class of sets including non-periodic. The proposed near linear time algorithm processed a dataset of hundreds of thousands of real structures in a few hours on a modest desktop.


title: CDT open-closed surface field theory of a 3D tensor-matrix model

abstract: We construct a tensor-matrix model which describes 3-dimensional (3D) Causal Dynamical Triangulation (CDT) of open-closed surface. Though the usual splitting interaction of a surface is not derived from the stochastic quantization procedure, it provides another interaction of IK-type, which becomes the sole quantum correction. Through the double scaling limit, it realizes CDT open-closed surface field theory including the IK-type interactions in the same condition with the closed surface CDT model. Further, we investigate the commutation relations of the generators, for surfaces with the lowest numbers of boundary loops, in the Fokker-Planck (FP) Hamiltonian. The generators seem to close in their commutation relations in our 3D model, differently from the 2D model, where the algebraic structure was not exact when commutators contain the generator of the open string edge.


title: QED calculation of the $\bf{2p}$ fine structure in Li-like ions

abstract: Large-scale {\em ab initio} QED calculations are performed for the $2p_{3/2}$--$2p_{1/2}$ fine-structure interval of Li-like ions with nuclear charges $Z = 5\,$--$\,92$. Improved theoretical predictions are obtained by combining together two complementary theoretical methods, namely, the approach that accounts for all orders in the binding nuclear strength and the nonrelativistic QED approach that accounts for all orders in the nonrelativistic electron-electron interaction. The resulting unified approach provides theoretical predictions which are more accurate than the available experimental results across the interval of the nuclear charges considered.


title: Reverse-engineering Bar Charts Using Neural Networks

abstract: Reverse-engineering bar charts extracts textual and numeric information from the visual representations of bar charts to support application scenarios that require the underlying information. In this paper, we propose a neural network-based method for reverse-engineering bar charts. We adopt a neural network-based object detection model to simultaneously localize and classify textual information. This approach improves the efficiency of textual information extraction. We design an encoder-decoder framework that integrates convolutional and recurrent neural networks to extract numeric information. We further introduce an attention mechanism into the framework to achieve high accuracy and robustness. Synthetic and real-world datasets are used to evaluate the effectiveness of the method. To the best of our knowledge, this work takes the lead in constructing a complete neural network-based method of reverse-engineering bar charts.


title: Monte-Carlo Based QCD Sum Rules Analysis of $X_0(2900)$ and $X_1(2900)$

abstract: Motivated by the very recent discovery of fully open-flavor exotic states $X_0(2900)$ and $X_1(2900)$ by the LHCb Collaboration, we study possible interpretations of these exotic states by QCD Sum Rules method. We have calculated mass and decay constant by traditional QCD Sum Rules analysis and Monte-Carlo based analysis. $X_0(2900)$ and $X_1(2900)$ are studied in molecular and diquark-antidiquark tetraquark pictures, respectively. Obtained mass results agree well with the masses observed in the experiment. We also made a Monte-Carlo based analysis within QCD Sum Rules for the mass and decay constant distributions to investigate the possible assignments for the structures of $X_0(2900)$ and $X_1(2900)$.


title: Polarization selective Dove prism

abstract: We propose a passive all optical device capable of transforming the orbital angular momentum (OAM) state of light conditioned over the polarization states. The efficiency of this device is ensured due to its linear optical nature. As applications of this device, we show CNOT and SWAP operations between polarization and OAM qubits, non-interferometric OAM mode sorter and generalized Pauli X operation on a four-dimensional subspace of OAM.


title: A curvature and density-based generative representation of shapes

abstract: This paper introduces a generative model for 3D surfaces based on a representation of shapes with mean curvature and metric, which are invariant under rigid transformation. Hence, compared with existing 3D machine learning frameworks, our model substantially reduces the influence of translation and rotation. In addition, the local structure of shapes will be more precisely captured, since the curvature is explicitly encoded in our model. Specifically, every surface is first conformally mapped to a canonical domain, such as a unit disk or a unit sphere. Then, it is represented by two functions: the mean curvature half-density and the vertex density, over this canonical domain. Assuming that input shapes follow a certain distribution in a latent space, we use the variational autoencoder to learn the latent space representation. After the learning, we can generate variations of shapes by randomly sampling the distribution in the latent space. Surfaces with triangular meshes can be reconstructed from the generated data by applying isotropic remeshing and spin transformation, which is given by Dirac equation. We demonstrate the effectiveness of our model on datasets of man-made and biological shapes and compare the results with other methods.


title: Brownian snails with removal: epidemics in diffusing populations

abstract: Two stochastic models of susceptible/infected/removed (SIR) type are introduced for the spread of infection through a spatially-distributed population. Individuals are initially distributed at random in space, and they move continuously according to independent diffusion processes. The disease may pass from an infected individual to an uninfected individual when they are sufficiently close. Infected individuals are permanently removed at some given rate $\alpha$. Such processes are reminiscent of so-called frog models, but differ through the action of removal, as well as the fact that frogs jump whereas snails slither. Two models are studied here, termed the `delayed diffusion' and the `diffusion' models. In the first, individuals are stationary until they are infected, at which time they begin to move; in the second, all individuals start to move at the initial time $0$. Using a perturbative argument, conditions are established under which the disease infects a.s. only finitely many individuals. It is proved for the delayed diffusion model that there exists a critical value $\alpha_c\in(0,\infty)$ for the survival of the epidemic.


title: Combinatorial Ricci flow on compact 3-manifolds with boundary

abstract: Combinatorial Ricci flow on an ideally triangulated compact 3-manifold with boundary was introduced by Luo as a 3-dimensional analog of Chow-Luo's combinatorial Ricci flow on a triangulated surface and conjectured to find algorithmically the complete hyperbolic metric on the compact 3-manifold with totally geodesic boundary. In this paper, we prove Luo's conjecture affirmatively by extending the combinatorial Ricci flow through the singularities of the flow if the ideally triangulated compact 3-manifold with boundary admits such a metric.


title: Constructive Arithmetics in Ore Localizations Enjoying Enough Commutativity

abstract: This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness of arithmetics within such localizations. Earlier we have introduced monoidal, geometric and rational types of localizations of domains as objects of our studies. Here we extend this classification to rings with zero divisors and consider Ore sets of the mentioned types which are commutative enough: such a set either belongs to a commutative algebra or it is central or its elements commute pairwise. By using the systematic approach we have developed before, we prove that arithmetic within the localization of a commutative polynomial algebra is constructive and give the necessary algorithms. We also address the important question of computing the local closure of ideals which is also known as the desingularization, and present an algorithm for the computation of the symbolic power of a given ideal in a commutative ring. We also provide algorithms to compute local closures for certain non-commutative rings with respect to Ore sets with enough commutativity.


title: Preserving Minority Structures in Graph Sampling

abstract: Sampling is a widely used graph reduction technique to accelerate graph computations and simplify graph visualizations. By comprehensively analyzing the literature on graph sampling, we assume that existing algorithms cannot effectively preserve minority structures that are rare and small in a graph but are very important in graph analysis. In this work, we initially conduct a pilot user study to investigate representative minority structures that are most appealing to human viewers. We then perform an experimental study to evaluate the performance of existing graph sampling algorithms regarding minority structure preservation. Results confirm our assumption and suggest key points for designing a new graph sampling approach named mino-centric graph sampling (MCGS). In this approach, a triangle-based algorithm and a cut-point-based algorithm are proposed to efficiently identify minority structures. A set of importance assessment criteria are designed to guide the preservation of important minority structures. Three optimization objectives are introduced into a greedy strategy to balance the preservation between minority and majority structures and suppress the generation of new minority structures. A series of experiments and case studies are conducted to evaluate the effectiveness of the proposed MCGS.


title: Inverse design of compact optical cloaks and experimental demonstration at microwave frequencies

abstract: Inverse design in photonics has gathered increasing attention as a powerful approach that goes beyond the intuition-based designs. In this Letter, we present the inverse design and experimental demonstration of compact optical cloaks at microwave frequencies is conducted. Two different configurations of rectangular and circular cloaks are numerically designed to reduce the scatterings of incident light interacting with a perfect electrical conductor object. The designed cloaking structures consist of dielectric polylactide material with a low refractive index and they are fabricated by 3D printing approach. The experimental measurements are in good agreement with the numerical calculations. The designed region covering (4{\lambda} x 4{\lambda}) area enables hiding circular object of {\lambda} diameter where {\lambda} denotes the wavelength of incident light. The proposed approach may enable the concealment of different objects possessing various size and shapes.


title: An Algorithmic Approach for Identifying Critical Distance Relays for Transient Stability Studies

abstract: After major disturbances, power system behavior is governed by the dynamic characteristics of its assets and protection schemes. Therefore, modeling protection devices is essential for performing accurate stability studies. Modeling all the protection devices in a bulk power system is an intractable task due to the limitations of current stability software, and the difficulty of maintaining and updating the data for thousands of protection devices. One of the critical protection schemes that is not adequately modeled in stability studies is distance relaying. Therefore, this paper proposes an algorithm that uses two methods to identify the critical distance relays to be modeled in stability studies: (i) apparent impedance monitoring, and (ii) the minimum voltage evaluation (MVE). The algorithm is implemented in Python 3.6 and uses the GE positive sequence load flow analysis (PSLF) software for performing stability studies. The performance of the algorithm is evaluated on the Western Electricity Coordinating Council (WECC) system data representing the 2018 summer-peak load. The results of the case studies representing various types of contingencies show that to have an accurate assessment of system behavior, modeling the critical distance relays identified by the algorithm suffices, and there is no need for modeling all the distance relays.


title: Galois groups of p-extensions of higher local fields

abstract: Suppose $\mathcal K$ is $N$-dimensional local field of characteristic $p$, $\mathcal G =\mathop{Gal}(\mathcal K_{sep}/\mathcal K)$, $\mathcal G_{<p}$ is the maximal quotient of $\mathcal G$ of period $p$ and nilpotent class $<p$ and $\mathcal K_{<p}\subset \mathcal K_{sep}$ is such that $\mathop{Gal}(\mathcal K_{<p}/\mathcal K)=\mathcal G_{<p}$. We use nilpotent Artin-Schreier theory to identify $\mathcal G_{<p}$ with the group $G(\mathcal L)$ obtained from a profinite Lie $\mathbb F_p$-algebra $\mathcal L$ via the Campbell-Hausdorff composition law. The canonical $\mathcal P$-topology on $\mathcal K$ is used to define a dense Lie subalgebra $\mathcal L^{\mathcal P}$ in $\mathcal L$. The algebra $\mathcal L^{\mathcal P}$ can be provided with a system of $\mathcal P$-topological generators and its $\mathcal P$-open subalgebras correspond to all $N$-dimensional extensions of $\mathcal K$ in $\mathcal K_{<p}$. These results are applied to higher local fields $K$ of characteristic 0 containing primitive $p$-th root of unity. If $\Gamma =\mathop{Gal}(K_{alg}/K)$ we introduce similarly the quotient $\Gamma_{<p}=G(L)$, a dense $\mathbb F_p$-Lie algebra $L^{\mathcal P}\subset L$, and describe the structure of $L^{\mathcal P}$ in terms of generators and relations. The general result is illustrated by explicit presentation of $\Gamma_{<p}$ modulo third commutators.


title: Technological Platform for the Prevention and Management of Healthcare Associated Infections and Outbreaks

abstract: Hospital acquired infections are infections that occur in patients during hospitalization, which were not present at the time of admission. They are among the most common adverse events in healthcare around the world, leading to increased mortality and morbidity rates, prolonged hospitalization periods and considerable financial burden on both hospitals and patients. Preventive guidelines and regulations have been devised, however compliance to these is frequently poor and there is much room for improvement. This paper presents the prototype of an extensible, configurable cyber-physical system, developed under European Union funding, that will assist in the prevention of hospital infections and outbreaks. Integrating a wireless sensor network for the surveillance of clinical processes with configurable monitoring software built around a workflow engine as key component, our solution detects deviations from established hygiene practices and provides real-time information and alerts whenever an infection risk is discovered. The platform is described from both hardware and software perspective, with emphasis on the wireless network's elements as well as the most important software components. Furthermore, two clinical workflows of different complexity, which are included in the system prototype are detailed. The finalized system is expected to facilitate the creation and automated monitoring of clinical workflows that are associated with over 90% of hospital infections.


title: Tight gaps in the cycle spectrum of 3-connected planar graphs

abstract: For any positive integer $k$, define $f(k)$ (respectively, $f_3(k)$) to be the minimal integer $\ge k$ such that every 3-connected planar graph $G$ (respectively, 3-connected cubic planar graph $G$) of circumference $\ge k$ has a cycle whose length is in the interval $[k, f(k)]$ (respectively, $[k, f_3(k)]$). Merker showed that $f_3(k) \le 2k + 9$ for any $k \ge 2$, and $f_3(k) \ge 2k + 2$ for any even $k \ge 4$. He conjectured that $f_3(k) \le 2k + 2$ for any $k \ge 2$. This conjecture was disproved by Zamfirescu, who gave an infinite family of counterexamples for every even $k \ge 6$ whose graphs have no cycle length in $[k, 2k + 2]$, i.e. $f_3(k) \ge 2k + 3$ for any even $k \ge 6$. However, the exact value of $f_3(k)$ was only known for $k \le 4$, and it was left open to determine $f_3(k)$ for $k \ge 5$. In this paper we improve Merker's upper bound, and give the exact value of $f_3(k)$ for every $k \ge 5$. We show that $f_3(5) = 10$, $f_3(7) = 15$, $f_3(9) = 20$, and $f_3(k) = 2k + 3$ for any $k = 6, 8$ or $\ge 10$. For general 3-connected planar graphs, Merker conjectured that there exists some positive integer $c$ such that $f(k) \le 2k + c$ for any positive integer $k$. We give a complete positive answer to this conjecture. We prove that $f(k) = 5$ for any $k \le 3$, $f(4) = 10$, and $f(k) = 2k + 3$ for any $k \ge 5$.


title: Electronic Properties of $\alpha-\mathcal{T}_3$ Quantum Dots in Magnetic Fields

abstract: We address the electronic properties of quantum dots in the two-dimensional $\alpha-\mathcal{T}_3$ lattice when subjected to a perpendicular magnetic field. Implementing an infinite mass boundary condition, we first solve the eigenvalue problem for an isolated quantum dot in the low-energy, long-wavelength approximation where the system is described by an effective Dirac-like Hamiltonian that interpolates between the graphene (pseudospin 1/2) and Dice (pseudospin 1) limits. Results are compared to a full numerical (finite-mass) tight-binding lattice calculation. In a second step we analyse charge transport through a contacted $\alpha-\mathcal{T}_3$ quantum dot in a magnetic field by calculating the local density of states and the conductance within the kernel polynomial and Landauer-B\"uttiker approaches. Thereby the influence of a disordered environment is discussed as well.


title: Linearized Continuous Galerkin hp-FEM Applied to Nonlinear Initial Value Problems

abstract: In this note we consider the continuous Galerkin time stepping method of arbitrary order as a possible discretization scheme of nonlinear initial value problems. In addition, we develop and generalize a well known existing result for the discrete solution by applying a general linearizing procedure to the nonlinear discrete scheme including also the simplified Newton solution procedure. In particular, the presented existence results are implied by choosing sufficient small time steps locally. Furthermore, the established existence results are independent of the local approximation order. Moreover, we will see that the proposed solution scheme is able to significantly reduce the number of iterations. Finally, based on existing and well known a priori error estimates for the discrete solution, we present some numerical experiments that highlight the proposed results of this note.


title: Remarks on Riemann and Ricci solitons in $(\alpha,\beta)$-contact metric manifolds

abstract: We study almost Riemann solitons and almost Ricci solitons in an $(\alpha,\beta)$-contact metric manifold satisfying some Ricci symmetry conditions, treating the case when the potential vector field of the soliton is pointwise collinear with the structure vector field.


title: Learning AR factor models

abstract: We face the factor analysis problem using a particular class of auto-regressive processes. We propose an approximate moment matching approach to estimate the number of factors as well as the parameters of the model. This algorithm alternates a step of factor analysis and a step of AR dynamics estimation. Some simulation studies show the effectiveness of the proposed estimator.


title: Image compression by means of the multidimensional circulant covariance extension problem -- Revisited

abstract: We revisit the image compression problem using the framework introduced by Ringh, Karlsson and Lindquist. More precisely, we explore the possibility to consider a family of objective functions and a different way to design the prior in the corresponding multidimensional circulant covariance extension problem. The latter leads to refined compression paradigms.


title: Low-rank Kalman filtering under model uncertainty

abstract: We consider a robust filtering problem where the nominal state space model is not reachable and different from the actual one. We propose a robust Kalman filter which solves a dynamic game: one player selects the least-favorable model in a given ambiguity set, while the other player designs the optimum filter for the least-favorable model. It turns out that the robust filter is governed by a low-rank risk sensitive-like Riccati equation. Finally, simulation results show the effectiveness of the proposed filter.


title: Optimal Transport between Gaussian Stationary Processes

abstract: We consider the optimal transport problem between multivariate Gaussian stationary stochastic processes. The transportation effort is the variance of the filtered discrepancy process. The main contribution of this technical note is to show that the corresponding solution leads to a weighted Hellinger distance between multivariate power spectral densities. Then, we propose a spectral estimation approach in the case of indirect measurements which is based on this distance.


title: Infrastructure de Services Cloud FaaS sur noeuds IoT

abstract: In this article, we describe the PyCloudIoT cloud infrastructure. PyCloudIoT uses a FaaS cloud computing model for offloading numerical computations on a cluster with resource-constrained nodes rather than powerful datacenter. This infrastructure aims at exploiting unused resources of IoT nodes - already deployed at the edge of the network - to reduce latency of user requests. This extra computation must be done without significant energy consumption - IoT nodes being battery-powered. -- Dans cet article, nous d\'ecrivons l'infrastructure cloud PyCloudIoT. PyCloudIoT s'appuie sur un mod\`ele de cloud computing FaaS pour du calcul num\'erique d\'eport\'e vers une ferme de calcul compos\'ee de noeuds \`a capacit\'es restreintes au lieu d'un datacentre puissant. Cette infrastructure vise \`a tirer profit des ressources inutilis\'ees d\'eploy\'ees sur n{\oe}uds IoT sans augmenter significativement leur consommation d'\'energie et, en m\^eme temps, \`a rapprocher ces ressources des utilisateurs pour r\'eduire la latence, en d\'eveloppant un mod\`ele cloud en bord de r\'eseau.


title: Control of droplet evaporation on smooth chemical patterns

abstract: We investigate the evaporation of a two-dimensional droplet on a solid surface. The solid is flat but with smooth chemical variations that lead to a space-dependent local contact angle. We perform a detailed bifurcation analysis of the equilibrium properties of the droplet as its size is changed, observing the emergence of a hierarchy of bifurcations that strongly depends on the particular underlying chemical pattern. Symmetric and periodic patterns lead to a sequence of pitchfork and saddle-node bifurcations that make stable solutions to become saddle nodes. Under dynamic conditions, this change instability suggests that any perturbation in the system can make the droplet to shift laterally while relaxing to the nearest stable point, as is confirmed by numerical computations of the Cahn-Hilliard and Navier-Stokes system of equations. We also consider patterns with an amplitude gradient that creates a set of disconnected stable branches in the solution space, leading to a continuous change of the droplet's location upon evaporation.


title: A control theory approach to optimal pandemic mitigation

abstract: In the framework of homogeneous susceptible-infected-recovered (SIR) models, we use a control theory approach to identify optimal pandemic mitigation strategies. We derive rather general conditions for reaching herd immunity while minimizing the costs incurred by the introduction of societal control measures (such as closing schools, social distancing, lockdowns, etc.), under the constraint that the infected fraction of the population does never exceed a certain maximum corresponding to public health system capacity. Optimality is derived and verified by variational and numerical methods for a number of model cost functions. The effects of immune response decay after recovery are taken into account and discussed in terms of the feasibility of strategies based on herd immunity.


title: Analytic proof of multivariate stable local large deviations and application to deterministic dynamical systems

abstract: We give a short analytic proof of local large deviations for i.i.d. random variables in the domain of a multivariate $\alpha$-stable law, $\alpha\in(0,1)\cup(1,2]$. Our method simultaneously covers lattice and nonlattice distributions (and mixtures thereof), bypassing aperiodicity considerations. The proof applies also to the dynamical setting.


title: Removal of spectral distortion due to echo for ultrashort pulses propagating through multilayer structures with thick substrate

abstract: Given the wide range of applications of time-domain spectroscopy, and particularly THz time-domain spectroscopy, the modelling of a probe pulse propagating through a multilayered structure is often required. Due to the fact that the multilayers are usually grown on a substrate much thicker than the other layers, the transmission of a probe pulse includes a series of echo pulses caused by the multiple reflections at the substrate interfaces. Experiments often measure the time profile and construct the transmitted spectrum only from the first transmitted pulse. Due to the fact that typical substrates lead to times of crossing comparable to the spectral bandwidth, the first transmitted pulse's spectrum and the full transmitted spectrum can be importantly different. It is therefore important to theoretically model the transmission without the echo, to be able to directly compare with experimental results. Here we propose a method to elegantly and easily theoretically remove the echo from the transmission spectrum, without Fourier transforming the signal twice. The spectrum of the transmitted pulse without echo will be produced analytically without additional numerical steps, reducing computational time and program complexity when dealing with larger scale computing.


title: Generalization on the Enhancement of Layerwise Relevance Interpretability of Deep Neural Network

abstract: The practical application of deep neural networks are still limited by their lack of transparency. One of the efforts to provide explanation for decisions made by artificial intelligence (AI) is the use of saliency or heat maps highlighting relevant regions that contribute significantly to its prediction. A layer-wise amplitude filtering method was previously introduced to improve the quality of heatmaps, performing error corrections by noise-spike suppression. In this study, we generalize the layerwise error correction by considering any identifiable error and assuming there exists a groundtruth interpretable information. The forms of errors propagated through layerwise relevance methods are studied and we propose a filtering technique for interpretability signal rectification taylored to the trend of signal amplitude of the particular neural network used. Finally, we put forth arguments for the use of groundtruth interpretable information.


title: Uncertainty modelling and computational aspects of data association

abstract: A novel solution to the smoothing problem for multi-object dynamical systems is proposed and evaluated. The systems of interest contain an unknown and varying number of dynamical objects that are partially observed under noisy and corrupted observations. An alternative representation of uncertainty is considered in order to account for the lack of information about the different aspects of this type of complex system. The corresponding statistical model can be formulated as a hierarchical model consisting of conditionally-independent hidden Markov models. This particular structure is leveraged to propose an efficient method in the context of Markov chain Monte Carlo (MCMC) by relying on an approximate solution to the corresponding filtering problem, in a similar fashion to particle MCMC. This approach is shown to outperform existing algorithms in a range of scenarios.


title: On the Generalised Equipartition Law

abstract: We observe that the so-called Generalised Equipartition Law for hamiltonian systems is actually valid only under specific hypotheses -- unfortunately omitted in some textbooks -- which limit its applicability when dealing with nonlinear systems. We introduce a new coordinate-independent generalisation which overcomes this problem, and moreover can be applied to a larger set of functions. A simple example of application is discussed.


title: Rare event algorithm study of extreme warm summers and heat waves over Europe

abstract: The analysis of extremes in climate models is hindered by the lack of statistics due to the computational costs required to run simulations long enough to sample rare events. We demonstrate how rare event algorithms can improve the statistics of extreme events in state-of-the-art climate models. We study extreme warm summers and heatwaves over France and Scandinavia with CESM1.2.2 in present-day climate. The algorithm concentrates the simulations on events of importance, and shifts the probability distributions of regional temperatures such that warm summers become common. We estimate return times of extremes orders of magnitude larger than what feasible with direct sampling, and we compute statistically significant composite maps of dynamical quantities conditional on the occurence of the extremes. We show that extreme warm summers are associated to wavenumber 3 hemispheric teleconnection patterns, and that the most extreme summers are related to the succession of rare subseasonal heatwaves.


title: Optimal Deterministic Group Testing Algorithms to Estimate the Number of Defectives

abstract: We study the problem of estimating the number of defective items $d$ within a pile of $n$ elements up to a multiplicative factor of $\Delta>1$, using deterministic group testing algorithms. We bring lower and upper bounds on the number of tests required in both the adaptive and the non-adaptive deterministic settings given an upper bound $D$ on the defectives number. For the adaptive deterministic settings, our results show that, any algorithm for estimating the defectives number up to a multiplicative factor of $\Delta$ must make at least $\Omega \left((D/\Delta^2)\log (n/D) \right )$ tests. This extends the same lower bound achieved in \cite{ALA17} for non-adaptive algorithms. Moreover, we give a polynomial time adaptive algorithm that shows that our bound is tight up to a small additive term. For non-adaptive algorithms, an upper bound of $O((D/\Delta^2)$ $(\log (n/D)+\log \Delta) )$ is achieved by means of non-constructive proof. This improves the lower bound $O((\log D)/(\log\Delta))D\log n)$ from \cite{ALA17} and matches the lower bound up to a small additive term. In addition, we study polynomial time constructive algorithms. We use existing polynomial time constructible \emph{expander regular bipartite graphs}, \emph{extractors} and \emph{condensers} to construct two polynomial time algorithms. The first algorithm makes $O((D^{1+o(1)}/\Delta^2)\cdot \log n)$ tests, and the second makes $(D/\Delta^2)\cdot quazipoly$ $(\log n)$ tests. This is the first explicit construction with an almost optimal test complexity.


title: Detecting the elemental and molecular signatures of life: Laser-based mass spectrometry technologies

abstract: The identification of extraterrestrial life is one the most exciting and challenging endeavors in space research. The existence of extinct or extant life can be inferred from biogenic elements, isotopes, and molecules, but accurate and sensitive instruments are needed. In this whitepaper we show that Laser-based Mass Spectrometers are promising instrument for the in situ identification of atomic, isotopic, and molecular biosignatures. An overview of Laser ablation/Ionization Mass Spectrometry (LIMS) and Laser Desorption/Ionization Mass Spectrometry (LD-MS) instruments developed for space exploration is given. Their uses are discussed in the context of a Mars scenario and a Europa scenario. We show that Laser-based Mass Spectrometers are versatile and technologically mature instruments with many beneficial characteristics for the detection of life. Future planetary lander and rover missions should be encouraged to make use of Laser-based Mass Spectrometry instruments in their scientific payload.


title: Spectral data characterization for the Sturm-Liouville operator on the star-shaped graph

abstract: The inverse spectral problems are studied for the Sturm-Liouville operator on the star-shaped graph and for the matrix Sturm-Liouville operator with the boundary condition in the general self-adjoint form. We obtain necessary and sufficient conditions of solvability for these two inverse problems, and also prove their local solvability and stability.


title: Visual Object Tracking by Segmentation with Graph Convolutional Network

abstract: Segmentation-based tracking has been actively studied in computer vision and multimedia. Superpixel based object segmentation and tracking methods are usually developed for this task. However, they independently perform feature representation and learning of superpixels which may lead to sub-optimal results. In this paper, we propose to utilize graph convolutional network (GCN) model for superpixel based object tracking. The proposed model provides a general end-to-end framework which integrates i) label linear prediction, and ii) structure-aware feature information of each superpixel together to obtain object segmentation and further improves the performance of tracking. The main benefits of the proposed GCN method have two main aspects. First, it provides an effective end-to-end way to exploit both spatial and temporal consistency constraint for target object segmentation. Second, it utilizes a mixed graph convolution module to learn a context-aware and discriminative feature for superpixel representation and labeling. An effective algorithm has been developed to optimize the proposed model. Extensive experiments on five datasets demonstrate that our method obtains better performance against existing alternative methods.


title: Assessment of urban rooftop grid connected solar potential in Nepal,a case study of residential buildings in Kathmandu, Pokhara and Biratnagar cities

abstract: This paper assesses the technical, financial, and market potential of the rooftop Solar Photovoltaic (PV) system on residential buildings in major cities namely Kathmandu valley, Pokhara, and Biratnagar of Nepal. Three sets of questionnaires were prepared each for residential households, PV suppliers, and solar project financing institutions. From the field survey, it is found that the average rooftop area available for PV installation is 14.5 sq.m, 12.45 sq.m, and 19 sq.m in Kathmandu, Pokhara, and Biratnagar cities respectively. Considering 557,027 residential buildings in Kathmandu; 77,523 in Pokhara and 33,075 in Biratnagar, total rooftop PV power potential in all three cities are found to be 970 MWp which could generate 1,310 GWh/year that comes out to be 35% of the electricity sold by Nepal Electricity Authority (NEA) in fiscal year 2014/15. Based on the 1.5 kWp PV system design per household and market price of 2016, the Levelized Cost of Electricity (LCOE) changes from NRs 8/kWh to NRs 20/kWh for basic lighting to a full load consisting of domestic electrical appliances. The technical barriers for the grid connection of rooftop solar in Nepal are not a major issue now as Nepal Electricity Authority has set clear guidelines for it.


title: Sharp estimate of electric field from a conductive rod and application

abstract: We are concerned with the quantitative study of the electric field perturbation due to the presence of an inhomogeneous conductive rod embedded in a homogenous conductivity. We sharply quantify the dependence of the perturbed electric field on the geometry of the conductive rod. In particular, we accurately characterise the localisation of the gradient field (i.e. the electric current) near the boundary of the rod where the curvature is sufficiently large. We develop layer-potential techniques in deriving the quantitative estimates and the major difficulty comes from the anisotropic geometry of the rod.The result complements and sharpens several existing studies in the literature. It also generates an interesting application in EIT (electrical impedance tomography) in determining the conductive rod by a single measurement, which is also known as the Calderon's inverse inclusion problem in the literature.


title: Vapur: A Search Engine to Find Related Protein-Compound Pairs in COVID-19 Literature

abstract: Coronavirus Disease of 2019 (COVID-19) created dire consequences globally and triggered an intense scientific effort from different domains. The resulting publications created a huge text collection in which finding the studies related to a biomolecule of interest is challenging for general purpose search engines because the publications are rich in domain specific terminology. Here, we present Vapur: an online COVID-19 search engine specifically designed to find related protein - chemical pairs. Vapur is empowered with a relation-oriented inverted index that is able to retrieve and group studies for a query biomolecule with respect to its related entities. The inverted index of Vapur is automatically created with a BioNLP pipeline and integrated with an online user interface. The online interface is designed for the smooth traversal of the current literature by domain researchers and is publicly available at https://tabilab.cmpe.boun.edu.tr/vapur/ .


title: Antimony Chalcogenide-based Solid State Sensitizers for Solar Cells: A Forgotten Hero or Low Potential Candidate

abstract: The use of stibnite (Sb2S3) as sensitizers in the solid-state sensitized solar cells received considerable research interest during the transition of the millennium. However, the use of perovskite diminished the research in the field and the potential of antimony chalcogenide (Sb2(S,Se)3) was not explored thoroughly. Although these materials also provide bandgap tuning like perovskite by varying the composition of S and Se, it is not as popular as perovskite mainly because of the low efficiency of the solar cells based on it. In this paper, we present a landscape of the functional role of various device parameters on the performance of Sb2(S,Se)3 based solar cells. For the purpose, we first calibrate the optoelectronic model used for the simulation with the experimental results from the literature. The model is then subjected to parametric variations to explore the performance metrics for this class of solar cells. Our results show that despite the belief that open circuit voltage is independent of contact layers doping in proper band aligned sensitized solar cells, here we observe otherwise and the open circuit voltage is indeed dependent on the doping density of the contact layers. Using the detailed numerical simulation and analytical model we further identify the performance optimization map of Sb2(S,Se)3 based sensitized solar cells.


title: Structured Sparsity Modeling for Improved Multivariate Statistical Analysis based Fault Isolation

abstract: In order to improve the fault diagnosis capability of multivariate statistical methods, this article introduces a fault isolation framework based on structured sparsity modeling. The developed method relies on the reconstruction based contribution analysis and the process structure information can be incorporated into the reconstruction objective function in the form of structured sparsity regularization terms. The structured sparsity terms allow selection of fault variables over structures like blocks or networks of process variables, hence more accurate fault isolation can be achieved. Four structured sparsity terms corresponding to different kinds of process information are considered, namely, partially known sparse support, block sparsity, clustered sparsity and tree-structured sparsity. The optimization problems involving the structured sparsity terms can be solved using the Alternating Direction Method of Multipliers (ADMM) algorithm, which is fast and efficient. Through a simulation example and an application study to a coal-fired power plant, it is verified that the proposed method can better isolate faulty variables by incorporating process structure information.


title: Interplay of lattice distortion and bands near the Fermi level in $A$TiO$_3$ ($A$=Ca, Sr, Ba)

abstract: The structural and electronic properties of $A$TiO$_3$ ($A$=Ca, Sr, Ba) have been investigated under strain-free situation and with realistic constraints using first-principles calculations. We endeavored to find out the interplay between mild lattice distortions and bandgap in three $A$TiO$_3$ family members that has remained skeptical to date. We found out that the electronic structure was particularly sensitive to strains (compressive or tensile) as expected in most materials science studies. Our results indicate that under mild strains; the bandgap ($E_{gap}$), increased under compression and decreased under tension. In all the three materials, the bandgap and the lattice parameter ($a$) were found to relate as $E_{gap}\propto \frac{1}{a^x}$ for mild distortions with $2.19<x<3.1$. All these changes are attributed to the interplay of electrostatics and covalency in these crystals. This work acts as a yardstick on bandgap engineering to achieve desired properties in these titanates for feasible future applications.


title: 2-graded polynomial identities for the Jordan algebra of the symmetric matrices of order two

abstract: The Jordan algebra of the symmetric matrices of order two over a field $K$ has two natural gradings by $\mathbb{Z}_2$, the cyclic group of order 2. We describe the graded polynomial identities for these two gradings when the base field is infinite and of characteristic different from 2. We exhibit bases for these identities in each of the two cases. In one of the cases we perform a series of computations in order to reduce the problem to dealing with associators while in the other case one employs methods and results from Invariant theory. Moreover we extend the latter grading to a $\mathbb{Z}_2$-grading on $B_n$, the Jordan algebra of a symmetric bilinear form in a vector space of dimension $n$ ($n=1$, 2, \dots, $\infty$). We call this grading the \textsl{scalar} one since its even part consists only of the scalars. As a by-product we obtain finite bases of the $\mathbb{Z}_2$-graded identities for $B_n$. In fact the last result describes the weak Jordan polynomial identities for the pair $(B_n, V_n)$.


title: Friend Network as Gatekeeper: A Study of WeChat Users' Consumption of Friend-Curated Contents

abstract: Social media enables users to publish, disseminate, and access information easily. The downside is that it has fewer gatekeepers of what content is allowed to enter public circulation than the traditional media. In this paper, we present preliminary empirical findings from WeChat, a popular messaging app of the Chinese, indicating that social media users leverage their friend networks collectively as latent, dynamic gatekeepers for content consumption. Taking a mixed-methods approach, we analyze over seven million users' information consumption behaviors on WeChat and conduct an online survey of $216$ users. Both quantitative and qualitative evidence suggests that friend network indeed acts as a gatekeeper in social media. Shifting from what should be produced that gatekeepers used to decide, friend network helps separate the worthy from the unworthy for individual information consumption, and its structure and dynamics that play an important role in gatekeeping may inspire the future design of socio-technical systems.


title: Reconfigurable Flat Optics with Programmable Reflection Amplitude Using Lithography-Free Phase-Change Materials Ultra Thin Films

abstract: We experimentally demonstrate a very large dynamic optical reflection modulation from a simple unpatterned layered stack of phase-change materials ultrathin films. Specifically, we theoretically and experimentally demonstrate that properly designed deeply subwavelength GeSbTe (GST) films on a metallic mirror produce a dynamic modulation of light in the near-infrared from very strong reflection (R>80%) to perfect absorption (A > 99,97%) by simply switching the crystalline state of the phase-change material. While the amplitude of modulation can lead to an optical contrast up to 10^6, we can also actively "write" intermediate levels of reflection in between extreme values, corresponding to partial crystallization of the GST layer. We further explore several layered system designs and provide guidelines to tailor the wavelength efficiency range, the angle of operation and the degree of crystallization leading to perfect absorption.


title: Explicit description of isogeny and isomorphism classes of Drinfeld modules over finite field

abstract: When travelling from the number fields theory to the function fields theory, one cannot miss the deep analogy between rank 1 Drinfeld modules and the group of root of unity and the analogy between rank 2 Drinfeld modules and elliptic curves. But so far, there is no known structure in number fields theory that is analogous to the Drinfeld modules of higher rank r > 2. In this paper we investigate the classes of those Drinfeld modules of higher rank r > 2. We describe explicitly the Weil polynomials defining the isogeny classes of rank r Drinfeld modules for any rank r > 2. our explicit description of the Weil polynomials depends heavily on Yu's classification of isogeny classes (analogue of Honda-Tate at abelian varieties). Actually Yu has also explicitly did that work for r = 2. To complete the classification, we define the new notion of fine isomorphy invariants for any rank r Drinfeld module and we prove that the fine isomorphy invariants together with J-invariants completely determine the L-isomorphism classes of rank r Drinfeld modules defined over the finite field L.


title: A closed-formula solution to the color-trace decomposition problem

abstract: In these notes we present a closed-formula solution to the problem of decomposing traces of Lie algebra generators into symmetrized traces and structure constants. The solution is written in terms of Solomon idempotents and exploits a projection derived by Solomon in his work on the Poincare-Birkhoff-Witt theorem.


title: A Class of Optimal Structures for Node Computations in Message Passing Algorithms

abstract: Consider the computations at a node in a message passing algorithm. Assume that the node has incoming and outgoing messages $\mathbf{x} = (x_1, x_2, \ldots, x_n)$ and $\mathbf{y} = (y_1, y_2, \ldots, y_n)$, respectively. In this paper, we investigate a class of structures that can be adopted by the node for computing $\mathbf{y}$ from $\mathbf{x}$, where each $y_j, j = 1, 2, \ldots, n$ is computed via a binary tree with leaves $\mathbf{x}$ excluding $x_j$. We make three main contributions regarding this class of structures. First, we prove that the minimum complexity of such a structure is $3n - 6$, and if a structure has such complexity, its minimum latency is $\delta + \lceil \log(n-2^{\delta}) \rceil$ with $\delta = \lfloor \log(n/2) \rfloor$, where the logarithm always takes base two. Second, we prove that the minimum latency of such a structure is $\lceil \log(n-1) \rceil$, and if a structure has such latency, its minimum complexity is $n \log(n-1)$ when $n-1$ is a power of two. Third, given $(n, \tau)$ with $\tau \geq \lceil \log(n-1) \rceil$, we propose a construction for a structure which we conjecture to have the minimum complexity among structures with latencies at most $\tau$. Our construction method runs in $O(n^3 \log^2(n))$ time, and the obtained structure has complexity at most (generally much smaller than) $n \lceil \log(n) \rceil - 2$.


title: Scheme for a 50 TeV muon accumulator

abstract: Submitted as input for discussions on a possible low emittance muon accumulator at 50 TeV. I present a scheme to obtain high quality positive and negative muon beams in terms of low emittance, high charge and high energy using an accumulator at 50 TeV (or tens of TeV) filled with a train of low charge and low emittance muon bunches to be injected in top-up mode on a single bunch circulating in a storage/collider ring at the same energy, where damping from synchrotron radiation merges the bunches with minimal emittance degradation.


title: Scattering Amplitude Together with Thermodynamic Properties in the Poschl-Teller Double Ring-Shaped Coulomb Potential

abstract: We obtain the exact solution to the Dirac equation with the Poschl-Teller double ring-shaped Coulomb (PTDRSC) potential for any spin-orbit quantum number K. The relativistic scattering amplitude for spin 1/2 particles in the field of this potential has been studied. The wave functions are expressed in terms of the hyper-geometric series of the continuous states on the K/2Pi scale. A formula for the phase shifts has also been found. In the nonrelativistic limits, our solution to the Dirac system converges to that of the Schr\"odinger one. At the high temperature, the partition function is calculated in order to study the behavior of some thermodynamic properties.


title: A Visual Analytics Approach to Scheduling Customized Shuttle Buses via Perceiving Passengers' Travel Demands

abstract: Shuttle buses have been a popular means to move commuters sharing similar origins and destinations during periods of high travel demand. However, planning and deploying reasonable, customized service bus systems becomes challenging when the commute demand is rather dynamic. It is difficult, if not impossible to form a reliable, unbiased estimation of user needs in such a case using traditional modeling methods. We propose a visual analytics approach to facilitating assessment of actual, varying travel demands and planning of night customized shuttle systems. A preliminary case study verifies the efficacy of our approach.


title: Sub-linear Regret Bounds for Bayesian Optimisation in Unknown Search Spaces

abstract: Bayesian optimisation is a popular method for efficient optimisation of expensive black-box functions. Traditionally, BO assumes that the search space is known. However, in many problems, this assumption does not hold. To this end, we propose a novel BO algorithm which expands (and shifts) the search space over iterations based on controlling the expansion rate thought a hyperharmonic series. Further, we propose another variant of our algorithm that scales to high dimensions. We show theoretically that for both our algorithms, the cumulative regret grows at sub-linear rates. Our experiments with synthetic and real-world optimisation tasks demonstrate the superiority of our algorithms over the current state-of-the-art methods for Bayesian optimisation in unknown search space.


title: A Survey of Deep Learning Architectures for Intelligent Reflecting Surfaces

abstract: Intelligent reflecting surfaces (IRSs) have recently received significant attention for wireless communications because it reduces the hardware complexity, physical size, weight, and cost of conventional large arrays. However, deployment of IRS entails dealing with multiple channel links between the base station (BS) and the users. Further, the BS and IRS beamformers require a joint design, wherein the IRS elements must be rapidly reconfigured. Data-driven techniques, such as deep learning (DL), are critical in addressing these challenges. The lower computation time and model-free nature of DL makes it robust against the data imperfections and environmental changes. At the physical layer, DL has been shown to be effective for IRS signal detection, channel estimation and active/passive beamforming using architectures such as supervised, unsupervised and reinforcement learning. This article provides a synopsis of these techniques for designing DL-based IRS-assisted wireless systems.


title: Corners and fundamental corners for the groups Spin(n,1)

abstract: We study corners and fundamental corners of the irreducible representations of the groups G=Spin(n,1) that are not elementary, i.e. that are equivalent to subquotients of reducible nonunitary principal series representations. For even n we obtain results in a way analogous to the results in [10] for the groups SU(n,1). Especially, we again get a bijection between the nonelementary part $\hat{G}^0$ of the unitary dual $\hat{G}$ and the unitary dual $\hat{K}.$ In the case of odd n we get a bijection between $\hat{G}^0$ and a tru subset of $\hat{K}.$


title: Antenna Selection for Improving Energy Efficiency in XL-MIMO Systems

abstract: We consider the recently proposed extra-large scale massive multiple-input multiple-output (XL-MIMO) systems, with some hundreds of antennas serving a smaller number of users. Since the array length is of the same order as the distance to the users, the long-term fading coefficients of a given user vary with the different antennas at the base station (BS). Thus, the signal transmitted by some antennas might reach the user with much more power than that transmitted by some others. From a green perspective, it is not effective to simultaneously activate hundreds or even thousands of antennas, since the power-hungry radio frequency (RF) chains of the active antennas increase significantly the total energy consumption. Besides, a larger number of selected antennas increases the power required by linear processing, such as precoding matrix computation, and short-term channel estimation. In this paper, we propose four antenna selection (AS) approaches to be deployed in XL-MIMO systems aiming at maximizing the total energy efficiency (EE). Besides, employing some simplifying assumptions, we derive a closed-form analytical expression for the EE of the XL-MIMO system, and propose a straightforward iterative method to determine the optimal number of selected antennas able to maximize it. The proposed AS schemes are based solely on long-term fading parameters, thus, the selected antennas set remains valid for a relatively large time/frequency intervals. Comparing the results, we find that the genetic-algorithm based AS scheme usually achieves the best EE performance, although our proposed highest normalized received power AS scheme also achieves very promising EE performance in a simple and straightforward way.


title: Extended quasi-cyclic constructions of quantum codes and entanglement-assisted quantum codes

abstract: Construction of quantum codes and entanglement-assisted quantum codes with good parameters via classical codes is an important task for quantum computing and quantum information. In this paper, by a family of one-generator quasi-cyclic codes, we provide quasi-cyclic extended constructions that preserve the self-orthogonality to obtain stabilizer quantum codes. As for the computational results, some binary and ternary stabilizer codes with good parameters are constructed. Moreover, we present methods to construct maximal-entanglement entanglement-assisted quantum codes by means of the class of quasi-cyclic codes and their extended codes. As an application, some good maximal-entanglement entanglement-assisted quantum codes are obtained and their parameters are compared.


title: Machine Learning Calabi-Yau Four-folds

abstract: Hodge numbers of Calabi-Yau manifolds depend non-trivially on the underlying manifold data and they present an interesting challenge for machine learning. In this letter we consider the data set of complete intersection Calabi-Yau four-folds, a set of about 900,000 topological types, and study supervised learning of the Hodge numbers h^1,1 and h^3,1 for these manifolds. We find that h^1,1 can be successfully learned (to 96% precision) by fully connected classifier and regressor networks. While both types of networks fail for h^3,1, we show that a more complicated two-branch network, combined with feature enhancement, can act as an efficient regressor (to 98% precision) for h^3,1, at least for a subset of the data. This hints at the existence of an, as yet unknown, formula for Hodge numbers.


title: Freezing-damped impact of a water drop

abstract: We experimentally investigate the effect of freezing on the spreading of a water drop. Whenever a water drop impacts a cold surface, whose temperature is lower than 0{\deg}C, a thin layer of ice grows during the spreading. This freezing has a notable effect on the impact: at given Reynolds and Weber numbers, we show that lowering the surface temperature reduces the drop maximal extent. Using an analogy between this ice layer and the viscous boundary layer, which also grows during the spreading, we are able to model the effect of freezing as an effective viscosity. The scaling laws designed for viscous drop impact can therefore be applied to such a solidification problem, avoiding the recourse to a full and complex modelling of the thermal dynamics.


title: Dynamics of cellular flame deformation after a head-on interaction with a shock wave: reactive Richtmyer-Meshkov instability

abstract: Shock flame interactions are fundamental problems in many combustion applications ranging from flame acceleration to flame control in supersonic propulsion applications. The present paper seeks to quantify the rate of deformation of the flame surface and burning velocity caused by the interaction and to clarify the underlying mechanisms. The interaction of a single shock wave with a cellular flame in a Hele-Shaw shock tube configuration was studied experimentally, numerically, and theoretically. A mixture of stoichiometric hydrogen-air at sub-atmospheric pressure was chosen such that large cells can be isolated and their deformation studied with precision subsequent to the interaction. Following passage of the incident shock and vorticity deposition along the flame surface, the flame cusps are flattened and reversed backwards into the burnt gas. The reversed flame then goes through four stages. At times significantly less than the characteristic flame burning time, the flame front deforms as an inert interface due to the Ricthmyer-Meshkov instability with non-linear effects becoming noticeable. At times comparable to the laminar flame time, dilatation due to chemical energy release amplifies the growth rate of Ricthmyer-Meshkov instability. This stage is abruptly terminated by the transverse burnout of the resulting flame funnels, followed by a longer front re-adjustment to a new cellular flame evolving on the cellular time scale of the flame. The proposed flame evolution model permits to predict the evolution of the flame geometry and burning rate for arbitrary shock strength below the shock-induced auto-ignition point and flames with unit Lewis number in two-dimensions.


title: Ordinal spectrum: a frequency domain characterization of complex time series

abstract: Although classical spectral analysis is a natural approach to characterise linear systems, it cannot describe a chaotic dynamics. Here, we propose the ordinal spectrum, a method based on a spectral transformation of symbolic sequences, to characterise the complexity of a time series. In contrasts with other nonlinear mapping functions (e.g. the state-space reconstruction) the proposed representation is a natural approach to distinguish, in a frequency domain, a chaotic behavior. We test the method in different synthetic and real-world data. Our results suggest that the proposed approach may provide new insights into the non-linear oscillations observed in different real data.


title: HAP-SAP: Semantic Annotation in LBSNs using Latent Spatio-Temporal Hawkes Process

abstract: The prevalence of location-based social networks (LBSNs) has eased the understanding of human mobility patterns. Knowledge of human dynamics can aid in various ways like urban planning, managing traffic congestion, personalized recommendation etc. These dynamics are influenced by factors like social impact, periodicity in mobility, spatial proximity, influence among users and semantic categories etc., which makes location modelling a critical task. However, categories which act as semantic characterization of the location, might be missing for some check-ins and can adversely affect modelling the mobility dynamics of users. At the same time, mobility patterns provide a cue on the missing semantic category. In this paper, we simultaneously address the problem of semantic annotation of locations and location adoption dynamics of users. We propose our model HAP-SAP, a latent spatio-temporal multivariate Hawkes process, which considers latent semantic category influences, and temporal and spatial mobility patterns of users. The model parameters and latent semantic categories are inferred using expectation-maximization algorithm, which uses Gibbs sampling to obtain posterior distribution over latent semantic categories. The inferred semantic categories can supplement our model on predicting the next check-in events by users. Our experiments on real datasets demonstrate the effectiveness of the proposed model for the semantic annotation and location adoption modelling tasks.


title: A Grant-based Random Access Protocol in Extra-Large Massive MIMO System

abstract: Extra-large massive multiple-input multiple-output (XL-MIMO) systems is a new concept, where spatial non-stationarities allow activate a high number of user equipments (UEs). This paper focuses on a grant-based random access (RA) approach in the novel XL-MIMO channel scenarios. Modifications in the classical Strongest User Collision Resolution (SUCRe) protocol have been aggregated to explore the visibility regions (VRs) overlapping in XL-MIMO. The proposed grant-based RA protocol takes advantage of this new degree of freedom for improving the number of access attempts and accepted UEs. As a result, the proposed grant-based protocol for XL-MIMO systems is capable of reducing latency in the pilot allocation step.


title: Bulk cyclotron resonance in the topological insulator Bi2Te3

abstract: We investigated magneto-optical response of undoped Bi2Te3 films in the terahertz frequency range (0.3 - 5.1 THz, 10 - 170 cm-1) in magnetic fields up to 10 T. The optical transmission, measured in the Faraday geometry, is dominated by a broad Lorentzian-shaped mode, whose central frequency linearly increases with applied field. In zero field, the Lorentzian is centered at zero frequency, representing hence the free-carrier Drude response. We interpret the mode as a cyclotron resonance (CR) of free carriers in Bi2Te3. Because the mode's frequency position follows a linear magnetic-field dependence and because undoped Bi2Te3 is known to possess an appreciable number of bulk carriers, we associate the mode with a bulk CR. In addition, the cyclotron mass obtained from our measurements fits well the literature data on the bulk effective mass in Bi2Te3. Interestingly, the width of the CR mode demonstrates a behavior non-monotonous in field. We propose that the CR width is defined by two competing factors: impurity scattering, which rate decreases in increasing field, and electron-phonon scattering, which rate exhibits the opposite behavior.


title: Performance Analysis and User Association Optimization for Wireless Network Aided by Multiple Intelligent Reflecting Surfaces

abstract: Intelligent reflecting surface (IRS) is deemed as a promising solution to improve the spectral and energy efficiency of wireless communications cost-effectively. In this paper, we consider a wireless network where multiple base stations (BSs) serve their respective users with the aid of distributed IRSs in the downlink communication. Specifically, each IRS assists in the transmission from its associated BS to user via passive beamforming, while in the meantime, it also randomly scatters the signals from other co-channel BSs, thus resulting in additional signal as well as interference paths in the network. As such, a new IRS-user/BS association problem arises pertaining to optimally balance the passive beamforming gains from all IRSs among different BS-user communication links. To address this new problem, we first derive a tractable lower bound of the average signal-to-interference-plus-noise ratio (SINR) at the receiver of each user, termed average-signal-to-average-interference-plus-noise ratio (ASAINR), based on which two ASAINR balancing problems are formulated to maximize the minimum ASAINR among all users by optimizing the IRS-user associations without and with BS transmit power control, respectively. We also characterize the scaling behavior of user ASAINRs with the increasing number of IRS reflecting elements to investigate the different effects of IRS-reflected signal versus interference power. Moreover, to solve the two ASAINR balancing problems that are both non-convex optimization problems, we propose an optimal solution to the problem without BS power control and low-complexity suboptimal solutions to both problems by applying the branch-and-bound method and exploiting new properties of the IRS-user associations, respectively. Numerical results verify our performance analysis and also demonstrate significant performance gains of the proposed solutions over benchmark schemes.


title: A Cascade Electron Source Based on Series Horizontal Tunneling Junctions

abstract: On-chip electron sources have wide potential applications in miniature vacuum electronic devices and emission efficiency is one of their performance benchmarks. A cascade electron source based on series metal-insulator-metal horizontal tunneling junctions is proposed, where free electrons are additively extracted from each tunneling junction. A cascade electron source with n horizontal tunneling junctions shows a theoretical emission efficiency of approximately {\eta}(n)=1-(1-{\eta}_0 )^n, with {\eta}_0 being the efficiency of a single tunneling junction. Experimentally, a cascade electron source with three Si-SiOx-Si tunneling junctions is demonstrated, achieving an emission efficiency as high as 47.6%. This work provides a new way of realizing highly efficient on-chip electron sources.


title: Revisiting Co-Occurring Directions: Sharper Analysis and Efficient Algorithm for Sparse Matrices

abstract: We study the streaming model for approximate matrix multiplication (AMM). We are interested in the scenario that the algorithm can only take one pass over the data with limited memory. The state-of-the-art deterministic sketching algorithm for streaming AMM is the co-occurring directions (COD), which has much smaller approximation errors than randomized algorithms and outperforms other deterministic sketching methods empirically. In this paper, we provide a tighter error bound for COD whose leading term considers the potential approximate low-rank structure and the correlation of input matrices. We prove COD is space optimal with respect to our improved error bound. We also propose a variant of COD for sparse matrices with theoretical guarantees. The experiments on real-world sparse datasets show that the proposed algorithm is more efficient than baseline methods.


title: Visually Analyzing Contextualized Embeddings

abstract: In this paper we introduce a method for visually analyzing contextualized embeddings produced by deep neural network-based language models. Our approach is inspired by linguistic probes for natural language processing, where tasks are designed to probe language models for linguistic structure, such as parts-of-speech and named entities. These approaches are largely confirmatory, however, only enabling a user to test for information known a priori. In this work, we eschew supervised probing tasks, and advocate for unsupervised probes, coupled with visual exploration techniques, to assess what is learned by language models. Specifically, we cluster contextualized embeddings produced from a large text corpus, and introduce a visualization design based on this clustering and textual structure - cluster co-occurrences, cluster spans, and cluster-word membership - to help elicit the functionality of, and relationship between, individual clusters. User feedback highlights the benefits of our design in discovering different types of linguistic structures.


title: Entanglement swapping theory and beyond

abstract: We focus on the general theory of entanglement swapping in this paper, through which one can get final states that the original entangled states collapse onto after entanglement swapping. We consider the entanglement swapping between 2-level maximally entangled states without limiting each subsystem to be in the same basis. For the entanglement swapping between any number of d-level maximally entangled states, we consider the case realized by performing a joint measurement on the particles that contain the first particle of the selected entangled states and the ones without involving the first particle in other entangled states. We generalize the entanglement swapping between two bipartite general pure states to multi-state cases. We propose the entanglement swapping chains for maximally entangled states, which is realized by performing measurements on multiple particles. We use mathematical induction to prove the results of entanglement swapping chains of general pure states and maximally entangled states. We propose the entanglement swapping between bipartite general pure states and maximally entangled states. In addition to pure states entanglement swapping, we also study the entanglement swapping and chains of mixed states, including X states and mixed maximally entangled states. We propose an entanglement model and give a graphical description of entanglement and entanglement swapping. Finally, we provide a new proof for our previous work [2022, Physica A, 585, 126400], which is more concise than the original one.


title: Induced differential characters on nonlinear Gra{\ss}mannians

abstract: Using a nonlinear version of the tautological bundle over Gra{\ss}mannians, we construct a transgression map for differential characters from $M$ to the nonlinear Gra{\ss}mannians $\mathrm{Gr}^S(M)$ of submanifolds of $M$ of a fixed type $S$. In particular, we obtain prequantum circle bundles of the nonlinear Gra\ss{}mannian endowed with the Marsden-Weinstein symplectic form. The associated Kostant-Souriau prequantum extension yields central Lie group extensions of a group of volume-preserving diffeomorphisms integrating Lichnerowicz cocycles.


title: FLFE: A Communication-Efficient and Privacy-Preserving Federated Feature Engineering Framework

abstract: Feature engineering is the process of using domain knowledge to extract features from raw data via data mining techniques and is a key step to improve the performance of machine learning algorithms. In the multi-party feature engineering scenario (features are stored in many different IoT devices), direct and unlimited multivariate feature transformations will quickly exhaust memory, power, and bandwidth of devices, not to mention the security of information threatened. Given this, we present a framework called FLFE to conduct privacy-preserving and communication-preserving multi-party feature transformations. The framework pre-learns the pattern of the feature to directly judge the usefulness of the transformation on a feature. Explored the new useful feature, the framework forsakes the encryption-based algorithm for the well-designed feature exchange mechanism, which largely decreases the communication overhead under the premise of confidentiality. We made experiments on datasets of both open-sourced and real-world thus validating the comparable effectiveness of FLFE to evaluation-based approaches, along with the far more superior efficacy.