title: First-Principles-Based Strain and Temperature Dependent Ferroic Phase Diagram of SrMnO$_3$

abstract: Perovskite structure SrMnO$_3$ is a rare example of a multiferroic material where strain-tuning and/or cation substitution could lead to coinciding magnetic and ferroelectric ordering temperatures, which would then promise strong magnetoelectric coupling effects. Here, we establish the temperature and strain dependent ferroic phase diagram of SrMnO$_3$ using first-principles-based effective Hamiltonians. All parameters of these Hamiltonians are calculated using density functional theory, i.e., no fitting to experimental data is required. Temperature dependent properties are then obtained from Monte Carlo and molecular dynamics simulations. We observe a sequence of several magnetic transitions under increasing tensile strain, with a moderate variation of the corresponding critical temperatures. In contrast, the ferroelectric Curie temperature increases strongly after its onset around 2.5\,\% strain, and indeed crosses the magnetic transition temperature just above 3\,\% strain. Our results indicate pronounced magnetoelectric coupling, manifested in dramatic changes of the magnetic ordering temperatures and different magnetic ground states as function of the ferroelectric distortion. In addition, coexisting ferroelectric and ferromagnetic order is obtained for strains above 4\,\%. Our calculated phase diagram suggests the possibility to control the magnetic properties of SrMnO$_3$ through an applied electric field, significantly altering the magnetic transition temperatures, or even inducing transitions between different magnetic states.


title: Improving on Q & A Recurrent Neural Networks Using Noun-Tagging

abstract: Often, more time is spent on finding a model that works well, rather than tuning the model and working directly with the dataset. Our research began as an attempt to improve upon a simple Recurrent Neural Network for answering "simple" first-order questions (QA-RNN), developed by Ferhan Ture and Oliver Jojic, from Comcast Labs, using the SimpleQuestions dataset. Their baseline model, a bidirectional, 2-layer LSTM RNN and a GRU RNN, have accuracies of 0.94 and 0.90, for entity detection and relation prediction, respectively. We fine tuned these models by doing substantial hyper-parameter tuning, getting resulting accuracies of 0.70 and 0.80, for entity detection and relation prediction, respectively. An accuracy of 0.984 was obtained on entity detection using a 1-layer LSTM, where preprocessing was done by removing all words not part of a noun chunk from the question. 100% of the dataset was available for relation prediction, but only 20% of the dataset, was available for entity detection, which we believe to be much of the reason for our initial difficulties in replicating their result, despite the fact we were able to improve on their entity detection results.


title: Investigation of a Multiple-Timescale Turbulence-Transport Coupling Method in the Presence of Random Fluctuations

abstract: One route to improved predictive modeling of magnetically confined fusion reactors is to couple transport solvers with direct numerical simulations (DNS) of turbulence, rather than with surrogate models. An additional challenge presented by coupling directly with DNS is that the inherent fluctuations in the turbulence, which limit the convergence achievable in the transport solver. In this article, we investigate the performance of one numerical coupling method in the presence of turbulent fluctuations. To test a particular numerical coupling method for the transport solver, we use an autoregressive-moving-average model to efficiently generate stochastic fluctuations with statistical properties resembling those of a gyrokinetic simulation. These fluctuations are then added to a simple, solvable problem, and we examine the behavior of the coupling method. We find that monitoring the residual as a proxy for the error can be misleading. From a pragmatic point of view, this study aids us in the full problem of transport coupled to DNS by predicting the amount of averaging required to reduce the fluctuation error and obtain a specific level of accuracy.


title: Multi-Messenger Astrophysics: Harnessing the Data Revolution

abstract: The past year has witnessed discovery of the first identified counterparts to a gravitational wave transient (GW 170817A) and a very high-energy neutrino (IceCube-170922A). These source identifications, and ensuing detailed studies, have realized longstanding dreams of astronomers and physicists to routinely carry out observations of cosmic sources by other than electromagnetic means, and inaugurated the era of "multi-messenger" astronomy. While this new era promises extraordinary physical insights into the universe, it brings with it new challenges, including: highly heterogeneous, high-volume, high-velocity datasets; globe-spanning cross-disciplinary teams of researchers, regularly brought together into transient collaborations; an extraordinary breadth and depth of domain-specific knowledge and computing resources required to anticipate, model, and interpret observations; and the routine need for adaptive, distributed, rapid-response observing campaigns to fully exploit the scientific potential of each source. We argue, therefore, that the time is ripe for the community to conceive and propose an Institute for Multi-Messenger Astrophysics that would coordinate its resources in a sustained and strategic fashion to efficiently address these challenges, while simultaneously serving as a center for education and key supporting activities. In this fashion, we can prepare now to realize the bright future that we see, beyond, through these newly opened windows onto the universe.


title: Transfer Operator Theoretic Framework for Monitoring Building Indoor Environment in Uncertain Operating Conditions

abstract: Dynamical system-based linear transfer Perron- Frobenius (P-F) operator framework is developed to address analysis and design problems in the building system. In particular, the problems of fast contaminant propagation and optimal placement of sensors in uncertain operating conditions of indoor building environment are addressed. The linear nature of transfer P-F operator is exploited to develop a computationally efficient numerical scheme based on the finite dimensional approximation of P-F operator for fast propagation of contaminants. The proposed scheme is an order of magnitude faster than existing methods that rely on simulation of an advection-diffusion partial differential equation for contami- nant transport. Furthermore, the system-theoretic notion of observability gramian is generalized to nonlinear flow fields using the transfer P-F operator. This developed notion of observability gramian for nonlinear flow field combined with the finite dimensional approximation of P-F operator is used to provide a systematic procedure for optimal placement of sensors under uncertain operating conditions. Simulation results are presented to demonstrate the applicability of the developed framework on the IEA-annex 2D benchmark problem.


title: Number of Rational points of the Generalized Hermitian Curves over $\mathbb F_{p^n}$

abstract: In this paper we consider the curves $H_{k,t}^{(p)} : y^{p^k}+y=x^{p^{kt}+1}$ over $\mathbb F_p$ and and find an exact formula for the number of $\mathbb F_{p^n}$-rational points on $H_{k,t}^{(p)}$ for all integers $n\ge 1$. We also give the condition when the $L$-polynomial of a Hermitian curve divides the $L$-polynomial of another over $\mathbb F_p$.


title: Recurrent Neural Networks in Linguistic Theory: Revisiting Pinker and Prince (1988) and the Past Tense Debate

abstract: Can advances in NLP help advance cognitive modeling? We examine the role of artificial neural networks, the current state of the art in many common NLP tasks, by returning to a classic case study. In 1986, Rumelhart and McClelland famously introduced a neural architecture that learned to transduce English verb stems to their past tense forms. Shortly thereafter, Pinker & Prince (1988) presented a comprehensive rebuttal of many of Rumelhart and McClelland's claims. Much of the force of their attack centered on the empirical inadequacy of the Rumelhart and McClelland (1986) model. Today, however, that model is severely outmoded. We show that the Encoder-Decoder network architectures used in modern NLP systems obviate most of Pinker and Prince's criticisms without requiring any simplication of the past tense mapping problem. We suggest that the empirical performance of modern networks warrants a re-examination of their utility in linguistic and cognitive modeling.


title: Velocity-resolved reverberation mapping of five bright Seyfert 1 galaxies

abstract: We present the first results from a reverberation-mapping campaign undertaken during the first half of 2012, with additional data on one AGN (NGC 3227) from a 2014 campaign. Our main goals are (1) to determine the black hole masses from continuum-Hbeta reverberation signatures, and (2) to look for velocity-dependent time delays that might be indicators of the gross kinematics of the broad-line region. We successfully measure Hbeta time delays and black hole masses for five AGNs, four of which have previous reverberation mass measurements. The values measured here are in agreement with earlier estimates, though there is some intrinsic scatter beyond the formal measurement errors. We observe velocity dependent Hbeta lags in each case, and find that the patterns have changed in the intervening five years for three AGNs that were also observed in 2007.


title: Harborth Constants for Certain Classes of Metacyclic Groups

abstract: The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also solve the "inverse" problem of characterizing all smaller subsets that do not contain $\exp(H_{n,m})$ distinct elements whose product is $1$.


title: A two-band approach to n$\lambda$ phase error corrections with LBTI's PHASECam

abstract: PHASECam is the Large Binocular Telescope Interferometer's (LBTI) phase sensor, a near-infrared camera which is used to measure tip/tilt and phase variations between the two AO-corrected apertures of the Large Binocular Telescope (LBT). Tip/tilt and phase sensing are currently performed in the H (1.65 $\mu$m) and K (2.2 $\mu$m) bands at 1 kHz, and the K band phase telemetry is used to send tip/tilt and Optical Path Difference (OPD) corrections to the system. However, phase variations outside the range [-$\pi$, $\pi$] are not sensed, and thus are not fully corrected during closed-loop operation. PHASECam's phase unwrapping algorithm, which attempts to mitigate this issue, still occasionally fails in the case of fast, large phase variations. This can cause a fringe jump, in which case the unwrapped phase will be incorrect by a wavelength or more. This can currently be manually corrected by the observer, but this is inefficient. A more reliable and automated solution is desired, especially as the LBTI begins to commission further modes which require robust, active phase control, including controlled multi-axial (Fizeau) interferometry and dual-aperture non-redundant aperture masking interferometry. We present a multi-wavelength method of fringe jump capture and correction which involves direct comparison between the K band and currently unused H band phase telemetry.


title: Low-Rank Kernel Matrix Approximation Using Skeletonized Interpolation With Endo- or Exo-Vertices

