title: On the Challenges of Sentiment Analysis for Dynamic Events

abstract: With the proliferation of social media over the last decade, determining people's attitude with respect to a specific topic, document, interaction or events has fueled research interest in natural language processing and introduced a new channel called sentiment and emotion analysis. For instance, businesses routinely look to develop systems to automatically understand their customer conversations by identifying the relevant content to enhance marketing their products and managing their reputations. Previous efforts to assess people's sentiment on Twitter have suggested that Twitter may be a valuable resource for studying political sentiment and that it reflects the offline political landscape. According to a Pew Research Center report, in January 2016 44 percent of US adults stated having learned about the presidential election through social media. Furthermore, 24 percent reported use of social media posts of the two candidates as a source of news and information, which is more than the 15 percent who have used both candidates' websites or emails combined. The first presidential debate between Trump and Hillary was the most tweeted debate ever with 17.1 million tweets.


title: Integrable deformations of the $G_{k_1} \times G_{k_2}/G_{k_1+k_2}$ coset CFTs

abstract: We study the effective action for the integrable $\lambda$-deformation of the $G_{k_1} \times G_{k_2}/G_{k_1+k_2}$ coset CFTs. For unequal levels theses models do not fall into the general discussion of $\lambda$-deformations of CFTs corresponding to symmetric spaces and have many attractive features. We show that the perturbation is driven by parafermion bilinears and we revisit the derivation of their algebra. We uncover a non-trivial symmetry of these models parametric space, which has not encountered before in the literature. Using field theoretical methods and the effective action we compute the exact in the deformation parameter $\beta$-function and explicitly demonstrate the existence of a fixed point in the IR corresponding to the $G_{k_1-k_2} \times G_{k_2}/G_{k_1}$ coset CFTs. The same result is verified using gravitational methods for $G=SU(2)$. We examine various limiting cases previously considered in the literature and found agreement.


title: Complexity of Deciding Detectability in Discrete Event Systems

abstract: Detectability of discrete event systems (DESs) is a question whether the current and subsequent states can be determined based on observations. Shu and Lin designed a polynomial-time algorithm to check strong (periodic) detectability and an exponential-time (polynomial-space) algorithm to check weak (periodic) detectability. Zhang showed that checking weak (periodic) detectability is PSpace-complete. This intractable complexity opens a question whether there are structurally simpler DESs for which the problem is tractable. In this paper, we show that it is not the case by considering DESs represented as deterministic finite automata without non-trivial cycles, which are structurally the simplest deadlock-free DESs. We show that even for such very simple DESs, checking weak (periodic) detectability remains intractable. On the contrary, we show that strong (periodic) detectability of DESs can be efficiently verified on a parallel computer.


title: Dark Energy Survey Year 1 Results: Cross-Correlation Redshifts in the DES -- Calibration of the Weak Lensing Source Redshift Distributions

abstract: We present the calibration of the Dark Energy Survey Year 1 (DES Y1) weak lensing source galaxy redshift distributions from clustering measurements. By cross-correlating the positions of source galaxies with luminous red galaxies selected by the redMaGiC algorithm we measure the redshift distributions of the source galaxies as placed into different tomographic bins. These measurements constrain any such shifts to an accuracy of $\sim0.02$ and can be computed even when the clustering measurements do not span the full redshift range. The highest-redshift source bin is not constrained by the clustering measurements because of the minimal redshift overlap with the redMaGiC galaxies. We compare our constraints with those obtained from $\texttt{COSMOS}$ 30-band photometry and find that our two very different methods produce consistent constraints.


title: The EKR property for flag pure simplicial complexes without boundary

abstract: We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erd\H{o}s-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes.


title: Dynamics of resonances and equilibria of Low Earth Objects

abstract: The nearby space surrounding the Earth is densely populated by artificial satellites and instruments, whose orbits are distributed within the Low-Earth-Orbit region (LEO), ranging between 90 and 2 000 $km$ of altitude. As a consequence of collisions and fragmentations, many space debris of different sizes are left in the LEO region. Given the threat raised by the possible damages which a collision of debris can provoke with operational or manned satellites, the study of their dynamics is nowadays mandatory. This work is focused on the existence of equilibria and the dynamics of resonances in LEO. We base our results on a simplified model which includes the geopotential and the atmospheric drag. Using such model, we make a qualitative study of the resonances and the equilibrium positions, including their location and stability. The dissipative effect due to the atmosphere provokes a tidal decay, but we give examples of different behaviors, precisely a straightforward passage through the resonance or rather a temporary capture. We also investigate the effect of the solar cycle which is responsible of fluctuations of the atmospheric density and we analyze the influence of Sun and Moon on LEO objects.


title: Comparing reverse complementary genomic words based on their distance distributions and frequencies

abstract: In this work we study reverse complementary genomic word pairs in the human DNA, by comparing both the distance distribution and the frequency of a word to those of its reverse complement. Several measures of dissimilarity between distance distributions are considered, and it is found that the peak dissimilarity works best in this setting. We report the existence of reverse complementary word pairs with very dissimilar distance distributions, as well as word pairs with very similar distance distributions even when both distributions are irregular and contain strong peaks. The association between distribution dissimilarity and frequency discrepancy is explored also, and it is speculated that symmetric pairs combining low and high values of each measure may uncover features of interest. Taken together, our results suggest that some asymmetries in the human genome go far beyond Chargaff's rules. This study uses both the complete human genome and its repeat-masked version.


title: Multi-Path Interferometric Josephson Directional Amplifier for Qubit Readout

abstract: We realize and characterize a quantum-limited, directional Josephson amplifier suitable for qubit readout. The device consists of two nondegenerate, three-wave-mixing amplifiers that are coupled together in an interferometric scheme, embedded in a printed circuit board. Nonreciprocity is generated by applying a phase gradient between the same-frequency pumps feeding the device, which plays the role of the magnetic field in a Faraday medium. Directional amplification and reflection-gain elimination are induced via wave interference between multiple paths in the system. We measure and discuss the main figures of merit of the device and show that the experimental results are in good agreement with theory. An improved version of this directional amplifier is expected to eliminate the need for bulky, off-chip isolation stages that generally separate quantum systems and preamplifiers in high-fidelity, quantum-nondemolition measurement setups.


title: Relative Cooling Power Enhancement by Tuning Magneto-structural Stability in Ni-Mn-In Heusler Alloys

abstract: Off-stoichiometric Ni$_2$MnIn Heusler alloys have drawn recent attention due to their large magnetocaloric entropy change associated with the first-order magneto-structural transition. Here we present crystal structural, calorimetric and magnetic studies of three compositions. Temperature-dependent X-ray diffraction shows clear structural transition from a 6M modulated monoclinic to a L2$_1$ cubic. A significant enhancement of relative cooling power (RCP) was achieved by tuning the magnetic and structural stability through minor compositional changes, with the measured results quantitatively close to the prediction as a function of the ratio between the martensitic transition ($T_m$) temperature and austenite Curie temperature ($T_C$) although the maximal magnetic induced entropy change ($\Delta S_{max}$) reduction is observed in the same time. The results provided an evaluation guideline of RCPs as well as magnetic-induced entropy change in designing practical active materials.


title: Energy Considerations for Lifting the Greenland Ice-Melt from the Earth's Gravitational Well

abstract: Climatologists have calculated that a complete melting of the Greenland Ice Sheet would cause global sea levels to rise by some 7.2 meters (23.6 feet). This article investigates the possibility of physically removing this excess water from the surface of the Earth by lifting the water into space. The theoretical minimum amount of work for this task is calculated, and is found to be equal to the amount of solar energy intercepted by the Earth in just 32 years.


title: Absolute dimensions of the F-type eclipsing binary V2154 Cygni

abstract: We report spectroscopic observations of the 2.63 day, detached, F-type main-sequence eclipsing binary V2154 Cyg. We use our observations together with existing $uvby$ photometric measurements to derive accurate absolute masses and radii for the stars good to better than 1.5%. We obtain masses of M1 = 1.269 +/- 0.017 M(Sun) and M2 = 0.7542 +/- 0.0059 M(Sun), radii of R1 = 1.477 +/- 0.012 R(Sun) and R2 = 0.7232 +/- 0.0091 R(Sun), and effective temperatures of 6770 +/- 150 K and 5020 +/- 150 K for the primary and secondary stars, respectively. Both components appear to have their rotations synchronized with the motion in the circular orbit. A comparison of the properties of the primary with current stellar evolution models gives good agreement for a metallicity of [Fe/H] = -0.17, which is consistent with photometric estimates, and an age of about 2.2 Gyr. On the other hand, the K2 secondary is larger than predicted for its mass by about 4%. Similar discrepancies are known to exist for other cool stars, and are generally ascribed to stellar activity. The system is in fact an X-ray source, and we argue that the main site of the activity is the secondary star. Indirect estimates give a strength of about 1 kG for the surface magnetic field on that star. A previously known close visual companion to V2154 Cyg is shown to be physically bound, making the system a hierarchical triple.


title: Ionized gas outflows in infrared-bright dust-obscured galaxies selected with WISE and SDSS

abstract: We present the ionized gas properties of infrared (IR)-bright dust-obscured galaxies (DOGs) that show an extreme optical/IR color, $(i - [22])_{\rm AB} > 7.0$, selected with the Sloan Digital Sky Survey (SDSS) and Wide-field Infrared Survey Explorer (WISE). For 36 IR-bright DOGs that show [OIII]$\lambda$5007 emission in the SDSS spectra, we performed a detailed spectral analysis to investigate their ionized gas properties. In particular, we measured the velocity offset (the velocity with respect to the systemic velocity measured from the stellar absorption lines) and the velocity dispersion of the [OIII] line. We found that the derived velocity offset and dispersion of most IR-bright DOGs are larger than those of Seyfert 2 galaxies (Sy2s) at $z < 0.3$, meaning that the IR-bright DOGs show relatively strong outflows compared to Sy2s. This can be explained by the difference of IR luminosity contributed from active galactic nucleus, $L_{\rm IR}$ (AGN), because we found that (i) $L_{\rm IR}$ (AGN) correlates with the velocity offset and dispersion of [OIII] and (ii) our IR-bright DOGs sample has larger $L_{\rm IR}$ (AGN) than Sy2s. Nevertheless, the fact that about 75% IR-bright DOGs have a large ($>$ 300 km s$^{-1}$) velocity dispersion, which is a larger fraction compared to other AGN populations, suggests that IR-bright DOGs are good laboratories to investigate AGN feedback. The velocity offset and dispersion of [OIII] and [NeIII]$\lambda$3869 are larger than those of [OII]$\lambda$3727, which indicates that the highly ionized gas tends to show more stronger outflows.


