Search

We present a practical distillation approach to fine-tune LLMs for invoking tools in real-time applications. We focus on visual editing tasks; specifically, we modify images and videos by interpreting user stylistic requests, specified in natural language ("golden hour"), using an LLM to select the appropriate tools and their parameters to achieve the desired visual effect. We found that proprietary LLMs such as GPT-3.5-Turbo show potential in this task, but their high cost and latency make them unsuitable for real-time applications. In our approach, we fine-tune a (smaller) student LLM with guidance from a (larger) teacher LLM and behavioral signals. We introduce offline metrics to evaluate student LLMs. Both online and offline experiments show that our student models manage to match the performance of our teacher model (GPT-3.5-Turbo), significantly reducing costs and latency. Lastly, we show that fine-tuning was improved by 25% in low-data regimes using augmentation., Comment: EMNLP 2024

The aim of the present work is to systematically study homomorphisms of Hecke and Artin monoids and thus to develop their comprehensive theory. Our original motivation was the striking observation that parabolic projections of Hecke monoids respect all parabolic elements. We found other classes of homomorphisms of Hecke monoids with the same property and discovered that many of them lift to homomorphisms of covering Artin monoids with a similar property. It turned out that they belong to a much larger class (in fact, a category) of homomorphisms of Artin monoids, most of which appear to be new., Comment: AMSLaTeX, 136 pages

In this note we consider the maximization of the expected terminal wealth for the setup of quadratic transaction costs. First, we provide a very simple probabilistic solution to the problem. Although the problem was largely studied, as far as we know up to date this simple and probabilistic form of the solution has not appeared in the literature. Next, we apply the general result for the numerical study of the case where the risky asset is given by a fractional Brownian Motion and the information flow of the investor can be diversified.

This study examined the use of voice recognition technology in perioperative services (Periop) to enable Periop staff to record workflow milestones using mobile technology. The use of mobile technology to improve patient flow and quality of care could be facilitated if such voice recognition technology could be made robust. The goal of this experiment was to allow the Periop staff to provide care without being interrupted with data entry and querying tasks. However, the results are generalizable to other situations where an engineering manager attempts to improve communication performance using mobile technology. This study enhanced Google's voice recognition capability by using post-processing classifiers (i.e., bag-of-sentences, support vector machine, and maximum entropy). The experiments investigated three factors (original phrasing, reduced phrasing, and personalized phrasing) at three levels (zero training repetition, 5 training repetitions, and 10 training repetitions). Results indicated that personal phrasing yielded the highest correctness and that training the device to recognize an individual's voice improved correctness as well. Although simplistic, the bag-of-sentences classifier significantly improved voice recognition correctness. The classification efficiency of the maximum entropy and support vector machine algorithms was found to be nearly identical. These results suggest that engineering managers could significantly enhance Google's voice recognition technology by using post-processing techniques, which would facilitate its use in health care and other applications.

A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras. It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erd\H{o}s-Simonovits-S\'os for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement. We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive., Comment: 31 pages, 5 figures

We consider the minimization of a sum of a smooth function with a nonsmooth composite function, where the composition is applied on a random linear mapping. This random composite model encompasses many problems, and can especially capture realistic scenarios in which the data is sampled during the optimization process. We propose and analyze a method that combines the classical Augmented Lagrangian framework with a sampling mechanism and adaptive update of the penalty parameter. We show that every accumulation point of the sequence produced by our algorithm is almost surely a critical point.

The constituents of dark matter are still unknown, and the viable possibilities span a vast range of masses. The physics community has established searching for sub-GeV dark matter as a high priority and identified accelerator-based experiments as an essential facet of this search strategy. A key goal of the accelerator-based dark matter program is testing the broad idea of thermally produced sub-GeV dark matter through experiments designed to directly produce dark matter particles. The most sensitive way to search for the production of light dark matter is to use a primary electron beam to produce it in fixed-target collisions. The Light Dark Matter eXperiment (LDMX) is an electron-beam fixed-target missing-momentum experiment that realizes this approach and provides unique sensitivity to light dark matter in the sub-GeV range. This contribution provides an overview of the theoretical motivation, the main experimental challenges, how LDMX addresses these challenges, and projected sensitivities. We further describe the capabilities of LDMX to explore other interesting new and standard physics, such as visibly-decaying axion and vector mediators or rare meson decays, and to provide timely electronuclear scattering measurements that will inform the modeling of neutrino-nucleus scattering for DUNE., Comment: 26 pages, 17 figures. Contribution to Snowmass 2021