abstract: The efficient compression of kernel matrices, for instance the off-diagonal blocks of discretized integral equations, is a crucial step in many algorithms. In this paper, we study the application of Skeletonized Interpolation to construct such factorizations. In particular, we study four different strategies for selecting the initial candidate pivots of the algorithm: Chebyshev grids, points on a sphere, maximally-dispersed and random vertices. Among them, the first two introduce new interpolation points (exo-vertices) while the last two are subsets of the given clusters (endo- vertices). We perform experiments using three real-world problems coming from the multiphysics code LS-DYNA. The pivot selection strategies are compared in term of quality (final rank) and efficiency (size of the initial grid). These benchmarks demonstrate that overall, maximally-dispersed vertices provide an accurate and efficient sets of pivots for most applications. It allows to reach near-optimal ranks while starting with relatively small sets of vertices, compared to other strategies.


title: Systematic evaluation of the population-level effects of alternative treatment strategies on the basic reproduction number

abstract: An approach to estimate the influence of the treatment-type controls on the basic reproduction number, R 0 , is proposed and elaborated. The presented approach allows one to estimate the effect of a given treatment strategy or to compare a number of different treatment strategies on the basic reproduction number. All our results are valid for sufficiently small values of the control. However, in many cases it is possible to extend this analysis to larger values of the control as was illustrated by examples.


title: Physical properties of beta Lyr A and its opaque accretion disk

abstract: Mass exchange and mass loss in close binaries can significantly affect their evolution, but a complete self-consistent theory of these processes is still to be developed. Processes such as radiative shielding due to a~hot-spot region, or a~hydrodynamical interaction of different parts of the gas stream have been studied previously. In order to test the respective predictions, it is necessary to carry out detailed observations of binaries undergoing the largescale mass exchange, especially for those that are in the rapid transfer phase. \bla is an archetype of such a system, having a long and rich observational history. Our goal for this first study is to quantitatively estimate the geometry and physical properties of the optically thick components, namely the Roche-lobe filling mass-losing star, and the accretion disk surrounding the mass-gaining star of \blae. A series of continuum visible and NIR spectro-interferometric observations by the NPOI, CHARA/MIRC and VEGA instruments covering the whole orbit of \bla acquired during a~two-week campaign in 2013 were complemented with \ubvr\ photometric observations acquired during a three-year monitoring of the system. We included NUV and FUV observations from OAO~A-2, IUE, and Voyager satellites.


title: Tunable mid-infrared generation via wide-band four wave mixing in silicon nitride waveguides

abstract: We experimentally demonstrate wide-band (>100 THz) frequency down-conversion of near-infrared (NIR) femtosecond-scale pulses from an Er:fiber laser to the mid-infrared (MIR) using four-wave-mixing (FWM) in photonic-chip silicon-nitride waveguides. The engineered dispersion in the nanophotonic geometry, along with the wide transparency range of silicon nitride, enables large-detuning FWM phase-matching and results in tunable MIR from 2.6-3.6 um on a single chip with 100-pJ-scale pump-pulse energies. Additionally, we observe > 20 dB broadband parametric gain for the NIR pulses when the FWM process is operated in a frequency up-conversion configuration. Our results demonstrate how integrated photonic circuits could realize multiple nonlinear optical phenomena on the same chip and lead to engineered synthesis of broadband, tunable, and coherent light across the NIR and MIR wavelength bands from fiber-based pumps.


title: Gaussian and Pr\"ufer conditions in bi-amalgamated algebras

abstract: Let $f: A\rightarrow B$ and $g: A\rightarrow C$ be two ring homomorphisms and let $J$ (resp., $J'$) be an ideal of $B$ (resp., $C$) such that $f^{-1}(J)=g^{-1}(J')$. In this paper, we investigate the transfer of the notions of Gaussian and Pr\"ufer properties to the bi-amalgamation of $A$ with $(B,C)$ along $(J,J')$ with respect to $(f,g)$ (denoted by $A\bowtie^{f,g}(J,J')),$ introduced and studied by Kabbaj, Louartiti and Tamekkante in 2013. Our results recover well known results on amalgamations in \cite{Finno} and generate new original examples of rings satisfying these properties.


title: Efficient population transfer via non-ergodic extended states in quantum spin glass

abstract: We analyze a new computational role of coherent multi-qubit quantum tunneling that gives rise to bands of non-ergodic extended (NEE) quantum states each formed by a superposition of a large number of computational states (deep local minima of the energy landscape) with similar energies. NEE provide a mechanism for population transfer (PT) between computational states and therefore can serve as a new quantum subroutine for quantum search, quantum parallel tempering and reverse annealing optimization algorithms. We study PT in a quantum n-spin system subject to a transverse field where the energy function $E(z)$ encodes a classical optimization problem over the set of spin configurations $z$. Given an initial spin configuration with low energy, PT protocol searches for other bitstrings at energies within a narrow window around the initial one. We provide an analytical solution for PT in a simple yet nontrivial model: $M$ randomly chosen marked bit-strings are assigned energies $E(z)$ within a narrow strip $[-n -W/2, n + W/2]$, while the rest of the states are assigned energy 0. We find that the scaling of a typical PT runtime with n and L is the same as that in the multi-target Grover's quantum search algorithm, except for a factor that is equal to $\exp(n /(2B^2))$ for finite transverse field $B\gg1$. Unlike the Hamiltonians used in analog quantum unstructured search algorithms known so far, the model we consider is non-integrable and population transfer is not exponentially sensitive in n to the weight of the driver Hamiltonian. We study numerically the PT subroutine as a part of quantum parallel tempering algorithm for a number of examples of binary optimization problems on fully connected graphs.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: A Morphing Continuum Simulation of Transonic Flow over an Axisymmetric Hill

abstract: Finite volume simulations of turbulent boundary layer flow over an axisymmetric hill are performed for $Re_H$ = 6500 using Morphing Continuum Theory (MCT), and compared with DNS data from Castagna et. al. and experimental data obtained by Simpson. The inlet profile was specified by inputting values from the profile specified by Castagna et. al. Root- mean-square velocity fluctuations are inputted using the new variable of gyration from MCT. Additional terms introduced by MCT lead to a new formulation of the Q-criterion, which allows for the visualization of three-dimensional turbulent structures including a hairpin vortices. Streamline plots of the separation bubble show a more confined bubble than Castagna et. al., but agree well on the separation and reconnection points. The surface pressure coefficient matches Simpson much more closely than Castagna et. al. MCT data was obtained on a $6.72 \times 10^6$ cell mesh containing a smaller number of cells by an order of magnitude than that of the DNS mesh of $5.4 \times 10^7$ by Castagna et. al. The effects of the particle on the larger structures are inferred from the variation in the new variable of gyration.


title: Understanding Fundamental Properties and Atmospheric Features of Subdwarfs via a Case Study of SDSS J125637.13-022452.4

abstract: We present the distance-calibrated spectral energy distribution (SED) of the sdL3.5 subdwarf SDSS J125637.13-022452.4 (J1256-0224) using its Gaia parallax and its resultant bolometric luminosity and semi-empirical fundamental parameters, as well as updated UVW velocities. The SED of J1256-0224 is compared to field-age and low-gravity dwarfs of the same effective temperature (Teff) and bolometric luminosity. In the former comparison, we find that the SED of J1256-0224 is brighter than the field source in the optical, but dims in comparison beyond the J-band, where it becomes fainter than the field from the H through W2 bands. Compared to the young source, its fainter at all wavelengths. We conclude that J1256-0224 is depleted of condensates compared to both objects. A near infrared band-by-band analysis of the spectral features of J1256-0224 is done and is compared to the equivalent Teff sample. From this analysis, we find a peculiar behavior of the J-band K I doublets whereby the 1.17 micron doublet is stronger than the field or young source as expected, while the 1.25 micron doublet shows indications of low gravity. In examining a sample of 4 other subdwarfs with comparable data we confirm this trend across different subtypes indicating that the 1.25 micron doublet is a poor indicator of gravity for low metallicity objects. In the K-band analysis of J1256-0224 we detect the 2.29 micron CO line of J1256-0224, previously unseen in the low-resolution SpeX data. We also present fundamental parameters using Gaia parallaxes for 9 additional subdwarfs with spectral types M7 - L7 for comparison. The 10 subdwarfs are placed in a temperature sequence and we find a poor linear correlation with spectral type. We present polynomial relations for absolute magnitude in JHKW1W2, effective temperature, and bolometric luminosity versus spectral type for subdwarfs.


title: Mean Field Game with Delay: a Toy Model

abstract: We study a toy model of linear-quadratic mean field game with delay. We "lift" the delayed dynamic into an infinite dimensional space, and recast the mean field game system which is made of a forward Kolmogorov equation and a backward Hamilton-Jacobi-Bellman equation. We identify the corresponding master equation. A solution to this master equation is computed, and we show that it provides an approximation to a Nash equilibrium of the finite player game.


title: Game-theoretic perspective of Ping-Pong Protocol

abstract: We analyse Ping-Pong protocol from the point of view of a game. The analysis helps us in understanding the different strategies of a sender and an eavesdropper to gain the maximum payoff in the game. The study presented here characterizes strategies that lead to different Nash equilibriums. We further demonstrate the condition for Pareto optimality depending on the parameters used in the game. Moreover, we also analysed LM05 protocol and compared it with PP protocol from the point of view of a generic two-way QKD game with or without entanglement. Our results provide a deeper understanding of general two-way QKD protocols in terms of the security and payoffs of different stakeholders in the protocol.


title: R\'enyi entropies for multidimensional hydrogenic systems in position and momentum spaces

abstract: The R\'enyi entropies of Coulomb systems $R_{p}[\rho], 0 < p < \infty$ are logarithms of power functionals of the electron density $\rho(\vec{r})$ which quantify most appropriately the electron uncertainty and describe numerous physical observables. However, its analytical determination is a hard issue not yet solved except for the first lowest-lying energetic states of some specific systems. This is so even for the $D$-dimensional hydrogenic system, which is the main prototype of the multidimensional Coulomb many-body systems. Recently, the R\'enyi entropies of this system have been found in the two extreme high-energy (Rydberg) and high-dimensional (pseudo-classical) cases. In this work we determine the position and momentum R\'enyi entropies (with integer $p$ greater than 1) for all the discrete stationary states of the multidimensional hydrogenic system directly in terms of the hyperquantum numbers which characterize the states, the nuclear charge and the space dimensionality. We have used a methodology based on linearization formulas for powers of the orthogonal Laguerre and Gegenbauer polynomials which control the hydrogenic states.


