title: NOMA in UAV-aided cellular offloading: A machine learning approach

abstract: A novel framework is proposed for cellular offloading with the aid of multiple unmanned aerial vehicles (UAVs), while non-orthogonal multiple access (NOMA) technique is employed at each UAV to further improve the spectrum efficiency of the wireless network. The optimization problem of joint three-dimensional (3D) trajectory design and power allocation is formulated for maximizing the throughput. In an effort to solve this pertinent dynamic problem, a K-means based clustering algorithm is first adopted for periodically partitioning users. Afterward, a mutual deep Q-network (MDQN) algorithm is proposed to jointly determine the optimal 3D trajectory and power allocation of UAVs. In contrast to the conventional deep Q-network (DQN) algorithm, the MDQN algorithm enables the experience of multi-agent to be input into a shared neural network to shorten the training time with the assistance of state abstraction. Numerical results demonstrate that: 1) the proposed MDQN algorithm has a faster convergence rate than the conventional DQN algorithm in the multi-agent case; 2) The achievable sum rate of the NOMA enhanced UAV network is $23\%$ superior to the case of orthogonal multiple access (OMA); 3) By designing the optimal 3D trajectory of UAVs with the aid of the MDON algorithm, the sum rate of the network enjoys ${142\%}$ and ${56\%}$ gains than that of invoking the circular trajectory and the 2D trajectory, respectively.


title: On the representation theory of non-semisimple (graded) deformed Fomin-Kirillov algebras

abstract: This work is motivated to study the representation theory of the non-semisimple deformed Fomin-Kirillov algebras $\mathcal{D}_4(\alpha_1, \alpha_2)$. In particular, we consider Gabriel's theorem applications in regard of constructing algebraic presentations.


title: Joint Beamforming Design and Power Splitting Optimization in IRS-Assisted SWIPT NOMA Networks

abstract: This paper proposes a novel network framework of intelligent reflecting surface (IRS)-assisted simultaneous wireless information and power transfer (SWIPT) non-orthogonal multiple access (NOMA) networks, where IRS is used to enhance the NOMA performance and the wireless power transfer (WPT) efficiency of SWIPT. We formulate a problem of minimizing base station (BS) transmit power by jointly optimizing successive interference cancellation (SIC) decoding order, BS transmit beamforming vector, power splitting (PS) ratio and IRS phase shift while taking into account the quality-of-service (QoS) requirement and energy harvested threshold of each user. The formulated problem is non-convex optimization problem, which is difficult to solve it directly. Hence, a two-stage algorithm is proposed to solve the above-mentioned problem by applying semidefinite relaxation (SDR), Gaussian randomization and successive convex approximation (SCA). Specifically, after determining SIC decoding order by designing IRS phase shift in the first stage, we alternately optimize BS transmit beamforming vector, PS ratio, and IRS phase shift to minimize the BS transmit power. Numerical results validate the effectiveness of our proposed optimization algorithm in reducing BS transmit power compared to other baseline algorithms. Meanwhile, compared with non-IRS-assisted network, the IRS-assisted SWIPT NOMA network can decrease BS transmit power by 51.13\%.


title: Data-Free Model Extraction

abstract: Current model extraction attacks assume that the adversary has access to a surrogate dataset with characteristics similar to the proprietary data used to train the victim model. This requirement precludes the use of existing model extraction techniques on valuable models, such as those trained on rare or hard to acquire datasets. In contrast, we propose data-free model extraction methods that do not require a surrogate dataset. Our approach adapts techniques from the area of data-free knowledge transfer for model extraction. As part of our study, we identify that the choice of loss is critical to ensuring that the extracted model is an accurate replica of the victim model. Furthermore, we address difficulties arising from the adversary's limited access to the victim model in a black-box setting. For example, we recover the model's logits from its probability predictions to approximate gradients. We find that the proposed data-free model extraction approach achieves high-accuracy with reasonable query complexity -- 0.99x and 0.92x the victim model accuracy on SVHN and CIFAR-10 datasets given 2M and 20M queries respectively.


title: Multi-channel swept source optical coherence tomography concept based on photonic integrated circuits

abstract: In this paper, we present a novel concept for a multi-channel swept source optical coherence tomography (OCT) system based on photonic integrated circuits (PICs). At the core of this concept is a low-loss polarization dependent path routing approach allowing for lower excess loss compared to previously shown PIC-based OCT systems, facilitating a parallelization of measurement units. As a proof of concept for the low-loss path routing, a silicon nitride PIC-based single-channel swept source OCT system operating at 840 nm was implemented and used to acquire in-vivo tomograms of a human retina. The fabrication of the PIC was done via CMOS-compatible plasma-enhanced chemical vapor deposition to allow future monolithic co-integration with photodiodes and read-out electronics. A performance analysis using the results of the implemented photonic building blocks shows a potential tenfold increase of the acquisition speed for a multi-channel system compared to an ideal lossless single-channel system with the same signal-to-noise ratio.


title: Multipliers Correction Methods for Optimization Problems over the Stiefel Manifold

abstract: We propose a class of multipliers correction methods to minimize a differentiable function over the Stiefel manifold. The proposed methods combine a function value reduction step with a proximal correction step. The former one searches along an arbitrary descent direction in the Euclidean space instead of a vector in the tangent space of the Stiefel manifold. Meanwhile, the latter one minimizes a first-order proximal approximation of the objective function in the range space of the current iterate to make Lagrangian multipliers associated with orthogonality constraints symmetric at any accumulation point. The global convergence has been established for the proposed methods. Preliminary numerical experiments demonstrate that the new methods significantly outperform other state-of-the-art first-order approaches in solving various kinds of testing problems.


title: Magnetic outflows from turbulent accretion disks: I. Vertical structure & secular evolution

abstract: Astrophysical disks are likely embedded in an ambient vertical magnetic field. This ambient field is known to drive magneto-rotational turbulence in the disk bulk but is also responsible for the launching of magnetized outflows at the origin of astrophysical jets. The vertical structure and long-term (secular) evolution of such a system lack quantitative predictions. It is nevertheless this secular evolution that is proposed to explain time variability in many accreting systems such as X-ray binaries. We compute and analyze global 3D ideal-MHD simulations of an accretion disk threaded by a large-scale magnetic field. We evaluate the role of the turbulent terms in the equilibrium of the system. We then compute the transport of mass, angular momentum, and magnetic fields in the disk to characterize its secular evolution. We perform a parameter survey to characterize the influence of disk properties on secular transport. We find that weakly magnetized disks drive jets that carry away a small fraction of the disk angular momentum. The mass-weighted accretion speed remains subsonic although, there is always an upper turbulent atmospheric region where transonic accretion takes place. We show that a strongly magnetized version of the magneto-rotational instability drives this turbulence. The disk structure is drastically different from the conventional hydrostatic picture. The magnetic field is always dragged inwards in the disk, at a velocity that increases with the disk magnetization. Beyond a threshold on the latter, the disk undergoes a profound radial readjustment. It leads to the formation of an inner accretion-ejection region with a supersonic mass-weighted accretion speed and where the magnetic field distribution becomes steady, near equipartition with the thermal pressure. This inner structure shares many properties with the Jet Emitting Disk model described by Ferreira (1997).


title: Many-Body Effects and Quantum Fluctuations for Discrete Time Crystals in Bose-Einstein Condensates

abstract: We present a fully comprehensive multi-mode quantum treatment based on the truncated Wigner approximation (TWA) to study many-body effects and quantum fluctuations on the formation of a discrete time crystal (DTC) in a Bose-Einstein condensate (BEC) bouncing resonantly on an atom mirror, driven at period T. Our theoretical approach avoids the restrictions both of mean-field theory, where all bosons are assumed to remain in a single mode, and of time-dependent Bogoliubov theory, which assumes boson depletion from the condensate mode is small. For realistic initial conditions corresponding to a harmonic trap condensate mode function, our TWA calculations performed for period-doubling agree broadly with recent mean-field calculations for times out to at least 2000 T, except at interaction strengths very close to the threshold value for DTC formation where the position probability density differs significantly from that determined from mean-field theory. For typical attractive interaction strengths above the threshold value for DTC formation and for the chosen trap and driving parameters, the TWA calculations indicate a quantum depletion due to quantum many-body fluctuations of less than about two atoms out of 600 atoms at times corresponding to 2000 T, in agreement with time-dependent Bogoliubov theory calculations. On the other hand, for interaction strengths very close to the threshold value for DTC formation, the TWA calculations predict a large quantum depletion - as high as about 260 atoms out of 600. We also show that the mean energy of the DTC does not increase significantly for times out to at least 2000 mirror oscillations, so TWA theory predicts that thermalisation is absent. Finally, we find that the dynamical behaviour is similar for attractive or repulsive boson-boson interactions, and that a stable DTC based on repulsive interactions can be created.


title: Non-perturbative Effects on Electroweakly Interacting Massive Particles at Hadron Collider

abstract: Electroweakly Interacting Massive Particles (EWIMPs), in other words, new massive particles that are charged under the electroweak interaction of the Standard Model (SM), are often predicted in various new physics models. EWIMPs are probed at hadron collider experiments not only by observing their direct productions but also by measuring their quantum effects on Drell-Yan processes for SM lepton pair productions. Such effects are known to be enhanced especially when the di-lepton invariant mass of the final state is close to the EWIMP threshold, namely twice the EWIMP mass. In such a mass region, however, we have to carefully take non-perturbative effects into account, because the EWIMPs become non-relativistic and the prediction may be significantly affected by e.g., bound states of the EWIMPs caused by the electroweak interaction. We study such non-perturbative effects using the non-relativistic effective field theory of the EWIMPs, and found that those indeed affect the differential cross section of the Drell-Yan processes significantly, though the effects are smeared due to the finite energy resolution of the lepton measurement at the Large Hadron Collider experiment.


