title: Extending the colloidal transition metal dichalcogenide library to ReS2 nanosheets for application in gas sensing and electrocatalysis

abstract: Among the large family of transition metal dichalcogenides (TMDCs), recently ReS2 has stood out due to its nearly layer-independent optoelectronic and physicochemical properties. These are related to its 1T distorted octahedral structure, which leads to strong in-plane anisotropy and the presence of active sites at its surface, which makes ReS2 interesting for applications such as gas sensors and catalysts for H2 production. However, the current fabrication methods for ReS2 use chemical or physical vapor deposition (CVD or PVD) processes that are costly and involve complex and lengthy fabrication procedures, therefore limiting their large-scale production and exploitation. To address this issue, we developed a colloidal synthesis approach, which allows the production of ReS2 to be attained at temperatures below 360 Celsius degrees and with reaction times < 2 h, resulting in a more cost-efficient strategy than the CVD and PVD methods. By combining the solution-based synthesis with surface functionalization strategies, we demonstrate the feasibility of colloidal ReS2 nanosheet films for gas sensing of different toxic gases, moisture and other volatile compounds with highly competitive performance in comparison with devices built with CVD-grown ReS2 and MoS2. In addition, the integration of the ReS2 nanosheet films in assemblies, in which they are deposited on top of networks of carbon nanotubes, allowed us to fabricate electrodes for electrocatalysis for H2 production in both acid and alkaline conditions. Results from proof-of-principle devices show an electrocatalytic overpotential that is competitive with devices based on ReS2 produced by CVD, and even with MoS2, WS2 and MoSe2 electrocatalysts.


title: Transverse flow-induced vibrations of a sphere in the proximity of a free surface: A numerical study

abstract: We present a numerical study on the transverse flow-induced vibration (FIV) of an elastically mounted sphere in the vicinity of a free surface at subcritical Reynolds numbers. To begin, We verify and analyze the mode transitions and the motion trajectories of a fully submerged sphere vibrating freely in all directions for the Reynolds number up to $30\,000$. Next, the response dynamics of a transversely vibrating sphere is studied for three values of normalized immersion ratio ($h^*=h/D$, where $h$ is the distance from the top of the sphere to undisturbed free-surface level and $D$ is the sphere diameter), at $h^*=1$ (fully submerged sphere with no free-surface effect), $h^*=0$ (where the top of the sphere touches the free surface) and $h^*=-0.25$ (where the sphere pierces the free surface). At the lock-in range, we observe that the amplitude response at $h^*=0$ is decreased significantly compared to the case at $h^*=1$. It is found that the vorticity flux is diffused due to the free-surface boundary and the free surface acts as a sink of energy that leads to a reduction in the transverse force and amplitude response. When the sphere pierces the free surface at $h^*=-0.25$, the amplitude response at the lock-in state is found to be greater than all the submerged cases studied with the maximum peak-to-peak amplitude of $\sim2D$. We find that the interaction of the piercing sphere with the air-water interface causes a relatively large surface deformation and has a significant impact on the synchronization of the vortex shedding and the vibration frequency. Increased streamwise vorticity gives rise to a relatively larger transverse force to the piercing sphere at $h^*=-0.25$, resulting in greater positive energy transfer per cycle to sustain the large-amplitude vibration. Lasty, we study the sensitivity of FIV response on the mass ratio, $m^*$, and Froude number, $Fr$, at the lock-in state.


title: Flexible Graphene/Carbon Nanotube Electrochemical Double-Layer Capacitors with Ultrahigh Areal Performance

abstract: The fabrication of electrochemical double-layer capacitors (EDLCs) with high areal capacitance relies on the use of elevated mass loadings of highly porous active materials. Herein, we demonstrate a high-throughput manufacturing of graphene/nanotubes hybrid EDLCs. Wet-jet milling (WJM) method is exploited to exfoliate the graphite into single/few-layer graphene flakes (WJM-G) in industrial volume (production rate ~0.5 kg/day). Commercial single/double walled carbon nanotubes (SDWCNTs) are mixed with graphene flakes in order to act as spacers between the graphene flakes during their film formation. The latter is obtained by one-step vacuum filtration, resulting in self-standing, metal- and binder-free flexible EDLC electrodes with high active material mass loadings up to 30 mg cm-2. The corresponding symmetric WJM-G/SDWCNTs EDLCs exhibit electrode energy densities of 539 uWh cm-2 at 1.3 mW cm-2 and operating power densities up to 532 mW cm-2 (outperforming most of the EDLC technologies). The EDCLs show excellent cycling stability and outstanding flexibility even under highly folded states (up to 180 degrees). The combination of industrial-like production of active materials, simplified manufacturing of EDLC electrodes, and ultrahigh areal performance of the as-produced EDLCs are promising for novel advanced EDLC designs.


title: 21st Century Statistical and Computational Challenges in Astrophysics

abstract: Modern astronomy has been rapidly increasing our ability to see deeper into the universe, acquiring enormous samples of cosmic populations. Gaining astrophysical insights from these datasets requires a wide range of sophisticated statistical and machine learning methods. Long-standing problems in cosmology include characterization of galaxy clustering and estimation of galaxy distances from photometric colors. Bayesian inference, central to linking astronomical data to nonlinear astrophysical models, addresses problems in solar physics, properties of star clusters, and exoplanet systems. Likelihood-free methods are growing in importance. Detection of faint signals in complicated noise is needed to find periodic behaviors in stars and detect explosive gravitational wave events. Open issues concern treatment of heteroscedastic measurement errors and understanding probability distributions characterizing astrophysical systems. The field of astrostatistics needs increased collaboration with statisticians in the design and analysis stages of research projects, and to jointly develop new statistical methodologies. Together, they will draw more astrophysical insights into astronomical populations and the cosmos itself.


title: Operational Entanglement of Symmetry-Protected Topological Edge States

abstract: We use an entanglement measure that respects the superselection of particle number to study the non-local properties of symmetry-protected topological edge states. Considering half-filled M-leg Su-Schrieffer-Heeger (SSH) ladders as an example, we show that the topological properties and the operational entanglement extractable from the boundaries are intimately connected. Topological phases with at least two filled edge states have the potential to realize genuine, non-bipartite, many-body entanglement which can be transferred to a quantum register. The entanglement is extractable when the filled edge states are sufficiently localized on the lattice sites controlled by the users. We show, furthermore, that the onset of entanglement between the edges can be inferred from local particle number spectroscopy alone and present an experimental protocol to study the breaking of Bell's inequality.


title: Hidden Conformal Invariance of Scalar Effective Field Theories

abstract: We argue that conformal invariance is a common thread linking several scalar effective field theories that appear in the double copy and scattering equations. For a derivatively coupled scalar with a quartic ${\cal O}(p^4)$ vertex, classical conformal invariance dictates an infinite tower of additional interactions that coincide exactly with Dirac-Born-Infeld theory analytically continued to spacetime dimension $D=0$. For the case of a quartic ${\cal O}(p^6)$ vertex, classical conformal invariance constrains the theory to be the special Galileon in $D=-2$ dimensions. We also verify the conformal invariance of these theories by showing that their amplitudes are uniquely fixed by the conformal Ward identities. In these theories, conformal invariance is a much more stringent constraint than scale invariance.


title: Probabilistic solution of chaotic dynamical system inverse problems using Bayesian Artificial Neural Networks

abstract: This paper demonstrates the application of Bayesian Artificial Neural Networks to Ordinary Differential Equation (ODE) inverse problems. We consider the case of estimating an unknown chaotic dynamical system transition model from state observation data. Inverse problems for chaotic systems are numerically challenging as small perturbations in model parameters can cause very large changes in estimated forward trajectories. Bayesian Artificial Neural Networks can be used to simultaneously fit a model and estimate model parameter uncertainty. Knowledge of model parameter uncertainty can then be incorporated into the probabilistic estimates of the inferred system's forward time evolution. The method is demonstrated numerically by analysing the chaotic Sprott B system. Observations of the system are used to estimate a posterior predictive distribution over the weights of a parametric polynomial kernel Artificial Neural Network. It is shown that the proposed method is able to perform accurate time predictions. Further, the proposed method is able to correctly account for model uncertainties and provide useful prediction uncertainty bounds.


title: Tidal forces in the charged Hayward black hole spacetime

abstract: Tidal forces produced by black holes are an important result of General Relativity, related to the spacetime curvature tensor. Among the astrophysical implications of tidal forces, stands out tidal disruption events. We analyze the tidal forces in the spacetime of an electrically charged Hayward regular black hole, obtaining the components of the tidal tensor and the geodesic deviation equation. We find that the radial and angular tidal forces may vanish and change sign, unlike in the Schwarzschild spacetime. We note that tidal forces are finite at the origin of the radial coordinate in this regular black hole spacetime. We obtain the geodesic deviation vector for a body constituted of dust infalling towards the black hole with two different initial conditions.


title: Vortex-antivortex physics in shell-shaped Bose-Einstein condensates

abstract: Shell-shaped hollow Bose-Einstein condensates (BECs) exhibit behavior distinct from their filled counterparts and have recently attracted attention due to their potential realization in microgravity settings. Here we study distinct features of these hollow structures stemming from vortex physics and the presence of rotation. We focus on a vortex-antivortex pair as the simplest configuration allowed by the constraints on superfluid flow imposed by the closed-surface topology. In the two-dimensional limit of an infinitesimally thin shell BEC, we characterize the long-range attraction between the vortex-antivortex pair and find the critical rotation speed that stabilizes the pair against energetically relaxing towards self-annihilation. In the three-dimensional case, we contrast the bounds on vortex stability with those in the two-dimensional limit and the filled sphere BEC, and evaluate the critical rotation speed as a function of shell thickness. We thus demonstrate that analyzing vortex stabilization provides a nondestructive means of characterizing a hollow sphere BEC and distinguishing it from its filled counterpart.


title: Experimental Analysis of Safety Application Reliability in V2V Networks

