title: A Regularity Criterion for Solutions to the 3D NSE in `Dynamically Restricted' Local Morrey Spaces

abstract: It is shown that a local-in-time strong solution $u$ to the 3D Navier-Stokes equations remains regular on an interval $(0,T)$ provided a smallness $\epsilon_0$-condition on $u$ in a lower time-restricted local Morrey space is stipulated; more precisely, $$\sup_{t\in(0,T)} \ \sup_{x \in \mathbb{R}^3, \ \eta(t) \le r \le 1} \ \frac{1}{r^\alpha} \int_{B_r(x)} |u(y,t)|^p dy \le \epsilon_0$$ where $\eta$ is a dynamic dissipation scale consistent with the turbulence phenomenology and $\alpha$ and $p$ are suitable parameters. Such regularity criterion guarantees the volumetric sparseness of local spatial structure of intense vorticity components, preventing the formation of the finite-time blow up at $T$ under the framework of $Z_\alpha$-sparseness classes introduced in [Bradshaw, Farhat and Grujic, ARMA, 2018].


title: Discretionary stopping of stochastic differential equations with generalised drift

abstract: We consider the problem of optimally stopping a general one-dimensional stochastic differential equation (SDE) with generalised drift over an infinite time horizon. First, we derive a complete characterisation of the solution to this problem in terms of variational inequalities. In particular, we prove that the problem's value function is the difference of two convex functions and satisfies an appropriate variational inequality in the sense of distributions. We also establish a verification theorem that is the strongest one possible because it involves only the optimal stopping problem's data. Next, we derive the complete explicit solution to the problem that arises when the state process is a skew geometric Brownian motion and the reward function is the one of a financial call option. In this case, we show that the optimal stopping strategy can take several qualitatively different forms, depending on parameter values. Furthermore, the explicit solution to this special case reveals that the so-called "principle of smooth fit" does not hold in general for this type of optimal stopping problems in standard senses that this can be formulated.


title: Spinning particle orbits around a black hole in an expanding background

abstract: We investigate analytically and numerically the orbits of spinning particles around black holes in the post Newtonian limit and in the presence of cosmic expansion. We show that orbits that are circular in the absence of spin, get deformed when the orbiting particle has spin. We show that the origin of this deformation is twofold: a. the background expansion rate which induces an attractive (repulsive) interaction due to the cosmic background fluid when the expansion is decelerating (accelerating) and b. a spin-orbit interaction which can be attractive or repulsive depending on the relative orientation between spin and orbital angular momentum and on the expansion rate.


title: Holographic dark energy from nonadditive entropy: cosmological perturbations and observational constraints

abstract: We apply the holographic principle in the cosmological context through the nonadditive Tsallis entropy, used to describe the thermodynamic properties of nonstandard statistical systems such as the gravitational ones. Assuming the future event horizon as the infrared cutoff, we build a dark energy model free from cosmological inconsistencies, which includes standard thermodynamics and standard holographic dark energy as a limiting case. We thus describe the dynamics of Tsallis holographic dark energy in a flat FLRW background. Hence, we investigate cosmological perturbations in the linear regime on sub-horizon scales. We study the growth of matter fluctuations in the case of clustering dark matter and a homogeneous dark energy component. Furthermore, we employ the most recent late-time cosmic data to test the observational viability of our theoretical scenario. We thus obtain constraints on the free parameters of the model by means of Monte Carlo numerical method. We also used Bayesian selection criteria to estimate the statistical preference for Tsallis holographic dark energy compared to the concordance $\Lambda$CDM paradigm. Our results show deviations from standard holographic dark energy within the $2\sigma$ confidence level. Finally, the analysis of the dark energy equation of state indicates a quintessence-like behaviour with no evidence for phantom-divide crossing at the $1\sigma$ level.


title: LumiPath -- Towards Real-time Physically-based Rendering on Embedded Devices

abstract: With the increasing computational power of today's workstations, real-time physically-based rendering is within reach, rapidly gaining attention across a variety of domains. These have expeditiously applied to medicine, where it is a powerful tool for intuitive 3D data visualization. Embedded devices such as optical see-through head-mounted displays (OST HMDs) have been a trend for medical augmented reality. However, leveraging the obvious benefits of physically-based rendering remains challenging on these devices because of limited computational power, memory usage, and power consumption. We navigate the compromise between device limitations and image quality to achieve reasonable rendering results by introducing a novel light field that can be sampled in real-time on embedded devices. We demonstrate its applications in medicine and discuss limitations of the proposed method. An open-source version of this project is available at https://github.com/lorafib/LumiPath which provides full insight on implementation and exemplary demonstrational material.


title: BayesOD: A Bayesian Approach for Uncertainty Estimation in Deep Object Detectors

abstract: When incorporating deep neural networks into robotic systems, a major challenge is the lack of uncertainty measures associated with their output predictions. Methods for uncertainty estimation in the output of deep object detectors (DNNs) have been proposed in recent works, but have had limited success due to 1) information loss at the detectors non-maximum suppression (NMS) stage, and 2) failure to take into account the multitask, many-to-one nature of anchor-based object detection. To that end, we introduce BayesOD, an uncertainty estimation approach that reformulates the standard object detector inference and Non-Maximum suppression components from a Bayesian perspective. Experiments performed on four common object detection datasets show that BayesOD provides uncertainty estimates that are better correlated with the accuracy of detections, manifesting as a significant reduction of 9.77\%-13.13\% on the minimum Gaussian uncertainty error metric and a reduction of 1.63\%-5.23\% on the minimum Categorical uncertainty error metric. Code will be released at {\url{https://github.com/asharakeh/bayes-od-rc}}.


title: Infinity Operads and Monoidal Categories with Group Equivariance

abstract: This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad. In Part 4 we define general monoidal categories equipped with an action operad equivariant structure, and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras. Many illustrations and examples are included. Assuming only basic category theory, this monograph is intended for graduate students and researchers. In addition to being a coherent reference for the topics covered, this book is also suitable for a graduate student seminar and a reading course.


title: Viscous Flow past a Body Translating by Time-Periodic Motion with Zero Average

abstract: We study existence, uniqueness, regularity and asymptotic spatial behavior of a Navier-Stokes flow past a body moving by a time-periodic translational motion of period $T$, and with zero average. For example, $\mathscr B$ moves in an oscillating fashion. The flow is also time-periodic with same period $T$. However, sufficiently ``far" from the body, the oscillatory component decays faster than the averaged component, so that the flow shows there a distinctive steady-state character. This provides a rigorous proof of the ``steady streaming" phenomenon.


title: On self-organised aggregation dynamics in swarms of robots with informed robots

abstract: In this paper, we use simulated swarms of robots to further explore the aggregation dynamics generated by these simple individual mechanisms. Our objective is to study the introduction of "informed robots", and to study how many of these are needed to direct the aggregation process toward a pre-defined site among those available in the environment. Informed robots are members of a group that selectively avoid the site/s where no aggregate should emerge, and stop only on the experimenter predefined site/s for aggregation. We study the aggregation process with informed robots in three different scenarios: two that are morphologically symmetric, whereby the different types of aggregation site are equally represented in the environment; and an asymmetric scenario, whereby the target site has an area that is half the area of the sites that should be avoided. We first show what happens when no robot in the swarm is informed: in symmetric environments, the swarm is able to break the symmetry and aggregates on one of the two types of site at random, not necessarily on the target site, while in the asymmetric environment, the swarm tends to aggregate on the sites that are most represented in terms of area. As a further valuable contribution of this study, we provide analytical results by studying a system of Ordinary Differential Equations' (ODEs) that is an extension of a well known model. Using this model, we show how, for certain values of the parameters, the model can predict the dynamics observed with simulated robots in one of the two symmetric scenarios.


title: Disformally Coupled Scalar Fields and Inspiralling Trajectories

abstract: We show how a nearly massless scalar field conformally and disformally coupled to matter can affect the dynamics of two bodies in their inspiralling phase before merging. We discuss both the conservative dynamics, e.g. how the energy of the bound system is corrected by the conformal and disformal interactions, and the dissipative part where scalars and gravitons are emitted. The first disformal correction to the Einstein-Infeld-Hoffmann Lagrangian is obtained using both the Fokker method relying on the equations of motion and an Effective Field Theory approach using Feynman diagrams. This leads to a correction to the energy functional at the 2PN level for eccentric orbits, which vanishes for circular orbits up to the 7PN order. The dissipative power from the disformal interaction gives a correction to the monopole and quadrupole terms in the presence of a conformal coupling. Although this correction vanishes for circular orbits at leading order, this is not the case for elliptical orbits allowing us to derive a bound on the disformal coupling from the time drift of the period for the Hulse-Taylor binary pulsar, which is slightly stronger than the one from fifth force tests. We conclude that the prospect of observing disformal effects for inspiralling systems lies in the accurate monitoring of eccentric trajectories as expected for the LISA experiment.


title: Conversion of projected entangled pair states into a canonical form

abstract: We propose an algorithm to convert a projected entangled pair state (PEPS) into a canonical form, analogous to the well-known canonical form of a matrix product state. Our approach is based on a variational gauging ansatz for the QR tensor decomposition of PEPS columns into a matrix product operator and a finite depth circuit of unitaries and isometries. We describe a practical initialization scheme that leads to rapid convergence in the QR optimization. We explore the performance and stability of the variational gauging algorithm in norm calculations for the transverse-field Ising and Heisenberg models on a square lattice. We also demonstrate energy optimization within the PEPS canonical form for the transverse-field Ising and Heisenberg models. We expect this canonical form to open up improved analytical and numerical approaches for PEPS.


title: High Order Edge Sensors with $\ell^1$ Regularization for Enhanced Discontinuous Galerkin Methods

abstract: This paper investigates the use of $\ell^1$ regularization for solving hyperbolic conservation laws based on high order discontinuous Galerkin (DG) approximations. We first use the polynomial annihilation method to construct a high order edge sensor which enables us to flag troubled elements. The DG approximation is enhanced in these troubled regions by activating $\ell^1$ regularization to promote sparsity in the corresponding jump function of the numerical solution. The resulting $\ell^1$ optimization problem is efficiently implemented using the alternating direction method of multipliers. By enacting $\ell^1$ regularization only in troubled cells, our method remains accurate and efficient, as no additional regularization or expensive iterative procedures are needed in smooth regions. We present results for the inviscid Burgers' equation as well as a nonlinear system of conservation laws using a nodal collocation-type DG method as a solver.


title: Turing patterns mediated by network topology in homogeneous active systems

abstract: Mechanisms of pattern formation---of which the Turing instability is an archetype---constitute an important class of dynamical processes occurring in biological, ecological and chemical systems. Recently, it has been shown that the Turing instability can induce pattern formation in discrete media such as complex networks, opening up the intriguing possibility of exploring it as a generative mechanism in a plethora of socioeconomic contexts. Yet, much remains to be understood in terms of the precise connection between network topology and its role in inducing the patterns. Here, we present a general mathematical description of a two-species reaction-diffusion process occurring on different flavors of network topology. The dynamical equations are of the predator-prey class, that while traditionally used to model species population, has also been used to model competition between antagonistic ideas in social systems. We demonstrate that the Turing instability can be induced in any network topology, by tuning the diffusion of the competing species, or by altering network connectivity. The extent to which the emergent patterns reflect topological properties is determined by a complex interplay between the diffusion coefficients and the localization properties of the eigenvectors of the graph Laplacian. We find that networks with large degree fluctuations tend to have stable patterns over the space of initial perturbations, whereas patterns in more homogenous networks are purely stochastic.


title: The Web is missing an essential part of infrastructure: an Open Web Index

abstract: A proposal for building an index of the Web that separates the infrastructure part of the search engine - the index - from the services part that will form the basis for myriad search engines and other services utilizing Web data on top of a public infrastructure open to everyone.


title: Atoms trapped by a spin-dependent optical lattice potential: realization of a ground state quantum rotor

abstract: In a cold atom gas subject to a 2D spin-dependent optical lattice potential with hexagonal symmetry, trapped atoms undergo orbital motion around the potential minima. Such atoms are elementary quantum rotors. We develop the theory of such quantum rotors. Wave functions, energies, and degeneracies are determined for both bosonic and fermionic atoms, and magnetic dipole transitions between the states are elucidated. Quantum rotors in optical lattices with precisely one atom per unit cell can be used as high precision rotation sensors, accelerometers, and magnetometers.


title: Dynamical structure of the pulsating atmosphere of RR Lyr - I. A typical pulsation cycle

abstract: RRab stars are large amplitude pulsating stars in which the pulsation is associated with strong shock wake propagating in the atmosphere. The objective of this study is to provide a general overview of the dynamical structure of the atmosphere occurring over a typical pulsation cycle. We report new high-resolution observations with high time resolution of H$\alpha$ and sodium lines in the brightest RR Lyrae star of the sky: RR Lyr (HD 182989). A detailed analysis of line profile variations over the whole pulsation cycle is performed to understand the dynamical structure of the atmosphere. The main shock wave appears when it exits from the photosphere at $\varphi\simeq0.89$, i.e., when the main H$\alpha$ emission is observed. Whereas the acceleration phase of the shock is not observed, a significant deceleration of the shock front velocity is clearly present. The radiative stage of the shock wave is short: $4\%$ of the pulsation period ($0.892<\varphi<0.929$). A Mach number $M>10$ is required to get such a radiative shock. The sodium layer reaches its maximum expansion well before that of H$\alpha$ ($\Delta\varphi=0.135$). Thus, a rarefaction wave is induced between the H$\alpha$ and sodium layers. A strong atmospheric compression occurring around $\varphi=0.36$, which produces the third H$\alpha$ emission, takes place in the highest part of the atmosphere. The region located lower in the atmosphere where the sodium line is formed is not involved. The amplification of gas turbulence seems mainly due to strong shock waves propagating in the atmosphere rather than to the global compression of the atmosphere caused by the pulsation. It has not yet been clearly established whether the microturbulence velocity increases or decreases with height in the atmosphere. Furthermore, it seems very probable that an interstellar component is visible within the sodium profile.


title: Stability and stabilization of linear positive systems on time scales

abstract: It is shown that a positive linear system on a time scale with a bounded graininess is uniformly exponentially stable if and only if the characteristic polynomial of the matrix defining the system has all its coefficients positive. Then this fact is used to find necessary and sufficient conditions of positive stabilizability of a positive control system on a time scale.


title: Recovery Bounds on Class-Based Optimal Transport: A Sum-of-Norms Regularization Framework

abstract: We develop a novel theoretical framework for understating OT schemes respecting a class structure. For this purpose, we propose a convex OT program with a sum-of-norms regularization term, which provably recovers the underlying class structure under geometric assumptions. Furthermore, we derive an accelerated proximal algorithm with a closed-form projection and proximal operator scheme, thereby affording a more scalable algorithm for computing optimal transport plans. We provide a novel argument for the uniqueness of the optimum even in the absence of strong convexity. Our experiments show that the new regularizer not only results in a better preservation of the class structure in the data but also yields additional robustness to the data geometry, compared to previous regularizers.


title: Analysis of the use of smart cards on the urban railway

abstract: The article analyzes the patterns of use of railway stations in the Moscow region. The basis for the analysis is the data of smart cards on the entrances and exits of passengers. The technical tool is time series similarity analysis. As a result, the work identifies the main patterns of user behavior on the use of railway stations (railway transport). The results of the work were used in the design of new lines of urban railways. Obviously, the use patterns reflect the current state of the transport system and the urban environment. Accordingly, the recorded changes in usage patterns can serve as indicators and metrics for changes in the urban environment.


title: Fifty Shades of Congestion Control: A Performance and Interactions Evaluation

abstract: Congestion control algorithms are crucial in achieving high utilization while preventing overloading the network. Over the years, many different congestion control algorithms have been developed, each trying to improve in specific situations. However, their interactions and co-existence has, to date, not been thoroughly evaluated, which is the focus of this paper. Through head-to-head comparisons of representatives from loss-based, delay-based and hybrid types of congestion control algorithms, we reveal that fairness in resources claimed is often not attained, especially when flows sharing a link have different RTTs.


title: Record fast-cycling accelerator magnet based on high temperature superconductors

abstract: Four decades ago development of high-current superconducting NbTi wire cables revolutionized the magnet technology for energy frontier accelerators, such as Tevatron, RHIC and LHC. The NbTi based magnets offered advantage of much higher fields B and much lower electric wall plug power consumption if operated at 4.5 K but relatively small ramping rates dB/dt << 0.1 T/s. The need for the accelerators of high average beam power and high repetition rates have initiated studies of fast ramping SC magnets, but it was found the AC losses in the low-temperature superconductors preclude obtaining the rates in the excess of (1- 4) T/s. Here we report the first application of high-temperature superconductor magnet technology with substantially lower AC losses and report record high ramping rates of 12 T/s achieved in a prototype dual-aperture accelerator magnet.


title: A Genetic Programming System with an Epigenetic Mechanism for Traffic Signal Control

abstract: Traffic congestion is an increasing problem in most cities around the world. It impacts businesses as well as commuters, small cities and large ones in developing as well as developed economies. One approach to decrease urban traffic congestion is to optimize the traffic signal behaviour in order to be adaptive to changes in the traffic conditions. From the perspective of intelligent transportation systems, this optimization problem is called the traffic signal control problem and is considered a large combinatorial problem with high complexity and uncertainty. A novel approach to the traffic signal control problem is proposed in this thesis. The approach includes a new mechanism for Genetic Programming inspired by Epigenetics. Epigenetic mechanisms play an important role in biological processes such as phenotype differentiation, memory consolidation within generations and environmentally induced epigenetic modification of behaviour. These properties lead us to consider the implementation of epigenetic mechanisms as a way to improve the performance of Evolutionary Algorithms in solution to real-world problems with dynamic environmental changes, such as the traffic control signal problem. The epigenetic mechanism proposed was evaluated in four traffic scenarios with different properties and traffic conditions using two microscopic simulators. The results of these experiments indicate that Genetic Programming was able to generate competitive actuated traffic signal controllers for all the scenarios tested. Furthermore, the use of the epigenetic mechanism improved the performance of Genetic Programming in all the scenarios. The evolved controllers adapt to modifications in the traffic density and require less monitoring and less human interaction than other solutions because they dynamically adjust the signal behaviour depending on the local traffic conditions at each intersection.


title: Long-time asymptotics of the modified KdV equation in weighted Sobolev spaces

abstract: The long time behavior of solutions to the defocusing modified Korteweg-de vries (MKdV) equation is established for initial conditions in some weighted Sobolev spaces. Our approach is based on the nonlinear steepest descent method of Deift and Zhou and its reformulation by Dieng and McLaughlin through $\overline{\partial}$-derivatives. To extend the asymptotics to solutions with initial data in lower regularity spaces, we apply a global approximation via PDE techniques.


title: A Low-Complexity Cache-Aided Multi-antenna Content Delivery Scheme

abstract: We study downlink beamforming in a single-cell network with a multi-antenna base station (BS) serving cache-enabled users. For a given common rate of the files in the system, we first formulate the minimum transmit power with beamforming at the BS as a non-convex optimization problem. This corresponds to a multiple multicast problem, to which a stationary solution can be efficiently obtained through successive convex approximation (SCA). It is observed that the complexity of the problem grows exponentially with the number of subfiles delivered to each user in each time slot, which itself grows exponentially with the number of users in the system. Therefore, we introduce a low-complexity alternative through time-sharing that limits the number of subfiles that can be received by a user in each time slot. It is shown through numerical simulations that, the reduced-complexity beamforming scheme has minimal performance gap compared to transmitting all the subfiles jointly, and outperforms the state-of-the-art low-complexity scheme at all SNR and rate values with sufficient spatial degrees of freedom, and in the high SNR/high rate regime when the number of spatial degrees of freedom is limited.


title: Two-dimensional phase-space picture of the photonic crystal Fano laser

abstract: The recently realized photonic crystal Fano laser constitutes the first demonstration of passive pulse generation in nanolasers [Nat. Photonics $\boldsymbol{11}$, 81-84 (2017)]. We show that the laser operation is confined to only two degrees-of-freedom after the initial transition stage. We show that the original 5D dynamic model can be reduced to a 1D model in a narrow region of the parameter space and it evolves into a 2D model after the exceptional point, where the eigenvalues transition from being purely to a complex conjugate pair. The 2D reduced model allows us to establish an effective band structure for the eigenvalue problem of the stability matrix to explain the laser dynamics. The reduced model is used to associate a previously unknown origin of instability with a new unstable periodic orbit separating the stable steady-state from the stable periodic orbit.


title: Testing the rotation versus merger scenario in the galaxy cluster Abell 2107

abstract: We search for global rotation of the intracluster medium (ICM) in the galaxy cluster Abell 2107, where previous studies have detected rotational motion in the member galaxies with a high significance level. By fitting the centroid of the iron $K_{\alpha}$ line complex at 6.7--6.9 keV rest frame in {\sl Chandra} ACIS-I spectra, we identify the possible rotation axis with the line that maximizes the difference between the emission-weighted spectroscopic redshift measured in the two halves defined by the line itself. Then, we measure the emission-weighted redshift in linear regions parallel to the preferred rotation axis, and find a significant gradient as a function of the projected distance from the rotation axis, compatible with a rotation pattern with maximum tangential velocity ${\tt v}_{\rm max}=1380\pm 600$ km/s at a radius $\lambda_0\sim 160$ kpc. This result, if interpreted in the framework of hydrostatic equilibrium, as suggested by the regular morphology of Abell 2107, would imply a large mass correction of the order of $\Delta M = (6 \pm 4)\times 10^{13} M_\odot$ at $\sim 160$ kpc, which is incompatible with the cluster morphology itself. A more conservative interpretation may be provided by an unnoticed off-center, head-on collision between two comparable halos. Our analysis confirms the peculiar dynamical nature of the otherwise regular cluster Abell 2107, but is not able to resolve the rotation vs merger scenario, a science case that can be addressed by the next-generation X-ray facilities carrying X-ray bolometers onboard.


title: Stability for linearized gravity on the Kerr spacetime

abstract: In this paper we prove integrated energy and pointwise decay estimates for solutions of the vacuum linearized Einstein equation on the domain of outer communication of the Kerr black hole spacetime. The estimates are valid for the full subextreme range of Kerr black holes, provided integrated energy estimates for the Teukolsky Master Equation holds. For slowly rotating Kerr backgrounds, such estimates are known to hold, due to the work of one of the authors. The results in this paper thus provide the first stability results for linearized gravity on the Kerr background, in the slowly rotating case, and reduce the linearized stability problem for the full subextreme range to proving integrated energy estimates for the Teukolsky equation. This constitutes an essential step towards a proof of the black hole stability conjecture, i.e. the statement that the Kerr family is dynamically stable, one of the central open problems in general relativity.


title: Continuous-time Signal Temporal Logic Planning with Control Barrier Function

abstract: Temporal Logic (TL) guided control problems have gained interests in recent years. By using the TL, one can specify a wide range of temporal constraints on the system and is widely used in cyber-physical systems. On the other hand, Control Barrier Functions have also gained interests in the context of safety critical applications. However, most of the existing approaches only focus on discrete-time dynamical systems. In this paper, we propose an offline trajectory planner for linear systems subject to safety and temporal specifications. Such specifications can be expressed as logical junctions or disjunctions of linear CBFs, or as STL specifications with linear predicates. Our planner produces trajectories that are valid in continuous time, while assuming only discrete-time control updates and arbitrary time interval in the STL formula. Our planner is based on a Mixed Integer Quadratic Programming (MIQP) formulation, where the linear STL predicates are encoded as set of linear constraints to guarantee satisfaction at on a finite discrete set of time instants, while we use CBFs to derive constraints that guarantee continuous satisfaction between time instants. Moreover, we have shown the predicates can be encoded as time-based CBF constraints for system with any relative degrees. We validate our theoretical results and formulation through numerical simulations.


title: Correlation Picture Approach to Open-Quantum-System Dynamics

abstract: We introduce a new dynamical picture, referred to as correlation picture,' which connects a correlated state to its uncorrelated counterpart. Using this picture allows us to derive an exact dynamical equation for a general open-system dynamics with system--environment correlations included. This exact dynamics is in the form of a Lindblad-like equation even in the presence of initial system-environment correlations. For explicit calculations, we also develop a weak-correlation expansion formalism that allows us to perform systematic perturbative approximations. This expansion provides approximate master equations which can feature advantages over existing weak-coupling techniques. As a special case, we derive a Markovian master equation, which is different from existing approaches. We compare our equations with corresponding standard weak-coupling equations by two examples, where our correlation picture formalism is more accurate, or at least as accurate as weak-coupling equations.


title: Lipstick on a Pig: Debiasing Methods Cover up Systematic Gender Biases in Word Embeddings But do not Remove Them

abstract: Word embeddings are widely used in NLP for a vast range of tasks. It was shown that word embeddings derived from text corpora reflect gender biases in society. This phenomenon is pervasive and consistent across different word embedding models, causing serious concern. Several recent works tackle this problem, and propose methods for significantly reducing this gender bias in word embeddings, demonstrating convincing results. However, we argue that this removal is superficial. While the bias is indeed substantially reduced according to the provided bias definition, the actual effect is mostly hiding the bias, not removing it. The gender bias information is still reflected in the distances between "gender-neutralized" words in the debiased embeddings, and can be recovered from them. We present a series of experiments to support this claim, for two debiasing methods. We conclude that existing bias removal techniques are insufficient, and should not be trusted for providing gender-neutral modeling.


title: Quantum Probability: a reliable tool for an agent or a reliable source of reality?

abstract: In this paper we attempt to analyze the concept of quantum probability within quantum computation and quantum computational logic. While the subjectivist interpretation of quantum probability explains it as a reliable predictive tool for an agent in order to compute measurement outcomes, the objectivist interpretation understands quantum probability as providing reliable information of a real state of affairs. After discussing these different viewpoints we propose a particular objectivist interpretation grounded on the idea that the Born rule provides information about an intensive realm of reality. We then turn our attention to the way in which the subjectivist interpretation of probability is presently applied within both quantum computation and quantum computational logic. Taking as a standpoint our proposed intensive account of quantum probability we discuss the possibilities and advantages it might open for the modeling and development of both quantum computation and quantum computational logic.


title: On the top homology group of Johnson kernel

abstract: The action of the mapping class group $\mathrm{Mod}_g$ of an oriented surface $\Sigma_g$ on the lower central series of $\pi_1(\Sigma_g)$ defines the descending filtration in $\mathrm{Mod}_g$ called the Johnson filtration. The first two terms of it are the Torelli group $\mathcal{I}_g$ and the Johnson kernel $\mathcal{K}_g$. By a fundamental result of Johnson (1985), $\mathcal{K}_g$ is the subgroup of $\mathrm{Mod}_g$ generated by all Dehn twists about separating curves. In 2007, Bestvina, Bux, and Margalit showed the group $\mathcal{K}_g$ has cohomological dimension $2g-3$. We prove that the top homology group $H_{2g-3}(\mathcal{K}_g)$ is not finitely generated. In fact, we show that it contains a free abelian subgroup of infinite rank, hence, the vector space $H_{2g-3}(\mathcal{K}_g,\mathbb{Q})$ is infinite-dimensional. Moreover, we prove that $H_{2g-3}(\mathcal{K}_g,\mathbb{Q})$ is not finitely generated as a module over the group ring $\mathbb{Q}[\mathcal{I}_g]$.


title: Switchable two-state plasmonic tweezers for dynamic manipulation of nano-objects

abstract: In this work we present a plasmonic platform capable of trapping nano-objects as small as 100 nm in two different spatial configurations. The switch between the two trapping states, localized on the tip and on the outer wall of a vertical gold nanochannel, can be activated by a variation in the focusing position of the excitation laser along the main axis of the nanotube. We show that the trapping mechanism is facilitated by both an electromagnetic and thermal action. The inner and outer trapping states are respectively characterized by a static and a dynamic behavior and their stiffness was measured by analyzing the position of the trapped specimens as a function of time. In addition, it was demonstrated that the stiffness of the static state is high enough to trap of particles as small as 40nm. These results show a simple, controllable way to generate a switchable two-state trapping regime, which could find applications as a model for the study of dynamic trapping or as mechanism for the development of nanofluidic devices.


title: Tracking continuous gravitational waves from a neutron star at once and twice the spin frequency with a hidden Markov model

abstract: Searches for continuous gravitational waves from rapidly spinning neutron stars normally assume that the star rotates about one of its principal axes of moment of inertia, and hence the gravitational radiation emits only at twice the spin frequency of the star, $2f_*$. The superfluid interior of a star pinned to the crust along an axis nonaligned with any of its principal axes allows the star to emit gravitational waves at both $f_*$ and $2f_*$, even without free precession, a phenomenon not clearly observed in known pulsars. The dual-harmonic emission mechanism motivates searches combining the two frequency components of a signal to improve signal-to-noise ratio. We describe an economical, semicoherent, dual-harmonic search method, combined with a maximum likelihood coherent matched filter, F-statistic, and improved from an existing hidden Markov model (HMM) tracking scheme to track two frequency components simultaneously. We validate the method and demonstrate its performance through Monte Carlo simulations. We find that for sources emitting gravitational waves at both $f_*$ and $2f_*$, the rate of correctly recovering synthetic signals (i.e., detection efficiency), at a given false alarm probability, can be improved by $\sim 10$%-70% by tracking two frequencies simultaneously compared to tracking a single component only. For sources emitting at $2f_*$ only, dual-harmonic tracking only leads to minor sensitivity loss, producing $\lesssim 10\%$ lower detection efficiency than tracking a single component. In directed continuous-wave searches where $f_*$ is unknown and hence the full frequency band is searched, the computationally efficient HMM tracking algorithm provides an option of conducting both the dual-harmonic search and the conventional single frequency tracking to obtain optimal sensitivity, with a typical run time of $\sim 10^3$ core-hr for one year's observation.


title: Variational Inference of Joint Models using Multivariate Gaussian Convolution Processes

abstract: We present a non-parametric prognostic framework for individualized event prediction based on joint modeling of both longitudinal and time-to-event data. Our approach exploits a multivariate Gaussian convolution process (MGCP) to model the evolution of longitudinal signals and a Cox model to map time-to-event data with longitudinal data modeled through the MGCP. Taking advantage of the unique structure imposed by convolved processes, we provide a variational inference framework to simultaneously estimate parameters in the joint MGCP-Cox model. This significantly reduces computational complexity and safeguards against model overfitting. Experiments on synthetic and real world data show that the proposed framework outperforms state-of-the art approaches built on two-stage inference and strong parametric assumptions.


title: Abelian Endoregular Modules

abstract: In this paper, we introduce the notion of abelian endoregular modules as those modules whose endomorphism rings are abelian von Neumann regular. We characterize an abelian endoregular module $M$ in terms of its $M$-generated submodules. We prove that if $M$ is an abelian endoregular module then so is every $M$-generated submodule of $M$. Also, the case when the (quasi-)injective hull of a module as well as the case when a direct sum of modules is abelian endoregular are presented. At the end, we study abelian endoregular modules as subdirect products of simple modules.


title: Verlinde formulae on complex surfaces: K-theoretic invariants

abstract: We conjecture a Verlinde type formula for the moduli space of Higgs sheaves on a surface with a holomorphic 2-form. The conjecture specializes to a Verlinde formula for the moduli space of sheaves. Our formula interpolates between $K$-theoretic Donaldson invariants studied by the first named author and Nakajima-Yoshioka and $K$-theoretic Vafa-Witten invariants introduced by Thomas and also studied by the first and second named authors. We verify our conjectures in many examples (e.g. on K3 surfaces).


title: Irreducible divisor pair domains

abstract: We introduce and study a new class of integral domains which we call irreducible divisor pair domains (IDPDs). In particular, we show how IDPDs fit in with other classes of integral domains defined in terms of factorization conditions. For instance, every UFD is an IDPD, and every IDPD is an HFD, but the converses fail in general. We also show that many familiar examples of HFDs are also IDPDs.


title: Functional Principal Component Analysis for Extrapolating Multi-stream Longitudinal Data

abstract: The advance of modern sensor technologies enables collection of multi-stream longitudinal data where multiple signals from different units are collected in real-time. In this article, we present a non-parametric approach to predict the evolution of multi-stream longitudinal data for an in-service unit through borrowing strength from other historical units. Our approach first decomposes each stream into a linear combination of eigenfunctions and their corresponding functional principal component (FPC) scores. A Gaussian process prior for the FPC scores is then established based on a functional semi-metric that measures similarities between streams of historical units and the in-service unit. Finally, an empirical Bayesian updating strategy is derived to update the established prior using real-time stream data obtained from the in-service unit. Experiments on synthetic and real world data show that the proposed framework outperforms state-of-the-art approaches and can effectively account for heterogeneity as well as achieve high predictive accuracy.


title: The Type II-Plateau Supernova 2017eaw in NGC 6946 and Its Red Supergiant Progenitor

abstract: We present extensive optical photometric and spectroscopic observations, from 4 to 482 days after explosion, of the Type II-plateau (II-P) supernova (SN) 2017eaw in NGC 6946. SN 2017eaw is a normal SN II-P intermediate in properties between, for example, SN 1999em and SN 2012aw and the more luminous SN 2004et, also in NGC 6946. We have determined that the extinction to SN 2017eaw is primarily due to the Galactic foreground and that the SN site metallicity is likely subsolar. We have also independently confirmed a tip-of-the-red-giant-branch (TRGB) distance to NGC 6946 of 7.73+/-0.78 Mpc. The distances to the SN that we have also estimated via both the standardized candle method and expanding photosphere method corroborate the TRGB distance. We confirm the SN progenitor identity in pre-explosion archival Hubble Space Telescope (HST) and Spitzer Space Telescope images, via imaging of the SN through our HST Target of Opportunity program. Detailed modeling of the progenitor's spectral energy distribution indicates that the star was a dusty, luminous red supergiant consistent with an initial mass of ~15 Msuns.


title: The Well Order Reconstruction Solution for Three-Dimensional Wells, in the Landau-de Gennes theory

abstract: We study nematic equilibria on three-dimensional square wells, with emphasis on Well Order Reconstruction Solutions (WORS) as a function of the well size, characterized by $\lambda$, and the well height denoted by $\epsilon$. The WORS are distinctive equilibria reported in [10] for square domains, without taking the third dimension into account, which have two mutually perpendicular defect lines running along the square diagonals, intersecting at the square centre. We prove the existence of WORS on three-dimensional wells for arbitrary well heights, with (i) natural boundary conditions and (ii) realistic surface energies on the top and bottom well surfaces, along with Dirichlet conditions on the lateral surfaces. Moreover, the WORS is globally stable for $\lambda$ small enough in both cases and unstable as $\lambda$ increases. We numerically compute novel mixed 3D solutions for large $\lambda$ and $\epsilon$ followed by a numerical investigation of the effects of surface anchoring on the WORS, exemplifying the relevance of the WORS solution in a 3D context.


title: Refined Verlinde formulas for Hilbert schemes of points and moduli spaces of sheaves on K3 surfaces

abstract: We compute generating functions for elliptic genera with values in line bundles on Hilbert schemes of points on surfaces. As an application we also compute generating functions for elliptic genera with values in determinant line bundles on moduli spaces of sheaves on K3 surfaces.


title: Maximum Mass of Hybrid Stars in the Quark Bag Model

abstract: The effect of model parameters in the equation of state for quark matter on the magnitude of the maximum mass of hybrid stars is examined. Quark matter is described in terms of the extended MIT bag model including corrections for one-gluon exchange. For nucleon matter in the range of densities corresponding to the phase transition, a relativistic equation of state is used that is calculated with two particle correlations taken into account based on using the Bonn meson-exchange potential. The Maxwell construction is used to calculate the characteristics of the first order phase transition and it is shown that for a fixed value of the strong interaction constant $\alpha_s$, the baryon concentrations of the coexisting phases grow monotonically as the bag constant B increases. It is shown that for a fixed value of the strong interaction constant $\alpha_s$, the maximum mass of a hybrid star increases as the bag constant $B$ decreases. For a given value of the bag parameter $B$, the maximum mass rises as the strong interaction constant $\alpha_s$ increases. It is shown that the configurations of hybrid stars with maximum masses equal to or exceeding the mass of the currently known most massive pulsar are possible for values of the strong interaction constant $\alpha_s>0.6$ and sufficiently low values of the bag constant.


title: Greatest common divisors of analytic functions and Nevanlinna theory on algebraic tori

abstract: We study upper bounds for the counting function of common zeros of two meromorphic functions in various contexts. The proofs and results are inspired by recent work involving greatest common divisors in Diophantine approximation, to which we introduce additional techniques to take advantage of the stronger inequalities available in Nevanlinna theory. In particular, we prove a general version of a conjectural "asymptotic gcd" inequality of Pasten and the second author, and consider moving targets versions of our results.


title: Literal or Pedagogic Human? Analyzing Human Model Misspecification in Objective Learning

abstract: It is incredibly easy for a system designer to misspecify the objective for an autonomous system ("robot''), thus motivating the desire to have the robot learn the objective from human behavior instead. Recent work has suggested that people have an interest in the robot performing well, and will thus behave pedagogically, choosing actions that are informative to the robot. In turn, robots benefit from interpreting the behavior by accounting for this pedagogy. In this work, we focus on misspecification: we argue that robots might not know whether people are being pedagogic or literal and that it is important to ask which assumption is safer to make. We cast objective learning into the more general form of a common-payoff game between the robot and human, and prove that in any such game literal interpretation is more robust to misspecification. Experiments with human data support our theoretical results and point to the sensitivity of the pedagogic assumption.


title: Scene Memory Transformer for Embodied Agents in Long-Horizon Tasks

abstract: Many robotic applications require the agent to perform long-horizon tasks in partially observable environments. In such applications, decision making at any step can depend on observations received far in the past. Hence, being able to properly memorize and utilize the long-term history is crucial. In this work, we propose a novel memory-based policy, named Scene Memory Transformer (SMT). The proposed policy embeds and adds each observation to a memory and uses the attention mechanism to exploit spatio-temporal dependencies. This model is generic and can be efficiently trained with reinforcement learning over long episodes. On a range of visual navigation tasks, SMT demonstrates superior performance to existing reactive and memory-based policies by a margin.


title: Floquet Systems with Hall Effect: Topological Properties and Phase Transitions

abstract: We study the quantum topological properties of Floquet (time-periodic) systems exhibiting Hall effects due to perpendicular magnetic and electric fields. The systems are charged particles periodically kicked by a one-dimensional cosine potential in the presence of such fields, where the magnetic field is perpendicular also to the kicking direction. We consider parameter values including small kicking strength, which enables the quantum evolution to be described by effective Floquet Hamiltonians. We also assume the semiclassical regime of a small scaled Planck constant. In the case of an electric field parallel to the kicking direction, one observes, as the electric-field strength is varied, a series of topological phase transitions, causing changes in the Chern numbers of quasienergy (QE) bands. These transitions are due to band degeneracies which, in an initial wide range of electric-field strengths, are shown to occur when the energy of the classical separatrix is approximately equal to the average QE of the degenerating bands. For larger electric-field strengths, the degeneracies reflect changes in the classical phase-space structure. In the case of an electric field not parallel to the kicking direction and satisfying some resonance conditions, we show that the topological properties of the QE bands are characterized by universal (electric-field independent) Chern numbers. These same numbers also characterize the QE band spectrum in the first case, at the end of the basic electric-field interval where the topological phase transitions take place. The two cases above are known to exhibit significantly different dynamical rates, both classical and quantum. This is well reflected by the different topological properties in the two cases.


title: Quantifying non-Markovianity: a quantum resource-theoretic approach

abstract: The quantification and characterization of non-Markovian dynamics in quantum systems is an essential endeavor both for the theory of open quantum systems and for a deeper understanding of the effects of non-Markovian noise on quantum technologies. Here, we introduce the robustness of non-Markovianity, an operationally-motivated, optimization-free measure that quantifies the minimum amount of Markovian noise that can be mixed with a non-Markovian evolution before it becomes Markovian. We show that this quantity is a bonafide non-Markovianity measure, since it is faithful, convex, and monotonic under composition with Markovian channels. A two-fold operational interpretation of this measure is provided, with the robustness measure quantifying an advantage in both a state discrimination and a channel discrimination task. Furthermore, we provide a closed-form analytical expression for this measure and show that, quite remarkably, the robustness measure is exactly equal to half the Rivas-Huelga-Plenio (RHP) measure [Phys. Rev. Lett. \textbf{105}, 050403 (2010)]. As a result, we provide a direct operational meaning to the RHP measure while endowing the robustness measure with the physical characterizations of the RHP measure.


title: On rich and poor directions determined by a subset of a finite plane

abstract: We generalize to sets with cardinality more than $p$ a theorem of R\'edei and Sz\H{o}nyi on the number of directions determined by a subset $U$ of the finite plane $\mathbb F_p^2$. A $U$-rich line is a line that meets $U$ in at least $\#U/p+1$ points, while a $U$-poor line is one that meets $U$ in at most $\#U/p-1$ points. The slopes of the $U$-rich and $U$-poor lines are called $U$-special directions. We show that either $U$ is contained in the union of $n=\lceil\#U/p\rceil$ lines, or it determines `many' $U$-special directions. The core of our proof is a version of the polynomial method in which we study iterated partial derivatives of the R\'edei polynomial to take into account the `multiplicity' of the directions determined by $U$.