title: S2FGAN: Semantically Aware Interactive Sketch-to-Face Translation

abstract: Interactive facial image manipulation attempts to edit single and multiple face attributes using a photo-realistic face and/or semantic mask as input. In the absence of the photo-realistic image (only sketch/mask available), previous methods only retrieve the original face but ignore the potential of aiding model controllability and diversity in the translation process. This paper proposes a sketch-to-image generation framework called S2FGAN, aiming to improve users' ability to interpret and flexibility of face attribute editing from a simple sketch. The proposed framework modifies the constrained latent space semantics trained on Generative Adversarial Networks (GANs). We employ two latent spaces to control the face appearance and adjust the desired attributes of the generated face. Instead of constraining the translation process by using a reference image, the users can command the model to retouch the generated images by involving the semantic information in the generation process. In this way, our method can manipulate single or multiple face attributes by only specifying attributes to be changed. Extensive experimental results on CelebAMask-HQ dataset empirically shows our superior performance and effectiveness on this task. Our method successfully outperforms state-of-the-art methods on attribute manipulation by exploiting greater control of attribute intensity.


title: Independent Component Analysis for noise and artifact removal in Three-dimensional Polarized Light Imaging

abstract: In recent years, Independent Component Analysis (ICA) has successfully been applied to remove noise and artifacts in images obtained from Three-dimensional Polarized Light Imaging (3D-PLI) at the mesoscale (i.e., 64 $\mu$m). Here, we present an automatic denoising procedure for gray matter regions that allows to apply the ICA also to microscopic images, with reasonable computational effort. Apart from an automatic segmentation of gray matter regions, we applied the denoising procedure to several 3D-PLI images from a rat and a vervet monkey brain section.


title: Unsupervised Path Regression Networks

abstract: We demonstrate that challenging shortest path problems can be solved via direct spline regression from a neural network, trained in an unsupervised manner (i.e. without requiring ground truth optimal paths for training). To achieve this, we derive a geometry-dependent optimal cost function whose minima guarantees collision-free solutions. Our method beats state-of-the-art supervised learning baselines for shortest path planning, with a much more scalable training pipeline, and a significant speedup in inference time.


title: Glitches in four gamma-ray pulsars and inferences on the neutron star structure

abstract: We present timing solutions from the Fermi-LAT observations of gamma-ray pulsars PSR J0835$-$4510 (Vela), PSR J1023$-$5746, PSR J2111$+$4606, and PSR J2229$+$6114. Data ranges for each pulsar extend over a decade. From data analysis we have identified a total of 20 glitches, 11 of which are new discoveries. Among them, 15 glitches are large ones with $\Delta\nu/\nu\gtrsim10^{-6}$. PSR J1023$-$5746 is the most active pulsar with glitch activity parameter being $A_{\rm g}=14.5\times10^{-7}$\yr~in the considered data span and should be a target for frequently glitching Vela-like pulsars in future observations. We have done fits within the framework of the vortex creep model for 16 glitches with $\Delta\nu/\nu\gtrsim10^{-7}$. By theoretical analysis of these glitches we are able to obtain important information on the structure of neutron star, including moments of inertia of the superfluid regions participated in glitches and coupling time-scales between various stellar components. The theoretical prediction for the time to the next glitch from the parameters of the previous one is found to be in qualitative agreement with the observed inter-glitch time-scales for the considered sample. Recoupling time-scales of the crustal superfluid are within the range of theoretical expectations and scale inversely with the spin-down rate of a pulsar. We also determined a braking index n=2.63(30) for PSR J2229$+$6114 after glitch induced contributions have been removed.


title: Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

abstract: Threshold guards are a basic primitive of many fault-tolerant algorithms that solve classical problems in distributed computing, such as reliable broadcast, two-phase commit, and consensus. Moreover, threshold guards can be found in recent blockchain algorithms such as, e.g., Tendermint consensus. In this article, we give an overview of techniques for automated verification of threshold-guarded fault-tolerant distributed algorithms, implemented in the Byzantine Model Checker (ByMC). These threshold-guarded algorithms have the following features: (1) up to $t$ of processes may crash or behave Byzantine; (2) the correct processes count messages and make progress when they receive sufficiently many messages, e.g., at least $t+1$; (3) the number $n$ of processes in the system is a parameter, as well as the number $t$ of faults; and (4) the parameters are restricted by a resilience condition, e.g., $n > 3t$. Traditionally, these algorithms were implemented in distributed systems with up to ten participating processes. Nowadays, they are implemented in distributed systems that involve hundreds or thousands of processes. To make sure that these algorithms are still correct for that scale, it is imperative to verify them for all possible values of the parameters.


title: Electron-hole asymmetry and band gaps of commensurate double moire patterns in twisted bilayer graphene on hexagonal boron nitride

abstract: Spontaneous orbital magnetism observed in twisted bilayer graphene (tBG) on nearly aligned hexagonal boron nitride (BN) substrate builds on top of the electronic structure resulting from combined G/G and G/BN double moire interfaces. Here we show that tBG/BN commensurate double moire patterns can be classified into two types, each favoring the narrowing of either the conduction or valence bands on average, and obtain the evolution of the bands as a function of the interlayer sliding vectors and electric fields. Finite valley Chern numbers $\pm 1$ are found in a wide range of parameter space when the moire bands are isolated through gaps, while the local density of states associated to the flat bands are weakly affected by the BN substrate invariably concentrating around the AA-stacked regions of tBG. We illustrate the impact of the BN substrate for a particularly pronounced electron-hole asymmetric band structure by calculating the optical conductivities of twisted bilayer graphene near the magic angle as a function of carrier density. The band structures corresponding to other $N$-multiple commensurate moire period ratios indicate it is possible to achieve narrow width $W \lesssim 30$ meV isolated folded band bundles for tBG angles $\theta \lesssim 1^{\circ}$.


title: NeuralFusion: Online Depth Fusion in Latent Space

abstract: We present a novel online depth map fusion approach that learns depth map aggregation in a latent feature space. While previous fusion methods use an explicit scene representation like signed distance functions (SDFs), we propose a learned feature representation for the fusion. The key idea is a separation between the scene representation used for the fusion and the output scene representation, via an additional translator network. Our neural network architecture consists of two main parts: a depth and feature fusion sub-network, which is followed by a translator sub-network to produce the final surface representation (e.g. TSDF) for visualization or other tasks. Our approach is an online process, handles high noise levels, and is particularly able to deal with gross outliers common for photometric stereo-based depth maps. Experiments on real and synthetic data demonstrate improved results compared to the state of the art, especially in challenging scenarios with large amounts of noise and outliers.


title: Ultra-shallow junction electrodes in low-loss silicon micro-ring resonators

abstract: Electrodes in close proximity to an active area of a device are required for sufficient electrical control. The integration of such electrodes into optical devices can be challenging since low optical losses must be retained to realise high quality operation. Here, we demonstrate that it is possible to place a metallic shallow phosphorus doped layer in a silicon micro-ring cavity that can function at cryogenic temperatures. We verify that the shallow doping layer affects the local refractive index while inducing minimal losses with quality factors up to 10$^5$. This demonstration opens up a pathway to the integration of an electronic device, such as a single-electron transistor, into an optical circuit on the same material platform.


title: Design and analysis of electro-optic modulators based on high contrast gratings (HCGs) in AlGaN/GaN heterostructures

abstract: Recently High Electron Mobility Transistor (HEMT) inspired III-V electro-optic modulator topologies were proposed for realizing high speed electro-optic modulators leveraging plasma dispersion effect due to the 2D Electron Gas (2DEG) present at the III-V heterostructure interface. The 2DEG is highly confined at the interface, extending to very low depths in the bulk ($\approx$10nm) and therefore has limited spatial overlap with the optical mode. In this paper, we propose a novel modulator design to boost the 2DEG-light interaction, wherein the HEMT is embedded within a high contrast grating (HCG) mirror. We present an analytical model extending the conventional HCG model to multi-layer structures and observe good agreement with rigorous coupled-wave analysis (RCWA). We explore the design space for identifying optimal device topology and present geometries that produce a change in reflectivity as large as 70% for C- and L-band wavelengths. We also present results of sensitivity analysis and observe low variation in device performance due to geometry variation arising from device fabrication imperfections. The device platforms presented here are suitable for designing high efficiency electro-optic modulators by incorporating the HEMT HCG into a Fabry-Perot cavity.


title: Photonic topological valley-locked waveguides

abstract: Topological valley kink states have become a significant research frontier with considerable intriguing applications such as robust on-chip communications and topological lasers. Unlike guided modes with adjustable widths in most conventional waveguides, the valley kink states are usually highly confined around the domain walls and thus lack the mode width degree of freedom (DOF), posing a serious limitation to potential device applications. Here, by adding a photonic crystal (PhC) featuring a Dirac point between two valley PhCs with opposite valley-Chern numbers, we design and experimentally demonstrate topological valley-locked waveguides (TVLWs) with tunable mode widths. The photoinc TVLWs could find unique applications, such as high-energy-capacity topological channel intersections, valley-locked energy concentrators, and topological cavities with designable confinement, as verified numerically and experimentally. The TVLWs with width DOF could be beneficial to interface with the exsisting photonic waveguides and devices, and serve as a novel platform for practical use of topological lasing, field enhancement, on-chip communicaitons, and high-capacity energy transport.


title: Energy Aware Routing with Computational Offloading for Wireless Sensor Networks

abstract: Wireless sensor networks (WSN) are characterized by a network of small, battery powered devices, operating remotely with no pre-existing infrastructure. The unique structure of WSN allow for novel approaches to data reduction and energy preservation. This paper presents a modification to the existing Q-routing protocol by providing an alternate action of performing sensor data reduction in place thereby reducing energy consumption, bandwidth usage, and message transmission time. The algorithm is further modified to include an energy factor which increases the cost of forwarding as energy reserves deplete. This encourages the network to conserve energy in favor of network preservation when energy reserves are low. Our experimental results show that this approach can, in periods of high network traffic, simultaneously reduce bandwidth, conserve energy, and maintain low message transition times.