title: Time-resolved WISE/NEOWISE Coadds

abstract: We have used the first ~3 years of 3.4 micron (W1) and 4.6 micron (W2) observations from the WISE and NEOWISE missions to create a full-sky set of time-resolved coadds. As a result of the WISE survey strategy, a typical sky location is visited every six months and is observed during 12 or more exposures per visit, with these exposures spanning a ~1 day time interval. We have stacked the exposures within such ~1 day intervals to produce one coadd per band per visit -- that is, one coadd every six months at a given position on the sky in each of W1 and W2. For most parts of the sky we have generated six epochal coadds per band, with one visit during the fully cryogenic WISE mission, one visit during NEOWISE, and then, after a 33 month gap, four more visits during the NEOWISE-Reactivation mission phase. These coadds are suitable for studying long-timescale mid-infrared variability and measuring motions to ~1.3 magnitudes fainter than the single-exposure detection limit. In most sky regions, our coadds span a 5.5 year time period and therefore provide a >10x enhancement in time baseline relative to that available for the AllWISE catalog's apparent motion measurements. As such, the signature application of these new coadds is expected to be motion-based identification of relatively faint brown dwarfs, especially those cold enough to remain undetected by Gaia.


title: MC$^2$: Subaru and Hubble Space Telescope Weak-Lensing Analysis of the Double Radio Relic Galaxy Cluster PLCK G287.0+32.9

abstract: The second most significant detection of the Planck Sunyaev Zel'dovich survey, PLCK~G287.0+32.9 ($z=0.385$) boasts two similarly bright radio relics and a radio halo. One radio relic is located $\sim 400$ kpc northwest of the X-ray peak and the other $\sim 2.8$ Mpc to the southeast. This large difference suggests that a complex merging scenario is required. A key missing puzzle for the merging scenario reconstruction is the underlying dark matter distribution in high resolution. We present a joint Subaru Telescope and {\it Hubble Space Telescope} weak-lensing analysis of the cluster. Our analysis shows that the mass distribution features four significant substructures. Of the substructures, a primary cluster of mass $M_{200\text{c}}=1.59^{+0.25}_{-0.22}\times 10^{15} \ h^{-1}_{70} \ \text{M}_{\odot}$ dominates the weak-lensing signal. This cluster is likely to be undergoing a merger with one (or more) subcluster whose mass is approximately a factor of 10 lower. One candidate is the subcluster of mass $M_{200\text{c}}=1.16^{+0.15}_{-0.13}\times 10^{14} \ h^{-1}_{70} \ \text{M}_{\odot}$ located $\sim 400$ kpc to the southeast. The location of this subcluster suggests that its interaction with the primary cluster could be the source of the NW radio relic. Another subcluster is detected $\sim 2$ Mpc to the SE of the X-ray peak with mass $M_{200\text{c}}=1.68^{+0.22}_{-0.20}\times 10^{14} \ h^{-1}_{70} \ \text{M}_{\odot}$. This SE subcluster is in the vicinity of the SE radio relic and may have created the SE radio relic during a past merger with the primary cluster. The fourth subcluster, $M_{200\text{c}}=1.87^{+0.24}_{-0.22}\times 10^{14} \ h^{-1}_{70} \ \text{M}_{\odot}$, is northwest of the X-ray peak and beyond the NW radio relic.


title: The Persistence of Population III Star Formation

abstract: We present a semi-analytic model of star formation in the early universe, beginning with the first metal-free stars. By employing a completely feedback-limited star formation prescription, stars form at maximum efficiency until the self-consistently calculated feedback processes halt formation. We account for a number of feedback processes including a meta-galactic Lyman-Werner background, supernovae, photoionization, and chemical feedback. Halos are evolved combining mass accretion rates found through abundance matching with our feedback-limited star formation prescription, allowing for a variety of Population III (Pop III) initial mass functions (IMFs). We find that, for a number of models, massive Pop III star formation can continue on until at least $z \sim 20$ and potentially past $z \sim 6$ at rates of around $10^{-4}$ to $10^{-5}$ M$_\odot$ yr$^{-1}$ Mpc$^{-3}$, assuming these stars form in isolation. At this point Lyman-Werner feedback pushes the minimum halo mass for star formation above the atomic cooling threshold, cutting off the formation of massive Pop III stars. We find that, in most models, Pop II and Pop III star formation co-exist over cosmological time-scales, with the total star formation rate density and resulting radiation background strongly dominated by the former before Pop III star formation finally ends. These halos form at most $\sim 10^3$ M$_\odot$ of massive Pop III stars during this phase and typically have absolute magnitudes in the range of $M_\text{AB} = -5 $ to $ -10$. We also briefly discuss how future observations from telescopes such as JWST or WFIRST and 21-cm experiments may be able to constrain unknown parameters in our model such as the IMF, star formation prescription, or the physics of massive Pop III stars.


title: A novel measurement of $B^0_s$ and $D^-_s$ lifetimes using semileptonic decays at LHCb

abstract: I report new, world-leading LHCb results on heavy meson lifetimes. We use a novel approach that suppresses the shortcomings typically associated with reconstruction of semileptonic decays, allowing for precise measurements of lifetimes and other properties in collider experiments. We achieve a 15% and a $2\times$ improvement over current best determinations of the flavor-specific $B^0_s$ lifetime and $D^-_s$ lifetime, respectively.


title: Unique Signatures of Population III Stars in the Global 21-cm Signal

abstract: We investigate the effects of Population III stars on the sky-averaged 21-cm background radiation, which traces the collective emission from all sources of ultraviolet and X-ray photons before reionization is complete. While UV photons from PopIII stars can in principle shift the onset of radiative coupling of the 21-cm transition -- and potentially reionization -- to early times, we find that the remnants of PopIII stars are likely to have a more discernible impact on the 21-cm signal than PopIII stars themselves. The X-rays from such sources preferentially heat the IGM at early times, which elongates the epoch of reheating and results in a more gradual transition from an absorption signal to emission. This gradual heating gives rise to broad, asymmetric wings in the absorption signal, which stand in contrast to the relatively sharp, symmetric signals that arise in models treating PopII sources only. A stronger signature of PopIII, in which the position of the absorption minimum becomes inconsistent with PopII-only models, requires extreme star-forming events that may not be physically plausible, lending further credence to predictions of relatively high frequency absorption troughs, $\nu_{\min} \sim 100$ MHz. As a result, though the trough location alone may not be enough to indicate the presence of PopIII, the asymmetric wings should arise even if only a few PopIII stars form in each halo before the transition to PopII star formation occurs, provided that the PopIII IMF is sufficiently top-heavy and at least some PopIII stars form in binaries.


title: Dressed infrared quantum information

abstract: We study information-theoretic aspects of the infrared sector of quantum electrodynamics, using the dressed-state approach pioneered by Chung, Kibble, Faddeev-Kulish and others. In this formalism QED has an IR-finite S-matrix describing the scattering of electrons dressed by coherent states of photons. We show that measurements sensitive only to the outgoing electronic degrees of freedom will experience decoherence in the electron momentum basis due to unobservable photons in the dressing. We make some comments on possible refinements of the dressed-state formalism, and how these considerations relate to the black hole information paradox.


title: Variable dynamics in the inner disk of HD 135344B revealed with multi-epoch scattered light imaging

abstract: We present multi-epoch VLT/SPHERE observations of the protoplanetary disk around HD 135344B (SAO 206462). The $J$-band scattered light imagery reveal, with high spatial resolution ($\sim$41 mas, 6.4 au), the disk surface beyond $\sim$20 au. Temporal variations are identified in the azimuthal brightness distributions of all epochs, presumably related to the asymmetrically shading dust distribution in the inner disk. These shadows manifest themselves as narrow lanes, cast by localized density enhancements, and broader features which possibly trace the larger scale dynamics of the inner disk. We acquired visible and near-infrared photometry which shows variations up to 10% in the $JHK$ bands, possibly correlated with the presence of the shadows. Analysis of archival VLTI/PIONIER $H$-band visibilities constrain the orientation of the inner disk to $i = 18.2\deg^{+3.4}_{-4.1}$ and ${\rm PA} = 57.3\deg \pm 5.7\deg$, consistent with an alignment with the outer disk or a minor disk warp of several degrees. The latter scenario could explain the broad, quasi-stationary shadowing in N-NW direction in case the inclination of the outer disk is slightly larger. The correlation between the shadowing and the near-infrared excess is quantified with a grid of radiative transfer models. The variability of the scattered light contrast requires extended variations in the inner disk atmosphere ($H/r \lesssim 0.2$). Possible mechanisms that may cause asymmetric variations in the optical depth ($\Delta\tau\lesssim1$) through the atmosphere of the inner disk include turbulent fluctuations, planetesimal collisions, or a dusty disk wind, possibly enhanced by a minor disk warp. A fine temporal sampling is required to follow day-to-day changes of the shadow patterns which may be a face-on variant of the UX Orionis phenomenon.


title: Pre-explosion spiral mass loss of a binary star merger

abstract: Binary stars commonly pass through phases of direct interaction which result in the rapid loss of mass, energy, and angular momentum. Though crucial to understanding the fates of these systems, including their potential as gravitational wave sources, this short-lived phase is poorly understood and has thus far been unambiguously observed in only a single event, V1309 Sco. Here we show that the complex and previously-unexplained photometric behavior of V1309 Sco prior to its main outburst results naturally from the runaway loss of mass and angular momentum from the outer Lagrange point, which lasts for thousands of orbits prior to the final dynamical coalescence, much longer than predicted by contemporary models. This process enshrouds the binary in a "death spiral" outflow, which affects the amplitude and phase modulation of its light curve, and contributes to driving the system together. The total amount of mass lost during this gradual phase ($\sim 0.05 M_\odot$) rivals the mass lost during the subsequent dynamical interaction phase, which has been the main focus of "common envelope" modeling so far. Analogous features in related transients suggest that this behavior is ubiquitous.


