title: Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing

abstract: Real-time ridesharing systems such as UberPool, Lyft Line, GrabShare have become hugely popular as they reduce the costs for customers, improve per trip revenue for drivers and reduce traffic on the roads by grouping customers with similar itineraries. The key challenge in these systems is to group the "right" requests to travel together in the "right" available vehicles in real-time, so that the objective (e.g., requests served, revenue or delay) is optimized. This challenge has been addressed in existing work by: (i) generating as many relevant feasible (with respect to the available delay for customers) combinations of requests as possible in real-time; and then (ii) optimizing assignment of the feasible request combinations to vehicles. Since the number of request combinations increases exponentially with the increase in vehicle capacity and number of requests, unfortunately, such approaches have to employ ad hoc heuristics to identify a subset of request combinations for assignment. Our key contribution is in developing approaches that employ zone (abstraction of individual locations) paths instead of request combinations. Zone paths allow for generation of significantly more "relevant" combinations (in comparison to ad hoc heuristics) in real-time than competing approaches due to two reasons: (i) Each zone path can typically represent multiple request combinations; (ii) Zone paths are generated using a combination of offline and online methods. Specifically, we contribute both myopic (ridesharing assignment focussed on current requests only) and non-myopic (ridesharing assignment considers impact on expected future requests) approaches that employ zone paths. In our experimental results, we demonstrate that our myopic approach outperforms (with respect to both objective and runtime) the current best myopic approach for ridesharing on both real-world and synthetic datasets.


title: Search for the Decay $B_s^0 \rightarrow \eta^\prime \eta$

abstract: In the Standard Model (SM) charmless hadronic decays $B_s^0 \rightarrow \eta^\prime \eta$ proceed via tree-level $b\to u$ and penguin $b\to s$ transitions. Penguin transitions are sensitive to Beyond-the-Standard-Model (BSM) physics scenarios and could affect the branching fractions and {\it CP} asymmetries in such decays. Once branching fractions for two-body decays $B_s \to \eta\eta, \eta\eta^{\prime}, \eta^{\prime}\eta^{\prime} $ are measured, and the theoretical uncertainties are reduced, it would be possible to extract {\it CP} violating parameters from the data using the formalism based on SU(3)/U(3) symmetry. To achieve this goal, at least four of these six branching fractions need to be measured. Only the branching fraction for $B_s^0 \to \eta^{\prime}\eta^{\prime}$ has been measured so far.


title: Pairwise-GAN: Pose-based View Synthesis through Pair-Wise Training

abstract: Three-dimensional face reconstruction is one of the popular applications in computer vision. However, even state-of-the-art models still require frontal face as inputs, which restricts its usage scenarios in the wild. A similar dilemma also happens in face recognition. New research designed to recover the frontal face from a single side-pose facial image has emerged. The state-of-the-art in this area is the Face-Transformation generative adversarial network, which is based on the CycleGAN. This inspired our research which explores the performance of two models from pixel transformation in frontal facial synthesis, Pix2Pix and CycleGAN. We conducted the experiments on five different loss functions on Pix2Pix to improve its performance, then followed by proposing a new network Pairwise-GAN in frontal facial synthesis. Pairwise-GAN uses two parallel U-Nets as the generator and PatchGAN as the discriminator. The detailed hyper-parameters are also discussed. Based on the quantitative measurement by face similarity comparison, our results showed that Pix2Pix with L1 loss, gradient difference loss, and identity loss results in 2.72% of improvement at average similarity compared to the default Pix2Pix model. Additionally, the performance of Pairwise-GAN is 5.4% better than the CycleGAN and 9.1% than the Pix2Pix at average similarity.


title: Deconstructing Legal Text_Object Oriented Design in Legal Adjudication

abstract: Rules are pervasive in the law. In the context of computer engineering, the translation of legal text to algorithmic form is seemingly direct. In large part, law may be a ripe field for expert systems and machine learning. For engineers, existing law appears formulaic and logically reducible to "if, then" statements. The underlying assumption is that the legal language is both self-referential and universal. Moreover, description is considered distinct from interpretation; that in describing the law, the language is seen as quantitative and objectifiable. Nevertheless, is descriptive formal language purely dissociative? From the logic machine of the 1970s to the modern fervor for artificial intelligence (AI), governance by numbers is making a persuasive return. Could translation be possible? The project follows a fundamentally semantic conundrum: what is the significance of "meaning" in legal language? The project, therefore, tests translation by deconstructing sentences from existing legal judgments to their constituent factors. Definitions are then extracted in accordance with the interpretations of the judges. The intent is to build an expert system predicated on alleged rules of legal reasoning. The authors apply both linguistic modelling and natural language processing technology to parse the legal judgments. The project extends beyond prior research in the area, combining a broadly statistical model of context with the relative precision of syntactic structure. The preliminary hypothesis is that, by analyzing the components of legal language with a variety of techniques, we can begin to translate law to numerical form.


title: An Overview of Microinverter Design Characteristics and MPPT Control

abstract: Micro-inverter technologies are becoming increasingly popular as a choice of grid connection for small-scale photovoltaic systems. Efficiently harvesting the maximum energy from a photovoltaic system reduces the Levelized cost for solar energy, enhancing its role in combatting climate change. Various topologies are proposed through research and have been summarised in this paper. Furthermore, this paper investigates two popular Maximum Power Point Tracking (MPPT) methods through simulation using Matlab Simulink.


title: Intersection theory of the stable pair compactification of the moduli space of six lines in the plane

abstract: We describe sequences of blowups of $\overline{M}_{0,5} \times \overline{M}_{0,5}$ and $\mathbf{P}^2 \times \mathbf{P}^2$ yielding a small resolution of the stable pair compactification $\overline{M}(3,6)$ of the moduli space $M(3,6)$ of six lines in $\mathbf{P}^2$. These blowup sequences can be viewed, respectively, as generalizations of Keel's and Kapranov's constructions of $\overline{M}_{0,n}$. We use these blowup sequences to describe the intersection theory of $\overline{M}(3,6)$. In particular, we show that the Chow ring of any small resolution of $\overline{M}(3,6)$ has a presentation analogous to Keel's presentation of $A^*(\overline{M}_{0,n})$, and the Chow ring of $\overline{M}(3,6)$ is an explicit subring of the Chow ring of one of these small resolutions. We also introduce higher-dimensional versions of the $\psi$-classes on $\overline{M}_{0,n}$, and describe their intersections on $\overline{M}(3,6)$. Finally, we use our results to obtain an independent proof of Luxton's result that $\overline{M}(3,6)$ is the log canonical compactification of $M(3,6)$.


title: Adiabatic theory of SET and RESET transitions

abstract: We develop a phenomenological theory of pulse induced phase transformations behind the SET (from high to low resistive state) and RESET (backward) processes in nonvolatile memory. We show that in modern era devices, both evolve in the adiabatic regime with energy deposition time much shorter than that of thermalization. They are however different by the operating modes: voltage source driven for SET and current source driven for RESET. The characteristic temperatures and transition rates are expressed through material and process parameters.


title: Gabor-type frames for signal processing on graphs

abstract: In the past decade, significant progress has been made to generalize classical tools from Fourier analysis to analyze and process signals defined on networks. In this paper, we propose a new framework for constructing Gabor-type frames for signals on graphs. Our approach uses general and flexible families of linear operators acting as translations. Compared to previous work in the literature, our methods yield the sharp bounds for the associated frames, in a broad setting that generalizes several existing constructions. We also examine how Gabor-type frames behave for signals defined on Cayley graphs by exploiting the representation theory of the underlying group. We explore how natural classes of translations can be constructed for Cayley graphs, and how the choice of an eigenbasis can significantly impact the properties of the resulting translation operators and frames on the graph.


title: Functional random effects modeling of brain shape and connectivity

abstract: We present a statistical framework that jointly models brain shape and functional connectivity, which are two complex aspects of the brain that have been classically studied independently. We adopt a Riemannian modeling approach to account for the non-Euclidean geometry of the space of shapes and the space of connectivity that constrains trajectories of co-variation to be valid statistical estimates. In order to disentangle genetic sources of variability from those driven by unique environmental factors, we embed a functional random effects model in the Riemannian framework. We apply the proposed model to the Human Connectome Project dataset to explore spontaneous co-variation between brain shape and connectivity in young healthy individuals.


title: Universal patterns of rogue waves

abstract: Rogue wave patterns in the nonlinear Schr\"{o}dinger (NLS) equation and the derivative NLS equation are analytically studied. It is shown that when the free parameters in the analytical expressions of these rogue waves are large, these waves would exhibit the same patterns, comprising fundamental rogue waves forming clear geometric structures such as triangle, pentagon, heptagon and nonagon, with a possible lower-order rogue wave at its center. These rogue patterns are analytically determined by the root structures of the Yablonskii-Vorob'ev polynomial hierarchy, and their orientations are controlled by the phase of the large free parameter. This connection of rogue wave patterns to the root structures of the Yablonskii-Vorob'ev polynomial hierarchy goes beyond the NLS and derivative NLS equations, and it gives rise to universal rogue wave patterns in integrable systems.


title: Analyzing Performance Properties Collected by the PerSyst Scalable HPC Monitoring Tool

abstract: The ability to understand how a scientific application is executed on a large HPC system is of great importance in allocating resources within the HPC data center. In this paper, we describe how we used system performance data to identify: execution patterns, possible code optimizations and improvements to the system monitoring. We also identify candidates for employing machine learning techniques to predict the performance of similar scientific codes.


title: Recent Advances in Wearable Sensors with Application in Rehabilitation Motion Analysis

