title: Linkage Mechanisms Governed by Integrable Deformations of Discrete Space Curves

abstract: A linkage mechanism consists of rigid bodies assembled by joints which can be used to translate and transfer motion from one form in one place to another. In this paper, we are particularly interested in a family of spacial linkage mechanisms which consist of $n$-copies of a rigid body joined together by hinges to form a ring. Each hinge joint has its own axis of revolution and rigid bodies joined to it can be freely rotated around the axis. The family includes the famous threefold symmetric Bricard6R linkage also known as the Kaleidocycle, which exhibits a characteristic "turning over" motion. We can model such a linkage as a discrete closed curve in $\mathbb{R}^3$ with a constant torsion up to sign. Then, its motion is described as the deformation of the curve preserving torsion and arc length. We describe certain motions of this object that are governed by the semi-discrete mKdV equations, where infinitesimally the motion of each vertex is confined in the osculating plane.


title: Deterministic Approximation of Random Walks in Small Space

abstract: We give a deterministic, nearly logarithmic-space algorithm that given an undirected graph $G$, a positive integer $r$, and a set $S$ of vertices, approximates the conductance of $S$ in the $r$-step random walk on $G$ to within a factor of $1+\epsilon$, where $\epsilon>0$ is an arbitrarily small constant. More generally, our algorithm computes an $\epsilon$-spectral approximation to the normalized Laplacian of the $r$-step walk. Our algorithm combines the derandomized square graph operation (Rozenman and Vadhan, 2005), which we recently used for solving Laplacian systems in nearly logarithmic space (Murtagh, Reingold, Sidford, and Vadhan, 2017), with ideas from (Cheng, Cheng, Liu, Peng, and Teng, 2015), which gave an algorithm that is time-efficient (while ours is space-efficient) and randomized (while ours is deterministic) for the case of even $r$ (while ours works for all $r$). Along the way, we provide some new results that generalize technical machinery and yield improvements over previous work. First, we obtain a nearly linear-time randomized algorithm for computing a spectral approximation to the normalized Laplacian for odd $r$. Second, we define and analyze a generalization of the derandomized square for irregular graphs and for sparsifying the product of two distinct graphs. As part of this generalization, we also give a strongly explicit construction of expander graphs of every size.


title: The Radiation Structure of PSR B2016$+$28 Observed with FAST

abstract: With the largest dish Five-hundred-meter Aperture Spherical radio Telescope (FAST), both the mean and single pulses of PSR B2016$+$28, especially including the single-pulse structure, are investigated in detail in this study. The mean pulse profiles at different frequencies can be well fitted in a conal model, and the peak separation of intensity-dependent pulse profiles increases with intensity. The integrated pulses are obviously frequency dependent (pulse width decreases by $\sim\,20\%$ as frequency increases from 300 MHz to 750 MHz), but the structure of single pulses changes slightly (the corresponding correlation scale decreases by only $\sim\,1\%$). This disparity between mean and single pulses provides independent evidence for the existence of the RS-type vacuum inner gap, indicating a strong bond between particles on the pulsar surface. Diffused drifting sub-pulses are analyzed. The results show that the modulation period along pulse series ($P_3$) is positively correlated to the separation between two adjacent sub-pulses ($P_2$). This correlation may hint a rough surface on the pulsar, eventually resulting in the irregular drift of sparks. All the observational results may have significant implications in the dynamics of pulsar magnetosphere and are discussed extensively in this paper.


title: On the graded algebras associated with Hecke symmetries

abstract: We consider quantum symmetric algebras, FRT bialgebras and, more generally, intertwining algebras for pairs of Hecke symmetries which represent quantum hom-spaces. The paper makes an attempt to investigate Koszulness and Gorensteinness of those graded algebras without a restriction on the parameter q of the Hecke relation used earlier. When q is a root of 1, positive results require a restriction on the indecomposable modules for the Hecke algebras of type A that can occur as direct summands of representations in the tensor powers of the base space.


title: Study of Three Rotating Radio Transients with FAST

abstract: Rotating radio transients (RRATs) are peculiar astronomical objects whose emission mechanism remains under investigation. In this paper, we present observations of three RRATs, J1538+2345, J1854+0306 and J1913+1330, observed with the Five-hundred-meter Aperture Spherical radio Telescope (FAST). Specifically, we analyze the mean pulse profiles and temporal flux density evolutions of the RRATs. Owing to the high sensitivity of FAST, the derived burst rates of the three RRATs are higher than those in previous reports. RRAT J1854+0306 exhibited a time-dynamic mean pulse profile, whereas RRAT J1913+1330 showed distinct radiation and nulling segments on its pulse intensity trains. The mean pulse profile variation with frequency is also studied for RRAT J1538+2345 and RRAT J1913+1330, and the profiles at different frequencies could be well fitted with a cone-core model and a conal-beam model, respectively.


title: Herding an Adversarial Attacker to a Safe Area for Defending Safety-Critical Infrastructure

abstract: This paper investigates a problem of defending safety-critical infrastructure from an adversarial aerial attacker in an urban environment. A circular arc formation of defenders is formed around the attacker, and vector-field based guidance laws herd the attacker to a predefined safe area in the presence of rectangular obstacles. The defenders' formation is defined based on a novel vector field that imposes super-elliptic contours around the obstacles, to closely resemble their rectangular shape. A novel finite-time stabilizing controller is proposed to guide the defenders to their desired formation while avoiding obstacles and inter-agent collisions. The efficiency of the approach is demonstrated via simulation results.


title: Relating eccentricity fluctuations to density fluctuations in heavy-ion collisions

abstract: The magnitude of anisotropic flow in a nucleus-nucleus collision is determined by the energy density field, $\rho(x,y,z)$, created right after the collision occurs. Specifically, elliptic flow, $v_2$, and triangular flow, $v_3$, are proportional to the anisotropy coefficients $\varepsilon_2$ and $\varepsilon_3$, which are functionals of $\rho$. We express the mean and the variance of $\varepsilon_2$ and $\varepsilon_3$ as a function of the 1- and 2-point functions of $\rho$. These results generalize results obtained previously, that were valid only for central collisions, or only for identical point-like sources. We apply them to the color glass condensate effective theory, using the recently derived expression of the 2-point function.


title: Fast influencers in complex networks

abstract: Influential nodes in complex networks are typically defined as those nodes that maximize the asymptotic reach of a spreading process of interest. However, for practical applications such as viral marketing and online information spreading, one is often interested in maximizing the reach of the process in a short amount of time. The traditional definition of influencers in network-related studies from diverse research fields narrows down the focus to the late-time state of the spreading processes, leaving the following question unsolved: which nodes are able to initiate large-scale spreading processes, in a limited amount of time? Here, we find that there is a fundamental difference between the nodes -- which we call "fast influencers" -- that initiate the largest-reach processes in a short amount of time, and the traditional, "late-time" influencers. Stimulated by this observation, we provide an extensive benchmarking of centrality metrics with respect to their ability to identify both the fast and late-time influencers. We find that local network properties can be used to uncover the fast influencers. In particular, a parsimonious, local centrality metric (which we call social capital) achieves optimal or nearly-optimal performance in the fast influencer identification for all the analyzed empirical networks. Local metrics tend to be also competitive in the traditional, late-time influencer identification task.


title: Robust Decidability of Sampled-Data Control of Nonlinear Systems with Temporal Logic Specifications

abstract: This paper explores the theoretical limits of using discrete abstractions for nonlinear control synthesis. More specifically, we consider the problem of deciding continuous-time control with temporal logic specifications. We prove that sampled-data control of nonlinear systems with temporal logic specifications is robustly decidable in the sense that, given a continuous-time nonlinear control system and a temporal logic formula, one can algorithmically decide whether there exists a robust sampled-data control strategy to realize this specification when the right-hand side of the system is slightly perturbed by a small disturbance. If the answer is positive, one can then construct a (potentially less) robust sampled-data control strategy that realizes the same specification. The result is proved by constructing a robustly complete abstraction of the original continuous-time control system using sufficiently small discretization parameters. We illustrate the result with a nonlinear control example.


title: Comparison theorems for torus-equivariant elliptic cohomology theories

abstract: In 1994, Grojnowski gave a construction of an equivariant elliptic cohomology theory associated to an elliptic curve over the complex numbers. Grojnowski's construction has seen numerous applications in algebraic topology and geometric representation theory, however the construction is somewhat ad hoc and there has been significant interest in the question of its geometric interpretation. We show that there are two global models for Grojnowski's theory, which shed light on its geometric meaning. The first model is constructed as the Borel-equivariant cohomology of a double free loop space, and is a holomorphic version of a construction of Rezk from 2016. The second model is constructed as the loop group-equivariant K-theory of a free loop space, and is a slight modification of a construction given in 2014 by Kitchloo, motivated by ideas in conformal field theory. We investigate the properties of each model and show that each is isomorphic to Grojnowski's theory, for any given elliptic curve.


title: Product number counting statistics from stochastic bursting birth-death processes

abstract: Bursting and non-renewal processes are common phenomena in birth-death process, yet no theory can quantitatively describe a non-renewal birth process with bursting. Here, we present a theoretical model that yields the product number counting statistics of product creation occurring in bursts and of a non-renewal creation process. When product creation is a stationary process, our model confirms that product number fluctuation decreases with an increase in the product lifetime fluctuation, originating from the non-Poisson degradation dynamics, a result obtained in previous work. Our model additionally demonstrates that the dependence of product number fluctuation on product lifetime fluctuation varies with time, when product creation is a non-stationary process. We find that bursting increases product number fluctuation, compared to birth-processes without bursting. At time zero, in a burst-less birth process, product number fluctuation is unsurprisingly found to be zero, but we discover that, in a bulk creation process characterized by bursting, product number fluctuation is a finite value at time zero. The analytic expressions we obtain are applicable to many fields related to the study system population, such as queueing models and gene expression.


title: Affine Point Processes: Refinements to Large-Time Asymptotics