title: DeepPool: Distributed Model-free Algorithm for Ride-sharing using Deep Reinforcement Learning

abstract: The success of modern ride-sharing platforms crucially depends on the profit of the ride-sharing fleet operating companies, and how efficiently the resources are managed. Further, ride-sharing allows sharing costs and, hence, reduces the congestion and emission by making better use of vehicle capacities. In this work, we develop a distributed model-free, DeepPool, that uses deep Q-network (DQN) techniques to learn optimal dispatch policies by interacting with the environment. Further, DeepPool efficiently incorporates travel demand statistics and deep learning models to manage dispatching vehicles for improved ride sharing services. Using real-world dataset of taxi trip records in New York City, DeepPool performs better than other strategies, proposed in the literature, that do not consider ride sharing or do not dispatch the vehicles to regions where the future demand is anticipated. Finally, DeepPool can adapt rapidly to dynamic environments since it is implemented in a distributed manner in which each vehicle solves its own DQN individually without coordination.


title: Two seemingly paradoxical results in linear models: the variance inflation factor and the analysis of covariance

abstract: A result from a standard linear model course is that the variance of the ordinary least squares (OLS) coefficient of a variable will never decrease when including additional covariates. The variance inflation factor (VIF) measures the increase of the variance. Another result from a standard linear model or experimental design course is that including additional covariates in a linear model of the outcome on the treatment indicator will never increase the variance of the OLS coefficient of the treatment at least asymptotically. This technique is called the analysis of covariance (ANCOVA), which is often used to improve the efficiency of treatment effect estimation. So we have two paradoxical results: adding covariates never decreases the variance in the first result but never increases the variance in the second result. In fact, these two results are derived under different assumptions. More precisely, the VIF result conditions on the treatment indicators but the ANCOVA result averages over them. Comparing the estimators with and without adjusting for additional covariates in a completely randomized experiment, I show that the former has smaller variance averaging over the treatment indicators, and the latter has smaller variance at the cost of a larger bias conditioning on the treatment indicators. Therefore, there is no real paradox.