abstract: The increase in world elderly population has significantly underlined the need for continuous health care measurement, specifically in rehabilitation monitoring. The new technologies has enabled people to have in home healthcare services, meanwhile, motion analysis methods are widely used for human activity monitoring as a remote healthcare service. Wearable sensors have indicated promising results both in convenience and technical performance. These sensors are extensively used in human motion analysis and advancement of wireless communications has intensively contributed to this field. Exploiting wireless technology and wearable sensors contributes to more effective help in emergency cases and has significantly decreased the hospitalization time. This paper reviews the most recent advances in wearable sensors used in motion analysis, specifically in the field of rehabilitation. Firstly, common wearable sensor technologies are introduced and then wearable sensors deploying Carbon Nano Tubes (CNT) are specifically reviewed. The next section is dedicated to sensor fusion in which possibility and performance of integration of new technologies are reviewed. This technique has been widely exploited to bring forth certainty in clinical results. Lastly, the challenges and future possibilities for advancement in motion analysis sensors is discussed.


title: On Fault Tolerant Feedback Vertex Set

abstract: The study of fault-tolerant data structures for various network design problems is a prominent area of research in computer science. Likewise, the study of NP-Complete problems lies at the heart of computer science with numerous results in algorithms and complexity. In this paper we raise the question of computing fault tolerant solutions to NP-Complete problems; that is computing a solution that can survive the "failure" of a few constituent elements. This notion has appeared in a variety of theoretical and practical settings such as estimating network reliability, kernelization (aka instance compression), approximation algorithms and so on. In this paper, we seek to highlight these questions for further research. As a concrete example, we study the fault-tolerant version of the classical Feedback Vertex Set (FVS) problem, that we call Fault Tolerant Feedback Vertex Set (FT-FVS). Recall that, in FVS the input is a graph $G$ and the objective is to compute a minimum subset of vertices $S$ such that $G-S$ is a forest. In FT-FVS, the objective is to compute a minimum subset $S$ of vertices such that $G - (S \setminus \{v\})$ is a forest for any $v \in V(G)$. Here the vertex $v$ denotes a single vertex fault. We show that this problem is NP-Complete, and then present a constant factor approximation algorithm as well as an FPT-algorithm parameterized by the solution size. We believe that the question of computing fault tolerant solutions to various NP-Complete problems is an interesting direction for future research.


title: The depth and the vertical extent of the energy deposition layer in a medium-class solar flare

abstract: We analyze here variations of the position and the vertical extent of the energy deposition layer (EDL) inthe C1.6 GOES-class solar flare observed at 10:20 UT on 2012 September 10. The variations of the EDL arecontrasted with the variations of the spectra and emission intensities recorded in the H-alpha line with the very high time resolution using the MSDP spectrograph at Bialkow Observatory. The flare radiated hard X-rays (HXR) detectable up to a energy of 70 keV. A numerical model of the flare used in the analysis assumes that the non-thermal electrons (NTEs) carried the external energy to the flare. The NTEs energy flux was derived from a non-thermal component seen in RHESSI spectra. The main geometrical parameters of the flare were derived using restored RHESSI imaging data. We found that the variations of the X-ray fluxes recorded in various energy bands and the variations of the H-alpha intensities were well correlated in time during the pre-impulsive and impulsive phases of the flare and they agreed with the variations of the calculated position and vertical extent of the EDL. The variations of the emission noticed in various parts of the H-alpha line profile were caused by individual episodes of energy depositionby the beams of NTEs of various energy spectra on various depths in the chromospheric plasma. These results supplement our previous findings for the solar flare on 21 June2013, having nearly the same GOES-class of C1.1 but HXR emission below 34 keV only (Falewicz et al. 2017) (hereafter Paper I).


title: Canonical fragments of the strong reflection principle

abstract: For an arbitrary forcing class $\Gamma$, the $\Gamma$-fragment of Todorcevic's strong reflection principle SRP is isolated in such a way that (1) the forcing axiom for $\Gamma$ implies the $\Gamma$-fragment of SRP, (2) the stationary set preserving fragment of SRP is the full principle SRP, and (3) the subcomplete fragment of SRP implies the major consequences of the subcomplete forcing axiom. Along the way, some hitherto unknown effects of (the subcomplete fragment of) SRP on mutual stationarity are explored, and some limitations to the extent to which fragments of SRP may capture the effects of their corresponding forcing axioms are established.


title: Cosine meets Softmax: A tough-to-beat baseline for visual grounding

abstract: In this paper, we present a simple baseline for visual grounding for autonomous driving which outperforms the state of the art methods, while retaining minimal design choices. Our framework minimizes the cross-entropy loss over the cosine distance between multiple image ROI features with a text embedding (representing the give sentence/phrase). We use pre-trained networks for obtaining the initial embeddings and learn a transformation layer on top of the text embedding. We perform experiments on the Talk2Car dataset and achieve 68.7% AP50 accuracy, improving upon the previous state of the art by 8.6%. Our investigation suggests reconsideration towards more approaches employing sophisticated attention mechanisms or multi-stage reasoning or complex metric learning loss functions by showing promise in simpler alternatives.


title: Private quantum channels for multi-photon pulses and unitary k-designs

abstract: We address the question of existence of private quantum channel for qubits encoded in polarization degrees of freedom of a photon, that remains secure even if multi-photon (instead of single-photon) pulse is emitted. We show that random unitary channel distributed according to SU(2) Haar measure has this property. Further we analyze the qubit unitary k-designs. We show they ensure security if the photons' parity of the source is guaranteed. Otherwise, the qubit unitary k-designs do not guarantee perfect security.


title: Cumulants of net-charge distribution from particle-antiparticle sources

abstract: It is shown how high-order cumulants of net-charge distribution in hadronic collisions at LHC energies can be expressed via lower-order terms under the assumption that particle-antiparticle pairs are produced in independent local processes. It is argued and tested with HIJING model that this assumption is typically valid for net-proton fluctuations in the case when no critical behaviour is present in the system. Values estimated in such a way can be considered as baselines for direct measurements of high-order net-charge fluctuations in real data.


title: Performance Study of Charcoal-based Radon Reduction Systems for Ultraclean Rare Event Detectors

abstract: The continuous emanation of radon due to trace amounts of uranium and thorium in detector materials introduces radon to the active detection volume of low-background rare event search detectors. $^{222}$Rn produces a particularly problematic background in the physics region of interest by the ``naked'' beta decay of its $^{214}$Pb daughter nucleus. While charcoal-based adsorption traps are expected to be effective for radon reduction in auxiliary circulation loops that service the warm components of current {ton-scale} detectors at slow flow rates $(0.5-2\;SLPM)$, radon reduction in the entire circulation loop at high flow rates $\mathcal{O}({100s\;SLPM})$ is necessary to reach high sensitivity in future generation experiments. In this article we explore radon dynamics with a charcoal-based radon reduction system in the main circulation loop of time projection chamber detectors. We find that even for perfect radon traps, circulation speeds of $2,000\;SLPM$ are needed to reduce radon concentration in a 10\,ton detector by 90\%. This is faster by a factor of four than the highest circulation speeds currently achieved in dark matter detectors. We further find that the effectiveness of vacuum swing adsorption systems, which have been employed very successfully at reducing atmospheric radon levels in clean-rooms, is limited by the intrinsic radon activity of the charcoal adsorbent in ultra-low radon environments. Adsorbents with significantly lower intrinsic radon activity than in currently available activated charcoals would be necessary to build effective vacuum swing adsorption systems operated at room temperature for rare event search experiments. If such VSA systems are cooled to about $190\,K$, this requirement relaxes drastically.


title: Bifurcation of periodic orbits for the $N$-body problem, from a non geometrical family of solutions

abstract: Given two positive real numbers $M$ and $m$ and an integer $n>2$, it is well known that we can find a family of solutions of the $(n+1)$-body problem where the body with mass $M$ stays put at the origin and the other $n$ bodies, all with the same mass $m$, move on the $x$-$y$ plane following ellipses with eccentri\-city $e$. It is expected that this geometrical family that depends on $e$, has some bifurcations that produce solutions where the body in the center moves on the $z$-axis instead of staying put in the origin. By doing an analytic continuation of a periodic numerical solution of the $4$-body problem --the one displayed on the video http://youtu.be/2Wpv6vpOxXk --we surprisingly discovered that the origin of this periodic solution is not part of the geometrical family of elliptical solutions parametrized by the eccentricity $e$. It comes from a not so geometrical but easier to describe family. Having noticed this new family, the authors find an exact formula for the bifurcation point in this new family and use it to show the existence of a non-planar periodic solution for any pair of masses $M$, $m$, and any integer $n$. As a particular example, we find a solution where three bodies with mass $3$ move around a body with mass $7$ that moves up and down.


title: Long-Distance Superexchange between Semiconductor Quantum-Dot Electron Spins

abstract: Because of their long coherence times and potential for scalability, semiconductor quantum-dot spin qubits hold great promise for quantum information processing. However, maintaining high connectivity between quantum-dot spin qubits, which favor linear arrays with nearest neighbor coupling, presents a challenge for large-scale quantum computing. In this work, we present evidence for long-distance spin-chain-mediated superexchange coupling between electron spin qubits in semiconductor quantum dots. We weakly couple two electron spins to the ends of a two-site spin chain. Depending on the spin state of the chain, we observe oscillations between the distant end spins. We resolve the dynamics of both the end spins and the chain itself, and our measurements agree with simulations. Superexchange is a promising technique to create long-distance coupling between quantum-dot spin qubits.


title: Accuracy, Stability, and Performance Comparison between the Spectral Difference and Flux Reconstruction Schemes

abstract: We report the development of a discontinuous spectral element flow solver that includes the implementation of both spectral difference and flux reconstruction formulations. With this high order framework, we have constructed a foundation upon which to provide a fair and accurate assessment of these two schemes in terms of accuracy, stability, and performance with special attention to the true spectral difference scheme and the modified spectral difference scheme recovered via the flux reconstruction formulation. Building on previous analysis of the spectral difference and flux reconstruction schemes, we provide a novel nonlinear stability analysis of the spectral difference scheme. Through various numerical experiments, we demonstrate the additional stability afforded by the true, baseline spectral difference scheme without explicit filtering or de-aliasing due to its inherent feature of staggered flux points. This arrangement leads to favorable suppression of aliasing errors and improves stability needed for under-resolved simulations of turbulent flows.