title: Hydranet: Data Augmentation for Regression Neural Networks

abstract: Deep learning techniques are often criticized to heavily depend on a large quantity of labeled data. This problem is even more challenging in medical image analysis where the annotator expertise is often scarce. We propose a novel data-augmentation method to regularize neural network regressors that learn from a single global label per image. The principle of the method is to create new samples by recombining existing ones. We demonstrate the performance of our algorithm on two tasks: estimation of the number of enlarged perivascular spaces in the basal ganglia, and estimation of white matter hyperintensities volume. We show that the proposed method improves the performance over more basic data augmentation. The proposed method reached an intraclass correlation coefficient between ground truth and network predictions of 0.73 on the first task and 0.84 on the second task, only using between 25 and 30 scans with a single global label per scan for training. With the same number of training scans, more conventional data augmentation methods could only reach intraclass correlation coefficients of 0.68 on the first task, and 0.79 on the second task.


title: The sound of an axon's growth

abstract: Axons are linear processes of nerve cells that can range from a few tens of micrometers up to meters in length. In addition to external cues, the length of an axon is also regulated by unknown internal mechanisms. Molecular motors have been suggested to generate oscillations with an axon length-dependent frequency that could be used to measure an axon's extension. Here, we present a mechanism that depends on the spectral decomposition of the oscillatory signal to determine the axon length.


title: Feature Selection for Gender Classification in TUIK Life Satisfaction Survey

abstract: As known, attribute selection is a method that is used before the classification of data mining. In this study, a new data set has been created by using attributes expressing overall satisfaction in Turkey Statistical Institute (TSI) Life Satisfaction Survey dataset. Attributes are sorted by Ranking search method using attribute selection algorithms in a data mining application. These selected attributes were subjected to a classification test with Naive Bayes and Random Forest from machine learning algorithms. The feature selection algorithms are compared according to the number of attributes selected and the classification accuracy rates achievable with them. In this study, which is aimed at reducing the dataset volume, the best classification result comes up with 3 attributes selected by the Chi2 algorithm. The best classification rate was 73% with the Random Forest classification algorithm.


title: Practical Obstacles to Deploying Active Learning

abstract: Active learning (AL) is a widely-used training strategy for maximizing predictive performance subject to a fixed annotation budget. In AL one iteratively selects training examples for annotation, often those for which the current model is most uncertain (by some measure). The hope is that active sampling leads to better performance than would be achieved under independent and identically distributed (i.i.d.) random samples. While AL has shown promise in retrospective evaluations, these studies often ignore practical obstacles to its use. In this paper we show that while AL may provide benefits when used with specific models and for particular domains, the benefits of current approaches do not generalize reliably across models and tasks. This is problematic because in practice one does not have the opportunity to explore and compare alternative AL strategies. Moreover, AL couples the training dataset with the model used to guide its acquisition. We find that subsequently training a successor model with an actively-acquired dataset does not consistently outperform training on i.i.d. sampled data. Our findings raise the question of whether the downsides inherent to AL are worth the modest and inconsistent performance gains it tends to afford.


title: A Faster Algorithm for Minimum-Cost Bipartite Matching in Minor-Free Graphs

abstract: We give an $\tilde{O}(n^{7/5} \log (nC))$-time algorithm to compute a minimum-cost maximum cardinality matching (optimal matching) in $K_h$-minor free graphs with $h=O(1)$ and integer edge weights having magnitude at most $C$. This improves upon the $\tilde{O}(n^{10/7}\log{C})$ algorithm of Cohen et al. [SODA 2017] and the $O(n^{3/2}\log (nC))$ algorithm of Gabow and Tarjan [SIAM J. Comput. 1989]. For a graph with $m$ edges and $n$ vertices, the well-known Hungarian Algorithm computes a shortest augmenting path in each phase in $O(m)$ time, yielding an optimal matching in $O(mn)$ time. The Hopcroft-Karp [SIAM J. Comput. 1973], and Gabow-Tarjan [SIAM J. Comput. 1989] algorithms compute, in each phase, a maximal set of vertex-disjoint shortest augmenting paths (for appropriately defined costs) in $O(m)$ time. This reduces the number of phases from $n$ to $O(\sqrt{n})$ and the total execution time to $O(m\sqrt{n})$. In order to obtain our speed-up, we relax the conditions on the augmenting paths and iteratively compute, in each phase, a set of carefully selected augmenting paths that are not restricted to be shortest or vertex-disjoint. As a result, our algorithm computes substantially more augmenting paths in each phase, reducing the number of phases from $O(\sqrt{n})$ to $O(n^{2/5})$. By using small vertex separators, the execution of each phase takes $\tilde{O}(m)$ time on average. For planar graphs, we combine our algorithm with efficient shortest path data structures to obtain a minimum-cost perfect matching in $\tilde{O}(n^{6/5} \log{(nC)})$ time. This improves upon the recent $\tilde{O}(n^{4/3}\log{(nC)})$ time algorithm by Asathulla et al. [SODA 2018].


title: Counting maximal near perfect matchings in quasirandom and dense graphs

abstract: A maximal $\varepsilon$-near perfect matching is a maximal matching which covers at least $(1-\varepsilon)|V(G)|$ vertices. In this paper, we study the number of maximal near perfect matchings in generalized quasirandom and dense graphs. We provide tight lower and upper bounds on the number of $\varepsilon$-near perfect matchings in generalized quasirandom graphs. Moreover, based on these results, we provide a deterministic polynomial time algorithm that for a given dense graph $G$ of order $n$ and a real number $\varepsilon>0$, returns either a conclusion that $G$ has no $\varepsilon$-near perfect matching, or a positive non-trivial number $\ell$ such that the number of maximal $\varepsilon$-near perfect matchings in $G$ is at least $n^{\ell n}$. Our algorithm uses algorithmic version of Szemer\'edi Regularity Lemma, and has $O(f(\varepsilon)n^{5/2})$ time complexity. Here $f(\cdot)$ is an explicit function depending only on $\varepsilon$.


title: Algorithms for #BIS-hard problems on expander graphs

abstract: We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply, for example, to random (bipartite) $\Delta$-regular graphs, for which no efficient algorithms were known for these problems (with the exception of the Ising model) in the non-uniqueness regime of the infinite $\Delta$-regular tree. We also find efficient counting and sampling algorithms for proper $q$-colorings of random $\Delta$-regular bipartite graphs when $q$ is sufficiently small as a function of $\Delta$.


title: Levels of Ultrafilters with Extension Divisibilities

abstract: To work more accurately with elements of the semigroup of the Stone Cech compactification of the discrete semigroup of natural numbers N under multiplication. We divided these elements into ultrafilters which are on finite levels and ultrafilters which are not on finite levels. For the ultrafilters that are on finite levels we prove that any element is irreducible or product of irreducible elements and all elements on higher levels are extension divided by some elements on lower levels. We characterize ultrafilters that are not on finite levels and the effect of extension divisibility on the ultrafilters which are not on finite levels.


title: Use of Python programming language in astronomy and science

abstract: The use of Python is noticeably growing among the scientific community, and Astronomy is not an exception. The power of Python consists of being an extremely versatile high-level language, easy to program that combines both traditional programming and data reduction and analysis tools. Here I make a brief introduction to Python, mentioning a few programming practices implemented in the language and some of its useful features on the process of data manipulation. I cover in a little more detail the standard scientific libraries (NumPy and SciPy) for data handling, the graphical library (Matplotlib), and tools for specific use in astronomy (PyFITS and PyRAF). Good programming practices and how they are implemented at the language are also viewed. Python resources and references are mentioned through- out the text for those who wish to go deeper and make use of the power of the language.


title: Learning-based Regularization for Cardiac Strain Analysis with Ability for Domain Adaptation

abstract: Reliable motion estimation and strain analysis using 3D+time echocardiography (4DE) for localization and characterization of myocardial injury is valuable for early detection and targeted interventions. However, motion estimation is difficult due to the low-SNR that stems from the inherent image properties of 4DE, and intelligent regularization is critical for producing reliable motion estimates. In this work, we incorporated the notion of domain adaptation into a supervised neural network regularization framework. We first propose an unsupervised autoencoder network with biomechanical constraints for learning a latent representation that is shown to have more physiologically plausible displacements. We extended this framework to include a supervised loss term on synthetic data and showed the effects of biomechanical constraints on the network's ability for domain adaptation. We validated both the autoencoder and semi-supervised regularization method on in vivo data with implanted sonomicrometers. Finally, we showed the ability of our semi-supervised learning regularization approach to identify infarcted regions using estimated regional strain maps with good agreement to manually traced infarct regions from postmortem excised hearts.


title: Monopole and instanton effects in QCD

abstract: We aim to show the effects of the magnetic monopoles and instantons in quantum chromodynamics (QCD) on observables; therefore, we introduce a monopole and anti-monopole pair in the QCD vacuum of a quenched SU(3) by applying the monopole creation operator to the vacuum. We calculate the eigenvalues and eigenvectors of the overlap Dirac operator that preserves the exact chiral symmetry in lattice gauge theory using these QCD vacua. We then investigate the effects of magnetic monopoles and instantons. First, we confirm the monopole effects as follows: (i) The monopole creation operator makes the monopoles and anti-monopoles in the QCD vacuum. (ii) A monopole and anti-monopole pair creates an instanton or anti-instanton without changing the structure of the QCD vacuum. (iii) The monopole and anti-monopole pairs change only the scale of the spectrum distribution without affecting the spectra of the Dirac operator by comparing the spectra with random matrix theory. Next, we find the instanton effects by increasing the number density of the instantons and anti-instantons as follows: (iv) The decay constants of the pseudoscalar increase. (v) The values of the chiral condensate, which are defined as negative numbers, decrease. (vi) The light quarks and the pseudoscalar mesons become heavy. The catalytic effect on the charged pion is estimated using the numerical results of the pion decay constant and the pion mass. (vii) The decay width of the charged pion becomes wider than the experimental result, and the lifetime of the charged pion becomes shorter than the experimental result. These are the effects of the monopoles and instantons in QCD.