title: Contrastive Learning for Image Captioning

abstract: Image captioning, a popular topic in computer vision, has achieved substantial progress in recent years. However, the distinctiveness of natural descriptions is often overlooked in previous work. It is closely related to the quality of captions, as distinctive captions are more likely to describe images with their unique aspects. In this work, we propose a new learning method, Contrastive Learning (CL), for image captioning. Specifically, via two constraints formulated on top of a reference model, the proposed method can encourage distinctiveness, while maintaining the overall quality of the generated captions. We tested our method on two challenging datasets, where it improves the baseline model by significant margins. We also showed in our studies that the proposed method is generic and can be used for models with various structures.


title: Probing the EBL evolution at high redshift using GRBs detected with the Fermi-LAT

abstract: The extragalactic background light (EBL), from ultraviolet to infrared wavelengths, is predominantly due to emission from stars, accreting black holes and reprocessed light due to Galactic dust. The EBL can be studied through the imprint it leaves, via $\gamma$-$\gamma$ absorption of high-energy photons, in the spectra of distant $\gamma$-ray sources. The EBL has been probed through the search for the attenuation it produces in the spectra of BL Lacertae (BL Lac) objects and individual $\gamma$-ray bursts (GRBs). GRBs have significant advantages over blazars for the study of the EBL especially at high redshifts. Here we analyze a combined sample of twenty-two GRBs, detected by the Fermi Large Area Telescope between 65 MeV and 500 GeV. We report a marginal detection (at the ~2.8 $\sigma$ level) of the EBL attenuation in the stacked spectra of the source sample. This measurement represents a first constraint of the EBL at an effective redshift of ~1.8. We combine our results with prior EBL constraints and conclude that Fermi-LAT is instrumental to constrain the UV component of the EBL. We discuss the implications on existing empirical models of EBL evolution.


title: Relative Chow stability and optimal weights

abstract: For a polarized K\"ahler manifold $(X, L)$, we show the equivalence between relative balanced embeddings introduced by Mabuchi and $\sigma$-balanced embeddings introduced by Sano, answering a question of Hashimoto. We give a GIT characterization of the existence of a $\sigma$-balanced embedding, and relate the optimal weight $\sigma$ to the action of $\mathrm{Aut}_0(X,L)$ on the Chow line of $(X, L)$.


title: Optimal hybrid block bootstrap for sample quantiles under weak dependence

abstract: We establish a general theory of optimality for block bootstrap distribution estimation for sample quantiles under a mild strong mixing assumption. In contrast to existing results, we study the block bootstrap for varying numbers of blocks. This corresponds to a hybrid between the subsampling bootstrap and the moving block bootstrap (MBB), in which the number of blocks is somewhere between 1 and the ratio of sample size to block length. Our main theorem determines the optimal choice of the number of blocks and block length to achieve the best possible convergence rate for the block bootstrap distribution estimator for sample quantiles. As part of our analysis, we also prove an important lemma which gives the convergence rate of the block bootstrap distribution estimator, with implications even for the smooth function model. We propose an intuitive procedure for empirical selection of the optimal number and length of blocks. Relevant examples are presented which illustrate the benefits of optimally choosing the number of blocks.


title: The Influence of Sagittarius and the Large Magellanic Cloud on the Milky Way Galaxy

abstract: We present N-body simulations of a Sagittarius-like dwarf spheroidal galaxy (Sgr) that follow its orbit about the Milky Way (MW) since its first crossing of the Galaxy's virial radius to the present day. As Sgr orbits around the MW, it excites vertical oscillations, corrugating and flaring the Galactic stellar disc. These responses can be understood by a two-phase picture in which the interaction is first dominated by torques from the wake excited by Sgr in the MW dark halo before transitioning to tides from Sgr's direct impact on the disc at late times. We show for the first time that a massive Sgr model simultaneously reproduces the locations and motions of arc-like over densities, such as the Monoceros Ring and the Triangulum Andromeda stellar clouds, that have been observed at the extremities of the disc, while also satisfying the solar neighbourhood constraints on the vertical structure and streaming motions of the disc. In additional simulations, we include the Large Magellanic Cloud (LMC) self consistently with Sgr. The LMC introduces coupling through constructive and destructive interference, but no new corrugations. In our models, the excitation of the current structure of the outer disk can be traced to interactions as far back as 6-7 Gyr ago (corresponding to $z\leq1$). Given the apparently quiescent accretion history of the MW over this timescale, this places Sgr as the main culprit behind the vertical oscillations of the disc and the last major accretion event for the Galaxy with the capacity to modulate its chemodynamical structure.


title: Beyond Amplitudes' Positivity and the Fate of Massive Gravity

abstract: We constrain effective field theories by going beyond the familiar positivity bounds that follow from unitarity, analyticity, and crossing symmetry of the scattering amplitudes. As interesting examples, we discuss the implications of the bounds for the Galileon and ghost-free massive gravity. The combination of our theoretical bounds with the experimental constraints on the graviton mass implies that the latter is either ruled out or unable to describe gravitational phenomena, let alone to consistently implement the Vainshtein mechanism, down to the relevant scales of fifth-force experiments, where general relativity has been successfully tested. We also show that the Galileon theory must contain symmetry-breaking terms that are at most one-loop suppressed compared to the symmetry-preserving ones. We comment as well on other interesting applications of our bounds.


title: Spectroscopy and decays of the fully-heavy tetraquarks

abstract: We discuss the possible existence of the fully-heavy tetraquarks. We calculate the ground-state energy of the $bb \bar b \bar b$ bound state, where $b$ stands for the bottom quark, in a nonrelativistic effective field theory framework with one-gluon-exchange (OGE) color Coulomb interaction, and in a relativized diquark model characterized by OGE plus a confining potential. Our analysis advocates the existence of uni-flavor heavy four-quark bound states. The ground state $bb\bar b\bar b$ tetraquark mass is predicted to be $(18.72\pm0.02)$~GeV. Mass inequality relations among the lowest $QQ\bar{Q}\bar{Q}$ state, where $Q\in \{c, b\}$, and the corresponding heavy quarkonia are presented, which give the upper limit on the mass of ground state $QQ\bar{Q}\bar{Q}$. The possible decays of the lowest $bb\bar{b}\bar{b}$ are highlighted, which might provide useful references in the search for them in ongoing LHC experiments, and its width is estimated to be a few tens of MeV.


title: Lower hybrid destabilization of trapped electron modes in tokamak and its consequences for anomalous diffusion

abstract: Parametric coupling of lower hybrid pump wave with low frequency collisionless/weakly collisional trapped electron drift wave, with frequency lower than the electron bounce frequency is studied. The coupling produces two lower hybrid sidebands. The sidebands beat with the pump to exert a low frequency ponderomotive force on electrons that causes a frequency shift in the drift wave, leading to the growth of the latter. The short wavelength modes are destabilized and they enhance the anomalous diffusion coefficient.


title: Diffusive Tidal Evolution for Migrating hot Jupiters

abstract: I consider a Jovian planet on a highly eccentric orbit around its host star, a situation produced by secular interactions with its planetary or stellar companions. The tidal interactions at every periastron passage exchange energy between the orbit and the planet's degree-2 fundamental-mode. Starting from zero energy, the f-mode can diffusively grow to large amplitudes if its one-kick energy gain > 10^-5 of the orbital energy. This requires a pericentre distance of < 4 tidal radii (or 1.6 Roche radii). If the f-mode has a non-negligible initial energy, diffusive evolution can occur at a lower threshold. The first effect can stall the secular migration as the f-mode can absorb orbital energy and decouple the planet from its secular perturbers, parking all migrating jupiters safely outside the zone of tidal disruption. The second effect leads to rapid orbit circularization as it allows an excited f-mode to continuously absorb orbital energy as the orbit eccentricity decreases. So without any explicit dissipation, other than the fact that the f-mode will damp nonlinearly when its amplitude reaches unity, the planet can be transported from a few AU to ~ 0.2 AU in ~ 10^4 yrs. Such a rapid circularization is equivalent to a dissipation factor Q ~ 1, and it explains the observed deficit of super-eccentric Jovian planets. Lastly, the repeated f-mode breaking likely deposit energy and angular momentum in the outer envelope, and avoid thermally ablating the planet. Overall, this work boosts the case for forming hot Jupiters through high-eccentricity secular migration.


title: Socially Compliant Navigation through Raw Depth Inputs with Generative Adversarial Imitation Learning

abstract: We present an approach for mobile robots to learn to navigate in dynamic environments with pedestrians via raw depth inputs, in a socially compliant manner. To achieve this, we adopt a generative adversarial imitation learning (GAIL) strategy, which improves upon a pre-trained behavior cloning policy. Our approach overcomes the disadvantages of previous methods, as they heavily depend on the full knowledge of the location and velocity information of nearby pedestrians, which not only requires specific sensors, but also the extraction of such state information from raw sensory input could consume much computation time. In this paper, our proposed GAIL-based model performs directly on raw depth inputs and plans in real-time. Experiments show that our GAIL-based approach greatly improves the safety and efficiency of the behavior of mobile robots from pure behavior cloning. The real-world deployment also shows that our method is capable of guiding autonomous vehicles to navigate in a socially compliant manner directly through raw depth inputs. In addition, we release a simulation plugin for modeling pedestrian behaviors based on the social force model.


title: Effective field theory for resonant wino dark matter