abstract: Vehicle-to-Vehicle (V2V) communication networks enable safety applications via periodic broadcast of Basic Safety Messages (BSMs) or \textit{safety beacons}. Beacons include time-critical information such as sender vehicle's location, speed and direction. The vehicle density may be very high in certain scenarios and such V2V networks suffer from channel congestion and undesirable level of packet collisions; which in turn may seriously jeopardize safety application reliability and cause collision risky situations. In this work, we perform experimental analysis of safety application reliability (in terms of \textit{collision risks}), and conclude that there exists a unique beacon rate for which the safety performance is maximized, and this rate is unique for varying vehicle densities. The collision risk of a certain vehicle is computed using a simple kinematics-based model, and is based on \textit{tracking error}, defined as the difference between vehicle's actual position and the perceived location of that vehicle by its neighbors (via most-recent beacons). Furthermore, we analyze the interconnection between the collision risk and two well-known network performance metrics, \textit{Age of Information} (AoI) and \textit{throughput}. Our experimentation shows that AoI has a strong correlation with the collision risk and AoI-optimal beacon rate is similar to the safety-optimal beacon rate, irrespective of the vehicle densities, queuing sizes and disciplines. Whereas throughput works well only under higher vehicle densities.


title: SeqL: Secure Scan-Locking for IP Protection

abstract: Existing logic-locking attacks are known to successfully decrypt functionally correct key of a locked combinational circuit. It is possible to extend these attacks to real-world Silicon-based Intellectual Properties (IPs, which are sequential circuits) through scan-chains by selectively initializing the combinational logic and analyzing the responses. In this paper, we propose SeqL, which achieves functional isolation and locks selective flip-flop functional-input/scan-output pairs, thus rendering the decrypted key functionally incorrect. We conduct a formal study of the scan-locking problem and demonstrate automating our proposed defense on any given IP. We show that SeqL hides functionally correct keys from the attacker, thereby increasing the likelihood of the decrypted key being functionally incorrect. When tested on pipelined combinational benchmarks (ISCAS,MCNC), sequential benchmarks (ITC) and a fully-fledged RISC-V CPU, SeqL gave 100% resilience to a broad range of state-of-the-art attacks including SAT[1], Double-DIP[2], HackTest[3], SMT[4], FALL[5], Shift-and-Leak[6] and Multi-cycle attacks[7].


title: Stocks and Cryptocurrencies: Anti-fragile or Robust?

abstract: In contrast with robust systems that resist noise or fragile systems that break with noise, antifragility is defined as a property of complex systems that benefit from noise or disorder. Here we define and test a simple measure of antifragility for complex dynamical systems. In this work we use our antifragility measure to analyze real data from return prices in the stock and cryptocurrency markets. Our definition of antifragility is the product of the return price and a perturbation. We explore different types of perturbations that typically arise from within the system. Our results suggest that for both the stock market and the cryptocurrency market, the tendency among the 'top performers' is to be robust rather than antifragile. It would be important to explore other possible definitions of antifragility to understand its role in financial markets and in complex dynamical systems in general.


title: Vertical routing of spinning dipoles radiation from a chiral metamembrane

abstract: We propose a perfect photonic router based on a specially designed chiral bi-metasurface membrane for spin-polarized point light sources. Due to the mirror symmetry breaking in the chiral metamembrane, the radiation power flux of the clockwise and counterclockwise spinning dipoles to the opposite sides of the slab becomes different. We show that spinning dipoles in the specially designed chiral D$_4$-symmetrical bi-metasurface membrane can emit light either upwards or downwards depending on their rotation direction. We attribute this phenomenon to the Fano-resonance effect which is a result of the guided modes coupling with the far field. We show the advantage of D$_4$-symmetrical structures for the achievement of 100\% routing efficiency. This phenomenon can find applications in spintronics for spin-selective inter-chip coupling or as a measurement tool of spin polarization in memory cells.


title: Detection of exomoons in simulated light curves with a regularized convolutional neural network

abstract: Many moons have been detected around planets in our Solar System, but none has been detected unambiguously around any of the confirmed extrasolar planets. We test the feasibility of a supervised convolutional neural network to classify photometric transit light curves of planet-host stars and identify exomoon transits, while avoiding false positives caused by stellar variability or instrumental noise. Convolutional neural networks are known to have contributed to improving the accuracy of classification tasks. The network optimization is typically performed without studying the effect of noise on the training process. Here we design and optimize a 1D convolutional neural network to classify photometric transit light curves. We regularize the network by the total variation loss in order to remove unwanted variations in the data features. Using numerical experiments, we demonstrate the benefits of our network, which produces results comparable to or better than the standard network solutions. Most importantly, our network clearly outperforms a classical method used in exoplanet science to identify moon-like signals. Thus the proposed network is a promising approach for analyzing real transit light curves in the future.


title: Coupled McKean-Vlasov stochastic differential equations with jumps

abstract: This work concerns a type of coupled McKean-Vlasov stochastic differential equations (MVSDEs in short) with jumps. First, we prove superposition principles for these coupled MVSDEs with jumps and non-local space-distribution dependent Fokker-Planck equations. Since superposition principles are related to the well-posedness of weak solutions for coupled MVSDEs with jumps, then we give some conditions to assure it. After this, we construct space-distribution valued Markov processes associated with these coupled MVSDEs with jumps. Finally, the ergodicity of these coupled MVSDEs with jumps are investigated. As a by-product, we show the exponential ergodicity for a type of MVSDEs with jumps.


title: Instance Explainable Temporal Network For Multivariate Timeseries

abstract: Although deep networks have been widely adopted, one of their shortcomings has been their blackbox nature. One particularly difficult problem in machine learning is multivariate time series (MVTS) classification. MVTS data arise in many applications and are becoming ever more pervasive due to explosive growth of sensors and IoT devices. Here, we propose a novel network (IETNet) that identifies the important channels in the classification decision for each instance of inference. This feature also enables identification and removal of non-predictive variables which would otherwise lead to overfit and/or inaccurate model. IETNet is an end-to-end network that combines temporal feature extraction, variable selection, and joint variable interaction into a single learning framework. IETNet utilizes an 1D convolutions for temporal features, a novel channel gate layer for variable-class assignment using an attention layer to perform cross channel reasoning and perform classification objective. To gain insight into the learned temporal features and channels, we extract region of interest attention map along both time and channels. The viability of this network is demonstrated through a multivariate time series data from N body simulations and spacecraft sensor data.


title: Multidimensional continued fractions and symbolic codings of toral translations

abstract: It has been a long standing problem to find good symbolic codings for translations on the $d$-dimensional torus that enjoy the beautiful properties of Sturmian sequences like low factor complexity and good local discrepancy properties. Inspired by Rauzy's approach we construct such codings in terms of multidimensional continued fraction algorithms that are realized by sequences of substitutions. In particular, given any exponentially convergent continued fraction algorithm, these sequences lead to renormalization schemes which produce symbolic codings of toral translations and bounded remainder sets at all scales in a natural way. The exponential convergence properties of a continued fraction algorithm can be viewed in terms of a Pisot type condition imposed on an attached symbolic dynamical system. Using this fact, our approach provides a systematic way to confirm purely discrete spectrum results for wide classes of symbolic dynamical systems. Indeed, as our examples illustrate, we are able to confirm the Pisot conjecture for many well-known families of sequences of substitutions. These examples comprise classical algorithms like the Jacobi--Perron, Brun, Cassaigne--Selmer, and Arnoux--Rauzy algorithms. As a consequence, we gain symbolic codings of almost all translations of the $2$-dimensional torus having factor complexity $2n+1$ that are balanced for words, which leads to multiscale bounded remainder sets. Using the Brun algorithm, we also give symbolic codings of almost all $3$-dimensional toral translations having multiscale bounded remainder sets.


title: ALBA : Reinforcement Learning for Video Object Segmentation

abstract: We consider the challenging problem of zero-shot video object segmentation (VOS). That is, segmenting and tracking multiple moving objects within a video fully automatically, without any manual initialization. We treat this as a grouping problem by exploiting object proposals and making a joint inference about grouping over both space and time. We propose a network architecture for tractably performing proposal selection and joint grouping. Crucially, we then show how to train this network with reinforcement learning so that it learns to perform the optimal non-myopic sequence of grouping decisions to segment the whole video. Unlike standard supervised techniques, this also enables us to directly optimize for the non-differentiable overlap-based metrics used to evaluate VOS. We show that the proposed method, which we call ALBA outperforms the previous stateof-the-art on three benchmarks: DAVIS 2017 [2], FBMS [20] and Youtube-VOS [27].


title: Comparison of Recurrent Neural Network Architectures for Wildfire Spread Modelling

abstract: Wildfire modelling is an attempt to reproduce fire behaviour. Through active fire analysis, it is possible to reproduce a dynamical process, such as wildfires, with limited duration time series data. Recurrent neural networks (RNNs) can model dynamic temporal behaviour due to their ability to remember their internal input. In this paper, we compare the Gated Recurrent Unit (GRU) and the Long Short-Term Memory (LSTM) network. We try to determine whether a wildfire continues to burn and given that it does, we aim to predict which one of the 8 cardinal directions the wildfire will spread in. Overall the GRU performs better for longer time series than the LSTM. We have shown that although we are reasonable at predicting the direction in which the wildfire will spread, we are not able to asses if the wildfire continues to burn due to the lack of auxiliary data.


title: Examining Racial Bias in an Online Abuse Corpus with Structural Topic Modeling

abstract: We use structural topic modeling to examine racial bias in data collected to train models to detect hate speech and abusive language in social media posts. We augment the abusive language dataset by adding an additional feature indicating the predicted probability of the tweet being written in African-American English. We then use structural topic modeling to examine the content of the tweets and how the prevalence of different topics is related to both abusiveness annotation and dialect prediction. We find that certain topics are disproportionately racialized and considered abusive. We discuss how topic modeling may be a useful approach for identifying bias in annotated data.