title: A Critical Review of Recent Progress on Negative Capacitance Field-Effect Transistors

abstract: The elegant simplicity of the device concept and the urgent need for a new "transistor" at the twilight of Moore's law have inspired many researchers in industry and academia to explore the physics and technology of negative capacitance field effect transistor (NC-FET). Although hundreds of papers have been published, the validity of quasi-static NC and the frequency-reliability limits of NC-FET are still being debated. The concept of NC - if conclusively demonstrated - will have broad impacts on device physics and technology development. Here, the authors provide a critical review of recent progress on NC-FETs research and some starting points for a coherent discussion.


title: Compact quantum groups generated by their tori

abstract: Associated to any closed subgroup $G\subset U_N^+$ is a family of toral subgroups $T_Q\subset G$, indexed by the unitary matrices $Q\in U_N$. The family $\{T_Q|Q\in U_N\}$ is expected to encode the main properties of $G$, and there are several conjectures in this sense. We verify here the generation conjecture, $G=<T_Q|Q\in U_N>$, for various classes of compact quantum groups. Our results generalize the previously known facts on the subject.


title: Spectroscopic Assignments of the Excited $B$-Mesons

abstract: Excited $B$-mesons have been observed by the D0, CDF, LHCb and CMS experiments. We use the predictions of the relativized quark model to make quark model spectroscopic assignments for these states. We identify the $B_2^*(5747)$ and $B_1(5721)$ as the $B_2^*[1^3P_2]$ and $B_1[1P_1]$ states and the $B_{s2}^*(5840)$ and $B_{s1}(5830)$ as the $B_{s2}^*[1^3P_2]$ and $B_{s1}[1P_1]$ states. More information is needed to identify the $B_J(5970)$ and $B_J(5840)$ states and we suggest a number of measurements to make this identification: the determination of their $J^P$ quantum numbers and either confirming or ruling out their decays to the $B\pi$ final state. With the current information available we believe it most likely that the $B_J(5970)$ is the $B^*[2^3S_1]$ state, with the $B_J(5840)$ needing confirmation.