title: Finitary Monads on the Category of Posets

abstract: Finitary monads on $\mathsf{Pos}$ are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analagously, finitary enriched monads on $\mathsf{Pos}$ are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.


title: Cavitation bubble dynamics and sonochemiluminescence activity inside sonicated submerged flow tubes

abstract: Bubble dynamics and luminol emissions of cavitation in sub-millimeter-sized PFA flow tubes, submerged in an ultrasonic bath reactor, are studied at 27 kHz driving frequency. Nucleation of cavitation inside the tubes only takes place via a free interface, realized here in form of an alternating water-air slug flow. High-speed recordings show that cavitation bubbles in the water slugs often develop localized structures in form of clusters or bubble plugs, and that such structures can be seeded via a single pinch-off from the free interface. Within the structures, bubbles strongly interact and frequently undergo merging or splitting events. Due to the mutual interaction and resulting motion, bubbles often collapse with a fast displacement, suggesting jetting dynamics. Bubble compression ratios are estimated on basis of observed individual bubble dynamics and numerical fitting by a single bubble model. The resulting peak temperatures around 3000 K allow for dissociation of water vapor. This is in accordance with observed sonochemiluminescence from luminol, originating from active bubble zones in the tubes.


title: High Temperature Quantum Kinetic Effect in Silicon Nanosandwiches

abstract: The negative-U impurity stripes confining the edge channels of semiconductor quantum wells are shown to allow the effective cooling inside in the process of the spin-dependent transport, with the reduction of the electron-electron interaction. The aforesaid promotes also the creation of composite bosons and fermions by the capture of single magnetic flux quanta on the edge channels under the conditions of low sheet density of carriers, thus opening new opportunities for the registration of the quantum kinetic phenomena in weak magnetic fields at high temperatures up to the room temperature. As a certain version noted above we present the first findings of the high temperature de Haas-van Alphen, 300K, quantum Hall, 77K, effects as well as quantum conductance staircase in the silicon sandwich structure that represents the ultra-narrow, 2 nm, p-type quantum well (Si-QW) confined by the delta barriers heavily doped with boron on the n-type Si (100) surface.


title: Scheduling and Power Control for Wireless Multicast Systems via Deep Reinforcement Learning

abstract: Multicasting in wireless systems is a natural way to exploit the redundancy in user requests in a Content Centric Network. Power control and optimal scheduling can significantly improve the wireless multicast network's performance under fading. However, the model based approaches for power control and scheduling studied earlier are not scalable to large state space or changing system dynamics. In this paper, we use deep reinforcement learning where we use function approximation of the Q-function via a deep neural network to obtain a power control policy that matches the optimal policy for a small network. We show that power control policy can be learnt for reasonably large systems via this approach. Further we use multi-timescale stochastic optimization to maintain the average power constraint. We demonstrate that a slight modification of the learning algorithm allows tracking of time varying system statistics. Finally, we extend the multi-timescale approach to simultaneously learn the optimal queueing strategy along with power control. We demonstrate scalability, tracking and cross layer optimization capabilities of our algorithms via simulations. The proposed multi-timescale approach can be used in general large state space dynamical systems with multiple objectives and constraints, and may be of independent interest.