title: Deep learning for Directional Dark Matter search

abstract: We provide an algorithm for detection of possible dark matter particle interactions recorded within NEWSdm detector. The NEWSdm (Nuclear Emulsions for WIMP Search directional measure) is an underground Direct detection Dark Matter search experiment. The usage of recent developments in the nuclear emulsions allows probing new regions in the WIMP parameter space. The directional approach, which is the key feature of the NEWSdm experiment, gives the unique chance of overcoming the "neutrino floor". Deep Neural Networks were used for separation between potential DM signal and various classes of background. In this paper, we present the usage of deep 3D Convolutional Neural Networks to take into account the physical peculiarities of the datasets and report the achievement of the required $10^4$ background rejection power.


title: A lower bound for splines on tetrahedral vertex stars

abstract: A tetrahedral complex all of whose tetrahedra meet at a common vertex is called a \textit{vertex star}. Vertex stars are a natural generalization of planar triangulations, and understanding splines on vertex stars is a crucial step to analyzing trivariate splines. It is particularly difficult to compute the dimension of splines on vertex stars in which the vertex is completely surrounded by tetrahedra -- we call these \textit{closed} vertex stars. A formula due to Alfeld, Neamtu, and Schumaker gives the dimension of $C^r$ splines on closed vertex stars of degree at least $3r+2$. We show that this formula is a lower bound on the dimension of $C^r$ splines of degree at least $(3r+2)/2$. Our proof uses apolarity and the so-called \textit{Waldschmidt constant} of the set of points dual to the interior faces of the vertex star. We also use an argument of Whiteley to show that the only splines of degree at most $(3r+1)/2$ on a generic closed vertex star are global polynomials.


title: Pay Attention to What You Read: Non-recurrent Handwritten Text-Line Recognition

abstract: The advent of recurrent neural networks for handwriting recognition marked an important milestone reaching impressive recognition accuracies despite the great variability that we observe across different writing styles. Sequential architectures are a perfect fit to model text lines, not only because of the inherent temporal aspect of text, but also to learn probability distributions over sequences of characters and words. However, using such recurrent paradigms comes at a cost at training stage, since their sequential pipelines prevent parallelization. In this work, we introduce a non-recurrent approach to recognize handwritten text by the use of transformer models. We propose a novel method that bypasses any recurrence. By using multi-head self-attention layers both at the visual and textual stages, we are able to tackle character recognition as well as to learn language-related dependencies of the character sequences to be decoded. Our model is unconstrained to any predefined vocabulary, being able to recognize out-of-vocabulary words, i.e. words that do not appear in the training vocabulary. We significantly advance over prior art and demonstrate that satisfactory recognition accuracies are yielded even in few-shot learning scenarios.


title: Features of magnetic and magnetoelectric properties, H-T phase diagram of GdCr3(BO3)4

abstract: Comprehensive studies of magnetic properties of GdCr3(BO3)4 single crystal have been carried out. The integrals of intrachain and interchain exchange interactions in the chromium subsystem have been determined and the strength of Cr-Gd exchange interaction has been estimated. The values of the exchange field and the effective magnetic anisotropy field of GdCr3(BO3)4 have been estimated. The electric polarization along the a axis in the longitudinal geometry of the experiment has been detected. Correlations between the electric polarization and the magnetization of the studied compound have been found. The spin-reorientation phase transition in the magnetically ordered state has been found. This transition exists for the external magnetic field applied along any crystallographic direction and the transition field depends weakly on the direction of the field. The nature of the spin-reorientation phase transition has been discussed. Magnetic phase diagram has been constructed and spin configurations for the low-field and high-field phases have been proposed.


title: Machine learning formation enthalpies of intermetallics

abstract: Developing fast and accurate methods to discover intermetallic compounds is relevant for alloy design. While density-functional-theory (DFT)-based methods have accelerated design of binary and ternary alloys by providing rapid access to the energy and properties of the stable intermetallics, they are not amenable for rapidly screening the vast combinatorial space of multi-principal element alloys (MPEAs). Here, a machine-learning model is presented for predicting the formation enthalpy of binary intermetallics and used to identify new ones. The model uses easily accessible elemental properties as descriptors and has a mean absolute error (MAE) of 0.025 eV/atom in predicting the formation enthalpy of stable binary intermetallics reported in the Materials Project database. The model further predicts stable intermetallics to form in 112 binary alloy systems that do not have any stable intermetallics reported in the Materials Project database. DFT calculations confirm one such stable intermetallic identified by the model, NbV2 to be on the convex hull. The model trained with binary intermetallics can also predict ternary intermetallics with similar accuracy as DFT, which suggests that it could be extended to identify compositionally complex intermetallics that may form in MPEAs.


title: On the benefit of 3-tier SOA architecture promoting information sharing among TMS systems and Brazilian e- Government Web Services: A CT-e case study

abstract: Technological advances regarding software integration processes have revolutionized the communication between government and society, which are increasingly based on information and communication technologies (ICTs). Service-Oriented Architecture (SOA) has emerged originating new prospects for system integration within organizations and external partners, providing essential information for decision-making process. Brazilian e-Government initiatives has introduced as a national electronic document model known as Electronic Transportation Knowledge (CT-e), looking for simplifying additional obligations of taxpayers and, at the same time, allowing real-time monitoring of cargo transportation services provided by the Revenue. Nonetheless, there is a major challenge that prevents Transportation Management Systems (TMS) and Government to be benefited by this innovation, due to their distinct platforms and databases that prevent information exchange between them. This paper proposes an architectural solution to integrate TMS systems with CT-e Web Service applying concepts of SOA and N-tier architecture. Through a real case study of a large Cargo carrier, we report an increase in transportation knowledge management, speeding up in the communication and data validation process and several costs reduction including paper, printing, document storage and those involved in the necessary logistics that is needed to recover such documents.


title: Efficacy of Satisfiability Based Attacks in the Presence of Circuit Reverse Engineering Errors

abstract: Intellectual Property (IP) theft is a serious concern for the integrated circuit (IC) industry. To address this concern, logic locking countermeasure transforms a logic circuit to a different one to obfuscate its inner details. The transformation caused by obfuscation is reversed only upon application of the programmed secret key, thus preserving the circuit's original function. This technique is known to be vulnerable to Satisfiability (SAT)-based attacks. But in order to succeed, SAT-based attacks implicitly assume a perfectly reverse-engineered circuit, which is difficult to achieve in practice due to reverse engineering (RE) errors caused by automated circuit extraction. In this paper, we analyze the effects of random circuit RE-errors on the success of SAT-based attacks. Empirical evaluation on ISCAS, MCNC benchmarks as well as a fully-fledged RISC-V CPU reveals that the attack success degrades exponentially with increase in the number of random RE-errors. Therefore, the adversaries either have to equip RE-tools with near perfection or propose better SAT-based attacks that can work with RE-imperfections.


title: Mid-infrared frequency combs at 10 GHz

abstract: We demonstrate mid-infrared (MIR) frequency combs at 10 GHz repetition rate via intra-pulse difference-frequency generation (DFG) in quasi-phase-matched nonlinear media. Few-cycle pump pulses ($\mathbf{\lesssim}$15 fs, 100 pJ) from a near-infrared (NIR) electro-optic frequency comb are provided via nonlinear soliton-like compression in photonic-chip silicon-nitride waveguides. Subsequent intra-pulse DFG in periodically-poled lithium niobate waveguides yields MIR frequency combs in the 3.1--4.1 $\mu$m region, while orientation-patterned gallium phosphide provides coverage across 7--11 $\mu$m. Cascaded second-order nonlinearities simultaneously provide access to the carrier-envelope-offset frequency of the pump source via in-line f-2f nonlinear interferometry. The high-repetition rate MIR frequency combs introduced here can be used for condensed phase spectroscopy and applications such as laser heterodyne radiometry.


title: 11-{\mu}s Time-resolved, Continuous Dual-Comb Spectroscopy with Spectrally Filtered Mode-locked Frequency Combs

abstract: Broadband dual-comb spectroscopy (DCS) based on portable mode-locked fiber frequency combs is a powerful tool for in situ, calibration free, multi-species spectroscopy. While the acquisition of a single spectrum with mode-locked DCS typically takes microseconds to milliseconds, the applications of these spectrometers have generally been limited to systems and processes with time changes on the order of seconds or minutes due to the need to average many spectra to reach a high signal-to-noise ratio (SNR). Here, we demonstrate high-speed, continuous, fiber mode-locked laser DCS with down to 11 $\mu$s time resolution. We achieve this by filtering the comb spectra using portable Fabry-Perot cavities to generate filtered combs with 1 GHz tooth spacing. The 1 GHz spacing increases the DCS acquisition speed and SNR for a given optical bandwidth while retaining a sufficient spacing to resolve absorption features over a wide range of conditions. We measure spectra of methane inside a rapid compression machine throughout the 16 ms compression cycle with 133 cm$^{-1}$ bandwidth (4000 comb teeth) and 1.4 ms time resolution by spectrally filtering one of the combs. By filtering both combs, we measured a single-shot, 25 cm$^{-1}$ (750 comb teeth) spectrum of CO around 6330 cm$^{-1}$ in 11 $\mu$s. The technique enables simultaneously high-speed and high-resolution DCS measurements, and can be applied anywhere within the octave-spanning spectrum of robust and portable fiber mode-locked frequency combs.


title: Ergodicity and steady state analysis for Interference Queueing Networks

abstract: We analyze an interacting queueing network on $\mathbb{Z}^d$ that was introduced in Sankararaman-Baccelli-Foss (2019) as a model for wireless networks. We show that the marginals of the minimal stationary distribution have exponential tails. This is used to furnish asymptotics for the maximum steady state queue length in growing boxes around the origin. We also establish a decay of correlations which shows that the minimal stationary distribution is strongly mixing, and hence, ergodic with respect to translations on $\mathbb{Z}^d$.