abstract: Affine point processes are a class of simple point processes with self- and mutually-exciting properties, and they have found useful applications in several areas. In this paper, we obtain large-time asymptotic expansions in large deviations and refined central limit theorem for affine point processes, using the framework of mod-phi convergence. Our results extend the large-time limit theorems in [Zhang et al. 2015. Math. Oper. Res. 40(4), 797-819]. The resulting explicit approximations for large deviation probabilities and tail expectations can be used as an alternative to importance sampling Monte Carlo simulations. Numerical experiments illustrate our results.


title: A Multi-Agent Off-Policy Actor-Critic Algorithm for Distributed Reinforcement Learning

abstract: This paper extends off-policy reinforcement learning to the multi-agent case in which a set of networked agents communicating with their neighbors according to a time-varying graph collaboratively evaluates and improves a target policy while following a distinct behavior policy. To this end, the paper develops a multi-agent version of emphatic temporal difference learning for off-policy policy evaluation, and proves convergence under linear function approximation. The paper then leverages this result, in conjunction with a novel multi-agent off-policy policy gradient theorem and recent work in both multi-agent on-policy and single-agent off-policy actor-critic methods, to develop and give convergence guarantees for a new multi-agent off-policy actor-critic algorithm.


title: Collisional Elongation: Possible Origin of Extremely Elongated Shape of 1I/`Oumuamua

abstract: Light curve observations of a recently discovered interstellar object 1I/`Oumuamua suggest that this object has an extremely elongated shape with the axis ratio 0.3 or smaller. Planetesimal collisions can produce irregular shapes including elongated shapes. In this paper, we suggest that the extremely elongated shape of 1I/`Oumuamua may be the result of such an impact. To find detailed impact conditions to form the extremely elongated objects, we conduct numerical simulations of planetesimal collisions using Smoothed Particle Hydrodynamics method for elastic dynamics with self-gravity and interparticle friction. Impacts into strengthless target planetesimals with radius 50 m are conducted with various ratios of impactor mass to target mass q, friction angles phi_d, impact velocities v_imp, and impact angles theta_imp. We find that impacts with q \geq 0.5, phi_d \geq 40 degrees, v_imp \leq 40 degrees, and theta_imp \leq 30 degrees produce remnants with the ratio of intermediate to major axis length less than 0.3. This impact condition suggests that the parent protoplanetary disk in the planetesimal collision stage was weakly turbulent (alpha < 10^{-4} for the inner disk) and composed of planetesimals smaller than ~ 7 km to ensure small impact velocity.


title: Extremely asymmetrical acoustic metasurface mirror at the exceptional point

abstract: Previous research has attempted to minimize the influence of loss in reflection- and transmission-type acoustic metasurfaces. This letter shows that, by treating the acoustic metasurface as a non-Hermitian system and by harnessing loss, unconventional wave behaviors that do not exist in lossless metasurfaces can be uncovered. Specifically, we theoretically and experimentally demonstrate a non-Hermitian acoustic metasurface mirror featuring extremely asymmetrical reflection at the exception point. As an example, the metasurface mirror is designed to have high-efficiency retro-reflection when the wave incidents from one side and complete absorption when the wave incidents from the other side. This work marries conventional gradient index metasurfaces with the exception point from non-Hermitian systems, and paves the way for identifying new mechanisms and functionalities for wave manipulation.


title: Exploiting product molecule number to consider reaction rate fluctuation in elementary reactions

abstract: In many chemical reactions, reaction rate fluctuation is inevitable. Reaction rates are different whenever chemical reaction occurs due to their dependence on the number of reaction events or the product number. As such, understanding the impact of rate fluctuation on product number counting statistics is of the utmost importance when developing a quantitative explanation of chemical reactions. In this work, we present a master equation that describes reaction rates as a function of product number and time. Our equal reveals the relationship between the reaction rate and product number fluctuation. Product number counting statistics uncovers a stochastic property of the product number; product number directly manipulates the reaction rate. Specifically, we find that product number shows super-Poisson characteristics when the product number increases, inducing an increase in the reaction rate. While, on the other hand, when the product number shows sub-Poisson characteristics with an increase in the product number, this is induced by a decrease in the reaction rate. Furthermore, our analysis exploits reaction rate fluctuation, enabling the quantification of the deviation of an elementary reaction process from a renewal process.


title: Understanding photon sphere and black hole shadow in dynamically evolving spacetimes

abstract: We have derived the differential equation governing the evolution of the photon sphere for dynamical black hole spacetimes with or without spherical symmetry. Numerical solution of the same depicting evolution of the photon sphere has been presented for Vaidya, Reissner-Nordstr\"{o}m-Vaidya and de-Sitter Vaidya spacetimes. It has been pointed out that evolution of the photon sphere depends crucially on the validity of the null energy condition by the in-falling matter and may present an observational window to even test it through black hole shadow. We have also presented the evolution of the photon sphere for slowly rotating Kerr-Vaidya spacetime and associated structure of black hole shadow. Finally, the effective graviton metric for Einstein-Gauss-Bonnet gravity has been presented, and the graviton sphere has been contrasted with the photon sphere in this context.


title: The Hilbert scheme of a pair of linear spaces

abstract: Let $\mathcal{H}_{a,b}^n$ denote the component of the Hilbert scheme whose general point parameterizes an $a$-plane union a $b$-plane meeting transversely in $\mathbf{P}^n$. We show that $\mathcal{H}_{a,b}^n$ is smooth and isomorphic to successive blow ups of $\mathbf{Gr}(a,n) \times \mathbf{Gr}(b,n)$ or $\text{Sym}^2 \mathbf{Gr}(a,n)$ along certain incidence correspondences. We classify the subschemes parameterized by $\mathcal{H}_{a,b}^n$ and show that this component has a unique Borel fixed point. We also study the birational geometry of this component. In particular, we describe the effective and nef cones of $\mathcal{H}_{a,b}^n$ and determine when the component is Fano. Moreover, we show that $\mathcal{H}_{a,b}^n$ is a Mori dream space for all values of $a,b,n$.


title: Characterizations of topological manifolds modeled on absorbing sets in non-separable Hilbert spaces and the discrete cells property

abstract: In this paper, we characterize infinite-dimensional manifolds modeled on absorbing sets in non-separable Hilbert spaces by using the discrete cells property, which is a general position property. Moreover, we study the discrete (locally finite) approximation property, which is an extension of the discrete cells property.


title: Enabling Spike-based Backpropagation for Training Deep Neural Network Architectures

abstract: Spiking Neural Networks (SNNs) have recently emerged as a prominent neural computing paradigm. However, the typical shallow SNN architectures have limited capacity for expressing complex representations while training deep SNNs using input spikes has not been successful so far. Diverse methods have been proposed to get around this issue such as converting off-the-shelf trained deep Artificial Neural Networks (ANNs) to SNNs. However, the ANN-SNN conversion scheme fails to capture the temporal dynamics of a spiking system. On the other hand, it is still a difficult problem to directly train deep SNNs using input spike events due to the discontinuous, non-differentiable nature of the spike generation function. To overcome this problem, we propose an approximate derivative method that accounts for the leaky behavior of LIF neurons. This method enables training deep convolutional SNNs directly (with input spike events) using spike-based backpropagation. Our experiments show the effectiveness of the proposed spike-based learning on deep networks (VGG and Residual architectures) by achieving the best classification accuracies in MNIST, SVHN and CIFAR-10 datasets compared to other SNNs trained with a spike-based learning. Moreover, we analyze sparse event-based computations to demonstrate the efficacy of the proposed SNN training method for inference operation in the spiking domain.


title: A Deep Learning Approach for Automotive Radar Interference Mitigation

abstract: In automotive systems, a radar is a key component of autonomous driving. Using transmit and reflected radar signal by a target, we can capture the target range and velocity. However, when interference signals exist, noise floor increases and it severely affects the detectability of target objects. For these reasons, previous studies have been proposed to cancel interference or reconstruct original signals. However, the conventional signal processing methods for canceling the interference or reconstructing the transmit signals are difficult tasks, and also have many restrictions. In this work, we propose a novel approach to mitigate interference using deep learning. The proposed method provides high performance in various interference conditions and has low processing time. Moreover, we show that our proposed method achieves better performance compared to existing signal processing methods.


title: Vector and Scalar Mesons' Mixing from QCD Sum Rules

abstract: We study $\bar qq$-hybrid mixing for the light vector mesons and $\bar qq$-glueball mixing for the light scalar mesons in Monte-Carlo based QCD Laplace sum rules. By calculating the two-point correlation function of a vector $\bar q\gamma_\mu q$ (scalar $\bar q q$) current and a hybrid (glueball) current we are able to estimate the mass and the decay constants of the corresponding mixed "physical state" that couples to both currents. Our results do not support strong quark/gluonic mixing for either the $1^{--}$ or the $0^{++}$ states.


title: Soft and hard liberation of compact Lie groups

abstract: We investigate the liberation question for the compact Lie groups, by using various "soft" and "hard" methods, based respectively on joint generation with a free quantum group, and joint generation with a free torus. The soft methods extend the "easy" methods, notably by covering groups like $SO_N,SU_N$, and the hard methods partly extend the soft methods, notably by covering the real and complex tori themselves.


title: Pulsar Candidate Selection Using Ensemble Networks for FAST Drift-Scan Survey

abstract: The Commensal Radio Astronomy Five-hundred-meter Aperture Spherical radio Telescope (FAST) Survey (CRAFTS) utilizes the novel drift-scan commensal survey mode of FAST and can generate billions of pulsar candidate signals. The human experts are not likely to thoroughly examine these signals, and various machine sorting methods are used to aid the classification of the FAST candidates. In this study, we propose a new ensemble classification system for pulsar candidates. This system denotes the further development of the pulsar image-based classification system (PICS), which was used in the Arecibo Telescope pulsar survey, and has been retrained and customized for the FAST drift-scan survey. In this study, we designed a residual network model comprising 15 layers to replace the convolutional neural networks (CNNs) in PICS. The results of this study demonstrate that the new model can sort >96% of real pulsars to belong the top 1% of all candidates and classify >1.6 million candidates per day using a dual--GPU and 24--core computer. This increased speed and efficiency can help to facilitate real-time or quasi-real-time processing of the pulsar-search data stream obtained from CRAFTS. In addition, we have published the labeled FAST data used in this study online, which can aid in the development of new deep learning techniques for performing pulsar searches.


title: Dual-Component Plasma Lens Models

abstract: In contrast to the converging, achromatic behaviour of axisymmetric gravitational lenses, diverging frequency-dependent lensing occurs from refraction due to a distribution of over-dense axisymmetric plasma along an observer's line of sight. Such plasma lenses are particularly interesting from the point of view of astronomical observations because they can both magnify and dim the appearance of background sources as a function of frequency. Plasma lensing is believed to be involved in a number of separate phenomena involving the scintillation of radio pulsars, extreme scattering events of background radio sources and may also play a role in the generation of fast radio bursts. These lensing phenomena are believed to occur in dense environments, in which there may be many density perturbations between an observer and background source. In this work we generalize individual plasma lens models to produce dual component lenses using families of plasma lens models previously studied in the literature, namely the exponential and softened power-law lenses. Similar to binary gravitational lens models, these dual component plasma lenses feature a rich and complex critical and caustic morphology, as well as generate more complicated light curves. We map the number of criticals formed for a given component separation and angular size, and highlight a relevant degeneracy between two particular models. This work provides an argument in favor of close monitoring of extreme scattering events in progress in order to break such model degeneracies.


title: Thermal boundary conductance and phonon transmission in hexagonal boron nitride/graphene heterostructures

abstract: Increased power density in modern microelectronics has led to thermal management challenges which can cause degradation in performance and reliability. In many high-power electronic devices, the power consumption and heat removal are limited by the thermal boundary conductance (TBC) at the interfaces of dissimilar materials. Two-dimensional (2D) materials such as graphene and hexagonal boron nitride (h-BN) have attracted interest as a conductor/insulator pair in next-generation devices because of their unique physical properties; however, the thermal transport at the interfaces must be understood to accurately predict the performance of heterostructures composed of these materials. We use time-domain thermoreflectance (TDTR) to estimate the TBC at the interface of h-BN and graphene to be 35.1 MW/m2-K. We compare the phonon transmission and TBC at the h-BN/graphene interface predicted by two different formulations of the diffuse mismatch model (DMM) for anisotropic materials. The piecewise anisotropic DMM model, which uses two different phonon velocities near the center and at edge of the first Brillouin zone, results in better prediction of phonon transmission rates. The phonon transmission and temperature dependence of TBC confirms the flexural branch in ab-plane and c-plane longitudinal acoustic branch of graphene and h-BN are the dominant contributor when implementing both the A-DMM and PWA-DMM models. The methodology used here can be employed to heterostructures of other 2D materials.


title: Time-dependent Hartree-Fock plus Langevin approach for hot fusion reactions to synthesize the $Z=120$ superheavy element

abstract: We develop a novel approach to fusion reactions for syntheses of superheavy elements, which combines the time-dependent Hartree-Fock (TDHF) method with a dynamical diffusion model based on the Langevin equation. In this approach, the distance of the closest approach for the capture process is estimated within the TDHF approach, which is then plugged into the dynamical diffusion model as an initial condition. We apply this approach to hot fusion reactions leading to formation of the element $Z=120$, that is, the $^{48}$Ca+$^{254,257}$Fm, $^{51}$V+$^{249}$Bk, and $^{54}$Cr+$^{248}$Cm reactions. Our calculations indicate that the distances of the closest approach for these systems are similar to each other and thus the difference in the probabilities of evaporation residue formation among those reaction systems originates mainly from the evaporation process, which is sensitive to the fission barrier height and the excitation energy of a compound nucleus.


title: Non-equilibrium steady structures of confined liquid crystals driven by a dynamic boundary

abstract: Steady structures originating from dynamic self-assembly have begun to show their advantages in new generation materials, and pose challenges to equilibrium self-assembly. In view of the important role of confinement in self-assembly, here, we propose a new type of confinement leading to dynamic steady structures, which opens a new window for the conventional confinement. In our model, we consider the self-assembly of ellipsoids in 2D circular confinement via the boundary performing periodically stretching and contracting oscillation. Langevin dynamics simulations reveal the achievement of non-equilibrium steady structures under appropriate boundary motions, which are novel smectic structures with stable topological defects. Different from the confinement with a static boundary, ellipsoids close to the boundary have variable orientations depending on the boundary motion. Order-order structural transitions, accompanied by the symmetry change and varied defect number, occur with the change of oscillating amplitude and/or frequency of the boundary. Slow and fast dynamics are distinguished according to whether structural rearrangements and energetic adjustment happen or not. The collective motion of confined ellipsoids, aroused by the work performed on the system, is the key factor determining both the structure and dynamics of the self-assembly. Our results not only achieve novel textures of circular confined liquid crystals, but also inspire us to reconsider the self-assembly within the living organisms.


title: Pricing and Routing Mechanisms for Differentiated Services in an Electric Vehicle Public Charging Station Network

abstract: We consider a Charging Network Operator (CNO) that owns a network of Electric Vehicle (EV) public charging stations and wishes to offer a menu of differentiated service options for access to its stations. This involves designing optimal pricing and routing schemes for the setting where users cannot directly choose which station they use. Instead, they choose their priority level and energy request amount from the differentiated service menu, and then the CNO directly assigns them to a station on their path. This allows higher priority users to experience lower wait times at stations, and allows the CNO to directly manage demand, exerting a higher level of control that can be used to manage the effect of EV on the grid and control station wait times. We consider the scenarios where the CNO is a social welfare-maximizing or a profit-maximizing entity, and in both cases, design pricing-routing policies that ensure users reveal their true parameters to the CNO.


title: Topological order in a color-flavor locked phase of $(3+1)$-dimensional $U(N)$ gauge-Higgs system

abstract: We study a $(3+1)$-dimensional $U(N)$ gauge theory with $N$-flavor fundamental scalar fields, whose color-flavor locked (CFL) phase has topologically stable non-Abelian vortices. The $U(1)$ charge of the scalar fields must be $Nk+1$ for some integer $k$ in order for them to be in the representation of $U(N)$ gauge group. This theory has a $\mathbb{Z}_{Nk+1}$ one-form symmetry, and it is spontaneously broken in the CFL phase, i.e., the CFL phase is topologically ordered if $k\not=0$. We also find that the world sheet of topologically stable vortices in CFL phase can generate this one-form symmetry.


title: Equations for fields with additional fundamental physical constants

abstract: The author investigates the general Lie algebra of operators of coordinates, momenta, and Lorentz group generators, which can be used in quantum gravity, theories with generalized uncertainty principle, double and triple relativity and theories with noncommutative space-time and momentum spaces. The structure constants of this algebra depend on the constants {\it c} and {\it h}, as well as additional constants with dimensions of action ({\it H}), length ({\it L}), and mass ({\it M}). In the limiting case of infinite {\it H}, {\it L}, and {\it M}, the algebra goes into that of operators of the canonical quantum theory in Minkowski space-time. Some representations of this algebra and equations for generalized fields depending on additional fundamental physical constants are given.


title: Did You Miss the Sign? A False Negative Alarm System for Traffic Sign Detectors

abstract: Object detection is an integral part of an autonomous vehicle for its safety-critical and navigational purposes. Traffic signs as objects play a vital role in guiding such systems. However, if the vehicle fails to locate any critical sign, it might make a catastrophic failure. In this paper, we propose an approach to identify traffic signs that have been mistakenly discarded by the object detector. The proposed method raises an alarm when it discovers a failure by the object detector to detect a traffic sign. This approach can be useful to evaluate the performance of the detector during the deployment phase. We trained a single shot multi-box object detector to detect traffic signs and used its internal features to train a separate false negative detector (FND). During deployment, FND decides whether the traffic sign detector (TSD) has missed a sign or not. We are using precision and recall to measure the accuracy of FND in two different datasets. For 80% recall, FND has achieved 89.9% precision in Belgium Traffic Sign Detection dataset and 90.8% precision in German Traffic Sign Recognition Benchmark dataset respectively. To the best of our knowledge, our method is the first to tackle this critical aspect of false negative detection in robotic vision. Such a fail-safe mechanism for object detection can improve the engagement of robotic vision systems in our daily life.


title: Reconfigurable Multitask Audio Dynamics Processing Scheme

abstract: Automatic speech recognition (ASR), audio quality, and loudness are key performance indicators (KPIs) in smart speakers. To improve all these KPIs, audio dynamics processing is a crucial component in related systems. Unfortunately, single-band and existing multiband dynamics processing (MBDP) schemes fail to maximize bass and loudness but even produce unwanted peaks, distortions, and nonlinear echo so that an optimized ASR performance cannot be achieved. It has been a goal in both industry and academia to find a better audio dynamics processing for mitigating these problems. To provide such a desired solution, this paper proposes a novel reconfigurable multitask MBDP scheme through a global optimization framework. Through extensive testing, we show the accuracy and effectiveness of the proposed scheme in terms of bass and loudness maximization, distortion and nonlinear echo reduction, browning-out prevention, and significant ASR performance improvement.


title: Full Attitude Control of an Efficient Quadrotor Tail-sitter VTOL UAV with Flexible Modes

abstract: In this paper, we present a full attitude control of an efficient quadrotor tail-sitter VTOL UAV with flexible modes. This control system is working in all flight modes without any control surfaces but motor differential thrusts. This paper concentrates on the design of the attitude controller and the altitude controller. For the attitude control, the controller's parameters and filters are optimized based on the frequency response model which is identified from the sweep experiment. As a result, the effect of system flexible modes is easily compensated in frequency-domain by using a notch filter, and the resulting attitude loop shows superior tracking performance and robustness. In the coordinated flight condition, the altitude controller is structured as the feedforward-feedback parallel controller. The feedforward thrust command is calculated based on the current speed and the pitch angle. Tests in hovering, forward accelerating and forward decelerating flights have been conducted to verify the proposed control system.


title: AccFlow: Defending Against the Low-Rate TCP DoS Attack in Wireless Sensor Networks

abstract: Because of the open nature of the Wireless Sensor Networks (WSN), the Denial of the Service (DoS) becomes one of the most serious threats to the stability of the resourceconstrained sensor nodes. In this paper, we develop AccFlow which is an incrementally deployable Software-Defined Networking based protocol that is able to serve as a countermeasure against the low-rate TCP DoS attack. The main idea of AccFlow is to make the attacking flows accountable for the congestion by dropping their packets according to their loss rates. The larger their loss rates, the more aggressively AccFlow drops their packets. Through extensive simulations, we demonstrate that AccFlow can effectively defend against the low-rate TCP DoS attack even if attackers vary their strategies by attacking at different scales and data rates. Furthermore, while AccFlow is designed to solve the low-rate TCP DoS attack, we demonstrate that AccFlow can also effectively defend against general DoS attacks which do not rely on the TCP retransmission timeout mechanism but cause denial of service to legitimate users by consistently exhausting the network resources. Finally, we consider the scalability of AccFlow and its deployment in real networks.


title: Degenerating the butterfly attractor in a plasma perturbation model using nonlinear controllers

abstract: In this work, the dynamical behaviors of a low-dimensional model, which governs the interplay between a driver associated with pressure gradient and relaxation of instability due to magnetic field perturbations, are investigated. Besides that, two nonlinear controllers are constructed precisely to shift the equilibria of the plasma model apart from each other. Simulation results show that shifting the equilibria can change the spacing of chaotic attractors, and subsequently break the butterfly wings into one or two symmetric pair of coexisting chaotic attractors. Furthermore, stretching the equilibria of the system apart enough from each other gives rise to degenerate the butterfly wings into several periodic orbits. In addition, with appropriate initial conditions, the complex multistability behaviors including the coexistence of butterfly chaotic attractor with two point attractors, the coexistence of transient transition chaos with completely quasi-periodic behavior, and the coexistence of symmetric Hopf bifurcations are also observed.


title: COCO: The Large Scale Black-Box Optimization Benchmarking (bbob-largescale) Test Suite

abstract: The bbob-largescale test suite, containing 24 single-objective functions in continuous domain, extends the well-known single-objective noiseless bbob test suite, which has been used since 2009 in the BBOB workshop series, to large dimension. The core idea is to make the rotational transformations R, Q in search space that appear in the bbob test suite computationally cheaper while retaining some desired properties. This documentation presents an approach that replaces a full rotational transformation with a combination of a block-diagonal matrix and two permutation matrices in order to construct test functions whose computational and memory costs scale linearly in the dimension of the problem.


title: DFineNet: Ego-Motion Estimation and Depth Refinement from Sparse, Noisy Depth Input with RGB Guidance

abstract: Depth estimation is an important capability for autonomous vehicles to understand and reconstruct 3D environments as well as avoid obstacles during the execution. Accurate depth sensors such as LiDARs are often heavy, expensive and can only provide sparse depth while lighter depth sensors such as stereo cameras are noiser in comparison. We propose an end-to-end learning algorithm that is capable of using sparse, noisy input depth for refinement and depth completion. Our model also produces the camera pose as a byproduct, making it a great solution for autonomous systems. We evaluate our approach on both indoor and outdoor datasets. Empirical results show that our method performs well on the KITTI~\cite{kitti_geiger2012we} dataset when compared to other competing methods, while having superior performance in dealing with sparse, noisy input depth on the TUM~\cite{sturm12iros} dataset.


title: Numerical simulations of modulated waves in a higher-order Dysthe equation

abstract: The nonlinear stage of the modulational (Benjamin - Feir) instability of unidirectional deep water surface gravity waves is simulated numerically by the firth-order nonlinear envelope equations. The conditions of steep and breaking waves are concerned. The results are compared with the solution of the full potential Euler equations and with the lower order envelope models (the 3-order nonlinear Schrodinger equation and the standard 4-order Dysthe equations). The generalized Dysthe model is shown to exhibit the tendency to re-stabilization of steep waves with respect to long perturbations.


title: Quality-aware Unpaired Image-to-Image Translation

abstract: Generative Adversarial Networks (GANs) have been widely used for the image-to-image translation task. While these models rely heavily on the labeled image pairs, recently some GAN variants have been proposed to tackle the unpaired image translation task. These models exploited supervision at the domain level with a reconstruction process for unpaired image translation. On the other hand, parallel works have shown that leveraging perceptual loss functions based on high level deep features could enhance the generated image quality. Nevertheless, as these GAN-based models either depended on the pretrained deep network structure or relied on the labeled image pairs, they could not be directly applied to the unpaired image translation task. Moreover, despite the improvement of the introduced perceptual losses from deep neural networks, few researchers have explored the possibility of improving the generated image quality from classical image quality measures. To tackle the above two challenges, in this paper, we propose a unified quality-aware GAN-based framework for unpaired image-to-image translation, where a quality-aware loss is explicitly incorporated by comparing each source image and the reconstructed image at the domain level. Specifically, we design two detailed implementations of the quality loss. The first method is based on a classical image quality assessment measure by defining a classical quality-aware loss. The second method proposes an adaptive deep network based loss. Finally, extensive experimental results on many real-world datasets clearly show the quality improvement of our proposed framework, and the superiority of leveraging classical image quality measures for unpaired image translation compared to the deep network based model.


title: Studying the Inductive Biases of RNNs with Synthetic Variations of Natural Languages

abstract: How do typological properties such as word order and morphological case marking affect the ability of neural sequence models to acquire the syntax of a language? Cross-linguistic comparisons of RNNs' syntactic performance (e.g., on subject-verb agreement prediction) are complicated by the fact that any two languages differ in multiple typological properties, as well as by differences in training corpus. We propose a paradigm that addresses these issues: we create synthetic versions of English, which differ from English in one or more typological parameters, and generate corpora for those languages based on a parsed English corpus. We report a series of experiments in which RNNs were trained to predict agreement features for verbs in each of those synthetic languages. Among other findings, (1) performance was higher in subject-verb-object order (as in English) than in subject-object-verb order (as in Japanese), suggesting that RNNs have a recency bias; (2) predicting agreement with both subject and object (polypersonal agreement) improves over predicting each separately, suggesting that underlying syntactic knowledge transfers across the two tasks; and (3) overt morphological case makes agreement prediction significantly easier, regardless of word order.


title: Inference for First-Price Auctions with Guerre, Perrigne, and Vuong's Estimator

abstract: We consider inference on the probability density of valuations in the first-price sealed-bid auctions model within the independent private value paradigm. We show the asymptotic normality of the two-step nonparametric estimator of Guerre, Perrigne, and Vuong (2000) (GPV), and propose an easily implementable and consistent estimator of the asymptotic variance. We prove the validity of the pointwise percentile bootstrap confidence intervals based on the GPV estimator. Lastly, we use the intermediate Gaussian approximation approach to construct bootstrap-based asymptotically valid uniform confidence bands for the density of the valuations.


title: Status and perspectives of the CRAFTS extra-galactic HI survey

abstract: The Five-hundred-meter Aperture Spherical radio Telescope(FAST) is expected to complete its commissioning in 2019. FAST will soon begin the Commensal Radio Astronomy FasT Survey(CRAFTS), a novel and unprecedented commensal drift scan survey of the entire sky visible from FAST. The goal of CRAFTS is to cover more than 20000 $deg^{2}$ and reach redshift up to about 0.35. We provide empirical measurements of the beam size and sensitivity of FAST across the 1.05 to 1.45 GHz frequency range of the FAST L-band Array of 19-beams(FLAN). Using a simulated HI-galaxy catalogue based on the HI Mass Function(HIMF), we estimate the number of galaxies that CRAFTS may detect. At redshifts below 0.35, over $6\, \times \, 10^{5}$ HI galaxies may be detected. Below the redshift of 0.07, the CRAFTS HIMF will be complete above a mass threshold of $10^{9.5}\,M_{\odot}$. FAST will be able to investigate the environmental and redshift dependence of the HIMF to an unprecedented depth, shedding light onto the missing baryon and missing satellite problems.


title: On Fabry P\'erot Etalon based Instruments. I. The Isotropic Case

abstract: Here we assess the spectral and imaging properties of Fabry P\'erot etalons when located in solar magnetographs. We discuss the chosen configuration (collimated or telecentric) for both ideal and real cases. For the real cases, we focus on the effects caused by the polychromatic illumination of the filter by the irregularities in the optical thickness of the etalon and by deviations from the ideal illumination in both setups. We first review the general properties of Fabry P\'erots and we then address the different sources of degradation of the spectral transmission profile. We review and extend the general treatment of defects followed by different authors. We discuss the differences between the point spread functions (PSFs) of the collimated and telecentric configurations for both monochromatic and (real) quasi-monochromatic illumination of the etalon. The PSF corresponding to collimated mounts is shown to have a better performance, although it varies from point to point due to an apodization of the image inherent to this configuration. This is in contrast to the (perfect) telecentric case, where the PSF remains constant but produces artificial velocities and magnetic field signals because of its strong spectral dependence. We find that the unavoidable presence of imperfections in the telecentrism produces a decrease of flux of photons and a shift, a broadening and a loss of symmetrization of both the spectral and PSF profiles over the field of view, thus compromising their advantages over the collimated configuration. We evaluate these effects for different apertures of the incident beam.


title: Extreme high field plasmonics: electron acceleration and XUV harmonic generation from ultrashort surface plasmons

abstract: Experiments on the excitation of propagating surface plasmons (SPs) by ultrashort, high intensity laser interaction with "grating" targets are reviewed. At intensities exceeding $10^{19}~\mbox{W cm}^{-2}$ on target, i.e. in the strongly relativistic regime of electron dynamics, multi-MeV electrons are accelerated by the SP field as dense bunches collimated in a near-tangent direction. By the use of a suitable blazed grating, the bunch charge can be increased up to $\simeq $660 picoCoulomb. Intense XUV high harmonics (HH) diffracted by the grating are observed when a plasma with sub-micrometer scale is produced at the target surface by a controlled prepulse. When the SP is excited, the HH are strongly enhanced in a direction quasi-parallel to the electrons. Simulations show that the HH are boosted by nanobunching in the SP field of the electrons which scatter the laser field. Besides the static and dynamic tailoring of the target density profile, further control of electron and HH emission might be achieved by changing the SP duration using a laser pulse with rotating wavefront. This latter technique may be capable to produce nearly single-cycle SPs.


title: BLVD: Building A Large-scale 5D Semantics Benchmark for Autonomous Driving

abstract: In autonomous driving community, numerous benchmarks have been established to assist the tasks of 3D/2D object detection, stereo vision, semantic/instance segmentation. However, the more meaningful dynamic evolution of the surrounding objects of ego-vehicle is rarely exploited, and lacks a large-scale dataset platform. To address this, we introduce BLVD, a large-scale 5D semantics benchmark which does not concentrate on the static detection or semantic/instance segmentation tasks tackled adequately before. Instead, BLVD aims to provide a platform for the tasks of dynamic 4D (3D+temporal) tracking, 5D (4D+interactive) interactive event recognition and intention prediction. This benchmark will boost the deeper understanding of traffic scenes than ever before. We totally yield 249,129 3D annotations, 4,902 independent individuals for tracking with the length of overall 214,922 points, 6,004 valid fragments for 5D interactive event recognition, and 4,900 individuals for 5D intention prediction. These tasks are contained in four kinds of scenarios depending on the object density (low and high) and light conditions (daytime and nighttime). The benchmark can be downloaded from our project site https://github.com/VCCIV/BLVD/.


title: Multidimensional $\Lambda$-Wright-Fisher processes with general frequency-dependent selection

abstract: We construct a constant size population model allowing for general selective interactions and extreme reproductive events. It generalizes the idea of (Krone and Neuhauser 1997) who represented the selection by allowing individuals to sample potential parents in the previous generation before choosing the 'strongest' one, by allowing individuals to use any rule to choose their real parent. Via a large population limit, we obtain a generalisation of $\Lambda$-Fleming Viot processes allowing for non transitive interactions between types. We provide fixation properties, and give conditions for these processes to be realised as solutions of stochastic differential equations.


title: Get rid of inline assembly through verification-oriented lifting

abstract: Formal methods for software development have made great strides in the last two decades, to the point that their application in safety-critical embedded software is an undeniable success. Their extension to non-critical software is one of the notable forthcoming challenges. For example, C programmers regularly use inline assembly for low-level optimizations and system primitives. This usually results in driving state-of-the-art formal analyzers developed for C ineffective. We thus propose TInA, an automated, generic, trustable and verification-oriented lifting technique turning inline assembly into semantically equivalent C code, in order to take advantage of existing C analyzers. Extensive experiments on real-world C code with inline assembly (including GMP and ffmpeg) show the feasibility and benefits of TInA.


title: Nanodosimetry - on the tracks of biological radiation effectiveness

abstract: Biological effectiveness of a certain absorbed dose of ionizing radiation depends on the radiation quality, i. e. the spectrum of ionizing particles and their energy distribution. As has been shown in several studies, the biological effectiveness is related to the pattern of energy deposits on the microscopic scale, the so-called track structure. Clusters of lesions in the DNA molecule within site sizes of few nanometers play a particular role in this context. This work presents a brief overview of nanodosimetric approaches to relate biological effects with track structure derived quantities and experimental techniques to derive such quantities.


title: Automatic assessment of spoken language proficiency of non-native children

abstract: This paper describes technology developed to automatically grade Italian students (ages 9-16) on their English and German spoken language proficiency. The students' spoken answers are first transcribed by an automatic speech recognition (ASR) system and then scored using a feedforward neural network (NN) that processes features extracted from the automatic transcriptions. In-domain acoustic models, employing deep neural networks (DNNs), are derived by adapting the parameters of an original out of domain DNN.


title: Identifying long-term periodic cycles and memories of collective emotion in online social media

abstract: Collective emotion has been traditionally evaluated by questionnaire survey on a limited number of people. Recently, big data of written texts on the Internet has been available for analyzing collective emotion for very large scales. Although short-term reflection between collective emotion and real social phenomena has been widely studied, long-term dynamics of collective emotion has not been studied so far due to the lack of long persistent data sets. In this study, we extracted collective emotion over a 10-year period from 3.6 billion Japanese blog articles. Firstly, we find that collective emotion shows clear periodic cycles, i.e., weekly and seasonal behaviors, accompanied with pulses caused by natural disasters. For example, April is represented by high Tension, probably due to starting school in Japan. We also identified long-term memory in the collective emotion that is characterized by the power-law decay of the autocorrelation function over several months.


title: Nijenhuis geometry II: Left-symmetric algebras and linearization problem for Nijenhuis operators

abstract: A field of endomorphisms $R$ is called a Nijenhuis operator if its Nijenhuis torsion vanishes. In this work we study a specific kind of singular points of $R$ called points of scalar type. We show that the tangent space at such points possesses a natural structure of a left-symmetric algebra (also known as pre-Lie or Vinberg-Kozul algebras). Following Weinstein's approach to linearization of Poisson structures, we state the linearisation problem for Nijenhuis operators and give an answer in terms of non-degenerate left-symmetric algebras. In particular, in dimension 2, we give classification of non-degenerate left-symmetric algebras for the smooth category and, with some small gaps, for the analytic one. These two cases, analytic and smooth, differ. We also obtain a complete classification of two-dimensional real left-symmetric algebras, which may be an interesting result on its own. This work is the second part of a series of papers on Nijenhuis Geometry started with arXiv:1903.04603


title: A Faster Algorithm Enumerating Relevant Features over Finite Fields

abstract: We consider the problem of enumerating relevant features hidden in other irrelevant information for multi-labeled data, which is formalized as learning juntas. A $k$-junta function is a function which depends on only $k$ coordinates of the input. For relatively small $k$ w.r.t. the input size $n$, learning $k$-junta functions is one of fundamental problems both theoretically and practically in machine learning. For the last two decades, much effort has been made to design efficient learning algorithms for Boolean junta functions, and some novel techniques have been developed. However, in real world, multi-labeled data seem to be obtained in much more often than binary-labeled one. Thus, it is a natural question whether these techniques can be applied to more general cases about the alphabet size. In this paper, we expand the Fourier detection techniques for the binary alphabet to any finite field $\mathbb{F}_q$, and give, roughly speaking, an $O(n^{0.8k})$-time learning algorithm for $k$-juntas over $\mathbb{F}_q$. Note that our algorithm is the first non-trivial (i.e., non-brute force) algorithm for such a class even in the case where $q=3$ and we give an affirmative answer to the question posed by Mossel et al. Our algorithm consists of two reductions: (1) from learning juntas to LDME which is a variant of the learning with errors (LWE) problems introduced by Regev, and (2) from LDME to the light bulb problem (LBP) introduced by L.Valiant. Since the reduced problem (i.e., LBP) is a kind of binary problem regardless of the alphabet size of the original problem (i.e., learning juntas), we can directly apply the techniques for the binary case in the previous work.


title: A proposed method to extract maximum possible power in the shortest time on solar PV arrays under partial shadings using metaheuristic algorithms

abstract: The increasing use of fossil fuels to produce energy is leading to environmental problems. Hence, it has led the human society to move towards the use of renewable energies, including solar energy. In recent years, one of the most popular methods to gain energy is using photovoltaic arrays to produce solar energy. Skyscrapers and different weather conditions cause shadings on these PV arrays, which leads to less power generation. Various methods such as TCT and Sudoku patterns have been proposed to improve power generation for partial shading PV arrays, but these methods have some problems such as not generating maximum power and being designed for a specific dimension of PV arrays. Therefore, we proposed a metaheuristic algorithm-based approach to extract maximum possible power in the shortest possible time. In this paper, five algorithms which have proper results in most of the searching problems are chosen from different groups of metaheuristic algorithms. Also, four different standard shading patterns are used for more realistic analysis. Results show that the proposed method achieves better results in maximum power generation compared to TCT arrangement (18.53%) and Sudoku arrangement (4.93%). Also, the results show that GWO is the fastest metaheuristic algorithm to reach maximum output power in PV arrays under partial shading condition. Thus, the authors believe that by using metaheuristic algorithms, an efficient, reliable, and fast solution is reached to solve partial shading PV arrays problem


title: Evidence for $B^+ \rightarrow h_c K^+$ and observation of $\eta_c(2S) \to p \bar{p} \pi^+ \pi^-$

abstract: A search for the decays $B^+ \rightarrow h_c K^+$ and $B^0 \rightarrow h_c K_S^0$ is performed. Evidence for the decay $B^+ \rightarrow h_c K^+$ is found; its significance is $4.8\sigma$. No evidence is found for $B^0 \rightarrow h_c K_S^0$. The branching fraction for $B^+ \rightarrow h_c K^+$ is measured to be $(3.7^{+1.0}_{-0.9}{}^{+0.8}_{-0.8}) \times 10^{-5}$; the upper limit for the $B^0 \rightarrow h_c K_S^0$ branching fraction is $1.4 \times 10^{-5}$ at $90\%$ C.L. In addition, a study of the $p \bar{p} \pi^+ \pi^-$ invariant mass distribution in the channel $B^+ \to (p \bar{p} \pi^+ \pi^-) K^+$ results in the first observation of the decay $\eta_c(2S) \to p \bar{p} \pi^+ \pi^-$ with $12.1\sigma$ significance. The analysis is based on the 711 $\mathrm{fb}^{-1}$ data sample collected by the Belle detector at the asymmetric-energy $e^+ e^-$ collider KEKB at the $\Upsilon(4S)$ resonance.


title: Potential spaces on Lie groups

abstract: In this paper we discuss function spaces on a general noncompact Lie group, namely the scales of Triebel--Lizorkin and Besov spaces, defined in terms of a sub-Laplacian with drift. The sub-Laplacian is written as negative the sum of squares of a collection of left-invariant vector fields satisfying H\"ormander's condition. These spaces were recently introduced by the authors. In this paper we prove a norm characterization in terms of finite differences, the density of test functions, and related isomorphism properties.


title: Characteristic (Fedosov-)class of a twist constructed by Drinfel'd

abstract: In a seminal paper Drinfel'd explained how to associate to every classical r-matrix for a Lie algebra $\lie g$ a twisting element based on $\mathcal{U}(\lie g)[[\hbar]]$, or equivalently a left invariant star product of the corresponding symplectic structure $\omega$ on the 1-connected Lie group G of g. In a recent paper, the authors solve the same problem by means of Fedosov quantization. In this short note we provide a connection between the two constructions by computing the characteristic (Fedosov) class of the twist constructed by Drinfel'd and proving that it is the trivial class given by $ \frac{[\omega]}{\hbar}$.


title: Threshold Resummation for Dark-Matter Production at the LHC

abstract: We derive precision predictions for the production of dark-matter particles recoiling against a jet with large transverse momentum at the LHC. The dark-matter fermions are described within a simplified model and couple to the Standard Model via a vector mediator. Our predictions for the mono-jet signature include the resummation of the leading and next-to-leading threshold logarithms. The corresponding matching coefficient is evaluated at NLO. The resummed result is matched to the fixed-order NLO cross section obtained from the MadGraph framework. We discuss numerical results for several benchmark scenarios at the LHC.


title: Online Explanation Generation for Human-Robot Teaming

abstract: As AI becomes an integral part of our lives, the development of explainable AI, embodied in the decision-making process of an AI or robotic agent, becomes imperative. For a robotic teammate, the ability to generate explanations to justify its behavior is one of the key requirements of explainable agency. Prior work on explanation generation has been focused on supporting the rationale behind the robot's decision or behavior. These approaches, however, fail to consider the mental demand for understanding the received explanation. In other words, the human teammate is expected to understand an explanation no matter how much information is presented. In this work, we argue that explanations, especially those of a complex nature, should be made in an online fashion during the execution, which helps spread out the information to be explained and thus reduce the mental workload of humans in highly cognitive demanding tasks. However, a challenge here is that the different parts of an explanation may be dependent on each other, which must be taken into account when generating online explanations. To this end, a general formulation of online explanation generation is presented with three variations satisfying different "online" properties. The new explanation generation methods are based on a model reconciliation setting introduced in our prior work. We evaluated our methods both with human subjects in a simulated rover domain, using NASA Task Load Index (TLX), and synthetically with ten different problems across two standard IPC domains. Results strongly suggest that our methods generate explanations that are perceived as less cognitively demanding and much preferred over the baselines and are computationally efficient.


title: Impact of Traffic Characteristics on Request Aggregation in an NDN Router

abstract: The paper revisits the performance evaluation of caching in a Named Data Networking (NDN) router where the content store (CS) is supplemented by a pending interest table (PIT). The PIT aggregates requests for a given content that arrive within the download delay and thus brings an additional reduction in upstream bandwidth usage beyond that due to CS hits. We extend prior work on caching with non-zero download delay (non-ZDD) by proposing a novel mathematical framework that is more easily applicable to general traffic models and by considering alternative cache insertion policies. Specifically we evaluate the use of an LRU filter to improve CS hit rate performance in this non-ZDD context. We also consider the impact of time locality in demand due to finite content lifetimes. The models are used to quantify the impact of the PIT on upstream bandwidth reduction, demonstrating notably that this is significant only for relatively small content catalogues or high average request rate per content. We further explore how the effectiveness of the filter with finite content lifetimes depends on catalogue size and traffic intensity.


title: Optimal Puncturing of Polar Codes With a Fixed Information Set

abstract: For a given polar code construction, the existing literature on puncturing for polar codes focuses in finding the optimal puncturing pattern, and then re-selecting the information set. This paper devotes itself to find the optimal puncturing pattern when the information set is fixed. Puncturing the coded bits corresponding to the worst quality bit channels, called the worst quality puncturing (WQP), is proposed, which is analyzed to minimize the bit channel quality loss at the punctured positions. Simulation results show that WQP outperforms the best existing puncturing schemes when the information set is fixed.


title: Possible origin of the slow-diffusion region around Geminga

abstract: Geminga pulsar is surrounded by a multi-TeV $\gamma$-ray halo radiated by the high energy electrons and positrons accelerated by the central pulsar wind nebula (PWN). The angular profile of the $\gamma$-ray emission reported by HAWC indicates an anomalously slow diffusion for the cosmic-ray electrons and positrons in the halo region around Geminga. In the paper we study the possible mechanism for the origin of the slow diffusion. At first, we consider the self-generated Alfv\'en waves due to the streaming instability of the electrons and positrons released by Geminga. However, even considering a very optimistic scenario for the wave growth, we find this mechanism DOES NOT work to account for the extremely slow diffusion at the present day if taking the proper motion of Geminga pulsar into account. The reason is straightforward as the PWN is too weak to generate enough high energy electrons and positrons to stimulate strong turbulence at the late time. We then propose an assumption that the strong turbulence is generated by the shock wave of the parent supernova remnant (SNR) of Geminga. Geminga may still be inside the SNR, and we find that the SNR can provide enough energy to generate the slow-diffusion circumstance. The TeV halos around PSR B0656+14, Vela X, and PSR J1826-1334 may also be explained under this assumption.


title: The $CI$-index: a new index to characterize the scientific output of researchers

abstract: We propose a simple new index, named the $CI$-index, based on the Choquet integral to characterize the scientific output of researchers. This index is an improvement of the $A$-index and $R$-index and has a notable feature that highly cited papers have highly weights and lowly cited papers have lowly weights. In applications many researchers may have the same $h$-index, $g$-index or $R$-index. The $CI$-index can be provided an effective method of distinguish among such researchers.


title: Exploring the dimming event of RW Aur A through multi-epoch VLT/X-Shooter spectroscopy

abstract: RW Aur A is a CTTS that has suddenly undergone three major dimming events since 2010. We aim to understand the dimming properties, examine accretion variability, and derive the physical properties of the inner disc traced by the CO ro-vibrational emission at NIR wavelengths (2.3 mic). We compared two epochs of X-Shooter observations, during and after the dimming. We modelled the rarely detected CO bandhead emission in both epochs to examine whether the inner disc properties had changed. The SED was used to derive the extinction properties of the dimmed spectrum and compare the infrared excess between the two epochs. Lines tracing accretion were used to derive the mass accretion rate in both states. The CO originates from a region with physical properties of T=3000 K, N$_{CO}$=1x10$^{21}$ cm$^{-2}$ and vsini=113 km/s. The extinction properties of the dimming layer were derived with the effective optical depth ranging from teff 2.5-1.5 from the UV to the NIR. The inferred mass accretion rate Macc is $1.5x 10^{-8}$ Msun/yr and $\sim 2x 10^{-8}$ Msun/yr after and during the dimming respectively. By fitting the SED, additional emission is observed in the IR during the dimming event from dust grains with temperatures of 500-700K. The physical conditions traced by the CO are similar for both epochs, indicating that the inner gaseous disc properties do not change during the dimming events. The extinction curve is flatter than that of the ISM, and large grains of a few hundred microns are thus required. When we correct for the observed extinction, Macc is constant in the two epochs, suggesting that the accretion is stable and therefore does not cause the dimming. The additional hot emission in the NIR is located at about 0.5 au from the star. The dimming events could be due to a dust-laden wind, a severe puffing-up of the inner rim, or a perturbation caused by the recent star-disc encounter.


title: SHALOS: Statistical Herschel-ATLAS Lensed Objects Selection

abstract: The statistical analysis of large sample of strong lensing events can be a powerful tool to extract astrophysical and/or cosmological valuable information. However, the number of such events is still relatively low, mostly because of the lengthily observational validation process on individual events. In this work we propose a new methodology with a statistical selection approach in order to increase by a factor of $\sim 5$ the number of such events. Although the methodology can be applied to address several selection problems, it has particular benefits in the case of the identification of strongly lensed galaxies: objectivity, minimal initial constrains in the main parameter space, preservation of the statistical properties. The proposed methodology is based on the Bhattacharyya distance as a measure of the similarity between probability distributions of properties of two different cross-matched galaxies. The particular implementation for the aim of this work is called SHALOS and it combines the information of four different properties of the pair of galaxies: angular separation, luminosity percentile, redshift and optical/sub-mm flux density ratio. The SHALOS method provided a ranked list of strongly lensed galaxies. The number of candidates for the final associated probability, $P_{tot}>0.7$, is 447 with an estimated mean amplification factor of 3.12 for an halo with a typical cluster mass. Additional statistical properties of the SHALOS candidates, as the correlation function or the source number counts, are in agreement with previous results indicating the statistical lensing nature of the selected sample.


title: Interstellar Neutral Gas Species And Their Pickup Ions Inside The Heliospheric Termination Shock. The Large-scale Structures

abstract: We study the distribution of the interstellar neutral (ISN) gas density and the pick-up ion (PUI) density of hydrogen, helium, neon, and oxygen in the heliosphere for heliocentric distances from inside 1 au up to the solar wind termination shock (TS), both in and out of the ecliptic plane. We discuss similarities and differences in the large-scale structures of the ISN gas and PUIs formed in the heliosphere between various species. We discuss the distribution of ISN gas and PUI densities for two extreme phases of the solar activity cycle, it is the solar minimum and the solar maximum. We identify the location of the ISN gas density cavity of various species. We study the relative abundance ratios of Ne/O, H/He, Ne/He, and O/He for ISN gas and PUIs densities and their variation with location in the heliosphere. We also discuss the modulation of relative abundance ratios of ISN gas and PUIs along the TS. We conclude that the preferable locations for detection of He$^+$ and Ne$^+$ PUIs are in the downwind hemisphere within 1~au, whereas for H$^+$ and O$^+$ PUIs the preferable locations for detection are for distances from Jupiter to Pluto orbits.


title: Structural properties of non-crossing partitions from algebraic and geometric perspectives

abstract: The present thesis studies structural properties of non-crossing partitions associated to finite Coxeter groups from both algebraic and geometric perspectives. On the one hand, non-crossing partitions are lattices, and on the other hand, we can view them as simplicial complexes by considering their order complexes. We make use of these different interpretations and their interactions in various ways. The order complexes of non-crossing partitions have a rich geometric structure, which we investigate in this thesis. In particular, we interpret them as subcomplexes of spherical buildings. From a more algebraic viewpoint, we study automorphisms and anti-automorphisms of non-crossing partitions and their relation to building automorphisms. We also compute the automorphism groups of non-crossing partitions of type $B$ and $D$, provided that $n \neq 4$ for type $D$. For this, we introduce a new pictorial representation for type $D$. In type $A$ we study the structural properties of the order complex of the non-crossing partitions in more detail. In particular, we investigate the interaction of chamber distances and convex hulls in the non-crossing partition complex and the ambient spherical building. These questions are connected to the curvature conjecture of Brady and McCammond.


title: Indirect bandgap of hBN-encapsulated monolayer MoS2

abstract: We present measurements of temperature dependence of photoluminescence intensity from monolayer MoS2 encapsulated by hexagonal boron nitride (hBN) flakes. The obtained temperature dependence shows an opposite trend to that of previously observed in a monolayer MoS2 on a SiO2 substrate. Ab-initio bandstructure calculations have revealed that monolayer MoS2 encapsulated by hBN flakes have no longer a direct-gap semiconductor but an indirect-gap semiconductor. This is caused by orbital hybridization between MoS2 and hBN, which leads to upward shift of gamma-valley of MoS2. This work shows an important implication that the hBN-encapsulated structures used to address intrinsic properties of two-dimensional crystals can alter basic properties encapsulated materials.


title: Spectral Control via Multi-Species Effects in PW-Class Laser-Ion Acceleration

abstract: Laser-ion acceleration with ultra-short pulse, PW-class lasers is dominated by non-thermal, intra-pulse plasma dynamics. The presence of multiple ion species or multiple charge states in targets leads to characteristic modulations and even mono-energetic features, depending on the choice of target material. As spectral signatures of generated ion beams are frequently used to characterize underlying acceleration mechanisms, thermal, multi-fluid descriptions require a revision for predictive capabilities and control in next-generation particle beam sources. We present an analytical model with explicit inter-species interactions, supported by extensive ab initio simulations. This enables us to derive important ensemble properties from the spectral distribution resulting from those multi-species effects for arbitrary mixtures. We further propose a potential experimental implementation with a novel cryogenic target, delivering jets with variable mixtures of hydrogen and deuterium. Free from contaminants and without strong influence of hardly controllable processes such as ionization dynamics, this would allow a systematic realization of our predictions for the multi-species effect.


title: Probing 3D Density and Velocity Fields of ISM in Centers of Galaxies with Future X-Ray Observations

abstract: Observations of bright and variable "reflected" X-ray emission from molecular clouds located within inner hundred parsec of our Galaxy have demonstrated that the central supermassive black hole, Sgr A*, experienced short and powerful flares in the past few hundred years. These flares offer a truly unique opportunity to determine 3D location of the illuminated clouds (with ~10 pc accuracy) and to reveal their internal structure (down to 0.1 pc scales). Short duration of the flare(s), combined with X-rays high penetration power and insensitivity of the reflection signal to thermo- and chemo-dynamical state of the gas, ensures that the provided diagnostics of the density and velocity fields is unbiased and almost free of the projection and opacity effects. Sharp and sensitive snapshots of molecular gas accessible with aid of future X-ray observatories featuring large collecting area and high angular (arcsec-level) and spectral (eV-level) resolution cryogenic bolometers will present invaluable information on properties of the supersonic turbulence inside the illuminated clouds, map their shear velocity field and allow cross-matching between X-ray data and velocity-resolved emission of various molecular species provided by ALMA and other ground-based facilities. This will highlight large and small-scale dynamics of the dense gas and help uncovering specifics of the ISM lifecycle and high-mass star formation under very extreme conditions of galactic centers. While the former is of particular importance for the SMBH feeding and triggering AGN feedback, the latter might be an excellent test case for star formation taking place in high-redshift galaxies.


title: Plectoneme dynamics and statistics in braided polymers

abstract: Braids composed of two interwoven polymer chains exhibit a buckling transition whose origin has been explained through the onset of plectonemic structures. Here we study, by a combination of simulation and analytics, the dynamics of plectoneme formation and their statistics in steady state. The introduction of an order parameter, the plectonemic fraction, allows us to map out the phase boundary between the straight braid phase and the plectonemic one. We then monitor the formation and the growth of plectonemes, observing events typical of phase separation kinetics for liquid-gas systems (fusion, fission, 1D Ostwald ripening), but also of DNA supercoiling dynamics (plectonemic hopping). Finally, we propose a stochastic field theory for the coupled dynamics of twist and local writhe which explains the phenomenology found with Brownian dynamics simulations as well the power laws underlying the coarsening of plectonemes.


title: Decoherence of charge density waves in beam splitters for interacting quantum wires

abstract: Simple intersections between one-dimensional channels can act as coherent beam splitters for non-interacting electrons. Here we examine how coherent splitting at such intersections is affected by inter-particle interactions, in the special case of an intersection of topological edge states. We derive an effective impurity model which represents the edge-state intersection within Luttinger liquid theory at low energy. For Luttinger K = 1 / 2 , we compute the exact time-dependent expectation values of the charge density as well as the density-density correlation functions. In general a single incoming charge density wave packet will split into four outgoing wave packets with transmission and reflection coefficients depending on the strengths of the tunnelling processes between the wires at the junction. We find that when multiple charge density wave packets from different directions pass through the intersection at the same time, reflection and splitting of the packets depend on the relative phases of the waves. Active use of this phase-dependent splitting of wave packets may make Luttinger interferometry possible. We also find that coherent incident packets generally suffer partial decoherence from the intersection, with some of their initially coherent signal being transferred into correlated quantum noise. In an extreme case four incident coherent wave packets can be transformed entirely into density-density correlations, with the charge density itself having zero expectation value everywhere in the final state.


title: The stress-energy tensor for polyharmonic maps

abstract: We derive the stress-energy tensor for polyharmonic maps between Riemannian manifolds. Moreover, we employ the stress-energy tensor to characterize polyharmonic maps where we pay special attention to triharmonic maps.


title: A String Dual for Partially Topological Chern-Simons-Matter Theories

abstract: We consider a string dual of a partially topological $U(N)$ Chern-Simons-matter (PTCSM) theory recently introduced by Aganagic, Costello, McNamara and Vafa. In this theory, fundamental matter fields are coupled to the Chern-Simons theory in a way that depends only on a transverse holomorphic structure on a manifold; they are not fully dynamical, but the theory is also not fully topological. One description of this theory arises from topological strings on the deformed conifold $T^* S^3$ with $N$ Lagrangian 3-branes and additional coisotropic `flavor' 5-branes. Applying the idea of the Gopakumar-Vafa duality to this setup, we suggest that this has a dual description as a topological string on the resolved conifold ${\cal O} \left( - 1 \right) \oplus {\cal O} \left( - 1 \right) \rightarrow \mathbb{CP}^1$, in the presence of coisotropic 5-branes. We test this duality by computing the annulus amplitude on the deformed conifold and the disc amplitude on the resolved conifold via equivariant localization, and we find an agreement between the two. We find a small discrepancy between the topological string results and the large $N$ limit of the partition function of the PTCSM theory arising from the deformed conifold, computed via field theory localization by a method proposed by Aganagic et al. We discuss possible origins of the mismatch.


