title: Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free

abstract: Vector addition system with states is an ubiquitous model of computation with extensive applications in computer science. The reachability problem for vector addition systems is central since many other problems reduce to that question. The problem is decidable and it was recently proved that the dimension of the vector addition system is an important parameter of the complexity. In fixed dimensions larger than two, the complexity is not known (with huge complexity gaps). In dimension two, the reachability problem was shown to be PSPACE-complete by Blondin et al. in 2015. We consider an extension of this model, called 2-TVASS, where the first counter can be tested for zero. This model naturally extends the classical model of one counter automata (OCA). We show that reachability is still solvable in polynomial space for 2-TVASS. As in the work Blondin et al., our approach relies on the existence of small reachability certificates obtained by concatenating polynomially many cycles.


title: Trajectory Design and Power Allocation for Drone-Assisted NR-V2X Network with Dynamic NOMA/OMA

abstract: In this paper, we find trajectory planning and power allocation for a vehicular network in which an unmanned-aerial-vehicle (UAV) is considered as a relay to extend coverage for two disconnected far vehicles. We show that in a two-user network with an amplify-and-forward (AF) relay, non-orthogonal-multiple-access (NOMA) always has better or equal sum-rate in comparison to orthogonal-multiple-access (OMA) at high signal-to-noise-ratio (SNR) regime. However, for the cases where i) base station (BS)-to-relay link is weak, or ii) two users have similar links, or iii) BS-to-relay link is similar to relay-to-weak user link, applying NOMA has negligible sum-rate gain. Hence, due to the complexity of successive-interference-cancellation (SIC) decoding in NOMA, we propose a dynamic NOMA/OMA scheme in which OMA mode is selected for transmission when applying NOMA has only negligible gain. Also, we show that OMA always has better min-rate than NOMA at high SNR regime. Further, we formulate two optimization problems which maximize the sum-rate and min-rate of the two vehicles. These problems are non-convex, and hence we propose an iterative algorithm based on alternating-optimization (AO) method which solves trajectory and power allocation sub-problems by successive-convex-approximation (SCA) and difference-of-convex (DC) methods, respectively. Finally, the above-mentioned performance is confirmed by simulations.


title: Actor-based Risk Analysis for Blockchains in Smart Mobility

abstract: Blockchain technology is a crypto-based secure ledger for data storage and transfer through decentralized, trustless peer-to-peer systems. Despite its advantages, previous studies have shown that the technology is not completely secure against cyber attacks. Thus, it is crucial to perform domain specific risk analysis to measure how viable the attacks are on the system, their impact and consequently the risk exposure. Specifically, in this paper, we carry out an analysis in terms of quantifying the risk associated to an operational multi-layered Blockchain framework for Smart Mobility Data-markets (BSMD). We conduct an actor-based analysis to determine the impact of the attacks. The analysis identified five attack goals and five types of attackers that violate the security of the blockchain system. In the case study of the public permissioned BSMD, we highlight the highest risk factors according to their impact on the victims in terms of monetary, privacy, integrity and trust. Four attack goals represent a risk in terms of economic losses and one attack goal contains many threats that represent a risk that is either unacceptable or undesirable.


title: A dichotomy theorem for nonuniform CSPs simplified

abstract: In a non-uniform Constraint Satisfaction problem CSP(G), where G is a set of relations on a finite set A, the goal is to find an assignment of values to variables subject to constraints imposed on specified sets of variables using the relations from G. The Dichotomy Conjecture for the non-uniform CSP states that for every constraint language G the problem CSP(G) is either solvable in polynomial time or is NP-complete. It was proposed by Feder and Vardi in their seminal 1993 paper. In this paper we confirm the Dichotomy Conjecture.


title: Impact of LHC vector boson production in heavy ion collisions on strange PDFs

abstract: The extraction of the strange quark parton distribution function (PDF) poses a long-standing puzzle. Measurements from neutrino-nucleus deep inelastic scattering (DIS) experiments suggest the strange quark is suppressed compared to the light sea quarks, while recent studies of W/Z boson production at the LHC imply a larger strange component at small x values. As the parton flavor determination in the proton depends on nuclear corrections, e.g. from heavy-target DIS, LHC heavy ion measurements can provide a distinct perspective to help clarify this situation. In this investigation we extend the nCTEQ15 nPDFs to study the impact of the LHC proton-lead W/Z production data on both the flavor differentiation and nuclear corrections. This complementary data set provides new insights on both the LHC W/Z proton analyses and the neutrino-nucleus DIS data. We identify these new nPDFs as nCTEQ15WZ. Our calculations are performed using a new implementation of the nCTEQ code (nCTEQ++) based on C++ which enables us to easily interface to external programs such as HOPPET, APPLgrid and MCFM. Our results indicate that, as suggested by the proton data, the small x nuclear strange sea appears larger than previously expected, even when the normalization of the W/Z data is accommodated in the fit. Extending the nCTEQ15 analysis to include LHC W/Z data represents an important step as we advance toward the next generation of nPDFs.


title: Reinforcement Learning-Enabled Decision-Making Strategies for a Vehicle-Cyber-Physical-System in Connected Environment

abstract: As a typical vehicle-cyber-physical-system (V-CPS), connected automated vehicles attracted more and more attention in recent years. This paper focuses on discussing the decision-making (DM) strategy for autonomous vehicles in a connected environment. First, the highway DM problem is formulated, wherein the vehicles can exchange information via wireless networking. Then, two classical reinforcement learning (RL) algorithms, Q-learning and Dyna, are leveraged to derive the DM strategies in a predefined driving scenario. Finally, the control performance of the derived DM policies in safety and efficiency is analyzed. Furthermore, the inherent differences of the RL algorithms are embodied and discussed in DM strategies.


title: Breaking Moravec's Paradox: Visual-Based Distribution in Smart Fashion Retail

abstract: In this paper, we report an industry-academia collaborative study on the distribution method of fashion products using an artificial intelligence (AI) technique combined with an optimization method. To meet the current fashion trend of short product lifetimes and an increasing variety of styles, the company produces limited volumes of a large variety of styles. However, due to the limited volume of each style, some styles may not be distributed to some off-line stores. As a result, this high-variety, low-volume strategy presents another challenge to distribution managers. We collaborated with KOLON F/C, one of the largest fashion business units in South Korea, to develop models and an algorithm to optimally distribute the products to the stores based on the visual images of the products. The team developed a deep learning model that effectively represents the styles of clothes based on their visual image. Moreover, the team created an optimization model that effectively determines the product mix for each store based on the image representation of clothes. In the past, computers were only considered to be useful for conducting logical calculations, and visual perception and cognition were considered to be difficult computational tasks. The proposed approach is significant in that it uses both AI (perception and cognition) and mathematical optimization (logical calculation) to address a practical supply chain problem, which is why the study was called "Breaking Moravec's Paradox."


title: Flexibility and rigidity in steady fluid motion

abstract: Flexibility and rigidity properties of steady (time-independent) solutions of the Euler, Boussinesq and Magnetohydrostatic equations are investigated. Specifically, certain Liouville-type theorems are established which show that suitable steady solutions with no stagnation points occupying a two-dimensional periodic channel, or axisymmetric solutions in (hollowed out) cylinder, must have certain structural symmetries. It is additionally shown that such solutions can be deformed to occupy domains which are themselves small perturbations of the base domain. As application of the general scheme, Arnol'd stable solutions are shown to be structurally stable.


title: Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words

abstract: We give a new characterization of primitive permutation groups tied to the notion of completely reachable automata. Also, we introduce sync-maximal permutation groups tied to the state complexity of the set of synchronizing words of certain associated automata and show that they are contained between the $2$-homogeneous and the primitive groups. Lastly, we define $k$-reachable groups in analogy with synchronizing groups and motivated by our characterization of primitive permutation groups. But the results show that a $k$-reachable permutation group of degree $n$ with $6 \le k \le n - 6$ is either the alternating or the symmetric group.


title: Dark matter models for the 511 keV galactic line predict keV electron recoils on Earth

abstract: We propose models of Dark Matter that account for the 511 keV photon emission from the Galactic Centre, compatibly with experimental constraints and theoretical consistency, and where the relic abundance is achieved via p-wave annihilations or, in inelastic models, via co-annihilations. Due to the Dark Matter component that is inevitably upscattered by the Sun, these models generically predict keV electron recoils at detectors on Earth, and could naturally explain the excess recently reported by the XENON1T collaboration. The very small number of free parameters make these ideas testable by detectors like XENONnT and Panda-X, by accelerators like NA64 and LDMX, and by cosmological surveys like the Simons observatory and CMB-S4. As a byproduct of our study, we recast NA64 limits on invisibly decaying dark photons to other particles.


title: Comparing nonlinear optomechanical coupling in membrane-in-the-middle and single-cavity optomechanical systems

abstract: In cavity optomechanics, nonlinear interactions between an optical field and a mechanical resonator mode enable a variety of unique effects in classical and quantum measurement and information processing. Here, we describe nonlinear optomechanical coupling in the membrane-in-the-middle (MIM) setup in a way that allows direct comparison to the intrinsic optomechanical nonlinearity in a standard, single-cavity optomechanical system. We find that the enhancement of nonlinear optomechanical coupling in the MIM system as predicted by Ludwig et al. arXiv:1202.0532 is limited to the degree of sideband resolution of the system. Moreover, we show that the selectivity of the MIM system of nonlinear over linear transduction has the same limit as in a single cavity system. These findings put constraints on the experiments in which it is advantageous to use a MIM system. We discuss dynamical backaction effects in this system and find that these effects per cavity photon are exactly as strong as in a single cavity system, while allowing for reduction of the required input power. We propose using the nonlinear enhancement and reduced input power in realistic MIM systems towards parametric squeezing and heralding of phonon pairs, and evaluate the limits to the magnitude of both effects.


title: Synthetic and Real Inputs for Tool Segmentation in Robotic Surgery