The quality of experience with the mobile web remains poor, partially as a result of complex websites and design choices that worsen performance, particularly for users in suboptimal networks or devices. Prior proposed solutions have seen limited adoption due in part to the demand they place on developers and content providers, and the performing infrastructure needed to support them. We argue that Document and Permissions Policies -- an ongoing effort to enforce good practices on web design -- may offer the basis for a readily-available and easily-adoptable solution. In this paper, we evaluate the potential performance cost of violating well-understood policies and how common such violations are in today's web. Our analysis show, for example, that controlling for unsized-media policy, something applicable to 70% of the top-1million websites, can indeed reduce Cumulative Layout Shift metric., Comment: 6 pages, 5 figures, submitted to HotMobile 2021

A fundamental challenge in emotion research is measuring feeling states with high granularity and temporal precision without disrupting the emotion generation process. Here we introduce and validate a new approach in which responses are sparsely sampled and the missing data are recovered using a computational technique known as collaborative filtering (CF). This approach leverages structured covariation across individual experiences and is available in Neighbors, an open-source Python toolbox. We validate our approach across three different experimental contexts by recovering dense individual ratings using only a small subset of the original data. In dataset 1, participants (n=316) separately rated 112 emotional images on 6 different discrete emotions. In dataset 2, participants (n=203) watched 8 short emotionally engaging autobiographical stories while simultaneously providing moment-by-moment ratings of the intensity of their affective experience. In dataset 3, participants (n=60) with distinct social preferences made 76 decisions about how much money to return in a hidden multiplier trust game. Across all experimental contexts, CF was able to accurately recover missing data and importantly outperformed mean imputation, particularly in contexts with greater individual variability. This approach will enable new avenues for affective science research by allowing researchers to acquire high dimensional ratings from emotional experiences with minimal disruption to the emotion-generation process., Comment: 21 pages, 8 figures

Advancements in digital technologies have a bootstrapping effect. The past fifty years of technological innovations from the computer architecture community have brought innovations and orders-of-magnitude efficiency improvements that engender use cases that were not previously possible -- stimulating novel application domains and increasing uses and deployments at an ever-faster pace. Consequently, computing technologies have fueled significant economic growth, creating education opportunities, enabling access to a wider and more diverse spectrum of information, and, at the same time, connecting people of differing needs in the world together. Technology must be offered that is inclusive of the world's physical, cultural, and economic diversity, and which is manufactured, used, and recycled with environmental sustainability at the forefront. For the next decades to come, we envision significant cross-disciplinary efforts to build a circular development cycle by placing pervasive connectivity, sustainability, and demographic inclusion at the design forefront in order to sustain and expand the benefits of a technologically rich society. We hope this work will inspire our computing community to take broader and more holistic approaches when developing technological solutions to serve people from different parts of the world., Comment: This article is intended to capture the ISCA panel and the following discussions on the Microprocessor 50: Societal Challenges from the lens of computer architects

Guideline-based treatment for sepsis and septic shock is difficult because sepsis is a disparate range of life-threatening organ dysfunctions whose pathophysiology is not fully understood. Early intervention in sepsis is crucial for patient outcome, yet those interventions have adverse effects and are frequently overadministered. Greater personalization is necessary, as no single action is suitable for all patients. We present a novel application of reinforcement learning in which we identify optimal recommendations for sepsis treatment from data, estimate their confidence level, and identify treatment options infrequently observed in training data. Rather than a single recommendation, our method can present several treatment options. We examine learned policies and discover that reinforcement learning is biased against aggressive intervention due to the confounding relationship between mortality and level of treatment received. We mitigate this bias using subspace learning, and develop methodology that can yield more accurate learning policies across healthcare applications., Comment: 25 pages, 8 figures