title: Circuit Design for $k$-coloring Problem and Its Implementation on Near-term Quantum Devices

abstract: Nowadays in Quantum Computing, the implementation of quantum algorithm has created a stir since Noisy Intermediate-Scale Quantum (NISQ) devices are out in the market. Researchers are mostly interested in solving NP-complete problems with the help of quantum algorithms for its speed-up. As per the work on computational complexity by Karp \cite{karp}, if any of the NP-complete problem can be solved then any other NP-complete problem can be reduced to that problem in polynomial time. In this Paper, $k$-coloring problem (NP-complete problem) has been considered to solve using Grover's search. A comparator-based approach has been used to implement $k$-coloring problem which enables the reduction of the qubit cost compared to the state-of-the-art. An end-to-end automated framework has been proposed to implement the $k$-coloring problem for any unweighted and undirected graph on any available Noisy Intermediate-Scale Quantum (NISQ) devices, which helps in generalizing our approach.


title: EVR-CB-004: An Inflated Hot Subdwarf O star + Unseen WD Companion in a Compact Binary Discovered with the Evryscope

abstract: We present the discovery of EVR-CB-004, a close binary with a remnant stellar core and an unseen white dwarf companion. The analysis in this work reveals the primary is potentially an inflated hot subdwarf (sdO) and more likely is a rarer post-blue horizontal branch (post-BHB) star. Post-BHBs are the short-lived shell-burning final stage of a blue horizontal star or hot subdwarf before transitioning to a WD. This object was discovered using Evryscope photometric data in a southern-all-sky hot subdwarf variability survey. The photometric light curve for EVR-CB-004 shows multi-component variability from ellipsoidal deformation of the primary and from Doppler boosting as well as gravitational limb darkening. EVR-CB-004 is one of just a handful of known systems, and has a long period (6.08426 hours) and large amplitude ellipsoidal modulation (16.0 $\%$ change in brightness from maximum to minimum) for these extremely close binary systems, while the properties of the primary make it a truly unique system. EVR-CB-004 also shows a peculiar low-amplitude (less than $1\%$) sinusoidal light curve variation with a period that is a 1/3 resonance of the binary period. We tentatively identify this additional variation source as a tidally-induced resonant pulsation, and we suggest followup observations that could verify this interpretation. From the evolutionary state of the system, its components, and its mass fraction, EVR-CB-004 is a strong merger candidate to form a single high-mass ($\approx1.2M_{\odot}$) WD. EVR-CB-004 offers a glimpse into a brief phase of a remnant core evolution and secondary variation, not seen before in a compact binary.


title: Uniform Sobolev Estimates on compact manifolds involving singular potentials

abstract: We obtain generalizations of the uniform Sobolev inequalities of Kenig, Ruiz and the fourth author \cite{KRS} for Euclidean spaces and Dos Santos Ferreira, Kenig and Salo \cite{DKS} for compact Riemannian manifolds involving critically singular potentials $V\in L^{n/2}$. We also obtain the analogous improved quasimode estimates of the the first, third and fourth authors \cite{BSS} , Hassell and Tacy \cite{HassellTacy}, the first and fourth author \cite{SBLog}, and Hickman \cite{Hickman} as well as analogues of the improved uniform Sobolev estimates of \cite{BSSY} and \cite{Hickman} involving such potentials. Additionally, on $S^n$, we obtain sharp uniform Sobolev inequalities involving such potentials for the optimal range of exponents, which extend the results of S. Huang and the fourth author \cite{SHSo}. For general Riemannian manifolds we improve the earlier results in \cite{BSS} by obtaining quasimode estimates for a larger (and optimal) range of exponents under the weaker assumption that $V\in L^{n/2}$.


title: Stochastic Turing pattern formation in a model with active and passive transport

abstract: We investigate Turing pattern formation in a stochastic and spatially discretized version of a reaction diffusion advection (RDA) equation, which was previously introduced to model synaptogenesis in \textit{C. elegans}. The model describes the interactions between a passively diffusing molecular species and an advecting species that switches between anterograde and retrograde motor-driven transport (bidirectional transport). Within the context of synaptogenesis, the diffusing molecules can be identified with the protein kinase CaMKII and the advecting molecules as glutamate receptors. The stochastic dynamics evolves according to an RDA master equation, in which advection and diffusion are both modeled as hopping reactions along a one-dimensional array of chemical compartments. Carrying out a linear noise approximation of the RDA master equation leads to an effective Langevin equation, whose power spectrum provides a means of extending the definition of a Turing instability to stochastic systems, namely, in terms of the existence of a peak in the power spectrum at a non-zero spatial frequency. We thus show how noise can significantly extend the range over which spontaneous patterns occur, which is consistent with previous studies of RD systems.


title: Proximity Tracing in an Ecosystem of Surveillance Capitalism

abstract: Proximity tracing apps have been proposed as an aide in dealing with the COVID-19 crisis. Some of those apps leverage attenuation of Bluetooth beacons from mobile devices to build a record of proximate encounters between a pair of device owners. The underlying protocols are known to suffer from false positive and re-identification attacks. We present evidence that the attacker's difficulty in mounting such attacks has been overestimated. Indeed, an attacker leveraging a moderately successful app or SDK with Bluetooth and location access can eavesdrop and interfere with these proximity tracing systems at no hardware cost and perform these attacks against users who do not have this app or SDK installed. We describe concrete examples of actors who would be in a good position to execute such attacks. We further present a novel attack, which we call a biosurveillance attack, which allows the attacker to monitor the exposure risk of a smartphone user who installs their app or SDK but who does not use any contact tracing system and may falsely believe that they have opted out of the system. Through traffic auditing with an instrumented testbed, we characterize precisely the behaviour of one such SDK that we found in a handful of apps---but installed on more than one hundred million mobile devices. Its behaviour is functionally indistinguishable from a re-identification or biosurveillance attack and capable of executing a false positive attack with minimal effort. We also discuss how easily an attacker could acquire a position conducive to such attacks, by leveraging the lax logic for granting permissions to apps in the Android framework: any app with some geolocation permission could acquire the necessary Bluetooth permission through an upgrade, without any additional user prompt. Finally we discuss motives for conducting such attacks.


title: Random boosting and random^2 forests -- A random tree depth injection approach

abstract: The induction of additional randomness in parallel and sequential ensemble methods has proven to be worthwhile in many aspects. In this manuscript, we propose and examine a novel random tree depth injection approach suitable for sequential and parallel tree-based approaches including Boosting and Random Forests. The resulting methods are called \emph{Random Boost} and \emph{Random$^2$ Forest}. Both approaches serve as valuable extensions to the existing literature on the gradient boosting framework and random forests. A Monte Carlo simulation, in which tree-shaped data sets with different numbers of final partitions are built, suggests that there are several scenarios where \emph{Random Boost} and \emph{Random$^2$ Forest} can improve the prediction performance of conventional hierarchical boosting and random forest approaches. The new algorithms appear to be especially successful in cases where there are merely a few high-order interactions in the generated data. In addition, our simulations suggest that our random tree depth injection approach can improve computation time by up to 40%, while at the same time the performance losses in terms of prediction accuracy turn out to be minor or even negligible in most cases.


title: Final Results of GERDA on the Search for Neutrinoless Double-$\beta$ Decay

abstract: The GERmanium Detector Array (GERDA) experiment searched for the lepton-number-violating neutrinoless double-$\beta$ ($0\nu\beta\beta$) decay of $^{76}$Ge, whose discovery would have far-reaching implications in cosmology and particle physics. By operating bare germanium diodes, enriched in $^{76}$Ge, in an active liquid argon shield, GERDA achieved an unprecedently low background index of $5.2\times10^{-4}$ counts/(keV$\cdot$kg$\cdot$yr) in the signal region and met the design goal to collect an exposure of 100 kg$\cdot$yr in a background-free regime. When combined with the result of Phase I, no signal is observed after 127.2 kg$\cdot$yr of total exposure. A limit on the half-life of $0\nu\beta\beta$ decay in $^{76}$Ge is set at $T_{1/2}>1.8\times10^{26}$ yr at 90% C.L., which coincides with the sensitivity assuming no signal.


title: The Penney's Game with Group Action

abstract: Consider equipping an alphabet $\mathcal{A}$ with a group action that partitions the set of words into equivalence classes which we call patterns. We answer standard questions for the Penney's game on patterns and show non-transitivity for the game on patterns as the length of the pattern tends to infinity. We also analyze bounds on the pattern-based Conway leading number and expected wait time, and further explore the game under the cyclic and symmetric group actions.


title: Unveiling the nature of the unidentified gamma-ray sources 4FGL J1908.6+0915e, HESS J1907+089/HOTS J1907+091, and 3HWC J1907+085 in the sky region of the magnetar SGR 1900+14