title: Number theoretical peculiarities in the dimension theory of dynamical systems

abstract: We show that dimensional theoretical properties of dynamical systems can considerably change because of number theoretical peculiarities of some parameter values


title: Three local actions in $6$-valent arc-transitive graphs

abstract: It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{\Gamma_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(\Gamma_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\rm{V}(\Gamma_n)|$. These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided. In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.


title: A new invariance identity and means

abstract: The invariance identity involving three operations $D_{f,g}:X\times X\rightarrow X$ of the form \begin{equation*} D_{f,g}\left( x,y\right) =\left( f\circ g\right) ^{-1}\left( f\left( x\right) \oplus g\left( y\right) \right) \text{,} \end{equation*} is proposed. The connections of these operations with means is investigated. The question when the invariance equality admits three means leads to a composite functional equation. Problem to determine its continuous solutions is posed.


title: Latent Transformations for Object View Points Synthesis

abstract: We propose a fully-convolutional conditional generative model, the latent transformation neural network (LTNN), capable of view synthesis using a light-weight neural network suited for real-time applications. In contrast to existing conditional generative models which incorporate conditioning information via concatenation, we introduce a dedicated network component, the conditional transformation unit (CTU), designed to learn the latent space transformations corresponding to specified target views. In addition, a consistency loss term is defined to guide the network toward learning the desired latent space mappings, a task-divided decoder is constructed to refine the quality of generated views, and an adaptive discriminator is introduced to improve the adversarial training process. The generality of the proposed methodology is demonstrated on a collection of three diverse tasks: multi-view reconstruction on real hand depth images, view synthesis of real and synthetic faces, and the rotation of rigid objects. The proposed model is shown to exceed state-of-the-art results in each category while simultaneously achieving a reduction in the computational demand required for inference by 30% on average.


title: Optimal Physical Preprocessing for Example-Based Super-Resolution

abstract: In example-based super-resolution, the function relating low-resolution images to their high-resolution counterparts is learned from a given dataset. This data-driven approach to solving the inverse problem of increasing image resolution has been implemented with deep learning algorithms. In this work, we explore modifying the imaging hardware in order to collect more informative low-resolution images for better ultimate high-resolution image reconstruction. We show that this "physical preprocessing" allows for improved image reconstruction with deep learning in Fourier ptychographic microscopy. Fourier ptychographic microscopy is a technique allowing for both high resolution and high field-of-view at the cost of temporal resolution. In Fourier ptychographic microscopy, variable illumination patterns are used to collect multiple low-resolution images. These low-resolution images are then computationally combined to create an image with resolution exceeding that of any single image from the microscope. We use deep learning to jointly optimize the illumination pattern with the post-processing reconstruction algorithm for a given sample type, allowing for single-shot imaging with both high resolution and high field-of-view. We demonstrate, with simulated data, that the joint optimization yields improved image reconstruction as compared with sole optimization of the post-processing reconstruction algorithm.


title: Integrating Risk in Humanoid Robot Control for Applications in the Nuclear Industry

abstract: This paper discuss the integration of risk into a robot control framework for decommissioning applications in the nuclear industry. Our overall objective is to allow the robot to evaluate a risk associated with several methods of completing the same task by combining a set of action sequences. If the environment is known and in the absence of sensing errors each set of actions would successfully complete the task. In this paper, instead of attempting to model the errors associated with each sensing system in order to compute an exact solution, a set of solutions are obtained along with a prescribed risk index. The risk associated with each set of actions can then be compared to possible payoffs or rewards, for instance task completion time or power consumption. This information is then sent to a high level decision planner, for instance a human teleoperator, who can then make a more informed decision regarding the robots actions. In order to illustrate the concept, we introduce three specific risk measures, namely, the collision risk and the risk of toppling and failure risk associated with grasping an object. We demonstrate the results from this foundational study of risk-aware compositional robot autonomy in simulation using NASA's Valkyrie humanoid robot, and the grasping simulator HAPTIX.


title: Irregular convergence of mild solutions of semilinear equations

abstract: We prove that even irregular convergence of semigroups of operators implies similar convergence of mild solutions of the related semi-linear equations with Lipschitz continuous nonlinearity. This result is then applied to three models originating from mathematical biology: shadow systems, diffusions on thin layers, and dynamics of neurotransmitters


title: Exterior square gamma factors for cuspidal representations of $\mathrm{GL}_n$: finite field analogs and level zero representations

abstract: We follow Jacquet-Shalika, Matringe and Cogdell-Matringe to define exterior square gamma factors for irreducible cuspidal representations of $\mathrm{GL}_n(\mathbb{F}_q)$. These exterior square gamma factors are expressed in terms of Bessel functions, or in terms of the regular characters associated with the cuspidal representations. We also relate our exterior square gamma factors over finite fields to those over local fields through level zero representations.


title: Tangent Developable Orbit Space of an Octupole

abstract: The orbit space of an octupole, a traceless symmetric third-rank tensor of $SO(3)$, is shown to be a three-dimensional body with three cusps and two cuspidal edges. It is demonstrated that for a unique choice of orbit space coordinates its boundary turns into a tangent developable surface of degree six which we identify with one in the classification by Chasles and Cayley. The close relation of the octupole's orbit space to the moduli space of a binary sextic form is described and relevant work by Clebsch and Bolza from the nineteenth century is recalled. Upon complexification, the octupole's orbit space yields the geometry of the moduli space of hyperelliptic curves of genus two. Its boundary is found to be a non-orientable tangent developable surface. As preamble, the orbit space of a set of three vectors is shown to be bounded by Cayley's nodal cubic surface and the boundary of the orbit space for a vector plus a quadrupole is found to correspond to Cremona's first class in his classification of quartic ruled surfaces.


title: Self-Assembly of 3-D Structures Using 2-D Folding Tiles

abstract: Self-assembly is a process which is ubiquitous in natural, especially biological systems. It occurs when groups of relatively simple components spontaneously combine to form more complex structures. While such systems have inspired a large amount of research into designing theoretical models of self-assembling systems, and even laboratory-based implementations of them, these artificial models and systems often tend to be lacking in one of the powerful features of natural systems (e.g. the assembly and folding of proteins), namely the dynamic reconfigurability of structures. In this paper, we present a new mathematical model of self-assembly, based on the abstract Tile Assembly Model (aTAM), called the Flexible Tile Assembly Model (FTAM). In the FTAM, the individual components are 2-dimensional square tiles as in the aTAM, but in the FTAM, bonds between the edges of tiles can be flexible, allowing bonds to flex and entire structures to reconfigure, thus allowing 2-dimensional components to form 3-dimensional structures. We analyze the powers and limitations of FTAM systems by (1) demonstrating how flexibility can be controlled to carefully build desired structures, and (2) showing how flexibility can be beneficially harnessed to form structures which can "efficiently" reconfigure into many different configurations and/or greatly varying configurations. We also show that with such power comes a heavy burden in terms of computational complexity of simulation and prediction by proving that, for important properties of FTAM systems, determining their existence is intractable, even for properties which are easily computed for systems in less dynamic models.


title: Enhanced C-V2X Mode-4 Subchannel Selection

abstract: In Release 14, the 3rd Generation Partnership Project (3GPP) introduced Cellular Vehicle--to--Everything (C-V2X) \textit{mode-4} as a novel disruptive technology to support sidelink vehicular communications in out--of--coverage scenarios. C-V2X \textit{mode-4} has been engineered to operate in a distributed manner, wherein vehicles autonomously monitor the received power across sidelink subchannels before selecting one for utilization. By means of such an strategy, vehicles attempt to $(i)$ discover and $(ii)$ reserve subchannels with low interference that may have the potential to maximize the reception likelihood of their own broadcasted safety messages. However, due to dynamicity of the vehicular environment, the subchannels optimality may fluctuate rapidly over time. As a consequence, vehicles are required to make a new selection every few hundreds of milliseconds. In consonance with 3GPP, the subchannel selection phase relies on the linear average of the perceived power intensities on each of the subchannels during a monitoring window. However, in this paper we propose a nonlinear power averaging phase, where the most up--to--date measurements are assigned higher priority via exponential weighting. We show through simulations that the overall system performance can be leveraged in both urban and freeway scenarios. Furthermore, the linear averaging can be considered as a special case of the exponentially-weighted moving average, ensuring backward compatibility with the standardized method. Finally, the 3GPP \textit{mode-4} scheduling approach is described in detail.


title: A new convergent algorithm to approximate potentials from fixed angle scattering data

abstract: We introduce a new iterative method to recover a real compact supported potential of the Schr\"odinger operator from their fixed angle scattering data. The method combines a fixed point argument with a suitable approximation of the resolvent of the Schr\"odinger operator by partial sums associated to its Born series. Convergence is established for potentials with small norm in certain Sobolev spaces. As an application we show some numerical experiments that illustrate this convergence.


title: CTAP: Complementary Temporal Action Proposal Generation

abstract: Temporal action proposal generation is an important task, akin to object proposals, temporal action proposals are intended to capture "clips" or temporal intervals in videos that are likely to contain an action. Previous methods can be divided to two groups: sliding window ranking and actionness score grouping. Sliding windows uniformly cover all segments in videos, but the temporal boundaries are imprecise; grouping based method may have more precise boundaries but it may omit some proposals when the quality of actionness score is low. Based on the complementary characteristics of these two methods, we propose a novel Complementary Temporal Action Proposal (CTAP) generator. Specifically, we apply a Proposal-level Actionness Trustworthiness Estimator (PATE) on the sliding windows proposals to generate the probabilities indicating whether the actions can be correctly detected by actionness scores, the windows with high scores are collected. The collected sliding windows and actionness proposals are then processed by a temporal convolutional neural network for proposal ranking and boundary adjustment. CTAP outperforms state-of-the-art methods on average recall (AR) by a large margin on THUMOS-14 and ActivityNet 1.3 datasets. We further apply CTAP as a proposal generation method in an existing action detector, and show consistent significant improvements.


title: System Level Simulation of Scheduling Schemes for C-V2X Mode-3

abstract: The 3rd Generation Partnership Project (3GPP) introduced Cellular Vehicle-to-Everything (C-V2X) as a novel technology for enabling sidelink vehicular communications. While a distributed scheduling scheme (i.e., C-V2X mode-4) has been standardized by 3GPP in order to support out-of-coverage scenarios, the design of centralized infrastructure-based schemes (i.e., C-V2X mode-3) is open to implementation. In this paper, we propose two C-V2X mode-3 schemes based on bipartite graph matching (BGM), called BGM - Pow and BGM - Dist. Specifically, BGM - Pow allocates subchannels based on the minimization of the overall power perceived by the vehicles whereas BGM - Dist is based on the maximization of the subchannels reusage distance. Through simulations we show that the proposed centralized schemes outperform C-V2X mode-4 as the subchannels can be assigned more efficiently with reduced interference.


title: Decentralized Multi-UAV Routing in the Presence of Disturbances

abstract: We introduce a decentralized and online path planning technique for a network of unmanned aerial vehicles (UAVs) in the presence of weather disturbances. In our problem setting, the group of UAVs are required to collaboratively visit a set of goals scattered in a 2-dimensional area. Each UAV will have to spend energy to reach these goals, but due to unforeseen disturbances, the required energy may vary over time and does not necessarily conform with the initial forecast and/or pre-computed optimal paths. Thus, we are dealing with two fundamental interrelated problems to find a global optimum at each point of time: (1) energy consumption prediction based on disturbances and, hence, online path replanning, and (2) distributed agreement among all UAVs to divide the remaining unvisited goals based on their positions and energy requirements. Our approach consists of four main components: (i) a distributed algorithm that periodically divides the unvisited goals among all the UAVs based on the current energy requirements of the UAVs, (ii) a local (i.e., UAV-level) $\AStar$-based algorithm that computes the {\em desirable} path for each UAV to reach the nodes assigned to it, (iii) a local PID controller that {\em predicts} the inputs to the UAV (i.e., thrust and moments), and (iv) a planner that computes the required energy and the replanning time period. We validate our proposed solution through a rich set of simulations and show that our approach is significantly more efficient than a best-effort algorithm that directs each idle UAV to visit the closest unvisited goal.


title: TDOA-based Localization via Stochastic Gradient Descent Variants

abstract: Source localization is of pivotal importance in several areas such as wireless sensor networks and Internet of Things (IoT), where the location information can be used for a variety of purposes, e.g. surveillance, monitoring, tracking, etc. Time Difference of Arrival (TDOA) is one of the well-known localization approaches where the source broadcasts a signal and a number of receivers record the arriving time of the transmitted signal. By means of computing the time difference from various receivers, the source location can be estimated. On the other hand, in the recent few years novel optimization algorithms have appeared in the literature for $(i)$ processing big data and for $(ii)$ training deep neural networks. Most of these techniques are enhanced variants of the classical stochastic gradient descent (SGD) but with additional features that promote faster convergence. In this paper, we compare the performance of the classical SGD with the novel techniques mentioned above. In addition, we propose an optimization procedure called RMSProp+AF, which is based on RMSProp algorithm but with the advantage of incorporating adaptation of the decaying factor. We show through simulations that all of these techniques---which are commonly used in the machine learning domain---can also be successfully applied to signal processing problems and are capable of attaining improved convergence and stability. Finally, it is also shown through simulations that the proposed method can outperform other competing approaches as both its convergence and stability are superior.


title: Fast Modular Subset Sum using Linear Sketching

abstract: Given n positive integers, the Modular Subset Sum problem asks if a subset adds up to a given target t modulo a given integer m. This is a natural generalization of the Subset Sum problem (where m=+\infty) with ties to additive combinatorics and cryptography. Recently, in [Bringmann, SODA'17] and [Koiliaris and Xu, SODA'17], efficient algorithms have been developed for the non-modular case, running in near-linear pseudo-polynomial time. For the modular case, however, the best known algorithm by Koiliaris and Xu [Koiliaris and Xu, SODA'17] runs in time O~(m^{5/4}). In this paper, we present an algorithm running in time O~(m), which matches a recent conditional lower bound of [Abboud et al.'17] based on the Strong Exponential Time Hypothesis. Interestingly, in contrast to most previous results on Subset Sum, our algorithm does not use the Fast Fourier Transform. Instead, it is able to simulate the "textbook" Dynamic Programming algorithm much faster, using ideas from linear sketching. This is one of the first applications of sketching-based techniques to obtain fast algorithms for combinatorial problems in an offline setting.


title: The geometry and combinatorics of discrete line segment hypergraphs

abstract: An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $\chi(H)$ and covering number $\tau(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $\tau(H)$ is at most $(r - 1)\nu(H)$, where $\nu(H)$ denotes the matching number of $H$. We prove our conjecture in the case where $\nu(H) = 1$, and provide improved (in fact, optimal) bounds on $\tau(H)$ for $r \le 5$. We also provide sharp bounds on the chromatic number $\chi(H)$ in terms of $r$, and use them to prove two fractional versions of our conjecture.


title: Excess electron screening of remote donors and mobility in modern GaAs/AlGaAs herostructures

abstract: In modern GaAs/Al$_x$Ga$_{1-x}$As heterostructures with record high mobilities, a two-dimensional electron gas (2DEG) in a quantum well is provided by two remote donor $\delta$-layers placed on both sides of the well. Each $\delta$-layer is located within a narrow GaAs layer, flanked by narrow AlAs layers which capture excess electrons from donors but leave each of them localized in a compact dipole atom with a donor. Still excess electrons can hop between host donors to minimize their Coulomb energy. As a result they screen the random potential of donors dramatically. We numerically model the pseudoground state of excess electrons at a fraction $f$ of filled donors and find both the mobility and the quantum mobility limited by scattering on remote donors as universal functions of $f$. We repeat our simulations for devices with additional disorder such as interface roughness of the doping layers, and find the quantum mobility is consistent with measured values. Thus, in order to increase the quantum mobility this additional disorder should be minimized.


title: Unconventional field-effect transistor composed of electrons floating on liquid helium

abstract: We report on an unconventional $macroscopic$ field effect transistor composed of electrons floating above the surface of superfluid helium. With this device unique transport regimes are realized in which the charge density of the electron layer can be controlled in a manner not possible in other material systems. In particular, we are able to manipulate the collective behavior of the electrons to produce a highly non-uniform, but precisely controlled, charge density to reveal a negative source-drain current. This behavior can be understood by considering the propagation of damped charge oscillations along a transmission line formed by the inhomogeneous sheet of two-dimensional electrons above, and between, the source and drain electrodes of the transistor.


title: Network-Assisted Resource Allocation with Quality and Conflict Constraints for V2V Communications

abstract: The 3rd Generation Partnership Project (3GPP) has recently established in Rel. 14 a network-assisted resource allocation scheme for vehicular broadcast communications. Such novel paradigm is known as vehicle--to--vehicle (V2V) \textit{mode-3} and consists in eNodeBs engaging only in the distribution of sidelink subchannels among vehicles in coverage. Thereupon, without further intervention of the former, vehicles will broadcast their respective signals directly to their counterparts. Because the allotment of subchannels takes place intermittently to reduce signaling, it must primarily be conflict-free in order not to jeopardize the reception of signals. We have identified four pivotal types of allocation requirements that must be guaranteed: one quality of service (QoS) requirement and three conflict conditions which must be precluded in order to preserve reception reliability. The underlying problem is formulated as a maximization of the system sum-capacity with four types of constraints that must be enforced. In addition, we propose a three-stage suboptimal approach that is cast as multiple independent knapsack problems (MIKPs). We compare the two approaches through simulations and show that the latter formulation can attain acceptable performance at lesser complexity.


title: Impact of Quantized Side Information on Subchannel Scheduling for Cellular V2X

abstract: In Release 14, 3GPP completed a first version of cellular vehicle--to--everything (C-V2X) communications wherein two modalities were introduced. One of these schemes, known as \textit{mode-3}, requires support from eNodeBs in order to realize subchannel scheduling. This paper discusses a graph theoretical approach for semi-persistent scheduling (SPS) in \textit{mode-3} harnessing a sensing mechanism whereby vehicles can monitor signal--to--interference--plus--noise ratio (SINR) levels across sidelink subchannels. eNodeBs request such measurements from vehicles and utilize them to accomplish suitable subchannel assignments. However, since SINR values---herein also referred to as side information---span a wide range, quantization is required. We conclude that 3 bits per vehicle every 100 ms can provide sufficient granularity to maintain appropriate performance without severe degradation. Furthermore, the proposed algorithm is compared against pseudo-random and greedy SPS algorithms.


title: Hierarchical Growth is Necessary and (Sometimes) Sufficient to Self-Assemble Discrete Self-Similar Fractals

abstract: In this paper, we prove that in the abstract Tile Assembly Model (aTAM), an accretion-based model which only allows for a single tile to attach to a growing assembly at each step, there are no tile assembly systems capable of self-assembling the discrete self-similar fractals known as the "H" and "U" fractals. We then show that in a related model which allows for hierarchical self-assembly, the 2-Handed Assembly Model (2HAM), there does exist a tile assembly systems which self-assembles the "U" fractal and conjecture that the same holds for the "H" fractal. This is the first example of discrete self similar fractals which self-assemble in the 2HAM but not in the aTAM, providing a direct comparison of the models and greater understanding of the power of hierarchical assembly.


title: A completion theorem for fusion systems

abstract: We show that the twisted K-theory of the classifying space of a p-local finite group is isomorphic to the completion of the Grothendieck group of twisted representations of the fusion system with respect to the augmentation ideal of the representation ring of the fusion system. We use this result to compute the K-theory of the Ruiz-Viruel exotic 7-local finite groups.


title: DP-GP-LVM: A Bayesian Non-Parametric Model for Learning Multivariate Dependency Structures

abstract: We present a non-parametric Bayesian latent variable model capable of learning dependency structures across dimensions in a multivariate setting. Our approach is based on flexible Gaussian process priors for the generative mappings and interchangeable Dirichlet process priors to learn the structure. The introduction of the Dirichlet process as a specific structural prior allows our model to circumvent issues associated with previous Gaussian process latent variable models. Inference is performed by deriving an efficient variational bound on the marginal log-likelihood on the model.


title: Optimal Strategies for Matching and Retrieval Problems by Comparing Covariates

abstract: In many retrieval problems, where we must retrieve one or more entries from a gallery in response to a probe, it is common practice to learn to do by directly comparing the probe and gallery entries to one another. In many situations the gallery and probe have common covariates -- external variables that are common to both. In principle it is possible to perform the retrieval based merely on these covariates. The process, however, becomes gated by our ability to recognize the covariates for the probe and gallery entries correctly. In this paper we analyze optimal strategies for retrieval based only on matching covariates, when the recognition of the covariates is itself inaccurate. We investigate multiple problems: recovering one item from a gallery of $N$ entries, matching pairs of instances, and retrieval from large collections. We verify our analytical formulae through experiments to verify their correctness in practical settings.


title: Modeling, Analysis, and Hard Real-time Scheduling of Adaptive Streaming Applications

abstract: In real-time systems, the application's behavior has to be predictable at compile-time to guarantee timing constraints. However, modern streaming applications which exhibit adaptive behavior due to mode switching at run-time, may degrade system predictability due to unknown behavior of the application during mode transitions. Therefore, proper temporal analysis during mode transitions is imperative to preserve system predictability. To this end, in this paper, we initially introduce Mode Aware Data Flow (MADF) which is our new predictable Model of Computation (MoC) to efficiently capture the behavior of adaptive streaming applications. Then, as an important part of the operational semantics of MADF, we propose the Maximum-Overlap Offset (MOO) which is our novel protocol for mode transitions. The main advantage of this transition protocol is that, in contrast to self-timed transition protocols, it avoids timing interference between modes upon mode transitions. As a result, any mode transition can be analyzed independently from the mode transitions that occurred in the past. Based on this transition protocol, we propose a hard real-time analysis as well to guarantee timing constraints by avoiding processor overloading during mode transitions. Therefore, using this protocol, we can derive a lower bound and an upper bound on the earliest starting time of the tasks in the new mode during mode transitions in such a way that hard real-time constraints are respected.


title: Disjoint Mapping Network for Cross-modal Matching of Voices and Faces

abstract: We propose a novel framework, called Disjoint Mapping Network (DIMNet), for cross-modal biometric matching, in particular of voices and faces. Different from the existing methods, DIMNet does not explicitly learn the joint relationship between the modalities. Instead, DIMNet learns a shared representation for different modalities by mapping them individually to their common covariates. These shared representations can then be used to find the correspondences between the modalities. We show empirically that DIMNet is able to achieve better performance than other current methods, with the additional benefits of being conceptually simpler and less data-intensive.


title: A game-theoretic approach to timeline-based planning with uncertainty

abstract: In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temporal constraints. A distinguishing feature of timeline-based planning systems is the ability to integrate planning with execution by synthesising control strategies for flexible plans. However, flexible plans can only represent temporal uncertainty, while more complex forms of nondeterminism are needed to deal with a wider range of realistic problems. In this paper, we propose a novel game-theoretic approach to timeline-based planning problems, generalising the state of the art while uniformly handling temporal uncertainty and nondeterminism. We define a general concept of timeline-based game and we show that the notion of winning strategy for these games is strictly more general than that of control strategy for dynamically controllable flexible plans. Moreover, we show that the problem of establishing the existence of such winning strategies is decidable using a doubly exponential amount of space.


title: Cultivating the Next Generation: Outcomes from a Learning Assistant Program in Engineering

abstract: The LA Program at Oregon State University began in 2014 in one department as an effort to provide support for the implementation of active learning in large enrollment Biology courses. Since its start, the program has spread to include courses in five out of seven departments in the College of Science and four out of six departments in the College of Engineering. At OSU, we identified specific course logistics and educational goals in the College of Engineering and developed an adapted engineering LA Program, which has a different recruiting procedure and pedagogy professional development using a workshop model rather than requiring a pedagogy course. In this paper, we study characteristics and rationale of the adapted Engineering LA Program and assessments of the desired learning outcomes from this program. We collected survey data and qualitative data from a cohort of 50 engineering LAs through an academic term, including program development documentation, observation notes of 26 teaching sessions, weekly meetings, and training sessions, 15 in person interviews with LAs and instructors, 52 responses of LA online weekly reflections, and 13 responses of LA online surveys. Preliminary analysis shows that with LAs, the LA supported classes were better staffed and students received more immediate and strategic feedback. LAs recognize that the experience helped them solidify content knowledge, understand other perspectives, improve public speaking, better communicate with people, develop teamwork skills, and learn to deal with complex social situations. LAs also recognize how these skills transfer into professional engineering practice. Implications for engineering educators are discussed.


title: An Approximate Message Passing Framework for Side Information

abstract: Approximate message passing (AMP) methods have gained recent traction in sparse signal recovery. Additional information about the signal, or \emph{side information} (SI), is commonly available and can aid in efficient signal recovery. This work presents an AMP-based framework that exploits SI and can be readily implemented in various settings for which the SI results in separable distributions. To illustrate the simplicity and applicability of our approach, this framework is applied to a Bernoulli-Gaussian (BG) model and a time-varying birth-death-drift (BDD) signal model, motivated by applications in channel estimation. We develop a suite of algorithms, called AMP-SI, and derive denoisers for the BDD and BG models. Numerical evidence demonstrating the advantages of our approach are presented alongside empirical evidence of the accuracy of a proposed state evolution.


title: Study of the molecular gas towards the N11 region in the Large Magellanic Cloud

abstract: We study three subregions in the HII region N11 which is located at the northeast side of the Large Magellanic Cloud (LMC). We used $^{12}$CO and $^{13}$CO J=3--2 data observed with the Atacama Submillimeter Telescope Experiment (ASTE) with an angular and spectral resolution of 22$^{\prime\prime}$ and 0.11 km s$^{-1}$ respectively. From the $^{12}$CO J=3--2 and $^{13}$CO J=3--2 integrated maps we estimated, assuming local thermodynamic equilibrium (LTE), masses in about $10^4$ M$_\odot$ for the molecular clouds associated with each subregion. Additionally, from the mentioned maps we study the $^{12}$CO /$^{13}$CO integrated ratios for each subregion, obtaining values between 8 and 10.


title: Proximity-Induced Superconductivity at Non-Helical Topological Insulator Interfaces

abstract: We study how non-helical spin textures at the boundary between a topological insulator (TI) and a superconductor (SC) affect the proximity-induced superconductivity of the TI interface state. We consider TIs coupled to both spin-singlet and spin-triplet SCs, and show that for the spin-triplet parent SCs the resulting order parameter induced onto the interface state sensitively depends on the symmetries which are broken at the TI-SC boundary. For chiral spin-triplet parent SCs, we find that nodal proximity-induced superconductivity emerges when there is broken twofold rotational symmetry which forces the spins of the non-helical topological states to tilt away from the interface plane. We furthermore show that the Andreev conductance of lateral heterostructures joining TI-vacuum and TI-SC interfaces yields experimental signatures of the reduced symmetries of the interface states.


title: An Automated Algorithm for Identifying and Tracking Transverse Waves in Solar Images

abstract: Recent instrumentation has demonstrated that the solar atmosphere supports omnipresent transverse waves, which could play a key role in energizing the solar corona. Large-scale studies are required in order to build up an understanding of the general properties of these transverse waves. To help facilitate this, we present an automated algorithm for identifying and tracking features in solar images and extracting the wave properties of any observed transverse oscillations. We test and calibrate our algorithm using a set of synthetic data which includes noise and rotational effects. The results indicate an accuracy of 1-2% for displacement amplitudes and 4-10% for wave periods and velocity amplitudes. We also apply the algorithm to data from the Atmospheric Imaging Assembly (AIA) on board the $\textit{Solar Dynamics Observatory}$ (SDO) and find good agreement with previous studies. Of note, we find that 35-41% of the observed plumes exhibit multiple wave signatures, which indicates either the superposition of waves or multiple independent wave packets observed at different times within a single structure. The automated methods described in this paper represent a significant improvement on the speed and quality of direct measurements of transverse waves within the solar atmosphere. This algorithm unlocks a wide range of statistical studies that were previously impractical.


title: The Quasinormal Modes of Quasinormal Modes

abstract: Modifying black hole horizon can drastically change the spectrum of quasinormal modes. But if the modification is close enough to the horizon the ringdown signal remains almost unaltered, and well described by the quasinormal modes of the original GR solution. I show how the original quasinormal modes emerge in the sum over the new modes.


title: Time-dependent P\'olya urn

abstract: We consider a time-dependent version of a P\'olya urn containing black and white balls. At each time $n$ a ball is drawn from the urn at random and replaced in the urn along with $\sigma_n$ additional balls of the same colour. The proportion of white balls converges almost surely to a random limit $\Theta$, and $\mathcal{D}=\{\Theta\in\{0,1\}\}$ denotes the event when one of the colours dominates. The phase transition, in terms of the sequence $(\sigma_n)$, between the regimes ${\mathbb P}(\mathcal{D})=1$ and ${\mathbb P}(\mathcal{D})<1$ was obtained by R. Pemantle in 1990. We describe the phase transition between the cases ${\mathbb P}(\mathcal{D})=0$ and ${\mathbb P}(\mathcal{D})>0$. Further, we study the stronger monopoly event $\mathcal{M}$ when one of the colours eventually stops reappearing, and analyse the phase transition between the regimes ${\mathbb P}(\mathcal{M})=0$, ${\mathbb P}(\mathcal{M})\in (0,1)$, and ${\mathbb P}(\mathcal{M})=1$.


title: Disordered fermionic quantum critical points

abstract: We study the effect of quenched disorder on the semimetal-superconductor quantum phase transition in a model of two-dimensional Dirac semimetal with $N$ flavors of two-component Dirac fermions, using perturbative renormalization group methods at one-loop order in a double epsilon expansion. For $N\geq 2$ we find that the Harris-stable clean critical behavior gives way, past a certain critical disorder strength, to a finite-disorder critical point characterized by non-Gaussian critical exponents, a noninteger dynamic critical exponent $z>1$, and a finite Yukawa coupling between Dirac fermions and bosonic order parameter fluctuations. For $N\geq 7$ the disordered quantum critical point is described by a renormalization group fixed point of stable-focus type and exhibits oscillatory corrections to scaling.


title: Signatures of Exciton Delocalization and Exciton-Exciton Annihilation in Fluorescence-Detected Two-Dimensional Coherent Spectroscopy

abstract: We present calculations of the fluorescence-detected coherent two-dimensional (F-2DES) spectra of a molecular heterodimer. We compare how the F-2DES technique differs from the standard coherently detected two-dimensional (2DES) spectroscopy in measuring exciton delocalization. We analyze which processes contribute to cross-peaks in the zero-waiting-time spectra obtained by the two methods. Based strictly on time-dependent perturbation theory, we study how in both methods varying degree of cancellation between perturbative contributions gives rise to cross-peaks, and identify exciton annihilation and exciton relaxation contributions to the cross-peak in the zero-waiting-time F-2DES. We propose that time-gated fluorescence detection can be used to isolate the annihilation contribution to F-2DES both to retrieve information equivalent to 2DES spectroscopy and to study annihilation contribution itself.


title: On a generalized canonical bundle formula and generalized adjunction

abstract: In this note, we extend the theories of the canonical bundle formula and adjunction to the case of generalized pairs. As an application, we study a particular case of a conjecture by Prokhorov and Shokurov.


title: Modeling and Analysis of D2D Millimeter-Wave Networks with Poisson Cluster Processes

abstract: This paper investigates the performance of millimeter wave (mmWave) communications in clustered device-to-device (D2D) networks. The locations of D2D transceivers are modeled as a Poisson Cluster Process (PCP). In each cluster, devices are equipped with multiple antennas, and the active D2D transmitter (D2D-Tx) utilizes mmWave to serve one of the proximate D2D receivers (D2D-Rxs). Specifically, we introduce three user association strategies: 1) Uniformly distributed D2D-Tx model; 2) Nearest D2D-Tx model; 3) Closest line-of-site (LOS) D2D-Tx model. To characterize the performance of the considered scenarios, we derive new analytical expressions for the coverage probability and area spectral efficiency (ASE). Additionally, in order to efficiently illustrating the general trends of our system, a closed-form lower bound for the special case interfered by intra-cluster LOS links is derived. We provide Monte Carlo simulations to corroborate the theoretical results and show that: 1) The coverage probability is mainly affected by the intra-cluster interference with LOS links; 2) There exists an optimum number of simultaneously active D2D-Txs in each cluster for maximizing ASE; and 3) Closest LOS model outperforms the other two scenarios but at the cost of extra system overhead.