We consider counterfactual explanations for private support vector machines (SVM), where the privacy mechanism that publicly releases the classifier guarantees differential privacy. While privacy preservation is essential when dealing with sensitive data, there is a consequent degradation in the classification accuracy due to the introduced perturbations in the classifier weights. For such classifiers, counterfactual explanations need to be robust against the uncertainties in the SVM weights in order to ensure, with high confidence, that the classification of the data instance to be explained is different than its explanation. We model the uncertainties in the SVM weights through a random vector, and formulate the explanation problem as an optimization problem with probabilistic constraint. Subsequently, we characterize the problem's deterministic equivalent and study its solution. For linear SVMs, the problem is a convex second-order cone program. For non-linear SVMs, the problem is non-convex. Thus, we propose a sub-optimal solution that is based on the bisection method. The results show that, contrary to non-robust explanations, the quality of explanations from the robust solution degrades with increasing privacy in order to guarantee a prespecified confidence level for correct classifications., Comment: 13 pages, 9 figures, 1 table

One of the challenging aspects of applying machine learning is the need to identify the algorithms that will perform best for a given dataset. This process can be difficult, time consuming and often requires a great deal of domain knowledge. We present Sommelier, an expert system for recommending the machine learning algorithms that should be applied on a previously unseen dataset. Sommelier is based on word embedding representations of the domain knowledge extracted from a large corpus of academic publications. When presented with a new dataset and its problem description, Sommelier leverages a recommendation model trained on the word embedding representation to provide a ranked list of the most relevant algorithms to be used on the dataset. We demonstrate Sommelier's effectiveness by conducting an extensive evaluation on 121 publicly available datasets and 53 classification algorithms. The top algorithms recommended for each dataset by Sommelier were able to achieve on average 97.7% of the optimal accuracy of all surveyed algorithms.

Patients resuscitated from cardiac arrest (CA) face a high risk of neurological disability and death, however pragmatic methods are lacking for accurate and reliable prognostication. The aim of this study was to build computational models to predict post-CA outcome by leveraging high-dimensional patient data available early after admission to the intensive care unit (ICU). We hypothesized that model performance could be enhanced by integrating physiological time series (PTS) data and by training machine learning (ML) classifiers. We compared three models integrating features extracted from the electronic health records (EHR) alone, features derived from PTS collected in the first 24hrs after ICU admission (PTS24), and models integrating PTS24 and EHR. Outcomes of interest were survival and neurological outcome at ICU discharge. Combined EHR-PTS24 models had higher discrimination (area under the receiver operating characteristic curve [AUC]) than models which used either EHR or PTS24 alone, for the prediction of survival (AUC 0.85, 0.80 and 0.68 respectively) and neurological outcome (0.87, 0.83 and 0.78). The best ML classifier achieved higher discrimination than the reference logistic regression model (APACHE III) for survival (AUC 0.85 vs 0.70) and neurological outcome prediction (AUC 0.87 vs 0.75). Feature analysis revealed previously unknown factors to be associated with post-CA recovery. Results attest to the effectiveness of ML models for post-CA predictive modeling and suggest that PTS recorded in very early phase after resuscitation encode short-term outcome probabilities., Comment: 51 pages, 7 figures, 4 supplementary figures

Artificial Intelligence (AI) technology is rapidly changing many areas of society. While there is tremendous potential in this transition, there are several pitfalls as well. Using the history of computing and the world-wide web as a guide, in this article we identify those pitfalls and actions that lead AI development to its full potential. If done right, AI will be instrumental in achieving the goals we set for economy, society, and the world in general.

Recommendation systems have become ubiquitous in today's online world and are an integral part of practically every e-commerce platform. While traditional recommender systems use customer history, this approach is not feasible in 'cold start' scenarios. Such scenarios include the need to produce recommendations for new or unregistered users and the introduction of new items. In this study, we present the Purchase Intent Session-bAsed (PISA) algorithm, a content-based algorithm for predicting the purchase intent for cold start session-based scenarios. Our approach employs deep learning techniques both for modeling the content and purchase intent prediction. Our experiments show that PISA outperforms a well-known deep learning baseline when new items are introduced. In addition, while content-based approaches often fail to perform well in highly imbalanced datasets, our approach successfully handles such cases. Finally, our experiments show that combining PISA with the baseline in non-cold start scenarios further improves performance.