title: Spectral singularities and tunable slab lasers with 2D material coating

abstract: We investigate linear and nonlinear spectral singularities in the transverse electric and transverse magnetic modes of a slab laser consisting of an active planar slab sandwiched between a pair of Graphene or Weyl semimetal thin sheets. The requirement of the presence of linear spectral singularities gives the laser threshold condition while the existence of nonlinear spectral singularities due to an induced weak Kerr nonlinearity allows for computing the laser output intensity in the vicinity of the threshold. The presence of the Graphene and Weyl semimetal sheets introduces additional physical parameters that we can use to tune the output intensity of the laser. We provide a comprehensive study of this phenomenon and report peculiarities of lasing in the TM modes of the slab with Weyl semimetal coatings. In particular, we reveal the existence of a critical angle such that no lasing seems possible for TM modes of the slab with smaller emission angle. Our results suggest that for TM modes with emission angle slightly exceeding the critical angle, the laser output intensity becomes highly sensitive to the physical parameters of the coating.


title: Multi-task deep learning for image segmentation using recursive approximation tasks

abstract: Fully supervised deep neural networks for segmentation usually require a massive amount of pixel-level labels which are manually expensive to create. In this work, we develop a multi-task learning method to relax this constraint. We regard the segmentation problem as a sequence of approximation subproblems that are recursively defined and in increasing levels of approximation accuracy. The subproblems are handled by a framework that consists of 1) a segmentation task that learns from pixel-level ground truth segmentation masks of a small fraction of the images, 2) a recursive approximation task that conducts partial object regions learning and data-driven mask evolution starting from partial masks of each object instance, and 3) other problem oriented auxiliary tasks that are trained with sparse annotations and promote the learning of dedicated features. Most training images are only labeled by (rough) partial masks, which do not contain exact object boundaries, rather than by their full segmentation masks. During the training phase, the approximation task learns the statistics of these partial masks, and the partial regions are recursively increased towards object boundaries aided by the learned information from the segmentation task in a fully data-driven fashion. The network is trained on an extremely small amount of precisely segmented images and a large set of coarse labels. Annotations can thus be obtained in a cheap way. We demonstrate the efficiency of our approach in three applications with microscopy images and ultrasound images.


title: Electronic localization in twisted bilayer MoS$_2$ with small rotation angle

abstract: Moir\'e patterns are known to confine electronic states in transition metal dichalcogenide bilayers, thus generalizing the notion of magic angles discovered in twisted bilayer graphene to semiconductors. Here, we present a revised Slater-Koster tight-binding model that facilitates the first reliable and systematic studies of such states in twisted bilayer MoS$_2$ for the whole range of rotation angles $\theta$. We show that isolated bands appear at low energy for $\theta \lesssim 5 - 6^\circ$. Moreover, these bands become "flatbands", characterized by a vanishing average velocity, for the smallest angles $\theta \lesssim 2^\circ$.


title: Short-range magnetic interactions and spin-glass behavior in the quasi-2D nickelate Pr4Ni3O8

abstract: The nickelate Pr4Ni3O8 features quasi-two-dimensional layers consisting of three stacked square-planar NiO2 planes, in a similar way to the well-known cuprate superconductors. The mixed-valent nature of Ni and its metallic properties makes it a candidate for potentially unconventional superconductivity. We have synthesized Pr4Ni3O8 by topotactic reduction of Pr4Ni3O10 in 10 percent hydrogen gas, and report on measurements of powder-neutron diffraction, magnetization and muon-spin rotation (uSR). We find that Pr4Ni3O8 shows complicated spin-glass behavior with a distinct magnetic memory effect in the temperature range from 2 to 300 K and a freezing temperature T_s ~ 68 K. Moreover, the analysis of uSR spectra indicates two magnetic processes characterized by remarkably different relaxation rates: a slowly-relaxing signal, resulting from paramagnetic fluctuations of Pr/Ni ions, and a fast-relaxing signal, whose relaxation rate increases substantially below ~ 70 K which can be ascribed to the presence of short-range correlated regions. We conclude that the complex spin-freezing process in Pr4Ni3O8 is governed by these multiple magnetic interactions. It is possible that the complex magnetism in Pr4Ni3O8 is detrimental to the occurrence of superconductivity.


title: A note on Integral Satake isomorphisms

abstract: We formulate a Satake isomorphism for the integral spherical Hecke algebra of an unramified $p$-adic group $G$ and generalize the formulation to give a description of the Hecke algebra $H_G(V)$ of weight $V$, where $V$ is a lattice in an irreducible algebraic representation of $G$.


title: Understanding Lua's Garbage Collection -- Towards a Formalized Static Analyzer

abstract: We provide the semantics of garbage collection (GC) for the Lua programming language. Of interest are the inclusion of finalizers(akin to destructors in object-oriented languages) and weak tables (a particular implementation of weak references). The model expresses several aspects relevant to GC that are not covered in Lua's documentation but that, nevertheless, affect the observable behavior of programs. Our model is mechanized and can be tested with real programs. Our long-term goal is to provide a formalized static analyzer of Lua programs to detect potential dangers. As a first step, we provide a prototype tool, LuaSafe, that typechecks programs to ensure their behavior is not affected by GC. Our model of GC is validated in practice by the experimentation with its mechanization, and in theory by proving several soundness properties.


title: Unruh detectors and quantum chaos in JT gravity

abstract: We identify the spectral properties of Hawking-Unruh radiation in the eternal black hole at ultra low energies as a probe for the chaotic level statistics of quantum black holes. Level repulsion implies that there are barely Hawking particles with an energy smaller than the level separation. This effect is experimentally accessible by probing the Unruh heat bath with a linear detector. We provide evidence for this effect via explicit and exact calculations in JT gravity building on a radar definition of bulk observables in the model. Similar results are observed for the bath energy density. This universal feature of eternal Hawking radiation should resonate into the evaporating setup.


title: On the local and global properties of the gravitational spheres of influence

abstract: We revisit the concept of sphere of gravitational activity, to which we give both a geometrical and physical meaning. This study aims to refine this concept in a much broader context that could, for instance, be applied to exo-planetary problems (in a Galactic stellar disc-Star-Planets system) to define a first order "border" of a planetary system. The methods used in this paper rely on classical Celestial Mechanics and develop the equations of motion in the framework of the 3-body problem (e.g. Star-Planet-Satellite System). We start with the basic definition of planet's sphere of activity as the region of space in which it is feasible to assume a planet as the central body and the Sun as the perturbing body when computing perturbations of the satellite's motion. We then investigate the geometrical properties and physical meaning of the ratios of Solar accelerations (central and perturbing) and planetary accelerations (central and perturbing), and the boundaries they define. We clearly distinguish throughout the paper between the sphere of activity, the Chebotarev sphere (a particular case of the sphere of activity), Laplace sphere, and the Hill sphere. The last two are often wrongfully thought to be one and the same. Furthermore, taking a closer look and comparing the ratio of the star's accelerations (central/perturbing) to that of the planetary acceleration (central/perturbing) as a function of the planeto-centric distance, we have identified different dynamical regimes which are presented in the semi-analytical analysis.


title: Robust Stackelberg Controllability for the Kuramoto-Sivashinsky Equation

abstract: In this article the robust Stackelberg controllability (RSC) problem is studied for a nonlinear fourth-order parabolic equation, namely, the Kuramoto-Sivashinsky equation. When three external sources are acting into the system, the RSC problem consists essentially in combining two subproblems: the first one is a saddle point problem among two sources. Such an sources are called the "follower control" and its associated "disturbance signal". This procedure corresponds to a robust control problem. The second one is a hierarchic control problem (Stackelberg strategy), which involves the third force, so-called leader control. The RSC problem establishes a simultaneous game for these forces in the sense that, the leader control has as objective to verify a controllability property, while the follower control and perturbation solve a robust control problem. In this paper the leader control obeys to the exact controllability to the trajectories. Additionally, iterative algorithms to approximate the robust control problem as well as the robust Stackelberg strategy for the nonlinear Kuramoto-Sivashinsky equation are developed and implemented.


title: Prediction of Thrombectomy Functional Outcomes using Multimodal Data

abstract: Recent randomised clinical trials have shown that patients with ischaemic stroke {due to occlusion of a large intracranial blood vessel} benefit from endovascular thrombectomy. However, predicting outcome of treatment in an individual patient remains a challenge. We propose a novel deep learning approach to directly exploit multimodal data (clinical metadata information, imaging data, and imaging biomarkers extracted from images) to estimate the success of endovascular treatment. We incorporate an attention mechanism in our architecture to model global feature inter-dependencies, both channel-wise and spatially. We perform comparative experiments using unimodal and multimodal data, to predict functional outcome (modified Rankin Scale score, mRS) and achieve 0.75 AUC for dichotomised mRS scores and 0.35 classification accuracy for individual mRS scores.


title: High-fidelity State Transfer Between Leaky Quantum Memories

abstract: We derive the optimal analytical quantum-state-transfer control solutions for two disparate quantum memory blocks. Employing the SLH formalism description of quantum network theory, we calculate the full quantum dynamics of system populations, which lead to the optimal solution for the highest quantum fidelity attainable. We show that, for the example where the mechanical modes of two optomechanical oscillators act as the quantum memory blocks, their optical modes and a waveguide channel connecting them can be used to achieve a quantum state transfer fidelity of 96% with realistic parameters using our derived optimal control solution. The effects of the intrinsic losses and the asymmetries in the physical memory parameters are discussed quantitatively.


title: Rapidity Logarithms in SCET Without Modes

abstract: We re-examine observables with rapidity divergences in the context of a formulation of Soft-Collinear Effective Theory in which infrared degrees of freedom are not explicitly separated into modes. We consider the Sudakov form factor with a massive vector boson and Drell-Yan production of lepton pairs at small transverse momentum as demonstrative examples. In this formalism, rapidity divergences introduce a scheme dependence into the effective theory and are associated with large logarithms appearing in the soft matching conditions. This scheme dependence may be used to derive the corresponding rapidity renormalization group equations, and rates naturally factorize into hard, soft and jet contributions without the introduction of explicit modes.