title: New bounds and constructions for constant weighted $X$-codes

abstract: As a crucial technique for integrated circuits (IC) test response compaction, $X$-compact employs a special kind of codes called $X$-codes for reliable compressions of the test response in the presence of unknown logic values ($X$s). From a combinatorial view point, Fujiwara and Colbourn \cite{FC2010} introduced an equivalent definition of $X$-codes and studied $X$-codes of small weights that have good detectability and $X$-tolerance. An $(m,n,d,x)$ $X$-code is an $m\times n$ binary matrix with column vectors as its codewords. The parameters $d,x$ correspond to the test quality of the code. In this paper, bounds and constructions for constant weighted $X$-codes are investigated. First, we obtain a general result on the maximum number of codewords $n$ for an $(m,n,d,x)$ $X$-code of weight $w$, and we further improve this lower bound for the case with $x=2$ and $w=3$ through the probabilistic method. Then, using tools from additive combinatorics and finite fields, we present some explicit constructions for constant weighted $X$-codes with $d=3,7$ and $x=2$, which are optimal for the case when $d=3, w=4$ and nearly optimal for the case when $d=3,w=3$. We also consider a special class of $X$-codes introduced in \cite{FC2010} and improve the best known lower bound on the maximum number of codewords for this kind of $X$-codes.