title: Comment on `Heating of Enceladus due to the dissipation of ocean tides' by R. Tyler

abstract: Dissipation of ocean potential energy is proposed by Tyler (2020) as a new mechanism leading to possible high-power states for Enceladus. I show here that this process actually results from viscoelastic dissipation within the crust. For plausible values of Enceladus's ocean thickness, crustal dissipation can be computed with the standard approach of static deformations of solid layers by equilibrium tides.


title: On structural parameterizations of the selective coloring problem

abstract: In the Selective Coloring problem, we are given an integer $k$, a graph $G$, and a partition of $V(G)$ into $p$ parts, and the goal is to decide whether or not we can pick exactly one vertex of each part and obtain a $k$-colorable induced subgraph of $G$. This generalization of Vertex Coloring has only recently begun to be studied by Demange et al. [Theoretical Computer Science, 2014], motivated by scheduling problems on distributed systems, with Guo et al. [TAMC, 2020] discussing the first results on the parameterized complexity of the problem. In this work, we study multiple structural parameterizations for Selective Coloring. We begin by revisiting the many hardness results of Demange et al. and show how they may be used to provide intractability proofs for widely used parameters such as pathwidth, distance to co-cluster, and max leaf number. Afterwards, we present fixed-parameter tractability algorithms when parameterizing by distance to cluster, or under the joint parameterizations treewidth and number of parts, and co-treewidth and number of parts. Our main contribution is a proof that, for every fixed $k \geq 1$, Selective Coloring does not admit a polynomial kernel when jointly parameterized by the vertex cover number and the number of parts, which implies that Multicolored Independent Set does not admit a polynomial kernel under the same parameterization.


title: Freeform imaging system design with multiple reflection surfaces

abstract: Reflective imaging systems form an important part of photonic devices such as spectrometers, telescopes, augmented and virtual reality headsets or lithography platforms. Reflective optics provide unparalleled spectral performance and can be used to reduce overall volume and weight. So far, most reflective designs have focused on two or three reflections, while four-reflection freeform designs can deliver a higher light throughput (faster F-number) as well as a larger field-of-view (FOV). However, advanced optical design strategies for four-reflection freeform systems have been rarely reported in literature. This is due to the increased complexity in solution space but also the fact that additional mirrors hinder a cost-effective realization (manufacture, alignment, etc.). Recently, we have proposed a novel design method to directly calculate the freeform surface coefficients while merely knowing the mirror positions and tilts. Consequently, this method allows laymen with basic optical design knowledge to calculate 'first time right' freeform imaging systems in a matter of minutes. This contrasts with most common freeform design processes, which requires considerable experience, intuition or guesswork. Firstly, we demonstrate the effectiveness of the proposed method for a four-mirror high-throughput telescope with 250mm-focal-length, F/2.5 and a wide rectangular FOV of 8.5{\deg} x 25.5{\deg}. In a subsequent step, we propose an effective three-mirror but four-reflection imaging system, which consists of two freeform mirrors and one double-reflection spherical mirror. Compared with common three-mirror and three-reflection imagers, our novel multi-reflection system shows unprecedented possibilities for an economic implementation while drastically reducing the overall volume.


title: Phase control of the fractional conductance of silicon nanosandwich-structures

abstract: We present the experimental data of the electric features of the silicon nanosandwichstructures obtained by silicon planar technology in the frameworks of the Hall geometry that represent the ultra-shallow silicon quantum well of 2 nm wide that are confined by delta-barrier heavily doped with boron, which create the edge channels used as the phase controllers of electric signals. The formation of the negative-U dipole boron centers, which appear to confine the edge channels, results in the effective mass dropping and corresponding reduction of the electron-electron interaction thereby giving rise to the macroscopic quantum phenomena at high temperatures up to room temperature. The phase control of the longitudinal conductance is observed by changing either the magnitude of the source-drain current or the voltage applied to the external gate of the silicon nanosandwiches within the quantum Faraday effect.


title: Extremal Set Theory and LWE Based Access Structure Hiding Verifiable Secret Sharing with Malicious-Majority and Free Verification

abstract: Secret sharing allows distributing a secret among several parties such that only authorized subsets, specified by an access structure, can reconstruct the secret. Sehrawat and Desmedt (COCOON 2020) introduced hidden access structures, that remain secret until some authorized subset of parties collaborate. However, their scheme assumes semi-honest parties and supports only restricted access structures. We address these shortcomings by constructing an access structure hiding verifiable secret sharing scheme that supports all monotone access structures. It is the first secret sharing scheme to support cheater identification and share verifiability in malicious-majority settings. The verification procedure of our scheme incurs no communication overhead. As the building blocks of our scheme, we introduce and construct: (i) a set-system with $> \exp\left(c\frac{2(\log h)^2}{(\log\log h)}\right)+2\exp\left(c\frac{(\log h)^2}{(\log\log h)}\right)$ subsets of a set of $h$ elements. Our set-system, $\mathcal{H}$, is defined over $\mathbb{Z}_m$, where $m$ is a non-prime-power. The size of each set in $\mathcal{H}$ is divisible by $m$ but the sizes of their pairwise intersections are not, unless one set is a subset of another, (ii) a new variant of the learning with errors (LWE) problem, called PRIM-LWE, wherein the secret matrix is sampled such that its determinant is a generator of $\mathbb{Z}_q^*$, where $q$ is the LWE modulus. The security of our scheme relies on the hardness of the LWE problem, and its share size is $$(1+ o(1)) \dfrac{2^{\ell}}{\sqrt{\pi \ell/2}}(2 q^{\varrho + 0.5} + \sqrt{q} + \mathrm{\Theta}(h)),$$ where $\varrho \leq 1$ is a constant and $\ell$ is the total number of parties. We also provide directions for future work to reduce the share size to \[\leq \dfrac{1}{3} \left( (1+ o(1)) \dfrac{2^{\ell}}{\sqrt{\pi \ell/2}}(2 q^{\varrho + 0.5} + 2\sqrt{q}) \right).\]


title: Reducing Road Vehicle Fuel Consumption by Exploiting Connectivity and Automation: A Literature Survey

abstract: This paper examines the degree to which connectivity and automation can potentially reduce the overall fuel consumption of on-road vehicles. The paper begins with a simulation study highlighting the tradeoff between: (i) the fuel that a vehicle can save through speed trajectory shaping, versus (ii) the additional inter-vehicle spacing needed for this trajectory shaping to be feasible. This study shows that connectivity and automation are essential, rather than merely useful, for substantial reductions in the fuel consumed by fixed on-road vehicle powertrain/chassis configurations in traffic. Motivated by this insight, we survey the literature on the fuel savings achievable through different connected/automated vehicle technologies. This includes optimal vehicle routing, eco-arrival/departure at intersections, platooning, speed trajectory optimization, predictive driveline disengagement, predictive gear shifting, and predictive powertrain accessory control. This survey shows that the ability to shape vehicle speed trajectories collaboratively plays a dominant role in reducing urban/suburban fuel consumption, while platooning plays a dominant role in influencing the attainable fuel savings on the highway. Moreover, the survey shows that the degree to which connectivity/automation can reduce on-road vehicle fuel consumption, in both urban/suburban and highway settings, depends critically on the integration of powertrain- and chassis-level control.


title: Openness of uniform K-stability in the K\"ahler cone

abstract: We prove continuity results for new stability thresholds related to uniform K-stability and deduce that uniform K-stability is an open condition in the K\"ahler cone of any compact K\"ahler manifold, thus establishing an algebro-geometric counterpart to a classical result of LeBrun-Simanca for constant scalar curvature (cscK) metrics. This settles a folklore conjecture in the field, and in particular implies openness of uniform K-stability for smooth polarized varieties. Moreover, it strengthens evidence supporting the uniform version of the Yau-Tian-Donaldson conjecture for arbitrary polarizations, including the case of irrational polarizations and non-projective K\"ahler manifolds. As a key tool we introduce a new norm on test configurations and establish estimates for non-archimedean energy functionals in terms of this norm. This leads to new characterizations of uniform K-stability by restricting to test configurations that satisfy certain uniform bounds. As a byproduct we obtain continuity results for a stability threshold related to non-archimedean entropy and deduce openness of uniform J-stability, as well as openness of J-stability in the projective case.


title: On Absolute and Relative Change

abstract: Based on an axiomatic approach we propose two related novel one-parameter families of indicators of change which put in a relation classical indicators of change such as absolute change, relative change and the log-ratio.


title: Bringing AI To Edge: From Deep Learning's Perspective

abstract: Edge computing and artificial intelligence (AI), especially deep learning for nowadays, are gradually intersecting to build a novel system, called edge intelligence. However, the development of edge intelligence systems encounters some challenges, and one of these challenges is the \textit{computational gap} between computation-intensive deep learning algorithms and less-capable edge systems. Due to the computational gap, many edge intelligence systems cannot meet the expected performance requirements. To bridge the gap, a plethora of deep learning techniques and optimization methods are proposed in the past years: light-weight deep learning models, network compression, and efficient neural architecture search. Although some reviews or surveys have partially covered this large body of literature, we lack a systematic and comprehensive review to discuss all aspects of these deep learning techniques which are critical for edge intelligence implementation. As various and diverse methods which are applicable to edge systems are proposed intensively, a holistic review would enable edge computing engineers and community to know the state-of-the-art deep learning techniques which are instrumental for edge intelligence and to facilitate the development of edge intelligence systems. This paper surveys the representative and latest deep learning techniques that are useful for edge intelligence systems, including hand-crafted models, model compression, hardware-aware neural architecture search and adaptive deep learning models. Finally, based on observations and simple experiments we conducted, we discuss some future directions.


title: Collective dynamics of stock market efficiency

abstract: Summarized by the efficient market hypothesis, the idea that stock prices fully reflect all available information is always confronted with the behavior of real-world markets. While there is plenty of evidence indicating and quantifying the efficiency of stock markets, most studies assume this efficiency to be constant over time so that its dynamical and collective aspects remain poorly understood. Here we define the time-varying efficiency of stock markets by calculating the permutation entropy within sliding time-windows of log-returns of stock market indices. We show that major world stock markets can be hierarchically classified into several groups that display similar long-term efficiency profiles. However, we also show that efficiency ranks and clusters of markets with similar trends are only stable for a few months at a time. We thus propose a network representation of stock markets that aggregates their short-term efficiency patterns into a global and coherent picture. We find this financial network to be strongly entangled while also having a modular structure that consists of two distinct groups of stock markets. Our results suggest that stock market efficiency is a collective phenomenon that can drive its operation at a high level of informational efficiency, but also places the entire system under risk of failure.


title: Regime transitions in thermally driven high-Rayleigh number vertical convection

abstract: Vertical convection is investigated using direct numerical simulations over a wide range of Rayleigh numbers $10^7\le Ra\le10^{14}$ with fixed Prandtl number $Pr=10$, in a two-dimensional convection cell with unit aspect ratio. It is found that the dependence of the mean vertical centre temperature gradient $S$ on $Ra$ shows three different regimes: In regime I ($Ra \lesssim 5\times10^{10}$), $S$ is almost independent of $Ra$; In the newly identified regime II ($5\times10^{10} \lesssim Ra \lesssim 10^{13}$), $S$ first increases with increasing $Ra$ (regime ${\rm{II}}_a$), reaches its maximum and then decreases again (regime ${\rm{II}}_b$); In regime III ($Ra\gtrsim10^{13}$), $S$ again becomes only weakly dependent on $Ra$, being slightly smaller than in regime I. The transitions between diffeereent regimes are discussd. In the three different regimes, significantly different flow organizations are identified: In regime I and regime ${\rm{II}}_a$, the location of the maximal horizontal velocity is close to the top and bottom walls; However, in regime ${\rm{II}}_b$ and regime III, banded zonal flow structures develop and the maximal horizontal velocity now is in the bulk region. The different flow organizations in the three regimes are also reflected in the scaling exponents in the effective power law scalings $Nu\sim Ra^\beta$ and $Re\sim Ra^\gamma$. In regime I, the fitted scaling exponents ($\beta\approx0.26$ and $\gamma\approx0.51$) are in excellent agreement with the theoretical predication of $\beta=1/4$ and $\gamma=1/2$ for laminar VC (Shishkina, {\it{Phys. Rev. E.}} 2016, 93, 051102). However, in regimes II and III, $\beta$ increases to a value close to 1/3 and $\gamma$ decreases to a value close to 4/9. The stronger $Ra$ dependence of $Nu$ is related to the ejection of plumes and larger local heat flux at the walls.


title: Low Phase-Rank Approximation

abstract: In this paper, we propose and solve a low phase-rank approximation problem, which serves as a counterpart to the well-known low-rank approximation problem and the Schmidt-Mirsky theorem. More specifically, a nonzero complex number can be specified by its gain and phase, and while it is generally accepted that the gains of a matrix may be defined by its singular values, there is no widely accepted definition for its phases. In this work, we consider sectorial matrices, whose numerical ranges do not contain the origin, and adopt the canonical angles of such matrices as their phases. Similarly to the rank of a matrix defined to be the number of its nonzero singular values, we define the phase-rank of a sectorial matrix as the number of its nonzero phases. While a low-rank approximation problem is associated with matrix arithmetic means, as a natural parallel we formulate a low phase-rank approximation problem using matrix geometric means to measure the approximation error. A characterization of the solutions to the proposed problem is then obtained, when both the objective matrix and the approximant are restricted to be positive-imaginary. Moreover, the obtained solution has the same flavor as the Schmidt-Mirsky theorem on low-rank approximation problems. In addition, we provide an alternative formulation of the low phase-rank approximation problem using geodesic distances between sectorial matrices. The two formulations give rise to the exact same set of solutions when the involved matrices are additionally assumed to be unitary.


title: Noise and waves: a unified kinetic theory for stellar systems

abstract: The traditional Chandrasekhar picture of the slow relaxation of stellar systems assumes that stars' orbits are only modified by occasional, uncorrelated, two-body flyby encounters with other stars. However, the long-range nature of gravity means that in reality large numbers of stars can behave collectively. In stable systems this collective behaviour (i) amplifies the noisy fluctuations in the system's gravitational potential, effectively 'dressing' the two-body (star-star) encounters, and (ii) allows the system to support large-scale density waves (a.k.a. normal modes) which decay through resonant wave-star interactions. If the relaxation of the system is dominated by effect (i) then it is described by the Balescu-Lenard (BL) kinetic theory. Meanwhile if (ii) dominates, one must describe relaxation using quasilinear (QL) theory, though in the stellar-dynamical context the full set of QL equations has never been presented. Moreover, in some systems like open clusters and galactic disks, both (i) and (ii) might be important. Here we present for the first time the equations of a unified kinetic theory of stellar systems in angle-action variables that accounts for both effects (i) and (ii) simultaneously. We derive the equations in a heuristic, physically-motivated fashion and work in the simplest possible regime by accounting only for very weakly damped waves. This unified theory is effectively a superposition of BL and QL theories, both of which are recovered in appropriate limits. The theory is a first step towards a comprehensive description of those stellar systems for which neither the QL or BL theory will suffice.


title: Propagation speed of degenerate diffusion equations with time delay

abstract: We are concerned with a class of degenerate diffusion equations with time delay describing population dynamics with age structure. In our recent study [{\em Nonlinearity}, 33 (2020), 4013--4029], we established the existence and uniqueness of critical traveling wave for the time-delayed degenerate diffusion equations, and obtained the reducing mechanism of time delay on critical wave speed. In this paper, we now are able to show the asymptotic spreading speed and its coincidence with the critical wave speed $c^*(m,r)$ of sharp wave, and prove that the initial perturbation or the boundary of the compact support of the solution propagates at the critical wave speed $c^*(m,r)$ for the time-delayed degenerate diffusion equations. Remarkably, different from the existing studies related to spreading speeds, the time delay and the degenerate diffusion lead to some essential difficulties in the analysis of the spreading speed, because the time-delay makes the critical speed of traveling waves slow down, and the degenerate diffusion causes the loss of regularity for the solutions. By a phase transform technique combined with the monotone method, we can determine the asymptotic spreading speed. Furthermore, we propose a brand-new sharp-profile-based difference scheme to handle large variation of degenerate diffusion $(u^m)_{xx}$ near the sharp edge and carry out some numerical simulations which perfectly confirm our theoretical results.


title: Cost Function Unrolling in Unsupervised Optical Flow

abstract: Steepest descent algorithms, which are commonly used in deep learning, use the gradient as the descent direction, either as-is or after a direction shift using preconditioning. In many scenarios calculating the gradient is numerically hard due to complex or non-differentiable cost functions, specifically next to singular points. In this work we focus on the derivation of the Total Variation semi-norm commonly used in unsupervised cost functions. Specifically, we derive a differentiable proxy to the hard L1 smoothness constraint in a novel iterative scheme which we refer to as Cost Unrolling. Producing more accurate gradients during training, our method enables finer predictions of a given DNN model through improved convergence, without modifying its architecture or increasing computational complexity. We demonstrate our method in the unsupervised optical flow task. Replacing the L1 smoothness constraint with our unrolled cost during the training of a well known baseline, we report improved results on both MPI Sintel and KITTI 2015 unsupervised optical flow benchmarks. Particularly, we report EPE reduced by up to 15.82% on occluded pixels, where the smoothness constraint is dominant, enabling the detection of much sharper motion edges.


title: The Fedder action and a simplicial complex of local cohomologies

abstract: Let $R$ be a regular ring of prime characteristic $p > 0$, and let $\underline{\mathbf{f}}=f_1,\ldots,f_c$ be a permutable regular sequence of codimension $c\geq 1$. We describe a complex of $R\langle F \rangle$-modules, denoted $\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R)$, whose terms include $\Delta\hspace{-2.65mm}\Delta^0_{\underline{\mathbf{f}}}(R)=R/\underline{\mathbf{f}}$ equipped with its natural Frobenius action, and $\Delta\hspace{-2.65mm}\Delta^c_{\underline{\mathbf{f}}}(R)=H^c_{\underline{\mathbf{f}}}(R)$ equipped with a Frobenius action we refer to as the Fedder action. We show that $H^i(\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R))=0$ for all $i<c$, and that $H^c(\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R))$ is a copy of $H^c_{\underline{\mathbf{f}}}(R)$ equipped with the usual Frobenius action. Using the $\Delta\hspace{-2.65mm}\Delta^\bullet_{\underline{\mathbf{f}}}(R)$ complex, we show that if $I\supseteq \underline{\mathbf{f}}$ is an ideal such that $H^i_I(R)=0$ for $\text{ht}(I)<i<\text{ht}(I)+c$ (which is automatic if $R/I$ is Cohen-Macaulay), then the module $H^{\text{ht}(I/\underline{\mathbf{f}})+c}_{I/\underline{\mathbf{f}}}(R/\underline{\mathbf{f}})$ has Zariski closed support.


title: Security Analysis of Ripple Consensus

abstract: The Ripple network is one of the most prominent blockchain platforms and its native XRP token currently has one of the highest cryptocurrency market capitalizations. The Ripple consensus protocol powers this network and is generally considered to a Byzantine fault-tolerant agreement protocol, which can reach consensus in the presence of faulty or malicious nodes. In contrast to traditional Byzantine agreement protocols, there is no global knowledge of all participating nodes in Ripple consensus; instead, each node declares a list of other nodes that it trusts and from which it considers votes. Previous work has brought up concerns about the liveness and safety of the consensus protocol under the general assumptions stated initially by Ripple, and there is currently no appropriate understanding of its workings and its properties in the literature. This paper closes this gap and makes two contributions. It first provides a detailed, abstract description of the protocol, which has been derived from the source code. Second, the paper points out that the abstract protocol may violate safety and liveness in several simple executions under relatively benign network assumptions.


title: TailCoR

abstract: Economic and financial crises are characterised by unusually large events. These tail events co-move because of linear and/or nonlinear dependencies. We introduce TailCoR, a metric that combines (and disentangles) these linear and non-linear dependencies. TailCoR between two variables is based on the tail inter quantile range of a simple projection. It is dimension-free, it performs well in small samples, and no optimisations are needed.


title: Advancements of federated learning towards privacy preservation: from federated learning to split learning

abstract: In the distributed collaborative machine learning (DCML) paradigm, federated learning (FL) recently attracted much attention due to its applications in health, finance, and the latest innovations such as industry 4.0 and smart vehicles. FL provides privacy-by-design. It trains a machine learning model collaboratively over several distributed clients (ranging from two to millions) such as mobile phones, without sharing their raw data with any other participant. In practical scenarios, all clients do not have sufficient computing resources (e.g., Internet of Things), the machine learning model has millions of parameters, and its privacy between the server and the clients while training/testing is a prime concern (e.g., rival parties). In this regard, FL is not sufficient, so split learning (SL) is introduced. SL is reliable in these scenarios as it splits a model into multiple portions, distributes them among clients and server, and trains/tests their respective model portions to accomplish the full model training/testing. In SL, the participants do not share both data and their model portions to any other parties, and usually, a smaller network portion is assigned to the clients where data resides. Recently, a hybrid of FL and SL, called splitfed learning, is introduced to elevate the benefits of both FL (faster training/testing time) and SL (model split and training). Following the developments from FL to SL, and considering the importance of SL, this chapter is designed to provide extensive coverage in SL and its variants. The coverage includes fundamentals, existing findings, integration with privacy measures such as differential privacy, open problems, and code implementation.


title: Discovery of carbon-based strongest and hardest amorphous material

abstract: Carbon is likely the most fascinating element of the periodic table because of the diversity of its allotropes stemming from its variable (sp, sp2, and sp3) bonding motifs. Exploration of new forms of carbon has been an eternal theme of contemporary scientific research. Here we report on novel amorphous carbon phases containing high fraction of sp3 bonded atoms recovered after compressing fullerene C60 to previously unexplored high pressure and temperature. The synthesized carbons are the hardest and strongest amorphous materials known to date, capable of scratching diamond crystal and approaching its strength which is evidenced by complimentary mechanical tests. Photoluminescence and absorption spectra of the materials demonstrate they are semiconductors with tunable bandgaps in the range of 1.5-2.2 eV, comparable to that of amorphous silicon. A remarkable combination of the outstanding mechanical and electronic properties makes this class of amorphous carbons an excellent candidate for photovoltaic applications demanding ultrahigh strength and wear resistance.


title: Applying Convolutional Neural Networks to Data on Unstructured Meshes with Space-Filling Curves

abstract: This paper presents the first classical Convolutional Neural Network (CNN) that can be applied directly to data from unstructured finite element meshes or control volume grids. CNNs have been hugely influential in the areas of image classification and image compression, both of which typically deal with data on structured grids. Unstructured meshes are frequently used to solve partial differential equations and are particularly suitable for problems that require the mesh to conform to complex geometries or for problems that require variable mesh resolution. Central to the approach are space-filling curves, which traverse the nodes or cells of a mesh tracing out a path that is as short as possible (in terms of numbers of edges) and that visits each node or cell exactly once. The space-filling curves (SFCs) are used to find an ordering of the nodes or cells that can transform multi-dimensional solutions on unstructured meshes into a one-dimensional (1D) representation, to which 1D convolutional layers can then be applied. Although developed in two dimensions, the approach is applicable to higher dimensional problems. To demonstrate the approach, the network we choose is a convolutional autoencoder (CAE) although other types of CNN could be used. The approach is tested by applying CAEs to data sets that have been reordered with an SFC. Sparse layers are used at the input and output of the autoencoder, and the use of multiple SFCs is explored. We compare the accuracy of the SFC-based CAE with that of a classical CAE applied to two idealised problems on structured meshes, and then apply the approach to solutions of flow past a cylinder obtained using the finite-element method and an unstructured mesh.


title: Discovering Causal Structure with Reproducing-Kernel Hilbert Space $\epsilon$-Machines

abstract: We merge computational mechanics' definition of causal states (predictively-equivalent histories) with reproducing-kernel Hilbert space (RKHS) representation inference. The result is a widely-applicable method that infers causal structure directly from observations of a system's behaviors whether they are over discrete or continuous events or time. A structural representation -- a finite- or infinite-state kernel $\epsilon$-machine -- is extracted by a reduced-dimension transform that gives an efficient representation of causal states and their topology. In this way, the system dynamics are represented by a stochastic (ordinary or partial) differential equation that acts on causal states. We introduce an algorithm to estimate the associated evolution operator. Paralleling the Fokker-Plank equation, it efficiently evolves causal-state distributions and makes predictions in the original data space via an RKHS functional mapping. We demonstrate these techniques, together with their predictive abilities, on discrete-time, discrete-value infinite Markov-order processes generated by finite-state hidden Markov models with (i) finite or (ii) uncountably-infinite causal states and (iii) continuous-time, continuous-value processes generated by thermally-driven chaotic flows. The method robustly estimates causal structure in the presence of varying external and measurement noise levels and for very high dimensional data.


title: Planning profitable tours for field sales forces: A unified view on sales analytics and mathematical optimization

abstract: Field sales forces play an important role in direct marketing, especially for companies offering complex products, services, or solutions in the business-to-business context. A key task of sales representatives in operational planning is to select the most promising customers to visit within the next days. On an operative horizon, a key task for sales representatives is to select the most promising customers to visit within the next days. A strongly varying set of scoring methods predicting or approximating the expected response exists for this customer selection phase. However, in the case of field sales forces, the final customer selection is strongly interrelated to the tour planning decisions. To this end, we formalize variants of the profitable sales representatives tour problem as a multi-period team orienteering problem, thereby providing a unified view on the customer scoring and the tour planning phase. In an extensive computational study on real-world instances from the retail industry, we systematically examine the impact of the aggregation level and the content of information provided by a scoring method and the sensitivity of the proposed models concerning prediction errors. We show that the selection of a customer scoring and tour planning variant depends on the available data. Furthermore, we work out where to put effort in the data acquisition and scoring phase to get better operational tours.


title: Gender diversity in research teams and citation impact in Economics and Management

abstract: The aim of this paper is twofold:1)contribute to a better understanding of the place of women in Economics and Management disciplines by characterizing the difference in levels of scientific collaboration between men and women at the specialties level;2) Investigate the relationship between gender diversity and citation impact in Economics and Management. Our data, extracted from the Web of Science database, cover global production as indexed in 302 journals in Economics and 370 journals in Management, with respectively 153 667 and 163 567 articles published between 2008 and 2018. Results show that collaborative practices between men and women are quite different in Economics and Management. We also find that there is a positive and significant effect of gender diversity on the academic impact of publications. Mixed-gender publications (co-authored by men and women) receive more citations than non-mixed papers (written by same-gender author teams) or single-author publications. The effect is slightly stronger in Management. The regression analysis also indicates that there is, for both disciplines, a small negative effect on citations received if the corresponding author is a woman.


title: A Review of Recent Advances of Binary Neural Networks for Edge Computing

abstract: Edge computing is promising to become one of the next hottest topics in artificial intelligence because it benefits various evolving domains such as real-time unmanned aerial systems, industrial applications, and the demand for privacy protection. This paper reviews recent advances on binary neural network (BNN) and 1-bit CNN technologies that are well suitable for front-end, edge-based computing. We introduce and summarize existing work and classify them based on gradient approximation, quantization, architecture, loss functions, optimization method, and binary neural architecture search. We also introduce applications in the areas of computer vision and speech recognition and discuss future applications for edge computing.


title: App Limits Bar: A Progress of App Limits for Overcoming Smartphone Overuse

abstract: Smartphone overuse has many negative effects on human beings. The function App Limits in our phones, which belongs to behavior reinforcement strategies for overcoming problematic smartphone overuse, constrains users by shutting them completely out of an app after a certain period of time. While it has the effectiveness to some extent, lacking procedural detection of problematic behavior always brings about anxiety and depression for users. We proposed App Limits Bar (ALB) to progress the traditional App Limits, aiming to mitigate the negative feelings about using App Limits and enhance users' abilities to manage their time on addictive apps. Meanwhile, we took a three-phase user study to answer whether ALB helps users be more content with using the app limits function and whether ALB performs better than traditional App Limits in terms of reducing usage time and open times on addictive apps. Future work will study the best shape of the edge screen for visualization when the front screen faces us.


title: Revisiting Rainbow: Promoting more Insightful and Inclusive Deep Reinforcement Learning Research

abstract: Since the introduction of DQN, a vast majority of reinforcement learning research has focused on reinforcement learning with deep neural networks as function approximators. New methods are typically evaluated on a set of environments that have now become standard, such as Atari 2600 games. While these benchmarks help standardize evaluation, their computational cost has the unfortunate side effect of widening the gap between those with ample access to computational resources, and those without. In this work we argue that, despite the community's emphasis on large-scale environments, the traditional small-scale environments can still yield valuable scientific insights and can help reduce the barriers to entry for underprivileged communities. To substantiate our claims, we empirically revisit the paper which introduced the Rainbow algorithm [Hessel et al., 2018] and present some new insights into the algorithms used by Rainbow.


title: The role of spectral complexity in connectivity estimation

abstract: The study of functional connectivity from magnetoecenphalographic (MEG) data consists in quantifying the statistical dependencies among time series describing the activity of different neural sources from the magnetic field recorded outside the scalp. This problem can be addressed by utilizing connectivity measures whose computation in the frequency domain often relies on the evaluation of the cross-power spectrum of the neural time-series estimated by solving the MEG inverse problem. Recent studies have focused on the optimal determination of the cross-power spectrum in the framework of regularization theory for ill-posed inverse problems, providing indications that, rather surprisingly, the regularization process that leads to the optimal estimate of the neural activity does not lead to the optimal estimate of the corresponding functional connectivity. Along these lines, the present paper utilizes synthetic time series simulating the neural activity recorded by an MEG device to show that the regularization of the cross-power spectrum is significantly correlated with the signal-to-noise ratio of the measurements and that, as a consequence, this regularization correspondingly depends on the spectral complexity of the neural activity.


title: Periodic delay orbits and the polyfold implicit function theorem

abstract: We consider differential delay equations of the form $\partial_tx(t) = X_{t}(x(t - \tau))$ in $\mathbb{R}^n$, where $(X_t)_{t\in S^1}$ is a time-dependent family of smooth vector fields on $\mathbb{R}^n$ and $\tau$ is a delay parameter. If there is a (suitably non-degenerate) periodic solution $x_0$ of this equation for $\tau=0$, that is without delay, there are good reasons to expect existence of a family of periodic solutions for all sufficiently small delays, smoothly parametrized by delay. However, it seems difficult to prove this using the classical implicit function theorem, since the equation above is not smooth in the delay parameter. In this paper, we show how to use the M-polyfold implicit function theorem by Hofer-Wysocki-Zehnder [HWZ09, HWZ17] to overcome this problem in a natural setup.


title: Ordinal Patterns in the Duffing Oscillator: Analyzing Powers of Characterization

abstract: Ordinal Patterns are a time-series data analysis tool used as a preliminary step to construct the Permutation Entropy which itself allows the same characterization of dynamics as chaotic or regular as more theoretical constructs such as the Lyapunov exponent. However ordinal patterns store strictly more information than Permutation Entropy or Lyapunov exponents. We present results working with the Duffing oscillator showing that ordinal patterns reflect changes in dynamical symmetry invisible to other measures, even Permutation Entropy. We find that these changes in symmetry at given parameter values are correlated with a change in stability at neighboring parameters which suggests a novel predictive capability for this analysis technique.


title: Improving Scalability of Contrast Pattern Mining for Network Traffic Using Closed Patterns

abstract: Contrast pattern mining (CPM) aims to discover patterns whose support increases significantly from a background dataset compared to a target dataset. CPM is particularly useful for characterising changes in evolving systems, e.g., in network traffic analysis to detect unusual activity. While most existing techniques focus on extracting either the whole set of contrast patterns (CPs) or minimal sets, the problem of efficiently finding a relevant subset of CPs, especially in high dimensional datasets, is an open challenge. In this paper, we focus on extracting the most specific set of CPs to discover significant changes between two datasets. Our approach to this problem uses closed patterns to substantially reduce redundant patterns. Our experimental results on several real and emulated network traffic datasets demonstrate that our proposed unsupervised algorithm is up to 100 times faster than an existing approach for CPM on network traffic data [2]. In addition, as an application of CPs, we demonstrate that CPM is a highly effective method for detection of meaningful changes in network traffic.


title: Design of simple stellarator using tilted toroidal field coils

abstract: This paper deals with the design of the stellarator field with the simple coil set. In order to realize the stellarator field by the simple coil set, the tilted toroidal field coil uses for creating the rotational transform. Sixteen tilted TF coils create the small radial field and large vertical field. With reducing the vertical field of the tilted toroidal field coil by the axisymmetric poloidal field coil, the stellarator field can be made. The formation of clear and nested flux surfaces is confirmed, and the rotational transform is proportional to the tilting angle of the toroidal field coil. Main components of the magnetic field for the simple stellarator in this paper are the large mirror ripple and small helical ripple. This is a similar property to the quasi-isodynamic configuration like the Wendelstein 7-X stellarator. The collisionless orbit for the proton is studied. For a moderate tilting angle of the toroidal field coil, the confinement of the passing and trapped particles improves.


title: Novel Bounded Binary-Addition Tree Algorithm for Binary-State Network Reliability Problems

abstract: Many network applications are based on binary-state networks, where each component has one of two states: success or failure. Efficient algorithms to evaluate binary-state network reliability are continually being developed. Reliability estimates the probability of the success state and is an effective and popular evaluation technique for binary-state networks. Binary-addition tree (BAT) algorithms are frequently used to calculate the efficiency and reliability of binary-state networks. In this study, we propose a novel, bounded BAT algorithm that employs three novel concepts: the first connected vector, the last disconnected vector, and super vectors. These vectors and the calculations of their occurrent probabilities narrow the search space and simplify the probability calculations to reduce the run time of the algorithm. Moreover, we show that replacing each undirected arc with two directed arcs, which is required in traditional direct methods, is unnecessary in the proposed algorithm. We call this novel concept the undirected vectors. The performance of the proposed bounded BAT algorithm was verified experimentally by solving a benchmark set of problems.


title: Connectedness in structures on the real numbers: o-minimality and undecidability

abstract: We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do all expansions of $(\mathbb{R},+,\cdot,\mathbb{N})$. Our main analytic-geometric result is that any such expansion of $(\mathbb{R},<,+)$ by boolean combinations of open sets (of any arities) either is o\nobreakdash-\hspace{0pt}minimal or defines an isomorph of $(\mathbb N,+,\cdot\,)$. We also show that any given expansion of $(\mathbb{R}, <, +,\mathbb{N})$ by subsets of $\mathbb{N}^n$ ($n$ allowed to vary) has the property if and only if it defines all arithmetic sets. Variations arise by considering connected components or quasicomponents instead of path components.


title: The Effect of Education on Smoking Decisions in the United States

abstract: This paper explores the link between education and the decision to start smoking as well as the decision to quit smoking. Data is gathered from IPUMS CPS and Centers for Disease Control and Prevention. Probit analysis (with the use of probability weight and robust standard error) indicates that every additional year of education will reduce the 2.3 percentage point of the smoking probability and will add 3.53 percentage point in quitting likelihood, holding home restriction, public restriction, cigarette price, family income, age, gender, race, and ethnicity constant. I believe that tobacco epidemic is a serious global issue that may be mitigated by using careful regulations on smoking restriction and education.


title: Case Studies of the Time-Dependent Potential Energy Surface for Dynamics in Cavities

abstract: The exact time-dependent potential energy surface driving the nuclear dynamics was recently shown to be a useful tool to understand and interpret the coupling of nuclei, electrons, and photons, in cavity settings. Here we provide a detailed analysis of its structure for exactly-solvable systems that model two phenomena: cavity-induced suppression of proton-coupled electron transfer and its dependence on the initial state, and cavity-induced electronic excitation. We demonstrate the inadequacy of simply using a weighted average of polaritonic surfaces to determine the dynamics. Such a weighted average misses a crucial term that redistributes energy between the nuclear and the polaritonic systems, and this term can in fact become a predominant term in determining the nuclear dynamics when several polaritonic surfaces are involved. Evolving an ensemble of classical trajectories on the exact potential energy surface reproduces the nuclear wavepacket quite accurately while evolving on the weighted polaritonic surface fails after a short period of time. The implications and prospects for application of mixed quantum-classical methods based on this surface are discussed.


title: Topological defect engineering and PT-symmetry in non-Hermitian electrical circuits

abstract: We employ electric circuit networks to study topological states of matter in non-Hermitian systems enriched by parity-time symmetry $\mathcal{PT}$ and chiral symmetry anti-$\mathcal{PT}$ ($\mathcal{APT}$). The topological structure manifests itself in the complex admittance bands which yields excellent measurability and signal to noise ratio. We analyze the impact of $\mathcal{PT}$ symmetric gain and loss on localized edge and defect states in a non-Hermitian Su--Schrieffer--Heeger (SSH) circuit. We realize all three symmetry phases of the system, including the $\mathcal{APT}$ symmetric regime that occurs at large gain and loss. We measure the admittance spectrum and eigenstates for arbitrary boundary conditions, which allows us to resolve not only topological edge states, but also a novel $\mathcal{PT}$ symmetric $\mathbb{Z}_2$ invariant of the bulk. We discover the distinct properties of topological edge states and defect states in the phase diagram. In the regime that is not $\mathcal{PT}$ symmetric, the topological defect state disappears and only reemerges when $\mathcal{APT}$ symmetry is reached, while the topological edge states always prevail and only experience a shift in eigenvalue. Our findings unveil a future route for topological defect engineering and tuning in non-Hermitian systems of arbitrary dimension.


title: Void Engineering in Epitaxially Regrown GaAs-Based Photonic Crystal Surface Emitting Lasers by Grating Profile Design

abstract: We report the engineering of air-voids embedded in GaAs-based photonic crystal surface emitting lasers realised by metalorganic vapour-phase epitaxy regrowth. Two distinct void geometries are obtained by modifying the photonic crystal grating profile within the reactor prior to regrowth. The mechanism of void formation is inferred from scanning transmission electron microscopy analysis, with the evolution of the growth front illustrated though the use of an AlAs/GaAs superlattice structure. Competition between rapid lateral growth of the (100) surface and slow diffusion across higher index planes is exploited in order to increase void volume, leading to an order of magnitude reduction in threshold current and an increase in output power through an increase in the associated grating coupling strength.


title: Workload Characterization of Programmable Metasurfaces

abstract: Metasurfaces are envisaged to play a key role in next-generation wireless systems due to their powerful control over electromagnetic waves. The last decade has witnessed huge advances in this regard, shifting from static to programmable metasurfaces. The HyperSurface (HSF) paradigm takes one step further by integrating a network of controllers within the device with the aim of adding intelligence, connectivity, and autonomy. However, little is known about the traffic that this network will have to support as the target electromagnetic function or boundary conditions change. In this paper, we lay down the foundations of a methodology to characterize the workload of programmable metasurfaces and then employ it to analyze the case of beam steering HSFs. We observe that traffic is bursty and highly dependent on the position of the target. These results will enable the early-stage evaluation of intra-HSF networks, as well as the estimation of the system performance and cost.


title: Natural radioactive environments as sources of local disequilibrium for the emergence of life

abstract: Certain subterranean environments of Earth have naturally accumulated long-lived radionuclides, such as 238U, 232Th and 40K, near the presence of liquid water. In these natural radioactive environments (NRE), water radiolysis can produce chemical species of biological importance, such as H2. Although the proposal of radioactive decay as an alternative source of energy for living systems has existed for more than thirty years, this hypothesis gained strength after the recent discovery of a peculiar ecosystem in a gold mine in South Africa, whose existence is dependent on chemical species produced by water radiolysis. In this work, we calculate the chemical disequilibrium generated locally by water radiolysis due gamma radiation and analyse the possible contribution of this disequilibrium for the emergence of life, considering conditions of early Earth and having as reference the alkaline hydrothermal vent (AHV) theory. Results from our kinetic model points out the similarities between the conditions caused by water radiolysis and those found on alkaline hydrothermal systems. Our model produces a steady increase of pH with time, which favours the precipitation of minerals with catalytic activity for protometabolism, as well as a natural electrochemical gradient in this aqueous environment. In conclusion, we described a possible free-energy conversion mechanism that could be a requisite for emergence of life in Hadean Earth.

categories: physics.chem-ph astro-ph.EP physics.geo-ph q-bio.PE


title: A new BAT for Acyclic Multistate Information Network Reliability Evaluation

abstract: The acyclic multistate information network (AMIN), which is a kind of MIN that does not require the conservation law of flow, plays an important role nowadays because many modern network structures present AMIN as the construction such as social networks, local area networks (LANs), 4G/5G networks, etc. To effectively evaluate the network reliability of AMIN, which indicates the reliable operation of the network, showing a major and primary metrics for determining the performance and quality of the overall network. The network reliability, which has been shown a NP-hard, has been successfully resolved and approached by the universal generation function method (UGFM). However, the UGFM can only solve small-scale problems due to the overflow in computer memory. To overcome the memory obstacle, an improved and enhanced binary-addition vectors tree algorithm (BAT) is proposed to effectively evaluate and analyze the reliability of AMIN. The performance of the proposed BAT is validated on examples.


title: Context-based Broadcast Acknowledgement for Enhanced Reliability of Cooperative V2X Messages

abstract: Most V2X applications/services are supported by the continuous exchange of broadcast messages. One of the main challenges is to increase the reliability of broadcast transmissions that lack of mechanisms to assure the correct delivery of the messages. To address this issue, one option is the use of acknowledgments. However, this option has scalability issues when applied to broadcast transmissions because multiple vehicles can transmit acknowledgments simultaneously. To control scalability while addressing reliability of broadcast messages, this paper proposes and evaluates a context-based broadcast acknowledgement mechanism where the transmitting vehicles selectively request the acknowledgment of specific/critical broadcast messages, and performs retransmissions if they are not correctly received. In addition, the V2X applications/services identify the situations/conditions that trigger the execution of the broadcast acknowledgment mechanism, and the receiver(s) that should acknowledge the broadcast messages. The paper evaluates the performance of the context-based broadcast acknowledgment mechanism for a Collective Perception Service. The obtained results show the proposed mechanism can contribute to improve the awareness of crossing pedestrians at intersections by increasing the reliability in the exchange of CPM messages between vehicles approaching the intersection. This solution is being discussed under IEEE 802.11bd, and thus can be relevant for the standardization process.


title: Sparse-View Spectral CT Reconstruction Using Deep Learning

abstract: Spectral computed tomography (CT) is an emerging technology capable of providing high chemical specificity, which is crucial for many applications such as detecting threats in luggage. This type of application requires both fast and high-quality image reconstruction and is often based on sparse-view (few) projections. The conventional filtered back projection (FBP) method is fast but it produces low-quality images dominated by noise and artifacts in sparse-view CT. Iterative methods with, e.g., total variation regularizers can circumvent that but they are computationally expensive, as the computational load proportionally increases with the number of spectral channels. Instead, we propose an approach for fast reconstruction of sparse-view spectral CT data using a U-Net convolutional neural network architecture with multi-channel input and output. The network is trained to output high-quality CT images from FBP input image reconstructions. Our method is fast at run-time and because the internal convolutions are shared between the channels, the computational load increases only at the first and last layers, making it an efficient approach to process spectral data with a large number of channels. We have validated our approach using real CT scans. Our results show qualitatively and quantitatively that our approach outperforms the state-of-the-art iterative methods. Furthermore, the results indicate that the network can exploit the coupling of the channels to enhance the overall quality and robustness.


title: Mint: MDL-based approach for Mining INTeresting Numerical Pattern Sets

abstract: Pattern mining is well established in data mining research, especially for mining binary datasets. Surprisingly, there is much less work about numerical pattern mining and this research area remains under-explored. In this paper, we propose Mint, an efficient MDL-based algorithm for mining numerical datasets. The MDL principle is a robust and reliable framework widely used in pattern mining, and as well in subgroup discovery. In Mint we reuse MDL for discovering useful patterns and returning a set of non-redundant overlapping patterns with well-defined boundaries and covering meaningful groups of objects. Mint is not alone in the category of numerical pattern miners based on MDL. In the experiments presented in the paper we show that Mint outperforms competitors among which Slim and RealKrimp.


title: 6G Networks: Beyond Shannon Towards Semantic and Goal-Oriented Communications

abstract: The goal of this paper is to promote the idea that including semantic and goal-oriented aspects in future 6G networks can produce a significant leap forward in terms of system effectiveness and sustainability. Semantic communication goes beyond the common Shannon paradigm of guaranteeing the correct reception of each single transmitted packet, irrespective of the meaning conveyed by the packet. The idea is that, whenever communication occurs to convey meaning or to accomplish a goal, what really matters is the impact that the correct reception/interpretation of a packet is going to have on the goal accomplishment. Focusing on semantic and goal-oriented aspects, and possibly combining them, helps to identify the relevant information, i.e. the information strictly necessary to recover the meaning intended by the transmitter or to accomplish a goal. Combining knowledge representation and reasoning tools with machine learning algorithms paves the way to build semantic learning strategies enabling current machine learning algorithms to achieve better interpretation capabilities and contrast adversarial attacks. 6G semantic networks can bring semantic learning mechanisms at the edge of the network and, at the same time, semantic learning can help 6G networks to improve their efficiency and sustainability.


title: Opto-Mechanical Interactions in Multi-Core Optical Fibers and Their Applications

abstract: Optical fibers containing multiple cores are being developed towards capacity enhancement in space-division multiplexed optical communication networks. In many cases, the fibers are designed for negligible direct coupling of optical power among the cores. The cores remain, however, embedded in a single, mechanically-unified cladding. Elastic (or acoustic) modes supported by the fiber cladding geometry are in overlap with multiple cores. Acoustic waves may be stimulated by light in any core through electrostriction. Once excited, the acoustic waves may induce photo-elastic perturbations to optical waves in other cores as well. Such opto-mechanical coupling gives rise to inter-core cross-phase modulation effects, even when direct optical crosstalk is very weak. The cross-phase modulation spectrum reaches hundreds of megahertz frequencies. It may consist of discrete and narrow peaks, or may become quasi-continuous, depending on the geometric layout. The magnitude of the effect at the resonance frequencies is comparable with that of intra-core cross-phase modulation due to Kerr nonlinearity. Two potential applications are demonstrated: single-frequency opto-electronic oscillators that do not require radio-frequency electrical filters, and point-sensing of liquids outside the cladding of multi-core fibers, where light cannot reach.


title: Quantum adiabatic cycles and their breakdown

abstract: An analytically solvable model for quasi-static transformations across quantum critical points featuring Bosonic quasi-particle excitations is presented. The model proves that adiabaticity breakdown is a general feature of universal slow dynamics in these systems. The existence of an "anti-adiabatic" dynamical phase with vanishing ground state fidelity in the slow drive limit is also proven. The relation of these findings with the Kibble-Zurek mechanism and their consequences on defect formation in many body systems ramped across a quantum phase transition are discussed.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech cond-mat.supr-con math-ph math.MP


title: Media Content Delivery Protocols Performance and Reliability Evaluation in Cellular Mobile Networks

abstract: Currently, tens of millions of devices around the world communicate with/ each other via cellular networks. In this paper, we study the stability of network content delivery protocols to the effects of network interference. To conduct the research, a tool was developed that allows testing of protocols, such as TCP, UDP, and QUIC. The analysis and comparison of the obtained test results were carried out. In the conclusion, the best protocols for content delivery were shown


title: A Framework for Output-Feedback Symbolic Control

abstract: Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic control approaches usually assume that full-state information is available which is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framework for output-feedback symbolic control. We propose relations between original systems and their symbolic models based on outputs. They enable designing symbolic controllers and refining them to enforce complex requirements on original systems. We provide example methodologies to synthesize and refine output-feedback symbolic controllers.


title: Parameterized algorithms for locating-dominating sets

abstract: A locating-dominating set $D$ of a graph $G$ is a dominating set of $G$ where each vertex not in $D$ has a unique neighborhood in $D$, and the Locating-Dominating Set problem asks if $G$ contains such a dominating set of bounded size. This problem is known to be $\mathsf{NP-hard}$ even on restricted graph classes, such as interval graphs, split graphs, and planar bipartite subcubic graphs. On the other hand, it is known to be solvable in polynomial time for some graph classes, such as trees and, more generally, graphs of bounded cliquewidth. While these results have numerous implications on the parameterized complexity of the problem, little is known in terms of kernelization under structural parameterizations. In this work, we begin filling this gap in the literature. Our first result shows that Locating-Dominating Set, when parameterized by the solution size $d$, admits no $2^{o(d \log d)}$ time algorithm unless the Exponential Time Hypothesis fails; as a corollary, we also show that no $n^{o(d)}$ time algorithm exists under ETH, implying that the naive $\mathsf{XP}$ algorithm is essentially optimal. We present an exponential kernel for the distance to cluster parameterization and show that, unless $\mathsf{NP-hard} \subseteq \mathsf{NP-hard}/$\mathsf{poly}$, no polynomial kernel exists for Locating-Dominating Set when parameterized by vertex cover nor when parameterized by distance to clique. We then turn our attention to parameters not bounded by neither of the previous two, and exhibit a linear kernel when parameterizing by the max leaf number; in this context, we leave the parameterization by feedback edge set as the primary open problem in our study.


title: Efficient and Robust Propensity-Score-Based Methods for Population Inference using Epidemiologic Cohorts

abstract: Most epidemiologic cohorts are composed of volunteers who do not represent the general population. To enable population inference from cohorts, we and others have proposed utilizing probability survey samples as external references to develop a propensity score (PS) for membership in the cohort versus survey. Herein we develop a unified framework for PS-based weighting (such as inverse PS weighting (IPSW)) and matching methods (such as kernel-weighting (KW) method). We identify a fundamental Strong Exchangeability Assumption (SEA) underlying existing PS-based matching methods whose failure invalidates inference even if the PS-model is correctly specified. We relax the SEA to a Weak Exchangeability Assumption (WEA) for the matching method. Also, we propose IPSW.S and KW.S methods that reduce the variance of PS-based estimators by scaling the survey weights used in the PS estimation. We prove consistency of the IPSW.S and KW.S estimators of population means and prevalences under WEA, and provide asymptotic variances and consistent variance estimators. In simulations, the KW.S and IPSW.S estimators had smallest MSE. In our data example, the original KW estimates had large bias, whereas the KW.S estimates had the smallest MSE.


title: Pathwise large deviations for white noise chaos expansions

abstract: We consider a family of continuous processes $\{X^\varepsilon\}_{\varepsilon>0}$ which are measurable with respect to a white noise measure, take values in the space of continuous functions $C([0,1]^d:\mathbb{R})$, and have the Wiener chaos expansion \[ X^\varepsilon = \sum_{n=0}^{\infty} \varepsilon^n I_n \big(f_n^{\varepsilon} \big). \] We provide sufficient conditions for the large deviations principle of $\{X^\varepsilon\}_{\varepsilon>0}$ to hold in $C([0,1]^d:\mathbb{R})$, thereby refreshing a problem left open by P\'erez-Abreu (1993) in the Brownian motion case. The proof is based on the weak convergence approach to large deviations: it involves demonstrating the convergence in distribution of certain perturbations of the original process, and thus the main difficulties lie in analysing and controlling the perturbed multiple stochastic integrals. Moreover, adopting this representation offers a new perspective on pathwise large deviations and induces a variety of applications thereof.


title: Edgeworth expansions for independent bounded integer valued random variables

abstract: We obtain asymptotic expansions for local probabilities of partial sums for uniformly bounded independent but not necessarily identically distributed integer-valued random variables. The expansions involve products of polynomials and trigonometric polynomials. Our results do not require any additional assumptions. As an application of our expansions we find necessary and sufficient conditions for the classical Edgeworth expansion. It turns out that there are two possible obstructions for the validity of the Edgeworth expansion of order $r$. First, the distance between the distribution of the underlying partial sums modulo some $h\in \bbN$ and the uniform distribution could fail to be $o(\sigma_N^{1-r})$, where $\sigma_N$ is the standard deviation of the partial sum. Second, this distribution could have the required closeness but this closeness is unstable, in the sense that it could be destroyed by removing finitely many terms. In the first case, the expansion of order $r$ fails. In the second case it may or may not hold depending on the behavior of the derivatives of the characteristic functions of the summands whose removal causes the break-up of the uniform distribution. We also show that a quantitative version of the classical Prokhorov condition (for the strong local central limit theorem) is sufficient for Edgeworth expansions, and moreover this condition is, in some sense, optimal.


title: Dynamics near the central singularity in spherical collapse

abstract: We study the dynamics near the central singularity in spherically symmetric collapse of a massless scalar field toward Schwarzschild black hole formation. The equations of motion take different simplified forms in the early and late stages of the singularity curve. We report some fine structures of the analytic solutions and universal features for the metric functions and matter near the singularity.


title: Intersection cohomology and Severi's varieties

abstract: Let $X^{2n}\subseteq \mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}\pi{_*}\mathbb{Q}$, where $\pi$ denotes the projection from the universal hyperplane family of $X^{2n}$ to ${(\mathbb{P} ^N)}^{\vee}$. We investigate the cohomology of the intersection cohomology complex $IC(R^{2n-1}\pi{_*}\mathbb{Q})$ over the points of a Severi's variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in $\mathbb{P} ^N$.


title: There is no topological Fulton-MacPherson compactification

abstract: In this note we prove that the Fulton-MacPherson compactification of configuration spaces of smooth manifolds can not be extended to topological manifolds in a natural manner, using recent work of Chen and Mann.


title: State complexity of halting, returning and reversible graph-walking automata

abstract: Graph-walking automata (GWA) traverse graphs by moving between the nodes following the edges, using a finite-state control to decide where to go next. It is known that every GWA can be transformed to a GWA that halts on every input, to a GWA returning to the initial node in order to accept, and to a reversible GWA. This paper establishes lower bounds on the state blow-up of these transformations, as well as closely matching upper bounds. It is shown that making an $n$-state GWA traversing $k$-ary graphs halt on every input requires at most $2nk+1$ states and at least $2(n-1)(k-3)$ states in the worst case; making a GWA return to the initial node before acceptance takes at most $2nk+n$ and at least $2(n-1)(k-3)$ states in the worst case; Automata satisfying both properties at once have at most $4nk+1$ and at least $4(n-1)(k-3)$ states in the worst case. Reversible automata have at most $4nk+1$ and at least $4(n-1)(k-3)-1$ states in the worst case.