title: Fine Properties of the Optimal Skorokhod Embedding Problem

abstract: We study the problem of stopping a Brownian motion at a given distribution $\nu$ while optimizing a reward function that depends on the (possibly randomized) stopping time and the Brownian motion. Our first result establishes that the set $\mathcal{T}(\nu)$ of stopping times embedding $\nu$ is weakly dense in the set $\mathcal{R}(\nu)$ of randomized embeddings. In particular, the optimal Skorokhod embedding problem over $\mathcal{T}(\nu)$ has the same value as the relaxed one over $\mathcal{R}(\nu)$ when the reward function is semicontinuous, which parallels a fundamental result about Monge maps and Kantorovich couplings in optimal transport. A second part studies the dual optimization in the sense of linear programming. While existence of a dual solution failed in previous formulations, we introduce a relaxation of the dual problem that exploits a novel compactness property and yields existence of solutions as well as absence of a duality gap, even for irregular reward functions. This leads to a monotonicity principle which complements the key theorem of Beiglb\"ock, Cox and Huesmann [Optimal transport and Skorokhod embedding, Invent. Math., 208:327-400, 2017]. We show that these results can be applied to characterize the geometry of optimal embeddings through a variational condition.


title: A New Magnetic Topological Quantum Material Candidate by Design

abstract: Magnetism, when combined with an unconventional electronic band structure, can give rise to forefront electronic properties such as the quantum anomalous Hall effect, axion electrodynamics, and Majorana fermions. Here we report the characterization of high-quality crystals of EuSn$_2$P$_2$, a new quantum material specifically designed to engender unconventional electronic states plus magnetism. EuSn$_2$P$_2$ has a layered, Bi$_2$Te$_3$-type structure. Ferromagnetic interactions dominate the Curie-Weiss susceptibility, but a transition to antiferromagnetic ordering occurs near 30 K. Neutron diffraction reveals that this is due to two-dimensional ferromagnetic spin alignment within individual Eu layers and antiferromagnetic alignment between layers - this magnetic state surrounds the Sn-P layers at low temperatures. The bulk electrical resistivity is sensitive to the magnetism. Electronic structure calculations reveal that EuSn$_2$P$_2$ might be a strong topological insulator, which can be a new magnetic topological quantum material (MTQM) candidate. The calculations show that surface states should be present, and they are indeed observed by ARPES measurements.