title: Fast and dense magneto-optical traps for Strontium

abstract: We improve the efficiency of sawtooth-wave-adiabatic-passage (SWAP) cooling for strontium atoms in three dimensions and combine it with standard narrow-line laser cooling. With this technique, we create strontium magneto-optical traps with $6\times 10^7$ bosonic $^{88}$Sr ($1\times 10^7$ fermionic $^{87}$Sr) atoms at phase-space densities of $2\times 10^{-3}$ ($1.4\times 10^{-4}$). Our method is simple to implement and is faster and more robust than traditional cooling methods.


title: Automatic Spatial Calibration of Ultra-Low-Field MRI for High-Accuracy Hybrid MEG--MRI

abstract: With a hybrid MEG--MRI device that uses the same sensors for both modalities, the co-registration of MRI and MEG data can be replaced by an automatic calibration step. Based on the highly accurate signal model of ultra-low-field (ULF) MRI, we introduce a calibration method that eliminates the error sources of traditional co-registration. The signal model includes complex sensitivity profiles of the superconducting pickup coils. In ULF MRI, the profiles are independent of the sample and therefore well-defined. In the most basic form, the spatial information of the profiles, captured in parallel ULF-MR acquisitions, is used to find the exact coordinate transformation required. We assessed our calibration method by simulations assuming a helmet-shaped pickup-coil-array geometry. Using a carefully constructed objective function and sufficient approximations, even with low-SNR images, sub-voxel and sub-millimeter calibration accuracy was achieved. After the calibration, distortion-free MRI and high spatial accuracy for MEG source localization can be achieved. For an accurate sensor-array geometry, the co-registration and associated errors are eliminated, and the positional error can be reduced to a negligible level.