abstract: Semantic tool segmentation in surgical videos is important for surgical scene understanding and computer-assisted interventions as well as for the development of robotic automation. The problem is challenging because different illumination conditions, bleeding, smoke and occlusions can reduce algorithm robustness. At present labelled data for training deep learning models is still lacking for semantic surgical instrument segmentation and in this paper we show that it may be possible to use robot kinematic data coupled with laparoscopic images to alleviate the labelling problem. We propose a new deep learning based model for parallel processing of both laparoscopic and simulation images for robust segmentation of surgical tools. Due to the lack of laparoscopic frames annotated with both segmentation ground truth and kinematic information a new custom dataset was generated using the da Vinci Research Kit (dVRK) and is made available.


title: Rapid Parameter Estimation of Gravitational Waves from Binary Neutron Star Coalescence using Focused Reduced Order Quadrature

abstract: Rapid parameter estimation of gravitational waves from binary neutron star coalescence, in particular accurate sky localisation in minutes after the initial detection stage, is crucial for the success of multi-messenger observations. One of the techniques to speed up the parameter estimation, which has been applied for the production analysis of the LIGO-Virgo collaboration, is reduced order quadrature (ROQ). While it speeds up parameter estimation significantly, the time required is still on the order of hours. Focusing on the fact that the parameter-estimation follow-up can be tuned with the information available at the detection stage, we improve the ROQ technique and develop a new technique, which we designate focused reduced order quadrature (FROQ). We find that FROQ speeds up the parameter estimation by a factor of $\mathcal{O}(10^3)$ to $\mathcal{O}(10^4)$ and enables providing accurate source properties such as the location of a source in several tens of minutes after detection.


title: Klessydra-T: Designing Vector Coprocessors for Multi-Threaded Edge-Computing Cores

abstract: Computation intensive kernels, such as convolutions, matrix multiplication and Fourier transform, are fundamental to edge-computing AI, signal processing and cryptographic applications. Interleaved-Multi-Threading (IMT) processor cores are interesting to pursue energy efficiency and low hardware cost for edge-computing, yet they need hardware acceleration schemes to run heavy computational workloads. Following a vector approach to accelerate computations, this study explores possible alternatives to implement vector coprocessing units in RISC-V cores, showing the synergy between IMT and data-level parallelism in the target workloads.


title: Colossal Negative Magnetoresistance Effect in A La$_{1.37}$Sr$_{1.63}$Mn$_2$O$_7$ Single Crystal Grown by Laser-Diode-Heated Floating-Zone Technique

abstract: We have grown La$_{1.37}$Sr$_{1.63}$Mn$_2$O$_7$ single crystals with a laser-diode-heated floating-zone furnace and studied the crystallinity, structure, and magnetoresistance (MR) effect by in-house X-ray Laue diffraction, X-ray powder diffraction, and resistance measurements. The La$_{1.37}$Sr$_{1.63}$Mn$_2$O$_7$ single crystal crystallizes into a tetragonal structure with space group \emph{I}4{/}\emph{mmm} at room temperature. At 0 T, the maximum resistance centers around $\sim$166.9 K. Below $\sim$35.8 K, it displays an insulating character with an increase in resistance upon cooling. An applied magnetic field of \emph{B}~=~7~T strongly suppresses the resistance indicative of a negative MR effect. The minimum MR value equals $-$91.23\% at 7 T and 128.7 K. The magnetic-field-dependent resistance shows distinct features at 1.67, 140, and 322 K, from which we calculated the corresponding MR values. At 14 T and 140 K, the colossal negative MR value is down to $-$94.04(5)\%. We schematically fit the MR values with different models for an ideal describing of the interesting features of the MR value versus \emph{B} curves.


title: Dynamical blockade in a bosonic Josephson junction using optimal coupling

abstract: In this article we use time-dependent Josephson coupling to enhance unconventional photon blockade in a system of two coupled nonlinear bosonic modes which are initially loaded with weakly populated coherent states, so the evolution is restricted to the manifold of up to two field quanta. Using numerical optimal control, we find the optimal coupling which minimizes the two-photon occupation of one mode, which is actually transferred to the other, while maintains a non-zero one-photon occupation in the same mode. Moreover, we choose the continuous coupling to vanish after the transfer between the modes such that they are decoupled and one of them is left only with some one-photon population which can be observed upon its decay. We numerically find lower values of the second-order correlation function obtained at earlier times than with constant coupling, with larger one-photon populations and for longer time windows, corresponding thus to higher emission efficiency and easier detection. The presented methodology is not restricted to the system under study, but it can also be transferred to other related frameworks, to find the optimal driving fields which can improve the single-photon emission statistics from these systems.


title: Algebraic Relations Via a Monte Carlo Simulation

abstract: The conjugation action of the complex orthogonal group on the polynomial functions on $n \times n$ matrices gives rise to a graded algebra of invariant polynomials. A spanning set of this algebra is in bijective correspondence to a set of unlabeled, cyclic graphs with directed edges equivalent under dihedral symmetries. When the degree of the invariants is $n+1$, we show that the dimension of the space of relations between the invariants grows linearly in $n$. Furthermore, we present two methods to obtain a basis of the space of relations. First, we construct a basis using an idempotent of the group algebra referred to as Young symmetrizers, but this quickly becomes computationally expensive as $n$ increases. Thus, we propose a more computationally efficient method for this problem by repeatedly generating random matrices using a Monte Carlo algorithm.


title: Free energy fluxes and the Kubo-Martin-Schwinger relation

abstract: A general, multi-component Eulerian fluid theory is a set of nonlinear, hyperbolic partial differential equations. However, if the fluid is to be the large-scale description of a short-range many-body system, further constraints arise on the structure of these equations. Here we derive one such constraint, pertaining to the free energy fluxes. The free energy fluxes generate expectation values of currents, akin to the specific free energy generating conserved densities. They fix the equations of state and the Euler-scale hydrodynamics, and are simply related to the entropy currents. Using the Kubo-Martin-Schwinger relations associated to many conserved quantities, in quantum and classical systems, we show that the associated free energy fluxes are perpendicular to the vector of inverse temperatures characterising the state. This implies that all entropy currents can be expressed as averages of local observables. In few-component fluids, it implies that the averages of currents follow from the specific free energy alone, without the use of Galilean or relativistic invariance. In integrable models, in implies that the thermodynamic Bethe ansatz must satisfy a unitarity condition. The relation also guarantees physical consistency of the Euler hydrodynamics in spatially-inhomogeneous, macroscopic external fields, as it implies conservation of entropy, and the local-density approximated Gibbs form of stationarity states. The main result on free energy fluxes is based on general properties such as clustering, and we show that it is mathematically rigorous in quantum spin chains.


title: SBI -- A toolkit for simulation-based inference

abstract: Scientists and engineers employ stochastic numerical simulators to model empirically observed phenomena. In contrast to purely statistical models, simulators express scientific principles that provide powerful inductive biases, improve generalization to new data or scenarios and allow for fewer, more interpretable and domain-relevant parameters. Despite these advantages, tuning a simulator's parameters so that its outputs match data is challenging. Simulation-based inference (SBI) seeks to identify parameter sets that a) are compatible with prior knowledge and b) match empirical observations. Importantly, SBI does not seek to recover a single 'best' data-compatible parameter set, but rather to identify all high probability regions of parameter space that explain observed data, and thereby to quantify parameter uncertainty. In Bayesian terminology, SBI aims to retrieve the posterior distribution over the parameters of interest. In contrast to conventional Bayesian inference, SBI is also applicable when one can run model simulations, but no formula or algorithm exists for evaluating the probability of data given parameters, i.e. the likelihood. We present $\texttt{sbi}$, a PyTorch-based package that implements SBI algorithms based on neural networks. $\texttt{sbi}$ facilitates inference on black-box simulators for practising scientists and engineers by providing a unified interface to state-of-the-art algorithms together with documentation and tutorials.


title: Scale Equivariance Improves Siamese Tracking

abstract: Siamese trackers turn tracking into similarity estimation between a template and the candidate regions in the frame. Mathematically, one of the key ingredients of success of the similarity function is translation equivariance. Non-translation-equivariant architectures induce a positional bias during training, so the location of the target will be hard to recover from the feature space. In real life scenarios, objects undergoe various transformations other than translation, such as rotation or scaling. Unless the model has an internal mechanism to handle them, the similarity may degrade. In this paper, we focus on scaling and we aim to equip the Siamese network with additional built-in scale equivariance to capture the natural variations of the target a priori. We develop the theory for scale-equivariant Siamese trackers, and provide a simple recipe for how to make a wide range of existing trackers scale-equivariant. We present SE-SiamFC, a scale-equivariant variant of SiamFC built according to the recipe. We conduct experiments on OTB and VOT benchmarks and on the synthetically generated T-MNIST and S-MNIST datasets. We demonstrate that a built-in additional scale equivariance is useful for visual object tracking.


title: The Combinatorial Santa Claus Problem or: How to Find Good Matchings in Non-Uniform Hypergraphs

abstract: We consider hypergraphs on vertices $P\cup R$ where each hyperedge contains exactly one vertex in $P$. Our goal is to select a matching that covers all of $P$, but we allow each selected hyperedge to drop all but an $(1/\alpha)$-fraction of its intersection with $R$ (thus relaxing the matching constraint). Here $\alpha$ is to be minimized. We dub this problem the Combinatorial Santa Claus problem, since we show in this paper that this problem and the Santa Claus problem are almost equivalent in terms of their approximability. The non-trivial observation that any uniform regular hypergraph admits a relaxed matching for $\alpha = O(1)$ was a major step in obtaining a constant approximation rate for a special case of the Santa Claus problem, which received great attention in literature. It is natural to ask if the uniformity condition can be omitted. Our main result is that every (non-uniform) regular hypergraph admits a relaxed matching for $\alpha = O(\log\log(|R|))$, when all hyperedges are sufficiently large (a condition that is necessary). In particular, this implies an $O(\log\log(|R|))$-approximation algorithm for the Combinatorial Santa Claus problem with large hyperedges.