abstract: Enhancements in WIMP annihilation rates have been identified with a nonperturbative "Sommerfeld enhancement" arising from the exchange of light mediators. At certain critical values of the WIMP mass, the enhancement is increased dramatically due to a zero-energy resonance at the WIMP-pair threshold. For masses near these critical values, WIMP scattering processes are accurately described by an effective field theory where WIMPs have nonperturbative zero-range contact interactions. The effective field theory is controlled by a renormalization-group fixed point at which the WIMPs are degenerate in mass and their scattering length is infinite. If the WIMPs can exchange massless mediators, the resulting long-range interaction must also be treated nonperturbatively. We develop an effective field theory for SU(2)-triplet dark matter, which have short-range weak and long-range electromagnetic interactions. We refer to these dark matter particles as winos. The long-range Coulomb interaction between charged winos is resummed to all orders. The parameters of the effective field theory can be determined by matching wino-wino scattering amplitudes calculated by solving the Schr\"odinger equation with a potential describing exchange of electroweak gauge bosons. With Coulomb resummation, the effective field theory at leading order gives a good description of the low-energy two-body observables for winos.


title: Topological Terms and Phases of Sigma Models

abstract: We study boundary conditions of topological sigma models with the goal of generalizing the concepts of anomalous symmetry and symmetry protected topological order. We find a version of 't Hooft's anomaly matching conditions on the renormalization group flow of boundaries of invertible topological sigma models and discuss several examples of anomalous boundary theories. We also comment on bulk topological transitions in dynamical sigma models and argue that one can, with care, use topological data to draw sigma model phase diagrams.


title: Real-Time Illegal Parking Detection System Based on Deep Learning

abstract: The increasing illegal parking has become more and more serious. Nowadays the methods of detecting illegally parked vehicles are based on background segmentation. However, this method is weakly robust and sensitive to environment. Benefitting from deep learning, this paper proposes a novel illegal vehicle parking detection system. Illegal vehicles captured by camera are firstly located and classified by the famous Single Shot MultiBox Detector (SSD) algorithm. To improve the performance, we propose to optimize SSD by adjusting the aspect ratio of default box to accommodate with our dataset better. After that, a tracking and analysis of movement is adopted to judge the illegal vehicles in the region of interest (ROI). Experiments show that the system can achieve a 99% accuracy and real-time (25FPS) detection with strong robustness in complex environments.


title: An isogeometric finite element formulation for phase transitions on deforming surfaces

abstract: This paper presents a general theory and isogeometric finite element implementation for studying mass conserving phase transitions on deforming surfaces. The mathematical problem is governed by two coupled fourth-order nonlinear partial differential equations (PDEs) that live on an evolving two-dimensional manifold. For the phase transitions, the PDE is the Cahn-Hilliard equation for curved surfaces, which can be derived from surface mass balance in the framework of irreversible thermodynamics. For the surface deformation, the PDE is the (vector-valued) Kirchhoff-Love thin shell equation. Both PDEs can be efficiently discretized using $C^1$-continuous interpolations without derivative degrees-of-freedom (dofs). Structured NURBS and unstructured spline spaces with pointwise $C^1$-continuity are utilized for these interpolations. The resulting finite element formulation is discretized in time by the generalized-$\alpha$ scheme with adaptive time-stepping, and it is fully linearized within a monolithic Newton-Raphson approach. A curvilinear surface parameterization is used throughout the formulation to admit general surface shapes and deformations. The behavior of the coupled system is illustrated by several numerical examples exhibiting phase transitions on deforming spheres, tori and double-tori.


title: Centralized Congestion Control and Scheduling in a Datacenter

abstract: We consider the problem of designing a packet-level congestion control and scheduling policy for datacenter networks. Current datacenter networks primarily inherit the principles that went into the design of Internet, where congestion control and scheduling are distributed. While distributed architecture provides robustness, it suffers in terms of performance. Unlike Internet, data center is fundamentally a "controlled" environment. This raises the possibility of designing a centralized architecture to achieve better performance. Recent solutions such as Fastpass and Flowtune have provided the proof of this concept. This raises the question: what is theoretically optimal performance achievable in a data center? We propose a centralized policy that guarantees a per-flow end-to-end flow delay bound of $O$(#hops $\times$ flow-size $/$ gap-to-capacity). Effectively such an end-to-end delay will be experienced by flows even if we removed congestion control and scheduling constraints as the resulting queueing networks can be viewed as the classical reversible multi-class queuing network, which has a product-form stationary distribution. In the language of Harrison et al., we establish that baseline performance for this model class is achievable. Indeed, as the key contribution of this work, we propose a method to emulate such a reversible queuing network while satisfying congestion control and scheduling constraints. Precisely, our policy is an emulation of Store-and-Forward (SFA) congestion control in conjunction with Last-Come-First-Serve Preemptive-Resume (LCFS-PR) scheduling policy.


title: Roper resonance -- solution to the fifty year puzzle

abstract: For half a century, the Roper resonance has defied understanding. Discovered in 1963, it appears to be an exact copy of the proton except that its mass is 50% greater. The mass is the first problem: it is difficult to explain with any theoretical tool that can validly be used to study quantum chromodynamics [QCD]. In the last decade, a new challenge has appeared, viz. precise information on the proton-to-Roper electroproduction transition form factors, reaching $Q^2\approx 4.5\,$GeV$^2$. This scale probes the domain within which hard valence-quark degrees-of-freedom could be expected to determine form factor behavior. Hence, with this new data the Roper resonance becomes a problem for strong-QCD [sQCD]. An explanation of how and where the Roper resonance fits into the emerging spectrum of hadrons cannot rest on a description of its mass alone. Instead, it must combine this with a detailed understanding of the Roper's structure and how that is revealed in the transition form factors. Furthermore, it must unify all this with a similarly complete picture of the proton. This is a prodigious task, but a ten-year international effort, drawing together experimentalists and theorists, has presented a solution to the puzzle. Namely, the Roper is at heart the proton's first radial excitation, consisting of a dressed-quark core augmented by a meson cloud that reduces the core mass by approximately 20% and materially alters its electroproduction form factors on $Q^2<2m_N^2$, where $m_N$ is the proton's mass. We describe the experimental motivations and developments which enabled electroproduction data to be procured within a domain that is unambiguously the purview of sQCD, thereby providing a real challenge and opportunity for modern theory; and survey the developments in reaction models and QCD theory that have enabled this conclusion to be drawn about the nature of the Roper resonance.


title: Small-time asymptotics for subelliptic Hermite functions on $SU(2)$ and the CR sphere

abstract: We show that, under a natural scaling, the small-time behavior of the logarithmic derivatives of the subelliptic heat kernel on $SU(2)$ converges to their analogues on the Heisenberg group at time 1. Realizing $SU(2)$ as $\mathbb{S}^3$, we then generalize these results to higher-order odd-dimensional spheres equipped with their natural subRiemannian structure, where the limiting spaces are now the higher-dimensional Heisenberg groups.


title: Real-Time Local Volt/VAR Control Under External Disturbances with High PV Penetration

abstract: Volt/var control (VVC) of smart PV inverter is becoming one of the most popular solutions to address the voltage challenges associated with high PV penetration. This work focuses on the local droop VVC recommended by the grid integration standards IEEE1547, rule21 and addresses their major challenges i.e. appropriate parameters selection under changing conditions, and the control being vulnerable to instability (or voltage oscillations) and significant steady state error (SSE). This is achieved by proposing a two-layer local real-time adaptive VVC that has two major features i.e. a) it is able to ensure both low SSE and control stability simultaneously without compromising either, and b) it dynamically adapts its parameters to ensure good performance in a wide range of external disturbances such as sudden cloud cover, cloud intermittency, and substation voltage changes. A theoretical analysis and convergence proof of the proposed control is also discussed. The proposed control is implementation friendly as it fits well within the integration standard framework and depends only on the local bus information. The performance is compared with the existing droop VVC methods in several scenarios on a large unbalanced 3-phase feeder with detailed secondary side modeling.


title: A note on discrete lattice-periodic sets with an application to Archimedean tilings

abstract: Cao & Yuan obtained a Blichfeldt-type result for the vertex set of the edge-to-edge tiling of the plane by regular hexagons. Observing that every Archimedean tiling is the union of translates of a fixed lattice, we take a more general viewpoint and investigate basic questions for such point sets about the homogeneous and inhomogeneous problem in the Geometry of Numbers. The Archimedean tilings nicely exemplify our results.


title: Artificial life, complex systems and cloud computing: a short review

abstract: Cloud computing is the prevailing mode of designing, creating and deploying complex applications nowadays. Its underlying assumptions include distributed computing, but also new concepts that need to be incorporated in the different fields. In this short paper we will make a review of how the world of cloud computing has intersected the complex systems and artificial life field, and how it has been used as inspiration for new models or implementation of new and powerful algorithms


title: Mobile fluxons as coherent probes of periodic pinning in superconductors

abstract: The interaction of (quasi)particles with a periodic potential arises in various domains of science and engineering, such as solid-state physics, chemical physics, and communication theory. An attractive test ground to investigate this interaction is represented by superconductors with artificial pinning sites, where magnetic flux quanta (Abrikosov vortices) interact with the pinning potential $U(r) = U(r + R)$ induced by a nanostructure. At a combination of microwave and dc currents, fluxons act as mobile probes of $U(r)$: The ac component shakes the fluxons in the vicinity of their equilibrium points which are unequivocally determined by the local pinning force counterbalanced by the Lorentz force induced by the dc current, linked to the curvature of $U(r)$ which can then be used for a successful fitting of the voltage responses. A good correlation of the deduced dependences $U(r)$ with the cross sections of the nanostructures points to that pinning is primarily caused by vortex length reduction. Our findings pave a new route to a non-destructive evaluation of periodic pinning in superconductor thin films. The approach should also apply to a broad class of systems whose evolution in time can be described by the coherent motion of (quasi)particles in a periodic potential.


title: Model Predictive Path-Following for Constrained Differentially Flat Systems

abstract: For many tasks, predictive path-following control can significantly improve the performance and robustness of autonomous robots over traditional trajectory tracking control. It does this by prioritizing closeness to the path over timed progress along the path and by looking ahead to account for changes in the path. We propose a novel predictive path-following approach that couples feedforward linearization with path-based model predictive control. Our approach has a few key advantages. By utilizing the differential flatness property, we reduce the path-based model predictive control problem from a nonlinear to a convex optimization problem. Robustness to disturbances is achieved by a dynamic path reference, which adjusts its speed based on the robot's progress. We also account for key system constraints. We demonstrate these advantages in experiment on a quadrotor. We show improved performance over a baseline trajectory tracking controller by keeping the quadrotor closer to the desired path under nominal conditions, with an initial offset and under a wind disturbance.