In the present work we study actions of various groups generated by involutions on the category $\mathscr O^{int}_q(\mathfrak g)$ of integrable highest weight $U_q(\mathfrak g)$-modules and their crystal bases for any symmetrizable Kac-Moody algebra $\mathfrak g$. The most notable of them are the cactus group and (yet conjectural) Weyl group action on any highest weight integrable module and its lower and upper crystal bases. Surprisingly, some generators of cactus groups are anti-involutions of the Gelfand-Kirillov model for $\mathscr O^{int}_q(\mathfrak g)$ closely related to the remarkable quantum twists discovered by Kimura and Oya., Comment: 50 pages, AMSLaTeX

Closed-form approximations of the expected per-terminal signal-to-interference-plus-noise-ratio (SINR) and ergodic sum spectral efficiency of a multiuser multiple-input multiple-output system are presented. Our analysis assumes spatially correlated Ricean fading channels with maximum-ratio combining on the uplink. Unlike previous studies, our model accounts for the presence of unequal correlation matrices, unequal Rice factors, as well as unequal link gains to each terminal. The derived approximations lend themselves to useful insights, special cases and demonstrate the aggregate impact of line-of-sight (LoS) and unequal correlation matrices. Numerical results show that while unequal correlation matrices enhance the expected SINR and ergodic sum spectral efficiency, the presence of strong LoS has an opposite effect. Our approximations are general and remain insensitive to changes in the system dimensions, signal-to-noise-ratios, LoS levels and unequal correlation levels., Comment: 4 pages, 2 figures, accepted for publication in the IEEE Wireless Communications Letters, Vol. 6, 2017

A fundamental building block for supporting better utilization of radio spectrum involves predicting the impact that an emitter will have at different geographic locations. To this end, fixed sensors can be deployed to spatially sample the RF environment over an area of interest, with interpolation methods used to infer received power at locations between sensors. This paper describes a radio map interpolation method that exploits the known properties of most path loss models, with the aim of minimizing the RMS errors in predicted dB-power. We show that the results come very close to those for ideal Simple Kriging. Moreover, the method is simpler in terms of real-time computation by the network and it requires no knowledge of the spatial correlation of shadow fading. Our analysis of the method is general, but we exemplify it for a specific network geometry, comprising a grid-like pattern of sensors. We also provide comparisons to other widely used interpolation methods.

The goal of this work is to provide an elementary construction of the canonical basis $\mathbf B(w)$ in each quantum Schubert cell~$U_q(w)$ and to establish its invariance under modified Lusztig's symmetries. To that effect, we obtain a direct characterization of the upper global basis $\mathbf B^{up}$ in terms of a suitable bilinear form and show that $\mathbf B(w)$ is contained in $\mathbf B^{up}$ and its large part is preserved by modified Lusztig's symmetries., Comment: AMSLaTeX, 32 pages,typos corrected

We obtain Koszul-type dualities for categories of graded modules over a graded associative algebra which can be realized as the semidirect product of a bialgebra coinciding with its degree zero part and a graded module algebra for the latter. In particular, this applies to graded representations of the universal enveloping algebra of the Takiff Lie algebra (or the truncated current algebra) and its (super)analogues, and also to semidirect products of quantum groups with braided symmetric and exterior module algebras in case the latter are flat deformations of classical ones., Comment: AMSLaTeX+amsrefs; 20 pages, referee suggestions incorporated, an important inaccuracy corrected

We generalize the decomposition of $U_q(\mathfrak g)$ introduced by A. Joseph and relate it, for $\mathfrak g$ semisimple, to the celebrated computation of central elements due to V. Drinfeld. In that case we construct a natural basis in the center of $U_q(\mathfrak g)$ whose elements behave as Schur polynomials and thus explicitly identify the center with the ring of symmetric functions., Comment: AMSLaTeX, 7 pages; referee's suggestions incorporated, typos corrected

