• This paper investigates the problem of distributed medium access control in a time slotted wireless multiple access network with an unknown finite number of homogeneous users. Assume that each user has a single transmission option. In each time slot, a user chooses either to idle or to transmit a packet. Under a general channel model, a distributed medium access control framework is proposed to adapt transmission probabilities of all users to a value that maximizes an arbitrarily chosen symmetric network utility. Probability target of each user in the proposed algorithm is calculated based upon a channel contention measure, which is defined as the success probability of a virtual packet. It is shown that the proposed algorithm falls into the classical stochastic approximation framework with guaranteed convergence when the contention measure can be directly obtained from the receiver. On the other hand, when the contention measure is not directly available, computer simulations show that a revised medium access control algorithm can still help the system to converge to the same designed equilibrium.
  • This paper investigates the problem of distributed medium access control in a wireless multiple access network with an unknown finite number of homogeneous transmitters. An enhanced physical link layer interface is considered where each link layer user can be equipped with multiple transmission options. Assume that each user is backlogged with a saturated message queue. With a generally-modeled channel, a distributed medium access control framework is suggested to adapt the transmission scheme of each user to maximize an arbitrarily chosen symmetric network utility. The proposed framework suggests that the receiver should measure the success probability of a carefully designed virtual packet, and feed such information back to the transmitters. Upon receiving the measured probability, each transmitter should obtain a user number estimate by comparing the probability with its theoretical value, and then adapt its transmission scheme accordingly. Conditions under which the proposed algorithm should converge to a designed unique equilibrium are characterized. Simulation results are provided to demonstrate the optimality and the convergence properties of the proposed algorithm.
  • In distributed communication, each transmitter prepares an ensemble of channel codes. To encode a message, a transmitter chooses a channel code individually without sharing the coding choice with other transmitters or with the receiver. Upon receiving the block of channel output symbols, the receiver either decodes the messages of interest if a pre-determined reliability requirement can be met, or reports collision otherwise. Revised from the distributed channel coding theorems in the literature, distributed capacity of a discrete-time memoryless multiple access channel is defined and derived under the assumption that codeword length can be taken to infinity. An improved achievable error performance bound is presented for the case when codeword length is finite.
  • Deep metrics have been shown effective as similarity measures in multi-modal image registration; however, the metrics are currently constructed from aligned image pairs in the training data. In this paper, we propose a strategy for learning such metrics from roughly aligned training data. Symmetrizing the data corrects bias in the metric that results from misalignment in the data (at the expense of increased variance), while random perturbations to the data, i.e. dithering, ensures that the metric has a single mode, and is amenable to registration by optimization. Evaluation is performed on the task of registration on separate unseen test image pairs. The results demonstrate the feasibility of learning a useful deep metric from substantially misaligned training data, in some cases the results are significantly better than from Mutual Information. Data augmentation via dithering is, therefore, an effective strategy for discharging the need for well-aligned training data; this brings deep metric registration from the realm of supervised to semi-supervised machine learning.
  • A reliable Ultrasound (US)-to-US registration method to compensate for brain shift would substantially improve Image-Guided Neurological Surgery. Developing such a registration method is very challenging, due to factors such as missing correspondence in images, the complexity of brain pathology and the demand for fast computation. We propose a novel feature-driven active framework. Here, landmarks and their displacement are first estimated from a pair of US images using corresponding local image features. Subsequently, a Gaussian Process (GP) model is used to interpolate a dense deformation field from the sparse landmarks. Kernels of the GP are estimated by using variograms and a discrete grid search method. If necessary, the user can actively add new landmarks based on the image context and visualization of the uncertainty measure provided by the GP to further improve the result. We retrospectively demonstrate our registration framework as a robust and accurate brain shift compensation solution on clinical data acquired during neurosurgery.
  • Estimating the uncertainty in image registration is an area of current research that is aimed at providing information that will enable surgeons to assess the operative risk based on registered image data and the estimated registration uncertainty. If they receive inaccurately calculated registration uncertainty and misplace confidence in the alignment solutions, severe consequences may result. For probabilistic image registration (PIR), most research quantifies the registration uncertainty using summary statistics of the transformation distributions. In this paper, we study a rarely examined topic: whether those summary statistics of the transformation distribution truly represent the registration uncertainty. Using concrete examples, we show that there are two types of uncertainties: the transformation uncertainty, Ut, and label uncertainty Ul. Ut indicates the doubt concerning transformation parameters and can be estimated by conventional uncertainty measures, while Ul is strongly linked to the goal of registration. Further, we show that using Ut to quantify Ul is inappropriate and can be misleading. In addition, we present some potentially critical findings regarding PIR.
  • Multi-view networks are ubiquitous in real-world applications. In order to extract knowledge or business value, it is of interest to transform such networks into representations that are easily machine-actionable. Meanwhile, network embedding has emerged as an effective approach to generate distributed network representations. Therefore, we are motivated to study the problem of multi-view network embedding, with a focus on the characteristics that are specific and important in embedding this type of networks. In our practice of embedding real-world multi-view networks, we identify two such characteristics, which we refer to as preservation and collaboration. We then explore the feasibility of achieving better embedding quality by simultaneously modeling preservation and collaboration, and propose the mvn2vec algorithms. With experiments on a series of synthetic datasets, an internal Snapchat dataset, and two public datasets, we further confirm the presence and importance of preservation and collaboration. These experiments also demonstrate that better embedding can be obtained by simultaneously modeling the two characteristics, while not over-complicating the model or requiring additional supervision.
  • Topological acoustic and elastic waves have recently emerged as an exciting interdisciplinary field which is still mainly focused on low-dimensional structures and model systems. Here we demonstrate numerically an elastic-wave analogue of topological node-lines in three-dimensional mechanical metacrystals with ribbon- or drumhead-like surface states. These two-dimensional topological surface states offer unprecedented, robust subwavelength confinement of elastic waves. Design principles for topological mechanical metamaterials, from both material and symmetry aspects, are unveiled and connected to fundamental conservation laws and nonsymmorphic space group. Our study paves the way toward the synergy between three-dimensional mechanical metamaterials and topological wave dynamics.
  • Being a task of establishing spatial correspondences, medical image registration is often formalized as finding the optimal transformation that best aligns two images. Since the transformation is such an essential component of registration, most existing researches conventionally quantify the registration uncertainty, which is the confidence in the estimated spatial correspondences, by the transformation uncertainty. In this paper, we give concrete examples and reveal that using the transformation uncertainty to quantify the registration uncertainty is inappropriate and sometimes misleading. Based on this finding, we also raise attention to an important yet subtle aspect of probabilistic image registration, that is whether it is reasonable to determine the correspondence of a registered voxel solely by the mode of its transformation distribution.
  • We investigate a unique type of zero-index medium with both gain and loss (ZIMGL), whose effective permittivity and permeability are purely imaginary and of opposite signs. We show analytically that, by using a slab of ZIM-GL with equal magnitude of loss and gain, coherent perfect absorber (CPA) and laser, i.e. the socalled CPA-laser, can be achieved simultaneously. CPA-laser has been found previously in parity-time (PT) symmetric systems. However, the underlying physics in a PT-symmetric system is distinct from that in a ZIM-GL. By designing a photonic crystal (PC) composed of core-shell rods, with loss and gain distributed in either the core or the shell, we have realized such a ZIM-GL. The CPA-laser functionality of such a PC is also confirmed in our numerical simulations. Our work provides a different approach for simultaneous realization of CPA and laser besides PTsymmetric systems.
  • We present a robust method to correct for motion and deformations for in-utero volumetric MRI time series. Spatio-temporal analysis of dynamic MRI requires robust alignment across time in the presence of substantial and unpredictable motion. We make a Markov assumption on the nature of deformations to take advantage of the temporal structure in the image data. Forward message passing in the corresponding hidden Markov model (HMM) yields an estimation algorithm that only has to account for relatively small motion between consecutive frames. We demonstrate the utility of the temporal model by showing that its use improves the accuracy of the segmentation propagation through temporal registration. Our results suggest that the proposed model captures accurately the temporal dynamics of deformations in in-utero MRI time series.
  • Synthetic magnetism has been used to control charge neutral excitations for applications ranging from classical beam steering to quantum simulation. In optomechanics, radiation-pressure-induced parametric coupling between optical (photon) and mechanical (phonon) excitations may be used to break time-reversal symmetry, providing the prerequisite for synthetic magnetism. Here we design and fabricate a silicon optomechanical circuit with both optical and mechanical connectivity between two optomechanical cavities. Driving the two cavities with phase-correlated laser light results in a synthetic magnetic flux, which in combination with dissipative coupling to the mechanical bath, leads to nonreciprocal transport of photons with 35dB of isolation. Additionally, optical pumping with blue-detuned light manifests as a particle non-conserving interaction between photons and phonons, resulting in directional optical amplification of 12dB in the isolator through direction. These results indicate the feasibility of utilizing optomechanical circuits to create a more general class of nonreciprocal optical devices, and further, to enable novel topological phases for both light and sound on a microchip.
  • Probabilistic image registration methods estimate the posterior distribution of transformation. The conventional way of interpreting the transformation posterior is to use the mode as the most likely transformation and assign its corresponding intensity to the registered voxel. Meanwhile, summary statistics of the posterior are employed to evaluate the registration uncertainty, that is the trustworthiness of the registered image. Despite the wide acceptance, this convention has never been justified. In this paper, based on illustrative examples, we question the correctness and usefulness of conventional methods. In order to faithfully translate the transformation posterior, we propose to encode the variability of values into a novel data type called ensemble fields. Ensemble fields can serve as a complement to the registered image and a foundation for developing advanced methods to characterize the uncertainty in registration-based tasks. We demonstrate the potential of ensemble fields by pilot examples
  • The limits of previous methods promote us to design a new approach (named PRESTAGE) to predict proton single event effect (SEE) cross-sections using heavy-ion test data. To more realistically simulate the SEE mechanisms, we adopt Geant4 and the location-dependent strategy to describe the physics processes and the sensitivity of the device. Cross-sections predicted by PRESTAGE for over twenty devices are compared with the measured data. Evidences show that PRESTAGE can calculate not only single event upsets induced by proton indirect ionization, but also direct ionization effects and single event latch-ups. Most of the PRESTAGE calculated results agree with the experimental data within a factor of 2-3.
  • Absorption of microwave by metallic conductors is exclusively inefficient, though being natively broadband, due to the huge impedance mismatch between metal and free space. Reducing the thickness to ultrathin conductive film may improve the absorbing efficiency, but is still bounded by a maximal 50% limit induced by the field continuity. Here, we show that broadband perfect (100%) absorption of microwave can be realized on a single layer of ultrathin conductive film when it is illuminated coherently by two oppositely incident beams. Such an effect of breaking the 50% limit maintains the intrinsic broadband feature from the free carrier dissipation, and is frequency-independent in an ultrawide spectrum, ranging typically from kilohertz to gigahertz and exhibiting an unprecedented bandwidth close to 200%. In particular, it occurs on extremely subwavelength scales, ~{\lambda}/10000 or even thinner, which is the film thickness. Our work proposes a way to achieve total electromagnetic wave absorption in a broadband spectrum of radio waves and microwaves with a simple conductive film.
  • This paper presents generalized channel coding theorems for a time-slotted distributed communication system where a transmitter-receiver pair is communicating in parallel with other transmitters. Assume that the channel code of each transmitter is chosen arbitrarily in each time slot. The coding choice of a transmitter is denoted by a code index parameter, which is known neither to other transmitters nor to the receiver. Fundamental performance limitation of the system is characterized using an achievable region defined in the space of the code index vectors. As the codeword length is taken to infinity, for all code index vectors inside the region, the receiver will decode the message reliably, while for all code index vectors outside the region, the receiver will report a collision reliably. A generalized system error performance measure is defined as the weighted sum of probabilities of different types of communication error events. Assume that the receiver chooses an "operation region" and intends to decode the message if the code index vector is inside the operation region. Achievable bounds on the tradeoff between the operation region and the generalize error performance measure are obtained under the assumption of a finite codeword length.
  • The maximal absorption rate of ultra-thin films is 50% under the condition that the tangential electric (or magnetic) field is almost constant across the film in symmetrical environment. However, with certain reflectors, the absorption rate can be greatly increased, to even perfect absorption (100%). In this work, we explicitly derive the general conditions of the ultra-thin absorptive film parameters to achieve perfect absorption with general types of reflectors under the condition that the tangential electric (or magnetic) field is almost constant across the film. We find that the parameters of the film can be classified into three groups, exhibiting: 1) a large permittivity (permeability), 2) a near-zero permeability (permittivity), or 3) a suitable combination of the permittivity and the permeability, respectively. Interestingly, the latter two cases demonstrate extraordinary absorption in ultra-thin films with almost vanishing losses. Our work serves as a guide for designing ultra-thin perfect absorbers with general types of reflectors.
  • We study metamaterials with an anisotropic effective permittivity tensor in which one component is near zero. We find that such an anisotropic metamaterial can be used to control wave propagation and construct almost perfect bending waveguides with a high transmission rate (>95%). This interesting effect originates in the power flow redistribution by the surface waves on the input and output interfaces, which smoothly matches with the propagating modes inside the metamaterial waveguide. We also find that waves in such anisotropic epsilon-near-zero materials can be reflected by small-sized perfect magnetic conductor defects. Numerical calculations have been performed to confirm the above effects.
  • Due to the short and bursty incoming messages, channel access activities in a wireless random access system are often fractional. The lack of frequent data support consequently makes it difficult for the receiver to estimate and track the time varying channel states with high precision. This paper investigates random multiple access communication over a compound wireless channel where channel realization is known neither at the transmitters nor at the receiver. An achievable rate and error probability tradeoff bound is derived under the non-asymptotic assumption of a finite codeword length. The results are then extended to the random multiple access system where the receiver is only interested in decoding messages from a user subset.
  • This paper extends linear-complexity concatenated coding schemes to fountain communication over the discrete-time memoryless channel. Achievable fountain error exponents for one-level and multi-level concatenated fountain codes are derived. It is also shown that concatenated coding schemes possess interesting properties in several multi-user fountain communication scenarios.
  • This paper applies Information Theoretic analysis to packet-based random multiple access communication systems. A new channel coding approach is proposed for coding within each data packet with built-in support for bursty traffic properties, such as message underflow, and for random access properties, such as packet collision detection. The coding approach does not require joint communication rate determination either among the transmitters or between the transmitters and the receiver. Its performance limitation is characterized by an achievable region defined in terms of communication rates, such that reliable packet recovery is supported for all rates inside the region and reliable collision detection is supported for all rates outside the region. For random access communication over a discrete-time memoryless channel, it is shown that the achievable rate region of the introduced coding approach equals the Shannon information rate region without a convex hull operation. Further connections between the achievable rate region and the Shannon information rate region are developed and explained.
  • A new channel coding approach was proposed in [1] for random multiple access communication over the discrete-time memoryless channel. The coding approach allows users to choose their communication rates independently without sharing the rate information among each other or with the receiver. The receiver will either decode the message or report a collision depending on whether reliable message recovery is possible. It was shown that, asymptotically as the codeword length goes to infinity, the set of communication rates supporting reliable message recovery can be characterized by an achievable region which equals Shannon's information rate region possibly without a convex hull operation. In this paper, we derive achievable bounds on error probabilities, including the decoding error probability and the collision miss detection probability, of random multiple access systems with a finite codeword length. Achievable error exponents are obtained by taking the codeword length to infinity.
  • The typical content-based image retrieval problem is to find images within a database that are similar to a given query image. This paper presents a solution to a different problem, namely that of content based sub-image retrieval, i.e., finding images from a database that contains another image. Note that this is different from finding a region in a (segmented) image that is similar to another image region given as a query. We present a technique for CBsIR that explores relevance feedback, i.e., the user's input on intermediary results, in order to improve retrieval efficiency. Upon modeling images as a set of overlapping and recursive tiles, we use a tile re-weighting scheme that assigns penalties to each tile of the database images and updates the tile penalties for all relevant images retrieved at each iteration using both the relevant and irrelevant images identified by the user. Each tile is modeled by means of its color content using a compact but very efficient method which can, indirectly, capture some notion of texture as well, despite the fact that only color information is maintained. Performance evaluation on a largely heterogeneous dataset of over 10,000 images shows that the system can achieve a stable average recall value of 70% within the top 20 retrieved (and presented) images after only 5 iterations, with each such iteration taking about 2 seconds on an off-the-shelf desktop computer.
  • Guruswami and Indyk showed in [1] that Forney's error exponent can be achieved with linear coding complexity over binary symmetric channels. This paper extends this conclusion to general discrete-time memoryless channels and shows that Forney's and Blokh-Zyablov error exponents can be arbitrarily approached by one-level and multi-level concatenated codes with linear encoding/decoding complexity. The key result is a revision to Forney's general minimum distance decoding algorithm, which enables a low complexity integration of Guruswami-Indyk's outer codes into the concatenated coding schemes.
  • This paper considers the average complexity of maximum likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path taken through a Markov graph. Integrated with the Viterbi algorithm (VA), complexity reduction methods such as the sphere decoder often use the sum log likelihood (SLL) of a Markov path as a bound to disprove the optimality of other Markov path sets and to consequently avoid exhaustive path search. In this paper, it is shown that SLL-based optimality tests are inefficient if one fixes the coding memory and takes the codeword length to infinity. Alternatively, optimality of a source symbol at a given time index can be testified using bounds derived from log likelihoods of the neighboring symbols. It is demonstrated that such neighboring log likelihood (NLL)-based optimality tests, whose efficiency does not depend on the codeword length, can bring significant complexity reduction to ML decoding of convolutional codes. The results are generalized to ML sequence detection in a class of discrete-time hidden Markov systems.