title: An Algorithm to Compress Line-transition Data for Radiative-transfer Calculations

abstract: Molecular line-transition lists are an essential ingredient for radiative-transfer calculations. With recent databases now surpassing the billion-lines mark, handling them has become computationally prohibitive, due to both the required processing power and memory. Here I present a temperature-dependent algorithm to separate strong from weak line transitions, reformatting the large majority of the weaker lines into a cross-section data file, and retaining the detailed line-by-line information of the fewer strong lines. For any given molecule over the 0.3--30 {\micron} range, this algorithm reduces the number of lines to a few million, enabling faster radiative-transfer computations without a significant loss of information. The final compression rate depends on how densely populated is the spectrum. I validate this algorithm by comparing Exomol's HCN extinction-coefficient spectra between the complete (65 million line transitions) and compressed (7.7 million) line lists. Over the 0.6--33 {\micron} range, the average difference between extinction-coefficient values is less than 1\%. A Python/C implementation of this algorithm is open-source and available at https://github.com/pcubillos/repack . So far, this code handles the Exomol and HITRAN line-transition format.


title: Rings in which every unit is a sum of a nilpotent and an idempotent

abstract: A ring $R$ is a UU ring if every unit is unipotent, or equivalently if every unit is a sum of a nilpotent and an idempotent that commute. These rings have been investigated in C\u{a}lug\u{a}reanu \cite{C} and in Danchev and Lam \cite{DL}. In this paper, two generalizations of UU rings are discussed. We study rings for which every unit is a sum of a nilpotent and an idempotent, and rings for which every unit is a sum of a nilpotent and two idempotents that commute with one another.


title: The KPP boundary layer scheme: revisiting its formulation and benchmarking one-dimensional ocean simulations relative to LES

abstract: We evaluate the Community ocean Vertical Mixing (CVMix) project version of the K-profile parameterization (KPP). For this purpose, one-dimensional KPP simulations are compared across a suite of oceanographically relevant regimes against large eddy simulations (LES). The LES is forced with horizontally uniform boundary fluxes and has horizontally uniform initial conditions, allowing its horizontal average to be compared to one-dimensional KPP tests. We find the standard configuration of KPP consistent with LES across many forcing regimes, supporting the physical basis of KPP. Our evaluation motivates recommendations for "best practices" for using KPP within ocean circulation models, and identifies areas where further research is warranted. Further, our test suite can be used as a baseline for evaluation of a broad suite of boundary layer models. The original treatment of KPP recommends the matching of interior diffusivities and their gradients to the KPP predicted values computed in the ocean surface boundary layer (OSBL). However, we find that difficulties in representing derivatives of rapidly changing diffusivities near the base of the OSBL can lead to loss of simulation fidelity. We propose two alternative approaches. We find the KPP entrainment buoyancy flux to be sensitive to vertical grid resolution and details of how to diagnose the KPP boundary layer depth. We modify the KPP turbulent shear velocity parameterization to reduce resolution dependence. Additionally, our results show that the KPP parameterized non-local tracer flux is incomplete due to the assumption that it solely redistributes the surface tracer flux. However, examination of the LES vertical turbulent scalar flux budgets show that non-local fluxes can exist in the absence of surface tracer fluxes. This result motivates further studies of the non-local flux parameterization.


title: Reducing the $H_0$ and $\sigma_8$ tensions with Dark Matter-neutrino interactions

abstract: The introduction of Dark Matter-neutrino interactions modifies the Cosmic Microwave Background (CMB) angular power spectrum at all scales, thus affecting the reconstruction of the cosmological parameters. Such interactions can lead to a slight increase of the value of $H_0$ and a slight decrease of $\sigma_8$, which can help reduce somewhat the tension between the CMB and lensing or Cepheids datasets. Here we show that it is impossible to solve both tensions simultaneously. While the 2015 Planck temperature and low multipole polarisation data combined with the Cepheids datasets prefer large values of the Hubble rate (up to $H_0 = 72.1^{+1.5}_{-1.7} \rm{km/s/Mpc}$, when $N_{\rm{eff}}$ is free to vary), the $\sigma_8$ parameter remains too large to reduce the $\sigma_8$ tension. Adding high multipole Planck polarization data does not help since this data shows a strong preference for low values of $H_0$, thus worsening current tensions, even though they also prefer smaller value of $\sigma_8$.


title: The DIRHA-English corpus and related tasks for distant-speech recognition in domestic environments

abstract: This paper introduces the contents and the possible usage of the DIRHA-ENGLISH multi-microphone corpus, recently realized under the EC DIRHA project. The reference scenario is a domestic environment equipped with a large number of microphones and microphone arrays distributed in space. The corpus is composed of both real and simulated material, and it includes 12 US and 12 UK English native speakers. Each speaker uttered different sets of phonetically-rich sentences, newspaper articles, conversational speech, keywords, and commands. From this material, a large set of 1-minute sequences was generated, which also includes typical domestic background noise as well as inter/intra-room reverberation effects. Dev and test sets were derived, which represent a very precious material for different studies on multi-microphone speech processing and distant-speech recognition. Various tasks and corresponding Kaldi recipes have already been developed. The paper reports a first set of baseline results obtained using different techniques, including Deep Neural Networks (DNN), aligned with the state-of-the-art at international level.


title: Connecting pairwise spheres by depth: DCOPS

abstract: We extend the classical notion of the spherical depth in \mathbb{R}^k, to the important setup of data on a Riemannian manifold. We show that this notion of depth satisfies a set of desirable properties. For the empirical version of this depth function both uniform consistency and the asymptotic distribution are studied. Consistency is also shown for functional data. The behaviour of the depth is illustrated through several examples for Riemannian manifold data.


title: Simulation modeling of radiation field in biological tissue of mammary gland

abstract: In this paper we develop a mathematical model of the distribution of microwave electric field in heterogenous biological tissue of mammary gland. We use this model to investigate the efficiency of the medical diagnostic method based on microwave thermometry. Also we run a numerical modeling of electromagnetic field in biotissue of mammary gland for various sets of the spatial structure of biotissue. The small-scale structure is caused by a complex combination of several components: blood flows, fat tissue, muscle tissue, milk lobules, skin. Next we vary in the model the spatial structure of the tissue to evaluate the effect of the heterogeneous structure of the tissue on the distribution of the electromagnetic field in the volume of mammary gland.


title: Expectation-induced modulation of metastable activity underlies faster coding of sensory stimuli

abstract: Sensory stimuli can be recognized more rapidly when they are expected. This phenomenon depends on expectation affecting the cortical processing of sensory information. However, virtually nothing is known on the mechanisms responsible for the effects of expectation on sensory networks. Here, we report a novel computational mechanism underlying the expectation-dependent acceleration of coding observed in the gustatory cortex (GC) of alert rats. We use a recurrent spiking network model with a clustered architecture capturing essential features of cortical activity, including the metastable activity observed in GC before and after gustatory stimulation. Relying both on network theory and computer simulations, we propose that expectation exerts its function by modulating the intrinsically generated dynamics preceding taste delivery. Our model, whose predictions are confirmed in the experimental data, demonstrates how the modulation of intrinsic metastable activity can shape sensory coding and mediate cognitive processes such as the expectation of relevant events. Altogether, these results provide a biologically plausible theory of expectation and ascribe a new functional role to intrinsically generated, metastable activity.


title: Detectability of Galactic Faraday Rotation in Multi-wavelength CMB Observations: A Cross-Correlation Analysis of CMB and Radio Maps

abstract: We introduce a new cross-correlation method to detect and verify the astrophysical origin of Faraday Rotation (FR) in multiwavelength surveys. FR is well studied in radio astronomy from radio point sources but the $\lambda^{2}$ suppression of FR makes detecting and accounting for this effect difficult at millimeter and sub-millimeter wavelengths. Therefore statistical methods are used to attempt to detect FR in the cosmic microwave background (CMB). Most estimators of the FR power spectrum rely on single frequency data. In contrast, we investigate the correlation of polarized CMB maps with FR measure maps from radio point sources. We show a factor of $\sim30$ increase in sensitivity over single frequency estimators and predict detections exceeding $10\sigma$ significance for a CMB-S4 like experiment. Improvements in observations of FR from current and future radio polarization surveys will greatly increase the usefulness of this method.


title: Quantised relativistic membranes and non-perturbative checks of gauge/gravity duality

abstract: We test the background geometry of the BFSS model using a D4-brane probe. This proves a sensitive test of the geometry and we find excellent agreement with the D4-brane predictions based on the solution of a membrane corresponding to the D4-brane propagating on this background.


title: CAMREP- Concordia Action and Motion Repository

abstract: Action recognition, motion classification, gait analysis and synthesis are fundamental problems in a number of fields such as computer graphics, bio-mechanics and human computer interaction that generate a large body of research. This type of data is complex because it is inherently multidimensional and has multiple modalities such as video, motion capture data, accelerometer data, etc. While some of this data, such as monocular video are easy to acquire, others are much more difficult and expensive such as motion capture data or multi-view video. This creates a large barrier of entry in the research community for data driven research. We have embarked on creating a new large repository of motion and action data (CAMREP) consisting of several motion and action databases. What makes this database unique is that we use a variety of modalities, enabling multi-modal analysis. Presently, the size of datasets varies with some having a large number of subjects while others having smaller numbers. We have also acquired long capture sequences in a number of cases, making some datasets rather large.


title: Invariance of representation dimension under socle equivalence of selfinjective algebras

abstract: We prove that the representation dimension of finite dimensional selfinjective algebras over a field is invariant under socle equivalence and derive some consequences.


title: High-Speed Data Dissemination over Device-to-Device Millimeter-Wave Networks for Highway Vehicular Communication

abstract: Gigabit-per-second connectivity among vehicles is expected to be a key enabling technology for sensor information sharing, in turn, resulting in safer Intelligent Transportation Systems (ITSs). Recently proposed millimeter-wave (mmWave) systems appear to be the only solution capable of meeting the data rate demand imposed by future ITS services. In this poster, we assess the performance of a mmWave device-to-device (D2D) vehicular network by investigating the impact of system and communication parameters on end-users.