We propose a method for estimating channel parameters from RSSI measurements and the lost packet count, which can work in the presence of losses due to both interference and signal attenuation below the noise floor. This is especially important in the wireless networks, such as vehicular, where propagation model changes with the density of nodes. The method is based on Stochastic Expectation Maximization, where the received data is modeled as a mixture of distributions (no/low interference and strong interference), incomplete (censored) due to packet losses. The PDFs in the mixture are Gamma, according to the commonly accepted model for wireless signal and interference power. This approach leverages the loss count as additional information, hence outperforming maximum likelihood estimation, which does not use this information (ML-), for a small number of received RSSI samples. Hence, it allows inexpensive on-line channel estimation from ad-hoc collected data. The method also outperforms ML- on uncensored data mixtures, as ML- assumes that samples are from a single-mode PDF., Comment: CISS 2015

The goal of this note is to study quantum clusters in which cluster variables (not coefficients) commute which each other. It turns out that this property is preserved by mutations. Remarkably, this is equivalent to the celebrated sign coherence conjecture recently proved by M. Gross, P. Hacking, S. Keel and M. Kontsevich, Comment: 3 pages

We introduce a new class of bases for quantized universal enveloping algebras $U_q(\mathfrak g)$ and other doubles attached to semisimple and Kac-Moody Lie algebras. These bases contain dual canonical bases of upper and lower halves of $U_q(\mathfrak g)$ and are invariant under many symmetries including all Lusztig's symmetries if $\mathfrak g$ is semisimple. It also turns out that a part of a double canonical basis of $U_q(\mathfrak g)$ spans its center., Comment: 62 pages; some typos corrected, some examples streamlined

We describe three in-field data collection efforts yielding a large database of RSSI values vs. time or distance from vehicles communicating with each other via DSRC. We show several data processing schemes we have devised to develop Vehicle-to-Vehicle (V2V) propagation models from such data. The database is limited in several important ways, not least, the presence of a high noise floor that limits the distance over which good modeling is feasible. Another is the presence of interference from multiple active transmitters. Our methodology makes it possible to obtain, despite these limitations, accurate models of median path loss vs. distance, shadow fading, and fast fading caused by multipath. We aim not to develop a new V2V model, but to show the methods enabling such a model to be obtained from in-field RSSI data.

In the present paper we show that Hall algebras of finitary exact categories behave like quantum groups in the sense that they are generated by indecomposable objects. Moreover, for a large class of such categories, Hall algebras are generated by their primitive elements, with respect to the natural comultiplication, even for non-hereditary categories. Finally, we introduce certain primitively generated subalgebras of Hall algebras and conjecture an analogue of "Lie correspondence" for those finitary categories., Comment: 36 pages, AMSLaTeX+AMSRefs; introduced multiplicity for elements of Grothendieck monoid; they play the role of root multiplicities in Kac-Moody algebras due to a reformulation of Kac conjecture (see Theorem 1.9)

Significant differences exist among literature for thermal conductivity of various systems computed using molecular dynamics simulation. In some cases, unphysical results, for example, negative thermal conductivity, have been found. Using GaN as an example case and the direct non-equilibrium method, extensive molecular dynamics simulations and Monte Carlo analysis of the results have been carried out to quantify the uncertainty level of the molecular dynamics methods and to identify the conditions that can yield sufficiently accurate calculations of thermal conductivity. We found that the errors of the calculations are mainly due to the statistical thermal fluctuations. Extrapolating results to the limit of an infinite-size system tend to magnify the errors and occasionally lead to unphysical results. The error in bulk estimates can be reduced by performing longer time averages using properly selected systems over a range of sample lengths. If the errors in the conductivity estimates associated with each of the sample lengths are kept below a certain threshold, the likelihood of obtaining unphysical bulk values becomes insignificant. Using a Monte-Carlo approach developed here, we have determined the probability distributions for the bulk thermal conductivities obtained using the direct method. We also have observed a nonlinear effect that can become a source of significant errors. For the extremely accurate results presented here, we predict a [0001] GaN thermal conductivity of 185 $\rm{W/K \cdot m}$ at 300 K, 102 $\rm{W/K \cdot m}$ at 500 K, and 74 $\rm{W/K \cdot m}$ at 800 K. Using the insights obtained in the work, we have achieved a corresponding error level (standard deviation) for the bulk (infinite sample length) GaN thermal conductivity of less than 10 $\rm{W/K \cdot m}$, 5 $\rm{W/K \cdot m}$, and 15 $\rm{W/K \cdot m}$ at 300 K, 500 K, and 800 K respectively.