abstract: Supernova remnants (SNRs), star formation regions (SFRs), and pulsar wind nebulae (PWNe) are prime candidates for Galactic PeVatrons. The nonthermal high-energy (HE, $\varepsilon>100 \textrm{ MeV}$) and very high-energy (VHE, $\varepsilon>100 \textrm{ GeV}$) $\gamma$-ray emission from these sources should be a promising manifestation of acceleration processes. We investigate the possibility to explain the HE and VHE $\gamma$-ray emission from the sky region of the magnetar SGR 1900+14 as a signature of cosmic rays accelerated in above mentioned sources. To this end, we simulate the $\gamma$-ray emission from the extended Fermi-LAT HE source 4FGL J1908.6+0915e, the extended VHE H.E.S.S. source candidate HOTS J1907+091, and the point-like HAWC TeV source 3HWC J1907+085, which are spatially coincident with the SNR G42.8+0.6, the magnetar SGR 1900+14 and the star forming region W49A. The simulations are performed within the hadronic and leptonic models. We show that the observed $\gamma$-ray emission from the region of the magnetar SGR 1900+14 can, in principle, include contributions of different intensities from all three types of (potentially confused) sources. The considered in detail cases of a magnetar-connected but still undetected SNR and a PWN are the most promising ones, but with a serious requirement on the energy reserve of radiated CR particles - of order of $10^{51}d_{\textrm{10kpc}}^{2}$ erg for sources at a distance of $d\sim 10$ kpc. Such energy reserve can be provided by the magnetar-related Hypernova and/or magnetar wind nebula remnant created by the newborn millisecond magnetar with the large supply of rotational energy $E_{\textrm{rot}}\sim 10^{52}\textrm{ erg}$.


title: Receptivity of an AI Cognitive Assistant by the Radiology Community: A Report on Data Collected at RSNA

abstract: Due to advances in machine learning and artificial intelligence (AI), a new role is emerging for machines as intelligent assistants to radiologists in their clinical workflows. But what systematic clinical thought processes are these machines using? Are they similar enough to those of radiologists to be trusted as assistants? A live demonstration of such a technology was conducted at the 2016 Scientific Assembly and Annual Meeting of the Radiological Society of North America (RSNA). The demonstration was presented in the form of a question-answering system that took a radiology multiple choice question and a medical image as inputs. The AI system then demonstrated a cognitive workflow, involving text analysis, image analysis, and reasoning, to process the question and generate the most probable answer. A post demonstration survey was made available to the participants who experienced the demo and tested the question answering system. Of the reported 54,037 meeting registrants, 2,927 visited the demonstration booth, 1,991 experienced the demo, and 1,025 completed a post-demonstration survey. In this paper, the methodology of the survey is shown and a summary of its results are presented. The results of the survey show a very high level of receptiveness to cognitive computing technology and artificial intelligence among radiologists.


title: Elastic Priors to Dynamically Borrow Information from Historical Data in Clinical Trials

abstract: Use of historical data and real-world evidence holds great potential to improve the efficiency of clinical trials. One major challenge is how to effectively borrow information from historical data while maintaining a reasonable type I error. We propose the elastic prior approach to address this challenge and achieve dynamic information borrowing. Unlike existing approaches, this method proactively controls the behavior of dynamic information borrowing and type I errors by incorporating a well-known concept of clinically meaningful difference through an elastic function, defined as a monotonic function of a congruence measure between historical data and trial data. The elastic function is constructed to satisfy a set of information-borrowing constraints prespecified by researchers or regulatory agencies, such that the prior will borrow information when historical and trial data are congruent, but refrain from information borrowing when historical and trial data are incongruent. In doing so, the elastic prior improves power and reduces the risk of data dredging and bias. The elastic prior is information borrowing consistent, i.e. asymptotically controls type I and II errors at the nominal values when historical data and trial data are not congruent, a unique characteristics of the elastic prior approach. Our simulation study that evaluates the finite sample characteristic confirms that, compared to existing methods, the elastic prior has better type I error control and yields competitive or higher power.


title: Using Gravitational Wave Parallax to Measure the Hubble Parameter with Pulsar Timing Arrays

abstract: We demonstrate how pulsar timing arrays (PTAs) can, in principle, yield a purely gravitational wave (GW) measurement of the luminosity distance and comoving distance to a supermassive black hole binary source, hence providing an estimate of the source redshift and the Hubble constant. The luminosity distance is derived through standard measurement of the chirp mass, which for the slowly evolving binary sources in the PTA band can be found by comparing the frequency of GW-timing residuals at the Earth compared to those at distant pulsars in the array. The comoving distance can be measured from GW-timing parallax caused by the curvature of the GW wavefronts. This can be detected for single sources at the high-frequency end of the PTA band out to Gpc distances with a future PTA containing well-timed pulsars out to $\mathcal{O}(10)$ kpc, when the pulsar distance is constrained to less than a GW wavelength. Such a future PTA, with $\gtrsim 30$ pulsars with precise distance measurements between 1 and 20~kpc, could measure the Hubble constant at the tens of percent level for a single source at $0.1 \lesssim z \lesssim 1.5$. At $z \lesssim 0.1$, the luminosity and comoving distances are too similar to disentangle, unless the fractional error in the luminosity distance measurement is decreased below 10%. At $z\gtrsim 1.5$, this measurement will likely be restricted by a signal-to-noise ratio threshold. Generally, clarification of the different types of cosmological distances that can be probed by PTAs, and their relation to pulsar distance measurements is important for ongoing PTA experiments aimed at detecting and characterizing GWs.


title: Simulations of Intracycle Angular Velocity Control for a Cross-Flow Turbine

abstract: Straight-bladed cross-flow turbines are computationally explored for harvesting energy in wind and water currents. One challenge for cross-flow turbines is the transient occurrence of high apparent angles of attack on the blades that reduces efficiency due to flow separation. This paper explores kinematic manipulation of the apparent angle of attack through intracycle control of the angular velocity. Using an unsteady Reynolds-averaged Navier-Stokes (URANS) model at moderate Reynolds numbers, the kinematics and associated flow physics are explored for confined and unconfined configurations. The computations demonstrate an increase in turbine efficiency up to 54%, very closely matching the benefits shown by previous intracycle control experiments. Simulations display the time-evolution of angle of attack and flow velocity relative to the blade, which are modified with sinusoidal angular velocity such that the peak torque generation aligns with the peak angular velocity. With optimal kinematics in a confined flow there is minimal flow separation during peak power generation, however there is a large trailing edge vortex (TEV) shed as the torque decreases. The unconfined configuration has more prominent flow separation and is more susceptible to Reynolds number, resulting in a 41% increase in power generation under the same kinematic conditions as the confined flow.


title: Efficient Competitive Self-Play Policy Optimization

abstract: Reinforcement learning from self-play has recently reported many successes. Self-play, where the agents compete with themselves, is often used to generate training data for iterative policy improvement. In previous work, heuristic rules are designed to choose an opponent for the current learner. Typical rules include choosing the latest agent, the best agent, or a random historical agent. However, these rules may be inefficient in practice and sometimes do not guarantee convergence even in the simplest matrix games. In this paper, we propose a new algorithmic framework for competitive self-play reinforcement learning in two-player zero-sum games. We recognize the fact that the Nash equilibrium coincides with the saddle point of the stochastic payoff function, which motivates us to borrow ideas from classical saddle point optimization literature. Our method trains several agents simultaneously, and intelligently takes each other as opponent based on simple adversarial rules derived from a principled perturbation-based saddle optimization method. We prove theoretically that our algorithm converges to an approximate equilibrium with high probability in convex-concave games under standard assumptions. Beyond the theory, we further show the empirical superiority of our method over baseline methods relying on the aforementioned opponent-selection heuristics in matrix games, grid-world soccer, Gomoku, and simulated robot sumo, with neural net policy function approximators.


title: Neural Networks Enhancement with Logical Knowledge

abstract: In the recent past, there has been a growing interest in Neural-Symbolic Integration frameworks, i.e., hybrid systems that integrate connectionist and symbolic approaches to obtain the best of both worlds. In a previous work, we proposed KENN (Knowledge Enhanced Neural Networks), a Neural-Symbolic architecture that injects prior logical knowledge into a neural network by adding a new final layer which modifies the initial predictions accordingly to the knowledge. Among the advantages of this strategy, there is the inclusion of clause weights, learnable parameters that represent the strength of the clauses, meaning that the model can learn the impact of each clause on the final predictions. As a special case, if the training data contradicts a constraint, KENN learns to ignore it, making the system robust to the presence of wrong knowledge. In this paper, we propose an extension of KENN for relational data. To evaluate this new extension, we tested it with different learning configurations on Citeseer, a standard dataset for Collective Classification. The results show that KENN is capable of increasing the performances of the underlying neural network even in the presence relational data, outperforming other two notable methods that combine learning with logic.


title: Label-free, non-contact, in-vivo ophthalmic imaging using photoacoustic remote sensing microscopy

abstract: We present the first label-free, non-contact, in-vivo imaging of the ocular vasculature using photoacoustic remote sensing (PARS) microscopy. Both anterior and posterior segments mouse eye were imaged. Vasculature of iris, sclera and retina tissues were clearly resolved. To best of our knowledge this the first study showing non-contact photoacoustic imaging conducted on in-vivo ocular tissue. We believe that PARS microscopy has the potential to advance the diagnosis and treatment of ocular diseases.


title: Model-based analysis support for dependable complex systems in CHESS

abstract: The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into account many options. On the other hand, the design of the system's logical architecture must consider various dependability concerns such as safety, reliability, and security. Moreover, in case of high-assurance systems, the analysis of such concerns must be performed with rigorous methods. In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based, and open-source tool for the development of high-integrity systems. We focus on the new recently distributed version of CHESS, which supports extended model-based development and analyses for safety and security concerns. Finally, we present contributions of CHESS to several international research projects.


title: Cut-Equivalent Trees are Optimal for Min-Cut Queries