title: Low-resource bilingual lexicon extraction using graph based word embeddings

abstract: In this work we focus on the task of automatically extracting bilingual lexicon for the language pair Spanish-Nahuatl. This is a low-resource setting where only a small amount of parallel corpus is available. Most of the downstream methods do not work well under low-resources conditions. This is specially true for the approaches that use vectorial representations like Word2Vec. Our proposal is to construct bilingual word vectors from a graph. This graph is generated using translation pairs obtained from an unsupervised word alignment method. We show that, in a low-resource setting, these type of vectors are successful in representing words in a bilingual semantic space. Moreover, when a linear transformation is applied to translate words from one language to another, our graph based representations considerably outperform the popular setting that uses Word2Vec.


title: Constraints on inflation with LSS surveys: features in the primordial power spectrum

abstract: We analyse the efficiency of future large scale structure surveys to unveil the presence of scale dependent features in the primordial spectrum --resulting from cosmic inflation-- imprinted in the distribution of galaxies. Features may appear as a consequence of non-trivial dynamics during cosmic inflation, in which one or more background quantities experienced small but rapid deviations from their characteristic slow-roll evolution. We consider two families of features: localized features and oscillatory extended features. To characterise them we employ various possible templates parametrising their scale dependence and provide forecasts on the constraints on these parametrisations for LSST like surveys. We perform a Fisher matrix analysis for three observables: cosmic microwave background (CMB), galaxy clustering and weak lensing. We find that the combined data set of these observables will be able to limit the presence of features down to levels that are more restrictive than current constraints coming from CMB observations only. In particular, we address the possibility of gaining information on currently known deviations from scale invariance inferred from CMB data, such as the feature appearing at the $\ell \sim 20$ multipole (which is the main contribution to the low-$\ell$ deficit) and a potential feature appearing at $\ell \sim 800$.


title: LTE Spectrum Sharing Research Testbed: Integrated Hardware, Software, Network and Data

abstract: This paper presents Virginia Tech's wireless testbed supporting research on long-term evolution (LTE) signaling and radio frequency (RF) spectrum coexistence. LTE is continuously refined and new features released. As the communications contexts for LTE expand, new research problems arise and include operation in harsh RF signaling environments and coexistence with other radios. Our testbed provides an integrated research tool for investigating these and other research problems; it allows analyzing the severity of the problem, designing and rapidly prototyping solutions, and assessing them with standard-compliant equipment and test procedures. The modular testbed integrates general-purpose software-defined radio hardware, LTE-specific test equipment, RF components, free open-source and commercial LTE software, a configurable RF network and recorded radar waveform samples. It supports RF channel emulated and over-the-air radiated modes. The testbed can be remotely accessed and configured. An RF switching network allows for designing many different experiments that can involve a variety of real and virtual radios with support for multiple-input multiple-output (MIMO) antenna operation. We present the testbed, the research it has enabled and some valuable lessons that we learned and that may help designing, developing, and operating future wireless testbeds.


title: An Optimization Approach to Learning Falling Rule Lists

abstract: A falling rule list is a probabilistic decision list for binary classification, consisting of a series of if-then rules with antecedents in the if clauses and probabilities of the desired outcome ("1") in the then clauses. Just as in a regular decision list, the order of rules in a falling rule list is important -- each example is classified by the first rule whose antecedent it satisfies. Unlike a regular decision list, a falling rule list requires the probabilities of the desired outcome ("1") to be monotonically decreasing down the list. We propose an optimization approach to learning falling rule lists and "softly" falling rule lists, along with Monte-Carlo search algorithms that use bounds on the optimal solution to prune the search space.


title: Tuning Windowed Chi-Squared Detectors for Sensor Attacks

abstract: A model-based windowed chi-squared procedure is proposed for identifying falsified sensor measurements. We employ the widely-used static chi-squared and the dynamic cumulative sum (CUSUM) fault/attack detection procedures as benchmarks to compare the performance of the windowed chi-squared detector. In particular, we characterize the state degradation that a class of attacks can induce to the system while enforcing that the detectors do not raise alarms (zero-alarm attacks). We quantify the advantage of using dynamic detectors (windowed chi-squared and CUSUM detectors), which leverages the history of the state, over a static detector (chi-squared) which uses a single measurement at a time. Simulations using a chemical reactor are presented to illustrate the performance of our tools.


title: Partially Asynchronous Distributed Unmixing of Hyperspectral Images

abstract: So far, the problem of unmixing large or multitemporal hyperspectral datasets has been specifically addressed in the remote sensing literature only by a few dedicated strategies. Among them, some attempts have been made within a distributed estimation framework, in particular relying on the alternating direction method of multipliers (ADMM). In this paper, we propose to study the interest of a partially asynchronous distributed unmixing procedure based on a recently proposed asynchronous algorithm. Under standard assumptions, the proposed algorithm inherits its convergence properties from recent contributions in non-convex optimization, while allowing the problem of interest to be efficiently addressed. Comparisons with a distributed synchronous counterpart of the proposed unmixing procedure allow its interest to be assessed on synthetic and real data. Besides, thanks to its genericity and flexibility, the procedure investigated in this work can be implemented to address various matrix factorization problems.


title: Agile Calibration Process of Full-Stack Simulation Frameworks for V2X Communications

abstract: Computer simulations and real-world car trials are essential to investigate the performance of Vehicle-to-Everything (V2X) networks. However, simulations are imperfect models of the physical reality and can be trusted only when they indicate agreement with the real-world. On the other hand, trials lack reproducibility and are subject to uncertainties and errors. In this paper, we will illustrate a case study where the interrelationship between trials, simulation, and the reality-of-interest is presented. Results are then compared in a holistic fashion. Our study will describe the procedure followed to macroscopically calibrate a full-stack network simulator to conduct high-fidelity full-stack computer simulations.


title: Constraining Attacker Capabilities Through Actuator Saturation

abstract: For LTI control systems, we provide mathematical tools - in terms of Linear Matrix Inequalities - for computing outer ellipsoidal bounds on the reachable sets that attacks can induce in the system when they are subject to the physical limits of the actuators. Next, for a given set of dangerous states, states that (if reached) compromise the integrity or safe operation of the system, we provide tools for designing new artificial limits on the actuators (smaller than their physical bounds) such that the new ellipsoidal bounds (and thus the new reachable sets) are as large as possible (in terms of volume) while guaranteeing that the dangerous states are not reachable. This guarantees that the new bounds cut as little as possible from the original reachable set to minimize the loss of system performance. Computer simulations using a platoon of vehicles are presented to illustrate the performance of our tools.


title: Long-run in-operando NMR to investigate the evolution and degradation of battery cells

abstract: Nuclear magnetic resonance (NMR) investigations of electrochemical systems require gas-tight and non-metallic cell housings. This contribution reports on the development and evaluation of a cylindrical battery container in combination with a numerically optimized saddle coil that is suitable for NMR investigations of battery cells over hundreds of charge-discharge cycles. The reliability of the new cell container design and its long-time gas-tight sealing are shown by rate capability comparisons to standard housings with LiCoO$_{2}$ (LCO) vs. Li-metal electrodes as well as a charge-discharge experiment of a LCO vs. graphite batteries over more than 2000 hours. To demonstrate the performance of the entire NMR setup, long-run in-operando measurements on a Li-metal vs. graphite cell are presented. The NMR data reveal the formation and evolution of mossy and dendritic Li microstructures over a period of 1000 h. Analyzing the measured rate of microstructure growth could help to identify dendrite mitigation strategies, such as enhanced cell pressure or additives, and could enable a method for battery lifetime prediction.


title: Identification of nickel-vacancy defect in the photocurrent spectrum of diamond by means of \emph{ab initio} calculations

abstract: There is a continuous search for solid-state spin qubits operating at room temperature with excitation in the IR communication bandwidth. Recently we have introduced the photoelectric detection of magnetic resonance (PDMR) to read the electron spin state of nitrogen-vacancy (NV) center in diamond, a technique which is promising for applications in quantum information technology. By measuring photoionization spectra on a diamond crystal we found two ionization thresholds that were not reported before. On the same sample we also observed absorption and photoluminescence signatures that were identified in literature as Ni associated defects. We performed \emph{ab initio} calculation of the photo-ionization cross-section of the nickel split vacancy complex (NiV) and N-related defects in their relevant charge states and fitted the concentration of these defects to the measured photocurrent spectrum, which led to a surprising match between experimental and calculated spectra. This study enabled to identify the two unknown ionization thresholds with the two acceptor levels of NiV. Because the excitation of NiV is in infrared, the photocurrent detected from the paramagnetic NiV color centers is a promising way towards designing a novel type of electrically readout qubits.


title: Controlling qubit networks in polynomial time

abstract: Future quantum devices often rely on favourable scaling with respect to the system components. To achieve desirable scaling, it is therefore crucial to implement unitary transformations in an efficient manner. We develop an upper bound for the minimum time required to implement a unitary transformation on a generic qubit network in which each of the qubits is subject to local time dependent controls. The set of gates is characterized that can be implemented in a time that scales at most polynomially in the number of qubits. Furthermore, we show how qubit systems can be concatenated through controllable two body interactions, making it possible to implement the gate set efficiently on the combined system. Finally a system is identified for which the gate set can be implemented with fewer controls. The considered model is particularly important, since it describes electron-nuclear spin interactions in NV centers.


title: Komlos Properties in Banach Lattices

abstract: Several Koml\'os like properties in Banach lattices are investigated. We prove that $C(K)$ fails the $oo$-pre-Koml\'os property, assuming that the compact Hausdorff space $K$ has a nonempty separable open subset $U$ without isolated points such that every $u\in U$ has countable neighborhood base. We prove also that for any infinite dimensional Banach lattice $E$ there is an unbounded convex $uo$-pre-Koml\'os set $C\subseteq E_+$ which is not $uo$-Koml\'os.


title: Quantum SDP Solvers: Large Speed-ups, Optimality, and Applications to Quantum Learning