title: Estimating COVID-19 cases and reproduction number in Mexico

abstract: In this report we fit a semi-mechanistic Bayesian hierarchical model to describe the Mexican COVID-19 epidemic. We obtain two epidemiological measures: the number of infections and the reproduction number. Estimations are based on death data. Hence, we expect our estimates to be more accurate than the attack rates estimated from the reported number of cases.


title: A Fourier State Space Model for Bayesian ODE Filters

abstract: Gaussian ODE filtering is a probabilistic numerical method to solve ordinary differential equations (ODEs). It computes a Bayesian posterior over the solution from evaluations of the vector field defining the ODE. Its most popular version, which employs an integrated Brownian motion prior, uses Taylor expansions of the mean to extrapolate forward and has the same convergence rates as classical numerical methods. As the solution of many important ODEs are periodic functions (oscillators), we raise the question whether Fourier expansions can also be brought to bear within the framework of Gaussian ODE filtering. To this end, we construct a Fourier state space model for ODEs and a `hybrid' model that combines a Taylor (Brownian motion) and Fourier state space model. We show by experiments how the hybrid model might become useful in cheaply predicting until the end of the time domain.

categories: stat.ML cs.LG cs.NA math.NA stat.CO stat.ME


title: Quantum engine based on general measurements

abstract: In this work, we introduce a three-stroke quantum engine with a single-qubit work-ing substance whose cycle consists of two strokes arise due to performing two distinctgeneral quantum measurements and it is completed by thermalization through contactwith a finite temperature thermal reservoir. It is demonstrated that energy is importedinto the engine by first measurement channel and work (usefulenergy) is extracted fromit, in a frictionless isentropic manner, by the second measurement channel. It is par-ticularly shown that the engine is capable to have perfect efficiency. In continuation,we equip the the engine cycle with two additional adiabatic strokes. As illustrated,the presence of adiabatic strokes in the cycle provide an improved lower bound for theparametrized efficiency range of the engine.


title: Analytical Derivation of Outage Correlation in Random Media Access with Application to Average Consensus in Wireless Networks: Extended Paper Version

abstract: We study a finite and fixed relative formation of possibly mobile wireless networked nodes. The nodes apply average consensus to agree on a common value like the formation's center. %Performance of consensus in terms of convergence speed is affected by message losses due path loss and interference. We assume framed slotted ALOHA based broadcast communication. Our work has two contributions. First, we analyze outage correlation of random media access in wireless networks under Nakagami fading. Second, the correlation terms are applied to the so called L2-joint spectral and numerical radii to analyze convergence speed of average consensus under wireless broadcast communication. This yields a unified framework for studying joint optimization of control and network parameters for consensus subject to message losses in wireless communications. Exemplary we show in this work how far outage correlation in wireless broadcast communication positively affects convergence speed of average consensus compared to consensus in the uncorrelated case.


title: Dealing with Nuisance Parameters using Machine Learning in High Energy Physics: a Review

abstract: In this work we discuss the impact of nuisance parameters on the effectiveness of machine learning in high-energy physics problems, and provide a review of techniques that allow to include their effect and reduce their impact in the search for optimal selection criteria and variable transformations. The introduction of nuisance parameters complicates the supervised learning task and its correspondence with the data analysis goal, due to their contribution degrading the model performances in real data, and the necessary addition of uncertainties in the resulting statistical inference. The approaches discussed include nuisance-parameterized models, modified or adversary losses, semi-supervised learning approaches, and inference-aware techniques.

categories: stat.ML cs.LG hep-ex hep-ph physics.data-an


title: Full-polaron master equation approach to dynamical steady states of a driven two-level system beyond the weak system-environment coupling

abstract: We apply a full-polaron master equation and a weak-coupling non-Markovian master equation to describe the steady-state time-averaged properties of a driven two-level system, an electron coherently tunneling between double quantum dots (DQDs), interacting with a bosonic phonon bath. Comparing the results obtained using these two master equations with those from a recent DQD experiment and its corresponding weak-coupling theoretical method, we find that the original parameter set used in the experiment and theoretical method is not in the weak-coupling parameter regime. By using the full-polaron master equation with a slight adjustment on only the value of the interdot separation in the original experimental parameter set, we find that a reasonable fit to the experimentally measured time-averaged steady-state population data can be achieved. The adjusted interdot separation is within the possible values allowed by the geometry of the surface gates that define the DQD in the experiment. Our full-polaron equation approach does not require the special renormalization scheme employed in their weak-coupling theoretical method, and can still describe the experimental results of driving-induced phonon-enhanced steplike shoulder behaviors in the experiment. This demonstrates that the full-polaron master equation approach is a correct and efficient tool to describe the steady-state properties of a driven spin-boson model in the case of strong system-environment coupling.


title: Digging process in NGC 6951: the molecular disc bumped by the jet

abstract: We present a study of the central 200 pc of the galaxy NGC 6951, SAB(rs)bc, an active twin of the Milky Way, at a distance of 24 Mpc. Its nucleus has been observed in the optical with the GMOS-IFU, showing an outflow, and with the HST/ACS, revealing two extended structures with similar orientation, suggesting the presence of a collimating and/or obscuring structure. In order to ascertain this hypothesis, adaptive optics assisted NIR integral field spectroscopic observations were obtained with the NIFS spectrograph in the Gemini North telescope. We detected a compact structure of H$_2$ molecular gas, interpreted as a nearly edge-on disc with diameter of $\sim$47 pc, PA=124$\deg$ and velocity range from -40 to +40 km s$^{-1}$. This disc is misaligned by 32$\deg$ with respect to the radio jet and the ionization cones seen in the optical. There are two regions of turbulent gas, with position angles similar to the jet/cones, seen both in molecular and ionized phases; these regions are connected to the edges of the molecular disc and coincide with a high ratio of [N II]/H$\alpha$=5, suggesting that these regions are shock excited, partially ionized or both. We explain these structures as a consequence of a "digging process" that the jet inflicts on the disc, ejecting the molecular gas towards the ionization cones. The dynamical mass within 17 pc is estimated as $6.3\times10^{6}$$M_{\odot}$. This is an interesting case of an object presenting evidence of a connected feeding-feedback structure.


title: Local information sources received the most attention from Puerto Ricans during the aftermath of Hurricane Mar\'ia

abstract: In September 2017, Hurricane Mar\'ia made landfall across the Caribbean region as a category 4 storm. In the aftermath, many residents of Puerto Rico were without power or clean running water for nearly a year. Using both English and Spanish tweets from September 16 to October 15 2017, we investigate discussion of Mar\'ia both on and off the island, constructing a proxy for the temporal network of communication between victims of the hurricane and others. We use information theoretic tools to compare the lexical divergence of different subgroups within the network. Lastly, we quantify temporal changes in user prominence throughout the event. We find at the global level that Spanish tweets more often contained messages of hope and a focus on those helping. At the local level, we find that information propagating among Puerto Ricans most often originated from sources local to the island, such as journalists and politicians. Critically, content from these accounts overshadows content from celebrities, global news networks, and the like for the large majority of the time period studied. Our findings reveal insight into ways social media campaigns could be deployed to disseminate relief information during similar events in the future.


title: Homological aspects of oriented hypergraphs

abstract: We define an algebraic setup of homology for hypergraphs, which defaults to simplicial homology in the case of graphs, and study its basic properties. As part of our study we define algebraic spanning trees of hypergraphs, along with fundamental cuts and cycles playing their usual roles.


title: A multiplicatively symmetrized version of the Chung-Diaconis-Graham random process

abstract: This paper considers random processes of the form $X_{n+1}=a_nX_n+b_n \pmod p$ where $p$ is odd, $X_0=0$, $(a_0,b_0), (a_1,b_1), (a_2,b_2),...$ are i.i.d., and $a_n$ and $b_n$ are independent with $P(a_n=2)=P(a_n=(p+1)/2)=1/2$ and $P(b_n=1)=P(b_n=0)=P(b_n=-1)=1/3$. This can be viewed as a multiplicatively symmetrized version of a random process of Chung, Diaconis, and Graham. This paper shows that order $(\log p)^2$ steps suffice for $X_n$ to be close to uniformly distributed on the integers mod $p$ for all odd $p$ while order $(\log p)^2$ steps are necessary for $X_n$ to be close to uniformly distributed on the integers mod $p$.


title: CTC-Segmentation of Large Corpora for German End-to-end Speech Recognition

abstract: Recent end-to-end Automatic Speech Recognition (ASR) systems demonstrated the ability to outperform conventional hybrid DNN/ HMM ASR. Aside from architectural improvements in those systems, those models grew in terms of depth, parameters and model capacity. However, these models also require more training data to achieve comparable performance. In this work, we combine freely available corpora for German speech recognition, including yet unlabeled speech data, to a big dataset of over $1700$h of speech data. For data preparation, we propose a two-stage approach that uses an ASR model pre-trained with Connectionist Temporal Classification (CTC) to boot-strap more training data from unsegmented or unlabeled training data. Utterances are then extracted from label probabilities obtained from the network trained with CTC to determine segment alignments. With this training data, we trained a hybrid CTC/attention Transformer model that achieves $12.8\%$ WER on the Tuda-DE test set, surpassing the previous baseline of $14.4\%$ of conventional hybrid DNN/HMM ASR.


title: Functional clustering methods for resistance spot welding process data in the automotive industry

abstract: Quality assessment of resistance spot welding (RSW) joints of metal sheets in the automotive industry is typically based on costly and lengthy off-line tests that are unfeasible on the full production, especially on large scale. However, the massive industrial digitalization triggered by the industry 4.0 framework makes available, for every produced joint, on-line RSW process parameters, such as, in particular, the so-called dynamic resistance curve (DRC), which is recognized as the full technological signature of the spot welds. Motivated by this context, the present paper means to show the potentiality and the practical applicability to clustering methods of the functional data approach that avoids the need for arbitrary and often controversial feature extraction to find out homogeneous groups of DRCs, which likely pertain to spot welds sharing common mechanical and metallurgical properties. We intend is to provide an essential hands-on overview of the most promising functional clustering methods, and to apply the latter to the DRCs collected from the RSW process at hand, even if they could go far beyond the specific application hereby investigated. The methods analyzed are demonstrated to possibly support practitioners along the identification of the mapping relationship between process parameters and the final quality of RSW joints as well as, more specifically, along the priority assignment for off-line testing of welded spots and the welding tool wear analysis. The analysis code, that has been developed through the software environment R, and the DRC data set are made openly available online at https://github.com/unina-sfere/funclustRSW/


title: Rigidity and vanishing theorems for complete translating solitons

abstract: In this paper, we prove some rigidity theorems for complete translating solitons. Assume that the $L^q$-norm of the trace-free second fundamental form is finite, for some $q\in\mathbb{R}$ and using a Sobolev inequality, we show that translator must be hyperspace. Our results can be considered as a generalization of \cite{Ma, WXZ16, Xin15}. We also investigate a vanishing property for translators which states that there are no nontrivial $L_f^p\ (p\geq2)$ weighted harmonic $1$-forms on ${M}$ if the $L^n$-norm of the second fundamental form is bounded.


title: Equilibrium analysis of an immersed rigid leaflet by the virtual element method

abstract: We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness), we identify sufficient conditions on the spring stiffness function for the existence (and uniqueness) of equilibrium positions. We propose a numerical technique that exploits the mesh flexibility of the Virtual Element Method (VEM). A (polygonal) computational mesh is generated by cutting a fixed background grid with the leaflet geometry, and the problem is then solved with stable VEM Stokes elements of degrees $1$ and $2$ combined with a bisection algorithm. We present a large array of numerical experiments to document the accuracy and robustness with respect to degenerate geometry of the proposed methodology.


title: SkipConvNet: Skip Convolutional Neural Network for Speech Dereverberation using Optimally Smoothed Spectral Mapping

abstract: The reliability of using fully convolutional networks (FCNs) has been successfully demonstrated by recent studies in many speech applications. One of the most popular variants of these FCNs is the `U-Net', which is an encoder-decoder network with skip connections. In this study, we propose `SkipConvNet' where we replace each skip connection with multiple convolutional modules to provide decoder with intuitive feature maps rather than encoder's output to improve the learning capacity of the network. We also propose the use of optimal smoothing of power spectral density (PSD) as a pre-processing step, which helps to further enhance the efficiency of the network. To evaluate our proposed system, we use the REVERB challenge corpus to assess the performance of various enhancement approaches under the same conditions. We focus solely on monitoring improvements in speech quality and their contribution to improving the efficiency of back-end speech systems, such as speech recognition and speaker verification, trained on only clean speech. Experimental findings show that the proposed system consistently outperforms other approaches.