title: Fast Single Image Reflection Suppression via Convex Optimization

abstract: Removing undesired reflections from images taken through the glass is of great importance in computer vision. It serves as a means to enhance the image quality for aesthetic purposes as well as to preprocess images in machine learning and pattern recognition applications. We propose a convex model to suppress the reflection from a single input image. Our model implies a partial differential equation with gradient thresholding, which is solved efficiently using Discrete Cosine Transform. Extensive experiments on synthetic and real-world images demonstrate that our approach achieves desirable reflection suppression results and dramatically reduces the execution time.


title: Polynomials as spans

abstract: The paper defines polynomials in a bicategory $\mathscr{M}$. Polynomials in bicategories $\mathrm{Spn}\mathscr{C} \ $ of spans in a finitely complete category $\mathscr{C} \ $ agree with polynomials in $\mathscr{C} \ $ as defined by Nicola Gambino and Joachim Kock, and by Mark Weber. When $\mathscr{M}$ is \textit{calibrated}, we obtain another bicategory $\mathrm{Poly}\mathscr{M}$. We see that polynomials in $\mathscr{M}$ have representations as pseudofunctors $\mathscr{M}^{\mathrm{op}}\to \mathrm{Cat}$. Calibrations are produced for the bicategory of relations in a regular category and for the bicategory of two-sided modules (distributors) between categories thereby providing new examples of bicategories of "polynomials".


title: Non-Negative Kernel Sparse Coding for the Classification of Motion Data

abstract: We are interested in the decomposition of motion data into a sparse linear combination of base functions which enable efficient data processing. We combine two prominent frameworks: dynamic time warping (DTW), which offers particularly successful pairwise motion data comparison, and sparse coding (SC), which enables an automatic decomposition of vectorial data into a sparse linear combination of base vectors. We enhance SC as follows: an efficient kernelization which extends its application domain to general similarity data such as offered by DTW, and its restriction to non-negative linear representations of signals and base vectors in order to guarantee a meaningful dictionary. Empirical evaluations on motion capture benchmarks show the effectiveness of our framework regarding interpretation and discrimination concerns.