title: Embedded System to Detect, Track and Classify Plankton Using a Lensless Video Microscope

abstract: Plankton provide the foundation for life on earth. To advance our understanding of the marine ecosystem, for scientific, commercial and survival purposes, more in situ continuous monitoring and analysis of plankton is required. Cost, complexity, power and data communication demands are barriers to widespread deployment of in situ plankton microscopes. We address these barriers by building and characterizing a lensless microscope with a data pipeline optimized for the Raspberry Pi 3. The pipeline records 1080p video of multiple plankton swimming in a sample well while simultaneously detecting, tracking and selecting salient cropped images for classification @ 5.1 frames per second. Thirteen machine learning classifiers and combinations of nine sets of features are evaluated on nine plankton classes, optimized for speed (F1=0.74 @ 1 msec. per image prediction) and accuracy (F1=0.81 @ .80 sec.). System performance results confirm that performing the entire data pipeline from image capture to classification is possible on a low-cost open-source embedded computer.


title: On the measurement of handedness in Fermi Large Area Telescope data

abstract: A handedness in the arrival directions of high-energy photons from outside our Galaxy can be related to the helicity of an intergalactic magnetic field. Previous estimates by arXiv:1310.4826 and arXiv:1412.3171 showed a hint of a signal present in the photons observed by the Fermi Large Area Telescope (LAT). An update on the measurement of handedness in Fermi-LAT data is presented using more than 10 years of observations. Simulations are performed to study the uncertainty of the measurements, taking into account the structure of the exposure caused by the energy-dependent instrument response and its observing profile, as well as the background from the interstellar medium. The simulations are required to accurately estimate the uncertainty and to show that previously the uncertainty was significantly underestimated. The apparent signal in the earlier analysis of {\em Fermi}-LAT data is rendered non-significant.


title: Allostery and Kinetic Proofreading

abstract: Kinetic proofreading is an error correction mechanism present in the processes of the central dogma and beyond, and typically requires the free energy of nucleotide hydrolysis for its operation. Though the molecular players of many biological proofreading schemes are known, our understanding of how energy consumption is managed to promote fidelity remains incomplete. In our work, we introduce an alternative conceptual scheme called 'the piston model of proofreading' where enzyme activation through hydrolysis is replaced with allosteric activation achieved through mechanical work performed by a piston on regulatory ligands. Inspired by Feynman's ratchet and pawl mechanism, we consider a mechanical engine designed to drive the piston actions powered by a lowering weight, whose function is analogous to that of ATP synthase in cells. Thanks to its mechanical design, the piston model allows us to tune the 'knobs' of the driving engine and probe the graded changes and trade-offs between speed, fidelity and energy dissipation. It provides an intuitive explanation of the conditions necessary for optimal proofreading and reveals the unexpected capability of allosteric molecules to beat the Hopfield limit of fidelity by leveraging the diversity of states available to them. The framework that we built for the piston model can also serve as a basis for additional studies of driven biochemical systems.


title: The Constituent Counting Rule and Omega Photoproduction

abstract: The constituent counting ruling (CCR) has been found to hold for numerous hard, exclusive processes. It predicts the differential cross section at high energies and fixed $\cos \theta_{c.m.}$ should follow $\frac{d \sigma}{dt} \sim \frac{1}{s^{n-2}}$, where $n$ is the minimal number of constituents involved in the reaction. Here we provide an in-depth analysis of the reaction $\gamma p \rightarrow \omega p$ at $\theta_{c.m.}\sim 90^\circ$ using CLAS data with an energy range of $s = 5 - 8$ GeV$^2$, where the CCR has been shown to work in other reactions. We argue for a stringent method to select data to test the CCR and utilize a Taylor-series expansion to take advantage of data from nearby angle bins in our analysis. Na\"{i}vely, this reaction would have $n=9$ (or $n=10$ if the photon is in a $q\bar{q}$ state) and we would expect a scaling of $\sim s^{-7}$ ($s^{-8}$). Instead, a scaling of $s^{-(9.08 \pm 0.11)}$ was observed. Explanations for this apparent failure of the na\"{i}ve CCR assumptions are examined.


title: Supernovae neutrino detection via coherent scattering off silicon nuclei

abstract: Low-energy neutrinos are clean messengers from supernovae explosions and probably carry unique insights into the process of stellar evolution. We estimate the expected number of events considering coherent elastic scattering of neutrinos off silicon nuclei, as would happen in Charge Coupled Devices (CCD) detectors. The number of expected events, integrated over a window of about 18 s, is $\sim$ 4 if we assume 10 kg of silicon and a supernovae 1 kpc away. For a distance similar to the red supergiant Betelgeuse, the number of expected events increases to $\sim$ 30 - 120, depending on the supernovae model. We argue that silicon detectors can be effective for supernovae neutrinos, and might possibly distinguish between models for certain target masses and distances.


title: Anomalous mechanisms of the loss of observability in non-Hermitian quantum models

abstract: Quantum phase transitions in certain non-Hermitian systems controlled by non-tridiagonal Hamiltonian matrices are found anomalous. In contrast to the known models with tridiagonal-matrix structure in which the geometric multiplicity of the completely degenerate energy eigenvalue appears always equal to one, this multiplicity is found larger than one in the present models. The phenomenon is interpreted as a confluence of several decoupled Kato's exceptional points of equal or different orders.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP


title: On connectivity-dependent resource requirements for digital quantum simulation of $d$-level particles

abstract: A primary objective of quantum computation is to efficiently simulate quantum physics. Scientifically and technologically important quantum Hamiltonians include those with spin-$s$, vibrational, photonic, and other bosonic degrees of freedom, i.e. problems composed of or approximated by $d$-level particles (qudits). Recently, several methods for encoding these systems into a set of qubits have been introduced, where each encoding's efficiency was studied in terms of qubit and gate counts. Here, we build on previous results by including effects of hardware connectivity. To study the number of SWAP gates required to Trotterize commonly used quantum operators, we use both analytical arguments and automatic tools that optimize the schedule in multiple stages. We study the unary (or one-hot), Gray, standard binary, and block unary encodings, with three connectivities: linear array, ladder array, and square grid. Among other trends, we find that while the ladder array leads to substantial efficiencies over the linear array, the advantage of the square over the ladder array is less pronounced. These results are applicable in hardware co-design and in choosing efficient qudit encodings for a given set of near-term quantum hardware. Additionally, this work may be relevant to the scheduling of other quantum algorithms for which matrix exponentiation is a subroutine.


title: Spatiotemporal motion prediction in free-breathing liver scans via a recurrent multi-scale encoder decoder

abstract: In this work we propose a multi-scale recurrent encoder-decoder architecture to predict the breathing induced organ deformation in future frames. The model was trained end-to-end from input images to predict a sequence of motion labels. Targets were created by quantizing the displacement fields obtained from deformable image registration. We report results using MRI free-breathing acquisitions from 12 volunteers. Experiments were aimed at investigating the proposed multi-scale design and the effect of increasing the number of predicted frames on the overall accuracy of the model. The proposed model was able to predict vessel positions in the next temporal image with a mean accuracy of 2.07 (2.95) mm showing increased performance in comparison with state-of-the-art approaches.


title: Mass-conserving diffusion-based dynamics on graphs

abstract: An emerging technique in image segmentation, semi-supervised learning, and general classification problems concerns the use of phase-separating flows defined on finite graphs. This technique was pioneered in Bertozzi and Flenner (2012), which used the Allen-Cahn flow on a graph, and was then extended in Merkurjev, Kostic and Bertozzi (2013) using instead the Merriman-Bence-Osher (MBO) scheme on a graph. In previous work by the authors, Budd and Van Gennip (2019), we gave a theoretical justification for this use of the MBO scheme in place of Allen-Cahn flow, showing that the MBO scheme is a special case of a "semi-discrete" numerical scheme for Allen-Cahn flow. In this paper, we extend this earlier work, showing that this link via the semi-discrete scheme is robust to passing to the mass-conserving case. Inspired by Rubinstein and Sternberg (1992), we define a mass-conserving Allen-Cahn equation on a graph. Then, with the help of the tools of convex optimisation, we show that our earlier machinery can be applied to derive the mass-conserving MBO scheme on a graph as a special case of a semi-discrete scheme for mass-conserving Allen-Cahn. We give a theoretical analysis of this flow and scheme, proving various desired properties like existence and uniqueness of the flow and convergence of the scheme, and also show that the semi-discrete scheme yields a choice function for solutions to the mass-conserving MBO scheme. Finally, we exhibit initial work towards extending to the multi-class case, which in future work we seek to connect to recent work on multi-class MBO in Jacobs, Merkurjev and Esedoglu (2018).


title: Biologically-informed neural networks guide mechanistic modeling from sparse experimental data

abstract: Biologically-informed neural networks (BINNs), an extension of physics-informed neural networks [1], are introduced and used to discover the underlying dynamics of biological systems from sparse experimental data. In the present work, BINNs are trained in a supervised learning framework to approximate in vitro cell biology assay experiments while respecting a generalized form of the governing reaction-diffusion partial differential equation (PDE). By allowing the diffusion and reaction terms to be multilayer perceptrons (MLPs), the nonlinear forms of these terms can be learned while simultaneously converging to the solution of the governing PDE. Further, the trained MLPs are used to guide the selection of biologically interpretable mechanistic forms of the PDE terms which provides new insights into the biological and physical mechanisms that govern the dynamics of the observed system. The method is evaluated on sparse real-world data from wound healing assays with varying initial cell densities [2].


title: Different eigenvalue distributions encode the same temporal tasks in recurrent neural networks