title: Analysis of Nonlinear Fractional Differential Equations Involving Atangana-Baleanu-Caputo Derivative

abstract: In the present paper, we determine the estimations on Atangana-Baleanu-Caputo fractional derivative at extreme points. With the assistance of the estimations obtained, we derive the comparison results. Peano's type existence results established for nonlinear fractional differential equations involving Atangana-Baleanu-Caputo fractional derivative. The acquired comparison results are then utilized to deal with the existence of local, extremal and global solution.


title: Indivisible Mixed Manna: On the Computability of MMS + PO Allocations

abstract: In this paper we initiate the study of finding fair and efficient allocations of an indivisible mixed manna: Divide m indivisible items among n agents under the fairness notion of maximin share (MMS) and the efficiency notion of Pareto optimality (PO). A mixed manna allows an item to be a good for some agents and a chore for others. The problem of finding $\alpha$-MMS allocation for the (near) best $\alpha\in(0,1]$ for which it exists, remains unresolved even for a goods manna with constantly many agents, while the problem of finding $\alpha$-MMS+PO allocation is unexplored for any $\alpha\in(0,1]$. We make significant progress on the above questions for a mixed manna. First, we show that for any $\alpha>0$, an $\alpha$-MMS allocation may not always exist, thus ruling out solving the problem for a fixed $\alpha$. Second, towards computing $\alpha$-MMS+PO allocation for the best possible $\alpha$, we obtain a dichotomous result: We derive two conditions and show that the problem is tractable under these two conditions, while dropping either renders the problem intractable. The two conditions are: (i) number of agents is a constant, and (ii) for every agent, her absolute value for all the items is at least a constant factor of her total (absolute) value for all the goods or all the chores. In particular, first, for instances satisfying (i) and (ii) we design a PTAS - an efficient algorithm to find an $(\alpha-\epsilon)$-MMS and $\gamma$-PO allocation when given $\epsilon,\gamma>0$, for the highest possible $\alpha\in(0,1]$. Second, we show that if either condition is not satisfied then finding an $\alpha$-MMS allocation for any $\alpha\in(0,1]$ is NP-hard, even when a solution exists for $\alpha=1$. To the best of our knowledge, ours is the first algorithm that ensures both approximate MMS and PO guarantees.


title: A Systematic Review of Natural Language Processing for Knowledge Management in Healthcare

abstract: Driven by the visions of Data Science, recent years have seen a paradigm shift in Natural Language Processing (NLP). NLP has set the milestone in text processing and proved to be the preferred choice for researchers in the healthcare domain. The objective of this paper is to identify the potential of NLP, especially, how NLP is used to support the knowledge management process in the healthcare domain, making data a critical and trusted component in improving the health outcomes. This paper provides a comprehensive survey of the state-of-the-art NLP research with a particular focus on how knowledge is created, captured, shared, and applied in the healthcare domain. Our findings suggest, first, the techniques of NLP those supporting knowledge management extraction and knowledge capture processes in healthcare. Second, we propose a conceptual model for the knowledge extraction process through NLP. Finally, we discuss a set of issues, challenges, and proposed future research areas.


title: The Sound of Clearing the Throat: Gravitational Waves from a Black Hole Orbiting in a Wormhole Geometry

abstract: Current ground-based gravitational wave detectors are tuned to capture the collision of compact objects such as stellar origin black holes and neutron stars; over 20 such events have been published to date. Theoretically, however, more exotic compact objects may exist, collisions of which should also generate copious gravitational waves. In this paper, we model the inspiral of a stellar mass black hole into a stable, non-spinning, traversable wormhole, and find a characteristic waveform -- an anti-chirp and/or burst -- as the black hole emerges, i.e., outspirals, into our region of the Universe. This novel waveform signature may be useful in searches for wormholes in future gravitational wave data or used to constrain possible wormhole geometries in our Universe.


title: The twisted story of worldsheet scattering in $\eta$-deformed $AdS_5 \times S^5$

abstract: We study the worldsheet scattering theory of the $\eta$ deformation of the AdS$_\mathsf{5} \times $S$^\mathsf{5}$ superstring corresponding to the purely fermionic Dynkin diagram. This theory is a Weyl-invariant integrable deformation of the AdS$_\mathsf{5} \times $S$^\mathsf{5}$ superstring, with trigonometric quantum-deformed symmetry. We compute the two-body worldsheet S matrix of this string in the light-cone gauge at tree level to quadratic order in fermions. The result factorizes into two elementary blocks, and solves the classical Yang-Baxter equation. We also determine the corresponding exact factorized S matrix, and show that its perturbative expansion matches our tree-level results, once we correctly identify the deformed light-cone symmetry algebra of the string. Finally, we briefly revisit the computation of the corresponding S matrix for the $\eta$ deformation based on the distinguished Dynkin diagram, finding a tree-level S matrix that factorizes and solves the classical Yang-Baxter equation, in contrast to previous results.


title: Bulk and surface properties of SmB6