title: Sheaves of AQ Normal Series and Supermanifolds

abstract: On a group $G$, a filtration by normal subgroups is referred to as a normal series. If subsequent quotients are abelian, the filtration is referred to as an \emph{abelian-quotient normal series}, or `AQ normal series' for short. In this article we consider `sheaves of AQ normal series'. From a given AQ normal series satisfying an additional hypothesis we derive a complex whose first cohomology obstructs the resolution of an `integration problem'. These constructs are then applied to the classification of supermanifolds modelled on $(X, T^*_{X, -})$, where $X$ is a complex manifold and $T^*_{X, -}$ is a holomorphic vector bundle. We are lead to the notion of an `obstruction complex' associated to a model $(X, T^*_{X, -})$ whose cohomology is referred to as `obstruction cohomology'. We deduce a number of interesting consequences of a vanishing first obstruction cohomology. Among the more interesting consequences are its relation to projectability of supermanifolds and a `Batchelor-type' theorem: if the obstruction cohomology of a `good' model $(X, T^*_{X, -})$ vanishes, then any supermanifold modelled on $(X, T^*_{X, -})$ will be split.


title: A Hybrid GA-PSO Method for Evolving Architecture and Short Connections of Deep Convolutional Neural Networks

abstract: Image classification is a difficult machine learning task, where Convolutional Neural Networks (CNNs) have been applied for over 20 years in order to solve the problem. In recent years, instead of the traditional way of only connecting the current layer with its next layer, shortcut connections have been proposed to connect the current layer with its forward layers apart from its next layer, which has been proved to be able to facilitate the training process of deep CNNs. However, there are various ways to build the shortcut connections, it is hard to manually design the best shortcut connections when solving a particular problem, especially given the design of the network architecture is already very challenging. In this paper, a hybrid evolutionary computation (EC) method is proposed to \textit{automatically} evolve both the architecture of deep CNNs and the shortcut connections. Three major contributions of this work are: Firstly, a new encoding strategy is proposed to encode a CNN, where the architecture and the shortcut connections are encoded separately; Secondly, a hybrid two-level EC method, which combines particle swarm optimisation and genetic algorithms, is developed to search for the optimal CNNs; Lastly, an adjustable learning rate is introduced for the fitness evaluations, which provides a better learning rate for the training process given a fixed number of epochs. The proposed algorithm is evaluated on three widely used benchmark datasets of image classification and compared with 12 peer Non-EC based competitors and one EC based competitor. The experimental results demonstrate that the proposed method outperforms all of the peer competitors in terms of classification accuracy.


title: GNNExplainer: Generating Explanations for Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are a powerful tool for machine learning on graphs.GNNs combine node feature information with the graph structure by recursively passing neural messages along edges of the input graph. However, incorporating both graph structure and feature information leads to complex models, and explaining predictions made by GNNs remains unsolved. Here we propose GNNExplainer, the first general, model-agnostic approach for providing interpretable explanations for predictions of any GNN-based model on any graph-based machine learning task. Given an instance, GNNExplainer identifies a compact subgraph structure and a small subset of node features that have a crucial role in GNN's prediction. Further, GNNExplainer can generate consistent and concise explanations for an entire class of instances. We formulate GNNExplainer as an optimization task that maximizes the mutual information between a GNN's prediction and distribution of possible subgraph structures. Experiments on synthetic and real-world graphs show that our approach can identify important graph structures as well as node features, and outperforms baselines by 17.1% on average. GNNExplainer provides a variety of benefits, from the ability to visualize semantically relevant structures to interpretability, to giving insights into errors of faulty GNNs.


title: Through-the-Wall Imaging Exploiting 2.4GHz Commodity Wi-Fi

abstract: In this letter, we experimentally investigate a low-cost through-the-wall imaging exploiting Wi-Fi signals in an indoor environment from the perspective of holographic imaging. In our experiments, a pair of antennas in a synthetic aperture mode is used to acquire signals produced by commodity Wi-Fi devices and reflected from the scene in a synthetic aperture mode. The classical filtered back propagation (FBP) algorithm is then employed to form the image based on these signals. We use an IEEE 802.11n wireless router working at 2.4GHz with bandwidth of 20MHz. Selected experimental results are provided to demonstrate the performance of the proposed Wi-Fi based imaging scheme.


title: Multiview 2D/3D Rigid Registration via a Point-Of-Interest Network for Tracking and Triangulation ($\text{POINT}^2$)

abstract: We propose to tackle the problem of multiview 2D/3D rigid registration for intervention via a Point-Of-Interest Network for Tracking and Triangulation ($\text{POINT}^2$). $\text{POINT}^2$ learns to establish 2D point-to-point correspondences between the pre- and intra-intervention images by tracking a set of random POIs. The 3D pose of the pre-intervention volume is then estimated through a triangulation layer. In $\text{POINT}^2$, the unified framework of the POI tracker and the triangulation layer enables learning informative 2D features and estimating 3D pose jointly. In contrast to existing approaches, $\text{POINT}^2$ only requires a single forward-pass to achieve a reliable 2D/3D registration. As the POI tracker is shift-invariant, $\text{POINT}^2$ is more robust to the initial pose of the 3D pre-intervention image. Extensive experiments on a large-scale clinical cone-beam CT (CBCT) dataset show that the proposed $\text{POINT}^2$ method outperforms the existing learning-based method in terms of accuracy, robustness and running time. Furthermore, when used as an initial pose estimator, our method also improves the robustness and speed of the state-of-the-art optimization-based approaches by ten folds.


title: Sharp Bounds for the Arc Lemniscate Sine Function

abstract: The arc lemniscate sine function is given by $$ \mbox{arcsl}(x)=\int_0^x \frac{1}{\sqrt{1-t^4}}dt. $$ In 2017, Mahmoud and Agarwal presented bounds for $\mbox{arcsl}$ in terms of the Lerch zeta function $$ \Phi(z,s,a)=\sum_{k=0}^\infty \frac {z^k}{(k+a)^s}. $$ They proved $$ \frac{1}{8} \, x \, \Phi(x^4, 3/2, 1/4) < \mbox{arcsl}(x)< \frac{1}{4} \, x \, \Phi(x^4,3/2,1/4)\qquad{(0<x<1)}. $$ We %use the monotone form of l'Hopital's rule to show that the factor $1/4$ can be replaced by $\mbox{arcsl}(1)/\Phi(1,3/2,1/4)=0.12836...$. This constant is best possible.


title: Thawing the frozen-in approximation: implications for self-gravity in deeply plunging tidal disruption events

abstract: The tidal destruction of a star by a massive black hole, known as a tidal disruption event (TDE), is commonly modeled using the "frozen-in" approximation. Under this approximation, the star maintains exact hydrostatic balance prior to entering the tidal sphere (radius $r_{\rm t}$), after which point its internal pressure and self-gravity become instantaneously negligible and the debris undergoes ballistic free fall. We present a suite of hydrodynamical simulations of TDEs with high penetration factors $\beta \equiv r_{\rm t}/r_{\rm p} = 5-7$, where $r_{\rm p}$ is the pericenter of the stellar center of mass, calculated using a Voronoi-based moving-mesh technique. We show that basic assumptions of the frozen-in model, such as the neglect of self-gravity inside $r_{\rm t}$, are violated. Indeed, roughly equal fractions of the final energy spread accumulate exiting and entering the tidal sphere, though the frozen-in prediction is correct at the order-of-magnitude level. We also show that an $\mathcal{O}(1)$ fraction of the debris mass remains transversely confined by self-gravity even for large $\beta$ which has implications for the radio emission from the unbound debris and, potentially, for the circularization efficiency of the bound streams.


title: Multivariate Bell Polynomials and Derivatives of Composed Functions

abstract: How do we take repeated derivatives of composed multivariate functions? for one-dimensional functions, the common tools consist of the Fa\'a di Bruno formula with Bell polynomials; while there are extensions of the Fa\'a di Bruno formula, there are no corresponding Bell polynomials. In this paper, we generalize the single-variable Bell polynomials to take vector-valued arguments indexed by multi-indices which we use to rewrite the Fa\'a di Bruno formula to find derivatives of $\textbf{f}(\textbf{g}(\textbf{x}))$.


title: Some criteria for detecting large homomorphisms of local rings

abstract: We study ideals in a local ring $R$ whose quotient rings induce large homomorphisms of local rings. We characterize such ideals over complete intersections, Koszul rings, and over some classes of Golod rings.


title: On the arithmetic of a family of twisted constant elliptic curves

abstract: Let $\mathbb{F}_r$ be a finite field of characteristic $p>3$. For any power $q$ of $p$, consider the elliptic curve $E=E_{q,r}$ defined by $y^2=x^3 + t^q -t$ over $K=\mathbb{F}_r(t)$. We describe several arithmetic invariants of $E$ such as the rank of its Mordell--Weil group $E(K)$, the size of its N\'eron--Tate regulator $\text{Reg}(E)$, and the order of its Tate--Shafarevich group $III(E)$ (which we prove is finite). These invariants have radically different behaviors depending on the congruence class of $p$ modulo 6. For instance $III(E)$ either has trivial $p$-part or is a $p$-group. On the other hand, we show that the product $|III(E)|\text{Reg}(E)$ has size comparable to $r^{q/6}$ as $q\to\infty$, regardless of $p\pmod{6}$. Our approach relies on the BSD conjecture, an explicit expression for the $L$-function of $E$, and a geometric analysis of the N\'eron model of $E$.


title: Cardinality of Wellordered Disjoint Unions of Quotients of Smooth Equivalence Relations

abstract: Assume $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$. Let $\approx$ denote the relation of being in bijection. Let $\kappa \in \mathrm{ON}$ and $\langle E_\alpha : \alpha < \kappa\rangle$ be a sequence of equivalence relations on $\mathbb{R}$ with all classes countable and for all $\alpha < \kappa$, $\mathbb{R} / E_\alpha \approx \mathbb{R}$. Then the disjoint union $\bigsqcup_{\alpha < \kappa} \mathbb{R} / E_\alpha$ is in bijection with $\mathbb{R} \times \kappa$ and $\bigsqcup_{\alpha < \kappa} \mathbb{R} / E_\alpha$ has the J\'onsson property. Assume $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$. A set $X \subseteq [\omega_1]^{<\omega_1}$ has a sequence $\langle E_\alpha : \alpha < \omega_1\rangle$ of equivalence relations on $\mathbb{R}$ such that $\mathbb{R} / E_\alpha \approx \mathbb{R}$ and $X \approx \bigsqcup_{\alpha < \omega_1} \mathbb{R} / E_\alpha$ if and only if $\mathbb{R} \sqcup \omega_1$ injects into $X$. Assume $\mathsf{AD}$. Suppose $R \subseteq [\omega_1]^\omega \times \mathbb{R}$ is a relation such that for all $f \in [\omega_1]^\omega$, $R_f = \{x \in \mathbb{R} : R(f,x)\}$ is nonempty and countable. Then there is an uncountable $X \subseteq \omega_1$ and function $\Phi : [X]^\omega \rightarrow \mathbb{R}$ which uniformizes $R$ on $[X]^\omega$: that is, for all $f \in [X]^\omega$, $R(f,\Phi(f))$. Under $\mathsf{AD}$, if $\kappa$ is an ordinal and $\langle E_\alpha : \alpha < \kappa\rangle$ is a sequence of equivalence relations on $\mathbb{R}$ with all classes countable, then $[\omega_1]^\omega$ does not inject into $\bigsqcup_{\alpha < \kappa} \mathbb{R} / E_\alpha$.


title: Dynamics of Majorana fermions in two-dimensions

abstract: A Majorana fermion is the single fermionic particle that is its own antiparticle. Its dynamics is determined by the Majorana equation where the spinor field $(\psi)$ is by definition equal to its charge-conjugate field $(\psi_c)$. Here, we study the dynamics of Majorana fermions in the presence of the most general static external field in $1+1$ dimensions, which is just a scalar potential, by implementing for the first time the methods of supersymmetric quantum mechanics. In particular, for potentials for which shape invariance holds, we show how to obtain analytical solutions. We find that although this equation does have bound states, it does not have stationary states. The approach is illustrated with a linear potential.


title: Extension theorems for Hamming varieties over finite fields

abstract: We study the finite field extension estimates for Hamming varieties $H_j, j\in \mathbb F_q^*,$ defined by $H_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\},$ where $\mathbb F_q^d$ denotes the $d$-dimensional vector space over a finite field $\mathbb F_q$ with $q$ elements. We show that although the maximal Fourier decay bound on $H_j$ away from the origin is not good, the Stein-Tomas $L^2\to L^r$ extension estimate for $H_j$ holds.


title: Semantics Preserving Adversarial Learning

abstract: While progress has been made in crafting visually imperceptible adversarial examples, constructing semantically meaningful ones remains a challenge. In this paper, we propose a framework to generate semantics preserving adversarial examples. First, we present a manifold learning method to capture the semantics of the inputs. The motivating principle is to learn the low-dimensional geometric summaries of the inputs via statistical inference. Then, we perturb the elements of the learned manifold using the Gram-Schmidt process to induce the perturbed elements to remain in the manifold. To produce adversarial examples, we propose an efficient algorithm whereby we leverage the semantics of the inputs as a source of knowledge upon which we impose adversarial constraints. We apply our approach on toy data, images and text, and show its effectiveness in producing semantics preserving adversarial examples which evade existing defenses against adversarial attacks.


title: Rectangular Bounding Process

abstract: Stochastic partition models divide a multi-dimensional space into a number of rectangular regions, such that the data within each region exhibit certain types of homogeneity. Due to the nature of their partition strategy, existing partition models may create many unnecessary divisions in sparse regions when trying to describe data in dense regions. To avoid this problem we introduce a new parsimonious partition model -- the Rectangular Bounding Process (RBP) -- to efficiently partition multi-dimensional spaces, by employing a bounding strategy to enclose data points within rectangular bounding boxes. Unlike existing approaches, the RBP possesses several attractive theoretical properties that make it a powerful nonparametric partition prior on a hypercube. In particular, the RBP is self-consistent and as such can be directly extended from a finite hypercube to infinite (unbounded) space. We apply the RBP to regression trees and relational models as a flexible partition prior. The experimental results validate the merit of the RBP {in rich yet parsimonious expressiveness} compared to the state-of-the-art methods.


title: Resonantly enhanced nonreciprocal silicon Brillouin amplifier

abstract: The ability to amplify light within silicon waveguides is central to the development of high-performance silicon photonic device technologies. To this end, the large optical nonlinearities made possible through stimulated Brillouin scattering offer a promising avenue for power-efficient all-silicon amplifiers, with recent demonstrations producing several dB of net amplification. However, scaling the degree of amplification to technologically compelling levels (>10 dB), necessary for everything from filtering to small signal detection, remains an important goal. Here, we significantly enhance the Brillouin amplification process by harnessing an inter-modal Brillouin interaction within a multi-spatial-mode silicon racetrack resonator. Using this approach, we demonstrate more than 20 dB of net Brillouin amplification in silicon, advancing state-of-the-art performance by a factor of 30. This degree of amplification is achieved with modest (~15 mW) continuous-wave pump powers and produces low out-of-band noise. Moreover, we show that this same system behaves as a unidirectional amplifier, providing more than 28 dB of optical nonreciprocity without insertion loss in an all-silicon platform. Building on these results, this device concept opens the door to new types of all-silicon injection-locked Brillouin lasers, high-performance photonic filters, and waveguide-compatible distributed optomechanical phenomena.


title: Asymptotic Density of Graphs Excluding Disconnected Minors

abstract: For a graph $H$, let $$c_{\infty}(H)= \lim_{n \to \infty}\max\frac{|E(G)|}{n},$$ where the maximum is taken over all graphs $G$ on $n$ vertices not containing $H$ as a minor. Thus $c_{\infty}(H)$ is the asymptotic maximum density of graphs not containing $H$ as a minor. Employing a structural lemma due to Eppstein, we prove new upper bounds on $c_{\infty}(H)$ for disconnected graphs $H$. In particular, we determine $c_{\infty}(H)$ whenever $H$ is union of cycles. Finally, we investigate the behaviour of $c_\infty(sK_r)$ for fixed $r$, where $sK_r$ denotes the union of $s$ disjoint copies of the complete graph on $r$ vertices. Improving on a result of Thomason, we show that $$c_\infty(sK_r)=s(r-1)-1 \mathrm{\; for \;} s ={\Omega}\left(\frac{\log{r}}{\log\log{r}}\right),$$ and $$c_\infty(sK_r)>s(r-1)-1 \mathrm{\; for \;} s ={o}\left(\frac{\log{r}}{\log\log{r}}\right).$$


title: Equation-of-state insensitive relations after GW170817

abstract: The thermodynamic relation between pressure and density (i.e. the equation of state) of cold supranuclear matter is critical in describing neutron stars, yet it remains one of the largest uncertainties in nuclear physics. The extraction of tidal deformabilities from the gravitational waves emitted in the coalescence of neutron star binaries, such as GW170817, is a promising tool to probe this thermodynamic relation. Equation-of-state insensitive relations between symmetric and antisymmetric combinations of individual tidal deformabilities, the so-called "binary Love relations", have proven important to infer the radius of neutron stars, and thus constrain the equation of state, from such gravitational waves. A similar set of relations between the moment of inertia, the tidal deformability, the quadrupole moment, and the compactness of neutron stars, the so-called `I-Love-Q' and `C-Love' relations, allow for future tests of General Relativity in the extreme gravity regime. But even the most insensitive of such relations still presents some degree of equation-of-state variability that could introduce systematic uncertainties in parameter extraction and in model selection. We here reduce this variability by more than 50% by imposing a prior on the allowed set of equations of state, derived from the posteriors generated from the analysis of GW170817. The resulting increase in insensitivity reduces systematic uncertainties in the extraction of the tidal deformability from future gravitational wave observations, although statistical uncertainties currently dominate the error budget, and will continue to do so until the era of Voyager-class detectors.