The goal of this paper is to construct quantum analogues of Chevalley groups inside completions of quantum groups or, more precisely, inside completions of Hall algebras of finitary categories. In particular, we obtain pentagonal and other identities in the quantum Chevalley groups which generalize their classical counterparts and explain Faddeev-Volkov quantum dilogarithmic identities and their recent generalizations due to Keller, Comment: AMSLaTeX+AMSrefs, 31 pages; exposition improved, misprints corrected

We prove that the specialization to q=1 of a Kirillov-Reshetikhin module for an untwisted quantum affine algebra of classical type is projective in a suitable category. This yields a uniform character formula for the Kirillov-Reshetikhin modules. We conjecture that these results holds for specializations of minimal affinization with some restriction on the corresponding highest weight. We discuss the connection with the conjecture of Nakai and Nakanishi on q-characters of minimal affinizations. We establish this conjecture in some special cases. This also leads us to conjecture an alternating sum formula for Jacobi-Trudi determinants., Comment: 25 pages

Global Weyl modules for generalized loop algebras $\lie g\tensor A$, where $\lie g$ is a simple finite dimensional Lie algebra and A is a commutative associative algebra were defined, for any dominant integral weight $\lambda$, by generators and relations. They are expected to play the role similar to that of Verma modules in the study of categories of representations of these algebras. One of the fundamental properties of Verma modules is that the space of morphisms between two Verma modules is either zero or one--dimensional and also that any non--zero morphism is injective. The aim of this paper is to establish an analogue of this property for the global Weyl modules. This is done under certain restrictions on the Lie algebra $\lie g$, $\lambda$ and $A$. A crucial tool is the construction of fundamental global Weyl modules in terms of fundamental local Weyl modules given in Section 3., Comment: 22 pages, second version. Results were improved to a more general setting; the paper was reorganized accordingly

In the present paper we introduce a quantum analogue of the classical folding of a simply-laced Lie algebra g to the non-simply-laced algebra g^sigma along a Dynkin diagram automorphism sigma of g For each quantum folding we replace g^sigma by its Langlands dual g^sigma^v and construct a nilpotent Lie algebra n which interpolates between the nilpotnent parts of g and (g^sigma)^v, together with its quantized enveloping algebra U_q(n) and a Poisson structure on S(n). Remarkably, for the pair (g, (g^sigma)^v)=(so_{2n+2},sp_{2n}), the algebra U_q(n) admits an action of the Artin braid group Br_n and contains a new algebra of quantum n x n matrices with an adjoint action of U_q(sl_n), which generalizes the algebras constructed by K. Goodearl and M. Yakimov in [12]. The hardest case of quantum folding is, quite expectably, the pair (so_8,G_2) for which the PBW presentation of U_q(n) and the corresponding Poisson bracket on S(n) contain more than 700 terms each., Comment: 45 pages, AMSLaTeX; journal version: referees suggestions incorporated; some misprints corrected

Multiple-input multiple-output (MIMO) techniques allow for multiplexing and/or diversity gain, and will be widely deployed in future wireless systems. In this paper, we propose a MIMO-assisted channel-based authentication scheme, exploiting current channel estimation mechanisms in MIMO systems to detect spoofing attacks with very low overhead. In this scheme, the use of multiple antennas provides extra dimensions of channel estimation data, and thus leads to a "security gain" over single-input single-output (SISO) systems. We investigate the security gain of MIMO systems in several system configurations via simulations for a specific real indoor environment using ray-tracing software. We also discuss the effect of increasing the number of transmit and receive antennas on the security gain and contrast that to the diversity/multiplexing gain., Comment: 5 pages, 6 figures, CISS