abstract: Different brain areas, such as the cortex and, more specifically, the prefrontal cortex, show great recurrence in their connections, even in early sensory areas. {Several approaches and methods based on trained networks have been proposed to model and describe these regions. It is essential to understand the dynamics behind the models because they are used to build different hypotheses about the functioning of brain areas and to explain experimental results. The main contribution here is the description of the dynamics through the classification and interpretation carried out with a set of numerical simulations. This study sheds light on the multiplicity of solutions obtained for the same tasks and shows the link between the spectra of linearized trained networks and the dynamics of the counterparts. The patterns in the distribution of the eigenvalues of the recurrent weight matrix were studied and properly related to the dynamics in each task.


title: Uncertainty-aware Three-phase Optimal Power Flow based on Data-driven Convexification

abstract: This paper presents a novel optimization framework of formulating the three-phase optimal power flow that involves uncertainty. The proposed uncertainty-aware optimization (UaO) framework is: 1) a deterministic framework that is less complex than the existing optimization frameworks involving uncertainty, and 2) convex such that it admits polynomial-time algorithms and mature distributed optimization methods. To construct this UaO framework, a methodology of learning-aided uncertainty-aware modeling, with prediction errors of stochastic variables as the measurement of uncertainty, and a theory of data-driven convexification are proposed. Theoretically, the UaO framework is applicable for modeling general optimization problems under uncertainty.


title: Using PHAST to port Caffe library: First experiences and lessons learned

abstract: Performance has always been a hot topic in computing. However, the viable ways to achieve it have taken many forms in the different moments of computing history. Today, technological limits have pushed the adoption of increasingly parallel multi-core and many-core architectures and even the use of highly specific hardware (aka Domain-Specific Architectures, or DSAs) to solve very specific problems. In this new context, one major problem is how to develop software once, and be able to run it on multiple accelerator architectures, seamlessly. Ideally aiming at a single programming model that can automatically target the code to different kinds of parallel architectures, allowing specific tuning with minimal, if any, changes to the source-code in order to seek performance portability. A comprehensive solution to this is still lacking. In this work, we present the use of the PHAST Library, which allows users to code once, at a high level of abstraction and thus with high productivity, and automatically targeting different parallel devices by changing the compilation process. As a case study, we have worked on the porting of the well-known deep-learning Caffe framework. The framework has been split into different parts and some of them have been ported, obtaining a working straightforward implementation that can be run on both CPUs and GPUs. We conclude discussing the lessons learned during the porting process, and analyzing the obtained performance in the perspective of completing the porting and expanding it to future consequent works.


title: Magnetic Field Structure of Orion Source I

abstract: We observed polarization of the SiO rotational transitions from Orion Source I (SrcI) to probe the magnetic field in bipolar outflows from this high mass protostar. Both 43 GHz $J$=1-0 and 86 GHz $J$=2-1 lines were mapped with $\sim$20 AU resolution, using the Very Large Array (VLA) and Atacama Large Millimeter/Submillimeter Array (ALMA), respectively. The $^{28}$SiO transitions in the ground vibrational state are a mixture of thermal and maser emission. Comparison of the polarization position angles in the $J$=1-0 and $J$=2-1 transitions allows us to set an upper limit on possible Faraday rotation of $10^{4}$ radians m$^{-2}$, which would twist the $J$=2-1 position angles typically by less than 10 degrees. The smooth, systematic polarization structure in the outflow lobes suggests a well ordered magnetic field on scales of a few hundred AU. The uniformity of the polarization suggests a field strength of $\sim$30 milli-Gauss. It is strong enough to shape the bipolar outflow and possibly lead to sub-Keplerian rotation of gas at the base of the outflow. The strikingly high fractional linear polarizations of 80-90% in the $^{28}$SiO $v$=0 masers require anisotropic pumping. We measured circular polarizations of 60% toward the strongest maser feature in the $v$=0 $J$=1-0 peak. Anisotropic resonant scattering (ARS) is likely to be responsible for this circular polarization. We also present maps of the $^{29}$SiO $v$=0 $J$=2-1 maser and several other SiO transitions at higher vibrational levels and isotopologues.


title: To update or not to update? Delayed Nonparametric Bandits with Randomized Allocation

abstract: Delayed rewards problem in contextual bandits has been of interest in various practical settings. We study randomized allocation strategies and provide an understanding on how the exploration-exploitation tradeoff is affected by delays in observing the rewards. In randomized strategies, the extent of exploration-exploitation is controlled by a user-determined exploration probability sequence. In the presence of delayed rewards, one may choose between using the original exploration sequence that updates at every time point or update the sequence only when a new reward is observed, leading to two competing strategies. In this work, we show that while both strategies may lead to strong consistency in allocation, the property holds for a wider scope of situations for the latter. However, for finite sample performance, we illustrate that both strategies have their own advantages and disadvantages, depending on the severity of the delay and underlying reward generating mechanisms.


title: Extra\c{c}\~ao e Classifica\c{c}\~ao de Caracter\'isticas Radi\^omicas em Gliomas de Baixo Grau para An\'alise da Codele\c{c}\~ao 1p/19q

abstract: Radiomics is an emerging area, which presents a large set of computational methods and techniques to extract quantitative characteristics from magnetic resonance images. In the feature extraction stage, its outputs must be well defined and carefully evaluated, to provide imaging diagnostics, prognoses and responses to treatment therapies. In this study, we present the extraction of quantitative characteristics from magnetic resonance images in low-grade gliomas using the Pyradiomics library and, using a multilayer perceptron neural network, we will show the prediction of the deletion of the 1p / 19q chromosomes in these gliomas. Several studies show that 1p / 19q chromosomal codelection is a positive prognostic factor in low-grade gliomas, as they are more sensitive to chemotherapy. Due to the large number of extracted characteristics, it was necessary to use a dimensionality reduction technique, the analysis principal components, which proved to be efficient in this study. After training and testing the characteristics performed by the multilayer perceptron neural network, the results showed to be very promising in detecting the deletion status of chromosomes 1p / 19q, mainly taking into account the possibility of avoiding surgical biopsies for this diagnosis.


title: Learning control of quantum systems using frequency-domain optimization algorithms

abstract: We investigate two classes of quantum control problems by using frequency-domain optimization algorithms in the context of ultrafast laser control of quantum systems. In the first class, the system model is known and a frequency-domain gradient-based optimization algorithm is applied to searching for an optimal control field to selectively and robustly manipulate the population transfer in atomic Rubidium. The other class of quantum control problems involves an experimental system with an unknown model. In the case, we introduce a differential evolution algorithm with a mixed strategy to search for optimal control fields and demonstrate the capability in an ultrafast laser control experiment for the fragmentation of Pr(hfac)$_3$ molecules.


title: Decomposition of Topological Azumaya Algebras

abstract: Let $\mathcal{A}$ be a topological Azumaya algebra of degree $mn$ over a CW complex $X$. We give conditions for the positive integers $m$ and $n$, and the space $X$ so that $\mathcal{A}$ can be decomposed as the tensor product of topological Azumaya algebras of degrees $m$ and $n$. Then we prove that if $m<n$ and the dimension of $X$ is higher than $2m+1$, $\mathcal{A}$ may not have such decomposition.


title: Coherent Microwave Control of a Nuclear Spin Ensemble at Room Temperature

abstract: We use nominally forbidden electron-nuclear spin transitions in nitrogen-vacancy (NV) centers in diamond to demonstrate coherent manipulation of a nuclear spin ensemble using microwave fields at room temperature. We show that employing an off-axis magnetic field with a modest amplitude($\approx$ 0.01 T) at an angle with respect to the NV natural quantization axes is enough to tilt the direction of the electronic spins, and enable efficient spin exchange with the nitrogen nuclei of the NV center. We could then demonstrate fast Rabi oscillations on electron-nuclear spin exchanging transitions, coherent population trapping and polarization of nuclear spin ensembles in the microwave regime. Coupling many electronic spins of NV centers to their intrinsic nuclei offers full scalability with respect to the number of controllable spins and provides prospects for transduction. In particular, the technique could be applied to long-lived storage of microwave photons and to the coupling of nuclear spins to mechanical oscillators in the resolved sideband regime.


title: Observation of two thresholds leading to polariton condensation in 2D hybrid perovskites

abstract: Two dimensional (2D) perovskites are promising materials for photonic applications, given their outstanding nonlinear optical properties, ease of fabrication and versatility. In particular, exploiting their high oscillator strength, the crystalline form of 2D perovskites can be used as excitonic medium in optical microcavities, allowing for the study of their optical properties in the strong light-matter coupling regime. While polariton condensation has been observed in different materials at room temperature, here we observe for the first time two distinct threshold processes in a 2D perovskite, a material that has never shown spontaneous phase transition up to now. In particular, we demonstrate lasing from the bi-exciton state which contributes to populate the lower polariton branch and, at higher excitation powers, eventually leads to the formation of a polariton condensate. The emission linewidth narrowing and a spatial coherence over 50 x 50 um2 area are the smoking gun, the formation of a quantum coherent state in 2D hybrid perovskite. Our results not only show the formation of a polariton condensate in 2D perovskites but they are also crucial for the understanding of the physical mechanisms that leads to coherent phase transition in perovskite-based polariton microcavities.


title: Learning with Weak Supervision for Email Intent Detection

abstract: Email remains one of the most frequently used means of online communication. People spend a significant amount of time every day on emails to exchange information, manage tasks and schedule events. Previous work has studied different ways for improving email productivity by prioritizing emails, suggesting automatic replies or identifying intents to recommend appropriate actions. The problem has been mostly posed as a supervised learning problem where models of different complexities were proposed to classify an email message into a predefined taxonomy of intents or classes. The need for labeled data has always been one of the largest bottlenecks in training supervised models. This is especially the case for many real-world tasks, such as email intent classification, where large scale annotated examples are either hard to acquire or unavailable due to privacy or data access constraints. Email users often take actions in response to intents expressed in an email (e.g., setting up a meeting in response to an email with a scheduling request). Such actions can be inferred from user interaction logs. In this paper, we propose to leverage user actions as a source of weak supervision, in addition to a limited set of annotated examples, to detect intents in emails. We develop an end-to-end robust deep neural network model for email intent identification that leverages both clean annotated data and noisy weak supervision along with a self-paced learning mechanism. Extensive experiments on three different intent detection tasks show that our approach can effectively leverage the weakly supervised data to improve intent detection in emails.