abstract: Samarium hexaboride crystallizes in a simple cubic structure (space group #221, Pm-3m), but its properties are far from being straightforward. Initially classified as a Kondo insulator born out of its intriguing intermediate valence ground state, SmB6 has been recently predicted to be a strongly correlated topological insulator. The subsequent experimental discovery of surface states has revived the interest in SmB6, and our purpose here is to review the extensive and in many aspects perplexing experimental record of this material. We will discuss both surface and bulk properties of SmB6 with an emphasis on the role of crystal growth and sample preparation. We will also highlight the remaining mysteries and open questions in the field.


title: Systematic Characterization of Hydrophilized Polydimethylsiloxane

abstract: Flexible microfluidics have found extensive utility in the biological and biomedical fields. A leading substrate material for compliant devices is polydimethylsiloxane (PDMS). Despite its many advantages, PDMS is inherently hydrophobic and consequently its use in passive (pumpless) microfluidics becomes problematic. To this end, many physical and chemical modifications have been introduced to render PDMS hydrophilic, ranging from amphiphilic molecule additions to surface plasma treatments. However, when transitioning from lab benchtop to realized medical devices, these modifications must exhibit long-term stability. Unfortunately, these modifications are often presented but their mechanisms and long-term stability are not studied in detail. We have investigated an array of PDMS modifications, utilizing contact angle goniometry to study surface energy over a 30-day evolution study. Samples were stored in air and water, and Fourier Transform Infrared-Attenuated Total Reflectance (FTIR-ATR) analysis was used to confirm surface functional group uniformity. We have identified preferred modification techniques for long-lasting PDMS devices and characterized often overlooked material stability.


title: Implicit Fractional Differential Equations in Banach Spaces via Picard and Weakly Picard Operator Theory

abstract: In this paper, by employing fixed-point methods, we obtain the existence and uniqueness results for the nonlinear implicit fractional differential equations in Banach spaces. Further, we obtain the uniqueness, dependence of the solution on the initial condition as well as on the functions involved on the right-hand side by means of Picard and weakly Picard operator theory and Pompeiu--Hausdorff functional.


title: Sudden death of entanglement induced by a minimal thermal environment

abstract: We study the dynamics of two interacting two-level systems (qubits) having one of them isolated and the other coupled to a single mode electromagnetic field in a thermal state. The field plays the role of a small environment, in contrast to the usual approach of modeling an environment via a thermal reservoir with many degrees of freedom. We find the analytical solution of the proposed model, which allows us to investigate the consequences of the coupling to the small environment on characteristic quantum features of the two-qubit system. We study the time evolution of quantum entanglement and coherence, verifying the dependence on the relevant coupling constants as well as the influence of the effective temperature of the environment. Interestingly, we find that both sudden death and sudden birth of entanglement may occur in such a simple system. We also discuss a different partition, in which the isolated qubit is considered to be coupled to a composite environment, constituted by the other qubit plus the field mode.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.optics


title: Diversifying Anonymized Data with Diversity Constraints

abstract: Recently introduced privacy legislation has aimed to restrict and control the amount of personal data published by companies and shared to third parties. Much of this real data is not only sensitive requiring anonymization, but also contains characteristic details from a variety of individuals. This diversity is desirable in many applications ranging from Web search to drug and product development. Unfortunately, data anonymization techniques have largely ignored diversity in its published result. This inadvertently propagates underlying bias in subsequent data analysis. We study the problem of finding a diverse anonymized data instance where diversity is measured via a set of diversity constraints. We formalize diversity constraints and study their foundations such as implication and satisfiability. We show that determining the existence of a diverse, anonymized instance can be done in PTIME, and we present a clustering-based algorithm. We conduct extensive experiments using real and synthetic data showing the effectiveness of our techniques, and improvement over existing baselines. Our work aligns with recent trends towards responsible data science by coupling diversity with privacy-preserving data publishing.


title: Novel aspects of cosmic ray diffusion in synthetic magnetic turbulence

abstract: The diffusive motion of charged particles in synthetic magnetic turbulence with different properties is investigated by using numerical simulations with unprecedented dynamical range, which allow us to ensure that both the inertial range and the long wavelength part of the turbulent spectrum are properly described. This is of particular importance in evaluating previous suggestions that parallel and perpendicular diffusion coefficients differ in their energy dependence, an assertion at odds with the many claims of universality of the $D_{\perp}$ and $D_{\parallel}$ as functions of particle energy. Cases with and without an ordered magnetic field are discussed. Results of the numerical simulations are compared with available theoretical models, for slab, slab/2D and isotropic turbulence. We find widespread evidence that universality is broken, and that the ratio $D_{\perp}/D_{\parallel}$ is not independent of energy. The implications of this finding for the physics of cosmic ray transport are discussed in depth.


title: Searches for heavy Higgs bosons in the framework of 2HDM model

abstract: The searches for heavy neutral and charged Higgs bosons are performed through the calculations of production cross sections using MadGraph5aMC@NLO program with ansatz of Yukawa coupling and the restricted parameter space connected with LHC Run 2 data. The searches for heavy resonances are performed in the framework of 2HDM model over the mass range 0.1 - 1 TeV for the $pp\rightarrow At\bar{b}$, $pp\rightarrow H^{+}b\bar{t}$ , $pp\rightarrow H^{+}t\bar{t}$ , $pp\rightarrow HHZ$ decay modes. The presented data demonstrate the jump in the production cross section of $H^{+} b\bar{t}$ and $HHZ$ production processes in the mass range of 100-200 GeV and 100-300 GeV accordingly at energy of 14 TeV.


title: The Trans-Planckian problem in Tachyacoustic Cosmology

abstract: We study Tachyacoustic models of cosmology, for which a scale-invariant perturbation spectrum is generated via superluminal sound speed instead of accelerated expansion, as in the case of inflation. We derive two bounds on the size of acoustic horizon which constrain the duration of tachyacoustic evolution, and therefore generation of primordial perturbations. We show that existing models cannot solve the horizon problem without violating the condition that all physical scales -- such as the Hubble parameter, the pressure, and the length scale at which quantum modes freeze out and become classical -- be sub-Planckian.


title: A de Branges-Beurling theorem for the full Fock space

abstract: We extend the de Branges-Beurling theorem characterizing the shift-invariant spaces boundedly contained in the Hardy space of square-summable power series to the full Fock space over $\mathbb{C} ^d$. Here, the full Fock space is identified as the \emph{Non-commutative (NC) Hardy Space} of square-summable Taylor series in several non-commuting variables. We then proceed to study lattice operations on NC kernels and operator-valued multipliers between vector-valued Fock spaces. In particular, we demonstrate that the operator-valued Fock space multipliers with common coefficient range space form a bounded general lattice modulo a natural equivalence relation.


title: Entangled N-photon states for fair and optimal social decision making

abstract: Situations involving competition for resources among entities can be modeled by the competitive multi-armed bandit (CMAB) problem, which relates to social issues such as maximizing the total outcome and achieving the fairest resource repartition among individuals. In these respects, the intrinsic randomness and global properties of quantum states provide ideal tools for obtaining optimal solutions to this problem. Based on the previous study of the CMAB problem in the two-arm, two-player case, this paper presents the theoretical principles necessary to find polarization-entangled N-photon states that can optimize the total resource output while ensuring equality among players. These principles were applied to two-, three-, four-, and five-player cases by using numerical simulations to reproduce realistic configurations and find the best strategies to overcome potential misalignment between the polarization measurement systems of the players. Although a general formula for the N-player case is not presented here, general derivation rules and a verification algorithm are proposed. This report demonstrates the potential usability of quantum states in collective decision making with limited, probabilistic resources, which could serve as a first step toward quantum-based resource allocation systems.


title: Quantum Computation of Fluid Dynamics

abstract: Studies of strongly nonlinear dynamical systems such as turbulent flows call for superior computational prowess. With the advent of quantum computing, a plethora of quantum algorithms have demonstrated, both theoretically and experimentally, more powerful computational possibilities than their classical counterparts. Starting with a brief introduction to quantum computing, we will distill a few key tools and algorithms from the huge spectrum of methods available, and evaluate possible approaches of quantum computing in fluid dynamics.


title: Reachability Deficits in Quantum Approximate Optimization of Graph Problems

abstract: The quantum approximate optimization algorithm (QAOA) has become a cornerstone of contemporary quantum applications development. Here we show that the \emph{density} of problem constraints versus problem variables acts as a performance indicator. Density is found to correlate strongly with approximation inefficiency for fixed depth QAOA applied to random graph minimization problem instances. Further, the required depth for accurate QAOA solution to graph problem instances scales critically with density. Motivated by Google's recent experimental realization of QAOA, we preform a reanalysis of the reported data reproduced in an ideal noiseless setting. We found that the reported capabilities of instances addressed experimentally by Google, approach a rapid fall-off region in approximation quality experienced beyond intermediate-density. Our findings offer new insight into performance analysis of contemporary quantum optimization algorithms and contradict recent speculation regarding low-depth QAOA performance benefits.


title: The splashback radius of halos from particle dynamics: III. Halo catalogs, merger trees, and host-subhalo relations

abstract: Virtually any investigation involving dark matter halos relies on a definition of their radius, mass, and of whether they are a subhalo. The halo boundary is most commonly defined to include a spherical overdensity contrast (such as R200c, Rvir, and R200m), but different thresholds lead to significant differences in radius and mass. The splashback radius has recently been suggested as a more physically motivated (and generally larger) halo boundary, adding to the range of definitions. It is often difficult to assess the impact of a particular choice because most halo catalogs contain only one or a few definitions and generally only one set of host-subhalo relations. To alleviate this issue, we present halo catalogs and merger trees for 14 N-body simulations of LambdaCDM and self-similar universes. Based on ROCKSTAR catalogs, we compute additional halo properties using the SPARTA code and recombine them with the original catalogs. The new catalogs contain numerous variants of spherical overdensity and splashback radii and masses and, most critically, host-subhalo relations for each definition. We also present a new merger tree format where the data is stored as a compressed, two-dimensional matrix. We perform basic tests of the relation between different definitions and present an updated model for the splashback-spherical overdensity connection. The SPARTA code, as well as our catalogs and merger trees, are publicly available.


title: ULYSSES: Universal LeptogeneSiS Equation Solver

abstract: ULYSSES is a python package that calculates the baryon asymmetry produced from leptogenesis in the context of a type-I seesaw mechanism. The code solves the semi-classical Boltzmann equations for points in the model parameter space as specified by the user. We provide a selection of predefined Boltzmann equations as well as a plugin mechanism for externally provided models of leptogenesis. Furthermore, the ULYSSES code provides tools for multi-dimensional parameter space exploration. The emphasis of the code is on user flexibility and rapid evaluation. It is publicly available at https://github.com/earlyuniverse/ulysses


title: Computing observables without eigenstates: applications to Bloch Hamiltonians

abstract: Calculating the observables of a Hamiltonian requires taking matrix elements of operators in the eigenstate basis. Since eigenstates are only defined up to arbitrary phases that depend on Hamiltonian parameters, analytical expressions for observables are often difficult to simplify. In this work, we show how for small Hilbert space dimension N all observables can be expressed in terms of the Hamiltonian and its eigenvalues using the properties of the SU(N) algebra, and we derive explicit expressions for N=2,3,4. Then we present multiple applications specializing to the case of Bloch electrons in crystals, including the computation of Berry curvature, quantum metric and orbital moment, as well as a more complex observable in non-linear response, the linear photogalvanic effect (LPGE). As a physical example we consider multiband Hamiltonians with nodal degeneracies to show first how constraints between these observables are relaxed when going from two to three-band models, and second how quadratic dispersion can lead to constant LPGE at small frequencies.


title: Black Holes Lessons from Multipole Ratios

abstract: We explain in detail how to calculate the gravitational mass and angular momentum multipoles of the most general non-extremal four-dimensional black hole with four magnetic and four electric charges. We also calculate these multipoles for generic supersymmetric four-dimensional microstate geometries and multi-center solutions. Both for Kerr black holes and BPS black holes many of these multipoles vanish. However, if one embeds these black holes in String Theory and slightly deforms them, one can calculate an infinite set of ratios of vanishing multipoles which remain finite as the deformation is taken away, and whose values are independent of the direction of deformation. For supersymmetric black holes, we can also compute these ratios by taking the scaling limit of multi-center solutions, and for certain black holes the ratios computed using the two methods agree spectacularly. For the Kerr black hole, these ratios pose strong constraints on the parameterization of possible deviations away from the Kerr geometry that should be tested by future gravitational wave interferometers.


title: The Gaia-ESO survey: 3D NLTE abundances in the open cluster NGC 2420 suggest atomic diffusion and turbulent mixing at the origin of chemical abundance variations

abstract: Atomic diffusion and mixing processes in stellar interiors influence the structure and the surface composition of stars. Some of these processes cannot yet be modelled from the first principles. This limits their applicability in stellar models used for studies of stellar populations and Galactic evolution. Our main goal is to put constrains on the stellar structure and evolution models using new refined measurements of chemical composition in stars of Galactic open cluster. We use medium-resolution, 19 200 <= R <= 21 500, optical spectra of the stars in the open cluster NGC 2420 obtained within the Gaia-ESO survey. The sample covers all evolutionary stages from the main-sequence to red giant branch. Stellar parameters are derived using a combined Bayesian analysis of spectra, 2MASS photometry, and astrometric data from Gaia DR2. The abundances of Mg, Ca, Fe, and Li are determined from non-local thermodynamic equilibrium (NLTE) synthetic spectra, computed using one-dimensional (1D) and averaged three-dimensional (3D) model atmospheres. We compare our results with a grid of Code d'Evolution Stellaire Adaptatif et Modulaire (CESTAM) stellar evolution models, which include atomic diffusion, turbulent and rotational mixing. We find prominent evolutionary trends in the abundances of Fe, Ca, Mg, and Li with the mass of the stars in the cluster. Fe, Mg, and Ca show a depletion at the cluster turn-off, but the abundances gradually increase and flatten near the base of the RGB. The abundance trend for Li displays a signature of rotational mixing on the main-sequence and abrupt depletion on the subgiant branch, which is caused by advection of Li-poor material to the surface. The analysis of abundances combined with the CESTAM model predictions allows us to place limits on the parameter space of the models and to constrain the zone in the stellar interior where turbulent mixing takes place.


title: Optimal Universal Quantum Error Correction via Bounded Reference Frames

abstract: Error correcting codes with a universal set of transversal gates are a desideratum for quantum computing. Such codes, however, are ruled out by the Eastin-Knill theorem. Moreover, the theorem also rules out codes which are covariant with respect to the action of transversal unitary operations forming continuous symmetries. In this work, starting from an arbitrary code, we construct approximate codes which are covariant with respect to the entire group of local unitary gates in dimension $d$, using quantum reference frames. We show that our codes are capable of efficiently correcting different types of erasure errors. When only a small fraction of the $n$ qudits upon which the code is built are erased, our covariant code has an error that scales as $1/n^2$, which is reminiscent of the Heisenberg limit of quantum metrology. When every qudit has a chance of being erased, our covariant code has an error that scales as $1/n$. We show that the error scaling is optimal in both cases. Our approach has implications for fault-tolerant quantum computing, reference frame error correction, and the AdS-CFT duality.


title: Exocomets from a Solar System Perspective

abstract: Exocomets are small bodies releasing gas and dust which orbit stars other than the Sun. Their existence was first inferred from the detection of variable absorption features in stellar spectra in the late 1980s using spectroscopy. More recently, they have been detected through photometric transits from space, and through far-IR/mm gas emission within debris disks. As (exo)comets are considered to contain the most pristine material accessible in stellar systems, they hold the potential to give us information about early stage formation and evolution conditions of extra Solar Systems. In the Solar System, comets carry the physical and chemical memory of the protoplanetary disk environment where they formed, providing relevant information on processes in the primordial solar nebula. The aim of this paper is to compare essential compositional properties between Solar System comets and exocomets. The paper aims to highlight commonalities and to discuss differences which may aid the communication between the involved research communities and perhaps also avoid misconceptions. Exocomets likely vary in their composition depending on their formation environment like Solar System comets do, and since exocomets are not resolved spatially, they pose a challenge when comparing them to high fidelity observations of Solar System comets. Observations of gas around main sequence stars, spectroscopic observations of "polluted" white dwarf atmospheres and spectroscopic observations of transiting exocomets suggest that exocomets may show compositional similarities with Solar System comets. The recent interstellar visitor 2I/Borisov showed gas, dust and nuclear properties similar to that of Solar System comets. This raises the tantalising prospect that observations of interstellar comets may help bridge the fields of exocomet and Solar System comets.


title: A new spin on LIGO-Virgo binary black holes

abstract: Gravitational waves from binary black holes have the potential to yield information on both of the intrinsic parameters that characterize the compact objects: their masses and spins. While the component masses are usually resolvable, the component spins have proven difficult to measure. This limitation stems in great part from our choice to inquire about the spins of the most and least massive objects in each binary, a question that becomes ill-defined when the masses are equal. In this paper we show that one can ask a different question of the data: what are the spins of the objects with the highest and lowest dimensionless spins in the binary? We show that this can significantly improve estimates of the individual spins, especially for binary systems with comparable masses. When applying this parameterization to the first 13 gravitational-wave events detected by the LIGO-Virgo collaboration (LVC), we find that the highest-spinning object is constrained to have nonzero spin for most sources and to have significant support at the Kerr limit for GW151226 and GW170729. A joint analysis of all the confident binary black hole detections by the LVC finds that, unlike with the traditional parametrization, the distribution of spin magnitude for the highest-spinning object has negligible support at zero spin. Regardless of the parameterization used, the configuration where all of the spins in the population are aligned with the orbital angular momentum is excluded from the 90% credible interval for the first ten events and from the 99% credible interval for all current confident detections.


title: Entanglement Rearrangement in Self-Consistent Nuclear Structure Calculations

abstract: Entanglement properties of $^4$He and $^6$He are investigated using nuclear many-body calculations, specifically the single-nucleon entanglement entropy, and the two-nucleon mutual information and negativity. Nuclear wavefunctions are obtained by performing active-space no-core configuration-interaction calculations using a two-body nucleon-nucleon interaction derived from chiral effective field theory. Entanglement measures within single-particle bases, the harmonic oscillator (HO), Hartree-Fock (HF), natural (NAT) and variational natural (VNAT) bases, are found to exhibit different degrees of complexity. Entanglement in both nuclei is found to be more localized within NAT and VNAT bases than within a HO basis for the optimal HO parameters, and, as anticipated, a core-valence (tensor product) structure emerges from the full six-body calculation of $^{6}$He. The two-nucleon mutual information shows that the VNAT basis, which typically exhibits good convergence properties, effectively decouples the active and inactive spaces. We conclude that measures of one- and two-nucleon entanglement are useful in analyzing the structure of nuclear wave functions, in particular the efficacy of basis states, and may provide useful metrics toward developing more efficient schemes for ab initio computations of the structure and reactions of nuclei, and quantum many-body systems more generally.


title: Testing quasi-Dirac leptogenesis through neutrino oscillations

abstract: The lightness of the Standard Model (SM) neutrinos could be understood if their masses were to be generated by new physics at a high scale, through the so-called seesaw mechanism involving heavy fermion singlets. If new physics violates baryon minus lepton number by only a small amount, the heavy fermion singlets as well as the SM neutrinos split into pairs of quasi-Dirac states. At the scale of the fermion singlets, this quasi-Diracness allows to enhance CP violation in their decays and the cosmic matter-antimatter asymmetry can be successfully generated through resonant leptogenesis. At lower scale, this quasi-Diracness results in small SM neutrino mass splitting which can be probed in oscillation experiments. Remarkably, the parameter space for viable leptogenesis spans over the regime relevant for solar and atmospheric neutrino oscillations.


title: Constraining Photoionization Models With a Reprojected Optical Diagnostic Diagram

abstract: Optical diagnostic diagrams are powerful tools to separate different ionizing sources in galaxies. However, the model-constraining power of the most widely-used diagrams is very limited and challenging to visualize. In addition, there have always been classification inconsistencies between diagrams based on different line ratios, and ambiguities between regions purely ionized by active galactic nuclei (AGNs) and composite regions. We present a simple reprojection of the 3D line ratio space composed of [N II]$\lambda 6583$/H$\alpha$, [S II]$\lambda \lambda$6716, 6731/H$\alpha$, and [O III]$\lambda$ 5007/H$\beta$, which reveals its model-constraining power and removes the ambiguity for the true composite objects. It highlights the discrepancy between many theoretical models and the data loci. With this reprojection, we can put strong constraints on the photoionization models and the secondary nitrogen abundance prescription. We find that a single nitrogen prescription cannot fit both the star-forming locus and AGN locus simultaneously, with the latter requiring higher N/O ratios. The true composite regions stand separately from both models. We can compute the fractional AGN contributions for the composite regions, and define demarcations with specific upper limits on contamination from AGN or star formation. When the discrepancy about nitrogen prescriptions gets resolved in the future, it would also be possible to make robust metallicity measurements for composite regions and AGNs.


title: Supernovae in the Orion: the missing link in the star forming history of the region

abstract: The Orion Complex is a notable star forming region, that it is fragmented into several different populations that have substantial difference in their phase space. I propose a model that attempts to explain the how the Complex has evolved to this current configuration. In this model, the large scale expansion can be attributable to a supernova that has exploded 6 Myr ago. The remnant of which can be seen as Barnard's loop, as the center of the expansion is consistent with the geometrical center of the HII bubble. This is similar to the HII bubble and the ballistic expansion that is associated with $\lambda$ Ori, a region which has also been a site of an ancient supernova. Assuming that the Orion Complex has originally been forming as one long filament spanning from the bottom of Orion A to $\psi^2$ Ori (or, potentially, as far as $\lambda$ Ori), Barnard's loop supernova could have split the cloud, which lead to the formation of Orion C \& D. Furthermore, the shockwave that has propagated into the filament could have swept along the gas through several pc, which lead to the formation of the singularly most massive cluster in the Solar Neighborhood, the ONC. I also discuss other related nearby events, such as the formation of the Monogem ring, and various runaways that have been ejected from the Orion Complex.


title: Thermal fluctuations and vortex lattice structures in chiral $p$-wave superconductors: robustness of double-quanta vortices

abstract: We use large-scale Monte-Carlo simulations to study thermal fluctuations in chiral $p$-wave superconductors in an applied magnetic field in three dimensions. We consider the thermal stability of previously predicted unusual double-quanta flux-line lattice ground states in such superconductors. In previous works it was shown that, neglecting thermal fluctuations, a chiral $p$-wave superconductor forms an hexagonal lattice of doubly-quantized vortices, except extremely close to the vicinity of $H_{c2}$ where double-quanta vortices split apart. We find dissociation of double-quanta vortices driven by thermal fluctuations. However, our calculations also show that the previous predictions of hexagonal doubly-quantized vortices, where thermal fluctuations were ignored, are very robust in the considered model.


title: Improving Object Detection with Selective Self-supervised Self-training

abstract: We study how to leverage Web images to augment human-curated object detection datasets. Our approach is two-pronged. On the one hand, we retrieve Web images by image-to-image search, which incurs less domain shift from the curated data than other search methods. The Web images are diverse, supplying a wide variety of object poses, appearances, their interactions with the context, etc. On the other hand, we propose a novel learning method motivated by two parallel lines of work that explore unlabeled data for image classification: self-training and self-supervised learning. They fail to improve object detectors in their vanilla forms due to the domain gap between the Web images and curated datasets. To tackle this challenge, we propose a selective net to rectify the supervision signals in Web images. It not only identifies positive bounding boxes but also creates a safe zone for mining hard negative boxes. We report state-of-the-art results on detecting backpacks and chairs from everyday scenes, along with other challenging object classes.


title: Wavelet Channel Attention Module with a Fusion Network for Single Image Deraining

abstract: Single image deraining is a crucial problem because rain severely degenerates the visibility of images and affects the performance of computer vision tasks like outdoor surveillance systems and intelligent vehicles. In this paper, we propose the new convolutional neural network (CNN) called the wavelet channel attention module with a fusion network. Wavelet transform and the inverse wavelet transform are substituted for down-sampling and up-sampling so feature maps from the wavelet transform and convolutions contain different frequencies and scales. Furthermore, feature maps are integrated by channel attention. Our proposed network learns confidence maps of four sub-band images derived from the wavelet transform of the original images. Finally, the clear image can be well restored via the wavelet reconstruction and fusion of the low-frequency part and high-frequency parts. Several experimental results on synthetic and real images present that the proposed algorithm outperforms state-of-the-art methods.


title: Phenomenology of combined resummation for Higgs and Drell--Yan

abstract: We study the phenomenological impact of a recently suggested formalism for the combination of threshold and a so-called threshold-improved transverse momentum resummation, by using it to improve the fixed-order results. This formalism allows for a systematic improvement of the transverse momentum resummation that is valid in the entire range of $p_T$ by the inclusion of the threshold contribution. We use the Borel method as a suitable prescription for defining the inverse Mellin and Fourier transforms in the context of combined resummed expression. The study is applied to two QCD processes, namely the Higgs boson produced via gluon fusion and $Z$ boson production via the Drell--Yan mechanism. We compare our results to the standard transverse momentum resummation, as well as to the fixed-order results. We find that the threshold-improved transverse momentum resummation leads to faster perturbative convergence at small $p_T$ while the inclusion of threshold resummation improves the agreement with fixed-order calculations at medium and large $p_T$. These effects are more pronounced in the case of Higgs which is known to have slower perturbative convergence.


title: Disorder-induced electron and hole trapping in amorphous TiO2

abstract: Thin films of amorphous (a)-TiO2 are ubiquitous as photocatalysts, protective coatings, photoanodes and in memory application, where they are exposed to excess electrons and holes. We investigate trapping of excess electrons and holes in the bulk of pure amorphous titanium dioxide, a-TiO2, using hybrid density functional theory (h-DFT) calculations. Fifty 270-atom a-TiO2 structures were produced using classical molecular dynamics and their geometries fully optimised using h-DFT simulations. They have the density, distribution of atomic coordination numbers and radial pair-distribution functions in agreement with experiment. The calculated average a-TiO2 band gap is 3.25 eV with no states splitting into the band gap. Trapping of excess electrons and holes in a-TiO2 is predicted at precursor sites, such as elongated Ti-O bonds. Single electron and hole polarons have average trapping energies (ET) of -0.4 eV and -0.8 eV, respectively. We also identify several types of electron and hole bipolaron states and discuss their stability. These results can be used for understanding the mechanisms of photo-catalysis and improving the performance of electronic devices employing a-TiO2 films.


title: Periodic Solutions to Reversible Second Order Autonomous Systems with Commensurate Delays

abstract: Existence and spatio-temporal patterns of periodic solutions to second order reversible equivariant autonomous systems with commensurate delays are studied using the Brouwer $O(2) \times \Gamma \times \mathbb Z_2$-equivariant degree theory, where $O(2)$ is related to the reversing symmetry, $\Gamma$ reflects the symmetric character of the coupling in the corresponding network and $\mathbb Z_2$ is related to the oddness of the right-hand-side. Abstract results are supported by a concrete example with $\Gamma = D_6$ -- the dihedral group of order 12.


title: Can we Estimate Truck Accident Risk from Telemetric Data using Machine Learning?

abstract: Road accidents have a high societal cost that could be reduced through improved risk predictions using machine learning. This study investigates whether telemetric data collected on long-distance trucks can be used to predict the risk of accidents associated with a driver. We use a dataset provided by a truck transportation company containing the driving data of 1,141 drivers for 18 months. We evaluate two different machine learning approaches to perform this task. In the first approach, features are extracted from the time series data using the FRESH algorithm and then used to estimate the risk using Random Forests. In the second approach, we use a convolutional neural network to directly estimate the risk from the time-series data. We find that neither approach is able to successfully estimate the risk of accidents on this dataset, in spite of many methodological attempts. We discuss the difficulties of using telemetric data for the estimation of the risk of accidents that could explain this negative result.


title: Continuum Without Non-Block Points

abstract: For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset \omega^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is contained in a dense proper semicontinuum of $E$. (3) Each countable subset of $E$ is disjoint from some dense proper semicontinuum of $E$. (4) $\mathscr E $ has a minimal element in the finite-to-one monotone order of ultrafilters. (5) $\mathscr E $ has a $Q$-point. A consequence is that NCF is equivalent to $\mathbb H^*$ containing no proper dense semicontinuum and no non-block points. This gives an axiom-contingent answer to a question of the author. Thus every known continuum has either a proper dense semicontinuum at every point or at no points. We examine the structure of indecomposable continua for which this fails, and deduce they contain a maximum semicontinuum with dense interior.


title: Accelerating NUT black holes

abstract: We present and analyze a class of exact spacetimes which describe accelerating black holes with a NUT parameter. First, we verify that the intricate metric found by Chng, Mann and Stelea in 2006 indeed solves Einstein's vacuum field equations of General Relativity. We explicitly calculate all components of the Weyl tensor and determine its algebraic structure. As it turns out, it is actually of algebraically general type I with four distinct principal null directions. It explains why this class of solutions has not been (and could not be) found within the large Plebanski-Demianski family of type D spacetimes. Then we transform the solution into a much more convenient metric form which explicitly depends on three physical parameters: mass, acceleration, and the NUT parameter. These parameters can independently be set to zero, recovering thus the well-known spacetimes in standard coordinates, namely the C-metric, the Taub-NUT metric, the Schwarzschild metric, and flat Minkowski space. Using this new metric, we investigate physical and geometrical properties of such accelerating NUT black holes. In particular, we localize and study four Killing horizons (two black-hole plus two acceleration) and investigate the curvature. Employing the scalar invariants we prove that there are no curvature singularities whenever the NUT parameter is nonzero. We identify asymptotically flat regions and relate them to conformal infinities. This leads to a complete understanding of the global structure. The boost-rotation metric form reveals that there is actually a pair of such black holes. They uniformly accelerate in opposite directions due to the action of rotating cosmic strings or struts located along the corresponding two axes. Rotation of these sources is directly related to the NUT parameter. In their vicinity there are pathological regions with closed timelike curves.


title: Moving fast and slow: Analysis of representations and post-processing in speech-driven automatic gesture generation

abstract: This paper presents a novel framework for speech-driven gesture production, applicable to virtual agents to enhance human-computer interaction. Specifically, we extend recent deep-learning-based, data-driven methods for speech-driven gesture generation by incorporating representation learning. Our model takes speech as input and produces gestures as output, in the form of a sequence of 3D coordinates. We provide an analysis of different representations for the input (speech) and the output (motion) of the network by both objective and subjective evaluations. We also analyse the importance of smoothing of the produced motion. Our results indicated that the proposed method improved on our baseline in terms of objective measures. For example, it better captured the motion dynamics and better matched the motion-speed distribution. Moreover, we performed user studies on two different datasets. The studies confirmed that our proposed method is perceived as more natural than the baseline, although the difference in the studies was eliminated by appropriate post-processing: hip-centering and smoothing. We conclude that it is important to take both motion representation and post-processing into account when designing an automatic gesture-production method.


title: Compressed sensing-based SARS-CoV-2 pool testing

abstract: We propose a compressed sensing-based testing approach with a practical measurement design and a tuning-free and noise-robust algorithm for detecting infected persons. Compressed sensing results can be used to provably detect a small number of infected persons among a possibly large number of people. There are several advantages of this method compared to classical group testing. Firstly, it is non-adaptive and thus possibly faster to perform than adaptive methods which is crucial in exponentially growing pandemic phases. Secondly, due to nonnegativity of measurements and an appropriate noise model, the compressed sensing problem can be solved with the non-negative least absolute deviation regression (NNLAD) algorithm. This convex tuning-free program requires the same number of tests as current state of the art group testing methods. Empirically it performs significantly better than theoretically guaranteed, and thus the high-throughput, reducing the number of tests to a fraction compared to other methods. Further, numerical evidence suggests that our method can correct sparsely occurring errors.


title: Improved Approximations for Min Sum Vertex Cover and Generalized Min Sum Set Cover

abstract: We study the generalized min sum set cover (GMSSC) problem, wherein given a collection of hyperedges $E$ with arbitrary covering requirements $k_e$, the goal is to find an ordering of the vertices to minimize the total cover time of the hyperedges; a hyperedge $e$ is considered covered by the first time when $k_e$ many of its vertices appear in the ordering. We give a $4.642$ approximation algorithm for GMSSC, coming close to the best possible bound of $4$, already for the classical special case (with all $k_e=1$) of min sum set cover (MSSC) studied by Feige, Lov\'{a}sz and Tetali, and improving upon the previous best known bound of $12.4$ due to Im, Sviridenko and van der Zwaan. Our algorithm is based on transforming the LP solution by a suitable kernel and applying randomized rounding. This also gives an LP-based $4$ approximation for MSSC. As part of the analysis of our algorithm, we also derive an inequality on the lower tail of a sum of independent Bernoulli random variables, which might be of independent interest and broader utility. Another well-known special case is the min sum vertex cover (MSVC) problem, in which the input hypergraph is a graph and $k_e = 1$, for every edge. We give a $16/9$ approximation for MSVC, and show a matching integrality gap for the natural LP relaxation. This improves upon the previous best $1.999946$ approximation of Barenholz, Feige and Peleg. (The claimed $1.79$ approximation result of Iwata, Tetali and Tripathi for the MSVC turned out have an unfortunate, seemingly unfixable, mistake in it.) Finally, we revisit MSSC and consider the $\ell_p$ norm of cover-time of the hyperedges. Using a dual fitting argument, we show that the natural greedy algorithm achieves tight, up to NP-hardness, approximation guarantees of $(p+1)^{1+1/p}$, for all $p\ge 1$. For $p=1$, this gives yet another proof of the $4$ approximation for MSSC.


title: On strong {\lambda}-statistical convergence of sequences in probabilistic metric (pm) spaces

abstract: In this paper we study some basic properties of strong {\lambda}- statistical convergence of sequences in probabilistic metric (PM) spaces. We also introduce and study the notion of strong {\lambda}-statistically Cauchyness. Further introducing the notions of strong {\lambda}-statistical limit point and strong {\lambda}-statistical cluster point of a sequence in a probabilistic metric (PM) space we examine their interrelationship.


title: Exterior powers and Tor-persistence

abstract: A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of Avramov, et. al. asks whether any such $R$ is Tor-persistent. In this work, we exploit properties of exterior powers of modules and complexes to provide several partial answers to this question; in particular, we show that every local ring $(R,\mathfrak{m})$ with $\mathfrak{m}^3=0$ is Tor-persistent. As a consequence of our methods, we provide a new proof of the Tachikawa Conjecture for positively graded rings over a field of characteristic different from 2.


title: Desargues theorem, its configurations, and the solution to a long-standing enumeration problem

abstract: We solve a long-standing problem by enumerating the number of non-degenerate Desargues configurations. We extend the result to the more difficult case involving Desargues blockline structures in Section 8. A transparent proof of Desargues theorem in the plane and in space is presented as a by-product of our methods.


title: Large $p$ explorations. From SUGRA to big STRINGS in Mellin space

abstract: We explore a new way of probing scattering of closed strings in $AdS_5\times S^5$, which we call `the large $p$ limit'. It consists of studying four-point correlators of single-particle operators in $\mathcal{N}=4$ SYM at large $N$ and large 't Hooft coupling $\lambda$, by looking at the regime in which the dual KK modes become short massive strings. In this regime the charge of the single-particle operators is order $\lambda^{1/4}$ and the dual KK modes are in between fields and strings. Starting from SUGRA we compute the large $p$ limit of the correlators by introducing an improved $AdS_5\times S^5$ Mellin space amplitude, and we show that the correlator is dominated by a saddle point. Our results are consistent with the picture of four geodesics shooting from the boundary of $AdS_5\times S^5$ towards a common bulk point, where they scatter as if they were in flat space. The Mandelstam invariants are put in correspondence with the Mellin variables and in turn with certain combinations of cross ratios. At the saddle point the dynamics of the correlator is directly related to the bulk Mellin amplitude, which in the process of taking large $p$ becomes the flat space ten-dimensional S-matrix. We thus learn how to embed the full type IIB S-matrix in the $AdS_5\times S^5$ Mellin amplitude, and how to stratify the latter in a large $p$ expansion. We compute the large $p$ limit of all genus zero data currently available, pointing out additional hidden simplicity of known results. We then show that the genus zero resummation at large $p$ naturally leads to the Gross-Mende phase for the minimal area surface around the bulk point. At one-loop, we first uncover a novel and finite Mellin amplitude, and then we show that the large $p$ limit beautifully asymptotes the gravitational S-matrix.


title: iNNk: A Multi-Player Game to Deceive a Neural Network

abstract: This paper presents iNNK, a multiplayer drawing game where human players team up against an NN. The players need to successfully communicate a secret code word to each other through drawings, without being deciphered by the NN. With this game, we aim to foster a playful environment where players can, in a small way, go from passive consumers of NN applications to creative thinkers and critical challengers.


title: AutoCount: Unsupervised Segmentation and Counting of Organs in Field Images

abstract: Counting plant organs such as heads or tassels from outdoor imagery is a popular benchmark computer vision task in plant phenotyping, which has been previously investigated in the literature using state-of-the-art supervised deep learning techniques. However, the annotation of organs in field images is time-consuming and prone to errors. In this paper, we propose a fully unsupervised technique for counting dense objects such as plant organs. We use a convolutional network-based unsupervised segmentation method followed by two post-hoc optimization steps. The proposed technique is shown to provide competitive counting performance on a range of organ counting tasks in sorghum (S. bicolor) and wheat (T. aestivum) with no dataset-dependent tuning or modifications.


title: A Novel Spectrally-Efficient Uplink Hybrid-Domain NOMA System

abstract: This paper proposes a novel hybrid-domain (HD) non-orthogonal multiple access (NOMA) approach to support a larger number of uplink users than the recently proposed code-domain NOMA approach, i.e., sparse code multiple access (SCMA). HD-NOMA combines the code-domain and power-domain NOMA schemes by clustering the users in small path loss (strong) and large path loss (weak) groups. The two groups are decoded using successive interference cancellation while within the group users are decoded using the message passing algorithm. To further improve the performance of the system, a spectral-efficiency maximization problem is formulated under a user quality-of-service constraint, which dynamically assigns power and subcarrier to the users. The problem is non-convex and has sparsity constraints. The alternating optimization procedure is used to solve it iteratively. We apply successive convex approximation and reweighted $\ell_1$ minimization approaches to deal with the non-convexity and sparsity constraints, respectively. The performance of the proposed HD-NOMA is evaluated and compared with the conventional SCMA scheme through numerical simulation. The results show the potential of HD-NOMA in increasing the number of uplink users.


title: Off-Policy Reinforcement Learning for Efficient and Effective GAN Architecture Search

abstract: In this paper, we introduce a new reinforcement learning (RL) based neural architecture search (NAS) methodology for effective and efficient generative adversarial network (GAN) architecture search. The key idea is to formulate the GAN architecture search problem as a Markov decision process (MDP) for smoother architecture sampling, which enables a more effective RL-based search algorithm by targeting the potential global optimal architecture. To improve efficiency, we exploit an off-policy GAN architecture search algorithm that makes efficient use of the samples generated by previous policies. Evaluation on two standard benchmark datasets (i.e., CIFAR-10 and STL-10) demonstrates that the proposed method is able to discover highly competitive architectures for generally better image generation results with a considerably reduced computational burden: 7 GPU hours. Our code is available at https://github.com/Yuantian013/E2GAN.


title: Network Learning Approaches to study World Happiness

abstract: The United Nations in its 2011 resolution declared the pursuit of happiness a fundamental human goal and proposed public and economic policies centered around happiness. In this paper we used 2 types of computational strategies viz. Predictive Modelling and Bayesian Networks (BNs) to model the processed historical happiness index data of 156 nations published by UN since 2012. We attacked the problem of prediction using General Regression Neural Networks (GRNNs) and show that it out performs other state of the art predictive models. To understand causal links amongst key features that have been proven to have a significant impact on world happiness, we first used a manual discretization scheme to discretize continuous variables into 3 levels viz. Low, Medium and High. A consensus World Happiness BN structure was then fixed after amalgamating information by learning 10000 different BNs using bootstrapping. Lastly, exact inference through conditional probability queries was used on this BN to unravel interesting relationships among the important features affecting happiness which would be useful in policy making.


title: Budget-balanced and strategy-proof auctions for multi-passenger ridesharing

abstract: Ridesharing and ridesourcing services have become widespread, and pricing the rides is a crucial problem for these systems. We propose and analyze a budget-balanced and strategy-proof auction, the Weighted Minimum Surplus (WMS) auction, for the dynamic ridesharing problem with multiple passengers per ride. Under the assumption of downward closed alternatives, we obtain lower bounds for the surplus welfare and surplus profit of the WMS auction. We also propose and analyze a budget-balanced version of the well-known VCG mechanism, the $\mathrm{VCG}_s$. Encouraging experimental results were obtained for both the WMS auction and the $\mathrm{VCG}_s$.