title: Cavity Attenuators for Superconducting Qubits

abstract: Dephasing induced by residual thermal photons in the readout resonator is a leading factor limiting the coherence times of qubits in the circuit QED architecture. This residual thermal population, of the order of $10^{-1}$--$10^{-3}$, is suspected to arise from noise impinging on the resonator from its input and output ports. To address this problem, we designed and tested a new type of band-pass microwave attenuator that consists of a dissipative cavity well thermalized to the mixing chamber stage of a dilution refrigerator. By adding such a cavity attenuator inline with a 3D superconducting cavity housing a transmon qubit, we have reproducibly measured increased qubit coherence times. At base temperature, through Hahn echo experiment, we measured $T_{2\mathrm{e}}/2T_1 = 1.0\,({+0.0}/{-0.1})$ for two qubits over multiple cooldowns. Through noise-induced dephasing measurement, we obtained an upper bound $2\times 10^{-4}$ on the residual photon population in the fundamental mode of the readout cavity, which to our knowledge is the lowest value reported so far. These results validate an effective method for protecting qubits against photon noise, which can be developed into a standard technology for quantum circuit experiments.


title: Good-$\lambda$ and Muckenhoupt-Wheeden type bounds in quasilinear measure datum problems, with applications

abstract: Weighted good-$\lambda$ type inequalities and Muckenhoupt-Wheeden type bounds are obtained for gradients of solutions to a class of quasilinear elliptic equations with measure data. Such results are obtained globally over sufficiently flat domains in $\mathbb{R}^n$ in the sense of Reifenberg. The principal operator here is modeled after the $p$-Laplacian, where for the first time singular case $\frac{3n-2}{2n-1}<p\leq 2-\frac{1}{n}$ is considered. Those bounds lead to useful compactness criteria for solution sets of quasilinear elliptic equations with measure data. As an application, sharp existence results and sharp bounds on the size of removable singular sets are deduced for a quasilinear Riccati type equation having a gradient source term with linear or super-linear power growth.