title: Inter-layer charge transport controlled by exciton-trion coherent coupling

abstract: The possibility of electrical manipulation and detection of charged exciton (trion) before its radiative recombination makes it promising for excitonic devices. Using a few-layer graphene/monolayer WS$_{2}$/monolayer graphene vertical heterojunction, we report inter-layer charge transport from top few-layer graphene to bottom monolayer graphene, mediated by coherently formed trion state. This is achieved by using a resonant excitation and varying the sample temperature, the resulting change in the WS$_{2}$ bandgap allows us to scan the excitation around the exciton-trion spectral overlap with high spectral resolution. By correlating the vertical photocurrent and in situ photoluminescence features at the heterojunction as a function of the spectral position of the excitation, we show that (1) trions are anomalously stable at the junction even up to 463 K due to enhanced doping, and (2) the photocurrent results from the ultra-fast formation of trion through exciton-trion coherent coupling, followed by its fast inter-layer transport. The demonstration of coherent formation, high stabilization, vertical transportation and electrical detection of trions marks a step towards room temperature trionics.


title: Design approach for modern high-current, radio-frequency quadrupole accelerators with low emittance transfer

abstract: Radio Frequency Quadrupole (RFQ) accelerators often need to face the challenges of space charge effects from high beam currents. This study investigated how to reach RFQ beam dynamics designs with not only high beam transmission and short structure length but also high beam quality simultaneously. To avoid beam instabilities induced by emittance transfer, a so-called el/et (ratio of the longitudinal and transverse emittances) = 1.0 design guideline is being proposed. The application of this design guideline integrated with the BABBLE/NFSP design method for a high current, high frequency, high injection energy RFQ accelerator is described.