abstract: Min-Cut queries are fundamental: Preprocess an undirected edge-weighted graph, to quickly report a minimum-weight cut that separates a query pair of nodes $s,t$. The best data structure known for this problem simply builds a cut-equivalent tree, discovered 60 years ago by Gomory and Hu, who also showed how to construct it using $n-1$ minimum $st$-cut computations. Using state-of-the-art algorithms for minimum $st$-cut (Lee and Sidford, FOCS 2014) arXiv:1312.6713, one can construct the tree in time $\tilde{O}(mn^{3/2})$, which is also the preprocessing time of the data structure. (Throughout, we focus on polynomially-bounded edge weights, noting that faster algorithms are known for small/unit edge weights.) Our main result shows the following equivalence: Cut-equivalent trees can be constructed in near-linear time if and only if there is a data structure for Min-Cut queries with near-linear preprocessing time and polylogarithmic (amortized) query time, and even if the queries are restricted to a fixed source. That is, equivalent trees are an essentially optimal solution for Min-Cut queries. This equivalence holds even for every minor-closed family of graphs, such as bounded-treewidth graphs, for which a two-decade old data structure (Arikati et al., J.~Algorithms 1998) implies the first near-linear time construction of cut-equivalent trees. Moreover, unlike all previous techniques for constructing cut-equivalent trees, ours is robust to relying on approximation algorithms. In particular, using the almost-linear time algorithm for $(1+\epsilon)$-approximate minimum $st$-cut (Kelner et al., SODA 2014), we can construct a $(1+\epsilon)$-approximate flow-equivalent tree (which is a slightly weaker notion) in time $n^{2+o(1)}$. This leads to the first $(1+\epsilon)$-approximation for All-Pairs Max-Flow that runs in time $n^{2+o(1)}$, and matches the output size almost-optimally.


title: Band-Passing Nonlinearity in Reset Elements

abstract: This paper addresses nonlinearity in reset elements and their effects. Reset elements are known for having less phase lag compared to their linear counterparts; however, they are nonlinear elements and produce higher-order harmonics. This paper investigates the higher-order harmonics for reset elements with one resetting state and proposes an architecture and a method of design which allows for band-passing the nonlinearity and its effects, namely, higher-order harmonics and phase advantage. The nonlinearity of reset elements is not entirely useful for all frequencies, e.g., they are useful for reducing phase lag at cross-over frequency region; however, higher-order harmonics can compromise tracking and disturbance rejection performance at lower frequencies. Using proposed "phase shaping" method, one can selectively suppress nonlinearity of a single-state reset element in a desired range of frequencies and allow the nonlinearity to provide its phase benefit in a different desired range of frequencies. This can be especially useful for the reset elements in the framework of "Constant in gain, Lead in phase" (CgLp) filter, which is a newly introduced nonlinear filter, bound to circumvent the well-known linear control limitation -- the waterbed effect.


title: Dynamic Overlap Concentration Scale of Active Colloids

abstract: By introducing the notion of a dynamic overlap concentration scale, we identify universal and previously unreported features of the mechanical properties of active colloids. These features are codified by recognizing that the characteristic length scale of an active particle's trajectory, the run-length, introduces a new concentration scale $\phi^*$. Large-scale simulations of repulsive active Brownian particles (ABPs) confirm that this new run-length dependent concentration, which is the trajectory-space analogue of the overlap concentration in polymer solutions, delineates distinct concentration regimes in which interparticle collisions alter particle trajectories. Using $\phi^*$ and concentration scales associated with colloidal jamming, the mechanical equation-of-state for ABPs can be collapsed onto a set of principal curves that contain a number of previously overlooked features. The inclusion of these features qualitatively alters previous predictions of the behavior for active colloids as we demonstrate by computing the spinodal for a suspension of purely-repulsive ABPs. Our findings suggest that dynamic overlap concentration scales should be of great utility in unraveling the behavior of active and driven systems.


title: Simultaneous Quantum Machine Learning Training and Architecture Discovery

abstract: With the onset of gated quantum machine learning, the architecture for such a system is an open question. Many architectures are created either ad hoc or are directly analogous from known classical architectures. Presented here is a novel algorithm which learns a gated quantum machine learning architecture while simultaneously learning its parameters. This proof of concept and some of its variations are explored and discussed.


title: A simulation-extrapolation approach for the mixture cure model with mismeasured covariates

abstract: We consider survival data from a population with cured subjects in the presence of mismeasured covariates. We use the mixture cure model to account for the individuals that will never experience the event and at the same time distinguish between the effect of the covariates on the cure probabilities and on survival times. In particular, for practical applications, it seems of interest to assume a logistic form of the incidence and a Cox proportional hazards model for the latency. To correct the estimators for the bias introduced by the measurement error, we use the simex algorithm, which is a very general simulation based method. It essentially estimates this bias by introducing additional error to the data and then recovers bias corrected estimators through an extrapolation approach. The estimators are shown to be consistent and asymptotically normally distributed when the true extrapolation function is known. We investigate their finite sample performance through a simulation study and apply the proposed method to analyse the effect of the prostate specific antigen (PSA) on patients with prostate cancer.


title: Directional search-and-capture model of cytoneme-based morphogenesis

abstract: In this paper we develop a directional search-and-capture model of cytoneme-based morphogenesis. We consider a single cytoneme nucleating from a source cell and searching for a set of $N$ target cells $\Omega_k\subset \R^d$, $k=1,\ldots,N$, with $d\geq 2$. We assume that each time the cytoneme nucleates, it grows in a random direction so that the probability of being oriented towards the $k$-th target is $p_k$ with $\sum_{k=1}^Np_k<1$. Hence, there is a non-zero probability of failure to find a target unless there is some mechanism for returning to the nucleation site and subsequently nucleating in a new direction. We model the latter as a one-dimensional search process with stochastic resetting, finite returns times and refractory periods. We use a renewal method to calculate the splitting probabilities and conditional mean first passage times (MFPTs) for the cytoneme to be captured by a given target cell. We then determine the steady-state accumulation of morphogen over the set of target cells following multiple rounds of search-and-capture events and morphogen degradation. This then yields the corresponding morphogen gradient across the set of target cells, whose steepness depends on the resetting rate. We illustrate the theory by considering a single layer of target cells, and discuss the extension to multiple cytonemes.


title: Dispersion relations in finite-boost DSR

abstract: We find finite-boost transformations DSR theories in first order of the Planck length $l_p$, by solving differential equations for the modified generators. We obtain corresponding dispersion relations for these transformations, which help us classify the DSR theories via four types. The final type of our classification has the same special relativistic dispersion relation but the transformations are not Lorentz. In DSR theories, the velocity of photons is generally different from the ordinary speed c and possess time delay, however in this new DSR light has the same special relativistic speed with no delay. A special case demonstrates that any search for quantum gravity effects in observations which gives a special relativistic dispersion relation is consistent with DSR.


title: Cluster-Former: Clustering-based Sparse Transformer for Long-Range Dependency Encoding

abstract: Transformer has become ubiquitous in the deep learning field. One of the key ingredients that destined its success is the self-attention mechanism, which allows fully-connected contextual encoding over input tokens. However, despite its effectiveness in modeling short sequences, self-attention suffers when handling inputs with extreme long-range dependencies, as its complexity grows quadratically with respect to the sequence length. Therefore, long sequences are often encoded by Transformer in chunks using a sliding window. In this paper, we propose Cluster-Former, a novel clustering-based sparse Transformer to perform attention across chunked sequences. The proposed framework is pivoted on two unique types of Transformer layer: Sliding-Window Layer and Cluster-Former Layer, which encode local sequence information and global context jointly and iteratively. This new design allows information integration beyond local windows, which is especially beneficial for question answering (QA) tasks that rely on long-range dependencies. Experiments show that Cluster-Former achieves state-of-the-art performance on several major QA benchmarks.


title: Influence of initial residual stress on growth and pattern creation for a layered aorta

abstract: Residual stress is ubiquitous and indispensable in most biological and artificial materials, where it sustains and optimizes many biological and functional mechanisms. The theory of volume growth, starting from a stress-free initial state, is widely used to explain the creation and evolution of growth-induced residual stress and the resulting changes in shape, and to model how growing bio-tissues such as arteries and solid tumors develop a strategy of pattern creation according to geometrical and material parameters. This modelling provides promising avenues for designing and directing some appropriate morphology of a given tissue or organ and achieve some targeted biomedical function. In this paper, we rely on a modified, augmented theory to reveal how we can obtain growth-induced residual stress and pattern evolution of a layered artery by starting from an existing, non-zero initial residual stress state. We use experimentally determined residual stress distributions of aged bi-layered human aortas and quantify their influence by a magnitude factor. Our results show that initial residual stress has a more significant impact on residual stress accumulation and the subsequent evolution of patterns than geometry and material parameters. Additionally, we provide an essential explanation for growth-induced patterns driven by differential growth coupled to an initial residual stress. Finally, we show that initial residual stress is a readily available way to control growth-induced pattern creation for tissues and thus may provide a promising inspiration for biomedical engineering.


title: Star Formation in CALIFA survey perturbed galaxies. I. Effects of Tidal Interactions

abstract: We explore the effects of tidal interactions on star formation (SF) by analysing a sample of CALIFA survey galaxies. The sample consists of tidally and non-tidally perturbed galaxies, paired at the closest stellar mass densities for the same galaxy type between subsamples. They are then compared, both on the resolved Star Formation Main Sequence (SFMS) plane and in annular property profiles. Star-forming regions in tidally perturbed galaxies exhibit flatter SFMS slopes compared to star-forming regions in non-tidally perturbed galaxies. Despite that the annular profiles show star-forming regions in tidally perturbed galaxies as being mostly older, their SF properties are never reduced against those ones proper of non-tidally perturbed galaxies. Star-forming regions in non-tidally perturbed galaxies are better candidates for SF suppression (quenching). The lowered SF with increasing stellar mass density in tidally perturbed galaxies may suggest a lower dependence of SF on stellar mass. Though the SFMS slopes, either flatter or steeper, are found independent of stellar mass density, the effect of global stellar mass can not be ignored when distinguishing among galaxy types. Since a phenomenon or property other than local/global stellar mass may be taking part in the modulation of SF, the integrated SF properties are related to the tidal perturbation parameter. We find weak, but detectable, positive correlations for perturbed galaxies suggesting that tidal perturbations induced by close companions increase the gas accretion rates of these objects.