title: A New Millimeter Wave MIMO System for 5G Networks

abstract: Millimeter Wave (mmWave) band provides a large spectrum to meet the high-demand capacity by the 5th generation (5G) wireless networks. However, to fully exploit the available spectrum, obstacles such as high path loss, channel sparsity, and hardware complexity should be overcome. To this end, the present paper aims to design a new multiple-input multiple-output (MIMO) system using lens-based multi-beam reconfigurable antennas. The proposed MIMO system uses complete lens at the transmitter and incomplete lens at the receiver. To reduce hardware complexity, we utilize an optimal beam selection technique. Our analysis demonstrates that the proposed MIMO system along with the optimal beam selection technique increases the average signal-to-noise ratio (SNR). Also, simulations show that the system achieves full-diversity gain.


title: Cache-enabled HetNets With Millimeter Wave Small Cells

abstract: In this paper, we consider a novel cache-enabled heterogeneous network (HetNet), where macro base stations (BSs) with traditional sub-6 GHz are overlaid by dense millimeter wave (mmWave) pico BSs. These two-tier BSs, which are modeled as two independent homogeneous Poisson Point Processes, cache multimedia contents following the popularity rank. High-capacity backhauls are utilized between macro BSs and the core server. In contrast to the simplified flat-top antenna pattern analyzed in previous articles, we employ an actual antenna model with the uniform linear array at all mmWave BSs. To evaluate the performance of our system, we introduce two distinctive user association strategies: 1) maximum received power (Max-RP) scheme; and 2) maximum rate (Max-Rate) scheme. With the aid of these two schemes, we deduce new theoretical equations for success probabilities and area spectral efficiencies (ASEs). Considering a special case with practical path loss laws, several closed-form expressions for coverage probabilities are derived to gain several insights. Monte Carlo simulations are presented to verify the analytical conclusions. We show that: 1) the proposed HetNet is an interference-limited system and it outperforms the traditional HetNets in terms of the success probability; 2) there exists an optimal pre-decided rate threshold that contributes to the maximum ASE; and 3) Max-Rate achieves higher success probability and ASE than Max-RP but it needs the extra information of the interference effect.