title: Vector Contraction Analysis for Nonlinear Dynamical Systems

abstract: This paper derives new results for the analysis of nonlinear systems by extending contraction theory in the framework of vector distances. A new tool, vector contraction analysis utilizing a notion of the vector-valued norm which evidently induces a vector distance between any pair of trajectories of the system, offers an amenable framework as each component of vector-valued norm function satisfies fewer strict conditions as that of standard contraction analysis. Particularly, every element of vector-valued norm derivative need not be strictly negative definite for convergence of any pair of trajectories of the system. Moreover, vector-valued norm derivative satisfies a component-wise inequality employing some comparison system. In fact, the convergence analysis is performed by comparing the relative distances between any pair of the trajectories of the original nonlinear system and the comparison system. Comparison results are derived by utilizing the concepts of quasi-monotonicity property of the function and vector differential inequalities. Moreover, the results are also derived in the framework of the cone ordering instead of utilizing component-wise inequalities between vectors. In addition, the proposed framework is illustrated by examples.


title: Robots that Sync and Swarm: A Proof of Concept in ROS 2

abstract: A unified mathematical model for synchronisation and swarming has recently been proposed. Each system entity, called a "swarmalator", coordinates its internal phase and location with the other entities in a way that these two attributes are mutually coupled. This paper realises and studies, for the first time, the concept of swarmalators in a technical system. We adapt and extend the original model for its use with mobile robots and implement it in the Robot Operating System 2 (ROS 2). Simulations and experiments with small robots demonstrate the feasibility of the model and show its potential to be applied to real-world systems. All types of space-time patterns achieved in theory can be reproduced in practice. Applications can be found in monitoring, exploration, entertainment and art, among other domains.