title: Morphology of residually-stressed tubular tissues: Beyond the elastic multiplicative decomposition

abstract: Many interesting shapes appearing in the biological world are formed by the onset of mechanical instability. In this work we consider how the build-up of residual stress can cause a solid to buckle. In all past studies a fictitious (virtual) stress-free state was required to calculate the residual stress. In contrast, we use a model which is simple and allows the prescription of any residual stress field. We specialize the analysis to an elastic tube subject to a two-dimensional residual stress, and find that incremental wrinkles can appear on its inner or its outer face, depending on the location of the highest value of the residual hoop stress. We further validate the predictions of the incremental theory with finite element simulations, which allow us to go beyond this threshold and predict the shape, number and amplitude of the resulting creases.


title: Modeling and simulation of the R5912 photomultiplier for the LAGO project

abstract: We present the results of modeling and simulating the Hamamatsu R5912 photomultiplier tube that is used in most of the sites of the Latin American Giant Observatory (LAGO). The model was compared with data of in-operation water Cherenkov detectors (WCD) installed at Bucaramanga-Colombia and Bariloche-Argentina. The LAGO project is an international experiment that spans across Latin America at different altitudes joining more than 35 institutions of 11 countries. It is mainly oriented to basic research on gamma-ray bursts and space weather phenomena. The LAGO network consists of single or small arrays of WCDs composed mainly by a photomultiplier tube and a readout electronics that acquires single-particle or extensive air shower events triggered by the interaction of cosmic rays with the Earth atmosphere.


title: Extreme softness of brain matter in simple shear

abstract: We show that porcine brain matter can be modelled accurately as a very soft rubber-like material using the Mooney-Rivlin strain energy function, up to strains as high as 60\%. This result followed from simple shear experiments performed on small rectangular fresh samples ($2.5$ cm$^3$ and $1.1$ cm$^3$) at quasi-static strain rates. They revealed a linear shear stress--shear strain relationship ($R^2> 0.97 $), characteristic of Mooney-Rivlin materials at large strains. We found that porcine brain matter is about 30 times less resistant to shear forces than a silicone gel. We also verified experimentally that brain matter exhibits the positive Poynting effect of nonlinear elasticity, and numerically that the stress and strain fields remain mostly homogeneous throughout the thickness of the samples in simple shear.


title: Tax Knowledge Graph for a Smarter and More Personalized TurboTax

abstract: Most knowledge graph use cases are data-centric, focusing on representing data entities and their semantic relationships. There are no published success stories to represent large-scale complicated business logic with knowledge graph technologies. In this paper, we will share our innovative and practical approach to representing complicated U.S. and Canadian income tax compliance logic (calculations and rules) via a large-scale knowledge graph. We will cover how the Tax Knowledge Graph is constructed and automated, how it is used to calculate tax refunds, reasoned to find missing info, and navigated to explain the calculated results. The Tax Knowledge Graph has helped transform Intuit's flagship TurboTax product into a smart and personalized experience, accelerating and automating the tax preparation process while instilling confidence for millions of customers.


title: Self-Assembled Periodic Nanostructures Using Martensitic Phase Transformations

abstract: We describe a novel approach for the rational design and synthesis of self-assembled periodic nanostructures using martensitic phase transformations. We demonstrate this approach in a thin film of perovskite SrSnO3 with reconfigurable periodic nanostructures consisting of regularly spaced regions of sharply contrasted dielectric properties. The films can be designed to have different periodicities and relative phase fractions via chemical doping or strain engineering. The dielectric contrast within a single film can be tuned using temperature and laser wavelength, effectively creating a variable photonic crystal. Our results show the realistic possibility of designing large-area self-assembled periodic structures using martensitic phase transformations with the potential of implementing "built-to-order" nanostructures for tailored optoelectronic functionalities.


title: On the Extension of a Physical Body in Classical Motion. An Analogy for a Pseudo-Velocity Concept and Wiener's Process in (Ideal) Polymer Solutions

abstract: A pseudo-velocity concept, based on the extension of a linear body, is defined by a special relativity experiment. It suggests an analogy with the covariance properties of Wiener's process, ultimately implying that the scaling behavior of (Gaussian) polymer solutions can be derived from a Brownian Relativity theory, as it was formerly put forward. An ad-hoc statistical interpretation of the resulting spacetime transforms may be given by the central limit theorem.


title: Space-Efficient Interior Point Method, with applications to Linear Programming and Maximum Weight Bipartite Matching

abstract: We study the problem of solving linear program in the streaming model. Given a constraint matrix $A\in \mathbb{R}^{m\times n}$ and vectors $b\in \mathbb{R}^m, c\in \mathbb{R}^n$, we develop a space-efficient interior point method that optimizes solely on the dual program. To this end, we obtain efficient algorithms for various different problems: * For general linear programs, we can solve them in $\widetilde O(\sqrt n\log(1/\epsilon))$ passes and $\widetilde O(n^2)$ space for an $\epsilon$-approximate solution. To the best of our knowledge, this is the most efficient LP solver in streaming with no polynomial dependence on $m$ for both space and passes. * For bipartite graphs, we can solve the minimum vertex cover and maximum weight matching problem in $\widetilde O(\sqrt{m})$ passes and $\widetilde O(n)$ space. In addition to our space-efficient IPM, we also give algorithms for solving SDD systems and isolation lemma in $\widetilde O(n)$ spaces, which are the cornerstones for our graph results.


title: Statistical Query Algorithms and Low-Degree Tests Are Almost Equivalent

abstract: Researchers currently use a number of approaches to predict and substantiate information-computation gaps in high-dimensional statistical estimation problems. A prominent approach is to characterize the limits of restricted models of computation, which on the one hand yields strong computational lower bounds for powerful classes of algorithms and on the other hand helps guide the development of efficient algorithms. In this paper, we study two of the most popular restricted computational models, the statistical query framework and low-degree polynomials, in the context of high-dimensional hypothesis testing. Our main result is that under mild conditions on the testing problem, the two classes of algorithms are essentially equivalent in power. As corollaries, we obtain new statistical query lower bounds for sparse PCA, tensor PCA and several variants of the planted clique problem.

categories: cs.CC cs.DS cs.LG math.ST stat.ML stat.TH


title: Spoiled for Choice? Personalized Recommendation for Healthcare Decisions: A Multi-Armed Bandit Approach

abstract: Online healthcare communities provide users with various healthcare interventions to promote healthy behavior and improve adherence. When faced with too many intervention choices, however, individuals may find it difficult to decide which option to take, especially when they lack the experience or knowledge to evaluate different options. The choice overload issue may negatively affect users' engagement in health management. In this study, we take a design-science perspective to propose a recommendation framework that helps users to select healthcare interventions. Taking into account that users' health behaviors can be highly dynamic and diverse, we propose a multi-armed bandit (MAB)-driven recommendation framework, which enables us to adaptively learn users' preference variations while promoting recommendation diversity in the meantime. To better adapt an MAB to the healthcare context, we synthesize two innovative model components based on prominent health theories. The first component is a deep-learning-based feature engineering procedure, which is designed to learn crucial recommendation contexts in regard to users' sequential health histories, health-management experiences, preferences, and intrinsic attributes of healthcare interventions. The second component is a diversity constraint, which structurally diversifies recommendations in different dimensions to provide users with well-rounded support. We apply our approach to an online weight management context and evaluate it rigorously through a series of experiments. Our results demonstrate that each of the design components is effective and that our recommendation design outperforms a wide range of state-of-the-art recommendation systems. Our study contributes to the research on the application of business intelligence and has implications for multiple stakeholders, including online healthcare platforms, policymakers, and users.


title: Characterization of Gravitational Waves Signals Using Neural Networks

abstract: Gravitational wave astronomy has been already a well-established research domain for many years. Moreover, after the detection by LIGO/Virgo collaboration, in 2017, of the first gravitational wave signal emitted during the collision of a binary neutron star system, that was accompanied by the detection of other types of signals coming from the same event, multi-messenger astronomy has claimed its rights more assertively. In this context, it is of great importance in a gravitational wave experiment to have a rapid mechanism of alerting about potential gravitational waves events other observatories capable to detect other types of signals (e.g. in other wavelengths) that are produce by the same event. In this paper, we present the first progress in the development of a neural network algorithm trained to recognize and characterize gravitational wave patterns from signal plus noise data samples. We have implemented two versions of the algorithm, one that classifies the gravitational wave signals into 2 classes, and another one that classifies them into 4 classes, according to the mass ratio of the emitting source. We have obtained promising results, with 100% training and testing accuracy for the 2-class network and approximately 95% for the 4-class network. We conclude that the current version of the neural network algorithm demonstrates the ability of a well-configured and calibrated Bidirectional Long-Short Term Memory software to classify with very high accuracy and in an extremely short time gravitational wave signals, even when they are accompanied by noise. Moreover, the performance obtained with this algorithm qualifies it as a fast method of data analysis and can be used as a low-latency pipeline for gravitational wave observatories like the future LISA Mission.


title: Identity-Based Patterns in Deep Convolutional Networks: Generative Adversarial Phonology and Reduplication

abstract: This paper models unsupervised learning of an identity-based pattern (or copying) in speech called reduplication from raw continuous data with deep convolutional neural networks. We use the ciwGAN architecture Begu\v{s} (2021a; arXiv:2006.02951) in which learning of meaningful representations in speech emerges from a requirement that the CNNs generate informative data. We propose a technique to wug-test CNNs trained on speech and, based on four generative tests, argue that the network learns to represent an identity-based pattern in its latent space. By manipulating only two categorical variables in the latent space, we can actively turn an unreduplicated form into a reduplicated form with no other substantial changes to the output in the majority of cases. We also argue that the network extends the identity-based pattern to unobserved data. Exploration of how meaningful representations of identity-based patterns emerge in CNNs and how the latent space variables outside of the training range correlate with identity-based patterns in the output has general implications for neural network interpretability.