title: Dimension theoretical properties of generalized Baker's transformations

abstract: We show that for generalized Baker's transformations there is a parameter domain where we have an absolutely continuous ergodic measure and in direct neighborhood there is a parameter domain where not even the variational principle for Hausdorff dimension holds.


title: Novel Method for Multi-Dimensional Mapping of Higher Order Modulations for BICM-ID Over Rayleigh Fading Channels

abstract: Multi-dimensional (MD) mapping offers more flexibility in mapping design for bit-interleaved coded modulation with iterative decoding (BICM-ID) and potentially improves the bandwidth efficiency. However, for higher order signal constellations, finding suitable MD mappings is a very complicated task due to the large number of possible mappings. In this paper, a novel mapping method is introduced to construct efficient MD mappings to improve the error performance of BICM-ID over Rayleigh fading channels. We propose to break the MD mapping design problem into four distinct $2$-D mapping functions. The $2$-D mappings are designed such that the resulting MD mapping improves the BICM-ID error performance at low signal to noise ratios (SNRs). We also develop cost functions that can be optimized to improve the error performance at high SNRs. The proposed mapping method is very simple compared to well-known mapping methods, and it can achieve suitable MD mappings for different modulations including higher order modulations for BICM-ID. Simulation results show that our mappings significantly outperform the previously known mappings at a target bit error rate (BER) of $10^{-6}$. Our mappings also offer a lower error-floor compared to their well-known counterparts.


title: A feature agnostic approach for glaucoma detection in OCT volumes

abstract: Optical coherence tomography (OCT) based measurements of retinal layer thickness, such as the retinal nerve fibre layer (RNFL) and the ganglion cell with inner plexiform layer (GCIPL) are commonly used for the diagnosis and monitoring of glaucoma. Previously, machine learning techniques have utilized segmentation-based imaging features such as the peripapillary RNFL thickness and the cup-to-disc ratio. Here, we propose a deep learning technique that classifies eyes as healthy or glaucomatous directly from raw, unsegmented OCT volumes of the optic nerve head (ONH) using a 3D Convolutional Neural Network (CNN). We compared the accuracy of this technique with various feature-based machine learning algorithms and demonstrated the superiority of the proposed deep learning based method. Logistic regression was found to be the best performing classical machine learning technique with an AUC of 0.89. In direct comparison, the deep learning approach achieved a substantially higher AUC of 0.94 with the additional advantage of providing insight into which regions of an OCT volume are important for glaucoma detection. Computing Class Activation Maps (CAM), we found that the CNN identified neuroretinal rim and optic disc cupping as well as the lamina cribrosa (LC) and its surrounding areas as the regions significantly associated with the glaucoma classification. These regions anatomically correspond to the well established and commonly used clinical markers for glaucoma diagnosis such as increased cup volume, cup diameter, and neuroretinal rim thinning at the superior and inferior segments.