title: Large deviations for neutral stochastic functional differential equations

abstract: In this paper, under a one-sided Lipschitz condition on the drift coefficient we adopt (via contraction principle) a exponential approximation argument to investigate large deviations for neutral stochastic functional differential equations.


title: Cloud-Edge Coordinated Processing: Low-Latency Multicasting Transmission

abstract: Recently, edge caching and multicasting arise as two promising technologies to support high-data-rate and low-latency delivery in wireless communication networks. In this paper, we design three transmission schemes aiming to minimize the delivery latency for cache-enabled multigroup multicasting networks. In particular, full caching bulk transmission scheme is first designed as a performance benchmark for the ideal situation where the caching capability of each enhanced remote radio head (eRRH) is sufficient large to cache all files. For the practical situation where the caching capability of each eRRH is limited, we further design two transmission schemes, namely partial caching bulk transmission (PCBT) and partial caching pipelined transmission (PCPT) schemes. In the PCBT scheme, eRRHs first fetch the uncached requested files from the baseband unit (BBU) and then all requested files are simultaneously transmitted to the users. In the PCPT scheme, eRRHs first transmit the cached requested files while fetching the uncached requested files from the BBU. Then, the remaining cached requested files and fetched uncached requested files are simultaneously transmitted to the users. The design goal of the three transmission schemes is to minimize the delivery latency, subject to some practical constraints. Efficient algorithms are developed for the low-latency cloud-edge coordinated transmission strategies. Numerical results are provided to evaluate the performance of the proposed transmission schemes and show that the PCPT scheme outperforms the PCBT scheme in terms of the delivery latency criterion.