title: Fairness for Robust Log Loss Classification

abstract: Developing classification methods with high accuracy that also avoid unfair treatment of different groups has become increasingly important for data-driven decision making in social applications. Many existing methods enforce fairness constraints on a selected classifier (e.g., logistic regression) by directly forming constrained optimizations. We instead re-derive a new classifier from the first principles of distributional robustness that incorporates fairness criteria into a worst-case logarithmic loss minimization. This construction takes the form of a minimax game and produces a parametric exponential family conditional distribution that resembles truncated logistic regression. We present the theoretical benefits of our approach in terms of its convexity and asymptotic convergence. We then demonstrate the practical advantages of our approach on three benchmark fairness datasets.


title: Shape2Motion: Joint Analysis of Motion Parts and Attributes from 3D Shapes

abstract: For the task of mobility analysis of 3D shapes, we propose joint analysis for simultaneous motion part segmentation and motion attribute estimation, taking a single 3D model as input. The problem is significantly different from those tackled in the existing works which assume the availability of either a pre-existing shape segmentation or multiple 3D models in different motion states. To that end, we develop Shape2Motion which takes a single 3D point cloud as input, and jointly computes a mobility-oriented segmentation and the associated motion attributes. Shape2Motion is comprised of two deep neural networks designed for mobility proposal generation and mobility optimization, respectively. The key contribution of these networks is the novel motion-driven features and losses used in both motion part segmentation and motion attribute estimation. This is based on the observation that the movement of a functional part preserves the shape structure. We evaluate Shape2Motion with a newly proposed benchmark for mobility analysis of 3D shapes. Results demonstrate that our method achieves the state-of-the-art performance both in terms of motion part segmentation and motion attribute estimation.


title: Multiplicative weak convergence in Banach $f$-algebras

abstract: In this paper, we study multiplicative weak convergence in Banach f-algebra and multiplicative weak* convergence in its dual.