The wireless medium contains domain-specific information that can be used to complement and enhance traditional security mechanisms. In this paper we propose ways to exploit the fact that, in a typically rich scattering environment, the radio channel response decorrelates quite rapidly in space. Specifically, we describe a physical-layer algorithm that combines channel probing (M complex frequency response samples over a bandwidth W) with hypothesis testing to determine whether current and prior communication attempts are made by the same user (same channel response). In this way, legitimate users can be reliably authenticated and false users can be reliably detected. To evaluate the feasibility of our algorithm, we simulate spatially variable channel responses in real environments using the WiSE ray-tracing tool; and we analyze the ability of a receiver to discriminate between transmitters (users) based on their channel frequency responses in a given office environment. For several rooms in the extremities of the building we considered, we have confirmed the efficacy of our approach under static channel conditions. For example, measuring five frequency response samples over a bandwidth of 100 MHz and using a transmit power of 100 mW, valid users can be verified with 99% confidence while rejecting false users with greater than 95% confidence., Comment: 5 pages, 10 figures, ICC

The wireless medium contains domain-specific information that can be used to complement and enhance traditional security mechanisms. In this paper we propose ways to exploit the spatial variability of the radio channel response in a rich scattering environment, as is typical of indoor environments. Specifically, we describe a physical-layer authentication algorithm that utilizes channel probing and hypothesis testing to determine whether current and prior communication attempts are made by the same transmit terminal. In this way, legitimate users can be reliably authenticated and false users can be reliably detected. We analyze the ability of a receiver to discriminate between transmitters (users) according to their channel frequency responses. This work is based on a generalized channel response with both spatial and temporal variability, and considers correlations among the time, frequency and spatial domains. Simulation results, using the ray-tracing tool WiSE to generate the time-averaged response, verify the efficacy of the approach under realistic channel conditions, as well as its capability to work under unknown channel variations., Comment: 10 pages, 6 figures

Let $\mathfrak g$ be a complex simple Lie algebra and let $\Psi$ be an extremal set of positive roots. One associates with $\Psi$ an infinite dimensional Koszul algebra $\bold S_\Psi^{\lie g}$ which is a graded subalgebra of the locally finite part of $((\bold V)^{op}\tensor S(\lie g))^{\lie g}$, where $\bold V$ is the direct sum of all simple finite dimensional $\lie g$-modules. We describe the structure of the algebra $\bold S_\Psi^{\lie g}$ explicitly in terms of an infinite quiver with relations for $\lie g$ of types $A$ and $C$. We also describe several infinite families of quivers and finite dimensional algebras arising from this construction., Comment: 49 pages, AMSLaTeX+amsrefs

Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$ and $S(\lie g)$ is the symmetric algebra of $\lie g$. Given an integral weight $\xi$, let $\Psi=\Psi(\xi)$ be the subset of roots which have maximal scalar product with $\xi$. Given a dominant integral weight $\lambda$ and $\xi$ such that $\Psi$ is a subset of the positive roots we construct a finite-dimensional subalgebra $\bs^{\lie g}_\Psi(\le_\Psi\lambda)$ of $\bs^{\lie g}$ and prove that the algebra is Koszul of global dimension at most the cardinality of $\Psi$. Using this we then construct naturally an infinite-dimensional Koszul algebra of global dimension equal to the cardinality of $\Psi$. The results and the methods are motivated by the study of the category of finite-dimensional representations of the affine and quantum affine algebras., Comment: 25 pages

We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on affine the weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the injective cogenerator of the subcategory associated to a interval closed finite subset of the weight lattice. Finally, we prove that there is a large number of interesting quivers of finite, affine and tame type that arise from our study. We also prove that the path algebra of star shaped quivers are the Ext algebra of a suitable subcategory., Comment: AMSLaTeX, 25 pages

We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category., Comment: 17 pages; referee's suggestions incorporated; main result extends to non-simply laced case

Membrane potential in a mathematical model of a cardiac myocyte can be formulated in different ways. Assuming a spatially homogeneous myocyte that is strictly charge-conservative and electroneutral as a whole, two methods will be compared: (1) the differential formulation dV/dt=-I/C_m of membrane potential used traditionally; and (2) the capacitor formulation, where membrane potential is defined algebraically by the capacitor equation V=Q/C_m. We examine the relationship between the formulations, assumptions under which each formulation is consistent, and show that the capacitor formulation provides a transparent, physically realistic formulation of membrane potential, whereas use of the differential formulation may introduce unintended and undesirable behavior, such as monotonic drift of concentrations. We prove that the drift of concentrations in the differential formulation arises as a compensation for failure to assign all currents in concentrations. As an example of these considerations, we present an electroneutral, explicitly charge-conservative formulation of Winslow et al. model (1999), and extend it to describe membrane potentials between intracellular compartments., Comment: 18 pages, 4 figures