abstract: We give two quantum algorithms for solving semidefinite programs (SDPs) providing quantum speed-ups. We consider SDP instances with $m$ constraint matrices, each of dimension $n$, rank at most $r$, and sparsity $s$. The first algorithm assumes access to an oracle to the matrices at unit cost. We show that it has run time $\tilde{O}(s^2(\sqrt{m}\epsilon^{-10}+\sqrt{n}\epsilon^{-12}))$, with $\epsilon$ the error of the solution. This gives an optimal dependence in terms of $m, n$ and quadratic improvement over previous quantum algorithms when $m\approx n$. The second algorithm assumes a fully quantum input model in which the matrices are given as quantum states. We show that its run time is $\tilde{O}(\sqrt{m}+\text{poly}(r))\cdot\text{poly}(\log m,\log n,B,\epsilon^{-1})$, with $B$ an upper bound on the trace-norm of all input matrices. In particular the complexity depends only poly-logarithmically in $n$ and polynomially in $r$. We apply the second SDP solver to learn a good description of a quantum state with respect to a set of measurements: Given $m$ measurements and a supply of copies of an unknown state $\rho$ with rank at most $r$, we show we can find in time $\sqrt{m}\cdot\text{poly}(\log m,\log n,r,\epsilon^{-1})$ a description of the state as a quantum circuit preparing a density matrix which has the same expectation values as $\rho$ on the $m$ measurements, up to error $\epsilon$. The density matrix obtained is an approximation to the maximum entropy state consistent with the measurement data considered in Jaynes' principle from statistical mechanics. As in previous work, we obtain our algorithm by "quantizing" classical SDP solvers based on the matrix multiplicative weight method. One of our main technical contributions is a quantum Gibbs state sampler for low-rank Hamiltonians with a poly-logarithmic dependence on its dimension, which could be of independent interest.


title: Optimal use of Charge Information for the HL-LHC Pixel Detector Readout

abstract: The pixel detectors for the High Luminosity upgrades of the ATLAS and CMS detectors will preserve digitized charge information in spite of extremely high hit rates. Both circuit physical size and output bandwidth will limit the number of bits to which charge can be digitized and stored. We therefore study the effect of the number of bits used for digitization and storage on single and multi-particle cluster resolution, efficiency, classification, and particle identification. We show how performance degrades as fewer bits are used to digitize and to store charge. We find that with limited charge information (4 bits), one can achieve near optimal performance on a variety of tasks.


title: On the self-interference in electron scattering: Copenhagen, Bohmian and geometrical interpretations of quantum mechanics

abstract: Self-interference embodies the essence of the particle-wave interpretation of quantum mechanics (QM). According to the Copenhagen particle-wave interpretation of QM, self-interference by a double slit requires a large transverse coherence of the incident wavepacket such that it covers the separation between the slits. Bohmian dynamics provides a first step in the separation of the particle-wave character of particles by introducing deterministic trajectories guided by a pilot wave that follows the time-dependent Schr\"odinger equation. In this work, I present a theory for quantum dynamics that incorporates all quantum (wave) effects into the geometry of the underlying phase space. This geometrical formulation of QM is consistent with quantum measurements and provides an alternative interpretation of quantum mechanics in terms of deterministic trajectories. In particular, it removes the need for the concept of wavefunction collapse (of the Copenhagen interpretation) to explain the emergence of the classical world. All three QM formulations (Schr\"odinger, Bohmian, and geometrical) are applied to the description of the scattering of a free electron by a hydrogen atom and a double slit.


title: Bag-Level Aggregation for Multiple Instance Active Learning in Instance Classification Problems

abstract: A growing number of applications, e.g. video surveillance and medical image analysis, require training recognition systems from large amounts of weakly annotated data while some targeted interactions with a domain expert are allowed to improve the training process. In such cases, active learning (AL) can reduce labeling costs for training a classifier by querying the expert to provide the labels of most informative instances. This paper focuses on AL methods for instance classification problems in multiple instance learning (MIL), where data is arranged into sets, called bags, that are weakly labeled. Most AL methods focus on single instance learning problems. These methods are not suitable for MIL problems because they cannot account for the bag structure of data. In this paper, new methods for bag-level aggregation of instance informativeness are proposed for multiple instance active learning (MIAL). The \textit{aggregated informativeness} method identifies the most informative instances based on classifier uncertainty, and queries bags incorporating the most information. The other proposed method, called \textit{cluster-based aggregative sampling}, clusters data hierarchically in the instance space. The informativeness of instances is assessed by considering bag labels, inferred instance labels, and the proportion of labels that remain to be discovered in clusters. Both proposed methods significantly outperform reference methods in extensive experiments using benchmark data from several application domains. Results indicate that using an appropriate strategy to address MIAL problems yields a significant reduction in the number of queries needed to achieve the same level of performance as single instance AL methods.


title: The SMC B-type supergiant AzV322: a g-mode pulsator with a circumstellar disc

abstract: We present a photometric and spectroscopic study of AzV322, an emission line object located in the Small Magellanic Cloud previously classified between O9 and B0. We analyze 17.5 years of $I$ and $V$ band OGLE-II, III and IV light curves and find four significant frequencies, viz. $f_1$= 0.386549 $\pm$ 0.000003, $f_2$= 0.101177 $\pm$ 0.000005, $f_3$= 0.487726 $\pm$ 0.000015 and $f_4$= 0.874302 $\pm$ 0.000020 c/d. The $f_1$ frequency (period 2.58700 $\pm$ 0.00002 days) provides the stronger periodogram peak and gives a single wave light curve of full amplitude 0.066 mag in the $I$-band. High-resolution optical spectroscopy confirms the early B-type spectral type and reveals prominent double peak Balmer, Paschen, OI 8446 and HeI 5875 emissions. The spectral energy distribution shows significant color excess towards long wavelengths possibly attributed to free-free emission in a disk-like envelope. Our analysis yields $T_{eff}$ = 23000 $\pm$ 1500 K, log g = 3.0 $\pm$ 0.5, $M$ = 16 $\pm$ 1 M$_{\odot}$, $R$ = 31.0 $\pm$ 1.1 R$_{\odot}$, and $L_{bol}$ = 10$^{4.87 \pm 0.06}$ $L_{\odot}$. AzV322 might be a member of the new class of slowly pulsating B supergiants introduced by Saio et al. (2006) and documented by Lefever, Puls & Aerts (2007), however its circumstellar disk make it an hitherto unique object. Furthermore, we notice that a O-C analysis for $f_1$ reveals quasi-cyclic changes for the times of maximum in a time scale of 20 years which might indicate a light-travel time effect in a very wide orbit binary with an undetected stellar component.


title: Study of dijet events with a large rapidity gap between the two leading jets in pp collisions at $\sqrt{s}$ = 7 TeV

abstract: Events with no charged particles produced between the two leading jets are studied in proton-proton collisions at $\sqrt{s}$ = 7 TeV. The jets were required to have transverse momentum $p_\mathrm{T}^{\text{jet}}$ > 40 GeV and pseudorapidity 1.5 $<|\eta^{\text{jet}}| <$ 4.7, and to have values of $\eta^{\text{jet}}$ with opposite signs. The data used for this study were collected with the CMS detector during low-luminosity running at the LHC, and correspond to an integrated luminosity of 8 pb$^{-1}$. Events with no charged particles with $p_\mathrm{T}$ > 0.2 GeV in the interval -1 < $\eta$ < 1 between the jets are observed in excess of calculations that assume no color-singlet exchange. The fraction of events with such a rapidity gap, amounting to 0.5-1% of the selected dijet sample, is measured as a function of the $p_\mathrm{T}$ of the second-leading jet and of the rapidity separation between the jets. The data are compared to previous measurements at the Tevatron, and to perturbative quantum chromodynamics calculations based on the Balitsky-Fadin-Kuraev-Lipatov evolution equations, including different modelings of the non-perturbative gap survival probability.


title: The Paulsen Problem, Continuous Operator Scaling, and Smoothed Analysis

abstract: The Paulsen problem is a basic open problem in operator theory: Given vectors $u_1, \ldots, u_n \in \mathbb R^d$ that are $\epsilon$-nearly satisfying the Parseval's condition and the equal norm condition, is it close to a set of vectors $v_1, \ldots, v_n \in \mathbb R^d$ that exactly satisfy the Parseval's condition and the equal norm condition? Given $u_1, \ldots, u_n$, the squared distance (to the set of exact solutions) is defined as $\inf_{v} \sum_{i=1}^n \| u_i - v_i \|_2^2$ where the infimum is over the set of exact solutions. Previous results show that the squared distance of any $\epsilon$-nearly solution is at most $O({\rm{poly}}(d,n,\epsilon))$ and there are $\epsilon$-nearly solutions with squared distance at least $\Omega(d\epsilon)$. The fundamental open question is whether the squared distance can be independent of the number of vectors $n$. We answer this question affirmatively by proving that the squared distance of any $\epsilon$-nearly solution is $O(d^{13/2} \epsilon)$. Our approach is based on a continuous version of the operator scaling algorithm and consists of two parts. First, we define a dynamical system based on operator scaling and use it to prove that the squared distance of any $\epsilon$-nearly solution is $O(d^2 n \epsilon)$. Then, we show that by randomly perturbing the input vectors, the dynamical system will converge faster and the squared distance of an $\epsilon$-nearly solution is $O(d^{5/2} \epsilon)$ when $n$ is large enough and $\epsilon$ is small enough. To analyze the convergence of the dynamical system, we develop some new techniques in lower bounding the operator capacity, a concept introduced by Gurvits to analyze the operator scaling algorithm.


title: Empirical Likelihood for Linear Structural Equation Models with Dependent Errors

abstract: We consider linear structural equation models that are associated with mixed graphs. The structural equations in these models only involve observed variables, but their idiosyncratic error terms are allowed to be correlated and non-Gaussian. We propose empirical likelihood (EL) procedures for inference, and suggest several modifications, including a profile likelihood, in order to improve tractability and performance of the resulting methods. Through simulations, we show that when the error distributions are non-Gaussian, the use of EL and the proposed modifications may increase statistical efficiency and improve assessment of significance.


title: Elastic and electronic tuning of magnetoresistance in MoTe$_2$