title: Arm order recognition in multi-armed bandit problem with laser chaos time series

abstract: By exploiting ultrafast and irregular time series generated by lasers with delayed feedback, we have previously demonstrated a scalable algorithm to solve multi-armed bandit (MAB) problems utilizing the time-division multiplexing of laser chaos time series. Although the algorithm detects the arm with the highest reward expectation, the correct recognition of the order of arms in terms of reward expectations is not achievable. Here, we present an algorithm where the degree of exploration is adaptively controlled based on confidence intervals that represent the estimation accuracy of reward expectations. We have demonstrated numerically that our approach did improve arm order recognition accuracy significantly, along with reduced dependence on reward environments, and the total reward is almost maintained compared with conventional MAB methods. This study applies to sectors where the order information is critical, such as efficient allocation of resources in information and communications technology.


title: Angular Trapping of Spherical Janus Particles

abstract: Developing angular trapping methods, which will enable optical tweezers to rotate a micronized bead, is of great importance for the studies of biomacromolecules during a wide range of torque-generation processes. Here we report a novel controlled angular trapping method based on composite Janus particles. We used a chemically synthesized Janus particle, which consists of two hemispheres made of polystyrene (PS) and poly(methyl methacrylate) (PMMA) respectively, as a model system to demonstrate this method. Through computational and experimental studies, we demonstrated the feasibility to control the rotation of a Janus particle in a linearly polarized laser trap. Our results showed that the Janus particle aligned its two hemisphere's interface parallel to the laser propagation direction as well as the laser polarization direction. In our experiments, the rotational state of the particle can be easily and directly visualized by using a CMOS camera, and does not require complex optical detection system. The rotation of the Janus particle in the laser trap can be fully controlled in real time by controlling the laser polarization direction. Our newly developed angular trapping technique has the great advantage of easy implementation and real time controllability. Considering the easy chemical synthesis of Janus particles and implementation of the angular trapping, this novel method has the potential of becoming a general angular trapping method. We anticipate that this new method will significantly broaden the availability of angular trapping in the biophysics community, and expand the scope of the research that can be enabled by the angular trapping approach.


title: Active Inter-cellular Forces in Collective Cell Motility

abstract: The collective behaviour of confluent cell sheets is strongly influenced both by polar forces, arising through cytoskeletal propulsion and by active inter-cellular forces, which are mediated by interactions across cell-cell junctions. We use a phase-field model to explore the interplay between these two contributions and compare the dynamics of a cell sheet when the polarity of the cells aligns to (i) their main axis of elongation, (ii) their velocity, and (iii) when the polarity direction executes a persistent random walk.In all three cases, we observe a sharp transition from a jammed state (where cell rearrangements are strongly suppressed) to a liquid state (where the cells can move freely relative to each other) when either the polar or the inter-cellular forces are increased. In addition, for case (ii) only, we observe an additional dynamical state, flocking (solid or liquid), where the majority of the cells move in the same direction. The flocking state is seen for strong polar forces, but is destroyed as the strength of the inter-cellular activity is increased.


title: Predictive Maxwell's Demons

abstract: Here we study the operation efficiency of a finite-size finite-response-time Maxwell's demon, who can make future predictions. We compare the heat and mass transport rate of predictive demons to non-predictive ones and find that predictive demons can achieve higher mass and heat transport rates over longer periods of time. We determine how the demon performance varies with response time, future sight, and the density of the gasses on which they operate.


title: Quantum Algorithm for Approximating Maximum Independent Sets

abstract: We present a quantum algorithm for approximating maximum independent sets of a graph based on quantum non-Abelian adiabatic mixing in the sub-Hilbert space of degenerate ground states, which generates quantum annealing in a secondary Hamiltonian. For both sparse and dense graphs, our quantum algorithm on average can find an independent set of size very close to $\alpha(G)$, which is the size of the maximum independent set of a given graph $G$. Numerical results indicate that an $O(n^2)$ time complexity quantum algorithm is sufficient for finding an independent set of size $(1-\epsilon)\alpha(G)$. The best classical approximation algorithm can produce in polynomial time an independent set of size about half of $\alpha(G)$.


title: A multiplicative ergodic theoretic characterization of relative equilibrium states

abstract: In this article, we continue the structural study of factor maps betweeen symbolic dynamical systems and the relative thermodynamic formalism. Here, one is studying a factor map from a shift of finite type $X$ (equipped with a potential function) to a sofic shift $Z$, equipped with a shift-invariant measure $\nu$. We study relative equilibrium states, that is shift-invariant measures on $X$ that push forward under the factor map to $\nu$ which maximize the relative pressure: the relative entropy plus the integral of $\phi$. In the non-relative case (where $Z$ is the one point shift and the factor map is trivial), these measures have a very broad range of application: in hyperbolic dynamics, information theory, geometry, Teichm\"uller theory and elsewhere). Relative equilibrium states have also been shown to arise naturally in some contexts in geometric measure theory as a description of measures achieving the Hausdorff dimension in ambient spaces. Previous articles have identified relative versions of well-known notions of degree appearing in one-dimensional symbolic settings, and established bounds in terms of these on the number of ergodic relative equilibrium states. In this paper, we establish a new connection to multiplicative ergodic theory by relating these factor triples to a cocycle of Ruelle Perron-Frobenius operators, and showing that the principal Lyapunov exponent of this cocycle is the relative pressure; and the dimension of the leading Oseledets space is equal to the number of measures of relative maximal entropy, counted with a previously-identified concept of multiplicity.


title: Counting graph orientations with no directed triangles

abstract: Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4\rfloor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4\rfloor}$ such orientations.


title: Synthetic Petri Dish: A Novel Surrogate Model for Rapid Architecture Search

abstract: Neural Architecture Search (NAS) explores a large space of architectural motifs -- a compute-intensive process that often involves ground-truth evaluation of each motif by instantiating it within a large network, and training and evaluating the network with thousands of domain-specific data samples. Inspired by how biological motifs such as cells are sometimes extracted from their natural environment and studied in an artificial Petri dish setting, this paper proposes the Synthetic Petri Dish model for evaluating architectural motifs. In the Synthetic Petri Dish, architectural motifs are instantiated in very small networks and evaluated using very few learned synthetic data samples (to effectively approximate performance in the full problem). The relative performance of motifs in the Synthetic Petri Dish can substitute for their ground-truth performance, thus accelerating the most expensive step of NAS. Unlike other neural network-based prediction models that parse the structure of the motif to estimate its performance, the Synthetic Petri Dish predicts motif performance by training the actual motif in an artificial setting, thus deriving predictions from its true intrinsic properties. Experiments in this paper demonstrate that the Synthetic Petri Dish can therefore predict the performance of new motifs with significantly higher accuracy, especially when insufficient ground truth data is available. Our hope is that this work can inspire a new research direction in studying the performance of extracted components of models in an alternative controlled setting.


title: Secure and Energy Efficient Remote Monitoring Technique (SERMT) for Smart Grid

abstract: Monitoring and automation of the critical infrastructures like the power grid is improvised by the support of an efficient and secure communication net-work. Due to the low cost, low power profile, dynamic nature, improved ac-curacy and scalability, wireless sensor networks (WSN) became an attractive choice for the Information and Communication Technology (ICT) system of the smart grid. However, the energy efficiency and security of WSN depends highly on the network design and routing scheme. In this paper, a WSN based Secure and Energy Efficient Remote Monitoring Technique (SERMT) is proposed by demonstrating a WSN based ICT network model for perva-sive monitoring of the generation and transmission part of the power network in a smart grid system. The performance of the proposed network model de-signed for a smart grid of IEEE 118-Bus system coupled with the secure routing technique is tested during cyber-attacks by means of NS2 and the simulation results indicate that it performs better than existing smart grid monitoring methods like Lo-ADI [1] with respect to packet drop count and throughput.


title: Salience and Market-aware Skill Extraction for Job Targeting

abstract: At LinkedIn, we want to create economic opportunity for everyone in the global workforce. To make this happen, LinkedIn offers a reactive Job Search system, and a proactive Jobs You May Be Interested In (JYMBII) system to match the best candidates with their dream jobs. One of the most challenging tasks for developing these systems is to properly extract important skill entities from job postings and then target members with matched attributes. In this work, we show that the commonly used text-based \emph{salience and market-agnostic} skill extraction approach is sub-optimal because it only considers skill mention and ignores the salient level of a skill and its market dynamics, i.e., the market supply and demand influence on the importance of skills. To address the above drawbacks, we present \model, our deployed \emph{salience and market-aware} skill extraction system. The proposed \model ~shows promising results in improving the online performance of job recommendation (JYMBII) ($+1.92\%$ job apply) and skill suggestions for job posters ($-37\%$ suggestion rejection rate). Lastly, we present case studies to show interesting insights that contrast traditional skill recognition method and the proposed \model~from occupation, industry, country, and individual skill levels. Based on the above promising results, we deployed the \model ~online to extract job targeting skills for all $20$M job postings served at LinkedIn.


title: Identifying Vulnerabilities of Industrial Control Systems using Evolutionary Multiobjective Optimisation