This paper examines the effect of soft handoff on the uplink user capacity of a CDMA system consisting of a single macrocell in which a single hotspot microcell is embedded. The users of these two base stations operate over the same frequency band. In the soft handoff scenario studied here, both macrocell and microcell base stations serve each system user and the two received copies of a desired user's signal are summed using maximal ratio combining. Exact and approximate analytical methods are developed to compute uplink user capacity. Simulation results demonstrate a 20% increase in user capacity compared to hard handoff. In addition, simple, approximate methods are presented for estimating soft handoff capacity and are shown to be quite accurate., Comment: To appear in IEEE Transactions on Wireless Communications

This paper studies a two-tier CDMA system in which the microcell base is converted into a data access point (DAP), i.e., a limited-range base station that provides high-speed access to one user at a time. The microcell (or DAP) user operates on the same frequency as the macrocell users and has the same chip rate. However, it adapts its spreading factor, and thus its data rate, in accordance with interference conditions. By contrast, the macrocell serves multiple simultaneous data users, each with the same fixed rate. The achieveable throughput for individual microcell users is examined and a simple, accurate approximation for its probability distribution is presented. Computations for average throughputs, both per-user and total, are also presented. The numerical results highlight the impact of a desensitivity parameter used in the base-selection process., Comment: To appear in IEEE Transactions on Wireless Communications

This paper examines the uplink user capacity in a two-tier code division multiple access (CDMA) system with hotspot microcells when user terminal power is limited and the wireless channel is finitely-dispersive. A finitely-dispersive channel causes variable fading of the signal power at the output of the RAKE receiver. First, a two-cell system composed of one macrocell and one embedded microcell is studied and analytical methods are developed to estimate the user capacity as a function of a dimensionless parameter that depends on the transmit power constraint and cell radius. Next, novel analytical methods are developed to study the effect of variable fading, both with and without transmit power constraints. Finally, the analytical methods are extended to estimate uplink user capacity for multicell CDMA systems, composed of multiple macrocells and multiple embedded microcells. In all cases, the analysis-based estimates are compared with and confirmed by simulation results., Comment: To appear in IEEE Transactions on Wireless Communications

We realize the current algebra of a Kac-Moody algebra as a quotient of a semi-direct product of the Kac-Moody Lie algebra and the free Lie algebra of the Kac-Moody algebra. We use this realization to study the representations of the current alg ebra. In particular we see that every ad-invariant ideal in the symmetric algebra of the Kac-Moody algebra gives rise in a canonical way to a representation of the current algebra. These representations include certain well-known families of representations of the current algebra of a simple Lie algebra. Another family of examples, which are the classical limits of the Kirillov-Reshe tikhin modules, are also obtained explicitly by using a construction of Kostant. Finally we study extensi ons in the category of finite dimensional modules of the current algebra of a simple Lie algebra., Comment: 15 pages

We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the module is irreducible and in the second case we prove that the intersection of all the modules is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration. These are certain highest weight integrable modules and the multiplicity and the highest weight are the same as that obtained by decomposing the tensor product of the highest weight crystal bases with the crystal bases of a loop module.

For a certain class of simple integrable modules of level zero over a quantised affine algebra, we establish the existence of a pseudo-crystal basis and show that such a basis admits a combinatorial realisation in the framework of the path model of Littelmann.

We classify the simple infinite dimensional integrable modules with finite dimensional weight spaces over the quantized enveloping algebra of an untwisted affine algebra. We prove that these are either highest (lowest) weight integrable modules or simple submodules of a loop module of a finite-dimensional simple integrable module and describe the latter class. Their characters and crystal bases theory are discussed in a special case., Comment: 25 pages, AMSLaTeX

We construct a subcrystal of the Littelmann's path crystal whose formal character coincides with that of a certain simple integrable module of level zero over the untwisted affine Lie algebra associated to sl_n. We also establish an analogue of the Littlewood-Richardson rule for the tensor product of that crystal with a highest weight crystal., Comment: 25 pages, AMSLaTeX; to appear in the "Journal of Algebra"