title: CADDY Underwater Stereo-Vision Dataset for Human-Robot Interaction (HRI) in the Context of Diver Activities

abstract: In this article we present a novel underwater dataset collected from several field trials within the EU FP7 project "Cognitive autonomous diving buddy (CADDY)", where an Autonomous Underwater Vehicle (AUV) was used to interact with divers and monitor their activities. To our knowledge, this is one of the first efforts to collect a large dataset in underwater environments targeting object classification, segmentation and human pose estimation tasks. The first part of the dataset contains stereo camera recordings (~10K) of divers performing hand gestures to communicate and interact with an AUV in different environmental conditions. These gestures samples serve to test the robustness of object detection and classification algorithms against underwater image distortions i.e., color attenuation and light backscatter. The second part includes stereo footage (~12.7K) of divers free-swimming in front of the AUV, along with synchronized IMUs measurements located throughout the diver's suit (DiverNet) which serve as ground-truth for human pose and tracking methods. In both cases, these rectified images allow investigation of 3D representation and reasoning pipelines from low-texture targets commonly present in underwater scenarios. In this paper we describe our recording platform, sensor calibration procedure plus the data format and the utilities provided to use the dataset.


title: Dimension theory for linear solenoids

abstract: We develop the dimension theory for a class of linear solenoids, which have a "fractal" attractor. We will find the dimension of the attractor, proof formulas for the dimension of ergodic measures on this attractor and discuss the question whether there exists a measure of full dimension.


title: Super Poincar'e inequality for a dynamic model for the two-parameter Dirichlet process

abstract: In this paper, we establish the super Poincar\'e inequality for the two-parameter Dirichlet process when the partition number of the state space is finite. Furthermore, if the partition number is infinite, the super Poincar'e inequality doesn't hold. To overcome the difficulty caused by the degenerency of the diffusion coefficient on the boundary of the domain, localization method and perturbation argument in [14] are effective.


title: Lifting vector bundles to Witt vector bundles

abstract: Let $X$ be a scheme. Let $r \geq 2$ be an integer. Denote by $W_r(X)$ the scheme of Witt vectors of length $r$, built out of $X$. We are concerned with the question of extending (=lifting) vector bundles on $X$, to vector bundles on $W_r(X)$-promoting a systematic use of Witt modules and Witt vector bundles. To begin with, we investigate two elementary but significant cases, in which the answer to this question is positive: line bundles, and the tautological vector bundle of a projective bundle over an affine base. We then offer a simple (re)formulation of classical results in deformation theory of smooth varieties over a field $k$ of characteristic $p>0$, and extend them to reduced $k$-schemes. Some of these results were recently recovered, in another form, by Stefan Schr\"oer. As an application, we prove that the tautological vector bundle of the Grassmannian $Gr_{\mathbb{F}_p}(m,n)$ does not extend to $W_2(Gr_{\mathbb{F}_p}(m,n))$, if $2 \leq m \leq n-2$. To conclude, we establish a connection to the work of Zdanowicz, on non-liftability of some projective bundles.


title: Large deviations and continuity estimates for the derivative of a random model of $\log |\zeta|$ on the critical line

abstract: In this paper, we study the random field \begin{equation*} X(h) \circeq \sum_{p \leq T} \frac{\text{Re}(U_p \, p^{-i h})}{p^{1/2}}, \quad h\in [0,1], \end{equation*} where $(U_p, \, p ~\text{primes})$ is an i.i.d. sequence of uniform random variables on the unit circle in $\mathbb{C}$. Harper (2013) showed that $(X(h), \, h\in (0,1))$ is a good model for the large values of $(\log |\zeta(\frac{1}{2} + i (T + h))|, \, h\in [0,1])$ when $T$ is large, if we assume the Riemann hypothesis. The asymptotics of the maximum were found in Arguin, Belius & Harper (2017) up to the second order, but the tightness of the recentered maximum is still an open problem. As a first step, we provide large deviation estimates and continuity estimates for the field's derivative $X'(h)$. The main result shows that, with probability arbitrarily close to $1$, \begin{equation*} \max_{h\in [0,1]} X(h) - \max_{h\in \mathcal{S}} X(h) = O(1), \end{equation*} where $\mathcal{S}$ a discrete set containing $O(\log T \sqrt{\log \log T})$ points.


title: Hybrid Temporal Situation Calculus

abstract: The ability to model continuous change in Reiter's temporal situation calculus action theories has attracted a lot of interest. In this paper, we propose a new development of his approach, which is directly inspired by hybrid systems in control theory. Specifically, while keeping the foundations of Reiter's axiomatization, we propose an elegant extension of his approach by adding a time argument to all fluents that represent continuous change. Thereby, we insure that change can happen not only because of actions, but also due to the passage of time. We present a systematic methodology to derive, from simple premises, a new group of axioms which specify how continuous fluents change over time within a situation. We study regression for our new temporal basic action theories and demonstrate what reasoning problems can be solved. Finally, we formally show that our temporal basic action theories indeed capture hybrid automata.


title: Predictability of the imitative learning trajectories

abstract: The fitness landscape metaphor plays a central role on the modeling of optimizing principles in many research fields, ranging from evolutionary biology, where it was first introduced, to management research. Here we consider the ensemble of trajectories of the imitative learning search, in which agents exchange information on their fitness and imitate the fittest agent in the population aiming at reaching the global maximum of the fitness landscape. We assess the degree to which the starting and ending points determine the learning trajectories using two measures, namely, the predictability that yields the probability that two randomly chosen trajectories are the same, and the mean path divergence that gauges the dissimilarity between two learning trajectories. We find that the predictability is greater in rugged landscapes than in smooth ones. The mean path divergence, however, is strongly affected by the search parameters -- population size and imitation propensity -- that obliterate the influence of the underlying landscape. The learning trajectories become more deterministic, in the sense that there are fewer distinct trajectories and those trajectories are more similar to each other, with increasing population size and imitation propensity. In addition, we find that the roughness of the learning trajectories, which measures the deviation from additivity of the fitness function, is always greater than the roughness estimated over the entire fitness landscape.


title: Avoiding Latent Variable Collapse With Generative Skip Models

abstract: Variational autoencoders learn distributions of high-dimensional data. They model data with a deep latent-variable model and then fit the model by maximizing a lower bound of the log marginal likelihood. VAEs can capture complex distributions, but they can also suffer from an issue known as "latent variable collapse," especially if the likelihood model is powerful. Specifically, the lower bound involves an approximate posterior of the latent variables; this posterior "collapses" when it is set equal to the prior, i.e., when the approximate posterior is independent of the data. While VAEs learn good generative models, latent variable collapse prevents them from learning useful representations. In this paper, we propose a simple new way to avoid latent variable collapse by including skip connections in our generative model; these connections enforce strong links between the latent variables and the likelihood function. We study generative skip models both theoretically and empirically. Theoretically, we prove that skip models increase the mutual information between the observations and the inferred latent variables. Empirically, we study images (MNIST and Omniglot) and text (Yahoo). Compared to existing VAE architectures, we show that generative skip models maintain similar predictive performance but lead to less collapse and provide more meaningful representations of the data.


title: Stability and triviality of the transverse invariant from Khovanov homology

abstract: We explore properties of braids such as their fractional Dehn twist coefficients, right-veeringness, and quasipositivity, in relation to the transverse invariant from Khovanov homology defined by Plamenevskaya for their closures, which are naturally transverse links in the standard contact $3$-sphere. For any $3$-braid $\beta$, we show that the transverse invariant of its closure does not vanish whenever the fractional Dehn twist coefficient of $\beta$ is strictly greater than one. We show that Plamenevskaya's transverse invariant is stable under adding full twists on $n$ or fewer strands to any $n$-braid, and use this to detect families of braids that are not quasipositive. Motivated by the question of understanding the relationship between the smooth isotopy class of a knot and its transverse isotopy class, we also exhibit an infinite family of pretzel knots for which the transverse invariant vanishes for every transverse representative, and conclude that these knots are not quasipositive.


title: Adaptive modeling of urban dynamics during ephemeral event via mobile phone traces

abstract: The communication devices have produced digital traces for their users either voluntarily or not. This type of collective data can give powerful indications that are affecting the urban systems design and development. In this study mobile phone data during Armada event is investigated. Analyzing mobile phone traces gives conceptual views about individuals densities and their mobility patterns in the urban city. The geo-visualization and statistical techniques have been used for understanding human mobility collectively and individually. The undertaken substantial parameters are inter-event times, travel distances (displacements) and radius of gyration. They have been analyzed and simulated using computing platform by integrating various applications for huge database management, visualization, analysis, and simulation. Accordingly, the general population pattern law has been extracted. The study contribution outcomes have revealed both the individuals densities in static perspective and individuals mobility in dynamic perspective with multi levels of abstraction (macroscopic, mesoscopic, microscopic).


title: Convergent filtered scheme for the Monge-Amp\`ere Equation

abstract: We propose an extension to our monotone and convergent method for the Monge-Amp\`{e}re equation in dimension $d \geq2$, that incorporates the idea of filtered schemes. The method combines our original monotone operator with a more accurate non-monotone modification, using an appropriately chosen filter. This results in a remarkable improvement of accuracy, but without sacrificing the convergence to the unique viscosity solution.


title: Robot human interface for housekepeer with wireless capabilities

abstract: This paper presents the design and implementation of a Human Interface for a housekeeper robot. It bases on the idea of making the robot understand the human needs without making the human go through the details of robots work, for example, the way that the robot implements the work or the method that the robot uses to plan the path in order to reach the work area. The interface commands based on idioms of the natural human language and designed in a manner that the user gives the robot several commands with their execution date/time.