abstract: In this paper we propose a novel methodology to assist in identifying vulnerabilities in a real-world complex heterogeneous industrial control systems (ICS) using two evolutionary multiobjective optimisation (EMO) algorithms, NSGA-II and SPEA2. Our approach is evaluated on a well known benchmark chemical plant simulator, the Tennessee Eastman (TE) process model. We identified vulnerabilities in individual components of the TE model and then made use of these to generate combinatorial attacks to damage the safety of the system, and to cause economic loss. Results were compared against random attacks, and the performance of the EMO algorithms were evaluated using hypervolume, spread and inverted generational distance (IGD) metrics. A defence against these attacks in the form of a novel intrusion detection system was developed, using a number of machine learning algorithms. Designed approach was further tested against the developed detection methods. Results demonstrate that EMO algorithms are a promising tool in the identification of the most vulnerable components of ICS, and weaknesses of any existing detection systems in place to protect the system. The proposed approach can be used by control and security engineers to design security aware control, and test the effectiveness of security mechanisms, both during design, and later during system operation.


title: Gravitational lensing in a black-bounce traversable wormhole spacetime

abstract: In this work, we calculate the deflection angle of light in a spacetime that interpolates between regular black holes and traversable wormholes, depending on the free parameter of the metric. Afterwards, this angular deflection is substituted into the lens equations which allows to obtain physically measurable results, such as the position of the relativistic images and the magnifications.


title: On the Convergence of Langevin Monte Carlo: The Interplay between Tail Growth and Smoothness

abstract: We study sampling from a target distribution ${\nu_* = e^{-f}}$ using the unadjusted Langevin Monte Carlo (LMC) algorithm. For any potential function $f$ whose tails behave like ${\|x\|^\alpha}$ for ${\alpha \in [1,2]}$, and has $\beta$-H\"older continuous gradient, we prove that ${\widetilde{\mathcal{O}} \Big(d^{\frac{1}{\beta}+\frac{1+\beta}{\beta}(\frac{2}{\alpha} - \boldsymbol{1}_{\{\alpha \neq 1\}})} \epsilon^{-\frac{1}{\beta}}\Big)}$ steps are sufficient to reach the $\epsilon $-neighborhood of a $d$-dimensional target distribution $\nu_*$ in KL-divergence. This convergence rate, in terms of $\epsilon$ dependency, is not directly influenced by the tail growth rate $\alpha$ of the potential function as long as its growth is at least linear, and it only relies on the order of smoothness $\beta$. One notable consequence of this result is that for potentials with Lipschitz gradient, i.e. $\beta=1$, our rate recovers the best known rate ${\widetilde{\mathcal{O}}(d\epsilon^{-1})}$ which was established for strongly convex potentials in terms of $\epsilon$ dependency, but we show that the same rate is achievable for a wider class of potentials that are degenerately convex at infinity. The growth rate $\alpha$ starts to have an effect on the established rate in high dimensions where $d$ is large; furthermore, it recovers the best-known dimension dependency when the tail growth of the potential is quadratic, i.e. ${\alpha = 2}$, in the current setup. Our framework allows for finite perturbations, and any order of smoothness ${\beta\in(0,1]}$; consequently, our results are applicable to a wide class of non-convex potentials that are weakly smooth and exhibit at least linear tail growth.


title: Wafer-scale Heterogeneous Integration of Monocrystalline \b{eta}-Ga2O3 Thin Films on SiC for Thermal Management by Ion-Cutting Technique

abstract: The ultra-wide bandgap, high breakdown electric field, and large-area affordable substrates make \b{eta}-Ga2O3 promising for applications of next-generation power electronics while its thermal conductivity is at least one order of magnitude lower than other wide/ultrawide bandgap semiconductors. To avoid the degradation of device performance and reliability induced by the localized Joule-heating, aggressive thermal management strategies are essential, especially for high-power high-frequency applications. This work reports a scalable thermal management strategy to heterogeneously integrate wafer-scale monocrystalline \b{eta}-Ga2O3 thin films on high thermal conductivity SiC substrates by ion-cutting technique. The thermal boundary conductance (TBC) of the \b{eta}-Ga2O3-SiC interfaces and thermal conductivity of the \b{eta}-Ga2O3 thin films were measured by Time-domain Thermoreflectance (TDTR) to evaluate the effects of interlayer thickness and thermal annealing. Materials characterizations were performed to understand the mechanisms of thermal transport in these structures. The results show that the \b{eta}-Ga2O3-SiC TBC values increase with decreasing interlayer thickness and the \b{eta}-Ga2O3 thermal conductivity increases more than twice after annealing at 800 oC due to the removal of implantation-induced strain in the films. A Callaway model is built to understand the measured thermal conductivity. Small spot-to-spot variations of both TBC and Ga2O3 thermal conductivity confirm the uniformity and high-quality of the bonding and exfoliation. Our work paves the way for thermal management of power electronics and \b{eta}-Ga2O3 related semiconductor devices.


title: Benchmarking Differentially Private Residual Networks for Medical Imagery

abstract: In this paper we measure the effectiveness of $\epsilon$-Differential Privacy (DP) when applied to medical imaging. We compare two robust differential privacy mechanisms: Local-DP and DP-SGD and benchmark their performance when analyzing medical imagery records. We analyze the trade-off between the model's accuracy and the level of privacy it guarantees, and also take a closer look to evaluate how useful these theoretical privacy guarantees actually prove to be in the real world medical setting.


title: Fourier Neural Networks as Function Approximators and Differential Equation Solvers

abstract: We present a Fourier neural network (FNN) that can be mapped directly to the Fourier decomposition. The choice of activation and loss function yields results that replicate a Fourier series expansion closely while preserving a straightforward architecture with a single hidden layer. The simplicity of this network architecture facilitates the integration with any other higher-complexity networks, at a data pre- or postprocessing stage. We validate this FNN on naturally periodic smooth functions and on piecewise continuous periodic functions. We showcase the use of this FNN for modeling or solving partial differential equations with periodic boundary conditions. The main advantages of the current approach are the validity of the solution outside the training region, interpretability of the trained model, and simplicity of use.


title: State Estimation-Based Robust Optimal Control of Influenza Epidemics in an Interactive Human Society

abstract: This paper presents a state estimation-based robust optimal control strategy for influenza epidemics in an interactive human society in the presence of modeling uncertainties. Interactive society is influenced by the random entrance of individuals from other human societies whose effects can be modeled as a non-Gaussian noise. Since only the number of exposed and infected humans can be measured, states of the influenza epidemics are first estimated by an extended maximum correntropy Kalman filter (EMCKF) to provide a robust state estimation in the presence of the non-Gaussian noise. An online quadratic program (QP) optimization is then synthesized subject to a robust control Lyapunov function (RCLF) to minimize susceptible and infected humans, while minimizing and bounding the rates of vaccination and antiviral treatment. The joint QP-RCLF-EMCKF meets multiple design specifications such as state estimation, tracking, pointwise control optimality, and robustness to parameter uncertainty and state estimation errors that have not been achieved simultaneously in previous studies. The uniform ultimate boundedness (UUB)/convergence of error trajectories is guaranteed using a Lyapunov stability argument. The soundness of the proposed approach is validated on the influenza epidemics of an interactive human society with a population of 16000. Simulation results show that the QP-RCLF-EMCKF achieves appropriate tracking and state estimation performance. The robustness of the proposed controller is finally illustrated in the presence of modeling error and non-Gaussian noise.


title: Road Segmentation on low resolution Lidar point clouds for autonomous vehicles

abstract: Point cloud datasets for perception tasks in the context of autonomous driving often rely on high resolution 64-layer Light Detection and Ranging (LIDAR) scanners. They are expensive to deploy on real-world autonomous driving sensor architectures which usually employ 16/32 layer LIDARs. We evaluate the effect of subsampling image based representations of dense point clouds on the accuracy of the road segmentation task. In our experiments the low resolution 16/32 layer LIDAR point clouds are simulated by subsampling the original 64 layer data, for subsequent transformation in to a feature map in the Bird-Eye-View (BEV) and SphericalView (SV) representations of the point cloud. We introduce the usage of the local normal vector with the LIDAR's spherical coordinates as an input channel to existing LoDNN architectures. We demonstrate that this local normal feature in conjunction with classical features not only improves performance for binary road segmentation on full resolution point clouds, but it also reduces the negative impact on the accuracy when subsampling dense point clouds as compared to the usage of classical features alone. We assess our method with several experiments on two datasets: KITTI Road-segmentation benchmark and the recently released Semantic KITTI dataset.


title: Investigating Quantum Approximate Optimization Algorithms under Bang-bang Protocols

abstract: The quantum approximate optimization algorithm (QAOA) is widely seen as a possible usage of noisy intermediate-scale quantum (NISQ) devices. We analyze the algorithm as a bang-bang protocol with fixed total time and a randomized greedy optimization scheme. We investigate the performance of bang-bang QAOA on MAX-2-SAT, finding the appearance of phase transitions with respect to the total time. As the total time increases, the optimal bang-bang protocol experiences a number of jumps and plateaus in performance, which match up with an increasing number of switches in the standard QAOA formulation. At large times, it becomes more difficult to find a globally optimal bang-bang protocol and performances suffer. We also investigate the effects of changing the initial conditions of the randomized optimization algorithm and see that better local optima can be found by using an adiabatic initialization.


title: Discrete-time quantum walk on complex networks for community detection

abstract: We define the discrete-time quantum walk on complex networks and utilize it for community detection. We numerically show that the quantum walk with the Fourier coin is localized in a community to which the initial node belongs. Meanwhile, the quantum walk with the Grover coin tends to be localized around the initial node, not over a community. The probability of the classical random walk on the same network converges to the uniform distribution with a relaxation time generally a priori. We thus claim that the time average of the probability of the Fourier-coin quantum walk on complex networks reveals the community structure more explicitly than that of the Grover-coin quantum walk and a snapshot of the classical random walk. We first demonstrate our method of community detection for a prototypical three-community network, producing the correct grouping. We then apply our method to two real-world networks, namely Zachary's karate club and the US Airport network. We successfully reveals the community structure, the two communities of the instructor and the administrator in the former and major airline companies in the latter.


title: Genetic optimization algorithms applied toward mission computability models

abstract: Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and constraints-aware computation problem.