title: Towards Ultra-Reliable Low-Latency Communications: Typical Scenarios, Possible Solutions, and Open Issues

abstract: Ultra-reliable low-latency communications (URLLC) has been considered as one of the three new application scenarios in the \emph{5th Generation} (5G) \emph {New Radio} (NR), where the physical layer design aspects have been specified. With the 5G NR, we can guarantee the reliability and latency in radio access networks. However, for communication scenarios where the transmission involves both radio access and wide area core networks, the delay in radio access networks only contributes to part of the \emph{end-to-end} (E2E) delay. In this paper, we outline the delay components and packet loss probabilities in typical communication scenarios of URLLC, and formulate the constraints on E2E delay and overall packet loss probability. Then, we summarize possible solutions in the physical layer, the link layer, the network layer, and the cross-layer design, respectively. Finally, we discuss the open issues in prediction and communication co-design for URLLC in wide area large scale networks.


title: Triangular Matrix Categories I: Dualizing Varieties and generalized one-point extension

abstract: Following Mitchell's philosophy, in this paper we define the analogous of the triangular matrix algebra to the context of rings with several objects. Given two additive categories $\mathcal{U}$ and $\mathcal{T}$ and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ we construct the triangular matrix category $\mathbf{\Lambda}:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix}\right]$. First, we prove that there is an equivalence $\Big( \mathsf{Mod}(\mathcal{T}), \mathbb{G}\mathsf{Mod}(\mathcal{U})\Big) \simeq \mathrm{Mod}(\mathbf{\Lambda})$. One of our main results is that if $\mathcal{U}$ and $\mathcal{T}$ are dualizing $K$-varieties and $M\in \mathsf{Mod}(\mathcal{U}\otimes \mathcal{T}^{op})$ satisfies certain conditions then $\mathbf{\Lambda}:=\left[\begin{smallmatrix} \mathcal{T} & 0 \\ M & \mathcal{U} \end{smallmatrix}\right]$ is a dualizing variety (see theorem 6.10). In particular, $\mathrm{mod}(\mathbf{\Lambda})$ has Auslander-Reiten sequences. Finally, we apply the theory developed in this paper to quivers and give a generalization of the so called one-point extension algebra.


title: Two Weighted estimates for multilinear Hausdorff Operators on the Morrey-Herz Spaces

abstract: The purpose of this paper is to establish some neccessary and sufficient conditions for the boundedness of a general class of multilinear Hausdorff operators that acts on the product of some two weighted function spaces such as the two weighted Morrey, Herz and Morrey-Herz spaces. Moreover, some sufficient conditions for the boundedness of multilinear Hausdorff operators on the such spaces with respect to the Muckenhoupt weights are also given.


title: Neural Network Model Extraction Attacks in Edge Devices by Hearing Architectural Hints

abstract: As neural networks continue their reach into nearly every aspect of software operations, the details of those networks become an increasingly sensitive subject. Even those that deploy neural networks embedded in physical devices may wish to keep the inner working of their designs hidden -- either to protect their intellectual property or as a form of protection from adversarial inputs. The specific problem we address is how, through heavy system stack, given noisy and imperfect memory traces, one might reconstruct the neural network architecture including the set of layers employed, their connectivity, and their respective dimension sizes. Considering both the intra-layer architecture features and the inter-layer temporal association information introduced by the DNN design empirical experience, we draw upon ideas from speech recognition to solve this problem. We show that off-chip memory address traces and PCIe events provide ample information to reconstruct such neural network architectures accurately. We are the first to propose such accurate model extraction techniques and demonstrate an end-to-end attack experimentally in the context of an off-the-shelf Nvidia GPU platform with full system stack. Results show that the proposed techniques achieve a high reverse engineering accuracy and improve the one's ability to conduct targeted adversarial attack with success rate from 14.6\%$\sim$25.5\% (without network architecture knowledge) to 75.9\% (with extracted network architecture).


title: Products of Conditional Expectation Operators: Convergence and Divergence

abstract: In this paper, we investigate the convergence of products of conditional expectation operators. We show that if $(\Omega,\cal{F},P)$ is a probability space that is not purely atomic, then divergent sequences of products of conditional expectation operators involving 3 or 4 sub-$\sigma$-fields of $\cal{F}$ can be constructed for a large class of random variables in $L^2(\Omega,\cal{F},P)$. This settles in the negative a long-open conjecture. On the other hand, we show that if $(\Omega,\cal{F},P)$ is a purely atomic probability space, then products of conditional expectation operators involving any finite set of sub-$\sigma$-fields of $\cal{F}$ must converge for all random variables in $L^1(\Omega,\cal{F},P)$.


title: Time-Domain Multiplexed 2-Dimensional Cluster State: Universal Quantum Computing Platform

abstract: Quantum computation promises applications that are thought to be impossible with classical computation. To realize practical quantum computation, the following three properties will be necessary: universality, scalability, and fault-tolerance. Universality is the ability to execute arbitrary multi-input quantum algorithms. Scalability means that computational resources such as logical qubits can be increased without requiring exponential increase in physical resources. Lastly, fault-tolerance is the ability to perform quantum algorithms in presence of imperfections and noise. A promising approach to scalability was demonstrated with the generation of one-million-mode 1-dimensional cluster state, a resource for one-input computation in measurement-based quantum computation (MBQC). The demonstration was based on time-domain multiplexing (TDM) approach using continuous-variable (CV) optical flying qumodes (CV analogue of qubit). Demonstrating universality, however, has been a challenging task for any physical system and approach. Here, we present, for the first time among any physical system, experimental realization of a scalable resource state for universal MBQC: a 2-dimensional cluster state. We also prove the universality and give the methodology for utilizing this state in MBQC. Our state is based on TDM approach that allows unlimited resource generation regardless of the coherence time of the system. As a demonstration of our method, we generate and verify a 2-dimensional cluster state capable of about 5,000 operation steps on 5 inputs.


title: On the convergence of the maximum likelihood estimator for the transition rate under a 2-state symmetric model

abstract: Maximum likelihood estimators are used extensively to estimate unknown parameters of stochastic trait evolution models on phylogenetic trees. Although the MLE has been proven to converge to the true value in the independent-sample case, we cannot appeal to this result because trait values of different species are correlated due to shared evolutionary history. In this paper, we consider a $2$-state symmetric model for a single binary trait and investigate the theoretical properties of the MLE for the transition rate in the large-tree limit. Here, the large-tree limit is a theoretical scenario where the number of taxa increases to infinity and we can observe the trait values for all species. Specifically, we prove that the MLE converges to the true value under some regularity conditions. These conditions ensure that the tree shape is not too irregular, and holds for many practical scenarios such as trees with bounded edges, trees generated from the Yule (pure birth) process, and trees generated from the coalescent point process. Our result also provides an upper bound for the distance between the MLE and the true value.


title: Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots

abstract: Modern cyber-physical systems (e.g., robotics systems) are typically composed of physical and software components, the characteristics of which are likely to change over time. Assumptions about parts of the system made at design time may not hold at run time, especially when a system is deployed for long periods (e.g., over decades). Self-adaptation is designed to find reconfigurations of systems to handle such run-time inconsistencies. Planners can be used to find and enact optimal reconfigurations in such an evolving context. However, for systems that are highly configurable, such planning becomes intractable due to the size of the adaptation space. To overcome this challenge, in this paper we explore an approach that (a) uses machine learning to find Pareto-optimal configurations without needing to explore every configuration and (b) restricts the search space to such configurations to make planning tractable. We explore this in the context of robot missions that need to consider task timeliness and energy consumption. An independent evaluation shows that our approach results in high-quality adaptation plans in uncertain and adversarial environments.


title: Light-Cone Sum Rules Analysis of $\Xi_{QQ^{\prime}q}\to\Lambda_{Q^{\prime}}$ Weak Decays

abstract: We analyze the weak decay of doubly-heavy baryon decays into anti-triplets $\Lambda_Q$ with light-cone sum rules. To calculate the decay form factors, both bottom and charmed anti-triplets $\Lambda_b$ and $\Lambda_c$ are described by the same set of leading twist light-cone distribution functions. With the obtained form factors, we perform a phenomenology study on the corresponding semi-leptonic decays. The decay widths are calculated and the branching ratios given in this work are expected to be tested by future experimental data, which will help us to understand the underlying dynamics in doubly-heavy baryon decays.


title: A Motivational Game-Theoretic Approach for Peer-to-Peer Energy Trading in the Smart Grid

abstract: Peer-to-peer trading in energy networks is expected to be exclusively conducted by the prosumers of the network with negligible influence from the grid. This raises the critical question: how can enough prosumers be encouraged to participate in peer-to-peer trading so as to make its operation sustainable and beneficial to the overall electricity network? To this end, this paper proposes how a motivational psychology framework can be used effectively to design peer-to-peer energy trading to increase user participation. To do so, first, the state-of-the-art of peer-to-peer energy trading literature is discussed by following a systematic classification, and gaps in existing studies are identified. Second, a motivation psychology framework is introduced, which consists of a number of motivational models that a prosumer needs to satisfy before being convinced to participate in energy trading. Third, a game-theoretic peer-to-peer energy trading scheme is developed, its relevant properties are studied, and it is shown that the coalition among different prosumers is a stable coalition. Fourth, through numerical case studies, it is shown that the proposed model can reduce carbon emissions by 18.38% and 9.82% in a single day in Summer and Winter respectively compared to a feed-in-tariff scheme. The proposed scheme is also shown to reduce the cost of energy up to 118 cents and 87 cents per day in Summer and Winter respectively. Finally, how the outcomes of the scheme satisfy all the motivational psychology models is discussed, which subsequently shows its potential to attract users to participate in energy trading.


title: Cardinality of the Dickson permutation's group of polynomials on $\mathbb{Z}_n$

abstract: Let $G_n$ be the group of permutations on $\mathbb{Z}_n$ that is induced by a Dickson polynomial, where $n$ is a positive integer. In this work, by solving special types of systems of linear congruences, we obtain $G_n$. In addition, we give an a algorithm that gets $|G_n|$.