title: Machine Learning's Dropout Training is Distributionally Robust Optimal

abstract: This paper shows that dropout training in Generalized Linear Models is the minimax solution of a two-player, zero-sum game where an adversarial nature corrupts a statistician's covariates using a multiplicative nonparametric errors-in-variables model. In this game, nature's least favorable distribution is dropout noise, where nature independently deletes entries of the covariate vector with some fixed probability $\delta$. This result implies that dropout training indeed provides out-of-sample expected loss guarantees for distributions that arise from multiplicative perturbations of in-sample data. In addition to the decision-theoretic analysis, the paper makes two more contributions. First, there is a concrete recommendation on how to select the tuning parameter $\delta$ to guarantee that, as the sample size grows large, the in-sample loss after dropout training exceeds the true population loss with some pre-specified probability. Second, the paper provides a novel, parallelizable, Unbiased Multi-Level Monte Carlo algorithm to speed-up the implementation of dropout training. Our algorithm has a much smaller computational cost compared to the naive implementation of dropout, provided the number of data points is much smaller than the dimension of the covariate vector.


title: Information Laundering for Model Privacy

abstract: In this work, we propose information laundering, a novel framework for enhancing model privacy. Unlike data privacy that concerns the protection of raw data information, model privacy aims to protect an already-learned model that is to be deployed for public use. The private model can be obtained from general learning methods, and its deployment means that it will return a deterministic or random response for a given input query. An information-laundered model consists of probabilistic components that deliberately maneuver the intended input and output for queries to the model, so the model's adversarial acquisition is less likely. Under the proposed framework, we develop an information-theoretic principle to quantify the fundamental tradeoffs between model utility and privacy leakage and derive the optimal design.


title: GW170817-compatible Constant-roll Einstein-Gauss-Bonnet Inflation and Non-Gaussianities

abstract: In this paper we investigate the inflationary phenomenology of an Einstein-Gauss-Bonnet theory compatible with the GW170817 event, by imposing the constant-roll evolution on the scalar field. We develop the constant-roll GW170817-compatible Einstein-Gauss-Bonnet formalism, and we calculate the slow-roll indices and the observational indices of inflation, for several models of interest. As we demonstrate, the phenomenological viability of the models we study is achieved for a wide range of the free parameters. In addition, for the same values of the free parameters that guarantee the inflationary phenomenological viability of the models, we also make predictions for the non-Gaussianities of the models, since the constant-roll evolution is known to enhance non-Gaussianities. As we show the non-Gaussianities are of the same order for the slow-roll and constant-roll case, and in fact in some cases, the amount of the non-Gaussianities is smaller in the constant-roll case.


title: Towards the Quantification of Safety Risks in Deep Neural Networks

abstract: Safety concerns on the deep neural networks (DNNs) have been raised when they are applied to critical sectors. In this paper, we define safety risks by requesting the alignment of the network's decision with human perception. To enable a general methodology for quantifying safety risks, we define a generic safety property and instantiate it to express various safety risks. For the quantification of risks, we take the maximum radius of safe norm balls, in which no safety risk exists. The computation of the maximum safe radius is reduced to the computation of their respective Lipschitz metrics - the quantities to be computed. In addition to the known adversarial example, reachability example, and invariant example, in this paper we identify a new class of risk - uncertainty example - on which humans can tell easily but the network is unsure. We develop an algorithm, inspired by derivative-free optimization techniques and accelerated by tensor-based parallelization on GPUs, to support efficient computation of the metrics. We perform evaluations on several benchmark neural networks, including ACSC-Xu, MNIST, CIFAR-10, and ImageNet networks. The experiments show that, our method can achieve competitive performance on safety quantification in terms of the tightness and the efficiency of computation. Importantly, as a generic approach, our method can work with a broad class of safety risks and without restrictions on the structure of neural networks.


title: Multi-channel MRI Embedding: An EffectiveStrategy for Enhancement of Human Brain WholeTumor Segmentation

abstract: One of the most important tasks in medical image processing is the brain's whole tumor segmentation. It assists in quicker clinical assessment and early detection of brain tumors, which is crucial for lifesaving treatment procedures of patients. Because, brain tumors often can be malignant or benign, if they are detected at an early stage. A brain tumor is a collection or a mass of abnormal cells in the brain. The human skull encloses the brain very rigidly and any growth inside this restricted place can cause severe health issues. The detection of brain tumors requires careful and intricate analysis for surgical planning and treatment. Most physicians employ Magnetic Resonance Imaging (MRI) to diagnose such tumors. A manual diagnosis of the tumors using MRI is known to be time-consuming; approximately, it takes up to eighteen hours per sample. Thus, the automatic segmentation of tumors has become an optimal solution for this problem. Studies have shown that this technique provides better accuracy and it is faster than manual analysis resulting in patients receiving the treatment at the right time. Our research introduces an efficient strategy called Multi-channel MRI embedding to improve the result of deep learning-based tumor segmentation. The experimental analysis on the Brats-2019 dataset wrt the U-Net encoder-decoder (EnDec) model shows significant improvement. The embedding strategy surmounts the state-of-the-art approaches with an improvement of 2% without any timing overheads.


title: Accelerating COVID-19 Differential Diagnosis with Explainable Ultrasound Image Analysis

abstract: Controlling the COVID-19 pandemic largely hinges upon the existence of fast, safe, and highly-available diagnostic tools. Ultrasound, in contrast to CT or X-Ray, has many practical advantages and can serve as a globally-applicable first-line examination technique. We provide the largest publicly available lung ultrasound (US) dataset for COVID-19 consisting of 106 videos from three classes (COVID-19, bacterial pneumonia, and healthy controls); curated and approved by medical experts. On this dataset, we perform an in-depth study of the value of deep learning methods for differential diagnosis of COVID-19. We propose a frame-based convolutional neural network that correctly classifies COVID-19 US videos with a sensitivity of 0.98+-0.04 and a specificity of 0.91+-08 (frame-based sensitivity 0.93+-0.05, specificity 0.87+-0.07). We further employ class activation maps for the spatio-temporal localization of pulmonary biomarkers, which we subsequently validate for human-in-the-loop scenarios in a blindfolded study with medical experts. Aiming for scalability and robustness, we perform ablation studies comparing mobile-friendly, frame- and video-based architectures and show reliability of the best model by aleatoric and epistemic uncertainty estimates. We hope to pave the road for a community effort toward an accessible, efficient and interpretable screening method and we have started to work on a clinical validation of the proposed method. Data and code are publicly available.


title: The Platform Design Problem

abstract: On-line firms deploy suites of software platforms, where each platform is designed to interact with users during a certain activity, such as browsing, chatting, socializing, emailing, driving, etc. The economic and incentive structure of this exchange, as well as its algorithmic nature, have not been explored to our knowledge. We model this interaction as a Stackelberg game between a Designer and one or more Agents. We model an Agent as a Markov chain whose states are activities; we assume that the Agent's utility is a linear function of the steady-state distribution of this chain. The Designer may design a platform for each of these activities/states; if a platform is adopted by the Agent, the transition probabilities of the Markov chain are affected, and so is the objective of the Agent. The Designer's utility is a linear function of the steady state probabilities of the accessible states minus the development cost of the platforms. The underlying optimization problem of the Agent -- how to choose the states for which to adopt the platform -- is an MDP. If this MDP has a simple yet plausible structure (the transition probabilities from one state to another only depend on the target state and the recurrent probability of the current state) the Agent's problem can be solved by a greedy algorithm. The Designer's optimization problem (designing a custom suite for the Agent so as to optimize, through the Agent's optimum reaction, the Designer's revenue), is NP-hard to approximate within any finite ratio; however, the special case, while still NP-hard, has an FPTAS. These results generalize from a single Agent to a distribution of Agents with finite support, as well as to the setting where the Designer must find the best response to the existing strategies of other Designers. We discuss other implications of our results and directions of future research.


title: Simple Learning Rules Generate Complex Canonical Circuits

abstract: Cortical circuits are characterized by exquisitely complex connectivity patterns that emerge during development from undifferentiated networks. The development of these circuits is governed by a combination of precise molecular cues that dictate neuronal identity and location along with activity dependent mechanisms that help establish, refine, and maintain neuronal connectivity. Here we ask whether simple plasticity mechanisms can lead to assembling a cortical microcircuit with canonical inter-laminar connectivity, starting from a network with all-to-all connectivity. The target canonical microcircuit is based on the pattern of connections between cortical layers typically found in multiple cortical areas in rodents, cats and monkeys. We use a computational model as a proof-of-principle to demonstrate that classical and reverse spike-timing dependent plasticity rules lead to a formation of networks that resemble canonical microcircuits. The model converges to biologically reasonable solutions provided that there is a balance between potentiation and depression and enhanced inputs to layer 4, only for a small combination of plasticity rules. The model makes specific testable predictions about the learning computations operant across cortical layers and their dynamic deployment during development.


title: MERAM: Non-Volatile Cache Memory Based on Magneto-Electric FETs

abstract: Magneto-Electric FET (MEFET) is a recently developed post-CMOS FET, which offers intriguing characteristics for high speed and low-power design in both logic and memory applications. In this paper, for the first time, we propose a non-volatile 2T-1MEFET memory bit-cell with separate read and write paths. We show that with proper co-design at the device, cell and array levels, such a design is a promising candidate for fast non-volatile cache memory, termed as MERAM. To further evaluate its performance in memory system, we, for the first time, build a device-to-architecture cross-layer evaluation framework based on an experimentally-calibrated MEFET device model to quantitatively analyze and benchmark the proposed MERAM design with other memory technologies, including both volatile memory (i.e. SRAM, eDRAM) and other popular non-volatile emerging memory (i.e. ReRAM, STT-MRAM, and SOT-MRAM). The experiment results show that MERAM has a high state distinguishability with almost 36x magnitude difference in sense current. Results for the PARSEC benchmark suite indicate that as an L2 cache alternative, MERAM reduces Energy Area Latency (EAT) product on average by ~98\% and ~70\% compared with typical 6T SRAM and 2T SOT-MRAM platforms, respectively.