abstract: Quasi-two dimensional transition metal dichalcogenides (TMD) exhibit dramatic properties that may transform electronic and photonic devices. We report on how the anomalously large magnetoresistance (MR) observed under high magnetic field in MoTe$_2$, a type II Weyl semimetal, can be reversibly controlled under tensile strain. The MR is enhanced by as much as ~ 30 % at low temperatures and high magnetic fields, when uniaxial strain is applied along the $a$-crystallographic direction and reduced by about the same amount when strain is applied along the $b$-direction. We show that the large in-plane electric anisotropy is coupled with the structural transition from the 1T' monoclinic to the Td orthorhombic Weyl phase. A shift of the Td - 1T' phase boundary is achieved by minimal tensile strain. The sensitivity of the MR to tensile strain suggests the possibility of a nontrivial spin-orbital texture of the electron and hole pockets in the vicinity of Weyl points. Our ab initio calculations indeed show a significant orbital mixing on the Fermi surface, which is modified by the tensile strains.


title: Heterogeneous multireference alignment: a single pass approach

abstract: Multireference alignment (MRA) is the problem of estimating a signal from many noisy and cyclically shifted copies of itself. In this paper, we consider an extension called heterogeneous MRA, where $K$ signals must be estimated, and each observation comes from one of those signals, unknown to us. This is a simplified model for the heterogeneity problem notably arising in cryo-electron microscopy. We propose an algorithm which estimates the $K$ signals without estimating either the shifts or the classes of the observations. It requires only one pass over the data and is based on low-order moments that are invariant under cyclic shifts. Given sufficiently many measurements, one can estimate these invariant features averaged over the $K$ signals. We then design a smooth, non-convex optimization problem to compute a set of signals which are consistent with the estimated averaged features. We find that, in many cases, the proposed approach estimates the set of signals accurately despite non-convexity, and conjecture the number of signals $K$ that can be resolved as a function of the signal length $L$ is on the order of $\sqrt{L}$.


title: Estimating the dust production rate of carbon stars in the Small Magellanic Cloud

abstract: We employ newly computed grids of spectra reprocessed by dust for estimating the total dust production rate (DPR) of carbon stars in the Small Magellanic Cloud (SMC). For the first time, the grids of spectra are computed as a function of the main stellar parameters, i.e. mass-loss rate, luminosity, effective temperature, current stellar mass and element abundances at the photosphere, following a consistent, physically grounded scheme of dust growth coupled with stationary wind outflow. The model accounts for the dust growth of various dust species formed in the circumstellar envelopes of carbon stars, such as carbon dust, silicon carbide and metallic iron. In particular, we employ some selected combinations of optical constants and grain sizes for carbon dust which have been shown to reproduce simultaneously the most relevant color-color diagrams in the SMC. By employing our grids of models, we fit the spectral energy distributions of $\approx$3100 carbon stars in the SMC, consistently deriving some important dust and stellar properties, i.e. luminosities, mass-loss rates, gas-to-dust ratios, expansion velocities and dust chemistry. We discuss these properties and we compare some of them with observations in the Galaxy and LMC. We compute the DPR of carbon stars in the SMC, finding that the estimates provided by our method can be significantly different, between a factor $\approx2-5$, than the ones available in the literature. Our grids of models, including the spectra and other relevant dust and stellar quantities, are publicly available at http://starkey.astro.unipd.it/web/guest/dustymodels


title: Bernstein Polynomials based Probabilistic Interpretation of Quark Hadron Duality

abstract: It is now widely recognized that large Bjorken $x$ data play an important role in global analyses of Parton Distribution Functions (PDFs) even at collider energies, through perturbative QCD evolution. For values of the scale of the reaction, $Q^2$, in the multi-GeV region the structure functions at large $x$ present resonance structure. Notwithstanding, these data can be incorporated in the analyses by using quark-hadron duality or approximate scaling of the structure function data averaged over their resonance structure. Several averaging methods have been proposed using either the PDFs Mellin moments, or their truncated moments. We propose an alternative method using Bernstein polynomials integrals, or Bernstein moments. Bernstein moments render a smooth form of the structure function in the resonance region. Furthermore, being based on a different averaging criterion than the methods adopted so far, they provide a new framework for understanding the possible mechanisms giving origin to the phenomenon of quark-hadron duality.


title: Slepton Non-Universality in the Flavor-Effective MSSM

abstract: Supersymmetric theories supplemented by an underlying flavor-symmetry $\mathcal{G}_f$ provide a rich playground for model building aimed at explaining the flavor structure of the Standard Model. In the case where supersymmetry breaking is mediated by gravity, the soft-breaking Lagrangian typically exhibits large tree-level flavor violating effects, even if it stems from an ultraviolet flavor-conserving origin. Building on previous work, we continue our phenomenological analysis of these models with a particular emphasis on leptonic flavor observables. We consider three representative models which aim to explain the flavor structure of the lepton sector, with symmetry groups $\mathcal{G}_f = \Delta(27)$, $A_4,$ and $S_3$.


title: Fibred Computational Effects

abstract: Dependent types provide a lightweight and modular means to integrate programming and formal program verification. In particular, the types of programs written in dependently typed programming languages (Agda, Idris, F*, etc.) can be used to express specifications of program correctness. These specifications can vary from being as simple as requiring the divisor in the division function to be non-zero, to as complex as specifying the correctness of compilers of industrial-strength languages. Successful compilation of a program then guarantees that it satisfies its type-based specification. While dependent types allow many runtime errors to be eliminated by rejecting erroneous programs at compile-time, dependently typed languages are yet to gain popularity in the wider programming community. One reason for this is their limited support for computational effects, an integral part of all widely used programming languages, ranging from imperative languages, such as C, to functional languages, such as ML and Haskell. For example, in addition to simply turning their inputs to outputs, programs written in these programming languages can raise exceptions, access computer's memory, communicate over a network, render images on a screen, etc. Therefore, if dependently typed programming languages are to truly live up to their promise of seamlessly integrating programming and formal program verification, we must first understand how to properly account for computational effects in such languages. While there already exists work on this topic, ingredients needed for a comprehensive theory are generally missing. For example, foundations are often not settled; available effects may be limited; or effects may not be treated systematically. In this thesis we address these shortcomings by providing a comprehensive treatment of the combination of dependent types and general computational effects.


title: Intelligent Pothole Detection and Road Condition Assessment

abstract: Poor road conditions are a public nuisance, causing passenger discomfort, damage to vehicles, and accidents. In the U.S., road-related conditions are a factor in 22,000 of the 42,000 traffic fatalities each year. Although we often complain about bad roads, we have no way to detect or report them at scale. To address this issue, we developed a system to detect potholes and assess road conditions in real-time. Our solution is a mobile application that captures data on a car's movement from gyroscope and accelerometer sensors in the phone. To assess roads using this sensor data, we trained SVM models to classify road conditions with 93% accuracy and potholes with 92% accuracy, beating the base rate for both problems. As the user drives, the models use the sensor data to classify whether the road is good or bad, and whether it contains potholes. Then, the classification results are used to create data-rich maps that illustrate road conditions across the city. Our system will empower civic officials to identify and repair damaged roads which inconvenience passengers and cause accidents. This paper details our data science process for collecting training data on real roads, transforming noisy sensor data into useful signals, training and evaluating machine learning models, and deploying those models to production through a real-time classification app. It also highlights how cities can use our system to crowdsource data and deliver road repair resources to areas in need.


title: Abstract $\ell$-adic $1$-motives and Tate's class

abstract: In a previous paper we constructed a new class of Iwasawa modules as $\ell$--adic realizations of what we called abstract $\ell$--adic $1$--motives in the number field setting. We proved in loc. cit. that the new Iwasawa modules satisfy an equivariant main conjecture. In this paper we link the new modules to the $\ell$--adified Tate canonical class, defined by Tate in 1960 and give an explicit construction of (the minus part of) $\ell$--adic Tate sequences for any Galois CM extension $K/k$ of an arbitrary totally real number field $k$. These explicit constructions are significant and useful in their own right but also due to their applications (via our previous results on the Equivariant Main Conjecture in Iwasawa theory) to a proof of the minus part of the far reaching Equivariant Tamagawa Number Conjecture for the Artin motive associated to the Galois extension $K/k$.


title: A Comparison of Stealthy Sensor Attacks on Control Systems

abstract: As more attention is paid to security in the context of control systems and as attacks occur to real control systems throughout the world, it has become clear that some of the most nefarious attacks are those that evade detection. The term stealthy has come to encompass a variety of techniques that attackers can employ to avoid detection. Here we show how the states of the system (in particular, the reachable set corresponding to the attack) can be manipulated under two important types of stealthy attacks. We employ the chi-squared fault detection method and demonstrate how this imposes a constraint on the attack sequence either to generate no alarms (zero-alarm attack) or to generate alarms at a rate indistinguishable from normal operation (hidden attack).


title: The demographics of physics education research

abstract: Is physics education research based on a representative sample of students? To answer this question we skimmed physics education research papers from three journals for the years 1970 - 2015 looking for the number of research subjects, the course the subjects were enrolled in, and the institution where the research was conducted. We then compared the demographics of our research population to those of all students taking physics in the United States. Our results suggest that research subjects as a whole are better prepared mathematically and are less diverse than the overall physics student population.


title: Rotation Blurring: Use of Artificial Blurring to Reduce Cybersickness in Virtual Reality First Person Shooters

abstract: Users of Virtual Reality (VR) systems often experience vection, the perception of self-motion in the absence of any physical movement. While vection helps to improve presence in VR, it often leads to a form of motion sickness called cybersickness. Cybersickness is a major deterrent to large scale adoption of VR. Prior work has discovered that changing vection (changing the perceived speed or moving direction) causes more severe cybersickness than steady vection (walking at a constant speed or in a constant direction). Based on this idea, we try to reduce the cybersickness caused by character movements in a First Person Shooter (FPS) game in VR. We propose Rotation Blurring (RB), uniformly blurring the screen during rotational movements to reduce cybersickness. We performed a user study to evaluate the impact of RB in reducing cybersickness. We found that the blurring technique led to an overall reduction in sickness levels of the participants and delayed its onset. Participants who experienced acute levels of cybersickness benefited significantly from this technique.