title: Solenoidal difference quotients and their application to the regularity theory of the $p$-Stokes system

abstract: We prove existence of a solution to the divergence equation satisfying a new Bogovski-type estimate for the difference quotients. This enables us to give an alternative proof of the interior regularity of the solution to the $p$-Stokes problem, completely avoiding the pressure. Moreover, as a key preliminary result we prove boundedness of Calder\'on-Zygmnud operators with standard kernels in weighted Lebesgue and Orlicz spaces over a general domain.


title: On Closed-form H-infinity Optimal Control and Large-scale Systems

abstract: We address a class of systems for which the solution to an H-infinity optimal control problem can be given on a very simple closed form. In fact, both the control law and optimal performance value are explicitly given. The class of systems include models for large-scale systems such as temperature dynamics in buildings, buffer networks and transportations systems. Furthermore, the structure of the control law is suitable for distributed control of such large-scale systems, which is illustrated through examples.


title: Applying Probabilistic Programming to Affective Computing

abstract: Affective Computing is a rapidly growing field spurred by advancements in artificial intelligence, but often, held back by the inability to translate psychological theories of emotion into tractable computational models. To address this, we propose a probabilistic programming approach to affective computing, which models psychological-grounded theories as generative models of emotion, and implements them as stochastic, executable computer programs. We first review probabilistic approaches that integrate reasoning about emotions with reasoning about other latent mental states (e.g., beliefs, desires) in context. Recently-developed probabilistic programming languages offer several key desidarata over previous approaches, such as: (i) flexibility in representing emotions and emotional processes; (ii) modularity and compositionality; (iii) integration with deep learning libraries that facilitate efficient inference and learning from large, naturalistic data; and (iv) ease of adoption. Furthermore, using a probabilistic programming framework allows a standardized platform for theory-building and experimentation: Competing theories (e.g., of appraisal or other emotional processes) can be easily compared via modular substitution of code followed by model comparison. To jumpstart adoption, we illustrate our points with executable code that researchers can easily modify for their own models. We end with a discussion of applications and future directions of the probabilistic programming approach.


title: On cross-correlogram IRF's estimators of two-output systems in spaces of continuous functions

abstract: In this paper, single input--double output linear time-invariant systems are studied. Both components of system's impulse response function (IRF) are supposed to be real-valued and square-integrable. One component is unknown while the second one is controlled. The problem is to estimate the unknown component after observations of the other component. We apply cross-correlating of the outputs given that the input is a standard Wiener process. Weak asymptotic normality of appropriately centred estimators in spaces of continuous functions is proved. This enables us to construct confidence intervals in these spaces. Our results employ techniques related to Gaussian processes and bilinear forms of Gaussian processes.


title: Parametric estimation for a signal-plus-noise model from discrete time observations

abstract: This paper deals with the parametric inference for integrated signals embedded in an additive Gaussian noise and observed at deterministic discrete instants which are not necessarily equidistant. The unknown parameter is multidimensional and compounded of a signal-of-interest parameter and a variance parameter of the noise. We state the consistency and the minimax efficiency of the maximum likelihood estimator and of the Bayesian estimator when the time of observation tends to $\infty$ and the delays between two consecutive observations tend to 0 or are only bounded. The class of signals in consideration contains among others, almost periodic signals and also non-continuous periodic signals. However the problem of frequency estimation is not considered here.


title: Initial Data Identification in Conservation Laws and Hamilton-Jacobi Equations

abstract: In the scalar 1D case, conservation laws and Hamilton-Jacobi equations are deeply related. For both, we characterize those profiles that can be attained as solutions at a given positive time corresponding to at least one initial datum. Then, for each of the two equations, we precisely identify all those initial data yielding a solution that coincide with a given profile at that positive time. Various topological and geometrical properties of the set of these initial data are then proved. 2000 Mathematics Subject Classification: 35L65, 35F21, 93B30, 35R30.