title: Peak Estimation and Recovery with Occupation Measures

abstract: Peak Estimation aims to find the maximum value of a state function achieved by a dynamical system. This problem is non-convex when considering standard Barrier and Density methods for invariant sets, and has been treated heuristically by using auxiliary functions. A convex formulation based on occupation measures is proposed in this paper to solve peak estimation. This method is dual to the auxiliary function approach. Our method will converge to the optimal solution and can recover trajectories even from approximate solutions. This framework is extended to safety analysis by maximizing the minimum of a set of costs along trajectories.


title: Extracting the internal nonlocality from the dilated Hermiticity

abstract: To effectively realize a $\cal PT$-symmetric system, one can dilate a $\cal PT$-symmetric Hamiltonian to some global Hermitian one and simulate its evolution in the dilated Hermitian system. However, with only a global Hermitian Hamiltonian, how do we know whether it is a dilation and is useful for simulation? To answer this question, we consider the problem of how to extract the internal nonlocality in the Hermitian dilation. We unveil that the internal nonlocality brings nontrivial correlations between the subsystems. By evaluating the correlations with local measurements in three different pictures, the resulting different expectations of the Bell operator reveal the distinction of the internal nonlocality. When the simulated $\cal PT$-symmetric Hamiltonian approaches its exceptional point, such a distinction tends to be most significant. Our results clearly make a difference between the Hermitian dilation and other global Hamiltonians without internal nonlocality. They also provide the figure of merit to test the reliability of the simulation, as well as to verify a $\cal PT$-symmetric (sub)system.


title: ICASSP 2021 Deep Noise Suppression Challenge

abstract: The Deep Noise Suppression (DNS) challenge is designed to foster innovation in the area of noise suppression to achieve superior perceptual speech quality. We recently organized a DNS challenge special session at INTERSPEECH 2020. We open sourced training and test datasets for researchers to train their noise suppression models. We also open sourced a subjective evaluation framework and used the tool to evaluate and pick the final winners. Many researchers from academia and industry made significant contributions to push the field forward. We also learned that as a research community, we still have a long way to go in achieving excellent speech quality in challenging noisy real-time conditions. In this challenge, we are expanding both our training and test datasets. There are two tracks with one focusing on real-time denoising and the other focusing on real-time personalized deep noise suppression. We also make a non-intrusive objective speech quality metric called DNSMOS available for participants to use during their development stages. The final evaluation will be based on subjective tests.


title: Phase-Only Beam Broadening of Contiguous Uniform Subarrayed Arrays Utilizing Three Metaheuristic Global Optimization Techniques

abstract: Radar beam broadening provides continuous coverage of a wider angular extent. While many methods have been published that address beam broadening of traditional (nonsubarrayed) arrays, there is a knowledge gap in the published literature with respect to efficient and effective beam broadening of contiguous uniform subarrayed arrays. This paper presents efficient and effective methods for beam broadening of contiguous uniform subarrayed arrays where elements of the array are grouped together to have the same element excitations. Particularly, this paper focuses on phase-only optimization to preserve maximum power output. The high dimensionality of the solution space of possible phase settings causes brute force techniques to be infeasible for exhaustively evaluating the entire space. This paper presents three metaheuristic global optimization techniques that efficiently and effectively search for optimal phase values in this large solution space that satisfy the desired broadened pattern. The techniques presented in this paper are simulated annealing, genetic algorithm with elitism, and particle swarm optimization. These techniques are evaluated on idealized 40x40 and 80x80 element rectangular arrays with 5x5 element subarrays. The results of this study show that as configured in this paper the simulated annealing and particle swarm techniques outshine the genetic algorithm technique for 40x40 and 80x80 rectangular arrays grouped into contiguous uniform 5x5 element subarrays.


title: UltraFuzz: Towards Resource-saving in Distributed Fuzzing

abstract: Recent research has sought to improve fuzzing performance via parallel computing. However, researchers focus on improving efficiency while ignoring the increasing cost of testing resources. Parallel fuzzing in the distributed environment amplifies the resource-wasting problem caused by the random nature of fuzzing. In the parallel mode, owing to the lack of an appropriate task dispatching scheme and timely fuzzing status synchronization among different fuzzing instances, task conflicts and workload imbalance occur, making the resource-wasting problem severe. In this paper, we design UltraFuzz, a fuzzer for resource-saving in distributed fuzzing. Based on centralized dynamic scheduling, UltraFuzz can dispatch tasks and schedule power globally and reasonably to avoid resource-wasting. Besides, UltraFuzz can elastically allocate computing power for fuzzing and seed evaluation, thereby avoiding the potential bottleneck of seed evaluation that blocks the fuzzing process. UltraFuzz was evaluated using real-world programs, and the results show that with the same testing resource, UltraFuzz outperforms state-of-the-art tools, such as AFL, AFL-P, PAFL, and EnFuzz. Most importantly, the experiment reveals certain results that seem counter-intuitive, namely that parallel fuzzing can achieve ``super-linear acceleration'' when compared with single-core fuzzing. We conduct additional experiments to reveal the deep reasons behind this phenomenon and dig deep into the inherent advantages of parallel fuzzing over serial fuzzing, including the global optimization of seed energy scheduling and the escape of local optimal seed. Additionally, 24 real-world vulnerabilities were discovered using UltraFuzz.


title: A Qualitative Study of the Dynamic Behavior for Adaptive Gradient Algorithms

abstract: The dynamic behavior of RMSprop and Adam algorithms is studied through a combination of careful numerical experiments and theoretical explanations. Three types of qualitative features are observed in the training loss curve: fast initial convergence, oscillations, and large spikes in the late phase. The sign gradient descent (signGD) flow, which is the limit of Adam when taking the learning rate to 0 while keeping the momentum parameters fixed, is used to explain the fast initial convergence. For the late phase of Adam, three different types of qualitative patterns are observed depending on the choice of the hyper-parameters: oscillations, spikes, and divergence. In particular, Adam converges much smoother and even faster when the values of the two momentum factors are close to each other. This observation is particularly important for scientific computing tasks, for which the training process usually proceeds into the high precision regime.


title: Revisiting the nonlinear Gaussian noise model: The case of hybrid fiber spans

abstract: We rederive from first principles and generalize the theoretical framework of the nonlinear Gaussian noise model to the case of coherent optical systems with multiple fiber types per span and ideal Nyquist spectra. We focus on the accurate numerical evaluation of the integral for the nonlinear noise variance for hybrid fiber spans. This task consists in addressing four computational aspects: (i) Adopting a novel transformation of variables (other than using hyperbolic coordinates) that changes the integrand to a more appropriate form for numerical quadrature; (ii) Evaluating analytically the integral at its lower limit, where the integrand presents a singularity; (iii) Dividing the interval of integration into subintervals of size pi and approximating the integral in each subinterval by using various algorithms; and (iv) Deriving an upper bound for the relative error when the interval of integration is truncated in order to accelerate computation. We apply the proposed model to coherent optical communications systems with hybrid fiber spans composed of quasi-singlemode fiber and single-mode fiber segments. The accuracy of the final analytical relationship for the nonlinear noise variance in long-haul coherent optical communications systems with hybrid fiber spans is checked using the split-step Fourier method and Monte Carlo simulation. It is shown to be adequate to within 0.1 dBQ for the determination of the optimal fiber segment lengths per span that maximize system performance.


title: Mathematical Morphology via Category Theory

abstract: Mathematical morphology contributes many profitable tools to image processing area. Some of these methods considered to be basic but the most important fundamental of data processing in many various applications. In this paper, we modify the fundamental of morphological operations such as dilation and erosion making use of limit and co-limit preserving functors within (Category Theory). Adopting the well-known matrix representation of images, the category of matrix, called Mat, can be represented as an image. With enriching Mat over various semirings such as Boolean and (max,+) semirings, one can arrive at classical definition of binary and gray-scale images using the categorical tensor product in Mat. With dilation operation in hand, the erosion can be reached using the famous tensor-hom adjunction. This approach enables us to define new types of dilation and erosion between two images represented by matrices using different semirings other than Boolean and (max,+) semirings. The viewpoint of morphological operations from category theory can also shed light to the claimed concept that mathematical morphology is a model for linear logic.


title: Low Complexity Lookup Table Aided Soft Output Semidefinite Relaxation based Faster-than-Nyquist Signaling Detector

abstract: Spectrum scarcity necessitates innovative, spectral-efficient strategies to meet the ever-growing demand for high data rates. Faster-than-Nyquist (FTN) signaling emerges as a compelling spectral-efficient transmission method that pushes transmit data symbols beyond the Nyquist limit, offering enhanced spectral efficiency (SE). While FTN signaling maintains SE with the same energy and bandwidth as the Nyquist signaling, it introduces increased complexity, particularly at higher modulation levels. This complexity predominantly arises from the detection process, which seeks to mitigate the intentional intersymbol interference generated by FTN signaling. Another challenge involves the generation of reliable log-likelihood ratios (LLRs) vital for soft channel decoders. In this study, we introduce a lookup table (LUT) aided soft output semidefinite relaxation (soSDR) based sub-optimal FTN detector, which can be extended to higher modulation levels. This detector possesses polynomial computational complexity, given the negligible complexity associated with soft value generation. Our study assesses the performance of this soft output detector against that of the optimal FTN detector, Bahl, Cocke, Jelinek and Raviv (BCJR) algorithm as the benchmark. The likelihood values produced by our LUT aided semidefinite relaxation (SDR) based FTN signaling detector show promising viability in coded scenario.